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

Prevent Python join order regression

Browse Source
This commit is contained in:
Kasper Svendsen
2023-04-20 13:44:30 +02:00
parent 377aa68bb3
commit 603a97faf9
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll
View File

@@ -1200,6 +1200,7 @@ predicate normalCallArg(CallNode call, Node arg, ArgumentPosition apos) {
* time the bound method is used, such that the `clear()` call would essentially be * time the bound method is used, such that the `clear()` call would essentially be
* translated into `l.clear()`, and we can still have use-use flow. * translated into `l.clear()`, and we can still have use-use flow.
*/ */
pragma[assume_small_delta]
cached cached
predicate getCallArg(CallNode call, Function target, CallType type, Node arg, ArgumentPosition apos) { predicate getCallArg(CallNode call, Function target, CallType type, Node arg, ArgumentPosition apos) {
Stages::DataFlow::ref() and Stages::DataFlow::ref() and