[Soot-list] Adding edges between CFGs

[Marc-André Laverdière]

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
> 
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>