Categories of security tools tools for testing, test coverage, linting, disassembling, visualization, static analysis, dynamic analysis and formal verification of smart contracts.
- Testing
- Test Coverage
- Linters
- Static Analysis
- Symbolic Checkers
- Fuzzing
- Formal Verification
- Visualization
- Disassemblers
- Monitoring