· 2016
Oluşum Kapsamına Dayalı Gri Kutu Fuzzing'in Markov Zinciri Olarak Modellenmesi
Coverage-based Greybox Fuzzing as Markov Chain
- 623atıf
- 2016yıl
Kısa özet
Bu makale, Oluşum Kapsamına Dayalı Gri Kutu Fuzzing'i (CGF) bir Markov zinciri olarak modelleyerek, düşük frekanslı yollara öncelik vermenin keşif verimliliğini önemli ölçüde artırdığını ortaya koyuyor.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- CGF, durumların tohumları ve geçişlerin yol keşfini temsil ettiği bir Markov zinciri olarak modellenebilir.
- Çoğu CGF testi, keşfi sınırlayan az sayıda yüksek frekanslı yola odaklanır.
- Düşük frekanslı yollara artırılmış 'enerji' ile öncelik vermek, keşif verimliliğini artırır.
- Bir güç çizelgesi, durağan dağılım yoğunluğuna ters orantılı ve tohum seçimiyle artan tohum enerjisini kontrol eder.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
Coverage-based Greybox Fuzzing (CGF) is a random testing approach that requires no program analysis. A new test is generated by slightly mutating a seed input. If the test exercises a new and interesting path, it is added to the set of seeds; otherwise, it is discarded. We observe that most tests exercise the same few "high-frequency" paths and develop strategies to explore significantly more paths with the same number of tests by gravitating towards low-frequency paths. We explain the challenges and opportunities of CGF using a Markov chain model which specifies the probability that fuzzing the seed that exercises path i generates an input that exercises path j. Each state (i.e., seed) has an energy that specifies the number of inputs to be generated from that seed. We show that CGF is considerably more efficient if energy is inversely proportional to the density of the stationary distribution and increases monotonically every time that seed is chosen. Energy is controlled with a power schedule.
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