Csmith

Csmith
Autor (es) original (es)	Xuejun Yang, Yang Chen, Eric Eide, John Regehr
Versión inicial	2011 ; Hace 10 años ( 2011 )

Lanzamiento estable	2.3.0 / 21 de junio de 2017 ; Hace 4 años ( 2017-06-21 )

Repositorio	github .com / csmith-project / csmith /
Escrito en	C ++ , Perl
Escribe	Fuzzer del compilador
Licencia	Licencia BSD
Sitio web	incrustar .cs .utah .edu / csmith /

Csmith es una herramienta de generación de casos de prueba. Puede generar programas C aleatorios que se ajustan estática y dinámicamente al estándar C99. Se utiliza para compiladores de pruebas de estrés, analizadores estáticos y otras herramientas que procesan código C. Es un fuzzer de compilador de C gratuito, de código abierto y con licencia permisiva desarrollado por investigadores de la Universidad de Utah. Anteriormente se llamaba Randprog . ^[1]

Enlaces externos

Página web de Csmith de la Universidad de Utah
yarpgen : Otro generador de programas aleatorios, yarpgen es un generador de programas C / C ++ aleatorio

Referencias

^ Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, John (2011). "Encontrar y comprender errores en los compiladores de C". Actas de la 32ª conferencia ACM SIGPLAN sobre diseño e implementación de lenguajes de programación - PLDI '11 . pag. 283. CiteSeerX 10.1.1.225.1281 . doi : 10.1145 / 1993498.1993532 . ISBN 9781450306638.

[YangChen2011-1] Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, John (2011). "Encontrar y comprender errores en los compiladores de C". Actas de la 32ª conferencia ACM SIGPLAN sobre diseño e implementación de lenguajes de programación - PLDI '11 . pag. 283. CiteSeerX 10.1.1.225.1281 . doi : 10.1145 / 1993498.1993532 . ISBN 9781450306638.

[1]