Predicate SsaComputeImpl::AdjacentUsesImpl::firstUse

Holds if the value defined at def can reach use without passing through any other uses, but possibly through phi nodes.

Import path

import semmle.python.essa.SsaCompute

predicate firstUse(EssaDefinition def, ControlFlowNode use)