Trail of Bits Blockchain Audits, se trata de una compañía de soporte para proyectos de seguridad. Su equipo de profesionales para crear herramientas personalizadas y remediar las vulnerabilidades del sistema para mantener los softwares seguros, desde el desarrollo hasta las pruebas y durante la implementación continua.
Trail of Bits no solo comprende la seguridad de Blockchain, crean herramientas líderes en la industria que encuentran y ayudan a corregir vulnerabilidades. Son líderes en evaluaciones de seguridad de contratos inteligentes y las implicaciones de seguridad del lenguaje Solidity, su compilador y la máquina virtual Ethereum.
Un emulador simbólico capaz de simular ataques multicontrato y multitransacción compleja contra el bytecode de EVM.
Un desensamblador gráfico de EVM capaz de recuperación de métodos, cálculo de salto dinámico, coincidencia de código fuente y diferenciación binaria.
Un analizador estático que detecta errores comunes, como errores en la reentrada, constructores, acceso a métodos y más.
Un fuzzer inteligente de próxima generación que apunta al código de bytes EVM. El equipo de Garantía utilice su conocimiento de estas herramientas con experiencia en análisis estático, fuzzing y pruebas cónicas, y riesgos a nivel de diseño para garantizar que sus contratos inteligentes estén libres de vulnerabilidades y que tenga las herramientas y el conocimiento adecuado para garantizar el éxito a largo plazo.
Sí quieres ampliar tu conocimiento sobre este tema, visita nuestro post Token – Servicio de Certificación de Auditoría de Contratos Inteligentes
Para más información: Trailofbits.com