smartdec / classification
Classification of smart contract vulnerabilities
☆82Updated 6 years ago
Alternatives and similar repositories for classification:
Users that are interested in classification are comparing it to the libraries listed below
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆109Updated 5 years ago
- A smart contract security search utility☆74Updated 4 months ago
- 🧠 A scriptable semantic grep utility for solidity☆144Updated 8 months ago
- Mutation Testing for Ethereum Smart Contracts☆207Updated last year
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆208Updated last year
- Audits performed by Solidified☆185Updated 10 months ago
- A BugBounty companion that checks out high-reward yielding bug bounty code-bases from Immunefi/code4rena 🙌 (use at own risk)☆70Updated last year
- 🍋 An open dataset containing smart contract audit issues from various sources.☆218Updated last year
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆75Updated 2 years ago
- List of CTF related to Ethereum world (solidity smart contracts)☆119Updated 3 years ago
- Verified contracts synced from Etherscan☆62Updated 6 years ago
- Materials related to security: docs, checklists, processes, etc...☆201Updated last week
- ☆99Updated 2 years ago
- ☆115Updated 3 years ago
- Abstraction layer for smart contract build systems☆171Updated last week
- ☆195Updated 3 years ago
- ☆108Updated last month
- EVM CFG recovery☆123Updated last year
- Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests☆235Updated 3 years ago
- The Auditor Book☆233Updated last year
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆59Updated 4 years ago
- A checklist detailing DevSecOps practices for EVM-based projects.☆149Updated 2 years ago
- Learn smart contract security by hacking popular smart contract systems.☆99Updated 6 years ago
- A curated list of resources and tools for the MythX smart contract security API☆252Updated 4 years ago
- ☆129Updated 3 months ago
- POC for DeFi Vulnerabilities☆197Updated 2 years ago
- A repository for Solidity smart contracts acting as security bug tests for static analysis tools.☆32Updated 3 years ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆94Updated 8 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆137Updated 4 months ago
- A comprehensive list of security practices for DeFi protocols.☆88Updated 6 months ago