Системное программирование


Собственные технологии

KAST - Декларативный язык поиска дефектов по синтаксическим деревьям

Декларативный язык, для поиска поддеревьев в синтаксическом дереве, построенном по исходному коду на языках C/C++, Java и C#.

Инструмент итеративного динамического анализа программ Avalanche

Инструмент Avalanche построен на основе среды динамической инструментации программ Valgrind и реализует итеративный автоматический анализ исполняемого кода программ с целью обнаружения критических ошибок времени выполнения.

Прочие технологии

Инструмент для статической инструментации кода программ для платформы ARM

Инструмент предназначен для статической инструментации бинарного кода с целью модификации поведения программ и библиотек в формате ARM ELF.