Struct gf::ai::concrete::ConcreteSpaceState

pub struct ConcreteSpaceState { /* fields omitted */ }

🟢 Implementation of SpaceState for use with concrete interpretation.

Each bit in the state is conceptually a FlatLattice of bool, backed by a Buffer. Therefore, values are always FlatLattice of BitVec, and addresses can be:

• anything implementing IntoU128;
• a BitVec with the same number of bits as the address size;
• a FlatLattice of BitVec with the same number of bits as the address size.

Implementations

impl ConcreteSpaceState

pub fn new(space: Space<'_>) -> Self

Create a concrete space state for a given space.

Errors

• Panics if address size exceeds 128 bits.

pub fn buffer(&self) -> &Buffer

Return a shared reference to the underlying buffer.

pub fn buffer_mut(&mut self) -> &mut Buffer

Return a mutable reference to the underlying buffer.

Trait Implementations

impl Clone for ConcreteSpaceState

fn clone(&self) -> ConcreteSpaceState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A: IntoU128> ConstSpaceState<A, FlatLattice<BitVec>> for ConcreteSpaceState

fn load(
    &mut self,
    span: SpaceSpan<A>
) -> (FlatLattice<BitVec>, FlatLattice<BitVec>)

Load from the space.

fn load_result(&mut self, span: SpaceSpan<A>) -> Result<V, V>

Load from the space returning a Result.

impl ConstSpaceState<BitVec, FlatLattice<BitVec>> for ConcreteSpaceState

fn load(
    &mut self,
    span: SpaceSpan<BitVec>
) -> (FlatLattice<BitVec>, FlatLattice<BitVec>)

Load from the space.

fn load_result(&mut self, span: SpaceSpan<A>) -> Result<V, V>

Load from the space returning a Result.

impl ConstSpaceState<FlatLattice<BitVec>, FlatLattice<BitVec>> for ConcreteSpaceState

fn load(
    &mut self,
    span: SpaceSpan<FlatLattice<BitVec>>
) -> (FlatLattice<BitVec>, FlatLattice<BitVec>)

Load from the space.

fn load_result(&mut self, span: SpaceSpan<A>) -> Result<V, V>

Load from the space returning a Result.

impl<A: IntoU128> SpaceState<A, FlatLattice<BitVec>> for ConcreteSpaceState

fn store(
    &mut self,
    span: SpaceSpan<A>,
    value: FlatLattice<BitVec>
) -> (Option<()>, FlatLattice<BitVec>)

Store to the space.

fn store_result(
    &mut self,
    span: SpaceSpan<A>,
    value: V
) -> Result<Option<()>, V>

Store to the space returning a Result.

impl SpaceState<BitVec, FlatLattice<BitVec>> for ConcreteSpaceState

fn store(
    &mut self,
    span: SpaceSpan<BitVec>,
    value: FlatLattice<BitVec>
) -> (Option<()>, FlatLattice<BitVec>)

Store to the space.

fn store_result(
    &mut self,
    span: SpaceSpan<A>,
    value: V
) -> Result<Option<()>, V>

Store to the space returning a Result.

impl SpaceState<FlatLattice<BitVec>, FlatLattice<BitVec>> for ConcreteSpaceState

fn store(
    &mut self,
    span: SpaceSpan<FlatLattice<BitVec>>,
    value: FlatLattice<BitVec>
) -> (Option<()>, FlatLattice<BitVec>)

Store to the space.

fn store_result(
    &mut self,
    span: SpaceSpan<A>,
    value: V
) -> Result<Option<()>, V>

Store to the space returning a Result.