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 Linux

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