Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
ICSE '81 Proceedings of the 5th international conference on Software engineering
MAP: A tool for understanding software
ICSE '82 Proceedings of the 6th international conference on Software engineering
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
The Advanced Interactive Debugging System (AIDS)
ACM SIGPLAN Notices
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Affect-chaining and dependency oriented flow analysis applied to queries of programs
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
The program dependence graph in a software development environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
| Hi-index | 0.00 |
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.