software · 5 menciones
Las pruebas basadas en propiedades (PBT) son una técnica consolidada para validar software: los usuarios escriben propiedades —especificaciones ejecutables— que un framework evalúa repetidamente con datos aleatorios. Los marcos modernos suelen incrustar esas propiedades en lenguajes específicos de d
Un investigador con experiencia limitada en búsqueda de bugs reales ha descubierto una vulnerabilidad de denegación de servicio sin autenticación en snac2, un servidor minimalista de ActivityPub utilizado en el Fediverso. La búsqueda surgió tras reflexionar sobre el futuro de la investigación de vul
El artículo describe un método poco ortodoxo para obtener cobertura precisa de código en binarios sin código fuente (black-box), inspirado en la necesidad del autor de construir un fuzzer propio sin dynamic recompilation ni un portátil con Intel PT. Explica primero la evolución del fuzz testing: des
Este artículo detalla un experimento sorprendente sobre la búsqueda de errores en compiladores, utilizando modelos de lenguaje avanzados como ChatGPT y Claude. Justin Lebar, un experto en compiladores con experiencia en Google, Waymo y OpenAI, descubrió que podía encontrar una cantidad significativa
Un equipo de investigadores ha descubierto una vulnerabilidad crítica en el entorno de desarrollo Lean 4, a pesar de que una implementación de zlib (lean-zip) había sido formalmente verificada como correcta por Lean. El hallazgo, realizado por Kiran Gopinathan utilizando un agente Claude y herramien
