| 基于Soot的Java程序竞争静态检测工具设计 |
| |
| 引用本文： | 宋东海,佟晶.基于Soot的Java程序竞争静态检测工具设计[J].黑龙江电子技术,2014(2):156-159. |
| |
| 作者姓名： | 宋东海 佟晶 |
| |
| 作者单位： | [1] 92493部队88分队,辽宁葫芦岛125001 [2] 92493部队7分队,辽宁葫芦岛125001 |
| |
| 摘 要： | 设计了基于Soot字节码分析框架并实现了软件原型,利用Soot提供的Spark指向分析框架对整个程序做出指向分析,在此基础上拓展了Soot分析框架,对每个可能竞争对进行线程局部对象分析、可能并行分析、别名锁分析,数据竞争结果逐步精确.
|
| 关 键 词： | 并发错误 数据竞争 静态分析 竞争检测 |
A Java program static data race detection software prototype based on the Soot |
| |
| Authors: | SONG Dong-hai TONG Jing |
| |
| Affiliation: | 1.88 Unit,92493 Troops of PLA, Huludao 125001, Liaoning Province,China; 2.7 Unit,92493 Troops of PLA, Huludao 125001, Liaoning Province, China) |
| |
| Abstract: | A software prototype based on the Soot framework is designed and implemented in this paper, it uses Spark to do necessary points to analysis for whole program, and then extend the Soot to do Thread Local Object analysis, May Happen in Parallel analysis, and Alias Lock analysis for every race pair, the results are gradually accurate. |
| |
| Keywords: | concurrency errors data race static analysis race detect |
| 本文献已被 维普 等数据库收录！ |
|
