There are some static and dynamic security analysis tools available online that you can also use to find the security-related issues in your contract. It is recommended that you should use these tools during the development and testing processes as well. These tools are as follows:
- Securify: An open source, online, and fully automated static analyzer tool for Solidity smart contracts. It scans the contract code for vulnerability patterns and generates a report. You just need to upload your contract code into the online tool and get the report generated in a few minutes. You can use this tool at https://securify.chainsecurity.com/.
- Slither: An open source Solidity static analyzer that detects many common Solidity issues. The open source code of the tool can be found at https://github.com/crytic/slither.
- Mythril: An open source security analysis...
