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 #.
Statična analiza skeniranja pokritosti omogoča brezplačno iskanje in odpravljanje napak v vašem odprtokodnem projektu Java, C / C ++ ali C #.Testira vsako vrstico kode in potencialno pot izvedbe.Glavni vzrok vsake napake je jasno razložen, kar omogoča enostavno odpravljanje napak.Leta 2006 je bila z ministrstvom za domovinsko varnost ZDA pokrito storitev Scanity Scan kot največji raziskovalni projekt javno-zasebnega sektorja na svetu, osredotočen na kakovost in varnost programske opreme z odprtokodno programsko opremo.Pokritost zdaj upravlja projekt, saj ponuja njegovo tehnologijo za razvojno testiranje kot brezplačno storitev za odprtokodno skupnost, ki jim pomaga vgraditi kakovost in varnost v proces razvoja programske opreme.... Za seznam odprtokodnih projektov, ki uporabljajo Coverity, glej:

Kategorije

Alternativa Coverity Scanu za vse platforme s katero koli licenco

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.
PVS-Studio

PVS-Studio

PVS-Studio je statični analizator, ki zazna napake v izvorni kodi aplikacij C, C ++ in 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.
lgtm.com

lgtm.com

lgtm.com je platforma za analitiko kod.Brezplačna uporaba za odprtokodno programsko opremo;rezultati za več kot 55 tisoč projektov so na voljo (dodajte svoje!), ima samodejno vključitev zahteve za povpraševanje po kodi (GitHub, Bitbucket, GitLab) in še veliko več.
  • Brezplačna
  • Web
Clang Static Analyzer

Clang Static Analyzer

Clang Static Analyzer je orodje za analizo izvorne kode, ki poišče napake v programih C, C ++ in Objective-C.
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.
EDoC++

EDoC++

EDoC ++ je orodje za analizo virov C ++, namenjeno prepoznavanju težav, povezanih z uporabo izjem v kodi C ++.