[Soot-list] ThreadLocalObjectsAnalysis problem

[Eric Bodden]

Hi.

I think your problem is with "args". Is this a String? If so, it
should be a StringConstant:

args = StringConstant.v(args);

Eric

2009/7/1  <smhuang at cse.ust.hk>:
> Thanks a lot for your reply, Richard.
> The problem disappears when I apply my instrument in the "wjtp" phase
> instead of "jtp".
>
> But now I am facing another problem:
> Support I am instrumenting the method body of a method "B", what I want to
> do is to insert some static method invocation "A" on entry to "B". "A" has
> some arguments such as the method name and the argument types of "B". The
> program throws exception when I do the operation:
>
> mr = Scene.v().getMethod("<" + myClass + ": int " + myMethod +
> "(java.lang.String,java.lang.Object[],java.lang.String[],boolean[])>").makeRef();
>
> units.insertBefore(Jimple.v().newInvokeStmt(Jimple.v().newStaticInvokeExpr(mr,
> args)), s);
>
>
> Following is the stack trace:
>
> Exception in thread "main" java.lang.ClassCastException: java.lang.String
> cannot be cast to soot.Value
>        at
> soot.jimple.internal.JStaticInvokeExpr.<init>(JStaticInvokeExpr.java:45)
> at soot.jimple.Jimple.newStaticInvokeExpr(Jimple.java:433)
>        at test.Visitor.addCallWithMethodEntry(Visitor.java:56)
>        at test.Visitor.methodEntryInsert(Visitor.java:42)
>        at test.Visitor.visitStmt(Visitor.java:31)
>        at test.SJTP$1.internalTransform(SJTP.java:80)
>        at soot.SceneTransformer.transform(SceneTransformer.java:39)
>        at soot.Transform.apply(Transform.java:89)
>        at soot.ScenePack.internalApply(ScenePack.java:43)
>        at soot.Pack.apply(Pack.java:114)
>        at soot.PackManager.runWholeProgramPacks(PackManager.java:407)
>        at soot.PackManager.runPacks(PackManager.java:327)
>        at soot.Main.run(Main.java:202)
>        at soot.Main.main(Main.java:145)
>
> Any clue?
>
> Thanks,
> Jeff
>
>
>> Jeff,
>> ThreadLocalObjectsAnalysis only works on the Jimple IR.  This exception
> is telling us that the code you're analyzing is in the Baf IR.
> Normally, unless you force it to use a different IR, Soot will transform
> your code like this: Java/.class->Jimple->Baf->.class.  You have either
> skipped Jimple, or you ran the ThreadLocalObjectsAnalysis too late in
> the Soot transformation.  If you need to run something during the Jimple
> phase of Soot, the best way is to create your own SceneTransformer and
> run it as a phase in the "Whole Jimple Transformation Pack" (wjtp).
>>
>> If that doesn't sufficiently answer your question, then you should probably
>> show us the parts of your code that set up and run Soot and the
>> ThreadLocalObjectsAnalysis.
>>
>> Good Luck,
>> Richard
>>
>> On Mon, Jun 29, 2009 at 10:54 PM, <smhuang at cse.ust.hk> wrote:
>>
>>> Hi,
>>>
>>> When I am running ThreadLocalObjectsAnalysis.isObjectThreadLocal in soot,
>>> it prompts the following exception:
>>>
>>>
>>> Exception in thread "main" java.lang.ClassCastException:
>>> soot.baf.internal.BPushInst cannot be cast to soot.jimple.Stmt
>>>        at
>>>
>>> soot.jimple.toolkits.infoflow.ClassInfoFlowAnalysis.simpleConservativeInfoFlowAnalysis(ClassInfoFlowAnalysis.java:180)
>>>        at
>>>
>>> soot.jimple.toolkits.infoflow.ClassInfoFlowAnalysis.getMethodInfoFlowSummary(ClassInfoFlowAnalysis.java:81)
>>>        at
>>>
>>> soot.jimple.toolkits.infoflow.InfoFlowAnalysis.getMethodInfoFlowSummary(InfoFlowAnalysis.java:110)
>>>        at
>>>
>>> soot.jimple.toolkits.infoflow.InfoFlowAnalysis.getMethodInfoFlowSummary(InfoFlowAnalysis.java:106)
>>>        at
>>>
>>> soot.jimple.toolkits.infoflow.ClassLocalObjectsAnalysis.getContextFor(ClassLocalObjectsAnalysis.java:581)
>>>        at
>>>
>>> soot.jimple.toolkits.infoflow.ClassLocalObjectsAnalysis.propagate(ClassLocalObjectsAnalysis.java:533)
>>>        at
>>>
>>> soot.jimple.toolkits.infoflow.ClassLocalObjectsAnalysis.<init>(ClassLocalObjectsAnalysis.java:94)
>>>        at
>>>
>>> soot.jimple.toolkits.thread.ThreadLocalObjectsAnalysis.newClassLocalObjectsAnalysis(ThreadLocalObjectsAnalysis.java:70)
>>>        at
>>>
>>> soot.jimple.toolkits.infoflow.LocalObjectsAnalysis.getClassLocalObjectsAnalysis(LocalObjectsAnalysis.java:48)
>>>        at
>>>
>>> soot.jimple.toolkits.infoflow.LocalObjectsAnalysis.isObjectLocalToContext(LocalObjectsAnalysis.java:129)
>>>        at
>>>
>>> soot.jimple.toolkits.thread.ThreadLocalObjectsAnalysis.isObjectThreadLocal(ThreadLocalObjectsAnalysis.java:92)
>>>        at
>>> javato.instrumentor.RecursiveVisitor.visitStmt(RecursiveVisitor.java:90)
> at javato.instrumentor.Visitor.visitStmt(Visitor.java:129)
>>>        at
>>>
>>> javato.instrumentor.TransformerForInstrumentation.internalTransform(TransformerForInstrumentation.java:86)
>>>        at soot.BodyTransformer.transform(BodyTransformer.java:51) at
> soot.Transform.apply(Transform.java:104)
>>>        at soot.BodyPack.internalApply(BodyPack.java:49)
>>>        at soot.Pack.apply(Pack.java:124)
>>>        at soot.PackManager.runBodyPacks(PackManager.java:772)
>>>        at soot.PackManager.runBodyPacks(PackManager.java:452)
>>>        at soot.PackManager.runBodyPacks(PackManager.java:371)
>>>        at soot.PackManager.runPacks(PackManager.java:348)
>>>        at soot.Main.run(Main.java:202)
>>>        at soot.Main.main(Main.java:145)
>>>        at
>>>
>>> javato.instrumentor.TransformClass.processAllAtOnce(TransformClass.java:213)
>>>        at
>>>
>>> javato.activetesting.instrumentor.InstrumentorForActiveTesting.main(InstrumentorForActiveTesting.java:51)
>>>
>>>
>>> Any hints?
>>>
>>> Thanks,
>>> Jeff
>>>
>>>
>>>
>>> _______________________________________________
>>> Soot-list mailing list
>>> Soot-list at sable.mcgill.ca
>>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>>
>>
>
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Eric Bodden
Sable Research Group, McGill University
Montréal, Québec, Canada