Introduction

What?

Identifying blocks of low-level code that match with corresponding syntax in the high-level program.

Why?

Speed up analysis with a better view of the program’s pseudocode.

How?