[Soot学习笔记][4]使用Soot对源代码进行Null Pointer Analysis

今天又回顾了一下这篇文档：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的结果了。

今天就简单记录这么多。