Enum haybale::config::NullPointerChecking
source · pub enum NullPointerChecking {
Simple,
SplitPath,
None,
}
Expand description
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§
source§impl Clone for NullPointerChecking
impl Clone for NullPointerChecking
source§fn clone(&self) -> NullPointerChecking
fn clone(&self) -> NullPointerChecking
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for NullPointerChecking
impl Debug for NullPointerChecking
source§impl PartialEq for NullPointerChecking
impl PartialEq for NullPointerChecking
source§fn eq(&self, other: &NullPointerChecking) -> bool
fn eq(&self, other: &NullPointerChecking) -> bool
self
and other
values to be equal, and is used
by ==
.