Infer

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

Безплатно
Linux

WebSite:

http://fbinfer.com/

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

Алтернативи на Infer за Windows

Cppcheck

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

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

PVS-Studio

PVS-Studio е статичен анализатор, който открива грешки в изходния код на C, C ++ и C # приложения.

Coverity Scan

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

Freemium
Windows
Mac
Linux
Web
BSD

Splint

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