Procedure

A Procedure is a central object in Reko. It represents a fragment of machine code that is proven to be called by either the operating system loader or other Procedures.

Procedures are first identified in the [Scanner] pass of Reko. Later, in the data analysis phase, the Procedure's effect on processor registers is computed. Finally, in the structure analysis phase, the IL code in procedures are rewritten to a high-level language.