Skip to content

Commit 792d6d4

Browse files
hvitvedhvitved
committed
Update expected test output
1 parent 27c6aca commit 792d6d4

File tree

37 files changed

+3309
-85
lines changed

37 files changed

+3309
-85
lines changed

‎cpp/ql/test/experimental/query-tests/Security/CWE/CWE-409/DecompressionBombs/DecompressionBombs.expected‎

Lines changed: 419 additions & 0 deletions
Large diffs are not rendered by default.

‎cpp/ql/test/library-tests/dataflow/dataflow-tests/test-source-sink.expected‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -182,10 +182,15 @@ irFlow
182182
| dispatch.cpp:107:17:107:22 | call to source | dispatch.cpp:96:8:96:8 | x |
183183
| dispatch.cpp:140:8:140:13 | call to source | dispatch.cpp:96:8:96:8 | x |
184184
| dispatch.cpp:144:8:144:13 | call to source | dispatch.cpp:96:8:96:8 | x |
185+
| flowOut.cpp:5:16:5:21 | call to source | flowOut.cpp:19:9:19:9 | x |
185186
| flowOut.cpp:5:16:5:21 | call to source | flowOut.cpp:31:9:31:9 | x |
187+
| flowOut.cpp:5:16:5:21 | call to source | flowOut.cpp:46:8:46:11 | access to array |
186188
| flowOut.cpp:5:16:5:21 | call to source | flowOut.cpp:61:8:61:11 | access to array |
189+
| flowOut.cpp:8:16:8:23 | call to source | flowOut.cpp:73:8:73:9 | * ... |
190+
| flowOut.cpp:8:16:8:23 | call to source | flowOut.cpp:117:8:117:9 | * ... |
187191
| flowOut.cpp:84:18:84:23 | call to source | flowOut.cpp:85:8:85:9 | * ... |
188192
| flowOut.cpp:90:8:90:13 | call to source | flowOut.cpp:102:8:102:9 | * ... |
193+
| flowOut.cpp:131:15:131:20 | call to source | flowOut.cpp:146:8:146:10 | * ... |
189194
| flowOut.cpp:131:15:131:20 | call to source | flowOut.cpp:161:8:161:10 | * ... |
190195
| flowOut.cpp:131:15:131:20 | call to source | flowOut.cpp:202:8:202:10 | * ... |
191196
| flowOut.cpp:168:14:168:19 | call to source | flowOut.cpp:185:8:185:9 | * ... |

‎cpp/ql/test/library-tests/dataflow/dataflow-tests/test.expected‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,7 @@
11
testFailures
2+
| flowOut.cpp:19:9:19:9 | x | Unexpected result: ir |
3+
| flowOut.cpp:46:8:46:11 | access to array | Unexpected result: ir |
4+
| flowOut.cpp:73:8:73:9 | * ... | Unexpected result: ir |
5+
| flowOut.cpp:117:8:117:9 | * ... | Unexpected result: ir |
6+
| flowOut.cpp:146:8:146:10 | * ... | Unexpected result: ir |
27
failures

‎cpp/ql/test/library-tests/dataflow/fields/flow.expected‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,4 @@
11
testFailures
2+
| A.cpp:65:14:65:14 | c | Unexpected result: ast |
3+
| A.cpp:74:14:74:14 | c | Unexpected result: ast |
24
failures

‎cpp/ql/test/library-tests/dataflow/fields/ir-path-flow.expected‎

Lines changed: 204 additions & 39 deletions
Large diffs are not rendered by default.

‎cpp/ql/test/library-tests/dataflow/fields/path-flow.expected‎

Lines changed: 857 additions & 12 deletions
Large diffs are not rendered by default.

‎cpp/ql/test/query-tests/Security/CWE/CWE-119/semmle/tests/OverflowDestination.expected‎

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,15 +5,26 @@ edges
55
| overflowdestination.cpp:27:2:27:15 | *... = ... | overflowdestination.cpp:30:17:30:20 | *arg1 | provenance | |
66
| overflowdestination.cpp:43:8:43:10 | fgets output argument | overflowdestination.cpp:46:15:46:17 | *src | provenance | |
77
| overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:50:52:50:54 | *src | provenance | |
8+
| overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:50:52:50:54 | *src [Return] | provenance | DataFlowFunction |
89
| overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:53:15:53:17 | *src | provenance | |
10+
| overflowdestination.cpp:50:52:50:54 | *src [Reverse] | overflowdestination.cpp:50:52:50:54 | *src [Return] | provenance | |
11+
| overflowdestination.cpp:57:52:57:54 | *src | overflowdestination.cpp:57:52:57:54 | *src | provenance | |
912
| overflowdestination.cpp:57:52:57:54 | *src | overflowdestination.cpp:60:15:60:17 | *src | provenance | |
13+
| overflowdestination.cpp:60:15:60:17 | *src | overflowdestination.cpp:60:15:60:17 | *src [Reverse] | provenance | DataFlowFunction |
1014
| overflowdestination.cpp:60:15:60:17 | *src | overflowdestination.cpp:64:16:64:19 | *src2 | provenance | |
15+
| overflowdestination.cpp:60:15:60:17 | *src [Reverse] | overflowdestination.cpp:57:52:57:54 | *src [Return] | provenance | |
1116
| overflowdestination.cpp:73:8:73:10 | fgets output argument | overflowdestination.cpp:75:30:75:32 | *src | provenance | |
1217
| overflowdestination.cpp:73:8:73:10 | fgets output argument | overflowdestination.cpp:76:30:76:32 | *src | provenance | |
1318
| overflowdestination.cpp:75:30:75:32 | *src | overflowdestination.cpp:50:52:50:54 | *src | provenance | |
1419
| overflowdestination.cpp:75:30:75:32 | *src | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument | provenance | |
20+
| overflowdestination.cpp:75:30:75:32 | *src | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument | provenance | DataFlowFunction |
1521
| overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument | overflowdestination.cpp:76:30:76:32 | *src | provenance | |
22+
| overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument [Reverse] | overflowdestination.cpp:50:52:50:54 | *src [Reverse] | provenance | |
23+
| overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument [Reverse] | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument | provenance | |
1624
| overflowdestination.cpp:76:30:76:32 | *src | overflowdestination.cpp:57:52:57:54 | *src | provenance | |
25+
| overflowdestination.cpp:76:30:76:32 | *src | overflowdestination.cpp:76:30:76:32 | overflowdest_test3 output argument | provenance | |
26+
| overflowdestination.cpp:76:30:76:32 | *src | overflowdestination.cpp:76:30:76:32 | overflowdest_test3 output argument | provenance | DataFlowFunction |
27+
| overflowdestination.cpp:76:30:76:32 | overflowdest_test3 output argument | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument [Reverse] | provenance | |
1728
nodes
1829
| main.cpp:6:27:6:30 | **argv | semmle.label | **argv |
1930
| main.cpp:7:33:7:36 | **argv | semmle.label | **argv |
@@ -24,16 +35,28 @@ nodes
2435
| overflowdestination.cpp:46:15:46:17 | *src | semmle.label | *src |
2536
| overflowdestination.cpp:50:52:50:54 | *src | semmle.label | *src |
2637
| overflowdestination.cpp:50:52:50:54 | *src | semmle.label | *src |
38+
| overflowdestination.cpp:50:52:50:54 | *src [Return] | semmle.label | *src [Return] |
39+
| overflowdestination.cpp:50:52:50:54 | *src [Return] | semmle.label | *src [Return] |
40+
| overflowdestination.cpp:50:52:50:54 | *src [Reverse] | semmle.label | *src [Reverse] |
2741
| overflowdestination.cpp:53:15:53:17 | *src | semmle.label | *src |
2842
| overflowdestination.cpp:57:52:57:54 | *src | semmle.label | *src |
43+
| overflowdestination.cpp:57:52:57:54 | *src | semmle.label | *src |
44+
| overflowdestination.cpp:57:52:57:54 | *src [Return] | semmle.label | *src [Return] |
2945
| overflowdestination.cpp:60:15:60:17 | *src | semmle.label | *src |
46+
| overflowdestination.cpp:60:15:60:17 | *src [Reverse] | semmle.label | *src [Reverse] |
3047
| overflowdestination.cpp:64:16:64:19 | *src2 | semmle.label | *src2 |
3148
| overflowdestination.cpp:73:8:73:10 | fgets output argument | semmle.label | fgets output argument |
3249
| overflowdestination.cpp:75:30:75:32 | *src | semmle.label | *src |
3350
| overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument | semmle.label | overflowdest_test2 output argument |
51+
| overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument [Reverse] | semmle.label | overflowdest_test2 output argument [Reverse] |
3452
| overflowdestination.cpp:76:30:76:32 | *src | semmle.label | *src |
53+
| overflowdestination.cpp:76:30:76:32 | overflowdest_test3 output argument | semmle.label | overflowdest_test3 output argument |
3554
subpaths
3655
| overflowdestination.cpp:75:30:75:32 | *src | overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument |
56+
| overflowdestination.cpp:75:30:75:32 | *src | overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:50:52:50:54 | *src [Return] | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument |
57+
| overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument [Reverse] | overflowdestination.cpp:50:52:50:54 | *src [Reverse] | overflowdestination.cpp:50:52:50:54 | *src [Return] | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument |
58+
| overflowdestination.cpp:76:30:76:32 | *src | overflowdestination.cpp:57:52:57:54 | *src | overflowdestination.cpp:57:52:57:54 | *src | overflowdestination.cpp:76:30:76:32 | overflowdest_test3 output argument |
59+
| overflowdestination.cpp:76:30:76:32 | *src | overflowdestination.cpp:57:52:57:54 | *src | overflowdestination.cpp:57:52:57:54 | *src [Return] | overflowdestination.cpp:76:30:76:32 | overflowdest_test3 output argument |
3760
#select
3861
| overflowdestination.cpp:30:2:30:8 | call to strncpy | main.cpp:6:27:6:30 | **argv | overflowdestination.cpp:30:17:30:20 | *arg1 | To avoid overflow, this operation should be bounded by destination-buffer size, not source-buffer size. |
3962
| overflowdestination.cpp:46:2:46:7 | call to memcpy | overflowdestination.cpp:43:8:43:10 | fgets output argument | overflowdestination.cpp:46:15:46:17 | *src | To avoid overflow, this operation should be bounded by destination-buffer size, not source-buffer size. |

0 commit comments

Comments
 (0)