Predicate simple_points_to
Points-to for syntactic elements where context is not relevant
Import path
import pythonpredicate simple_points_to(ControlFlowNode f, Object value, ClassObject cls, ControlFlowNode origin)Points-to for syntactic elements where context is not relevant
import pythonpredicate simple_points_to(ControlFlowNode f, Object value, ClassObject cls, ControlFlowNode origin)