codeql/cpp/ql/test/library-tests/dataflow/certain/test.cpp at codeql-cli/v2.26.2 · github/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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
void use(...);

void test1() {
  int x = 0; // $ certain="SSA def(&x)" certain="SSA def(x)"
  use(x);

  x = 1; // $ certain="SSA def(x)"
  use(x);

  int* p = &x; // $ certain="SSA def(&p)" certain="SSA def(p)" certain="SSA def(*p)"
  use(p);

  *p = 2; // $ certain="SSA def(*p)"
  use(p);

  p = nullptr; // $ certain="SSA def(p)" certain="SSA def(*p)"
  use(p);

  *p = 2; // $ uncertain="SSA def(*p)"
  use(p);
}

void test2(bool b) { // $ certain="SSA def(&b)" certain="SSA def(b)"
  {
  int x; // $ certain="SSA def(&x)"
  if(b) {
    x = 0; // $ certain="SSA def(x)"
  } else {
    x = 1; // $ certain="SSA def(x)"
  }
  use(x); // $ certain="SSA phi(x)"
  }

  {
  int x; // $ certain="SSA def(&x)" certain="SSA def(x)"
  if(b) {
    x = 0; // $ certain="SSA def(x)"
  } else {

  }
  use(x); // $ certain="SSA phi(x)"
  }

  {
  int x; // $ certain="SSA def(&x)" certain="SSA def(x)"
  int* p = &x; // $ certain="SSA def(&p)" certain="SSA def(p)" certain="SSA def(*p)"
  if(b) {
    *p = 0; // $ certain="SSA def(*p)"
  } else {
    *(p + 1) = 1; // $ uncertain="SSA def(*p)"
  }
  use(p); // $ uncertain="SSA phi(*p)"
  }

}

void test3(bool b) { // $ certain="SSA def(&b)" certain="SSA def(b)"
  for(int i = 0; i < 10;) { // $ certain="SSA def(&i)" certain="SSA def(i)" certain="SSA phi(i)"
    if(b) {
      ++i; // $ certain="SSA def(i)"
    }
    use(i); // $ certain="SSA phi(i)"
  }
}

void test(int x, bool b1, bool b2) { // $ certain="SSA def(&x)" certain="SSA def(x)" certain="SSA def(&b1)" certain="SSA def(b1)" certain="SSA def(&b2)" certain="SSA def(b2)"
  int* p = &x; // $ certain="SSA def(&p)" certain="SSA def(p)" certain="SSA def(*p)"
  int i = 0; // $ certain="SSA def(&i)" certain="SSA def(i)"
  int j = 0; // $ certain="SSA def(&j)" certain="SSA def(j)"
  while (i < 10) { // $ certain="SSA phi(i)" certain="SSA phi(*p)"
  if (b1) {
    *p = 0; // $ certain="SSA def(*p)"
  }
  ++i; // $ certain="SSA def(i)" certain="SSA phi(*p)"
  }
  while (j < 10) { // $ uncertain="SSA phi(*p)" certain="SSA phi(j)"
    if (b2) {
      *(p + j) = 0; // $ uncertain="SSA def(*p)"
    }
    ++j; // $ certain="SSA def(j)" uncertain="SSA phi(*p)"
  }
}