diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImplConsistency.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImplConsistency.qll index 2513a4aa3bd..0595cbf7d3f 100644 --- 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 { predicate identityLocalStepExclude(Node n) { not exists(n.getLocation().getFile().getRelativePath()) } + + predicate multipleArgumentCallExclude(ArgumentNode arg, DataFlowCall call) { + isArgumentNode(arg, call, _) + } } module Consistency = MakeConsistency;