Predicate SsaSource::assignment_definition

Holds if v is defined by assignment at defn and given value.

Import path

import semmle.python.essa.SsaDefinitions

predicate assignment_definition(Variable v, ControlFlowNode defn, ControlFlowNode value)