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: Accept global field-flow inconsistencies

Browse Source 
Yikes
This commit is contained in:
Rasmus Wriedt Larsen
2022-02-24 15:07:18 +01:00
parent 94d23f3817
commit abe4d8da62
1 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
python/ql/test/experimental/dataflow/fieldflow/test.py
View File

@@ -218,7 +218,9 @@ myobj.foo = SOURCE
if cond:
myobj.foo = NONSOURCE
SINK_F(myobj.foo)
SINK(myobj.foo) # $ flow="SOURCE, l:-4 -> myobj.foo"
# SPLITTING happens here, so in one version there is flow, and in the other there isn't
# that's why it has both a flow and a MISSING: flow annotation
SINK(myobj.foo) # $ flow="SOURCE, l:-6 -> myobj.foo" MISSING: flow
@@ -259,16 +261,16 @@ SINK_F(getattr(myobj, "foo"))
obj = MyObj(SOURCE)
SINK(obj.foo) # $ flow="SOURCE, l:-1 -> obj.foo"
obj2 = MyObj(SOURCE)
SINK(obj2.foo) # $ MISSING: flow="SOURCE, l:-1 -> obj2.foo"
obj = MyObj(foo=SOURCE)
SINK(obj.foo) # $ flow="SOURCE, l:-1 -> obj.foo"
obj3 = MyObj(foo=SOURCE)
SINK(obj3.foo) # $ MISSING: flow="SOURCE, l:-1 -> obj3.foo"
SINK(fields_with_local_flow(SOURCE)) # $ flow="SOURCE -> fields_with_local_flow(..)"
SINK(fields_with_local_flow(SOURCE)) # $ MISSING: flow="SOURCE -> fields_with_local_flow(..)"
# ------------------------------------------------------------------------------
# Nested Object