FULLDOC: A full reporting debugger for optimized code

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1824 LNCS, Issue , 2000, Pages 240-260

  Jaramillo, Clara ^a   Gupta, Rajiv ^b   Soffa, Mary Lou ^a  

^a University of Pittsburgh   (United States)

^b University of Arizona   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); INFORMATION USE; STATIC ANALYSIS;

BREAK-POINTS; C PROGRAMS; DEBUGGERS; DYNAMIC INFORMATION; EXPECTED VALUES; PATH SENSITIVES; SOURCE LEVEL;

C (PROGRAMMING LANGUAGE);

EID: 84906095810     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45099-3_13     Document Type: Conference Paper

References (17)

1. Adl-Tabatabai, A. and Gross, T. Source-Level Debugging of Scalar Optimized Code. In Proceedings ACM SIGPLAN'96 Conf. on Programming Languages Design and Implementation, pages 33-43, May 1996.
2. Brooks G. Hansen G.J. Simmons S, A new approach to debugging optimized code, Proceedings ACM SIGPLAN'92 Conf. on Programming Languages Design and Implementation, 1-11, June, 1992.
3. Copperman, M. Debugging Optimized Code Without Being Misled. ACM Transactions on Programming Languages and Systems, 16(3):387-427, 1994
4. Coutant, D. S., Meloy, S., and Ruscetta, M. DOC: A Practical Approach to Source-Level Debugging of Globally Optimized Code. In Proceedings ACM SIGPLAN' 88 Conf. on Programming Languages Design and Implementation, pages 125 -134, June 1988
5. Dhamdhere, D. M. and Sankaranaraya nan, K. V. Dynamic Currency Determination in Optimized Programs. ACM Transactions on Programming Languages and Systems, 20(6):1111-1130, November 1998
6. Fraser, C. and Hanson, D. A Retargetab le C Compiler: Design and Implementation. Benjamin/Cummings, 1995
7. Gupta, R. Debugging Code Reorganized by a Trace Scheduling Compiler. Structured Programming, 11(3):141-150, 1990
8. Hennessy, J. Symbolic Debugging of Optimized Code. ACM Transactions on Programming Languages and Systems, 4(3):323-344, July 1982
9. Holzle, U., Chambers, C., and Ungar, D. Debugging Optimized Code with Dynamic Deoptimization. In Proceedings ACM SIGPLAN'92 Conf. on Programming Languages Design and Implementation, pages 32-43, June 1992
10. Jaramillo, C., Gupta, R., and Soffa, M. L. Comparison Checking: An Approach to Avoid Debugging of Optimized Code. In ACM SIGSOFT Symposium on Foundations of Software Engineering and European Software Engineering Conference, pages 268-284, September 1999
11. Kessler, P. Fast Breakpoints: Design and Implementation. In Proceedings ACM SIGPLAN'90 Conf. on Programming Languages Design and Implementation, pages 78-84, June 1990
12. Pine o, P. P. and Soffa, M. L. Debugging Parallelized Code using Code Liberation Techniques. Proceedings of ACM/ONR SIGPLAN Workshop on Parallel and Distributed Debugging, 26(4):103-114, May 1991
13. Po llock, L. L. and Soffa, M. L. High-Level Debugging with the Aid of an Incremental Optimizer. In 21st Annual Hawaii International Conference on System Sciences, volume 2, pages 524-531, January 1988
14. Tice, C. Non-Transparent Debugging of Optimized Code. PhD dissertation, University of California, Berkeley, 1999. Technical Report UCB-CSD-99-1077
15. Wismueller, R. Debugging of Globally Optimized Programs Using Data Flow Analysis. In Proceedings ACM SIGPLAN'94 Conf. on Programming Languages Design and Implementation, pages 278-289, June 1994
16. Wu, L., Mirani, R., Patil H., Olsen, B., and H wu, W. W. A New Framework for Debugging Globally Optimized Code. In Proceedings ACM SIGPLAN'99 Conf. on Programming Languages Design and Implementation, pages 181-191, May 1999
17. Zellweger, P. T. An Interactive High-Level Debugger for Control-Flow Optimized Programs. In Proceedings ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, pages 159-171, 1983