hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add change note + fix tests

Browse Source
This commit is contained in:
Joe Farebrother
2025-01-15 10:08:48 +00:00
parent 6a6585e415
commit 2aea356756
2 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
python/ql/lib/change-notes/2025-01-15-builtin-model.md Normal file
View File

@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* Additional data flow models for the builtin functions `map`, `filter`, `zip`, and `enumerate` have been added.

8
python/ql/test/library-tests/dataflow/coverage/test_builtins.py
View File

@@ -573,9 +573,9 @@ def test_zip_set():
z = list(zip(s1,s2,s3,s4))
SINK(z[0][0]) #$ flow="SOURCE, l:-11 -> z[0][0]"
SINK(z[0][0]) #$ flow="SOURCE, l:-7 -> z[0][0]"
SINK_F(z[0][1])
SINK(z[0][2]) #$ flow="SOURCE, l:-11 -> z[0][2]"
SINK(z[0][2]) #$ flow="SOURCE, l:-7 -> z[0][2]"
SINK_F(z[0][3])
@expects(8)
@@ -605,7 +605,7 @@ def test_zip_dict():
z = list(zip(d1,d2,d3,d4))
SINK(z[0][0]) #$ MISSING: flow="SOURCE, l:-11 -> z[0][0]"
SINK(z[0][0]) #$ MISSING: flow="SOURCE, l:-7 -> z[0][0]"
SINK_F(z[0][1])
SINK(z[0][2]) #$ MISSING: flow="SOURCE, l:-11 -> z[0][2]"
SINK(z[0][2]) #$ MISSING: flow="SOURCE, l:-7 -> z[0][2]"
SINK_F(z[0][3])