Changes between Version 1 and Version 2 of Overview

Timestamp:

12/09/15 11:01:31 (10 years ago)

Author:

zmanchun

Comment:

--

Overview

@@ -10 +10 @@
 
 * Static analysis done by CIVL includes:
- 1. purely local analysis
+ 1. purely local analysis  ** details... **
+     a. figure out purely local variables
+     b. figure out purely local statements
+     b. figure out purely local locations
  1. identifying variable used as operand of address-of operator
  1. identifying assignment with left hand side being dereference expression (`*p=...`)
  1. identifying the applicable analyzer for each statement
-     * currently...
-
+     * currently, there is only one analyzer: `abs` (absolute value) call analyzer
+ 1. for locations:
+     a. computing the set of variables writable at/from a location ** details... **
+     b. purely local analysis
+     c. loop analysis
+  1. memory unit analysis:
+      a. reachable memory units
+      b. impact memory units
+