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

Cijeli opis

Bibliografski detalji
Izdano u:Software engineering notes. 31, 1 (2006).
Glavni autor: Hovemeyer, David
Format: Članak
Jezik:English
Teme: