hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 08:45:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Add a comment to clearify test

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-02-11 12:52:55 +01:00
parent 6e99087b40
commit efb5b9b27c
2 changed files with 165 additions and 164 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
rust/ql/test/library-tests/dataflow/models/main.rs
View File

@@ -203,6 +203,7 @@ fn test_apply_flow_through() {
sink(t); // $ hasValueFlow=33
}
// has a flow model with value flow from argument to returned future
async fn get_async_number(a: i64) -> i64 {
37
}

328
rust/ql/test/library-tests/dataflow/models/models.expected
View File

@@ -178,74 +178,74 @@ edges
| main.rs:202:19:202:19 | s | main.rs:201:14:201:14 | ... | provenance | MaD:7 |
| main.rs:202:19:202:19 | s | main.rs:202:13:202:23 | apply(...) | provenance | MaD:7 |
| main.rs:202:19:202:19 | s | main.rs:202:13:202:23 | apply(...) | provenance | MaD:7 |
| main.rs:211:9:211:9 | s | main.rs:212:30:212:30 | s | provenance | |
| main.rs:211:9:211:9 | s | main.rs:212:30:212:30 | s | provenance | |
| main.rs:211:13:211:22 | source(...) | main.rs:211:9:211:9 | s | provenance | |
| main.rs:211:13:211:22 | source(...) | main.rs:211:9:211:9 | s | provenance | |
| main.rs:212:9:212:9 | t | main.rs:213:10:213:10 | t | provenance | |
| main.rs:212:9:212:9 | t | main.rs:213:10:213:10 | t | provenance | |
| main.rs:212:13:212:31 | get_async_number(...) [future] | main.rs:212:13:212:37 | await ... | provenance | |
| main.rs:212:13:212:31 | get_async_number(...) [future] | main.rs:212:13:212:37 | await ... | provenance | |
| main.rs:212:13:212:37 | await ... | main.rs:212:9:212:9 | t | provenance | |
| main.rs:212:13:212:37 | await ... | main.rs:212:9:212:9 | t | provenance | |
| main.rs:212:30:212:30 | s | main.rs:212:13:212:31 | get_async_number(...) [future] | provenance | MaD:11 |
| main.rs:212:30:212:30 | s | main.rs:212:13:212:31 | get_async_number(...) [future] | provenance | MaD:11 |
| main.rs:232:9:232:9 | s [D] | main.rs:233:11:233:11 | s [D] | provenance | |
| main.rs:232:9:232:9 | s [D] | main.rs:233:11:233:11 | s [D] | provenance | |
| main.rs:232:13:232:23 | enum_source | main.rs:232:13:232:27 | enum_source(...) [D] | provenance | Src:MaD:5 |
| main.rs:232:13:232:23 | enum_source | main.rs:232:13:232:27 | enum_source(...) [D] | provenance | Src:MaD:5 |
| main.rs:232:13:232:27 | enum_source(...) [D] | main.rs:232:9:232:9 | s [D] | provenance | |
| main.rs:232:13:232:27 | enum_source(...) [D] | main.rs:232:9:232:9 | s [D] | provenance | |
| main.rs:233:11:233:11 | s [D] | main.rs:235:9:235:37 | ...::D {...} [D] | provenance | |
| main.rs:233:11:233:11 | s [D] | main.rs:235:9:235:37 | ...::D {...} [D] | provenance | |
| main.rs:235:9:235:37 | ...::D {...} [D] | main.rs:235:35:235:35 | i | provenance | |
| main.rs:235:9:235:37 | ...::D {...} [D] | main.rs:235:35:235:35 | i | provenance | |
| main.rs:235:35:235:35 | i | main.rs:235:47:235:47 | i | provenance | |
| main.rs:235:35:235:35 | i | main.rs:235:47:235:47 | i | provenance | |
| main.rs:241:9:241:9 | s [C] | main.rs:242:11:242:11 | s [C] | provenance | |
| main.rs:241:9:241:9 | s [C] | main.rs:242:11:242:11 | s [C] | provenance | |
| main.rs:241:13:241:24 | e.source(...) [C] | main.rs:241:9:241:9 | s [C] | provenance | |
| main.rs:241:13:241:24 | e.source(...) [C] | main.rs:241:9:241:9 | s [C] | provenance | |
| main.rs:241:15:241:20 | source | main.rs:241:13:241:24 | e.source(...) [C] | provenance | Src:MaD:4 |
| main.rs:241:15:241:20 | source | main.rs:241:13:241:24 | e.source(...) [C] | provenance | Src:MaD:4 |
| main.rs:242:11:242:11 | s [C] | main.rs:243:9:243:37 | ...::C {...} [C] | provenance | |
| main.rs:242:11:242:11 | s [C] | main.rs:243:9:243:37 | ...::C {...} [C] | provenance | |
| main.rs:243:9:243:37 | ...::C {...} [C] | main.rs:243:35:243:35 | i | provenance | |
| main.rs:243:9:243:37 | ...::C {...} [C] | main.rs:243:35:243:35 | i | provenance | |
| main.rs:243:35:243:35 | i | main.rs:243:47:243:47 | i | provenance | |
| main.rs:243:35:243:35 | i | main.rs:243:47:243:47 | i | provenance | |
| main.rs:252:9:252:9 | s | main.rs:253:41:253:41 | s | provenance | |
| main.rs:252:9:252:9 | s | main.rs:253:41:253:41 | s | provenance | |
| main.rs:252:13:252:22 | source(...) | main.rs:252:9:252:9 | s | provenance | |
| main.rs:252:13:252:22 | source(...) | main.rs:252:9:252:9 | s | provenance | |
| main.rs:253:15:253:43 | ...::C {...} [C] | main.rs:253:5:253:13 | enum_sink | provenance | MaD:2 Sink:MaD:2 |
| main.rs:253:15:253:43 | ...::C {...} [C] | main.rs:253:5:253:13 | enum_sink | provenance | MaD:2 Sink:MaD:2 |
| main.rs:253:41:253:41 | s | main.rs:253:15:253:43 | ...::C {...} [C] | provenance | |
| main.rs:253:41:253:41 | s | main.rs:253:15:253:43 | ...::C {...} [C] | provenance | |
| main.rs:258:9:258:9 | s | main.rs:259:39:259:39 | s | provenance | |
| main.rs:258:9:258:9 | s | main.rs:259:39:259:39 | s | provenance | |
| main.rs:258:13:258:22 | source(...) | main.rs:258:9:258:9 | s | provenance | |
| main.rs:258:13:258:22 | source(...) | main.rs:258:9:258:9 | s | provenance | |
| main.rs:259:9:259:9 | e [D] | main.rs:260:5:260:5 | e [D] | provenance | |
| main.rs:259:9:259:9 | e [D] | main.rs:260:5:260:5 | e [D] | provenance | |
| main.rs:259:13:259:41 | ...::D {...} [D] | main.rs:259:9:259:9 | e [D] | provenance | |
| main.rs:259:13:259:41 | ...::D {...} [D] | main.rs:259:9:259:9 | e [D] | provenance | |
| main.rs:259:39:259:39 | s | main.rs:259:13:259:41 | ...::D {...} [D] | provenance | |
| main.rs:259:39:259:39 | s | main.rs:259:13:259:41 | ...::D {...} [D] | provenance | |
| main.rs:260:5:260:5 | e [D] | main.rs:260:7:260:10 | sink | provenance | MaD:1 Sink:MaD:1 |
| main.rs:260:5:260:5 | e [D] | main.rs:260:7:260:10 | sink | provenance | MaD:1 Sink:MaD:1 |
| main.rs:269:9:269:9 | s | main.rs:270:10:270:10 | s | provenance | |
| main.rs:269:9:269:9 | s | main.rs:270:10:270:10 | s | provenance | |
| main.rs:269:13:269:25 | simple_source | main.rs:269:13:269:29 | simple_source(...) | provenance | Src:MaD:6 MaD:6 |
| main.rs:269:13:269:25 | simple_source | main.rs:269:13:269:29 | simple_source(...) | provenance | Src:MaD:6 MaD:6 |
| main.rs:269:13:269:29 | simple_source(...) | main.rs:269:9:269:9 | s | provenance | |
| main.rs:269:13:269:29 | simple_source(...) | main.rs:269:9:269:9 | s | provenance | |
| main.rs:277:9:277:9 | s | main.rs:278:17:278:17 | s | provenance | |
| main.rs:277:9:277:9 | s | main.rs:278:17:278:17 | s | provenance | |
| main.rs:277:13:277:22 | source(...) | main.rs:277:9:277:9 | s | provenance | |
| main.rs:277:13:277:22 | source(...) | main.rs:277:9:277:9 | s | provenance | |
| main.rs:278:17:278:17 | s | main.rs:278:5:278:15 | simple_sink | provenance | MaD:3 Sink:MaD:3 |
| main.rs:278:17:278:17 | s | main.rs:278:5:278:15 | simple_sink | provenance | MaD:3 Sink:MaD:3 |
| main.rs:212:9:212:9 | s | main.rs:213:30:213:30 | s | provenance | |
| main.rs:212:9:212:9 | s | main.rs:213:30:213:30 | s | provenance | |
| main.rs:212:13:212:22 | source(...) | main.rs:212:9:212:9 | s | provenance | |
| main.rs:212:13:212:22 | source(...) | main.rs:212:9:212:9 | s | provenance | |
| main.rs:213:9:213:9 | t | main.rs:214:10:214:10 | t | provenance | |
| main.rs:213:9:213:9 | t | main.rs:214:10:214:10 | t | provenance | |
| main.rs:213:13:213:31 | get_async_number(...) [future] | main.rs:213:13:213:37 | await ... | provenance | |
| main.rs:213:13:213:31 | get_async_number(...) [future] | main.rs:213:13:213:37 | await ... | provenance | |
| main.rs:213:13:213:37 | await ... | main.rs:213:9:213:9 | t | provenance | |
| main.rs:213:13:213:37 | await ... | main.rs:213:9:213:9 | t | provenance | |
| main.rs:213:30:213:30 | s | main.rs:213:13:213:31 | get_async_number(...) [future] | provenance | MaD:11 |
| main.rs:213:30:213:30 | s | main.rs:213:13:213:31 | get_async_number(...) [future] | provenance | MaD:11 |
| main.rs:233:9:233:9 | s [D] | main.rs:234:11:234:11 | s [D] | provenance | |
| main.rs:233:9:233:9 | s [D] | main.rs:234:11:234:11 | s [D] | provenance | |
| main.rs:233:13:233:23 | enum_source | main.rs:233:13:233:27 | enum_source(...) [D] | provenance | Src:MaD:5 |
| main.rs:233:13:233:23 | enum_source | main.rs:233:13:233:27 | enum_source(...) [D] | provenance | Src:MaD:5 |
| main.rs:233:13:233:27 | enum_source(...) [D] | main.rs:233:9:233:9 | s [D] | provenance | |
| main.rs:233:13:233:27 | enum_source(...) [D] | main.rs:233:9:233:9 | s [D] | provenance | |
| main.rs:234:11:234:11 | s [D] | main.rs:236:9:236:37 | ...::D {...} [D] | provenance | |
| main.rs:234:11:234:11 | s [D] | main.rs:236:9:236:37 | ...::D {...} [D] | provenance | |
| main.rs:236:9:236:37 | ...::D {...} [D] | main.rs:236:35:236:35 | i | provenance | |
| main.rs:236:9:236:37 | ...::D {...} [D] | main.rs:236:35:236:35 | i | provenance | |
| main.rs:236:35:236:35 | i | main.rs:236:47:236:47 | i | provenance | |
| main.rs:236:35:236:35 | i | main.rs:236:47:236:47 | i | provenance | |
| main.rs:242:9:242:9 | s [C] | main.rs:243:11:243:11 | s [C] | provenance | |
| main.rs:242:9:242:9 | s [C] | main.rs:243:11:243:11 | s [C] | provenance | |
| main.rs:242:13:242:24 | e.source(...) [C] | main.rs:242:9:242:9 | s [C] | provenance | |
| main.rs:242:13:242:24 | e.source(...) [C] | main.rs:242:9:242:9 | s [C] | provenance | |
| main.rs:242:15:242:20 | source | main.rs:242:13:242:24 | e.source(...) [C] | provenance | Src:MaD:4 |
| main.rs:242:15:242:20 | source | main.rs:242:13:242:24 | e.source(...) [C] | provenance | Src:MaD:4 |
| main.rs:243:11:243:11 | s [C] | main.rs:244:9:244:37 | ...::C {...} [C] | provenance | |
| main.rs:243:11:243:11 | s [C] | main.rs:244:9:244:37 | ...::C {...} [C] | provenance | |
| main.rs:244:9:244:37 | ...::C {...} [C] | main.rs:244:35:244:35 | i | provenance | |
| main.rs:244:9:244:37 | ...::C {...} [C] | main.rs:244:35:244:35 | i | provenance | |
| main.rs:244:35:244:35 | i | main.rs:244:47:244:47 | i | provenance | |
| main.rs:244:35:244:35 | i | main.rs:244:47:244:47 | i | provenance | |
| main.rs:253:9:253:9 | s | main.rs:254:41:254:41 | s | provenance | |
| main.rs:253:9:253:9 | s | main.rs:254:41:254:41 | s | provenance | |
| main.rs:253:13:253:22 | source(...) | main.rs:253:9:253:9 | s | provenance | |
| main.rs:253:13:253:22 | source(...) | main.rs:253:9:253:9 | s | provenance | |
| main.rs:254:15:254:43 | ...::C {...} [C] | main.rs:254:5:254:13 | enum_sink | provenance | MaD:2 Sink:MaD:2 |
| main.rs:254:15:254:43 | ...::C {...} [C] | main.rs:254:5:254:13 | enum_sink | provenance | MaD:2 Sink:MaD:2 |
| main.rs:254:41:254:41 | s | main.rs:254:15:254:43 | ...::C {...} [C] | provenance | |
| main.rs:254:41:254:41 | s | main.rs:254:15:254:43 | ...::C {...} [C] | provenance | |
| main.rs:259:9:259:9 | s | main.rs:260:39:260:39 | s | provenance | |
| main.rs:259:9:259:9 | s | main.rs:260:39:260:39 | s | provenance | |
| main.rs:259:13:259:22 | source(...) | main.rs:259:9:259:9 | s | provenance | |
| main.rs:259:13:259:22 | source(...) | main.rs:259:9:259:9 | s | provenance | |
| main.rs:260:9:260:9 | e [D] | main.rs:261:5:261:5 | e [D] | provenance | |
| main.rs:260:9:260:9 | e [D] | main.rs:261:5:261:5 | e [D] | provenance | |
| main.rs:260:13:260:41 | ...::D {...} [D] | main.rs:260:9:260:9 | e [D] | provenance | |
| main.rs:260:13:260:41 | ...::D {...} [D] | main.rs:260:9:260:9 | e [D] | provenance | |
| main.rs:260:39:260:39 | s | main.rs:260:13:260:41 | ...::D {...} [D] | provenance | |
| main.rs:260:39:260:39 | s | main.rs:260:13:260:41 | ...::D {...} [D] | provenance | |
| main.rs:261:5:261:5 | e [D] | main.rs:261:7:261:10 | sink | provenance | MaD:1 Sink:MaD:1 |
| main.rs:261:5:261:5 | e [D] | main.rs:261:7:261:10 | sink | provenance | MaD:1 Sink:MaD:1 |
| main.rs:270:9:270:9 | s | main.rs:271:10:271:10 | s | provenance | |
| main.rs:270:9:270:9 | s | main.rs:271:10:271:10 | s | provenance | |
| main.rs:270:13:270:25 | simple_source | main.rs:270:13:270:29 | simple_source(...) | provenance | Src:MaD:6 MaD:6 |
| main.rs:270:13:270:25 | simple_source | main.rs:270:13:270:29 | simple_source(...) | provenance | Src:MaD:6 MaD:6 |
| main.rs:270:13:270:29 | simple_source(...) | main.rs:270:9:270:9 | s | provenance | |
| main.rs:270:13:270:29 | simple_source(...) | main.rs:270:9:270:9 | s | provenance | |
| main.rs:278:9:278:9 | s | main.rs:279:17:279:17 | s | provenance | |
| main.rs:278:9:278:9 | s | main.rs:279:17:279:17 | s | provenance | |
| main.rs:278:13:278:22 | source(...) | main.rs:278:9:278:9 | s | provenance | |
| main.rs:278:13:278:22 | source(...) | main.rs:278:9:278:9 | s | provenance | |
| main.rs:279:17:279:17 | s | main.rs:279:5:279:15 | simple_sink | provenance | MaD:3 Sink:MaD:3 |
| main.rs:279:17:279:17 | s | main.rs:279:5:279:15 | simple_sink | provenance | MaD:3 Sink:MaD:3 |
nodes
| main.rs:15:9:15:9 | s | semmle.label | s |
| main.rs:15:9:15:9 | s | semmle.label | s |
@@ -429,88 +429,88 @@ nodes
| main.rs:202:19:202:19 | s | semmle.label | s |
| main.rs:203:10:203:10 | t | semmle.label | t |
| main.rs:203:10:203:10 | t | semmle.label | t |
| main.rs:211:9:211:9 | s | semmle.label | s |
| main.rs:211:9:211:9 | s | semmle.label | s |
| main.rs:211:13:211:22 | source(...) | semmle.label | source(...) |
| main.rs:211:13:211:22 | source(...) | semmle.label | source(...) |
| main.rs:212:9:212:9 | t | semmle.label | t |
| main.rs:212:9:212:9 | t | semmle.label | t |
| main.rs:212:13:212:31 | get_async_number(...) [future] | semmle.label | get_async_number(...) [future] |
| main.rs:212:13:212:31 | get_async_number(...) [future] | semmle.label | get_async_number(...) [future] |
| main.rs:212:13:212:37 | await ... | semmle.label | await ... |
| main.rs:212:13:212:37 | await ... | semmle.label | await ... |
| main.rs:212:30:212:30 | s | semmle.label | s |
| main.rs:212:30:212:30 | s | semmle.label | s |
| main.rs:213:10:213:10 | t | semmle.label | t |
| main.rs:213:10:213:10 | t | semmle.label | t |
| main.rs:232:9:232:9 | s [D] | semmle.label | s [D] |
| main.rs:232:9:232:9 | s [D] | semmle.label | s [D] |
| main.rs:232:13:232:23 | enum_source | semmle.label | enum_source |
| main.rs:232:13:232:23 | enum_source | semmle.label | enum_source |
| main.rs:232:13:232:27 | enum_source(...) [D] | semmle.label | enum_source(...) [D] |
| main.rs:232:13:232:27 | enum_source(...) [D] | semmle.label | enum_source(...) [D] |
| main.rs:233:11:233:11 | s [D] | semmle.label | s [D] |
| main.rs:233:11:233:11 | s [D] | semmle.label | s [D] |
| main.rs:235:9:235:37 | ...::D {...} [D] | semmle.label | ...::D {...} [D] |
| main.rs:235:9:235:37 | ...::D {...} [D] | semmle.label | ...::D {...} [D] |
| main.rs:235:35:235:35 | i | semmle.label | i |
| main.rs:235:35:235:35 | i | semmle.label | i |
| main.rs:235:47:235:47 | i | semmle.label | i |
| main.rs:235:47:235:47 | i | semmle.label | i |
| main.rs:241:9:241:9 | s [C] | semmle.label | s [C] |
| main.rs:241:9:241:9 | s [C] | semmle.label | s [C] |
| main.rs:241:13:241:24 | e.source(...) [C] | semmle.label | e.source(...) [C] |
| main.rs:241:13:241:24 | e.source(...) [C] | semmle.label | e.source(...) [C] |
| main.rs:241:15:241:20 | source | semmle.label | source |
| main.rs:241:15:241:20 | source | semmle.label | source |
| main.rs:242:11:242:11 | s [C] | semmle.label | s [C] |
| main.rs:242:11:242:11 | s [C] | semmle.label | s [C] |
| main.rs:243:9:243:37 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:243:9:243:37 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:243:35:243:35 | i | semmle.label | i |
| main.rs:243:35:243:35 | i | semmle.label | i |
| main.rs:243:47:243:47 | i | semmle.label | i |
| main.rs:243:47:243:47 | i | semmle.label | i |
| main.rs:252:9:252:9 | s | semmle.label | s |
| main.rs:252:9:252:9 | s | semmle.label | s |
| main.rs:252:13:252:22 | source(...) | semmle.label | source(...) |
| main.rs:252:13:252:22 | source(...) | semmle.label | source(...) |
| main.rs:253:5:253:13 | enum_sink | semmle.label | enum_sink |
| main.rs:253:5:253:13 | enum_sink | semmle.label | enum_sink |
| main.rs:253:15:253:43 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:253:15:253:43 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:253:41:253:41 | s | semmle.label | s |
| main.rs:253:41:253:41 | s | semmle.label | s |
| main.rs:258:9:258:9 | s | semmle.label | s |
| main.rs:258:9:258:9 | s | semmle.label | s |
| main.rs:258:13:258:22 | source(...) | semmle.label | source(...) |
| main.rs:258:13:258:22 | source(...) | semmle.label | source(...) |
| main.rs:259:9:259:9 | e [D] | semmle.label | e [D] |
| main.rs:259:9:259:9 | e [D] | semmle.label | e [D] |
| main.rs:259:13:259:41 | ...::D {...} [D] | semmle.label | ...::D {...} [D] |
| main.rs:259:13:259:41 | ...::D {...} [D] | semmle.label | ...::D {...} [D] |
| main.rs:259:39:259:39 | s | semmle.label | s |
| main.rs:259:39:259:39 | s | semmle.label | s |
| main.rs:260:5:260:5 | e [D] | semmle.label | e [D] |
| main.rs:260:5:260:5 | e [D] | semmle.label | e [D] |
| main.rs:260:7:260:10 | sink | semmle.label | sink |
| main.rs:260:7:260:10 | sink | semmle.label | sink |
| main.rs:269:9:269:9 | s | semmle.label | s |
| main.rs:269:9:269:9 | s | semmle.label | s |
| main.rs:269:13:269:25 | simple_source | semmle.label | simple_source |
| main.rs:269:13:269:25 | simple_source | semmle.label | simple_source |
| main.rs:269:13:269:29 | simple_source(...) | semmle.label | simple_source(...) |
| main.rs:269:13:269:29 | simple_source(...) | semmle.label | simple_source(...) |
| main.rs:270:10:270:10 | s | semmle.label | s |
| main.rs:270:10:270:10 | s | semmle.label | s |
| main.rs:277:9:277:9 | s | semmle.label | s |
| main.rs:277:9:277:9 | s | semmle.label | s |
| main.rs:277:13:277:22 | source(...) | semmle.label | source(...) |
| main.rs:277:13:277:22 | source(...) | semmle.label | source(...) |
| main.rs:278:5:278:15 | simple_sink | semmle.label | simple_sink |
| main.rs:278:5:278:15 | simple_sink | semmle.label | simple_sink |
| main.rs:278:17:278:17 | s | semmle.label | s |
| main.rs:278:17:278:17 | s | semmle.label | s |
| main.rs:212:9:212:9 | s | semmle.label | s |
| main.rs:212:9:212:9 | s | semmle.label | s |
| main.rs:212:13:212:22 | source(...) | semmle.label | source(...) |
| main.rs:212:13:212:22 | source(...) | semmle.label | source(...) |
| main.rs:213:9:213:9 | t | semmle.label | t |
| main.rs:213:9:213:9 | t | semmle.label | t |
| main.rs:213:13:213:31 | get_async_number(...) [future] | semmle.label | get_async_number(...) [future] |
| main.rs:213:13:213:31 | get_async_number(...) [future] | semmle.label | get_async_number(...) [future] |
| main.rs:213:13:213:37 | await ... | semmle.label | await ... |
| main.rs:213:13:213:37 | await ... | semmle.label | await ... |
| main.rs:213:30:213:30 | s | semmle.label | s |
| main.rs:213:30:213:30 | s | semmle.label | s |
| main.rs:214:10:214:10 | t | semmle.label | t |
| main.rs:214:10:214:10 | t | semmle.label | t |
| main.rs:233:9:233:9 | s [D] | semmle.label | s [D] |
| main.rs:233:9:233:9 | s [D] | semmle.label | s [D] |
| main.rs:233:13:233:23 | enum_source | semmle.label | enum_source |
| main.rs:233:13:233:23 | enum_source | semmle.label | enum_source |
| main.rs:233:13:233:27 | enum_source(...) [D] | semmle.label | enum_source(...) [D] |
| main.rs:233:13:233:27 | enum_source(...) [D] | semmle.label | enum_source(...) [D] |
| main.rs:234:11:234:11 | s [D] | semmle.label | s [D] |
| main.rs:234:11:234:11 | s [D] | semmle.label | s [D] |
| main.rs:236:9:236:37 | ...::D {...} [D] | semmle.label | ...::D {...} [D] |
| main.rs:236:9:236:37 | ...::D {...} [D] | semmle.label | ...::D {...} [D] |
| main.rs:236:35:236:35 | i | semmle.label | i |
| main.rs:236:35:236:35 | i | semmle.label | i |
| main.rs:236:47:236:47 | i | semmle.label | i |
| main.rs:236:47:236:47 | i | semmle.label | i |
| main.rs:242:9:242:9 | s [C] | semmle.label | s [C] |
| main.rs:242:9:242:9 | s [C] | semmle.label | s [C] |
| main.rs:242:13:242:24 | e.source(...) [C] | semmle.label | e.source(...) [C] |
| main.rs:242:13:242:24 | e.source(...) [C] | semmle.label | e.source(...) [C] |
| main.rs:242:15:242:20 | source | semmle.label | source |
| main.rs:242:15:242:20 | source | semmle.label | source |
| main.rs:243:11:243:11 | s [C] | semmle.label | s [C] |
| main.rs:243:11:243:11 | s [C] | semmle.label | s [C] |
| main.rs:244:9:244:37 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:244:9:244:37 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:244:35:244:35 | i | semmle.label | i |
| main.rs:244:35:244:35 | i | semmle.label | i |
| main.rs:244:47:244:47 | i | semmle.label | i |
| main.rs:244:47:244:47 | i | semmle.label | i |
| main.rs:253:9:253:9 | s | semmle.label | s |
| main.rs:253:9:253:9 | s | semmle.label | s |
| main.rs:253:13:253:22 | source(...) | semmle.label | source(...) |
| main.rs:253:13:253:22 | source(...) | semmle.label | source(...) |
| main.rs:254:5:254:13 | enum_sink | semmle.label | enum_sink |
| main.rs:254:5:254:13 | enum_sink | semmle.label | enum_sink |
| main.rs:254:15:254:43 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:254:15:254:43 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:254:41:254:41 | s | semmle.label | s |
| main.rs:254:41:254:41 | s | semmle.label | s |
| main.rs:259:9:259:9 | s | semmle.label | s |
| main.rs:259:9:259:9 | s | semmle.label | s |
| main.rs:259:13:259:22 | source(...) | semmle.label | source(...) |
| main.rs:259:13:259:22 | source(...) | semmle.label | source(...) |
| main.rs:260:9:260:9 | e [D] | semmle.label | e [D] |
| main.rs:260:9:260:9 | e [D] | semmle.label | e [D] |
| main.rs:260:13:260:41 | ...::D {...} [D] | semmle.label | ...::D {...} [D] |
| main.rs:260:13:260:41 | ...::D {...} [D] | semmle.label | ...::D {...} [D] |
| main.rs:260:39:260:39 | s | semmle.label | s |
| main.rs:260:39:260:39 | s | semmle.label | s |
| main.rs:261:5:261:5 | e [D] | semmle.label | e [D] |
| main.rs:261:5:261:5 | e [D] | semmle.label | e [D] |
| main.rs:261:7:261:10 | sink | semmle.label | sink |
| main.rs:261:7:261:10 | sink | semmle.label | sink |
| main.rs:270:9:270:9 | s | semmle.label | s |
| main.rs:270:9:270:9 | s | semmle.label | s |
| main.rs:270:13:270:25 | simple_source | semmle.label | simple_source |
| main.rs:270:13:270:25 | simple_source | semmle.label | simple_source |
| main.rs:270:13:270:29 | simple_source(...) | semmle.label | simple_source(...) |
| main.rs:270:13:270:29 | simple_source(...) | semmle.label | simple_source(...) |
| main.rs:271:10:271:10 | s | semmle.label | s |
| main.rs:271:10:271:10 | s | semmle.label | s |
| main.rs:278:9:278:9 | s | semmle.label | s |
| main.rs:278:9:278:9 | s | semmle.label | s |
| main.rs:278:13:278:22 | source(...) | semmle.label | source(...) |
| main.rs:278:13:278:22 | source(...) | semmle.label | source(...) |
| main.rs:279:5:279:15 | simple_sink | semmle.label | simple_sink |
| main.rs:279:5:279:15 | simple_sink | semmle.label | simple_sink |
| main.rs:279:17:279:17 | s | semmle.label | s |
| main.rs:279:17:279:17 | s | semmle.label | s |
subpaths
| main.rs:195:23:195:23 | f [captured s] | main.rs:194:40:194:40 | s | main.rs:194:17:194:42 | if ... {...} else {...} | main.rs:195:13:195:24 | apply(...) |
| main.rs:195:23:195:23 | f [captured s] | main.rs:194:40:194:40 | s | main.rs:194:17:194:42 | if ... {...} else {...} | main.rs:195:13:195:24 | apply(...) |
@@ -546,17 +546,17 @@ invalidSpecComponent
| main.rs:196:10:196:10 | t | main.rs:193:13:193:22 | source(...) | main.rs:196:10:196:10 | t | $@ | main.rs:193:13:193:22 | source(...) | source(...) |
| main.rs:203:10:203:10 | t | main.rs:200:13:200:22 | source(...) | main.rs:203:10:203:10 | t | $@ | main.rs:200:13:200:22 | source(...) | source(...) |
| main.rs:203:10:203:10 | t | main.rs:200:13:200:22 | source(...) | main.rs:203:10:203:10 | t | $@ | main.rs:200:13:200:22 | source(...) | source(...) |
| main.rs:213:10:213:10 | t | main.rs:211:13:211:22 | source(...) | main.rs:213:10:213:10 | t | $@ | main.rs:211:13:211:22 | source(...) | source(...) |
| main.rs:213:10:213:10 | t | main.rs:211:13:211:22 | source(...) | main.rs:213:10:213:10 | t | $@ | main.rs:211:13:211:22 | source(...) | source(...) |
| main.rs:235:47:235:47 | i | main.rs:232:13:232:23 | enum_source | main.rs:235:47:235:47 | i | $@ | main.rs:232:13:232:23 | enum_source | enum_source |
| main.rs:235:47:235:47 | i | main.rs:232:13:232:23 | enum_source | main.rs:235:47:235:47 | i | $@ | main.rs:232:13:232:23 | enum_source | enum_source |
| main.rs:243:47:243:47 | i | main.rs:241:15:241:20 | source | main.rs:243:47:243:47 | i | $@ | main.rs:241:15:241:20 | source | source |
| main.rs:243:47:243:47 | i | main.rs:241:15:241:20 | source | main.rs:243:47:243:47 | i | $@ | main.rs:241:15:241:20 | source | source |
| main.rs:253:5:253:13 | enum_sink | main.rs:252:13:252:22 | source(...) | main.rs:253:5:253:13 | enum_sink | $@ | main.rs:252:13:252:22 | source(...) | source(...) |
| main.rs:253:5:253:13 | enum_sink | main.rs:252:13:252:22 | source(...) | main.rs:253:5:253:13 | enum_sink | $@ | main.rs:252:13:252:22 | source(...) | source(...) |
| main.rs:260:7:260:10 | sink | main.rs:258:13:258:22 | source(...) | main.rs:260:7:260:10 | sink | $@ | main.rs:258:13:258:22 | source(...) | source(...) |
| main.rs:260:7:260:10 | sink | main.rs:258:13:258:22 | source(...) | main.rs:260:7:260:10 | sink | $@ | main.rs:258:13:258:22 | source(...) | source(...) |
| main.rs:270:10:270:10 | s | main.rs:269:13:269:25 | simple_source | main.rs:270:10:270:10 | s | $@ | main.rs:269:13:269:25 | simple_source | simple_source |
| main.rs:270:10:270:10 | s | main.rs:269:13:269:25 | simple_source | main.rs:270:10:270:10 | s | $@ | main.rs:269:13:269:25 | simple_source | simple_source |
| main.rs:278:5:278:15 | simple_sink | main.rs:277:13:277:22 | source(...) | main.rs:278:5:278:15 | simple_sink | $@ | main.rs:277:13:277:22 | source(...) | source(...) |
| main.rs:278:5:278:15 | simple_sink | main.rs:277:13:277:22 | source(...) | main.rs:278:5:278:15 | simple_sink | $@ | main.rs:277:13:277:22 | source(...) | source(...) |
| main.rs:214:10:214:10 | t | main.rs:212:13:212:22 | source(...) | main.rs:214:10:214:10 | t | $@ | main.rs:212:13:212:22 | source(...) | source(...) |
| main.rs:214:10:214:10 | t | main.rs:212:13:212:22 | source(...) | main.rs:214:10:214:10 | t | $@ | main.rs:212:13:212:22 | source(...) | source(...) |
| main.rs:236:47:236:47 | i | main.rs:233:13:233:23 | enum_source | main.rs:236:47:236:47 | i | $@ | main.rs:233:13:233:23 | enum_source | enum_source |
| main.rs:236:47:236:47 | i | main.rs:233:13:233:23 | enum_source | main.rs:236:47:236:47 | i | $@ | main.rs:233:13:233:23 | enum_source | enum_source |
| main.rs:244:47:244:47 | i | main.rs:242:15:242:20 | source | main.rs:244:47:244:47 | i | $@ | main.rs:242:15:242:20 | source | source |
| main.rs:244:47:244:47 | i | main.rs:242:15:242:20 | source | main.rs:244:47:244:47 | i | $@ | main.rs:242:15:242:20 | source | source |
| main.rs:254:5:254:13 | enum_sink | main.rs:253:13:253:22 | source(...) | main.rs:254:5:254:13 | enum_sink | $@ | main.rs:253:13:253:22 | source(...) | source(...) |
| main.rs:254:5:254:13 | enum_sink | main.rs:253:13:253:22 | source(...) | main.rs:254:5:254:13 | enum_sink | $@ | main.rs:253:13:253:22 | source(...) | source(...) |
| main.rs:261:7:261:10 | sink | main.rs:259:13:259:22 | source(...) | main.rs:261:7:261:10 | sink | $@ | main.rs:259:13:259:22 | source(...) | source(...) |
| main.rs:261:7:261:10 | sink | main.rs:259:13:259:22 | source(...) | main.rs:261:7:261:10 | sink | $@ | main.rs:259:13:259:22 | source(...) | source(...) |
| main.rs:271:10:271:10 | s | main.rs:270:13:270:25 | simple_source | main.rs:271:10:271:10 | s | $@ | main.rs:270:13:270:25 | simple_source | simple_source |
| main.rs:271:10:271:10 | s | main.rs:270:13:270:25 | simple_source | main.rs:271:10:271:10 | s | $@ | main.rs:270:13:270:25 | simple_source | simple_source |
| main.rs:279:5:279:15 | simple_sink | main.rs:278:13:278:22 | source(...) | main.rs:279:5:279:15 | simple_sink | $@ | main.rs:278:13:278:22 | source(...) | source(...) |
| main.rs:279:5:279:15 | simple_sink | main.rs:278:13:278:22 | source(...) | main.rs:279:5:279:15 | simple_sink | $@ | main.rs:278:13:278:22 | source(...) | source(...) |