Abstract:
A model of data-flow related software fault is built in this paper.The faults caused by the define-use operations of variables and the faults caused by accessing dynamic memory illegally are described in this model.In order to detect these faults,an accurate data-flow analysis method based on the control structure is introduced.By using this method,the data-flow on different path of a program can be simulated. And the use-define chain of every used variables can then be constructed to record all the define sites of these used variables.Finally,the software faults detection rules based on the use-define chain are investigated, which help to detect data-flow related software faults efficiently.