[Soot-list] Support for Thread.start()

[Eric Bodden]

Hi Salim.

Are you saying your call graph is missing those edges? Normally they
should just be there....

Eric

On 10 February 2013 23:34, salim bansal <salim.bansal at gmail.com> wrote:
> Hi,
>
> I am trying to build call graph with spark and cs-demand set to true.
> When a statement such as following:
>          Thread t = new Thread (new Worker());
>
> ...
> ...
> t.start()
>
> is encountered.
> I need  the call graph to have edge from t.start() to run method of Worker
> class, assuming Worker class implements Runnable.
> How can I get this working I am using Soot 2.3.0.
> My soot options  are
>         opt.put("enabled","true");
>         opt.put("verbose","true");
>         opt.put("propagator","worklist");
>         opt.put("set-impl","double");
>         opt.put("double-set-old","hybrid");
>         opt.put("double-set-new","hybrid");
>         opt.put("cs-demand","true");
>         opt.put("on-fly-cg","true");
>         opt.put("ignore-types","false");
>         opt.put("passes","10");
>
> Thanks
> Salim
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt