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
【推广】 免费学中医，健康全家人
原文地址：https://www.cnblogs.com/xuesu/p/14499709.html