Python: Don't warn on multipleArgumentCall

RasmusWL · hvitved · commit 1de7460aba94 · 2023-09-12T21:16:14.000+02:00
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImplConsistency.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImplConsistency.qll
@@ -47,6 +47,10 @@ private module Input implements InputSig<PythonDataFlow> {
   predicate identityLocalStepExclude(Node n) {
     not exists(n.getLocation().getFile().getRelativePath())
   }
+
+  predicate multipleArgumentCallExclude(ArgumentNode arg, DataFlowCall call) {
+    isArgumentNode(arg, call, _)
+  }
 }
 
 module Consistency = MakeConsistency<PythonDataFlow, PythonTaintTracking, Input>;

Original file line number	Diff line number	Diff line change
`@@ -47,6 +47,10 @@ private module Input implements InputSig<PythonDataFlow> {`
`47`	`47`	`predicate identityLocalStepExclude(Node n) {`
`48`	`48`	`not exists(n.getLocation().getFile().getRelativePath())`
`49`	`49`	`}`
	`50`	`+`
	`51`	`+ predicate multipleArgumentCallExclude(ArgumentNode arg, DataFlowCall call) {`
	`52`	`+ isArgumentNode(arg, call, _)`
	`53`	`+ }`
`50`	`54`	`}`
`51`	`55`
`52`	`56`	`module Consistency = MakeConsistency<PythonDataFlow, PythonTaintTracking, Input>;`