Changes between Initial Version and Version 1 of StaticAnalysis


Ignore:
Timestamp:
05/07/19 16:03:08 (7 years ago)
Author:
ziqing
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • StaticAnalysis

    v1 v1  
     1== Points-To Analysis==
     2The Flow-Insensitive Representation
     3* {{{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:
     4 * Base: {{{ lhs = &rhs }}}
     5 * Simple: {{{ lhs = rhs }}}
     6 * Complex 1: {{{ *lhs = rhs }}}
     7 * Complex 2: {{{ lhs = *rhs }}}
     8
     9
     10
     11
     12
     13== Read / Write Analysis ==