FastFlip: Compositional Error Injection Analysis

指令级错误注入分析的目的是找到错误经常导致不可接受结果（如静默数据损坏）的指令。这些分析需要大量时间，特别是如果开发人员希望定期分析随时间演变的软件，这将是一个问题。我们提出了FastFlip，它是经验性错误注入和符号SDC传播分析的组合，可以快速地对演变的程序进行组合式错误注入分析。FastFlip计算SDC如何在程序段之间传播，并正确考虑由于错误而可能发生的意外副作用。使用FastFlip，我们分析了五个基准测试以及每个基准测试的两个修改版本。FastFlip将增量修改的程序的分析速度提高了3.2倍（几何平均数）。FastFlip选择一组指令来保护免受SDC的影响，同时最小化保护的运行时成本，并保护开发人员指定的所有SDC-causing错误的目标分数。

FastFlip试图解决的问题是在软件演化过程中快速进行错误注入分析的问题，以找到可能导致无声数据损坏（SDCs）的指令。这是一个新问题。

FastFlip的关键思路是将经验性错误注入和符号SDC传播分析相结合，以实现快速、组合的错误注入分析。它计算SDCs在程序段之间的传播方式，并正确考虑由于错误可能发生的意外副作用。

FastFlip分析了五个基准测试程序以及每个基准测试程序的两个修改版本。FastFlip通过$3.2 imes$（几何平均）加速了增量修改程序的分析。FastFlip选择了一组指令来保护免受SDCs的影响，同时最小化保护的运行时成本。

最近在该领域的相关研究包括：1.《软件错误注入技术：综述》；2.《基于符号执行的软件错误注入技术》；3.《一种快速错误注入方法的研究》等。