Latest available version: IDA and decompilers v8.4.240320 see all releases
Hex-Rays logo State-of-the-art binary code analysis tools
email icon

Since a picture is worth thousand words below are a few drawings for your perusal. Let us start at the top level, with the mbl_array_t class, which represents the entire microcode object:

diagram

The above picture does not show the control flow graph. For that we use predecessor and successor lists:

diagram

Pay attention to the block types here, they tell us how many outgoing edges must be present. Then, each basic block (mblock_t) contains a list of instructions:

diagram

Instructions (minsn_t) can be nested, and the next drawing shows how it looks like:

diagram

As you see, conceptually things are quite simple. But the devil is in the details, as usual 🙂