[Soot-list] patch to allow adding methods during BodyTransformer

[Phil Pratt-Szeliga]

Hi Eric,

Here is a minimal test case that causes an exception to be thrown. The
exception is shown below. What is happening is that the method is not
included in the list of methods to be converted from Jimple/Shimple to
Baf.

Exception in thread "main" java.lang.RuntimeException: method:
gpuMethodnew has an invalid active body!
	at soot.baf.JasminClass.emitMethodBody(JasminClass.java:112)
	at soot.AbstractJasminClass.emitMethod(AbstractJasminClass.java:697)
	at soot.AbstractJasminClass.<init>(AbstractJasminClass.java:576)
	at soot.baf.JasminClass.<init>(JasminClass.java:92)
	at soot.PackManager.writeClass(PackManager.java:871)
	at soot.PackManager.writeOutput(PackManager.java:475)
	at soot.PackManager.writeOutput(PackManager.java:400)
	at soot.Main.run(Main.java:199)
	at soot.Main.main(Main.java:141)
	at edu.syr.pcpratts.useproto.analyzer.NewMethodExample.run(NewMethodExample.java:41)
	at edu.syr.pcpratts.useproto.analyzer.NewMethodExample.main(NewMethodExample.java:46)

Phil

On Tue, Apr 17, 2012 at 7:39 AM, Eric Bodden <eric.bodden at ec-spride.de> wrote:
> Phil, can you send me a minimal test case, i.e., a minimal extension
> to Soot that triggers the problem you mention? I can then try to
> assist you in finding a minimal patch.
>
> Cheers,
> Eric
-------------- next part --------------
A non-text attachment was scrubbed...
Name: NewMethodExample.java
Type: application/octet-stream
Size: 2759 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120418/f22335e9/attachment-0001.obj