Static analysis of programs as an aid to debugging
- 20 March 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 18 (8) , 155-158
- https://doi.org/10.1145/1006142.1006182
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.Keywords
This publication has 4 references indexed in Scilit:
- Validation, Verification, and Testing of Computer SoftwareACM Computing Surveys, 1982
- The Advanced Interactive Debugging System (AIDS)ACM SIGPLAN Notices, 1979
- Dave—a validation error detection and documentation system for fortran programsSoftware: Practice and Experience, 1976
- SELECT—a formal system for testing and debugging programs by symbolic executionACM SIGPLAN Notices, 1975