[Soot-list] Backward Interprocedural Data flow analysis using HEROES

[ASHISH MISHRA]

Hi ,
I am trying to use Heroes (IDFS/IDE solver) to implement a backward
interprocedural analysis, some thing like live variable analysis. I have
two questions regarding this,

1) How different it would be , than a forward analysis, that is, will
reversing the Interprocedural CFG and and changing the data flow equations
 do the work?

2) If the answer to the first question is a YES, How can I get a Reverse
Interprocedural CFG from a call graph.

can I pass an Initial Call graph to the Heroes to get this Interprocedural
CFG ?

Any help will be very useful.
Thanks and Regards

-- 
Regards,
Ashish Mishra
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130507/2046f454/attachment.html