Python: Add generator-flow/dataflow-consistency.ql

RasmusWL · RasmusWL · commit ee2f7401e82e · 2022-11-22T14:46:33.000+01:00
diff --git a/python/ql/test/experimental/dataflow/tainttracking/generator-flow/dataflow-consistency.expected b/python/ql/test/experimental/dataflow/tainttracking/generator-flow/dataflow-consistency.expected
@@ -0,0 +1,21 @@
+uniqueEnclosingCallable
+uniqueType
+uniqueNodeLocation
+missingLocation
+uniqueNodeToString
+missingToString
+parameterCallable
+localFlowIsLocal
+readStepIsLocal
+storeStepIsLocal
+compatibleTypesReflexive
+unreachableNodeCCtx
+localCallNodes
+postIsNotPre
+postHasUniquePre
+uniquePostUpdate
+postIsInSameCallable
+reverseRead
+argHasPostUpdate
+postWithInFlow
+viableImplInCallContextTooLarge
diff --git a/python/ql/test/experimental/dataflow/tainttracking/generator-flow/dataflow-consistency.ql b/python/ql/test/experimental/dataflow/tainttracking/generator-flow/dataflow-consistency.ql
@@ -0,0 +1,2 @@
+import python
+import experimental.dataflow.TestUtil.DataFlowConsistency

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+import python`
	`2`	`+import experimental.dataflow.TestUtil.DataFlowConsistency`