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

[Molnar Arthur]

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


      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20101223/2281a02c/attachment.html