Cppcheck

Cppcheck

Cppcheck je orodje za statično analizo kod C / C ++.Za razliko od prevajalnikov C / C ++ in mnogih drugih analiznih orodij ne zazna sintaksičnih napak v kodi.
Cppcheck je orodje za statično analizo kod C / C ++.Za razliko od prevajalnikov C / C ++ in mnogih drugih analiznih orodij ne zazna sintaksičnih napak v kodi.Cppcheck zazna predvsem vrste napak, ki jih prevajalniki običajno ne zaznajo.Cilj je odkriti samo resnične napake v kodi (tj. Imeti nič lažnih pozitivnih vrednosti).Značilnosti: - Preverjanje zunaj meja, - Preverite kodo za vsak razred, - Preverjanje varnosti izjem, - Preverjanje puščanja pomnilnika, - Opozorilo, če se uporabljajo zastarele funkcije, - Preverjanje neveljavne uporabe STL, - Preverjanje neinicializiranih spremenljivk in neuporabljenih funkcij
cppcheck

Kategorije

Alternativa Cppchecku za Linux

PVS-Studio

PVS-Studio

PVS-Studio je statični analizator, ki zazna napake v izvorni kodi aplikacij C, C ++ in C #.
Coverity Scan

Coverity Scan

Statična analiza skeniranja pokritosti omogoča brezplačno iskanje in odpravljanje napak v vašem odprtokodnem projektu Java, C / C ++ ali C #.
Flawfinder

Flawfinder

Flawfinder pregleda izvorno kodo in poroča o možnih pomanjkljivostih varnosti ("pomanjkljivosti"), razvrščenih po stopnji tveganja.
Splint

Splint

Splint je orodje za statično preverjanje programov C glede varnostnih ranljivosti in napak pri kodiranju.Z minimalnim naporom lahko Splint uporabimo kot boljše obloge.
LDRA Testbed

LDRA Testbed

Liverpool Data Research Associates (LDRA) je ponudnik orodij za analizo programske opreme, testiranja in sledljivosti zahtev za javni in zasebni sektor ter pionir v statični in dinamični analizi programske opreme.
CxxProf

CxxProf

CxxProf je knjižnica profiliranja za C ++ z ročnim instrumentiranjem.Njegov cilj je zagotoviti enostavno vključitev v obstoječe projekte s čim manj režijskimi stroški.
PC-lint

PC-lint

Gimpel Software PC-lint Plus, prožna statična analiza za C in C ++, vključno s podporo za MISRA
Infer

Infer

Facebook Infer je orodje za statično analizo - če daste Inferju kakšno kodo Objective-C, Java ali C, ustvari seznam morebitnih napak.