Skip to content

Commit c76dbeb

Browse files
MathiasVPMathiasVP
committed
C++: Ensure that the 'use-after-free' query is run on 'test_free.cpp'.
1 parent d304022 commit c76dbeb

File tree

2 files changed

+57
-0
lines changed

2 files changed

+57
-0
lines changed

‎cpp/ql/test/query-tests/Critical/MemoryFreed/UseAfterFree.expected

Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,56 @@
1+
edges
2+
| test_free.cpp:11:10:11:10 | a | test_free.cpp:12:5:12:5 | a |
3+
| test_free.cpp:11:10:11:10 | a | test_free.cpp:12:5:12:5 | a |
4+
| test_free.cpp:11:10:11:10 | a | test_free.cpp:13:6:13:6 | a |
5+
| test_free.cpp:11:10:11:10 | a | test_free.cpp:13:6:13:6 | a |
6+
| test_free.cpp:42:27:42:27 | a | test_free.cpp:45:5:45:5 | a |
7+
| test_free.cpp:42:27:42:27 | a | test_free.cpp:45:5:45:5 | a |
8+
| test_free.cpp:44:27:44:27 | a | test_free.cpp:45:5:45:5 | a |
9+
| test_free.cpp:44:27:44:27 | a | test_free.cpp:45:5:45:5 | a |
10+
| test_free.cpp:69:10:69:10 | a | test_free.cpp:71:9:71:9 | a |
11+
| test_free.cpp:69:10:69:10 | a | test_free.cpp:71:9:71:9 | a |
12+
| test_free.cpp:95:10:95:10 | a | test_free.cpp:96:9:96:9 | a |
13+
| test_free.cpp:101:10:101:10 | a | test_free.cpp:102:23:102:23 | a |
14+
| test_free.cpp:152:27:152:27 | a | test_free.cpp:153:5:153:5 | a |
15+
| test_free.cpp:152:27:152:27 | a | test_free.cpp:153:5:153:5 | a |
16+
| test_free.cpp:227:24:227:45 | memory_descriptor_list | test_free.cpp:228:16:228:37 | memory_descriptor_list |
17+
nodes
18+
| test_free.cpp:11:10:11:10 | a | semmle.label | a |
19+
| test_free.cpp:11:10:11:10 | a | semmle.label | a |
20+
| test_free.cpp:12:5:12:5 | a | semmle.label | a |
21+
| test_free.cpp:13:6:13:6 | a | semmle.label | a |
22+
| test_free.cpp:42:27:42:27 | a | semmle.label | a |
23+
| test_free.cpp:42:27:42:27 | a | semmle.label | a |
24+
| test_free.cpp:44:27:44:27 | a | semmle.label | a |
25+
| test_free.cpp:44:27:44:27 | a | semmle.label | a |
26+
| test_free.cpp:45:5:45:5 | a | semmle.label | a |
27+
| test_free.cpp:45:5:45:5 | a | semmle.label | a |
28+
| test_free.cpp:69:10:69:10 | a | semmle.label | a |
29+
| test_free.cpp:69:10:69:10 | a | semmle.label | a |
30+
| test_free.cpp:71:9:71:9 | a | semmle.label | a |
31+
| test_free.cpp:95:10:95:10 | a | semmle.label | a |
32+
| test_free.cpp:96:9:96:9 | a | semmle.label | a |
33+
| test_free.cpp:101:10:101:10 | a | semmle.label | a |
34+
| test_free.cpp:102:23:102:23 | a | semmle.label | a |
35+
| test_free.cpp:152:27:152:27 | a | semmle.label | a |
36+
| test_free.cpp:152:27:152:27 | a | semmle.label | a |
37+
| test_free.cpp:153:5:153:5 | a | semmle.label | a |
38+
| test_free.cpp:227:24:227:45 | memory_descriptor_list | semmle.label | memory_descriptor_list |
39+
| test_free.cpp:228:16:228:37 | memory_descriptor_list | semmle.label | memory_descriptor_list |
40+
subpaths
41+
#select
42+
| test_free.cpp:12:5:12:5 | a | test_free.cpp:11:10:11:10 | a | test_free.cpp:12:5:12:5 | a | Memory may have been previously freed by $@. | test_free.cpp:11:5:11:8 | call to free | call to free |
43+
| test_free.cpp:12:5:12:5 | a | test_free.cpp:11:10:11:10 | a | test_free.cpp:12:5:12:5 | a | Memory may have been previously freed by $@. | test_free.cpp:11:5:11:8 | call to free | call to free |
44+
| test_free.cpp:13:6:13:6 | a | test_free.cpp:11:10:11:10 | a | test_free.cpp:13:6:13:6 | a | Memory may have been previously freed by $@. | test_free.cpp:11:5:11:8 | call to free | call to free |
45+
| test_free.cpp:13:6:13:6 | a | test_free.cpp:11:10:11:10 | a | test_free.cpp:13:6:13:6 | a | Memory may have been previously freed by $@. | test_free.cpp:11:5:11:8 | call to free | call to free |
46+
| test_free.cpp:45:5:45:5 | a | test_free.cpp:42:27:42:27 | a | test_free.cpp:45:5:45:5 | a | Memory may have been previously freed by $@. | test_free.cpp:42:22:42:25 | call to free | call to free |
47+
| test_free.cpp:45:5:45:5 | a | test_free.cpp:42:27:42:27 | a | test_free.cpp:45:5:45:5 | a | Memory may have been previously freed by $@. | test_free.cpp:42:22:42:25 | call to free | call to free |
48+
| test_free.cpp:45:5:45:5 | a | test_free.cpp:44:27:44:27 | a | test_free.cpp:45:5:45:5 | a | Memory may have been previously freed by $@. | test_free.cpp:44:22:44:25 | call to free | call to free |
49+
| test_free.cpp:45:5:45:5 | a | test_free.cpp:44:27:44:27 | a | test_free.cpp:45:5:45:5 | a | Memory may have been previously freed by $@. | test_free.cpp:44:22:44:25 | call to free | call to free |
50+
| test_free.cpp:71:9:71:9 | a | test_free.cpp:69:10:69:10 | a | test_free.cpp:71:9:71:9 | a | Memory may have been previously freed by $@. | test_free.cpp:69:5:69:8 | call to free | call to free |
51+
| test_free.cpp:71:9:71:9 | a | test_free.cpp:69:10:69:10 | a | test_free.cpp:71:9:71:9 | a | Memory may have been previously freed by $@. | test_free.cpp:69:5:69:8 | call to free | call to free |
52+
| test_free.cpp:96:9:96:9 | a | test_free.cpp:95:10:95:10 | a | test_free.cpp:96:9:96:9 | a | Memory may have been previously freed by $@. | test_free.cpp:95:5:95:8 | call to free | call to free |
53+
| test_free.cpp:102:23:102:23 | a | test_free.cpp:101:10:101:10 | a | test_free.cpp:102:23:102:23 | a | Memory may have been previously freed by $@. | test_free.cpp:101:5:101:8 | call to free | call to free |
54+
| test_free.cpp:153:5:153:5 | a | test_free.cpp:152:27:152:27 | a | test_free.cpp:153:5:153:5 | a | Memory may have been previously freed by $@. | test_free.cpp:152:22:152:25 | call to free | call to free |
55+
| test_free.cpp:153:5:153:5 | a | test_free.cpp:152:27:152:27 | a | test_free.cpp:153:5:153:5 | a | Memory may have been previously freed by $@. | test_free.cpp:152:22:152:25 | call to free | call to free |
56+
| test_free.cpp:228:16:228:37 | memory_descriptor_list | test_free.cpp:227:24:227:45 | memory_descriptor_list | test_free.cpp:228:16:228:37 | memory_descriptor_list | Memory may have been previously freed by $@. | test_free.cpp:227:5:227:22 | call to MmFreePagesFromMdl | call to MmFreePagesFromMdl |

‎cpp/ql/test/query-tests/Critical/MemoryFreed/UseAfterFree.qlref

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Critical/UseAfterFree.ql

0 commit comments

Comments
 (0)