@techreport{R-86-40,
TITLE = {Runtime Dependent Program Flow Analysis},
AUTHOR = {Mariam Kamkar and Nahid Shahmehri },
YEAR = {1986},
NUMBER = {R-86-40},
INSTITUTION = ida,
ADDRESS = idaaddr,
ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-86-40+abstr},
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.},
IDANR = {LiTH-IDA-R-86-40},
NOTE = {This is a revised version of paper presented at the Workshop on Programming Environments - Programming Paradigms, Roskilde, Denmark, October 22-24, 1986}