Struct DerivedOutput 

pub struct DerivedOutput {
    pub register: VarnodeId,
    pub projection: Callee,
}

A register whose value on return is computed rather than carried in the return pack: the linked function is this function’s projection for that one output — a pure function of its inputs, returning what the register would have held.

Recording the projection is what lets the register leave both outputs and, once nothing else reads it, inputs without the fact being lost. The motivating case is the stack pointer: every function “returns” SP + k, which is a true statement about the machine code and no part of what the function means. Leaving it in the pack put RSP in every signature; deleting it outright would discard a real effect. A projection does neither.

The projection is an ordinary function and says what it reads through its own interface — this record deliberately does not restate the binding, so there is nothing here to desync from the function it names.

Entries are disjoint from outputs: a register is either packed or derived, never both.

Fields

register: VarnodeId

The register this projection computes.

projection: Callee

The projection: a pure function whose return value is register’s value on return from the parent.

Trait Implementations

impl Clone for DerivedOutput

fn clone(&self) -> DerivedOutput

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DerivedOutput

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DerivedOutput

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for DerivedOutput

impl PartialEq for DerivedOutput

fn eq(&self, other: &DerivedOutput) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for DerivedOutput

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for DerivedOutput