使用soot库定义整数局部

Question

我想在soot库中定义Local with Integer类型。我尝试使用此命令定义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。