codeql/rust/ql/test/library-tests/dataflow/taint/inline-taint-flow.expected

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 |
| 7 | Summary: <core::i64 as core::ops::arith::Neg>::neg; Argument[self]; ReturnValue; taint |
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:26:11:26:11 | a | main.rs:26:10:26:11 | - ... | provenance | MaD:7 |
| 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 |  |
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 |
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(...) |