Update expected test output

Author: hvitved

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

@@ -188,6 +188,7 @@ 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

@@ -1,6 +1,5 @@
 | 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 |

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

@@ -1,2 +1 @@
-| A.cpp:65:14:65:14 | c | Unexpected result: ast |
-| A.cpp:74:14:74:14 | c | Unexpected result: ast |
+

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

@@ -3,31 +3,3 @@ 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:61,22-30)
 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)
-| 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 |

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

@@ -51,8 +51,8 @@ edges
 | test.cpp:187:18:187:25 | *filename | test.cpp:187:11:187:15 | strncat output argument | provenance | TaintFunction |
 | test.cpp:188:11:188:17 | strncat output argument | test.cpp:186:19:186:25 | *command | provenance |  |
 | test.cpp:188:11:188:17 | strncat output argument | test.cpp:186:19:186:25 | *command | provenance |  |
-| test.cpp:188:11:188:17 | strncat output argument | test.cpp:186:19:186:25 | *command [Return] | provenance |  |
-| test.cpp:188:11:188:17 | strncat output argument | test.cpp:186:19:186:25 | *command [Return] | provenance |  |
+| test.cpp:188:11:188:17 | strncat output argument | test.cpp:186:19:186:25 | *command [Reverse] | provenance |  |
+| test.cpp:188:11:188:17 | strncat output argument | test.cpp:186:19:186:25 | *command [Reverse] | provenance |  |
 | test.cpp:188:20:188:24 | *flags | test.cpp:188:11:188:17 | strncat output argument | provenance | Config |
 | test.cpp:188:20:188:24 | *flags | test.cpp:188:11:188:17 | strncat output argument | provenance | TaintFunction |
 | test.cpp:194:9:194:16 | fread output argument | test.cpp:196:26:196:33 | *filename | provenance |  |
@@ -127,8 +127,8 @@ nodes
 | test.cpp:183:32:183:38 | *command | semmle.label | *command |
 | test.cpp:186:19:186:25 | *command | semmle.label | *command |
 | test.cpp:186:19:186:25 | *command | semmle.label | *command |
-| test.cpp:186:19:186:25 | *command [Return] | semmle.label | *command [Return] |
-| test.cpp:186:19:186:25 | *command [Return] | semmle.label | *command [Return] |
+| test.cpp:186:19:186:25 | *command [Reverse] | semmle.label | *command [Reverse] |
+| test.cpp:186:19:186:25 | *command [Reverse] | semmle.label | *command [Reverse] |
 | test.cpp:186:47:186:54 | *filename | semmle.label | *filename |
 | test.cpp:187:11:187:15 | strncat output argument | semmle.label | strncat output argument |
 | test.cpp:187:11:187:15 | strncat output argument | semmle.label | strncat output argument |
@@ -155,8 +155,8 @@ nodes
 subpaths
 | test.cpp:196:26:196:33 | *filename | test.cpp:186:47:186:54 | *filename | test.cpp:186:19:186:25 | *command | test.cpp:196:10:196:16 | concat output argument |
 | test.cpp:196:26:196:33 | *filename | test.cpp:186:47:186:54 | *filename | test.cpp:186:19:186:25 | *command | test.cpp:196:10:196:16 | concat output argument |
-| test.cpp:196:26:196:33 | *filename | test.cpp:186:47:186:54 | *filename | test.cpp:186:19:186:25 | *command [Return] | test.cpp:196:10:196:16 | concat output argument |
-| test.cpp:196:26:196:33 | *filename | test.cpp:186:47:186:54 | *filename | test.cpp:186:19:186:25 | *command [Return] | test.cpp:196:10:196:16 | concat output argument |
+| test.cpp:196:26:196:33 | *filename | test.cpp:186:47:186:54 | *filename | test.cpp:186:19:186:25 | *command [Reverse] | test.cpp:196:10:196:16 | concat output argument |
+| test.cpp:196:26:196:33 | *filename | test.cpp:186:47:186:54 | *filename | test.cpp:186:19:186:25 | *command [Reverse] | test.cpp:196:10:196:16 | concat output argument |
 #select
 | test.cpp:23:12:23:19 | command1 | test.cpp:15:27:15:30 | **argv | test.cpp:23:12:23:19 | *command1 | This argument to an OS command is derived from $@, dangerously concatenated into $@, and then passed to system(string). | test.cpp:15:27:15:30 | **argv | user input (a command-line argument) | test.cpp:22:13:22:20 | sprintf output argument | sprintf output argument |
 | test.cpp:51:10:51:16 | command | test.cpp:47:21:47:26 | *call to getenv | test.cpp:51:10:51:16 | *command | This argument to an OS command is derived from $@, dangerously concatenated into $@, and then passed to system(string). | test.cpp:47:21:47:26 | *call to getenv | user input (an environment variable) | test.cpp:50:11:50:17 | sprintf output argument | sprintf output argument |

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

@@ -53,9 +53,8 @@ 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 [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 [Reverse] [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 |  |
@@ -130,10 +129,9 @@ nodes
 | test.cpp:228:27:228:54 | call to malloc | semmle.label | call to malloc |
 | test.cpp:228:27:228:54 | call to malloc | semmle.label | call to malloc |
 | test.cpp:232:10:232:15 | buffer | semmle.label | buffer |
-| test.cpp:235:27:235:31 | *p_str [Return] [string] | semmle.label | *p_str [Return] [string] |
+| test.cpp:235:27:235:31 | *p_str [Reverse] [string] | semmle.label | *p_str [Reverse] [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 |
@@ -154,7 +152,7 @@ nodes
 | test.cpp:264:13:264:30 | call to malloc | semmle.label | call to malloc |
 | test.cpp:266:12:266:12 | p | semmle.label | p |
 subpaths
-| test.cpp:242:22:242:27 | buffer | test.cpp:235:40:235:45 | buffer | test.cpp:235:27:235:31 | *p_str [Return] [string] | test.cpp:242:16:242:19 | set_string output argument [string] |
+| test.cpp:242:22:242:27 | buffer | test.cpp:235:40:235:45 | buffer | test.cpp:235:27:235:31 | *p_str [Reverse] [string] | test.cpp:242:16:242:19 | set_string output argument [string] |
 | test.cpp:242:22:242:27 | buffer | test.cpp:235:40:235:45 | buffer | test.cpp:235:27:235:31 | *p_str [string] | test.cpp:242:16:242:19 | set_string output argument [string] |
 #select
 | test.cpp:42:5:42:11 | call to strncpy | test.cpp:18:19:18:24 | call to malloc | test.cpp:42:18:42:23 | string | This write may overflow $@ by 1 element. | test.cpp:42:18:42:23 | string | string |

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

@@ -5,7 +5,7 @@ edges
 | overflowdestination.cpp:27:2:27:15 | *... = ... | overflowdestination.cpp:30:17:30:20 | *arg1 | provenance |  |
 | overflowdestination.cpp:43:8:43:10 | fgets output argument | overflowdestination.cpp:46:15:46:17 | *src | provenance |  |
 | 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:50:52:50:54 | *src [Reverse] | provenance | DataFlowFunction |
 | overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:53:15:53:17 | *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:64:16:64:19 | *src2 | provenance |  |
@@ -26,7 +26,7 @@ nodes
 | overflowdestination.cpp:46:15:46:17 | *src | semmle.label | *src |
 | 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 [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:60:15:60:17 | *src | semmle.label | *src |
@@ -37,7 +37,7 @@ nodes
 | overflowdestination.cpp:76:30:76:32 | *src | semmle.label | *src |
 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 | *src | overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:50:52:50:54 | *src [Reverse] | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 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. |