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...
| Publicado en: | Software engineering notes. 31, 1 (2006). |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Lenguaje: | English |
| Materias: |