hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Add example of missing use-use flow

Browse Source 
(see PR for more detailed description)
This commit is contained in:
Rasmus Wriedt Larsen
2024-03-07 14:25:55 +01:00
parent 7c60562132
commit 8fe483d9d8
1 changed files with 29 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

29
python/ql/test/library-tests/essa/ssa-compute/test2.py Normal file
View File

@@ -0,0 +1,29 @@
def func(x): # $ def=x
try:
with Thing() as y: # $ def=y
y.foo(x, 0) # $ def-use=x:1 def-use=y:3
while not x.attribute: # $ use-use=x:4 use-use=x:7
y.bar() # $ use-use=y:4 use-use=y:6
print(x) # $ use-use=x:5
finally:
pass
def func(x): # $ def=x
try:
with Thing() as y: # $ def=y
y.foo(x, some_var) # $ def-use=x:11 def-use=y:13
while not x.attribute: # $ use-use=x:14 use-use=x:17
y.bar() # $ use-use=y:16 MISSING: use-use=y:14
print(x) # $ use-use=x:15
finally:
pass
def func(x): # $ def=x
try:
with Thing() as y: # $ def=y
y.foo(x, some_var.some_attr) # $ def-use=x:21 def-use=y:23
while not x.attribute: # $ use-use=x:27 MISSING: use-use=x:24
y.bar() # $ use-use=y:26 MISSING: use-use=y:24
print(x) # $ use-use=x:25
finally:
pass