zoukankan
html css js c++ java
Proj THUDBFuzz Paper Reading: Language-Agnostic Generation of Compilable Test Programs
Abstract
工具: *Smith
特点: 接受语义和语法规则说明,输出有效兼容性的测试程序
此外,还能对搜索空间尽可能剪枝,让创建过程尽可能local
实验:
对C, Lua, SQL和SMT-LIB2展示了4个Case studies,说明*Smith能够在语法规则相差较大的程序语言上正常工作
在4种语言中都找到了bugs,比如在老版本的GCC和LLVM中找到了165个不同的crashes
查看全文
相关阅读:
04-set方法的内存管理
03-OC内存管理原则
02-引用计数器的使用(含野指针、空指针)
01-OC内存管理的基本原理
16-NSDate
15-NSValue
14-NSNumber
13-NSMutableDictionary
12-NSDictionary(字典)
11-NSArray和NSSet的区别
原文地址:https://www.cnblogs.com/xuesu/p/14499709.html
最新文章
C语言I博客作业01
Linux速通 大纲
JavaScript
CSS
HTML
Java 学习阶段性感想
Java 基础加强 02
Java 基础加强 01
Java 多线程 02
Java 多线程 01
热门文章
Java I/O流 05
Java I/O流 04
Java I/O流 03
Java I/O流 02
JAVA第五周上机练习
JAVA第四周作业
JAVA第四周上机练习
JAVA第三次作业
JAVA第一次上机练习
JAVA第一次作业
Copyright © 2011-2022 走看看