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 3 weeks ago
• ComposableSecurity / SCSVS
  Smart Contract Security Verification Standard
  ☆501Updated 9 months ago
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆427Updated this week
• nevillegrech / gigahorse-toolchain
  A binary lifter and analysis framework for Ethereum smart contracts
  ☆340Updated this week
• smartbugs / smartbugs-curated
  SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…
  ☆124Updated last year
• immunefi-team / forge-poc-templates
  ☆462Updated 7 months ago
• tintinweb / smart-contract-vulndb
  🍋 An open dataset containing smart contract audit issues from various sources.
  ☆226Updated last year
• crytic / evm_cfg_builder
  EVM CFG recovery
  ☆125Updated 2 years ago
• hzysvilla / Academic_Smart_Contract_Papers
  Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
  ☆594Updated this week
• zobront / quickpoc
  easy POC template generation from the command line
  ☆323Updated last year
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆342Updated 6 months ago
• Picodes / 4naly3er
  Static smart contract code 4naly3er
  ☆545Updated last year
• 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…
  ☆400Updated 2 years ago
• InPlusLab / DAppSCAN
  DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.
  ☆71Updated 7 months ago
• sirhashalot / SCV-List
  Smart Contract Vulnerabilities (SCV) List
  ☆501Updated 2 years ago
• code-423n4 / 2025-03-nudgexyz
  ☆17Updated 4 months ago
• Decurity / audit-checklists
  ☆223Updated 2 years ago
• smartbugs / smartbugs
  SmartBugs: A Framework to Analyze Ethereum Smart Contracts
  ☆642Updated last week
• fuzzland / audit_gpt
  Fine-tuning GPT for Smart Contract Auditing
  ☆168Updated 2 years ago
• InPlusLab / ReentrancyStudy-Data
  ☆45Updated 9 months ago
• ConsenSysDiligence / python-solidity-parser
  An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚
  ☆147Updated last year
• kongqp / DeFiTainter
  ☆26Updated 2 years ago
• acorn421 / awesome-smart-contract-datasets
  A curated list of awesome smart contract datasets
  ☆50Updated 11 months ago
• Cyfrin / audit-checklist
  Aggregated audit checklist
  ☆316Updated 5 months ago
• obheda12 / Solidity-Security-Compendium
  A mission to breakout every single solidity vuln I come across and categorize it
  ☆229Updated 2 years ago
• GuardianAudits / Audits
  Institutional-grade web3 security.
  ☆316Updated last week
• 0xcacti / awesome-oracle-manipulation
  Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.
  ☆525Updated last year
• zeroknots / brokentoken
  Foundry Test Suit to test weird ERC20 behavior
  ☆237Updated 2 years ago
• 0xDatapunk / Bridge-Bug-Tracker
  Hacks/Vulns/Audits Compilation
  ☆162Updated last year
• smartbugs / smartbugs-wild
  This repository contains 47,398 smart contracts extracted from the Ethereum network.
  ☆186Updated 5 years ago