Alternatives and similar repositories for Nyx:

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

• Troublor / erebus-redgiant
  Smart contract front-running vulnerability benchmark
  ☆21Updated last year
• MetaTrustLabs / GPTScan
  Indexing three datasets for GPTScan
  ☆56Updated 7 months ago
• Messi-Q / IR-Fuzz
  Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).
  ☆46Updated last year
• uni-due-syssec / efcf-framework
  EF/CF - Extremely Fast smart Contract Fuzzing
  ☆65Updated last year
• GPTScan / GPTScan
  ☆56Updated last month
• ucsb-seclab / greed
  A symbolic execution engine for EVM smart contract binaries.
  ☆95Updated last week
• SE2023Test / SCFuzzers
  Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
  ☆14Updated last year
• cokeBeer / LibAFL-Learn
  一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。
  ☆26Updated last year
• uni-due-syssec / evmpatch-developer-study
  ☆20Updated 4 years ago
• OffsideLabs / research
  ☆36Updated 7 months ago
• columbia / SmartInv
  ☆26Updated 2 months ago
• seclab-fudan / RecurScan
  ☆24Updated 11 months ago
• niklasrisse / TopScoreWrongExam
  ☆22Updated 4 months 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
• duytai / sFuzz
  ☆95Updated 2 years ago
• DependableSystemsLab / AChecker
  AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
  ☆34Updated last year
• DependableSystemsLab / eTainter
  eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.
  ☆17Updated last year
• Franklinliu / SpCon-Artifact
  ☆24Updated 8 months ago
• sss-wue / smarter-contracts
  ☆21Updated last year
• occia / fuzzdrivergpt
  A GPT-Based Fuzz Driver Generator
  ☆46Updated last year
• kongqp / DeFiTainter
  ☆23Updated last year
• boschresearch / mlfuzz
  ☆16Updated last year
• NASP-THU / ProphetFuzz
  [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.
  ☆59Updated this week
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆30Updated last year
• ChijinZ / Minerva
  A browser fuzzer augmented by API mod-ref relations
  ☆31Updated 10 months ago
• salmonx / seeds
  模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)
  ☆21Updated 3 years ago
• wtdcode / verite
  Smart Contract Fuzzing Towards Profitable Vulnerabilities
  ☆19Updated this week
• HexHive / Tango
  Tango: Extracting Higher-Order Feedback through State Inference
  ☆14Updated 5 months ago
• ntu-SRSLab / vultron
  Dynamic Vulnerability Discovery for Smart Contracts
  ☆27Updated last year
• secureweb / fuzzcache
  FuzzCache: Optimizing Web Application Fuzzing Through Software-Based Data Cache (ACM CCS 2024)
  ☆10Updated 2 months ago