wiki: StaticAnalysis

Version 1 (modified by ziqing, 7 years ago) ( diff )

--

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

Note: See TracWiki for help on using the wiki.