статический анализатор бинарного кода
инструмент формирования отчётов об ошибках
Система анализа сетевого трафика
Статический анализатор
инструмент динамического символьного выполнения
Комплекс по диверсификации кода
Система анализа для кроссплатформенной разработки
инструмент тестирования