Struct haybale_pitchfork::secret::Memory

pub struct Memory { /* fields omitted */ }

A Memory which tracks which of its contents are public or secret, and reports constant-time violations whenever secret data is used as an address for operations on it.

All the contents of the Memory are initially marked public, until secret data is written to the Memory.

Trait Implementations

impl Clone for Memory

fn clone(&self) -> Memory

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Memory

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

Formats the value using the given formatter.

impl Memory for Memory

type SolverRef = BtorRef

type Index = BV

type Value = BV

fn new_uninitialized(
    btor: BtorRef,
    null_detection: bool,
    name: Option<&str>,
    addr_bits: u32
) -> Self

A new Memory, whose contents at all addresses are completely uninitialized (unconstrained)

fn new_zero_initialized(
    btor: BtorRef,
    null_detection: bool,
    name: Option<&str>,
    addr_bits: u32
) -> Self

A new Memory, whose contents at all addresses are initialized to be 0

fn read(&self, index: &Self::Index, bits: u32) -> Result<Self::Value>

Read any number (>0) of bits of memory, at any alignment. Returned BV will have size bits.

fn write(&mut self, index: &Self::Index, value: Self::Value) -> Result<()>

Write any number (>0) of bits of memory, at any alignment.

fn get_solver(&self) -> BtorRef

Get a reference to the solver instance this Memory belongs to

fn change_solver(&mut self, new_solver: BtorRef)

Adapt the Memory to a new solver instance.

impl PartialEq<Memory> for Memory

fn eq(&self, other: &Memory) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Memory) -> bool

This method tests for !=.

impl Eq for Memory

impl StructuralEq for Memory

impl StructuralPartialEq for Memory