codeql/java/ql/test/library-tests/ssa/Fields.java at fix-javascript-example · sj/codeql · 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
class Fields {
  public int[] xs;
  public static int[] stat;

  public Fields() { upd(); }

  public void upd() {
    xs = new int[1];
    stat = new int[0];
  }

  public void f() {
    int[] x = xs;
    upd();
    x = xs;
    if (x[0] > 2)
      upd();
    x = this.xs;
    xs = new int[2];
    x = xs;
  }

  public void g() {
    Fields f = new Fields();
    int[] y = f.xs;
    int[] z = xs;
    int[] w = stat;
    this.f();
    y = f.xs;
    z = xs;
    w = stat;
    f.f();
    y = f.xs;
    z = xs;
    w = stat;
    xs = new int[3];
    y = f.xs;
    z = xs;
    f.xs = new int[4];
    y = f.xs;
    z = xs;
    if (z[0] > 2)
      f = new Fields();
    y = f.xs;
    new Fields();
    y = f.xs;
    z = xs;
    w = stat;
  }
}