Struct AssumedCallEffect 

pub struct AssumedCallEffect {
    pub reads: Vec<VarnodeId>,
    pub writes: Vec<VarnodeId>,
}

The register-space effect the opt-in Proposition::AssumeCallingConvention hypothesis assigns to an indirect / unresolved call, precomputed once from the module’s calling convention by the assume_calling_convention pass and cached on the Shared context so the mem2reg / alias register classifier can consult it without an ABI in hand.

reads is all convention argument registers (integer + SSE) — reads-all-args keeps pre-call argument setup live, since a variadic-arity callee may consume any of them — and writes is the convention’s caller-saved (volatile) set. Neither the stack- nor the frame-pointer varnode appears in either list: both are callee-saved, so no ABI argument list or caller-saved set contains them.

Fields

reads: Vec<VarnodeId>

Argument registers the call is assumed to read.

writes: Vec<VarnodeId>

Caller-saved registers the call is assumed to write (clobber).

Trait Implementations

impl Clone for AssumedCallEffect

fn clone(&self) -> AssumedCallEffect

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AssumedCallEffect

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

Formats the value using the given formatter.

impl Default for AssumedCallEffect

fn default() -> AssumedCallEffect

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for AssumedCallEffect

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for AssumedCallEffect

impl PartialEq for AssumedCallEffect

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AssumedCallEffect

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 AssumedCallEffect