[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