Enum cwe_checker_lib::intermediate_representation::Def

pub enum Def {
    Load {
        var: Variable,
        address: Expression,
    },
    Store {
        address: Expression,
        value: Expression,
    },
    Assign {
        var: Variable,
        value: Expression,
    },
}

A side-effectful operation. Can be a register assignment or a memory load/store operation.

Variants

Load

Fields

var: Variable

The target register of the memory load. The size of var also determines the number of bytes read from memory.

address: Expression

The expression computing the address from which to read from. The size of address is required to match the pointer size of the corresponding CPU architecture.

A memory load into the register given by var.

Store

Fields

address: Expression

The expression computing the address that is written to. The size of address is required to match the pointer size of the corresponding CPU architecture.

value: Expression

The expression computing the value that is written to memory. The size of value also determines the number of bytes written.

A memory store operation.

Assign

Fields

var: Variable

The register that is written to.

value: Expression

The expression computing the value that is assigned to the register.

A register assignment, assigning the result of the expression value to the register var.

Trait Implementations

impl Clone for Def

fn clone(&self) -> Def

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Def

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Def

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Def

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

Formats the value using the given formatter.

impl Hash for Def

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Def

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Def

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Def

impl StructuralEq for Def

impl StructuralPartialEq for Def