models
edges
| main.rs:11:20:11:52 | if cond {...} else {...} | main.rs:12:10:12:16 | f(...) | provenance |  |
| main.rs:11:30:11:39 | source(...) | main.rs:11:20:11:52 | if cond {...} else {...} | provenance |  |
| main.rs:16:20:16:23 | ... | main.rs:18:18:18:21 | data | provenance |  |
| main.rs:22:9:22:9 | a | main.rs:23:13:23:13 | a | provenance |  |
| main.rs:22:13:22:22 | source(...) | main.rs:22:9:22:9 | a | provenance |  |
| main.rs:23:13:23:13 | a | main.rs:16:20:16:23 | ... | provenance |  |
| main.rs:27:20:27:23 | ... | main.rs:28:9:32:9 | if cond {...} else {...} | provenance |  |
| main.rs:33:9:33:9 | a | main.rs:34:21:34:21 | a | provenance |  |
| main.rs:33:13:33:22 | source(...) | main.rs:33:9:33:9 | a | provenance |  |
| main.rs:34:9:34:9 | b | main.rs:35:10:35:10 | b | provenance |  |
| main.rs:34:13:34:22 | f(...) | main.rs:34:9:34:9 | b | provenance |  |
| main.rs:34:21:34:21 | a | main.rs:27:20:27:23 | ... | provenance |  |
| main.rs:34:21:34:21 | a | main.rs:34:13:34:22 | f(...) | provenance |  |
| main.rs:42:16:42:25 | source(...) | main.rs:44:5:44:5 | [post] f [captured capt] | provenance |  |
| main.rs:44:5:44:5 | [post] f [captured capt] | main.rs:45:10:45:13 | capt | provenance |  |
| main.rs:44:5:44:5 | [post] f [captured capt] | main.rs:49:5:49:5 | g [captured capt] | provenance |  |
| main.rs:49:5:49:5 | g [captured capt] | main.rs:47:14:47:17 | capt | provenance |  |
nodes
| main.rs:11:20:11:52 | if cond {...} else {...} | semmle.label | if cond {...} else {...} |
| main.rs:11:30:11:39 | source(...) | semmle.label | source(...) |
| main.rs:12:10:12:16 | f(...) | semmle.label | f(...) |
| main.rs:16:20:16:23 | ... | semmle.label | ... |
| main.rs:18:18:18:21 | data | semmle.label | data |
| main.rs:22:9:22:9 | a | semmle.label | a |
| main.rs:22:13:22:22 | source(...) | semmle.label | source(...) |
| main.rs:23:13:23:13 | a | semmle.label | a |
| main.rs:27:20:27:23 | ... | semmle.label | ... |
| main.rs:28:9:32:9 | if cond {...} else {...} | semmle.label | if cond {...} else {...} |
| main.rs:33:9:33:9 | a | semmle.label | a |
| main.rs:33:13:33:22 | source(...) | semmle.label | source(...) |
| main.rs:34:9:34:9 | b | semmle.label | b |
| main.rs:34:13:34:22 | f(...) | semmle.label | f(...) |
| main.rs:34:21:34:21 | a | semmle.label | a |
| main.rs:35:10:35:10 | b | semmle.label | b |
| main.rs:42:16:42:25 | source(...) | semmle.label | source(...) |
| main.rs:44:5:44:5 | [post] f [captured capt] | semmle.label | [post] f [captured capt] |
| main.rs:45:10:45:13 | capt | semmle.label | capt |
| main.rs:47:14:47:17 | capt | semmle.label | capt |
| main.rs:49:5:49:5 | g [captured capt] | semmle.label | g [captured capt] |
subpaths
| main.rs:34:21:34:21 | a | main.rs:27:20:27:23 | ... | main.rs:28:9:32:9 | if cond {...} else {...} | main.rs:34:13:34:22 | f(...) |
testFailures
#select
| main.rs:12:10:12:16 | f(...) | main.rs:11:30:11:39 | source(...) | main.rs:12:10:12:16 | f(...) | $@ | main.rs:11:30:11:39 | source(...) | source(...) |
| main.rs:18:18:18:21 | data | main.rs:22:13:22:22 | source(...) | main.rs:18:18:18:21 | data | $@ | main.rs:22:13:22:22 | source(...) | source(...) |
| main.rs:35:10:35:10 | b | main.rs:33:13:33:22 | source(...) | main.rs:35:10:35:10 | b | $@ | main.rs:33:13:33:22 | source(...) | source(...) |
| main.rs:45:10:45:13 | capt | main.rs:42:16:42:25 | source(...) | main.rs:45:10:45:13 | capt | $@ | main.rs:42:16:42:25 | source(...) | source(...) |
| main.rs:47:14:47:17 | capt | main.rs:42:16:42:25 | source(...) | main.rs:47:14:47:17 | capt | $@ | main.rs:42:16:42:25 | source(...) | source(...) |