[Soot-list] Synch-aware MHP analysis?

[Richard L. Halpert]

Not that I'm aware of.  The only other MHP work I've heard of in the soot
ecosystem was also lock-oblivious.  I have no doubt that the
synchronization-aware code in soot/jimple/toolkits/thread/mhp could be made
to work reliably if someone had a little time to devote to it.  It is
definitely conceptually sound.

According to my thesis advisor, Clark Verbrugge, who also advised the
original author of this package (Lin Li), synchronization awareness doesn't
actually improve precision very much in the typical case.  Of course, there
may be exceptions.  What is your goal?

-Rich

On Thu, Oct 23, 2008 at 11:20 AM, Kristen Walcott
<walcott at cs.virginia.edu>wrote:

> Hello,
>
> I have been working with the code in the soot 2.3.0
> soot/jimple/toolkits/thread/mhp folder, and I was wondering if there is a
> synch-aware MHP analysis that is more trusted than the current
> MhpTransformer/MhpAnalysis code?
>
> Thanks,
> Kristen Walcott
>
> --
> ____________________________
> Kristen R. Walcott
> Department of Computer Science
> University of Virginia
> http://www.cs.virginia.edu/walcott
> walcott at cs.virginia.edu
> 814-573-1283
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20081023/46ed9b9d/attachment.htm