Python: Test for parameters without nodes.

yoff · yoff · commit 2c58643fd178 · 2021-01-26T11:28:31.000+01:00
diff --git a/python/ql/test/experimental/dataflow/consistency/modeling-consistency.expected b/python/ql/test/experimental/dataflow/consistency/modeling-consistency.expected
@@ -0,0 +1 @@
+| test.py:239:27:239:27 | Parameter | There is no `ParameterNode` associated with this parameter. |
diff --git a/python/ql/test/experimental/dataflow/consistency/modeling-consistency.ql b/python/ql/test/experimental/dataflow/consistency/modeling-consistency.ql
@@ -0,0 +1,7 @@
+import python
+import semmle.python.dataflow.new.DataFlow
+
+query predicate parameterWithoutNode(Parameter p, string msg) {
+  not exists(DataFlow::ParameterNode node | p = node.getParameter()) and
+  msg = "There is no `ParameterNode` associated with this parameter."
+}

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	+\| test.py:239:27:239:27 \| Parameter \| There is no `ParameterNode` associated with this parameter. \|