Differences

This shows you the differences between two versions of the page.

--- sav08:lecture25 [2008/05/22 13:49]
vkuncak
+++ sav08:lecture25 [2008/05/26 15:07]
vkuncak
@@ Line 20: / Line 20: @@
   * [[:sav07_lecture_22]]
   * [[:sav07_lecture_23]]
@@ Line 30: / Line 31: @@
 Allocation-Site Based Model and Instrumented Semantics
-Representation Using Set Constraints
+Representation of Pointer Analysis Using Set Constraints
-Flow Sensitive vs Flow Insensitive Analysis
+Flow Sensitive vs Flow Insensitive Analysis - constraining facts at all points to be equal
 Path Sensitivity through Powerset Domain
@@ Line 41: / Line 42: @@
 [[Symbolic Shape Analysis]]
 ===== Interprocedural Analysis =====
@@ Line 52: / Line 54: @@
 Synthesizing Contracts
-Using Set Constraints with Projections
+Using Set Constraints with Projections to Eliminate False Paths
-  * [[:sav07_lecture_20]]
-  * [[:sav07_lecture_21]]
 Control-Flow Analysis and Dynamic Dispatch
@@ Line 65: / Line 64: @@
   * [[http://theory.stanford.edu/~aiken/publications/papers/pldi04.pdf|The Set Constraint/CFL Reachability Connection in Practice]]
   * {{shivers-diss.ps|Control-flow analysis of higher-order languages}}
+  * [[:sav07_lecture_20]]
+  * [[:sav07_lecture_21]]
 ===== General Reference =====