|
|||||
|
|
| 基于Joeq编译器的软件分析及其应用 | |
| 引用本文： | 张杨,张冬雯.基于Joeq编译器的软件分析及其应用[J].河北师范大学学报(自然科学版),2015(3):202-207. |
| 作者姓名： | 张杨 张冬雯 |
| 作者单位： | 河北科技大学信息科学与工程学院 |
| 基金项目： | 国家自然科学基金(61440012);河北省高等学校青年拔尖人才计划项目(BJ2014023) |
| 摘 要： | Joeq编译器是一款开源虚拟机和编译器框架,已经被越来越多的研究人员使用,然而使用Joeq编译器进行软件分析研究的相关文献还很少,而软件分析在软件开发、测试和维护等软件工程活动中起着重要的作用.在Joeq编译器的基础上研究典型的软件分析技术的实现,如访问者模式分析、类层次分析、控制流分析、数据流分析和负面效应分析等,给出了详细的实现方法.这些软件分析技术在设计的重构工具Lock2Lock中进行了实现,在这些软件分析技术的辅助下,Lock2Lock可以实现从同步锁到可重入锁(或读写锁)的自动转换. |
| 关 键 词： | 静态分析 Java字节码 Joeq编译器 访问者模式分析 负面效应分析 |
| 本文献已被 CNKI 等数据库收录！ | |