https://platoblockchain.com/plato-data/5-most-prominent-smart-contract-auditing-tools/