Alternatives and similar repositories for revela:

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

• FuzzingLabs / sui-fuzzer
  Sui smart contract fuzzer
  ☆36Updated last year
• anza-xyz / security-audits
  Published security audits
  ☆77Updated last week
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆120Updated 8 months ago
• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆98Updated 8 months ago
• az0mb13 / awesome-solana-security
  A curated list of awesome Solana security resources
  ☆59Updated last year
• Polaristow / awesome-ton-security
  A curated list of awesome ton security resources
  ☆30Updated this week
• blocksecteam / rustle
  A static analyzer for NEAR smart contract in Rust
  ☆105Updated last year
• bnb-chain / bsc-mev-info
  ☆38Updated this week
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆43Updated last year
• otter-sec / bn-ebpf-solana
  Binary Ninja plugin for Solana eBPF
  ☆176Updated last week
• Zellic / EVM-trackooor
  A modular tool to track anything on the EVM chain, including real-time tracking and alerts.
  ☆142Updated 3 months ago
• Auditware / radar
  A static analysis tool for anchor rust programs.
  ☆87Updated last month
• acuarica / evm
  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…
  ☆89Updated last month
• wtdcode / verite
  Smart Contract Fuzzing Towards Profitable Vulnerabilities
  ☆40Updated 2 months ago
• sec3-service / IDLGuesser
  IDL Guesser is an open-source tool that automatically recovers the IDL information from closed-source Anchor-based Solana programs.
  ☆25Updated last month
• fuzzland / blazctf-2024
  ☆39Updated 7 months ago
• movebit / Sampled-Audit-Reports
  MoveBit Sampled Audit Reports
  ☆38Updated 6 months ago
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆137Updated 5 months ago
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆111Updated last year
• solidquant / revm-is-all-you-need
  EVM simulation tutorials and samples (revm / foundry-evm / eth_call)
  ☆53Updated last year
• minaminao / erever
  My swiss army knife for reversing EVM bytecodes (super experimental)
  ☆118Updated 6 months ago
• saruman9 / move_ctf_writeup
  Writeup for Move CTF 2022 by MoveBit and others.
  ☆18Updated 2 years ago
• blocksecteam / audit-reports
  ☆33Updated this week
• deliriusz / awesome-cosmos-security
  A curated list of Cosmos ecosystem links, focusing on the security aspect of it
  ☆57Updated last month
• 0xToshii / mr-steal-yo-crypto-ctf
  Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)
  ☆103Updated last year
• Decurity / tx-coverage
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆71Updated last year
• SunWeb3Sec / damn-vulnerable-defi-v4-solutions
  Damn Vulnerable DeFi v4 Solutions
  ☆42Updated 7 months ago
• Zellic / move-prover-examples
  A gentle, example-based guide to getting started with the Move prover.
  ☆48Updated 2 years ago
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated last year
• riptl / binaryninja-ebpf
  Binary Ninja eBPF & Solana plugin (disasm & LLIL)
  ☆36Updated 2 years ago