Alternatives and similar repositories for py-solidity-ast

Users that are interested in py-solidity-ast are comparing it to the libraries listed below

• crytic / evm_cfg_builder
  EVM CFG recovery
  ☆126Updated 2 years ago
• smartbugs / smartbugs-curated
  SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…
  ☆103Updated last year
• electisec / defi-fork-bugs
  Bugs in commonly forked DeFi protocols
  ☆470Updated 7 months ago
• InPlusLab / ReentrancyStudy-Data
  ☆44Updated 6 months ago
• tintinweb / smart-contract-vulndb
  🍋 An open dataset containing smart contract audit issues from various sources.
  ☆222Updated last year
• kongqp / DeFiTainter
  ☆26Updated 2 years ago
• nevillegrech / gigahorse-toolchain
  A binary lifter and analysis framework for Ethereum smart contracts
  ☆325Updated this week
• hzysvilla / Academic_Smart_Contract_Papers
  Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
  ☆546Updated this week
• InPlusLab / DAppSCAN
  DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.
  ☆64Updated 3 months ago
• Messi-Q / Smart-Contract-Dataset
  Datasets for evaluating smart contract security analysis tools ( continuously updating... )
  ☆178Updated last year
• christoftorres / ConFuzzius
  A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
  ☆97Updated last year
• smartbugs / smartbugs-wild
  This repository contains 47,398 smart contracts extracted from the Ethereum network.
  ☆177Updated 5 years ago
• DependableSystemsLab / AChecker
  AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
  ☆36Updated 2 years ago
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆404Updated this week
• plotchy / evm-cfg
  Symbolic stack CFG generator for EVM
  ☆184Updated 5 months ago
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆327Updated 3 months ago
• ComposableSecurity / SCSVS
  Smart Contract Security Verification Standard
  ☆489Updated 5 months ago
• zobront / quickpoc
  easy POC template generation from the command line
  ☆319Updated last year
• pessimistic-io / slitherin
  Slither Detectors by Pessimistic.io
  ☆371Updated last year
• immunefi-team / forge-poc-templates
  ☆452Updated 3 months ago
• SoftSec-KAIST / Smartian
  Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
  ☆151Updated 5 months ago
• SeUniVr / EtherSolve
  Source code of EtherSolve: static analysis of Ethereum bytecode
  ☆74Updated last year
• sirhashalot / SCV-List
  Smart Contract Vulnerabilities (SCV) List
  ☆494Updated last year
• sujeetc / ScrawlD
  ☆55Updated 3 years ago
• DependableSystemsLab / SolidiFI-benchmark
  Repository of benchmarks to evaluate Solidity Smart contract analysis tools
  ☆69Updated 3 years ago
• 0xDatapunk / Bridge-Bug-Tracker
  Hacks/Vulns/Audits Compilation
  ☆163Updated 10 months ago
• spearbit / armory
  A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition…
  ☆403Updated last year
• zeroknots / brokentoken
  Foundry Test Suit to test weird ERC20 behavior
  ☆238Updated 2 years ago
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆119Updated 11 months ago
• fuzzland / audit_gpt
  Fine-tuning GPT for Smart Contract Auditing
  ☆167Updated 2 years ago