Coverity Scan

Coverity Scan

Статичният анализ за сканиране на покритие позволява да се намерят и коригират дефекти във вашия Java, C / C ++ или C # проект с отворен код безплатно.
Статичният анализ на сканирането на покритие позволява да се намерят и коригират дефекти във вашия Java, C / C ++ или C # проект с отворен код безплатно.Тества всеки ред код и потенциален път на изпълнение.Основната причина за всеки дефект е ясно обяснена, което улеснява коригирането на грешки.През 2006 г. услугата Coverity Scan бе инициирана с Министерството на вътрешната сигурност на САЩ като най-големият изследователски проект за публично-частния сектор в света, фокусиран върху качеството и сигурността на софтуера с отворен код.Сега Coverity управлява проекта, предоставяйки неговата технология за тестване за разработка като безплатна услуга на общността с отворен код, за да им помогне да изграждат качество и сигурност в процеса на разработка на софтуер.... За списък на проекти с отворен код, използващи Coverity, вижте:
coverity-scan

Категории

Алтернативи на Coverity Scan за всички платформи с всякакъв лиценз

Cppcheck

Cppcheck

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

PVS-Studio

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

Flawfinder

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

Splint

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

lgtm.com

lgtm.com е платформа за анализ на кодове.Безплатно е да се използва за софтуер с отворен код;резултатите за над 55 000 проекта са лесно достъпни (добавете свой собствен!), има автоматична интеграция при заявка за изтегляне на код (GitHub, Bitbucket, GitLab) и много други.
  • Безплатно
  • Web
Clang Static Analyzer

Clang Static Analyzer

Clang Static Analyzer е инструмент за анализ на изходния код, който намира грешки в C, C ++ и Objective-C програми.
Infer

Infer

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

EDoC++

EDoC ++ е инструмент за анализ на източници на C ++, предназначен да идентифицира проблеми, свързани с използването на изключения в C ++ код.