intervalanalysis/examples.test2.jimple at master · jalilm/intervalanalysis · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
public class examples.test2 extends java.lang.Object
{

    public static void main(java.lang.String[])
    {
        java.lang.String[] args, temp$0;
        int temp$1, temp$3;
        java.lang.String temp$2;

        args := @parameter0: java.lang.String[];
        temp$0 = args;
        temp$1 = 0;
        temp$2 = temp$0[temp$1];
        temp$3 = staticinvoke <java.lang.Integer: int parseInt(java.lang.String)>(temp$2);
        staticinvoke <examples.test2: void foo(int)>(temp$3);
        return;
    }

    public static void foo(int)
    {
        int k, i, temp$0, temp$1;

        k := @parameter0: int;
        if k > 2 goto label0;

        goto label1;

     label0:
        nop;
        temp$0 = 3;
        i = temp$0;
        goto label2;

     label1:
        nop;
        temp$1 = -3;
        i = temp$1;

     label2:
        nop;
        return;
    }

    public void <init>()
    {
        examples.test2 this;

        this := @this: examples.test2;
        specialinvoke this.<java.lang.Object: void <init>()>();
        return;
    }
}