Geri Dön

Ethereum akıllı sözleşmelerinde güvenlik zafiyetlerinin tespiti için statik analiz destekli fuzzing tabanlı hibrit bir yaklaşım

A hybrid fuzzing-based approach supported by static analysis for detecting security vulnerabilities in ethereum smart sontracts

PDF İndir

  1. Tez No: 977049
  2. Yazar: OSMAN BASHIROV
  3. Danışmanlar: DOÇ. DR. SERDAR SOLAK
  4. Tez Türü: Yüksek Lisans
  5. Konular: Yönetim Bilişim Sistemleri, Management Information Systems
  6. Anahtar Kelimeler: Akıllı sözleşmeler, Blockchain, Bulanık, Ethereum, Katılık, Smart contracts, Blockchain, Fuzzy, Ethereum, Solidity
  7. Yıl: 2025
  8. Dil: Türkçe
  9. Üniversite: Kocaeli Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilişim Sistemleri Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Bilişim Sistemleri Bilim Dalı
  13. Sayfa Sayısı: Belirtilmemiş.

Özet

Bu tez çalışmasında, Ethereum platformunda yaygın olarak kullanılan akıllı sözleşmelerin güvenlik zafiyetleri incelenmiş ve mevcut analiz yöntemlerinin etkinliği değerlendirilmiştir. Literatür taraması sonucunda, mevcut statik ve dinamik analiz araçlarının, özellikle karmaşık yapıda olan akıllı sözleşmeler karşısında sınırlı kaldığı ve yeterli kod kapsamı sağlayamadığı gözlemlenmiştir. Bu soruna çözüm olarak, çalışmada statik analiz ile desteklenen hedef odaklı bir fuzzing yöntemi önerilmiştir. Geliştirilen yaklaşım, rastgele veri üretiminin yerine, analiz öncesinde sözleşme yapısının incelenmesine dayalı olarak, daha anlamlı ve kapsamlı test senaryoları üretmektedir. Gerçekleştirilen deneysel analizlerde, önerilen yöntem ile geleneksel fuzzing teknikleri karşılaştırılmıştır. Etherscan üzerinden filtrelenerek elde edilen 13,644 akıllı sözleşmeden oluşan veri seti aracılığıyla, farklı akıllı sözleşme kaynak kodları üzerinde yapılan testlerde, önerilen yaklaşımın geleneksel fuzzing'e göre benzersiz giriş üretme oranında %12, benzersiz işlem yürütme oranında %9, sonuç olarak kod kapsama oranında %11, zafiyet tespiti efektiflik oranında ise %15,28 daha başarılı sonuçlar verdiği gözlemlenmiştir. Bu sonuçlar, güvenlik açıklarının tespitinde daha derinlemesine ve etkili bir analiz sağlandığını göstermektedir.

Özet (Çeviri)

In this thesis, the security vulnerabilities of smart contracts, which are widely used on the Ethereum platform, are examined, and the effectiveness of existing analysis methods is evaluated. The literature review revealed that current static and dynamic analysis tools are often insufficient when dealing with complex smart contract structures, particularly in terms of achieving adequate code coverage.To address this issue, a targeted fuzzing approach supported by static analysis is proposed. Instead of relying on random input generation, the developed method is based on a preliminary structural analysis of the contract, enabling the generation of more meaningful and comprehensive test scenarios. In the experimental analyses conducted, the proposed method was compared with traditional fuzzing techniques. Using a dataset of 13.644 smart contract projects filtered from Etherscan, tests were performed on various smart contract source codes. The results indicate that the proposed approach outperforms traditional fuzzing by 12% in unique input generation rate, 9% in unique execution rate, 11% in code coverage, and 15.28% in vulnerability detection effectiveness. These findings demonstrate that the proposed method enables a more in-depth and effective analysis for identifying security vulnerabilities.

Benzer Tezler

  1. Tez No

    826726

    Exploring vulnerabilities in verified ethereum smart contracts: sophisticated dataset curation and code transformation for artificial intelligence driven scanners

    Doğrulanmış ethereum akıllı sözleşmelerindeki güvenlik açıklarını keşfetme: Yapay zeka güdümlü tarayıcılar için gelişmiş veri seti kürasyonu ve kod dönüşümü

    EMRE BALCI

    Yüksek Lisans

    İngilizce

    İngilizce

    2023

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBahçeşehir Üniversitesi

    Bilgisayar Bilimleri Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ ECE GELAL SOYAK

  2. Tez No

    1011519

    Smart contract vulnerability detection using machine learning

    Makine öğrenimi kullanarak akıllı sözleşme güvenlik açığı tespiti

    ELHASSAN OSMAN

    Yüksek Lisans

    İngilizce

    İngilizce

    2026

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKarabük Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DOÇ. DR. ADIB HABBAL

  3. Tez No

    785121

    Automated testing for solidity smart contracts

    Solidity akıllı sözleşmeleri için otomatik testle

    SEFA AKCA

    Doktora

    İngilizce

    İngilizce

    2022

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolThe Unıversıty Of Edınburgh

    Bilgisayar ve Enformatik Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. AJITHA RAJAN

  4. Tez No

    953218

    Optımızatıon of payment automatıon ın constructıon projects through blockchaın-based smart contracts

    İnşaat projelerinde ödeme otomasyonunun blokzincir tabanlı ve akıllı sözleşmelerle optimize edilmesi

    HANAN RAJABBASHA HUBBİ

    Yüksek Lisans

    İngilizce

    İngilizce

    2025

    Mimarlıkİstanbul Teknik Üniversitesi

    Mimarlık Ana Bilim Dalı

    DOÇ. DR. FATMA PINAR ÇAKMAK

  5. Tez No

    815076

    Blokzincirde akıllı sözleşmeler ve güvenli e-cüzdan uygulaması

    Smart contracts and secure e-wallet application in blockchain

    ECMEL ALBAYRAK

    Yüksek Lisans

    Türkçe

    Türkçe

    2023

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOndokuz Mayıs Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    PROF. DR. SEDAT AKLEYLEK

Geri Dön