Splint

Splint je nástroj na statickú kontrolu bezpečnostných programov a chýb kódovania.S minimálnym úsilím môže byť Splint použitý ako lepšie chĺpky.

Bezplatná
Windows
Linux

Splint je nástroj na statickú kontrolu bezpečnostných programov a chýb kódovania.S minimálnym úsilím môže byť Splint použitý ako lepšie chĺpky.Ak sa vynaloží ďalšie úsilie na pridanie anotácií k programom, môže Splint vykonať silnejšiu kontrolu, ako je možné pomocou štandardných vlákien.

WebSite:

http://splint.org/

Vlastnosti

Kategórie

vývoj

Alternatívy programu Splint pre Linux

Cppcheck

Cppcheck je statický analytický nástroj pre C / C ++ kód.Na rozdiel od kompilátorov C / C ++ a mnohých ďalších analytických nástrojov nedeteguje chyby syntaxe v kóde.

Coverity Scan

Coverity Scan Static Analysis umožňuje zadarmo nájsť a opraviť chyby vo vašom open source projekte Java, C / C ++ alebo C #.

Freemium
Windows
Mac
Linux
Web
BSD

Flawfinder

Flawfinder skúma zdrojový kód a hlási možné slabiny zabezpečenia (`` nedostatky '') zoradené podľa úrovne rizika.

Bezplatná
Windows
Linux

Infer

Facebook Infer je statický analytický nástroj - ak dáte Inferu nejaký kód Objective-C, Java alebo C, vytvorí zoznam potenciálnych chýb.

Bezplatná
Linux