Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
cryptocurrency-security-awesome
Cryptocurrencies related Security resources
https://github.com/ashishb/cryptocurrency-security-awesome
Last synced: about 13 hours ago
JSON representation
-
Tools
- Eveem - Solidity decompiler
- Pakala - Offensive vulnerability scanner for ethereum, also see, [Stealing Ethereum using Pakala](https://www.palkeo.com/en/projets/ethereum/stealing_ether.html)
- Karl - A monitor for smart contracts that checks for security vulnerabilities
- Securify - sri/securify2) - Security Scanner for Ethereum Smart Contracts
- Manticore - Symbolic execution tool
- Slither - source code analyzer
- Surya - Solidity code inspector
- Verisol - A formal verifier and analysis tool for Solidity Smart Contracts from Microsoft
- Echidna - Ethereum fuzz testing tool
- Benchmark Solidity
- Mythril - Security analysis tool for EVM bytecode
- Eveem - Solidity decompiler
Programming Languages
Categories
Sub Categories
Keywords
ethereum
7
security
6
solidity
4
symbolic-execution
4
blockchain
3
testing
2
program-analysis
2
static-analysis
2
smart-contracts
2
smt
2
evm
2
security-scanner
1
ethereum-virtual-machine
1
defcon
1
defcon27
1
chainsecurity
1
datalog
1
depricated
1
obsolete
1
smart-contract
1
binary-analysis
1
emulation
1
python
1
z3
1
vyper
1
fuzzer
1
security-analysis
1