Software Errors Static Testing Method for Systematic Collapse
MA Xue-ya · 2004
This paper puts forward a software errors static testing method for systematic collapse, which is meant for five types of errors, namely bad deallocation, memory leak, null pointer dereference, out of bounds array access, un-initialized variables. The proposed method can be effective in finding out the errors in software based on accidence analysis and syntax analysis, use examining point searching arithmetic to search for suspicious point, with appropriate manual confirmation whenever possible.