[Soot-list] Thread-sensitive points-to analysis

[Richard L. Halpert]

Khilan,
I started to implement that back in 2006 or so, but I didn't get very far
before being pulled away to other things.  I still think it would be
interesting to try.

-Richard
On Nov 12, 2011 2:28 PM, "Khilan Gudka" <khilan at doc.ic.ac.uk> wrote:

> Dear all,
>
> I was wondering if anyone (Ondrej?) could please provide some info on the
> thread-entry-point context sensitivity option in paddle. I see that there
> is a branch for it in the paddle svn repo but i haven't tried it yet. The
> option appears in the trunk version of paddle but when I enable it, using
> context:threadkobjsens, I get the following exception:
>
> Exception in thread "main" java.lang.RuntimeException: Unhandled kind of
> context
> at soot.jimple.paddle.PaddleTransformer.setup(PaddleTransformer.java:80)
>  at
> soot.jimple.paddle.PaddleTransformer.internalTransform(PaddleTransformer.java:45)
> at soot.SceneTransformer.transform(SceneTransformer.java:39)
>  at soot.jimple.paddle.PaddleHook.internalTransform(PaddleHook.java:43)
> 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:417)
> at soot.PackManager.runPacks(PackManager.java:336)
>  at soot.Main.run(Main.java:198)
> at soot.Main.main(Main.java:141)
>
> So it is not available in the trunk version. What exactly does this option
> do and how much of it is implemented? What does it give me?
>
> Thanks
> Khilan
>
>  --
> Khilan Gudka
> PhD Student
> Department of Computing
> Imperial College London
> http://www.doc.ic.ac.uk/~khilan/
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20111112/b766f706/attachment.html