Predicate SsaSource::parameter_definition
Holds if v is a parameter variable and defn is the CFG node for that parameter.
Import path
import semmle.python.essa.SsaDefinitionspredicate parameter_definition(Variable v, ControlFlowNode defn)Holds if v is a parameter variable and defn is the CFG node for that parameter.
import semmle.python.essa.SsaDefinitionspredicate parameter_definition(Variable v, ControlFlowNode defn)