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

[Khilan Gudka]

Hi Richard,

Do you remember how it works?

--
Khilan Gudka
PhD Student
Department of Computing
Imperial College London
http://www.doc.ic.ac.uk/~khilan/



On 12 November 2011 22:45, Richard L. Halpert <richardlhalpert at gmail.com>wrote:

> Oh, and the idea was to try to find thread-local objects.
>
> -Richard
> On Nov 12, 2011 2:43 PM, "Richard L. Halpert" <richardlhalpert at gmail.com>
> wrote:
>
>> 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/dec3bb00/attachment.html