Changes between Version 1 and Version 2 of StaticAnalysis

Timestamp:

05/07/19 17:18:21 (7 years ago)

Author:

ziqing

Comment:

--

StaticAnalysis

@@ -1 +1 @@
 == Points-To Analysis==
-The Flow-Insensitive Representation 
+**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 }}}
@@ -7 +7 @@
  * Complex 2: {{{ lhs = *rhs }}}
 
+  For the case of {{{ *lhs = *rhs }}}, an auxiliary variable {{{tmp}}} is introduced: {{{ tmp = *rhs }}}, {{{ *rhs = tmp }}}. 
+
+  For now, structs and array elements are all invisible for the flow-insensitive representation: so {{{ expr.id }}} is abstracted to {{{expr}}};   {{{expr->id}}} is abstracted to {{{*expr}}};  {{{a[I]}}} is abstracted to {{{a}}};   {{{*(p + i)}}}, where {{{I}}} is an integer, is abstracted to {{{*p}}}.
+  
+  For the case of {{{lhs =  a op b}}} (or `*lhs = a op b`), it is abstracted to `lhs = a` (or `*lhs = a`) and `lhs = b` (or `*lhs = b`)
+