Todos los tests corridos. El 1 pasa, el 2 no, el resto sin revisar

02/soot-dataflow-analysis/sootOutput/ZeroAnalysisTest1.jimple

+public class ZeroAnalysisTest1 extends java.lang.Object
+{
+/*ZeroAnalysisTest1.java*/
+
+/*[Ljava.lang.String;@79d94dc1*/
+    public static int test1(int, int)
+    {
+        int m, n, temp$0, temp$1;
+
+        m := @parameter0: int;
+/*Source Line Pos Tag: sline: 2 eline: 2 spos: 26 epos: 30 file: ZeroAnalysisTest1.java*/
+/*maybe-zero*/
+
+        n := @parameter1: int;
+/*Source Line Pos Tag: sline: 2 eline: 2 spos: 33 epos: 37 file: ZeroAnalysisTest1.java*/
+/*maybe-zero*/
+
+        temp$0 = 0 * n;
+/*Source Line Pos Tag: sline: 4 eline: 4 spos: 5 epos: 18 file: ZeroAnalysisTest1.java*/
+/*zero*/
+
+        temp$1 = m / temp$0;
+/*Source Line Pos Tag: sline: 5 eline: 5 spos: 5 epos: 18 file: ZeroAnalysisTest1.java*/
+/*Possible division by zero here*/
+/*bottom*/
+
+        return temp$1;
+/*Source Line Pos Tag: sline: 6 eline: 6 spos: 5 epos: 13 file: ZeroAnalysisTest1.java*/
+    }
+
+/*[Ljava.lang.String;@696b15c3*/
+    public void <init>()
+    {
+        ZeroAnalysisTest1 this;
+
+        this := @this: ZeroAnalysisTest1;
+/*1*/
+
+        specialinvoke this.<java.lang.Object: void <init>()>();
+/*1*/
+
+        return;
+/*1*/
+    }
+}

02/soot-dataflow-analysis/sootOutput/ZeroAnalysisTest2.jimple

+public class ZeroAnalysisTest2 extends java.lang.Object
+{
+/*ZeroAnalysisTest2.java*/
+
+/*[Ljava.lang.String;@747cdfc8*/
+    public static int test2(int, int)
+    {
+        int m, n, temp$0, temp$2;
+
+        m := @parameter0: int;
+/*Source Line Pos Tag: sline: 2 eline: 2 spos: 27 epos: 31 file: ZeroAnalysisTest2.java*/
+/*maybe-zero*/
+
+        n := @parameter1: int;
+/*Source Line Pos Tag: sline: 2 eline: 2 spos: 34 epos: 38 file: ZeroAnalysisTest2.java*/
+/*maybe-zero*/
+
+        temp$0 = n - n;
+/*Source Line Pos Tag: sline: 3 eline: 3 spos: 5 epos: 18 file: ZeroAnalysisTest2.java*/
+/*maybe-zero*/
+
+        temp$2 = m / temp$0;
+/*Source Line Pos Tag: sline: 5 eline: 5 spos: 5 epos: 18 file: ZeroAnalysisTest2.java*/
+/*maybe-zero*/
+
+        return temp$2;
+/*Source Line Pos Tag: sline: 6 eline: 6 spos: 5 epos: 13 file: ZeroAnalysisTest2.java*/
+    }
+
+/*[Ljava.lang.String;@76c23af0*/
+    public void <init>()
+    {
+        ZeroAnalysisTest2 this;
+
+        this := @this: ZeroAnalysisTest2;
+/*1*/
+
+        specialinvoke this.<java.lang.Object: void <init>()>();
+/*1*/
+
+        return;
+/*1*/
+    }
+}

02/soot-dataflow-analysis/sootOutput/ZeroAnalysisTest3.jimple

+public class ZeroAnalysisTest3 extends java.lang.Object
+{
+/*ZeroAnalysisTest3.java*/
+
+/*[Ljava.lang.String;@34b59917*/
+    public static int test3(int, int)
+    {
+        int m, n, temp$0;
+
+        m := @parameter0: int;
+/*Source Line Pos Tag: sline: 2 eline: 2 spos: 27 epos: 31 file: ZeroAnalysisTest3.java*/
+/*maybe-zero*/
+
+        n := @parameter1: int;
+/*Source Line Pos Tag: sline: 2 eline: 2 spos: 34 epos: 38 file: ZeroAnalysisTest3.java*/
+/*maybe-zero*/
+
+        temp$0 = m / n;
+/*Source Line Pos Tag: sline: 4 eline: 4 spos: 5 epos: 18 file: ZeroAnalysisTest3.java*/
+/*maybe-zero*/
+
+        return temp$0;
+/*Source Line Pos Tag: sline: 5 eline: 5 spos: 5 epos: 13 file: ZeroAnalysisTest3.java*/
+    }
+
+/*[Ljava.lang.String;@3a06cf7a*/
+    public void <init>()
+    {
+        ZeroAnalysisTest3 this;
+
+        this := @this: ZeroAnalysisTest3;
+/*1*/
+
+        specialinvoke this.<java.lang.Object: void <init>()>();
+/*1*/
+
+        return;
+/*1*/
+    }
+}

02/soot-dataflow-analysis/sootOutput/ZeroAnalysisTest4.jimple

+public class ZeroAnalysisTest4 extends java.lang.Object
+{
+/*ZeroAnalysisTest4.java*/
+
+/*[Ljava.lang.String;@2dd000d2*/
+    public static int test4(int, int)
+    {
+        int m, n, x, temp$1;
+
+        m := @parameter0: int;
+/*Source Line Pos Tag: sline: 2 eline: 2 spos: 27 epos: 31 file: ZeroAnalysisTest4.java*/
+/*maybe-zero*/
+
+        n := @parameter1: int;
+/*Source Line Pos Tag: sline: 2 eline: 2 spos: 34 epos: 38 file: ZeroAnalysisTest4.java*/
+/*maybe-zero*/
+
+        if m != 0 goto label1;
+/*Source Line Pos Tag: sline: 4 eline: 4 spos: 9 epos: 14 file: ZeroAnalysisTest4.java*/
+
+        goto label2;
+/*Source Line Pos Tag: sline: 4 eline: 4 spos: 9 epos: 14 file: ZeroAnalysisTest4.java*/
+
+     label1:
+        x = m;
+/*Source Line Pos Tag: sline: 5 eline: 5 spos: 7 epos: 7 file: ZeroAnalysisTest4.java*/
+/*maybe-zero*/
+
+        goto label3;
+/*Source Line Pos Tag: sline: 4 eline: 8 spos: 5 epos: 5 file: ZeroAnalysisTest4.java*/
+
+     label2:
+        x = 1;
+/*Source Line Pos Tag: sline: 7 eline: 7 spos: 7 epos: 7 file: ZeroAnalysisTest4.java*/
+/*not-zero*/
+
+     label3:
+        temp$1 = n / x;
+/*Source Line Pos Tag: sline: 9 eline: 9 spos: 5 epos: 18 file: ZeroAnalysisTest4.java*/
+/*Possible division by zero here*/
+/*bottom*/
+
+        return temp$1;
+/*Source Line Pos Tag: sline: 10 eline: 10 spos: 5 epos: 13 file: ZeroAnalysisTest4.java*/
+    }
+
+/*[Ljava.lang.String;@2848efe1*/
+    public void <init>()
+    {
+        ZeroAnalysisTest4 this;
+
+        this := @this: ZeroAnalysisTest4;
+/*1*/
+
+        specialinvoke this.<java.lang.Object: void <init>()>();
+/*1*/
+
+        return;
+/*1*/
+    }
+}

02/soot-dataflow-analysis/sootOutput/ZeroAnalysisTest5.jimple

+public class ZeroAnalysisTest5 extends java.lang.Object
+{
+/*ZeroAnalysisTest5.java*/
+
+/*[Ljava.lang.String;@30cc0371*/
+    public static int test5(int)
+    {
+        int y, x, temp$1, temp$2;
+
+        y := @parameter0: int;
+/*Source Line Pos Tag: sline: 3 eline: 3 spos: 28 epos: 32 file: ZeroAnalysisTest5.java*/
+/*maybe-zero*/
+
+        x = y;
+/*Source Line Pos Tag: sline: 4 eline: 4 spos: 5 epos: 14 file: ZeroAnalysisTest5.java*/
+/*maybe-zero*/
+
+        y = 1;
+/*Source Line Pos Tag: sline: 5 eline: 5 spos: 5 epos: 5 file: ZeroAnalysisTest5.java*/
+/*not-zero*/
+
+     label1:
+        if x != 1 goto label2;
+/*Source Line Pos Tag: sline: 6 eline: 6 spos: 12 epos: 15 file: ZeroAnalysisTest5.java*/
+
+        goto label3;
+/*Source Line Pos Tag: sline: 6 eline: 6 spos: 12 epos: 15 file: ZeroAnalysisTest5.java*/
+
+     label2:
+        temp$1 = x * y;
+/*Source Line Pos Tag: sline: 7 eline: 7 spos: 7 epos: 12 file: ZeroAnalysisTest5.java*/
+/*zero*/
+
+        y = temp$1;
+/*Source Line Pos Tag: sline: 7 eline: 7 spos: 7 epos: 7 file: ZeroAnalysisTest5.java*/
+/*zero*/
+
+        temp$2 = x - 1;
+/*Source Line Pos Tag: sline: 8 eline: 8 spos: 7 epos: 12 file: ZeroAnalysisTest5.java*/
+/*not-zero*/
+
+        x = temp$2;
+/*Source Line Pos Tag: sline: 8 eline: 8 spos: 7 epos: 7 file: ZeroAnalysisTest5.java*/
+/*not-zero*/
+
+        goto label1;
+/*Source Line Pos Tag: sline: 6 eline: 9 spos: 5 epos: 5 file: ZeroAnalysisTest5.java*/
+
+     label3:
+        return y;
+/*Source Line Pos Tag: sline: 10 eline: 10 spos: 5 epos: 13 file: ZeroAnalysisTest5.java*/
+    }
+
+/*[Ljava.lang.String;@5bd1da1f*/
+    public void <init>()
+    {
+        ZeroAnalysisTest5 this;
+
+        this := @this: ZeroAnalysisTest5;
+/*2*/
+
+        specialinvoke this.<java.lang.Object: void <init>()>();
+/*2*/
+
+        return;
+/*2*/
+    }
+}

02/soot-dataflow-analysis/sootOutput/ZeroAnalysisTest6.jimple

+public class ZeroAnalysisTest6 extends java.lang.Object
+{
+/*ZeroAnalysisTest6.java*/
+
+/*[Ljava.lang.String;@7caa3d4e*/
+    public static int test6(int)
+    {
+        int x, y, temp$2;
+
+        x := @parameter0: int;
+/*Source Line Pos Tag: sline: 3 eline: 3 spos: 28 epos: 32 file: ZeroAnalysisTest6.java*/
+/*maybe-zero*/
+
+        if x == 0 goto label1;
+/*Source Line Pos Tag: sline: 5 eline: 5 spos: 9 epos: 12 file: ZeroAnalysisTest6.java*/
+
+        goto label2;
+/*Source Line Pos Tag: sline: 5 eline: 5 spos: 9 epos: 12 file: ZeroAnalysisTest6.java*/
+
+     label1:
+        y = 1;
+/*Source Line Pos Tag: sline: 6 eline: 6 spos: 8 epos: 8 file: ZeroAnalysisTest6.java*/
+/*not-zero*/
+
+        goto label3;
+/*Source Line Pos Tag: sline: 5 eline: 9 spos: 5 epos: 5 file: ZeroAnalysisTest6.java*/
+
+     label2:
+        y = 2;
+/*Source Line Pos Tag: sline: 8 eline: 8 spos: 7 epos: 7 file: ZeroAnalysisTest6.java*/
+/*not-zero*/
+
+     label3:
+        temp$2 = x / y;
+/*Source Line Pos Tag: sline: 10 eline: 10 spos: 5 epos: 15 file: ZeroAnalysisTest6.java*/
+/*Possible division by zero here*/
+/*bottom*/
+
+        return temp$2;
+/*Source Line Pos Tag: sline: 11 eline: 11 spos: 5 epos: 13 file: ZeroAnalysisTest6.java*/
+    }
+
+/*[Ljava.lang.String;@60d9e36f*/
+    public void <init>()
+    {
+        ZeroAnalysisTest6 this;
+
+        this := @this: ZeroAnalysisTest6;
+/*2*/
+
+        specialinvoke this.<java.lang.Object: void <init>()>();
+/*2*/
+
+        return;
+/*2*/
+    }
+}

02/soot-dataflow-analysis/sootOutput/ZeroAnalysisTest7.jimple

+public class ZeroAnalysisTest7 extends java.lang.Object
+{
+/*ZeroAnalysisTest7.java*/
+
+/*[Ljava.lang.String;@7caa3d4e*/
+    public static int test7()
+    {
+        int d, temp$0;
+
+        temp$0 = 1 / 0;
+/*Source Line Pos Tag: sline: 7 eline: 7 spos: 7 epos: 18 file: ZeroAnalysisTest7.java*/
+/*Possible division by zero here*/
+/*bottom*/
+
+        d = temp$0;
+/*Source Line Pos Tag: sline: 7 eline: 7 spos: 7 epos: 18 file: ZeroAnalysisTest7.java*/
+/*bottom*/
+
+        if temp$0 > 0 goto label1;
+/*Source Line Pos Tag: sline: 9 eline: 9 spos: 11 epos: 13 file: ZeroAnalysisTest7.java*/
+
+        goto label2;
+/*Source Line Pos Tag: sline: 9 eline: 9 spos: 11 epos: 13 file: ZeroAnalysisTest7.java*/
+
+     label1:
+        d = 1;
+/*Source Line Pos Tag: sline: 10 eline: 10 spos: 9 epos: 9 file: ZeroAnalysisTest7.java*/
+/*not-zero*/
+
+     label2:
+        return d;
+/*Source Line Pos Tag: sline: 13 eline: 13 spos: 7 epos: 15 file: ZeroAnalysisTest7.java*/
+    }
+
+/*[Ljava.lang.String;@60d9e36f*/
+    public void <init>()
+    {
+        ZeroAnalysisTest7 this;
+
+        this := @this: ZeroAnalysisTest7;
+/*2*/
+
+        specialinvoke this.<java.lang.Object: void <init>()>();
+/*2*/
+
+        return;
+/*2*/
+    }
+}