ConsensusFuzz / LOKI

Related projects ⓘ

Alternatives and complementary repositories for LOKI

• Messi-Q / IR-Fuzz
  Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).
  ☆46Updated last year
• ucsb-seclab / greed
  A symbolic execution engine for EVM smart contract binaries.
  ☆75Updated 3 weeks ago
• uni-due-syssec / efcf-framework
  EF/CF - Extremely Fast smart Contract Fuzzing
  ☆63Updated last year
• Troublor / erebus-redgiant
  Smart contract front-running vulnerability benchmark
  ☆20Updated 11 months ago
• duytai / sFuzz
  ☆92Updated 2 years ago
• trusslab / brf
  ☆15Updated 6 months ago
• FuzzingLabs / wasm_runtimes_fuzzing
  Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing
  ☆86Updated 3 months ago
• SoftSec-KAIST / Smartian
  Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
  ☆145Updated 6 months ago
• Troublor / Nyx
  Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
  ☆15Updated 6 months ago
• SE2023Test / SCFuzzers
  Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
  ☆13Updated last year
• Tricker-z / CoFuzz
  ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode
  ☆45Updated last year
• uni-due-syssec / evmpatch-developer-study
  ☆20Updated 4 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆52Updated 7 months ago
• MetaTrustLabs / GPTScan
  Indexing three datasets for GPTScan
  ☆52Updated 5 months ago
• HexHive / Tango
  Tango: Extracting Higher-Order Feedback through State Inference
  ☆13Updated 3 months ago
• OSUSecLab / TxSpector
  ☆58Updated last year
• kupl / VeriSmart-benchmarks
  ☆61Updated 2 years ago
• DependableSystemsLab / AChecker
  AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
  ☆33Updated last year
• MultiFuzz / MultiFuzz
  MultiFuzz: A Multi-stream Fuzzer For Testing Monolithic Firmware
  ☆22Updated 3 months ago
• parasol-aser / vrust-open-source
  Automated Vulnerability Detection for Solana Smart Contracts
  ☆20Updated 6 months ago
• kongqp / DeFiTainter
  ☆22Updated last year
• kupl / SeamFuzz-Artifact
  SeamFuzz Artifact repository for ICSE 2023
  ☆13Updated last year
• boschresearch / mlfuzz
  ☆15Updated 11 months ago
• columbia / SmartInv
  ☆23Updated last week
• GPTScan / GPTScan
  ☆48Updated 5 months ago
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆12Updated 2 years ago
• strongcourage / fuzzing-targets
  A collection of widely-fuzzed targets
  ☆44Updated 5 years ago
• ucsb-seclab / sailfish
  Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
  ☆51Updated 2 years ago
• whbjzzwjxq / ZKAP
  ☆20Updated 3 months ago
• OMH4ck / mufuzz
  ☆33Updated last year