雪溯

摘要： Abstract 本文： Montage 特点: Fuzzing + 神经网络语言模型(LSTM) 主要步骤: 将一棵AST转化为一串AST subtrees，训练LSTM 实验效果: 能够生成valid JS tests 比previous studies outperforms 找到了37个bu 阅读全文

摘要： Abstract 文章认为: search-based testing does not generate highly-structured data; grammar-based fuzzing does not generate test case structures 本文: G-EVOSU 阅读全文

摘要： Abstract 目前Fuzzer存在的问题: 生成分布是均一分布 本文: CMFuzz 特点: context-aware adaptive mutation scheme 采用contextual bandit algo LinUCB来选择变异算子 动态提取文件特征 实验A: 实现: 在多个前沿 阅读全文

摘要： Abstract 背景介绍: JS中有个名为binding layers的接口，可以将数据结构从js翻译为底层语言如c或者c++。明显，测试data representation层很重要，它对测试数据提出的要求是： 1. 需要语法语义有效 2. 要尽可能减少input space 本文提出了Favo 阅读全文

摘要： Abstract 特点: 基于覆盖率，基于语法规则的fuzzing 目标: 自动生成精确的测试数据 面向程序: 如编译器等 论文主体将以一个面向教育的编译器为例展开解释 目前研究: 结合fuzzing和test-case reduction，比如delta-debugging的变体 关键技术bons 阅读全文

摘要： First Example grammar Hello; r : 'hello' ID ; // match keyword hello followed by an identifier ID : [a-z]+ ; // match lower-case identifiers WS : [ \t 阅读全文

摘要： 15.1 确认编译结果 cbc --print-asm -fverbose-asm xx.cb可以看到汇编代码。gcc -S -o - xx.c也可以。 root@cf43f429204e:/# cbc --print-asm -fverbose-asm if_test.cb .file "if_t 阅读全文

摘要： 14.1 程序调用约定 C语言本身的语法特性是与平台无关的，但是具体实现语法特性本身，也就是编译往往会随着OS和CPU软硬件条件而有所不同。比如参数传递是入栈还是用寄存器，返回值的传递方法是用什么寄存器等。规定这些的就是程序调用约定calling convention。 Linux的调用约定在LSB 阅读全文

摘要： 12.2 x86系列的CPU历史 遵循同一指令集架构的CPU应该能够执行依据该指令集架构编译的程序 MMX指令用于整数并行处理，SSE用于浮点数并行处理 AMD先于Intel提出了x86系列的64位扩展，其指令集架构称为AMD64，之后Intel提出了自己的Intel64，AMD64和Intel64 阅读全文

摘要： 11.1 IR Cb使用的是树形IR。 cbc --dump-ir if_test.cb <<IR>> (if_test.cb:1) variables: functions: <<DefinedFunction>> (if_test.cb:2) name: main isPrivate: fals 阅读全文