https://github.com/crytic/not-so-smart-contracts
- 以太坊外部账户和合约账户的差别?
- Solidity 中哪些变量是存放在 memory 中哪些是存放在 storage 中?
- Solidity 中如何定义修改器和回退函数?
- Slither
- tintinweb Visual Auditors
- Surya
- provides information about the contracts’ structure and generates call graphs and inheritance graphs.
- Mythril Classic
- a disassembler, hacking tool and security analyzer for Solidity code, raw EVM bytecode and eWASM
- Scrooge McEtherface
- automatically exploiting the detected issues
- Karl
- monitor for smart contracts that checks for security vulnerabilities using the Mythril Classic detection engine
- MythX
- a cloud-based service that makes powerful smart contract security analysis to anyone
- Panvala
- https://github.com/melonproject/oyente
- https://github.com/quoscient/octopus
- https://github.com/ConsenSys/mythril
- https://github.com/CryptoExperts/wyverse
- https://github.com/Imanfeng/Blockchain-Public-Chain-and-Smart-Contract-Vulnerability
- https://github.com/nvonpentz/solidity-exploits
- https://github.com/ConsenSys/smart-contract-best-practices