SolSmith, AnyPoC y Mewt: Nuevas herramientas avanzan en la detección de errores de software
Research roundup covers 25 Solidity compiler bugs, 121 new bugs in major software via LLM-based testing, and mutation testing for DAML smart contracts.
Publicado hace 5d1 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.
