Predicate Private::External::invalidProvenance
Holds if provenance
is not a valid provenance value.
Import path
import semmle.python.dataflow.new.internal.FlowSummaryImpl
predicate invalidProvenance(string provenance)
Holds if provenance
is not a valid provenance value.
import semmle.python.dataflow.new.internal.FlowSummaryImpl
predicate invalidProvenance(string provenance)