hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 01:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #15841 from RasmusWL/missing-use-use2

Browse Source 
Python: Add example of missing use-use flow
This commit is contained in:
yoff
2024-03-11 13:59:57 +01:00
committed by GitHub
parent adbcbefaa9 4dd8f6e618
commit e6e6a4e9c8
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