Splint

Splint е инструмент за статична проверка на C програми за уязвимости в сигурността и грешки в кодирането.С минимални усилия, Splint може да се използва като по-добър мотив.

Безплатно
Windows
Linux

Splint е инструмент за статична проверка на C програми за уязвимости в сигурността и грешки в кодирането.С минимални усилия, Splint може да се използва като по-добър мотив.Ако се влагат допълнителни усилия, добавяйки пояснения към програми, Splint може да извърши по-силна проверка, отколкото може да бъде направено от всеки стандартен подсказка.

WebSite:

http://splint.org/

Характеристика

Алтернативи на Splint за Linux

Cppcheck

Cppcheck е инструмент за статичен анализ на C / C ++ код.За разлика от C / C ++ компилаторите и много други инструменти за анализ, той не открива грешки в синтаксиса в кода.

Безплатно
PortableApps.com
Windows
Eclipse
Linux

Coverity Scan

Статичният анализ за сканиране на покритие позволява да се намерят и коригират дефекти във вашия Java, C / C ++ или C # проект с отворен код безплатно.

Freemium
Windows
Mac
Linux
Web
BSD

Flawfinder

Flawfinder изследва изходния код и отчита възможни слабости в сигурността (`` недостатъци ''), сортирани по ниво на риск.

Безплатно
Windows
Linux

Infer

Facebook Infer е инструмент за статичен анализ - ако дадете на Infer някакъв код Objective-C, Java или C, той създава списък на потенциални грешки.

Безплатно
Linux