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

RasmusWL · Nov 22, 2022 · c7b733c · c7b733c
1 parent 1d1944d
commit c7b733c
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/.../ql/test/experimental/dataflow/tainttracking/generator-flow/dataflow-consistency.expected b/.../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 @@
		import python
		import experimental.dataflow.TestUtil.DataFlowConsistency