Interface InsensitiveFlow

All Superinterfaces:
Iterable<AssignmentIF>

public interface InsensitiveFlow extends Iterable<AssignmentIF>

The flow-insensitive abstraction of a function body for points-to analysis. It consists of a set of AssignmentIFs, each of which represents an assignment that may have an impact on what a pointer may points-to.