[Soot-list] Soot/IFDS (Heros) and Call Graphs

[Rohan Padhye]

Hello,

I was working on developing inter-procedural analyses with Soot and had 
a couple of questions about using the Heroes IFDS/IDE solver:

 1. In Eric Bodden's SOAP'12 paper, it is mentioned that the super-graph
    is built on-the-fly. Is this referring to the fact that not all data
    flow facts from the domain need to be enumerated at once, or that
    the call-graph is built on the fly? As far as I can tell, the
    "JimpleBasedInterproceduralCFG" class currently uses
    context-insensitive queries on Soot's default call graph (CHA/SPARK).
 2. If the answer is the former for the above point, then is it possible
    to build a call graph on-the-fly using some sort of flow-sensitive
    points-to analysis? Or is there a restriction due to the framework
    interface "heros.InterproceduralCFG"? Or is there any restriction
    due to the nature of the IFDS algorithm?

Thanks,
Rohan Padhye

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130329/69baa8bb/attachment.html