Obrigado pela menção @VittoStack Agradeço por estar na sua excelente lista de fontes gratuitas de Segurança de Smart Contracts.