Revolusi industri dalam rekayasa terbalik.

Apa yang berubah pada Agustus 2026

Sebelum pekerjaan ini, saya telah melakukan banyak rekayasa balik manual. Saya akan memeriksa suatu fungsi sampai saya memiliki penjelasan, lalu menguji penjelasan itu terhadap program. Melangkah lebih jauh berarti menghabiskan lebih banyak waktu saya sendiri untuk acara berikutnya. Itu juga berarti menyimpan gambaran yang semakin besar di kepala saya.

Sebagian besar pekerjaan saya adalah pada permainan. Saya merekonstruksinya sehingga perilakunya dapat dipahami dan akhirnya dibawa ke port perangkat lunak atau mod. Itulah pengalaman di balik artikel ini. Metode ini dapat berguna di tempat lain, tetapi setiap bidang perlu menetapkan apa yang dapat diperiksa terhadap referensi yang andal.

Pada Agustus 2026, saya mulai serius mengeksplorasi RE yang digerakkan oleh agen. Saya ingin melihat seberapa jauh seorang agen dapat memperoleh akses ke program dan alat pengembangan biasa. Rekonstruksi Touhou memberi saya sebuah proyek besar untuk mencari tahu.

Kemajuan awal sangat mengejutkan. Penyelidikan bisa terus berjalan tanpa saya memilih setiap langkah individu. Perbandingan yang gagal mungkin mengirim agen ke penelepon lain. Itu bisa menulis diagnostik kecil dan menggunakan hasilnya untuk memutuskan apa yang harus dicoba selanjutnya. Memberikan kebebasan itu membuat perbedaan: Saya dapat memberikan lebih banyak perhatian pada arah proyek dan apakah pemeriksaannya dapat dipercaya.

Langkahnya menarik perhatian saya terlebih dahulu. Kemudian saya mulai bertanya-tanya apa yang akan bertahan di luar proyek saat ini. Akankah pertandingan berikutnya mendapat manfaat dari semua yang baru saja kita pelajari?

TH08: membangun pekerjaan manusia

TH08 , Malam yang Tidak Dapat Binasa, dimulai sebagai kelanjutan dari Rekonstruksi GensokyoClub. Sumber publik mereka memberi saya landasan yang kuat. Itu datang dengan pengetahuan tentang bangunan dan sejarah kontribusi yang saya simpan dalam kelanjutannya.

Riwayat yang diimpor berakhir di pos pemeriksaan publik 10 Agustus. Kelanjutan independen saya dimulai pada 13 Agustus. Pada 19 Agustus, buku besar mencatat sumber untuk semua 1.107 fungsi permainan yang teridentifikasi.

Port rekonstruksi Linux yang dapat dimainkan dilakukan pada 24 Agustus, kira-kira sebelas hari setelah kelanjutan dimulai. Edisi Web menyusul. Rilis asli Linux 64-bit tiba pada 30 Agustus.

Yang mengejutkan saya adalah bahwa pekerjaan itu telah mencapai program yang dapat dijalankan oleh orang-orang. Untuk sampai ke sana diperlukan masalah-masalah berikut di luar fungsi individu. Bahkan ketika dua fungsi terlihat benar secara terpisah, mereka dapat secara tidak sengaja menggunakan salinan status terpisah yang seharusnya dibagikan.

Ini membuat pemeriksaan referensi menjadi pusat pekerjaan. Saya menyebutnya mereka referensi verifikasi (orakel). Perbandingan kode dapat memberi tahu kita apakah fungsi yang direkonstruksi mereproduksi instruksi asli. Pemeriksaan runtime dapat memberi tahu kami apakah rute yang dijalankan mencapai status yang diharapkan. Agen mengusulkan penjelasan dan mengujinya; ketidakcocokan memberinya sesuatu yang spesifik untuk diselidiki.

Pencocokan tepat dengan konstanta yang salah

Referensi verifikasi (oracle) adalah perangkat lunak yang ditulis seseorang. TH08 memberi saya pengingat yang jelas tentang seberapa banyak yang dapat bergantung pada perangkat lunak itu.

Pada bulan September, bug yang dilaporkan oleh port Sakelar hilir menyebabkan kembali ke pengumpulan otomatis item. Sumber yang direkonstruksi memeriksa kekuatan pemain terhadap 0.0. Yang asli digunakan 128.0, ambang batas daya maksimum.

Daya normal adalah non-negatif, sehingga pemeriksaan daya yang direkonstruksi secara efektif selalu terpenuhi. Di atas garis koleksi, game dapat menarik item tanpa membutuhkan daya maksimum. Pengecualian lain dalam kondisi itu benar. Konstanta yang satu ini mengubah perilakunya.

Namun fungsi tersebut telah melewati perbandingan yang tepat.

Pembangunan kembali dapat menempatkan konstanta di alamat yang berbeda. Alat perbandingan memperhitungkannya dengan menyesuaikan alamat dalam instruksi yang dikompilasi sebelum membandingkannya dengan aslinya. Tapi itu tidak pernah memeriksa nilai floating-point yang disimpan di alamat yang direferensikan.

Itu meninggalkan lubang di cek. Itu bisa mengarahkan instruksi yang direkonstruksi ke instruksi aslinya 128.0 sementara sumbernya masih mengatakan 0.0. Byte instruksi cocok. Sumbernya berarti sesuatu yang berbeda.

The Perbaikan 2 September mengoreksi sumber dan membuat perbandingan memeriksa byte aktual konstanta yang direferensikan. A audit yang lebih luas kemudian diperiksa 1.548 referensi konstanta floating-point. Itu menemukan dua belas referensi yang salah di lima fungsi yang diterima.

Perbandingan sekarang memeriksa setiap konstanta floating-point tersebut. Pengujiannya mencakup nilai yang sengaja salah untuk memastikannya ditolak. Kami juga harus meninjau kembali hasil yang telah lolos dari pemeriksaan yang lebih lemah.

Referensi verifikasi (oracle) juga perlu direkonstruksi. Memperbaikinya adalah bagian dari memperbaiki permainan.

Itu penting ketika tim sebagian besar terdiri dari satu orang yang bekerja dengan agen. Saya tidak dapat secara pribadi memeriksa setiap lini yang mereka hasilkan, begitu banyak kepercayaan diri saya terletak pada pemeriksaan mereka. Titik buta referensi verifikasi bersama (oracle) dapat memengaruhi banyak penyelidikan sebelum saya menyadarinya. Saya harus memahami apa yang sebenarnya diverifikasi oleh pemeriksa dan mengujinya terhadap kasus-kasus yang seharusnya gagal.

Saat pekerjaan berlanjut, pemeriksaan tersebut menjadi bagian dari repositori. Begitu pula alasan perubahan sumber dan catatan yang memungkinkan sesi selanjutnya dilanjutkan di tempat sesi sebelumnya dihentikan. Repositori kode sumber menjadi memori kerja proyek.

Batch yang berhasil memberi kami kode yang dipulihkan dan lingkungan yang lebih baik untuk batch berikutnya.

Dua gagasan rekonstruksi yang berbeda

GensokyoClub README publik membuat ketidaksetujuannya dengan jenis pekerjaan ini menjadi eksplisit. Pemberitahuan tersebut mengumumkan bahwa pengembangan lebih lanjut akan dilakukan secara pribadi hingga selesai. Satu bagian berbunyi:

Munculnya grifters (AI decompilations and ports) di ruang ini yang diambil dari pekerjaan kami memberikan gambaran yang buruk untuk upaya dekompilasi di masa mendatang…

Pemberitahuan tersebut juga menjelaskan dampak psikologis pada pengelola. Kebijakan kontribusi mereka mengecualikan permintaan tarik yang dihasilkan terutama dengan AI. Mereka telah mencurahkan waktu luang mereka untuk pekerjaan yang sulit, dan pekerjaan itu membantu memungkinkan kelanjutan saya. Saya menghargai upaya di baliknya. Ketidaksepakatan yang ingin saya diskusikan adalah tentang bagaimana rekonstruksi harus dilanjutkan dan bagaimana kontribusi harus dinilai.

Dalam alur kerja manual yang saya ketahui, mengembangkan pemahaman tentang suatu fungsi dan merekonstruksinya biasanya jatuh ke tangan orang yang sama. Sebuah proyek sangat bergantung pada keahlian orang tersebut. Kepercayaan pada kontributor menjadi penting karena begitu banyak alasan yang terjadi saat mereka bekerja.

Proyek yang ada sudah menyimpan pengetahuan dalam sumber dan alat pembuatannya. Apa yang berubah bagi saya adalah bahwa seorang agen dapat menggunakan pengetahuan itu untuk melanjutkan penyelidikan berikutnya dengan sendirinya.

Dalam kelanjutan saya, saya memutuskan tujuan dan standar untuk menerima suatu hasil. Agen memiliki kebebasan luas untuk menyelidiki. Rekonstruksi yang diusulkan kemudian harus bertahan dari pemeriksaan yang relevan. Saya ingin orang lain dapat memeriksa mengapa kami memilih implementasi, bahkan jika agen melakukan sebagian besar pekerjaan.

Ini bisa menjadi transisi yang sulit. Kerja keras selama bertahun-tahun dapat menjadi dasar bagi kelanjutan yang bergerak jauh lebih cepat. Itu menimbulkan pertanyaan nyata tentang kredit. Ini juga mengubah apa yang perlu diketahui pengelola sebelum menerima kontribusi.

Analogi industri membantu saya memikirkan hal ini. Dalam sebuah kerajinan, sebagian besar prosesnya bergantung pada keterampilan orang yang melakukannya. Mesin berubah di mana keterampilan itu dibutuhkan. Seseorang masih harus merancang prosesnya dan mengenali kapan hasilnya salah. Komunitas yang berbeda dapat memilih seberapa banyak perubahan yang ingin mereka lakukan.

Pilihan saya adalah melanjutkan secara terbuka, dengan karya warisan dikreditkan dan sejarahnya dilestarikan. Saya ingin karya baru ini dapat ditinjau kembali. Itu memberi kita cara untuk bertanya seberapa jauh pendekatan ini bisa berjalan dan belajar dari apa yang salah di sepanjang jalan.

Sumber: GensokyoClub Pemberitahuan README, diperiksa pada 10 Oktober 2026, dan kebijakan kontribusi. Kutipannya adalah kutipan singkat. TH08 kredit dan asalnya catat batas kelanjutannya.

TH095: pengalaman mulai bertambah

TH095 , Tembak Pelurunya, membuat nilai dari pengalaman itu lebih mudah dilihat. Repositorinya dimulai pada 29 Agustus dengan nol fungsi game yang dikonfirmasi di buku besar. Kami masih harus mempelajari permainannya. Tapi kami sudah tahu lebih banyak tentang bagaimana memulai rekonstruksi dan bagaimana membuatnya tetap bergerak.

Pada 7 September, semua 697 fungsi permainan yang teridentifikasi memiliki sumber. Pada 8 September, 696 telah diterima sebagai perbandingan yang tepat. Seluruh program terhubung pada 9 September. Rekonstruksi Windows i386 ditandai dapat dimainkan pada 10 September, sekitar dua belas hari setelah inisialisasi.

Saya menemukan ini lebih menarik daripada kecepatan proyek pertama. Target baru bisa mendapat manfaat dari pekerjaan yang dilakukan di game lain. Pengalaman sudah ada dalam alat dan cara proyek diatur.

Misalnya, TH08 telah mengajari kami untuk memperhatikan program yang dirakit lebih awal. Jika beberapa fungsi yang dipulihkan bergantung pada status yang sama, perbandingannya yang terisolasi akan membuka pertanyaan penting. Kita perlu melihat mereka bekerja sama. Pelajaran itu membantu membentuk cara kami mendekati pembuatan seluruh program TH095.

Pelajaran yang tetap ada di kepala saya berguna saat saya di sana. Setelah menjadi pemeriksaan bahwa sesi lain dapat berjalan, itu dapat terus membantu setelah saya melanjutkan. Agen berikutnya dapat menggunakan hasilnya tanpa mengulangi penyelidikan yang mengarah ke sana.

Bug konstanta floating-point juga termasuk dalam memori itu. Ini menjelaskan mengapa memeriksa referensi juga memerlukan pemeriksaan data di baliknya. Menjaga koreksi itu dengan kode membantu proyek selanjutnya menghindari mewarisi titik buta cek lama.

Metode tersebut menjadi bagian dari materi awal untuk game selanjutnya. Kita dapat menghabiskan lebih banyak upaya proyek berikutnya untuk apa yang sebenarnya baru tentang targetnya.

Manfaat yang sama tersedia untuk orang-orang yang bergabung nanti. Mereka dapat memeriksa keputusan dan menjalankan kembali pemeriksaannya sebelum melanjutkan pekerjaan. Mereka tidak perlu merekonstruksi seluruh sejarah proyek untuk mengetahui mengapa sumbernya terlihat seperti itu.

TH04: alur kerja bertahan dari arsitektur yang berbeda

TH04 , Lotus Land Story, membawa karya ini ke era DOS PC-98. Targetnya sekarang adalah lingkungan 16-bit dengan empat program yang bekerja sama. Memahami perilaku perangkat kerasnya membutuhkan bukti berbeda dari game Windows. Sudah ada ReC98 bekerja memberi kami pengetahuan dan sumber materi yang berharga di sini juga.

Rekonstruksi DOS sekarang berfungsi. Dalam pengujian manual saya, saya memainkan rute Normal lengkap melalui ujungnya dan memeriksa penyimpanan. Pekerjaan saat ini adalah port 64-bit asli. Membuat versi DOS yang berfungsi terlebih dahulu memberikan referensi pada port tersebut.

Arsitekturnya mengubah apa yang perlu kami selidiki. Itu juga mengubah kompiler dan runtime tempat kami memeriksa pekerjaan kami. Tetapi agen masih bisa mengikuti pertanyaan sampai ke hasil dan membiarkan hasil itu memandu percobaan berikutnya.

Pertimbangkan transisi dari gameplay ke akhir. Kita perlu mengetahui status apa yang melintasi batas itu dan program mana yang bertanggung jawab untuk itu. Itu adalah sesuatu yang dapat kami selidiki terhadap produk DOS. Setelah bukti dan pemeriksaan tersedia, agen dapat mengerjakan pertanyaan tersebut seperti yang dilakukan pada judul Windows.

Inilah sebabnya mengapa TH04 penting untuk argumen tersebut. Perubahan platform yang substansial tidak memaksa kami untuk memulai kembali dengan cara kerja yang baru. Arsitektur mendefinisikan masalahnya; alur kerja masih memberi kami cara untuk menyelesaikannya.

Untuk port 64-bit, sekarang kita dapat memeriksa implementasi baru terhadap perilaku yang sudah dipulihkan di DOS. Pengetahuan dari rekonstruksi memberi pelabuhan sesuatu untuk dibangun.

Status proyek per 10 Oktober 2026: Rekonstruksi DOS dan pengujian manual · port 64-bit. Pelabuhan masih dalam pengembangan.

Dari kode yang tepat hingga kode yang dapat dibaca

Setelah rekonstruksi berhasil, saya ingin orang lain dapat memahaminya.

Bagi saya, perakitan dan offset mentah bisa terasa seperti teman lama. Saya menyadari ini adalah definisi yang sedikit tidak biasa dari " dapat dibaca."Kebanyakan orang lebih suka mengikuti logika permainan tanpa menyimpan tata letak memori yang dapat dieksekusi di kepala mereka.

Di situlah tempatnya rekonstruksi semantik masuk. Bidang yang dipulihkan mungkin masih diketahui terutama dari offset-nya. Kami mengikuti bagaimana permainan menggunakannya sampai kami dapat menjelaskan perannya. Kemudian kita bisa memberinya nama yang bermakna dan tipe yang sesuai dengan buktinya. Kami menyimpan alasannya dengan sumbernya sehingga orang berikutnya dapat melihat dari mana interpretasi itu berasal.

Ini menjadi sangat penting untuk port perangkat lunak. Alamat absolut memberi tahu saya di mana sesuatu tinggal di executable lama. Ini memberikan sedikit bantuan implementasi 64-bit dalam memutuskan objek mana yang harus memiliki status tersebut. Untuk memindahkan perilaku dengan aman, kita perlu memulihkan hubungan di balik akses memori lama.

Urutan yang sekarang saya gunakan adalah:

1. Pulihkan garis dasar yang tepat. Kompilasi potongan-potongan yang direkonstruksi dengan kompiler sejarah. Bandingkan kode dan data yang relevan dengan executable asli. Catat perbedaan yang belum terselesaikan sehingga fase berikutnya memiliki titik awal yang jelas.
2. Bangun dan mainkan di platform aslinya. Tautkan potongan-potongan itu ke dalam program nyata menggunakan arsitektur dan kompiler asli. Latih jalur gameplay yang penting. Di sinilah kita dapat menemukan masalah dengan status bersama atau inisialisasi yang terlewatkan oleh perbandingan fungsi terisolasi.
3. Rekonstruksi semantik terhadap kedua referensi tersebut. Ambil satu bagian yang koheren dari permainan pada satu waktu dan tentukan apa arti sumber yang dipulihkan. Tingkatkan representasinya sambil mempertahankan perbandingan yang tepat dan bangunan historis yang dapat dimainkan.
4. Membuat pelabuhan modern. Pindahkan perilaku yang sudah ada ke lingkungan baru, seperti build 64-bit asli. Game platform asli yang direkonstruksi tetap menjadi referensi untuk membandingkan bagaimana port berperilaku.

Build yang dapat dimainkan dari tahap kedua menjadi a referensi verifikasi kedua (oracle) selama yang ketiga. Referensi verifikasi pertama (oracle) memeriksa apakah sumber kami yang diubah masih mereproduksi kode dan data asli yang relevan. Pemeriksaan kedua bahwa program yang direkonstruksi masih dibangun dan berperilaku dengan benar di sepanjang jalur yang kita gunakan.

Mereka menangkap kesalahan yang berbeda. Perubahan tipe dapat mengubah instruksi yang dihasilkan. Perubahan kepemilikan dapat membuat dua bagian permainan menggunakan salinan status yang berbeda. Menjaga kedua pemeriksaan tetap tersedia memberi agen kegagalan nyata untuk menyelidiki sebelum melakukan refactor lebih lanjut.

Sebuah nama membutuhkan buktinya sendiri. Perbandingan yang tepat tidak dapat memberi tahu kita apakah suatu bidang benar-benar berarti "waktu kekebalan."Kita harus menetapkan itu dari cara permainan menulis dan menggunakannya. Jika artinya tetap tidak pasti, nama yang netral lebih bermanfaat bagi pembaca berikutnya daripada tebakan yang percaya diri.

Kami mempelajari pesanan ini melalui proyek. TH08 sudah memiliki port yang dapat dimainkan sebelum beberapa audit platform historisnya di kemudian hari. Itu membuat cacat tertentu lebih sulit dilihat. The Alur kerja pabrik saat ini menempatkan pembuatan platform asli terlebih dahulu, sehingga pekerjaan semantik dapat menggunakannya sebagai referensi sebelum porting dimulai.

Rekonstruksi yang tepat memberi kita referensi. Rekonstruksi semantik membuat pengetahuan yang dipulihkan dapat digunakan. Sebuah port kemudian dapat dibangun di atas keduanya.

Apa yang membuat ini menjadi pergeseran industri

Proyek-proyek ini berubah di mana saya menghabiskan perhatian saya. Begitu agen dapat meneruskan banyak penyelidikan, meningkatkan lingkungan kerja mereka menjadi salah satu hal paling berguna yang dapat saya lakukan. Alat yang lebih baik dapat membantu setiap fungsi selanjutnya yang membutuhkannya.

Otonomi penting di sini. Langkah selanjutnya yang berguna seringkali menjadi jelas hanya setelah percobaan yang gagal. Seorang agen membutuhkan kebebasan yang cukup untuk mengikuti hasil itu di tempat yang tidak terduga. Jika harus menunggu saya untuk menentukan setiap langkah, sebagian besar pekerjaan tetap terkait dengan perhatian saya.

Saya berharap agen membuat hipotesis yang salah. Yang penting adalah apakah kita bisa mengujinya dan belajar dari hasilnya. Pemeriksaan yang gagal akan membantunya memahami kesalahan dengan cukup baik untuk mencoba lagi. Saya masih harus memutuskan apakah bukti yang terkumpul mendukung pencapaian proyek.

REA memberi agen akses ke alat analisis. Pertanyaan tentang pemanggil fungsi dapat langsung mengarah ke pemeriksaan pemanggil tersebut. Proyek rekonstruksi memasok kompiler dan pemeriksaan referensinya sendiri. Agen dapat menggunakannya untuk menguji sumber yang diusulkannya dan melihat di mana penjelasannya bertahan.

Bug TH08 menunjukkan mengapa pemeriksaan tersebut layak mendapat perhatian teknik mereka sendiri. Ketika perbandingan yang sama digunakan di ratusan fungsi, kesenjangan di dalamnya dapat menyebar lebih jauh daripada kesalahan dalam satu implementasi. Menguji pemeriksa meningkatkan umpan balik yang tersedia untuk semua pekerjaan selanjutnya.

Analogi industri memiliki contoh sejarah yang berguna di sini. Boulton dan Watt memperkenalkan indikator mesin uap pada tahun 1796 untuk membantu mengatur katup mesin. Versi rekaman melacak tekanan melalui langkah piston. Itu membuat perilaku internal mesin tersedia untuk diperiksa. Alat pembanding kami memiliki tujuan yang sama: alat tersebut memungkinkan kami memeriksa apa yang dilakukan mesin saat kami memperbaikinya.

Kita berada pada tahap awal pergeseran industri ini. Sebagian besar infrastruktur masih belum matang. Agen dapat bergerak lebih cepat daripada yang dirancang untuk didukung oleh pemeriksaan kami, jadi prosesnya harus berkembang bersama mereka. Saat kami menemukan kerusakan pada alat bersama, kami harus memperbaikinya dan meninjau kembali hasil yang terpengaruh. Proyek berikutnya kemudian dapat mewarisi alat yang lebih kuat.

Ada juga batasan praktis untuk satu percakapan. Ini akan berakhir sebelum rekonstruksi besar selesai. Repositori kode sumber harus memungkinkan sesi lain untuk dilanjutkan tanpa kehilangan alasan keputusan terakhir.

The Pabrik Rekonstruksi Touhou tumbuh dari kebutuhan itu. Ini memberi proyek cara bersama untuk meneruskan pemeriksaan dan pelajaran mereka. Bekerja pada satu permainan dapat meningkatkan kondisi awal untuk permainan lainnya.

Itulah yang membuat analogi industri bermakna bagi saya. Pengalaman mulai menjadi bagian dari alat yang dapat digunakan orang lain. Meningkatkan alat tersebut mengubah seberapa banyak orang berikutnya—atau agen berikutnya—dapat menyelesaikannya.

Proyek-proyek yang sekarang dapat kita pertimbangkan

Kecepatan itu penting karena mengubah keputusan untuk memulai. Sebuah permainan bisa sangat menarik untuk direkayasa ulang dan masih menuntut lebih banyak perhatian saya sendiri daripada yang bisa saya berikan secara realistis. Banyak proyek akan tetap menjadi ide.

Sekarang saya dapat melihat cara untuk menjaga agar proyek semacam itu tetap berjalan melalui penyelidikan berulang kali. Mendapatkan rekonstruksi yang berfungsi membuat port perangkat lunak lebih praktis. Memulihkan semantik yang dapat dibaca memudahkan orang lain untuk menjelajahi mod. Upaya yang dilakukan untuk memahami permainan dapat terus membuahkan hasil setelah versi pertama berjalan.

Saya sekarang melihat program yang tidak dikenal dan bertanya: akses, umpan balik, dan akumulasi pengetahuan apa yang memungkinkan agen mengerjakan ini dengan andal?

Pertanyaan itu membuat saya mempertimbangkan proyek-proyek yang sebelumnya saya tinggalkan sendirian. Masing-masing dapat meningkatkan cara kita mendekati pendekatan berikutnya. Saya ingin terus mengeksplorasi seberapa jauh hal itu dapat membawa kita.

Lebih banyak artikel · Jelajahi investigasi TH04