Rust: Hide internal implementation details from DataFlow::Node

This commit is contained in:
Tom Hvitved
2025-02-03 13:23:40 +01:00
parent 180782d863
commit 45fc1daa74
5 changed files with 32 additions and 26 deletions

View File

@@ -36,7 +36,7 @@ module CleartextLoggingConfig implements DataFlow::ConfigSig {
isSource(node)
}
predicate isAdditionalFlowStep(Node node1, Node node2) {
predicate isAdditionalFlowStep(DataFlow::Node node1, DataFlow::Node node2) {
// flow from `a` to `&a`
node2.asExpr().getExpr().(RefExpr).getExpr() = node1.asExpr().getExpr()
}