基于元编程的空指针异常动态补丁生成
软件工程
2021-11-12 v1
摘要
空指针异常(NPE)是生产环境中未捕获崩溃异常的首要原因。本文旨在利用元编程探索空指针异常可能补丁的搜索空间。我们的思路是通过自动化代码转换对待修复程序进行变换,从而获得一个元程序。该元程序包含自动注入的钩子,可被激活以模拟空指针异常补丁。这使我们能够对空指针异常的运行时上下文进行细粒度分析。我们针对现场发生的 16 个真实空指针异常设置了实验,并将我们的元编程方法与用于修复空指针异常的简单模板的有效性进行了比较。
引用
@article{arxiv.1812.00409,
title = {Dynamic Patch Generation for Null Pointer Exceptions using Metaprogramming},
author = {Thomas Durieux and Benoit Cornu and Lionel Seinturier and Martin Monperrus},
journal= {arXiv preprint arXiv:1812.00409},
year = {2021}
}
备注
IEEE International Conference on Software Analysis, Evolution and Reengineering, 2017