Program Analysis: A Hierarchy
Andreas Zeller · 2003
Program analysis tools are based on four reasoning techniques: (1) deduction from code to concrete runs, (2) observation of concrete runs, (3) induction from obser-vations into abstractions, and (4) experimentation to find causes for specific effects. These techniques form a hier-archy, where each technique can make use of lower levels, and where each technique induces capabilities and limits of the associated tools. 1.