[Soot-list] Control Flow Graphs in Soot

[Marc-André Laverdière]

Hello Aditya,

I replied this on the 29th:
"Soot has some analyses in src/soot/jimple/toolkits/thread/ that may be
what you need."

I guess your spam filter didn't like it ;)

Anyways, I'm going to add an answer for your last question. It is
possible to add a Transform in the wjtp phase, which will be run after
Spark is done building the points-to information and the call graph. At
that point, you can change the edges of the call graph as much as you
want. That being said, the associated points-to information will not be
modified, so that means that you'll get erroneous results if you use the
points-to sets or query the PAG. Depending on your use case, this may be
fine.

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

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