Coverity Scan

Coverity Scan

Analiza statyczna skanowania pokrycia pozwala znaleźć i naprawić defekty w projekcie open source Java, C / C ++ lub C # za darmo.
Analiza statyczna skanowania pokrycia pozwala znaleźć i naprawić defekty w projekcie open source Java, C / C ++ lub C # za darmo.Testuje każdą linię kodu i potencjalną ścieżkę wykonania.Podstawowa przyczyna każdej wady jest jasno wyjaśniona, co ułatwia naprawianie błędów.W 2006 r. Usługa Coverity Scan została zainicjowana przez Departament Bezpieczeństwa Krajowego USA jako największy projekt badawczy sektora publicznego i prywatnego na świecie, koncentrujący się na jakości i bezpieczeństwie oprogramowania typu open source.Coverity zarządza teraz projektem, zapewniając technologię testowania rozwoju jako bezpłatną usługę dla społeczności open source, aby pomóc im w budowaniu jakości i bezpieczeństwa w procesie tworzenia oprogramowania.... Aby zapoznać się z listą projektów open source korzystających z Coverity, zobacz:
coverity-scan

Stronie internetowej:

Kategorie

Alternatywy dla Coverity Scan'a dla wszystkich platform z dowolną licencją

Cppcheck

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

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

Flawfinder

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

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.
lgtm.com

lgtm.com

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.
Clang Static Analyzer

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.
Infer

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.
EDoC++

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 ++.