Struct gf::ai::symbolic::SymbolicSpaceState

pub struct SymbolicSpaceState { /* fields omitted */ }

🟢 Implementation of SpaceState for use with symbolic interpretation.

Each byte in the state is a FlatLattice of Expr, backed by a HashLattice.

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.

Values can be:

• a FlatLattice of Expr;
• a FlatLattice of BitVec.

Implementations

impl SymbolicSpaceState

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

Create a symbolic space state for a given space.

Errors

• Panics if address size exceeds 128 bits.

pub fn set_concrete(
    &mut self,
    endianness: Endianness,
    address: FlatLattice<BitVec>,
    value: FlatLattice<BitVec>
)

Augment symbolic state with concrete bytes before a load.

Trait Implementations

impl Clone for SymbolicSpaceState

fn clone(&self) -> SymbolicSpaceState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A: IntoU128> ConstSpaceState<A, FlatLattice<Expr>> for SymbolicSpaceState

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

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<Expr>> for SymbolicSpaceState

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

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<Expr>> for SymbolicSpaceState

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

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<Expr>> for SymbolicSpaceState

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

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<Expr>> for SymbolicSpaceState

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

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<Expr>> for SymbolicSpaceState

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

Store to the space.

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

Store to the space returning a Result.