Alternatives and similar repositories for lydia

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

• wtdcode / verite
  Smart Contract Fuzzing Towards Profitable Vulnerabilities
  ☆54Updated 3 months ago
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆140Updated 3 weeks ago
• DeFiHackLabs / blazctf-2024-writeup
  ☆17Updated last year
• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆101Updated last year
• runtimeverification / kontrol
  ☆84Updated last week
• sbip-sg / CuEVM
  Cuda implementation of EVM bytecode executor
  ☆117Updated 10 months ago
• igorganich / damn-vulnerable-defi-halmos
  Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.
  ☆33Updated 8 months ago
• ChainSecurity / TSTORE-Low-Gas-Reentrancy
  Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas
  ☆15Updated last year
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆124Updated last year
• greekfetacheese / revm-by-example
  Practical examples of the Rust Ethereum Virtual Machine
  ☆69Updated last year
• Decurity / tx-coverage
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆75Updated last year
• fuzzland / writeup
  CTF Writeups
  ☆36Updated last year
• OpenZeppelin / sgp
  Solidity ANTLR4 grammar Python parser
  ☆13Updated 7 months ago
• paco0x / kyber-exploit-example
  reproduce kyber-elastic exploit
  ☆77Updated last year
• cakevm / huff-neo
  huff-neo marks a new dawn for the once-abandoned huff-rs, breathing fresh life into its legacy.
  ☆44Updated last week
• perimetersec / fuzzlib
  General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing
  ☆52Updated last week
• danhper / eclair
  A Solidity interpreter
  ☆70Updated 2 months ago
• BitFinding / multiplexer
  A simple multiplexer contract to execute a sequence of transactions.
  ☆48Updated 4 months ago
• acuarica / evm
  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…
  ☆99Updated 7 months ago
• plotchy / evm-cfg
  Symbolic stack CFG generator for EVM
  ☆188Updated 8 months ago
• edb-rs / edb
  EDB: The Ethereum Project Debugger
  ☆329Updated this week
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated 2 years ago
• franck44 / evm-dis
  An EVM bytecode disassembler/assembler
  ☆51Updated 10 months ago
• Philogy / evm-glue
  ☆83Updated 8 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆74Updated 10 months ago
• paradigmxyz / revmc
  JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
  ☆243Updated 9 months ago
• Rollp0x / revm-trace
  ☆40Updated 3 months ago
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆96Updated 3 years ago
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆110Updated 2 months ago
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆45Updated 2 years ago