| A data flow analyzer which is used to collect data flow information for a C/C++ program static safety checker is designed and implemented in this thesis.Firstly, basic theories in data flow analysis and the conventional iterative data flow analysis method is studied, and a control flow path-based data flow analysis method is presented according to the actual needs of the C/C++ program static safety checker. Secondly, based on this method a data flow analyzer is designed and implemented, which searches out the control flow paths in control flow graph, and then parses the abstract syntax tree to calculate data flow information along each path. The overall workflow, control flow path searching and data flow information calculation in the analyzer are discussed detailedly. Finally, integer value analysis of which the result is used to check array bounds is discussed. Experimental results illustrate that this method is effective. |
PDF Full Text Request