한국어

← 목록으로

모든 소프트웨어를 반전: REA는 GitHub 58,000 스타, angent는 질문에 반대합니다.

itadol5j

GitHub는 최근 다른 프로젝트에 불을 설정했습니다. REA. 사용자는 "42,000 스타"였지만 오늘 (10 10 월 2026)의 숫자가 상승했습니다. 58,000 스타, 11,000 포크- 그들이 말하는 것보다 더. 그리고 당신이 같은 것을 말할 수 있다는 것은 무엇입니까: 당신은 어떤 소프트웨어를 반전하는 데 사용, 응용 프로그램에서 원래 바이너리로 디그.

역 공학 및 angent 공동 개념 그림

나는. REA : 정확히 문제가 무엇입니까?

전통적인 역은 "사람은 컴파일을 읽을 수있는 몇 일 동안 카운터 컴파일러에 앉아있다". REA의 아이디어는 항-circulator (호퍼, Ghidra 또는 IDA를 가진 본래 부호)에 angent를 두고 그 후에 JavaScript를 위한 정체되는 해석기에 연결하고. 사이트맵 Angent는 도구에 대한 질문에 대한 책임이며 결론을 수집하고 증거를 다시 채웁니다.

그것의 README exemplifier는 판매의 전체적인 점입니다: "주요 신청에 있는 검색이, 나 증거를 보여주고, 나의 프로젝트를 위한 유사한 특징을 합니다." 당신이 가지고있는 것은 설명, 코드 위치, 그리고 당신이 모르는 무엇 목록입니다.

키 포인트는 모든 로컬 운영을 분석하고 결론은 증거와 제한으로 동반됩니다. 모델이 당신을 위해 설명 할 수 있도록 허용하지 않습니다.

₢ 킹 먹는 것

REA는 일반적으로 일반적인 역 객체를 다룹니다.

  • 이름 *: 의사소통, 컴파일, 문자열, 기호, 통화 및 참조 (Hopper/Ghidra/IDA 필요)
  • 오프라인 ELF 레이아웃: 단락, 섹션, 원래 기호 / 위치, 정적 완화 후보
  • JavaScript / 전자: 모듈, 수입, 소스 맵, 경로, IPC 관계 기본 플러그인 (차 엔진없이 정적 분석)
  • 웹 사이트페이지 구조, 스크립트, 웹 관측 및 스크린 샷
  • .NET 프로그램 컬렉션: 메타데이터, CIL 명령, 원래의 종속 versus 구축 선언 (pure static)
  • 안드로이드 APK목록 문, 클래스, 역 번역 방법 및 참조 (needs headless JADX + 완전한 JDK)
  • 사이트맵: 파티션, 추출은 원래 분석과 intersect (needs Binwalk / Unblob)
  • EVM 바이트, 로그인 리눅스 충돌, HAR grabs, 프로세스 행동자세히보기

환경 요구 사항 : Node.js 22.x (≥22.19), 24.x (≥24.11) 또는 26 +, npm 플러스. 지원된 대리인은 Claude 부호, Codex, Cursor, Gemini CLI, Grok 구조, 등을 포함합니다 - 국부적으로 MCP 서버를 지원하는 어떤 대리인은 기본적으로 기능적입니다. 주문 설치:npx rea-agents setup, 그것은 MCP 서버를 등록 하 고 함께 작업 흐름 설명을 작성 하 고 다음 시작 ant.

MCP에 의해 반전 공구 사슬에 angent

세 가지 공공 사례 : 그것은 무엇을 증명할 수 있습니까?

별 번호는 열과 케이스 결과를 나타냅니다. REA 공식은 "what can"및 "what can not"의 세 가지 쇼케이스를 넣어.

케이스 1: DX-Ball를 위한 건강한 분야 공식

질문 : 1990 년 DX-Ball은 왼쪽 / 오른쪽 사운드 필드로 벽돌의 수평 위치를 번역 했습니까? 카운터 컴파일러는 0x406400 한 번의 비공개 입력이 본 __ftol() 통화; 명령의 누락 된 참조 [EBP+8]나는 모른다. 콜러를 따르십시오 0x411f40 관련 기사 20 + 30 × tile_x, 그리고 기억 1.5625, 500.0 및 처음 청각적인 스케일링 1.0에서 3개의 일정을 읽으십시오.

결국 복원 된 규칙은 다음과 같습니다. 1.5625, minus 500.0, 저장된 음향 필드에 의해 곱한 두 배를 조정하고 다음 차단합니다. 왼쪽 가장자리 -500, 중심 0, 오른쪽 가장자리 500와 함께 줌. 실제로 자신감을 구축하는 것은 인증의 의미입니다 : 저자는 원래 X86 기능과 새로운 C 버전을 통해 동시에 3205 예를 실행 (0-640 전체 위치, 스케일링 0/05/1/20-1), 고정 VC 4.0 도구 체인 아래의 바이트는 원래 63 바이트와 일치합니다. 전체 프로젝트 보고서 유지 55 C 기능, 45380 비교.

그것을 증명하지 않았습니다.사운드 필드를 게임의 뒤쪽 끝에 연결하는 이동은 여전히 완료되고, 재생 가능한 제품은 불완전합니다; 작업은 DX-Ball 1.07에서 고정 해시에 묶습니다; 수동 검토에 재조정되고 검사된 일정한의 편집은 완전히 자동하지 않습니다.

케이스 2: Notion 클립 보드에 복사하는 방법

'90s 바이너리에서 현대 전자 응용 프로그램에 점프. 문제: Notion 데스크탑 7.6.1 텍스트와 HTML을 시스템 클립보드에 쓰는 방법? 4개의 세그먼트의 경로: 페이지에 노출된 preload 스크립트 clipboard.write; 몇몇 수로에 호출하는 래퍼 ipcRenderer.invoke; 주요 과정 ipcMain.handle 수신; sender에 의해 전자 clipboard.write 크래쉬. 양측에 동일한 채널 이름. notion:clipboard:write나는 모른다.

두 가지 발견은 기억 가치가 있습니다. 주요 프로세스 핸들러는 요청을 전송 한 페이지를 확인하고 Notion은 클립 보드에 도달하기 위해 자신의 웹 세트를 가지고 -- 이것은 Electron이 적용해야하는 올바른 위치입니다. 두 번째는 사본에 숨겨있는 데이터의 조각이 있으며, Mimetypes를 사용자 정의하기 위해 Notion에 HTML pointing의 주석이 있습니다. text/_notion-blocks-v3-production 로컬 저장 블록 데이터. ID로 붙여넣을 때 입력을 재생하고, 입력이 만료되면 원본 텍스트 +HTML을 반환합니다.

그것을 증명하지 않았습니다.: REA 4.1.0 만 분석 라벨 사전로드, 노출 된 API 및 찾기 invoke 통화, 래퍼는 저자가 수동으로 읽고 수신자에게 채널을 연결한다는 것을 깨닫습니다. 클립 보드의 결론은 7 월 13, 2026의 웹 리소스 및 보호기 캐시에서 라이브 데스크탑 세션에서 아닙니다.

케이스 3: PC-98 게임 반지를 위한 Playscreen

다시 16 비트 DOS 코드. GERA 프로그램은 DOS 분석의 16비트를 지원합니다. 저자는 고정 각도를 복원하고 폭탄 커튼 링 뒤에 각도를 목표로, C++로 재구성하고 역사적인 컴파일러의 출력과 비교. 모양은 DX-Ball와 동일합니다: 계산의 작은 분수를 회복하고, 그것을 재건하고 그 설명에서 구호하는 대신 본래 제품으로 그것을 정정합니다.

4입니다. 3개의 케이스를 함께 넣으십시오.

  • 그것은 매우 좁습니다.: 음향식, 클립보드 경로, 탄알 커튼 링, 케이스는 "전체 응용"라고 말합니다.
  • 증거는 붙어 있습니다.주소, 일정한, 3205의 시험, 채널 이름, 저장된 조사, 컴파일러 비교.
  • 모든 매뉴얼 단계에 인정.수동으로 검토 된 repositioned, 수동으로 읽기 래퍼, 컴파일러 일치.
  • 대상은 고정 버전이 있습니다.DX-Ball 1.07 Hash, Notion 7.6.1, 원래 PC-98 바이너리.

이것은 오늘 정직한 국경입니다:에이전트는 빠른, 타이어가없는 조수는 개별 행동을 추적하고, 당신이 다시 실행 할 수있는 테스트가 될 증명.

사례 검증 및 증거 사슬

₢ 킹 개발자를 위한 것

angent 응용 프로그램을 수행 하는 경우, REA는 새로운 패턴을 나타냅니다: 대신에 모델 "guess" 직접 프로그램 실행 하는 방법에 대 한, 당신은 전문가 역 도구에 모델을 넣어 증거에 대화. 그 값은 "하나의 키가 전체 소프트웨어를 반전하지만, "읽는 컴파일"에서 "question + validates"로 역 임계값을 이동합니다.

그러나 sober 두 점이 있습니다. 첫째, 로컬 분석은 데이터 흐름과 동일하지 않습니다 -- 당신의 angent는 모델 공급 업체에 도구를 수출하고, 데이터 정책은 여전히 적용됩니다. 두 번째, 증거의 품질은 인증의 체인에 따라, 케이스의 신뢰성은 모델의 구두 해석보다 3205 비교 및 바이트 일치에서 파생되었다.

로컬 분석, 증거 및 인증 루프

어떻게해야합니까?

  • 환경: Node.js 22.x (≥22.19)/ 24.x (≥24.11)/ 26+, npm 플러스
  • 첫번째 중요한 임명:npx rea-agents setup, 당신의 anent, 검토 및 승인 변경을 선택하고, anent를 다시 시작
  • 공급 능력:npm install --global rea-agents, 나중에 사용 가능 rea --help
  • 정체되는 JS/Electron 분석:npx -y rea-agents@latest analyze-javascript-application /abs/path --json
  • 1차 분석 : 공급자 사전 구성 (Hopper/Ghidra/IDA)
  • 업데이트:rea update또는 다시 실행. npx rea-agents@latest setup

반전은 "읽는 컴파일"에서 "question + validation"로 이동 - 도구는 임계값을 낮춘, 그러나 증거는 여전히 시험되어야한다.