An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework

Safe and accurate value range analysis is crucial for compiler optimization. Based on abstract interpretation and generalized monotone data flow framework, a complete framework for value range analysis is proposed in this paper. Different from other value range analysis methods, this framework includes complete definitions, analysis and correctness proofs. Compared with general theory about abstract interpretation, the method focuses on value range analysis, so the analysis and the proof of the analysis is straightforward.