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 dla Linux

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