Tersine Mühendislik ve Zafiyet Araştırması

Tersine Mühendislik

Kritik süreçlerinizde kaynak kodunu hiç görmediğiniz yazılımlar çalışır. Her bilgisayara kurulan bir ajan veya desteği bitmiş bir sistem buna örnektir. Tersine mühendislik uzmanlarımız bu yazılımların gerçekte ne yaptığını derlenmiş koddan çıkarır. Satın alma ve tespit kararlarınız böylece kanıta dayanır.

Kapsamı Görüşün Tüm Hizmet Alanları

Tersine Mühendislik

Üreticinin beyanı ile yazılımın gerçekte yaptığı arasındaki fark ancak derlenmiş kodda görülür. Yazılımın hangi sunucuya hangi veriyi gönderdiği belgelerde değil, kodda yazar. ISO/IEC 27001:2022 de BİT tedarik zincirinde bilgi güvenliğinin yönetimini ayrı bir kontrol olarak tanımlar (Ek A 5.21).

İhtiyaç

Hangi durumlarda ihtiyaç duyulur?

Tüm bilgisayarlara kurulacak kapalı kaynaklı bir yazılımın gerçekte hangi veriyi topladığını bilmeniz gerektiğinde.
Bir olayda bulunan zararlı yazılımın ne yaptığını bilmeniz gerektiğinde.
Desteği bitmiş ve protokolü belgelenmemiş bir sistem yeni bir sisteme bağlanacağında.
Mobil uygulamanızın kod koruması ve bütünlük kontrolleri yayına alınmadan önce.

Sorular

Bu çalışma neyi yanıtlar?

Kullandığımız kapalı kaynaklı yazılım hangi sunuculara bağlanıyor ve hangi veriyi gönderiyor?
Bu zararlı yazılım ne yapıyor, başka nerede aramalıyız?
Ürünümüzün kod koruması ve lisans denetimi ne kadar dayanıklı?
Belgesi olmayan bu protokol nasıl çalışıyor, zayıf noktası var mı?

Tersine Mühendislik

Neler yapıyoruz

Yazılım ve Binary Tersine Mühendislik

Kaynak kodu olmayan bir yazılımın neye bağlandığını ve hangi veriyi topladığını derlenmiş koddan çıkarırız.
Firmware Tersine Mühendislik

Cihaz firmware'inde kimlik doğrulamanın ve güncelleme kontrolünün nasıl çalıştığını çıkarırız. Belgelenmemiş servisleri de ortaya koyarız.
Protokol ve Dosya Formatı Analizi

Belgelenmemiş protokolleri ve veri biçimlerini çözümleriz. Sonucu entegrasyon ve güvenlik testi için kullanılabilir bir spesifikasyona dönüştürürüz.
Mobil Uygulama Tersine Mühendislik

iOS ve Android paketlerinde gömülü anahtarları ve gizli işlevleri ararız. Cihaz bütünlüğü kontrollerinin ne kadar dayandığını sınarız.
Zararlı Yazılım Tersine Mühendislik

Zararlı yazılım örneğinin ne yaptığını ve nasıl kalıcı olduğunu çözümleriz. Diğer sistemlerde aramak için tespit kuralları çıkarırız.
Kod Koruma ve Kurcalamaya Karşı Dayanıklılık

Kod gizleme ve lisans denetiminin, onları aşmaya çalışan birine ne kadar dayandığını sınarız.
Binary Kriptografi Uygulama İncelemesi

Derlenmiş kodda şifreleme uygulama hatalarını ararız. Koda gömülü sabit anahtarlar ve zayıf rastgele sayı üretimi tipik örneklerdir.

Kapsam

Kapsam, incelenecek sürüm ve yanıtlanacak soruyla tanımlanır. Soru bir veri akışını bulmak, bir korumayı sınamak ya da bir zararlı yazılımı tam çözümlemek olabilir.

Çalışma yöntemi

Önce yazılımı kontrollü bir ortamda çalıştırıp davranışını gözleriz. Ardından gözlenen her davranışın kaynağını derlenmiş kodda buluruz. Böylece yalnızca belirli bir tarihte veya belirli bir komutla çalışan işlevler de ortaya çıkar.

Çıktılar

Teslim edilenler

Her davranışı derlenmiş koddaki yeriyle gösteren analiz. Zararlı yazılımda, tespit kurallarına doğrudan girebilecek göstergeler. Ürün korumasında, hangi korumanın hangi yöntemle ve ne kadar emekle aşıldığı.

NotAnaliz yalnızca size ait ya da incelenmesi için yazılı izin bulunan yazılım ve cihazlarda yapılır.