Struct Spec 

pub struct Spec {
    pub addr: u64,
    /* private fields */
}

One declared expectation for a function, checked against the binary’s facts.

Fields

addr: u64

Implementations

impl Spec

pub fn new(addr: u64) -> Spec

pub fn calls_exact(self, t: &[u64]) -> Spec

Declared CALL set must EQUAL the binary’s (flags hallucinated + missing).

pub fn calls_superset(self, t: &[u64]) -> Spec

No declared CALL may be absent (hallucination-only; tolerates inlined/unported).

pub fn fields(self, t: &[u64]) -> Spec

Each declared field offset must be touched by the binary (present-check).

pub fn globals(self, t: &[u64]) -> Spec

pub fn vtables(self, t: &[u64]) -> Spec

pub fn vcall_slots(self, t: &[u64]) -> Spec

pub fn indirect_targets(self, t: &[u64]) -> Spec

Declared stack-slot/register indirect-call targets (acceptance-only).

pub fn iat(self, t: &[u64]) -> Spec

pub fn check(&self, pe: &Pe) -> Result<(), String>

Check this spec against the binary; Err lists every violation.

pub fn check_at(&self, manifest_dir: &str, exe: &str)

Load <manifest_dir>/<exe> and panic on any violation (for #[test]s).

Trait Implementations

impl Default for Spec

fn default() -> Self

Returns the “default value” for a type.