ConsensusFuzz / LOKI
A blockchain consensus protocol fuzzing framework
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for LOKI
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆46Updated last year
- A symbolic execution engine for EVM smart contract binaries.☆75Updated last week
- EF/CF - Extremely Fast smart Contract Fuzzing☆63Updated last year
- ☆14Updated 6 months ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆85Updated 3 months ago
- Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts☆14Updated 6 months ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆45Updated 11 months ago
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆144Updated 6 months ago
- Tango: Extracting Higher-Order Feedback through State Inference☆13Updated 3 months ago
- Indexing three datasets for GPTScan☆52Updated 5 months ago
- ☆15Updated 11 months ago
- autofz: Automated Fuzzer Composition at Runtime☆76Updated last year
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆12Updated 2 years ago
- Smart contract front-running vulnerability benchmark☆20Updated 11 months ago
- An external project example using SVF as a library☆19Updated last month
- 一个中文版本的 LibAFL 笔记,主要内容是 LibAFL 原理相关的内容,同时也附加一些 LibAFL 使用方面的 tips ,方便查阅和参考。☆26Updated 11 months ago
- Ethereum VM fuzzer☆54Updated 3 years ago
- ☆54Updated 8 months ago
- ☆18Updated 2 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆52Updated 7 months ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆40Updated 11 months ago
- ☆36Updated 2 weeks ago
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆51Updated 2 years ago
- SeamFuzz Artifact repository for ICSE 2023☆13Updated last year
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 5 months ago
- Papers related with kernel papers☆13Updated last year
- ☆20Updated 4 years ago
- Automated Vulnerability Detection for Solana Smart Contracts☆20Updated 5 months ago
- ☆17Updated 11 months ago
- A practical fuzzing tool for SMT solvers☆11Updated 3 months ago