Research on Static and Auto-Testing Method for Array Bounds Based on Integer Range Aggregation
As a kind of faults in programs, the issue of out of bound of arrays(OOB) threatens software security potentially. Conventional fault testing uses the method of code insertion, and eliminates the redundant array bound checking with optimization technique of compiling time. This method not only reduces the efficiency that programs run, but also increases the spending. Furthermore, it cannot test the programs thoroughly and results to miss some faults easily. On the basis of static analysis of programs, this paper introduces the corcopt of range and sets up integer and array range congregation. Then the paper presents a model of OOB faults. This model can standardizes the software faults. The paper presents a fault testing algorithm and gives experiment results. Experiment result shows that this method has stronger and better fault testing ability than the existing methods.