79 - Security Tools
Smart contract security tools are useful in assisting auditors while reviewing smart contracts.
They automate many of the tasks that can be codified into rules with different levels of coverage, correctness and precision.
They are fast, cheap, scalable and deterministic compared to manual analysis.
But they are also susceptible to false positives.
They are especially well-suited currently to detect common security pitfalls and best-practices at the Solidity and EVM level.
With varying degrees of manual assistance, they can also be programmed to check for application-level, business-logic constraints.
- Assist Humans
- Automate Tasks
- Fast, Cheap, Scalable, Deterministic
- Common Pitfalls & Best Practices
- E.g.: Slither, MythX