Merge pull request #4412 from RasmusWL/python-typetracking-across-modules

Approved by yoff

Author: codeql-ci

python/ql/test/experimental/dataflow/typetracking/mymodule.py

@@ -0,0 +1,4 @@
+x = tracked # $tracked
+
+def func():
+    return tracked # $tracked

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