Alle software omkeren: REA gaat omhoog GitHub 58.000 Star, Angent draait om in een vraag.

GitHub heeft onlangs een ander project in brand gestoken: REA. De gebruiker zei dat het was "tot de 42.000 Ster," maar vanaf vandaag (10 oktober 2026) is het aantal gestegen. 58.000 sterren, 11.000 vorkMeer dan ze zeggen. En wat het doet is dat je hetzelfde kunt zeggen: je gebruikt het om elke software om te keren, graven van toepassing naar originele binaire.

Wat is het probleem?

Het traditionele omgekeerde is dat de man enkele dagen in een compiler zit om de compilatie te lezen. REA's idee is om angent op een anti-circulator (originele code met Hopper, Ghidra of IDA) te zetten en vervolgens verbinding te maken met een statische analysator voor JavaScript en. NET. Angent is verantwoordelijk voor het ondervragen van het gereedschap, het verzamelen van conclusies en het teruggeven van het bewijsmateriaal.

De README voorbeeld is het hele verkooppunt: "Ken hoe de zoekopdracht in de Notes applicatie werkt, toon me het bewijs, en doe een soortgelijke functie voor mijn project." Wat je hebt is een verklaring, een code locatie, en een lijst van wat je niet weet.

Het belangrijkste punt is om alle lokale activiteiten te analyseren, en de conclusies zullen vergezeld gaan van bewijs en beperkingen - om het model niet toe te staan een verklaring voor u te geven.

ii. Welke doelen te eten

REA heeft een vrij brede draagbasis, die hoofdzakelijk gemeenschappelijke omgekeerde objecten omvat:

• Native Binary: pseudocodes, compilaties, strings, symbolen, oproepen en referenties (Hopper/Ghidra/IDA vereist)
• Offline ELF-indeling: alinea's, secties, origineel symbool/herpositionering, kandidaat voor statische mitigatie
• JavaScript / Electron: module, import, bronkaart, route, IPC relatie met primaire plugin (statische analyse zonder primaire motor)
• websitePaginastructuur, scripts, webobservatie en screenshot
• .NET programmaverzameling: metadata, CIL commando's, verklaring van oorspronkelijke afhankelijkheid versus constructie (zuivere statische)
• Android APKLijst statement, klasse, omgekeerde vertaling methode en referentie (nodigheden hoofdloze JADX + volledige JDK)
• Vast: partities, extracties kruisen met de oorspronkelijke analyse (nodige Binwalk / Unblob)
• EVM bytes, login Linux crashes, HAR grijpers, procesgedragWacht.

Milieueisen: Node.js 22.x (≥22.19), 24.x (≥24.11) of 26+, plus npm. Ondersteunde agenten zijn Claude Code, Codex, Cursor, Gemini CLI, Grok Build, enz. - alle agenten die lokale MCP Servers ondersteunen zijn in principe functioneel. Installeer een bestelling:npx rea-agents setup, het zal registreren MCP server en schrijf de bijbehorende workflow beschrijving, en herstart mier.

Drie openbare zaken: wat kan het bewijzen?

Sterrenaantal staat voor warmte en case resultaten. De REA ambtenaar zette drie showcases uit van wat kan en wat niet.

Case 1: Geluidsveldformule voor DX-Ball

Vraag: Hoe vertaalde DX-Ball in de jaren negentig de horizontale positie van de stenen in een links/rechts geluidsveld? De teller compiler is in 0x406400 Er werd slechts één invoer zonder waarneming gezien __ftol() Oproep; ontbrekende referenties in opdracht [EBP+8]Ik weet het niet. Volg de beller 0x411f40 Coördinaatformule gevonden 20 + 30 × tile_x, en lees drie constanten uit geheugen 1.5625, 500.0 en initiële akoestische schaal 1.0.

De regel die uiteindelijk wordt hersteld is: coördinaat dubbel, vermenigvuldigd met 1.5625, min 500.0, vermenigvuldigd met opgeslagen akoestisch veld en dan afgesneden. Zoom in op 1 met de linkerkant -500, midden 0, rechterkant 500. Wat echt vertrouwen opbouwt is de middelen van authenticatie: de auteur draait 3205 voorbeelden tegelijkertijd door de originele x86 functie en de nieuwe C versie (die 0-640 volledige posities, schalen 0/05/1/20-1), en onder de vaste VC 4.0 tool chain worden de bytes gekoppeld aan de originele 63 bytes. In het gehele projectrapport bleven 55 C functies behouden, 45380 vergelijkingen.

Het heeft het niet bewezen.De beweging om het geluidsveld te verbinden met de achterkant van het spel moet nog worden voltooid, en het speelbare product is onvolledig; het werk is gebonden aan een vaste Hash op DX-Ball 1.07; de compilatie van

Case 2: Notion Hoe te kopiëren naar Clip Board

Spring van de jaren '90 binair naar een moderne Electron toepassing. Vraag: Notion Desktop 7.6.1 Hoe schrijf je tekst en HTML naar het systeem klembord? Pad in vier segmenten: preloadscript blootgesteld aan pagina clipboard.write;een wrapper die een kanaal aanroept ipcRenderer.invoke; hoofdproces ipcMain.handle Ontvang; elektron door afzender clipboard.write Crash. Dezelfde Kanaalnaam aan beide kanten. notion:clipboard:writeIk weet het niet.

Twee ontdekkingen zijn het waard om te onthouden: de belangrijkste procesafhandelaar zal controleren welke pagina het verzoek heeft verzonden, en alleen Notion heeft zijn eigen websets om het klembord te bereiken om te schrijven -- Dit is de juiste positie waarop Electron van toepassing zou moeten zijn; de tweede is dat er een stukje gegevens verborgen in de kopie, met een commentaar in HTML wijzend op Notion om mimetypes aan te passen text/_notion-blocks-v3-production Lokaal opgeslagen blokgegevens. Revert het item bij het plakken met ID, en geeft de originele tekst +HTML terug wanneer het item verloopt.

Het heeft het niet bewezen.: REA 4.1.0 analyseert alleen het etiket preload, vindt blootgestelde API en invoke Call, wrapper realiseert zich dat de auteur handmatig Channel leest en verbindt met de ontvanger; de conclusie van het klembord is van de web resource en saver cache van 13 juli 2026, niet van live desktop sessies.

Case 3: Speelscherm voor PC-98 spellen Ring

Terug naar 16 bit DOS code. Het GERA programma ondersteunt 16 bits DOS analyse. De auteur herstelt de vaste hoeken en richt hoeken achter een bomgordijnring, reconstrueren ze met C++ en vergelijkt ze met de output van de historische compiler. Vormen zijn hetzelfde als DX-Ball: herstel een klein deel van de berekening, herbouw het en authenticeer het met het oorspronkelijke product, in plaats van te geloven in die verklaring.

Vier. Zet de drie zaken samen.

• Het is erg smal.: een akoestische formule, een klembord pad, een kogelgordijn ring, en geen geval zegt dat de hele toepassing opnieuw te bouwen.
• Het bewijs is bijgevoegd.Adres, constante, 3205 testen, Kanaal naam, opgeslagen sonde, compiler vergelijking.
• Allemaal toegelaten tot handmatige stappen.Handmatig herzien herpositioneren, handmatig lezen wrapper, compiler matching.
• Doelen hebben vaste versies.DX-Ball 1,07 met Hash, Notion 7.6.1, originele PC-98 binair.

Dit is de eerlijke grens van vandaag:Agent is een snelle, onvermoeibare assistent om individueel gedrag op te sporen, en blijkt een test te zijn van waaruit je weer kunt lopen.

V. Wat het betekent voor ontwikkelaars

Als je angent applicaties doet, vertegenwoordigt de REA een nieuw patroon: in plaats van het model direct te laten "raden" over hoe een programma draait, zet je het model op een professionele reverse tool om het te laten praten op bewijs. De waarde is niet "een sleutel keert de hele software" maar het gaat om de omgekeerde drempel van "lees compilaties" naar "vraag + valideert."

Maar wees nuchter twee punten. Ten eerste is lokale analyse niet hetzelfde als dataflow -- je angent zal de tools exporteren naar modelleveranciers, en het databeleid is nog steeds van toepassing. Ten tweede was de kwaliteit van de bewijzen afhankelijk van de keten van certificering, en de geloofwaardigheid in de zaak werd afgeleid van de 3205 vergelijkingen en byte matching in plaats van de mondelinge interpretatie van het model.

Hoe doe je het?

• Omgeving: Node.js 22.x (≥22.19)/24.x (≥24.11/ 26+, plus npm
• Eerste sleutelinstallatie:npx rea-agents setup, selecteer je antent, bekijk en keur wijzigingen goed, en herstart een antenn
• Globale installatie:npm install --global rea-agents, later beschikbaar rea --help
• Statische JS/Electron-analyse:npx -y rea-agents@latest analyze-javascript-application /abs/path --json
• Primaire analyse: pre-configuratie van de aanbieder (Hopper/Ghidra/IDA)
• Update:rea updateOf weer rennen. npx rea-agents@latest setup

Het omgekeerde gaat van "lees compilatie" naar "vraag + validatie" - het instrument heeft de drempel verlaagd, maar het bewijs moet nog worden getest.