¿Por qué Cppcheck no encuentra este error obvio de matriz fuera de límites?

Question

Instalé la herramienta Cppcheck para el análisis de código estático de mi proyecto C++ y tuve la sensación de que funciona mal. Por ejemplo, ¿alguien puede decirme por qué Cppcheck no puede encontrar un error de matriz fuera de límites en el siguiente código?

void f(int c) { 
    char *p = new char[10]; 
    p[c] = 42; 
} 

void g() { 
    f(100); 
} 

Hay un online demo donde este código puede ser convenientemente comprobada usando Cppcheck. Todo lo que se trata es una fuga de memoria en la línea 4, no hay señales de un posible desbordamiento del búfer.

Answer 1

Porque no es compatible actualmente.

Esto no es un error obvio para el compilador. Algo así como

char c[5]; 
for (int i=0; i<10; ++i) 
    c[i] = 0; 

es más obvio, ya que todo está en el mismo código.

Algo así como

#define f(c) { \ 
    char *p = new char[10]; \ 
    p[c] = 42; \ 
} 

void g() { 
    f(100); 
} 

es más evidente, porque cppcheck y el compilador se expanden todas las macros en el lugar antes de los cheques reales.

Sin embargo, su código publicado no es trivial, porque tanto cppcheck como el compilador necesitan todo el código dentro de esa función y lo evalúan con respecto al parámetro. Por supuesto, es posible si la función está a la vista (se vuelve bastante difícil, hasta imposible, entre unidades de traducción), pero ahora mismo, cppcheck no tiene esa característica.

Answer 2

Soy un desarrollador de Cppcheck.

No es por diseño que Cppcheck no puede detectar eso.

Actualmente, Cppcheck no evalúa las funciones utilizando todos los parámetros dados de todas las llamadas a funciones. Tenemos entradas sobre esto y espero que se solucione algún día. Sería bueno.

Si utiliza Cppcheck, no debería pensar que detectará todos los errores. Es probable que Cppcheck no detecte la mayoría de los errores. No existe un método en mi humilde opinión que detecte todos los errores en su software. Use Cppcheck solo para detectar algunos de los errores que no puede detectar de otra manera. Reduce el número de errores de alguna manera.

Espero que no estés muy decepcionado y sigas usando Cppcheck.

Answer 3

La última versión de Cppcheck 1,70 dev es capaz de detectar este error:

$ cppcheck test.cpp 
Checking test.cpp... 
[test.cpp:3]: (error) Array 'p[10]' accessed at index 100, which is out of bounds. 
[test.cpp:4]: (error) Memory leak: p