Enum Region 

pub enum Region<B> {
    Constrained(Range<Address>, Arc<dyn Send + Sync + Fn(&mut Solver<'_, B>) -> Sym>),
    Symbolic(Range<Address>),
    SymbolicCode(Range<Address>),
    Concrete(Range<Address>, HashMap<Address, u8>),
    Custom(Range<Address>, Box<dyn Send + Sync + CustomRegion<B>>),
}

Variants

Constrained(Range<Address>, Arc<dyn Send + Sync + Fn(&mut Solver<'_, B>) -> Sym>)

A region with a symbolic value constrained by a symbolic variable generated by an arbitrary function. The region should return a bitvector variable representing the whole region, so in practice this should be used for small regions of memory.

Symbolic(Range<Address>)

A region of arbitrary symbolic locations

SymbolicCode(Range<Address>)

A read only region of arbitrary symbolic locations intended for code

Concrete(Range<Address>, HashMap<Address, u8>)

A region of concrete read-only memory

Custom(Range<Address>, Box<dyn Send + Sync + CustomRegion<B>>)

A custom region

Trait Implementations

impl<B> Clone for Region<B>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<B> Debug for Region<B>

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

Formats the value using the given formatter.