基于Soot和temiflex对Dacapo数据集进行静态分析
来源:互联网 发布:淘宝安装师傅接单平台 编辑:程序博客网 时间:2024/06/05 05:49
今天晚上参考并学习了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
依次运行这三条语句,就可以看到上面那篇文章中介绍的结果了。这篇博文也很简单,就是希望能给大家(包括自己)提供些方便吧。
0 0
- 基于Soot和temiflex对Dacapo数据集进行静态分析
- [DaCapo学习笔记][1]DaCapo数据简介
- soot数据流 -- 基于soot的过程内数据流分析
- 使用SOOT进行代码分析(一)
- 基于soot的过程内数据流分析
- 基于Spark和Hive进行的豆瓣电影数据分析
- 基于随机变量的熵来进行数据建模和分析
- 基于pandas和seaborn进行数据可视化以及相关性分析
- Zeppelin对Spark进行交互式数据查询和分析
- [Soot学习笔记][4]使用Soot对源代码进行Null Pointer Analysis
- 使用SOOT命令行对APK文件进行解码及包装
- 基于Soot的Java程序分析生存手册(一)
- 数据挖掘对客户进行深入分析
- 怎样才能够对数据进行直观分析?
- 对网页数据进行提取与分析
- 利用随机森林和梯度替身决策树对titanic数据进行分类,并对结果进行分析
- Jenkins+maven+findbugs对java代码进行静态代码分析
- Jenkins+maven+checkstyle对java代码进行静态代码分析
- 在ubuntu上安装Ocaml的RPM包的一点经验
- [经验]在Windows Server上安装Metasploit Framework 3.7.1出现问题及解决方法
- [Java Path Finder][JPF学习笔记][1]在Windows Server上安装JPF
- [Java Path Finder][JPF学习笔记][2]在Windows Server上安装JPF
- Soot为什么经常被用作Instrumentation的Framework?
- 基于Soot和temiflex对Dacapo数据集进行静态分析
- Windows系统不重启而使环境变量生效的方法
- 静态分析实验数据集总结[1]
- Windows Server 2008运行Delphi程序报xxxxx.bpl错误
- Java Grande benchmark suite总结
- 搜索、查询及下载LNCS论文的快捷方法
- Satisfiability Modulo Theories Competition (SMT-COMP)
- Windows下用eclipse和mingw开发C/C++的开发环境搭建(转载)
- [CBMC学习笔记][3]正确Eclipse版本的下载和配置