Cara kerja

Satu fitur. Satu mesin. Tempat untuk yang terlihat.

Rekayasa balik dilakukan satu fitur setiap kali. REA adalah CLI lokal dan server MCP. Agen pemrograman mengajukan pertanyaan. REA membaca program dan mengembalikan butir yang bisa diperiksa agen. Dugaan tetap ditandai sebagai dugaan.

satu lintasanbukti
  1. TanyaSebut satu fitur, satu kanal, atau satu tangkapan tersimpan. Menulis ulang seluruh produk adalah pekerjaan kemudian.
  2. PeriksaREA mengembalikan berkas dan baris, alamat, rentang bita, atau bidang. Setiap butir menyebut asal-usulnya.
  3. JelaskanYang terlihat dan yang belum terlihat tetap di kalimat berbeda. Catatan yang hilang tidak membuktikan perilaku itu tidak ada.

Satu mesin

Kerja native memakai Ghidra, Hopper, atau IDA. Mesin itu Anda bawa. Jika tidak ada, REA tidak beralih ke mesin kedua.

Klaim yang bertempat

Bukti adalah tempat di artefak: jalur dan baris, alamat disassembly, atau bidang tangkapan. Persen Kalkulator Windows adalah satu contoh yang sudah diperiksa.

Yang meninggalkan mesin

Alat berjalan secara lokal. Teks yang Anda serahkan ke agen pemrograman tetap masuk ke penyedia modelnya.

Berikutnya: Mulai dan baca doctor, atau Contoh untuk contoh bertanggal. Sumber ReaReverse.