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

Apply suggestions from code review

Browse Source 
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
This commit is contained in:
yoff
2023-06-14 13:27:33 +02:00
committed by GitHub
parent f1de753400
commit 38cca08a86
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/lib/change-notes/2023-06-13-container-store-steps.md
View File

@@ -1,4 +1,4 @@
---
category: minorAnalysis
---
* More precise modelling of several container functions and methods.
* More precise modelling of several container functions (such as `sorted`, `reversed`) and methods (such as `set.add`, `list.append`).

4
python/ql/lib/semmle/python/frameworks/Stdlib.qll
View File

@@ -4349,7 +4349,7 @@ private module StdlibPrivate {
output = "Argument[self].ListElement" and
preservesValue = true
or
// transfer taint from new element to this
// transfer taint from new element to this (TODO: remove in future when taint-handling is more in line with other languages)
input = "Argument[0]" and
output = "Argument[self]" and
preservesValue = false
@@ -4391,7 +4391,7 @@ private module StdlibPrivate {
output = "Argument[self].SetElement" and
preservesValue = true
or
// transfer taint from new element to this
// transfer taint from new element to this (TODO: remove in future when taint-handling is more in line with other languages)
input = "Argument[0]" and
output = "Argument[self]" and
preservesValue = false