[Soot-list] Rev 3716 Bug

[Eric Bodden]

Thanks Phil.

I have committed this in revision 3731.

Eric

On 2 June 2012 23:11, Aaloan Miftah <aaloanmiftah at yahoo.com> wrote:
> 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
>>
>>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list



-- 
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Principal Investigator in Secure Services at CASED
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt