Skip to content

Commit 67601b5

Browse files
committed
Add DataFlowImplConsistency.qll for Go library
1 parent 70aa490 commit 67601b5

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
/**
2+
* Provides consistency queries for checking invariants in the language-specific
3+
* data-flow classes and predicates.
4+
*/
5+
6+
private import go
7+
private import DataFlowImplSpecific
8+
private import TaintTrackingImplSpecific
9+
private import codeql.dataflow.internal.DataFlowImplConsistency
10+
11+
private module Input implements InputSig<GoDataFlow> { }
12+
13+
module Consistency = MakeConsistency<GoDataFlow, GoTaintTracking, Input>;

0 commit comments

Comments
 (0)