· 2016
Driller: Seçici Sembolik Yürütme ile Bulanıklığı Artırma
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
- 885atıf
- 2016yıl
Kısa özet
Driller, daha derin yazılım güvenlik açıklarını keşfetmek için bulanıklığı seçici sembolik yürütme ile birleştiren yeni bir tekniktir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Driller, geleneksel bulanıklığı seçici sembolik yürütme ile destekler.
- Bu birleşim, daha derin program yollarının keşfedilmesine olanak tanır.
- Güvenlik açığı keşif araçlarının yaygın bir sınırlamasının üstesinden gelir.
- Teknik, otomatik yazılım doğrulamasını güvenlik için iyileştirmeyi amaçlar.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
Memory corruption vulnerabilities are an everpresent risk in software, which attackers can exploit to obtain unauthorized access to confidential information. As products with access to sensitive data are becoming more prevalent, the number of potentially exploitable systems is also increasing, resulting in a greater need for automated software vetting tools. DARPA recently funded a competition, with millions of dollars in prize money, to further research focusing on automated vulnerability finding and patching, showing the importance of research in this area. Current techniques for finding potential bugs include static, dynamic, and concolic analysis systems, which each having their own advantages and disadvantages. A common limitation of systems designed to create inputs which trigger vulnerabilities is that they only find shallow bugs and struggle to exercise deeper paths in executables.
Yazarların özeti; kaynağından alınmıştır., 2016 · DOI ↗
Ücretsiz hesapla devam et
Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.
Web'de ücretsiz devam etGoogle ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.
Telefonda:
Alan: Yazılım
SoftwareComputer Science