Predicate SsaComputeImpl::variableUse
Holds if there is a variable access use of v in b at index i.
Import path
import semmle.python.essa.SsaComputepredicate variableUse(SsaSourceVariable v, ControlFlowNode use, BasicBlock b, int i)Holds if there is a variable access use of v in b at index i.
import semmle.python.essa.SsaComputepredicate variableUse(SsaSourceVariable v, ControlFlowNode use, BasicBlock b, int i)