Outline

Approximation arises in call graph extraction for program understanding
An alternative approach, based on approximation, for extracting source models from programs
An approach for task-specific comparisons of high-level models to source models