BinEssence represents essential information about the binary at all levels: a low-level interface for binary code and data, parsed instructions, and recovered control-flow information including CFG itself. Note that every field of BinEssence is *mutable*.
Record Field | Description |
|
|
|
Higher-level access to the code. It handles parsed instructions, lifted IRs, basic blocks, functions, exception handlers, etc.
|
|
|