Proj THUDBFuzz Paper Reading: Language-Agnostic Generation of Compilable Test Programs

Abstract

工具: *Smith
特点: 接受语义和语法规则说明，输出有效兼容性的测试程序
此外，还能对搜索空间尽可能剪枝，让创建过程尽可能local
实验:

1. 对C, Lua, SQL和SMT-LIB2展示了4个Case studies，说明*Smith能够在语法规则相差较大的程序语言上正常工作
2. 在4种语言中都找到了bugs，比如在老版本的GCC和LLVM中找到了165个不同的crashes

标签：剪枝,Language,Programs,Generation,SMT,Smith,语法,尽可能,规则
来源： https://www.cnblogs.com/xuesu/p/14499709.html