Warum findet Cppcheck diesen offensichtlichen Array-Out-of-Bounds-Fehler nicht?

Question

Ich installierte das Tool Cppcheck für die statische Codeanalyse meines C++ - Projekts und bekam das Gefühl, dass es schlecht funktioniert. Zum Beispiel, kann mir jemand sagen, warum Cppcheck ist nicht in der Lage, ein Array Out-of-Bounds Fehler im folgenden Code zu finden?

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

void g() { 
    f(100); 
} 

Es gibt einen online demo wo dieser Code bequem geprüft cppcheck verwenden werden können. Alles, was auftaucht, ist ein Speicherleck in Zeile 4, keine Anzeichen für einen möglichen Pufferüberlauf.

Answer 1

Weil es derzeit nicht unterstützt wird.

Dies ist eigentlich kein offensichtlicher Fehler für den Compiler. So etwas wie

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

ist offensichtlicher, da es alle im selben Code ist.

So etwas wie

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

void g() { 
    f(100); 
} 

ist offensichtlich, weil cppcheck und die Compiler alle Makros an Ort und Stelle vor dem eigentlichen Kontrollen erweitern.

Ihr veröffentlichter Code ist jedoch nicht trivial, da sowohl cppcheck als auch der Compiler den gesamten Code innerhalb dieser Funktion benötigen und ihn in Bezug auf den Parameter auswerten. Es ist natürlich möglich, wenn die Funktion in Sicht ist (es wird ziemlich schwierig, bis unmöglich, über Übersetzungseinheiten), aber gerade jetzt, cppcheck hat diese Funktion nicht.

Answer 2

Ich bin ein Cppcheck-Entwickler.

Es ist nicht von Entwurf, dass Cppcheck das nicht erkennen kann.

Cppcheck evaluiert derzeit keine Funktionen mit allen gegebenen Parametern aus allen Funktionsaufrufen. Wir haben Tickets darüber und ich hoffe, dass es eines Tages behoben wird. Es wäre nett.

Wenn Sie Cppcheck verwenden, sollten Sie nicht denken, dass es alle Fehler erkennt. Cppcheck wird wahrscheinlich die meisten Fehler nicht erkennen. Es gibt keine Methode meiner bescheidenen Meinung, die alle Fehler in Ihrer Software entdecken wird. Verwenden Sie Cppcheck nur, um einige der Fehler zu erkennen, die Sie sonst nicht erkennen können. Es reduziert die Anzahl der Fehler etwas.

Ich hoffe, Sie sind nicht allzu enttäuscht und werden weiterhin Cppcheck verwenden.

Answer 3

Die neueste Version von cppcheck 1.70 dev ist in der Lage, diesen Fehler zu erkennen:

$ 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