Songsangkan semua perangkat lunak: REA naik GitHub 58.000 Star, angent berubah terbalik menjadi pertanyaan.
Baru-baru ini GitHub telah membakar proyek lain, REA. Kata penggunanya itu "ke Bintang 42.000," tetapi seperti hari ini (10 Oktober 2026) jumlahnya telah meningkat. 21.000 Fork- Lebih dari yang mereka katakan. Anda dapat mengatakan hal yang sama: Anda menggunakannya untuk membalikkan perangkat lunak apapun, menggalinya dari aplikasi ke biner asli.
Apa sebenarnya masalahnya?
Secara tradisional, verse adalah “Manusia duduk di sebuah pengkompilator selama beberapa hari untuk membaca kompilasi”. Idenya adalah menempatkan angent pada sebuah anti-sirkulator (kode asli dengan Hopper, Ghidra atau IDA) dan kemudian terhubung ke penganalisa statik untuk JavaScript dan. NET. Angent bertanggung jawab untuk mempertanyakan alat, mengumpulkan kesimpulan dan menyerahkan kembali bukti.
Eksemplifier README adalah inti dari penjualan: "Know bagaimana pencarian dalam aplikasi Notes bekerja, menunjukkan bukti, dan melakukan fitur serupa untuk proyek saya." Apa yang Anda punya adalah penjelasan, kode lokasi, dan daftar apa yang Anda tidak tahu.
Intinya adalah untuk menganalisis semua operasi lokal, dan kesimpulan akan disertai dengan bukti dan keterbatasan - tidak memungkinkan model untuk membuat penjelasan untuk Anda.
Aku. Yang mana sasaran untuk dimakan
BAHASA REA memiliki basis dukungan yang agak luas, yang intinya meliputi objek terbalik umum:
- Binar Asli: pseudocode, kompilasi, string, simbol, panggilan dan referensi (Hopper/Ghidra/IDA diperlukan)
- Layout ELF Offline: paragraf, bagian, simbol/reposisi asli, kandidat mitigasi statik
- JavaScript / Elektronmodule, impor, sumber Peta, rute, IPC berhubungan dengan plugin primer (analisis statis tanpa mesin primer)
- WebsiteStruktur halaman, skrip, observasi web dan cuplikan layar
- Koleksi Program .NET: metadata, perintah CIL, deklarasi ketergantungan asli versus konstruksi (statik murni)
- Android APK Androidpernyataan Daftar pernyataan, kelas, metode dan referensi terjemahan terbalik (perlu JADX tanpa kepala + lengkap JDK)
- TegarBAHASA : partisi, ekstraksi bersilang dengan analisis asli (perlu Binwalk / Unblob)
- EVM bytes, login Linux crash, tangkapan HAR, perilaku prosesTunggu.
Persyaratan Lingkungan: Node.js 22.x (~22.19), 24.x (≥24.11) atau 26+, ditambah npm. Agen-agen tersokong yang didukung oleh para agen-agen yang didukung oleh para agen-agen di antaranya Claude Code, Codex, Cursor, Gemini CLI, Grok Build, dll. - agen apapun yang mendukung Server MCP lokal pada dasarnya berfungsi. Pasang pesanan:npx rea-agents setup, ia akan mendaftar server MCP dan menulis deskripsi alur kerja terlampir, dan kemudian memulai ulang semut.
Tiga kasus publik: apa yang bisa dibuktikan?
Angka bintang bintang 2/3 mewakili hasil panas dan kasus. Pejabat REA menempatkan tiga kasus dari \"apa yang bisa\" dan \"apa yang tidak bisa\".
Kasus Besar 1: Formula lapangan suara untuk DX-Ball
Bagaimana DX-Ball pada tahun 1990-an menerjemahkan posisi horizontal batu bata ke dalam bidang suara kiri/kanan? Pengkompilator di dalam 0x406400 Hanya satu masukan yang tidak diperhatikan terlihat __ftol() Panggilan faks; referensi hilang dalam perintah [EBP+8]Aku tidak tahu. Ikuti penelepon 0x411f40 Rumus kordinat ditemukan 20 + 30 × tile_x, dan membaca tiga konstanta dari memori 1,5625, 500.0 dan skala akustik awal 1.0.
Aturan yang akhirnya dipulihkan adalah: koordinat ganda, dikalikan dengan 1,5625, minus 500.0, dikalikan dengan bidang akustik tersimpan dan kemudian dipotong. Zoom ke 1 dengan tepi kiri -500, tengah 0, tepi kanan 500. Apa yang benar-benar membangun keyakinan adalah sarana autentikasi: penulis menjalankan 3205 contoh secara bersamaan melalui fungsi x86 asli dan versi C baru (memulih posisi penuh 0-640, penskalaan 0/05/1/20-1), dan di bawah rantai alat VC 4.0 tetap bait dipadankan dengan 63 byte asli. Seluruh laporan proyek mempertahankan 55 fungsi C, 45380 perbandingan.
Itu tidak membuktikannya.Kepindahan untuk menghubungkan lapangan suara ke ujung belakang permainan masih harus diselesaikan, dan produk yang dapat dimainkan tidak lengkap; karya terikat pada Hash tetap di DX-Ball 1.07; kompilasi \"reposisi dan pemeriksaan konstanta mengandalkan tinjauan manual\" tidak sepenuhnya otomatis.
Kasus Besar 2: Catatan Cara Mengatasi Papan Klip
Lompat dari tahun 90-an ke aplikasi Elektron modern. Notion Desktop 7.6.1 Bagaimana menulis teks dan HTML ke papan klip sistem? Path dalam empat segmen: Preload script terekspos ke halaman clipboard.write;a pembungkus memanggil pada beberapa saluran ipcRenderer.invokeproses utama ipcMain.handle Receive; elektron oleh pengirim clipboard.write Crash. Nama Channel yang sama di kedua sisi. notion:clipboard:writeAku tidak tahu.
Dua penemuan yang layak diingat: penanganan proses utama akan memverifikasi halaman mana yang mengirimkan permintaan, dan hanya Notion yang memiliki web set sendiri untuk mencapai clipboard untuk menulis -- Ini adalah posisi yang tepat untuk mana Elektron harus diterapkan; yang kedua adalah bahwa ada sepotong data tersembunyi dalam salinan, dengan komentar dalam HTML menunjuk Notion untuk menyesuaikan mimetype text/_notion-blocks-v3-production Data blok yang disimpan secara lokal.\") revert entri ketika penempelan oleh ID, dan mengembalikan teks asli +HTML ketika entri berakhir.
Itu tidak membuktikannya.REA 4.1.0 hanya menganalisa pra-muat label, cari API terekspos dan invoke ¡Call, wrapper menyadari bahwa penulis secara manual membaca dan menghubungkan Channel dengan penerima; kesimpulan clipboard berasal dari sumber web dan saver cache 13 Juli 2026, bukan dari sesi desktop langsung.
Kasus ke- 3: Playscreen untuk PC-98 game Ring
Kembali ke kode DOS 16 bit. Program DERA mendukung analisis DOS 16 bit. Penulis itu mengembalikan sudut-sudut yang tetap dan sudut bidik di balik sebuah cincin tirai bom, merekonstruksinya dengan C++ dan membandingkannya dengan output dari kompiler historis. Bentuk-bentuk sama dengan DX-Ball: mengembalikan sebagian kecil dari perhitungan, membangunnya kembali dan kemudian mengotentikasinya dengan produk asli, daripada mempercayai penjelasan tersebut.
- Empat. Kami akan mengumpulkan tiga kasus.
- Ini sangat sempit.Sebuah formula akustik, jalur papan klip, cincin tirai peluru, dan tidak ada kasus yang mengatakan \"bangun kembali seluruh aplikasi\".
- Bukti-bukti yang melekat.Alamat, konstanta, 3205 tes, nama saluran, probe tersimpan, perbandingan kompiler.
- Semua mengakui langkah manual.Secara manual ditinjau kembali, baca secara manual pembungkus, pencocokan kompiler.
- Target memiliki versi tetap.X-Ball 1.07 dengan Hash, Notion 7.6.1, asli PC-98 biner.
Ini adalah perbatasan yang jujur hari ini:Agen adalah asisten cepat dan tak kenal lelah untuk melacak perilaku individu, dan terbukti sebagai tes dari mana Anda dapat menjalankan lagi.
V. Apa artinya bagi pengembang
Jika Anda melakukan aplikasi angent, REA mewakili pola baru: daripada membiarkan model "menduga"secara langsung tentang bagaimana program berjalan, Anda menempatkan model pada alat terbalik profesional untuk membuatnya berbicara pada bukti. Nilainya bukan "satu kunci membalikkan seluruh perangkat lunak", tetapi akan memindahkan ambang balik dari "baca kompilasi" ke "question + validates."
Tapi menjadi sadar dua poin. Pertama, analisis lokal tidak sama dengan aliran data -- angent Anda akan mengekspor alat ke pemasok model, dan kebijakan data masih berlaku. Kedua, kualitas bukti bergantung pada rantai sertifikasi, dan kredibilitas dalam kasus tersebut berasal dari perbandingan 3205 dan pencocokan byte daripada interpretasi oral dari model tersebut.
Bagaimana melakukannya?
- Lingkungan Hidup: Node.js 22.x (bantuan·22.19/ 24.x (24.11/ 26+, plus npm
- Instalasi kunci pertama:
npx rea-agents setup, pilih anent, tinjau dan menyetujui perubahan, dan hidupkan kembali anent - Instalasi global:
npm install --global rea-agents, kemudian tersediarea --help - Analisis Statik JS/Elektron:
npx -y rea-agents@latest analyze-javascript-application /abs/path --json - Analisis farisio: pre-konfigurasi penyedia (Hopper/Ghidra/IDA)
- Update:
rea updateAtau lari lagi.npx rea-agents@latest setup
" The The The The The The " " " " " " - - the the the the the tool tool tool tool the the the the the the the the the the the the the the the the the the the the tool tool tool tool tool tool tool tool tool tool tool tool tool tool tool tool tool tool tool the tool the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the the,,, the the the the,,