[Soot-list] Control Flow Graphs in Soot

Aditya Bhandari aditya_bhandari at iitb.ac.in
Thu Feb 6 15:04:09 EST 2014


Hello,

I am looking to implement heap reference analysis for concurrent programs
in Soot. For this, I need to connect the control flow graphs for different
threads and form a connected or joint control flow graph over all the
threads. Is there any way to add edges between the CFGs of different
threads?

Thank you.
Regards,
Aditya Bhandari
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20140207/f9e7007f/attachment.html 


More information about the Soot-list mailing list