[Soot-list] Jimplification via ASM , was: SOAP workshop summary

[Aaloan Miftah]

Hi,

I actually did the attribute conversion. The actual source for bytecode doesn't really matter, the code can be adapted for coffi as well, ASM just seemed easier to use. I've attached the whole source code for the asm based conversion.


________________________________
 From: Patrick Lam <plam at sable.mcgill.ca>
To: "Soot-list at sable.mcgill.ca" <Soot-list at sable.mcgill.ca> 
Sent: Monday, June 18, 2012 8:46 AM
Subject: Re: [Soot-list] Jimplification via ASM , was:  SOAP workshop summary
 
On 06/18/12 10:41, Eric Bodden wrote:
> Could you tell me a bit more about this code? For instance, how well
> was it tested? Does it convert all bytecodes (including Java 7's
> invokedynamic) into Jimple? How about bytecode attributes?

(I was thinking that Eric would volunteer to go and test the code! It 
would be good to know about prior testing, though.)

Attributes & invokedynamic would be good to support, although we'd have 
to do it sometime anyway if we wanted anything other than the current 
Coffi backend.

I'd also be very curious about how long it takes to run Spark with
this ASM frontend.

Incidentally, at the workshop, we also discussed the possibility of 
stripping down Spark; Ondrej designed it as a pointer analysis framework 
which would support experimentation. These days, we know what the best 
settings are. Could we simplify the design by hardcoding those settings?

> @Patrick: Is the ASM license compatible with Soot's LGPL?

Yes, it is a 3-clause BSD license, which is compatible with LGPL.

pat
_______________________________________________
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/20120618/6234278d/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: asm.tar.gz
Type: application/x-gzip
Size: 16627 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120618/6234278d/attachment-0001.gz