[Soot-list] Soot with Tamiflex

[Eric Bodden]

Hi Jochen.

One question: does the class sun.awt.UNIXToolkit occur in any way in
your TamiFlex log file? If so, could you post the approrpiate entries
here?

Eric

On 16 February 2011 10:14, Jochen Huck <jochen.huck at student.kit.edu> wrote:
> Hi,
>
> creating a call graph I get following exception:
>
> Exception in thread "Thread-3" soot.ResolutionFailedException: Resolved
> <sun.awt.UNIXToolkit: int getDatatransferTimeout()> to
> <sun.awt.UNIXToolkit: int getDatatransferTimeout()> which has wrong
> static-ness
>     at soot.SootMethodRefImpl.checkStatic(SootMethodRefImpl.java:111)
>     at soot.SootMethodRefImpl.resolve(SootMethodRefImpl.java:122)
>     at soot.SootMethodRefImpl.resolve(SootMethodRefImpl.java:106)
>     at
> soot.jimple.internal.AbstractInvokeExpr.getMethod(AbstractInvokeExpr.java:54)
>     at
> soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.findReceivers(OnFlyCallGraphBuilder.java:548)
>     at
> soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processNewMethod(OnFlyCallGraphBuilder.java:528)
>     at
> soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processReachables(OnFlyCallGraphBuilder.java:426)
>     at
> soot.jimple.spark.solver.OnFlyCallGraph.build(OnFlyCallGraph.java:55)
>     at
> soot.jimple.spark.solver.PropWorklist.handleVarNode(PropWorklist.java:123)
>     at
> soot.jimple.spark.solver.PropWorklist.propagate(PropWorklist.java:53)
>     at
> soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:151)
>     at soot.SceneTransformer.transform(SceneTransformer.java:39)
>     at soot.Transform.apply(Transform.java:89)
>     at soot.RadioScenePack.internalApply(RadioScenePack.java:57)
>     at
> soot.jimple.toolkits.callgraph.CallGraphPack.internalApply(CallGraphPack.java:47)
>     at soot.Pack.apply(Pack.java:114)
>     at soot.PackManager.runWholeProgramPacks(PackManager.java:408)
>     at soot.PackManager.runPacks(PackManager.java:329)
>     at soot.Main.run(Main.java:198)
>
> can someone tell me the reason for this? The class sun.awt.UNIXToolkit
> is included in my rt.jar and the method getDatatransferTimeout() is static.
>
> Thanks, Jochen
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Dr. Eric Bodden, http://bodden.de/
Principal Investigator in Secure Services at CASED
Coordinator of the CASED Advisory Board of Study Affairs
PostDoc at Software Technology Group, Technische Universität Darmstadt
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt