Статический анализатор для языков

Простота использования

Анализатор работает полностью автоматически и требует минимум настройки со стороны пользователя

Масштабируемость

Анализ программ из миллионов строк кода за несколько часов.

Высокий уровень истинных срабатываний

60–90 % в зависимости от типа дефекта.

Подробные объяснения предупреждений

Веб-интерфейс для просмотра предупреждений анализатора с текстовым описанием каждой потенциальной ошибки, указанием места проявления в коде и трассой.

Просмотр результатов и анализ истории

Все результаты последовательных запусков анализа хранятся в базе, их можно удобно размечать, сравнивать, отслеживать историю.

Хорошее покрытие

> 50 типов предупреждений (разыменование нулевого указателя, переполнение буфера, утечки ресурсов (память / дескрипторы), ошибки использования блокировок и др.)