Skip to content

Commit fb26f78

Browse files
paldepindpaldepind
authored
Merge pull request github#17895 from paldepind/rust-data-flow-consistency-query
Rust: Add data flow consistency queries
2 parents 2ae721b + 714e2fc commit fb26f78

File tree

112 files changed

+894
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

112 files changed

+894
-0
lines changed

‎rust/ql/consistency-queries/DataFlowConsistency.ql

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
import codeql.rust.dataflow.DataFlow::DataFlow as DataFlow
2+
private import rust
3+
private import codeql.rust.dataflow.internal.DataFlowImpl
4+
private import codeql.rust.dataflow.internal.TaintTrackingImpl
5+
private import codeql.dataflow.internal.DataFlowImplConsistency
6+
7+
private module Input implements InputSig<Location, RustDataFlow> { }
8+
9+
import MakeConsistency<Location, RustDataFlow, RustTaintTracking, Input>

‎rust/ql/test/extractor-tests/generated/Abi/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
uniqueCallEnclosingCallable
2+
| gen_abi.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

‎rust/ql/test/extractor-tests/generated/ArgList/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
uniqueCallEnclosingCallable
2+
| gen_arg_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

‎rust/ql/test/extractor-tests/generated/ArrayType/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
uniqueCallEnclosingCallable
2+
| gen_array_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

‎rust/ql/test/extractor-tests/generated/AssocTypeArg/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
uniqueCallEnclosingCallable
2+
| gen_assoc_type_arg.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

‎rust/ql/test/extractor-tests/generated/Attr/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
uniqueCallEnclosingCallable
2+
| gen_attr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

‎rust/ql/test/extractor-tests/generated/AwaitExpr/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
uniqueCallEnclosingCallable
2+
| gen_await_expr.rs:6:17:6:21 | CallExpr | Call should have one enclosing callable but has 0. |

‎rust/ql/test/extractor-tests/generated/BecomeExpr/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
uniqueEnclosingCallable
2+
| gen_become_expr.rs:4:11:4:16 | Param | Node should have one enclosing callable but has 0. |
3+
| gen_become_expr.rs:4:19:4:24 | Param | Node should have one enclosing callable but has 0. |
4+
uniqueCallEnclosingCallable
5+
| gen_become_expr.rs:8:17:8:36 | CallExpr | Call should have one enclosing callable but has 0. |
6+
uniqueType
7+
| gen_become_expr.rs:4:11:4:16 | Param | Node should have one type but has 0. |
8+
| gen_become_expr.rs:4:19:4:24 | Param | Node should have one type but has 0. |

‎rust/ql/test/extractor-tests/generated/BreakExpr/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
uniqueCallEnclosingCallable
2+
| gen_break_expr.rs:6:12:6:22 | CallExpr | Call should have one enclosing callable but has 0. |
3+
| gen_break_expr.rs:11:12:11:17 | CallExpr | Call should have one enclosing callable but has 0. |
4+
| gen_break_expr.rs:16:12:16:17 | CallExpr | Call should have one enclosing callable but has 0. |

‎rust/ql/test/extractor-tests/generated/CallExpr/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
uniqueCallEnclosingCallable
2+
| gen_call_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |
3+
| gen_call_expr.rs:6:5:6:23 | CallExpr | Call should have one enclosing callable but has 0. |
4+
| gen_call_expr.rs:7:5:7:14 | CallExpr | Call should have one enclosing callable but has 0. |
5+
| gen_call_expr.rs:8:5:8:10 | CallExpr | Call should have one enclosing callable but has 0. |

0 commit comments

Comments
 (0)