Ferramenta permite a detecção de riscos automática e abrangente para aprimorar a segurança em contratos inteligentes