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

Fix tests to check for the correct type

Browse Source
This commit is contained in:
Joe Farebrother
2025-01-07 15:23:07 +00:00
parent 8b174ea07c
commit 35961e454b
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
python/ql/test/library-tests/frameworks/lxml/taint_test.py
View File

@@ -138,15 +138,15 @@ def test():
def func2(x):
return x
def func3(x) -> ET.Element:
def func3(x) -> ET.ElementTree:
return x
ensure_tainted(
func2(tree), # $ tainted
func2(tree).text, # $ MISSING:tainted - type tracking not tracked through flow preserving calls
func3(tree).text, # $ MISSING:tainted - this includes if there is a type hint annotation on the return
func2(tree).getroot().text, # $ MISSING:tainted - type tracking not tracked through flow preserving calls
func3(tree).getroot().text, # $ MISSING:tainted - this includes if there is a type hint annotation on the return
typing.cast(ET.ElementTree, tree), # $ tainted
typing.cast(ET.ElementTree, tree).text, # $ MISSING:tainted - this includes for flow summary models
typing.cast(ET.ElementTree, tree).getroot().text, # $ MISSING:tainted - this includes for flow summary models
)