Files
codeql/rust/ql/test/utils/Cfg.ql
2024-10-02 15:45:16 +02:00

14 lines
434 B
Plaintext

import rust
import codeql.rust.controlflow.ControlFlowGraph
import TestUtils
class MyRelevantNode extends CfgNode {
MyRelevantNode() { toBeTested(this.getScope()) }
}
import codeql.rust.controlflow.internal.ControlFlowGraphImpl::TestOutput<MyRelevantNode>
query predicate breakTarget(BreakExpr be, Expr target) { target = be.getTarget() }
query predicate continueTarget(ContinueExpr ce, Expr target) { target = ce.getTarget() }