Evaluating and tuning a static analysis to find null pointer bugs

  title={Evaluating and tuning a static analysis to find null pointer bugs},
  author={David Hovemeyer and Jaime Spacco and William Pugh},
Using static analysis to detect memory access errors, such as null pointer dereferences, is not a new problem. However, much of the previous work has used rather sophisticated analysis techniques in order to detect such errors.In this paper we show that simple analysis techniques can be used to identify many such software defects, both in production code and in student code. In order to make our analysis both simple and effective, we use a non-standard analysis which is neither complete nor… CONTINUE READING
Highly Cited
This paper has 111 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 75 extracted citations

111 Citations

Citations per Year
Semantic Scholar estimates that this publication has 111 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-3 of 3 references

Similar Papers

Loading similar papers…