Automatic analysis of pointer aliasing for untyped programs

• 30 November 1999
• journal article
• Published by Elsevier in Science of Computer Programming
• Vol. 35  (2-3) , 223-248
• https://doi.org/10.1016/s0167-6423(99)00012-x

Abstract

Keywords

• ALIAS ANALYSIS
• STORELESS SEMANTICS
• ABSTRACT INTERPRETATION
• COFIBERED DOMAIN
• WIDENING OPERATOR
• FINITE-STATE AUTOMATON
• ABSTRACT NUMERICAL DOMAIN