简体   繁体   中英

define integer local with soot library

I want to define Local with Integer type in soot library.I try to define local with this command

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()));

but I got error

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

can anyone explain how I can define local with integer type?

Your getField call is broken. You are passing an invalid reference. And you should be using an AssignStmt, not an IdentityStmt.

The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.

 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM