Python: Show TypeTracking doesn't work for module members

RasmusWL · RasmusWL · commit fbe115c046af · 2020-10-06T03:12:39.000+02:00
diff --git a/python/ql/test/experimental/dataflow/typetracking/mymodule.py b/python/ql/test/experimental/dataflow/typetracking/mymodule.py
@@ -0,0 +1,4 @@
+x = tracked # $tracked
+
+def func():
+    return tracked # $tracked
diff --git a/python/ql/test/experimental/dataflow/typetracking/test.py b/python/ql/test/experimental/dataflow/typetracking/test.py
@@ -49,6 +49,14 @@ def global_var_write_test():
     write_g(x) # $tracked
     use_g()
 
+def test_import():
+    import mymodule
+    mymodule.x # $f-:tracked
+    y = mymodule.func() # $tracked
+    y # $tracked
+
+# ------------------------------------------------------------------------------
+
 def expects_int(x): # $int
     do_int_stuff(x) # $int
 
