竞争检测相关论文
在多线程程序中,当两个线程在没有时序约束下访问同一段内存位置时,就可能导致数据竞争。数据竞争使多线程程序的执行具有不确定性......
Java程序语言由于具有一定的安全性和高效性,在不同平台都得到广泛应用。从服务端到移动电话平台的利用和优化,Java程序的优化对系......
多线程并发程序的广泛使用引发了更多的数据竞争问题，竞争检测对于提高软件质量具有重要意义。论文将竞争静态检测和静态切片分析结......
设计了基于Soot字节码分析框架并实现了软件原型,利用Soot提供的Spark指向分析框架对整个程序做出指向分析,在此基础上拓展了Soot......
