Splint

Splint je alat za statičku provjeru C programa na sigurnosne ranjivosti i pogreške kodiranja.Uz minimalan napor, Splint se može koristiti kao bolji oblog.

Besplatna
Windows
Linux

Splint je alat za statičku provjeru C programa na sigurnosne ranjivosti i pogreške kodiranja.Uz minimalan napor, Splint se može koristiti kao bolji oblog.Ako se uloži dodatni napor dodavanjem napomena u programe, Splint može provesti jaču provjeru nego što to može učiniti bilo koja standardna obloga.

splint

Web stranica:

http://splint.org/

Značajke

Kategorije

Razvoj

Alternativa Splintu za Linux

Cppcheck

Cppcheck je alat za statičku analizu C / C ++ koda.Za razliku od C / C ++ prevodilaca i mnogih drugih alata za analizu, on ne prepoznaje sintaksne pogreške u kodu.

Coverity Scan

Statička analiza skeniranja pokrivenosti omogućuje pronalaženje i ispravljanje nedostataka u vašem Java, C / C ++ ili C # projektu otvorenog koda besplatno.

Freemium
Windows
Mac
Linux
Web
BSD

Flawfinder

Flawfinder ispituje izvorni kôd i izvještava o mogućim sigurnosnim slabostima (`` propusti '') poredane prema razini rizika.

Besplatna
Windows
Linux

Infer

Facebook Infer je alat za statičku analizu - ako date Inferu neki Objective-C, Java ili C kod, on daje popis potencijalnih grešaka.

Besplatna
Linux