stringtranslate.com

herrero

Csmith es una herramienta de generación de casos de prueba. Puede generar programas aleatorios en C que se ajustan estática y dinámicamente al estándar C99. Se utiliza para probar compiladores, analizadores estáticos y otras herramientas que procesan código C. Es un analizador de fuzzing de compiladores 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

Referencias

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