wxsAlice的博客

原创 编译器缺陷辅助定位

基于测试数据生成的编译器缺陷辅助定位技术（面向编译器）文章目录基于测试数据生成的编译器缺陷辅助定位技术（面向编译器）编译器bug定位的难题DiWi定位技术技术描述证人化变异启发式证人测试代码生成基于聚合机制的编译器可疑文件排序编译器bug定位的难题基于测试数据生成的编译器缺陷辅助定位技术分为基于频谱的缺陷辅助定位(SBFL)，基于切片的缺陷辅助定位，基于变异的缺陷辅助定位，但无法用于编译器缺陷辅助定位。面对编译器缺陷辅助定位有三个挑战：编译器庞大致使在编译器上执行动态和静态分析非常耗时；编译器复杂则通