我想使用Soot对Java程序进行静态分析,例如包括控制流图。
各种教程都说,使用Soot的"标准方法"是创建一个主方法,在该方法中,可以向Soot管道添加自定义变换,然后调用煤烟。Main.Main(…):
public static void main(String[] args) {
PackManager.v().getPack("jtp").add(
new Transform("jtp.gotoinstrumenter", GotoInstrumenter.v()));
soot.Main.main(args);
}
当然,如果您想在命令行工具之外的其他工具中使用Soot,这会有一些严重的限制。例如,我不清楚在程序中多次调用Soot的主要方法是否合法。
那么,有人知道通过更复杂的API直接使用Soot分析工具的可能性吗?
答案是肯定的。在你的主页上,你可以设置你使用的类:
configure("../yourClasspath/");
SootClass sootClass = Scene.v().loadClassAndSupport("className");
sootClass.setApplicationClass();
// Retrieve the method and its body
SootMethod m = c.getMethodByName("methodName");
Body b = m.retrieveActiveBody();
// Instruments bytecode
new YourTransform().transform(b);
之后,您可以构建CFG并运行一些分析。
它遵循配置方法:
public static void configure(String classpath) {
Options.v().set_verbose(false);
Options.v().set_keep_line_number(true);
Options.v().set_src_prec(Options.src_prec_class);
Options.v().set_soot_classpath(classpath);
Options.v().set_prepend_classpath(true);
PhaseOptions.v().setPhaseOption("bb", "off");
PhaseOptions.v().setPhaseOption("tag.ln", "on");
PhaseOptions.v().setPhaseOption("jj.a", "on");
PhaseOptions.v().setPhaseOption("jj.ule", "on");
Options.v().set_whole_program(true);
}