Gracias por mencionar @VittoStack Agradece estar en tu excelente lista de fuentes gratuitas de seguridad para contratos inteligentes.