Coverity Scan

Coverity Scan

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

Категории

Алтернативи на Coverity Scan за Linux

Cppcheck

Cppcheck

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

PVS-Studio

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

Flawfinder

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

Splint

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

Infer

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