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

Merge pull request #2266 from tausbn/python-multiple-calls-to-init-join-order-fix

Browse Source 
Python: Fix bad join order for `py/multiple-calls-to-init`.
This commit is contained in:
Rasmus Wriedt Larsen
2019-11-07 15:38:43 +01:00
committed by GitHub
parent 2b120def01 2b24eb2e70
commit 9ffb67a460
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
python/ql/src/Classes/MethodCallOrder.qll
View File

@@ -3,11 +3,16 @@ import python
// Helper predicates for multiple call to __init__/__del__ queries.
pragma [noinline]
private predicate multiple_invocation_paths(FunctionInvocation top, FunctionInvocation i1, FunctionInvocation i2, FunctionObject multi) {
private predicate multiple_invocation_paths_helper(FunctionInvocation top, FunctionInvocation i1, FunctionInvocation i2, FunctionObject multi) {
i1 != i2 and
i1 = top.getACallee+() and
i2 = top.getACallee+() and
i1.getFunction() = multi and
i1.getFunction() = multi
}
pragma [noinline]
private predicate multiple_invocation_paths(FunctionInvocation top, FunctionInvocation i1, FunctionInvocation i2, FunctionObject multi) {
multiple_invocation_paths_helper(top, i1, i2, multi) and
i2.getFunction() = multi
}