Single pass intermediate language verification algorithm

A verification module for verifying an intermediate language (IL) program in a single pass, the IL program comprising a plurality of IL instructions, the verification module comprising:

• (a) a memory comprising:
• a data structure that stores information about an IL stack entry for a first IL instruction corresponding to a first IL offset;
• an IL offset stack that stores a second IL offset corresponding to a second IL instruction;
• and
• a flag entry that indicates if the first IL instruction has been processed;
• (b) a sequencing module that determines a next IL instruction that is to be processed in accordance with an op code type that is associated with the first IL instruction;
• (c) a memory updating module that updates the data structure with the state information about the first IL instruction and updates the IL offset stack;
• and
• (d) rule logic module that processes the first IL instruction in accordance with the op code type.