Expand description
Typed queue of code addresses discovered during lifting/analysis but not yet lifted into the IR.
Durable discovery records use stable addresses, not context-local FunctionId
or BlockId values. The queue is shared between a raw clean context and
disposable optimized clones, so IDs from one context must not leak into the
other.
Structs§
- Discovery
- A code address discovered but not yet lifted.
- Discovery
Key - Stable identity of a discovery item.
- Discovery
Queue - The pending-discovery queue and durable outcome state.
Enums§
- Code
Seed - A code address known to lift, captured from one analysis run to pre-seed the
next. Mirrors a
DiscoveryKeybut drops the run-specific bits the lifter reconstructs on its own (the precise CFG edge is re-attached by the pass that originally found the target). - Discovery
Kind - Whether a discovered address starts a new function or extends an existing one.
- Discovery
Provenance - Why this discovery exists. Kept as debugging/UI metadata that records how a discovered address came to be queued.
- Discovery
State - Edge
Kind - The control-flow edge that exposed a block target.
- Function
Discovery Reason - Why an address is believed to start a function.