Cppcheck

Linux.fista
Versio hetkellä 9. maaliskuuta 2009 kello 13.10 – tehnyt 80.156.46.68 (keskustelu) (Päivitettiin vastaamaan engl. wikipedia artikkelia)
Siirry navigaatioon Siirry hakuun
Cppcheck
Käyttöliittymä teksti
Lisenssi GPL
Kotisivu [1]

Cppcheck on vapaa ohjelmointityökalu, jolla voi etsiä virheitä C- ja C++-ohjelmien lähdekoodista staattisesti. Yleisimmät Cppcheckin löytämät virheet ovat yhden funktion sisällä tapahtuvat muistivuodot, mutta sillä voi etsiä myös monia muita tyypillisiä virheitä.

Cppcheck on esimerkiksi löytänyt 21 varmistettua ja korjattua bugia Linuxin ytimestä ja monia muita muista tunnetuista avoimen lähdekoodin projekteista.

Käyttö

cppcheck tarkistettava_hakemisto/

tai

cppcheck tarkistettava_tiedosto.cpp

Tämän jälkeen tulostuu tilannetietoa siitä mitä tiedostoa tarkistetaan ja väliin tulostuu virheitä jos niitä löytyy.

Esimerkki

Tutkitaan seuraavaa ohjelmaa Cppcheckillä:

#include <stdlib.h>
void f( std::list<int> foo, std::list<int> bar )
{
  char *del = new char[10];
  std::list<int>::const_iterator it;
  for (it = foo.begin(); it != bar.end(); ++it)
  {
    bar.push_back( *it );
  }
 
  delete [] del;
  del[3] = 0;
}

Cppcheck:n tulostus:

$ ./cppcheck a.c
$ ./cppcheck example.cpp 
Checking example.cpp...
[example.cpp:11]: (error) Using 'del' after it is deallocated / released
[example.cpp:5]: (error) Same iterator is used with both foo and bar

Korjattu lähdekoodi:

void f( std::list<int> foo, std::list<int> bar )
{
  char *del = new char[10];
  std::list<int>::const_iterator it;
  for (it = foo.begin(); it != foo.end(); ++it)
  {
    bar.push_back( *it );
  }
 
  del[3] = 0;  
  delete [] del;
}

Aiheesta muualla

Katso myös