[Soot学习笔记][4]使用Soot对源代码进行Null Pointer Analysis
来源:互联网 发布:易企秀 for mac 编辑:程序博客网 时间:2024/06/16 09:24
今天又回顾了一下这篇文档:A Survivor's Guide to Java Program Analysis with Soot
中介绍的内容,这个文档第20页介绍了一些使用Soot进行最简单分析的方法,这里把这个章节的第一部分翻译成中文,也算是加深印象吧。
安装好Soot的Eclipse插件后,在需要分析的源代码上点击右键——“Soot”——“Process Source File”——“Run Soot”,在弹出的对话框左侧列表中选择“Output Options”——在右侧中间的“Output Format” 复选框中选择“Jimple File”,然后,在左侧列表中选择“Phase Options”——“Jimple Annotation Pack”——“Null Pointer Coloured”,在右侧的选择框中选中“Enable”,然后点击“Run”,就可以看到Null Pointer Analysis的结果了。
今天就简单记录这么多。
0 0
- [Soot学习笔记][4]使用Soot对源代码进行Null Pointer Analysis
- Soot 学习笔记 7:使用 Soot 为应用进行 profiling 插桩
- Soot 学习笔记 5:使用 Soot 创建 Java class
- soot学习笔记-2.使用soot解析Android apk.
- Soot学习笔记3.使用soot解析java文件
- Soot 学习笔记 4:Soot 的 pack 和 phase
- Soot学习笔记(1)
- Soot学习笔记(2)
- soot 学习笔记 一
- soot 学习笔记 三
- soot 学习笔记 二
- soot 学习笔记 四
- soot学习笔记(一)
- Soot 学习笔记 2:使用 Eclipse 插件
- 使用SOOT命令行对APK文件进行解码及包装
- soot
- [Soot学习笔记][5]Soot依赖的两个框架
- Soot 学习笔记 1:First Step 命令行执行 soot
- iframe传参中文乱码问题
- Java连接MySQL的经验总结
- [DaCapo学习笔记][1]DaCapo数据简介
- VC++ 6.0下多线程编程的最简单实例
- [论文阅读笔记]DyTa: dynamic symbolic execution guided with static verification results
- [Soot学习笔记][4]使用Soot对源代码进行Null Pointer Analysis
- [一点感想]学国内的大学课本,不如去看维基百科
- 最简单的AspectJ实验环境搭建
- [Soot学习笔记][5]Soot依赖的两个框架
- [Java Path Finder][JPF学习笔记][4]将JPF源码导入Eclipse
- [Java Path Finder][JPF学习笔记][5]编译jpf-symbc报错的解决方法
- [Web开发笔记][3]MyEclipse 8.0启动Tomcat 7报错:Could not find the main class: org.apache.catalina.startup.Boostrap.
- 评一篇文章(Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria)
- Eclipse调试经验