Alternatives and similar repositories for py-solidity-ast

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

• electisec / defi-fork-bugs
  Bugs in commonly forked DeFi protocols
  ☆485Updated last week
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆424Updated this week
• tintinweb / smart-contract-vulndb
  🍋 An open dataset containing smart contract audit issues from various sources.
  ☆225Updated last year
• crytic / evm_cfg_builder
  EVM CFG recovery
  ☆125Updated 2 years ago
• nevillegrech / gigahorse-toolchain
  A binary lifter and analysis framework for Ethereum smart contracts
  ☆334Updated this week
• kongqp / DeFiTainter
  ☆26Updated 2 years ago
• zobront / quickpoc
  easy POC template generation from the command line
  ☆323Updated last year
• InPlusLab / ReentrancyStudy-Data
  ☆44Updated 8 months ago
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆340Updated 5 months ago
• aviggiano / theauditorbook
  The Auditor Book
  ☆231Updated last year
• smartbugs / smartbugs-curated
  SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…
  ☆120Updated last year
• sirhashalot / SCV-List
  Smart Contract Vulnerabilities (SCV) List
  ☆503Updated 2 years ago
• ConsenSysDiligence / python-solidity-parser
  An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚
  ☆147Updated last year
• immunefi-team / forge-poc-templates
  ☆460Updated 6 months ago
• 0xDatapunk / Bridge-Bug-Tracker
  Hacks/Vulns/Audits Compilation
  ☆162Updated last year
• plotchy / evm-cfg
  Symbolic stack CFG generator for EVM
  ☆188Updated 8 months ago
• pessimistic-io / slitherin
  Slither Detectors by Pessimistic.io
  ☆372Updated last year
• Decurity / audit-checklists
  ☆223Updated 2 years ago
• zeroknots / brokentoken
  Foundry Test Suit to test weird ERC20 behavior
  ☆238Updated 2 years ago
• ComposableSecurity / SCSVS
  Smart Contract Security Verification Standard
  ☆499Updated 8 months ago
• fuzzland / audit_gpt
  Fine-tuning GPT for Smart Contract Auditing
  ☆167Updated 2 years ago
• devdacian / solidity-fuzzing-comparison
  A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
  ☆172Updated 8 months ago
• perimetersec / public-fuzzing-campaigns-list
  A list of public fuzzing campaigns
  ☆120Updated 3 months ago
• Picodes / 4naly3er
  Static smart contract code 4naly3er
  ☆546Updated last year
• christoftorres / Horus
  A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).
  ☆32Updated 2 months ago
• acorn421 / awesome-smart-contract-datasets
  A curated list of awesome smart contract datasets
  ☆48Updated 11 months ago
• engn33r / DeFi-Risk-Modelling-Awesome
  Resources for the budding field of risk modelling and analysis in DeFi
  ☆159Updated last year
• Recon-Fuzz / create-chimera-app
  Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.
  ☆42Updated 2 months ago
• christoftorres / ConFuzzius
  A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
  ☆98Updated 2 years ago
• 0xNazgul / Blockchain-Security-Library
  A library of blockchain security resources for various categories in blockchain.
  ☆166Updated 5 months ago