Аннотация:В ИСП РАН разработана среда анализа защищенного бинарного кода Трал, комбинирующая динамический и статический подходы при анализе защищенного бинарного кода. Возможности среды позволяют автоматизировать решение задач обратной инженерии, в частности: восстановление алгоритмов, с получением контрольного примера, анализ зловредного кода, в том числе анализ динамики его действий, восстановление протоколов в части форматов сообщений и построении модели обработчиков этих сообщений.