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
  ☆484Updated 9 months ago
• tintinweb / smart-contract-vulndb
  🍋 An open dataset containing smart contract audit issues from various sources.
  ☆223Updated 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…
  ☆112Updated last year
• crytic / evm_cfg_builder
  EVM CFG recovery
  ☆125Updated 2 years ago
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆421Updated this week
• zobront / quickpoc
  easy POC template generation from the command line
  ☆323Updated last year
• kongqp / DeFiTainter
  ☆26Updated 2 years ago
• ComposableSecurity / SCSVS
  Smart Contract Security Verification Standard
  ☆494Updated 7 months ago
• christoftorres / Horus
  A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).
  ☆32Updated 2 months ago
• InPlusLab / ReentrancyStudy-Data
  ☆44Updated 8 months ago
• hzysvilla / Academic_Smart_Contract_Papers
  Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
  ☆577Updated this week
• InPlusLab / DAppSCAN
  DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.
  ☆70Updated 5 months ago
• Decurity / audit-checklists
  ☆223Updated 2 years ago
• obheda12 / Solidity-Security-Compendium
  A mission to breakout every single solidity vuln I come across and categorize it
  ☆229Updated 2 years ago
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆335Updated 5 months ago
• immunefi-team / forge-poc-templates
  ☆460Updated 5 months ago
• pessimistic-io / slitherin
  Slither Detectors by Pessimistic.io
  ☆373Updated last year
• 0xNazgul / Blockchain-Security-Library
  A library of blockchain security resources for various categories in blockchain.
  ☆164Updated 5 months ago
• zksecurity / zkbugs
  Reproduce ZKP vulnerabilities
  ☆252Updated last week
• zeroknots / brokentoken
  Foundry Test Suit to test weird ERC20 behavior
  ☆237Updated 2 years 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
• devdacian / ai-auditor-primers
  Primers for Specialist AI Smart Contract Auditors
  ☆210Updated 3 weeks ago
• nevillegrech / gigahorse-toolchain
  A binary lifter and analysis framework for Ethereum smart contracts
  ☆332Updated this week
• 0xDatapunk / Bridge-Bug-Tracker
  Hacks/Vulns/Audits Compilation
  ☆162Updated last year
• SeUniVr / EtherSolve
  Source code of EtherSolve: static analysis of Ethereum bytecode
  ☆74Updated last week
• christoftorres / ConFuzzius
  A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
  ☆98Updated last year
• fuzzland / audit_gpt
  Fine-tuning GPT for Smart Contract Auditing
  ☆168Updated 2 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
• MiloTruck / audits
  Audits and findings by MiloTruck
  ☆173Updated last month
• aviggiano / theauditorbook
  The Auditor Book
  ☆231Updated last year