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
上一篇:windows下把安装库到指定的Python环境下


下一篇:Windows安装Nginx并设置开机自启