hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: accept test changes

Browse Source
This commit is contained in:
Paolo Tranquilli
2025-08-15 10:12:12 +02:00
parent 6ca1c587f6
commit 0924d795b4
32 changed files with 453 additions and 417 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
rust/ql/test/extractor-tests/generated/AsmClobberAbi/AsmClobberAbi.expected
View File

@@ -1 +1,2 @@
| gen_asm_clobber_abi.rs:8:14:8:29 | AsmClobberAbi |
| gen_asm_clobber_abi.rs:8:14:8:29 | AsmClobberAbi |

2
rust/ql/test/extractor-tests/generated/AsmConst/AsmConst.expected
View File

@@ -1,4 +1,6 @@
instances
| gen_asm_const.rs:8:30:8:37 | AsmConst | isConst: | yes |
| gen_asm_const.rs:8:30:8:37 | AsmConst | isConst: | yes |
getExpr
| gen_asm_const.rs:8:30:8:37 | AsmConst | gen_asm_const.rs:8:36:8:37 | 42 |
| gen_asm_const.rs:8:30:8:37 | AsmConst | gen_asm_const.rs:8:36:8:37 | 42 |

2
rust/ql/test/extractor-tests/generated/AsmDirSpec/AsmDirSpec.expected
View File

@@ -1,2 +1,4 @@
| gen_asm_dir_spec.rs:8:47:8:49 | AsmDirSpec |
| gen_asm_dir_spec.rs:8:47:8:49 | AsmDirSpec |
| gen_asm_dir_spec.rs:8:67:8:68 | AsmDirSpec |
| gen_asm_dir_spec.rs:8:67:8:68 | AsmDirSpec |

2
rust/ql/test/extractor-tests/generated/AsmLabel/AsmLabel.expected
View File

@@ -1,4 +1,6 @@
instances
| gen_asm_label.rs:10:9:10:47 | AsmLabel |
| gen_asm_label.rs:10:9:10:47 | AsmLabel |
getBlockExpr
| gen_asm_label.rs:10:9:10:47 | AsmLabel | gen_asm_label.rs:10:15:10:47 | { ... } |
| gen_asm_label.rs:10:9:10:47 | AsmLabel | gen_asm_label.rs:10:15:10:47 | { ... } |

6
rust/ql/test/extractor-tests/generated/AsmOperandExpr/AsmOperandExpr.expected
View File

@@ -1,9 +1,15 @@
instances
| gen_asm_operand_expr.rs:8:35:8:35 | AsmOperandExpr |
| gen_asm_operand_expr.rs:8:35:8:35 | AsmOperandExpr |
| gen_asm_operand_expr.rs:8:46:8:46 | AsmOperandExpr |
| gen_asm_operand_expr.rs:8:46:8:46 | AsmOperandExpr |
getInExpr
| gen_asm_operand_expr.rs:8:35:8:35 | AsmOperandExpr | gen_asm_operand_expr.rs:8:35:8:35 | x |
| gen_asm_operand_expr.rs:8:35:8:35 | AsmOperandExpr | gen_asm_operand_expr.rs:8:35:8:35 | x |
| gen_asm_operand_expr.rs:8:46:8:46 | AsmOperandExpr | gen_asm_operand_expr.rs:8:46:8:46 | y |
| gen_asm_operand_expr.rs:8:46:8:46 | AsmOperandExpr | gen_asm_operand_expr.rs:8:46:8:46 | y |
getOutExpr
| gen_asm_operand_expr.rs:8:35:8:35 | AsmOperandExpr | gen_asm_operand_expr.rs:8:35:8:35 | x |
| gen_asm_operand_expr.rs:8:35:8:35 | AsmOperandExpr | gen_asm_operand_expr.rs:8:35:8:35 | x |
| gen_asm_operand_expr.rs:8:46:8:46 | AsmOperandExpr | gen_asm_operand_expr.rs:8:46:8:46 | y |
| gen_asm_operand_expr.rs:8:46:8:46 | AsmOperandExpr | gen_asm_operand_expr.rs:8:46:8:46 | y |

5
rust/ql/test/extractor-tests/generated/AsmOperandNamed/AsmOperandNamed.expected
View File

@@ -1,8 +1,13 @@
instances
| gen_asm_operand_named.rs:8:34:8:43 | AsmOperandNamed |
| gen_asm_operand_named.rs:8:34:8:43 | AsmOperandNamed |
| gen_asm_operand_named.rs:8:46:8:62 | AsmOperandNamed |
| gen_asm_operand_named.rs:8:46:8:62 | AsmOperandNamed |
getAsmOperand
| gen_asm_operand_named.rs:8:34:8:43 | AsmOperandNamed | gen_asm_operand_named.rs:8:34:8:43 | AsmRegOperand |
| gen_asm_operand_named.rs:8:34:8:43 | AsmOperandNamed | gen_asm_operand_named.rs:8:34:8:43 | AsmRegOperand |
| gen_asm_operand_named.rs:8:46:8:62 | AsmOperandNamed | gen_asm_operand_named.rs:8:54:8:62 | AsmRegOperand |
| gen_asm_operand_named.rs:8:46:8:62 | AsmOperandNamed | gen_asm_operand_named.rs:8:54:8:62 | AsmRegOperand |
getName
| gen_asm_operand_named.rs:8:46:8:62 | AsmOperandNamed | gen_asm_operand_named.rs:8:46:8:50 | input |
| gen_asm_operand_named.rs:8:46:8:62 | AsmOperandNamed | gen_asm_operand_named.rs:8:46:8:50 | input |

2
rust/ql/test/extractor-tests/generated/AsmOption/AsmOption.expected
View File

@@ -1,2 +1,4 @@
| gen_asm_option.rs:8:22:8:28 | AsmOption | isRaw: | no |
| gen_asm_option.rs:8:22:8:28 | AsmOption | isRaw: | no |
| gen_asm_option.rs:8:31:8:35 | AsmOption | isRaw: | no |
| gen_asm_option.rs:8:31:8:35 | AsmOption | isRaw: | no |

3
rust/ql/test/extractor-tests/generated/AsmOptionsList/AsmOptionsList.expected
View File

@@ -1,5 +1,8 @@
instances
| gen_asm_options_list.rs:8:14:8:36 | AsmOptionsList |
| gen_asm_options_list.rs:8:14:8:36 | AsmOptionsList |
getAsmOption
| gen_asm_options_list.rs:8:14:8:36 | AsmOptionsList | 0 | gen_asm_options_list.rs:8:22:8:28 | AsmOption |
| gen_asm_options_list.rs:8:14:8:36 | AsmOptionsList | 0 | gen_asm_options_list.rs:8:22:8:28 | AsmOption |
| gen_asm_options_list.rs:8:14:8:36 | AsmOptionsList | 1 | gen_asm_options_list.rs:8:31:8:35 | AsmOption |
| gen_asm_options_list.rs:8:14:8:36 | AsmOptionsList | 1 | gen_asm_options_list.rs:8:31:8:35 | AsmOption |

8
rust/ql/test/extractor-tests/generated/AsmRegOperand/AsmRegOperand.expected
View File

@@ -1,12 +1,20 @@
instances
| gen_asm_reg_operand.rs:8:26:8:35 | AsmRegOperand |
| gen_asm_reg_operand.rs:8:26:8:35 | AsmRegOperand |
| gen_asm_reg_operand.rs:8:38:8:46 | AsmRegOperand |
| gen_asm_reg_operand.rs:8:38:8:46 | AsmRegOperand |
getAsmDirSpec
| gen_asm_reg_operand.rs:8:26:8:35 | AsmRegOperand | gen_asm_reg_operand.rs:8:26:8:28 | AsmDirSpec |
| gen_asm_reg_operand.rs:8:26:8:35 | AsmRegOperand | gen_asm_reg_operand.rs:8:26:8:28 | AsmDirSpec |
| gen_asm_reg_operand.rs:8:38:8:46 | AsmRegOperand | gen_asm_reg_operand.rs:8:38:8:39 | AsmDirSpec |
| gen_asm_reg_operand.rs:8:38:8:46 | AsmRegOperand | gen_asm_reg_operand.rs:8:38:8:39 | AsmDirSpec |
getAsmOperandExpr
| gen_asm_reg_operand.rs:8:26:8:35 | AsmRegOperand | gen_asm_reg_operand.rs:8:35:8:35 | AsmOperandExpr |
| gen_asm_reg_operand.rs:8:26:8:35 | AsmRegOperand | gen_asm_reg_operand.rs:8:35:8:35 | AsmOperandExpr |
| gen_asm_reg_operand.rs:8:38:8:46 | AsmRegOperand | gen_asm_reg_operand.rs:8:46:8:46 | AsmOperandExpr |
| gen_asm_reg_operand.rs:8:38:8:46 | AsmRegOperand | gen_asm_reg_operand.rs:8:46:8:46 | AsmOperandExpr |
getAsmRegSpec
| gen_asm_reg_operand.rs:8:26:8:35 | AsmRegOperand | gen_asm_reg_operand.rs:8:30:8:32 | AsmRegSpec |
| gen_asm_reg_operand.rs:8:26:8:35 | AsmRegOperand | gen_asm_reg_operand.rs:8:30:8:32 | AsmRegSpec |
| gen_asm_reg_operand.rs:8:38:8:46 | AsmRegOperand | gen_asm_reg_operand.rs:8:41:8:43 | AsmRegSpec |
| gen_asm_reg_operand.rs:8:38:8:46 | AsmRegOperand | gen_asm_reg_operand.rs:8:41:8:43 | AsmRegSpec |

3
rust/ql/test/extractor-tests/generated/AsmRegSpec/AsmRegSpec.expected
View File

@@ -1,5 +1,8 @@
instances
| gen_asm_reg_spec.rs:8:30:8:34 | AsmRegSpec |
| gen_asm_reg_spec.rs:8:30:8:34 | AsmRegSpec |
| gen_asm_reg_spec.rs:8:43:8:45 | AsmRegSpec |
| gen_asm_reg_spec.rs:8:43:8:45 | AsmRegSpec |
getIdentifier
| gen_asm_reg_spec.rs:8:43:8:45 | AsmRegSpec | gen_asm_reg_spec.rs:8:43:8:45 | EBX |
| gen_asm_reg_spec.rs:8:43:8:45 | AsmRegSpec | gen_asm_reg_spec.rs:8:43:8:45 | EBX |

2
rust/ql/test/extractor-tests/generated/AsmSym/AsmSym.expected
View File

@@ -1,4 +1,6 @@
instances
| gen_asm_sym.rs:8:30:8:44 | AsmSym |
| gen_asm_sym.rs:8:30:8:44 | AsmSym |
getPath
| gen_asm_sym.rs:8:30:8:44 | AsmSym | gen_asm_sym.rs:8:34:8:44 | my_function |
| gen_asm_sym.rs:8:30:8:44 | AsmSym | gen_asm_sym.rs:8:34:8:44 | my_function |

2
rust/ql/test/extractor-tests/generated/MacroCall/MacroCall.expected
View File

@@ -7,7 +7,7 @@ getAttributeMacroExpansion
getAttr
getPath
| gen_macro_call.rs:7:5:7:29 | println!... | gen_macro_call.rs:7:5:7:11 | println |
| gen_macro_call.rs:7:14:7:28 | ...::format_args_nl!... | gen_macro_call.rs:7:5:7:29 | ...::format_args_nl |
| gen_macro_call.rs:7:14:7:28 | ...::format_args_nl!... | gen_macro_call.rs:7:5:7:12 | ...::format_args_nl |
getTokenTree
| gen_macro_call.rs:7:5:7:29 | println!... | gen_macro_call.rs:7:13:7:29 | TokenTree |
| gen_macro_call.rs:7:14:7:28 | ...::format_args_nl!... | gen_macro_call.rs:7:14:7:28 | TokenTree |

6
rust/ql/test/extractor-tests/generated/MacroItems/MacroItems.expected
View File

@@ -1,7 +1,7 @@
instances
| gen_macro_items.rs:5:5:5:38 | MacroItems |
| gen_macro_items.rs:5:5:5:12 | MacroItems |
| gen_macro_items.rs:13:12:13:14 | MacroItems |
getItem
| gen_macro_items.rs:5:5:5:38 | MacroItems | 0 | gen_macro_items.rs:5:5:5:38 | use ...::Path |
| gen_macro_items.rs:5:5:5:38 | MacroItems | 1 | gen_macro_items.rs:5:5:5:38 | fn get_parent |
| gen_macro_items.rs:5:5:5:12 | MacroItems | 0 | gen_macro_items.rs:5:5:5:38 | use ...::Path |
| gen_macro_items.rs:5:5:5:12 | MacroItems | 1 | gen_macro_items.rs:5:5:5:38 | fn get_parent |
| gen_macro_items.rs:13:12:13:14 | MacroItems | 0 | gen_macro_items.rs:13:12:13:14 | impl ...::Debug for Bar::<...> { ... } |

2
rust/ql/test/extractor-tests/generated/NeverTypeRepr/NeverTypeRepr.expected
View File

@@ -1,2 +1,2 @@
| gen_never_type_repr.rs:7:17:7:17 | ! |
| gen_never_type_repr.rs:7:21:7:28 | ! |
| gen_never_type_repr.rs:7:21:7:26 | ! |

12
rust/ql/test/extractor-tests/macro-expansion/CONSISTENCY/PathResolutionConsistency.expected
View File

@@ -1,10 +1,10 @@
multipleCallTargets
| proc_macro.rs:15:5:17:5 | ...::new(...) |
| proc_macro.rs:25:5:28:5 | ...::new(...) |
| proc_macro.rs:41:5:49:5 | ...::new(...) |
| proc_macro.rs:41:5:49:5 | ...::new(...) |
| proc_macro.rs:41:5:49:5 | ...::new(...) |
| proc_macro.rs:41:5:49:5 | ...::new(...) |
| proc_macro.rs:15:5:15:10 | ...::new(...) |
| proc_macro.rs:25:5:25:10 | ...::new(...) |
| proc_macro.rs:41:5:41:10 | ...::new(...) |
| proc_macro.rs:41:5:41:10 | ...::new(...) |
| proc_macro.rs:41:5:41:10 | ...::new(...) |
| proc_macro.rs:41:5:41:10 | ...::new(...) |
| proc_macro.rs:44:27:44:30 | ...::to_tokens(...) |
multiplePathResolutions
| macro_expansion.rs:1:5:1:14 | proc_macro |

12
rust/ql/test/extractor-tests/macro-expansion/test.expected
View File

@@ -32,18 +32,18 @@ macro_calls
| macro_expansion.rs:33:9:33:15 | hello!... | macro_expansion.rs:31:5:31:16 | MacroBlockExpr |
| macro_expansion.rs:33:9:33:15 | hello!... | macro_expansion.rs:31:5:31:16 | MacroBlockExpr |
| macro_expansion.rs:33:9:33:15 | hello!... | macro_expansion.rs:31:5:31:16 | MacroBlockExpr |
| macro_expansion.rs:44:5:44:13 | def_x!... | macro_expansion.rs:44:5:44:13 | MacroItems |
| macro_expansion.rs:44:5:44:13 | def_x!... | macro_expansion.rs:44:5:44:10 | MacroItems |
| macro_expansion.rs:53:9:53:25 | concat!... | macro_expansion.rs:53:17:53:24 | "xy" |
| macro_expansion.rs:55:9:58:5 | my_macro!... | macro_expansion.rs:56:9:57:13 | MacroExpr |
| macro_expansion.rs:56:9:57:13 | ...::format_args!... | macro_expansion.rs:56:9:57:13 | FormatArgsExpr |
| macro_expansion.rs:56:9:57:13 | format!... | macro_expansion.rs:56:9:57:13 | ...::must_use(...) |
| macro_expansion.rs:61:1:61:33 | concat!... | macro_expansion.rs:61:1:61:33 | "Hello world!" |
| macro_expansion.rs:61:1:61:33 | include!... | macro_expansion.rs:61:1:61:33 | MacroItems |
| macro_expansion.rs:70:16:70:24 | my_int!... | macro_expansion.rs:70:16:70:24 | i32 |
| macro_expansion.rs:71:12:71:20 | my_int!... | macro_expansion.rs:71:12:71:20 | i32 |
| macro_expansion.rs:72:10:72:18 | my_int!... | macro_expansion.rs:72:10:72:18 | i32 |
| macro_expansion.rs:76:14:76:22 | my_int!... | macro_expansion.rs:76:14:76:22 | i32 |
| macro_expansion.rs:79:12:79:20 | my_int!... | macro_expansion.rs:79:12:79:20 | i32 |
| macro_expansion.rs:70:16:70:24 | my_int!... | macro_expansion.rs:70:16:70:22 | i32 |
| macro_expansion.rs:71:12:71:20 | my_int!... | macro_expansion.rs:71:12:71:18 | i32 |
| macro_expansion.rs:72:10:72:18 | my_int!... | macro_expansion.rs:72:10:72:16 | i32 |
| macro_expansion.rs:76:14:76:22 | my_int!... | macro_expansion.rs:76:14:76:20 | i32 |
| macro_expansion.rs:79:12:79:20 | my_int!... | macro_expansion.rs:79:12:79:18 | i32 |
unexpanded_macro_calls
| included/included.rs:2:9:2:39 | concat!... |
| macro_expansion.rs:5:9:5:35 | concat!... |

70
rust/ql/test/library-tests/controlflow/BasicBlocks.expected
View File

@@ -672,14 +672,14 @@ dominates
| test.rs:443:26:443:36 | Some(...) | test.rs:443:26:443:36 | Some(...) |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:453:5:458:5 | enter fn or_pattern_3 |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:454:9:457:9 | match a { ... } |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:455:13:455:25 | 2 |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:455:13:455:25 | [match(false)] 1 \| 2 |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:455:13:455:25 | [match(true)] 1 \| 2 |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:455:13:455:23 | 2 |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:455:13:455:23 | [match(false)] 1 \| 2 |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:455:13:455:23 | [match(true)] 1 \| 2 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:454:9:457:9 | match a { ... } |
| test.rs:455:13:455:25 | 2 | test.rs:455:13:455:25 | 2 |
| test.rs:455:13:455:25 | 2 | test.rs:455:13:455:25 | [match(false)] 1 \| 2 |
| test.rs:455:13:455:25 | [match(false)] 1 \| 2 | test.rs:455:13:455:25 | [match(false)] 1 \| 2 |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | test.rs:455:13:455:25 | [match(true)] 1 \| 2 |
| test.rs:455:13:455:23 | 2 | test.rs:455:13:455:23 | 2 |
| test.rs:455:13:455:23 | 2 | test.rs:455:13:455:23 | [match(false)] 1 \| 2 |
| test.rs:455:13:455:23 | [match(false)] 1 \| 2 | test.rs:455:13:455:23 | [match(false)] 1 \| 2 |
| test.rs:455:13:455:23 | [match(true)] 1 \| 2 | test.rs:455:13:455:23 | [match(true)] 1 \| 2 |
| test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code | test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code |
| test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code | test.rs:461:9:464:9 | match pair { ... } |
| test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code | test.rs:462:32:462:32 | _ |
@@ -717,20 +717,20 @@ dominates
| test.rs:513:17:513:41 | ExprStmt | test.rs:513:17:513:41 | ExprStmt |
| test.rs:523:5:525:5 | enter fn add_two | test.rs:523:5:525:5 | enter fn add_two |
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:529:5:537:5 | enter fn const_block_assert |
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:13:533:49 | ExprStmt |
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:13:533:19 | ExprStmt |
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:21:533:48 | [boolean(false)] ! ... |
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:21:533:48 | [boolean(true)] ! ... |
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:21:533:48 | if ... {...} |
| test.rs:533:13:533:49 | ExprStmt | test.rs:533:13:533:49 | ExprStmt |
| test.rs:533:13:533:49 | enter fn panic_cold_explicit | test.rs:533:13:533:49 | enter fn panic_cold_explicit |
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:13:533:19 | ExprStmt |
| test.rs:533:13:533:19 | enter fn panic_cold_explicit | test.rs:533:13:533:19 | enter fn panic_cold_explicit |
| test.rs:533:21:533:48 | [boolean(false)] ! ... | test.rs:533:21:533:48 | [boolean(false)] ! ... |
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:13:533:49 | ExprStmt |
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:13:533:19 | ExprStmt |
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:21:533:48 | [boolean(true)] ! ... |
| test.rs:533:21:533:48 | if ... {...} | test.rs:533:21:533:48 | if ... {...} |
| test.rs:539:5:548:5 | enter fn const_block_panic | test.rs:539:5:548:5 | enter fn const_block_panic |
| test.rs:539:5:548:5 | enter fn const_block_panic | test.rs:541:9:546:9 | if false {...} |
| test.rs:541:9:546:9 | if false {...} | test.rs:541:9:546:9 | if false {...} |
| test.rs:544:17:544:24 | enter fn panic_cold_explicit | test.rs:544:17:544:24 | enter fn panic_cold_explicit |
| test.rs:544:17:544:22 | enter fn panic_cold_explicit | test.rs:544:17:544:22 | enter fn panic_cold_explicit |
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:551:1:556:1 | enter fn dead_code |
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:553:9:553:17 | ExprStmt |
| test.rs:553:9:553:17 | ExprStmt | test.rs:553:9:553:17 | ExprStmt |
@@ -1344,12 +1344,12 @@ postDominance
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:453:5:458:5 | enter fn or_pattern_3 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:453:5:458:5 | enter fn or_pattern_3 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:454:9:457:9 | match a { ... } |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:13:455:25 | 2 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:13:455:25 | [match(false)] 1 \| 2 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:13:455:25 | [match(true)] 1 \| 2 |
| test.rs:455:13:455:25 | 2 | test.rs:455:13:455:25 | 2 |
| test.rs:455:13:455:25 | [match(false)] 1 \| 2 | test.rs:455:13:455:25 | [match(false)] 1 \| 2 |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | test.rs:455:13:455:25 | [match(true)] 1 \| 2 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:13:455:23 | 2 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:13:455:23 | [match(false)] 1 \| 2 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:13:455:23 | [match(true)] 1 \| 2 |
| test.rs:455:13:455:23 | 2 | test.rs:455:13:455:23 | 2 |
| test.rs:455:13:455:23 | [match(false)] 1 \| 2 | test.rs:455:13:455:23 | [match(false)] 1 \| 2 |
| test.rs:455:13:455:23 | [match(true)] 1 \| 2 | test.rs:455:13:455:23 | [match(true)] 1 \| 2 |
| test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code | test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:461:9:464:9 | match pair { ... } |
@@ -1384,20 +1384,20 @@ postDominance
| test.rs:513:17:513:41 | ExprStmt | test.rs:513:17:513:41 | ExprStmt |
| test.rs:523:5:525:5 | enter fn add_two | test.rs:523:5:525:5 | enter fn add_two |
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:529:5:537:5 | enter fn const_block_assert |
| test.rs:533:13:533:49 | ExprStmt | test.rs:533:13:533:49 | ExprStmt |
| test.rs:533:13:533:49 | ExprStmt | test.rs:533:21:533:48 | [boolean(true)] ! ... |
| test.rs:533:13:533:49 | enter fn panic_cold_explicit | test.rs:533:13:533:49 | enter fn panic_cold_explicit |
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:13:533:19 | ExprStmt |
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:21:533:48 | [boolean(true)] ! ... |
| test.rs:533:13:533:19 | enter fn panic_cold_explicit | test.rs:533:13:533:19 | enter fn panic_cold_explicit |
| test.rs:533:21:533:48 | [boolean(false)] ! ... | test.rs:533:21:533:48 | [boolean(false)] ! ... |
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:21:533:48 | [boolean(true)] ! ... |
| test.rs:533:21:533:48 | if ... {...} | test.rs:529:5:537:5 | enter fn const_block_assert |
| test.rs:533:21:533:48 | if ... {...} | test.rs:533:13:533:49 | ExprStmt |
| test.rs:533:21:533:48 | if ... {...} | test.rs:533:13:533:19 | ExprStmt |
| test.rs:533:21:533:48 | if ... {...} | test.rs:533:21:533:48 | [boolean(false)] ! ... |
| test.rs:533:21:533:48 | if ... {...} | test.rs:533:21:533:48 | [boolean(true)] ! ... |
| test.rs:533:21:533:48 | if ... {...} | test.rs:533:21:533:48 | if ... {...} |
| test.rs:539:5:548:5 | enter fn const_block_panic | test.rs:539:5:548:5 | enter fn const_block_panic |
| test.rs:541:9:546:9 | if false {...} | test.rs:539:5:548:5 | enter fn const_block_panic |
| test.rs:541:9:546:9 | if false {...} | test.rs:541:9:546:9 | if false {...} |
| test.rs:544:17:544:24 | enter fn panic_cold_explicit | test.rs:544:17:544:24 | enter fn panic_cold_explicit |
| test.rs:544:17:544:22 | enter fn panic_cold_explicit | test.rs:544:17:544:22 | enter fn panic_cold_explicit |
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:551:1:556:1 | enter fn dead_code |
| test.rs:553:9:553:17 | ExprStmt | test.rs:551:1:556:1 | enter fn dead_code |
| test.rs:553:9:553:17 | ExprStmt | test.rs:553:9:553:17 | ExprStmt |
@@ -1654,9 +1654,9 @@ immediateDominator
| test.rs:443:18:443:21 | true | test.rs:443:13:443:22 | Some(...) |
| test.rs:443:26:443:36 | Some(...) | test.rs:443:13:443:22 | Some(...) |
| test.rs:454:9:457:9 | match a { ... } | test.rs:453:5:458:5 | enter fn or_pattern_3 |
| test.rs:455:13:455:25 | 2 | test.rs:453:5:458:5 | enter fn or_pattern_3 |
| test.rs:455:13:455:25 | [match(false)] 1 \| 2 | test.rs:455:13:455:25 | 2 |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | test.rs:453:5:458:5 | enter fn or_pattern_3 |
| test.rs:455:13:455:23 | 2 | test.rs:453:5:458:5 | enter fn or_pattern_3 |
| test.rs:455:13:455:23 | [match(false)] 1 \| 2 | test.rs:455:13:455:23 | 2 |
| test.rs:455:13:455:23 | [match(true)] 1 \| 2 | test.rs:453:5:458:5 | enter fn or_pattern_3 |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code |
| test.rs:462:32:462:32 | _ | test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code |
| test.rs:463:13:463:13 | _ | test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code |
@@ -1669,7 +1669,7 @@ immediateDominator
| test.rs:511:28:516:9 | exit { ... } (normal) | test.rs:511:28:516:9 | enter { ... } |
| test.rs:512:13:514:13 | if b {...} | test.rs:511:28:516:9 | enter { ... } |
| test.rs:513:17:513:41 | ExprStmt | test.rs:511:28:516:9 | enter { ... } |
| test.rs:533:13:533:49 | ExprStmt | test.rs:533:21:533:48 | [boolean(true)] ! ... |
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:21:533:48 | [boolean(true)] ! ... |
| test.rs:533:21:533:48 | [boolean(false)] ! ... | test.rs:529:5:537:5 | enter fn const_block_assert |
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:529:5:537:5 | enter fn const_block_assert |
| test.rs:533:21:533:48 | if ... {...} | test.rs:529:5:537:5 | enter fn const_block_assert |
@@ -1874,10 +1874,10 @@ controls
| test.rs:347:18:347:18 | a | test.rs:349:15:349:18 | cond | true |
| test.rs:511:28:516:9 | enter { ... } | test.rs:512:13:514:13 | if b {...} | false |
| test.rs:511:28:516:9 | enter { ... } | test.rs:513:17:513:41 | ExprStmt | true |
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:13:533:49 | ExprStmt | false |
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:13:533:19 | ExprStmt | false |
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:21:533:48 | [boolean(false)] ! ... | true |
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:21:533:48 | [boolean(true)] ! ... | false |
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:13:533:49 | ExprStmt | true |
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:13:533:19 | ExprStmt | true |
| test.rs:539:5:548:5 | enter fn const_block_panic | test.rs:541:9:546:9 | if false {...} | false |
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:553:9:553:17 | ExprStmt | true |
| test.rs:568:1:582:1 | enter fn labelled_block1 | test.rs:571:9:573:9 | if ... {...} | false |
@@ -2026,7 +2026,7 @@ successor
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:21:533:48 | [boolean(false)] ! ... | true |
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:21:533:48 | [boolean(true)] ! ... | false |
| test.rs:533:21:533:48 | [boolean(false)] ! ... | test.rs:533:21:533:48 | if ... {...} | false |
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:13:533:49 | ExprStmt | true |
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:13:533:19 | ExprStmt | true |
| test.rs:539:5:548:5 | enter fn const_block_panic | test.rs:541:9:546:9 | if false {...} | false |
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:553:9:553:17 | ExprStmt | true |
| test.rs:568:1:582:1 | enter fn labelled_block1 | test.rs:571:9:573:9 | if ... {...} | false |
@@ -2185,10 +2185,10 @@ joinBlockPredecessor
| test.rs:443:13:443:36 | ... \| ... | test.rs:443:26:443:36 | Some(...) | 1 |
| test.rs:443:26:443:36 | Some(...) | test.rs:443:13:443:22 | Some(...) | 1 |
| test.rs:443:26:443:36 | Some(...) | test.rs:443:18:443:21 | true | 0 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:13:455:25 | [match(false)] 1 \| 2 | 0 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:13:455:25 | [match(true)] 1 \| 2 | 1 |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | test.rs:453:5:458:5 | enter fn or_pattern_3 | 1 |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | test.rs:455:13:455:25 | 2 | 0 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:13:455:23 | [match(false)] 1 \| 2 | 0 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:13:455:23 | [match(true)] 1 \| 2 | 1 |
| test.rs:455:13:455:23 | [match(true)] 1 \| 2 | test.rs:453:5:458:5 | enter fn or_pattern_3 | 1 |
| test.rs:455:13:455:23 | [match(true)] 1 \| 2 | test.rs:455:13:455:23 | 2 | 0 |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:462:32:462:32 | _ | 0 |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:463:13:463:13 | _ | 1 |
| test.rs:476:9:480:9 | match e { ... } | test.rs:477:32:477:32 | _ | 0 |
@@ -2198,7 +2198,7 @@ joinBlockPredecessor
| test.rs:487:13:487:14 | TupleExpr | test.rs:487:13:487:14 | TupleExpr | 0 |
| test.rs:511:28:516:9 | exit { ... } (normal) | test.rs:512:13:514:13 | if b {...} | 1 |
| test.rs:511:28:516:9 | exit { ... } (normal) | test.rs:513:17:513:41 | ExprStmt | 0 |
| test.rs:533:21:533:48 | if ... {...} | test.rs:533:13:533:49 | ExprStmt | 1 |
| test.rs:533:21:533:48 | if ... {...} | test.rs:533:13:533:19 | ExprStmt | 1 |
| test.rs:533:21:533:48 | if ... {...} | test.rs:533:21:533:48 | [boolean(false)] ! ... | 0 |
| test.rs:569:18:580:5 | 'block: { ... } | test.rs:572:13:572:27 | ExprStmt | 0 |
| test.rs:569:18:580:5 | 'block: { ... } | test.rs:575:9:577:9 | if ... {...} | 2 |

88
rust/ql/test/library-tests/controlflow/Cfg.expected
View File

@@ -388,39 +388,39 @@ edges
| test.rs:170:16:170:20 | cond2 | test.rs:171:17:171:30 | ExprStmt | true |
| test.rs:170:16:170:20 | cond2 | test.rs:173:17:173:30 | ExprStmt | false |
| test.rs:170:22:172:13 | { ... } | test.rs:170:13:174:13 | if cond2 {...} else {...} | |
| test.rs:171:17:171:29 | ...::_print | test.rs:171:26:171:28 | "1\\n" | |
| test.rs:171:17:171:24 | ...::_print | test.rs:171:26:171:28 | "1\\n" | |
| test.rs:171:17:171:29 | MacroExpr | test.rs:170:22:172:13 | { ... } | |
| test.rs:171:17:171:29 | println!... | test.rs:171:17:171:29 | MacroExpr | |
| test.rs:171:17:171:30 | ExprStmt | test.rs:171:26:171:28 | ExprStmt | |
| test.rs:171:26:171:28 | "1\\n" | test.rs:171:26:171:28 | FormatArgsExpr | |
| test.rs:171:26:171:28 | ...::_print(...) | test.rs:171:26:171:28 | { ... } | |
| test.rs:171:26:171:28 | ...::format_args_nl!... | test.rs:171:26:171:28 | MacroExpr | |
| test.rs:171:26:171:28 | ExprStmt | test.rs:171:17:171:29 | ...::_print | |
| test.rs:171:26:171:28 | ExprStmt | test.rs:171:17:171:24 | ...::_print | |
| test.rs:171:26:171:28 | FormatArgsExpr | test.rs:171:26:171:28 | ...::format_args_nl!... | |
| test.rs:171:26:171:28 | MacroBlockExpr | test.rs:171:17:171:29 | println!... | |
| test.rs:171:26:171:28 | MacroExpr | test.rs:171:26:171:28 | ...::_print(...) | |
| test.rs:171:26:171:28 | { ... } | test.rs:171:26:171:28 | MacroBlockExpr | |
| test.rs:172:20:174:13 | { ... } | test.rs:170:13:174:13 | if cond2 {...} else {...} | |
| test.rs:173:17:173:29 | ...::_print | test.rs:173:26:173:28 | "2\\n" | |
| test.rs:173:17:173:24 | ...::_print | test.rs:173:26:173:28 | "2\\n" | |
| test.rs:173:17:173:29 | MacroExpr | test.rs:172:20:174:13 | { ... } | |
| test.rs:173:17:173:29 | println!... | test.rs:173:17:173:29 | MacroExpr | |
| test.rs:173:17:173:30 | ExprStmt | test.rs:173:26:173:28 | ExprStmt | |
| test.rs:173:26:173:28 | "2\\n" | test.rs:173:26:173:28 | FormatArgsExpr | |
| test.rs:173:26:173:28 | ...::_print(...) | test.rs:173:26:173:28 | { ... } | |
| test.rs:173:26:173:28 | ...::format_args_nl!... | test.rs:173:26:173:28 | MacroExpr | |
| test.rs:173:26:173:28 | ExprStmt | test.rs:173:17:173:29 | ...::_print | |
| test.rs:173:26:173:28 | ExprStmt | test.rs:173:17:173:24 | ...::_print | |
| test.rs:173:26:173:28 | FormatArgsExpr | test.rs:173:26:173:28 | ...::format_args_nl!... | |
| test.rs:173:26:173:28 | MacroBlockExpr | test.rs:173:17:173:29 | println!... | |
| test.rs:173:26:173:28 | MacroExpr | test.rs:173:26:173:28 | ...::_print(...) | |
| test.rs:173:26:173:28 | { ... } | test.rs:173:26:173:28 | MacroBlockExpr | |
| test.rs:175:13:175:25 | ...::_print | test.rs:175:22:175:24 | "3\\n" | |
| test.rs:175:13:175:20 | ...::_print | test.rs:175:22:175:24 | "3\\n" | |
| test.rs:175:13:175:25 | MacroExpr | test.rs:169:18:176:9 | { ... } | |
| test.rs:175:13:175:25 | println!... | test.rs:175:13:175:25 | MacroExpr | |
| test.rs:175:13:175:26 | ExprStmt | test.rs:175:22:175:24 | ExprStmt | |
| test.rs:175:22:175:24 | "3\\n" | test.rs:175:22:175:24 | FormatArgsExpr | |
| test.rs:175:22:175:24 | ...::_print(...) | test.rs:175:22:175:24 | { ... } | |
| test.rs:175:22:175:24 | ...::format_args_nl!... | test.rs:175:22:175:24 | MacroExpr | |
| test.rs:175:22:175:24 | ExprStmt | test.rs:175:13:175:25 | ...::_print | |
| test.rs:175:22:175:24 | ExprStmt | test.rs:175:13:175:20 | ...::_print | |
| test.rs:175:22:175:24 | FormatArgsExpr | test.rs:175:22:175:24 | ...::format_args_nl!... | |
| test.rs:175:22:175:24 | MacroBlockExpr | test.rs:175:13:175:25 | println!... | |
| test.rs:175:22:175:24 | MacroExpr | test.rs:175:22:175:24 | ...::_print(...) | |
@@ -893,14 +893,14 @@ edges
| test.rs:363:18:363:18 | n | test.rs:363:18:363:18 | n | |
| test.rs:363:18:363:18 | n | test.rs:364:9:364:9 | n | match |
| test.rs:363:23:363:23 | a | test.rs:363:13:363:19 | Some(...) | |
| test.rs:363:32:363:54 | ...::panic_fmt | test.rs:363:39:363:53 | "Expected some" | |
| test.rs:363:32:363:37 | ...::panic_fmt | test.rs:363:39:363:53 | "Expected some" | |
| test.rs:363:32:363:54 | MacroExpr | test.rs:363:30:363:56 | { ... } | |
| test.rs:363:32:363:54 | panic!... | test.rs:363:32:363:54 | MacroExpr | |
| test.rs:363:39:363:53 | "Expected some" | test.rs:363:39:363:53 | FormatArgsExpr | |
| test.rs:363:39:363:53 | ...::const_format_args!... | test.rs:363:39:363:53 | MacroExpr | |
| test.rs:363:39:363:53 | ...::panic_2021!... | test.rs:363:39:363:53 | MacroExpr | |
| test.rs:363:39:363:53 | ...::panic_fmt(...) | test.rs:363:39:363:53 | { ... } | |
| test.rs:363:39:363:53 | ExprStmt | test.rs:363:32:363:54 | ...::panic_fmt | |
| test.rs:363:39:363:53 | ExprStmt | test.rs:363:32:363:37 | ...::panic_fmt | |
| test.rs:363:39:363:53 | FormatArgsExpr | test.rs:363:39:363:53 | ...::const_format_args!... | |
| test.rs:363:39:363:53 | MacroBlockExpr | test.rs:363:32:363:54 | panic!... | |
| test.rs:363:39:363:53 | MacroBlockExpr | test.rs:363:39:363:53 | ...::panic_2021!... | |
@@ -1122,15 +1122,15 @@ edges
| test.rs:453:36:458:5 | { ... } | test.rs:453:5:458:5 | exit fn or_pattern_3 (normal) | |
| test.rs:454:9:457:9 | match a { ... } | test.rs:453:36:458:5 | { ... } | |
| test.rs:454:15:454:15 | a | test.rs:455:13:455:25 | MacroPat | |
| test.rs:455:13:455:25 | 1 | test.rs:455:13:455:25 | 1 | |
| test.rs:455:13:455:25 | 1 | test.rs:455:13:455:25 | 2 | no-match |
| test.rs:455:13:455:25 | 1 | test.rs:455:13:455:25 | [match(true)] 1 \| 2 | match |
| test.rs:455:13:455:25 | 2 | test.rs:455:13:455:25 | 2 | |
| test.rs:455:13:455:25 | 2 | test.rs:455:13:455:25 | [match(false)] 1 \| 2 | no-match |
| test.rs:455:13:455:25 | 2 | test.rs:455:13:455:25 | [match(true)] 1 \| 2 | match |
| test.rs:455:13:455:25 | MacroPat | test.rs:455:13:455:25 | 1 | match |
| test.rs:455:13:455:25 | [match(false)] 1 \| 2 | test.rs:456:13:456:13 | _ | no-match |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | test.rs:455:30:455:30 | 3 | match |
| test.rs:455:13:455:23 | 1 | test.rs:455:13:455:23 | 1 | |
| test.rs:455:13:455:23 | 1 | test.rs:455:13:455:23 | 2 | no-match |
| test.rs:455:13:455:23 | 1 | test.rs:455:13:455:23 | [match(true)] 1 \| 2 | match |
| test.rs:455:13:455:23 | 2 | test.rs:455:13:455:23 | 2 | |
| test.rs:455:13:455:23 | 2 | test.rs:455:13:455:23 | [match(false)] 1 \| 2 | no-match |
| test.rs:455:13:455:23 | 2 | test.rs:455:13:455:23 | [match(true)] 1 \| 2 | match |
| test.rs:455:13:455:23 | [match(false)] 1 \| 2 | test.rs:456:13:456:13 | _ | no-match |
| test.rs:455:13:455:23 | [match(true)] 1 \| 2 | test.rs:455:30:455:30 | 3 | match |
| test.rs:455:13:455:25 | MacroPat | test.rs:455:13:455:23 | 1 | match |
| test.rs:455:30:455:30 | 3 | test.rs:454:9:457:9 | match a { ... } | |
| test.rs:456:13:456:13 | _ | test.rs:456:18:456:18 | 4 | match |
| test.rs:456:18:456:18 | 4 | test.rs:454:9:457:9 | match a { ... } | |
@@ -1178,14 +1178,14 @@ edges
| test.rs:494:5:496:5 | enter fn say_hello | test.rs:495:9:495:34 | ExprStmt | |
| test.rs:494:5:496:5 | exit fn say_hello (normal) | test.rs:494:5:496:5 | exit fn say_hello | |
| test.rs:494:26:496:5 | { ... } | test.rs:494:5:496:5 | exit fn say_hello (normal) | |
| test.rs:495:9:495:33 | ...::_print | test.rs:495:18:495:32 | "hello, world!\\n" | |
| test.rs:495:9:495:16 | ...::_print | test.rs:495:18:495:32 | "hello, world!\\n" | |
| test.rs:495:9:495:33 | MacroExpr | test.rs:494:26:496:5 | { ... } | |
| test.rs:495:9:495:33 | println!... | test.rs:495:9:495:33 | MacroExpr | |
| test.rs:495:9:495:34 | ExprStmt | test.rs:495:18:495:32 | ExprStmt | |
| test.rs:495:18:495:32 | "hello, world!\\n" | test.rs:495:18:495:32 | FormatArgsExpr | |
| test.rs:495:18:495:32 | ...::_print(...) | test.rs:495:18:495:32 | { ... } | |
| test.rs:495:18:495:32 | ...::format_args_nl!... | test.rs:495:18:495:32 | MacroExpr | |
| test.rs:495:18:495:32 | ExprStmt | test.rs:495:9:495:33 | ...::_print | |
| test.rs:495:18:495:32 | ExprStmt | test.rs:495:9:495:16 | ...::_print | |
| test.rs:495:18:495:32 | FormatArgsExpr | test.rs:495:18:495:32 | ...::format_args_nl!... | |
| test.rs:495:18:495:32 | MacroBlockExpr | test.rs:495:9:495:33 | println!... | |
| test.rs:495:18:495:32 | MacroExpr | test.rs:495:18:495:32 | ...::_print(...) | |
@@ -1202,14 +1202,14 @@ edges
| test.rs:499:26:501:9 | enter { ... } | test.rs:500:13:500:42 | ExprStmt | |
| test.rs:499:26:501:9 | exit { ... } (normal) | test.rs:499:26:501:9 | exit { ... } | |
| test.rs:499:26:501:9 | { ... } | test.rs:499:13:499:22 | say_godbye | |
| test.rs:500:13:500:41 | ...::_print | test.rs:500:22:500:40 | "godbye, everyone!\\n" | |
| test.rs:500:13:500:20 | ...::_print | test.rs:500:22:500:40 | "godbye, everyone!\\n" | |
| test.rs:500:13:500:41 | MacroExpr | test.rs:499:26:501:9 | exit { ... } (normal) | |
| test.rs:500:13:500:41 | println!... | test.rs:500:13:500:41 | MacroExpr | |
| test.rs:500:13:500:42 | ExprStmt | test.rs:500:22:500:40 | ExprStmt | |
| test.rs:500:22:500:40 | "godbye, everyone!\\n" | test.rs:500:22:500:40 | FormatArgsExpr | |
| test.rs:500:22:500:40 | ...::_print(...) | test.rs:500:22:500:40 | { ... } | |
| test.rs:500:22:500:40 | ...::format_args_nl!... | test.rs:500:22:500:40 | MacroExpr | |
| test.rs:500:22:500:40 | ExprStmt | test.rs:500:13:500:41 | ...::_print | |
| test.rs:500:22:500:40 | ExprStmt | test.rs:500:13:500:20 | ...::_print | |
| test.rs:500:22:500:40 | FormatArgsExpr | test.rs:500:22:500:40 | ...::format_args_nl!... | |
| test.rs:500:22:500:40 | MacroBlockExpr | test.rs:500:13:500:41 | println!... | |
| test.rs:500:22:500:40 | MacroExpr | test.rs:500:22:500:40 | ...::_print(...) | |
@@ -1220,14 +1220,14 @@ edges
| test.rs:502:31:504:9 | enter { ... } | test.rs:503:13:503:37 | ExprStmt | |
| test.rs:502:31:504:9 | exit { ... } (normal) | test.rs:502:31:504:9 | exit { ... } | |
| test.rs:502:31:504:9 | { ... } | test.rs:502:13:502:27 | say_how_are_you | |
| test.rs:503:13:503:36 | ...::_print | test.rs:503:22:503:35 | "how are you?\\n" | |
| test.rs:503:13:503:20 | ...::_print | test.rs:503:22:503:35 | "how are you?\\n" | |
| test.rs:503:13:503:36 | MacroExpr | test.rs:502:31:504:9 | exit { ... } (normal) | |
| test.rs:503:13:503:36 | println!... | test.rs:503:13:503:36 | MacroExpr | |
| test.rs:503:13:503:37 | ExprStmt | test.rs:503:22:503:35 | ExprStmt | |
| test.rs:503:22:503:35 | "how are you?\\n" | test.rs:503:22:503:35 | FormatArgsExpr | |
| test.rs:503:22:503:35 | ...::_print(...) | test.rs:503:22:503:35 | { ... } | |
| test.rs:503:22:503:35 | ...::format_args_nl!... | test.rs:503:22:503:35 | MacroExpr | |
| test.rs:503:22:503:35 | ExprStmt | test.rs:503:13:503:36 | ...::_print | |
| test.rs:503:22:503:35 | ExprStmt | test.rs:503:13:503:20 | ...::_print | |
| test.rs:503:22:503:35 | FormatArgsExpr | test.rs:503:22:503:35 | ...::format_args_nl!... | |
| test.rs:503:22:503:35 | MacroBlockExpr | test.rs:503:13:503:36 | println!... | |
| test.rs:503:22:503:35 | MacroExpr | test.rs:503:22:503:35 | ...::_print(...) | |
@@ -1285,23 +1285,23 @@ edges
| test.rs:529:41:537:5 | { ... } | test.rs:529:5:537:5 | exit fn const_block_assert (normal) | |
| test.rs:532:9:534:9 | ExprStmt | test.rs:533:13:533:50 | ExprStmt | |
| test.rs:532:9:534:9 | { ... } | test.rs:536:9:536:10 | 42 | |
| test.rs:533:13:533:49 | ...::panic_2021!... | test.rs:533:13:533:49 | MacroExpr | |
| test.rs:533:13:533:49 | ...::panic_explicit | test.rs:533:13:533:49 | ...::panic_explicit(...) | |
| test.rs:533:13:533:49 | ...::panic_explicit(...) | test.rs:533:13:533:49 | { ... } | |
| test.rs:533:13:533:49 | ExprStmt | test.rs:533:13:533:49 | fn panic_cold_explicit | |
| test.rs:533:13:533:49 | ExprStmt | test.rs:533:13:533:49 | panic_cold_explicit | |
| test.rs:533:13:533:49 | MacroBlockExpr | test.rs:533:13:533:49 | ...::panic_2021!... | |
| test.rs:533:13:533:19 | ...::panic_2021!... | test.rs:533:13:533:19 | MacroExpr | |
| test.rs:533:13:533:19 | ...::panic_explicit | test.rs:533:13:533:19 | ...::panic_explicit(...) | |
| test.rs:533:13:533:19 | ...::panic_explicit(...) | test.rs:533:13:533:19 | { ... } | |
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:13:533:19 | fn panic_cold_explicit | |
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:13:533:19 | panic_cold_explicit | |
| test.rs:533:13:533:19 | MacroBlockExpr | test.rs:533:13:533:19 | ...::panic_2021!... | |
| test.rs:533:13:533:19 | MacroExpr | test.rs:533:13:533:19 | { ... } | |
| test.rs:533:13:533:19 | enter fn panic_cold_explicit | test.rs:533:13:533:19 | ...::panic_explicit | |
| test.rs:533:13:533:19 | exit fn panic_cold_explicit (normal) | test.rs:533:13:533:19 | exit fn panic_cold_explicit | |
| test.rs:533:13:533:19 | fn panic_cold_explicit | test.rs:533:13:533:19 | ExprStmt | |
| test.rs:533:13:533:19 | panic_cold_explicit | test.rs:533:13:533:19 | panic_cold_explicit(...) | |
| test.rs:533:13:533:19 | panic_cold_explicit(...) | test.rs:533:13:533:19 | { ... } | |
| test.rs:533:13:533:19 | { ... } | test.rs:533:13:533:19 | MacroBlockExpr | |
| test.rs:533:13:533:19 | { ... } | test.rs:533:13:533:19 | exit fn panic_cold_explicit (normal) | |
| test.rs:533:13:533:19 | { ... } | test.rs:533:21:533:48 | if ... {...} | |
| test.rs:533:13:533:49 | MacroExpr | test.rs:532:9:534:9 | { ... } | |
| test.rs:533:13:533:49 | MacroExpr | test.rs:533:13:533:49 | { ... } | |
| test.rs:533:13:533:49 | assert!... | test.rs:533:13:533:49 | MacroExpr | |
| test.rs:533:13:533:49 | enter fn panic_cold_explicit | test.rs:533:13:533:49 | ...::panic_explicit | |
| test.rs:533:13:533:49 | exit fn panic_cold_explicit (normal) | test.rs:533:13:533:49 | exit fn panic_cold_explicit | |
| test.rs:533:13:533:49 | fn panic_cold_explicit | test.rs:533:13:533:49 | ExprStmt | |
| test.rs:533:13:533:49 | panic_cold_explicit | test.rs:533:13:533:49 | panic_cold_explicit(...) | |
| test.rs:533:13:533:49 | panic_cold_explicit(...) | test.rs:533:13:533:49 | { ... } | |
| test.rs:533:13:533:49 | { ... } | test.rs:533:13:533:49 | MacroBlockExpr | |
| test.rs:533:13:533:49 | { ... } | test.rs:533:13:533:49 | exit fn panic_cold_explicit (normal) | |
| test.rs:533:13:533:49 | { ... } | test.rs:533:21:533:48 | if ... {...} | |
| test.rs:533:13:533:50 | ExprStmt | test.rs:533:21:533:42 | ...::size_of::<...> | |
| test.rs:533:21:533:42 | ...::size_of::<...> | test.rs:533:21:533:44 | ...::size_of::<...>(...) | |
| test.rs:533:21:533:44 | ...::size_of::<...>(...) | test.rs:533:48:533:48 | 0 | |
@@ -1309,7 +1309,7 @@ edges
| test.rs:533:21:533:48 | ... > ... | test.rs:533:21:533:48 | [boolean(true)] ! ... | false |
| test.rs:533:21:533:48 | MacroBlockExpr | test.rs:533:13:533:49 | assert!... | |
| test.rs:533:21:533:48 | [boolean(false)] ! ... | test.rs:533:21:533:48 | if ... {...} | false |
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:13:533:49 | ExprStmt | true |
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:13:533:19 | ExprStmt | true |
| test.rs:533:21:533:48 | if ... {...} | test.rs:533:21:533:48 | { ... } | |
| test.rs:533:21:533:48 | { ... } | test.rs:533:21:533:48 | MacroBlockExpr | |
| test.rs:533:48:533:48 | 0 | test.rs:533:21:533:48 | ... > ... | |
@@ -1321,11 +1321,11 @@ edges
| test.rs:541:9:546:9 | ExprStmt | test.rs:541:12:541:16 | false | |
| test.rs:541:9:546:9 | if false {...} | test.rs:547:9:547:9 | N | |
| test.rs:541:12:541:16 | false | test.rs:541:9:546:9 | if false {...} | false |
| test.rs:544:17:544:24 | ...::panic_explicit | test.rs:544:17:544:24 | ...::panic_explicit(...) | |
| test.rs:544:17:544:24 | ...::panic_explicit(...) | test.rs:544:17:544:24 | { ... } | |
| test.rs:544:17:544:24 | enter fn panic_cold_explicit | test.rs:544:17:544:24 | ...::panic_explicit | |
| test.rs:544:17:544:24 | exit fn panic_cold_explicit (normal) | test.rs:544:17:544:24 | exit fn panic_cold_explicit | |
| test.rs:544:17:544:24 | { ... } | test.rs:544:17:544:24 | exit fn panic_cold_explicit (normal) | |
| test.rs:544:17:544:22 | ...::panic_explicit | test.rs:544:17:544:22 | ...::panic_explicit(...) | |
| test.rs:544:17:544:22 | ...::panic_explicit(...) | test.rs:544:17:544:22 | { ... } | |
| test.rs:544:17:544:22 | enter fn panic_cold_explicit | test.rs:544:17:544:22 | ...::panic_explicit | |
| test.rs:544:17:544:22 | exit fn panic_cold_explicit (normal) | test.rs:544:17:544:22 | exit fn panic_cold_explicit | |
| test.rs:544:17:544:22 | { ... } | test.rs:544:17:544:22 | exit fn panic_cold_explicit (normal) | |
| test.rs:547:9:547:9 | N | test.rs:539:35:548:5 | { ... } | |
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:552:5:554:5 | ExprStmt | |
| test.rs:551:1:556:1 | exit fn dead_code (normal) | test.rs:551:1:556:1 | exit fn dead_code | |

4
rust/ql/test/library-tests/dataflow/local/DataFlowStep.expected
View File

@@ -880,8 +880,8 @@ localStep
| main.rs:537:10:537:10 | b | main.rs:537:10:537:10 | receiver for b |
| main.rs:537:10:537:10 | b | main.rs:538:20:538:20 | b |
| main.rs:565:13:565:33 | result_questionmark(...) | main.rs:565:9:565:9 | _ |
| main.rs:577:36:577:41 | ...::new(...) | main.rs:577:36:577:41 | MacroExpr |
| main.rs:577:36:577:41 | [post] MacroExpr | main.rs:577:36:577:41 | [post] ...::new(...) |
| main.rs:577:36:577:39 | ...::new(...) | main.rs:577:36:577:41 | MacroExpr |
| main.rs:577:36:577:41 | [post] MacroExpr | main.rs:577:36:577:39 | [post] ...::new(...) |
readStep
| main.rs:36:9:36:15 | Some(...) | {EXTERNAL LOCATION} | Some | main.rs:36:14:36:14 | _ |
| main.rs:90:11:90:11 | [post] receiver for i | file://:0:0:0:0 | &ref | main.rs:90:11:90:11 | [post] i |

12
rust/ql/test/library-tests/dataflow/strings/inline-taint-flow.expected
View File

@@ -45,13 +45,13 @@ edges
| main.rs:82:9:82:10 | s1 | main.rs:86:18:86:25 | MacroExpr | provenance | |
| main.rs:82:9:82:10 | s1 | main.rs:87:18:87:32 | MacroExpr | provenance | |
| main.rs:82:14:82:23 | source(...) | main.rs:82:9:82:10 | s1 | provenance | |
| main.rs:86:10:86:26 | res | main.rs:86:18:86:25 | { ... } | provenance | |
| main.rs:86:18:86:25 | ...::format(...) | main.rs:86:10:86:26 | res | provenance | |
| main.rs:86:10:86:16 | res | main.rs:86:18:86:25 | { ... } | provenance | |
| main.rs:86:18:86:25 | ...::format(...) | main.rs:86:10:86:16 | res | provenance | |
| main.rs:86:18:86:25 | ...::must_use(...) | main.rs:86:10:86:26 | MacroExpr | provenance | |
| main.rs:86:18:86:25 | MacroExpr | main.rs:86:18:86:25 | ...::format(...) | provenance | MaD:5 |
| main.rs:86:18:86:25 | { ... } | main.rs:86:18:86:25 | ...::must_use(...) | provenance | MaD:6 |
| main.rs:87:10:87:33 | res | main.rs:87:18:87:32 | { ... } | provenance | |
| main.rs:87:18:87:32 | ...::format(...) | main.rs:87:10:87:33 | res | provenance | |
| main.rs:87:10:87:16 | res | main.rs:87:18:87:32 | { ... } | provenance | |
| main.rs:87:18:87:32 | ...::format(...) | main.rs:87:10:87:16 | res | provenance | |
| main.rs:87:18:87:32 | ...::must_use(...) | main.rs:87:10:87:33 | MacroExpr | provenance | |
| main.rs:87:18:87:32 | MacroExpr | main.rs:87:18:87:32 | ...::format(...) | provenance | MaD:5 |
| main.rs:87:18:87:32 | { ... } | main.rs:87:18:87:32 | ...::must_use(...) | provenance | MaD:6 |
@@ -96,14 +96,14 @@ nodes
| main.rs:78:10:78:19 | formatted3 | semmle.label | formatted3 |
| main.rs:82:9:82:10 | s1 | semmle.label | s1 |
| main.rs:82:14:82:23 | source(...) | semmle.label | source(...) |
| main.rs:86:10:86:16 | res | semmle.label | res |
| main.rs:86:10:86:26 | MacroExpr | semmle.label | MacroExpr |
| main.rs:86:10:86:26 | res | semmle.label | res |
| main.rs:86:18:86:25 | ...::format(...) | semmle.label | ...::format(...) |
| main.rs:86:18:86:25 | ...::must_use(...) | semmle.label | ...::must_use(...) |
| main.rs:86:18:86:25 | MacroExpr | semmle.label | MacroExpr |
| main.rs:86:18:86:25 | { ... } | semmle.label | { ... } |
| main.rs:87:10:87:16 | res | semmle.label | res |
| main.rs:87:10:87:33 | MacroExpr | semmle.label | MacroExpr |
| main.rs:87:10:87:33 | res | semmle.label | res |
| main.rs:87:18:87:32 | ...::format(...) | semmle.label | ...::format(...) |
| main.rs:87:18:87:32 | ...::must_use(...) | semmle.label | ...::must_use(...) |
| main.rs:87:18:87:32 | MacroExpr | semmle.label | MacroExpr |

2
rust/ql/test/library-tests/path-resolution/CONSISTENCY/PathResolutionConsistency.expected
View File

@@ -1,6 +1,6 @@
multipleCallTargets
| main.rs:118:9:118:11 | f(...) |
| proc_macro.rs:9:5:11:5 | ...::new(...) |
| proc_macro.rs:9:5:9:10 | ...::new(...) |
multiplePathResolutions
| main.rs:641:3:641:12 | proc_macro |
| main.rs:647:7:647:16 | proc_macro |

40
rust/ql/test/library-tests/variables/Cfg.expected
View File

@@ -5,14 +5,14 @@ edges
| main.rs:3:14:3:14 | s | main.rs:3:14:3:20 | ...: ... | match |
| main.rs:3:14:3:20 | ...: ... | main.rs:5:5:5:22 | ExprStmt | |
| main.rs:4:1:6:1 | { ... } | main.rs:3:1:6:1 | exit fn print_str (normal) | |
| main.rs:5:5:5:21 | ...::_print | main.rs:5:14:5:17 | "{}\\n" | |
| main.rs:5:5:5:12 | ...::_print | main.rs:5:14:5:17 | "{}\\n" | |
| main.rs:5:5:5:21 | MacroExpr | main.rs:4:1:6:1 | { ... } | |
| main.rs:5:5:5:21 | println!... | main.rs:5:5:5:21 | MacroExpr | |
| main.rs:5:5:5:22 | ExprStmt | main.rs:5:14:5:20 | ExprStmt | |
| main.rs:5:14:5:17 | "{}\\n" | main.rs:5:20:5:20 | s | |
| main.rs:5:14:5:20 | ...::_print(...) | main.rs:5:14:5:20 | { ... } | |
| main.rs:5:14:5:20 | ...::format_args_nl!... | main.rs:5:14:5:20 | MacroExpr | |
| main.rs:5:14:5:20 | ExprStmt | main.rs:5:5:5:21 | ...::_print | |
| main.rs:5:14:5:20 | ExprStmt | main.rs:5:5:5:12 | ...::_print | |
| main.rs:5:14:5:20 | FormatArgsExpr | main.rs:5:14:5:20 | ...::format_args_nl!... | |
| main.rs:5:14:5:20 | MacroBlockExpr | main.rs:5:5:5:21 | println!... | |
| main.rs:5:14:5:20 | MacroExpr | main.rs:5:14:5:20 | ...::_print(...) | |
@@ -24,14 +24,14 @@ edges
| main.rs:8:14:8:14 | i | main.rs:8:14:8:19 | ...: i64 | match |
| main.rs:8:14:8:19 | ...: i64 | main.rs:10:5:10:22 | ExprStmt | |
| main.rs:9:1:11:1 | { ... } | main.rs:8:1:11:1 | exit fn print_i64 (normal) | |
| main.rs:10:5:10:21 | ...::_print | main.rs:10:14:10:17 | "{}\\n" | |
| main.rs:10:5:10:12 | ...::_print | main.rs:10:14:10:17 | "{}\\n" | |
| main.rs:10:5:10:21 | MacroExpr | main.rs:9:1:11:1 | { ... } | |
| main.rs:10:5:10:21 | println!... | main.rs:10:5:10:21 | MacroExpr | |
| main.rs:10:5:10:22 | ExprStmt | main.rs:10:14:10:20 | ExprStmt | |
| main.rs:10:14:10:17 | "{}\\n" | main.rs:10:20:10:20 | i | |
| main.rs:10:14:10:20 | ...::_print(...) | main.rs:10:14:10:20 | { ... } | |
| main.rs:10:14:10:20 | ...::format_args_nl!... | main.rs:10:14:10:20 | MacroExpr | |
| main.rs:10:14:10:20 | ExprStmt | main.rs:10:5:10:21 | ...::_print | |
| main.rs:10:14:10:20 | ExprStmt | main.rs:10:5:10:12 | ...::_print | |
| main.rs:10:14:10:20 | FormatArgsExpr | main.rs:10:14:10:20 | ...::format_args_nl!... | |
| main.rs:10:14:10:20 | MacroBlockExpr | main.rs:10:5:10:21 | println!... | |
| main.rs:10:14:10:20 | MacroExpr | main.rs:10:14:10:20 | ...::_print(...) | |
@@ -234,16 +234,16 @@ edges
| main.rs:95:19:103:1 | { ... } | main.rs:95:1:103:1 | exit fn let_pattern4 (normal) | |
| main.rs:96:5:101:6 | let ... = ... else {...} | main.rs:97:7:97:10 | Some | |
| main.rs:96:9:96:16 | Some(...) | main.rs:96:14:96:15 | x5 | match |
| main.rs:96:9:96:16 | Some(...) | main.rs:100:9:100:15 | ...::panic | no-match |
| main.rs:96:9:96:16 | Some(...) | main.rs:100:9:100:13 | ...::panic | no-match |
| main.rs:96:14:96:15 | x5 | main.rs:96:14:96:15 | x5 | |
| main.rs:96:14:96:15 | x5 | main.rs:102:5:102:18 | ExprStmt | match |
| main.rs:97:7:97:10 | Some | main.rs:97:12:97:15 | "x5" | |
| main.rs:97:7:97:16 | Some(...) | main.rs:96:9:96:16 | Some(...) | |
| main.rs:97:12:97:15 | "x5" | main.rs:97:7:97:16 | Some(...) | |
| main.rs:100:9:100:15 | "not yet implemented" | main.rs:100:9:100:15 | ...::panic(...) | |
| main.rs:100:9:100:15 | ...::panic | main.rs:100:9:100:15 | "not yet implemented" | |
| main.rs:100:9:100:15 | ...::panic(...) | main.rs:100:9:100:15 | MacroBlockExpr | |
| main.rs:100:9:100:15 | MacroBlockExpr | main.rs:100:9:100:15 | todo!... | |
| main.rs:100:9:100:13 | "not yet implemented" | main.rs:100:9:100:13 | ...::panic(...) | |
| main.rs:100:9:100:13 | ...::panic | main.rs:100:9:100:13 | "not yet implemented" | |
| main.rs:100:9:100:13 | ...::panic(...) | main.rs:100:9:100:13 | MacroBlockExpr | |
| main.rs:100:9:100:13 | MacroBlockExpr | main.rs:100:9:100:15 | todo!... | |
| main.rs:100:9:100:15 | MacroExpr | main.rs:99:10:101:5 | { ... } | |
| main.rs:100:9:100:15 | todo!... | main.rs:100:9:100:15 | MacroExpr | |
| main.rs:102:5:102:13 | print_str | main.rs:102:15:102:16 | x5 | |
@@ -420,13 +420,13 @@ edges
| main.rs:184:35:184:36 | 12 | main.rs:185:22:185:51 | ExprStmt | match |
| main.rs:184:35:184:36 | 12 | main.rs:187:9:187:29 | ...::Hello {...} | no-match |
| main.rs:184:43:186:9 | { ... } | main.rs:179:5:192:5 | match msg { ... } | |
| main.rs:185:13:185:52 | ...::_print | main.rs:185:22:185:51 | "Found an id in another range\\... | |
| main.rs:185:13:185:20 | ...::_print | main.rs:185:22:185:51 | "Found an id in another range\\... | |
| main.rs:185:13:185:52 | MacroExpr | main.rs:184:43:186:9 | { ... } | |
| main.rs:185:13:185:52 | println!... | main.rs:185:13:185:52 | MacroExpr | |
| main.rs:185:22:185:51 | "Found an id in another range\\... | main.rs:185:22:185:51 | FormatArgsExpr | |
| main.rs:185:22:185:51 | ...::_print(...) | main.rs:185:22:185:51 | { ... } | |
| main.rs:185:22:185:51 | ...::format_args_nl!... | main.rs:185:22:185:51 | MacroExpr | |
| main.rs:185:22:185:51 | ExprStmt | main.rs:185:13:185:52 | ...::_print | |
| main.rs:185:22:185:51 | ExprStmt | main.rs:185:13:185:20 | ...::_print | |
| main.rs:185:22:185:51 | FormatArgsExpr | main.rs:185:22:185:51 | ...::format_args_nl!... | |
| main.rs:185:22:185:51 | MacroBlockExpr | main.rs:185:13:185:52 | println!... | |
| main.rs:185:22:185:51 | MacroExpr | main.rs:185:22:185:51 | ...::_print(...) | |
@@ -1438,12 +1438,12 @@ edges
| main.rs:608:5:609:26 | let ... = ... | main.rs:609:23:609:24 | let ... = 37 | |
| main.rs:608:9:608:22 | var_from_macro | main.rs:608:9:608:22 | var_from_macro | |
| main.rs:608:9:608:22 | var_from_macro | main.rs:610:5:610:30 | ExprStmt | match |
| main.rs:609:9:609:21 | var_in_macro | main.rs:609:9:609:21 | var_in_macro | |
| main.rs:609:9:609:21 | var_in_macro | main.rs:609:9:609:21 | var_in_macro | match |
| main.rs:609:9:609:21 | var_in_macro | main.rs:609:23:609:24 | { ... } | |
| main.rs:609:9:609:25 | MacroExpr | main.rs:608:9:608:22 | var_from_macro | |
| main.rs:609:9:609:25 | let_in_macro!... | main.rs:609:9:609:25 | MacroExpr | |
| main.rs:609:9:609:25 | var_in_macro | main.rs:609:9:609:25 | var_in_macro | |
| main.rs:609:9:609:25 | var_in_macro | main.rs:609:9:609:25 | var_in_macro | match |
| main.rs:609:9:609:25 | var_in_macro | main.rs:609:23:609:24 | { ... } | |
| main.rs:609:23:609:24 | 37 | main.rs:609:9:609:25 | var_in_macro | |
| main.rs:609:23:609:24 | 37 | main.rs:609:9:609:21 | var_in_macro | |
| main.rs:609:23:609:24 | let ... = 37 | main.rs:609:23:609:24 | 37 | |
| main.rs:609:23:609:24 | { ... } | main.rs:609:9:609:25 | let_in_macro!... | |
| main.rs:610:5:610:13 | print_i64 | main.rs:610:15:610:28 | var_from_macro | |
@@ -1454,15 +1454,15 @@ edges
| main.rs:611:9:611:20 | var_in_macro | main.rs:611:9:611:20 | var_in_macro | |
| main.rs:611:9:611:20 | var_in_macro | main.rs:615:5:615:44 | ExprStmt | match |
| main.rs:611:24:611:25 | 33 | main.rs:611:9:611:20 | var_in_macro | |
| main.rs:615:5:615:13 | print_i64 | main.rs:615:15:615:42 | let ... = 0 | |
| main.rs:615:5:615:13 | print_i64 | main.rs:615:15:615:28 | let ... = 0 | |
| main.rs:615:5:615:43 | print_i64(...) | main.rs:616:5:616:28 | ExprStmt | |
| main.rs:615:5:615:44 | ExprStmt | main.rs:615:5:615:13 | print_i64 | |
| main.rs:615:15:615:42 | 0 | main.rs:615:15:615:42 | var_in_macro | |
| main.rs:615:15:615:28 | 0 | main.rs:615:15:615:28 | var_in_macro | |
| main.rs:615:15:615:28 | let ... = 0 | main.rs:615:15:615:28 | 0 | |
| main.rs:615:15:615:28 | var_in_macro | main.rs:615:15:615:28 | var_in_macro | |
| main.rs:615:15:615:28 | var_in_macro | main.rs:615:30:615:41 | var_in_macro | match |
| main.rs:615:15:615:42 | MacroExpr | main.rs:615:5:615:43 | print_i64(...) | |
| main.rs:615:15:615:42 | let ... = 0 | main.rs:615:15:615:42 | 0 | |
| main.rs:615:15:615:42 | let_in_macro2!... | main.rs:615:15:615:42 | MacroExpr | |
| main.rs:615:15:615:42 | var_in_macro | main.rs:615:15:615:42 | var_in_macro | |
| main.rs:615:15:615:42 | var_in_macro | main.rs:615:30:615:41 | var_in_macro | match |
| main.rs:615:30:615:41 | var_in_macro | main.rs:615:30:615:41 | { ... } | |
| main.rs:615:30:615:41 | { ... } | main.rs:615:15:615:42 | let_in_macro2!... | |
| main.rs:616:5:616:13 | print_i64 | main.rs:616:15:616:26 | var_in_macro | |

16
rust/ql/test/library-tests/variables/Ssa.expected
View File

@@ -161,9 +161,9 @@ definition
| main.rs:587:13:587:13 | a | main.rs:587:13:587:13 | a |
| main.rs:588:5:588:5 | a | main.rs:587:13:587:13 | a |
| main.rs:608:9:608:22 | var_from_macro | main.rs:608:9:608:22 | var_from_macro |
| main.rs:609:9:609:25 | var_in_macro | main.rs:609:9:609:25 | var_in_macro |
| main.rs:609:9:609:21 | var_in_macro | main.rs:609:9:609:21 | var_in_macro |
| main.rs:611:9:611:20 | var_in_macro | main.rs:611:9:611:20 | var_in_macro |
| main.rs:615:15:615:42 | var_in_macro | main.rs:615:15:615:42 | var_in_macro |
| main.rs:615:15:615:28 | var_in_macro | main.rs:615:15:615:28 | var_in_macro |
| main.rs:621:5:621:5 | x | main.rs:620:9:620:9 | x |
| main.rs:626:13:626:13 | x | main.rs:626:13:626:13 | x |
| main.rs:627:13:627:15 | cap | main.rs:627:13:627:15 | cap |
@@ -338,9 +338,9 @@ read
| main.rs:587:13:587:13 | a | main.rs:587:13:587:13 | a | main.rs:588:5:588:5 | a |
| main.rs:588:5:588:5 | a | main.rs:587:13:587:13 | a | main.rs:590:15:590:15 | a |
| main.rs:608:9:608:22 | var_from_macro | main.rs:608:9:608:22 | var_from_macro | main.rs:610:15:610:28 | var_from_macro |
| main.rs:609:9:609:25 | var_in_macro | main.rs:609:9:609:25 | var_in_macro | main.rs:609:9:609:25 | var_in_macro |
| main.rs:609:9:609:21 | var_in_macro | main.rs:609:9:609:21 | var_in_macro | main.rs:609:9:609:21 | var_in_macro |
| main.rs:611:9:611:20 | var_in_macro | main.rs:611:9:611:20 | var_in_macro | main.rs:616:15:616:26 | var_in_macro |
| main.rs:615:15:615:42 | var_in_macro | main.rs:615:15:615:42 | var_in_macro | main.rs:615:30:615:41 | var_in_macro |
| main.rs:615:15:615:28 | var_in_macro | main.rs:615:15:615:28 | var_in_macro | main.rs:615:30:615:41 | var_in_macro |
| main.rs:621:5:621:5 | x | main.rs:620:9:620:9 | x | main.rs:622:15:622:15 | x |
| main.rs:627:13:627:15 | cap | main.rs:627:13:627:15 | cap | main.rs:633:5:633:7 | cap |
| main.rs:627:20:627:20 | b | main.rs:627:20:627:20 | b | main.rs:629:20:629:20 | b |
@@ -480,9 +480,9 @@ firstRead
| main.rs:587:13:587:13 | a | main.rs:587:13:587:13 | a | main.rs:588:5:588:5 | a |
| main.rs:588:5:588:5 | a | main.rs:587:13:587:13 | a | main.rs:590:15:590:15 | a |
| main.rs:608:9:608:22 | var_from_macro | main.rs:608:9:608:22 | var_from_macro | main.rs:610:15:610:28 | var_from_macro |
| main.rs:609:9:609:25 | var_in_macro | main.rs:609:9:609:25 | var_in_macro | main.rs:609:9:609:25 | var_in_macro |
| main.rs:609:9:609:21 | var_in_macro | main.rs:609:9:609:21 | var_in_macro | main.rs:609:9:609:21 | var_in_macro |
| main.rs:611:9:611:20 | var_in_macro | main.rs:611:9:611:20 | var_in_macro | main.rs:616:15:616:26 | var_in_macro |
| main.rs:615:15:615:42 | var_in_macro | main.rs:615:15:615:42 | var_in_macro | main.rs:615:30:615:41 | var_in_macro |
| main.rs:615:15:615:28 | var_in_macro | main.rs:615:15:615:28 | var_in_macro | main.rs:615:30:615:41 | var_in_macro |
| main.rs:621:5:621:5 | x | main.rs:620:9:620:9 | x | main.rs:622:15:622:15 | x |
| main.rs:627:13:627:15 | cap | main.rs:627:13:627:15 | cap | main.rs:633:5:633:7 | cap |
| main.rs:627:20:627:20 | b | main.rs:627:20:627:20 | b | main.rs:629:20:629:20 | b |
@@ -659,9 +659,9 @@ assigns
| main.rs:572:9:572:9 | z | main.rs:572:13:572:14 | 17 |
| main.rs:587:13:587:13 | a | main.rs:587:17:587:35 | MyStruct {...} |
| main.rs:608:9:608:22 | var_from_macro | main.rs:609:9:609:25 | MacroExpr |
| main.rs:609:9:609:25 | var_in_macro | main.rs:609:23:609:24 | 37 |
| main.rs:609:9:609:21 | var_in_macro | main.rs:609:23:609:24 | 37 |
| main.rs:611:9:611:20 | var_in_macro | main.rs:611:24:611:25 | 33 |
| main.rs:615:15:615:42 | var_in_macro | main.rs:615:15:615:42 | 0 |
| main.rs:615:15:615:28 | var_in_macro | main.rs:615:15:615:28 | 0 |
| main.rs:621:5:621:5 | x | main.rs:621:9:621:9 | 1 |
| main.rs:626:13:626:13 | x | main.rs:626:17:626:19 | 100 |
| main.rs:627:13:627:15 | cap | main.rs:627:19:632:5 | \|...\| ... |

16
rust/ql/test/library-tests/variables/variables.expected
View File

@@ -112,9 +112,9 @@ variable
| main.rs:581:17:581:20 | self |
| main.rs:587:13:587:13 | a |
| main.rs:608:9:608:22 | var_from_macro |
| main.rs:609:9:609:25 | var_in_macro |
| main.rs:609:9:609:21 | var_in_macro |
| main.rs:611:9:611:20 | var_in_macro |
| main.rs:615:15:615:42 | var_in_macro |
| main.rs:615:15:615:28 | var_in_macro |
| main.rs:620:9:620:9 | x |
| main.rs:626:13:626:13 | x |
| main.rs:627:13:627:15 | cap |
@@ -295,9 +295,9 @@ variableAccess
| main.rs:582:10:582:13 | self | main.rs:581:17:581:20 | self |
| main.rs:588:5:588:5 | a | main.rs:587:13:587:13 | a |
| main.rs:590:15:590:15 | a | main.rs:587:13:587:13 | a |
| main.rs:609:9:609:25 | var_in_macro | main.rs:609:9:609:25 | var_in_macro |
| main.rs:609:9:609:21 | var_in_macro | main.rs:609:9:609:21 | var_in_macro |
| main.rs:610:15:610:28 | var_from_macro | main.rs:608:9:608:22 | var_from_macro |
| main.rs:615:30:615:41 | var_in_macro | main.rs:615:15:615:42 | var_in_macro |
| main.rs:615:30:615:41 | var_in_macro | main.rs:615:15:615:28 | var_in_macro |
| main.rs:616:15:616:26 | var_in_macro | main.rs:611:9:611:20 | var_in_macro |
| main.rs:621:5:621:5 | x | main.rs:620:9:620:9 | x |
| main.rs:622:15:622:15 | x | main.rs:620:9:620:9 | x |
@@ -473,9 +473,9 @@ variableReadAccess
| main.rs:582:10:582:13 | self | main.rs:581:17:581:20 | self |
| main.rs:588:5:588:5 | a | main.rs:587:13:587:13 | a |
| main.rs:590:15:590:15 | a | main.rs:587:13:587:13 | a |
| main.rs:609:9:609:25 | var_in_macro | main.rs:609:9:609:25 | var_in_macro |
| main.rs:609:9:609:21 | var_in_macro | main.rs:609:9:609:21 | var_in_macro |
| main.rs:610:15:610:28 | var_from_macro | main.rs:608:9:608:22 | var_from_macro |
| main.rs:615:30:615:41 | var_in_macro | main.rs:615:15:615:42 | var_in_macro |
| main.rs:615:30:615:41 | var_in_macro | main.rs:615:15:615:28 | var_in_macro |
| main.rs:616:15:616:26 | var_in_macro | main.rs:611:9:611:20 | var_in_macro |
| main.rs:622:15:622:15 | x | main.rs:620:9:620:9 | x |
| main.rs:629:20:629:20 | b | main.rs:627:20:627:20 | b |
@@ -537,9 +537,9 @@ variableInitializer
| main.rs:572:9:572:9 | z | main.rs:572:13:572:14 | 17 |
| main.rs:587:13:587:13 | a | main.rs:587:17:587:35 | MyStruct {...} |
| main.rs:608:9:608:22 | var_from_macro | main.rs:609:9:609:25 | MacroExpr |
| main.rs:609:9:609:25 | var_in_macro | main.rs:609:23:609:24 | 37 |
| main.rs:609:9:609:21 | var_in_macro | main.rs:609:23:609:24 | 37 |
| main.rs:611:9:611:20 | var_in_macro | main.rs:611:24:611:25 | 33 |
| main.rs:615:15:615:42 | var_in_macro | main.rs:615:15:615:42 | 0 |
| main.rs:615:15:615:28 | var_in_macro | main.rs:615:15:615:28 | 0 |
| main.rs:626:13:626:13 | x | main.rs:626:17:626:19 | 100 |
| main.rs:627:13:627:15 | cap | main.rs:627:19:632:5 | \|...\| ... |
capturedVariable

6
rust/ql/test/query-tests/security/CWE-020/RegexInjection.expected
View File

@@ -6,8 +6,8 @@ edges
| main.rs:4:20:4:40 | ...::var(...) [Ok] | main.rs:4:20:4:66 | ... .unwrap_or(...) | provenance | MaD:2 |
| main.rs:4:20:4:66 | ... .unwrap_or(...) | main.rs:4:9:4:16 | username | provenance | |
| main.rs:5:9:5:13 | regex | main.rs:6:26:6:30 | regex | provenance | |
| main.rs:5:17:5:45 | res | main.rs:5:25:5:44 | { ... } | provenance | |
| main.rs:5:25:5:44 | ...::format(...) | main.rs:5:17:5:45 | res | provenance | |
| main.rs:5:17:5:23 | res | main.rs:5:25:5:44 | { ... } | provenance | |
| main.rs:5:25:5:44 | ...::format(...) | main.rs:5:17:5:23 | res | provenance | |
| main.rs:5:25:5:44 | ...::must_use(...) | main.rs:5:9:5:13 | regex | provenance | |
| main.rs:5:25:5:44 | MacroExpr | main.rs:5:25:5:44 | ...::format(...) | provenance | MaD:3 |
| main.rs:5:25:5:44 | { ... } | main.rs:5:25:5:44 | ...::must_use(...) | provenance | MaD:4 |
@@ -23,7 +23,7 @@ nodes
| main.rs:4:20:4:40 | ...::var(...) [Ok] | semmle.label | ...::var(...) [Ok] |
| main.rs:4:20:4:66 | ... .unwrap_or(...) | semmle.label | ... .unwrap_or(...) |
| main.rs:5:9:5:13 | regex | semmle.label | regex |
| main.rs:5:17:5:45 | res | semmle.label | res |
| main.rs:5:17:5:23 | res | semmle.label | res |
| main.rs:5:25:5:44 | ...::format(...) | semmle.label | ...::format(...) |
| main.rs:5:25:5:44 | ...::must_use(...) | semmle.label | ...::must_use(...) |
| main.rs:5:25:5:44 | MacroExpr | semmle.label | MacroExpr |

4
rust/ql/test/query-tests/security/CWE-089/CONSISTENCY/TypeInferenceConsistency.expected
View File

@@ -1,3 +1,3 @@
nonUniqueCertainType
| sqlx.rs:158:13:158:81 | { ... } | E |
| sqlx.rs:160:17:160:86 | { ... } | E |
| sqlx.rs:158:13:158:24 | { ... } | E |
| sqlx.rs:160:17:160:28 | { ... } | E |

6
rust/ql/test/query-tests/security/CWE-089/SqlInjection.expected
View File

@@ -23,8 +23,8 @@ edges
| sqlx.rs:52:9:52:20 | safe_query_3 | sqlx.rs:77:25:77:45 | safe_query_3.as_str() | provenance | MaD:9 |
| sqlx.rs:52:9:52:20 | safe_query_3 | sqlx.rs:77:25:77:45 | safe_query_3.as_str() | provenance | MaD:5 |
| sqlx.rs:52:9:52:20 | safe_query_3 | sqlx.rs:77:25:77:45 | safe_query_3.as_str() | provenance | MaD:9 |
| sqlx.rs:52:24:52:88 | res | sqlx.rs:52:32:52:87 | { ... } | provenance | |
| sqlx.rs:52:32:52:87 | ...::format(...) | sqlx.rs:52:24:52:88 | res | provenance | |
| sqlx.rs:52:24:52:30 | res | sqlx.rs:52:32:52:87 | { ... } | provenance | |
| sqlx.rs:52:32:52:87 | ...::format(...) | sqlx.rs:52:24:52:30 | res | provenance | |
| sqlx.rs:52:32:52:87 | ...::must_use(...) | sqlx.rs:52:9:52:20 | safe_query_3 | provenance | |
| sqlx.rs:52:32:52:87 | MacroExpr | sqlx.rs:52:32:52:87 | ...::format(...) | provenance | MaD:12 |
| sqlx.rs:52:32:52:87 | { ... } | sqlx.rs:52:32:52:87 | ...::must_use(...) | provenance | MaD:13 |
@@ -75,7 +75,7 @@ nodes
| sqlx.rs:49:25:49:52 | remote_string.parse() [Ok] | semmle.label | remote_string.parse() [Ok] |
| sqlx.rs:49:25:49:65 | ... .unwrap_or(...) | semmle.label | ... .unwrap_or(...) |
| sqlx.rs:52:9:52:20 | safe_query_3 | semmle.label | safe_query_3 |
| sqlx.rs:52:24:52:88 | res | semmle.label | res |
| sqlx.rs:52:24:52:30 | res | semmle.label | res |
| sqlx.rs:52:32:52:87 | ...::format(...) | semmle.label | ...::format(...) |
| sqlx.rs:52:32:52:87 | ...::must_use(...) | semmle.label | ...::must_use(...) |
| sqlx.rs:52:32:52:87 | MacroExpr | semmle.label | MacroExpr |

30
rust/ql/test/query-tests/security/CWE-311/CleartextTransmission.expected
View File

@@ -6,16 +6,16 @@
| main.rs:35:12:35:18 | request | main.rs:33:50:33:57 | password | main.rs:35:12:35:18 | request | This 'request' operation transmits data which may contain unencrypted sensitive data from $@. | main.rs:33:50:33:57 | password | password |
edges
| main.rs:6:9:6:11 | url | main.rs:7:28:7:30 | url | provenance | |
| main.rs:6:15:6:58 | res | main.rs:6:23:6:57 | { ... } | provenance | |
| main.rs:6:23:6:57 | ...::format(...) | main.rs:6:15:6:58 | res | provenance | |
| main.rs:6:15:6:21 | res | main.rs:6:23:6:57 | { ... } | provenance | |
| main.rs:6:23:6:57 | ...::format(...) | main.rs:6:15:6:21 | res | provenance | |
| main.rs:6:23:6:57 | ...::must_use(...) | main.rs:6:9:6:11 | url | provenance | |
| main.rs:6:23:6:57 | MacroExpr | main.rs:6:23:6:57 | ...::format(...) | provenance | MaD:7 |
| main.rs:6:23:6:57 | { ... } | main.rs:6:23:6:57 | ...::must_use(...) | provenance | MaD:8 |
| main.rs:6:50:6:57 | password | main.rs:6:23:6:57 | MacroExpr | provenance | |
| main.rs:7:28:7:30 | url | main.rs:7:5:7:26 | ...::get | provenance | MaD:4 Sink:MaD:4 |
| main.rs:12:9:12:15 | address | main.rs:13:27:13:33 | address | provenance | |
| main.rs:12:19:12:60 | res | main.rs:12:27:12:59 | { ... } | provenance | |
| main.rs:12:27:12:59 | ...::format(...) | main.rs:12:19:12:60 | res | provenance | |
| main.rs:12:19:12:25 | res | main.rs:12:27:12:59 | { ... } | provenance | |
| main.rs:12:27:12:59 | ...::format(...) | main.rs:12:19:12:25 | res | provenance | |
| main.rs:12:27:12:59 | ...::must_use(...) | main.rs:12:9:12:15 | address | provenance | |
| main.rs:12:27:12:59 | MacroExpr | main.rs:12:27:12:59 | ...::format(...) | provenance | MaD:7 |
| main.rs:12:27:12:59 | { ... } | main.rs:12:27:12:59 | ...::must_use(...) | provenance | MaD:8 |
@@ -27,24 +27,24 @@ edges
| main.rs:13:27:13:33 | address | main.rs:13:26:13:33 | &address [&ref] | provenance | |
| main.rs:14:28:14:30 | url | main.rs:14:5:14:26 | ...::get | provenance | MaD:4 Sink:MaD:4 |
| main.rs:19:9:19:11 | url | main.rs:21:17:21:19 | url | provenance | |
| main.rs:19:15:19:58 | res | main.rs:19:23:19:57 | { ... } | provenance | |
| main.rs:19:23:19:57 | ...::format(...) | main.rs:19:15:19:58 | res | provenance | |
| main.rs:19:15:19:21 | res | main.rs:19:23:19:57 | { ... } | provenance | |
| main.rs:19:23:19:57 | ...::format(...) | main.rs:19:15:19:21 | res | provenance | |
| main.rs:19:23:19:57 | ...::must_use(...) | main.rs:19:9:19:11 | url | provenance | |
| main.rs:19:23:19:57 | MacroExpr | main.rs:19:23:19:57 | ...::format(...) | provenance | MaD:7 |
| main.rs:19:23:19:57 | { ... } | main.rs:19:23:19:57 | ...::must_use(...) | provenance | MaD:8 |
| main.rs:19:50:19:57 | password | main.rs:19:23:19:57 | MacroExpr | provenance | |
| main.rs:21:17:21:19 | url | main.rs:21:12:21:15 | post | provenance | MaD:1 Sink:MaD:1 |
| main.rs:26:9:26:11 | url | main.rs:28:33:28:35 | url | provenance | |
| main.rs:26:15:26:58 | res | main.rs:26:23:26:57 | { ... } | provenance | |
| main.rs:26:23:26:57 | ...::format(...) | main.rs:26:15:26:58 | res | provenance | |
| main.rs:26:15:26:21 | res | main.rs:26:23:26:57 | { ... } | provenance | |
| main.rs:26:23:26:57 | ...::format(...) | main.rs:26:15:26:21 | res | provenance | |
| main.rs:26:23:26:57 | ...::must_use(...) | main.rs:26:9:26:11 | url | provenance | |
| main.rs:26:23:26:57 | MacroExpr | main.rs:26:23:26:57 | ...::format(...) | provenance | MaD:7 |
| main.rs:26:23:26:57 | { ... } | main.rs:26:23:26:57 | ...::must_use(...) | provenance | MaD:8 |
| main.rs:26:50:26:57 | password | main.rs:26:23:26:57 | MacroExpr | provenance | |
| main.rs:28:33:28:35 | url | main.rs:28:12:28:18 | request | provenance | MaD:3 Sink:MaD:3 |
| main.rs:33:9:33:11 | url | main.rs:35:33:35:35 | url | provenance | |
| main.rs:33:15:33:58 | res | main.rs:33:23:33:57 | { ... } | provenance | |
| main.rs:33:23:33:57 | ...::format(...) | main.rs:33:15:33:58 | res | provenance | |
| main.rs:33:15:33:21 | res | main.rs:33:23:33:57 | { ... } | provenance | |
| main.rs:33:23:33:57 | ...::format(...) | main.rs:33:15:33:21 | res | provenance | |
| main.rs:33:23:33:57 | ...::must_use(...) | main.rs:33:9:33:11 | url | provenance | |
| main.rs:33:23:33:57 | MacroExpr | main.rs:33:23:33:57 | ...::format(...) | provenance | MaD:7 |
| main.rs:33:23:33:57 | { ... } | main.rs:33:23:33:57 | ...::must_use(...) | provenance | MaD:8 |
@@ -61,7 +61,7 @@ models
| 8 | Summary: core::hint::must_use; Argument[0]; ReturnValue; value |
nodes
| main.rs:6:9:6:11 | url | semmle.label | url |
| main.rs:6:15:6:58 | res | semmle.label | res |
| main.rs:6:15:6:21 | res | semmle.label | res |
| main.rs:6:23:6:57 | ...::format(...) | semmle.label | ...::format(...) |
| main.rs:6:23:6:57 | ...::must_use(...) | semmle.label | ...::must_use(...) |
| main.rs:6:23:6:57 | MacroExpr | semmle.label | MacroExpr |
@@ -70,7 +70,7 @@ nodes
| main.rs:7:5:7:26 | ...::get | semmle.label | ...::get |
| main.rs:7:28:7:30 | url | semmle.label | url |
| main.rs:12:9:12:15 | address | semmle.label | address |
| main.rs:12:19:12:60 | res | semmle.label | res |
| main.rs:12:19:12:25 | res | semmle.label | res |
| main.rs:12:27:12:59 | ...::format(...) | semmle.label | ...::format(...) |
| main.rs:12:27:12:59 | ...::must_use(...) | semmle.label | ...::must_use(...) |
| main.rs:12:27:12:59 | MacroExpr | semmle.label | MacroExpr |
@@ -84,7 +84,7 @@ nodes
| main.rs:14:5:14:26 | ...::get | semmle.label | ...::get |
| main.rs:14:28:14:30 | url | semmle.label | url |
| main.rs:19:9:19:11 | url | semmle.label | url |
| main.rs:19:15:19:58 | res | semmle.label | res |
| main.rs:19:15:19:21 | res | semmle.label | res |
| main.rs:19:23:19:57 | ...::format(...) | semmle.label | ...::format(...) |
| main.rs:19:23:19:57 | ...::must_use(...) | semmle.label | ...::must_use(...) |
| main.rs:19:23:19:57 | MacroExpr | semmle.label | MacroExpr |
@@ -93,7 +93,7 @@ nodes
| main.rs:21:12:21:15 | post | semmle.label | post |
| main.rs:21:17:21:19 | url | semmle.label | url |
| main.rs:26:9:26:11 | url | semmle.label | url |
| main.rs:26:15:26:58 | res | semmle.label | res |
| main.rs:26:15:26:21 | res | semmle.label | res |
| main.rs:26:23:26:57 | ...::format(...) | semmle.label | ...::format(...) |
| main.rs:26:23:26:57 | ...::must_use(...) | semmle.label | ...::must_use(...) |
| main.rs:26:23:26:57 | MacroExpr | semmle.label | MacroExpr |
@@ -102,7 +102,7 @@ nodes
| main.rs:28:12:28:18 | request | semmle.label | request |
| main.rs:28:33:28:35 | url | semmle.label | url |
| main.rs:33:9:33:11 | url | semmle.label | url |
| main.rs:33:15:33:58 | res | semmle.label | res |
| main.rs:33:15:33:21 | res | semmle.label | res |
| main.rs:33:23:33:57 | ...::format(...) | semmle.label | ...::format(...) |
| main.rs:33:23:33:57 | ...::must_use(...) | semmle.label | ...::must_use(...) |
| main.rs:33:23:33:57 | MacroExpr | semmle.label | MacroExpr |

128
rust/ql/test/query-tests/security/CWE-312/CONSISTENCY/PathResolutionConsistency.expected
View File

@@ -1,71 +1,71 @@
multipleCallTargets
| test_logging.rs:42:5:42:36 | ...::max_level(...) |
| test_logging.rs:43:5:43:36 | ...::max_level(...) |
| test_logging.rs:44:5:44:35 | ...::max_level(...) |
| test_logging.rs:45:5:45:36 | ...::max_level(...) |
| test_logging.rs:46:5:46:35 | ...::max_level(...) |
| test_logging.rs:47:5:47:48 | ...::max_level(...) |
| test_logging.rs:50:5:50:21 | ...::max_level(...) |
| test_logging.rs:51:5:51:36 | ...::max_level(...) |
| test_logging.rs:52:5:52:36 | ...::max_level(...) |
| test_logging.rs:53:5:53:46 | ...::max_level(...) |
| test_logging.rs:54:5:54:49 | ...::max_level(...) |
| test_logging.rs:55:5:55:34 | ...::max_level(...) |
| test_logging.rs:56:5:56:47 | ...::max_level(...) |
| test_logging.rs:57:5:57:34 | ...::max_level(...) |
| test_logging.rs:58:5:58:36 | ...::max_level(...) |
| test_logging.rs:59:5:59:54 | ...::max_level(...) |
| test_logging.rs:60:5:60:54 | ...::max_level(...) |
| test_logging.rs:61:5:61:55 | ...::max_level(...) |
| test_logging.rs:64:5:64:48 | ...::max_level(...) |
| test_logging.rs:65:5:65:48 | ...::max_level(...) |
| test_logging.rs:66:5:66:66 | ...::max_level(...) |
| test_logging.rs:67:5:67:66 | ...::max_level(...) |
| test_logging.rs:68:5:68:67 | ...::max_level(...) |
| test_logging.rs:71:5:71:47 | ...::max_level(...) |
| test_logging.rs:72:5:72:47 | ...::max_level(...) |
| test_logging.rs:73:5:73:50 | ...::max_level(...) |
| test_logging.rs:74:5:74:65 | ...::max_level(...) |
| test_logging.rs:75:5:75:51 | ...::max_level(...) |
| test_logging.rs:76:5:76:47 | ...::max_level(...) |
| test_logging.rs:77:5:77:48 | ...::max_level(...) |
| test_logging.rs:42:5:42:10 | ...::max_level(...) |
| test_logging.rs:43:5:43:10 | ...::max_level(...) |
| test_logging.rs:44:5:44:9 | ...::max_level(...) |
| test_logging.rs:45:5:45:10 | ...::max_level(...) |
| test_logging.rs:46:5:46:9 | ...::max_level(...) |
| test_logging.rs:47:5:47:8 | ...::max_level(...) |
| test_logging.rs:50:5:50:10 | ...::max_level(...) |
| test_logging.rs:51:5:51:10 | ...::max_level(...) |
| test_logging.rs:52:5:52:10 | ...::max_level(...) |
| test_logging.rs:53:5:53:10 | ...::max_level(...) |
| test_logging.rs:54:5:54:10 | ...::max_level(...) |
| test_logging.rs:55:5:55:10 | ...::max_level(...) |
| test_logging.rs:56:5:56:10 | ...::max_level(...) |
| test_logging.rs:57:5:57:10 | ...::max_level(...) |
| test_logging.rs:58:5:58:10 | ...::max_level(...) |
| test_logging.rs:59:5:59:10 | ...::max_level(...) |
| test_logging.rs:60:5:60:10 | ...::max_level(...) |
| test_logging.rs:61:5:61:10 | ...::max_level(...) |
| test_logging.rs:64:5:64:8 | ...::max_level(...) |
| test_logging.rs:65:5:65:8 | ...::max_level(...) |
| test_logging.rs:66:5:66:8 | ...::max_level(...) |
| test_logging.rs:67:5:67:8 | ...::max_level(...) |
| test_logging.rs:68:5:68:8 | ...::max_level(...) |
| test_logging.rs:71:5:71:10 | ...::max_level(...) |
| test_logging.rs:72:5:72:10 | ...::max_level(...) |
| test_logging.rs:73:5:73:10 | ...::max_level(...) |
| test_logging.rs:74:5:74:10 | ...::max_level(...) |
| test_logging.rs:75:5:75:10 | ...::max_level(...) |
| test_logging.rs:76:5:76:10 | ...::max_level(...) |
| test_logging.rs:77:5:77:10 | ...::max_level(...) |
| test_logging.rs:77:20:77:36 | password.as_str() |
| test_logging.rs:78:5:78:50 | ...::max_level(...) |
| test_logging.rs:78:5:78:10 | ...::max_level(...) |
| test_logging.rs:78:22:78:38 | password.as_str() |
| test_logging.rs:81:5:81:44 | ...::max_level(...) |
| test_logging.rs:82:5:82:44 | ...::max_level(...) |
| test_logging.rs:83:5:83:47 | ...::max_level(...) |
| test_logging.rs:84:5:84:62 | ...::max_level(...) |
| test_logging.rs:85:5:85:48 | ...::max_level(...) |
| test_logging.rs:86:5:86:44 | ...::max_level(...) |
| test_logging.rs:81:5:81:10 | ...::max_level(...) |
| test_logging.rs:82:5:82:10 | ...::max_level(...) |
| test_logging.rs:83:5:83:10 | ...::max_level(...) |
| test_logging.rs:84:5:84:10 | ...::max_level(...) |
| test_logging.rs:85:5:85:10 | ...::max_level(...) |
| test_logging.rs:86:5:86:10 | ...::max_level(...) |
| test_logging.rs:88:18:88:34 | password.as_str() |
| test_logging.rs:89:5:89:29 | ...::max_level(...) |
| test_logging.rs:90:5:90:31 | ...::max_level(...) |
| test_logging.rs:94:5:94:29 | ...::max_level(...) |
| test_logging.rs:97:5:97:19 | ...::max_level(...) |
| test_logging.rs:100:5:100:19 | ...::max_level(...) |
| test_logging.rs:104:5:104:19 | ...::max_level(...) |
| test_logging.rs:108:5:108:19 | ...::max_level(...) |
| test_logging.rs:112:5:112:50 | ...::max_level(...) |
| test_logging.rs:114:9:114:55 | ...::max_level(...) |
| test_logging.rs:118:5:118:42 | ...::max_level(...) |
| test_logging.rs:121:5:121:33 | ...::max_level(...) |
| test_logging.rs:123:5:123:33 | ...::max_level(...) |
| test_logging.rs:126:5:126:33 | ...::max_level(...) |
| test_logging.rs:130:5:130:32 | ...::max_level(...) |
| test_logging.rs:131:5:131:32 | ...::max_level(...) |
| test_logging.rs:132:5:132:32 | ...::max_level(...) |
| test_logging.rs:133:5:133:33 | ...::max_level(...) |
| test_logging.rs:140:5:140:38 | ...::max_level(...) |
| test_logging.rs:141:5:141:38 | ...::max_level(...) |
| test_logging.rs:142:5:142:29 | ...::max_level(...) |
| test_logging.rs:143:5:143:31 | ...::max_level(...) |
| test_logging.rs:144:5:144:32 | ...::max_level(...) |
| test_logging.rs:150:5:150:38 | ...::max_level(...) |
| test_logging.rs:151:5:151:38 | ...::max_level(...) |
| test_logging.rs:152:5:152:29 | ...::max_level(...) |
| test_logging.rs:153:5:153:31 | ...::max_level(...) |
| test_logging.rs:154:5:154:32 | ...::max_level(...) |
| test_logging.rs:89:5:89:10 | ...::max_level(...) |
| test_logging.rs:90:5:90:10 | ...::max_level(...) |
| test_logging.rs:94:5:94:9 | ...::max_level(...) |
| test_logging.rs:97:5:97:9 | ...::max_level(...) |
| test_logging.rs:100:5:100:9 | ...::max_level(...) |
| test_logging.rs:104:5:104:9 | ...::max_level(...) |
| test_logging.rs:108:5:108:9 | ...::max_level(...) |
| test_logging.rs:112:5:112:9 | ...::max_level(...) |
| test_logging.rs:114:9:114:13 | ...::max_level(...) |
| test_logging.rs:118:5:118:10 | ...::max_level(...) |
| test_logging.rs:121:5:121:10 | ...::max_level(...) |
| test_logging.rs:123:5:123:10 | ...::max_level(...) |
| test_logging.rs:126:5:126:10 | ...::max_level(...) |
| test_logging.rs:130:5:130:10 | ...::max_level(...) |
| test_logging.rs:131:5:131:10 | ...::max_level(...) |
| test_logging.rs:132:5:132:10 | ...::max_level(...) |
| test_logging.rs:133:5:133:10 | ...::max_level(...) |
| test_logging.rs:140:5:140:9 | ...::max_level(...) |
| test_logging.rs:141:5:141:9 | ...::max_level(...) |
| test_logging.rs:142:5:142:9 | ...::max_level(...) |
| test_logging.rs:143:5:143:9 | ...::max_level(...) |
| test_logging.rs:144:5:144:9 | ...::max_level(...) |
| test_logging.rs:150:5:150:9 | ...::max_level(...) |
| test_logging.rs:151:5:151:9 | ...::max_level(...) |
| test_logging.rs:152:5:152:9 | ...::max_level(...) |
| test_logging.rs:153:5:153:9 | ...::max_level(...) |
| test_logging.rs:154:5:154:9 | ...::max_level(...) |
| test_logging.rs:192:12:192:37 | ...::_print(...) |
| test_logging.rs:193:14:193:37 | ...::_print(...) |
| test_logging.rs:194:13:194:38 | ...::_eprint(...) |

358
rust/ql/test/query-tests/security/CWE-312/CleartextLogging.expected
View File

@@ -1,53 +1,53 @@
#select
| test_logging.rs:42:5:42:36 | ...::log | test_logging.rs:42:28:42:35 | password | test_logging.rs:42:5:42:36 | ...::log | This operation writes $@ to a log file. | test_logging.rs:42:28:42:35 | password | password |
| test_logging.rs:43:5:43:36 | ...::log | test_logging.rs:43:28:43:35 | password | test_logging.rs:43:5:43:36 | ...::log | This operation writes $@ to a log file. | test_logging.rs:43:28:43:35 | password | password |
| test_logging.rs:44:5:44:35 | ...::log | test_logging.rs:44:27:44:34 | password | test_logging.rs:44:5:44:35 | ...::log | This operation writes $@ to a log file. | test_logging.rs:44:27:44:34 | password | password |
| test_logging.rs:45:5:45:36 | ...::log | test_logging.rs:45:28:45:35 | password | test_logging.rs:45:5:45:36 | ...::log | This operation writes $@ to a log file. | test_logging.rs:45:28:45:35 | password | password |
| test_logging.rs:46:5:46:35 | ...::log | test_logging.rs:46:27:46:34 | password | test_logging.rs:46:5:46:35 | ...::log | This operation writes $@ to a log file. | test_logging.rs:46:27:46:34 | password | password |
| test_logging.rs:47:5:47:48 | ...::log | test_logging.rs:47:40:47:47 | password | test_logging.rs:47:5:47:48 | ...::log | This operation writes $@ to a log file. | test_logging.rs:47:40:47:47 | password | password |
| test_logging.rs:52:5:52:36 | ...::log | test_logging.rs:52:28:52:35 | password | test_logging.rs:52:5:52:36 | ...::log | This operation writes $@ to a log file. | test_logging.rs:52:28:52:35 | password | password |
| test_logging.rs:54:5:54:49 | ...::log | test_logging.rs:54:41:54:48 | password | test_logging.rs:54:5:54:49 | ...::log | This operation writes $@ to a log file. | test_logging.rs:54:41:54:48 | password | password |
| test_logging.rs:56:5:56:47 | ...::log | test_logging.rs:56:39:56:46 | password | test_logging.rs:56:5:56:47 | ...::log | This operation writes $@ to a log file. | test_logging.rs:56:39:56:46 | password | password |
| test_logging.rs:57:5:57:34 | ...::log | test_logging.rs:57:24:57:31 | password | test_logging.rs:57:5:57:34 | ...::log | This operation writes $@ to a log file. | test_logging.rs:57:24:57:31 | password | password |
| test_logging.rs:58:5:58:36 | ...::log | test_logging.rs:58:24:58:31 | password | test_logging.rs:58:5:58:36 | ...::log | This operation writes $@ to a log file. | test_logging.rs:58:24:58:31 | password | password |
| test_logging.rs:60:5:60:54 | ...::log | test_logging.rs:60:46:60:53 | password | test_logging.rs:60:5:60:54 | ...::log | This operation writes $@ to a log file. | test_logging.rs:60:46:60:53 | password | password |
| test_logging.rs:61:5:61:55 | ...::log | test_logging.rs:61:21:61:28 | password | test_logging.rs:61:5:61:55 | ...::log | This operation writes $@ to a log file. | test_logging.rs:61:21:61:28 | password | password |
| test_logging.rs:65:5:65:48 | ...::log | test_logging.rs:65:40:65:47 | password | test_logging.rs:65:5:65:48 | ...::log | This operation writes $@ to a log file. | test_logging.rs:65:40:65:47 | password | password |
| test_logging.rs:67:5:67:66 | ...::log | test_logging.rs:67:58:67:65 | password | test_logging.rs:67:5:67:66 | ...::log | This operation writes $@ to a log file. | test_logging.rs:67:58:67:65 | password | password |
| test_logging.rs:68:5:68:67 | ...::log | test_logging.rs:68:19:68:26 | password | test_logging.rs:68:5:68:67 | ...::log | This operation writes $@ to a log file. | test_logging.rs:68:19:68:26 | password | password |
| test_logging.rs:72:5:72:47 | ...::log | test_logging.rs:72:39:72:46 | password | test_logging.rs:72:5:72:47 | ...::log | This operation writes $@ to a log file. | test_logging.rs:72:39:72:46 | password | password |
| test_logging.rs:74:5:74:65 | ...::log | test_logging.rs:74:57:74:64 | password | test_logging.rs:74:5:74:65 | ...::log | This operation writes $@ to a log file. | test_logging.rs:74:57:74:64 | password | password |
| test_logging.rs:75:5:75:51 | ...::log | test_logging.rs:75:21:75:28 | password | test_logging.rs:75:5:75:51 | ...::log | This operation writes $@ to a log file. | test_logging.rs:75:21:75:28 | password | password |
| test_logging.rs:76:5:76:47 | ...::log | test_logging.rs:76:39:76:46 | password | test_logging.rs:76:5:76:47 | ...::log | This operation writes $@ to a log file. | test_logging.rs:76:39:76:46 | password | password |
| test_logging.rs:82:5:82:44 | ...::log | test_logging.rs:82:36:82:43 | password | test_logging.rs:82:5:82:44 | ...::log | This operation writes $@ to a log file. | test_logging.rs:82:36:82:43 | password | password |
| test_logging.rs:84:5:84:62 | ...::log | test_logging.rs:84:54:84:61 | password | test_logging.rs:84:5:84:62 | ...::log | This operation writes $@ to a log file. | test_logging.rs:84:54:84:61 | password | password |
| test_logging.rs:85:5:85:48 | ...::log | test_logging.rs:85:21:85:28 | password | test_logging.rs:85:5:85:48 | ...::log | This operation writes $@ to a log file. | test_logging.rs:85:21:85:28 | password | password |
| test_logging.rs:86:5:86:44 | ...::log | test_logging.rs:86:36:86:43 | password | test_logging.rs:86:5:86:44 | ...::log | This operation writes $@ to a log file. | test_logging.rs:86:36:86:43 | password | password |
| test_logging.rs:94:5:94:29 | ...::log | test_logging.rs:93:15:93:22 | password | test_logging.rs:94:5:94:29 | ...::log | This operation writes $@ to a log file. | test_logging.rs:93:15:93:22 | password | password |
| test_logging.rs:97:5:97:19 | ...::log | test_logging.rs:96:42:96:49 | password | test_logging.rs:97:5:97:19 | ...::log | This operation writes $@ to a log file. | test_logging.rs:96:42:96:49 | password | password |
| test_logging.rs:100:5:100:19 | ...::log | test_logging.rs:99:38:99:45 | password | test_logging.rs:100:5:100:19 | ...::log | This operation writes $@ to a log file. | test_logging.rs:99:38:99:45 | password | password |
| test_logging.rs:118:5:118:42 | ...::log | test_logging.rs:118:28:118:41 | get_password(...) | test_logging.rs:118:5:118:42 | ...::log | This operation writes $@ to a log file. | test_logging.rs:118:28:118:41 | get_password(...) | get_password(...) |
| test_logging.rs:131:5:131:32 | ...::log | test_logging.rs:129:25:129:32 | password | test_logging.rs:131:5:131:32 | ...::log | This operation writes $@ to a log file. | test_logging.rs:129:25:129:32 | password | password |
| test_logging.rs:141:5:141:38 | ...::log | test_logging.rs:141:27:141:37 | s1.password | test_logging.rs:141:5:141:38 | ...::log | This operation writes $@ to a log file. | test_logging.rs:141:27:141:37 | s1.password | s1.password |
| test_logging.rs:151:5:151:38 | ...::log | test_logging.rs:151:27:151:37 | s2.password | test_logging.rs:151:5:151:38 | ...::log | This operation writes $@ to a log file. | test_logging.rs:151:27:151:37 | s2.password | s2.password |
| test_logging.rs:42:5:42:10 | ...::log | test_logging.rs:42:28:42:35 | password | test_logging.rs:42:5:42:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:42:28:42:35 | password | password |
| test_logging.rs:43:5:43:10 | ...::log | test_logging.rs:43:28:43:35 | password | test_logging.rs:43:5:43:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:43:28:43:35 | password | password |
| test_logging.rs:44:5:44:9 | ...::log | test_logging.rs:44:27:44:34 | password | test_logging.rs:44:5:44:9 | ...::log | This operation writes $@ to a log file. | test_logging.rs:44:27:44:34 | password | password |
| test_logging.rs:45:5:45:10 | ...::log | test_logging.rs:45:28:45:35 | password | test_logging.rs:45:5:45:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:45:28:45:35 | password | password |
| test_logging.rs:46:5:46:9 | ...::log | test_logging.rs:46:27:46:34 | password | test_logging.rs:46:5:46:9 | ...::log | This operation writes $@ to a log file. | test_logging.rs:46:27:46:34 | password | password |
| test_logging.rs:47:5:47:8 | ...::log | test_logging.rs:47:40:47:47 | password | test_logging.rs:47:5:47:8 | ...::log | This operation writes $@ to a log file. | test_logging.rs:47:40:47:47 | password | password |
| test_logging.rs:52:5:52:10 | ...::log | test_logging.rs:52:28:52:35 | password | test_logging.rs:52:5:52:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:52:28:52:35 | password | password |
| test_logging.rs:54:5:54:10 | ...::log | test_logging.rs:54:41:54:48 | password | test_logging.rs:54:5:54:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:54:41:54:48 | password | password |
| test_logging.rs:56:5:56:10 | ...::log | test_logging.rs:56:39:56:46 | password | test_logging.rs:56:5:56:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:56:39:56:46 | password | password |
| test_logging.rs:57:5:57:10 | ...::log | test_logging.rs:57:24:57:31 | password | test_logging.rs:57:5:57:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:57:24:57:31 | password | password |
| test_logging.rs:58:5:58:10 | ...::log | test_logging.rs:58:24:58:31 | password | test_logging.rs:58:5:58:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:58:24:58:31 | password | password |
| test_logging.rs:60:5:60:10 | ...::log | test_logging.rs:60:46:60:53 | password | test_logging.rs:60:5:60:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:60:46:60:53 | password | password |
| test_logging.rs:61:5:61:10 | ...::log | test_logging.rs:61:21:61:28 | password | test_logging.rs:61:5:61:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:61:21:61:28 | password | password |
| test_logging.rs:65:5:65:8 | ...::log | test_logging.rs:65:40:65:47 | password | test_logging.rs:65:5:65:8 | ...::log | This operation writes $@ to a log file. | test_logging.rs:65:40:65:47 | password | password |
| test_logging.rs:67:5:67:8 | ...::log | test_logging.rs:67:58:67:65 | password | test_logging.rs:67:5:67:8 | ...::log | This operation writes $@ to a log file. | test_logging.rs:67:58:67:65 | password | password |
| test_logging.rs:68:5:68:8 | ...::log | test_logging.rs:68:19:68:26 | password | test_logging.rs:68:5:68:8 | ...::log | This operation writes $@ to a log file. | test_logging.rs:68:19:68:26 | password | password |
| test_logging.rs:72:5:72:10 | ...::log | test_logging.rs:72:39:72:46 | password | test_logging.rs:72:5:72:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:72:39:72:46 | password | password |
| test_logging.rs:74:5:74:10 | ...::log | test_logging.rs:74:57:74:64 | password | test_logging.rs:74:5:74:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:74:57:74:64 | password | password |
| test_logging.rs:75:5:75:10 | ...::log | test_logging.rs:75:21:75:28 | password | test_logging.rs:75:5:75:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:75:21:75:28 | password | password |
| test_logging.rs:76:5:76:10 | ...::log | test_logging.rs:76:39:76:46 | password | test_logging.rs:76:5:76:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:76:39:76:46 | password | password |
| test_logging.rs:82:5:82:10 | ...::log | test_logging.rs:82:36:82:43 | password | test_logging.rs:82:5:82:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:82:36:82:43 | password | password |
| test_logging.rs:84:5:84:10 | ...::log | test_logging.rs:84:54:84:61 | password | test_logging.rs:84:5:84:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:84:54:84:61 | password | password |
| test_logging.rs:85:5:85:10 | ...::log | test_logging.rs:85:21:85:28 | password | test_logging.rs:85:5:85:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:85:21:85:28 | password | password |
| test_logging.rs:86:5:86:10 | ...::log | test_logging.rs:86:36:86:43 | password | test_logging.rs:86:5:86:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:86:36:86:43 | password | password |
| test_logging.rs:94:5:94:9 | ...::log | test_logging.rs:93:15:93:22 | password | test_logging.rs:94:5:94:9 | ...::log | This operation writes $@ to a log file. | test_logging.rs:93:15:93:22 | password | password |
| test_logging.rs:97:5:97:9 | ...::log | test_logging.rs:96:42:96:49 | password | test_logging.rs:97:5:97:9 | ...::log | This operation writes $@ to a log file. | test_logging.rs:96:42:96:49 | password | password |
| test_logging.rs:100:5:100:9 | ...::log | test_logging.rs:99:38:99:45 | password | test_logging.rs:100:5:100:9 | ...::log | This operation writes $@ to a log file. | test_logging.rs:99:38:99:45 | password | password |
| test_logging.rs:118:5:118:10 | ...::log | test_logging.rs:118:28:118:41 | get_password(...) | test_logging.rs:118:5:118:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:118:28:118:41 | get_password(...) | get_password(...) |
| test_logging.rs:131:5:131:10 | ...::log | test_logging.rs:129:25:129:32 | password | test_logging.rs:131:5:131:10 | ...::log | This operation writes $@ to a log file. | test_logging.rs:129:25:129:32 | password | password |
| test_logging.rs:141:5:141:9 | ...::log | test_logging.rs:141:27:141:37 | s1.password | test_logging.rs:141:5:141:9 | ...::log | This operation writes $@ to a log file. | test_logging.rs:141:27:141:37 | s1.password | s1.password |
| test_logging.rs:151:5:151:9 | ...::log | test_logging.rs:151:27:151:37 | s2.password | test_logging.rs:151:5:151:9 | ...::log | This operation writes $@ to a log file. | test_logging.rs:151:27:151:37 | s2.password | s2.password |
| test_logging.rs:176:22:176:31 | log_expect | test_logging.rs:176:70:176:78 | password2 | test_logging.rs:176:22:176:31 | log_expect | This operation writes $@ to a log file. | test_logging.rs:176:70:176:78 | password2 | password2 |
| test_logging.rs:180:24:180:33 | log_expect | test_logging.rs:180:72:180:80 | password2 | test_logging.rs:180:24:180:33 | log_expect | This operation writes $@ to a log file. | test_logging.rs:180:72:180:80 | password2 | password2 |
| test_logging.rs:184:25:184:34 | log_expect | test_logging.rs:183:51:183:59 | password2 | test_logging.rs:184:25:184:34 | log_expect | This operation writes $@ to a log file. | test_logging.rs:183:51:183:59 | password2 | password2 |
| test_logging.rs:188:25:188:34 | log_unwrap | test_logging.rs:187:51:187:59 | password2 | test_logging.rs:188:25:188:34 | log_unwrap | This operation writes $@ to a log file. | test_logging.rs:187:51:187:59 | password2 | password2 |
| test_logging.rs:192:5:192:38 | ...::_print | test_logging.rs:192:30:192:37 | password | test_logging.rs:192:5:192:38 | ...::_print | This operation writes $@ to a log file. | test_logging.rs:192:30:192:37 | password | password |
| test_logging.rs:193:5:193:38 | ...::_print | test_logging.rs:193:30:193:37 | password | test_logging.rs:193:5:193:38 | ...::_print | This operation writes $@ to a log file. | test_logging.rs:193:30:193:37 | password | password |
| test_logging.rs:194:5:194:39 | ...::_eprint | test_logging.rs:194:31:194:38 | password | test_logging.rs:194:5:194:39 | ...::_eprint | This operation writes $@ to a log file. | test_logging.rs:194:31:194:38 | password | password |
| test_logging.rs:195:5:195:39 | ...::_eprint | test_logging.rs:195:31:195:38 | password | test_logging.rs:195:5:195:39 | ...::_eprint | This operation writes $@ to a log file. | test_logging.rs:195:31:195:38 | password | password |
| test_logging.rs:199:13:199:44 | ...::panic_fmt | test_logging.rs:199:36:199:43 | password | test_logging.rs:199:13:199:44 | ...::panic_fmt | This operation writes $@ to a log file. | test_logging.rs:199:36:199:43 | password | password |
| test_logging.rs:202:13:202:43 | ...::panic_fmt | test_logging.rs:202:35:202:42 | password | test_logging.rs:202:13:202:43 | ...::panic_fmt | This operation writes $@ to a log file. | test_logging.rs:202:35:202:42 | password | password |
| test_logging.rs:205:13:205:52 | ...::panic_fmt | test_logging.rs:205:44:205:51 | password | test_logging.rs:205:13:205:52 | ...::panic_fmt | This operation writes $@ to a log file. | test_logging.rs:205:44:205:51 | password | password |
| test_logging.rs:208:13:208:50 | ...::panic_fmt | test_logging.rs:208:42:208:49 | password | test_logging.rs:208:13:208:50 | ...::panic_fmt | This operation writes $@ to a log file. | test_logging.rs:208:42:208:49 | password | password |
| test_logging.rs:211:13:211:52 | ...::panic_fmt | test_logging.rs:211:44:211:51 | password | test_logging.rs:211:13:211:52 | ...::panic_fmt | This operation writes $@ to a log file. | test_logging.rs:211:44:211:51 | password | password |
| test_logging.rs:214:13:214:54 | ...::assert_failed | test_logging.rs:214:46:214:53 | password | test_logging.rs:214:13:214:54 | ...::assert_failed | This operation writes $@ to a log file. | test_logging.rs:214:46:214:53 | password | password |
| test_logging.rs:217:13:217:54 | ...::assert_failed | test_logging.rs:217:46:217:53 | password | test_logging.rs:217:13:217:54 | ...::assert_failed | This operation writes $@ to a log file. | test_logging.rs:217:46:217:53 | password | password |
| test_logging.rs:220:13:220:58 | ...::panic_fmt | test_logging.rs:220:50:220:57 | password | test_logging.rs:220:13:220:58 | ...::panic_fmt | This operation writes $@ to a log file. | test_logging.rs:220:50:220:57 | password | password |
| test_logging.rs:223:13:223:60 | ...::assert_failed | test_logging.rs:223:52:223:59 | password | test_logging.rs:223:13:223:60 | ...::assert_failed | This operation writes $@ to a log file. | test_logging.rs:223:52:223:59 | password | password |
| test_logging.rs:226:13:226:60 | ...::assert_failed | test_logging.rs:226:52:226:59 | password | test_logging.rs:226:13:226:60 | ...::assert_failed | This operation writes $@ to a log file. | test_logging.rs:226:52:226:59 | password | password |
| test_logging.rs:192:5:192:10 | ...::_print | test_logging.rs:192:30:192:37 | password | test_logging.rs:192:5:192:10 | ...::_print | This operation writes $@ to a log file. | test_logging.rs:192:30:192:37 | password | password |
| test_logging.rs:193:5:193:12 | ...::_print | test_logging.rs:193:30:193:37 | password | test_logging.rs:193:5:193:12 | ...::_print | This operation writes $@ to a log file. | test_logging.rs:193:30:193:37 | password | password |
| test_logging.rs:194:5:194:11 | ...::_eprint | test_logging.rs:194:31:194:38 | password | test_logging.rs:194:5:194:11 | ...::_eprint | This operation writes $@ to a log file. | test_logging.rs:194:31:194:38 | password | password |
| test_logging.rs:195:5:195:13 | ...::_eprint | test_logging.rs:195:31:195:38 | password | test_logging.rs:195:5:195:13 | ...::_eprint | This operation writes $@ to a log file. | test_logging.rs:195:31:195:38 | password | password |
| test_logging.rs:199:13:199:18 | ...::panic_fmt | test_logging.rs:199:36:199:43 | password | test_logging.rs:199:13:199:18 | ...::panic_fmt | This operation writes $@ to a log file. | test_logging.rs:199:36:199:43 | password | password |
| test_logging.rs:202:13:202:17 | ...::panic_fmt | test_logging.rs:202:35:202:42 | password | test_logging.rs:202:13:202:17 | ...::panic_fmt | This operation writes $@ to a log file. | test_logging.rs:202:35:202:42 | password | password |
| test_logging.rs:205:13:205:26 | ...::panic_fmt | test_logging.rs:205:44:205:51 | password | test_logging.rs:205:13:205:26 | ...::panic_fmt | This operation writes $@ to a log file. | test_logging.rs:205:44:205:51 | password | password |
| test_logging.rs:208:13:208:24 | ...::panic_fmt | test_logging.rs:208:42:208:49 | password | test_logging.rs:208:13:208:24 | ...::panic_fmt | This operation writes $@ to a log file. | test_logging.rs:208:42:208:49 | password | password |
| test_logging.rs:211:13:211:19 | ...::panic_fmt | test_logging.rs:211:44:211:51 | password | test_logging.rs:211:13:211:19 | ...::panic_fmt | This operation writes $@ to a log file. | test_logging.rs:211:44:211:51 | password | password |
| test_logging.rs:214:13:214:22 | ...::assert_failed | test_logging.rs:214:46:214:53 | password | test_logging.rs:214:13:214:22 | ...::assert_failed | This operation writes $@ to a log file. | test_logging.rs:214:46:214:53 | password | password |
| test_logging.rs:217:13:217:22 | ...::assert_failed | test_logging.rs:217:46:217:53 | password | test_logging.rs:217:13:217:22 | ...::assert_failed | This operation writes $@ to a log file. | test_logging.rs:217:46:217:53 | password | password |
| test_logging.rs:220:13:220:25 | ...::panic_fmt | test_logging.rs:220:50:220:57 | password | test_logging.rs:220:13:220:25 | ...::panic_fmt | This operation writes $@ to a log file. | test_logging.rs:220:50:220:57 | password | password |
| test_logging.rs:223:13:223:28 | ...::assert_failed | test_logging.rs:223:52:223:59 | password | test_logging.rs:223:13:223:28 | ...::assert_failed | This operation writes $@ to a log file. | test_logging.rs:223:52:223:59 | password | password |
| test_logging.rs:226:13:226:28 | ...::assert_failed | test_logging.rs:226:52:226:59 | password | test_logging.rs:226:13:226:28 | ...::assert_failed | This operation writes $@ to a log file. | test_logging.rs:226:52:226:59 | password | password |
| test_logging.rs:229:23:229:28 | expect | test_logging.rs:229:54:229:61 | password | test_logging.rs:229:23:229:28 | expect | This operation writes $@ to a log file. | test_logging.rs:229:54:229:61 | password | password |
| test_logging.rs:229:23:229:28 | expect | test_logging.rs:229:54:229:61 | password | test_logging.rs:229:23:229:28 | expect | This operation writes $@ to a log file. | test_logging.rs:229:54:229:61 | password | password |
| test_logging.rs:242:10:242:14 | write | test_logging.rs:242:42:242:49 | password | test_logging.rs:242:10:242:14 | write | This operation writes $@ to a log file. | test_logging.rs:242:42:242:49 | password | password |
@@ -55,126 +55,126 @@
| test_logging.rs:248:9:248:13 | write | test_logging.rs:248:41:248:48 | password | test_logging.rs:248:9:248:13 | write | This operation writes $@ to a log file. | test_logging.rs:248:41:248:48 | password | password |
| test_logging.rs:251:9:251:13 | write | test_logging.rs:251:41:251:48 | password | test_logging.rs:251:9:251:13 | write | This operation writes $@ to a log file. | test_logging.rs:251:41:251:48 | password | password |
edges
| test_logging.rs:42:12:42:35 | MacroExpr | test_logging.rs:42:5:42:36 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:42:12:42:35 | MacroExpr | test_logging.rs:42:5:42:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:42:28:42:35 | password | test_logging.rs:42:12:42:35 | MacroExpr | provenance | |
| test_logging.rs:43:12:43:35 | MacroExpr | test_logging.rs:43:5:43:36 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:43:12:43:35 | MacroExpr | test_logging.rs:43:5:43:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:43:28:43:35 | password | test_logging.rs:43:12:43:35 | MacroExpr | provenance | |
| test_logging.rs:44:11:44:34 | MacroExpr | test_logging.rs:44:5:44:35 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:44:11:44:34 | MacroExpr | test_logging.rs:44:5:44:9 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:44:27:44:34 | password | test_logging.rs:44:11:44:34 | MacroExpr | provenance | |
| test_logging.rs:45:12:45:35 | MacroExpr | test_logging.rs:45:5:45:36 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:45:12:45:35 | MacroExpr | test_logging.rs:45:5:45:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:45:28:45:35 | password | test_logging.rs:45:12:45:35 | MacroExpr | provenance | |
| test_logging.rs:46:11:46:34 | MacroExpr | test_logging.rs:46:5:46:35 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:46:11:46:34 | MacroExpr | test_logging.rs:46:5:46:9 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:46:27:46:34 | password | test_logging.rs:46:11:46:34 | MacroExpr | provenance | |
| test_logging.rs:47:24:47:47 | MacroExpr | test_logging.rs:47:5:47:48 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:47:24:47:47 | MacroExpr | test_logging.rs:47:5:47:8 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:47:40:47:47 | password | test_logging.rs:47:24:47:47 | MacroExpr | provenance | |
| test_logging.rs:52:12:52:35 | MacroExpr | test_logging.rs:52:5:52:36 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:52:12:52:35 | MacroExpr | test_logging.rs:52:5:52:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:52:28:52:35 | password | test_logging.rs:52:12:52:35 | MacroExpr | provenance | |
| test_logging.rs:54:12:54:48 | MacroExpr | test_logging.rs:54:5:54:49 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:54:12:54:48 | MacroExpr | test_logging.rs:54:5:54:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:54:41:54:48 | password | test_logging.rs:54:12:54:48 | MacroExpr | provenance | |
| test_logging.rs:56:12:56:46 | MacroExpr | test_logging.rs:56:5:56:47 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:56:12:56:46 | MacroExpr | test_logging.rs:56:5:56:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:56:39:56:46 | password | test_logging.rs:56:12:56:46 | MacroExpr | provenance | |
| test_logging.rs:57:12:57:33 | MacroExpr | test_logging.rs:57:5:57:34 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:57:12:57:33 | MacroExpr | test_logging.rs:57:5:57:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:57:24:57:31 | password | test_logging.rs:57:12:57:33 | MacroExpr | provenance | |
| test_logging.rs:58:12:58:35 | MacroExpr | test_logging.rs:58:5:58:36 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:58:12:58:35 | MacroExpr | test_logging.rs:58:5:58:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:58:24:58:31 | password | test_logging.rs:58:12:58:35 | MacroExpr | provenance | |
| test_logging.rs:60:30:60:53 | MacroExpr | test_logging.rs:60:5:60:54 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:60:30:60:53 | MacroExpr | test_logging.rs:60:5:60:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:60:46:60:53 | password | test_logging.rs:60:30:60:53 | MacroExpr | provenance | |
| test_logging.rs:61:20:61:28 | &... [&ref, tuple.0, &ref] | test_logging.rs:61:5:61:55 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:61:20:61:28 | &... [&ref, tuple.0, &ref] | test_logging.rs:61:5:61:55 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:61:20:61:28 | &... [&ref, tuple.0] | test_logging.rs:61:5:61:55 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:61:20:61:28 | &... [&ref, tuple.0, &ref] | test_logging.rs:61:5:61:10 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:61:20:61:28 | &... [&ref, tuple.0, &ref] | test_logging.rs:61:5:61:10 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:61:20:61:28 | &... [&ref, tuple.0] | test_logging.rs:61:5:61:10 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:61:20:61:28 | &password | test_logging.rs:61:20:61:28 | TupleExpr [tuple.0] | provenance | |
| test_logging.rs:61:20:61:28 | &password [&ref] | test_logging.rs:61:20:61:28 | TupleExpr [tuple.0, &ref] | provenance | |
| test_logging.rs:61:20:61:28 | TupleExpr [tuple.0, &ref] | test_logging.rs:61:20:61:28 | &... [&ref, tuple.0, &ref] | provenance | |
| test_logging.rs:61:20:61:28 | TupleExpr [tuple.0] | test_logging.rs:61:20:61:28 | &... [&ref, tuple.0] | provenance | |
| test_logging.rs:61:21:61:28 | password | test_logging.rs:61:20:61:28 | &password | provenance | Config |
| test_logging.rs:61:21:61:28 | password | test_logging.rs:61:20:61:28 | &password [&ref] | provenance | |
| test_logging.rs:65:24:65:47 | MacroExpr | test_logging.rs:65:5:65:48 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:65:24:65:47 | MacroExpr | test_logging.rs:65:5:65:8 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:65:40:65:47 | password | test_logging.rs:65:24:65:47 | MacroExpr | provenance | |
| test_logging.rs:67:42:67:65 | MacroExpr | test_logging.rs:67:5:67:66 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:67:42:67:65 | MacroExpr | test_logging.rs:67:5:67:8 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:67:58:67:65 | password | test_logging.rs:67:42:67:65 | MacroExpr | provenance | |
| test_logging.rs:68:18:68:26 | &... [&ref, tuple.0, &ref] | test_logging.rs:68:5:68:67 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:68:18:68:26 | &... [&ref, tuple.0, &ref] | test_logging.rs:68:5:68:67 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:68:18:68:26 | &... [&ref, tuple.0] | test_logging.rs:68:5:68:67 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:68:18:68:26 | &... [&ref, tuple.0, &ref] | test_logging.rs:68:5:68:8 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:68:18:68:26 | &... [&ref, tuple.0, &ref] | test_logging.rs:68:5:68:8 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:68:18:68:26 | &... [&ref, tuple.0] | test_logging.rs:68:5:68:8 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:68:18:68:26 | &password | test_logging.rs:68:18:68:26 | TupleExpr [tuple.0] | provenance | |
| test_logging.rs:68:18:68:26 | &password [&ref] | test_logging.rs:68:18:68:26 | TupleExpr [tuple.0, &ref] | provenance | |
| test_logging.rs:68:18:68:26 | TupleExpr [tuple.0, &ref] | test_logging.rs:68:18:68:26 | &... [&ref, tuple.0, &ref] | provenance | |
| test_logging.rs:68:18:68:26 | TupleExpr [tuple.0] | test_logging.rs:68:18:68:26 | &... [&ref, tuple.0] | provenance | |
| test_logging.rs:68:19:68:26 | password | test_logging.rs:68:18:68:26 | &password | provenance | Config |
| test_logging.rs:68:19:68:26 | password | test_logging.rs:68:18:68:26 | &password [&ref] | provenance | |
| test_logging.rs:72:23:72:46 | MacroExpr | test_logging.rs:72:5:72:47 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:72:23:72:46 | MacroExpr | test_logging.rs:72:5:72:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:72:39:72:46 | password | test_logging.rs:72:23:72:46 | MacroExpr | provenance | |
| test_logging.rs:74:41:74:64 | MacroExpr | test_logging.rs:74:5:74:65 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:74:41:74:64 | MacroExpr | test_logging.rs:74:5:74:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:74:57:74:64 | password | test_logging.rs:74:41:74:64 | MacroExpr | provenance | |
| test_logging.rs:75:20:75:28 | &... [&ref, tuple.0, &ref] | test_logging.rs:75:5:75:51 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:75:20:75:28 | &... [&ref, tuple.0, &ref] | test_logging.rs:75:5:75:51 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:75:20:75:28 | &... [&ref, tuple.0] | test_logging.rs:75:5:75:51 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:75:20:75:28 | &... [&ref, tuple.0, &ref] | test_logging.rs:75:5:75:10 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:75:20:75:28 | &... [&ref, tuple.0, &ref] | test_logging.rs:75:5:75:10 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:75:20:75:28 | &... [&ref, tuple.0] | test_logging.rs:75:5:75:10 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:75:20:75:28 | &password | test_logging.rs:75:20:75:28 | TupleExpr [tuple.0] | provenance | |
| test_logging.rs:75:20:75:28 | &password [&ref] | test_logging.rs:75:20:75:28 | TupleExpr [tuple.0, &ref] | provenance | |
| test_logging.rs:75:20:75:28 | TupleExpr [tuple.0, &ref] | test_logging.rs:75:20:75:28 | &... [&ref, tuple.0, &ref] | provenance | |
| test_logging.rs:75:20:75:28 | TupleExpr [tuple.0] | test_logging.rs:75:20:75:28 | &... [&ref, tuple.0] | provenance | |
| test_logging.rs:75:21:75:28 | password | test_logging.rs:75:20:75:28 | &password | provenance | Config |
| test_logging.rs:75:21:75:28 | password | test_logging.rs:75:20:75:28 | &password [&ref] | provenance | |
| test_logging.rs:76:23:76:46 | MacroExpr | test_logging.rs:76:5:76:47 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:76:23:76:46 | MacroExpr | test_logging.rs:76:5:76:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:76:39:76:46 | password | test_logging.rs:76:23:76:46 | MacroExpr | provenance | |
| test_logging.rs:82:20:82:43 | MacroExpr | test_logging.rs:82:5:82:44 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:82:20:82:43 | MacroExpr | test_logging.rs:82:5:82:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:82:36:82:43 | password | test_logging.rs:82:20:82:43 | MacroExpr | provenance | |
| test_logging.rs:84:38:84:61 | MacroExpr | test_logging.rs:84:5:84:62 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:84:38:84:61 | MacroExpr | test_logging.rs:84:5:84:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:84:54:84:61 | password | test_logging.rs:84:38:84:61 | MacroExpr | provenance | |
| test_logging.rs:85:20:85:28 | &... [&ref, tuple.0, &ref] | test_logging.rs:85:5:85:48 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:85:20:85:28 | &... [&ref, tuple.0, &ref] | test_logging.rs:85:5:85:48 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:85:20:85:28 | &... [&ref, tuple.0] | test_logging.rs:85:5:85:48 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:85:20:85:28 | &... [&ref, tuple.0, &ref] | test_logging.rs:85:5:85:10 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:85:20:85:28 | &... [&ref, tuple.0, &ref] | test_logging.rs:85:5:85:10 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:85:20:85:28 | &... [&ref, tuple.0] | test_logging.rs:85:5:85:10 | ...::log | provenance | MaD:13 Sink:MaD:13 Sink:MaD:13 |
| test_logging.rs:85:20:85:28 | &password | test_logging.rs:85:20:85:28 | TupleExpr [tuple.0] | provenance | |
| test_logging.rs:85:20:85:28 | &password [&ref] | test_logging.rs:85:20:85:28 | TupleExpr [tuple.0, &ref] | provenance | |
| test_logging.rs:85:20:85:28 | TupleExpr [tuple.0, &ref] | test_logging.rs:85:20:85:28 | &... [&ref, tuple.0, &ref] | provenance | |
| test_logging.rs:85:20:85:28 | TupleExpr [tuple.0] | test_logging.rs:85:20:85:28 | &... [&ref, tuple.0] | provenance | |
| test_logging.rs:85:21:85:28 | password | test_logging.rs:85:20:85:28 | &password | provenance | Config |
| test_logging.rs:85:21:85:28 | password | test_logging.rs:85:20:85:28 | &password [&ref] | provenance | |
| test_logging.rs:86:20:86:43 | MacroExpr | test_logging.rs:86:5:86:44 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:86:20:86:43 | MacroExpr | test_logging.rs:86:5:86:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:86:36:86:43 | password | test_logging.rs:86:20:86:43 | MacroExpr | provenance | |
| test_logging.rs:93:9:93:10 | m1 | test_logging.rs:94:11:94:28 | MacroExpr | provenance | |
| test_logging.rs:93:14:93:22 | &password | test_logging.rs:93:9:93:10 | m1 | provenance | |
| test_logging.rs:93:15:93:22 | password | test_logging.rs:93:14:93:22 | &password | provenance | Config |
| test_logging.rs:94:11:94:28 | MacroExpr | test_logging.rs:94:5:94:29 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:94:11:94:28 | MacroExpr | test_logging.rs:94:5:94:9 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:96:9:96:10 | m2 | test_logging.rs:97:11:97:18 | MacroExpr | provenance | |
| test_logging.rs:96:41:96:49 | &password | test_logging.rs:96:9:96:10 | m2 | provenance | |
| test_logging.rs:96:42:96:49 | password | test_logging.rs:96:41:96:49 | &password | provenance | Config |
| test_logging.rs:97:11:97:18 | MacroExpr | test_logging.rs:97:5:97:19 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:97:11:97:18 | MacroExpr | test_logging.rs:97:5:97:9 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:99:9:99:10 | m3 | test_logging.rs:100:11:100:18 | MacroExpr | provenance | |
| test_logging.rs:99:14:99:46 | res | test_logging.rs:99:22:99:45 | { ... } | provenance | |
| test_logging.rs:99:22:99:45 | ...::format(...) | test_logging.rs:99:14:99:46 | res | provenance | |
| test_logging.rs:99:14:99:20 | res | test_logging.rs:99:22:99:45 | { ... } | provenance | |
| test_logging.rs:99:22:99:45 | ...::format(...) | test_logging.rs:99:14:99:20 | res | provenance | |
| test_logging.rs:99:22:99:45 | ...::must_use(...) | test_logging.rs:99:9:99:10 | m3 | provenance | |
| test_logging.rs:99:22:99:45 | MacroExpr | test_logging.rs:99:22:99:45 | ...::format(...) | provenance | MaD:21 |
| test_logging.rs:99:22:99:45 | { ... } | test_logging.rs:99:22:99:45 | ...::must_use(...) | provenance | MaD:22 |
| test_logging.rs:99:38:99:45 | password | test_logging.rs:99:22:99:45 | MacroExpr | provenance | |
| test_logging.rs:100:11:100:18 | MacroExpr | test_logging.rs:100:5:100:19 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:118:12:118:41 | MacroExpr | test_logging.rs:118:5:118:42 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:100:11:100:18 | MacroExpr | test_logging.rs:100:5:100:9 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:118:12:118:41 | MacroExpr | test_logging.rs:118:5:118:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:118:28:118:41 | get_password(...) | test_logging.rs:118:12:118:41 | MacroExpr | provenance | |
| test_logging.rs:129:9:129:10 | t1 [tuple.1] | test_logging.rs:131:28:131:29 | t1 [tuple.1] | provenance | |
| test_logging.rs:129:14:129:33 | TupleExpr [tuple.1] | test_logging.rs:129:9:129:10 | t1 [tuple.1] | provenance | |
| test_logging.rs:129:25:129:32 | password | test_logging.rs:129:14:129:33 | TupleExpr [tuple.1] | provenance | |
| test_logging.rs:131:12:131:31 | MacroExpr | test_logging.rs:131:5:131:32 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:131:12:131:31 | MacroExpr | test_logging.rs:131:5:131:10 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:131:28:131:29 | t1 [tuple.1] | test_logging.rs:131:28:131:31 | t1.1 | provenance | |
| test_logging.rs:131:28:131:31 | t1.1 | test_logging.rs:131:12:131:31 | MacroExpr | provenance | |
| test_logging.rs:141:11:141:37 | MacroExpr | test_logging.rs:141:5:141:38 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:141:11:141:37 | MacroExpr | test_logging.rs:141:5:141:9 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:141:27:141:37 | s1.password | test_logging.rs:141:11:141:37 | MacroExpr | provenance | |
| test_logging.rs:151:11:151:37 | MacroExpr | test_logging.rs:151:5:151:38 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:151:11:151:37 | MacroExpr | test_logging.rs:151:5:151:9 | ...::log | provenance | MaD:12 Sink:MaD:12 |
| test_logging.rs:151:27:151:37 | s2.password | test_logging.rs:151:11:151:37 | MacroExpr | provenance | |
| test_logging.rs:176:33:176:79 | &... | test_logging.rs:176:22:176:31 | log_expect | provenance | MaD:1 Sink:MaD:1 |
| test_logging.rs:176:33:176:79 | &... [&ref] | test_logging.rs:176:22:176:31 | log_expect | provenance | MaD:1 Sink:MaD:1 |
| test_logging.rs:176:34:176:40 | res | test_logging.rs:176:42:176:78 | { ... } | provenance | |
| test_logging.rs:176:34:176:79 | MacroExpr | test_logging.rs:176:33:176:79 | &... | provenance | Config |
| test_logging.rs:176:34:176:79 | MacroExpr | test_logging.rs:176:33:176:79 | &... [&ref] | provenance | |
| test_logging.rs:176:34:176:79 | res | test_logging.rs:176:42:176:78 | { ... } | provenance | |
| test_logging.rs:176:42:176:78 | ...::format(...) | test_logging.rs:176:34:176:79 | res | provenance | |
| test_logging.rs:176:42:176:78 | ...::format(...) | test_logging.rs:176:34:176:40 | res | provenance | |
| test_logging.rs:176:42:176:78 | ...::must_use(...) | test_logging.rs:176:34:176:79 | MacroExpr | provenance | |
| test_logging.rs:176:42:176:78 | MacroExpr | test_logging.rs:176:42:176:78 | ...::format(...) | provenance | MaD:21 |
| test_logging.rs:176:42:176:78 | { ... } | test_logging.rs:176:42:176:78 | ...::must_use(...) | provenance | MaD:22 |
| test_logging.rs:176:70:176:78 | password2 | test_logging.rs:176:42:176:78 | MacroExpr | provenance | |
| test_logging.rs:180:35:180:81 | &... | test_logging.rs:180:24:180:33 | log_expect | provenance | MaD:3 Sink:MaD:3 |
| test_logging.rs:180:35:180:81 | &... [&ref] | test_logging.rs:180:24:180:33 | log_expect | provenance | MaD:3 Sink:MaD:3 |
| test_logging.rs:180:36:180:42 | res | test_logging.rs:180:44:180:80 | { ... } | provenance | |
| test_logging.rs:180:36:180:81 | MacroExpr | test_logging.rs:180:35:180:81 | &... | provenance | Config |
| test_logging.rs:180:36:180:81 | MacroExpr | test_logging.rs:180:35:180:81 | &... [&ref] | provenance | |
| test_logging.rs:180:36:180:81 | res | test_logging.rs:180:44:180:80 | { ... } | provenance | |
| test_logging.rs:180:44:180:80 | ...::format(...) | test_logging.rs:180:36:180:81 | res | provenance | |
| test_logging.rs:180:44:180:80 | ...::format(...) | test_logging.rs:180:36:180:42 | res | provenance | |
| test_logging.rs:180:44:180:80 | ...::must_use(...) | test_logging.rs:180:36:180:81 | MacroExpr | provenance | |
| test_logging.rs:180:44:180:80 | MacroExpr | test_logging.rs:180:44:180:80 | ...::format(...) | provenance | MaD:21 |
| test_logging.rs:180:44:180:80 | { ... } | test_logging.rs:180:44:180:80 | ...::must_use(...) | provenance | MaD:22 |
@@ -188,55 +188,55 @@ edges
| test_logging.rs:187:47:187:60 | Err(...) [Err] | test_logging.rs:187:9:187:19 | err_result3 [Err] | provenance | |
| test_logging.rs:187:51:187:59 | password2 | test_logging.rs:187:47:187:60 | Err(...) [Err] | provenance | |
| test_logging.rs:188:13:188:23 | err_result3 [Err] | test_logging.rs:188:25:188:34 | log_unwrap | provenance | MaD:5 Sink:MaD:5 |
| test_logging.rs:192:12:192:37 | MacroExpr | test_logging.rs:192:5:192:38 | ...::_print | provenance | MaD:15 Sink:MaD:15 |
| test_logging.rs:192:12:192:37 | MacroExpr | test_logging.rs:192:5:192:10 | ...::_print | provenance | MaD:15 Sink:MaD:15 |
| test_logging.rs:192:30:192:37 | password | test_logging.rs:192:12:192:37 | MacroExpr | provenance | |
| test_logging.rs:193:14:193:37 | MacroExpr | test_logging.rs:193:5:193:38 | ...::_print | provenance | MaD:15 Sink:MaD:15 |
| test_logging.rs:193:14:193:37 | MacroExpr | test_logging.rs:193:5:193:12 | ...::_print | provenance | MaD:15 Sink:MaD:15 |
| test_logging.rs:193:30:193:37 | password | test_logging.rs:193:14:193:37 | MacroExpr | provenance | |
| test_logging.rs:194:13:194:38 | MacroExpr | test_logging.rs:194:5:194:39 | ...::_eprint | provenance | MaD:14 Sink:MaD:14 |
| test_logging.rs:194:13:194:38 | MacroExpr | test_logging.rs:194:5:194:11 | ...::_eprint | provenance | MaD:14 Sink:MaD:14 |
| test_logging.rs:194:31:194:38 | password | test_logging.rs:194:13:194:38 | MacroExpr | provenance | |
| test_logging.rs:195:15:195:38 | MacroExpr | test_logging.rs:195:5:195:39 | ...::_eprint | provenance | MaD:14 Sink:MaD:14 |
| test_logging.rs:195:15:195:38 | MacroExpr | test_logging.rs:195:5:195:13 | ...::_eprint | provenance | MaD:14 Sink:MaD:14 |
| test_logging.rs:195:31:195:38 | password | test_logging.rs:195:15:195:38 | MacroExpr | provenance | |
| test_logging.rs:199:20:199:43 | MacroExpr | test_logging.rs:199:13:199:44 | ...::panic_fmt | provenance | MaD:11 Sink:MaD:11 |
| test_logging.rs:199:20:199:43 | MacroExpr | test_logging.rs:199:13:199:18 | ...::panic_fmt | provenance | MaD:11 Sink:MaD:11 |
| test_logging.rs:199:36:199:43 | password | test_logging.rs:199:20:199:43 | MacroExpr | provenance | |
| test_logging.rs:202:19:202:42 | MacroExpr | test_logging.rs:202:13:202:43 | ...::panic_fmt | provenance | MaD:11 Sink:MaD:11 |
| test_logging.rs:202:19:202:42 | MacroExpr | test_logging.rs:202:13:202:17 | ...::panic_fmt | provenance | MaD:11 Sink:MaD:11 |
| test_logging.rs:202:35:202:42 | password | test_logging.rs:202:19:202:42 | MacroExpr | provenance | |
| test_logging.rs:205:28:205:51 | MacroExpr | test_logging.rs:205:13:205:52 | ...::panic_fmt | provenance | MaD:11 Sink:MaD:11 |
| test_logging.rs:205:28:205:51 | MacroExpr | test_logging.rs:205:13:205:26 | ...::panic_fmt | provenance | MaD:11 Sink:MaD:11 |
| test_logging.rs:205:44:205:51 | password | test_logging.rs:205:28:205:51 | MacroExpr | provenance | |
| test_logging.rs:208:26:208:49 | MacroExpr | test_logging.rs:208:13:208:50 | ...::panic_fmt | provenance | MaD:11 Sink:MaD:11 |
| test_logging.rs:208:26:208:49 | MacroExpr | test_logging.rs:208:13:208:24 | ...::panic_fmt | provenance | MaD:11 Sink:MaD:11 |
| test_logging.rs:208:42:208:49 | password | test_logging.rs:208:26:208:49 | MacroExpr | provenance | |
| test_logging.rs:211:28:211:51 | MacroExpr | test_logging.rs:211:13:211:52 | ...::panic_fmt | provenance | MaD:11 Sink:MaD:11 |
| test_logging.rs:211:28:211:51 | MacroExpr | test_logging.rs:211:13:211:19 | ...::panic_fmt | provenance | MaD:11 Sink:MaD:11 |
| test_logging.rs:211:44:211:51 | password | test_logging.rs:211:28:211:51 | MacroExpr | provenance | |
| test_logging.rs:214:13:214:54 | ...::assert_failed [Some] | test_logging.rs:214:13:214:54 | ...::assert_failed | provenance | Sink:MaD:9 |
| test_logging.rs:214:30:214:53 | ...::Some(...) [Some] | test_logging.rs:214:13:214:54 | ...::assert_failed | provenance | MaD:9 Sink:MaD:9 |
| test_logging.rs:214:30:214:53 | ...::Some(...) [Some] | test_logging.rs:214:13:214:54 | ...::assert_failed [Some] | provenance | MaD:10 |
| test_logging.rs:214:13:214:22 | ...::assert_failed [Some] | test_logging.rs:214:13:214:22 | ...::assert_failed | provenance | Sink:MaD:9 |
| test_logging.rs:214:30:214:53 | ...::Some(...) [Some] | test_logging.rs:214:13:214:22 | ...::assert_failed | provenance | MaD:9 Sink:MaD:9 |
| test_logging.rs:214:30:214:53 | ...::Some(...) [Some] | test_logging.rs:214:13:214:22 | ...::assert_failed [Some] | provenance | MaD:10 |
| test_logging.rs:214:30:214:53 | MacroExpr | test_logging.rs:214:30:214:53 | ...::Some(...) [Some] | provenance | |
| test_logging.rs:214:46:214:53 | password | test_logging.rs:214:30:214:53 | MacroExpr | provenance | |
| test_logging.rs:217:13:217:54 | ...::assert_failed [Some] | test_logging.rs:217:13:217:54 | ...::assert_failed | provenance | Sink:MaD:9 |
| test_logging.rs:217:30:217:53 | ...::Some(...) [Some] | test_logging.rs:217:13:217:54 | ...::assert_failed | provenance | MaD:9 Sink:MaD:9 |
| test_logging.rs:217:30:217:53 | ...::Some(...) [Some] | test_logging.rs:217:13:217:54 | ...::assert_failed [Some] | provenance | MaD:10 |
| test_logging.rs:217:13:217:22 | ...::assert_failed [Some] | test_logging.rs:217:13:217:22 | ...::assert_failed | provenance | Sink:MaD:9 |
| test_logging.rs:217:30:217:53 | ...::Some(...) [Some] | test_logging.rs:217:13:217:22 | ...::assert_failed | provenance | MaD:9 Sink:MaD:9 |
| test_logging.rs:217:30:217:53 | ...::Some(...) [Some] | test_logging.rs:217:13:217:22 | ...::assert_failed [Some] | provenance | MaD:10 |
| test_logging.rs:217:30:217:53 | MacroExpr | test_logging.rs:217:30:217:53 | ...::Some(...) [Some] | provenance | |
| test_logging.rs:217:46:217:53 | password | test_logging.rs:217:30:217:53 | MacroExpr | provenance | |
| test_logging.rs:220:34:220:57 | MacroExpr | test_logging.rs:220:13:220:58 | ...::panic_fmt | provenance | MaD:11 Sink:MaD:11 |
| test_logging.rs:220:34:220:57 | MacroExpr | test_logging.rs:220:13:220:25 | ...::panic_fmt | provenance | MaD:11 Sink:MaD:11 |
| test_logging.rs:220:50:220:57 | password | test_logging.rs:220:34:220:57 | MacroExpr | provenance | |
| test_logging.rs:223:13:223:60 | ...::assert_failed [Some] | test_logging.rs:223:13:223:60 | ...::assert_failed | provenance | Sink:MaD:9 |
| test_logging.rs:223:36:223:59 | ...::Some(...) [Some] | test_logging.rs:223:13:223:60 | ...::assert_failed | provenance | MaD:9 Sink:MaD:9 |
| test_logging.rs:223:36:223:59 | ...::Some(...) [Some] | test_logging.rs:223:13:223:60 | ...::assert_failed [Some] | provenance | MaD:10 |
| test_logging.rs:223:13:223:28 | ...::assert_failed [Some] | test_logging.rs:223:13:223:28 | ...::assert_failed | provenance | Sink:MaD:9 |
| test_logging.rs:223:36:223:59 | ...::Some(...) [Some] | test_logging.rs:223:13:223:28 | ...::assert_failed | provenance | MaD:9 Sink:MaD:9 |
| test_logging.rs:223:36:223:59 | ...::Some(...) [Some] | test_logging.rs:223:13:223:28 | ...::assert_failed [Some] | provenance | MaD:10 |
| test_logging.rs:223:36:223:59 | MacroExpr | test_logging.rs:223:36:223:59 | ...::Some(...) [Some] | provenance | |
| test_logging.rs:223:52:223:59 | password | test_logging.rs:223:36:223:59 | MacroExpr | provenance | |
| test_logging.rs:226:13:226:60 | ...::assert_failed [Some] | test_logging.rs:226:13:226:60 | ...::assert_failed | provenance | Sink:MaD:9 |
| test_logging.rs:226:36:226:59 | ...::Some(...) [Some] | test_logging.rs:226:13:226:60 | ...::assert_failed | provenance | MaD:9 Sink:MaD:9 |
| test_logging.rs:226:36:226:59 | ...::Some(...) [Some] | test_logging.rs:226:13:226:60 | ...::assert_failed [Some] | provenance | MaD:10 |
| test_logging.rs:226:13:226:28 | ...::assert_failed [Some] | test_logging.rs:226:13:226:28 | ...::assert_failed | provenance | Sink:MaD:9 |
| test_logging.rs:226:36:226:59 | ...::Some(...) [Some] | test_logging.rs:226:13:226:28 | ...::assert_failed | provenance | MaD:9 Sink:MaD:9 |
| test_logging.rs:226:36:226:59 | ...::Some(...) [Some] | test_logging.rs:226:13:226:28 | ...::assert_failed [Some] | provenance | MaD:10 |
| test_logging.rs:226:36:226:59 | MacroExpr | test_logging.rs:226:36:226:59 | ...::Some(...) [Some] | provenance | |
| test_logging.rs:226:52:226:59 | password | test_logging.rs:226:36:226:59 | MacroExpr | provenance | |
| test_logging.rs:229:30:229:36 | res | test_logging.rs:229:38:229:61 | { ... } | provenance | |
| test_logging.rs:229:30:229:62 | MacroExpr | test_logging.rs:229:30:229:71 | ... .as_str() [&ref] | provenance | MaD:20 |
| test_logging.rs:229:30:229:62 | MacroExpr | test_logging.rs:229:30:229:71 | ... .as_str() [&ref] | provenance | MaD:18 |
| test_logging.rs:229:30:229:62 | MacroExpr | test_logging.rs:229:30:229:71 | ... .as_str() [&ref] | provenance | MaD:20 |
| test_logging.rs:229:30:229:62 | res | test_logging.rs:229:38:229:61 | { ... } | provenance | |
| test_logging.rs:229:30:229:71 | ... .as_str() | test_logging.rs:229:23:229:28 | expect | provenance | MaD:2 Sink:MaD:2 |
| test_logging.rs:229:30:229:71 | ... .as_str() | test_logging.rs:229:23:229:28 | expect | provenance | MaD:2 Sink:MaD:2 |
| test_logging.rs:229:30:229:71 | ... .as_str() [&ref] | test_logging.rs:229:23:229:28 | expect | provenance | MaD:2 Sink:MaD:2 |
| test_logging.rs:229:30:229:71 | ... .as_str() [&ref] | test_logging.rs:229:23:229:28 | expect | provenance | MaD:2 Sink:MaD:2 |
| test_logging.rs:229:38:229:61 | ...::format(...) | test_logging.rs:229:30:229:62 | res | provenance | |
| test_logging.rs:229:38:229:61 | ...::format(...) | test_logging.rs:229:30:229:36 | res | provenance | |
| test_logging.rs:229:38:229:61 | ...::must_use(...) | test_logging.rs:229:30:229:62 | MacroExpr | provenance | |
| test_logging.rs:229:38:229:61 | ...::must_use(...) | test_logging.rs:229:30:229:71 | ... .as_str() | provenance | MaD:20 |
| test_logging.rs:229:38:229:61 | ...::must_use(...) | test_logging.rs:229:30:229:71 | ... .as_str() | provenance | MaD:18 |
@@ -244,48 +244,48 @@ edges
| test_logging.rs:229:38:229:61 | MacroExpr | test_logging.rs:229:38:229:61 | ...::format(...) | provenance | MaD:21 |
| test_logging.rs:229:38:229:61 | { ... } | test_logging.rs:229:38:229:61 | ...::must_use(...) | provenance | MaD:22 |
| test_logging.rs:229:54:229:61 | password | test_logging.rs:229:38:229:61 | MacroExpr | provenance | |
| test_logging.rs:242:16:242:22 | res | test_logging.rs:242:24:242:49 | { ... } | provenance | |
| test_logging.rs:242:16:242:50 | MacroExpr | test_logging.rs:242:16:242:61 | ... .as_bytes() [&ref] | provenance | MaD:19 |
| test_logging.rs:242:16:242:50 | MacroExpr | test_logging.rs:242:16:242:61 | ... .as_bytes() [&ref] | provenance | MaD:17 |
| test_logging.rs:242:16:242:50 | res | test_logging.rs:242:24:242:49 | { ... } | provenance | |
| test_logging.rs:242:16:242:61 | ... .as_bytes() | test_logging.rs:242:10:242:14 | write | provenance | MaD:7 Sink:MaD:7 |
| test_logging.rs:242:16:242:61 | ... .as_bytes() [&ref] | test_logging.rs:242:10:242:14 | write | provenance | MaD:7 Sink:MaD:7 |
| test_logging.rs:242:24:242:49 | ...::format(...) | test_logging.rs:242:16:242:50 | res | provenance | |
| test_logging.rs:242:24:242:49 | ...::format(...) | test_logging.rs:242:16:242:22 | res | provenance | |
| test_logging.rs:242:24:242:49 | ...::must_use(...) | test_logging.rs:242:16:242:50 | MacroExpr | provenance | |
| test_logging.rs:242:24:242:49 | ...::must_use(...) | test_logging.rs:242:16:242:61 | ... .as_bytes() | provenance | MaD:19 |
| test_logging.rs:242:24:242:49 | ...::must_use(...) | test_logging.rs:242:16:242:61 | ... .as_bytes() | provenance | MaD:17 |
| test_logging.rs:242:24:242:49 | MacroExpr | test_logging.rs:242:24:242:49 | ...::format(...) | provenance | MaD:21 |
| test_logging.rs:242:24:242:49 | { ... } | test_logging.rs:242:24:242:49 | ...::must_use(...) | provenance | MaD:22 |
| test_logging.rs:242:42:242:49 | password | test_logging.rs:242:24:242:49 | MacroExpr | provenance | |
| test_logging.rs:245:20:245:26 | res | test_logging.rs:245:28:245:53 | { ... } | provenance | |
| test_logging.rs:245:20:245:54 | MacroExpr | test_logging.rs:245:20:245:65 | ... .as_bytes() [&ref] | provenance | MaD:19 |
| test_logging.rs:245:20:245:54 | MacroExpr | test_logging.rs:245:20:245:65 | ... .as_bytes() [&ref] | provenance | MaD:17 |
| test_logging.rs:245:20:245:54 | res | test_logging.rs:245:28:245:53 | { ... } | provenance | |
| test_logging.rs:245:20:245:65 | ... .as_bytes() | test_logging.rs:245:10:245:18 | write_all | provenance | MaD:8 Sink:MaD:8 |
| test_logging.rs:245:20:245:65 | ... .as_bytes() [&ref] | test_logging.rs:245:10:245:18 | write_all | provenance | MaD:8 Sink:MaD:8 |
| test_logging.rs:245:28:245:53 | ...::format(...) | test_logging.rs:245:20:245:54 | res | provenance | |
| test_logging.rs:245:28:245:53 | ...::format(...) | test_logging.rs:245:20:245:26 | res | provenance | |
| test_logging.rs:245:28:245:53 | ...::must_use(...) | test_logging.rs:245:20:245:54 | MacroExpr | provenance | |
| test_logging.rs:245:28:245:53 | ...::must_use(...) | test_logging.rs:245:20:245:65 | ... .as_bytes() | provenance | MaD:19 |
| test_logging.rs:245:28:245:53 | ...::must_use(...) | test_logging.rs:245:20:245:65 | ... .as_bytes() | provenance | MaD:17 |
| test_logging.rs:245:28:245:53 | MacroExpr | test_logging.rs:245:28:245:53 | ...::format(...) | provenance | MaD:21 |
| test_logging.rs:245:28:245:53 | { ... } | test_logging.rs:245:28:245:53 | ...::must_use(...) | provenance | MaD:22 |
| test_logging.rs:245:46:245:53 | password | test_logging.rs:245:28:245:53 | MacroExpr | provenance | |
| test_logging.rs:248:15:248:21 | res | test_logging.rs:248:23:248:48 | { ... } | provenance | |
| test_logging.rs:248:15:248:49 | MacroExpr | test_logging.rs:248:15:248:60 | ... .as_bytes() [&ref] | provenance | MaD:19 |
| test_logging.rs:248:15:248:49 | MacroExpr | test_logging.rs:248:15:248:60 | ... .as_bytes() [&ref] | provenance | MaD:17 |
| test_logging.rs:248:15:248:49 | res | test_logging.rs:248:23:248:48 | { ... } | provenance | |
| test_logging.rs:248:15:248:60 | ... .as_bytes() | test_logging.rs:248:9:248:13 | write | provenance | MaD:7 Sink:MaD:7 |
| test_logging.rs:248:15:248:60 | ... .as_bytes() [&ref] | test_logging.rs:248:9:248:13 | write | provenance | MaD:7 Sink:MaD:7 |
| test_logging.rs:248:23:248:48 | ...::format(...) | test_logging.rs:248:15:248:49 | res | provenance | |
| test_logging.rs:248:23:248:48 | ...::format(...) | test_logging.rs:248:15:248:21 | res | provenance | |
| test_logging.rs:248:23:248:48 | ...::must_use(...) | test_logging.rs:248:15:248:49 | MacroExpr | provenance | |
| test_logging.rs:248:23:248:48 | ...::must_use(...) | test_logging.rs:248:15:248:60 | ... .as_bytes() | provenance | MaD:19 |
| test_logging.rs:248:23:248:48 | ...::must_use(...) | test_logging.rs:248:15:248:60 | ... .as_bytes() | provenance | MaD:17 |
| test_logging.rs:248:23:248:48 | MacroExpr | test_logging.rs:248:23:248:48 | ...::format(...) | provenance | MaD:21 |
| test_logging.rs:248:23:248:48 | { ... } | test_logging.rs:248:23:248:48 | ...::must_use(...) | provenance | MaD:22 |
| test_logging.rs:248:41:248:48 | password | test_logging.rs:248:23:248:48 | MacroExpr | provenance | |
| test_logging.rs:251:15:251:21 | res | test_logging.rs:251:23:251:48 | { ... } | provenance | |
| test_logging.rs:251:15:251:49 | MacroExpr | test_logging.rs:251:15:251:60 | ... .as_bytes() [&ref] | provenance | MaD:19 |
| test_logging.rs:251:15:251:49 | MacroExpr | test_logging.rs:251:15:251:60 | ... .as_bytes() [&ref] | provenance | MaD:17 |
| test_logging.rs:251:15:251:49 | res | test_logging.rs:251:23:251:48 | { ... } | provenance | |
| test_logging.rs:251:15:251:60 | ... .as_bytes() | test_logging.rs:251:9:251:13 | write | provenance | MaD:6 Sink:MaD:6 |
| test_logging.rs:251:15:251:60 | ... .as_bytes() [&ref] | test_logging.rs:251:9:251:13 | write | provenance | MaD:6 Sink:MaD:6 |
| test_logging.rs:251:23:251:48 | ...::format(...) | test_logging.rs:251:15:251:49 | res | provenance | |
| test_logging.rs:251:23:251:48 | ...::format(...) | test_logging.rs:251:15:251:21 | res | provenance | |
| test_logging.rs:251:23:251:48 | ...::must_use(...) | test_logging.rs:251:15:251:49 | MacroExpr | provenance | |
| test_logging.rs:251:23:251:48 | ...::must_use(...) | test_logging.rs:251:15:251:60 | ... .as_bytes() | provenance | MaD:19 |
| test_logging.rs:251:23:251:48 | ...::must_use(...) | test_logging.rs:251:15:251:60 | ... .as_bytes() | provenance | MaD:17 |
@@ -316,43 +316,43 @@ models
| 21 | Summary: alloc::fmt::format; Argument[0]; ReturnValue; taint |
| 22 | Summary: core::hint::must_use; Argument[0]; ReturnValue; value |
nodes
| test_logging.rs:42:5:42:36 | ...::log | semmle.label | ...::log |
| test_logging.rs:42:5:42:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:42:12:42:35 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:42:28:42:35 | password | semmle.label | password |
| test_logging.rs:43:5:43:36 | ...::log | semmle.label | ...::log |
| test_logging.rs:43:5:43:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:43:12:43:35 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:43:28:43:35 | password | semmle.label | password |
| test_logging.rs:44:5:44:35 | ...::log | semmle.label | ...::log |
| test_logging.rs:44:5:44:9 | ...::log | semmle.label | ...::log |
| test_logging.rs:44:11:44:34 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:44:27:44:34 | password | semmle.label | password |
| test_logging.rs:45:5:45:36 | ...::log | semmle.label | ...::log |
| test_logging.rs:45:5:45:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:45:12:45:35 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:45:28:45:35 | password | semmle.label | password |
| test_logging.rs:46:5:46:35 | ...::log | semmle.label | ...::log |
| test_logging.rs:46:5:46:9 | ...::log | semmle.label | ...::log |
| test_logging.rs:46:11:46:34 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:46:27:46:34 | password | semmle.label | password |
| test_logging.rs:47:5:47:48 | ...::log | semmle.label | ...::log |
| test_logging.rs:47:5:47:8 | ...::log | semmle.label | ...::log |
| test_logging.rs:47:24:47:47 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:47:40:47:47 | password | semmle.label | password |
| test_logging.rs:52:5:52:36 | ...::log | semmle.label | ...::log |
| test_logging.rs:52:5:52:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:52:12:52:35 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:52:28:52:35 | password | semmle.label | password |
| test_logging.rs:54:5:54:49 | ...::log | semmle.label | ...::log |
| test_logging.rs:54:5:54:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:54:12:54:48 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:54:41:54:48 | password | semmle.label | password |
| test_logging.rs:56:5:56:47 | ...::log | semmle.label | ...::log |
| test_logging.rs:56:5:56:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:56:12:56:46 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:56:39:56:46 | password | semmle.label | password |
| test_logging.rs:57:5:57:34 | ...::log | semmle.label | ...::log |
| test_logging.rs:57:5:57:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:57:12:57:33 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:57:24:57:31 | password | semmle.label | password |
| test_logging.rs:58:5:58:36 | ...::log | semmle.label | ...::log |
| test_logging.rs:58:5:58:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:58:12:58:35 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:58:24:58:31 | password | semmle.label | password |
| test_logging.rs:60:5:60:54 | ...::log | semmle.label | ...::log |
| test_logging.rs:60:5:60:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:60:30:60:53 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:60:46:60:53 | password | semmle.label | password |
| test_logging.rs:61:5:61:55 | ...::log | semmle.label | ...::log |
| test_logging.rs:61:5:61:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:61:20:61:28 | &... [&ref, tuple.0, &ref] | semmle.label | &... [&ref, tuple.0, &ref] |
| test_logging.rs:61:20:61:28 | &... [&ref, tuple.0] | semmle.label | &... [&ref, tuple.0] |
| test_logging.rs:61:20:61:28 | &password | semmle.label | &password |
@@ -360,13 +360,13 @@ nodes
| test_logging.rs:61:20:61:28 | TupleExpr [tuple.0, &ref] | semmle.label | TupleExpr [tuple.0, &ref] |
| test_logging.rs:61:20:61:28 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
| test_logging.rs:61:21:61:28 | password | semmle.label | password |
| test_logging.rs:65:5:65:48 | ...::log | semmle.label | ...::log |
| test_logging.rs:65:5:65:8 | ...::log | semmle.label | ...::log |
| test_logging.rs:65:24:65:47 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:65:40:65:47 | password | semmle.label | password |
| test_logging.rs:67:5:67:66 | ...::log | semmle.label | ...::log |
| test_logging.rs:67:5:67:8 | ...::log | semmle.label | ...::log |
| test_logging.rs:67:42:67:65 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:67:58:67:65 | password | semmle.label | password |
| test_logging.rs:68:5:68:67 | ...::log | semmle.label | ...::log |
| test_logging.rs:68:5:68:8 | ...::log | semmle.label | ...::log |
| test_logging.rs:68:18:68:26 | &... [&ref, tuple.0, &ref] | semmle.label | &... [&ref, tuple.0, &ref] |
| test_logging.rs:68:18:68:26 | &... [&ref, tuple.0] | semmle.label | &... [&ref, tuple.0] |
| test_logging.rs:68:18:68:26 | &password | semmle.label | &password |
@@ -374,13 +374,13 @@ nodes
| test_logging.rs:68:18:68:26 | TupleExpr [tuple.0, &ref] | semmle.label | TupleExpr [tuple.0, &ref] |
| test_logging.rs:68:18:68:26 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
| test_logging.rs:68:19:68:26 | password | semmle.label | password |
| test_logging.rs:72:5:72:47 | ...::log | semmle.label | ...::log |
| test_logging.rs:72:5:72:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:72:23:72:46 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:72:39:72:46 | password | semmle.label | password |
| test_logging.rs:74:5:74:65 | ...::log | semmle.label | ...::log |
| test_logging.rs:74:5:74:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:74:41:74:64 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:74:57:74:64 | password | semmle.label | password |
| test_logging.rs:75:5:75:51 | ...::log | semmle.label | ...::log |
| test_logging.rs:75:5:75:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:75:20:75:28 | &... [&ref, tuple.0, &ref] | semmle.label | &... [&ref, tuple.0, &ref] |
| test_logging.rs:75:20:75:28 | &... [&ref, tuple.0] | semmle.label | &... [&ref, tuple.0] |
| test_logging.rs:75:20:75:28 | &password | semmle.label | &password |
@@ -388,16 +388,16 @@ nodes
| test_logging.rs:75:20:75:28 | TupleExpr [tuple.0, &ref] | semmle.label | TupleExpr [tuple.0, &ref] |
| test_logging.rs:75:20:75:28 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
| test_logging.rs:75:21:75:28 | password | semmle.label | password |
| test_logging.rs:76:5:76:47 | ...::log | semmle.label | ...::log |
| test_logging.rs:76:5:76:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:76:23:76:46 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:76:39:76:46 | password | semmle.label | password |
| test_logging.rs:82:5:82:44 | ...::log | semmle.label | ...::log |
| test_logging.rs:82:5:82:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:82:20:82:43 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:82:36:82:43 | password | semmle.label | password |
| test_logging.rs:84:5:84:62 | ...::log | semmle.label | ...::log |
| test_logging.rs:84:5:84:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:84:38:84:61 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:84:54:84:61 | password | semmle.label | password |
| test_logging.rs:85:5:85:48 | ...::log | semmle.label | ...::log |
| test_logging.rs:85:5:85:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:85:20:85:28 | &... [&ref, tuple.0, &ref] | semmle.label | &... [&ref, tuple.0, &ref] |
| test_logging.rs:85:20:85:28 | &... [&ref, tuple.0] | semmle.label | &... [&ref, tuple.0] |
| test_logging.rs:85:20:85:28 | &password | semmle.label | &password |
@@ -405,49 +405,49 @@ nodes
| test_logging.rs:85:20:85:28 | TupleExpr [tuple.0, &ref] | semmle.label | TupleExpr [tuple.0, &ref] |
| test_logging.rs:85:20:85:28 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
| test_logging.rs:85:21:85:28 | password | semmle.label | password |
| test_logging.rs:86:5:86:44 | ...::log | semmle.label | ...::log |
| test_logging.rs:86:5:86:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:86:20:86:43 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:86:36:86:43 | password | semmle.label | password |
| test_logging.rs:93:9:93:10 | m1 | semmle.label | m1 |
| test_logging.rs:93:14:93:22 | &password | semmle.label | &password |
| test_logging.rs:93:15:93:22 | password | semmle.label | password |
| test_logging.rs:94:5:94:29 | ...::log | semmle.label | ...::log |
| test_logging.rs:94:5:94:9 | ...::log | semmle.label | ...::log |
| test_logging.rs:94:11:94:28 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:96:9:96:10 | m2 | semmle.label | m2 |
| test_logging.rs:96:41:96:49 | &password | semmle.label | &password |
| test_logging.rs:96:42:96:49 | password | semmle.label | password |
| test_logging.rs:97:5:97:19 | ...::log | semmle.label | ...::log |
| test_logging.rs:97:5:97:9 | ...::log | semmle.label | ...::log |
| test_logging.rs:97:11:97:18 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:99:9:99:10 | m3 | semmle.label | m3 |
| test_logging.rs:99:14:99:46 | res | semmle.label | res |
| test_logging.rs:99:14:99:20 | res | semmle.label | res |
| test_logging.rs:99:22:99:45 | ...::format(...) | semmle.label | ...::format(...) |
| test_logging.rs:99:22:99:45 | ...::must_use(...) | semmle.label | ...::must_use(...) |
| test_logging.rs:99:22:99:45 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:99:22:99:45 | { ... } | semmle.label | { ... } |
| test_logging.rs:99:38:99:45 | password | semmle.label | password |
| test_logging.rs:100:5:100:19 | ...::log | semmle.label | ...::log |
| test_logging.rs:100:5:100:9 | ...::log | semmle.label | ...::log |
| test_logging.rs:100:11:100:18 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:118:5:118:42 | ...::log | semmle.label | ...::log |
| test_logging.rs:118:5:118:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:118:12:118:41 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:118:28:118:41 | get_password(...) | semmle.label | get_password(...) |
| test_logging.rs:129:9:129:10 | t1 [tuple.1] | semmle.label | t1 [tuple.1] |
| test_logging.rs:129:14:129:33 | TupleExpr [tuple.1] | semmle.label | TupleExpr [tuple.1] |
| test_logging.rs:129:25:129:32 | password | semmle.label | password |
| test_logging.rs:131:5:131:32 | ...::log | semmle.label | ...::log |
| test_logging.rs:131:5:131:10 | ...::log | semmle.label | ...::log |
| test_logging.rs:131:12:131:31 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:131:28:131:29 | t1 [tuple.1] | semmle.label | t1 [tuple.1] |
| test_logging.rs:131:28:131:31 | t1.1 | semmle.label | t1.1 |
| test_logging.rs:141:5:141:38 | ...::log | semmle.label | ...::log |
| test_logging.rs:141:5:141:9 | ...::log | semmle.label | ...::log |
| test_logging.rs:141:11:141:37 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:141:27:141:37 | s1.password | semmle.label | s1.password |
| test_logging.rs:151:5:151:38 | ...::log | semmle.label | ...::log |
| test_logging.rs:151:5:151:9 | ...::log | semmle.label | ...::log |
| test_logging.rs:151:11:151:37 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:151:27:151:37 | s2.password | semmle.label | s2.password |
| test_logging.rs:176:22:176:31 | log_expect | semmle.label | log_expect |
| test_logging.rs:176:33:176:79 | &... | semmle.label | &... |
| test_logging.rs:176:33:176:79 | &... [&ref] | semmle.label | &... [&ref] |
| test_logging.rs:176:34:176:40 | res | semmle.label | res |
| test_logging.rs:176:34:176:79 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:176:34:176:79 | res | semmle.label | res |
| test_logging.rs:176:42:176:78 | ...::format(...) | semmle.label | ...::format(...) |
| test_logging.rs:176:42:176:78 | ...::must_use(...) | semmle.label | ...::must_use(...) |
| test_logging.rs:176:42:176:78 | MacroExpr | semmle.label | MacroExpr |
@@ -456,8 +456,8 @@ nodes
| test_logging.rs:180:24:180:33 | log_expect | semmle.label | log_expect |
| test_logging.rs:180:35:180:81 | &... | semmle.label | &... |
| test_logging.rs:180:35:180:81 | &... [&ref] | semmle.label | &... [&ref] |
| test_logging.rs:180:36:180:42 | res | semmle.label | res |
| test_logging.rs:180:36:180:81 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:180:36:180:81 | res | semmle.label | res |
| test_logging.rs:180:44:180:80 | ...::format(...) | semmle.label | ...::format(...) |
| test_logging.rs:180:44:180:80 | ...::must_use(...) | semmle.label | ...::must_use(...) |
| test_logging.rs:180:44:180:80 | MacroExpr | semmle.label | MacroExpr |
@@ -474,60 +474,60 @@ nodes
| test_logging.rs:187:51:187:59 | password2 | semmle.label | password2 |
| test_logging.rs:188:13:188:23 | err_result3 [Err] | semmle.label | err_result3 [Err] |
| test_logging.rs:188:25:188:34 | log_unwrap | semmle.label | log_unwrap |
| test_logging.rs:192:5:192:38 | ...::_print | semmle.label | ...::_print |
| test_logging.rs:192:5:192:10 | ...::_print | semmle.label | ...::_print |
| test_logging.rs:192:12:192:37 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:192:30:192:37 | password | semmle.label | password |
| test_logging.rs:193:5:193:38 | ...::_print | semmle.label | ...::_print |
| test_logging.rs:193:5:193:12 | ...::_print | semmle.label | ...::_print |
| test_logging.rs:193:14:193:37 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:193:30:193:37 | password | semmle.label | password |
| test_logging.rs:194:5:194:39 | ...::_eprint | semmle.label | ...::_eprint |
| test_logging.rs:194:5:194:11 | ...::_eprint | semmle.label | ...::_eprint |
| test_logging.rs:194:13:194:38 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:194:31:194:38 | password | semmle.label | password |
| test_logging.rs:195:5:195:39 | ...::_eprint | semmle.label | ...::_eprint |
| test_logging.rs:195:5:195:13 | ...::_eprint | semmle.label | ...::_eprint |
| test_logging.rs:195:15:195:38 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:195:31:195:38 | password | semmle.label | password |
| test_logging.rs:199:13:199:44 | ...::panic_fmt | semmle.label | ...::panic_fmt |
| test_logging.rs:199:13:199:18 | ...::panic_fmt | semmle.label | ...::panic_fmt |
| test_logging.rs:199:20:199:43 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:199:36:199:43 | password | semmle.label | password |
| test_logging.rs:202:13:202:43 | ...::panic_fmt | semmle.label | ...::panic_fmt |
| test_logging.rs:202:13:202:17 | ...::panic_fmt | semmle.label | ...::panic_fmt |
| test_logging.rs:202:19:202:42 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:202:35:202:42 | password | semmle.label | password |
| test_logging.rs:205:13:205:52 | ...::panic_fmt | semmle.label | ...::panic_fmt |
| test_logging.rs:205:13:205:26 | ...::panic_fmt | semmle.label | ...::panic_fmt |
| test_logging.rs:205:28:205:51 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:205:44:205:51 | password | semmle.label | password |
| test_logging.rs:208:13:208:50 | ...::panic_fmt | semmle.label | ...::panic_fmt |
| test_logging.rs:208:13:208:24 | ...::panic_fmt | semmle.label | ...::panic_fmt |
| test_logging.rs:208:26:208:49 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:208:42:208:49 | password | semmle.label | password |
| test_logging.rs:211:13:211:52 | ...::panic_fmt | semmle.label | ...::panic_fmt |
| test_logging.rs:211:13:211:19 | ...::panic_fmt | semmle.label | ...::panic_fmt |
| test_logging.rs:211:28:211:51 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:211:44:211:51 | password | semmle.label | password |
| test_logging.rs:214:13:214:54 | ...::assert_failed | semmle.label | ...::assert_failed |
| test_logging.rs:214:13:214:54 | ...::assert_failed [Some] | semmle.label | ...::assert_failed [Some] |
| test_logging.rs:214:13:214:22 | ...::assert_failed | semmle.label | ...::assert_failed |
| test_logging.rs:214:13:214:22 | ...::assert_failed [Some] | semmle.label | ...::assert_failed [Some] |
| test_logging.rs:214:30:214:53 | ...::Some(...) [Some] | semmle.label | ...::Some(...) [Some] |
| test_logging.rs:214:30:214:53 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:214:46:214:53 | password | semmle.label | password |
| test_logging.rs:217:13:217:54 | ...::assert_failed | semmle.label | ...::assert_failed |
| test_logging.rs:217:13:217:54 | ...::assert_failed [Some] | semmle.label | ...::assert_failed [Some] |
| test_logging.rs:217:13:217:22 | ...::assert_failed | semmle.label | ...::assert_failed |
| test_logging.rs:217:13:217:22 | ...::assert_failed [Some] | semmle.label | ...::assert_failed [Some] |
| test_logging.rs:217:30:217:53 | ...::Some(...) [Some] | semmle.label | ...::Some(...) [Some] |
| test_logging.rs:217:30:217:53 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:217:46:217:53 | password | semmle.label | password |
| test_logging.rs:220:13:220:58 | ...::panic_fmt | semmle.label | ...::panic_fmt |
| test_logging.rs:220:13:220:25 | ...::panic_fmt | semmle.label | ...::panic_fmt |
| test_logging.rs:220:34:220:57 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:220:50:220:57 | password | semmle.label | password |
| test_logging.rs:223:13:223:60 | ...::assert_failed | semmle.label | ...::assert_failed |
| test_logging.rs:223:13:223:60 | ...::assert_failed [Some] | semmle.label | ...::assert_failed [Some] |
| test_logging.rs:223:13:223:28 | ...::assert_failed | semmle.label | ...::assert_failed |
| test_logging.rs:223:13:223:28 | ...::assert_failed [Some] | semmle.label | ...::assert_failed [Some] |
| test_logging.rs:223:36:223:59 | ...::Some(...) [Some] | semmle.label | ...::Some(...) [Some] |
| test_logging.rs:223:36:223:59 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:223:52:223:59 | password | semmle.label | password |
| test_logging.rs:226:13:226:60 | ...::assert_failed | semmle.label | ...::assert_failed |
| test_logging.rs:226:13:226:60 | ...::assert_failed [Some] | semmle.label | ...::assert_failed [Some] |
| test_logging.rs:226:13:226:28 | ...::assert_failed | semmle.label | ...::assert_failed |
| test_logging.rs:226:13:226:28 | ...::assert_failed [Some] | semmle.label | ...::assert_failed [Some] |
| test_logging.rs:226:36:226:59 | ...::Some(...) [Some] | semmle.label | ...::Some(...) [Some] |
| test_logging.rs:226:36:226:59 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:226:52:226:59 | password | semmle.label | password |
| test_logging.rs:229:23:229:28 | expect | semmle.label | expect |
| test_logging.rs:229:23:229:28 | expect | semmle.label | expect |
| test_logging.rs:229:30:229:36 | res | semmle.label | res |
| test_logging.rs:229:30:229:62 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:229:30:229:62 | res | semmle.label | res |
| test_logging.rs:229:30:229:71 | ... .as_str() | semmle.label | ... .as_str() |
| test_logging.rs:229:30:229:71 | ... .as_str() [&ref] | semmle.label | ... .as_str() [&ref] |
| test_logging.rs:229:38:229:61 | ...::format(...) | semmle.label | ...::format(...) |
@@ -536,8 +536,8 @@ nodes
| test_logging.rs:229:38:229:61 | { ... } | semmle.label | { ... } |
| test_logging.rs:229:54:229:61 | password | semmle.label | password |
| test_logging.rs:242:10:242:14 | write | semmle.label | write |
| test_logging.rs:242:16:242:22 | res | semmle.label | res |
| test_logging.rs:242:16:242:50 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:242:16:242:50 | res | semmle.label | res |
| test_logging.rs:242:16:242:61 | ... .as_bytes() | semmle.label | ... .as_bytes() |
| test_logging.rs:242:16:242:61 | ... .as_bytes() [&ref] | semmle.label | ... .as_bytes() [&ref] |
| test_logging.rs:242:24:242:49 | ...::format(...) | semmle.label | ...::format(...) |
@@ -546,8 +546,8 @@ nodes
| test_logging.rs:242:24:242:49 | { ... } | semmle.label | { ... } |
| test_logging.rs:242:42:242:49 | password | semmle.label | password |
| test_logging.rs:245:10:245:18 | write_all | semmle.label | write_all |
| test_logging.rs:245:20:245:26 | res | semmle.label | res |
| test_logging.rs:245:20:245:54 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:245:20:245:54 | res | semmle.label | res |
| test_logging.rs:245:20:245:65 | ... .as_bytes() | semmle.label | ... .as_bytes() |
| test_logging.rs:245:20:245:65 | ... .as_bytes() [&ref] | semmle.label | ... .as_bytes() [&ref] |
| test_logging.rs:245:28:245:53 | ...::format(...) | semmle.label | ...::format(...) |
@@ -556,8 +556,8 @@ nodes
| test_logging.rs:245:28:245:53 | { ... } | semmle.label | { ... } |
| test_logging.rs:245:46:245:53 | password | semmle.label | password |
| test_logging.rs:248:9:248:13 | write | semmle.label | write |
| test_logging.rs:248:15:248:21 | res | semmle.label | res |
| test_logging.rs:248:15:248:49 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:248:15:248:49 | res | semmle.label | res |
| test_logging.rs:248:15:248:60 | ... .as_bytes() | semmle.label | ... .as_bytes() |
| test_logging.rs:248:15:248:60 | ... .as_bytes() [&ref] | semmle.label | ... .as_bytes() [&ref] |
| test_logging.rs:248:23:248:48 | ...::format(...) | semmle.label | ...::format(...) |
@@ -566,8 +566,8 @@ nodes
| test_logging.rs:248:23:248:48 | { ... } | semmle.label | { ... } |
| test_logging.rs:248:41:248:48 | password | semmle.label | password |
| test_logging.rs:251:9:251:13 | write | semmle.label | write |
| test_logging.rs:251:15:251:21 | res | semmle.label | res |
| test_logging.rs:251:15:251:49 | MacroExpr | semmle.label | MacroExpr |
| test_logging.rs:251:15:251:49 | res | semmle.label | res |
| test_logging.rs:251:15:251:60 | ... .as_bytes() | semmle.label | ... .as_bytes() |
| test_logging.rs:251:15:251:60 | ... .as_bytes() [&ref] | semmle.label | ... .as_bytes() [&ref] |
| test_logging.rs:251:23:251:48 | ...::format(...) | semmle.label | ...::format(...) |

18
rust/ql/test/query-tests/security/CWE-825/AccessAfterLifetime.expected
View File

@@ -188,11 +188,11 @@ edges
| lifetime.rs:719:26:719:34 | &... | lifetime.rs:718:7:718:8 | r1 | provenance | |
| lifetime.rs:730:6:730:7 | r1 | lifetime.rs:734:12:734:13 | r1 | provenance | |
| lifetime.rs:730:11:730:25 | e1.test_match() | lifetime.rs:730:6:730:7 | r1 | provenance | |
| lifetime.rs:766:2:766:13 | &val | lifetime.rs:766:2:766:13 | ptr | provenance | |
| lifetime.rs:766:2:766:13 | ptr | lifetime.rs:767:2:767:13 | ptr | provenance | |
| lifetime.rs:766:2:766:11 | &val | lifetime.rs:766:2:766:11 | ptr | provenance | |
| lifetime.rs:766:2:766:11 | ptr | lifetime.rs:767:2:767:11 | ptr | provenance | |
| lifetime.rs:769:6:769:8 | ptr | lifetime.rs:771:12:771:14 | ptr | provenance | |
| lifetime.rs:769:12:769:23 | &val | lifetime.rs:769:12:769:23 | ptr | provenance | |
| lifetime.rs:769:12:769:23 | ptr | lifetime.rs:769:6:769:8 | ptr | provenance | |
| lifetime.rs:769:12:769:21 | &val | lifetime.rs:769:12:769:21 | ptr | provenance | |
| lifetime.rs:769:12:769:21 | ptr | lifetime.rs:769:6:769:8 | ptr | provenance | |
| lifetime.rs:781:2:781:19 | return ... | lifetime.rs:785:11:785:41 | get_local_for_unsafe_function(...) | provenance | |
| lifetime.rs:781:9:781:19 | &my_local10 | lifetime.rs:781:2:781:19 | return ... | provenance | |
| lifetime.rs:785:6:785:7 | p1 | lifetime.rs:789:12:789:13 | p1 | provenance | |
@@ -400,12 +400,12 @@ nodes
| lifetime.rs:730:6:730:7 | r1 | semmle.label | r1 |
| lifetime.rs:730:11:730:25 | e1.test_match() | semmle.label | e1.test_match() |
| lifetime.rs:734:12:734:13 | r1 | semmle.label | r1 |
| lifetime.rs:766:2:766:13 | &val | semmle.label | &val |
| lifetime.rs:766:2:766:13 | ptr | semmle.label | ptr |
| lifetime.rs:767:2:767:13 | ptr | semmle.label | ptr |
| lifetime.rs:766:2:766:11 | &val | semmle.label | &val |
| lifetime.rs:766:2:766:11 | ptr | semmle.label | ptr |
| lifetime.rs:767:2:767:11 | ptr | semmle.label | ptr |
| lifetime.rs:769:6:769:8 | ptr | semmle.label | ptr |
| lifetime.rs:769:12:769:23 | &val | semmle.label | &val |
| lifetime.rs:769:12:769:23 | ptr | semmle.label | ptr |
| lifetime.rs:769:12:769:21 | &val | semmle.label | &val |
| lifetime.rs:769:12:769:21 | ptr | semmle.label | ptr |
| lifetime.rs:771:12:771:14 | ptr | semmle.label | ptr |
| lifetime.rs:781:2:781:19 | return ... | semmle.label | return ... |
| lifetime.rs:781:9:781:19 | &my_local10 | semmle.label | &my_local10 |

2
rust/ql/test/query-tests/unusedentities/CONSISTENCY/PathResolutionConsistency.expected
View File

@@ -2,5 +2,5 @@ multipleCallTargets
| main.rs:13:13:13:29 | ...::from(...) |
| main.rs:14:13:14:29 | ...::from(...) |
| unreachable.rs:165:20:165:42 | ...::from(...) |
| unreachable.rs:171:9:171:17 | ...::from(...) |
| unreachable.rs:171:9:171:15 | ...::from(...) |
| unreachable.rs:177:17:177:25 | ...::from(...) |