Klassenobjekt-Speicherfehlererkennung mit variablem Pegel

Question

Valgrind-Tool erkennt den folgenden Fehler im Code nicht.

#include <iostream> 
#include <string.h> 

using namespace std; 

class Instrument 
{ 
    public: 
     char instrumentId[16]; 
     char symbol[16]; 
     char cusip[16]; 

    public: 
     void Pack() 
     { 
      memset(instrumentId, 'I', 16); 
      memset(cusip, 'C', 16); 
      memset(symbol, 'S', 18); // This is wrong 
     } 
}; 

int main(int argc, char** argv) 
{ 
    Instrument* ins = new Instrument(); 
    ins->Pack(); 
}; 

Gibt es ein Tool, das diese Art von Fehler erkennen kann? Wenn es in mehr als für "Instrument" zugewiesen schreibt, wird von Valgrind erkannt. Dies wird jedoch nicht erkannt.

Answer 1

Ich nehme an, Sie sollten eine gute statische Analyse-Tools verwenden.

von Beispiel cppcheck

cppcheck tmp_001-98,11,14,gcc,clang.cpp 

mit I

Checking tmp_001-98,11,14,gcc,clang.cpp... 
[tmp_001-98,11,14,gcc,clang.cpp:19]: (error) Buffer is accessed out of bounds: symbol 
[tmp_001-98,11,14,gcc,clang.cpp:27]: (error) Memory leak: ins 

erhalten und die Zeile 19, offensichtlich ist

memset(symbol, 'S', 18); // This is wrong 

P. S .: sorry für mein schlechtes Englisch.