Quay ngược lại tất cả các phần mềm: REA đi lên GitHub 58.000 Star, angent biến ngược lại thành một câu hỏi.

GitHub gần đây đã đốt cháy một dự án khác: Người sử dụng nói rằng nó là "cho 42.000 sao", nhưng như ngày nay (10 tháng 10 năm 2026) con số đã tăng lên. 58.000 sao, 11 ngàn Fork- Nhiều hơn họ nói. Và những gì nó làm là bạn có thể nói điều tương tự: bạn sử dụng nó để đảo ngược bất kỳ phần mềm nào, đào nó từ ứng dụng sang hệ nhị phân gốc.

Chính xác thì vấn đề là gì?

Ngược lại, theo truyền thống, “người đàn ông ngồi trong máy biên dịch đối chiếu trong vài ngày để đọc bài soạn. Ý tưởng của REA là đặt angent trên một máy tính chống bán nguyệt ( Mã gốc với Hopper, Ghidra hay IDA) và sau đó kết nối với một bộ phân tích tĩnh cho JavaScript và. NAT. Angent chịu trách nhiệm thẩm vấn công cụ, thu thập kết luận và đưa ra bằng chứng.

Sách readethME exemplifier là toàn bộ điểm bán: "Biết làm thế nào tìm kiếm trong ứng dụng Ghi chú, cho tôi thấy bằng chứng, và làm một tính năng tương tự cho dự án của tôi." Những gì anh có là một lời giải thích, một địa điểm mật mã, và một danh sách những gì anh không biết.

Điểm then chốt là phân tích tất cả các hoạt động địa phương, và kết luận sẽ kèm theo bằng chứng và giới hạn - không cho phép mô hình này giải thích cho bạn.

Tôi. Mà mục tiêu để ăn

REA có một cơ sở hỗ trợ rộng rãi, mà về cơ bản bao gồm các đối tượng đảo ngược phổ biến:

• Bộ phân cấp bản địa: pseudo codes, compilations, string, biểu tượng, cuộc gọi và tham khảo (Hopper/Ghidra/IDA yêu cầu)
• Bố trí ngoại tuyến ELF: đoạn, phần, biểu tượng/ địa điểm gốc, ứng cử viên giảm âm tĩnh
• JavaScript/ Điện tử: module, nhập khẩu, bản đồ nguồn, tuyến đường, quan hệ IPC với bổ sung chính (không có động cơ chính)
• Nơi MạngCấu trúc trang, văn lệnh, quan sát web và ảnh chụp màn hình
• Bộ sưu tập chương trình . NAT: siêu dữ liệu, câu lệnh CNL, khai báo phụ thuộc gốc so với cấu hình (inure)
• amid APKLiệt kê tuyên bố, hạng, phương pháp dịch ngược và tham chiếu (cần thiết đầu JADX + hoàn tất JDK)
• Rắn chắc: Các phân vùng, các trích xuất giao nhau với phân tích gốc (cần thiết cho Binwalk / unbball)
• NameKhoan.

Các yêu cầu về môi trường: Node.js 22.x ( vội 22.19), 24.x (GP24.11) hay 26+, cộng npm. Các tác nhân được hỗ trợ bao gồm Claude Code, Codex, con trỏ, Song Tử CLI, Grok Xây dựng, v.v... - bất kỳ tác nhân nào hỗ trợ máy chủ MCP ở địa phương đều hoạt động. Cài đặt một lệnh:npx rea-agents setupNó sẽ đăng ký máy phục vụ MCP và viết mô tả dòng làm việc theo đây, rồi khởi động lại kiến.

Ba vụ án công cộng: nó có thể chứng minh điều gì?

Số sao biểu thị nhiệt và kết quả trường hợp. Viên chức cấp cao đã bỏ ba thùng ra khỏi “những gì có thể làm được và“ những gì không thể.

Phân biệt hoa/ thường:

Câu hỏi: DX-Ball vào những năm 1990 đã dịch vị trí nằm ngang của gạch thành một trường âm thanh trái/phải như thế nào? Name 0x406400 Chỉ có một đầu vào không quan trọng được nhìn thấy __ftol() Gọi; còn thiếu tham chiếu trong lệnh [EBP+8]Tôi không biết. Theo người gọi 0x411f40 Tìm thấy công thức tọa độ 20 + 30 × tile_xvà đọc ba hằng số từ bộ nhớ 1.5625, 500.0 và lần đầu tăng cường âm thanh 1.0.

Quy tắc cuối cùng được phục hồi là: tọa độ đôi, nhân với 1.5625, trừ 500.0, nhân với lĩnh vực âm thanh được lưu trữ và rồi cắt. Phóng to 1 với cạnh trái -500, trung tâm 0, cạnh phải 500. Những gì thực sự xây dựng tự tin là phương tiện xác thực: tác giả chạy 3205 ví dụ đồng thời thông qua các chức năng gốc x86 và phiên bản C mới (đã bao gồm 0-640 vị trí đầy đủ, phóng to 0/05/201), và dưới chuỗi VC 4. 0 cố định chuỗi công cụ byte được khớp với gốc 63 byte. Toàn bộ báo cáo dự án duy trì 55 chức năng C, 45380 so sánh.

Nó không chứng minh được.Việc di chuyển để kết nối trường âm thanh đến kết thúc trò chơi vẫn còn phải được hoàn thành, và sản phẩm vui vẻ là không đầy đủ; công việc này được liên kết với một Huấn luyện viên cố định tại DX-Ball 1.07; sự phối hợp của “được sắp xếp và kiểm tra hằng số dựa trên việc xem xét hướng dẫn ôn tập cho tập tin không hoàn toàn tự động.

Chữ hoa/ thường

Nhảy từ nhị phân thập niên 90 sang ứng dụng điện tử hiện đại. Câu hỏi: notion Desktop 7.6.1 Làm thế nào để viết văn bản và HTML vào bảng nháp hệ thống? Đường dẫn trong bốn đoạn: văn lệnh nạp trước tiếp cận trang clipboard.write; a wrapper call on some kênh ipcRenderer.invoke; tiến trình ẩn ipcMain.handle Nhận; điện tử bởi bộ gửi clipboard.write Crash. Cùng một tên kênh ở cả hai bên. notion:clipboard:writeTôi không biết.

Hai khám phá đáng nhớ: người quản lý quá trình chính sẽ xác nhận trang nào đã yêu cầu, và chỉ có Notion mới có trang web của riêng nó để đến với bảng nháp để viết -- Đây là vị trí chính xác mà điện tử nên áp dụng; thứ hai là có một phần dữ liệu ẩn trong bản sao, với một chú thích trong HTML chỉ tới Noion để tùy chỉnh mimes text/_notion-blocks-v3-production Dữ liệu khối cục bộ lưu lại. Hoàn nguyên mục nhập khi dán bằng ID, và trả lại đoạn gốc + HTML khi mục nhập hết hạn.

Nó không chứng minh được.: REA 4.1.0 chỉ phân tích trước khi nạp nhãn, tìm thấy đã phơi bày API và invoke Call, wrapper nhận ra rằng tác giả đọc và kết nối Channel với người nhận; kết luận của bảng nháp là từ tài nguyên web và bảo vệ bộ nhớ tạm ngày 13 tháng 7 năm 2026, không phải từ các phiên chạy màn hình trực tiếp.

Trường hợp 3: phát trên màn hình trò chơi máy tính-98

Trở lại với 16 bit mã DOS. Chương trình GERA hỗ trợ 16 bit phân tích DOS. Tác giả khôi phục những góc cố định và nhắm vào góc phía sau một vòng màn chắn bom, tái tạo chúng với C++ và so sánh chúng với kết xuất của trình biên dịch lịch sử. Hình dạng giống như DX-Ball: phục hồi một phần nhỏ của tính toán, xây dựng lại nó và sau đó xác thực nó với sản phẩm gốc, thay vì tin vào lời giải thích đó.

Bốn. Kết hợp 3 vụ lại.

• Nó rất hẹp.: một công thức âm thanh, một đường dẫn của bảng nháp, một cái nhẫn cảnh đạn, và không có trường hợp nào cho biết “làm cho toàn bộ ứng dụng được.
• Bằng chứng có liên quan.Địa chỉ, hằng số, 3205 thử nghiệm, tên kênh, máy dò lưu trữ, so sánh biên dịch.
• Tất cả đều thừa nhận bước bằng tay.Kiểm tra lại định vị bằng tay, đọc giấy gói, biên dịch.
• Mục tiêu có phiên bản cố định.DX-Ball 1.07 với Hase, Noion 7.6.1, hệ nhị phân PC-98 gốc.

Đây là biên giới trung thực của ngày hôm nay:Đặc vụ là một trợ lý nhanh chóng, không mệt mỏi để theo dõi hành vi cá nhân, và chứng tỏ là một bài kiểm tra từ đó bạn có thể chạy lại.

V. Nó có nghĩa gì đối với các nhà phát triển

Nếu bạn đang thực hiện các ứng dụng gen, RRA đại diện cho một mô hình mới: thay vì để cho mô hình "Cười" trực tiếp về cách một chương trình hoạt động, bạn đặt mô hình trên một công cụ đảo ngược chuyên nghiệp để làm cho nó nói trên bằng chứng. Giá trị của nó không phải là "một chìa khóa đảo ngược toàn bộ phần mềm", nhưng nó sẽ di chuyển các ngưỡng đảo ngược từ "đọc hợp" đến "Câu hỏi + hiệu lực."

Nhưng tỉnh táo hai điểm. Thứ nhất, phân tích địa phương không giống với lưu lượng dữ liệu -- gen của bạn sẽ xuất khẩu các công cụ cho các nhà cung cấp mô hình, và chính sách dữ liệu vẫn được áp dụng. Thứ hai, chất lượng bằng chứng tùy thuộc vào chuỗi chứng thực, và sự đáng tin cậy trong trường hợp này bắt nguồn từ sự so sánh 3205 và phù hợp với sự giải thích bằng miệng.

Làm thế nào?

• Môi trường: Node.js 22.x ( vội.22.19)/ 24.x (G24.11)/ 26+, cộng npm
• Cài đặt phím đầu tiên:npx rea-agents setup, chọn aent, duyệt và chấp nhận các thay đổi, và khởi chạy lại một sức mạnh
• Cài đặt toàn cục:npm install --global rea-agentssau có thể rea --help
• Phân tích tĩnh JS/Electron:npx -y rea-agents@latest analyze-javascript-application /abs/path --json
• Phân tích chính: tiền cấu hình nhà cung cấp (Hopper/Ghidra/IDA)
• Cập nhật:rea updateHoặc chạy tiếp. npx rea-agents@latest setup

Các đảo ngược đang di chuyển từ "đã đọc thống kê" đến "Câu hỏi + hợp lệ hóa" công cụ đã hạ ngưỡng, nhưng các bằng chứng vẫn phải được kiểm tra.