We do not currently implement a static analysis tool. We should add a static analysis tool, such as [slither](https://github.com/crytic/slither).
We do not currently implement a static analysis tool. We should add a static analysis tool, such as slither.