mirror of
https://github.com/github/codeql.git
synced 2026-03-22 07:26:45 +01:00
99 lines
2.0 KiB
Python
99 lines
2.0 KiB
Python
### Tests of global flow
|
|
|
|
# Simple assignment
|
|
|
|
g = [5] # $writes=g
|
|
|
|
# Multiple assignment
|
|
|
|
g1, g2 = [6], [7] # $writes=g1 $writes=g2
|
|
|
|
# Assignment that's only referenced in this scope. This one will not give rise to a `ModuleVariableNode`.
|
|
|
|
unreferenced_g = [8]
|
|
print(unreferenced_g)
|
|
|
|
# Testing modifications of globals
|
|
|
|
# Modification by reassignment
|
|
|
|
g_mod = [10] # $writes=g_mod
|
|
print(g_mod) # $reads=g_mod
|
|
g_mod = [100] # $writes=g_mod
|
|
|
|
# Modification by mutation
|
|
|
|
g_ins = [50] # $writes=g_ins
|
|
print(g_ins) # $reads=g_ins
|
|
g_ins.insert(75) # $reads=g_ins
|
|
|
|
# A global with multiple potential definitions
|
|
|
|
import unknown_module
|
|
if unknown_module.attr:
|
|
g_mult = [200] # $writes=g_mult
|
|
else:
|
|
g_mult = [300] # $writes=g_mult
|
|
|
|
def global_access():
|
|
l = 5
|
|
print(g) # $reads=g
|
|
print(g1) # $reads=g1
|
|
print(g2) # $reads=g2
|
|
print(g_mod) # $reads=g_mod
|
|
print(g_ins) # $reads=g_ins
|
|
print(g_mult) # $reads=g_mult
|
|
|
|
def print_g_mod(): # $writes=print_g_mod
|
|
print(g_mod) # $reads=g_mod
|
|
|
|
def global_mod():
|
|
global g_mod
|
|
g_mod += [150] # $reads,writes=g_mod
|
|
print_g_mod() # $reads=print_g_mod
|
|
|
|
def global_inside_local_function():
|
|
def local_function():
|
|
print(g) # $reads=g
|
|
local_function()
|
|
|
|
## Imports
|
|
|
|
|
|
# Direct imports
|
|
|
|
import foo_module # $writes=foo_module
|
|
|
|
def use_foo():
|
|
print(foo_module.attr) # $reads=foo_module
|
|
|
|
# Partial imports
|
|
|
|
from bar import baz_attr, quux_attr # $writes=baz_attr $writes=quux_attr
|
|
|
|
def use_partial_import():
|
|
print(baz_attr, quux_attr) # $reads=baz_attr $reads=quux_attr
|
|
|
|
# Aliased imports
|
|
|
|
from spam_module import ham_attr as eggs_attr # $writes=eggs_attr
|
|
|
|
def use_aliased_import():
|
|
print(eggs_attr) # $reads=eggs_attr
|
|
|
|
# Import star (unlikely to work unless we happen to extract/model the referenced module)
|
|
|
|
# Unknown modules
|
|
|
|
from unknown import *
|
|
|
|
def secretly_use_unknown():
|
|
print(unknown_attr) # $reads=unknown_attr
|
|
|
|
# Known modules
|
|
|
|
from known import *
|
|
|
|
def secretly_use_known():
|
|
print(known_attr) # $reads=known_attr
|