ReA се качва на GitHub 58,000 Star, Angent се превръща обратно в въпрос.

GitHub наскоро запали друг проект: REA. Потребителят каза, че е "до 42 000 звезди," но от днес (10 октомври 2026 г.) броят се е увеличил. 58,000 Star, 11,000 Fork- Повече, отколкото казват. И това, което прави е, че можете да кажете същото нещо: използвате го, за да обърнете всеки софтуер, да го изкопаете от приложение към оригинален двоичен.

Какъв е проблемът?

Традиционното обръщане е, че човек седи в брояч за няколко дни, за да чете загадката. Идеята на REA е да постави angent на анти-циркулатор (оригинален код с Hopper, Ghidra или IDA) и след това да се свърже към статичен анализатор за JavaScript и. Нет. Angent е отговорен за разпит на инструмента, събиране на заключения и връщане на доказателствата.

Its README exemplifier е цялата точка на продажба: "Знаете как работи търсенето в приложението Notes, покажете ми доказателствата, и направете подобна функция за моя проект." Имаш обяснение, кодово местоположение и списък с неща, които не знаеш.

Ключовият въпрос е да се анализират всички местни операции и заключенията ще бъдат придружени от доказателства и ограничения - да не се позволи на модела да направи обяснение за вас.

II. Кои цели да се яде

REA има доста широка подкрепа база, която по същество обхваща общи обратни обекти:

• Местен бинар: псевдокоди, компилации, низове, символи, обаждания и препратки (изисква се Hopper/Ghidra/IDA)
• Офлайн подреждане на ELF: параграфи, раздели, оригинален символ/позиция, кандидат за статично смекчаване
• JavaScript / Electron: модул, внос, източник Карта, маршрут, IPC връзка с първичен плъгин (статичен анализ без първичен двигател)
• УебсайтСтруктура на страницата, скриптове, уеб наблюдение и екранна снимка
• .NET програмна колекция: метаданни, CIL команди, декларация за първоначална зависимост спрямо конструкция (чиста статична)
• Android APKСписък декларация, клас, метод за обратен превод и справка (нуждае се от обезглавяване JADX + пълна JDK)
• Твърди: прегради, екстракции се пресичат с оригинален анализ (нуждае се от Binwalk / Unblob)
• EVM байтове, вход Linux катастрофи, HAR сграбчи, процес поведениеЧакай.

Околна среда: Node.js 22.x (≥22.19), 24.x (≥24.11) или 26+, плюс npm. Поддържаните агенти включват Клод Код, Кодекс, Курсор, Близнаци КЛИ, Грок Билд и т.н. - всички агенти, които поддържат локални MCP сървъри са основно функционални. Инсталиране на поръчка:npx rea-agents setup, ще регистрира MCP сървър и ще напише придружаващия работен процес описание, и след това рестартирайте мравка.

Три публични случая: какво може да докаже?

Звездните числа представляват топлина и резултати. Официалът на РЕА постави три витрини от това, което може и какво не може.

Дело 1: Sound поле формула за DX-Ball

Практикуващ: Как DX-Ball през 90-те години преведе хоризонталната позиция на тухлите в ляво/дясно звуково поле? Броячът е в 0x406400 Само един ненаблюдаем вход беше видян __ftol() Повикване; липсващи препратки в командата [EBP+8]Не знам. Следвайте обаждането. 0x411f40 Координатна формула 20 + 30 × tile_x, и прочетете три константи от паметта 1.5625, 500.0 и първоначална акустична мащабиране 1.0.

Правилото, което в крайна сметка се възстановява, е: координирайте двойно, умножено по 1.5625, минус 500.0, умножено по съхраняваното акустично поле и след това отсечено. Увеличи на 1 с левия край -500, център 0, десен ръб 500. Това, което наистина изгражда увереност, е средството за удостоверяване: авторът използва 3205 примера едновременно чрез оригиналната функция x86 и новата версия C (покриваща 0-640 пълни позиции, мащабиране 0/05/1/20-1), а под фиксираната VC 4.0 байтата са съчетани с оригиналните 63 байта. Целият проектен доклад поддържа 55 C функции, 45380 сравнения.

Не го доказа.Преместването за свързване на полето на звука към задния край на играта все още предстои да бъде завършено, а разиграваемият продукт е непълен; работата е свързана с фиксиран хашиш в DX-Ball 1.07; компилацията на инсталирани и проверени константи, разчитащи на ръчен преглед не е напълно автоматична.

Случай 2: Notion Как да копирам в клип борда

Скочи от двоичната през 90-те в модерно приложение на електрон. Въпрос: Notion Desktop 7.6.1 Как да напишете текст и HTML в системния буфер? Път в четири сегмента: предварително натоварване скрипт, изложен на страница clipboard.write; опаковка призовава по някакъв канал ipcRenderer.invoke; основен процес ipcMain.handle Получаване; електрон чрез подател clipboard.write Катастрофа. Едно и също име от двете страни. notion:clipboard:writeНе знам.

Две открития си струва да се запомни: главният отговорник на процеса ще провери коя страница е изпратила искането, и само Notion има свои собствени уеб комплекти, за да достигне клипборда да напише -- Това е правилната позиция, за която трябва да се прилага Electron; втората е, че има част от данните скрити в копието, с коментар в HTML, сочещ към Notion за персонализиране на миметипите text/_notion-blocks-v3-production Местно съхранени данни за блока. Връщане на текста при поставяне по ID и връщане на оригиналния текст + HTML при изтичане на срока на влизане.

Не го доказа.: REA 4.1.0 анализира само предварителното зареждане на етикета, намира изложени API и invoke Обадете се, опаковка осъзнава, че авторът ръчно чете и свързва Channel с получателя; заключението на клипборда е от уеб ресурса и спестовната кеш от 13 юли 2026 г., а не от сесиите на работния плот на живо.

Случай 3: Игрален екран за PC-98 игри Пръстен

Обратно към 16 битовия DOS код. Програмата GERA поддържа 16 бита на DOS анализ. Авторът възстановява фиксираните ъгли и насочва ъглите зад пръстена на бомбата, реконструира ги с C++ и ги сравнява с изхода на историческия компилатор. Форматите са същите като DX-Ball: възстановяване на малка част от изчислението, възстановяването му и след това го автентично с оригиналния продукт, вместо да вярват в това обяснение.

Четири. Събери трите случая.

• Много е тясно.: акустична формула, пътека на клипборда, пръстен на завесата от куршуми, и никакъв случай не казва, че цялото приложение.
• Доказателствата са приложени.Адрес, константа, 3205 тестове, име на канала, съхранена сонда, сравнение на компилатор.
• Всички приети на ръчни стъпки.Ръчно прегледан препозициониран, ръчно прочетен опаковка, компилатор съвпадение.
• Мишените имат фиксирани версии.DX-Ball 1.07 с хашиш, Notion 7.6.1, оригинален PC-98 двоичен.

Това е днешната честна граница:Агент е бърз, неуморен асистент за проследяване на индивидуално поведение, и се оказва тест, от който можете да стартирате отново.

Ви. Какво означава за разработчиците

Ако правите спешни приложения, REA представлява нов модел: вместо да позволявате на модела "да познае" директно как работи една програма, поставяте модела на професионален обратен инструмент, за да го накарате да говори за доказателства. Стойността му не е "един ключ обръща целия софтуер," но ще премести обратния праг от "компютри за четене" към "въпрос + валидира."

Но бъди трезвен с две точки. Първо, местният анализ не е същият като потока данни - вашият агент ще изнася инструментите за модел на доставчици, а политиката на данните все още важи. На второ място, качеството на доказателствата зависи от веригата на сертифициране, а доверието в случая е резултат от сравненията от 3205 г. и съвпадението на байтовете, а не устното тълкуване на модела.

Как да го направя?

• Околна среда: Node.js 22.x (≥22.19) / 24.x (≥24.11) / 26+, plus npm
• Първа ключова инсталация:npx rea-agents setup, изберете вашия anent, преглед и одобри промените, и рестартирайте anent
• Глобална инсталация:npm install --global rea-agents, по-късно наличен rea --help
• Статичен анализ JS/Електрон:npx -y rea-agents@latest analyze-javascript-application /abs/path --json
• Първичен анализ: предварително конфигуриране на доставчика (Hopper/Ghidra/IDA)
• Обновяване:rea updateИли бягай отново. npx rea-agents@latest setup

Обратното се движи от "композиция на четене" към "заверяване на запитване +" - инструментът е намалил прага, но доказателствата все още трябва да бъдат тествани.