Infer

Facebook Infer to narzędzie do analizy statycznej - jeśli podasz Inferowi kod Objective-C, Java lub C, wyświetli listę potencjalnych błędów.

Darmowa
Linux

Facebook Infer to narzędzie do analizy statycznej - jeśli podasz Inferowi kod Objective-C, Java lub C, wyświetli listę potencjalnych błędów.

Stronie internetowej:

http://fbinfer.com/

cechy

Kategorie

Rozwój

Alternatywy dla Infer'a dla wszystkich platform z dowolną licencją

Cppcheck

Cppcheck to narzędzie do analizy statycznej kodu C / C ++.W przeciwieństwie do kompilatorów C / C ++ i wielu innych narzędzi analitycznych nie wykrywa błędów składniowych w kodzie.

PVS-Studio

PVS-Studio to statyczny analizator, który wykrywa błędy w kodzie źródłowym aplikacji C, C ++ i C #.

Coverity Scan

Analiza statyczna skanowania pokrycia pozwala znaleźć i naprawić defekty w projekcie open source Java, C / C ++ lub C # za darmo.

Freemium
Windows
Mac
Linux
Web
BSD

Splint

Splint to narzędzie do statycznego sprawdzania programów C pod kątem luk w zabezpieczeniach i błędów kodowania.Przy minimalnym wysiłku Splint może być używany jako lepsze włókna.

Darmowa
Windows
Linux

Flawfinder

Flawfinder sprawdza kod źródłowy i zgłasza ewentualne słabości bezpieczeństwa (`` wady '') posortowane według poziomu ryzyka.

Darmowa
Windows
Linux

lgtm.com to platforma do analizy kodu.Korzystanie z oprogramowania typu open source jest bezpłatne;wyniki dla ponad 55 000 projektów są łatwo dostępne (dodaj własne!), ma automatyczną integrację żądania ściągania recenzji kodu (GitHub, Bitbucket, GitLab) i wiele więcej.

Darmowa
Web

Clang Static Analyzer

Clang Static Analyzer to narzędzie do analizy kodu źródłowego, które znajduje błędy w programach C, C ++ i Objective-C.

Darmowa
Mac
Xcode

VisualCodeGrepper

Windows

EDoC++

EDoC ++ to narzędzie do analizy źródeł C ++ zaprojektowane do identyfikowania problemów związanych ze stosowaniem wyjątków w kodzie C ++.

Darmowa
Windows