Python: Add dataflow consistency checks to ORM tests

RasmusWL · RasmusWL · commit 092cfceb18d6 · 2022-02-28T16:38:40.000+01:00
Luckily they passed :phew:
diff --git a/python/ql/test/library-tests/frameworks/django-orm/dataflow-consistency.expected b/python/ql/test/library-tests/frameworks/django-orm/dataflow-consistency.expected
@@ -0,0 +1,18 @@
+uniqueEnclosingCallable
+uniqueType
+uniqueNodeLocation
+missingLocation
+uniqueNodeToString
+missingToString
+parameterCallable
+localFlowIsLocal
+compatibleTypesReflexive
+unreachableNodeCCtx
+localCallNodes
+postIsNotPre
+postHasUniquePre
+uniquePostUpdate
+postIsInSameCallable
+reverseRead
+argHasPostUpdate
+postWithInFlow
diff --git a/python/ql/test/library-tests/frameworks/django-orm/dataflow-consistency.ql b/python/ql/test/library-tests/frameworks/django-orm/dataflow-consistency.ql
@@ -0,0 +1,3 @@
+import semmle.python.dataflow.new.internal.DataFlowImplConsistency::Consistency
+// Needs to import Django modeling to get the extra data-flow steps enabled.
+import semmle.python.Frameworks

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+import semmle.python.dataflow.new.internal.DataFlowImplConsistency::Consistency`
	`2`	`+// Needs to import Django modeling to get the extra data-flow steps enabled.`
	`3`	`+import semmle.python.Frameworks`