Control Flow Analysis

• Previous analysis examples assume knowledge of execution paths

• But control flow may not be explicit (object-oriented, concurrency, higher order procedures)

• Which functions may be called at a site

Previous slide

Next slide

Back to first slide

View graphic version