Class ProgramModel

crates/flutterdec-adapter/src/lib.rs:61–71

/// Hardware layout of the Dart `ObjectPool` object that `x27`/PP points at.
///
/// Presence of this record is the adapter's assertion that `ObjectPoolEntry::index`
/// values live in the *hardware* index space, i.e. that a `ldr xN, [x27, #disp]`
/// resolves to `(disp - entries_offset) / word_size`. Adapters that only carve
/// strings out of the snapshot must leave it unset; without it the core refuses to
/// map pool references onto values instead of guessing.
#[derive(Debug, Clone, Copy, Serialize, Deserialize)]
pub struct PoolGeometry {
    /// Byte offset of entry 0 from the PP base (0x10 on ARM64 AOT).
    pub entries_offset: u64,
    /// Stride between entries in bytes (8 on ARM64 AOT, even with compressed pointers).
    pub word_size: u64,
}