Cppcheck

Cppcheck

Tiedot

Luoja	Daniel Marjamäki
Ensimmäinen versio	8. toukokuuta 2007
Viimeinen versio	2.4.1 (23. maaliskuuta 2021)
Tallettaa	github.com/danmar/cppcheck.git
Kirjoitettu	C ++
Käyttöjärjestelmä	Unix-tyyppi
Ympäristö	Monitasoinen
Kieli (kielet	Englanti, hollanti, suomi, ruotsi, saksa, venäjä, puola, japani, serbia
Tyyppi	Ohjelmiston laatu
Lisenssi	GNU: n yleinen julkinen lisenssi
Verkkosivusto	cppcheck.sourceforge.net

Cppcheck on staattinen koodianalyysityökalu ohjelmointikielille C ja C ++ . Se on monipuolinen työkalu, jonka avulla voit tarkistaa ei-vakiokoodin. Luoja ja pääkehittäjä on Daniel Marjamäki.

Cppcheck on ilmainen ohjelmisto alla GNU General Public License .

Ominaisuudet

Cppcheck tukee monenlaisia ​​staattisia tarkistuksia, joita kääntäjä ei itse kata. Nämä tarkistukset ovat staattisen analyysin tarkistuksia, jotka voidaan suorittaa lähdekooditasolla. Ohjelma keskittyy staattisen analyysin tarkkoihin tarkastuksiin heuristiikan sijaan.

Joitakin tuetuista ohjaimista ovat:

• Automaattisten muuttujien tarkistus.
• Tarkista pöydän kokorajat ylivuotojen välttämiseksi
• Luokan tarkistus (esim. Käyttämättömät toiminnot, muuttujan alustaminen tai kopioiminen muisti)
• Vanhentuneiden tai korvattujen toimintojen käyttö avoimen ryhmän mukaisesti
• Tietoturvapoikkeamien tarkistaminen, kuten muistin varaamisen ja tuhoutumisen käytön tarkistaminen.
• Muisti vuotaa esimerkiksi kantaman menettämisen vuoksi ilman vapautusta
• Resurssivuotoja, esimerkiksi unohtamatta sulkea tiedostokuvaaja.
• Virheellinen vakiomallikirjaston toimintojen ja idiomien käyttö
• Erilaisia ​​stilistikoita ja suorituskyvyn virheitä

Kuten monien analyysiohjelmien kohdalla, esiintyy monia epätavallisia idiomeja, jotka voivat olla hyväksyttäviä, erikoistapauksissa kohdennettuja tai ohjelmoijan ulottumattomissa lähdekoodia korjataessa. Maaliskuussa 2009 tehdyssä tutkimuksessa tunnistettiin useita alueita, joilla Cppcheck löysi vääriä positiivisia tuloksia, mutta erittelemättä tarkistettua ohjelmaa. Cppcheckia käytetään järjestelmissä, kuten CERN 4DSOFT- pakettimeta-analysaattorissa , koodien vahvistamiseen suurenergisissä hiukkasilmaisimissa, radioteleskooppivalvontajärjestelmässä sekä virheiden analysointiin suurissa projekteissa, kuten OpenOffice.org ja Debian- arkisto .

Kehitys

Hanketta kehitetään aktiivisesti ja sitä ylläpidetään useissa jakeluissa. Hän on jo löytänyt useita vikoja lukuisista suosituista projekteista, kuten Linux-ytimestä tai MPlayerista .

Laajennukset

Seuraavien IDE-tiedostojen laajennuksia on olemassa:

• CLion
• Koodi :: Lohkot - sisäänrakennettu.
• Integroitu CodeLite .
• Pimennys
• Emacs
• gedit
• Hudson
• Jenkins
• Kate
• KDevelop
• Qt Luoja
• Sublime teksti
• Visuaalinen studio
• Yasca

Integrointi Visual Studiossa

Brittiläisen Riverblade-yrityksen kolmannen osapuolen Visual Lint -ohjelmaa voidaan käyttää integroimaan CppCheck Visual Studioon .
Saatavilla on myös avoimen lähdekoodin cppcheck-vs-addin-laajennus .
On myös mahdollista lisätä Cppcheck ulkoisena työkaluna.

Katso myös

• Luettelo staattisista analyysityökaluista  (en)

Viitteet

1. "  Cppcheck-2.4.1  " ,23. maaliskuuta 2021(käytetty 23. maaliskuuta 2021 )
2. "  Survey C- ja C ++ Ohjelmistot Laskennallisen tieteen  " [ arkisto12. maaliskuuta 2012] , Science and Technologies Facility Council , Science and Technologies Facility Council , Chilbolton, Daresbury ja Rutherford Appleton Laboratories,joulukuu 2009(käytetty 14. syyskuuta 2010 ) , s.  14
3. http://www.opengroup.org/onlinepubs/9699919799/xrat/V4_xsh_chap03.html
4. "  Sulautettujen järjestelmien staattinen koodianalyysi  "
5. "  Tietosuunnitelman levittäminen ja käyttö (EU Deliverable DNA2.11  ") ,2010
6. "  Entwurf und Implementierung eines adaptiven, strahlentoleranten eingebetteten Systems am Beispiel eines Read-Out-Controllers (En: Adaptiivisen, säteilyä sietävän upotetun sulautetun järjestelmän kehittäminen ja toteuttaminen Read-Out-ohjaimen käyttöä varten)  " [ archive du11. maaliskuuta 2012] ,2010
7. "  Wettzell-järjestelmän valvontakonsepti ja ensimmäiset toteutukset  " , kansainvälinen VLBI-palvelu geodeesia ja astrometriaa varten,2010, s.  447
8. "  Suurten ohjelmistojen haavoittuvuuksien etsiminen: OpenOffice-paketti  "
9. "  Debianin automatisoidun koodianalyysin (DACA) projekti  " , LWN.net
10. Cppcheck Githubissa
11. Cppcheck Debianin pakettiseurantajärjestelmässä
12. FreeBSD-portti
13. "  cppcheckin löytämien käyttäjien ilmoittamien virheiden luettelo  "
14. "  Found Bugs listan  " [ arkisto14. lokakuuta 2013] , SourceForge , on SourceForge
15. “  SourceForge.net: cppcheck  ” , sourceforge.net , osoitteessa sourceforge.net
16. "  cppcheck plugin Clion  " , plugins.jetbrains.com kello plugins.jetbrains.com
17. "  Cppcheclipse  " , github.com , osoitteessa github.com
18. "  Flycheck  " , github.com , osoitteessa github.com
19. "  gedit Cppcheck -laajennus  " , github.com , osoitteessa github.com
20. ”  Cppcheck-laajennus  ” , hudson-ci.org , osoitteessa hudson-ci.org
21. ”  Cppcheck Plugin  ” , jenkins-ci.org , osoitteessa jenkins-ci.org
23. Kevin Funk , "  KDevelopin Cppcheck-laajennus, joka on sulautettu kdevelop.gitiin, julkaistaan ​​5.1: n kanssa  " ,6. joulukuuta 2016(käytetty 14. joulukuuta 2016 )
24. "  Qt Creator Plug-in Gallery  " , Qt Wiki , Qt Wikissä
25. "  Sublimelinter-laajennus  " , github.com , osoitteessa github.com
26. "  Cppcheck-lisäosa  " , Visual Studio Marketplace , Visual Studio Marketplace -palvelussa
27. Michael Scovetta , "  Yasca  "
28. Riverblade , "  Visual Lint kotisivu  " (käytetty 11. joulukuuta 2012 )
29. VioletGiraffe , “  Homepage cppcheck-vs-addin  ” (käytetty 3. maaliskuuta 2014 )
30. Srix , "  Yksinkertainen open source staattisen analyysin työkalu Visual Studio  " [ arkisto10. helmikuuta 2015] (käytetty 27. elokuuta 2012 )

Ulkoiset linkit

• Sourceforge