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
- List of CTF related to Ethereum world (solidity smart contracts)☆118Updated 2 years ago
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆109Updated 5 years ago
- Mutation Testing for Ethereum Smart Contracts☆205Updated last year
- 🧠 A scriptable semantic grep utility for solidity☆145Updated 6 months ago
- A BugBounty companion that checks out high-reward yielding bug bounty code-bases from Immunefi/code4rena 🙌 (use at own risk)☆69Updated 10 months ago
- A smart contract security search utility☆72Updated last month
- 🍋 An open dataset containing smart contract audit issues from various sources.☆207Updated 10 months ago
- ☆98Updated 2 years ago
- Materials related to security: docs, checklists, processes, etc...☆201Updated this week
- DEFI Focus Smart Contract Security Capture the Flag☆177Updated 2 years ago
- Abstraction layer for smart contract build systems☆165Updated 2 weeks ago
- A checklist detailing DevSecOps practices for EVM-based projects.☆148Updated 2 years ago
- ☆115Updated 2 years ago
- ☆194Updated 3 years ago
- EVM CFG recovery☆120Updated last year
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆75Updated 2 years ago
- Experimental tool to ease the review of smart contracts upgrades☆77Updated 10 months ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆206Updated last year
- The purpose of this repo is to list all the related Research Papers focused on Smart-contracts security topics. As well as listing all th…☆41Updated 3 years ago
- ☆13Updated last year
- Barebones Solidity smart contract fuzzer☆94Updated 2 years ago
- A 6-part series on how to use Echidna on real-world codebases☆104Updated last year
- Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests☆236Updated 3 years ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆93Updated 5 months ago
- Audits performed by Solidified☆184Updated 8 months ago
- A repository for Solidity smart contracts acting as security bug tests for static analysis tools.☆32Updated 3 years ago
- This repo contains anti-hack checklists, which will help projects to build and develop secure DeFi applications. If you find anything mis…☆31Updated 2 years ago
- Verified contracts synced from Etherscan☆62Updated 6 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆61Updated 4 years ago
- A Solidity code search tool with built-in static analysis detection☆75Updated 6 months ago