0

soot ライブラリで Local を 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>

整数型でローカルを定義する方法を誰か説明できますか?

4

1 に答える 1

2

getField 呼び出しが壊れています。無効な参照を渡しています。また、IdentityStmt ではなく、AssignStmt を使用する必要があります。

于 2016-07-13T07:23:11.810 に答える