论文标题

跟踪静态代码警告的演变:最先进的方法和更好的方法

Tracking the Evolution of Static Code Warnings: the State-of-the-Art and a Better Approach

论文作者

Li, Junjie, Yang, Jinqiu

论文摘要

静态错误检测工具可帮助开发人员检测代码中的问题,包括糟糕的编程实践和潜在缺陷。最近,在现代软件开发工作流程中将静态错误探测器集成到诸如代码审查和连续集成之类的静态错误探测器的最新努力被证明可以更好地激励开发人员即时解决报告的警告。跟踪报告警告演变的适当机制可以更好地支持这种整合。此外,跟踪静态代码警告将使许多下游软件工程任务受益,例如学习自动化程序维修的修复模式,并学习哪些警告更引起人们的兴趣,因此可以自动优先考虑它们。此外,跟踪工具的利用使开发人员能够专注于最新且可操作的静态警告,而不是被整个项目的数千个警告所淹没。反过来,这可以增强静态分析工具的利用。因此,精确跟踪静态错误检测器警告对于进一步改善静态错误检测器的利用至关重要。

Static bug detection tools help developers detect problems in the code, including bad programming practices and potential defects. Recent efforts to integrate static bug detectors in modern software development workflows, such as in code review and continuous integration, are shown to better motivate developers to fix the reported warnings on the fly. A proper mechanism to track the evolution of the reported warnings can better support such integration. Moreover, tracking the static code warnings will benefit many downstream software engineering tasks, such as learning the fix patterns for automated program repair, and learning which warnings are of more interest, so they can be prioritized automatically. In addition, the utilization of tracking tools enables developers to concentrate on the most recent and actionable static warnings rather than being overwhelmed by the thousands of warnings from the entire project. This, in turn, enhances the utilization of static analysis tools. Hence, precisely tracking the warnings by static bug detectors is critical to improving the utilization of static bug detectors further.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源