我正在编写IntelliJ-Plugin来分析Java程序代码。因此,我使用Soot编写静态分析。每次用户触发插件的分析操作时,我都会采用当前上下文的当前VirtualFile
,如下所示:
FileEditorManager manager = FileEditorManager.getInstance(e.getProject());
VirtualFile files[] = manager.getSelectedFiles();
toAnalyse = files[0]; [...]
当我检查此文件的内容时,将应用所有更改。之后,我要加载要在Soot中分析的类(class)。
String dir = toAnalyse.getParent().getPath() ;
Options.v().setPhaseOption("jb", "use-original-names");
Options.v().set_soot_classpath( System.getProperty("java.home")+";"+ dir);
c = Scene.v().loadClassAndSupport(name);
/*no analyse c*/
这对我来说非常有效。但是现在我的问题是:
如果我改变某事。在我的插件的测试实例中并再次触发相同的分析,没有任何变化。
我设置了以下选项:
Options.v().set_dump_body( Arrays.asList("jb"));
Options.v().set_dump_cfg( Arrays.asList("jb"));
Options.v().set_allow_phantom_refs(true);
Options.v().set_whole_program(true);
我也手动删除了所有类
像这样:
Chain<SootClass> classes = Scene.v().getClasses();
Stack<SootClass> stack = new Stack<>();
for(SootClass s : classes)
stack.push(s);
while(!stack.empty())
Scene.v().removeClass(stack.pop());
并再次启动该程序。
最佳答案
我解决了这个问题。
SootClass c = Scene.v().loadClassAndSupport(name);
// ...
c.setResolvingLevel(0);
G.reset();
G.reset()
重置所有单例实例。因此,再次调用此操作将覆盖所有缓存的结果。
public static Scene v() {
return G.v().soot_Scene();
}
this.instance_soot_Scene
是调用null
后的G.reset()
。因此下面的代码:
public Scene soot_Scene() {
if(this.instance_soot_Scene == null) {
synchronized(this) {
if(this.instance_soot_Scene == null) {
this.instance_soot_Scene = new Scene(this.g);
}
}
}
return this.instance_soot_Scene;
}
返回带有空结果缓存的新实例。