SmartDec

В SmartDec мы анализируем приложения на языках высокого и низкого уровня. Разрабатываем программное обеспечение. Обеспечиваем безопасность умных контрактов. Один из продуктов (совместно с Ростелеком) -- статический анализатор безопасности приложений, мировой лидер по количеству поддерживаемых языков программирования. Может анализировать исполняемые файлы без debug info и ориентирован на службу ИБ, а не на разработчиков. Среди клиентов — Сингапурские Авиалинии, S7, РЖД и Яндекс-Деньги.