雪溯

摘要： Cite Andrea Fioraldi, Dominik Maier, Heiko Eißfeldt, and Marc Heuse. “AFL++: Combining incremental steps of fuzzing research”. In 14th USENIX Workshop 阅读全文

摘要： LLVM Overview LLVM是一系列编译技术和工具链技术的集合，主要的subprojects有: LLVM Core: source and target-independent optimizer, code generation for many CPUs Clang: LLVM nat 阅读全文

摘要： Ankou: Guiding Greybox Fuzzing towards Combinatorial Difference Abstract P1: 介绍Greybox fuzzing；不足：现有的fitness函数无法区分达到相同coverage的不同program executions，导致 阅读全文

摘要： Angora Abstract 背景: 符号执行能够产生效果不错的测试样例，但是速度太慢了 工具: Angora 特点: 不用符号执行就解决路径约束 目的：增加branch coverage 技术: 规模化byte层级的污点分析 上下文敏感的分支计数 基于梯度下降的搜索 探索输入长度 实验： A: 阅读全文

摘要： Abstract 技术: sequence directed + concolic execution 工具: Berry 实验: 比较对象: BugRedux, AFLGo, LOLLY, QSYM 效果: outperforms 找到7个CVEs Intro enhance the target 阅读全文

摘要： Abstract 目标: 生成语义语法有效的测试用例 工具: ProFuzzer 特色: 即时探测；智能化更新变异策略 具体: automatically recovers and understands input fields of critical importance to vulnerab 阅读全文

摘要： Abstract 目的: 利用feedback引导Gammar fuzzer生成语法语义有效的测试用例 工具: NAUTILUS 特色: 将interesting inputs再次结合起来，增加生成的测试用例有效的概率 实验: 对象: ChakraCore; PHP, mruby, Lua bugs 阅读全文

摘要： Abstract P1: 背景: 目前fuzzing难以解决一些条件，比如需要复杂状态自动机的 P2: 提出IJON-可以使用人工注解来辅助fuzzer工作(allows a more systematic exploration of the program's behavior based on 阅读全文

摘要： https://alibabatech.medium.com/gcc-vs-clang-llvm-an-in-depth-comparison-of-c-c-compilers-899ede2be378 Background VC, GCC和Clang/LLVM VC主要为Windows平台设计，G 阅读全文

摘要： DDL 2021.4.16 Research Abstract 2021.4.23 Full Paper 基本信息 网址: https://conf.researchr.org/track/ase-2021/ase-2021-papers Research Papers要求 需要是在软件开发自动化领 阅读全文