Alternatives and similar repositories for Solythesis:

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

• crytic / echidna-parade
  ☆28Updated last year
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 3 months ago
• nveloso / conkas
  Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
  ☆75Updated 2 years ago
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆47Updated 2 years ago
• ChainSecurity / ChainFuzz
  A fast ethereum transaction fuzzer
  ☆25Updated 5 years ago
• Consensys / diligence-fuzzing
  ☆37Updated last month
• runtimeverification / kontrol
  ☆65Updated this week
• andstor / verified-smart-contracts
  Verified Ethereum Smart Contract dataset
  ☆28Updated last year
• RUB-SysSec / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆102Updated 2 years ago
• xternet / echidna-etheno-hh-template
  Echidna, Etheno, and HardHat template for fuzzing complex systems.
  ☆9Updated 2 years ago
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆19Updated 6 months ago
• ucsb-seclab / sailfish
  Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
  ☆56Updated 2 years ago
• costa-group / gasol-optimizer
  ☆107Updated this week
• InspexCo / cross-contract-reentrancy
  Cross-Contract Reentrancy Demo
  ☆26Updated 2 years ago
• verovm / usenix-atc21
  ☆17Updated 2 years ago
• JoranHonig / awesome-web3-ai-security
  ☆37Updated 9 months ago
• WilfredTA / symbolic-stack-machines
  Library for building symbolically executable stack-based virtual machines
  ☆74Updated 2 years ago
• ChainSecurity / TSTORE-Low-Gas-Reentrancy
  Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas
  ☆14Updated last year
• iamdefinitelyahuman / py-solc-ast
  A tool for exploring the solc abstract syntax tree
  ☆38Updated 11 months ago
• Consensys / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆131Updated 2 months ago
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆94Updated 2 years ago
• viperproject / 2vyper
  A static verifer for Ethereum Smart Contracts written in Vyper
  ☆51Updated 2 years ago
• franck44 / evm-dis
  An EVM bytecode disassembler/assembler
  ☆37Updated 2 months ago
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆53Updated 2 weeks ago
• source-code-scam-paper / source-scam-all-in-one
  This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.
  ☆19Updated last year
• kupl / VeriSmart-benchmarks
  ☆62Updated 2 years ago
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆35Updated 7 months ago
• statechannels / bytecode-debugger
  A simple EVM bytecode debugger
  ☆19Updated 3 years ago
• Zellic / Masamune
  A smart contract security search utility
  ☆73Updated 2 months ago
• defi-formal / cff
  Miner extractable value modeling and tools.
  ☆66Updated 3 years ago