[Soot-list] SPARK on-fly-cg option

[Eric Bodden]

Hi Molnar.

Yes, you should get a sound over-approximation.

Did you provide the correct main class? Does you program use reflection?

Eric

--
Dr. Eric Bodden
Software Technology Group, Technische Universität Darmstadt, Germany
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt



On 23 December 2010 14:03, Molnar Arthur <arthur486 at yahoo.com> wrote:
> Hello everyone,
> A quick question regarding the on-fly-cg option in Soot's SPARK framework;
> from what I read about call graph building, using this option should still
> give an overapproximation of the call graph (all possibly executed methods
> will be in it). However, I tried using this option to get a smaller call
> graph, but I see at least one edge missing (I know it's there because the
> method is executed).
> I will investigate this further, please tell me whether I should upload
> code&the sample application
> Best regards, Arthur
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>