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

Python: Add type-tracking test for attr set in function

Browse Source
This commit is contained in:
Rasmus Wriedt Larsen
2021-06-08 19:03:24 +02:00
parent dcd448b743
commit 3d2de03674
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
python/ql/test/experimental/dataflow/typetracking/attribute_tests.py
View File

@@ -30,6 +30,15 @@ def test_incompatible_types():
x.field = str("Hello") # $str=field str SPURIOUS: int=field int
expects_string(x) # $ str=field SPURIOUS: int=field
# set in different function
def set_foo(some_class_instance): # $ tracked=foo
some_class_instance.foo = tracked # $ tracked=foo tracked
def test_set_x():
x = SomeClass()
set_foo(x)
print(x.foo) # MISSING: tracked
# ------------------------------------------------------------------------------
# Attributes assigned statically to a class
# ------------------------------------------------------------------------------