Proj THUDBFuzz Paper Reading: Sulong, and Thanks For All the Bugs: Finding Errors in C Programs by A

Abstract

1. 介绍memory error的重要性
2. 当前研究：low-level execution model, 额外的检查，问题：可能忽略corner cases

本文工具: Safe Sulong
方法： 将high-level中的数据结构与C中映射，然后用解释器来做自动检查
效果：能找到被忽视的bugs