Как это работает

Одна функция. Один движок. Место у того, что увидели.

Обратная разработка идёт по одной возможности. REA — локальная CLI и MCP-сервер. Агент задаёт вопрос. REA читает программу и возвращает пункты, которые можно сверить. Догадка помечена как догадка.

один проходфакт
  1. СпроситьНазовите одну функцию, один канал или одну сохранённую запись. Переписывание всего продукта — потом.
  2. ПроверитьREA возвращает файл и строку, адрес, диапазон байтов или поле. У каждого пункта есть источник.
  3. ОбъяснитьУвиденное и неувиденное остаются в разных предложениях. Пропуск в отчёте не доказывает отсутствие поведения.

Один движок

Нативная работа идёт через Ghidra, Hopper или IDA. Движок приносите вы. Если его нет, REA не переключается на второй.

Утверждение с местом

Факт — это место в артефакте: путь и строка, адрес дизассемблирования или поле записи. Процент в калькуляторе Windows — один проверенный пример.

Что уходит с компьютера

Инструменты работают локально. Текст, который вы отдаёте агенту, уходит к поставщику его модели.

Дальше: Старт и отчёт doctor, или Разборы с датой. Источник ReaReverse.