Coverity Scan

Coverity Scan

Statiskt analys av Coverity Scan gör det möjligt att hitta och fixa fel i ditt Java, C / C ++ eller C # open source-projekt.
Statiskt analys av Coverity Scan gör det möjligt att hitta och fixa fel i ditt Java, C / C ++ eller C # open source-projekt gratis.Den testar varje rad med kod och potentiell exekveringsväg.Orsaken till varje defekt förklaras tydligt, vilket gör det enkelt att fixa buggar.Under 2006 inleddes tjänsten Coverity Scan med US Department of Homeland Security som det största forskningsprojektet inom den offentliga och privata sektorn i världen med fokus på programvarukvalitet och säkerhet i öppen källkod.Coverity hanterar nu projektet och tillhandahåller sin utvecklingstestteknologi som en gratis tjänst för öppen källkodssamhälle för att hjälpa dem bygga kvalitet och säkerhet i deras programvaruutvecklingsprocess.... För en lista över open source-projekt som använder Coverity, se:
coverity-scan

kategorier

Alternativ till Coverity Scan för alla plattformar med någon licens

Cppcheck

Cppcheck

Cppcheck är ett statiskt analysverktyg för C / C ++ -kod.Till skillnad från C / C ++ kompilatorer och många andra analysverktyg upptäcker det inte syntaxfel i koden.
PVS-Studio

PVS-Studio

PVS-Studio är en statisk analysator som upptäcker fel i källkoden för C, C ++ och C # applikationer.
Flawfinder

Flawfinder

Flawfinder undersöker källkoden och rapporterar möjliga säkerhetsbrister (`` brister '') sorterade efter risknivå.
Splint

Splint

Splint är ett verktyg för att statiskt kontrollera C-program för säkerhetsproblem och kodfel.Med minimal ansträngning kan Splint användas som ett bättre ludd.
lgtm.com

lgtm.com

lgtm.com är en plattform för kodanalys.Det är gratis att använda för öppen källkodsprogramvara;resultat för över 55 000 projekt är lättillgängliga (lägg till din egen!), har automatisk kodgranskning pull-integration (GitHub, Bitbucket, GitLab) och mycket mer.
Clang Static Analyzer

Clang Static Analyzer

Clang Static Analyzer är ett källkodanalysverktyg som hittar buggar i C-, C ++- och Objekt-C-program.
Infer

Infer

Facebook Infer är ett statiskt analysverktyg - om du ger Infer vissa Objekt-C-, Java- eller C-kod producerar det en lista med potentiella buggar.
EDoC++

EDoC++

EDoC ++ är ett C ++ källanalysverktyg utformat för att identifiera problem förknippade med användning av undantag i C ++ -kod.