從可執行檔案
重建 DX-Ball。

55

個可維護的 C 函式

45,380

與原始程式碼的比較

33

個編譯後位元組匹配的函式

專案進度截至 2026 年 10 月 7 日。進度記錄 · 測試覆蓋情況

當前進度

目前已還原關卡與資源處理、磚塊碰撞、動畫、粒子和獎勵生成。當前構建提供檢查工具與分析庫。可玩的遊戲版本還在開發，後續工作包括球和擋板的物理邏輯、道具處理及 Windows 整合。

找出聲音的左右位置如何計算

磚塊被擊中時，它的橫座標會傳給聲音處理程式碼。這次調查要找出：螢幕座標如何轉換為聲音的左右聲像值？

把本地可執行檔案交給程式設計助手，再使用這個示例 prompt。下面展示助手為回答問題發起的 REA 查詢，以及得到的證據。

助手用 REA 檢查函式、追蹤呼叫它的磚塊碰撞函式，再從可執行檔案中讀取常量。這些結果確定了輸入和計算步驟，才有了下面的 C 函式。

REA 最初返回的 0x406400 虛擬碼宣告瞭 FUN_00406400(void)，並呼叫 __ftol()。但指令中還有來自棧的輸入和浮點運算。這個差異提示助手：還需要繼續查。

longlong FUN_00406400(void)
{
  longlong lVar1;

  lVar1 = __ftol();
  return lVar1;
}

用 REA 回答三個問題

1. 找回缺失的輸入

   程式設計助手→ REA · analyze_function

   {"procedure": "0x406400"}

   REA →程式設計助手·指令摘錄

   0x406409: MOV EAX, dword ptr [EBP + 0x8]
   0x40640c: MOV dword ptr [EBP + -0xc], EAX
   0x40640f: FILD dword ptr [EBP + -0xc]

   函式結果同時提供虛擬碼、指令和呼叫方。這裡的 [EBP+8] 顯示了反編譯結果中缺失的整數輸入。

2. 追蹤呼叫方，理解輸入含義

   程式設計助手→ REA · analyze_function

   {"procedure": "0x411f40"}

   REA →程式設計助手·呼叫方摘錄

   0x411f5b: ADD EAX, 0x14
   0x411f5e: PUSH EAX
   0x411f5f: CALL 0x00406400

   REA 在第一次結果中就給出了這個呼叫方。呼叫前的指令將 tile_x 乘以 30，再加上 20，得到磚塊的螢幕座標 20 + 30 × tile_x。

3. 讀取記憶體地址後面的值

   助手 → REA · 兩次 read_bytes 請求

   {"address": "0x420068", "length": 16}
   {"address": "0x4210a0", "length": 8}

   REA 位元組結果 · 雙精度浮點數解碼

   000000000000f93f → 1.5625
   0000000000407f40 → 500.0
   000000000000f03f → 1.0

   返回的位元組確定了兩個運算常量，以及聲像縮放係數的初始值。助手由此得到編寫 C 表示式所需的數值。

從 REA 分析結果到 C 程式碼

下面分五步展示計算。點選每一步，原始指令和對應的 C 程式碼行會同時高亮。

0x406409: MOV EAX, dword ptr [EBP + 0x8]
0x40640c: MOV dword ptr [EBP + -0xc], EAX
0x40640f: FILD dword ptr [EBP + -0xc]
0x406415: FMUL double ptr [0x00420068]
0x40641e: FSUB double ptr [0x00420070]
0x406427: FMUL double ptr [0x004210a0]
0x406430: CALL 0x0041678c
0x40643e: RET

DxBallInt dxball_screen_pan(DxBallInt x)
{
    double pan;
    pan = (double)x;
    pan = pan * 1.5625;
    pan = pan - 500.0;
    pan = pan * dxball_pan_scale;
    return (DxBallInt)pan;
}

這段彙編節選包含輸入、運算和返回指令。下面的完整列表還保留了中間的儲存操作，以及函式開頭和結尾的處理。

0x406400: PUSH EBP
0x406401: MOV EBP, ESP
0x406403: SUB ESP, 0xc
0x406406: PUSH EBX
0x406407: PUSH ESI
0x406408: PUSH EDI
0x406409: MOV EAX, dword ptr [EBP + 0x8]
0x40640c: MOV dword ptr [EBP + -0xc], EAX
0x40640f: FILD dword ptr [EBP + -0xc]
0x406412: FST double ptr [EBP + -0x8]
0x406415: FMUL double ptr [0x00420068]
0x40641b: FST double ptr [EBP + -0x8]
0x40641e: FSUB double ptr [0x00420070]
0x406424: FST double ptr [EBP + -0x8]
0x406427: FMUL double ptr [0x004210a0]
0x40642d: FST double ptr [EBP + -0x8]
0x406430: CALL 0x0041678c
0x406435: JMP 0x0040643a
0x40643a: POP EDI
0x40643b: POP ESI
0x40643c: POP EBX
0x40643d: LEAVE
0x40643e: RET

0x411f50: MOV EAX, dword ptr [EBP + 0x8]
0x411f53: ADD EAX, EAX
0x411f55: LEA EAX, [EAX + EAX*0x2]
0x411f58: LEA EAX, [EAX + EAX*0x4]
0x411f5b: ADD EAX, 0x14
0x411f5e: PUSH EAX
0x411f5f: CALL 0x00406400
0x411f64: ADD ESP, 0x4

重建原始碼 · 調查筆記與證據引用

驗證還原的函式

還原的函式透過了兩項檢查：返回值與原版一致，編譯後的位元組與原始可執行檔案一致。

縮放係數為 1 時，計算在螢幕左邊緣返回 −500，中心返回 0，右邊緣返回 500。接下來要將這個值接入遊戲的聲音後端。

閱讀編譯器重播詳細資訊

繼續調查

粒子更新、爆炸佇列和獎勵生成也使用同樣的方法：檢查相關函式，還原狀態與依賴，再把實現和原版比較。

如果你也想分析這個聲像函式，先按 DX-Ball 專案的說明配置環境，並準備匹配的原始檔案。然後執行：

scripts/rea function original/DXBALL.EXE 0x00406400 \
  --snapshot .analysis/rea/dxball.snapshot.json --json

• DX-Ball 儲存庫當前原始碼、進度和本地配置。
• REA 分析流程追蹤這段計算，再用同樣方法分析自己的二進位制檔案。
• 粒子與獎勵生成進一步分析狀態、佇列和畫素寫入。