基于Soot和temiflex对Dacapo数据集进行静态分析

今天晚上参考并学习了Eric Bodden的一篇博文，主要讲用temiflex和Soot来对Dacapo数据集进行静态分析，具体请参考：

http://code.google.com/p/tamiflex/wiki/DaCapoAndSoot

这篇文章中已经对基本的步骤讲得很清楚，但几个命令行需要进行略微的修改，这里也算是给大家提供方便吧。

假设我们使用的poa和pia的版本分别是：poa-1.1.1.jar 和 pia-1.1.jar

那么需要正确运行上面URL中的例子，只需要控制台下输入三个命令：

java -javaagent:poa-1.1.1.jar=out/avrora-small -jar dacapo-9.12-bach.jar avrora -s small

 

java -Xmx2G -cp soot-2.4.0.jar soot.Main -w -app -p cg.spark enabled -p cg reflection-log:out/avrora-small/refl.log -cp ${JRE}/jce.jar:${JRE}/rt.jar:out/avrora-small -include org.apache. -include org.w3c. -main-class Harness -d sootified/avrora-small Harness

 

java -javaagent:pia-1.1.jar=sootified/avrora-small -jar dacapo-9.12-bach.jar avrora -s small

依次运行这三条语句，就可以看到上面那篇文章中介绍的结果了。这篇博文也很简单，就是希望能给大家（包括自己）提供些方便吧。