560674e2de
* feat(native): report binary hardening for ELF, PE and Mach-O Documents inspect_binary_hardening and its CLI equivalent, including per-property states, supporting evidence, read budgets, and one report per Mach-O slice. Explains that missing protection imports remain unknown, signature presence does not establish validity, and hardened runtime requires inspect_signature. Adds hardening links throughout the documentation. The supplied diff also removes the advanced CodeQL workflow and configuration, along with snapshot-binding mismatch guidance. * fix(native): validate declared payloads and dynamic tables before hardening rows Run the shared range checks for ELF, read imports from the dynamic tables rather than section metadata, and keep an unresolved symbol count apart from an absent table. Check every Mach-O command before building rows and retain only the offsets the rows need. Make the verifier's readelf output wide, check the emitted format before parsing Mach-O, and place the sources before the libraries in the link. * fix(native): share Mach-O segment admission with hardening reads A segment with a section count its cmdsize cannot hold passed the hardening reader and could enable restrict_segment. Move the size, section count and file range checks to a shared admission that readMachoImage and the hardening reader both use, and pin the ELF load-size case with a regression test. * fix(hardening): reject Mach-O section payloads past the slice and empty ELF interpreters Segment admission never checked each section's payload range, so a file-backed section past the slice still produced rows. Decode sections with the section header owner and mark the slice malformed when a payload leaves it; zero-fill and empty sections own no file bytes and are exempt. admitInterp accepted a NUL first byte in a longer extent, which counted an empty interpreter as PIE evidence. It now requires a nonempty path. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01KuWHGvzJkrhCqjtEHUwqyH * fix(native): read CFG instrumentation from decoded GuardFlags Use the IMAGE_GUARD_CF_INSTRUMENTED flag that guardFlagRecord already decodes instead of masking the raw GuardFlags word a second time. * fix(native): reject ELF table spans a second PT_LOAD remaps The hardening reader mapped DT_STRTAB, DT_SYMTAB and hash tables through the one PT_LOAD containing the table's first address. A second PT_LOAD starting inside the table could map the rest of it from other file bytes and the reader still reported parsed import evidence. Cap each mapping at the next PT_LOAD that starts inside it, reject a requested range that crosses that boundary, and stop hash reads at the same limit, matching the conflicting-mapping refusal in readElfSymbols. * fix(native): dedupe ELF note tables only on shared boundaries The hardening reader dropped any note table whose bytes another table already covered. A covering SHT_NOTE can hold a non-GNU note whose descriptor is itself a complete GNU property note, while PT_NOTE names that inner note directly. Walking only the outer stream missed the GNU marker and reported CET disabled. Drop an alias only when it starts and ends on boundaries of admitted tables, which are note boundaries of the walked streams. Any other covered alias leaves the feature rows unknown, as a partial overlap already does. * fix(native): admit every Mach-O symbol record after a canary match The Mach-O stack protector scan returned as soon as it found an undefined ___stack_chk_fail, so a later undefined symbol whose n_strx lay outside the string table was never checked. The same damaged table parsed or failed as malformed depending only on record order. Keep the match and finish the bounded record walk. Records after the match are only checked against the string table bounds, so their names are not read or charged to the scan budget. The ELF reader already admits its whole symbol table before matching names. * fix(native): accept ELF load aliases with the same file translation The hardening reader treated every PT_LOAD that starts inside a table, or that also contains the table's address, as a conflicting mapping. A load with the same address-to-file translation names the same file bytes, so tables it overlaps still have one interpretation, and the canonical ElfLoadMap already merges such spans. Treat equivalent loads as one interpretation. A load with a different translation, or the zero-filled tail of an equivalent load, still ends the usable range, so a remapped table is still rejected. * fix(native): keep same-span ELF note tables with different alignments unknown A section and a program header that share endpoints were treated as one note stream even when their effective note alignments differed. Walking the same bytes at 4 and 8 can frame different notes, so dropping the second table could hide a GNU property word and report CET or BTI as disabled. Require matching effective alignment at both endpoints, and no alignment change inside the covered span, before treating a table as an alias. Otherwise mark the feature rows unknown. The fixture's .note.gnu.property section now declares the class's note alignment, as toolchains emit it. * refactor(native): read LC_SYMTAB through the shared fixed-word decoder Move the Mach-O fixed uint32 command layouts out of MachoCommandNames into domain/apple/machoLoadCommands so there is one owner of those offsets. MachoCommandNames and the hardening reader now both decode through it; the hardening reader keeps its own bounds and import policy. * fix(native): skip Mach-O common definitions in canary imports A common definition sets N_UNDF|N_EXT like an import but stores its allocation size in n_value. An object holding only `int __stack_chk_fail;` therefore reported stack_protector: enabled. Require a zero n_value before an undefined external counts as an import, for both nlist widths. * refactor(native): read linkedit data commands through the shared fixed-word decoder readMachoLinkeditDataCommand reproduced the dataoff/datasize offsets that FIXED_WORD_FIELDS already owns. Take the command and decode through decodeMachoFixedWordFields, as readMachoSymtabCommand does, keeping the truncation and endianness behavior. * fix(native): skip empty SHT_NOTE sections in ELF hardening A zero-sized SHT_NOTE owns no bytes, so the section directory marks it not file-backed and the hardening reader rejected the whole image as malformed, while readElfImage accepted the same bytes. Skip empty note sections before the file-backing check; they have nothing to walk. * fix(scripts): run hardening verifier commands through the shared owner The binary hardening verifier started its probes and compiler drivers with raw spawnSync, which bypassed the src/process/ supervision that AGENTS.md requires. Every launch now goes through createVerifierCommands, and the temporary root is removed only after the owner closes cleanly. * fix(scripts): clean up hardening verifier commands on Ctrl-C SIGINT or SIGTERM ended Node before withVerifierCleanup ran, so detached compiler trees and the temporary root could outlive the verifier. The verifier now turns those signals into an abort that every owned command receives, so cleanup closes the owner and removes the root before exit. * fix(scripts): fail the hardening verifier when a signal lands outside a command Only the owned commands read the interruption signal, so a SIGINT or SIGTERM during the final cleanup or between commands was recorded and then dropped, and the verifier exited 0. After cleanup settles, the verifier now throws the interruption reason. A failure the operation or its cleanup already raised still leaves first and is not replaced. * fix(native): fail Mach-O slices with a malformed encryption command The hardening reader turned every malformed status from the shared encryption reader into an unknown `encrypted` row, so a short LC_ENCRYPTION_INFO_64 or an encrypted range past the slice still left the slice parsed with a full report. Only two conflicting encryption commands stay an unknown row now. Any other encryption defect fails the slice like other structural command failures. * fix(native): ignore STB_LOCAL undefined ELF symbols as imports A local undefined __stack_chk_fail or __memcpy_chk is never resolved against another object, so it does not establish an external import. Skip STB_LOCAL bindings when reading protector signs, and give the fixture's positive symbols STB_GLOBAL binding. --------- Co-authored-by: Matt Van Horn <455140+mvanhorn@users.noreply.github.com> Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
34 KiB
English · 简体中文 · 繁體中文 · 日本語 · 한국어 · Türkçe · Русский · Tiếng Việt · ไทย · Deutsch · Español · Français · Українська · Polski · Português (Brasil) · العربية · فارسی · Bahasa Indonesia · Italiano · Ελληνικά · മലയാളം · Roman Urdu · Română
REA: Reverse Engineer Anything
Un singur server MCP pentru inginerie inversă: fișiere binare, aplicații și comportament în timpul execuției.
Ai găsit o funcționalitate care îți place? Înțelege cum funcționează, până la nivel de cod binar.
Site web · Ghiduri · Studii de caz
Pornire rapidă · Cum funcționează REA · Ce poți analiza · Studii de caz · Construiește medii RL · Întrebări frecvente · Documentație
npx rea-agents setup
Important
Descarcă REA din morluto/rea, de pe rea.tools sau prin pachetul npm rea-agents. Urmează linkurile de instalare și către versiunile publicate oferite de aceste surse oficiale. Un nume de repository asemănător sau un README copiat nu dovedește că descărcarea provine dintr-o sursă oficială.
 Alătură-te comunității de inginerie inversă Discord · Întrebări și răspunsuri · Prezentări și demonstrații |
Ai văzut într-o aplicație o funcționalitate pe care ai vrea să o incluzi în propriul produs? Cere-i agentului tău să o investigheze cu REA. Poate inspecta aplicația fără codul ei sursă, poate explica modul în care funcționează acea funcționalitate, poate prezenta dovezile și poate construi o variantă pentru proiectul tău.
REA conectează agentul tău la unelte pentru inspectarea fișierelor binare native, a aplicațiilor JavaScript și Electron, a ansamblurilor .NET și a site-urilor web. Poți folosi aceleași unelte și din terminal. Analiza rulează local, iar rezultatele includ dovezile și limitările care stau la baza fiecărei concluzii.
Programul de configurare înregistrează REA în agentul tău și instalează instrucțiunile corespunzătoare pentru fluxul de lucru. Analiza nativă poate folosi o instalare existentă de Hopper, Ghidra, IDA sau Kuna; programul de configurare poate instala opțional Hopper, cu aprobarea ta. Analiza statică JavaScript nu necesită un motor de analiză nativă.
Vizitează site-ul REA pentru instrucțiuni de configurare, ghiduri ilustrate și studii de caz reale.
Pornire rapidă
Pe Linux, pornirea Ghidra, JADX și a uneltelor pentru firmware, precum și analiza
statică JavaScript/Electron necesită un ps compatibil cu procps în PATH-ul REA,
pentru a verifica dacă procesele îi aparțin. Pașii de remediere sunt în
docs/installation.md, la secțiunea „Linux owned-process prerequisite”.
Configurează agentul
Cu Node.js și npm instalate, rulează:
npx rea-agents setup
Alege agenții, verifică modificările propuse și aprobă-le. Configurarea adaugă serverul MCP REA și instrucțiunile corespunzătoare pentru fluxul de lucru, creând copii de siguranță ale configurației existente. Repornește apoi agentul.
Programul de configurare acceptă Claude Code, Codex, Cursor, Gemini CLI, Grok Build și alți agenți. Consultă instalarea și configurarea pentru configurarea motoarelor de analiză și înregistrarea manuală a serverului MCP.
MCP folosește implicit scheme de intrare compacte, pentru a reduce spațiul ocupat
în context. Setează REA_MCP_INPUT_SCHEMA_PROFILE=full în înregistrarea MCP când
ai nevoie de îndrumările complete pentru câmpurile expuse și de detaliile
validării structurilor imbricate. Ambele profiluri păstrează toate uneltele și
validarea canonică a serverului. Consultă secțiunea „Compact input schema profile”
din ghidul contractelor MCP.
Cere-i agentului
Înțelege cum funcționează căutarea în aplicația Notes, arată-mi dovezile și
construiește o funcționalitate similară pentru proiectul meu.
Înlocuiește Notes cu aplicația vizată și precizează funcționalitatea pe care vrei să o înțelegi.
Folosește terminalul
Inspectează directorul extras al unei aplicații JavaScript/Electron sau o arhivă ASAR:
npx -y rea-agents@latest analyze-javascript-application /absolute/path/to/app --json
Rezultatul include modulele, importurile, delimitările dintre componentele Electron
și dovezile aferente. Înlocuiește calea cu cea a aplicației vizate, de exemplu
"D:/apps/example" pe Windows.
Pentru a instala comanda rea și a o folosi în mod curent:
npm install --global rea-agents
rea --help
Pentru analiza nativă, configurează mai întâi un motor de analiză. Consultă ghidul CLI și Evidence pentru comenzile de analiză nativă, selectarea motorului, instantanee și utilizarea în scripturi.
Actualizează REA
REA evoluează rapid, iar versiunile noi includ frecvent corecții de erori. Menține instalarea la zi.
Pentru o interfață CLI instalată cu npm install --global sau bun add --global:
rea update
rea --update este un alias pentru acest flux de actualizare verificat și acceptă
aceleași opțiuni globale de ieșire. Folosește rea update când îl combini cu alte
opțiuni de control al comenzii.
Comenzile de actualizare păstrează cel mult 4 MiB în total din stdout și stderr. Răspunsurile cu metadate prea mari sunt respinse după încheierea comenzii; instalările cu ieșire detaliată continuă cu un volum limitat de date de diagnostic. Afișarea progresului în terminal ține cont de ritmul în care acesta poate primi date și așteaptă finalizarea operațiilor de scriere deja trimise.
Actualizările instalărilor globale cu Bun necesită Bun 1.2.17 sau o versiune mai nouă.
Dacă ai o versiune mai veche, actualizează Bun manual înainte de a rula rea update.
Pentru a actualiza înregistrările agenților și skill-ul, rulează comanda de configurare afișată de programul de actualizare.
Dacă folosești npx, actualizează configurarea agentului cu:
npx rea-agents@latest setup
Verifică modificările de configurare și repornește agentul. Pentru comenzi CLI
ocazionale, folosește npx rea-agents@latest urmat de comandă. Cu Bun, folosește
bunx rea-agents@latest în loc de npx rea-agents@latest.
Cum funcționează REA
Agentul tău apelează REA prin MCP pentru a inspecta ținta și a urmări codul relevant. REA returnează constatările împreună cu dovezile aferente. Agentul le folosește pentru a pune întrebări suplimentare, a explica comportamentul sau a scrie și testa o implementare. Comenzile CLI folosesc aceleași fluxuri de lucru.
Deschide figura la dimensiunea originală.
Ce poți analiza
REA necesită Node.js 22.x (>=22.23.4), 24.x (>=24.22.1) sau 26.12.1+, plus npm. Uneltele suplimentare și platformele acceptate depind de ținta analizată:
| Țintă | Ce returnează REA | Cerințe și ghid |
|---|---|---|
| Aplicații desktop instalate | Componente de execuție candidate, fișiere auxiliare, indicii despre componente și următoarele verificări | Inspectare integrată a directoarelor și antetelor, cu limite de resurse; aplicații desktop |
| Fișiere binare native | Pseudocod, cod de asamblare, șiruri de caractere, simboluri, apeluri și referințe | Hopper, Ghidra, IDA sau Kuna; analiză nativă |
| Structura ELF, offline | Secțiuni, segmente, simboluri și relocări originale, precum și indicii statice despre mecanismele de protecție | pwntools furnizat de utilizator, pe Linux x64; diagnosticarea binarelor |
| Fișiere binare Go | Versiunea compilatorului încorporată în fișier, modulele, înlocuirile și setările de compilare | Inspectare statică integrată a fișierelor ELF/PE/Mach-O cu o singură arhitectură; nu necesită instalarea Go |
| Obiecte de cod GPU | Ținte CUDA/HIP, parametri și resurse selectate ale kernelurilor GPU, textul PTX păstrat | Inspectare statică integrată a fișierelor ELF/PE/fatbin/CUBIN/PTX; obiecte de cod GPU |
| Fișiere de model | Metadate GGUF / safetensors, declarații de tensori și totaluri calculate din acestea | Inspectare integrată a antetelor; opțional, hash al întregului fișier; fișiere de model |
| Metadate IL2CPP | Imagini de ansambluri din global-metadata.dat al Unity, nume de tipuri și metode și intervale de indici | Decodare statică integrată a versiunilor 24, 27, 29, 31 și 39; nu necesită Unity |
| Godot PCK | Inventarul și extragerea arhivei, informații originale din antet și director și identificatori ai conținutului selectat | Suport static integrat pentru formatele 2, 3 și 4; nu necesită Godot |
| Fișiere binare Rust | Nume, versiuni, surse și relații de dependență ale pachetelor crate încorporate prin cargo-auditable | Inspectare statică integrată a fișierelor ELF/PE/Mach-O cu o singură arhitectură; binare Rust |
| Certificate PE | Intrări Authenticode WIN_CERTIFICATE și câmpuri de identitate ale semnatarilor PKCS#7 și certificatelor X.509 | Inspectare statică integrată a fișierelor PE; certificate PE |
| Importuri PE | Numele DLL-urilor importate și încărcate întârziat, ordinale, RVA-uri ale IAT și hash-ul importurilor calculat de pefile | Inspectare statică integrată a fișierelor PE; importuri PE |
| Note ELF | Proprietari și tipuri PT_NOTE/SHT_NOTE, câmpuri GNU build-id și ABI-tag | Inspectare statică integrată a fișierelor ELF; note ELF |
| Întărire binară | PIE, NX, RELRO, CFG și indicatori de antet pentru ELF, PE și Mach-O | Inspecție statică integrată a antetelor; întărire binară |
| Rapoarte Apple IPS de eroare fatală | Metadate .ips, fire de execuție, imagini binare, registre și clase documentate de erori fatale | Inspectare statică integrată a datelor JSON; Apple IPS |
| Module de kernel Linux | Chei .modinfo, CRC-uri din __versions, prezența this_module și structura semnăturii de la sfârșitul fișierului | Inspectare statică integrată a fișierelor ELF; module de kernel |
| Erlang BEAM | Blocuri IFF, atomi, exporturi, importuri, funcții lambda și antetul Code | Inspectare statică integrată a fișierelor BEAM; Erlang BEAM |
| Fișiere WASM | Validare, secțiuni, forme WAT exacte ale importurilor și exporturilor și cod WAT decodat | WABT 1.0.42 furnizat de utilizator; inspect_wasm_artifact |
| Bytecode EVM | Selectori de apel, poziții în octeți, argumente și mutabilitate deduse | Fișier local în format brut sau hexazecimal, pe Linux x64; ghid EVM offline |
| Baze de date SQLite | Tabele, coloane, indecși, vizualizări, declanșatoare și rânduri selectate din tabele obișnuite | Instantaneu local al bazei de date/WAL; Node.js 24.x >=24.15 sau 26+, cu limite SQLite native |
| Erori fatale Linux înregistrate | Note brute, registrele și semnalele fiecărui fir înregistrat și, opțional, corespondențe candidate pentru mapările de memorie | pwntools furnizat de utilizator, pe Linux x64; opțional GDB/pwndbg; erori fatale înregistrate |
| JavaScript / Electron | Module, importuri, hărți de cod sursă, rute, IPC și relații cu extensiile native | Node.js și npm; pe Linux: ps compatibil cu procps; analiza aplicațiilor |
| Site-uri web | Structura paginilor, scripturi, observații de rețea și capturi de ecran solicitate | Un browser din familia Chrome; analiză în browser |
| Capturi de rețea salvate | Cereri, răspunsuri, conținuturi expuse ale mesajelor și pozițiile lor în sursă | HAR sau SAZ din Fiddler Everywhere; mitmdump pe Linux pentru formatul nativ mitmproxy; ghidul capturilor |
| Ansambluri .NET | Metadate, instrucțiuni CIL, dependențe native declarate și comparații între compilări | Fără cerințe suplimentare (doar analiză statică); ghidul codului gestionat |
| APK-uri Android | Declarații din manifest, clase, metode decompilate și referințe | JADX fără interfață grafică și un JDK complet, pe Linux/macOS/Windows x64; ghidul Android |
| Semnături APK | Semnatari v1/v2/v3/v3.1, amprente ale certificatelor, rotația cheilor și consistența internă a hash-urilor | Fără cerințe suplimentare (doar analiză statică); inspect_apk_signature |
| Dispozitive Android | Dispozitive, pachete, procese, jurnale, dumpuri, capturi de ecran și transferuri de APK-uri și fișiere | adb furnizat de utilizator (emulator sau dispozitiv fizic); ghidul ADB |
| Proiecte JEB | Unități de proiect analizate prin motor, hash-uri ale artefactelor și pseudocod pentru tipuri și metode | Un client JEB pornit de utilizator, care oferă un server MCP și este selectat prin REA_JEB_MCP_URL; ghidul JEB |
| Resurse Android | Manifest decodat, tabele de șiruri de caractere, localizări și informații despre versiune | Program de lansare Apktool furnizat de utilizator; ghidul resurselor |
| Aplicații Flutter | Hash-ul instantaneului Dart, hash-uri ale bibliotecilor pentru fiecare ABI și proveniența compilării motorului | Fără cerințe suplimentare (parsare statică a APK-ului); ghidul Flutter |
| Firmware | Regiuni, rezultate ale extragerii și transferul către analiza nativă | Binwalk / Unblob pe Linux; ghidul firmware |
| Pachete de rețea înregistrate | Câmpuri selectate, valori repetate, filtre și reguli decode-as | Linux: TShark 4.x + prlimit; ghidul capturilor |
| Rezumate ale traficului de rețea | Puncte terminale, DNS, TLS SNI, distribuția protocoalelor și cereri HTTP | tshark și capinfos furnizate de utilizator (verificate pe Linux); ghidul pcap |
| Semnale logice înregistrate | Adnotări ale decodorului, intervale de eșantioane și date de diagnostic | Linux: sigrok-cli 0.7.2 + prlimit; înregistrări de semnale |
| Pachete și resurse | Inventare de fișiere, hash-uri, fișiere plist, structura pachetelor de aplicație Apple și resurse extrase | Ghidul artefactelor și JavaScript, aplicații Apple |
| Comportamentul proceselor | Ieșirea în terminal, interacțiuni, observații despre terminarea proceselor și sistemul de fișiere și comparații între rulări | Linux/macOS cu un PTY nativ; capturarea proceselor |
| Executabile PyInstaller | Membri CArchive, versiunea Python, scripturi de intrare și bytecode extras | Fără cerințe suplimentare (doar analiză statică); aplicații Python împachetate |
Inspectarea statică JavaScript și .NET citește fișierele furnizate fără a rula aplicația. Capturarea în timpul execuției rulează ținta selectată sau interacționează cu aceasta folosind permisiunile contului tău; fiecare ghid de capturare descrie efectele acestor operații.
Pentru inspectarea offline a binarelor native, REA acceptă și GNU objdump și Rizin, furnizate de utilizator. Consultă ghidul uneltelor de inginerie inversă pentru configurare, comenzi CLI și limitările obiectelor Evidence. REA nu instalează și nu actualizează niciunul dintre aceste două instrumente.
Formatele native și platformele acceptate diferă în funcție de motorul de analiză.
Consultă configurarea Hopper și Ghidra,
ghidul IDA (inclusiv o componentă opțională de legătură MCP nativă),
ghidul decompilatorului Kuna și
suportul experimental Ghidra pe Windows.
Ghidra acceptă și analiza DOS pe 16 biți.
Pentru binare mari, mărește timpul maxim de pornire al motorului cu
REA_GHIDRA_STARTUP_TIMEOUT_MS sau REA_HOPPER_STARTUP_TIMEOUT_MS.
Pentru selectarea motorului, consultă ghidul CLI.
Verifică disponibilitatea în versiunile publicate
pentru funcționalitățile adăugate după cea mai recentă versiune npm.
Studii de caz
DX-Ball: reconstruiește calculul panoramării sunetului
Urmărește un apel audio până la funcția auxiliară care transformă poziția în panoramare stereo, inspectează instrucțiunile și transformă pseudocodul incomplet în C. Reconstrucția trece 3.205 cazuri de test comparate cu originalul x86 și reproduce toți cei 63 de octeți ai funcției compilate.
Citește studiul de caz · Repository-ul reconstrucției
Notion: urmărește legătura Electron cu clipboardul
Găsește API-ul pentru clipboard din procesul de randare, urmărește-l prin preload și IPC până în procesul principal și inspectează formatul datelor cu formatare din clipboard.
TH04: recuperează calculul unui inel de proiectile DOS
Inspectează instrucțiunile pe 16 biți ale jocului original pentru PC-98, recuperează calculele unghiurilor fixe și ale celor orientate spre țintă și compară codul C++ reconstruit cu rezultatul compilatorului folosit la acea vreme.
Citește studiul de caz · Repository-ul reconstrucției
Construiește medii RL cu REA
Înregistrează o sesiune de aplicație web, transformă API-ul în instrumente și exportă un mediu pe care un agent AI îl poate folosi. Rulează cu AgentEnv, apoi adaugă sarcini și verificări de recompensă pentru antrenare RL sau evaluare.
Ghid pentru construirea unui mediu · Vezi demonstrația pe X
Dacă ai folosit REA pentru ceva interesant, ne-ar plăcea să vedem rezultatul. Prezintă cazul într-un issue sau într-un pull request, menționând ținta analizată, întrebarea ta, cum te-a ajutat REA și ce ai descoperit.
Construiește medii RL
Creează un mediu local în care un agent AI să exerseze sarcini precum găsirea unui issue sau crearea unui dosar, fără a rula aplicația originală. Folosește-l pentru învățare prin recompensă (RL) sau pentru a testa cât de bine îndeplinește agentul sarcinile.
REA transformă cererile și răspunsurile API înregistrate în instrumente pe care agentul le poate apela. Mediul folosește datele înregistrate și permite modificări doar când înregistrarea le confirmă efectele.
După ce configurezi REA în agent, înlocuiește URL-ul și sarcinile pentru dosare din exemplu cu ale tale:
Folosește REA pentru a crea un mediu RL din aplicația mea web de test de la
http://127.0.0.1:3000.
Include listarea, crearea, redenumirea și ștergerea dosarelor. Poți crea și elimina
dosare de test, dar nu modifica datele existente.
Salvează într-un dosar numit my-env, verifică operațiile disponibile și spune-mi cum îl rulez.
Folosește linia de comandă
Folosește aceste comenzi dacă ai deja un fișier cu cererile și răspunsurile aplicației înregistrate în browser. Pentru a rula rezultatul ai nevoie și de AgentEnv și Docker.
rea environment-build ./session.har ./my-env --name my-env --json
agent-env run ./my-env
REA exportă un mediu executabil cu un test de bază care verifică pornirea și răspunsurile. Conectează-l la frameworkul RL pentru a defini obiectivele, a adăuga verificări de recompensă și a rula antrenarea.
Ghid pentru construirea unui mediu · Referință pentru medii · Vezi demonstrația pe X
Întrebări frecvente
Ce agenți pot folosi REA?
Orice agent care acceptă servere MCP locale. Programul de configurare pregătește agenții acceptați; pentru ceilalți clienți poți folosi înregistrarea manuală MCP.
Am nevoie de Hopper, Ghidra, IDA sau Kuna?
Analiza nativă aprofundată folosește unul dintre aceste instrumente. Inspectarea statică JavaScript și .NET funcționează fără un motor de analiză nativă. Programul de configurare poate instala Hopper după aprobare; pentru Ghidra, IDA și Kuna folosește instalările existente. Consultă configurarea motoarelor de analiză.
Trebuie să pornesc mai întâi Hopper?
REA pornește Hopper când o operație are nevoie de el. Pe macOS, un dialog afișat la prima pornire îți poate cere să alegi modul demonstrativ sau să activezi licența. Finalizează acel pas în aceeași sesiune de utilizator înainte de prima operație CLI/MCP sau de prima sarcină nesupravegheată. Deschide Hopper manual dacă este nevoie. Consultă pornirea Hopper și depanarea.
Ce face instalarea skill-ului de pe skills.sh?
Skill-ul oferă agentului instrucțiuni de investigare. Folosește npx rea-agents setup
pentru a înregistra serverul MCP REA și a instala instrucțiunile corespunzătoare,
apoi repornește agentul. Consultă instalarea doar a skill-ului.
Ce cod returnează REA?
Analiza nativă returnează pseudocod și cod de asamblare. Analiza JavaScript/Electron recuperează modulele și relațiile dintre ele. Agentul tău folosește aceste constatări pentru a scrie și testa o implementare; studiile de caz oferă exemple detaliate.
REA îmi încarcă aplicația pe un server?
REA analizează țintele local. Agentul tău primește rezultatele uneltelor, iar furnizorul modelului său are propria politică privind datele.
Ce fac dacă întâlnesc o eroare?
Actualizează mai întâi; o versiune recentă ar putea să o fi remediat deja.
Pentru o interfață CLI instalată cu npm install --global sau bun add --global:
rea update
Pentru configurarea agentului prin npx:
npx rea-agents@latest setup
Dacă folosești un agent, finalizează actualizarea configurării și repornește-l. Reîncearcă aceeași sarcină. Dacă problema persistă, deschide un issue și include versiunea REA, tipul țintei analizate, pașii de reproducere și mesajele de eroare.
Documentație
Începe cu ghidurile practice de pe site. Pentru opțiunile exacte, cerințele preliminare și contractele rezultatelor:
- Instalare și configurare: înregistrarea agenților, configurarea motoarelor de analiză, actualizări și dezinstalare.
- Verificarea pregătirii și depanare: diagnosticarea unui agent sau motor de analiză.
- CLI și Evidence: comenzi, selectarea motorului, instantanee, import/export și coduri de ieșire.
- Contracte MCP și prompturi pentru agenți: rezultatele uneltelor, sesiuni și investigații ghidate.
- Catalogul uneltelor: inventarul generat al uneltelor, motoarelor de analiză și comenzilor CLI.
- Plan de dezvoltare: lucrări planificate și urmărirea progresului funcționalităților.
Raportează vulnerabilitățile conform SECURITY.md.
Istoricul stelelor
🎉 400.000 de stele pe GitHub — vă mulțumim!
Mulțumim tuturor celor care folosesc REA, raportează erori, propun funcționalități, testează versiuni și contribuie cu remedieri.
Precizări privind utilizarea
Consultă DISCLAIMER.md pentru îndrumări privind utilizarea responsabilă.
Poziția proiectului față de utilizarea ilegală sau neautorizată se aplică tuturor versiunilor REA, canalelor de distribuție și platformelor; fiecare copie își păstrează licențele aplicabile.
REA este destinat cercetării legale, educației, interoperabilității, conservării software-ului și analizei programelor pe care le deții sau pe care ai autorizarea să le examinezi.
Contribuții
Ne-ar bucura să contribui la REA! Deschide un issue pentru a raporta o eroare sau a propune o funcționalitate ori trimite un pull request pentru a îmbunătăți codul sau documentația.
Consultă CONTRIBUTING.md pentru pregătirea mediului de dezvoltare și verificări, ghidul de testare pentru categoriile de verificări și diagrama arhitecturii pentru anumite straturi și relații de dependență.
Licență
Codul scris în cadrul REA este licențiat sub MIT. Materialele terților își păstrează propriile licențe și mențiuni privind drepturile de autor; consultă mențiunile privind terții pentru inventarul dependențelor, textele licențelor păstrate și condițiile aplicabile uneltelor externe.
Trebuie să obții legal uneltele comerciale și să ai dreptul să le folosești, inclusiv decompilatoarele IDA Pro / Hex-Rays, Hopper și JEB, în condițiile licențelor aplicabile. REA nu îți acordă nicio licență, cheie sau drept de activare pentru aceste unelte. Versiunile de evaluare și demonstrative rămân supuse condițiilor furnizorilor, inclusiv restricțiilor privind utilizatorii, funcționalitățile, automatizarea și partajarea rezultatelor. Nu sunt autorizate copiile piratate, cheile furate, partajarea neautorizată a cheilor sau ocolirea restricțiilor de licențiere. Aceste îndrumări nu modifică licența MIT sau licențele terților.