CryptoServices / dasp
The Decentralized Application Security Project
☆238Updated 3 years ago
Related projects: ⓘ
- Compiled writings on EVM smart contracts security analysis.☆166Updated 5 years ago
- 😎 Curated list about cryptocurrency security (reverse / exploit / fuzz..)☆197Updated 4 years ago
- This repo contains a collection of smart contract honeypots.☆286Updated 6 years ago
- Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)☆478Updated 9 months ago
- This is an intentionally vulnerable smart contract truffle deployment aimed at allowing those interested in smart contract security to ex…☆112Updated 5 years ago
- [DEPRECATED] Security Scanner for Ethereum Smart Contracts☆215Updated 4 years ago
- ☆234Updated 2 years ago
- Security issues in Ethereum demonstrated in mocha tests. The fix is also demonstrated☆140Updated last year
- MythX smart contract security verification plugin for Truffle Framework☆124Updated 2 years ago
- Vulnerable smart contracts☆70Updated 6 years ago
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆555Updated 10 months ago
- Directory of security contacts for blockchain companies☆400Updated 6 months ago
- SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).☆357Updated last year
- A curated list of resources and tools for the MythX smart contract security API☆248Updated 4 years ago
- The project has been moved to this new repo https://github.com/melonproject/oyente☆64Updated 7 years ago
- ☆134Updated 3 years ago
- evm binary static analysis☆347Updated last year
- Scrooge McEtherface is an Ethereum auto-looter that was presented at DEFCON 2019. It uses symbolic execution & SMT solving to generically…☆144Updated last year
- Utilities for interacting with the Ethereum virtual machine☆362Updated 5 years ago
- ☆79Updated this week
- A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected☆613Updated 7 months ago
- Symbolic virtual machine for Ethereum☆68Updated 6 years ago
- IDA Processor Module for the Ethereum Virtual Machine (EVM)☆306Updated 8 months ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆73Updated 6 years ago
- Ethereum solidity graph plain debugger. To have the whole picture when debugging.☆352Updated last year
- Verified contracts synced from Etherscan☆62Updated 5 years ago
- Simplify Ethereum security analysis and testing☆330Updated last year
- ☆203Updated this week
- Audits performed by Solidified☆180Updated 3 months ago
- Visualize Solidity control flow for smart contract security analysis. ⇆☆1,015Updated last year