Evaluating and tuning a static analysis to find null pointer bugs.

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 iden...

Ausführliche Beschreibung

Bibliographische Detailangaben
Veröffentlicht in:Software engineering notes. 31, 1 (2006).
1. Verfasser: Hovemeyer, David
Format: Artikel
Sprache:Englisch
Schlagworte: