Struct ByteInfo 

pub(crate) struct ByteInfo<'ctx> {
    pub value: Option<Int<'ctx>>,
    pub init: bool,
    pub nul: Option<bool>,
}

Per-byte symbolic state at a concrete offset in an allocation.

Fields

value: Option<Int<'ctx>>

Symbolic value, if tracked.

init: bool

Whether the byte has been explicitly written.

nul: Option<bool>

NUL knowledge: Some(true) known NUL, Some(false) known non-NUL.

Trait Implementations

impl<'ctx> Clone for ByteInfo<'ctx>

fn clone(&self) -> ByteInfo<'ctx>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'ctx> Debug for ByteInfo<'ctx>

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

Formats the value using the given formatter.

impl<'ctx> Default for ByteInfo<'ctx>

fn default() -> ByteInfo<'ctx>

Returns the “default value” for a type.