SolSmith, AnyPoC y Mewt: Nuevas herramientas avanzan en la detección de errores de software
1 min de lecturaGLOBAL
Compartir:
Resumen Ejecutivo
Tres proyectos de investigación avanzan en las pruebas de software: SolSmith encuentra 25 errores del compilador Solidity, AnyPoC descubre 121 nuevos fallos en Firefox y Chromium, y Mewt lleva las pruebas de mutación a los contratos inteligentes DAML.
Resumen de Investigación en Seguridad: SolSmith, AnyPoC y Mewt Apuntan a Errores de Compilador, Validación de LLM y Pruebas de Contratos Inteligentes
Tres contribuciones recientes de investigación están avanzando el estado de las pruebas de software y la detección de errores en diferentes dominios, desde compiladores de blockchain hasta software de infraestructura crítica. Los proyectos —SolSmith, AnyPoC
Análisis completo disponible
Crea una cuenta gratuita para acceder al análisis completo, alertas y contenido exclusivo.
