[Soot-list] Adding edges between CFGs

[Marc-André Laverdière]

Hi Aditya,

I don't think so. You will need to write your own.

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

On 03/25/2014 06:12 AM, Aditya Bhandari wrote:
> 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
> 
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>