Enum haybale::config::NullPointerChecking

pub enum NullPointerChecking {
    Simple,
    SplitPath,
    None,
}

Enum used for the null_pointer_checking option in Config.

Variants

Simple

All memory accesses will be checked to ensure their addresses cannot be NULL. If NULL is a possible solution for the address of a memory access, we will return Error::NullPointerDereference and not continue along the path.

SplitPath

All memory accesses will be checked to ensure their addresses cannot be NULL. If NULL is a possible solution for the address of a memory access, but not the only possible solution, we will split into two paths: one in which the address is constrained to be NULL, and which returns Error::NullPointerDereference; and another in which the address is constrained to be non-NULL, and which will continue execution.

None

Memory accesses will not be checked for NULL addresses. This may result in fewer solver queries and thus improved performance for some workloads.

Trait Implementations

impl Clone for NullPointerChecking

fn clone(&self) -> NullPointerChecking

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NullPointerChecking

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

Formats the value using the given formatter.

impl Eq for NullPointerChecking

impl PartialEq<NullPointerChecking> for NullPointerChecking

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

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

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for NullPointerChecking

impl StructuralPartialEq for NullPointerChecking