Function identities
Recovered function entries and wrapper-neutralized call sites are recorded.
Binary perimeter
The reverse-engineering perimeter records the recovered identities and boundaries used to write the functional specification.
Globals and type identities
Variables, data records, recovered types, and their relationships are recorded.
Virtual method slots
Known virtual tables and slot identities are preserved as reverse-engineering evidence.
Executable coverage
The byte range map owns the completed executable coverage record.