OPTVIEW: a new approach for examining optimized code

OPTVIEW: a new approach for examining optimized code
复制标题

OPTVIEW:检查优化代码的新方法

DOI:
--
复制
发表时间:
1998
期刊:
Workshop on Program Analysis For Software Tools and Engineering
影响因子:
--
通讯作者:
S. Graham
S. Graham
中科院分区:
--
文献类型:
--
作者:
Caroline Tice;S. Graham

文献摘要

被引文献

相似文献

一旦代码被编译器优化和转换,在源程序和机器代码之间映射的任务通常是困难的。然而,有许多实例,例如调试优化的代码或将性能分析数据归因于源代码行,其中在源代码级别理解二进制文件中发生的事情是有用的或必要的。对于工具来说,标准的方法是尝试直接从优化的二进制文件映射到原始源代码。这样的映射往往是脆弱的,有时不准确或误导。我们建议另一种方法。我们不是直接在原始源代码和二进制文件之间进行映射,而是创建源程序的修改版本,仍然可以识别,但更新以反映优化的一些效果,从而促进从二进制文件的映射。我们已经实现了一个工具,Optview,来演示和测试这些想法。
The task of mapping between source programs and machine code, once the code has been optimized and transformed by a compiler is often difficult. Yet there are many instances, such as debugging optimized code or attributing performance analysis data to source lines, whrn it is useful or necessary to understand at the source level what is occurring in the binary. The standard approach has been for tools to attempt to map directly from the optimized binary to the original source. Such mappings are often fragile, and sometimes inaccurate or misleading. We suggest an alternative approach. Rather than mapping directly between the original source and the binary, we create a modified version of the source program, still recognizable, but updated to reflect some of the effects of optimizations, thus facilitating mapping from the binary. We have implemented a tool, Optview, to demonstrate and test these ideas.