日本語

← 一覧に戻る

すべてのソフトウェアをリバース:REAはGitHub 58,000スター、エージェントのリバースが問題に変わります。

itadol5j

GitHub は最近別のプロジェクトに火をつけました。 ユーザは「42,000星へ」と言いましたが、今日(10 October 2026)の時点で、数字が上昇しました。 58,000 星、11,000 フォーク- 彼らは言うよりも。 そして、それは同じことを言うことができるということです:あなたは、任意のソフトウェアをリバースするためにそれを使用し、アプリケーションから元のバイナリにそれを掘り下げます。

リバースエンジニアリングとインテリジェントなコラボレーションコンセプト図

I.REA:問題は正確に何であるか。

伝統的なリバースは「コンピュレーションを読むために数日間、カウンターコンパイラに座っている人」です。 REAの考え方は、アンチサーキュレータ(ホッパ、Ghidra、IDA のオリジナルコード)に、JavaScript 用の静的アナライザに接続します。 ネット エージェントは、ツールを質問し、結論を収集し、証拠を取り戻す責任を負います。

その README の執行者は、販売の全体ポイントです。: 「ノートアプリケーションでの検索がどのように機能するかを知る、証拠を提示し、私のプロジェクトに同様の機能を実行します。」 説明、コードの場所、わからないことの一覧です。

重要なポイントは、すべてのローカル操作を分析することであり、結論は証拠と制限を伴います。モデルがあなたに説明を上げることを可能にするわけではありません。

2。 食べるべきターゲット

REAは、一般的なリバースオブジェクトを基本的にカバーする、かなり広いサポートベースを持っています。

  • ネイティブバイナリ: 擬似コード、コンパイル、文字列、記号、呼び出し、参照(Hopper/Ghidra/IDA必須)
  • オフライン ELF レイアウト: 段落, セクション, 元のシンボル/配置, 静的緩和候補
  • JavaScript/エレクトロン: モジュール, インポート, ソースマップ, ルート, プライマリプラグインに関連するIPC (第一次エンジンのない静的解析)
  • サイトマップページの構成、スクリプト、Webの観察とスクリーンショット
  • .NETプログラムコレクション: メタデータ、CIL コマンド、元の依存の宣言(pure static)
  • アンドロイドAPKリストステートメント、クラス、リバース翻訳メソッド、リファレンス(ヘッドレスJADX + JDK を完了)
  • ソリッド: 分割, 抽出は、元の解析と交差します (ニードスビンウォーク/アンブロブ)
  • EVM バイト、Linux のクラッシュのログイン、Har のつかみ、プロセス動作待ちます。

環境要件:Node.js 22.x(≥22.19)、24.x(≥24.11)または26+、npm。 サポートされているエージェントには、Claudeコード、Codex、Cursor、Gemini CLI、Grok buildなどが含まれます。 - ローカルMCP Serverをサポートするエージェントは基本的に機能します。 注文をインストールする:npx rea-agents setupMCP サーバーを登録し、同行ワークフローの説明を書いて、ant を再起動します。

MCPでツールチェーンを逆転させるためのエージェント

3つのパブリックケース:それが証明できるもの?

星番号は熱と症例の結果を表します。 REA公式は「何ができるのか」と「何ができないか」の3つのショーケースを置きます。

ケース1:DXボール用のサウンドフィールド式

質問:1990年代のDXボールは、レンガの水平位置を左右のサウンドフィールドに変換したのはどのようにしたのでしょうか? カウンターコンパイラは 0x406400 不審な入力が1つだけ見られた __ftol() 呼び出し; コマンドで参照を欠落させる [EBP+8]お問い合わせ 呼び出し主に従う 0x411f40 座標式が見つかった 20 + 30 × tile_xメモリ1.5625、500.0、初期アコースティックスケーリング1.0の3つの定数を読みます。

最終的に復元されるルールは、1.5625、マイナス500.0、保存されたアコースティックフィールドで多岐に渡り、切り離します。 左端500、中央0、右端500で1にズーム。 本当に自信を築くことは、認証手段です: 作者は、元のx86関数と新しいCバージョン(0-640フルポジション、スケーリング0/05/1/20-1)を同時に3205例を実行し、固定VC 4.0ツールチェーンの下には、元の63バイトと一致しています。 プロジェクト全体のレポートは、55 C の機能、45380 の比較を維持しました。

証明しませんでした。サウンドフィールドをゲームの後ろ端に接続するための移動はまだ完了し、再生可能な製品が不完全です。 作業は、DX-Ball 1.07で固定ハッシュに結び付けられます。 「手動レビューに依存し、チェックされた定数」のコンパイルは完全に自動化されていません。

ケース 2: ノクション クリップボードにコピーする方法

'90s バイナリからモダンな電子アプリケーションにジャンプします。 質問: Notion デスクトップ 7.6.1 テキストとHTMLをシステムクリップボードに書き込む方法は? 4つのセグメントのパス:ページに公開されるプリロードスクリプト clipboard.write;ラッパーは、いくつかのチャネルで呼び出します ipcRenderer.invoke;主要なプロセス ipcMain.handle 受信;送信者による電子 clipboard.write クラッシュ。 両側の同じチャンネル名。 notion:clipboard:writeお問い合わせ

2つの発見は記憶に値する価値があります。主なプロセスハンドラは、どのページが要求を送信したかを検証し、Notionだけがクリップボードに書き込むために独自のWebセットを持っています。 これは、エレクトロンが適用すべき正しい位置です。 2つ目は、コピーに隠されているデータの一部があることです。 text/_notion-blocks-v3-production ローカルに保存されたブロックデータ。 エントリを ID で貼り付けるときに変換し、エントリが期限切れしたときに元のテキスト +HTML を返します。

証明しませんでした。: ラベルのプレロードを分析するだけREA 4.1.0は露出したAPIを見つけ、 invoke コール、ラッパーは、著者が手動でチャンネルを読み取り、受信者に接続していることを認識しています。クリップボードの結論は、ライブデスクトップセッションではなく、7月13日のWebリソースとセーバーキャッシュからです。

ケース3:PC-98ゲームリング用プレイスクリーン

16ビットDOSコードに戻る GERAプログラムでは、16ビットのDOS解析に対応しています。 著者は、固定角度を復元し、爆弾のカーテンリングの背後にある角度を目指し、それらをC++で再構築し、歴史的なコンパイラの出力と比較します。 形状はDX-Ballと同じです:計算の小さな分数を復元し、それを再構築し、その説明を信じる代わりに、元の製品でそれを認証します。

4。 3つのケースを一緒に入れます。

  • とても狭いです。: アコースティック式、クリップボードパス、弾丸カーテンリング、ノーケースは「アプリケーション全体を再構築」と言っています。
  • 証拠は添付されています。アドレス、定数、3205テスト、チャンネル名、保存されたプローブ、コンパイラ比較。
  • マニュアルのステップに割り当てられたすべて。手動で見直し、手動でラッパー、コンパイラマッチングを読みます。
  • ターゲットは固定版を持っています。Hash、Notion 7.6.1、元のPC-98のバイナリとDX-Ball 1.07。

これは今日の正直なフロンティアです:エージェントは、個々の行動を追跡し、再び実行できるテストであることを証明する、迅速で疲れたアシスタントです。

証拠のケース検証とチェーン

V。 開発者にとっての意味

エージェントのアプリケーションをやっている場合、REA は新しいパターンを表します。プログラムの実行方法に直接モデルを「ゲスト」にさせる代わりに、モデルをプロリバースツールに置き、証拠について話します。 その値は「1つのキーがソフトウェア全体を逆転させる」ではなく、逆のしきい値を「read compiles」から「question + validates」に移動します。

しかし、2つのポイントを強める。 まず、ローカル分析はデータフローと同じではありません - あなたのエージェントは、サプライヤーをモデル化するためのツールをエクスポートし、データポリシーはまだ適用されます。 第二に、証拠の品質は、認証のチェーンに依存し、ケースの信頼性は、モデルの経口解釈ではなく、3205比較とバイトマッチングから派生しました。

ローカル分析、証拠および認証ループ

どうすればよいですか?

  • 環境:Node.js 22.x (≥22.19)/24.x (≥24.11) 26+、npm
  • 最初の主要な取付け:npx rea-agents setup, 選択します。 , 変更を承認する, と anent を再起動します。
  • グローバルインストール:npm install --global rea-agents、後で利用できる rea --help
  • 静的JS/電子解析:npx -y rea-agents@latest analyze-javascript-application /abs/path --json
  • プライマリ分析:プロバイダー(Hopper/Ghidra/IDA)の事前構成
  • 更新:rea updateまたは再び実行します。 npx rea-agents@latest setup

逆は "read compile" から "question + バリデーション" に移動します - ツールはしきい値を下げていますが、証拠はまだテストする必要があります。