Käännä kaikki ohjelmistot: REA menee ylös GitHub 58,000 Star, Angent muuttuu käänteiseksi kysymys.
GitHub sytytti äskettäin toisen projektin: REA:n. Käyttäjä sanoi, että se oli "42,000 Star," mutta tästä päivästä lähtien (10 lokakuuta 2026) määrä on noussut. 58 000 tähteä, 11 000 haarukkaa- Enemmän kuin sanotaan. Ja mitä se tekee on, että voit sanoa samaa asiaa: käytät sitä kääntää minkä tahansa ohjelmiston, kaivaa se sovelluksesta alkuperäiseen binary.
Mikä on ongelmana?
Perinteinen käänteinen on REA's idea on laittaa angent anti-circulator (alkuperäinen koodi Hopper, Ghidra tai IDA) ja sitten liittää staattinen analysaattori JavaScript ja. NET. Angent on vastuussa työkalun kyseenalaistamisesta, päätelmien keräämisestä ja todisteiden luovuttamisesta.
Sen README-esimerkki on koko myyntipiste: "Tiedä, miten Notes-sovelluksen haku toimii, näytä minulle todisteet ja tee samanlainen ominaisuus projektilleni." Sinulla on selitys, koodipaikka ja lista siitä, mitä et tiedä.
Tärkeintä on analysoida kaikki paikalliset toiminnot, ja päätelmiin liitetään todisteita ja rajoituksia - ei niin, että malli voisi selittää sinulle.
ii. Mitkä kohteet syödä
REA:lla on melko laaja tukipohja, joka kattaa pääasiassa yhteiset käänteiset esineet:
- Native binary: pseudokoodit, kokoelmat, jouset, symbolit, puhelut ja viittaukset (Hopper/Ghidra/IDA vaaditaan)
- Offline ELF asettelu: kappaleet, kohdat, alkuperäinen symboli/uudelleenasettaminen, staattinen hillitsemisehdotus
- JavaScript / Electron: moduuli, tuonti, lähde Kartta, reitti, IPC suhde ensisijainen plugin (staattinen analyysi ilman ensisijainen moottori)
- VerkkosivustoSivurakenne, skriptit, web-havainnointi ja kuvakaappaus
- .NET-ohjelman kokoelma: metatiedot, CIL-komennot, alkuperäisen riippuvuuden ja rakenteen ilmoittaminen (puhdas staattinen)
- Android APKListan selitys, luokka, käännösmenetelmä ja viite (tarpeet päätön JADX + täydellinen JDK)
- Kiinteä: osiot, poistot leikkaavat alkuperäisen analyysin (tarpeet Binwalk / Unblob)
- EVM tavuja, kirjautuminen Linux kaatuu, HAAR tarttuu, prosessi käyttäytyminenOdota.
Ympäristövaatimukset: Node.js 22.x (≥22.19), 24.x (≥24.11) tai 26+, sekä pm. Tuetut agentit ovat Claude Code, Codex, Cursor, Gemini CLI, Grok Build, jne. - kaikki agentit, jotka tukevat paikallisia MCP Servers ovat käytännössä toimivia. Asenna tilaus:npx rea-agents setup, se rekisteröi MCP-palvelimen ja kirjoittaa mukana työnkulun kuvaus, ja sitten käynnistää muurahainen.
Kolme julkista tapausta: mitä se voi todistaa?
Tähtinumerot edustavat lämpöä ja tapaustuloksia. REA:n virkamies esitti kolme näytöstapausta, joita ei voida esittää.
Tapaus 1: DX-pallon äänikentän kaava
Kysymys: Miten DX-Ball 1990-luvulla muunsi tiilien vaakasuoran sijainnin vasemmaksi/oikeaksi äänikentäksi? Vastakääntäjä on 0x406400 Vain yksi havaitsematon syöte nähtiin __ftol() Puhelu; puuttuvat viittaukset komentoon [EBP+8]En tiedä. Seuraa soittajaa 0x411f40 Koordinaatti löytyi 20 + 30 × tile_x, ja lukea kolme vakiota muistista 1.5625, 500,0 ja alkuperäinen akustinen skaalaus 1.0.
Sääntö, joka lopulta palautetaan on: koordinaatti kaksinkertainen, kerrottuna 1.5625 miinus 500.0, kerrottuna tallennettu akustinen kenttä ja sitten katkaista. Suurenna 1 vasemmalla reunalla -500, keskellä 0, oikealla reunalla 500. Oikeasti lisää luottamusta: kirjailija ajaa 3205 esimerkkiä samanaikaisesti alkuperäisen x86-toiminnon ja uuden C-version (sisältää 0-640 täyttä asentoa, skaalautuu 05/1/20/1) kautta ja kiinteän VC 4.0 -työkaluketjun alla tavut vastaavat alkuperäisiä 63 tavua. Koko hankeraportti säilytti 55 C-toimintoa, 45380 vertailua.
Se ei todistanut sitä.Liikkua yhdistää äänikentän takapäähän pelin on vielä valmis, ja soitettava tuote on epätäydellinen; työ on sidottu kiinteä Hash klo DX-Ball 1.07; kokoelma uudelleen sijoitettuja ja tarkastettu vakioita luottaa manuaalinen tarkastelu.
Asia 2: Notion Kuinka kopioida Clip Board
Siirry 90-luvun binaarista moderniin Electron-sovellukseen. Kysymys: Notion Desktop 7.6.1 Miten kirjoittaa teksti ja HTML järjestelmän leikepöydälle? Polku neljässä segmentissä: esiload script altistettu sivu clipboard.writeKäärinliina kutsuu jotain kanavaa. ipcRenderer.invoke;Pääprosessi ipcMain.handle Vastaanottaja; Elektroni lähettäjältä clipboard.write Crash. Sama kanavan nimi molemmilla puolilla. notion:clipboard:writeEn tiedä.
Kaksi löytöä kannattaa muistaa: pääprosessi käsittelijä tarkistaa, mikä sivu lähetti pyynnön, ja vain Notion on omat web-setit päästä leikepöydän kirjoittaa -- Tämä on oikea paikka, johon Electron pitäisi soveltaa; toinen on, että on pala dataa piilotettu kopio, jossa kommentti HTML osoittaa Notion muokata mimetypes text/_notion-blocks-v3-production Paikallisesti tallennetut lohkotiedot. Peruu merkintä, kun liität tekstin ID: llä, ja palauttaa alkuperäisen tekstin + HTML: n kun merkintä päättyy.
Se ei todistanut sitä.: REA 4.1.0 analysoi vain etiketin preload, löytää altistunut API ja invoke Call, wrapper tajuaa, että kirjoittaja lukee ja liittää kanavan vastaanottajaan käsin; leikepöydän johtopäätös on web resurssi ja tallentaja välimuisti 13. heinäkuuta 2026, ei live työpöydän istuntoja.
Tapaus 3: Pelaa näyttö PC-98 pelejä rengas
Takaisin 16-bittiseen DOS-koodiin. GERA-ohjelma tukee 16 bittiä DOS-analyysi. Tekijä palauttaa kiinteät kulmat ja tähtää kulmat pommiverhon taakse, rekonstruoi ne C++:lla ja vertaa niitä historiallisen kääntäjän tuloon. Muotot ovat samat kuin DX-Ball: palauttaa pieni murto-osa laskelmasta, rakentaa sen uudelleen ja sitten todentaa sen alkuperäisen tuotteen, sen sijaan, että uskoisi tähän selitykseen.
Neljä. Yhdistä kolme laatikkoa.
- Se on hyvin kapea.: akustinen kaava, leikepöydän polku, luotiverhon rengas, eikä missään tapauksessa sanotaan "uudelleenrakenna koko sovellus."
- Todisteet ovat liitteenä.Osoite, vakio, 3205 testiä, Kanavan nimi, tallennettu luotain, kääntäjä vertailu.
- Kaikki hyväksytty manuaalisiin toimenpiteisiin.Manuaalisesti uudelleen asemoitu, manuaalisesti lukea kääre, kääntäjä vastaa.
- Kohteilla on kiinteät versiot.DX-Ball 1.07 kanssa Hash, Notion 7.6.1, alkuperäinen PC-98 binary.
Tämä on päivän rehellinen raja.Agentti on nopea, väsymätön assistentti, joka jäljittää yksilön käyttäytymistä, ja todistaa olevan testi, josta voit suorittaa uudelleen.
V. Mitä se tarkoittaa kehittäjille
Jos teet angent-sovelluksia, REA edustaa uutta kaavaa: sen sijaan, että annat mallin "arvaa" suoraan siitä, miten ohjelma toimii, laitat mallin ammatilliseen käänteiseen työkaluon, jotta se puhuu todisteille. Sen arvo ei ole "yksi avain kääntää koko ohjelmiston," mutta se aikoo siirtää käänteisen kynnysarvon "lukea kokoelmia" "kysymys + validoi."
Mutta selvitä kaksi pistettä. Ensinnäkin paikallinen analyysi ei ole sama kuin datavirta -- agenttisi vie työkalut mallitoimittajille, ja tietopolitiikka pätee edelleen. Toiseksi todisteiden laatu riippui sertifiointiketjusta, ja tapauksen uskottavuus johtui 3205 vertailusta ja tavujen vastaavuudesta eikä mallin suullisesta tulkinnasta.
Miten se tehdään?
- Ympäristö: Node. js 22. x (≥22.19)/ 24. x (≥24.11)/ 26+, ja pm
- Ensimmäinen avainasennus:
npx rea-agents setup, valitse anent, tarkistaa ja hyväksyä muutoksia, ja käynnistää anent - Maailmanlaajuinen asennus:
npm install --global rea-agents, myöhemmin saatavillarea --help - Staattinen JS/Elektron-analyysi:
npx -y rea-agents@latest analyze-javascript-application /abs/path --json - Ensisijainen analyysi: palveluntarjoajan esikonfigurointi (Hopper/Ghidra/IDA)
- Päivitys:
rea updateTai paeta uudestaan.npx rea-agents@latest setup
Käännös on siirtymässä "lukea kooste" "kysymys + validointi" - väline on alentanut kynnystä, mutta todisteet on vielä testattava.