Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
chord_notes [2007/06/20 00:29] vkuncak |
chord_notes [2007/06/20 00:47] vkuncak |
||
---|---|---|---|
Line 17: | Line 17: | ||
Phases of the analysis | Phases of the analysis | ||
* OriginalPairs: based on static types | * OriginalPairs: based on static types | ||
- | * reachable pairs: context-insensitive alias analysis + call graph analysis | + | * reachable pairs: alias analysis + call graph analysis |
* aliasing-pairs: k-object sensitive alias analysis + bddbddb | * aliasing-pairs: k-object sensitive alias analysis + bddbddb | ||
* Escaping-Pairs: thread escape analysis | * Escaping-Pairs: thread escape analysis |