Sep, 2022

红外:元虫侦测器

TL;DR本文提出了一种名为元 Bug 检测的新方法,相比传统的静态分析工具和现有的基于学习的 Bug 检测工具,元 Bug 检测具有三个关键优势:泛型、自解释和样本效率。对该方法进行的全面评估表明,它能够有效地捕捉多种类型的 Bug,包括空指针解引用、数组下标越界、文件句柄泄漏以及并发程序中的数据竞争,并且优于 Facebook Infer 和 FICS 等基准方法。