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

Python: exclusion for summary nodes

Browse Source 
as in Ruby
This commit is contained in:
Rasmus Lerchedahl Petersen
2023-12-06 09:59:27 +01:00
parent 061fd014a6
commit 5471c92e9f
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/consistency-queries/DataFlowConsistency.ql
View File

@@ -14,6 +14,8 @@ private module Input implements InputSig<PythonDataFlow> {
private import Private
private import Public
predicate postWithInFlowExclude(Node n) { n instanceof FlowSummaryNode }
predicate argHasPostUpdateExclude(ArgumentNode n) {
// TODO: Implement post-updates for *args, see tests added in https://github.com/github/codeql/pull/14936
exists(ArgumentPosition apos | n.argumentOf(_, apos) and apos.isStarArgs(_))