LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sav08:lecture25 [2008/05/22 13:53]
vkuncak
sav08:lecture25 [2008/05/26 15:07]
vkuncak
Line 20: Line 20:
   * [[:​sav07_lecture_22]]   * [[:​sav07_lecture_22]]
   * [[:​sav07_lecture_23]]   * [[:​sav07_lecture_23]]
 +
  
  
Line 30: Line 31:
 Allocation-Site Based Model and Instrumented Semantics 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 Path Sensitivity through Powerset Domain
Line 41: Line 42:
  
 [[Symbolic Shape Analysis]] [[Symbolic Shape Analysis]]
 +
  
 ===== Interprocedural Analysis ===== ===== Interprocedural Analysis =====
Line 52: Line 54:
 Synthesizing Contracts Synthesizing Contracts
  
-Using Set Constraints with Projections+Using Set Constraints with Projections ​to Eliminate False Paths
  
 Control-Flow Analysis and Dynamic Dispatch Control-Flow Analysis and Dynamic Dispatch