CodeQL library for Python
codeql/python-all 0.11.12 (changelog, source)
Search

Predicate SsaComputeImpl::AdjacentUsesImpl::definesAt

Holds if def defines v at the specified position. Phi nodes are placed at index -1.

Import path

import semmle.python.essa.SsaCompute
predicate definesAt(EssaDefinition def, SsaSourceVariable v, BasicBlock b, int i)