Rust: add consistency query printing AST classes of nodes with wrong toString

This commit is contained in:
Paolo Tranquilli
2024-11-21 11:14:59 +01:00
parent 5012332bb2
commit d8b453fc0d

View File

@@ -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) {
uniqueNodeToString(n, _) and
cls = n.getCfgNode().getAstNode().getPrimaryQlClasses()
}