eth-sri/ilf external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

eth-sri/ilf

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/eth-sri/ilf)

Close

eth-sri / ilfView on GitHubMore

• External links
• Readme badge

AI based fuzzer based on imitation learning

☆154Jun 17, 2024Updated last year

Alternatives and similar repositories for ilf

Users that are interested in ilf are comparing it to the libraries listed below

• duytai / sFuzz

  View on GitHub
  ☆102Mar 24, 2022Updated 3 years ago
• kupl / VeriSmart-public

  View on GitHub
  a safety verifier for Solidity smart contracts
  ☆96Jan 17, 2023Updated 3 years ago
• SoftSec-KAIST / Smartian

  View on GitHub
  Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
  ☆157Updated this week
• gongbell / ContractFuzzer

  View on GitHub
  The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
  ☆246Dec 7, 2022Updated 3 years ago
• Demonhero0 / rlf

  View on GitHub
  ☆24Jan 6, 2025Updated last year
• aashishkolluri / Ethracer

  View on GitHub
  ☆13May 27, 2019Updated 6 years ago
• christoftorres / ConFuzzius

  View on GitHub
  A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
  ☆102Oct 11, 2023Updated 2 years ago
• nescio007 / teether

  View on GitHub
  ☆137Jul 27, 2021Updated 4 years ago
• InPlusLab / DAppSCAN

  View on GitHub
  DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.
  ☆78Mar 25, 2025Updated 11 months ago
• NoamaSamreen93 / SmartScan-Dataset

  View on GitHub
  This repository contains 50,000 smart contracts extracted from the Ethereum network.
  ☆20Mar 1, 2022Updated 4 years ago
• RiS3-Lab / muse

  View on GitHub
  Source code of MEUZZ fuzzer
  ☆46Dec 11, 2021Updated 4 years ago
• OSUSecLab / TxSpector

  View on GitHub
  ☆64Jan 4, 2023Updated 3 years ago
• Ljiee / deepfuzz

  View on GitHub
  ☆16Dec 22, 2019Updated 6 years ago
• argotorg / solidity-fuzzing-corpus

  View on GitHub
  ☆17Feb 19, 2025Updated last year
• kupl / VeriSmart-benchmarks

  View on GitHub
  ☆68Aug 17, 2022Updated 3 years ago
• ChainSecurity / ChainFuzz

  View on GitHub
  A fast ethereum transaction fuzzer
  ☆26Apr 2, 2019Updated 6 years ago
• MoonLight-SteinsGate / LearnAFL

  View on GitHub
  This is the project of LearnAFL.
  ☆28Aug 27, 2020Updated 5 years ago
• ntu-SRSLab / vultron

  View on GitHub
  Dynamic Vulnerability Discovery for Smart Contracts
  ☆29Jul 12, 2023Updated 2 years ago
• christoftorres / Elysium

  View on GitHub
  A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).
  ☆27Nov 4, 2022Updated 3 years ago
• SoftSec-KAIST / Smartian-Artifact

  View on GitHub
  Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.
  ☆16Jan 27, 2025Updated last year
• Franklinliu / InvCon-Tool

  View on GitHub
  InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!
  ☆16May 31, 2022Updated 3 years ago
• crytic / echidna

  View on GitHub
  Ethereum smart contract fuzzer
  ☆3,092Mar 16, 2026Updated last week
• hksecurity / FuzzBuilder

  View on GitHub
  ☆47May 18, 2020Updated 5 years ago
• eth-sri / verx-benchmarks

  View on GitHub
  ☆20Nov 11, 2019Updated 6 years ago
• eth-sri / securify2

  View on GitHub
  Securify v2.0
  ☆630May 25, 2025Updated 9 months ago
• christoftorres / Osiris

  View on GitHub
  A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).
  ☆64Mar 7, 2023Updated 3 years ago
• boschresearch / mlfuzz

  View on GitHub
  ☆18Sep 2, 2025Updated 6 months ago
• ucsb-seclab / sailfish

  View on GitHub
  Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
  ☆60Jun 5, 2022Updated 3 years ago
• BanditFuzz / BanditFuzz_Public

  View on GitHub
  Public BanditFuzz Repo
  ☆12Jan 12, 2021Updated 5 years ago
• muellerberndt / sabre

  View on GitHub
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆59Sep 9, 2020Updated 5 years ago
• xiaoly8 / SCRepair

  View on GitHub
  ☆25Jun 21, 2022Updated 3 years ago
• adrianherrera / afl-mutation-graph

  View on GitHub
  Recover mutation graph from an AFL seed
  ☆60Jan 6, 2021Updated 5 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques

  View on GitHub
  ☆10Jul 9, 2020Updated 5 years ago
• nevillegrech / MadMax

  View on GitHub
  Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
  ☆138Dec 7, 2022Updated 3 years ago
• ConsenSysDiligence / daedaluzz

  View on GitHub
  Benchmark Generator for Smart-Contract Fuzzers
  ☆142Oct 2, 2025Updated 5 months ago
• smartbugs / smartbugs-wild

  View on GitHub
  This repository contains 47,398 smart contracts extracted from the Ethereum network.
  ☆199Jun 3, 2020Updated 5 years ago
• DependableSystemsLab / SolidiFI-benchmark

  View on GitHub
  Repository of benchmarks to evaluate Solidity Smart contract analysis tools
  ☆76Jun 16, 2022Updated 3 years ago
• vusec / parmesan

  View on GitHub
  ParmeSan: Sanitizer-guided Greybox Fuzzing
  ☆177Apr 19, 2024Updated last year
• kongqp / DeFiTainter

  View on GitHub
  ☆27May 27, 2023Updated 2 years ago