Static Detection to Invalid Arithmetic Operations

To detect invalid arithmetic operations in C/C++ programs, formal definition of invalid arithmetic operations is given. The interval computation model of expressions, the generation model of variables’ value interval set and the fault model are established, which are the basis of identifying invalid arithmetic operations statically. The automatic testing algorithm of invalid arithmetic operations is proposed. The experimental results show that the proposed automatic testing method based could detect invalid arithmetic operations with high accuracy and efficiency.