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:
coverity-scan

Kategorije

Alternativa Coverity Scanu za Linux

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