smart contract security

2 noticia publicada | {count} noticias publicadas

HIGH SolSmith 20 jul 2026

SolSmith, AnyPoC y Mewt: Nuevas herramientas avanzan en la detección de errores de software

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 pru...

HIGH Solidity 20 jul 2026

SolSmith, AnyPoC y Mewt: nuevas herramientas avanzan la seguridad en contratos inteligentes

Investigaciones recientes presentan SolSmith, AnyPoC y Mewt para mejorar las pruebas de compiladores, la detección de errores y las pruebas de mutación en contratos inteligentes de Solidity y DAML, re...