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: fix tests

Browse Source 
The way to expose the `self` arguemnt
is to call an instance method on the class,
not on the instance...
This commit is contained in:
Rasmus Lerchedahl Petersen
2024-04-23 11:13:08 +02:00
parent 4f46ce1133
commit 9f7edf378e
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/library-tests/dataflow/model-summaries/model_summaries.py
View File

@@ -129,13 +129,13 @@ a, b = c.instance_method(SOURCE)
SINK_F(a)
SINK(b) # $ flow="SOURCE, l:-2 -> b"
m = c.instance_method
x, y = (SOURCE, NONSOURCE)
SINK(x) # $ flow="SOURCE, l:-1 -> x"
# call the instance method on the class to expose the self argument
x, y = MS_Class.instance_method(SOURCE, NONSOURCE)
SINK(x) # $ MISSING: flow="SOURCE, l:-1 -> x"
SINK_F(y)
ms = c.explicit_self
SINK(ms(SOURCE)) # $ MISSING: flow="SOURCE, l:0 -> ms(SOURCE)"
# call the instance method on the class to expose the self argument
SINK(MS_Class.explicit_self(SOURCE)) # $ MISSING: flow="SOURCE, l:0 -> ms(SOURCE)"
# Modeled flow-summary is not value preserving
from json import MS_loads as json_loads