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

Python: Global flow works when in own file???

Browse Source 
This is very suspicious
This commit is contained in:
Rasmus Wriedt Larsen
2022-02-25 13:36:00 +01:00
parent d83a9ef8d3
commit 0642610ee9
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
python/ql/test/experimental/dataflow/fieldflow/test_global.py
View File

@@ -55,7 +55,7 @@ SINK(myobj.foo) # $ flow="SOURCE, l:-1 -> myobj.foo"
myobj = MyObj("OK")
myobj.setFoo(SOURCE)
SINK(myobj.foo) # $ MISSING: flow
SINK(myobj.foo) # $ flow="SOURCE, l:-1 -> myobj.foo"
@@ -124,12 +124,12 @@ SINK_F(getattr(myobj, "foo"))
obj2 = MyObj(SOURCE)
SINK(obj2.foo) # $ MISSING: flow="SOURCE, l:-1 -> obj2.foo"
SINK(obj2.foo) # $ flow="SOURCE, l:-1 -> obj2.foo"
obj3 = MyObj(foo=SOURCE)
SINK(obj3.foo) # $ MISSING: flow="SOURCE, l:-1 -> obj3.foo"
SINK(obj3.foo) # $ flow="SOURCE, l:-1 -> obj3.foo"
@@ -138,7 +138,7 @@ def fields_with_local_flow(x):
a = obj.foo
return a
SINK(fields_with_local_flow(SOURCE)) # $ MISSING: flow="SOURCE -> fields_with_local_flow(..)"
SINK(fields_with_local_flow(SOURCE)) # $ flow="SOURCE -> fields_with_local_flow(..)"
# ------------------------------------------------------------------------------
# Nested Object
@@ -161,7 +161,7 @@ SINK(a.obj.foo) # $ flow="SOURCE, l:-3 -> a.obj.foo"
x = SOURCE
a = NestedObj()
a.getObj().foo = x
SINK(a.obj.foo) # $ MISSING: flow
SINK(a.obj.foo) # $ flow="SOURCE, l:-3 -> a.obj.foo"
# ------------------------------------------------------------------------------
# Global scope interaction