0xAfroSec / py-solidity-astLinks
A Python library for parsing the Abstract Syntax Tree (AST) of compiled Solidity files.
☆11Updated 2 years ago
Alternatives and similar repositories for py-solidity-ast
Users that are interested in py-solidity-ast are comparing it to the libraries listed below
Sorting:
- Bugs in commonly forked DeFi protocols☆489Updated 3 months ago
- ☆48Updated 11 months ago
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆128Updated last year
- 🍋 An open dataset containing smart contract audit issues from various sources.☆235Updated last year
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆76Updated 9 months ago
- EVM CFG recovery☆126Updated 2 years ago
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆613Updated this week
- A binary lifter and analysis framework for Ethereum smart contracts☆351Updated 3 weeks ago
- Smart Contract Security Verification Standard☆512Updated 11 months ago
- Datasets for evaluating smart contract security analysis tools ( continuously updating... )☆195Updated 2 years ago
- easy POC template generation from the command line☆324Updated last year
- A curated list of awesome smart contract datasets☆53Updated last year
- This repository contains 47,398 smart contracts extracted from the Ethereum network.☆192Updated 5 years ago
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆440Updated 2 weeks ago
- Smart Contract Vulnerabilities (SCV) List☆505Updated 2 years ago
- Pre-built security properties for common Ethereum operations☆353Updated last week
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆655Updated this week
- ☆471Updated 9 months ago
- Foundry Test Suit to test weird ERC20 behavior☆236Updated 2 years ago
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆146Updated last year
- Fine-tuning GPT for Smart Contract Auditing☆165Updated 2 years ago
- ☆61Updated 3 years ago
- ☆226Updated 2 years ago
- A library of blockchain security resources for various categories in blockchain.☆173Updated 8 months ago
- Static smart contract code 4naly3er☆549Updated last year
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆157Updated last month
- Hacks/Vulns/Audits Compilation☆162Updated last year
- Slither Detectors by Pessimistic.io☆373Updated last year
- A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition…☆403Updated 2 years ago
- Symbolic stack CFG generator for EVM☆190Updated 10 months ago