Predicate SsaComputeImpl::AdjacentUsesImpl::useOfDef
Holds if the value defined at def can reach use, possibly through phi nodes.
Import path
import semmle.python.essa.SsaComputepredicate useOfDef(EssaDefinition def, ControlFlowNode use)Holds if the value defined at def can reach use, possibly through phi nodes.
import semmle.python.essa.SsaComputepredicate useOfDef(EssaDefinition def, ControlFlowNode use)