Research on Undetermined Value of First Use Based on Lattice Framework

Abstract

This paper reports on the theoretical principle and many applications of data-flow analysis. However, current developments of data flow analysis are primarily undertaken by individual problem and lead to a plethora of specific solutions. We formulate a general framework with lattice theory, which provides a single formal model for various data-flow analyses. It helps us focus on the specific details of different data flow problems. Furthermore, we take a common data flow problem detecting variables' undetermined value of first use as an instance and give a structured approach to solve these problems based on lattice framework for data-flow analysis.