Path separation [Ammons & Larus, PLDI’98]
Goal: Improve precision on hot (some) paths
1. Profiling, identify hot paths
2. Separate these paths from the rest, creating a new graph - Hot Path Graph (HPG) using automaton (qualified data flow analysis)
3. Analyze using traditional data flow
4. Reduce the HPG by removing nodes and edges that are not beneficial