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

Predicate PointsToInternal::ssa_phi_reachable_from_input

Import path

import semmle.python.pointsto.PointsTo
predicate ssa_phi_reachable_from_input(PhiFunction phi, PointsToContext context, EssaVariable input)