2021年11月28日
Proj THUDBFuzz Paper Reading: SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs
摘要： Abstract 介绍Sanitizer; 除掉无用Sanitizer checks 本文: SANRAZOR 方法: 获取动态coverage和静态data dependencies? 实验1： 数据集：SPEC benchmarks 效果: from 73.8% to 28.0–62.0% fo 阅读全文
posted @ 2021-11-28 02:49 雪溯 阅读(124) 评论(0) 推荐(0) 编辑
Proj THUDBFuzz Paper Reading: Sulong, and Thanks For All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model
摘要： Abstract 介绍memory error的重要性 当前研究：low-level execution model, 额外的检查，问题：可能忽略corner cases 本文工具: Safe Sulong 方法： 将high-level中的数据结构与C中映射，然后用解释器来做自动检查 效果：能找到 阅读全文
posted @ 2021-11-28 00:23 雪溯 阅读(45) 评论(0) 推荐(0) 编辑