用烟灰库定义整数本地

Question

我想在 soot 中用 Integer 类型定义 Local library.I 尝试用这个命令定义 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。

用烟灰库定义整数本地

define integer local with soot library

java

soot