codeql/cpp/ql/test/library-tests/dataflow/stackaddress/test.cpp at sauyon/java-spring-stringutils · ByteDecoder/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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
void sink_i(int*);
void sink_v(void*);

void test000() {
  int x;
  sink_i(&x);
  sink_v(&x);
}

void test001() {
  int x;
  int *p = &x;
  sink_i(p);
  sink_v(p);
}

void test002_helper(int *p) {
  int *q = p;
  sink_i(q);
  sink_v(q);
}

void test002() {
  int x;
  int *p = &x;
  test002_helper(p);
}

void test100() {
  int x[10];
  sink_i(x);
  sink_i(x+2);
  sink_v(x);
}

void test101() {
  int x[10];
  int *p = x;
  sink_i(p);
  sink_i(p-2);
  sink_v(p);
}

void test102() {
  int x[10];
  int *p = &x[2];
  sink_i(p);
  sink_v(p);
}

void test103() {
  int x[10];
  void *p = x;
  sink_v(p);
}

void test104_helper(int *p) {
  int *q = p;
  sink_i(q);
  sink_i(q+2);
  sink_v(q);
}

void test104() {
  int x[10];
  test104_helper(x);
  test104_helper(x-2);
}

void test200() {
  int* p = new int[10];
  sink_i(p);
  sink_v(p);
}

void test300() {
  int x[3][4][5];
  sink_i(&x[0][0][0]);
  sink_v(&x[0][0][0]);

  int (*p)[3][4][5] = &x;
  sink_i(&((*p)[0][0][0]));
  sink_v(&((*p)[0][0][0]));
}

void test301_helper(int x[4][5]) {
  sink_i(&x[0][0]);
  sink_v(&x[0][0]);
}

void test301() {
  int x[3][4][5];
  test301_helper(x[0]);
}

void test302() {
  int x[3][4][5];
  sink_v(x);
}