Static analysis of programs as an aid to debugging

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Static analysis of programs as an aid to debugging

Source

Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging table of contents

Pages: 155 - 158

Year of Publication: 1983

ISBN:0-89791-111-3

Authors

Ron Tischler
Robin Schaufler
Charlotte Payne

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 4

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/800007.808028 What is a DOI?

ABSTRACT

This paper describes how MAP, a tool for understanding software, combines static analysis, some dynamic features, and an interactive presentation to aid programmers in debugging. Static analysis of the sort produced in optimizing compilers could provide programmers with useful information that they cannot get from dynamic debuggers. The challenge for designers of static analysis tools is to present the information in a useful form.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	W. Richards Adrion , Martha A. Branstad , John C. Cherniavsky, Validation, Verification, and Testing of Computer Software, ACM Computing Surveys (CSUR), v.14 n.2, p.159-192, June 1982 [doi>10.1145/356876.356879]
	2	Alfred V. Aho , Jeffrey D. Ullman, Principles of Compiler Design (Addison-Wesley series in computer science and information processing), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1977
	3	Robert S. Boyer , Bernard Elspas , Karl N. Levitt, SELECT—a formal system for testing and debugging programs by symbolic execution, ACM SIGPLAN Notices, v.10 n.6, p.234-245, June 1975
	4	Jolene J. Hart, The Advanced Interactive Debugging System (AIDS), ACM SIGPLAN Notices, v.14 n.12, p.110-121, December 1979 [doi>10.1145/954004.954012]
	5	Matthew S. Hecht, Flow Analysis of Computer Programs, Elsevier Science Inc., New York, NY, 1977
	6	IBM VS COBOL for OS/VS. Order No. GC26-3857-2, 1981.
	7	Osterweil, L.J. and Fosdick, L.D. DAVE—A validation, error detection, and documentation system for FORTRAN programs. Software—Practice and Experience, 6, (1976) 473.
	8	Sally Warren, MAP: A tool for understanding software, Proceedings of the 6th international conference on Software engineering, p.28-37, September 13-16, 1982, Tokyo, Japan
	9	Mark Weiser, Program slicing, Proceedings of the 5th international conference on Software engineering, p.439-449, March 09-12, 1981, San Diego, California, United States

CITED BY 4

	Karl J. Ottenstein , Linda M. Ottenstein, The program dependence graph in a software development environment, ACM SIGPLAN Notices, v.19 n.5, p.177-184, May 1984
	Mariam Kamkar , Nahid Shahmehri , Peter Fritzson, Affect-chaining and dependency oriented flow analysis applied to queries of programs, Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES, p.36-44, May 04-06, 1988, Cannes, France
	D. S. Coutant , S. Meloy , M. Ruscetta, DOC: a practical approach to source-level debugging of globally optimized code, ACM SIGPLAN Notices, v.23 n.7, p.125-134, July 1988
	Jeanne Ferrante , Karl J. Ottenstein , Joe D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.319-349, July 1987