Infer

Facebook Infer er et statisk analyse-værktøj - hvis du giver Infer nogle Objekt-C, Java eller C-kode, producerer det en liste over potentielle bugs.

Gratis
Linux

Facebook Infer er et statisk analyse-værktøj - hvis du giver Infer nogle Objekt-C, Java eller C-kode, producerer det en liste over potentielle bugs.

Internet side:

http://fbinfer.com/

Funktioner

Kategorier

Udvikling

Alternativer til Infer til alle platforme med enhver licens

Cppcheck

Cppcheck er et statisk analyseværktøj til C / C ++ -kode.I modsætning til C / C ++ compilere og mange andre analyseværktøjer registrerer det ikke syntaksfejl i koden.

PVS-Studio

PVS-Studio er en statisk analysator, der registrerer fejl i kildekoden til C, C ++ og C # applikationer.

Coverity Scan

Statisitetsanalyse af Coverity Scan gør det muligt at finde og rette fejl i dit Java, C / C ++ eller C # open source-projekt gratis.

Freemium
Windows
Mac
Linux
Web
BSD

Splint

Splint er et værktøj til statisk kontrol af C-programmer for sikkerhedssårbarheder og kodningsfejl.Med minimal indsats kan Splint bruges som en bedre fnug.

Gratis
Windows
Linux

Flawfinder

Flawfinder undersøger kildekoden og rapporterer mulige sikkerhedssvagheder (`` mangler '') sorteret efter risikoniveau.

Gratis
Windows
Linux

lgtm.com er en platform for kodeanalyse.Det er gratis at bruge til open source-software;resultater for over 55k projekter er let tilgængelige (tilføj dine egne!), har automatisk kodegennemgang integrering af pull-anmodning (GitHub, Bitbucket, GitLab) og meget mere.

Gratis
Web

Clang Static Analyzer

Clang Static Analyzer er et kildekodeanalyseværktøj, der finder fejl i programmerne C, C ++ og Objekt-C.

Gratis
Mac
Xcode

VisualCodeGrepper

Windows

EDoC++

EDoC ++ er et C ++ kildeanalyseværktøj designet til at identificere problemer forbundet med brugen af undtagelser i C ++ kode.

Gratis
Windows