Сканеры уязвимостей программного кода
Статический анализатор безопасности приложений, мировой лидер по количеству поддерживаемых языков программирования. Может анализировать исполняемые файлы без debug info и ориентирован на службу ИБ, а не на разработчиков