OPTVIEW: a new approach for examining optimized code

Authors:
Caroline Tice;Susan L. Graham
Affiliations:
University of California, Berkeley;University of California, Berkeley
Venue:
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Year:
1998

Citing 7
Cited 9

DOC: a practical approach to source-level debugging of globally optimized code

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Binary translation

Communications of the ACM
Origin tracking

Journal of Symbolic Computation - Special issue on automatic programming
Debugging optimized code without being misled

Debugging optimized code without being misled
Debugging of globally optimized programs using data flow analysis

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Decompilation: the enumeration of types and grammars

ACM Transactions on Programming Languages and Systems (TOPLAS)
A new model of program dependences for reverse engineering

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering

A new framework for debugging globally optimized code

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Comparison checking: an approach to avoid debugging of optimized code

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Fast and Precise WCET Prediction by Separated Cache andPath Analyses

Real-Time Systems - Special issue on worst-case execution-time analysis
Tdb: a source-level debugger for dynamically translated programs

Proceedings of the sixth international symposium on Automated analysis-driven debugging
Non-transparent debugging for software-pipelined loops

CASES '07 Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems
A fully-non-transparent approach to the code location problem

SCOPES '08 Proceedings of the 11th international workshop on Software & compilers for embedded systems
Transparent Debugging of Dynamically Optimized Code

Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization
Debugging aspect-enabled programs

SC'07 Proceedings of the 6th international conference on Software composition
Source-Level debugging for multiple languages with modest programming effort

CC'05 Proceedings of the 14th international conference on Compiler Construction

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.