Evaluating and tuning a static analysis to find null pointer bugs

@inproceedings{Hovemeyer2005EvaluatingAT,
  title={Evaluating and tuning a static analysis to find null pointer bugs},
  author={David Hovemeyer and Jaime Spacco and William Pugh},
  booktitle={PASTE},
  year={2005}
}
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

Citations

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

111 Citations

051015'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 111 citations based on the available data.

See our FAQ for additional information.

References

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

Similar Papers

Loading similar papers…