[Soot-list] Rev 3716 Bug

[Aaloan Miftah]

Thank you very much, Phil.


----- Original Message -----
From: Phil Pratt-Szeliga <pcpratts at syr.edu>
To: Aaloan Miftah <aaloanmiftah at yahoo.com>
Cc: soot-list <soot-list at sable.mcgill.ca>
Sent: Saturday, June 2, 2012 12:12 PM
Subject: Re: [Soot-list] Rev 3716 Bug

Hello,

Attached is a patch that fixes the test case below. I ran the clara
tests also and no new tests fail.

Phil Pratt-Szeliga
Syracuse University

On Wed, May 30, 2012 at 3:08 PM, Aaloan Miftah <aaloanmiftah at yahoo.com> wrote:
> There is an issue with the patch submitted by Phil Pratt-Szeliga, stack trace and test code is below
>
> Exception in thread "main" java.lang.NullPointerException
> at soot.PatchingChain.insertBefore(PatchingChain.java:140)
> at soot.shimple.internal.SPatchingChain.insertBefore(SPatchingChain.java:173)
> at soot.PatchingChain.insertBefore(PatchingChain.java:1)
> at soot.toolkits.graph.Block.insertBefore(Block.java:129)
> at soot.shimple.internal.PhiNodeManager.prependTrivialPhiNode(PhiNodeManager.java:183)
> at soot.shimple.internal.PhiNodeManager.insertTrivialPhiNodes(PhiNodeManager.java:151)
> at soot.shimple.internal.ShimpleBodyBuilder.transform(ShimpleBodyBuilder.java:99)
> at soot.shimple.ShimpleBody.rebuild(ShimpleBody.java:133)
> at soot.shimple.ShimpleBody.<init>(ShimpleBody.java:102)
> at soot.shimple.Shimple.newBody(Shimple.java:88)
> at soot.PackManager.runBodyPacks(PackManager.java:762)
> at soot.PackManager.runBodyPacks(PackManager.java:464)
> at soot.PackManager.runBodyPacks(PackManager.java:381)
> at soot.PackManager.runPacks(PackManager.java:358)
>
> Test code,
>
> public class Test {
>
> public static void main(String[] args) {
> try {
> if (args != null) {
> int foo = 0;
> if (args.length == 1)
> foo = 1;
> else if (args.length == 3)
> foo = 3;
> System.out.println(foo);
> }
> } catch (RuntimeException n) {
> throw n;
> }
> }
> }
>
> Performs fine with previous version of PhiNodeManager, issue is related to the blocks.
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>