[Soot-list] Adding edges between CFGs

[Aditya Bhandari]

Hello Marc,

Yes, I need to combine the two CFGs into a single CFG (UnitGraph object).
Is there a method to do that directly? Combining into a single UnitGraph
would make it easier for me to run the analysis as well.

Thank you!

Regards,
Aditya Bhandari

Hi Aditya,

>From what I am seeing in the source, adding the edge should work in
itself, but you will have inconsistent unitToSuccs and unitToPreds data
structures. I think you will have to merge the two CFGs into a new
UnitGraph object.

Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 03/24/2014 12:50 PM, Aditya Bhandari wrote:
> Hello,
>
> There exists an addEdge method for a CFG (depicted using the UnitGraph
> class). However, I am looking to add an edge between two different CFGs,
> both objects of the UnitGraph class. Is it possible to do this directly?
> If yes, how?
>
> Thank you!
>
> Regards,
> Aditya Bhandari
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20140325/36ce732a/attachment-0001.html