== Points-To Analysis==
The Flow-Insensitive Representation 
* {{{AssignmentIF}}} :  A flow-insensitive representation of a program is a set of {{{AssignmentIF}}}.  An {{{AssignmentIF}}} instance represents an assignment in the program which is one of the following forms:
 * Base: {{{ lhs = &rhs }}}
 * Simple: {{{ lhs = rhs }}}
 * Complex 1: {{{ *lhs = rhs }}}
 * Complex 2: {{{ lhs = *rhs }}}





== Read / Write Analysis ==