Experiments to evaluate precision
Algorithms compared
- flow/context sensitive (FS/CS) - Landi & Ryder
- flow/context insensitive(FI/CI)- Steensgaard, Anderson
- flow insensitive/context sensitive (FI/CS) - Liang & Harrold
Results
- FI/CS precision is close to FS/CS
- FI/CS time is close to FI/CI
More precise alias information can affect cost and precision of tools - slicing.