Cppcheck

Cppcheck

Informasjon

Skaper	Daniel Marjamäki
Første versjon	8. mai 2007
Siste versjon	2.4.1 (23. mars 2021)
Innskudd	github.com/danmar/cppcheck.git
Skrevet i	C ++
Operativsystem	Unix-type
Miljø	Kryssplattform
Språk	Engelsk, nederlandsk, finsk, svensk, tysk, russisk, polsk, japansk, serbisk
Type	Programvarekvalitet
Tillatelse	GNU General Public License
Nettsted	cppcheck.sourceforge.net

Cppcheck er et verktøy for statisk kodeanalyse for programmeringsspråkene C og C ++ . Det er et allsidig verktøy som lar deg sjekke ikke-standard kode. Skaperen og hovedutvikleren er Daniel Marjamäki.

Cppcheck er gratis programvare under GNU General Public License .

Kjennetegn

Cppcheck støtter et bredt utvalg av statiske kontroller som kanskje ikke dekkes av kompilatoren selv. Disse kontrollene er statiske analysekontroller som kan utføres på kildekodenivå. Programmet fokuserer på strenge kontroller av statisk analyse, snarere enn heuristikk.

Noen av kontrollene som støttes inkluderer:

• Kontrollere automatiske variabler.
• Kontrollerer tabellstørrelsesgrenser for å unngå overløp
• Klasse kontroll (f.eks ubrukte funksjoner, å initialisere en variabel, eller duplisere hukommelse)
• Bruk av foreldede eller erstattede funksjoner i samsvar med Open Group
• Ser etter sikkerhets unntak, for eksempel å sjekke minnetildeling og ødeleggelse.
• Minne lekker , for eksempel på grunn av tap av rekkevidde uten utgivelse
• Ressurslekkasjer, for eksempel å glemme å lukke en filbeskrivelse.
• Ugyldig bruk av Standardmønsterbibliotekets funksjoner og uttrykk
• Ulike stilistikker og ytelsesfeil

Som med mange analyseprogrammer, er det mange uvanlige tilfeller av idiomer som kan være akseptable, i spesielle tilfeller målrettet, eller utenfor programmørens rekkevidde når du lapper kildekoden. En studie, utført i mars 2009, identifiserte flere områder der falske positive ble funnet av Cppcheck, men uten å spesifisere hvilken versjon av programmet som ble gjennomgått. Cppcheck brukes i systemer som CERN 4DSOFT- pakke metaanalysatoren , for kodeverifisering i høynergipartikeldetektorenheter, radioteleskopovervåkningssystem samt for analyse av feil i store prosjekter, som OpenOffice.org og Debian- arkivet .

Utvikling

Prosjektet er aktivt under utvikling og vedlikeholdes i flere distribusjoner. Han har allerede funnet flere feil i en rekke populære prosjekter som Linux-kjernen eller MPlayer .

Plugins

Plugins for følgende IDEer finnes:

• CLion
• Kode :: Blokker - innebygd.
• Integrert CodeLite .
• Formørkelse
• Emacs
• gedit
• Hudson
• Jenkins
• Kate
• KDevelop
• Qt Creator
• Sublim tekst
• Visuelt studio
• Yasca

Integrasjon i Visual Studio

Tredjeparts kommersielle program Visual Lint fra det britiske selskapet Riverblade kan brukes til å integrere CppCheck i Visual Studio .
Det er også en åpen kildekode cppcheck-vs-addin plugin som er tilgjengelig.
Det er også mulig å legge til Cppcheck som et eksternt verktøy.

Se også

• Liste over verktøy for statisk analyse  (en)

Referanser

1. "  Cppcheck-2.4.1  " ,23. mars 2021(åpnet 23. mars 2021 )
2. "  A Survey of C and C ++ Software Tools for Computational Science  " [ arkiv av12. mars 2012] , Science and Technologies Facility Council , om Science and Technologies Facility Council , Chilbolton, Daresbury og Rutherford Appleton Laboratories,desember 2009(åpnet 14. september 2010 ) , s.  14
3. http://www.opengroup.org/onlinepubs/9699919799/xrat/V4_xsh_chap03.html
4. "  Statisk kodeanalyse for innebygde systemer  "
5. "  Formidling og bruk av kunnskapsplan (EU Deliverable DNA2.11  " ,2010
6. "  Entwurf und Implementierung eines adaptiven, strahlentoleranten eingebetteten Systems am Beispiel eines Read-Out-Controllers (En: Utvikling og implementering av et adaptivt, strålingstolerant innebygd system for drift av en Read-Out-kontroller)  " [ arkiv du11. mars 2012] ,2010
7. "  The Wettzell System Monitoring Concept and First Realizations  " , Internasjonal VLBI-tjeneste for geodesi og astrometri,2010, s.  447
8. "  Jakt på sårbarheter i stor programvare: OpenOffice-pakken  "
9. "  Introduksjon av" Debians automatiserte kodeanalyse "(DACA) -prosjekt  " , LWN.net
10. Cppcheck på Github
11. Cppcheck på Debians pakningssporingssystem
12. FreeBSD-port
13. "  Liste over rapporterte brukerfeil funnet av cppcheck  "
14. "  Fant feilliste  " [ arkiv av14. oktober 2013] , SourceForge , på SourceForge
15. “  SourceForge.net: cppcheck  ” , sourceforge.net , på sourceforge.net
16. "  cppcheck plugin for CLion  " , plugins.jetbrains.com , på plugins.jetbrains.com
17. "  Cppcheclipse  " , github.com , på github.com
18. "  Flycheck  " , github.com , på github.com
19. "  gedit Cppcheck plugin  " , github.com , på github.com
20. “  Cppcheck Plugin  ” , hudson-ci.org , på hudson-ci.org
21. “  Cppcheck Plugin  ” , jenkins-ci.org , på jenkins-ci.org
23. Kevin Funk , "  KDevelops Cppcheck-plugin slått sammen til kdevelop.git, vil bli utgitt med 5.1  " ,6. desember 2016(åpnet 14. desember 2016 )
24. "  Qt Creator Plug-in Gallery  " , Qt Wiki , på Qt Wiki
25. "  Sublimelinter plugin  " , github.com , på github.com
26. "  Cppcheck add-in  " , Visual Studio Marketplace , på Visual Studio Marketplace
27. Michael Scovetta , "  Yasca  "
28. Riverblade , "  Visual Lint hjemmeside  " (åpnet 11. desember 2012 )
29. VioletGiraffe , “  Hjemmeside cppcheck-vs-addin  ” (åpnet 3. mars 2014 )
30. Srix , "  Simple åpen kildekode statisk analyse verktøy for Visual Studio  " [ arkiv av10. februar 2015] (åpnet 27. august 2012 )

Eksterne linker

• Sourceforge