From a0311c0ea3ce9ee02dbaace4e11cc9f7be59c79f Mon Sep 17 00:00:00 2001
From: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
Date: Mon, 19 Jan 2026 15:07:42 +0000
Subject: [PATCH 1/4] Rust: Test spacing.

---
 .../dataflow/taint/TaintFlowStep.expected     |  84 +++----
 .../dataflow/taint/inline-taint-flow.expected | 212 +++++++++---------
 .../test/library-tests/dataflow/taint/main.rs |  15 ++
 3 files changed, 163 insertions(+), 148 deletions(-)

diff --git a/rust/ql/test/library-tests/dataflow/taint/TaintFlowStep.expected b/rust/ql/test/library-tests/dataflow/taint/TaintFlowStep.expected
index dfd91b81506c..d3f838b794df 100644
--- a/rust/ql/test/library-tests/dataflow/taint/TaintFlowStep.expected
+++ b/rust/ql/test/library-tests/dataflow/taint/TaintFlowStep.expected
@@ -1,43 +1,43 @@
 | main.rs:8:20:8:20 | s | main.rs:8:14:8:20 | FormatArgsExpr |
-| main.rs:16:5:16:5 | [post] b [implicit borrow] | main.rs:16:5:16:5 | [SSA] b |
-| main.rs:20:5:20:5 | [post] c [implicit borrow] | main.rs:20:5:20:5 | [SSA] c |
-| main.rs:31:13:31:13 | a | main.rs:31:13:31:19 | a as u8 |
-| main.rs:32:10:32:10 | b | main.rs:32:10:32:17 | b as i64 |
-| main.rs:32:10:32:17 | [post] b as i64 | main.rs:32:10:32:10 | [post] b |
-| main.rs:37:23:37:23 | i | main.rs:37:17:37:23 | FormatArgsExpr |
-| main.rs:41:24:41:24 | s | main.rs:41:18:41:24 | FormatArgsExpr |
-| main.rs:46:23:46:23 | [post] s [implicit borrow] | main.rs:46:23:46:23 | [post] s |
-| main.rs:46:23:46:23 | s | main.rs:46:23:46:29 | s[...] |
-| main.rs:46:23:46:29 | s[...] [pre-dereferenced] | main.rs:46:23:46:29 | s[...] |
-| main.rs:57:24:57:24 | i | main.rs:57:18:57:24 | FormatArgsExpr |
-| main.rs:62:14:62:16 | [post] arr [implicit borrow] | main.rs:62:14:62:16 | [post] arr |
-| main.rs:62:14:62:19 | arr[1] [pre-dereferenced] | main.rs:62:14:62:19 | arr[1] |
-| main.rs:72:24:72:24 | [post] s [implicit borrow] | main.rs:72:24:72:24 | [post] s |
-| main.rs:72:24:72:27 | s[1] | main.rs:72:18:72:27 | FormatArgsExpr |
-| main.rs:72:24:72:27 | s[1] [pre-dereferenced] | main.rs:72:24:72:27 | s[1] |
-| main.rs:77:9:77:12 | [post] arr2 [implicit borrow] | main.rs:77:9:77:12 | [post] arr2 |
-| main.rs:77:9:77:15 | arr2[1] [pre-dereferenced] | main.rs:77:9:77:15 | arr2[1] |
-| main.rs:98:14:98:47 | TupleExpr | main.rs:98:14:98:49 | ... .0 |
-| main.rs:99:14:99:47 | TupleExpr | main.rs:99:14:99:49 | ... .1 |
-| main.rs:102:14:102:28 | source_tuple(...) | main.rs:102:14:102:30 | ... .0 |
-| main.rs:103:14:103:28 | source_tuple(...) | main.rs:103:14:103:30 | ... .1 |
-| main.rs:106:14:106:83 | TupleExpr | main.rs:106:14:106:85 | ... .0 |
-| main.rs:107:14:107:83 | TupleExpr | main.rs:107:14:107:85 | ... .0 |
-| main.rs:107:14:107:85 | ... .0 | main.rs:107:14:107:87 | ... .0 |
-| main.rs:108:14:108:83 | TupleExpr | main.rs:108:14:108:85 | ... .0 |
-| main.rs:108:14:108:85 | ... .0 | main.rs:108:14:108:87 | ... .1 |
-| main.rs:109:14:109:83 | TupleExpr | main.rs:109:14:109:85 | ... .1 |
-| main.rs:110:14:110:83 | TupleExpr | main.rs:110:14:110:85 | ... .1 |
-| main.rs:110:14:110:85 | ... .1 | main.rs:110:14:110:87 | ... .0 |
-| main.rs:111:14:111:83 | TupleExpr | main.rs:111:14:111:85 | ... .1 |
-| main.rs:111:14:111:85 | ... .1 | main.rs:111:14:111:87 | ... .1 |
-| main.rs:114:14:114:64 | TupleExpr | main.rs:114:14:114:66 | ... .0 |
-| main.rs:115:14:115:64 | TupleExpr | main.rs:115:14:115:66 | ... .0 |
-| main.rs:115:14:115:66 | ... .0 | main.rs:115:14:115:68 | ... .0 |
-| main.rs:116:14:116:64 | TupleExpr | main.rs:116:14:116:66 | ... .0 |
-| main.rs:116:14:116:66 | ... .0 | main.rs:116:14:116:68 | ... .1 |
-| main.rs:117:14:117:64 | TupleExpr | main.rs:117:14:117:66 | ... .1 |
-| main.rs:118:14:118:64 | TupleExpr | main.rs:118:14:118:66 | ... .1 |
-| main.rs:118:14:118:66 | ... .1 | main.rs:118:14:118:68 | ... .0 |
-| main.rs:119:14:119:64 | TupleExpr | main.rs:119:14:119:66 | ... .1 |
-| main.rs:119:14:119:66 | ... .1 | main.rs:119:14:119:68 | ... .1 |
+| main.rs:17:5:17:5 | [post] b [implicit borrow] | main.rs:17:5:17:5 | [SSA] b |
+| main.rs:21:5:21:5 | [post] c [implicit borrow] | main.rs:21:5:21:5 | [SSA] c |
+| main.rs:46:13:46:13 | a | main.rs:46:13:46:19 | a as u8 |
+| main.rs:47:10:47:10 | b | main.rs:47:10:47:17 | b as i64 |
+| main.rs:47:10:47:17 | [post] b as i64 | main.rs:47:10:47:10 | [post] b |
+| main.rs:52:23:52:23 | i | main.rs:52:17:52:23 | FormatArgsExpr |
+| main.rs:56:24:56:24 | s | main.rs:56:18:56:24 | FormatArgsExpr |
+| main.rs:61:23:61:23 | [post] s [implicit borrow] | main.rs:61:23:61:23 | [post] s |
+| main.rs:61:23:61:23 | s | main.rs:61:23:61:29 | s[...] |
+| main.rs:61:23:61:29 | s[...] [pre-dereferenced] | main.rs:61:23:61:29 | s[...] |
+| main.rs:72:24:72:24 | i | main.rs:72:18:72:24 | FormatArgsExpr |
+| main.rs:77:14:77:16 | [post] arr [implicit borrow] | main.rs:77:14:77:16 | [post] arr |
+| main.rs:77:14:77:19 | arr[1] [pre-dereferenced] | main.rs:77:14:77:19 | arr[1] |
+| main.rs:87:24:87:24 | [post] s [implicit borrow] | main.rs:87:24:87:24 | [post] s |
+| main.rs:87:24:87:27 | s[1] | main.rs:87:18:87:27 | FormatArgsExpr |
+| main.rs:87:24:87:27 | s[1] [pre-dereferenced] | main.rs:87:24:87:27 | s[1] |
+| main.rs:92:9:92:12 | [post] arr2 [implicit borrow] | main.rs:92:9:92:12 | [post] arr2 |
+| main.rs:92:9:92:15 | arr2[1] [pre-dereferenced] | main.rs:92:9:92:15 | arr2[1] |
+| main.rs:113:14:113:47 | TupleExpr | main.rs:113:14:113:49 | ... .0 |
+| main.rs:114:14:114:47 | TupleExpr | main.rs:114:14:114:49 | ... .1 |
+| main.rs:117:14:117:28 | source_tuple(...) | main.rs:117:14:117:30 | ... .0 |
+| main.rs:118:14:118:28 | source_tuple(...) | main.rs:118:14:118:30 | ... .1 |
+| main.rs:121:14:121:83 | TupleExpr | main.rs:121:14:121:85 | ... .0 |
+| main.rs:122:14:122:83 | TupleExpr | main.rs:122:14:122:85 | ... .0 |
+| main.rs:122:14:122:85 | ... .0 | main.rs:122:14:122:87 | ... .0 |
+| main.rs:123:14:123:83 | TupleExpr | main.rs:123:14:123:85 | ... .0 |
+| main.rs:123:14:123:85 | ... .0 | main.rs:123:14:123:87 | ... .1 |
+| main.rs:124:14:124:83 | TupleExpr | main.rs:124:14:124:85 | ... .1 |
+| main.rs:125:14:125:83 | TupleExpr | main.rs:125:14:125:85 | ... .1 |
+| main.rs:125:14:125:85 | ... .1 | main.rs:125:14:125:87 | ... .0 |
+| main.rs:126:14:126:83 | TupleExpr | main.rs:126:14:126:85 | ... .1 |
+| main.rs:126:14:126:85 | ... .1 | main.rs:126:14:126:87 | ... .1 |
+| main.rs:129:14:129:64 | TupleExpr | main.rs:129:14:129:66 | ... .0 |
+| main.rs:130:14:130:64 | TupleExpr | main.rs:130:14:130:66 | ... .0 |
+| main.rs:130:14:130:66 | ... .0 | main.rs:130:14:130:68 | ... .0 |
+| main.rs:131:14:131:64 | TupleExpr | main.rs:131:14:131:66 | ... .0 |
+| main.rs:131:14:131:66 | ... .0 | main.rs:131:14:131:68 | ... .1 |
+| main.rs:132:14:132:64 | TupleExpr | main.rs:132:14:132:66 | ... .1 |
+| main.rs:133:14:133:64 | TupleExpr | main.rs:133:14:133:66 | ... .1 |
+| main.rs:133:14:133:66 | ... .1 | main.rs:133:14:133:68 | ... .0 |
+| main.rs:134:14:134:64 | TupleExpr | main.rs:134:14:134:66 | ... .1 |
+| main.rs:134:14:134:66 | ... .1 | main.rs:134:14:134:68 | ... .1 |
diff --git a/rust/ql/test/library-tests/dataflow/taint/inline-taint-flow.expected b/rust/ql/test/library-tests/dataflow/taint/inline-taint-flow.expected
index 53a6a4e01a0c..ff182738a8e8 100644
--- a/rust/ql/test/library-tests/dataflow/taint/inline-taint-flow.expected
+++ b/rust/ql/test/library-tests/dataflow/taint/inline-taint-flow.expected
@@ -9,118 +9,118 @@ edges
 | main.rs:12:9:12:9 | a | main.rs:13:10:13:10 | a | provenance |  |
 | main.rs:12:13:12:22 | source(...) | main.rs:12:9:12:9 | a | provenance |  |
 | main.rs:13:10:13:10 | a | main.rs:13:10:13:14 | ... + ... | provenance | MaD:1 |
-| main.rs:15:9:15:13 | mut b | main.rs:16:5:16:5 | b | provenance |  |
-| main.rs:15:17:15:26 | source(...) | main.rs:15:9:15:13 | mut b | provenance |  |
-| main.rs:16:5:16:5 | b | main.rs:17:10:17:10 | b | provenance | MaD:4 |
-| main.rs:20:10:20:19 | source(...) | main.rs:21:10:21:10 | c | provenance | MaD:2 |
-| main.rs:20:10:20:19 | source(...) | main.rs:21:10:21:10 | c | provenance | MaD:3 |
-| main.rs:25:9:25:9 | a | main.rs:26:11:26:11 | a | provenance |  |
-| main.rs:25:13:25:22 | source(...) | main.rs:25:9:25:9 | a | provenance |  |
-| main.rs:26:11:26:11 | a | main.rs:26:10:26:11 | - ... | provenance | MaD:5 |
-| main.rs:30:9:30:9 | a | main.rs:31:9:31:9 | b | provenance |  |
-| main.rs:30:13:30:22 | source(...) | main.rs:30:9:30:9 | a | provenance |  |
-| main.rs:31:9:31:9 | b | main.rs:32:10:32:17 | b as i64 | provenance |  |
-| main.rs:45:13:45:13 | s | main.rs:46:23:46:23 | s | provenance |  |
-| main.rs:45:13:45:13 | s | main.rs:46:23:46:29 | s[...] | provenance |  |
-| main.rs:45:17:45:26 | source(...) | main.rs:45:13:45:13 | s | provenance |  |
-| main.rs:46:13:46:18 | sliced [&ref] | main.rs:47:14:47:19 | sliced | provenance |  |
-| main.rs:46:22:46:29 | &... [&ref] | main.rs:46:13:46:18 | sliced [&ref] | provenance |  |
-| main.rs:46:23:46:23 | s | main.rs:46:23:46:29 | s[...] | provenance | MaD:6 |
-| main.rs:46:23:46:29 | s[...] | main.rs:46:22:46:29 | &... [&ref] | provenance |  |
-| main.rs:61:13:61:15 | arr | main.rs:62:14:62:16 | arr | provenance |  |
-| main.rs:61:19:61:28 | source(...) | main.rs:61:13:61:15 | arr | provenance |  |
-| main.rs:62:14:62:16 | arr | main.rs:62:14:62:19 | arr[1] | provenance | MaD:6 |
-| main.rs:77:9:77:12 | [post] arr2 [element] | main.rs:78:14:78:17 | arr2 | provenance |  |
-| main.rs:77:19:77:28 | source(...) | main.rs:77:9:77:12 | [post] arr2 [element] | provenance |  |
-| main.rs:98:14:98:47 | TupleExpr [tuple.0] | main.rs:98:14:98:49 | ... .0 | provenance |  |
-| main.rs:98:15:98:30 | source_string(...) | main.rs:98:14:98:47 | TupleExpr [tuple.0] | provenance |  |
-| main.rs:102:14:102:28 | source_tuple(...) | main.rs:102:14:102:30 | ... .0 | provenance |  |
-| main.rs:103:14:103:28 | source_tuple(...) | main.rs:103:14:103:30 | ... .1 | provenance |  |
-| main.rs:108:14:108:83 | TupleExpr [tuple.0, tuple.1] | main.rs:108:14:108:85 | ... .0 [tuple.1] | provenance |  |
-| main.rs:108:14:108:85 | ... .0 [tuple.1] | main.rs:108:14:108:87 | ... .1 | provenance |  |
-| main.rs:108:15:108:48 | TupleExpr [tuple.1] | main.rs:108:14:108:83 | TupleExpr [tuple.0, tuple.1] | provenance |  |
-| main.rs:108:32:108:47 | source_string(...) | main.rs:108:15:108:48 | TupleExpr [tuple.1] | provenance |  |
-| main.rs:114:14:114:64 | TupleExpr [tuple.0] | main.rs:114:14:114:66 | ... .0 | provenance |  |
-| main.rs:114:15:114:29 | source_tuple(...) | main.rs:114:14:114:64 | TupleExpr [tuple.0] | provenance |  |
-| main.rs:115:14:115:64 | TupleExpr [tuple.0] | main.rs:115:14:115:66 | ... .0 | provenance |  |
-| main.rs:115:14:115:66 | ... .0 | main.rs:115:14:115:68 | ... .0 | provenance |  |
-| main.rs:115:15:115:29 | source_tuple(...) | main.rs:115:14:115:64 | TupleExpr [tuple.0] | provenance |  |
-| main.rs:116:14:116:64 | TupleExpr [tuple.0] | main.rs:116:14:116:66 | ... .0 | provenance |  |
-| main.rs:116:14:116:66 | ... .0 | main.rs:116:14:116:68 | ... .1 | provenance |  |
-| main.rs:116:15:116:29 | source_tuple(...) | main.rs:116:14:116:64 | TupleExpr [tuple.0] | provenance |  |
+| main.rs:16:9:16:13 | mut b | main.rs:17:5:17:5 | b | provenance |  |
+| main.rs:16:17:16:26 | source(...) | main.rs:16:9:16:13 | mut b | provenance |  |
+| main.rs:17:5:17:5 | b | main.rs:18:10:18:10 | b | provenance | MaD:4 |
+| main.rs:21:10:21:19 | source(...) | main.rs:22:10:22:10 | c | provenance | MaD:2 |
+| main.rs:21:10:21:19 | source(...) | main.rs:22:10:22:10 | c | provenance | MaD:3 |
+| main.rs:26:9:26:9 | a | main.rs:27:11:27:11 | a | provenance |  |
+| main.rs:26:13:26:22 | source(...) | main.rs:26:9:26:9 | a | provenance |  |
+| main.rs:27:11:27:11 | a | main.rs:27:10:27:11 | - ... | provenance | MaD:5 |
+| main.rs:45:9:45:9 | a | main.rs:46:9:46:9 | b | provenance |  |
+| main.rs:45:13:45:22 | source(...) | main.rs:45:9:45:9 | a | provenance |  |
+| main.rs:46:9:46:9 | b | main.rs:47:10:47:17 | b as i64 | provenance |  |
+| main.rs:60:13:60:13 | s | main.rs:61:23:61:23 | s | provenance |  |
+| main.rs:60:13:60:13 | s | main.rs:61:23:61:29 | s[...] | provenance |  |
+| main.rs:60:17:60:26 | source(...) | main.rs:60:13:60:13 | s | provenance |  |
+| main.rs:61:13:61:18 | sliced [&ref] | main.rs:62:14:62:19 | sliced | provenance |  |
+| main.rs:61:22:61:29 | &... [&ref] | main.rs:61:13:61:18 | sliced [&ref] | provenance |  |
+| main.rs:61:23:61:23 | s | main.rs:61:23:61:29 | s[...] | provenance | MaD:6 |
+| main.rs:61:23:61:29 | s[...] | main.rs:61:22:61:29 | &... [&ref] | provenance |  |
+| main.rs:76:13:76:15 | arr | main.rs:77:14:77:16 | arr | provenance |  |
+| main.rs:76:19:76:28 | source(...) | main.rs:76:13:76:15 | arr | provenance |  |
+| main.rs:77:14:77:16 | arr | main.rs:77:14:77:19 | arr[1] | provenance | MaD:6 |
+| main.rs:92:9:92:12 | [post] arr2 [element] | main.rs:93:14:93:17 | arr2 | provenance |  |
+| main.rs:92:19:92:28 | source(...) | main.rs:92:9:92:12 | [post] arr2 [element] | provenance |  |
+| main.rs:113:14:113:47 | TupleExpr [tuple.0] | main.rs:113:14:113:49 | ... .0 | provenance |  |
+| main.rs:113:15:113:30 | source_string(...) | main.rs:113:14:113:47 | TupleExpr [tuple.0] | provenance |  |
+| main.rs:117:14:117:28 | source_tuple(...) | main.rs:117:14:117:30 | ... .0 | provenance |  |
+| main.rs:118:14:118:28 | source_tuple(...) | main.rs:118:14:118:30 | ... .1 | provenance |  |
+| main.rs:123:14:123:83 | TupleExpr [tuple.0, tuple.1] | main.rs:123:14:123:85 | ... .0 [tuple.1] | provenance |  |
+| main.rs:123:14:123:85 | ... .0 [tuple.1] | main.rs:123:14:123:87 | ... .1 | provenance |  |
+| main.rs:123:15:123:48 | TupleExpr [tuple.1] | main.rs:123:14:123:83 | TupleExpr [tuple.0, tuple.1] | provenance |  |
+| main.rs:123:32:123:47 | source_string(...) | main.rs:123:15:123:48 | TupleExpr [tuple.1] | provenance |  |
+| main.rs:129:14:129:64 | TupleExpr [tuple.0] | main.rs:129:14:129:66 | ... .0 | provenance |  |
+| main.rs:129:15:129:29 | source_tuple(...) | main.rs:129:14:129:64 | TupleExpr [tuple.0] | provenance |  |
+| main.rs:130:14:130:64 | TupleExpr [tuple.0] | main.rs:130:14:130:66 | ... .0 | provenance |  |
+| main.rs:130:14:130:66 | ... .0 | main.rs:130:14:130:68 | ... .0 | provenance |  |
+| main.rs:130:15:130:29 | source_tuple(...) | main.rs:130:14:130:64 | TupleExpr [tuple.0] | provenance |  |
+| main.rs:131:14:131:64 | TupleExpr [tuple.0] | main.rs:131:14:131:66 | ... .0 | provenance |  |
+| main.rs:131:14:131:66 | ... .0 | main.rs:131:14:131:68 | ... .1 | provenance |  |
+| main.rs:131:15:131:29 | source_tuple(...) | main.rs:131:14:131:64 | TupleExpr [tuple.0] | provenance |  |
 nodes
 | main.rs:12:9:12:9 | a | semmle.label | a |
 | main.rs:12:13:12:22 | source(...) | semmle.label | source(...) |
 | main.rs:13:10:13:10 | a | semmle.label | a |
 | main.rs:13:10:13:14 | ... + ... | semmle.label | ... + ... |
-| main.rs:15:9:15:13 | mut b | semmle.label | mut b |
-| main.rs:15:17:15:26 | source(...) | semmle.label | source(...) |
-| main.rs:16:5:16:5 | b | semmle.label | b |
-| main.rs:17:10:17:10 | b | semmle.label | b |
-| main.rs:20:10:20:19 | source(...) | semmle.label | source(...) |
-| main.rs:21:10:21:10 | c | semmle.label | c |
-| main.rs:25:9:25:9 | a | semmle.label | a |
-| main.rs:25:13:25:22 | source(...) | semmle.label | source(...) |
-| main.rs:26:10:26:11 | - ... | semmle.label | - ... |
-| main.rs:26:11:26:11 | a | semmle.label | a |
-| main.rs:30:9:30:9 | a | semmle.label | a |
-| main.rs:30:13:30:22 | source(...) | semmle.label | source(...) |
-| main.rs:31:9:31:9 | b | semmle.label | b |
-| main.rs:32:10:32:17 | b as i64 | semmle.label | b as i64 |
-| main.rs:45:13:45:13 | s | semmle.label | s |
-| main.rs:45:17:45:26 | source(...) | semmle.label | source(...) |
-| main.rs:46:13:46:18 | sliced [&ref] | semmle.label | sliced [&ref] |
-| main.rs:46:22:46:29 | &... [&ref] | semmle.label | &... [&ref] |
-| main.rs:46:23:46:23 | s | semmle.label | s |
-| main.rs:46:23:46:29 | s[...] | semmle.label | s[...] |
-| main.rs:47:14:47:19 | sliced | semmle.label | sliced |
-| main.rs:61:13:61:15 | arr | semmle.label | arr |
-| main.rs:61:19:61:28 | source(...) | semmle.label | source(...) |
-| main.rs:62:14:62:16 | arr | semmle.label | arr |
-| main.rs:62:14:62:19 | arr[1] | semmle.label | arr[1] |
-| main.rs:77:9:77:12 | [post] arr2 [element] | semmle.label | [post] arr2 [element] |
-| main.rs:77:19:77:28 | source(...) | semmle.label | source(...) |
-| main.rs:78:14:78:17 | arr2 | semmle.label | arr2 |
-| main.rs:98:14:98:47 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
-| main.rs:98:14:98:49 | ... .0 | semmle.label | ... .0 |
-| main.rs:98:15:98:30 | source_string(...) | semmle.label | source_string(...) |
-| main.rs:101:14:101:28 | source_tuple(...) | semmle.label | source_tuple(...) |
-| main.rs:102:14:102:28 | source_tuple(...) | semmle.label | source_tuple(...) |
-| main.rs:102:14:102:30 | ... .0 | semmle.label | ... .0 |
-| main.rs:103:14:103:28 | source_tuple(...) | semmle.label | source_tuple(...) |
-| main.rs:103:14:103:30 | ... .1 | semmle.label | ... .1 |
-| main.rs:108:14:108:83 | TupleExpr [tuple.0, tuple.1] | semmle.label | TupleExpr [tuple.0, tuple.1] |
-| main.rs:108:14:108:85 | ... .0 [tuple.1] | semmle.label | ... .0 [tuple.1] |
-| main.rs:108:14:108:87 | ... .1 | semmle.label | ... .1 |
-| main.rs:108:15:108:48 | TupleExpr [tuple.1] | semmle.label | TupleExpr [tuple.1] |
-| main.rs:108:32:108:47 | source_string(...) | semmle.label | source_string(...) |
-| main.rs:114:14:114:64 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
-| main.rs:114:14:114:66 | ... .0 | semmle.label | ... .0 |
-| main.rs:114:15:114:29 | source_tuple(...) | semmle.label | source_tuple(...) |
-| main.rs:115:14:115:64 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
-| main.rs:115:14:115:66 | ... .0 | semmle.label | ... .0 |
-| main.rs:115:14:115:68 | ... .0 | semmle.label | ... .0 |
-| main.rs:115:15:115:29 | source_tuple(...) | semmle.label | source_tuple(...) |
-| main.rs:116:14:116:64 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
-| main.rs:116:14:116:66 | ... .0 | semmle.label | ... .0 |
-| main.rs:116:14:116:68 | ... .1 | semmle.label | ... .1 |
-| main.rs:116:15:116:29 | source_tuple(...) | semmle.label | source_tuple(...) |
+| main.rs:16:9:16:13 | mut b | semmle.label | mut b |
+| main.rs:16:17:16:26 | source(...) | semmle.label | source(...) |
+| main.rs:17:5:17:5 | b | semmle.label | b |
+| main.rs:18:10:18:10 | b | semmle.label | b |
+| main.rs:21:10:21:19 | source(...) | semmle.label | source(...) |
+| main.rs:22:10:22:10 | c | semmle.label | c |
+| main.rs:26:9:26:9 | a | semmle.label | a |
+| main.rs:26:13:26:22 | source(...) | semmle.label | source(...) |
+| main.rs:27:10:27:11 | - ... | semmle.label | - ... |
+| main.rs:27:11:27:11 | a | semmle.label | a |
+| main.rs:45:9:45:9 | a | semmle.label | a |
+| main.rs:45:13:45:22 | source(...) | semmle.label | source(...) |
+| main.rs:46:9:46:9 | b | semmle.label | b |
+| main.rs:47:10:47:17 | b as i64 | semmle.label | b as i64 |
+| main.rs:60:13:60:13 | s | semmle.label | s |
+| main.rs:60:17:60:26 | source(...) | semmle.label | source(...) |
+| main.rs:61:13:61:18 | sliced [&ref] | semmle.label | sliced [&ref] |
+| main.rs:61:22:61:29 | &... [&ref] | semmle.label | &... [&ref] |
+| main.rs:61:23:61:23 | s | semmle.label | s |
+| main.rs:61:23:61:29 | s[...] | semmle.label | s[...] |
+| main.rs:62:14:62:19 | sliced | semmle.label | sliced |
+| main.rs:76:13:76:15 | arr | semmle.label | arr |
+| main.rs:76:19:76:28 | source(...) | semmle.label | source(...) |
+| main.rs:77:14:77:16 | arr | semmle.label | arr |
+| main.rs:77:14:77:19 | arr[1] | semmle.label | arr[1] |
+| main.rs:92:9:92:12 | [post] arr2 [element] | semmle.label | [post] arr2 [element] |
+| main.rs:92:19:92:28 | source(...) | semmle.label | source(...) |
+| main.rs:93:14:93:17 | arr2 | semmle.label | arr2 |
+| main.rs:113:14:113:47 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
+| main.rs:113:14:113:49 | ... .0 | semmle.label | ... .0 |
+| main.rs:113:15:113:30 | source_string(...) | semmle.label | source_string(...) |
+| main.rs:116:14:116:28 | source_tuple(...) | semmle.label | source_tuple(...) |
+| main.rs:117:14:117:28 | source_tuple(...) | semmle.label | source_tuple(...) |
+| main.rs:117:14:117:30 | ... .0 | semmle.label | ... .0 |
+| main.rs:118:14:118:28 | source_tuple(...) | semmle.label | source_tuple(...) |
+| main.rs:118:14:118:30 | ... .1 | semmle.label | ... .1 |
+| main.rs:123:14:123:83 | TupleExpr [tuple.0, tuple.1] | semmle.label | TupleExpr [tuple.0, tuple.1] |
+| main.rs:123:14:123:85 | ... .0 [tuple.1] | semmle.label | ... .0 [tuple.1] |
+| main.rs:123:14:123:87 | ... .1 | semmle.label | ... .1 |
+| main.rs:123:15:123:48 | TupleExpr [tuple.1] | semmle.label | TupleExpr [tuple.1] |
+| main.rs:123:32:123:47 | source_string(...) | semmle.label | source_string(...) |
+| main.rs:129:14:129:64 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
+| main.rs:129:14:129:66 | ... .0 | semmle.label | ... .0 |
+| main.rs:129:15:129:29 | source_tuple(...) | semmle.label | source_tuple(...) |
+| main.rs:130:14:130:64 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
+| main.rs:130:14:130:66 | ... .0 | semmle.label | ... .0 |
+| main.rs:130:14:130:68 | ... .0 | semmle.label | ... .0 |
+| main.rs:130:15:130:29 | source_tuple(...) | semmle.label | source_tuple(...) |
+| main.rs:131:14:131:64 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
+| main.rs:131:14:131:66 | ... .0 | semmle.label | ... .0 |
+| main.rs:131:14:131:68 | ... .1 | semmle.label | ... .1 |
+| main.rs:131:15:131:29 | source_tuple(...) | semmle.label | source_tuple(...) |
 subpaths
 testFailures
 #select
 | main.rs:13:10:13:14 | ... + ... | main.rs:12:13:12:22 | source(...) | main.rs:13:10:13:14 | ... + ... | $@ | main.rs:12:13:12:22 | source(...) | source(...) |
-| main.rs:17:10:17:10 | b | main.rs:15:17:15:26 | source(...) | main.rs:17:10:17:10 | b | $@ | main.rs:15:17:15:26 | source(...) | source(...) |
-| main.rs:21:10:21:10 | c | main.rs:20:10:20:19 | source(...) | main.rs:21:10:21:10 | c | $@ | main.rs:20:10:20:19 | source(...) | source(...) |
-| main.rs:26:10:26:11 | - ... | main.rs:25:13:25:22 | source(...) | main.rs:26:10:26:11 | - ... | $@ | main.rs:25:13:25:22 | source(...) | source(...) |
-| main.rs:32:10:32:17 | b as i64 | main.rs:30:13:30:22 | source(...) | main.rs:32:10:32:17 | b as i64 | $@ | main.rs:30:13:30:22 | source(...) | source(...) |
-| main.rs:47:14:47:19 | sliced | main.rs:45:17:45:26 | source(...) | main.rs:47:14:47:19 | sliced | $@ | main.rs:45:17:45:26 | source(...) | source(...) |
-| main.rs:62:14:62:19 | arr[1] | main.rs:61:19:61:28 | source(...) | main.rs:62:14:62:19 | arr[1] | $@ | main.rs:61:19:61:28 | source(...) | source(...) |
-| main.rs:78:14:78:17 | arr2 | main.rs:77:19:77:28 | source(...) | main.rs:78:14:78:17 | arr2 | $@ | main.rs:77:19:77:28 | source(...) | source(...) |
-| main.rs:98:14:98:49 | ... .0 | main.rs:98:15:98:30 | source_string(...) | main.rs:98:14:98:49 | ... .0 | $@ | main.rs:98:15:98:30 | source_string(...) | source_string(...) |
-| main.rs:101:14:101:28 | source_tuple(...) | main.rs:101:14:101:28 | source_tuple(...) | main.rs:101:14:101:28 | source_tuple(...) | $@ | main.rs:101:14:101:28 | source_tuple(...) | source_tuple(...) |
-| main.rs:102:14:102:30 | ... .0 | main.rs:102:14:102:28 | source_tuple(...) | main.rs:102:14:102:30 | ... .0 | $@ | main.rs:102:14:102:28 | source_tuple(...) | source_tuple(...) |
-| main.rs:103:14:103:30 | ... .1 | main.rs:103:14:103:28 | source_tuple(...) | main.rs:103:14:103:30 | ... .1 | $@ | main.rs:103:14:103:28 | source_tuple(...) | source_tuple(...) |
-| main.rs:108:14:108:87 | ... .1 | main.rs:108:32:108:47 | source_string(...) | main.rs:108:14:108:87 | ... .1 | $@ | main.rs:108:32:108:47 | source_string(...) | source_string(...) |
-| main.rs:114:14:114:66 | ... .0 | main.rs:114:15:114:29 | source_tuple(...) | main.rs:114:14:114:66 | ... .0 | $@ | main.rs:114:15:114:29 | source_tuple(...) | source_tuple(...) |
-| main.rs:115:14:115:68 | ... .0 | main.rs:115:15:115:29 | source_tuple(...) | main.rs:115:14:115:68 | ... .0 | $@ | main.rs:115:15:115:29 | source_tuple(...) | source_tuple(...) |
-| main.rs:116:14:116:68 | ... .1 | main.rs:116:15:116:29 | source_tuple(...) | main.rs:116:14:116:68 | ... .1 | $@ | main.rs:116:15:116:29 | source_tuple(...) | source_tuple(...) |
+| main.rs:18:10:18:10 | b | main.rs:16:17:16:26 | source(...) | main.rs:18:10:18:10 | b | $@ | main.rs:16:17:16:26 | source(...) | source(...) |
+| main.rs:22:10:22:10 | c | main.rs:21:10:21:19 | source(...) | main.rs:22:10:22:10 | c | $@ | main.rs:21:10:21:19 | source(...) | source(...) |
+| main.rs:27:10:27:11 | - ... | main.rs:26:13:26:22 | source(...) | main.rs:27:10:27:11 | - ... | $@ | main.rs:26:13:26:22 | source(...) | source(...) |
+| main.rs:47:10:47:17 | b as i64 | main.rs:45:13:45:22 | source(...) | main.rs:47:10:47:17 | b as i64 | $@ | main.rs:45:13:45:22 | source(...) | source(...) |
+| main.rs:62:14:62:19 | sliced | main.rs:60:17:60:26 | source(...) | main.rs:62:14:62:19 | sliced | $@ | main.rs:60:17:60:26 | source(...) | source(...) |
+| main.rs:77:14:77:19 | arr[1] | main.rs:76:19:76:28 | source(...) | main.rs:77:14:77:19 | arr[1] | $@ | main.rs:76:19:76:28 | source(...) | source(...) |
+| main.rs:93:14:93:17 | arr2 | main.rs:92:19:92:28 | source(...) | main.rs:93:14:93:17 | arr2 | $@ | main.rs:92:19:92:28 | source(...) | source(...) |
+| main.rs:113:14:113:49 | ... .0 | main.rs:113:15:113:30 | source_string(...) | main.rs:113:14:113:49 | ... .0 | $@ | main.rs:113:15:113:30 | source_string(...) | source_string(...) |
+| main.rs:116:14:116:28 | source_tuple(...) | main.rs:116:14:116:28 | source_tuple(...) | main.rs:116:14:116:28 | source_tuple(...) | $@ | main.rs:116:14:116:28 | source_tuple(...) | source_tuple(...) |
+| main.rs:117:14:117:30 | ... .0 | main.rs:117:14:117:28 | source_tuple(...) | main.rs:117:14:117:30 | ... .0 | $@ | main.rs:117:14:117:28 | source_tuple(...) | source_tuple(...) |
+| main.rs:118:14:118:30 | ... .1 | main.rs:118:14:118:28 | source_tuple(...) | main.rs:118:14:118:30 | ... .1 | $@ | main.rs:118:14:118:28 | source_tuple(...) | source_tuple(...) |
+| main.rs:123:14:123:87 | ... .1 | main.rs:123:32:123:47 | source_string(...) | main.rs:123:14:123:87 | ... .1 | $@ | main.rs:123:32:123:47 | source_string(...) | source_string(...) |
+| main.rs:129:14:129:66 | ... .0 | main.rs:129:15:129:29 | source_tuple(...) | main.rs:129:14:129:66 | ... .0 | $@ | main.rs:129:15:129:29 | source_tuple(...) | source_tuple(...) |
+| main.rs:130:14:130:68 | ... .0 | main.rs:130:15:130:29 | source_tuple(...) | main.rs:130:14:130:68 | ... .0 | $@ | main.rs:130:15:130:29 | source_tuple(...) | source_tuple(...) |
+| main.rs:131:14:131:68 | ... .1 | main.rs:131:15:131:29 | source_tuple(...) | main.rs:131:14:131:68 | ... .1 | $@ | main.rs:131:15:131:29 | source_tuple(...) | source_tuple(...) |
diff --git a/rust/ql/test/library-tests/dataflow/taint/main.rs b/rust/ql/test/library-tests/dataflow/taint/main.rs
index e7c23d38e98d..506c6e5eb3c0 100644
--- a/rust/ql/test/library-tests/dataflow/taint/main.rs
+++ b/rust/ql/test/library-tests/dataflow/taint/main.rs
@@ -12,6 +12,7 @@ fn addition() {
     let a = source(42);
     sink(a + 1); // $ hasTaintFlow=42
 
+
     let mut b = source(58);
     b += 2;
     sink(b); // $ hasTaintFlow=58
@@ -26,6 +27,20 @@ fn negation() {
     sink(-a); // $ hasTaintFlow=17
 }
 
+
+
+
+
+
+
+
+
+
+
+
+
+
+
 fn cast() {
     let a = source(77);
     let b = a as u8;

From 50fdc99b8c9cb7e1c1a89a9e9a015600a2679097 Mon Sep 17 00:00:00 2001
From: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
Date: Mon, 15 Dec 2025 18:22:50 +0000
Subject: [PATCH 2/4] Rust: More test cases for operators, std::ops and
 std::num::Wrapping.

---
 .../dataflow/taint/TaintFlowStep.expected     |  11 +
 .../dataflow/taint/inline-taint-flow.expected | 245 ++++++++++++++++--
 .../test/library-tests/dataflow/taint/main.rs |  98 +++++--
 3 files changed, 323 insertions(+), 31 deletions(-)

diff --git a/rust/ql/test/library-tests/dataflow/taint/TaintFlowStep.expected b/rust/ql/test/library-tests/dataflow/taint/TaintFlowStep.expected
index d3f838b794df..3273569a34ad 100644
--- a/rust/ql/test/library-tests/dataflow/taint/TaintFlowStep.expected
+++ b/rust/ql/test/library-tests/dataflow/taint/TaintFlowStep.expected
@@ -41,3 +41,14 @@
 | main.rs:133:14:133:66 | ... .1 | main.rs:133:14:133:68 | ... .0 |
 | main.rs:134:14:134:64 | TupleExpr | main.rs:134:14:134:66 | ... .1 |
 | main.rs:134:14:134:66 | ... .1 | main.rs:134:14:134:68 | ... .1 |
+| main.rs:170:5:170:5 | [post] a [implicit borrow] | main.rs:170:5:170:5 | [post] a |
+| main.rs:171:5:171:5 | [post] a [implicit borrow] | main.rs:171:5:171:5 | [post] a |
+| main.rs:172:5:172:5 | [post] a [implicit borrow] | main.rs:172:5:172:5 | [post] a |
+| main.rs:173:5:173:5 | [post] a [implicit borrow] | main.rs:173:5:173:5 | [post] a |
+| main.rs:174:5:174:5 | [post] a [implicit borrow] | main.rs:174:5:174:5 | [post] a |
+| main.rs:175:5:175:5 | [post] a [implicit borrow] | main.rs:175:5:175:5 | [post] a |
+| main.rs:191:24:191:24 | s | main.rs:191:18:191:24 | FormatArgsExpr |
+| main.rs:196:9:196:9 | [post] a [implicit borrow] | main.rs:196:9:196:9 | [post] a |
+| main.rs:197:9:197:9 | [post] a [implicit borrow] | main.rs:197:9:197:9 | [post] a |
+| main.rs:198:9:198:9 | [post] a [implicit borrow] | main.rs:198:9:198:9 | [SSA] a |
+| main.rs:199:9:199:9 | [post] a [implicit borrow] | main.rs:199:9:199:9 | [SSA] a |
diff --git a/rust/ql/test/library-tests/dataflow/taint/inline-taint-flow.expected b/rust/ql/test/library-tests/dataflow/taint/inline-taint-flow.expected
index ff182738a8e8..447f1c5f7bd1 100644
--- a/rust/ql/test/library-tests/dataflow/taint/inline-taint-flow.expected
+++ b/rust/ql/test/library-tests/dataflow/taint/inline-taint-flow.expected
@@ -1,22 +1,71 @@
 models
-| 1 | Summary: <_ as core::ops::arith::Add>::add; Argument[self]; ReturnValue; taint |
-| 2 | Summary: <_ as core::ops::arith::AddAssign>::add_assign; Argument[0].Reference; Argument[self].Reference; taint |
-| 3 | Summary: <_ as core::ops::arith::AddAssign>::add_assign; Argument[0]; Argument[self].Reference; taint |
-| 4 | Summary: <_ as core::ops::arith::AddAssign>::add_assign; Argument[self].Reference; Argument[self].Reference; taint |
-| 5 | Summary: <_ as core::ops::arith::Neg>::neg; Argument[self]; ReturnValue; taint |
-| 6 | Summary: <_ as core::ops::index::Index>::index; Argument[self].Reference.Element; ReturnValue.Reference; value |
+| 1 | Summary: <_ as core::ops::arith::Add>::add; Argument[0].Reference; ReturnValue; taint |
+| 2 | Summary: <_ as core::ops::arith::Add>::add; Argument[0]; ReturnValue; taint |
+| 3 | Summary: <_ as core::ops::arith::Add>::add; Argument[self]; ReturnValue; taint |
+| 4 | Summary: <_ as core::ops::arith::AddAssign>::add_assign; Argument[0].Reference; Argument[self].Reference; taint |
+| 5 | Summary: <_ as core::ops::arith::AddAssign>::add_assign; Argument[0]; Argument[self].Reference; taint |
+| 6 | Summary: <_ as core::ops::arith::AddAssign>::add_assign; Argument[self].Reference; Argument[self].Reference; taint |
+| 7 | Summary: <_ as core::ops::arith::Mul>::mul; Argument[0].Reference; ReturnValue; taint |
+| 8 | Summary: <_ as core::ops::arith::Mul>::mul; Argument[0]; ReturnValue; taint |
+| 9 | Summary: <_ as core::ops::arith::Mul>::mul; Argument[self]; ReturnValue; taint |
+| 10 | Summary: <_ as core::ops::arith::MulAssign>::mul_assign; Argument[0].Reference; Argument[self].Reference; taint |
+| 11 | Summary: <_ as core::ops::arith::MulAssign>::mul_assign; Argument[0]; Argument[self].Reference; taint |
+| 12 | Summary: <_ as core::ops::arith::MulAssign>::mul_assign; Argument[self].Reference; Argument[self].Reference; taint |
+| 13 | Summary: <_ as core::ops::arith::Neg>::neg; Argument[self]; ReturnValue; taint |
+| 14 | Summary: <_ as core::ops::arith::Sub>::sub; Argument[0].Reference; ReturnValue; taint |
+| 15 | Summary: <_ as core::ops::arith::Sub>::sub; Argument[0]; ReturnValue; taint |
+| 16 | Summary: <_ as core::ops::arith::Sub>::sub; Argument[self]; ReturnValue; taint |
+| 17 | Summary: <_ as core::ops::arith::SubAssign>::sub_assign; Argument[0].Reference; Argument[self].Reference; taint |
+| 18 | Summary: <_ as core::ops::arith::SubAssign>::sub_assign; Argument[0]; Argument[self].Reference; taint |
+| 19 | Summary: <_ as core::ops::arith::SubAssign>::sub_assign; Argument[self].Reference; Argument[self].Reference; taint |
+| 20 | Summary: <_ as core::ops::bit::BitOr>::bitor; Argument[0].Reference; ReturnValue; taint |
+| 21 | Summary: <_ as core::ops::bit::BitOr>::bitor; Argument[0]; ReturnValue; taint |
+| 22 | Summary: <_ as core::ops::bit::BitOr>::bitor; Argument[self]; ReturnValue; taint |
+| 23 | Summary: <_ as core::ops::bit::BitXor>::bitxor; Argument[0].Reference; ReturnValue; taint |
+| 24 | Summary: <_ as core::ops::bit::BitXor>::bitxor; Argument[0]; ReturnValue; taint |
+| 25 | Summary: <_ as core::ops::bit::BitXor>::bitxor; Argument[self]; ReturnValue; taint |
+| 26 | Summary: <_ as core::ops::bit::BitXorAssign>::bitxor_assign; Argument[0].Reference; Argument[self].Reference; taint |
+| 27 | Summary: <_ as core::ops::bit::BitXorAssign>::bitxor_assign; Argument[0]; Argument[self].Reference; taint |
+| 28 | Summary: <_ as core::ops::bit::Not>::not; Argument[self]; ReturnValue; taint |
+| 29 | Summary: <_ as core::ops::bit::Shl>::shl; Argument[0].Reference; ReturnValue; taint |
+| 30 | Summary: <_ as core::ops::bit::Shl>::shl; Argument[0]; ReturnValue; taint |
+| 31 | Summary: <_ as core::ops::bit::Shl>::shl; Argument[self]; ReturnValue; taint |
+| 32 | Summary: <_ as core::ops::bit::ShlAssign>::shl_assign; Argument[0].Reference; Argument[self].Reference; taint |
+| 33 | Summary: <_ as core::ops::bit::ShlAssign>::shl_assign; Argument[0]; Argument[self].Reference; taint |
+| 34 | Summary: <_ as core::ops::bit::Shr>::shr; Argument[0].Reference; ReturnValue; taint |
+| 35 | Summary: <_ as core::ops::bit::Shr>::shr; Argument[0]; ReturnValue; taint |
+| 36 | Summary: <_ as core::ops::bit::Shr>::shr; Argument[self]; ReturnValue; taint |
+| 37 | Summary: <_ as core::ops::bit::ShrAssign>::shr_assign; Argument[0].Reference; Argument[self].Reference; taint |
+| 38 | Summary: <_ as core::ops::bit::ShrAssign>::shr_assign; Argument[0]; Argument[self].Reference; taint |
+| 39 | Summary: <_ as core::ops::index::Index>::index; Argument[self].Reference.Element; ReturnValue.Reference; value |
 edges
 | main.rs:12:9:12:9 | a | main.rs:13:10:13:10 | a | provenance |  |
+| main.rs:12:9:12:9 | a | main.rs:14:14:14:14 | a | provenance |  |
 | main.rs:12:13:12:22 | source(...) | main.rs:12:9:12:9 | a | provenance |  |
-| main.rs:13:10:13:10 | a | main.rs:13:10:13:14 | ... + ... | provenance | MaD:1 |
+| main.rs:13:10:13:10 | a | main.rs:13:10:13:14 | ... + ... | provenance | MaD:3 |
+| main.rs:14:14:14:14 | a | main.rs:14:10:14:14 | ... + ... | provenance | MaD:1 |
+| main.rs:14:14:14:14 | a | main.rs:14:10:14:14 | ... + ... | provenance | MaD:2 |
 | main.rs:16:9:16:13 | mut b | main.rs:17:5:17:5 | b | provenance |  |
 | main.rs:16:17:16:26 | source(...) | main.rs:16:9:16:13 | mut b | provenance |  |
-| main.rs:17:5:17:5 | b | main.rs:18:10:18:10 | b | provenance | MaD:4 |
-| main.rs:21:10:21:19 | source(...) | main.rs:22:10:22:10 | c | provenance | MaD:2 |
-| main.rs:21:10:21:19 | source(...) | main.rs:22:10:22:10 | c | provenance | MaD:3 |
+| main.rs:17:5:17:5 | b | main.rs:18:10:18:10 | b | provenance | MaD:6 |
+| main.rs:21:10:21:19 | source(...) | main.rs:22:10:22:10 | c | provenance | MaD:4 |
+| main.rs:21:10:21:19 | source(...) | main.rs:22:10:22:10 | c | provenance | MaD:5 |
 | main.rs:26:9:26:9 | a | main.rs:27:11:27:11 | a | provenance |  |
-| main.rs:26:13:26:22 | source(...) | main.rs:26:9:26:9 | a | provenance |  |
-| main.rs:27:11:27:11 | a | main.rs:27:10:27:11 | - ... | provenance | MaD:5 |
+| main.rs:26:13:26:21 | source(...) | main.rs:26:9:26:9 | a | provenance |  |
+| main.rs:27:11:27:11 | a | main.rs:27:10:27:11 | - ... | provenance | MaD:13 |
+| main.rs:29:11:29:19 | source(...) | main.rs:29:10:29:19 | ! ... | provenance | MaD:28 |
+| main.rs:31:10:31:18 | source(...) | main.rs:31:10:31:22 | ... - ... | provenance | MaD:16 |
+| main.rs:32:17:32:25 | source(...) | main.rs:32:10:32:25 | ... - ... | provenance | MaD:14 |
+| main.rs:32:17:32:25 | source(...) | main.rs:32:10:32:25 | ... - ... | provenance | MaD:15 |
+| main.rs:34:10:34:18 | source(...) | main.rs:34:10:34:22 | ... * ... | provenance | MaD:9 |
+| main.rs:35:17:35:25 | source(...) | main.rs:35:10:35:25 | ... * ... | provenance | MaD:7 |
+| main.rs:35:17:35:25 | source(...) | main.rs:35:10:35:25 | ... * ... | provenance | MaD:8 |
+| main.rs:37:10:37:18 | source(...) | main.rs:37:10:37:23 | ... << ... | provenance | MaD:31 |
+| main.rs:38:18:38:26 | source(...) | main.rs:38:10:38:26 | ... << ... | provenance | MaD:29 |
+| main.rs:38:18:38:26 | source(...) | main.rs:38:10:38:26 | ... << ... | provenance | MaD:30 |
+| main.rs:40:10:40:18 | source(...) | main.rs:40:10:40:22 | ... ^ ... | provenance | MaD:25 |
+| main.rs:41:18:41:27 | source(...) | main.rs:41:10:41:27 | ... ^ ... | provenance | MaD:23 |
+| main.rs:41:18:41:27 | source(...) | main.rs:41:10:41:27 | ... ^ ... | provenance | MaD:24 |
 | main.rs:45:9:45:9 | a | main.rs:46:9:46:9 | b | provenance |  |
 | main.rs:45:13:45:22 | source(...) | main.rs:45:9:45:9 | a | provenance |  |
 | main.rs:46:9:46:9 | b | main.rs:47:10:47:17 | b as i64 | provenance |  |
@@ -25,11 +74,11 @@ edges
 | main.rs:60:17:60:26 | source(...) | main.rs:60:13:60:13 | s | provenance |  |
 | main.rs:61:13:61:18 | sliced [&ref] | main.rs:62:14:62:19 | sliced | provenance |  |
 | main.rs:61:22:61:29 | &... [&ref] | main.rs:61:13:61:18 | sliced [&ref] | provenance |  |
-| main.rs:61:23:61:23 | s | main.rs:61:23:61:29 | s[...] | provenance | MaD:6 |
+| main.rs:61:23:61:23 | s | main.rs:61:23:61:29 | s[...] | provenance | MaD:39 |
 | main.rs:61:23:61:29 | s[...] | main.rs:61:22:61:29 | &... [&ref] | provenance |  |
 | main.rs:76:13:76:15 | arr | main.rs:77:14:77:16 | arr | provenance |  |
 | main.rs:76:19:76:28 | source(...) | main.rs:76:13:76:15 | arr | provenance |  |
-| main.rs:77:14:77:16 | arr | main.rs:77:14:77:19 | arr[1] | provenance | MaD:6 |
+| main.rs:77:14:77:16 | arr | main.rs:77:14:77:19 | arr[1] | provenance | MaD:39 |
 | main.rs:92:9:92:12 | [post] arr2 [element] | main.rs:93:14:93:17 | arr2 | provenance |  |
 | main.rs:92:19:92:28 | source(...) | main.rs:92:9:92:12 | [post] arr2 [element] | provenance |  |
 | main.rs:113:14:113:47 | TupleExpr [tuple.0] | main.rs:113:14:113:49 | ... .0 | provenance |  |
@@ -48,11 +97,68 @@ edges
 | main.rs:131:14:131:64 | TupleExpr [tuple.0] | main.rs:131:14:131:66 | ... .0 | provenance |  |
 | main.rs:131:14:131:66 | ... .0 | main.rs:131:14:131:68 | ... .1 | provenance |  |
 | main.rs:131:15:131:29 | source_tuple(...) | main.rs:131:14:131:64 | TupleExpr [tuple.0] | provenance |  |
+| main.rs:141:10:141:18 | source(...) | main.rs:141:10:141:28 | ... .add(...) | provenance | MaD:3 |
+| main.rs:143:19:143:27 | source(...) | main.rs:143:10:143:28 | 1i64.add(...) | provenance | MaD:1 |
+| main.rs:143:19:143:27 | source(...) | main.rs:143:10:143:28 | 1i64.add(...) | provenance | MaD:2 |
+| main.rs:146:10:146:18 | source(...) | main.rs:146:10:146:28 | ... .sub(...) | provenance | MaD:16 |
+| main.rs:148:19:148:27 | source(...) | main.rs:148:10:148:28 | 1i64.sub(...) | provenance | MaD:14 |
+| main.rs:148:19:148:27 | source(...) | main.rs:148:10:148:28 | 1i64.sub(...) | provenance | MaD:15 |
+| main.rs:151:10:151:18 | source(...) | main.rs:151:10:151:28 | ... .mul(...) | provenance | MaD:9 |
+| main.rs:153:19:153:27 | source(...) | main.rs:153:10:153:28 | 1i64.mul(...) | provenance | MaD:7 |
+| main.rs:153:19:153:27 | source(...) | main.rs:153:10:153:28 | 1i64.mul(...) | provenance | MaD:8 |
+| main.rs:156:10:156:18 | source(...) | main.rs:156:10:156:28 | ... .shl(...) | provenance | MaD:31 |
+| main.rs:157:10:157:18 | source(...) | main.rs:157:10:157:25 | ... .shl(...) | provenance | MaD:31 |
+| main.rs:158:19:158:27 | source(...) | main.rs:158:10:158:28 | 1i64.shl(...) | provenance | MaD:29 |
+| main.rs:158:19:158:27 | source(...) | main.rs:158:10:158:28 | 1i64.shl(...) | provenance | MaD:30 |
+| main.rs:160:10:160:18 | source(...) | main.rs:160:10:160:28 | ... .shr(...) | provenance | MaD:36 |
+| main.rs:161:10:161:18 | source(...) | main.rs:161:10:161:25 | ... .shr(...) | provenance | MaD:36 |
+| main.rs:162:19:162:27 | source(...) | main.rs:162:10:162:28 | 1i64.shr(...) | provenance | MaD:34 |
+| main.rs:162:19:162:27 | source(...) | main.rs:162:10:162:28 | 1i64.shr(...) | provenance | MaD:35 |
+| main.rs:164:10:164:18 | source(...) | main.rs:164:10:164:30 | ... .bitor(...) | provenance | MaD:22 |
+| main.rs:166:21:166:29 | source(...) | main.rs:166:10:166:30 | 1i64.bitor(...) | provenance | MaD:20 |
+| main.rs:166:21:166:29 | source(...) | main.rs:166:10:166:30 | 1i64.bitor(...) | provenance | MaD:21 |
+| main.rs:170:5:170:5 | [post] a | main.rs:171:5:171:5 | a | provenance |  |
+| main.rs:170:5:170:5 | [post] a | main.rs:172:5:172:5 | a | provenance |  |
+| main.rs:170:5:170:5 | [post] a | main.rs:176:10:176:10 | a | provenance |  |
+| main.rs:170:18:170:26 | source(...) | main.rs:170:5:170:5 | [post] a | provenance | MaD:4 |
+| main.rs:170:18:170:26 | source(...) | main.rs:170:5:170:5 | [post] a | provenance | MaD:5 |
+| main.rs:171:5:171:5 | [post] a | main.rs:172:5:172:5 | a | provenance |  |
+| main.rs:171:5:171:5 | [post] a | main.rs:176:10:176:10 | a | provenance |  |
+| main.rs:171:5:171:5 | a | main.rs:171:5:171:5 | [post] a | provenance | MaD:19 |
+| main.rs:171:18:171:26 | source(...) | main.rs:171:5:171:5 | [post] a | provenance | MaD:17 |
+| main.rs:171:18:171:26 | source(...) | main.rs:171:5:171:5 | [post] a | provenance | MaD:18 |
+| main.rs:172:5:172:5 | [post] a | main.rs:176:10:176:10 | a | provenance |  |
+| main.rs:172:5:172:5 | a | main.rs:172:5:172:5 | [post] a | provenance | MaD:12 |
+| main.rs:172:18:172:26 | source(...) | main.rs:172:5:172:5 | [post] a | provenance | MaD:10 |
+| main.rs:172:18:172:26 | source(...) | main.rs:172:5:172:5 | [post] a | provenance | MaD:11 |
+| main.rs:173:5:173:5 | [post] a | main.rs:176:10:176:10 | a | provenance |  |
+| main.rs:173:18:173:26 | source(...) | main.rs:173:5:173:5 | [post] a | provenance | MaD:32 |
+| main.rs:173:18:173:26 | source(...) | main.rs:173:5:173:5 | [post] a | provenance | MaD:33 |
+| main.rs:174:5:174:5 | [post] a | main.rs:176:10:176:10 | a | provenance |  |
+| main.rs:174:18:174:26 | source(...) | main.rs:174:5:174:5 | [post] a | provenance | MaD:37 |
+| main.rs:174:18:174:26 | source(...) | main.rs:174:5:174:5 | [post] a | provenance | MaD:38 |
+| main.rs:175:5:175:5 | [post] a | main.rs:176:10:176:10 | a | provenance |  |
+| main.rs:175:21:175:29 | source(...) | main.rs:175:5:175:5 | [post] a | provenance | MaD:26 |
+| main.rs:175:21:175:29 | source(...) | main.rs:175:5:175:5 | [post] a | provenance | MaD:27 |
+| main.rs:178:10:178:18 | source(...) | main.rs:178:10:178:24 | ... .neg() | provenance | MaD:13 |
+| main.rs:179:10:179:18 | source(...) | main.rs:179:10:179:24 | ... .not() | provenance | MaD:28 |
+| main.rs:196:9:196:9 | [post] a | main.rs:197:9:197:9 | a | provenance |  |
+| main.rs:196:9:196:9 | [post] a | main.rs:198:9:198:9 | a | provenance |  |
+| main.rs:196:22:196:30 | source(...) | main.rs:196:9:196:9 | [post] a | provenance | MaD:4 |
+| main.rs:196:22:196:30 | source(...) | main.rs:196:9:196:9 | [post] a | provenance | MaD:5 |
+| main.rs:197:9:197:9 | [post] a | main.rs:198:9:198:9 | a | provenance |  |
+| main.rs:197:9:197:9 | a | main.rs:197:9:197:9 | [post] a | provenance | MaD:6 |
+| main.rs:198:9:198:9 | a | main.rs:199:9:199:9 | a | provenance | MaD:6 |
+| main.rs:198:14:198:22 | source(...) | main.rs:199:9:199:9 | a | provenance | MaD:4 |
+| main.rs:198:14:198:22 | source(...) | main.rs:199:9:199:9 | a | provenance | MaD:5 |
+| main.rs:199:9:199:9 | a | main.rs:200:14:200:14 | a | provenance | MaD:6 |
 nodes
 | main.rs:12:9:12:9 | a | semmle.label | a |
 | main.rs:12:13:12:22 | source(...) | semmle.label | source(...) |
 | main.rs:13:10:13:10 | a | semmle.label | a |
 | main.rs:13:10:13:14 | ... + ... | semmle.label | ... + ... |
+| main.rs:14:10:14:14 | ... + ... | semmle.label | ... + ... |
+| main.rs:14:14:14:14 | a | semmle.label | a |
 | main.rs:16:9:16:13 | mut b | semmle.label | mut b |
 | main.rs:16:17:16:26 | source(...) | semmle.label | source(...) |
 | main.rs:17:5:17:5 | b | semmle.label | b |
@@ -60,9 +166,27 @@ nodes
 | main.rs:21:10:21:19 | source(...) | semmle.label | source(...) |
 | main.rs:22:10:22:10 | c | semmle.label | c |
 | main.rs:26:9:26:9 | a | semmle.label | a |
-| main.rs:26:13:26:22 | source(...) | semmle.label | source(...) |
+| main.rs:26:13:26:21 | source(...) | semmle.label | source(...) |
 | main.rs:27:10:27:11 | - ... | semmle.label | - ... |
 | main.rs:27:11:27:11 | a | semmle.label | a |
+| main.rs:29:10:29:19 | ! ... | semmle.label | ! ... |
+| main.rs:29:11:29:19 | source(...) | semmle.label | source(...) |
+| main.rs:31:10:31:18 | source(...) | semmle.label | source(...) |
+| main.rs:31:10:31:22 | ... - ... | semmle.label | ... - ... |
+| main.rs:32:10:32:25 | ... - ... | semmle.label | ... - ... |
+| main.rs:32:17:32:25 | source(...) | semmle.label | source(...) |
+| main.rs:34:10:34:18 | source(...) | semmle.label | source(...) |
+| main.rs:34:10:34:22 | ... * ... | semmle.label | ... * ... |
+| main.rs:35:10:35:25 | ... * ... | semmle.label | ... * ... |
+| main.rs:35:17:35:25 | source(...) | semmle.label | source(...) |
+| main.rs:37:10:37:18 | source(...) | semmle.label | source(...) |
+| main.rs:37:10:37:23 | ... << ... | semmle.label | ... << ... |
+| main.rs:38:10:38:26 | ... << ... | semmle.label | ... << ... |
+| main.rs:38:18:38:26 | source(...) | semmle.label | source(...) |
+| main.rs:40:10:40:18 | source(...) | semmle.label | source(...) |
+| main.rs:40:10:40:22 | ... ^ ... | semmle.label | ... ^ ... |
+| main.rs:41:10:41:27 | ... ^ ... | semmle.label | ... ^ ... |
+| main.rs:41:18:41:27 | source(...) | semmle.label | source(...) |
 | main.rs:45:9:45:9 | a | semmle.label | a |
 | main.rs:45:13:45:22 | source(...) | semmle.label | source(...) |
 | main.rs:46:9:46:9 | b | semmle.label | b |
@@ -105,13 +229,78 @@ nodes
 | main.rs:131:14:131:66 | ... .0 | semmle.label | ... .0 |
 | main.rs:131:14:131:68 | ... .1 | semmle.label | ... .1 |
 | main.rs:131:15:131:29 | source_tuple(...) | semmle.label | source_tuple(...) |
+| main.rs:141:10:141:18 | source(...) | semmle.label | source(...) |
+| main.rs:141:10:141:28 | ... .add(...) | semmle.label | ... .add(...) |
+| main.rs:143:10:143:28 | 1i64.add(...) | semmle.label | 1i64.add(...) |
+| main.rs:143:19:143:27 | source(...) | semmle.label | source(...) |
+| main.rs:146:10:146:18 | source(...) | semmle.label | source(...) |
+| main.rs:146:10:146:28 | ... .sub(...) | semmle.label | ... .sub(...) |
+| main.rs:148:10:148:28 | 1i64.sub(...) | semmle.label | 1i64.sub(...) |
+| main.rs:148:19:148:27 | source(...) | semmle.label | source(...) |
+| main.rs:151:10:151:18 | source(...) | semmle.label | source(...) |
+| main.rs:151:10:151:28 | ... .mul(...) | semmle.label | ... .mul(...) |
+| main.rs:153:10:153:28 | 1i64.mul(...) | semmle.label | 1i64.mul(...) |
+| main.rs:153:19:153:27 | source(...) | semmle.label | source(...) |
+| main.rs:156:10:156:18 | source(...) | semmle.label | source(...) |
+| main.rs:156:10:156:28 | ... .shl(...) | semmle.label | ... .shl(...) |
+| main.rs:157:10:157:18 | source(...) | semmle.label | source(...) |
+| main.rs:157:10:157:25 | ... .shl(...) | semmle.label | ... .shl(...) |
+| main.rs:158:10:158:28 | 1i64.shl(...) | semmle.label | 1i64.shl(...) |
+| main.rs:158:19:158:27 | source(...) | semmle.label | source(...) |
+| main.rs:160:10:160:18 | source(...) | semmle.label | source(...) |
+| main.rs:160:10:160:28 | ... .shr(...) | semmle.label | ... .shr(...) |
+| main.rs:161:10:161:18 | source(...) | semmle.label | source(...) |
+| main.rs:161:10:161:25 | ... .shr(...) | semmle.label | ... .shr(...) |
+| main.rs:162:10:162:28 | 1i64.shr(...) | semmle.label | 1i64.shr(...) |
+| main.rs:162:19:162:27 | source(...) | semmle.label | source(...) |
+| main.rs:164:10:164:18 | source(...) | semmle.label | source(...) |
+| main.rs:164:10:164:30 | ... .bitor(...) | semmle.label | ... .bitor(...) |
+| main.rs:166:10:166:30 | 1i64.bitor(...) | semmle.label | 1i64.bitor(...) |
+| main.rs:166:21:166:29 | source(...) | semmle.label | source(...) |
+| main.rs:170:5:170:5 | [post] a | semmle.label | [post] a |
+| main.rs:170:18:170:26 | source(...) | semmle.label | source(...) |
+| main.rs:171:5:171:5 | [post] a | semmle.label | [post] a |
+| main.rs:171:5:171:5 | a | semmle.label | a |
+| main.rs:171:18:171:26 | source(...) | semmle.label | source(...) |
+| main.rs:172:5:172:5 | [post] a | semmle.label | [post] a |
+| main.rs:172:5:172:5 | a | semmle.label | a |
+| main.rs:172:18:172:26 | source(...) | semmle.label | source(...) |
+| main.rs:173:5:173:5 | [post] a | semmle.label | [post] a |
+| main.rs:173:18:173:26 | source(...) | semmle.label | source(...) |
+| main.rs:174:5:174:5 | [post] a | semmle.label | [post] a |
+| main.rs:174:18:174:26 | source(...) | semmle.label | source(...) |
+| main.rs:175:5:175:5 | [post] a | semmle.label | [post] a |
+| main.rs:175:21:175:29 | source(...) | semmle.label | source(...) |
+| main.rs:176:10:176:10 | a | semmle.label | a |
+| main.rs:178:10:178:18 | source(...) | semmle.label | source(...) |
+| main.rs:178:10:178:24 | ... .neg() | semmle.label | ... .neg() |
+| main.rs:179:10:179:18 | source(...) | semmle.label | source(...) |
+| main.rs:179:10:179:24 | ... .not() | semmle.label | ... .not() |
+| main.rs:196:9:196:9 | [post] a | semmle.label | [post] a |
+| main.rs:196:22:196:30 | source(...) | semmle.label | source(...) |
+| main.rs:197:9:197:9 | [post] a | semmle.label | [post] a |
+| main.rs:197:9:197:9 | a | semmle.label | a |
+| main.rs:198:9:198:9 | a | semmle.label | a |
+| main.rs:198:14:198:22 | source(...) | semmle.label | source(...) |
+| main.rs:199:9:199:9 | a | semmle.label | a |
+| main.rs:200:14:200:14 | a | semmle.label | a |
 subpaths
 testFailures
 #select
 | main.rs:13:10:13:14 | ... + ... | main.rs:12:13:12:22 | source(...) | main.rs:13:10:13:14 | ... + ... | $@ | main.rs:12:13:12:22 | source(...) | source(...) |
+| main.rs:14:10:14:14 | ... + ... | main.rs:12:13:12:22 | source(...) | main.rs:14:10:14:14 | ... + ... | $@ | main.rs:12:13:12:22 | source(...) | source(...) |
 | main.rs:18:10:18:10 | b | main.rs:16:17:16:26 | source(...) | main.rs:18:10:18:10 | b | $@ | main.rs:16:17:16:26 | source(...) | source(...) |
 | main.rs:22:10:22:10 | c | main.rs:21:10:21:19 | source(...) | main.rs:22:10:22:10 | c | $@ | main.rs:21:10:21:19 | source(...) | source(...) |
-| main.rs:27:10:27:11 | - ... | main.rs:26:13:26:22 | source(...) | main.rs:27:10:27:11 | - ... | $@ | main.rs:26:13:26:22 | source(...) | source(...) |
+| main.rs:27:10:27:11 | - ... | main.rs:26:13:26:21 | source(...) | main.rs:27:10:27:11 | - ... | $@ | main.rs:26:13:26:21 | source(...) | source(...) |
+| main.rs:29:10:29:19 | ! ... | main.rs:29:11:29:19 | source(...) | main.rs:29:10:29:19 | ! ... | $@ | main.rs:29:11:29:19 | source(...) | source(...) |
+| main.rs:31:10:31:22 | ... - ... | main.rs:31:10:31:18 | source(...) | main.rs:31:10:31:22 | ... - ... | $@ | main.rs:31:10:31:18 | source(...) | source(...) |
+| main.rs:32:10:32:25 | ... - ... | main.rs:32:17:32:25 | source(...) | main.rs:32:10:32:25 | ... - ... | $@ | main.rs:32:17:32:25 | source(...) | source(...) |
+| main.rs:34:10:34:22 | ... * ... | main.rs:34:10:34:18 | source(...) | main.rs:34:10:34:22 | ... * ... | $@ | main.rs:34:10:34:18 | source(...) | source(...) |
+| main.rs:35:10:35:25 | ... * ... | main.rs:35:17:35:25 | source(...) | main.rs:35:10:35:25 | ... * ... | $@ | main.rs:35:17:35:25 | source(...) | source(...) |
+| main.rs:37:10:37:23 | ... << ... | main.rs:37:10:37:18 | source(...) | main.rs:37:10:37:23 | ... << ... | $@ | main.rs:37:10:37:18 | source(...) | source(...) |
+| main.rs:38:10:38:26 | ... << ... | main.rs:38:18:38:26 | source(...) | main.rs:38:10:38:26 | ... << ... | $@ | main.rs:38:18:38:26 | source(...) | source(...) |
+| main.rs:40:10:40:22 | ... ^ ... | main.rs:40:10:40:18 | source(...) | main.rs:40:10:40:22 | ... ^ ... | $@ | main.rs:40:10:40:18 | source(...) | source(...) |
+| main.rs:41:10:41:27 | ... ^ ... | main.rs:41:18:41:27 | source(...) | main.rs:41:10:41:27 | ... ^ ... | $@ | main.rs:41:18:41:27 | source(...) | source(...) |
 | main.rs:47:10:47:17 | b as i64 | main.rs:45:13:45:22 | source(...) | main.rs:47:10:47:17 | b as i64 | $@ | main.rs:45:13:45:22 | source(...) | source(...) |
 | main.rs:62:14:62:19 | sliced | main.rs:60:17:60:26 | source(...) | main.rs:62:14:62:19 | sliced | $@ | main.rs:60:17:60:26 | source(...) | source(...) |
 | main.rs:77:14:77:19 | arr[1] | main.rs:76:19:76:28 | source(...) | main.rs:77:14:77:19 | arr[1] | $@ | main.rs:76:19:76:28 | source(...) | source(...) |
@@ -124,3 +313,27 @@ testFailures
 | main.rs:129:14:129:66 | ... .0 | main.rs:129:15:129:29 | source_tuple(...) | main.rs:129:14:129:66 | ... .0 | $@ | main.rs:129:15:129:29 | source_tuple(...) | source_tuple(...) |
 | main.rs:130:14:130:68 | ... .0 | main.rs:130:15:130:29 | source_tuple(...) | main.rs:130:14:130:68 | ... .0 | $@ | main.rs:130:15:130:29 | source_tuple(...) | source_tuple(...) |
 | main.rs:131:14:131:68 | ... .1 | main.rs:131:15:131:29 | source_tuple(...) | main.rs:131:14:131:68 | ... .1 | $@ | main.rs:131:15:131:29 | source_tuple(...) | source_tuple(...) |
+| main.rs:141:10:141:28 | ... .add(...) | main.rs:141:10:141:18 | source(...) | main.rs:141:10:141:28 | ... .add(...) | $@ | main.rs:141:10:141:18 | source(...) | source(...) |
+| main.rs:143:10:143:28 | 1i64.add(...) | main.rs:143:19:143:27 | source(...) | main.rs:143:10:143:28 | 1i64.add(...) | $@ | main.rs:143:19:143:27 | source(...) | source(...) |
+| main.rs:146:10:146:28 | ... .sub(...) | main.rs:146:10:146:18 | source(...) | main.rs:146:10:146:28 | ... .sub(...) | $@ | main.rs:146:10:146:18 | source(...) | source(...) |
+| main.rs:148:10:148:28 | 1i64.sub(...) | main.rs:148:19:148:27 | source(...) | main.rs:148:10:148:28 | 1i64.sub(...) | $@ | main.rs:148:19:148:27 | source(...) | source(...) |
+| main.rs:151:10:151:28 | ... .mul(...) | main.rs:151:10:151:18 | source(...) | main.rs:151:10:151:28 | ... .mul(...) | $@ | main.rs:151:10:151:18 | source(...) | source(...) |
+| main.rs:153:10:153:28 | 1i64.mul(...) | main.rs:153:19:153:27 | source(...) | main.rs:153:10:153:28 | 1i64.mul(...) | $@ | main.rs:153:19:153:27 | source(...) | source(...) |
+| main.rs:156:10:156:28 | ... .shl(...) | main.rs:156:10:156:18 | source(...) | main.rs:156:10:156:28 | ... .shl(...) | $@ | main.rs:156:10:156:18 | source(...) | source(...) |
+| main.rs:157:10:157:25 | ... .shl(...) | main.rs:157:10:157:18 | source(...) | main.rs:157:10:157:25 | ... .shl(...) | $@ | main.rs:157:10:157:18 | source(...) | source(...) |
+| main.rs:158:10:158:28 | 1i64.shl(...) | main.rs:158:19:158:27 | source(...) | main.rs:158:10:158:28 | 1i64.shl(...) | $@ | main.rs:158:19:158:27 | source(...) | source(...) |
+| main.rs:160:10:160:28 | ... .shr(...) | main.rs:160:10:160:18 | source(...) | main.rs:160:10:160:28 | ... .shr(...) | $@ | main.rs:160:10:160:18 | source(...) | source(...) |
+| main.rs:161:10:161:25 | ... .shr(...) | main.rs:161:10:161:18 | source(...) | main.rs:161:10:161:25 | ... .shr(...) | $@ | main.rs:161:10:161:18 | source(...) | source(...) |
+| main.rs:162:10:162:28 | 1i64.shr(...) | main.rs:162:19:162:27 | source(...) | main.rs:162:10:162:28 | 1i64.shr(...) | $@ | main.rs:162:19:162:27 | source(...) | source(...) |
+| main.rs:164:10:164:30 | ... .bitor(...) | main.rs:164:10:164:18 | source(...) | main.rs:164:10:164:30 | ... .bitor(...) | $@ | main.rs:164:10:164:18 | source(...) | source(...) |
+| main.rs:166:10:166:30 | 1i64.bitor(...) | main.rs:166:21:166:29 | source(...) | main.rs:166:10:166:30 | 1i64.bitor(...) | $@ | main.rs:166:21:166:29 | source(...) | source(...) |
+| main.rs:176:10:176:10 | a | main.rs:170:18:170:26 | source(...) | main.rs:176:10:176:10 | a | $@ | main.rs:170:18:170:26 | source(...) | source(...) |
+| main.rs:176:10:176:10 | a | main.rs:171:18:171:26 | source(...) | main.rs:176:10:176:10 | a | $@ | main.rs:171:18:171:26 | source(...) | source(...) |
+| main.rs:176:10:176:10 | a | main.rs:172:18:172:26 | source(...) | main.rs:176:10:176:10 | a | $@ | main.rs:172:18:172:26 | source(...) | source(...) |
+| main.rs:176:10:176:10 | a | main.rs:173:18:173:26 | source(...) | main.rs:176:10:176:10 | a | $@ | main.rs:173:18:173:26 | source(...) | source(...) |
+| main.rs:176:10:176:10 | a | main.rs:174:18:174:26 | source(...) | main.rs:176:10:176:10 | a | $@ | main.rs:174:18:174:26 | source(...) | source(...) |
+| main.rs:176:10:176:10 | a | main.rs:175:21:175:29 | source(...) | main.rs:176:10:176:10 | a | $@ | main.rs:175:21:175:29 | source(...) | source(...) |
+| main.rs:178:10:178:24 | ... .neg() | main.rs:178:10:178:18 | source(...) | main.rs:178:10:178:24 | ... .neg() | $@ | main.rs:178:10:178:18 | source(...) | source(...) |
+| main.rs:179:10:179:24 | ... .not() | main.rs:179:10:179:18 | source(...) | main.rs:179:10:179:24 | ... .not() | $@ | main.rs:179:10:179:18 | source(...) | source(...) |
+| main.rs:200:14:200:14 | a | main.rs:196:22:196:30 | source(...) | main.rs:200:14:200:14 | a | $@ | main.rs:196:22:196:30 | source(...) | source(...) |
+| main.rs:200:14:200:14 | a | main.rs:198:14:198:22 | source(...) | main.rs:200:14:200:14 | a | $@ | main.rs:198:14:198:22 | source(...) | source(...) |
diff --git a/rust/ql/test/library-tests/dataflow/taint/main.rs b/rust/ql/test/library-tests/dataflow/taint/main.rs
index 506c6e5eb3c0..35a6271d2f1b 100644
--- a/rust/ql/test/library-tests/dataflow/taint/main.rs
+++ b/rust/ql/test/library-tests/dataflow/taint/main.rs
@@ -11,7 +11,7 @@ fn sink(s: i64) {
 fn addition() {
     let a = source(42);
     sink(a + 1); // $ hasTaintFlow=42
-
+    sink(1 + a); // $ hasTaintFlow=42
 
     let mut b = source(58);
     b += 2;
@@ -22,24 +22,24 @@ fn addition() {
     sink(c); // $ hasTaintFlow=99
 }
 
-fn negation() {
-    let a = source(17);
-    sink(-a); // $ hasTaintFlow=17
-}
-
-
-
-
-
-
-
-
-
+fn more_ops() {
+    let a = source(1);
+    sink(-a); // $ hasTaintFlow=1
 
+    sink(!source(2)); // $ hasTaintFlow=2
 
+    sink(source(3) - 3); // $ hasTaintFlow=3
+    sink(4i64 - source(4)); // $ hasTaintFlow=4
 
+    sink(source(5) * 5); // $ hasTaintFlow=5
+    sink(6i64 * source(6)); // $ hasTaintFlow=6
 
+    sink(source(7) << 7); // $ hasTaintFlow=7
+    sink(8i64 << source(8)); // $ hasTaintFlow=8
 
+    sink(source(9) ^ 9); // $ hasTaintFlow=9
+    sink(10i64 ^ source(10)); // $ hasTaintFlow=10
+}
 
 fn cast() {
     let a = source(77);
@@ -135,12 +135,80 @@ mod tuples {
     }
 }
 
+use std::ops::{Add, Sub, Mul, Shl, Shr, BitOr, AddAssign, SubAssign, MulAssign, ShlAssign, ShrAssign, BitXorAssign, Neg, Not};
+
+fn std_ops() {
+    sink(source(1).add(2i64)); // $ hasTaintFlow=1
+    sink(source(1).add(2)); // $ MISSING: hasTaintFlow=1
+    sink(1i64.add(source(2))); // $ hasTaintFlow=2
+    sink(1.add(source(2))); // $ MISSING: hasTaintFlow=2
+
+    sink(source(1).sub(2i64)); // $ hasTaintFlow=1
+    sink(source(1).sub(2)); // $ MISSING: hasTaintFlow=1
+    sink(1i64.sub(source(2))); // $ hasTaintFlow=2
+    sink(1.sub(source(2))); // $ MISSING: hasTaintFlow=2
+
+    sink(source(1).mul(2i64)); // $ hasTaintFlow=1
+    sink(source(1).mul(2)); // $ MISSING: hasTaintFlow=1
+    sink(1i64.mul(source(2))); // $ hasTaintFlow=2
+    sink(1.mul(source(2))); // $ MISSING: hasTaintFlow=2
+
+    sink(source(1).shl(2i64)); // $ hasTaintFlow=1
+    sink(source(1).shl(2)); // $ hasTaintFlow=1
+    sink(1i64.shl(source(2))); // $ hasTaintFlow=2
+
+    sink(source(1).shr(2i64)); // $ hasTaintFlow=1
+    sink(source(1).shr(2)); // $ hasTaintFlow=1
+    sink(1i64.shr(source(2))); // $ hasTaintFlow=2
+
+    sink(source(1).bitor(2i64)); // $ hasTaintFlow=1
+    sink(source(1).bitor(2)); // $ MISSING: hasTaintFlow=1
+    sink(1i64.bitor(source(2))); // $ hasTaintFlow=2
+    sink(1.bitor(source(2))); // $ MISSING: hasTaintFlow=2
+
+    let mut a: i64 = 1;
+    a.add_assign(source(2));
+    a.sub_assign(source(3));
+    a.mul_assign(source(4));
+    a.shl_assign(source(5));
+    a.shr_assign(source(6));
+    a.bitxor_assign(source(7));
+    sink(a); // $ hasTaintFlow=2 hasTaintFlow=3 hasTaintFlow=4 hasTaintFlow=5 hasTaintFlow=6 hasTaintFlow=7
+
+    sink(source(1).neg()); // $ hasTaintFlow=1
+    sink(source(1).not()); // $ hasTaintFlow=1
+}
+
+mod wrapping {
+    use std::num::Wrapping;
+    use std::ops::AddAssign;
+
+    fn source(i: i64) -> Wrapping<i64> {
+        Wrapping(i)
+    }
+
+    fn sink(s: Wrapping<i64>) {
+        println!("{}", s);
+    }
+
+    pub fn wrapping() {
+        let mut a: Wrapping<i64> = Wrapping(1);
+        a.add_assign(source(2));
+        a.add_assign(Wrapping(crate::source(3)));
+        a += source(4);
+        a += std::num::Wrapping(crate::source(5));
+        sink(a); // $ hasTaintFlow=2 hasTaintFlow=4 MISSING: hasTaintFlow=3 hasTaintFlow=5
+    }
+}
+
 fn main() {
     addition();
-    negation();
+    more_ops();
     cast();
     string_slice();
     array_source::array_tainted();
     array_sink::array_with_taint();
     tuples::tuples();
+    std_ops();
+    wrapping::wrapping();
 }

From fc5d5b4fcc083a8c1836cbcc2fa41c0af6c7bb70 Mon Sep 17 00:00:00 2001
From: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
Date: Tue, 16 Dec 2025 09:44:35 +0000
Subject: [PATCH 3/4] Rust: Compress the existing core::ops::arith models a
 bit.

---
 .../rust/frameworks/stdlib/core.model.yml     |  47 ++---
 .../dataflow/taint/inline-taint-flow.expected | 180 +++++++++---------
 2 files changed, 101 insertions(+), 126 deletions(-)

diff --git a/rust/ql/lib/codeql/rust/frameworks/stdlib/core.model.yml b/rust/ql/lib/codeql/rust/frameworks/stdlib/core.model.yml
index e92ae4defa34..83cf1c21c234 100644
--- a/rust/ql/lib/codeql/rust/frameworks/stdlib/core.model.yml
+++ b/rust/ql/lib/codeql/rust/frameworks/stdlib/core.model.yml
@@ -14,46 +14,33 @@ extensions:
       - ["<_ as core::ops::arith::Neg>::neg", "Argument[self]", "ReturnValue", "taint", "manual"]
       - ["<_ as core::ops::bit::Not>::not", "Argument[self]", "ReturnValue", "taint", "manual"]
       # Arithmetic operators
-      - ["<_ as core::ops::arith::Add>::add", "Argument[self]", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::arith::Add>::add", "Argument[0]", "ReturnValue", "taint", "manual"]
+      - ["<_ as core::ops::arith::Add>::add", "Argument[self,0]", "ReturnValue", "taint", "manual"]
       - ["<_ as core::ops::arith::Add>::add", "Argument[0].Reference", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::arith::Sub>::sub", "Argument[self]", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::arith::Sub>::sub", "Argument[0]", "ReturnValue", "taint", "manual"]
+      - ["<_ as core::ops::arith::Sub>::sub", "Argument[self,0]", "ReturnValue", "taint", "manual"]
       - ["<_ as core::ops::arith::Sub>::sub", "Argument[0].Reference", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::arith::Mul>::mul", "Argument[self]", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::arith::Mul>::mul", "Argument[0]", "ReturnValue", "taint", "manual"]
+      - ["<_ as core::ops::arith::Mul>::mul", "Argument[self,0]", "ReturnValue", "taint", "manual"]
       - ["<_ as core::ops::arith::Mul>::mul", "Argument[0].Reference", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::arith::Div>::div", "Argument[self]", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::arith::Div>::div", "Argument[0]", "ReturnValue", "taint", "manual"]
+      - ["<_ as core::ops::arith::Div>::div", "Argument[self,0]", "ReturnValue", "taint", "manual"]
       - ["<_ as core::ops::arith::Div>::div", "Argument[0].Reference", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::arith::Rem>::rem", "Argument[self]", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::arith::Rem>::rem", "Argument[0]", "ReturnValue", "taint", "manual"]
+      - ["<_ as core::ops::arith::Rem>::rem", "Argument[self,0]", "ReturnValue", "taint", "manual"]
       - ["<_ as core::ops::arith::Rem>::rem", "Argument[0].Reference", "ReturnValue", "taint", "manual"]
       # Arithmetic assignment expressions
-      - ["<_ as core::ops::arith::AddAssign>::add_assign", "Argument[self].Reference", "Argument[self].Reference", "taint", "manual"]
+      - ["<_ as core::ops::arith::AddAssign>::add_assign", "Argument[self,0].Reference", "Argument[self].Reference", "taint", "manual"]
       - ["<_ as core::ops::arith::AddAssign>::add_assign", "Argument[0]", "Argument[self].Reference", "taint", "manual"]
-      - ["<_ as core::ops::arith::AddAssign>::add_assign", "Argument[0].Reference", "Argument[self].Reference", "taint", "manual"]
-      - ["<_ as core::ops::arith::SubAssign>::sub_assign", "Argument[self].Reference", "Argument[self].Reference", "taint", "manual"]
+      - ["<_ as core::ops::arith::SubAssign>::sub_assign", "Argument[self,0].Reference", "Argument[self].Reference", "taint", "manual"]
       - ["<_ as core::ops::arith::SubAssign>::sub_assign", "Argument[0]", "Argument[self].Reference", "taint", "manual"]
-      - ["<_ as core::ops::arith::SubAssign>::sub_assign", "Argument[0].Reference", "Argument[self].Reference", "taint", "manual"]
-      - ["<_ as core::ops::arith::MulAssign>::mul_assign", "Argument[self].Reference", "Argument[self].Reference", "taint", "manual"]
+      - ["<_ as core::ops::arith::MulAssign>::mul_assign", "Argument[self,0].Reference", "Argument[self].Reference", "taint", "manual"]
       - ["<_ as core::ops::arith::MulAssign>::mul_assign", "Argument[0]", "Argument[self].Reference", "taint", "manual"]
-      - ["<_ as core::ops::arith::MulAssign>::mul_assign", "Argument[0].Reference", "Argument[self].Reference", "taint", "manual"]
-      - ["<_ as core::ops::arith::DivAssign>::div_assign", "Argument[self].Reference", "Argument[self].Reference", "taint", "manual"]
+      - ["<_ as core::ops::arith::DivAssign>::div_assign", "Argument[self,0].Reference", "Argument[self].Reference", "taint", "manual"]
       - ["<_ as core::ops::arith::DivAssign>::div_assign", "Argument[0]", "Argument[self].Reference", "taint", "manual"]
-      - ["<_ as core::ops::arith::DivAssign>::div_assign", "Argument[0].Reference", "Argument[self].Reference", "taint", "manual"]
-      - ["<_ as core::ops::arith::RemAssign>::rem_assign", "Argument[self].Reference", "Argument[self].Reference", "taint", "manual"]
+      - ["<_ as core::ops::arith::RemAssign>::rem_assign", "Argument[self,0].Reference", "Argument[self].Reference", "taint", "manual"]
       - ["<_ as core::ops::arith::RemAssign>::rem_assign", "Argument[0]", "Argument[self].Reference", "taint", "manual"]
-      - ["<_ as core::ops::arith::RemAssign>::rem_assign", "Argument[0].Reference", "Argument[self].Reference", "taint", "manual"]
       # Bitwise operators
-      - ["<_ as core::ops::bit::BitAnd>::bitand", "Argument[self]", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::bit::BitAnd>::bitand", "Argument[0]", "ReturnValue", "taint", "manual"]
+      - ["<_ as core::ops::bit::BitAnd>::bitand", "Argument[self,0]", "ReturnValue", "taint", "manual"]
       - ["<_ as core::ops::bit::BitAnd>::bitand", "Argument[0].Reference", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::bit::BitOr>::bitor", "Argument[self]", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::bit::BitOr>::bitor", "Argument[0]", "ReturnValue", "taint", "manual"]
+      - ["<_ as core::ops::bit::BitOr>::bitor", "Argument[self,0]", "ReturnValue", "taint", "manual"]
       - ["<_ as core::ops::bit::BitOr>::bitor", "Argument[0].Reference", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::bit::BitXor>::bitxor", "Argument[self]", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::bit::BitXor>::bitxor", "Argument[0]", "ReturnValue", "taint", "manual"]
+      - ["<_ as core::ops::bit::BitXor>::bitxor", "Argument[self,0]", "ReturnValue", "taint", "manual"]
       - ["<_ as core::ops::bit::BitXor>::bitxor", "Argument[0].Reference", "ReturnValue", "taint", "manual"]
       # Bitwise assignment operators
       - ["<_ as core::ops::bit::BitAndAssign>::bitand_assign", "Argument[0]", "Argument[self].Reference", "taint", "manual"]
@@ -63,11 +50,9 @@ extensions:
       - ["<_ as core::ops::bit::BitXorAssign>::bitxor_assign", "Argument[0]", "Argument[self].Reference", "taint", "manual"]
       - ["<_ as core::ops::bit::BitXorAssign>::bitxor_assign", "Argument[0].Reference", "Argument[self].Reference", "taint", "manual"]
       # Shift operators
-      - ["<_ as core::ops::bit::Shl>::shl", "Argument[self]", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::bit::Shl>::shl", "Argument[0]", "ReturnValue", "taint", "manual"]
+      - ["<_ as core::ops::bit::Shl>::shl", "Argument[self,0]", "ReturnValue", "taint", "manual"]
       - ["<_ as core::ops::bit::Shl>::shl", "Argument[0].Reference", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::bit::Shr>::shr", "Argument[self]", "ReturnValue", "taint", "manual"]
-      - ["<_ as core::ops::bit::Shr>::shr", "Argument[0]", "ReturnValue", "taint", "manual"]
+      - ["<_ as core::ops::bit::Shr>::shr", "Argument[self,0]", "ReturnValue", "taint", "manual"]
       - ["<_ as core::ops::bit::Shr>::shr", "Argument[0].Reference", "ReturnValue", "taint", "manual"]
       # Shift assignment operators
       - ["<_ as core::ops::bit::ShlAssign>::shl_assign", "Argument[0]", "Argument[self].Reference", "taint", "manual"]
@@ -156,4 +141,4 @@ extensions:
     data:
       - ["core::ops::range::RangeInclusive::start"]
       - ["core::ops::range::RangeInclusive::end"]
-      - ["core::result::Result::Err(0)"]
\ No newline at end of file
+      - ["core::result::Result::Err(0)"]
diff --git a/rust/ql/test/library-tests/dataflow/taint/inline-taint-flow.expected b/rust/ql/test/library-tests/dataflow/taint/inline-taint-flow.expected
index 447f1c5f7bd1..3f538a7500ed 100644
--- a/rust/ql/test/library-tests/dataflow/taint/inline-taint-flow.expected
+++ b/rust/ql/test/library-tests/dataflow/taint/inline-taint-flow.expected
@@ -1,71 +1,61 @@
 models
 | 1 | Summary: <_ as core::ops::arith::Add>::add; Argument[0].Reference; ReturnValue; taint |
-| 2 | Summary: <_ as core::ops::arith::Add>::add; Argument[0]; ReturnValue; taint |
-| 3 | Summary: <_ as core::ops::arith::Add>::add; Argument[self]; ReturnValue; taint |
-| 4 | Summary: <_ as core::ops::arith::AddAssign>::add_assign; Argument[0].Reference; Argument[self].Reference; taint |
-| 5 | Summary: <_ as core::ops::arith::AddAssign>::add_assign; Argument[0]; Argument[self].Reference; taint |
-| 6 | Summary: <_ as core::ops::arith::AddAssign>::add_assign; Argument[self].Reference; Argument[self].Reference; taint |
-| 7 | Summary: <_ as core::ops::arith::Mul>::mul; Argument[0].Reference; ReturnValue; taint |
-| 8 | Summary: <_ as core::ops::arith::Mul>::mul; Argument[0]; ReturnValue; taint |
-| 9 | Summary: <_ as core::ops::arith::Mul>::mul; Argument[self]; ReturnValue; taint |
-| 10 | Summary: <_ as core::ops::arith::MulAssign>::mul_assign; Argument[0].Reference; Argument[self].Reference; taint |
-| 11 | Summary: <_ as core::ops::arith::MulAssign>::mul_assign; Argument[0]; Argument[self].Reference; taint |
-| 12 | Summary: <_ as core::ops::arith::MulAssign>::mul_assign; Argument[self].Reference; Argument[self].Reference; taint |
-| 13 | Summary: <_ as core::ops::arith::Neg>::neg; Argument[self]; ReturnValue; taint |
-| 14 | Summary: <_ as core::ops::arith::Sub>::sub; Argument[0].Reference; ReturnValue; taint |
-| 15 | Summary: <_ as core::ops::arith::Sub>::sub; Argument[0]; ReturnValue; taint |
-| 16 | Summary: <_ as core::ops::arith::Sub>::sub; Argument[self]; ReturnValue; taint |
-| 17 | Summary: <_ as core::ops::arith::SubAssign>::sub_assign; Argument[0].Reference; Argument[self].Reference; taint |
-| 18 | Summary: <_ as core::ops::arith::SubAssign>::sub_assign; Argument[0]; Argument[self].Reference; taint |
-| 19 | Summary: <_ as core::ops::arith::SubAssign>::sub_assign; Argument[self].Reference; Argument[self].Reference; taint |
-| 20 | Summary: <_ as core::ops::bit::BitOr>::bitor; Argument[0].Reference; ReturnValue; taint |
-| 21 | Summary: <_ as core::ops::bit::BitOr>::bitor; Argument[0]; ReturnValue; taint |
-| 22 | Summary: <_ as core::ops::bit::BitOr>::bitor; Argument[self]; ReturnValue; taint |
-| 23 | Summary: <_ as core::ops::bit::BitXor>::bitxor; Argument[0].Reference; ReturnValue; taint |
-| 24 | Summary: <_ as core::ops::bit::BitXor>::bitxor; Argument[0]; ReturnValue; taint |
-| 25 | Summary: <_ as core::ops::bit::BitXor>::bitxor; Argument[self]; ReturnValue; taint |
-| 26 | Summary: <_ as core::ops::bit::BitXorAssign>::bitxor_assign; Argument[0].Reference; Argument[self].Reference; taint |
-| 27 | Summary: <_ as core::ops::bit::BitXorAssign>::bitxor_assign; Argument[0]; Argument[self].Reference; taint |
-| 28 | Summary: <_ as core::ops::bit::Not>::not; Argument[self]; ReturnValue; taint |
-| 29 | Summary: <_ as core::ops::bit::Shl>::shl; Argument[0].Reference; ReturnValue; taint |
-| 30 | Summary: <_ as core::ops::bit::Shl>::shl; Argument[0]; ReturnValue; taint |
-| 31 | Summary: <_ as core::ops::bit::Shl>::shl; Argument[self]; ReturnValue; taint |
-| 32 | Summary: <_ as core::ops::bit::ShlAssign>::shl_assign; Argument[0].Reference; Argument[self].Reference; taint |
-| 33 | Summary: <_ as core::ops::bit::ShlAssign>::shl_assign; Argument[0]; Argument[self].Reference; taint |
-| 34 | Summary: <_ as core::ops::bit::Shr>::shr; Argument[0].Reference; ReturnValue; taint |
-| 35 | Summary: <_ as core::ops::bit::Shr>::shr; Argument[0]; ReturnValue; taint |
-| 36 | Summary: <_ as core::ops::bit::Shr>::shr; Argument[self]; ReturnValue; taint |
-| 37 | Summary: <_ as core::ops::bit::ShrAssign>::shr_assign; Argument[0].Reference; Argument[self].Reference; taint |
-| 38 | Summary: <_ as core::ops::bit::ShrAssign>::shr_assign; Argument[0]; Argument[self].Reference; taint |
-| 39 | Summary: <_ as core::ops::index::Index>::index; Argument[self].Reference.Element; ReturnValue.Reference; value |
+| 2 | Summary: <_ as core::ops::arith::Add>::add; Argument[self,0]; ReturnValue; taint |
+| 3 | Summary: <_ as core::ops::arith::AddAssign>::add_assign; Argument[0]; Argument[self].Reference; taint |
+| 4 | Summary: <_ as core::ops::arith::AddAssign>::add_assign; Argument[self,0].Reference; Argument[self].Reference; taint |
+| 5 | Summary: <_ as core::ops::arith::Mul>::mul; Argument[0].Reference; ReturnValue; taint |
+| 6 | Summary: <_ as core::ops::arith::Mul>::mul; Argument[self,0]; ReturnValue; taint |
+| 7 | Summary: <_ as core::ops::arith::MulAssign>::mul_assign; Argument[0]; Argument[self].Reference; taint |
+| 8 | Summary: <_ as core::ops::arith::MulAssign>::mul_assign; Argument[self,0].Reference; Argument[self].Reference; taint |
+| 9 | Summary: <_ as core::ops::arith::Neg>::neg; Argument[self]; ReturnValue; taint |
+| 10 | Summary: <_ as core::ops::arith::Sub>::sub; Argument[0].Reference; ReturnValue; taint |
+| 11 | Summary: <_ as core::ops::arith::Sub>::sub; Argument[self,0]; ReturnValue; taint |
+| 12 | Summary: <_ as core::ops::arith::SubAssign>::sub_assign; Argument[0]; Argument[self].Reference; taint |
+| 13 | Summary: <_ as core::ops::arith::SubAssign>::sub_assign; Argument[self,0].Reference; Argument[self].Reference; taint |
+| 14 | Summary: <_ as core::ops::bit::BitOr>::bitor; Argument[0].Reference; ReturnValue; taint |
+| 15 | Summary: <_ as core::ops::bit::BitOr>::bitor; Argument[self,0]; ReturnValue; taint |
+| 16 | Summary: <_ as core::ops::bit::BitXor>::bitxor; Argument[0].Reference; ReturnValue; taint |
+| 17 | Summary: <_ as core::ops::bit::BitXor>::bitxor; Argument[self,0]; ReturnValue; taint |
+| 18 | Summary: <_ as core::ops::bit::BitXorAssign>::bitxor_assign; Argument[0].Reference; Argument[self].Reference; taint |
+| 19 | Summary: <_ as core::ops::bit::BitXorAssign>::bitxor_assign; Argument[0]; Argument[self].Reference; taint |
+| 20 | Summary: <_ as core::ops::bit::Not>::not; Argument[self]; ReturnValue; taint |
+| 21 | Summary: <_ as core::ops::bit::Shl>::shl; Argument[0].Reference; ReturnValue; taint |
+| 22 | Summary: <_ as core::ops::bit::Shl>::shl; Argument[self,0]; ReturnValue; taint |
+| 23 | Summary: <_ as core::ops::bit::ShlAssign>::shl_assign; Argument[0].Reference; Argument[self].Reference; taint |
+| 24 | Summary: <_ as core::ops::bit::ShlAssign>::shl_assign; Argument[0]; Argument[self].Reference; taint |
+| 25 | Summary: <_ as core::ops::bit::Shr>::shr; Argument[0].Reference; ReturnValue; taint |
+| 26 | Summary: <_ as core::ops::bit::Shr>::shr; Argument[self,0]; ReturnValue; taint |
+| 27 | Summary: <_ as core::ops::bit::ShrAssign>::shr_assign; Argument[0].Reference; Argument[self].Reference; taint |
+| 28 | Summary: <_ as core::ops::bit::ShrAssign>::shr_assign; Argument[0]; Argument[self].Reference; taint |
+| 29 | Summary: <_ as core::ops::index::Index>::index; Argument[self].Reference.Element; ReturnValue.Reference; value |
 edges
 | main.rs:12:9:12:9 | a | main.rs:13:10:13:10 | a | provenance |  |
 | main.rs:12:9:12:9 | a | main.rs:14:14:14:14 | a | provenance |  |
 | main.rs:12:13:12:22 | source(...) | main.rs:12:9:12:9 | a | provenance |  |
-| main.rs:13:10:13:10 | a | main.rs:13:10:13:14 | ... + ... | provenance | MaD:3 |
+| main.rs:13:10:13:10 | a | main.rs:13:10:13:14 | ... + ... | provenance | MaD:2 |
 | main.rs:14:14:14:14 | a | main.rs:14:10:14:14 | ... + ... | provenance | MaD:1 |
 | main.rs:14:14:14:14 | a | main.rs:14:10:14:14 | ... + ... | provenance | MaD:2 |
 | main.rs:16:9:16:13 | mut b | main.rs:17:5:17:5 | b | provenance |  |
 | main.rs:16:17:16:26 | source(...) | main.rs:16:9:16:13 | mut b | provenance |  |
-| main.rs:17:5:17:5 | b | main.rs:18:10:18:10 | b | provenance | MaD:6 |
+| main.rs:17:5:17:5 | b | main.rs:18:10:18:10 | b | provenance | MaD:4 |
+| main.rs:21:10:21:19 | source(...) | main.rs:22:10:22:10 | c | provenance | MaD:3 |
 | main.rs:21:10:21:19 | source(...) | main.rs:22:10:22:10 | c | provenance | MaD:4 |
-| main.rs:21:10:21:19 | source(...) | main.rs:22:10:22:10 | c | provenance | MaD:5 |
 | main.rs:26:9:26:9 | a | main.rs:27:11:27:11 | a | provenance |  |
 | main.rs:26:13:26:21 | source(...) | main.rs:26:9:26:9 | a | provenance |  |
-| main.rs:27:11:27:11 | a | main.rs:27:10:27:11 | - ... | provenance | MaD:13 |
-| main.rs:29:11:29:19 | source(...) | main.rs:29:10:29:19 | ! ... | provenance | MaD:28 |
-| main.rs:31:10:31:18 | source(...) | main.rs:31:10:31:22 | ... - ... | provenance | MaD:16 |
-| main.rs:32:17:32:25 | source(...) | main.rs:32:10:32:25 | ... - ... | provenance | MaD:14 |
-| main.rs:32:17:32:25 | source(...) | main.rs:32:10:32:25 | ... - ... | provenance | MaD:15 |
-| main.rs:34:10:34:18 | source(...) | main.rs:34:10:34:22 | ... * ... | provenance | MaD:9 |
-| main.rs:35:17:35:25 | source(...) | main.rs:35:10:35:25 | ... * ... | provenance | MaD:7 |
-| main.rs:35:17:35:25 | source(...) | main.rs:35:10:35:25 | ... * ... | provenance | MaD:8 |
-| main.rs:37:10:37:18 | source(...) | main.rs:37:10:37:23 | ... << ... | provenance | MaD:31 |
-| main.rs:38:18:38:26 | source(...) | main.rs:38:10:38:26 | ... << ... | provenance | MaD:29 |
-| main.rs:38:18:38:26 | source(...) | main.rs:38:10:38:26 | ... << ... | provenance | MaD:30 |
-| main.rs:40:10:40:18 | source(...) | main.rs:40:10:40:22 | ... ^ ... | provenance | MaD:25 |
-| main.rs:41:18:41:27 | source(...) | main.rs:41:10:41:27 | ... ^ ... | provenance | MaD:23 |
-| main.rs:41:18:41:27 | source(...) | main.rs:41:10:41:27 | ... ^ ... | provenance | MaD:24 |
+| main.rs:27:11:27:11 | a | main.rs:27:10:27:11 | - ... | provenance | MaD:9 |
+| main.rs:29:11:29:19 | source(...) | main.rs:29:10:29:19 | ! ... | provenance | MaD:20 |
+| main.rs:31:10:31:18 | source(...) | main.rs:31:10:31:22 | ... - ... | provenance | MaD:11 |
+| main.rs:32:17:32:25 | source(...) | main.rs:32:10:32:25 | ... - ... | provenance | MaD:10 |
+| main.rs:32:17:32:25 | source(...) | main.rs:32:10:32:25 | ... - ... | provenance | MaD:11 |
+| main.rs:34:10:34:18 | source(...) | main.rs:34:10:34:22 | ... * ... | provenance | MaD:6 |
+| main.rs:35:17:35:25 | source(...) | main.rs:35:10:35:25 | ... * ... | provenance | MaD:5 |
+| main.rs:35:17:35:25 | source(...) | main.rs:35:10:35:25 | ... * ... | provenance | MaD:6 |
+| main.rs:37:10:37:18 | source(...) | main.rs:37:10:37:23 | ... << ... | provenance | MaD:22 |
+| main.rs:38:18:38:26 | source(...) | main.rs:38:10:38:26 | ... << ... | provenance | MaD:21 |
+| main.rs:38:18:38:26 | source(...) | main.rs:38:10:38:26 | ... << ... | provenance | MaD:22 |
+| main.rs:40:10:40:18 | source(...) | main.rs:40:10:40:22 | ... ^ ... | provenance | MaD:17 |
+| main.rs:41:18:41:27 | source(...) | main.rs:41:10:41:27 | ... ^ ... | provenance | MaD:16 |
+| main.rs:41:18:41:27 | source(...) | main.rs:41:10:41:27 | ... ^ ... | provenance | MaD:17 |
 | main.rs:45:9:45:9 | a | main.rs:46:9:46:9 | b | provenance |  |
 | main.rs:45:13:45:22 | source(...) | main.rs:45:9:45:9 | a | provenance |  |
 | main.rs:46:9:46:9 | b | main.rs:47:10:47:17 | b as i64 | provenance |  |
@@ -74,11 +64,11 @@ edges
 | main.rs:60:17:60:26 | source(...) | main.rs:60:13:60:13 | s | provenance |  |
 | main.rs:61:13:61:18 | sliced [&ref] | main.rs:62:14:62:19 | sliced | provenance |  |
 | main.rs:61:22:61:29 | &... [&ref] | main.rs:61:13:61:18 | sliced [&ref] | provenance |  |
-| main.rs:61:23:61:23 | s | main.rs:61:23:61:29 | s[...] | provenance | MaD:39 |
+| main.rs:61:23:61:23 | s | main.rs:61:23:61:29 | s[...] | provenance | MaD:29 |
 | main.rs:61:23:61:29 | s[...] | main.rs:61:22:61:29 | &... [&ref] | provenance |  |
 | main.rs:76:13:76:15 | arr | main.rs:77:14:77:16 | arr | provenance |  |
 | main.rs:76:19:76:28 | source(...) | main.rs:76:13:76:15 | arr | provenance |  |
-| main.rs:77:14:77:16 | arr | main.rs:77:14:77:19 | arr[1] | provenance | MaD:39 |
+| main.rs:77:14:77:16 | arr | main.rs:77:14:77:19 | arr[1] | provenance | MaD:29 |
 | main.rs:92:9:92:12 | [post] arr2 [element] | main.rs:93:14:93:17 | arr2 | provenance |  |
 | main.rs:92:19:92:28 | source(...) | main.rs:92:9:92:12 | [post] arr2 [element] | provenance |  |
 | main.rs:113:14:113:47 | TupleExpr [tuple.0] | main.rs:113:14:113:49 | ... .0 | provenance |  |
@@ -97,61 +87,61 @@ edges
 | main.rs:131:14:131:64 | TupleExpr [tuple.0] | main.rs:131:14:131:66 | ... .0 | provenance |  |
 | main.rs:131:14:131:66 | ... .0 | main.rs:131:14:131:68 | ... .1 | provenance |  |
 | main.rs:131:15:131:29 | source_tuple(...) | main.rs:131:14:131:64 | TupleExpr [tuple.0] | provenance |  |
-| main.rs:141:10:141:18 | source(...) | main.rs:141:10:141:28 | ... .add(...) | provenance | MaD:3 |
+| main.rs:141:10:141:18 | source(...) | main.rs:141:10:141:28 | ... .add(...) | provenance | MaD:2 |
 | main.rs:143:19:143:27 | source(...) | main.rs:143:10:143:28 | 1i64.add(...) | provenance | MaD:1 |
 | main.rs:143:19:143:27 | source(...) | main.rs:143:10:143:28 | 1i64.add(...) | provenance | MaD:2 |
-| main.rs:146:10:146:18 | source(...) | main.rs:146:10:146:28 | ... .sub(...) | provenance | MaD:16 |
-| main.rs:148:19:148:27 | source(...) | main.rs:148:10:148:28 | 1i64.sub(...) | provenance | MaD:14 |
-| main.rs:148:19:148:27 | source(...) | main.rs:148:10:148:28 | 1i64.sub(...) | provenance | MaD:15 |
-| main.rs:151:10:151:18 | source(...) | main.rs:151:10:151:28 | ... .mul(...) | provenance | MaD:9 |
-| main.rs:153:19:153:27 | source(...) | main.rs:153:10:153:28 | 1i64.mul(...) | provenance | MaD:7 |
-| main.rs:153:19:153:27 | source(...) | main.rs:153:10:153:28 | 1i64.mul(...) | provenance | MaD:8 |
-| main.rs:156:10:156:18 | source(...) | main.rs:156:10:156:28 | ... .shl(...) | provenance | MaD:31 |
-| main.rs:157:10:157:18 | source(...) | main.rs:157:10:157:25 | ... .shl(...) | provenance | MaD:31 |
-| main.rs:158:19:158:27 | source(...) | main.rs:158:10:158:28 | 1i64.shl(...) | provenance | MaD:29 |
-| main.rs:158:19:158:27 | source(...) | main.rs:158:10:158:28 | 1i64.shl(...) | provenance | MaD:30 |
-| main.rs:160:10:160:18 | source(...) | main.rs:160:10:160:28 | ... .shr(...) | provenance | MaD:36 |
-| main.rs:161:10:161:18 | source(...) | main.rs:161:10:161:25 | ... .shr(...) | provenance | MaD:36 |
-| main.rs:162:19:162:27 | source(...) | main.rs:162:10:162:28 | 1i64.shr(...) | provenance | MaD:34 |
-| main.rs:162:19:162:27 | source(...) | main.rs:162:10:162:28 | 1i64.shr(...) | provenance | MaD:35 |
-| main.rs:164:10:164:18 | source(...) | main.rs:164:10:164:30 | ... .bitor(...) | provenance | MaD:22 |
-| main.rs:166:21:166:29 | source(...) | main.rs:166:10:166:30 | 1i64.bitor(...) | provenance | MaD:20 |
-| main.rs:166:21:166:29 | source(...) | main.rs:166:10:166:30 | 1i64.bitor(...) | provenance | MaD:21 |
+| main.rs:146:10:146:18 | source(...) | main.rs:146:10:146:28 | ... .sub(...) | provenance | MaD:11 |
+| main.rs:148:19:148:27 | source(...) | main.rs:148:10:148:28 | 1i64.sub(...) | provenance | MaD:10 |
+| main.rs:148:19:148:27 | source(...) | main.rs:148:10:148:28 | 1i64.sub(...) | provenance | MaD:11 |
+| main.rs:151:10:151:18 | source(...) | main.rs:151:10:151:28 | ... .mul(...) | provenance | MaD:6 |
+| main.rs:153:19:153:27 | source(...) | main.rs:153:10:153:28 | 1i64.mul(...) | provenance | MaD:5 |
+| main.rs:153:19:153:27 | source(...) | main.rs:153:10:153:28 | 1i64.mul(...) | provenance | MaD:6 |
+| main.rs:156:10:156:18 | source(...) | main.rs:156:10:156:28 | ... .shl(...) | provenance | MaD:22 |
+| main.rs:157:10:157:18 | source(...) | main.rs:157:10:157:25 | ... .shl(...) | provenance | MaD:22 |
+| main.rs:158:19:158:27 | source(...) | main.rs:158:10:158:28 | 1i64.shl(...) | provenance | MaD:21 |
+| main.rs:158:19:158:27 | source(...) | main.rs:158:10:158:28 | 1i64.shl(...) | provenance | MaD:22 |
+| main.rs:160:10:160:18 | source(...) | main.rs:160:10:160:28 | ... .shr(...) | provenance | MaD:26 |
+| main.rs:161:10:161:18 | source(...) | main.rs:161:10:161:25 | ... .shr(...) | provenance | MaD:26 |
+| main.rs:162:19:162:27 | source(...) | main.rs:162:10:162:28 | 1i64.shr(...) | provenance | MaD:25 |
+| main.rs:162:19:162:27 | source(...) | main.rs:162:10:162:28 | 1i64.shr(...) | provenance | MaD:26 |
+| main.rs:164:10:164:18 | source(...) | main.rs:164:10:164:30 | ... .bitor(...) | provenance | MaD:15 |
+| main.rs:166:21:166:29 | source(...) | main.rs:166:10:166:30 | 1i64.bitor(...) | provenance | MaD:14 |
+| main.rs:166:21:166:29 | source(...) | main.rs:166:10:166:30 | 1i64.bitor(...) | provenance | MaD:15 |
 | main.rs:170:5:170:5 | [post] a | main.rs:171:5:171:5 | a | provenance |  |
 | main.rs:170:5:170:5 | [post] a | main.rs:172:5:172:5 | a | provenance |  |
 | main.rs:170:5:170:5 | [post] a | main.rs:176:10:176:10 | a | provenance |  |
+| main.rs:170:18:170:26 | source(...) | main.rs:170:5:170:5 | [post] a | provenance | MaD:3 |
 | main.rs:170:18:170:26 | source(...) | main.rs:170:5:170:5 | [post] a | provenance | MaD:4 |
-| main.rs:170:18:170:26 | source(...) | main.rs:170:5:170:5 | [post] a | provenance | MaD:5 |
 | main.rs:171:5:171:5 | [post] a | main.rs:172:5:172:5 | a | provenance |  |
 | main.rs:171:5:171:5 | [post] a | main.rs:176:10:176:10 | a | provenance |  |
-| main.rs:171:5:171:5 | a | main.rs:171:5:171:5 | [post] a | provenance | MaD:19 |
-| main.rs:171:18:171:26 | source(...) | main.rs:171:5:171:5 | [post] a | provenance | MaD:17 |
-| main.rs:171:18:171:26 | source(...) | main.rs:171:5:171:5 | [post] a | provenance | MaD:18 |
+| main.rs:171:5:171:5 | a | main.rs:171:5:171:5 | [post] a | provenance | MaD:13 |
+| main.rs:171:18:171:26 | source(...) | main.rs:171:5:171:5 | [post] a | provenance | MaD:12 |
+| main.rs:171:18:171:26 | source(...) | main.rs:171:5:171:5 | [post] a | provenance | MaD:13 |
 | main.rs:172:5:172:5 | [post] a | main.rs:176:10:176:10 | a | provenance |  |
-| main.rs:172:5:172:5 | a | main.rs:172:5:172:5 | [post] a | provenance | MaD:12 |
-| main.rs:172:18:172:26 | source(...) | main.rs:172:5:172:5 | [post] a | provenance | MaD:10 |
-| main.rs:172:18:172:26 | source(...) | main.rs:172:5:172:5 | [post] a | provenance | MaD:11 |
+| main.rs:172:5:172:5 | a | main.rs:172:5:172:5 | [post] a | provenance | MaD:8 |
+| main.rs:172:18:172:26 | source(...) | main.rs:172:5:172:5 | [post] a | provenance | MaD:7 |
+| main.rs:172:18:172:26 | source(...) | main.rs:172:5:172:5 | [post] a | provenance | MaD:8 |
 | main.rs:173:5:173:5 | [post] a | main.rs:176:10:176:10 | a | provenance |  |
-| main.rs:173:18:173:26 | source(...) | main.rs:173:5:173:5 | [post] a | provenance | MaD:32 |
-| main.rs:173:18:173:26 | source(...) | main.rs:173:5:173:5 | [post] a | provenance | MaD:33 |
+| main.rs:173:18:173:26 | source(...) | main.rs:173:5:173:5 | [post] a | provenance | MaD:23 |
+| main.rs:173:18:173:26 | source(...) | main.rs:173:5:173:5 | [post] a | provenance | MaD:24 |
 | main.rs:174:5:174:5 | [post] a | main.rs:176:10:176:10 | a | provenance |  |
-| main.rs:174:18:174:26 | source(...) | main.rs:174:5:174:5 | [post] a | provenance | MaD:37 |
-| main.rs:174:18:174:26 | source(...) | main.rs:174:5:174:5 | [post] a | provenance | MaD:38 |
+| main.rs:174:18:174:26 | source(...) | main.rs:174:5:174:5 | [post] a | provenance | MaD:27 |
+| main.rs:174:18:174:26 | source(...) | main.rs:174:5:174:5 | [post] a | provenance | MaD:28 |
 | main.rs:175:5:175:5 | [post] a | main.rs:176:10:176:10 | a | provenance |  |
-| main.rs:175:21:175:29 | source(...) | main.rs:175:5:175:5 | [post] a | provenance | MaD:26 |
-| main.rs:175:21:175:29 | source(...) | main.rs:175:5:175:5 | [post] a | provenance | MaD:27 |
-| main.rs:178:10:178:18 | source(...) | main.rs:178:10:178:24 | ... .neg() | provenance | MaD:13 |
-| main.rs:179:10:179:18 | source(...) | main.rs:179:10:179:24 | ... .not() | provenance | MaD:28 |
+| main.rs:175:21:175:29 | source(...) | main.rs:175:5:175:5 | [post] a | provenance | MaD:18 |
+| main.rs:175:21:175:29 | source(...) | main.rs:175:5:175:5 | [post] a | provenance | MaD:19 |
+| main.rs:178:10:178:18 | source(...) | main.rs:178:10:178:24 | ... .neg() | provenance | MaD:9 |
+| main.rs:179:10:179:18 | source(...) | main.rs:179:10:179:24 | ... .not() | provenance | MaD:20 |
 | main.rs:196:9:196:9 | [post] a | main.rs:197:9:197:9 | a | provenance |  |
 | main.rs:196:9:196:9 | [post] a | main.rs:198:9:198:9 | a | provenance |  |
+| main.rs:196:22:196:30 | source(...) | main.rs:196:9:196:9 | [post] a | provenance | MaD:3 |
 | main.rs:196:22:196:30 | source(...) | main.rs:196:9:196:9 | [post] a | provenance | MaD:4 |
-| main.rs:196:22:196:30 | source(...) | main.rs:196:9:196:9 | [post] a | provenance | MaD:5 |
 | main.rs:197:9:197:9 | [post] a | main.rs:198:9:198:9 | a | provenance |  |
-| main.rs:197:9:197:9 | a | main.rs:197:9:197:9 | [post] a | provenance | MaD:6 |
-| main.rs:198:9:198:9 | a | main.rs:199:9:199:9 | a | provenance | MaD:6 |
+| main.rs:197:9:197:9 | a | main.rs:197:9:197:9 | [post] a | provenance | MaD:4 |
+| main.rs:198:9:198:9 | a | main.rs:199:9:199:9 | a | provenance | MaD:4 |
+| main.rs:198:14:198:22 | source(...) | main.rs:199:9:199:9 | a | provenance | MaD:3 |
 | main.rs:198:14:198:22 | source(...) | main.rs:199:9:199:9 | a | provenance | MaD:4 |
-| main.rs:198:14:198:22 | source(...) | main.rs:199:9:199:9 | a | provenance | MaD:5 |
-| main.rs:199:9:199:9 | a | main.rs:200:14:200:14 | a | provenance | MaD:6 |
+| main.rs:199:9:199:9 | a | main.rs:200:14:200:14 | a | provenance | MaD:4 |
 nodes
 | main.rs:12:9:12:9 | a | semmle.label | a |
 | main.rs:12:13:12:22 | source(...) | semmle.label | source(...) |

From ff6e598f72dd8ea475d75eb442a6e42e456546b7 Mon Sep 17 00:00:00 2001
From: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
Date: Mon, 19 Jan 2026 16:09:20 +0000
Subject: [PATCH 4/4] Rust: Annotate failures with explanation.

---
 rust/ql/test/library-tests/dataflow/taint/main.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/rust/ql/test/library-tests/dataflow/taint/main.rs b/rust/ql/test/library-tests/dataflow/taint/main.rs
index 35a6271d2f1b..3c54d7063055 100644
--- a/rust/ql/test/library-tests/dataflow/taint/main.rs
+++ b/rust/ql/test/library-tests/dataflow/taint/main.rs
@@ -139,7 +139,7 @@ use std::ops::{Add, Sub, Mul, Shl, Shr, BitOr, AddAssign, SubAssign, MulAssign,
 
 fn std_ops() {
     sink(source(1).add(2i64)); // $ hasTaintFlow=1
-    sink(source(1).add(2)); // $ MISSING: hasTaintFlow=1
+    sink(source(1).add(2)); // $ MISSING: hasTaintFlow=1 --- the missing results here are due to failing to resolve targets for `add` etc where there's no explicit type
     sink(1i64.add(source(2))); // $ hasTaintFlow=2
     sink(1.add(source(2))); // $ MISSING: hasTaintFlow=2
 
@@ -197,7 +197,7 @@ mod wrapping {
         a.add_assign(Wrapping(crate::source(3)));
         a += source(4);
         a += std::num::Wrapping(crate::source(5));
-        sink(a); // $ hasTaintFlow=2 hasTaintFlow=4 MISSING: hasTaintFlow=3 hasTaintFlow=5
+        sink(a); // $ hasTaintFlow=2 hasTaintFlow=4 MISSING: hasTaintFlow=3 hasTaintFlow=5 --- we don't currently find any `Call`s for `Wrapping` above
     }
 }