[Soot-list] ThreadLocalObjectsAnalysis problem

[smhuang at cse.ust.hk]

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