Accurate Coverage Metrics for Compiler-Generated Debugging Information
Accurate Coverage Metrics for Compiler-Generated Debugging Information
复制标题
编译器生成的调试信息的准确覆盖率指标
DOI：
10.1145/3640537.3641578
复制
发表时间：
2024
期刊：
影响因子：
--
通讯作者：
Stinnett J
中科院分区：
文献类型：
--
作者：
Stinnett J
许多调试工具依赖于编译器生成的元数据来呈现程序状态的源语言视图，例如变量值和源代码行号。虽然这往往适用于未优化的程序，但当前的编译器通常只生成优化程序中的部分调试信息。 目前衡量地方变量覆盖范围的方法是基于粗略的假设（例如，假设变量可以覆盖其整个母范围），不同汇编之间没有可比性。在这项工作中，我们提出了一些新的指标，计算我们的工具，这可以作为动机的语言实现，以提高调试质量。
Many debugging tools rely on compiler-produced metadata to present a source-language view of program states, such as variable values and source line numbers. While this tends to work for unoptimised programs, current compilers often generate only partial debugging information in optimised programs. Current approaches for measuring the extent of coverage of local variables are based on crude assumptions (for example, assuming variables could cover their whole parent scope) and are not comparable from one compilation to another. In this work, we propose some new metrics, computable by our tools, which could serve as motivation for language implementations to improve debugging quality.
登录
查看更多内容
DOI：
10.1145/143095.143114
发表时间：
1992-07
期刊：
--
影响因子：
--
作者：
Urs Hölzle;C. Chambers;D. Ungar
通讯作者：
Urs Hölzle;C. Chambers;D. Ungar
用于控制流优化程序的交互式高级调试器
DOI：
10.1145/1006147.1006183
发表时间：
1983
期刊：
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子：
--
作者：
P. Zellweger
通讯作者：
P. Zellweger
优化代码的符号调试
DOI：
10.1145/357172.357173
发表时间：
1982
期刊：
ACM Trans. Program. Lang. Syst.
影响因子：
--
作者：
J. Hennessy
通讯作者：
J. Hennessy
快速断点：设计与实现
DOI：
10.1145/93542.93555
发表时间：
1990
期刊：
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2
影响因子：
--
作者：
P. Kessler
通讯作者：
P. Kessler
OPTVIEW：检查优化代码的新方法
DOI：
--
发表时间：
1998
期刊：
Workshop on Program Analysis For Software Tools and Engineering
影响因子：
--
作者：
Caroline Tice;S. Graham
通讯作者：
S. Graham