PofoliaPofolia ile paylaşıldı

Applied Sciences· 2026Q2· Derleme

Akıllı Sözleşme Fuzzing Üzerine Sistematik Bir İnceleme: Ethereum ve Ötesi İçin Yöntemler, Teknikler ve Mimariler

A Systematic Survey of Smart Contract Fuzzing: Methods, Techniques, and Architectures for Ethereum and Beyond

Luis Alberto López Alvar, Luís de la Torre, Zehua Wang, S. Dormido-Canto

Kısa özet

258 yayının sistematik bir incelemesi, akıllı sözleşme güvenlik açığı keşfinde kapsama-yönelimli gri-kutu fuzzing'in baskın olduğunu (%51.2 araç), LLM güdümlü fuzzing'in ise en hızlı gelişen teknik olduğunu, ancak çoğu fuzzer'ın sekiz geri bildirim alanından yalnızca birkaçını kullandığını ve yüksek değerli bileşimlerin keşfedilmemiş kaldığını ortaya koyuyor.

Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.

Ana noktalar

  • Kapsama-yönelimli gri-kutu fuzzing, incelenen araçların %51.2'si tarafından kullanılan baskın akıllı sözleşme fuzzing paradigmasıdır.
  • LLM güdümlü fuzzing, öğrenme tabanlı yaklaşımlar içinde en hızlı gelişen alt kategoridir.
  • Akıllı sözleşme fuzzer'larının çoğu, belirlenen sekiz geri bildirim alanından yalnızca birkaçını kullanmaktadır.
  • Fuzzing'de yüksek değerli çoklu alan geri bildirim bileşimleri için keşfedilmemiş fırsatlar mevcuttur.

Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.

Özet (abstract)

Blockchain architectures increasingly rely on smart contracts as programmable execution components, yet the security challenges they introduce remain only partially addressed. Fuzz testing has emerged as one of the leading automated techniques for smart contract vulnerability discovery; however, a systematic treatment linking classical fuzzing concepts to the specific architectural constraints of smart contract execution environments has remained elusive. We conduct a large-scale systematic review of 258 publications collected from Scopus and Google Scholar. The review is structured around four research questions covering general fuzzing limitations, EVM execution constraints, cross-contract interaction challenges, and technique transferability. The contributions are fourfold. First, we develop a conceptual taxonomy establishing an explicit correspondence between classical and smart contract fuzzing. Second, we present an architectural taxonomy of representative fuzzers unified under a generalised waypoint architecture that exposes key feedback domains and composition gaps. Third, we provide a categorised technique review spanning coverage-guided, hybrid, and learning-based approaches. Fourth, we offer a reproducibility critique with a structured research roadmap. Coverage-guided greybox fuzzing emerges as the dominant paradigm (51.2% of the 121 SC fuzzer tools); learning-based approaches (machine learning, reinforcement learning, and LLMs) are a small but emerging class, with LLM-guided fuzzing the fastest-emerging subcategory by recency. Feedback-domain composition remains sparse: most surveyed fuzzers combine only a few of the eight identified feedback domains, and none approaches the full set, leaving several high-value multi-domain compositions unexplored. Open challenges include scalable stateful exploration, standardised benchmarks and oracles, and EVM-specific architectural optimisations. The complete categorised corpus, coding, and search strategy are openly available.

Yazarların özeti; kaynağından alınmıştır. Applied Sciences, 2026 · DOI ↗

ÇıkarımlarPremium
Makaleye SorÜcretsiz hesapla

Ü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 et

Google ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.

Telefonda:

Alan: Bilişim Sistemleri

Information SystemsComputer Science