FastFlip：组合式错误注入分析
软件工程
2024-03-27 v2
摘要
指令级错误注入分析旨在寻找那些错误通常会导致不可接受结果（如静默数据损坏（SDC））的指令。这些分析需要耗费大量时间，如果开发者希望定期分析不断演化的软件，这将成为一个尤为突出的问题。我们提出了 FastFlip，一种结合了经验性错误注入与符号化 SDC 传播分析的方法，能够对不断演化的程序进行快速、组合式的错误注入分析。FastFlip 计算了 SDC 如何在程序各部分间传播，并正确处理了由错误引起的意外副作用。我们使用 FastFlip 分析了五个基准测试，以及每个基准测试的两个修改版本。FastFlip 将增量修改程序的分析速度提高了 （几何平均数）。FastFlip 选择一组指令进行 SDC 保护，在抵御开发者指定的所有引发 SDC 错误的目标比例的同时，最小化保护的运行时开销。
引用
@article{arxiv.2403.13989,
title = {FastFlip: Compositional Error Injection Analysis},
author = {Keyur Joshi and Rahul Singh and Tommaso Bassetto and Sarita Adve and Darko Marinov and Sasa Misailovic},
journal= {arXiv preprint arXiv:2403.13989},
year = {2024}
}