Enum haybale::config::NullPointerChecking [−][src]
pub enum NullPointerChecking {
Simple,
SplitPath,
None,
}
Expand description
Enum used for the null_pointer_checking
option in Config
.
Variants
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.
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.
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
Auto Trait Implementations
impl RefUnwindSafe for NullPointerChecking
impl Send for NullPointerChecking
impl Sync for NullPointerChecking
impl Unpin for NullPointerChecking
impl UnwindSafe for NullPointerChecking
Blanket Implementations
Mutably borrows from an owned value. Read more