Detection of array bound overflow by interval set based on Cppcheck