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

Volledige beschrijving

Bibliografische gegevens
Gepubliceerd in:Software engineering notes. 31, 1 (2006).
Hoofdauteur: Hovemeyer, David
Formaat: Artikel
Taal:English
Onderwerpen: