Predicate PointsToInternal::ssa_phi_reachable_from_input
Import path
import semmle.python.pointsto.PointsTopredicate ssa_phi_reachable_from_input(PhiFunction phi, PointsToContext context, EssaVariable input)import semmle.python.pointsto.PointsTopredicate ssa_phi_reachable_from_input(PhiFunction phi, PointsToContext context, EssaVariable input)