Tersine mühendislik (Reverse Engineering RE), karmaşık kod yapıları, assembler dilinin getirdiği yük ve günlerce süren hata ayıklama (debugging) süreçleriyle uzun süredir siber güvenlik uzmanlarının en çok vakit harcadığı alanlardan biriydi. Ancak yapay zekanın gelişimi ve Model Context Protocol (MCP) gibi standartların hayatımıza girmesiyle bu tablo kökten değişiyor.
Tersine mühendislik (Reverse Engineering RE), karmaşık kod yapıları, assembler dilinin getirdiği yük ve günlerce süren hata ayıklama (debugging) süreçleriyle uzun süredir siber güvenlik uzmanlarının en çok vakit harcadığı alanlardan biriydi. Ancak yapay zekanın gelişimi ve Model Context Protocol (MCP) gibi standartların hayatımıza girmesiyle bu tablo kökten değişiyor.
Artık yapay zeka ajanları sadece kod yazmıyor; derlenmiş ikili dosyaları (binary) analiz ediyor, decompiler'ların direksiyonuna geçiyor ve bir ters mühendislik stüdyosunun tüm araçlarını orkestre edebiliyor.
Bu dönüşümün merkezinde yer alan REA mimarisi ve arkasındaki 20 kritik GitHub deposundan oluşan bu ekosistem, tersine mühendisliği nasıl yeniden tanımlıyor? Gelinen son noktaya ve araç setine yakından bakalım.
1. Çekirdek Yapı: Yapay Zekaya Direksiyonu Vermek
Yapay zeka ajanlarının gelişmiş yazılımlarla iletişim kurabilmesi için sağlam protokoller gerekiyor. Çekirdek araçlar, LLM'leri doğrudan decompiler seviyesine entegre ediyor:
REA: Ekosistemdeki tüm araçları bir birine ve yapay zeka ajanlarına bağlayan bir MCP (Model Context Protocol) sunucusu. Analiz sürecinin beyin takımı.
https://github.com/morluto/rea
Ghidra: NSA tarafından geliştirilen, açık kaynaklı ve tamamen ücretsiz amiral gemisi decompiler.
https://github.com/NationalSecurityAgency/ghidra
GhidraMCP: Yapay zeka ajanınızın Ghidra arayüzünde kontrolü ele almasını sağlayan köprü. Artık fonksiyon isimlerini değiştirmek veya mantık akışını takip etmek ajanın sorumluluğunda.
https://github.com/LaurieWired/GhidraMCP
idapromcp: Endüstri standardı olan IDA Pro’yu doğrudan AI ajanınızın emrine veren entegrasyon çözümü.
https://github.com/mrexodia/idapromcp
2. Mobil ve Uygulama Analizi
Mobil ekosistem ve yönetilen kod (.NET, Java) analizi, uygulama güvenliği araştırmalarının temelini oluşturur. Ajan desteğiyle bu süreçler saniyelere iniyor:
jadx: Android APK dosyalarını doğrudan okunabilir Java kaynak koduna dönüştürür.
https://github.com/skylot/jadx
Apktool: APK dosyalarını parçalarına ayırma (decompilation), kaynak kod düzenleme ve tekrar paketleme işlemlerini üstlenir.
https://github.com/iBotPeaches/Apktool
Frida: Çalışma zamanında (runtime) herhangi bir uygulamaya müdahale etmenizi, fonksiyonları hook’lamanızı sağlayan dinamik kod enjeksiyon aracı.
https://github.com/frida/frida
ILSpy: .NET ikili dosyalarını (DLL/EXE) tekrar anlaşılır C koduna dönüştüren decompiler.
https://github.com/icsharpcode/ILSpy
3. İkili (Binary) ve Düşük Seviye Analiz
İşlemci mimarilerine yakın seviyede çalışırken kullanılan araçlar, doğrudan hafıza ve işlemci kayıtçıları (registers) üzerinde tam denetim sağlar:
radare2: Terminal tutkunları için geliştirilmiş, oldukça esnek ve kapsamlı bir tersine mühendislik çerçevesi.
https://github.com/radareorg/radare2
x64dbg: Windows platformunda x64 ve x32 mimarileri için en popüler açık kaynaklı hata ayıklayıcı.
https://github.com/x64dbg/x64dbg
ImHex: Tersine mühendisler için özel olarak tasarlanmış, kendi özel desen diline (pattern language) sahip yeni nesil hex editörü.
https://github.com/WerWolv/ImHex
angr: Sembolik yürütme (symbolic execution) kullanarak program içindeki belirli bir hedefe veya cevaba ulaşan tüm olası yolları otomatik olarak keşfeden akademik ve pratik analiz aracı.
https://github.com/angr/angr
4. Ağ ve Çalışma Zamanı (Runtime) Gözlemleme
Uygulamanın dış dünyayla ve işletim sistemiyle nasıl etkileşime girdiğini anlamak için sunucu ve istemci arasındaki trafiği izlemek kritik önem taşır:
mitmproxy: Uygulama ile sunucu arasına girerek geçen tüm HTTP/HTTPS trafiğini şeffaf bir şekilde okuyan ve müdahale etmenize izin veren vekil sunucu.
https://github.com/mitmproxy/mitmproxy
dnSpy: .NET uygulamalarını kaynak kodu olmadan canlı olarak hata ayıklamanızı ve üzerinde anlık kod düzenlemesi yapmanızı sağlar.
https://github.com/dnSpyEx/dnSpy
Rizin: Radare2 projesinin topluluk odaklı, daha kararlı ve modern bir çatallaması (fork).
https://github.com/rizinorg/rizin
raddebugger: Epic Games tarafından geliştirilen, yüksek performanslı ve modern kullanıcı arayüzüne sahip yeni nesil hata ayıklayıcı.
https://github.com/EpicGames/raddebugger
5. Yeniden İnşa Et ve Doğrula: Temiz Oda (CleanRoom) Yaklaşımı
Tersine mühendisliğin son aşaması, elde edilen verilerden yola çıkarak yazılımın çalışma mantığını yeniden inşa etmek ve doğrulamaktır. Yapay zeka burada döngüsel bir kontrol mekanizması kurar:
awesomeaireverseengineering: AI ve RE kesişiminde yer alan, özenle derecelendirilmiş 122 depoluk devasa bir kaynak listesi.
https://github.com/zhuyansen/awesomeaireverseengineering
awesomereverseengineering: REA'nın geliştiricisi tarafından seçilmiş, alanın en iyi araçlarını içeren rehber listesi.
https://github.com/morluto/awesomereverseengineering
REA İş Akışları (Workflows): REA içerisine entegre edilmiş, karmaşık analiz süreçlerini otomatikleştiren hazır araştırma istemleri (prompts).
https://spec.md/
Temiz Oda Döngüsü (CleanRoom Loop): `SPEC.md` belgeleri ve kehanetler (oracles) yardımıyla, yeniden yazılan kod orijinal yapıyla %100 eşleşene kadar devam eden otomatik doğrulama sistemi.
Geleceğin Çalışma Döngüsü
REA ekosistemiyle birlikte tersine mühendislik süreci doğrusal bir iş akışından çıkarak otomatik bir döngüye dönüşüyor:
$$\text{İkili Dosya (Binary)} \rightarrow \text{REA} \rightarrow \text{SPEC.md} \rightarrow \text{Oracle (Doğrulama)} \rightarrow \text{Yeniden İnşa} \rightarrow \text{Yeniden Deneme}$$
Yapay zeka ajanı, derlenmiş dosyayı alıyor, REA aracılığıyla Ghidra, Frida veya angr gibi araçları kullanarak analiz ediyor, teknik spesifikasyonu (`SPEC.md`) çıkarıyor ve bu spesifikasyona göre kodu yeniden yazıyor. Elde edilen kod orijinal davranışla eşleşene kadar bu döngü kendi kendine çalışmaya devam ediyor.
Yapay zeka desteğiyle tersine mühendislik artık saatler süren manuel kod incelemelerinden, araçların birbiriyle konuştuğu otomatize bir mühendislik disiplinine evriliyor.
