java - 用 soot 库定义整数局部

Question

我想在烟灰库中用整数类型定义本地。我尝试用这个命令定义本地

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。