Enum isla_axiomatic::page_table::L3Desc

pub enum L3Desc {
    Concrete(u64),
    Symbolic(u64, Sym),
}

A level 3 page table descriptor.

Variants

Concrete(u64)

Symbolic(u64, Sym)

Implementations

impl L3Desc

pub fn new_invalid() -> Self

pub fn initial_value(self) -> u64

pub fn new_reserved() -> Self

pub fn page<P: PageAttrs>(page: u64, attrs: P) -> Self

pub fn symbolic_address<B: BV>(self, solver: &mut Solver<'_, B>) -> Sym

pub fn or_invalid<B: BV>(self, solver: &mut Solver<'_, B>) -> Self

Make a level 3 descriptor potentially be invalid

pub fn new_symbolic<B: BV, P: PageAttrs>(
    pages: &[u64],
    attrs: P,
    solver: &mut Solver<'_, B>
) -> Self

Trait Implementations

impl Clone for L3Desc

fn clone(&self) -> L3Desc

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for L3Desc

impl Debug for L3Desc

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

Formats the value using the given formatter.

impl<B: BV> Into<Val<B>> for L3Desc

fn into(self) -> Val<B>

Performs the conversion.