Araştırma yöntemi ve birincil kaynaklar

execmap, Linux ELF dosyalarının diskteki yapısını, yükleme adımlarını ve çalışma anındaki gözlemleri birlikte inceleyen bağımsız bir teknik araştırma ve başvuru çalışmasıdır. Rehberler yerleşik mekanizmaları kaynaklarla açıklar; laboratuvarlar bunları küçük C programlarıyla sınamak için hazırlanmıştır.

Araştırma Soruları#

Dosya ofseti, ELF sanal adresi ve süreçte gözlenen adres hangi koşullarda eşleşir?
Sembol tablosu, relocation kaydı ve dinamik yükleyici bir çağrının hedefini nasıl belirler?
Derleyici optimizasyonu ile programın davranışındaki değişim nasıl ayrılır?
Bir bellek eşlemesi, örnekleme kaydı veya sistem çağrısı hangi sonucu destekler; hangisini desteklemez?

Kaynakların Rolü#

Biçim ve sözleşme: System V ABI, x86-64 psABI ve DWARF alanların anlamını ve mimari sözleşmeleri tanımlar.

Uygulama: Linux v6.12 ELF yükleyicisi, çekirdeğin dosyayı nasıl doğruladığını ve eşlediğini incelemek için sürümü belirtilmiş bir örnektir. ld.so(8), dinamik yükleyicinin arama ve sembol çözümleme davranışlarını açıklar. Başka çekirdek ve libc sürümlerinde ayrıntılar değişebilir.

Araç ve yorum: GNU ld, GDB, perf erişim modeli ve uprobe belgeleri, elde edilen çıktının hangi yöntemle üretildiğini anlamak için kullanılır. İlgili yazarların teknik incelemeleri kaynak kütüphanesinde ayrı başlıklar altında bulunur.

Deney ve Tekrarlanabilirlik#

Soruyu ve beklenen mekanizmayı deneyden önce yazın.
Mimariyi, çekirdek ve libc sürümünü, derleyiciyi, derleme seçeneklerini ve araç sürümlerini kaydedin.
Karşılaştırılan koşullarda tek değişkeni değiştirin. Laboratuvarlardaki kaynakları ve tam komutları saklayın.
Dosya incelemesini, bellek haritasını ve çalışma anı kaydını ayrı gözlemler olarak toplayın.
Beklenen sonuç ile gerçekten alınan çıktıyı ayırın; başarısız deneyi ve eksik kayıtları da raporlayın.

Bellek izinleri, sembol seçimi, debug bilgisi ve derleme farkları bu yaklaşımın uygulamalarıdır.

Bulguların Sınırları#

Rehberlerdeki beklenen çıktılar açıklama amaçlıdır; yayımlanmış bir ölçüm veri kümesi veya tüm dağıtımlar için doğrulama sonucu değildir. İzin değişimi tek başına kod yürütüldüğünü, bir örnekleme kaydı da tüm komut akışının görüldüğünü göstermez. eBPF, perf ve hata ayıklayıcılar farklı kapsam, erişim ve ölçüm maliyetlerine sahiptir.

Bu çalışma yeni bir açık ya da algoritma keşfi iddiası taşımaz. Katkısı, belgelenmiş mekanizmaları inceleme soruları ve tekrarlanabilir deney adımlarıyla ilişkilendirmektir. Dış kaynakların telif ve lisansları kendi yazarlarına aittir.

Başlamak için okuma rotalarını, bulguları değerlendirmek için izleri yorumlamak rehberini kullanın.