Predicate InterProceduralPointsTo::parameter_points_to
Points-to for parameter. def foo(param): ...
.
Import path
import semmle.python.pointsto.PointsTo
predicate parameter_points_to(ParameterDefinition def, PointsToContext context, ObjectInternal value, ControlFlowNode origin)