史密斯 swMATH ID: 28506 软件作者: 杨学军;杨晨;埃里克·艾德;约翰·雷格尔 描述: Csmith是一个工具,可以生成静态和动态符合C99标准的随机C程序。它对于压力测试编译器、静态分析器和其他处理C代码的工具非常有用。Csmith在它测试过的每个工具中都发现了错误,我们用它发现并报告了400多个以前未知的编译器错误。Csmith过去叫Randprog。 主页: https://embed.cs.utah.edu/史密斯/ 相关软件: jsfunfuzz语言;梅花厅;ACVS公司;Frama-C公司 引用于: 1文件 1位作者引用 1 格尔戈·巴拉尼 0连载引用 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文