Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision Next revision Both sides next revision | ||
chord_notes [2007/06/19 23:58] vkuncak created |
chord_notes [2007/06/20 00:29] vkuncak |
||
---|---|---|---|
Line 16: | Line 16: | ||
Phases of the analysis | Phases of the analysis | ||
+ | * OriginalPairs: based on static types | ||
+ | * reachable pairs: context-insensitive alias analysis + call graph analysis | ||
+ | * aliasing-pairs: k-object sensitive alias analysis + bddbddb | ||
+ | * Escaping-Pairs: thread escape analysis | ||
+ | * Unlocked-Pairs | ||
+ | * Error-reporting | ||
+ | |||
+ | Annotations | ||
+ | |||
+ | Unsoundess summary | ||
+ | |||
+ | Experimental results | ||