Enum cwe_checker_lib::abstract_domain::AbstractMemoryLocation

pub enum AbstractMemoryLocation {
    Location {
        offset: i64,
        size: ByteSize,
    },
    Pointer {
        offset: i64,
        target: Box<AbstractMemoryLocation>,
    },
}

An abstract memory location is either an offset from the given location, where the actual value can be found, or an offset to a pointer to another memory location, where the value can be found by (recursively) following the embedded target memory location.

The offset and size variables are given in bytes.

Variants

Location

Fields

offset: i64

The offset with respect to the zero offset of the memory object where the value can be found.

size: ByteSize

The size in bytes of the value that the memory location points to.

A location inside the current memory object.

Pointer

Fields

offset: i64

The offset inside the current memory object where the pointer can be found.

target: Box<AbstractMemoryLocation>

The memory location inside the target of the pointer that this memory location points to.

A pointer which needs to be followed to get to the actual memory location

Implementations

impl AbstractMemoryLocation

pub fn get_parent_location( &self, generic_pointer_size: ByteSize ) -> Result<(AbstractMemoryLocation, i64), i64>

Get the abstract memory location representing the pointer pointing to the memory object that contains the location represented by self together with the offset that one has to add to the pointer to get the location of self.

If self is a location (and not a pointer), return the offset in the location instead.

pub fn add_offset(&mut self, addendum: i64)

Add an offset to a memory location.

pub fn add_offset_at_root(&mut self, addendum: i64)

Add an offset to the root location of the memory location.

pub fn dereference( &mut self, new_size: ByteSize, generic_pointer_size: ByteSize )

Dereference the pointer that self is pointing to.

Panics if the old value of self is not pointer-sized.

pub fn extend( &mut self, extension: AbstractMemoryLocation, generic_pointer_size: ByteSize )

Extend the location string by adding further derefence operations to it according to the given extension.

pub fn bytesize(&self) -> ByteSize

Get the bytesize of the value represented by the abstract memory location.

pub fn recursion_depth(&self) -> u64

Get the recursion depth of the abstract memory location, i.e. how many times one has to dereference a pointer until reaching the actual location.

Trait Implementations

impl Clone for AbstractMemoryLocation

fn clone(&self) -> AbstractMemoryLocation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AbstractMemoryLocation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AbstractMemoryLocation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for AbstractMemoryLocation

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

Formats the value using the given formatter.

impl Hash for AbstractMemoryLocation

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 Ord for AbstractMemoryLocation

fn cmp(&self, other: &AbstractMemoryLocation) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for AbstractMemoryLocation

fn eq(&self, other: &AbstractMemoryLocation) -> 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 PartialOrd for AbstractMemoryLocation

fn partial_cmp(&self, other: &AbstractMemoryLocation) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for AbstractMemoryLocation

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 AbstractMemoryLocation

impl StructuralEq for AbstractMemoryLocation

impl StructuralPartialEq for AbstractMemoryLocation