Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rust: add some toString implementations #18035

Open
wants to merge 16 commits into
base: main
Choose a base branch
from
+3,973 −3,389
Open

Rust: add some toString implementations #18035

Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
a709fc6
Rust: add some `toString` implementations
Nov 19, 2024
fce13ae
Rust: accept test changes
Nov 19, 2024
e4f982c
Rust: accept integration test changes
Nov 19, 2024
4fb028c
Rust: accept last integration test changes
Nov 20, 2024
57973df
Rust: make `CallExpr.toString` use call identifier if present
Nov 20, 2024
4d04c5a
Rust: fix non-existent string representations
Nov 20, 2024
b4af5a6
Rust: more advanced `toString`
Nov 20, 2024
fd45e11
Rust: accept test changes
Nov 20, 2024
d609c1b
Rust: fix `OrPat.toString`
Nov 20, 2024
5012332
Rust: fix `Path.toString` and address some review comments
Nov 21, 2024
d8b453f
Rust: add consistency query printing AST classes of nodes with wrong …
Nov 21, 2024
36d8a6d
Rust: add class printouts to `AstConsistency.ql`
Nov 21, 2024
6a61549
Merge branch 'main' into redsun82/rust-str
Nov 21, 2024
c2b426d
Rust: accept test changes
Nov 21, 2024
6776b31
Rust: tweak `PathType` string representations and add one for `InferT…
Nov 21, 2024
a82d267
Rust: accept test changes
Nov 21, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions rust/ql/consistency-queries/DataFlowConsistency.ql
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,3 +14,11 @@ private import codeql.dataflow.internal.DataFlowImplConsistency
private module Input implements InputSig<Location, RustDataFlow> { }

import MakeConsistency<Location, RustDataFlow, RustTaintTracking, Input>

/**
* This adds `AstNode` class names to the results of `uniqueNodeToString`, if any.
*/
query predicate uniqueNodeToStringClasses(Node n, string cls) {
redsun82 marked this conversation as resolved.
Show resolved Hide resolved
uniqueNodeToString(n, _) and
cls = n.getCfgNode().getAstNode().getPrimaryQlClasses()
}