Improving the Precision of Equality-Based Dataflow Analyses [chapter]

Erik Ruf
2002 Lecture Notes in Computer Science  
We present two new, orthogonal techniques for improving the precision of equality-based dataflow analyses. Subtype expansion models objects at a per-type granularity, enabling a form of subtype-restricted equality constraint, while mutation tracking uses a simple effect analysis to avoid a class of false aliases induced by the bidirectional nature of equality constraints. The utility and costs of these techniques are demonstrated in a context-sensitive interprocedural optimization whose static
more » ... recision improves by 6-600% when our techniques are applied. This document is a preprint of an article to appear in Static Analysis Symposium (SAS)
doi:10.1007/3-540-45789-5_19 fatcat:s52dg62wdjeihoh6vy6sa4auna