Alternatives and similar repositories for SoliDiffy

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

• verovm / usenix-atc21
  ☆18Updated 3 years ago
• verovm / record-replay
  ☆18Updated 2 months ago
• kupl / VeriSmart-benchmarks
  ☆62Updated 2 years ago
• aoli-al / Solythesis
  Solythesis: Securing Smart Contract with Runtime Validation
  ☆12Updated 2 years ago
• ucsb-seclab / sailfish
  Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
  ☆57Updated 3 years ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆42Updated last year
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆19Updated 9 months ago
• webthethird / UpgradeScanner
  A Python script to scan EVM-based blockchains for smart contract upgrades
  ☆10Updated last year
• christoftorres / Elysium
  A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).
  ☆26Updated 2 years ago
• gsalzer / cgt
  Consolidated Ground Truth (CGT) for Weaknesses of Ethereum Smart Contracts
  ☆22Updated 7 months ago
• franck44 / evm-dis
  An EVM bytecode disassembler/assembler
  ☆48Updated 5 months ago
• aviggiano / fuzzer-evaluation
  Evaluating fuzzer effectiveness
  ☆21Updated last year
• fsainas / contracts-verification-benchmark
  An open benchmark for evaluating smart contracts verification tools.
  ☆14Updated 3 weeks ago
• syntest-framework / syntest-solidity
  A tool to generate synthetic tests for the Solidity platform
  ☆28Updated last year
• RUB-SysSec / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆105Updated 2 years ago
• csienslab / ProMutator
  ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions
  ☆39Updated 3 years ago
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆16Updated 2 years ago
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆47Updated 2 years ago
• ChainSecurity / ChainFuzz
  A fast ethereum transaction fuzzer
  ☆26Updated 6 years ago
• runtimeverification / kontrol
  ☆76Updated this week
• lisa-analyzer / evm-lisa
  EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
  ☆27Updated last week
• shuo-young / lydia
  Lydia: Who's Your Enemy in the Dark Forrest
  ☆12Updated last year
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆65Updated 3 weeks ago
• chicxurug / SolMet-Solidity-parser
  A static analysis tool for calculating OO-style source code metrics for Solidity smart contracts.
  ☆39Updated last year
• baolean / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆13Updated 2 years ago
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆137Updated 5 months ago
• blocksecteam / hookscan
  Analyzer for Uniswap v4 Hooks
  ☆10Updated last year
• DependableSystemsLab / AChecker
  AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
  ☆36Updated 2 years ago
• whbjzzwjxq / ZKAP
  ☆24Updated 9 months ago
• iamdefinitelyahuman / py-solc-ast
  A tool for exploring the solc abstract syntax tree
  ☆39Updated last year