Update expected test output

Author: hvitved

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

@@ -188,7 +188,6 @@ irFlow
 | flowOut.cpp:5:16:5:21 | call to source | flowOut.cpp:61:8:61:11 | access to array |
 | flowOut.cpp:8:16:8:23 | call to source | flowOut.cpp:73:8:73:9 | * ... |
 | flowOut.cpp:8:16:8:23 | call to source | flowOut.cpp:117:8:117:9 | * ... |
-| flowOut.cpp:84:18:84:23 | call to source | flowOut.cpp:85:8:85:9 | * ... |
 | flowOut.cpp:90:8:90:13 | call to source | flowOut.cpp:102:8:102:9 | * ... |
 | flowOut.cpp:131:15:131:20 | call to source | flowOut.cpp:146:8:146:10 | * ... |
 | flowOut.cpp:131:15:131:20 | call to source | flowOut.cpp:161:8:161:10 | * ... |

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

@@ -2,6 +2,7 @@ testFailures
 | flowOut.cpp:19:9:19:9 | x | Unexpected result: ir |
 | flowOut.cpp:46:8:46:11 | access to array | Unexpected result: ir |
 | flowOut.cpp:73:8:73:9 | * ... | Unexpected result: ir |
+| flowOut.cpp:85:13:85:32 | // $ ir MISSING: ast | Missing result: ir |
 | flowOut.cpp:117:8:117:9 | * ... | Unexpected result: ir |
 | flowOut.cpp:146:8:146:10 | * ... | Unexpected result: ir |
 failures

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

@@ -4,4 +4,32 @@ WARNING: module 'DataFlow' has been deprecated and may be removed in future (tai
 WARNING: module 'DataFlow' has been deprecated and may be removed in future (taint.ql:68,25-33)
 WARNING: module 'TaintTracking' has been deprecated and may be removed in future (taint.ql:73,20-33)
 testFailures
+| arrayassignment.cpp:66:12:66:31 | // $ ir MISSING: ast | Missing result: ir |
+| arrayassignment.cpp:67:18:67:28 | // $ ast,ir | Missing result: ir |
+| arrayassignment.cpp:110:19:110:38 | // $ ir MISSING: ast | Missing result: ir |
+| vector.cpp:52:12:52:30 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:53:15:53:33 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:54:15:54:31 | // $ SPURIOUS: ir | Fixed spurious result: ir |
+| vector.cpp:55:15:55:33 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:58:12:58:30 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:59:15:59:33 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:60:15:60:31 | // $ SPURIOUS: ir | Fixed spurious result: ir |
+| vector.cpp:61:15:61:33 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:64:12:64:30 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:65:15:65:33 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:66:15:66:33 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:67:15:67:33 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:75:12:75:30 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:76:22:76:40 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:97:12:97:30 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:98:18:98:36 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:99:18:99:36 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:100:18:100:36 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:171:19:171:37 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:180:19:180:37 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:201:19:201:37 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:212:22:212:41 | // $ ir MISSING: ast | Missing result: ir |
+| vector.cpp:290:12:290:18 | // $ ir | Missing result: ir |
+| vector.cpp:291:19:291:37 | // $ ir MISSING:ast | Missing result: ir |
+| vector.cpp:292:22:292:40 | // $ ir MISSING:ast | Missing result: ir |
 failures

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

@@ -53,8 +53,9 @@ edges
 | test.cpp:228:27:228:54 | call to malloc | test.cpp:228:27:228:54 | call to malloc | provenance |  |
 | test.cpp:228:27:228:54 | call to malloc | test.cpp:232:10:232:15 | buffer | provenance |  |
 | test.cpp:235:40:235:45 | buffer | test.cpp:236:5:236:26 | ... = ... | provenance |  |
-| test.cpp:236:5:236:9 | *p_str [post update] [string] | test.cpp:235:27:235:31 | *p_str [Return] [string] | provenance |  |
+| test.cpp:236:5:236:9 | *p_str [Reverse] [string] | test.cpp:235:27:235:31 | *p_str [Return] [string] | provenance |  |
 | test.cpp:236:5:236:9 | *p_str [post update] [string] | test.cpp:235:27:235:31 | *p_str [string] | provenance |  |
+| test.cpp:236:5:236:9 | *p_str [post update] [string] | test.cpp:236:5:236:9 | *p_str [Reverse] [string] | provenance |  |
 | test.cpp:236:5:236:26 | ... = ... | test.cpp:236:5:236:9 | *p_str [post update] [string] | provenance |  |
 | test.cpp:241:20:241:38 | call to malloc | test.cpp:241:20:241:38 | call to malloc | provenance |  |
 | test.cpp:241:20:241:38 | call to malloc | test.cpp:242:22:242:27 | buffer | provenance |  |
@@ -132,6 +133,7 @@ nodes
 | test.cpp:235:27:235:31 | *p_str [Return] [string] | semmle.label | *p_str [Return] [string] |
 | test.cpp:235:27:235:31 | *p_str [string] | semmle.label | *p_str [string] |
 | test.cpp:235:40:235:45 | buffer | semmle.label | buffer |
+| test.cpp:236:5:236:9 | *p_str [Reverse] [string] | semmle.label | *p_str [Reverse] [string] |
 | test.cpp:236:5:236:9 | *p_str [post update] [string] | semmle.label | *p_str [post update] [string] |
 | test.cpp:236:5:236:26 | ... = ... | semmle.label | ... = ... |
 | test.cpp:241:20:241:38 | call to malloc | semmle.label | call to malloc |

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

@@ -7,24 +7,15 @@ edges
 | overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:50:52:50:54 | *src | provenance |  |
 | overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:50:52:50:54 | *src [Return] | provenance | DataFlowFunction |
 | overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:53:15:53:17 | *src | provenance |  |
-| overflowdestination.cpp:50:52:50:54 | *src [Reverse] | overflowdestination.cpp:50:52:50:54 | *src [Return] | provenance |  |
-| overflowdestination.cpp:57:52:57:54 | *src | overflowdestination.cpp:57:52:57:54 | *src | provenance |  |
 | overflowdestination.cpp:57:52:57:54 | *src | overflowdestination.cpp:60:15:60:17 | *src | provenance |  |
-| overflowdestination.cpp:60:15:60:17 | *src | overflowdestination.cpp:60:15:60:17 | *src [Reverse] | provenance | DataFlowFunction |
 | overflowdestination.cpp:60:15:60:17 | *src | overflowdestination.cpp:64:16:64:19 | *src2 | provenance |  |
-| overflowdestination.cpp:60:15:60:17 | *src [Reverse] | overflowdestination.cpp:57:52:57:54 | *src [Return] | provenance |  |
 | overflowdestination.cpp:73:8:73:10 | fgets output argument | overflowdestination.cpp:75:30:75:32 | *src | provenance |  |
 | overflowdestination.cpp:73:8:73:10 | fgets output argument | overflowdestination.cpp:76:30:76:32 | *src | provenance |  |
 | overflowdestination.cpp:75:30:75:32 | *src | overflowdestination.cpp:50:52:50:54 | *src | provenance |  |
 | overflowdestination.cpp:75:30:75:32 | *src | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument | provenance |  |
 | overflowdestination.cpp:75:30:75:32 | *src | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument | provenance | DataFlowFunction |
 | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument | overflowdestination.cpp:76:30:76:32 | *src | provenance |  |
-| overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument [Reverse] | overflowdestination.cpp:50:52:50:54 | *src [Reverse] | provenance |  |
-| overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument [Reverse] | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument | provenance |  |
 | overflowdestination.cpp:76:30:76:32 | *src | overflowdestination.cpp:57:52:57:54 | *src | provenance |  |
-| overflowdestination.cpp:76:30:76:32 | *src | overflowdestination.cpp:76:30:76:32 | overflowdest_test3 output argument | provenance |  |
-| overflowdestination.cpp:76:30:76:32 | *src | overflowdestination.cpp:76:30:76:32 | overflowdest_test3 output argument | provenance | DataFlowFunction |
-| overflowdestination.cpp:76:30:76:32 | overflowdest_test3 output argument | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument [Reverse] | provenance |  |
 nodes
 | main.cpp:6:27:6:30 | **argv | semmle.label | **argv |
 | main.cpp:7:33:7:36 | **argv | semmle.label | **argv |
@@ -36,27 +27,17 @@ nodes
 | overflowdestination.cpp:50:52:50:54 | *src | semmle.label | *src |
 | overflowdestination.cpp:50:52:50:54 | *src | semmle.label | *src |
 | overflowdestination.cpp:50:52:50:54 | *src [Return] | semmle.label | *src [Return] |
-| overflowdestination.cpp:50:52:50:54 | *src [Return] | semmle.label | *src [Return] |
-| overflowdestination.cpp:50:52:50:54 | *src [Reverse] | semmle.label | *src [Reverse] |
 | overflowdestination.cpp:53:15:53:17 | *src | semmle.label | *src |
 | overflowdestination.cpp:57:52:57:54 | *src | semmle.label | *src |
-| overflowdestination.cpp:57:52:57:54 | *src | semmle.label | *src |
-| overflowdestination.cpp:57:52:57:54 | *src [Return] | semmle.label | *src [Return] |
 | overflowdestination.cpp:60:15:60:17 | *src | semmle.label | *src |
-| overflowdestination.cpp:60:15:60:17 | *src [Reverse] | semmle.label | *src [Reverse] |
 | overflowdestination.cpp:64:16:64:19 | *src2 | semmle.label | *src2 |
 | overflowdestination.cpp:73:8:73:10 | fgets output argument | semmle.label | fgets output argument |
 | overflowdestination.cpp:75:30:75:32 | *src | semmle.label | *src |
 | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument | semmle.label | overflowdest_test2 output argument |
-| overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument [Reverse] | semmle.label | overflowdest_test2 output argument [Reverse] |
 | overflowdestination.cpp:76:30:76:32 | *src | semmle.label | *src |
-| overflowdestination.cpp:76:30:76:32 | overflowdest_test3 output argument | semmle.label | overflowdest_test3 output argument |
 subpaths
 | 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 |
 | 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 |
-| 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 |
-| 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 |
-| 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 |
 #select
 | 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. |
 | 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. |