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)
import semmle.python.pointsto.PointsTo
predicate ssa_phi_reachable_from_input(PhiFunction phi, PointsToContext context, EssaVariable input)