Skip to content

Commit 098e7e0

Browse files
asgerfasgerf
committed
unified: Instantiate DataFlowConsistency
1 parent ff8e042 commit 098e7e0

1 file changed

Lines changed: 10 additions & 0 deletions

File tree

‎unified/ql/consistency-queries/DataFlowConsistency.ql‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
private import unified
2+
private import codeql.unified.internal.dataflow.AllDataFlow
3+
private import codeql.dataflow.internal.DataFlowImplConsistency
4+
5+
module ConsistencyInput implements InputSig<Location, DataFlowInput> { }
6+
7+
module ConsistencyOutput =
8+
MakeConsistency<Location, DataFlowInput, TaintTrackingInput, ConsistencyInput>;
9+
10+
import ConsistencyOutput

0 commit comments

Comments
 (0)