Value Range Analysis of Executable Code Based on Abstract Interpretation

The abstract memory model and the abstract run-time environment of executable code are described.The data flow analysis is given and the correctness and computability of data flow analysis are ensured based on abstract interpretation theory.Abstract interpretation is used to propagate the variable value range information through the generic monotone dataflow framework.New methods to automatically compute the maximal counts of iterations of the loops and to identify the infeasible paths are presented.The example of analyzing program's data flow is given.