java - 使用 soot 库定义整数局部

Question

我想在soot库中用Integer类型定义Local。我尝试用这个命令定义local

Local intLocal=Jimple.v().newLocal("intLocal",RefType.v("java.lang.Integer"));
IdentityStmt IST=Jimple.v().newIdentityStmt(intLocal,Jimple.v().newStaticFieldRef(Scene.v().getField("<java.lang.integer>").makeRef()));

但是我得到了错误

[Thread-3] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread execution failed: oops <java.lang.integer>

谁能解释一下如何用整数类型定义本地？

Answer 1

您的 getField 调用已损坏。您正在传递无效的引用。并且您应该使用AssignStmt，而不是IdentityStmt。