Alternatives and similar repositories for LOKI:

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

• Messi-Q / IR-Fuzz
  Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).
  ☆46Updated last year
• SoftSec-KAIST / Smartian
  Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
  ☆148Updated last week
• Troublor / erebus-redgiant
  Smart contract front-running vulnerability benchmark
  ☆21Updated last year
• kupl / SeamFuzz-Artifact
  SeamFuzz Artifact repository for ICSE 2023
  ☆13Updated last year
• ucsb-seclab / greed
  A symbolic execution engine for EVM smart contract binaries.
  ☆95Updated last week
• blocksecteam / BpfChecker
  This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…
  ☆10Updated last month
• Troublor / Nyx
  Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
  ☆16Updated 8 months ago
• Tricker-z / CoFuzz
  ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode
  ☆45Updated last year
• SE2023Test / SCFuzzers
  Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
  ☆14Updated last year
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆53Updated 9 months ago
• MetaTrustLabs / GPTScan
  Indexing three datasets for GPTScan
  ☆56Updated 7 months ago
• uni-due-syssec / efcf-framework
  EF/CF - Extremely Fast smart Contract Fuzzing
  ☆65Updated last year
• duytai / sFuzz
  ☆95Updated 2 years ago
• ucsb-seclab / sailfish
  Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
  ☆55Updated 2 years ago
• CGCL-codes / HistFuzz
  A practical fuzzing tool for SMT solvers
  ☆11Updated 5 months ago
• elManto / DDFuzz
  The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…
  ☆64Updated 2 years ago
• trusslab / brf
  ☆15Updated 8 months ago
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆70Updated 7 months ago
• z2-2z / peacock
  Fast and effective grammar-based fuzzing based on Gramatron
  ☆16Updated last month
• cokeBeer / LibAFL-Learn
  一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。
  ☆26Updated last year
• ntu-SRSLab / vultron
  Dynamic Vulnerability Discovery for Smart Contracts
  ☆27Updated last year
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆72Updated 2 years ago
• FuzzingLabs / wasm_runtimes_fuzzing
  Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing
  ☆87Updated 5 months ago
• kongqp / DeFiTainter
  ☆23Updated last year
• wasmerio / wasm-fuzz
  Fuzzer for Wasm and Wasmer
  ☆25Updated 4 years ago
• wtdcode / verite
  Smart Contract Fuzzing Towards Profitable Vulnerabilities
  ☆19Updated this week
• DependableSystemsLab / eTainter
  eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.
  ☆17Updated last year
• uni-due-syssec / evmpatch-developer-study
  ☆20Updated 4 years ago
• Lawliar / ConAFL
  AFL enhanced for concurrency bug and vulnerabilities
  ☆21Updated 4 years ago
• strongcourage / fuzzing-targets
  A collection of widely-fuzzed targets
  ☆44Updated 5 years ago