Бинарен анализ

Бинарният анализ е фундаментална дисциплина в информационната сигурност и системното програмиране.

Статичен анализ: Проучване на графа на контролния поток (CFG) без реално изпълнение на програмата.
Динамичен анализ: Мониторинг на регистри, системни повиквания и памет по време на работа в изолирана пясъчница.
Символно изпълнение: Математическо изследване на всички възможни пътища за изпълнение на бинарния файл.
Агентно подпомагане: Използване на автономни агенти за автоматизирано коригиране на грешки и анализ на зловреден код.