[Soot-list] Data dependencies between Threads?

[Chris Pickett]

Hi Armand,

Just FYI, http://www.sable.mcgill.ca/publications/papers/#pact2007 
supersedes that tech report.

Chris

Eric Bodden wrote:
> 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
>>
> 
>