xf97 / JiuZhouLinks
JiuZhou is a data set of Ethereum bug smart contracts (ICSME 2020).
☆230Updated 4 years ago
Alternatives and similar repositories for JiuZhou
Users that are interested in JiuZhou are comparing it to the libraries listed below
Sorting:
- ☆271Updated 2 years ago
- Smart Contract Vulnerabilities (SCV) List☆504Updated 2 years ago
- Semgrep rules for smart contracts based on DeFi exploits☆699Updated 3 months ago
- POC for DeFi Vulnerabilities☆199Updated 3 years ago
- Classification of smart contract vulnerabilities☆82Updated 6 years ago
- List of CTF related to Ethereum world (solidity smart contracts)☆124Updated 3 years ago
- Ethereum Virtual Machine (EVM) disassembler and assembler☆377Updated 2 weeks ago
- A binary lifter and analysis framework for Ethereum smart contracts☆332Updated last week
- SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).☆391Updated 2 years ago
- Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests☆237Updated 3 years ago
- The Auditor Book☆231Updated last year
- Official repository for Paradigm CTF 2021☆540Updated 3 years ago
- a globally-accessible knowledge base of adversary tactics and techniques based on real-world observations on decentralized finance☆498Updated last year
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆112Updated 5 years ago
- Simplify Ethereum security analysis and testing☆340Updated 7 months ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆223Updated last year
- Materials related to security: docs, checklists, processes, etc...☆203Updated 3 weeks ago
- ☆138Updated 4 years ago
- EVM CFG recovery☆125Updated 2 years ago
- A mission to breakout every single solidity vuln I come across and categorize it☆229Updated 2 years ago
- Learn smart contract security by hacking popular smart contract systems.☆100Updated 7 years ago
- Smart Contract Security Verification Standard☆631Updated 2 years ago
- Puzzles used in the 2022 Paradigm CTF☆389Updated 3 years ago
- Rapid Smart Contract Crawler☆205Updated last year
- Zellic's audits, publications, and reports☆188Updated 3 weeks ago
- ☆726Updated last year
- Fine-tuning GPT for Smart Contract Auditing☆168Updated 2 years ago
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆419Updated last week
- Audits performed by Solidified☆184Updated last year
- DEFI Focus Smart Contract Security Capture the Flag☆178Updated 2 years ago