Skip to content

Commit 4cbe823

Browse files
MathiasVPMathiasVP
committed
C++: Accept more test changes.
1 parent b221999 commit 4cbe823

3 files changed

Lines changed: 4 additions & 62 deletions

File tree

‎cpp/ql/test/examples/docs-examples/analyzing-data-flow-in-cpp/printf-format-not-hard-coded.expected‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1 @@
11
| printf.cpp:5:5:5:10 | call to printf | Argument to printf isn't hard-coded. |
2-
| printf.cpp:6:5:6:10 | call to printf | Argument to printf isn't hard-coded. |

‎cpp/ql/test/experimental/query-tests/Security/CWE/CWE-190/AllocMultiplicationOverflow/AllocMultiplicationOverflow.expected‎

Lines changed: 4 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -1,58 +1,28 @@
11
edges
2-
| test.cpp:13:33:13:37 | ... * ... | test.cpp:13:33:13:37 | ... * ... |
3-
| test.cpp:15:31:15:35 | ... * ... | test.cpp:15:31:15:35 | ... * ... |
4-
| test.cpp:19:34:19:38 | ... * ... | test.cpp:19:34:19:38 | ... * ... |
5-
| test.cpp:22:17:22:21 | ... * ... | test.cpp:23:33:23:37 | size1 |
62
| test.cpp:22:17:22:21 | ... * ... | test.cpp:23:33:23:37 | size1 |
73
| test.cpp:37:24:37:27 | size | test.cpp:37:46:37:49 | size |
84
| test.cpp:45:36:45:40 | ... * ... | test.cpp:37:24:37:27 | size |
9-
| test.cpp:45:36:45:40 | ... * ... | test.cpp:45:36:45:40 | ... * ... |
10-
| test.cpp:45:36:45:40 | ... * ... | test.cpp:45:36:45:40 | ... * ... |
11-
| test.cpp:46:36:46:40 | ... * ... | test.cpp:46:36:46:40 | ... * ... |
125
nodes
136
| test.cpp:13:33:13:37 | ... * ... | semmle.label | ... * ... |
14-
| test.cpp:13:33:13:37 | ... * ... | semmle.label | ... * ... |
15-
| test.cpp:13:33:13:37 | ... * ... | semmle.label | ... * ... |
167
| test.cpp:15:31:15:35 | ... * ... | semmle.label | ... * ... |
17-
| test.cpp:15:31:15:35 | ... * ... | semmle.label | ... * ... |
18-
| test.cpp:15:31:15:35 | ... * ... | semmle.label | ... * ... |
19-
| test.cpp:19:34:19:38 | ... * ... | semmle.label | ... * ... |
208
| test.cpp:19:34:19:38 | ... * ... | semmle.label | ... * ... |
21-
| test.cpp:19:34:19:38 | ... * ... | semmle.label | ... * ... |
22-
| test.cpp:22:17:22:21 | ... * ... | semmle.label | ... * ... |
239
| test.cpp:22:17:22:21 | ... * ... | semmle.label | ... * ... |
2410
| test.cpp:23:33:23:37 | size1 | semmle.label | size1 |
25-
| test.cpp:30:27:30:31 | ... * ... | semmle.label | ... * ... |
26-
| test.cpp:31:27:31:31 | ... * ... | semmle.label | ... * ... |
11+
| test.cpp:30:18:30:32 | new[] | semmle.label | new[] |
12+
| test.cpp:31:18:31:32 | new[] | semmle.label | new[] |
2713
| test.cpp:37:24:37:27 | size | semmle.label | size |
2814
| test.cpp:37:46:37:49 | size | semmle.label | size |
2915
| test.cpp:45:36:45:40 | ... * ... | semmle.label | ... * ... |
3016
| test.cpp:45:36:45:40 | ... * ... | semmle.label | ... * ... |
31-
| test.cpp:45:36:45:40 | ... * ... | semmle.label | ... * ... |
32-
| test.cpp:45:36:45:40 | ... * ... | semmle.label | ... * ... |
33-
| test.cpp:46:36:46:40 | ... * ... | semmle.label | ... * ... |
34-
| test.cpp:46:36:46:40 | ... * ... | semmle.label | ... * ... |
3517
| test.cpp:46:36:46:40 | ... * ... | semmle.label | ... * ... |
3618
subpaths
3719
#select
3820
| test.cpp:13:33:13:37 | ... * ... | test.cpp:13:33:13:37 | ... * ... | test.cpp:13:33:13:37 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:13:33:13:37 | ... * ... | multiplication |
39-
| test.cpp:13:33:13:37 | ... * ... | test.cpp:13:33:13:37 | ... * ... | test.cpp:13:33:13:37 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:13:33:13:37 | ... * ... | multiplication |
40-
| test.cpp:13:33:13:37 | ... * ... | test.cpp:13:33:13:37 | ... * ... | test.cpp:13:33:13:37 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:13:33:13:37 | ... * ... | multiplication |
41-
| test.cpp:15:31:15:35 | ... * ... | test.cpp:15:31:15:35 | ... * ... | test.cpp:15:31:15:35 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:15:31:15:35 | ... * ... | multiplication |
4221
| test.cpp:15:31:15:35 | ... * ... | test.cpp:15:31:15:35 | ... * ... | test.cpp:15:31:15:35 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:15:31:15:35 | ... * ... | multiplication |
43-
| test.cpp:15:31:15:35 | ... * ... | test.cpp:15:31:15:35 | ... * ... | test.cpp:15:31:15:35 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:15:31:15:35 | ... * ... | multiplication |
44-
| test.cpp:19:34:19:38 | ... * ... | test.cpp:19:34:19:38 | ... * ... | test.cpp:19:34:19:38 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:19:34:19:38 | ... * ... | multiplication |
45-
| test.cpp:19:34:19:38 | ... * ... | test.cpp:19:34:19:38 | ... * ... | test.cpp:19:34:19:38 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:19:34:19:38 | ... * ... | multiplication |
4622
| test.cpp:19:34:19:38 | ... * ... | test.cpp:19:34:19:38 | ... * ... | test.cpp:19:34:19:38 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:19:34:19:38 | ... * ... | multiplication |
4723
| test.cpp:23:33:23:37 | size1 | test.cpp:22:17:22:21 | ... * ... | test.cpp:23:33:23:37 | size1 | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:22:17:22:21 | ... * ... | multiplication |
48-
| test.cpp:23:33:23:37 | size1 | test.cpp:22:17:22:21 | ... * ... | test.cpp:23:33:23:37 | size1 | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:22:17:22:21 | ... * ... | multiplication |
49-
| test.cpp:30:27:30:31 | ... * ... | test.cpp:30:27:30:31 | ... * ... | test.cpp:30:27:30:31 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:30:27:30:31 | ... * ... | multiplication |
50-
| test.cpp:31:27:31:31 | ... * ... | test.cpp:31:27:31:31 | ... * ... | test.cpp:31:27:31:31 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:31:27:31:31 | ... * ... | multiplication |
51-
| test.cpp:37:46:37:49 | size | test.cpp:45:36:45:40 | ... * ... | test.cpp:37:46:37:49 | size | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:45:36:45:40 | ... * ... | multiplication |
24+
| test.cpp:30:18:30:32 | new[] | test.cpp:30:18:30:32 | new[] | test.cpp:30:18:30:32 | new[] | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:30:18:30:32 | new[] | multiplication |
25+
| test.cpp:31:18:31:32 | new[] | test.cpp:31:18:31:32 | new[] | test.cpp:31:18:31:32 | new[] | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:31:18:31:32 | new[] | multiplication |
5226
| test.cpp:37:46:37:49 | size | test.cpp:45:36:45:40 | ... * ... | test.cpp:37:46:37:49 | size | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:45:36:45:40 | ... * ... | multiplication |
5327
| test.cpp:45:36:45:40 | ... * ... | test.cpp:45:36:45:40 | ... * ... | test.cpp:45:36:45:40 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:45:36:45:40 | ... * ... | multiplication |
54-
| test.cpp:45:36:45:40 | ... * ... | test.cpp:45:36:45:40 | ... * ... | test.cpp:45:36:45:40 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:45:36:45:40 | ... * ... | multiplication |
55-
| test.cpp:45:36:45:40 | ... * ... | test.cpp:45:36:45:40 | ... * ... | test.cpp:45:36:45:40 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:45:36:45:40 | ... * ... | multiplication |
56-
| test.cpp:46:36:46:40 | ... * ... | test.cpp:46:36:46:40 | ... * ... | test.cpp:46:36:46:40 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:46:36:46:40 | ... * ... | multiplication |
57-
| test.cpp:46:36:46:40 | ... * ... | test.cpp:46:36:46:40 | ... * ... | test.cpp:46:36:46:40 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:46:36:46:40 | ... * ... | multiplication |
5828
| test.cpp:46:36:46:40 | ... * ... | test.cpp:46:36:46:40 | ... * ... | test.cpp:46:36:46:40 | ... * ... | Potentially overflowing value from $@ is used in the size of this allocation. | test.cpp:46:36:46:40 | ... * ... | multiplication |

‎cpp/ql/test/experimental/query-tests/Security/CWE/CWE-359/semmle/tests/PrivateCleartextWrite.expected‎

Lines changed: 0 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -1,30 +1,18 @@
11
edges
22
| test.cpp:45:18:45:23 | buffer | test.cpp:45:7:45:10 | func indirection |
3-
| test.cpp:57:9:57:18 | theZipcode | test.cpp:57:9:57:18 | theZipcode |
43
| test.cpp:74:24:74:30 | medical | test.cpp:78:24:78:27 | temp |
54
| test.cpp:74:24:74:30 | medical | test.cpp:81:22:81:28 | medical |
65
| test.cpp:77:16:77:22 | medical | test.cpp:78:24:78:27 | temp |
76
| test.cpp:77:16:77:22 | medical | test.cpp:81:22:81:28 | medical |
87
| test.cpp:81:17:81:20 | call to func | test.cpp:82:24:82:28 | buff5 |
98
| test.cpp:81:22:81:28 | medical | test.cpp:45:18:45:23 | buffer |
109
| test.cpp:81:22:81:28 | medical | test.cpp:81:17:81:20 | call to func |
11-
| test.cpp:96:37:96:46 | theZipcode | test.cpp:96:37:96:46 | theZipcode |
12-
| test.cpp:96:37:96:46 | theZipcode | test.cpp:96:37:96:46 | theZipcode |
1310
| test.cpp:96:37:96:46 | theZipcode | test.cpp:99:42:99:51 | theZipcode |
14-
| test.cpp:96:37:96:46 | theZipcode | test.cpp:99:42:99:51 | theZipcode |
15-
| test.cpp:96:37:96:46 | theZipcode | test.cpp:99:42:99:51 | theZipcode |
16-
| test.cpp:96:37:96:46 | theZipcode | test.cpp:99:42:99:51 | theZipcode |
17-
| test.cpp:96:37:96:46 | theZipcode | test.cpp:99:42:99:51 | theZipcode |
18-
| test.cpp:96:37:96:46 | theZipcode | test.cpp:99:42:99:51 | theZipcode |
19-
| test.cpp:99:42:99:51 | theZipcode | test.cpp:99:42:99:51 | theZipcode |
20-
| test.cpp:99:61:99:70 | theZipcode | test.cpp:99:42:99:51 | theZipcode |
2111
| test.cpp:99:61:99:70 | theZipcode | test.cpp:99:42:99:51 | theZipcode |
2212
nodes
2313
| test.cpp:45:7:45:10 | func indirection | semmle.label | func indirection |
2414
| test.cpp:45:18:45:23 | buffer | semmle.label | buffer |
2515
| test.cpp:57:9:57:18 | theZipcode | semmle.label | theZipcode |
26-
| test.cpp:57:9:57:18 | theZipcode | semmle.label | theZipcode |
27-
| test.cpp:57:9:57:18 | theZipcode | semmle.label | theZipcode |
2816
| test.cpp:74:24:74:30 | medical | semmle.label | medical |
2917
| test.cpp:74:24:74:30 | medical | semmle.label | medical |
3018
| test.cpp:77:16:77:22 | medical | semmle.label | medical |
@@ -34,34 +22,19 @@ nodes
3422
| test.cpp:82:24:82:28 | buff5 | semmle.label | buff5 |
3523
| test.cpp:96:37:96:46 | theZipcode | semmle.label | theZipcode |
3624
| test.cpp:96:37:96:46 | theZipcode | semmle.label | theZipcode |
37-
| test.cpp:96:37:96:46 | theZipcode | semmle.label | theZipcode |
38-
| test.cpp:96:37:96:46 | theZipcode | semmle.label | theZipcode |
39-
| test.cpp:99:42:99:51 | theZipcode | semmle.label | theZipcode |
40-
| test.cpp:99:42:99:51 | theZipcode | semmle.label | theZipcode |
4125
| test.cpp:99:42:99:51 | theZipcode | semmle.label | theZipcode |
4226
| test.cpp:99:61:99:70 | theZipcode | semmle.label | theZipcode |
43-
| test.cpp:99:61:99:70 | theZipcode | semmle.label | theZipcode |
4427
subpaths
4528
| test.cpp:81:22:81:28 | medical | test.cpp:45:18:45:23 | buffer | test.cpp:45:7:45:10 | func indirection | test.cpp:81:17:81:20 | call to func |
4629
#select
4730
| test.cpp:57:9:57:18 | theZipcode | test.cpp:57:9:57:18 | theZipcode | test.cpp:57:9:57:18 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:57:9:57:18 | theZipcode | this source of private data. |
48-
| test.cpp:57:9:57:18 | theZipcode | test.cpp:57:9:57:18 | theZipcode | test.cpp:57:9:57:18 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:57:9:57:18 | theZipcode | this source of private data. |
49-
| test.cpp:57:9:57:18 | theZipcode | test.cpp:57:9:57:18 | theZipcode | test.cpp:57:9:57:18 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:57:9:57:18 | theZipcode | this source of private data. |
5031
| test.cpp:74:24:74:30 | medical | test.cpp:74:24:74:30 | medical | test.cpp:74:24:74:30 | medical | This write into the external location 'medical' may contain unencrypted data from $@. | test.cpp:74:24:74:30 | medical | this source of private data. |
5132
| test.cpp:78:24:78:27 | temp | test.cpp:74:24:74:30 | medical | test.cpp:78:24:78:27 | temp | This write into the external location 'temp' may contain unencrypted data from $@. | test.cpp:74:24:74:30 | medical | this source of private data. |
5233
| test.cpp:78:24:78:27 | temp | test.cpp:77:16:77:22 | medical | test.cpp:78:24:78:27 | temp | This write into the external location 'temp' may contain unencrypted data from $@. | test.cpp:77:16:77:22 | medical | this source of private data. |
5334
| test.cpp:82:24:82:28 | buff5 | test.cpp:74:24:74:30 | medical | test.cpp:82:24:82:28 | buff5 | This write into the external location 'buff5' may contain unencrypted data from $@. | test.cpp:74:24:74:30 | medical | this source of private data. |
5435
| test.cpp:82:24:82:28 | buff5 | test.cpp:77:16:77:22 | medical | test.cpp:82:24:82:28 | buff5 | This write into the external location 'buff5' may contain unencrypted data from $@. | test.cpp:77:16:77:22 | medical | this source of private data. |
5536
| test.cpp:82:24:82:28 | buff5 | test.cpp:81:22:81:28 | medical | test.cpp:82:24:82:28 | buff5 | This write into the external location 'buff5' may contain unencrypted data from $@. | test.cpp:81:22:81:28 | medical | this source of private data. |
5637
| test.cpp:96:37:96:46 | theZipcode | test.cpp:96:37:96:46 | theZipcode | test.cpp:96:37:96:46 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:96:37:96:46 | theZipcode | this source of private data. |
57-
| test.cpp:96:37:96:46 | theZipcode | test.cpp:96:37:96:46 | theZipcode | test.cpp:96:37:96:46 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:96:37:96:46 | theZipcode | this source of private data. |
58-
| test.cpp:96:37:96:46 | theZipcode | test.cpp:96:37:96:46 | theZipcode | test.cpp:96:37:96:46 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:96:37:96:46 | theZipcode | this source of private data. |
59-
| test.cpp:99:42:99:51 | theZipcode | test.cpp:96:37:96:46 | theZipcode | test.cpp:99:42:99:51 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:96:37:96:46 | theZipcode | this source of private data. |
6038
| test.cpp:99:42:99:51 | theZipcode | test.cpp:96:37:96:46 | theZipcode | test.cpp:99:42:99:51 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:96:37:96:46 | theZipcode | this source of private data. |
61-
| test.cpp:99:42:99:51 | theZipcode | test.cpp:96:37:96:46 | theZipcode | test.cpp:99:42:99:51 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:96:37:96:46 | theZipcode | this source of private data. |
62-
| test.cpp:99:42:99:51 | theZipcode | test.cpp:96:37:96:46 | theZipcode | test.cpp:99:42:99:51 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:96:37:96:46 | theZipcode | this source of private data. |
63-
| test.cpp:99:42:99:51 | theZipcode | test.cpp:99:42:99:51 | theZipcode | test.cpp:99:42:99:51 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:99:42:99:51 | theZipcode | this source of private data. |
6439
| test.cpp:99:42:99:51 | theZipcode | test.cpp:99:42:99:51 | theZipcode | test.cpp:99:42:99:51 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:99:42:99:51 | theZipcode | this source of private data. |
65-
| test.cpp:99:42:99:51 | theZipcode | test.cpp:99:42:99:51 | theZipcode | test.cpp:99:42:99:51 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:99:42:99:51 | theZipcode | this source of private data. |
66-
| test.cpp:99:42:99:51 | theZipcode | test.cpp:99:61:99:70 | theZipcode | test.cpp:99:42:99:51 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:99:61:99:70 | theZipcode | this source of private data. |
6740
| test.cpp:99:42:99:51 | theZipcode | test.cpp:99:61:99:70 | theZipcode | test.cpp:99:42:99:51 | theZipcode | This write into the external location 'theZipcode' may contain unencrypted data from $@. | test.cpp:99:61:99:70 | theZipcode | this source of private data. |

0 commit comments

Comments
 (0)