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
查看全文
相关阅读:
XPSP2 PSDK(还有lostspeed)
给c++程序员的一份礼物——常用工具集
setStyleSheet来设定窗口部件的样式
Guava学习笔记:Immutable(不可变)集合
迷你MVVM框架 avalonjs 0.82发布
看到他我一下子就悟了-- 反射
C# Socket编程
Exchange Server 2013 一步步安装图解
编码标准之格式
Drupal与大型网站架构(译)- Large-Scale Web Site Infrastructure and Drupal
原文地址:https://www.cnblogs.com/xuesu/p/14499709.html
最新文章
C#制作高仿360安全卫士窗体<一>
波动序列
C语言常用的宏
可重入概念
函数指针和函数对象
C 编程最佳实践(书写风格)
彻底搞定c指针
flowplayer视频播放插件
单例模式的各种写法评测
C++中内存泄漏的检测方法介绍
热门文章
分享.net常见的内存泄露及解决方法
git的初步使用---本地代码库的使用和提交
使用WCF Data Service 创建OData服务
mmap学习
Remobjects使用经验
Winform 单实例运行
阅读开发高手的代码 分享二则.NET开发框架的技巧
C#多线程,线程锁
#pragma详解
dumpbin
Copyright © 2011-2022 走看看