Add consistency query

owen-mc · owen-mc · commit a3cecd178f47 · 2023-10-19T16:47:56.000+01:00
This can be run on an existing database to check for any assumptions
of the data flow library which do not hold.
diff --git a/go/ql/consistency-queries/DataFlowConsistency.ql b/go/ql/consistency-queries/DataFlowConsistency.ql
@@ -0,0 +1 @@
+import semmle.go.dataflow.internal.DataFlowImplConsistency::Consistency
diff --git a/go/ql/consistency-queries/qlpack.yml b/go/ql/consistency-queries/qlpack.yml
@@ -0,0 +1,9 @@
+name: codeql-go-consistency-queries
+version: 0.0.0
+groups:
+  - go
+  - queries
+extractor: go
+dependencies:
+  codeql/go-all: ${workspace}
+warnOnImplicitThis: true

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+import semmle.go.dataflow.internal.DataFlowImplConsistency::Consistency`