Merge pull request #2 from RasmusWL/python-tricky-import-ssa-filter-definition

tausbn · web-flow · commit 802a72526068 · 2020-10-20T12:51:45.000+02:00
Python: Add test for tricky module member for type-tracking
diff --git a/python/ql/test/experimental/dataflow/typetracking/mymodule.py b/python/ql/test/experimental/dataflow/typetracking/mymodule.py
@@ -2,3 +2,6 @@
 
 def func():
     return tracked # $tracked
+
+z = tracked # $tracked
+some_func(z) # $tracked
diff --git a/python/ql/test/experimental/dataflow/typetracking/test.py b/python/ql/test/experimental/dataflow/typetracking/test.py
@@ -54,6 +54,7 @@ def test_import():
     mymodule.x # $tracked
     y = mymodule.func() # $tracked
     y # $tracked
+    mymodule.z # $tracked
 
 # ------------------------------------------------------------------------------
 
diff --git a/python/ql/test/experimental/dataflow/typetracking/tracked.expected b/python/ql/test/experimental/dataflow/typetracking/tracked.expected
@@ -0,0 +1 @@
+| test.py:57:16:57:25 | Comment # $tracked | Missing result:tracked= |

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+\| test.py:57:16:57:25 \| Comment # $tracked \| Missing result:tracked= \|`