[Soot-list] Synch-aware MHP analysis?

[Justin]

Hi,

 

I'm also working on MHP of Soot. I found the
soot.jimple.toolkits.thread.mhp.MhpAnalysis is declared as package private.
Is there any way to access this class except modifying it as public and
rebuilding soot? I also tried extending this class but some protected
methods are called from this class, which makes it impossible to extend.

 

Thanks,

Justin

 

From: soot-list-bounces at sable.mcgill.ca
[mailto:soot-list-bounces at sable.mcgill.ca] On Behalf Of Richard L. Halpert
Sent: Thursday, October 23, 2008 4:22 PM
To: walcott at cs.virginia.edu
Cc: soot-list at sable.mcgill.ca
Subject: Re: [Soot-list] Synch-aware MHP analysis?

 

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/20081028/65838479/attachment.htm