Araç ne sağlar?
Bellek, kayıtlar ve başlangıç durumu hazırlanarak sınırlı kod parçaları incelenebilir. Sistem çağrıları ve platform hizmetleri için ayrıca model gerekir.
Uygulamada nasıl değerlendirilir?
Kendi yerel kodunuzdaki bağımsız bir dönüşüm fonksiyonunu farklı girdilerle inceleyebilirsiniz.
Sınırlar ve yaygın hatalar
Yanlış modellenen ortam, gerçek cihazda oluşmayan sonuçlar üretebilir.
Kontrol listesi
- Başlangıç durumunu belgeleyin
- Bağımlılıkları modelleyin
- Gerçek cihazla karşılaştırın
Karar verirken
Unicorn'u dar ve kontrollü analiz sorularında kullanın; tam uygulama güvenlik testi yerine koymayın.
Tam cihaz yerine sınırlı yürütme
Unicorn deneyinde bellek haritası, kayıtlar ve fonksiyon girişleri araştırmacı tarafından hazırlanır. Bunlar gerçek ortama uymuyorsa elde edilen sonuç programın sahadaki davranışını temsil etmeyebilir. Modelin kapsamadığı sistem çağrıları açıklanmalıdır.
Bağımsız bir dönüşüm fonksiyonu iyi bir başlangıç olabilir. Aynı girdi gerçek test programında da çalıştırılarak sonuç karşılaştırılır. Mobil arayüz, işletim sistemi güvenliği veya donanım anahtar hizmeti gibi geniş bağımlılıklar için tam cihaz testine ihtiyaç sürer.
İlgili rehberler: Android Emulator test aracı tanıtımı, angr: Python ile sembolik analiz.
Kaynaklar ve kapsam
Teknik özelliklerin başvuru noktaları aşağıdadır. Uygulama örneği ve kontrol listesi bu yayın için hazırlanmış değerlendirme önerileridir; bağımsız ürün testi sonucu değildir.