论文阅读笔记20230214

Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection (NDSS 2022)

为了挖掘Data Races这类并发的问题，近期的一些Fuzzing技术通过实时地影响Thread Scheduling（线程调度）来挖掘Thread Interleaving。但其存在一定的缺陷，一是没有考虑到Thread Interleaving的上下文影响；二是随机地重复会错过一些罕见的Thread Interleaving。

为了解决上述问题，本文提出了Conzzer，其能够高效地发现Thread Interleaving，并检测到Data Races。Conzzer的整体架构如下图所示。

具体细节见原文。论文代码未开源。