Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 2d3e23e commit e179df7Copy full SHA for e179df7
1 file changed
python/ql/test/experimental/dataflow/global-flow/test.py
@@ -18,9 +18,9 @@
18
# Modification by reassignment
19
20
g_mod = []
21
-# Immediate reassignment -- no modification possible.
+# The following assignment should not be a `ModuleVariableNode`, but currently our analysis thinks `g_mod` might be used in the `print` call
22
g_mod = [10] # $f+:writes=g_mod
23
-print(g_mod) # Could potentially be redefined here.
+print("foo")
24
g_mod = [100] # $writes=g_mod
25
26
# Modification by mutation
@@ -37,7 +37,7 @@
37
else:
38
g_mult = [300] # $writes=g_mult
39
40
-# Potential reassignment
+# A global with multiple potential definitions
41
42
g_mult2 = [400] # $writes=g_mult2
43
if unknown_module.attr:
0 commit comments