[Soot-list] spark points to analysis

[Eric Bodden]

Salim can you post the full code of the example you are analyzing?

Eric

On 25 February 2013 07:58, salim bansal <salim.bansal at gmail.com> wrote:
> I am using spark points to analysis and have following options along with
> whole program mode and spark enabled
>
>         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","100");
> But for following source code :
>           SuperClass a = new SubClass();
>
> ...
> ...
> ...
>
> a.method1();
>
> method1() is overriden in SubClass. And 'a' can be either method local
> variable or class variable.
> But when I do
>
> Scene.v().getPointsToAnalysis().reachingObjects(<local pointing to
> a>).possibleTypes()
>
> It is either empty or has just one value SuperClass instead of SubClass.
> Is there something wrong the way I am using spark points to analysis?
>
>
>
>
>
> _______________________________________________
> 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