信息技术
信息技術
신식기술
INFORMATION TECHNOLOGY
2014年
2期
156-159
,共4页
并发错误%数据竞争%静态分析%竞争检测
併髮錯誤%數據競爭%靜態分析%競爭檢測
병발착오%수거경쟁%정태분석%경쟁검측
concurrency errors%data race%static analysis%race detect
设计了基于Soot字节码分析框架并实现了软件原型,利用Soot提供的Spark指向分析框架对整个程序做出指向分析,在此基础上拓展了Soot分析框架,对每个可能竞争对进行线程局部对象分析、可能并行分析、别名锁分析,数据竞争结果逐步精确.
設計瞭基于Soot字節碼分析框架併實現瞭軟件原型,利用Soot提供的Spark指嚮分析框架對整箇程序做齣指嚮分析,在此基礎上拓展瞭Soot分析框架,對每箇可能競爭對進行線程跼部對象分析、可能併行分析、彆名鎖分析,數據競爭結果逐步精確.
설계료기우Soot자절마분석광가병실현료연건원형,이용Soot제공적Spark지향분석광가대정개정서주출지향분석,재차기출상탁전료Soot분석광가,대매개가능경쟁대진행선정국부대상분석、가능병행분석、별명쇄분석,수거경쟁결과축보정학.
