软件分析技术项目1——指针分析器 SJPA

这是2019年软件分析技术第一个项目指针分析器。

本次项目中, 我们编写了一个在Java字节码上的全局指针分析程器 SJPA (Simple Jimple Pointer Analyzer).

使用方法

code目录下为测试用例，mypointeranalysis下为SJPA代码。在mypointeranalysis下使用mvn进行编译与管理。使用sh test.sh运行测试用例，使用sh testall.sh运行所有测试用例，使用sh compiletest.sh编译所有测试用例。