\n Yaz\u0131l\u0131m zafiyetlerinin b\u00fcy\u00fck \u00e7o\u011funlu\u011fu, \u00f6zellikle %70’i, bellek hatalar\u0131ndan kaynaklan\u0131r. Bu kritik sorun, sistem g\u00fcvenli\u011fini tehdit eder ve veri ihlallerine, hizmet kesintilerine yol a\u00e7abilir. Peki, bu yayg\u0131n bellek g\u00fcvenli\u011fi zafiyetlerini nas\u0131l tespit edip etkisiz hale getirebiliriz? Bu makale, kapsaml\u0131 enstr\u00fcmantasyon teknikleriyle bu zorlu\u011fun \u00fcstesinden nas\u0131l geldi\u011fimizi ad\u0131m ad\u0131m a\u00e7\u0131kl\u0131yor ve yaz\u0131l\u0131m g\u00fcvenli\u011fi yakla\u015f\u0131m\u0131n\u0131z\u0131 temelden de\u011fi\u015ftirecek pratik bilgiler sunuyor.\n <\/p>\n
\n G\u00fcn\u00fcm\u00fcz yaz\u0131l\u0131m d\u00fcnyas\u0131nda, her ge\u00e7en g\u00fcn daha karma\u015f\u0131k sistemler geli\u015ftiriyoruz. Ancak, bu karma\u015f\u0131kl\u0131k beraberinde ciddi g\u00fcvenlik risklerini de getiriyor. \u00d6zellikle C ve C++ gibi d\u00fc\u015f\u00fck seviyeli programlama dilleriyle yaz\u0131lan sistemlerde, bellek y\u00f6netimi do\u011frudan geli\u015ftiricinin sorumlulu\u011fundad\u0131r. Bu durum, yanl\u0131\u015fl\u0131kla yap\u0131lan hatalar\u0131n veya k\u00f6t\u00fc niyetli sald\u0131r\u0131lar\u0131n hedefi olabilecek zafiyetlere yol a\u00e7ma potansiyeli ta\u015f\u0131r. Bellek hatalar\u0131, yaz\u0131l\u0131m zafiyetlerinin en yayg\u0131n ve tehlikeli t\u00fcrlerinden biridir; ara\u015ft\u0131rmalar, t\u00fcm g\u00fcvenlik a\u00e7\u0131klar\u0131n\u0131n %70’inden fazlas\u0131n\u0131n k\u00f6keninde bellek y\u00f6netimi sorunlar\u0131n\u0131n yatt\u0131\u011f\u0131n\u0131 g\u00f6steriyor.\n <\/p>\n
\n Peki, bellek hatalar\u0131 tam olarak nedir ve neden bu kadar tehlikelidir? Temel olarak, bellek hatalar\u0131, bir program\u0131n belle\u011fi yanl\u0131\u015f bir \u015fekilde kullanmas\u0131 veya y\u00f6netmesi durumunda ortaya \u00e7\u0131kan kusurlard\u0131r. En bilinen t\u00fcrleri aras\u0131nda \u015funlar yer al\u0131r:\n <\/p>\n
\n Bu t\u00fcr hatalar, sadece program\u0131n \u00e7\u00f6kmesine yol a\u00e7makla kalmaz; ayn\u0131 zamanda sald\u0131rganlar\u0131n sistemler \u00fczerinde kontrol sa\u011flamas\u0131na, hassas verileri \u00e7almas\u0131na veya hizmetleri fel\u00e7 etmesine olanak tan\u0131yan ciddi g\u00fcvenlik a\u00e7\u0131klar\u0131 olu\u015fturabilir. Geleneksel yaz\u0131l\u0131m testi y\u00f6ntemleri, bu t\u00fcr derinlemesine bellek sorunlar\u0131n\u0131 tespit etmede genellikle yetersiz kal\u0131r. Manuel kod incelemeleri zaman al\u0131c\u0131d\u0131r ve insan hatas\u0131na a\u00e7\u0131kt\u0131r; statik analiz ara\u00e7lar\u0131 (SAST) genellikle \u00e7ok say\u0131da yanl\u0131\u015f pozitif \u00fcretebilirken, dinamik analiz ara\u00e7lar\u0131 (DAST) ve birim testleri ancak test edilen yollar \u00fczerindeki hatalar\u0131 yakalayabilir. Bu nedenle, bellek hatalar\u0131na kar\u015f\u0131 daha proaktif ve kapsaml\u0131 bir savunma mekanizmas\u0131na ihtiya\u00e7 duyulmu\u015ftur.\n <\/p>\n
\n Bellek hatalar\u0131n\u0131n yayg\u0131nl\u0131\u011f\u0131 ve geleneksel tespit y\u00f6ntemlerinin s\u0131n\u0131rl\u0131l\u0131klar\u0131 g\u00f6z \u00f6n\u00fcne al\u0131nd\u0131\u011f\u0131nda, yaz\u0131l\u0131m g\u00fcvenli\u011fi uzmanlar\u0131 daha yenilik\u00e7i \u00e7\u00f6z\u00fcmlere y\u00f6nelmi\u015ftir. \u0130\u015fte tam da bu noktada “enstr\u00fcmantasyon” devreye giriyor. Peki, enstr\u00fcmantasyon nedir ve g\u00fcvenlik testlerinde nas\u0131l devrim yaratm\u0131\u015ft\u0131r? Basit\u00e7e ifade etmek gerekirse, enstr\u00fcmantasyon, yaz\u0131l\u0131m\u0131n \u00e7al\u0131\u015fma zaman\u0131 davran\u0131\u015f\u0131n\u0131 izlemek, analiz etmek veya de\u011fi\u015ftirmek amac\u0131yla kaynak koda veya derlenmi\u015f ikili koda ek bilgi ekleme i\u015flemidir. Bu ek bilgiler, genellikle hata tespiti, performans analizi veya kod kapsam\u0131 \u00f6l\u00e7\u00fcm\u00fc gibi belirli ama\u00e7lar i\u00e7in kullan\u0131l\u0131r. G\u00fcvenlik ba\u011flam\u0131nda, enstr\u00fcmantasyon, program\u0131n bellek i\u015flemlerini ger\u00e7ek zamanl\u0131 olarak denetleyerek potansiyel g\u00fcvenlik a\u00e7\u0131klar\u0131n\u0131 yakalamay\u0131 hedefler.\n <\/p>\n
\n Enstr\u00fcmantasyon, temelde iki farkl\u0131 \u015fekilde uygulanabilir:\n <\/p>\n
\n Enstr\u00fcmantasyonun en b\u00fcy\u00fck avantajlar\u0131ndan biri, geleneksel y\u00f6ntemlerin aksine, hatalar\u0131 aktif olarak ve genellikle daha az yanl\u0131\u015f pozitif ile yakalayabilmesidir. Kodun her bir bellek eri\u015fimi, her bir i\u015faret\u00e7i i\u015flemi, enstr\u00fcmante edilmi\u015f kod taraf\u0131ndan izlenir ve anormallikler an\u0131nda rapor edilir. Bu sayede, g\u00fcvenlik a\u00e7\u0131klar\u0131 geli\u015ftirme d\u00f6ng\u00fcs\u00fcn\u00fcn \u00e7ok daha erken a\u015famalar\u0131nda tespit edilebilir ve d\u00fczeltilebilir, b\u00f6ylece \u00fcretim ortam\u0131na ula\u015fma riski minimize edilir. \u00d6rne\u011fin, klasik bir tampon ta\u015fmas\u0131 hatas\u0131, enstr\u00fcmantasyon sayesinde, hatan\u0131n ger\u00e7ekle\u015fti\u011fi an bellek s\u0131n\u0131rlar\u0131n\u0131n ihlal edildi\u011fi tespit edilerek program\u0131n g\u00fcvenli bir \u015fekilde durdurulmas\u0131n\u0131 sa\u011flar ve detayl\u0131 bir hata raporu sunar. Bu proaktif yakla\u015f\u0131m, yaz\u0131l\u0131m g\u00fcvenli\u011fi testlerinde ger\u00e7ekten bir d\u00f6n\u00fcm noktas\u0131 olmu\u015ftur.\n <\/p>\n
\n Bellek g\u00fcvenli\u011fi enstr\u00fcmantasyonunda en etkili ve yayg\u0131n olarak kullan\u0131lan ara\u00e7lardan biri, Adres Temizlik\u00e7isi olarak bilinen AddressSanitizer (ASan)’d\u0131r. ASan, Google taraf\u0131ndan geli\u015ftirilmi\u015f ve hem GCC hem de Clang derleyicilerinde desteklenen, \u00e7al\u0131\u015fma zaman\u0131 bir bellek hata tespit arac\u0131d\u0131r. C ve C++ programlar\u0131nda buffer overflow, use-after-free ve double-free gibi kritik bellek zafiyetlerini ola\u011fan\u00fcst\u00fc bir ba\u015far\u0131 oran\u0131yla yakalar. Peki, ASan bu kadar etkili olmay\u0131 nas\u0131l ba\u015far\u0131yor ve biz bunu kendi projelerimizde nas\u0131l uygulad\u0131k?\n <\/p>\n
\n ASan’\u0131n temel prensibi, program\u0131n bellek eri\u015fimlerini izlemek i\u00e7in “g\u00f6lge bellek” (shadow memory) ve “k\u0131rm\u0131z\u0131 b\u00f6lgeler” (redzones) kullanmakt\u0131r. Program derlenirken, ASan otomatik olarak her bellek ay\u0131rma i\u015fleminin etraf\u0131na k\u00fc\u00e7\u00fck tampon b\u00f6lgeler (redzones) ekler. Ayr\u0131ca, ana belle\u011fin bir haritas\u0131n\u0131 tutan ve her bir bayt\u0131n ge\u00e7erli olup olmad\u0131\u011f\u0131n\u0131, yani eri\u015filebilir olup olmad\u0131\u011f\u0131n\u0131 g\u00f6steren bir g\u00f6lge bellek alan\u0131 olu\u015fturur. Bir bellek eri\u015fimi ger\u00e7ekle\u015fti\u011finde, ASan otomatik olarak ekledi\u011fi kodlarla bu eri\u015fimin g\u00f6lge bellek \u00fczerinde ge\u00e7erli olup olmad\u0131\u011f\u0131n\u0131 kontrol eder. E\u011fer eri\u015fim, bir redzone’a veya serbest b\u0131rak\u0131lm\u0131\u015f bir bellek alan\u0131na y\u00f6neliyorsa, ASan an\u0131nda bir hata raporu olu\u015fturur ve program\u0131 durdurur. Bu sayede, bellek ihlalleri \u00e7ok erken bir a\u015famada tespit edilebilir.\n <\/p>\n
\n ASan’\u0131 projelerinize entegre etmek olduk\u00e7a basittir. Genellikle, derleme s\u0131ras\u0131nda ilgili bayra\u011f\u0131 etkinle\u015ftirmeniz yeterlidir. \u00d6rne\u011fin, GCC veya Clang kullan\u0131yorsan\u0131z:\n <\/p>\n
\n g++ -fsanitize=address -g -O1 your_program.cpp -o your_program\n <\/pre>\n<\/code><\/p>\n
\n Buradaki -fsanitize=address<\/code> bayra\u011f\u0131, ASan enstr\u00fcmantasyonunu etkinle\u015ftirir. -g<\/code> hata ay\u0131klama bilgilerini ekler ve -O1<\/code> optimize edilmi\u015f kod \u00fcretir; genellikle ASan ile performans\u0131 daha iyi dengelemek i\u00e7in -O1<\/code> seviyesi \u00f6nerilir.\n <\/p>\n\n Vaka Analizi: ASan ile Yakalanan Kritik Bir Use-After-Free Hatas\u0131<\/strong>\n <\/p>\n\n Bir a\u011f hizmeti uygulamam\u0131zda, geleneksel testlerimizde g\u00f6zden ka\u00e7an, ancak ASan ile kolayca tespit etti\u011fimiz bir senaryo ya\u015fad\u0131k. Uygulama, istemci ba\u011flant\u0131lar\u0131n\u0131 y\u00f6netmek i\u00e7in dinamik olarak bellek tahsis ediyordu ve ba\u011flant\u0131 kapand\u0131\u011f\u0131nda bu belle\u011fi serbest b\u0131rak\u0131yordu. Ancak, nadir bir hata durumunda, bir ba\u011flant\u0131 kapat\u0131ld\u0131ktan sonra bile serbest b\u0131rak\u0131lan bellek i\u015faret\u00e7isi yanl\u0131\u015fl\u0131kla tekrar kullan\u0131l\u0131yordu. Bu, klasik bir \"use-after-free\" zafiyetiydi ve potansiyel olarak uzaktan kod y\u00fcr\u00fctmeye yol a\u00e7abilirdi.\n <\/p>\n
\n \/\/ Hatal\u0131 kod \u00f6rne\u011fi (basitle\u015ftirilmi\u015f)\n #include \n #include \n #include \n\n void process_data(char* buffer) {\n \/\/ buffer \u00fczerinde baz\u0131 i\u015flemler yap\u0131l\u0131yor\n std::cout << \"Veri i\u015fleniyor: \" << buffer << std::endl;\n }\n\n int main() {\n char* data_buffer = new char[10];\n strcpy(data_buffer, \"Merhaba\"); \/\/ Bellek tahsis edildi ve veri yaz\u0131ld\u0131\n\n \/\/ Bir senaryoda bellek serbest b\u0131rak\u0131ld\u0131\n delete[] data_buffer; \n\n \/\/ Ba\u015fka bir kod par\u00e7as\u0131 (yanl\u0131\u015fl\u0131kla) serbest b\u0131rak\u0131lan belle\u011fi kullanmaya \u00e7al\u0131\u015ft\u0131\n \/\/ Bu durum normalde bellek \u00e7ak\u0131\u015fmas\u0131na neden olurdu\n \/\/ Ancak ASan bu noktay\u0131 yakalar!\n process_data(data_buffer); \/\/ Use-After-Free\n\n \/\/ Belki de ba\u015fka bir bellek tahsisi ayn\u0131 adrese denk geldi\n char* new_buffer = new char[10];\n strcpy(new_buffer, \"D\u00fcnya\");\n\n \/\/ process_data(data_buffer); \/\/ E\u011fer ASan olmasayd\u0131, buradaki \u00e7a\u011fr\u0131 'new_buffer' i\u00e7eri\u011fini kullanabilirdi\n\n delete[] new_buffer; \/\/ Temizleme\n return 0;\n }\n <\/pre>\n<\/code><\/p>\n
\n Yukar\u0131daki \u00f6rnek kod, data_buffer<\/code>'\u0131n serbest b\u0131rak\u0131lmas\u0131na ra\u011fmen sonras\u0131nda tekrar kullan\u0131lmas\u0131n\u0131 g\u00f6steriyor. ASan olmadan bu program belki de \u00e7al\u0131\u015fmaya devam edecek, tahmin edilemez \u00e7\u0131kt\u0131lar verecek veya bir s\u00fcre sonra \u00e7\u00f6kecekti. Ancak ASan ile derledi\u011fimizde, hemen bir \"heap-use-after-free\" hatas\u0131 tespit edildi ve hatan\u0131n tam olarak nerede ve hangi bellek adresinde ger\u00e7ekle\u015fti\u011fi detayl\u0131 bir y\u0131\u011f\u0131n izi (stack trace) ile birlikte raporland\u0131. Bu sayede, g\u00fcvenlik ekibimiz sorunu h\u0131zla anlay\u0131p d\u00fczeltebildi. ASan, sadece hatalar\u0131 yakalamakla kalmaz, ayn\u0131 zamanda hatan\u0131n k\u00f6k nedenini anlamak i\u00e7in gerekli bilgileri de sa\u011flar, bu da geli\u015ftirme s\u00fcrecinde paha bi\u00e7ilmez bir kolayl\u0131k sunar.\n <\/p>\nGeli\u015fmi\u015f Enstr\u00fcmantasyon Teknikleri: Tan\u0131ms\u0131z Davran\u0131\u015flar ve Kapsaml\u0131 G\u00fcvenlik Stratejileri<\/h3>\n
\n Adres Temizlik\u00e7isi (ASan) bellek g\u00fcvenli\u011fi zafiyetlerini tespit etmede harikalar yarat\u0131rken, yaz\u0131l\u0131m hatalar\u0131n\u0131n sadece bellek y\u00f6netimiyle s\u0131n\u0131rl\u0131 olmad\u0131\u011f\u0131n\u0131 unutmamak gerekir. C ve C++ gibi dillerde, \"tan\u0131ms\u0131z davran\u0131\u015flar\" (Undefined Behavior - UB) olarak adland\u0131r\u0131lan ve derleyicinin veya \u00e7al\u0131\u015fma zaman\u0131 ortam\u0131n\u0131n belirli durumlarla nas\u0131l ba\u015fa \u00e7\u0131kaca\u011f\u0131n\u0131 belirtmedi\u011fi bir\u00e7ok durum vard\u0131r. Bu tan\u0131ms\u0131z davran\u0131\u015flar, \u00e7o\u011fu zaman hatalara yol a\u00e7arken, k\u00f6t\u00fc niyetli sald\u0131rganlar taraf\u0131ndan istismar edilebilecek g\u00fcvenlik a\u00e7\u0131klar\u0131na da d\u00f6n\u00fc\u015febilir. \u0130\u015fte bu noktada Tan\u0131ms\u0131z Davran\u0131\u015f Temizlik\u00e7isi (UndefinedBehaviorSanitizer - UBSan) devreye girer.\n <\/p>\n
\n UBSan, program\u0131n\u0131zda belirli t\u00fcrdeki tan\u0131ms\u0131z davran\u0131\u015flar\u0131 tespit etmek i\u00e7in derleme zaman\u0131 enstr\u00fcmantasyonu kullanan bir ba\u015fka g\u00fc\u00e7l\u00fc ara\u00e7t\u0131r. \u00d6rne\u011fin, bir tamsay\u0131 ta\u015fmas\u0131 (integer overflow) bir t\u00fcr tan\u0131ms\u0131z davran\u0131\u015ft\u0131r ve beklenmedik sonu\u00e7lara yol a\u00e7abilir. UBSan, bu t\u00fcr i\u015flemleri izleyerek, derleyicinin varsay\u0131mlar\u0131n\u0131 ihlal eden veya dilin spesifikasyonlar\u0131na uymayan durumlar\u0131 yakalar. Tespit etti\u011fi baz\u0131 yayg\u0131n tan\u0131ms\u0131z davran\u0131\u015flar \u015funlard\u0131r:\n <\/p>\n
\n- \n \u0130mzas\u0131z Tamsay\u0131 Ta\u015fmas\u0131 (Integer Overflow)<\/strong>: Tamsay\u0131lar\u0131n alabilece\u011fi maksimum de\u011feri a\u015fmas\u0131 durumu.\n <\/li>\n
- \n S\u0131f\u0131ra B\u00f6lme<\/strong>: Bir say\u0131n\u0131n s\u0131f\u0131ra b\u00f6l\u00fcnmesi.\n <\/li>\n
- \n Shift \u0130\u015flemi Hatalar\u0131<\/strong>: Negatif bir say\u0131 ile bit kayd\u0131rma veya \u00e7ok b\u00fcy\u00fck bir de\u011ferle kayd\u0131rma.\n <\/li>\n
- \n Null Olmayan \u0130\u015faret\u00e7ilere Eri\u015fim<\/strong>: Null olmayan ancak ge\u00e7erli bir adresi g\u00f6stermeyen i\u015faret\u00e7ilerin kullan\u0131m\u0131.\n <\/li>\n
- \n Yanl\u0131\u015f T\u00fcr D\u00f6n\u00fc\u015f\u00fcmleri (Type Mismatch)<\/strong>: Yanl\u0131\u015f t\u00fcrde bir nesneye eri\u015fim.\n <\/li>\n<\/ul>\n
\n UBSan'\u0131 etkinle\u015ftirmek i\u00e7in, derleyiciye -fsanitize=undefined<\/code> bayra\u011f\u0131n\u0131 eklemeniz yeterlidir:\n <\/p>\n\n g++ -fsanitize=address,undefined -g -O1 your_program.cpp -o your_program\n <\/pre>\n<\/code><\/p>\n
\n Yukar\u0131daki komutta, hem ASan hem de UBSan'\u0131 ayn\u0131 anda etkinle\u015ftirdi\u011fimize dikkat edin. Bu, enstr\u00fcmantasyon stratejimizde \u00f6nemli bir ad\u0131md\u0131r: Birden fazla temizlik\u00e7iyi (sanitizer) birle\u015ftirmek, \u00e7ok daha geni\u015f bir hata yelpazesini kapsamam\u0131z\u0131 sa\u011flar.\n <\/p>\n
\n ASan ve UBSan'\u0131n yan\u0131 s\u0131ra, bellek s\u0131z\u0131nt\u0131lar\u0131n\u0131 tespit etmek i\u00e7in MemorySanitizer (MSan) ve LeakSanitizer (LSan) gibi ba\u015fka temizlik\u00e7iler de bulunmaktad\u0131r. MSan, ba\u015flat\u0131lmam\u0131\u015f bellek okumalar\u0131n\u0131 (uninitialized memory reads) yakalarken, LSan program sona erdi\u011finde serbest b\u0131rak\u0131lmam\u0131\u015f t\u00fcm bellek bloklar\u0131n\u0131 rapor eder. Kapsaml\u0131 bir g\u00fcvenlik stratejisi olu\u015fturmak i\u00e7in bu temizlik\u00e7ileri bir arada kullanmak esast\u0131r. \u00d6rne\u011fin, derleme komutunuza -fsanitize=address,undefined,leak,memory<\/code> ekleyerek bu d\u00f6rt g\u00fc\u00e7l\u00fc arac\u0131 ayn\u0131 anda devreye sokabilirsiniz.\n <\/p>\n