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

• kupl / VeriSmart-public

  View on GitHub
  a safety verifier for Solidity smart contracts
  ☆96Jan 17, 2023Updated 3 years ago
• duytai / sFuzz

  View on GitHub
  ☆102Mar 24, 2022Updated 3 years ago
• SoftSec-KAIST / Smartian

  View on GitHub
  Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
  ☆157Nov 24, 2025Updated 3 months ago
• 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
• RiS3-Lab / muse

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

  View on GitHub
  ☆18Sep 2, 2025Updated 6 months ago
• nescio007 / teether

  View on GitHub
  ☆137Jul 27, 2021Updated 4 years ago
• hksecurity / FuzzBuilder

  View on GitHub
  ☆47May 18, 2020Updated 5 years ago
• MoonLight-SteinsGate / LearnAFL

  View on GitHub
  This is the project of LearnAFL.
  ☆28Aug 27, 2020Updated 5 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques

  View on GitHub
  ☆10Jul 9, 2020Updated 5 years ago
• Ljiee / deepfuzz

  View on GitHub
  ☆16Dec 22, 2019Updated 6 years ago
• kupl / VeriSmart-benchmarks

  View on GitHub
  ☆68Aug 17, 2022Updated 3 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
• ntu-SRSLab / vultron

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

  View on GitHub
  ☆39Sep 27, 2022Updated 3 years ago
• argotorg / solidity-fuzzing-corpus

  View on GitHub
  ☆17Feb 19, 2025Updated last year
• BanditFuzz / BanditFuzz_Public

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

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

  View on GitHub
  Advanced file format fuzzer based-on deep neural language models.
  ☆41Apr 13, 2023Updated 2 years ago
• eth-sri / verx-benchmarks

  View on GitHub
  ☆20Nov 11, 2019Updated 6 years ago
• adrianherrera / afl-mutation-graph

  View on GitHub
  Recover mutation graph from an AFL seed
  ☆60Jan 6, 2021Updated 5 years ago
• nus-apr / CrashRepair

  View on GitHub
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆19Sep 12, 2024Updated last year
• eqv / aflq_fast_cov

  View on GitHub
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆34Jun 6, 2021Updated 4 years ago
• HexHive / FuZZan

  View on GitHub
  FuZZan: Efficient Sanitizer Metadata Design for Fuzzing
  ☆125Mar 31, 2021Updated 4 years 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
• 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
• tum-i4 / munch

  View on GitHub
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆38Feb 22, 2019Updated 7 years ago
• mboehme / pythia

  View on GitHub
  Pythia (extends AFL with Predictions)
  ☆66Jun 18, 2021Updated 4 years ago
• crytic / echidna

  View on GitHub
  Ethereum smart contract fuzzer
  ☆3,084Feb 8, 2026Updated 3 weeks ago
• season-lab / SymFusion

  View on GitHub
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆18May 5, 2023Updated 2 years ago
• OSUSecLab / TxSpector

  View on GitHub
  ☆64Jan 4, 2023Updated 3 years ago
• junxzm1990 / afl-pt

  View on GitHub
  ☆53Jun 13, 2019Updated 6 years ago
• ChengyuSong / Kirenenko

  View on GitHub
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆102Jul 14, 2022Updated 3 years ago
• christoftorres / Osiris

  View on GitHub
  A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).
  ☆65Mar 7, 2023Updated 2 years ago
• eth-sri / securify2

  View on GitHub
  Securify v2.0
  ☆628May 25, 2025Updated 9 months ago