Alternatives and similar repositories for dasp

Users that are interested in dasp are comparing it to the libraries listed below

• muellerberndt / smashing-smart-contracts
  Writings on symbolic-execution-based security analysis of EVM smart contracts.
  ☆177Updated 6 years ago
• thec00n / smart-contract-honeypots
  This repo contains a collection of smart contract honeypots.
  ☆295Updated 7 years ago
• eth-sri / securify
  [DEPRECATED] Security Scanner for Ethereum Smart Contracts
  ☆223Updated 6 years ago
• FuzzingLabs / octopus
  Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
  ☆488Updated 2 years ago
• nongiach / awesome-cryptocurrency-security
  😎 Curated list about cryptocurrency security (reverse / exploit / fuzz..)
  ☆199Updated 6 years ago
• nccgroup / GOATCasino
  This is an intentionally vulnerable smart contract truffle deployment aimed at allowing those interested in smart contract security to ex…
  ☆120Updated 7 years ago
• misterch0c / Solidlity-Vulnerable
  Vulnerable smart contracts
  ☆70Updated 7 years ago
• fergarrui / ethereum-security
  Security issues in Ethereum demonstrated in mocha tests. The fix is also demonstrated
  ☆138Updated 2 years ago
• Arachnid / uscc
  ☆242Updated 3 years ago
• ivicanikolicsg / MAIAN
  MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
  ☆566Updated 2 years ago
• crytic / blockchain-security-contacts
  Directory of security contacts for blockchain companies
  ☆406Updated last year
• muellerberndt / scrooge-mcetherface
  Scrooge McEtherface is an Ethereum auto-looter that was presented at DEFCON 2019. It uses symbolic execution & SMT solving to generically…
  ☆153Updated 2 years ago
• tineola / tineola
  Blockchains. Destruction. Mayhem.
  ☆50Updated 3 years ago
• shlee-lab / Smart-contract-security-analysis
  Papers of smart contract security analysis (and tools)
  ☆36Updated 6 years ago
• teamnsrg / erays
  Ethereum smart contract reverse engineering
  ☆104Updated 7 years ago
• crytic / ida-evm
  IDA Processor Module for the Ethereum Virtual Machine (EVM)
  ☆317Updated 2 years ago
• IC3Hydra / Hydra
  Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.
  ☆74Updated 7 years ago
• nescio007 / teether
  ☆137Updated 4 years ago
• crytic / rattle
  evm binary static analysis
  ☆368Updated 2 years ago
• solidityj / solidity-antlr4
  Solidity grammar for ANTLR4
  ☆123Updated 5 years ago
• muellerberndt / laser-ethereum
  Symbolic virtual machine for Ethereum
  ☆69Updated 7 years ago
• smartdec / smartcheck
  SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
  ☆395Updated 2 years ago
• muellerberndt / awesome-mythx-smart-contract-security-tools
  A curated list of resources and tools for the MythX smart contract security API
  ☆254Updated 5 years ago
• sec-bit / awesome-buggy-erc20-tokens
  A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
  ☆629Updated last year
• pertsev / solidity_tricks
  Some examples of Solidity tricks and writeups of valuable bugs (in progress)
  ☆46Updated 7 years ago
• nkbai / defcon26
  my talk on defcon26
  ☆20Updated 7 years ago
• EricR / sol-function-profiler
  Solidity Contract Function Profiler
  ☆80Updated 7 years ago
• ConsenSysDiligence / truffle-security
  MythX smart contract security verification plugin for Truffle Framework
  ☆126Updated 4 years ago
• dmuhs / teatime
  An RPC attack framework for Blockchain nodes.
  ☆95Updated 2 years ago
• thec00n / etherscan_verified_contracts
  Verified contracts synced from Etherscan
  ☆63Updated 7 years ago