基于Joeq编译器的软件分析及其应用

Joeq编译器是一款开源虚拟机和编译器框架,已经被越来越多的研究人员使用,然而使用Joeq编译器进行软件分析研究的相关文献还很少,而软件分析在软件开发、测试和维护等软件工程活动中起着重要的作用.在Joeq编译器的基础上研究典型的软件分析技术的实现,如访问者模式分析、类层次分析、控制流分析、数据流分析和负面效应分析等,给出了详细的实现方法.这些软件分析技术在设计的重构工具Lock2Lock中进行了实现,在这些软件分析技术的辅助下,Lock2Lock可以实现从同步锁到可重入锁(或读写锁)的自动转换.