Analysing the Program Analyser
Analysing the Program Analyser
复制标题
DOI：
10.1145/2889160.2889206
复制
发表时间：
2016-05
期刊：
影响因子：
--
通讯作者：
Cristian Cadar;Alastair F. Donaldson
中科院分区：
文献类型：
--
作者：
Cristian Cadar;Alastair F. Donaldson
程序分析工具的可靠性显然是很重要的，如果这样的工具是在提高软件系统的质量和完整性，以及用户在这样的系统的信心发挥了重要作用。然而，我们的经验是，目前，除了回归测试之外，很少注意分析程序分析器本身的正确性。在这份立场文件中，我们提出了我们的愿景，到2025年，使用更严格的分析来检查程序分析器的可靠性将是司空见惯的。受编译器测试最新进展的启发，我们提出了实现这一愿景的初步步骤，建立在交叉检查，程序转换和程序生成等技术的基础上。
The reliability of program analysis tools is clearly important if such tools are to play a serious role in improving the quality and integrity of software systems, and the confidence which users place in such systems. Yet our experience is that, currently, little attention is paid to analysing the correctness of program analysers themselves, beyond regression testing. In this position paper we present our vision that, by 2025, the use of more rigorous analyses to check the reliability of program analysers will be commonplace. Inspired by recent advances in compiler testing, we set out initial steps towards this vision, building upon techniques such as cross-checking, program transformation and program generation.