[Soot-list] Data dependencies between Threads?

[Eric Bodden]

Yes, we have a new analysis that determines what "may happen in
parallel" and also thread-local variables. See
http://www.sable.mcgill.ca/publications/techreports/#report2007-3 for
details.

Maybe Richard can tell a bit more.

Eric

On 04/09/07, Armand Navabi <anavabi at purdue.edu> wrote:
> Does Soot provide a way to find control and data-dependencies between
> threads?
> I have read previous posts on the mailing list about Indus and Kaveri.
> Does anyone
> know if Indus, Kaveri, or any other such tools can do this form of
> program dependence
> analyses (control- and data-dependencies for multithreaded Java programs)?
>
> Thanks,
> Armand
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>


-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada