IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Tue, 23 Jan 2018 10:55:55

Kamkar, M. and Shahmehri, N. (1986). Runtime Dependent Program Flow Analysis. Technical Report LiTH-IDA-R-86-40, Department of Computer and Information Science, Linköping University, Sweden. This is a revised version of paper presented at the Workshop on Programming Environments - Programming Paradigms, Roskilde, Denmark, October 22-24, 1986. (bibtex),

Abstract: Most existing debugging tools permit the user to manipulate and inspect the current runtime state of a program. However, more powerful debuggers can be built if both static and dynamic analys are combined into a single tool. In this paper we examine different categories of static program analysis. In particular we propose runtime dependent program flow analysis, where the current runtime state of a program is used to obtain increased precision of flow analysis results. This information can be made available for interactive query during a debugging session.

Goto (at Linköping University): CS Dept TR Overview