mirror of
https://github.com/github/codeql.git
synced 2026-05-06 06:05:19 +02:00
288 lines
24 KiB
Plaintext
288 lines
24 KiB
Plaintext
models
|
|
| 1 | Summary: lang:core; <crate::option::Option>::unwrap; Argument[self].Variant[crate::option::Option::Some(0)]; ReturnValue; value |
|
|
edges
|
|
| main.rs:19:13:19:21 | source(...) | main.rs:20:10:20:10 | s | provenance | |
|
|
| main.rs:24:13:24:21 | source(...) | main.rs:27:10:27:10 | c | provenance | |
|
|
| main.rs:31:13:31:21 | source(...) | main.rs:36:10:36:10 | b | provenance | |
|
|
| main.rs:45:15:45:23 | source(...) | main.rs:47:10:47:10 | b | provenance | |
|
|
| main.rs:53:9:53:17 | source(...) | main.rs:54:10:54:10 | i | provenance | |
|
|
| main.rs:94:13:94:26 | TupleExpr [tuple.0] | main.rs:95:10:95:10 | a [tuple.0] | provenance | |
|
|
| main.rs:94:14:94:22 | source(...) | main.rs:94:13:94:26 | TupleExpr [tuple.0] | provenance | |
|
|
| main.rs:95:10:95:10 | a [tuple.0] | main.rs:95:10:95:12 | a.0 | provenance | |
|
|
| main.rs:108:17:108:31 | TupleExpr [tuple.1] | main.rs:110:10:110:10 | a [tuple.1] | provenance | |
|
|
| main.rs:108:21:108:30 | source(...) | main.rs:108:17:108:31 | TupleExpr [tuple.1] | provenance | |
|
|
| main.rs:110:10:110:10 | a [tuple.1] | main.rs:110:10:110:12 | a.1 | provenance | |
|
|
| main.rs:111:5:111:5 | [post] a [tuple.0] | main.rs:112:5:112:5 | a [tuple.0] | provenance | |
|
|
| main.rs:111:11:111:20 | source(...) | main.rs:111:5:111:5 | [post] a [tuple.0] | provenance | |
|
|
| main.rs:112:5:112:5 | a [tuple.0] | main.rs:113:10:113:10 | a [tuple.0] | provenance | |
|
|
| main.rs:113:10:113:10 | a [tuple.0] | main.rs:113:10:113:12 | a.0 | provenance | |
|
|
| main.rs:118:13:118:27 | TupleExpr [tuple.1] | main.rs:119:14:119:14 | a [tuple.1] | provenance | |
|
|
| main.rs:118:17:118:26 | source(...) | main.rs:118:13:118:27 | TupleExpr [tuple.1] | provenance | |
|
|
| main.rs:119:13:119:18 | TupleExpr [tuple.0, tuple.1] | main.rs:121:10:121:10 | b [tuple.0, tuple.1] | provenance | |
|
|
| main.rs:119:14:119:14 | a [tuple.1] | main.rs:119:13:119:18 | TupleExpr [tuple.0, tuple.1] | provenance | |
|
|
| main.rs:121:10:121:10 | b [tuple.0, tuple.1] | main.rs:121:10:121:12 | b.0 [tuple.1] | provenance | |
|
|
| main.rs:121:10:121:12 | b.0 [tuple.1] | main.rs:121:10:121:15 | ... .1 | provenance | |
|
|
| main.rs:147:13:150:5 | Point {...} [Point.x] | main.rs:151:9:151:28 | Point {...} [Point.x] | provenance | |
|
|
| main.rs:148:12:148:21 | source(...) | main.rs:147:13:150:5 | Point {...} [Point.x] | provenance | |
|
|
| main.rs:151:9:151:28 | Point {...} [Point.x] | main.rs:151:20:151:20 | a | provenance | |
|
|
| main.rs:151:20:151:20 | a | main.rs:152:10:152:10 | a | provenance | |
|
|
| main.rs:198:14:198:37 | ...::Some(...) [Some] | main.rs:201:9:201:23 | ...::Some(...) [Some] | provenance | |
|
|
| main.rs:198:27:198:36 | source(...) | main.rs:198:14:198:37 | ...::Some(...) [Some] | provenance | |
|
|
| main.rs:201:9:201:23 | ...::Some(...) [Some] | main.rs:201:22:201:22 | n | provenance | |
|
|
| main.rs:201:22:201:22 | n | main.rs:201:33:201:33 | n | provenance | |
|
|
| main.rs:211:14:211:29 | Some(...) [Some] | main.rs:214:9:214:15 | Some(...) [Some] | provenance | |
|
|
| main.rs:211:19:211:28 | source(...) | main.rs:211:14:211:29 | Some(...) [Some] | provenance | |
|
|
| main.rs:214:9:214:15 | Some(...) [Some] | main.rs:214:14:214:14 | n | provenance | |
|
|
| main.rs:214:14:214:14 | n | main.rs:214:25:214:25 | n | provenance | |
|
|
| main.rs:224:14:224:29 | Some(...) [Some] | main.rs:225:10:225:11 | s1 [Some] | provenance | |
|
|
| main.rs:224:19:224:28 | source(...) | main.rs:224:14:224:29 | Some(...) [Some] | provenance | |
|
|
| main.rs:225:10:225:11 | s1 [Some] | main.rs:225:10:225:20 | s1.unwrap(...) | provenance | MaD:1 |
|
|
| main.rs:229:14:229:29 | Some(...) [Some] | main.rs:231:14:231:15 | s1 [Some] | provenance | |
|
|
| main.rs:229:19:229:28 | source(...) | main.rs:229:14:229:29 | Some(...) [Some] | provenance | |
|
|
| main.rs:231:14:231:15 | s1 [Some] | main.rs:231:14:231:16 | TryExpr | provenance | |
|
|
| main.rs:231:14:231:16 | TryExpr | main.rs:232:10:232:11 | i1 | provenance | |
|
|
| main.rs:238:32:238:45 | Ok(...) [Ok] | main.rs:241:14:241:15 | s1 [Ok] | provenance | |
|
|
| main.rs:238:35:238:44 | source(...) | main.rs:238:32:238:45 | Ok(...) [Ok] | provenance | |
|
|
| main.rs:241:14:241:15 | s1 [Ok] | main.rs:241:14:241:16 | TryExpr | provenance | |
|
|
| main.rs:241:14:241:16 | TryExpr | main.rs:243:10:243:11 | i1 | provenance | |
|
|
| main.rs:256:14:256:39 | ...::A(...) [A] | main.rs:259:9:259:25 | ...::A(...) [A] | provenance | |
|
|
| main.rs:256:14:256:39 | ...::A(...) [A] | main.rs:263:9:263:25 | ...::A(...) [A] | provenance | |
|
|
| main.rs:256:29:256:38 | source(...) | main.rs:256:14:256:39 | ...::A(...) [A] | provenance | |
|
|
| main.rs:259:9:259:25 | ...::A(...) [A] | main.rs:259:24:259:24 | n | provenance | |
|
|
| main.rs:259:24:259:24 | n | main.rs:259:35:259:35 | n | provenance | |
|
|
| main.rs:263:9:263:25 | ...::A(...) [A] | main.rs:263:24:263:24 | n | provenance | |
|
|
| main.rs:263:24:263:24 | n | main.rs:263:55:263:55 | n | provenance | |
|
|
| main.rs:274:14:274:26 | A(...) [A] | main.rs:277:9:277:12 | A(...) [A] | provenance | |
|
|
| main.rs:274:14:274:26 | A(...) [A] | main.rs:281:9:281:12 | A(...) [A] | provenance | |
|
|
| main.rs:274:16:274:25 | source(...) | main.rs:274:14:274:26 | A(...) [A] | provenance | |
|
|
| main.rs:277:9:277:12 | A(...) [A] | main.rs:277:11:277:11 | n | provenance | |
|
|
| main.rs:277:11:277:11 | n | main.rs:277:22:277:22 | n | provenance | |
|
|
| main.rs:281:9:281:12 | A(...) [A] | main.rs:281:11:281:11 | n | provenance | |
|
|
| main.rs:281:11:281:11 | n | main.rs:281:29:281:29 | n | provenance | |
|
|
| main.rs:295:14:297:5 | ...::C {...} [C] | main.rs:300:9:300:38 | ...::C {...} [C] | provenance | |
|
|
| main.rs:295:14:297:5 | ...::C {...} [C] | main.rs:304:9:304:38 | ...::C {...} [C] | provenance | |
|
|
| main.rs:296:18:296:27 | source(...) | main.rs:295:14:297:5 | ...::C {...} [C] | provenance | |
|
|
| main.rs:300:9:300:38 | ...::C {...} [C] | main.rs:300:36:300:36 | n | provenance | |
|
|
| main.rs:300:36:300:36 | n | main.rs:300:48:300:48 | n | provenance | |
|
|
| main.rs:304:9:304:38 | ...::C {...} [C] | main.rs:304:36:304:36 | n | provenance | |
|
|
| main.rs:304:36:304:36 | n | main.rs:304:81:304:81 | n | provenance | |
|
|
| main.rs:315:14:317:5 | C {...} [C] | main.rs:320:9:320:24 | C {...} [C] | provenance | |
|
|
| main.rs:315:14:317:5 | C {...} [C] | main.rs:324:9:324:24 | C {...} [C] | provenance | |
|
|
| main.rs:316:18:316:27 | source(...) | main.rs:315:14:317:5 | C {...} [C] | provenance | |
|
|
| main.rs:320:9:320:24 | C {...} [C] | main.rs:320:22:320:22 | n | provenance | |
|
|
| main.rs:320:22:320:22 | n | main.rs:320:34:320:34 | n | provenance | |
|
|
| main.rs:324:9:324:24 | C {...} [C] | main.rs:324:22:324:22 | n | provenance | |
|
|
| main.rs:324:22:324:22 | n | main.rs:324:53:324:53 | n | provenance | |
|
|
| main.rs:336:16:336:33 | [...] [array[]] | main.rs:337:14:337:17 | arr1 [array[]] | provenance | |
|
|
| main.rs:336:23:336:32 | source(...) | main.rs:336:16:336:33 | [...] [array[]] | provenance | |
|
|
| main.rs:337:14:337:17 | arr1 [array[]] | main.rs:337:14:337:20 | arr1[2] | provenance | |
|
|
| main.rs:337:14:337:20 | arr1[2] | main.rs:338:10:338:11 | n1 | provenance | |
|
|
| main.rs:340:16:340:31 | [...; 10] [array[]] | main.rs:341:14:341:17 | arr2 [array[]] | provenance | |
|
|
| main.rs:340:17:340:26 | source(...) | main.rs:340:16:340:31 | [...; 10] [array[]] | provenance | |
|
|
| main.rs:341:14:341:17 | arr2 [array[]] | main.rs:341:14:341:20 | arr2[4] | provenance | |
|
|
| main.rs:341:14:341:20 | arr2[4] | main.rs:342:10:342:11 | n2 | provenance | |
|
|
| main.rs:350:16:350:33 | [...] [array[]] | main.rs:351:15:351:18 | arr1 [array[]] | provenance | |
|
|
| main.rs:350:23:350:32 | source(...) | main.rs:350:16:350:33 | [...] [array[]] | provenance | |
|
|
| main.rs:351:9:351:10 | n1 | main.rs:352:14:352:15 | n1 | provenance | |
|
|
| main.rs:351:15:351:18 | arr1 [array[]] | main.rs:351:9:351:10 | n1 | provenance | |
|
|
| main.rs:362:16:362:33 | [...] [array[]] | main.rs:364:9:364:17 | SlicePat [array[]] | provenance | |
|
|
| main.rs:362:23:362:32 | source(...) | main.rs:362:16:362:33 | [...] [array[]] | provenance | |
|
|
| main.rs:364:9:364:17 | SlicePat [array[]] | main.rs:364:10:364:10 | a | provenance | |
|
|
| main.rs:364:9:364:17 | SlicePat [array[]] | main.rs:364:13:364:13 | b | provenance | |
|
|
| main.rs:364:9:364:17 | SlicePat [array[]] | main.rs:364:16:364:16 | c | provenance | |
|
|
| main.rs:364:10:364:10 | a | main.rs:365:18:365:18 | a | provenance | |
|
|
| main.rs:364:13:364:13 | b | main.rs:366:18:366:18 | b | provenance | |
|
|
| main.rs:364:16:364:16 | c | main.rs:367:18:367:18 | c | provenance | |
|
|
| main.rs:376:5:376:11 | [post] mut_arr [array[]] | main.rs:377:13:377:19 | mut_arr [array[]] | provenance | |
|
|
| main.rs:376:5:376:11 | [post] mut_arr [array[]] | main.rs:379:10:379:16 | mut_arr [array[]] | provenance | |
|
|
| main.rs:376:18:376:27 | source(...) | main.rs:376:5:376:11 | [post] mut_arr [array[]] | provenance | |
|
|
| main.rs:377:13:377:19 | mut_arr [array[]] | main.rs:377:13:377:22 | mut_arr[1] | provenance | |
|
|
| main.rs:377:13:377:22 | mut_arr[1] | main.rs:378:10:378:10 | d | provenance | |
|
|
| main.rs:379:10:379:16 | mut_arr [array[]] | main.rs:379:10:379:19 | mut_arr[0] | provenance | |
|
|
| main.rs:383:20:383:52 | if cond {...} else {...} | main.rs:384:10:384:16 | f(...) | provenance | |
|
|
| main.rs:383:30:383:39 | source(...) | main.rs:383:20:383:52 | if cond {...} else {...} | provenance | |
|
|
| main.rs:388:20:388:23 | ... | main.rs:390:18:390:21 | data | provenance | |
|
|
| main.rs:394:13:394:22 | source(...) | main.rs:395:13:395:13 | a | provenance | |
|
|
| main.rs:395:13:395:13 | a | main.rs:388:20:388:23 | ... | provenance | |
|
|
| main.rs:399:20:399:23 | ... | main.rs:400:9:404:9 | if cond {...} else {...} | provenance | |
|
|
| main.rs:405:13:405:22 | source(...) | main.rs:406:21:406:21 | a | provenance | |
|
|
| main.rs:406:13:406:22 | f(...) | main.rs:407:10:407:10 | b | provenance | |
|
|
| main.rs:406:21:406:21 | a | main.rs:399:20:399:23 | ... | provenance | |
|
|
| main.rs:406:21:406:21 | a | main.rs:406:13:406:22 | f(...) | provenance | |
|
|
nodes
|
|
| main.rs:15:10:15:18 | source(...) | semmle.label | source(...) |
|
|
| main.rs:19:13:19:21 | source(...) | semmle.label | source(...) |
|
|
| main.rs:20:10:20:10 | s | semmle.label | s |
|
|
| main.rs:24:13:24:21 | source(...) | semmle.label | source(...) |
|
|
| main.rs:27:10:27:10 | c | semmle.label | c |
|
|
| main.rs:31:13:31:21 | source(...) | semmle.label | source(...) |
|
|
| main.rs:36:10:36:10 | b | semmle.label | b |
|
|
| main.rs:45:15:45:23 | source(...) | semmle.label | source(...) |
|
|
| main.rs:47:10:47:10 | b | semmle.label | b |
|
|
| main.rs:53:9:53:17 | source(...) | semmle.label | source(...) |
|
|
| main.rs:54:10:54:10 | i | semmle.label | i |
|
|
| main.rs:94:13:94:26 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
|
|
| main.rs:94:14:94:22 | source(...) | semmle.label | source(...) |
|
|
| main.rs:95:10:95:10 | a [tuple.0] | semmle.label | a [tuple.0] |
|
|
| main.rs:95:10:95:12 | a.0 | semmle.label | a.0 |
|
|
| main.rs:108:17:108:31 | TupleExpr [tuple.1] | semmle.label | TupleExpr [tuple.1] |
|
|
| main.rs:108:21:108:30 | source(...) | semmle.label | source(...) |
|
|
| main.rs:110:10:110:10 | a [tuple.1] | semmle.label | a [tuple.1] |
|
|
| main.rs:110:10:110:12 | a.1 | semmle.label | a.1 |
|
|
| main.rs:111:5:111:5 | [post] a [tuple.0] | semmle.label | [post] a [tuple.0] |
|
|
| main.rs:111:11:111:20 | source(...) | semmle.label | source(...) |
|
|
| main.rs:112:5:112:5 | a [tuple.0] | semmle.label | a [tuple.0] |
|
|
| main.rs:113:10:113:10 | a [tuple.0] | semmle.label | a [tuple.0] |
|
|
| main.rs:113:10:113:12 | a.0 | semmle.label | a.0 |
|
|
| main.rs:118:13:118:27 | TupleExpr [tuple.1] | semmle.label | TupleExpr [tuple.1] |
|
|
| main.rs:118:17:118:26 | source(...) | semmle.label | source(...) |
|
|
| main.rs:119:13:119:18 | TupleExpr [tuple.0, tuple.1] | semmle.label | TupleExpr [tuple.0, tuple.1] |
|
|
| main.rs:119:14:119:14 | a [tuple.1] | semmle.label | a [tuple.1] |
|
|
| main.rs:121:10:121:10 | b [tuple.0, tuple.1] | semmle.label | b [tuple.0, tuple.1] |
|
|
| main.rs:121:10:121:12 | b.0 [tuple.1] | semmle.label | b.0 [tuple.1] |
|
|
| main.rs:121:10:121:15 | ... .1 | semmle.label | ... .1 |
|
|
| main.rs:147:13:150:5 | Point {...} [Point.x] | semmle.label | Point {...} [Point.x] |
|
|
| main.rs:148:12:148:21 | source(...) | semmle.label | source(...) |
|
|
| main.rs:151:9:151:28 | Point {...} [Point.x] | semmle.label | Point {...} [Point.x] |
|
|
| main.rs:151:20:151:20 | a | semmle.label | a |
|
|
| main.rs:152:10:152:10 | a | semmle.label | a |
|
|
| main.rs:198:14:198:37 | ...::Some(...) [Some] | semmle.label | ...::Some(...) [Some] |
|
|
| main.rs:198:27:198:36 | source(...) | semmle.label | source(...) |
|
|
| main.rs:201:9:201:23 | ...::Some(...) [Some] | semmle.label | ...::Some(...) [Some] |
|
|
| main.rs:201:22:201:22 | n | semmle.label | n |
|
|
| main.rs:201:33:201:33 | n | semmle.label | n |
|
|
| main.rs:211:14:211:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
|
|
| main.rs:211:19:211:28 | source(...) | semmle.label | source(...) |
|
|
| main.rs:214:9:214:15 | Some(...) [Some] | semmle.label | Some(...) [Some] |
|
|
| main.rs:214:14:214:14 | n | semmle.label | n |
|
|
| main.rs:214:25:214:25 | n | semmle.label | n |
|
|
| main.rs:224:14:224:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
|
|
| main.rs:224:19:224:28 | source(...) | semmle.label | source(...) |
|
|
| main.rs:225:10:225:11 | s1 [Some] | semmle.label | s1 [Some] |
|
|
| main.rs:225:10:225:20 | s1.unwrap(...) | semmle.label | s1.unwrap(...) |
|
|
| main.rs:229:14:229:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
|
|
| main.rs:229:19:229:28 | source(...) | semmle.label | source(...) |
|
|
| main.rs:231:14:231:15 | s1 [Some] | semmle.label | s1 [Some] |
|
|
| main.rs:231:14:231:16 | TryExpr | semmle.label | TryExpr |
|
|
| main.rs:232:10:232:11 | i1 | semmle.label | i1 |
|
|
| main.rs:238:32:238:45 | Ok(...) [Ok] | semmle.label | Ok(...) [Ok] |
|
|
| main.rs:238:35:238:44 | source(...) | semmle.label | source(...) |
|
|
| main.rs:241:14:241:15 | s1 [Ok] | semmle.label | s1 [Ok] |
|
|
| main.rs:241:14:241:16 | TryExpr | semmle.label | TryExpr |
|
|
| main.rs:243:10:243:11 | i1 | semmle.label | i1 |
|
|
| main.rs:256:14:256:39 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
|
|
| main.rs:256:29:256:38 | source(...) | semmle.label | source(...) |
|
|
| main.rs:259:9:259:25 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
|
|
| main.rs:259:24:259:24 | n | semmle.label | n |
|
|
| main.rs:259:35:259:35 | n | semmle.label | n |
|
|
| main.rs:263:9:263:25 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
|
|
| main.rs:263:24:263:24 | n | semmle.label | n |
|
|
| main.rs:263:55:263:55 | n | semmle.label | n |
|
|
| main.rs:274:14:274:26 | A(...) [A] | semmle.label | A(...) [A] |
|
|
| main.rs:274:16:274:25 | source(...) | semmle.label | source(...) |
|
|
| main.rs:277:9:277:12 | A(...) [A] | semmle.label | A(...) [A] |
|
|
| main.rs:277:11:277:11 | n | semmle.label | n |
|
|
| main.rs:277:22:277:22 | n | semmle.label | n |
|
|
| main.rs:281:9:281:12 | A(...) [A] | semmle.label | A(...) [A] |
|
|
| main.rs:281:11:281:11 | n | semmle.label | n |
|
|
| main.rs:281:29:281:29 | n | semmle.label | n |
|
|
| main.rs:295:14:297:5 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
|
|
| main.rs:296:18:296:27 | source(...) | semmle.label | source(...) |
|
|
| main.rs:300:9:300:38 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
|
|
| main.rs:300:36:300:36 | n | semmle.label | n |
|
|
| main.rs:300:48:300:48 | n | semmle.label | n |
|
|
| main.rs:304:9:304:38 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
|
|
| main.rs:304:36:304:36 | n | semmle.label | n |
|
|
| main.rs:304:81:304:81 | n | semmle.label | n |
|
|
| main.rs:315:14:317:5 | C {...} [C] | semmle.label | C {...} [C] |
|
|
| main.rs:316:18:316:27 | source(...) | semmle.label | source(...) |
|
|
| main.rs:320:9:320:24 | C {...} [C] | semmle.label | C {...} [C] |
|
|
| main.rs:320:22:320:22 | n | semmle.label | n |
|
|
| main.rs:320:34:320:34 | n | semmle.label | n |
|
|
| main.rs:324:9:324:24 | C {...} [C] | semmle.label | C {...} [C] |
|
|
| main.rs:324:22:324:22 | n | semmle.label | n |
|
|
| main.rs:324:53:324:53 | n | semmle.label | n |
|
|
| main.rs:336:16:336:33 | [...] [array[]] | semmle.label | [...] [array[]] |
|
|
| main.rs:336:23:336:32 | source(...) | semmle.label | source(...) |
|
|
| main.rs:337:14:337:17 | arr1 [array[]] | semmle.label | arr1 [array[]] |
|
|
| main.rs:337:14:337:20 | arr1[2] | semmle.label | arr1[2] |
|
|
| main.rs:338:10:338:11 | n1 | semmle.label | n1 |
|
|
| main.rs:340:16:340:31 | [...; 10] [array[]] | semmle.label | [...; 10] [array[]] |
|
|
| main.rs:340:17:340:26 | source(...) | semmle.label | source(...) |
|
|
| main.rs:341:14:341:17 | arr2 [array[]] | semmle.label | arr2 [array[]] |
|
|
| main.rs:341:14:341:20 | arr2[4] | semmle.label | arr2[4] |
|
|
| main.rs:342:10:342:11 | n2 | semmle.label | n2 |
|
|
| main.rs:350:16:350:33 | [...] [array[]] | semmle.label | [...] [array[]] |
|
|
| main.rs:350:23:350:32 | source(...) | semmle.label | source(...) |
|
|
| main.rs:351:9:351:10 | n1 | semmle.label | n1 |
|
|
| main.rs:351:15:351:18 | arr1 [array[]] | semmle.label | arr1 [array[]] |
|
|
| main.rs:352:14:352:15 | n1 | semmle.label | n1 |
|
|
| main.rs:362:16:362:33 | [...] [array[]] | semmle.label | [...] [array[]] |
|
|
| main.rs:362:23:362:32 | source(...) | semmle.label | source(...) |
|
|
| main.rs:364:9:364:17 | SlicePat [array[]] | semmle.label | SlicePat [array[]] |
|
|
| main.rs:364:10:364:10 | a | semmle.label | a |
|
|
| main.rs:364:13:364:13 | b | semmle.label | b |
|
|
| main.rs:364:16:364:16 | c | semmle.label | c |
|
|
| main.rs:365:18:365:18 | a | semmle.label | a |
|
|
| main.rs:366:18:366:18 | b | semmle.label | b |
|
|
| main.rs:367:18:367:18 | c | semmle.label | c |
|
|
| main.rs:376:5:376:11 | [post] mut_arr [array[]] | semmle.label | [post] mut_arr [array[]] |
|
|
| main.rs:376:18:376:27 | source(...) | semmle.label | source(...) |
|
|
| main.rs:377:13:377:19 | mut_arr [array[]] | semmle.label | mut_arr [array[]] |
|
|
| main.rs:377:13:377:22 | mut_arr[1] | semmle.label | mut_arr[1] |
|
|
| main.rs:378:10:378:10 | d | semmle.label | d |
|
|
| main.rs:379:10:379:16 | mut_arr [array[]] | semmle.label | mut_arr [array[]] |
|
|
| main.rs:379:10:379:19 | mut_arr[0] | semmle.label | mut_arr[0] |
|
|
| main.rs:383:20:383:52 | if cond {...} else {...} | semmle.label | if cond {...} else {...} |
|
|
| main.rs:383:30:383:39 | source(...) | semmle.label | source(...) |
|
|
| main.rs:384:10:384:16 | f(...) | semmle.label | f(...) |
|
|
| main.rs:388:20:388:23 | ... | semmle.label | ... |
|
|
| main.rs:390:18:390:21 | data | semmle.label | data |
|
|
| main.rs:394:13:394:22 | source(...) | semmle.label | source(...) |
|
|
| main.rs:395:13:395:13 | a | semmle.label | a |
|
|
| main.rs:399:20:399:23 | ... | semmle.label | ... |
|
|
| main.rs:400:9:404:9 | if cond {...} else {...} | semmle.label | if cond {...} else {...} |
|
|
| main.rs:405:13:405:22 | source(...) | semmle.label | source(...) |
|
|
| main.rs:406:13:406:22 | f(...) | semmle.label | f(...) |
|
|
| main.rs:406:21:406:21 | a | semmle.label | a |
|
|
| main.rs:407:10:407:10 | b | semmle.label | b |
|
|
subpaths
|
|
| main.rs:406:21:406:21 | a | main.rs:399:20:399:23 | ... | main.rs:400:9:404:9 | if cond {...} else {...} | main.rs:406:13:406:22 | f(...) |
|
|
testFailures
|
|
#select
|
|
| main.rs:15:10:15:18 | source(...) | main.rs:15:10:15:18 | source(...) | main.rs:15:10:15:18 | source(...) | $@ | main.rs:15:10:15:18 | source(...) | source(...) |
|
|
| main.rs:20:10:20:10 | s | main.rs:19:13:19:21 | source(...) | main.rs:20:10:20:10 | s | $@ | main.rs:19:13:19:21 | source(...) | source(...) |
|
|
| main.rs:27:10:27:10 | c | main.rs:24:13:24:21 | source(...) | main.rs:27:10:27:10 | c | $@ | main.rs:24:13:24:21 | source(...) | source(...) |
|
|
| main.rs:36:10:36:10 | b | main.rs:31:13:31:21 | source(...) | main.rs:36:10:36:10 | b | $@ | main.rs:31:13:31:21 | source(...) | source(...) |
|
|
| main.rs:47:10:47:10 | b | main.rs:45:15:45:23 | source(...) | main.rs:47:10:47:10 | b | $@ | main.rs:45:15:45:23 | source(...) | source(...) |
|
|
| main.rs:54:10:54:10 | i | main.rs:53:9:53:17 | source(...) | main.rs:54:10:54:10 | i | $@ | main.rs:53:9:53:17 | source(...) | source(...) |
|
|
| main.rs:95:10:95:12 | a.0 | main.rs:94:14:94:22 | source(...) | main.rs:95:10:95:12 | a.0 | $@ | main.rs:94:14:94:22 | source(...) | source(...) |
|
|
| main.rs:110:10:110:12 | a.1 | main.rs:108:21:108:30 | source(...) | main.rs:110:10:110:12 | a.1 | $@ | main.rs:108:21:108:30 | source(...) | source(...) |
|
|
| main.rs:113:10:113:12 | a.0 | main.rs:111:11:111:20 | source(...) | main.rs:113:10:113:12 | a.0 | $@ | main.rs:111:11:111:20 | source(...) | source(...) |
|
|
| main.rs:121:10:121:15 | ... .1 | main.rs:118:17:118:26 | source(...) | main.rs:121:10:121:15 | ... .1 | $@ | main.rs:118:17:118:26 | source(...) | source(...) |
|
|
| main.rs:152:10:152:10 | a | main.rs:148:12:148:21 | source(...) | main.rs:152:10:152:10 | a | $@ | main.rs:148:12:148:21 | source(...) | source(...) |
|
|
| main.rs:201:33:201:33 | n | main.rs:198:27:198:36 | source(...) | main.rs:201:33:201:33 | n | $@ | main.rs:198:27:198:36 | source(...) | source(...) |
|
|
| main.rs:214:25:214:25 | n | main.rs:211:19:211:28 | source(...) | main.rs:214:25:214:25 | n | $@ | main.rs:211:19:211:28 | source(...) | source(...) |
|
|
| main.rs:225:10:225:20 | s1.unwrap(...) | main.rs:224:19:224:28 | source(...) | main.rs:225:10:225:20 | s1.unwrap(...) | $@ | main.rs:224:19:224:28 | source(...) | source(...) |
|
|
| main.rs:232:10:232:11 | i1 | main.rs:229:19:229:28 | source(...) | main.rs:232:10:232:11 | i1 | $@ | main.rs:229:19:229:28 | source(...) | source(...) |
|
|
| main.rs:243:10:243:11 | i1 | main.rs:238:35:238:44 | source(...) | main.rs:243:10:243:11 | i1 | $@ | main.rs:238:35:238:44 | source(...) | source(...) |
|
|
| main.rs:259:35:259:35 | n | main.rs:256:29:256:38 | source(...) | main.rs:259:35:259:35 | n | $@ | main.rs:256:29:256:38 | source(...) | source(...) |
|
|
| main.rs:263:55:263:55 | n | main.rs:256:29:256:38 | source(...) | main.rs:263:55:263:55 | n | $@ | main.rs:256:29:256:38 | source(...) | source(...) |
|
|
| main.rs:277:22:277:22 | n | main.rs:274:16:274:25 | source(...) | main.rs:277:22:277:22 | n | $@ | main.rs:274:16:274:25 | source(...) | source(...) |
|
|
| main.rs:281:29:281:29 | n | main.rs:274:16:274:25 | source(...) | main.rs:281:29:281:29 | n | $@ | main.rs:274:16:274:25 | source(...) | source(...) |
|
|
| main.rs:300:48:300:48 | n | main.rs:296:18:296:27 | source(...) | main.rs:300:48:300:48 | n | $@ | main.rs:296:18:296:27 | source(...) | source(...) |
|
|
| main.rs:304:81:304:81 | n | main.rs:296:18:296:27 | source(...) | main.rs:304:81:304:81 | n | $@ | main.rs:296:18:296:27 | source(...) | source(...) |
|
|
| main.rs:320:34:320:34 | n | main.rs:316:18:316:27 | source(...) | main.rs:320:34:320:34 | n | $@ | main.rs:316:18:316:27 | source(...) | source(...) |
|
|
| main.rs:324:53:324:53 | n | main.rs:316:18:316:27 | source(...) | main.rs:324:53:324:53 | n | $@ | main.rs:316:18:316:27 | source(...) | source(...) |
|
|
| main.rs:338:10:338:11 | n1 | main.rs:336:23:336:32 | source(...) | main.rs:338:10:338:11 | n1 | $@ | main.rs:336:23:336:32 | source(...) | source(...) |
|
|
| main.rs:342:10:342:11 | n2 | main.rs:340:17:340:26 | source(...) | main.rs:342:10:342:11 | n2 | $@ | main.rs:340:17:340:26 | source(...) | source(...) |
|
|
| main.rs:352:14:352:15 | n1 | main.rs:350:23:350:32 | source(...) | main.rs:352:14:352:15 | n1 | $@ | main.rs:350:23:350:32 | source(...) | source(...) |
|
|
| main.rs:365:18:365:18 | a | main.rs:362:23:362:32 | source(...) | main.rs:365:18:365:18 | a | $@ | main.rs:362:23:362:32 | source(...) | source(...) |
|
|
| main.rs:366:18:366:18 | b | main.rs:362:23:362:32 | source(...) | main.rs:366:18:366:18 | b | $@ | main.rs:362:23:362:32 | source(...) | source(...) |
|
|
| main.rs:367:18:367:18 | c | main.rs:362:23:362:32 | source(...) | main.rs:367:18:367:18 | c | $@ | main.rs:362:23:362:32 | source(...) | source(...) |
|
|
| main.rs:378:10:378:10 | d | main.rs:376:18:376:27 | source(...) | main.rs:378:10:378:10 | d | $@ | main.rs:376:18:376:27 | source(...) | source(...) |
|
|
| main.rs:379:10:379:19 | mut_arr[0] | main.rs:376:18:376:27 | source(...) | main.rs:379:10:379:19 | mut_arr[0] | $@ | main.rs:376:18:376:27 | source(...) | source(...) |
|
|
| main.rs:384:10:384:16 | f(...) | main.rs:383:30:383:39 | source(...) | main.rs:384:10:384:16 | f(...) | $@ | main.rs:383:30:383:39 | source(...) | source(...) |
|
|
| main.rs:390:18:390:21 | data | main.rs:394:13:394:22 | source(...) | main.rs:390:18:390:21 | data | $@ | main.rs:394:13:394:22 | source(...) | source(...) |
|
|
| main.rs:407:10:407:10 | b | main.rs:405:13:405:22 | source(...) | main.rs:407:10:407:10 | b | $@ | main.rs:405:13:405:22 | source(...) | source(...) |
|