We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 4abdc13 + d6f1bd9 commit 37bcedcCopy full SHA for 37bcedc
rust/ql/test/library-tests/dataflow/local/DataFlowStep.ql
@@ -2,10 +2,6 @@ import codeql.rust.dataflow.DataFlow
2
import codeql.rust.dataflow.internal.DataFlowImpl
3
import utils.test.TranslateModels
4
5
-private predicate provenance(string model) { RustDataFlow::simpleLocalFlowStep(_, _, model) }
6
-
7
-private module Tm = TranslateModels<provenance/1>;
8
9
query predicate localStep(DataFlow::Node nodeFrom, DataFlow::Node nodeTo) {
10
// Local flow steps that don't originate from a flow summary.
11
RustDataFlow::simpleLocalFlowStep(nodeFrom, nodeTo, "")
0 commit comments