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

[Khilan Gudka]

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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20111112/8a2a145e/attachment.html