Struct FuzzingTrace

pub(crate) struct FuzzingTrace {
    trace: Vec<u32>,
    branch_to_feature_map: HashMap<(usize, usize), usize>,
}

Context structure for all information necessary to compute the fuzzing trace

Fields

trace: Vec<u32>

Fuzzer tracing memory.

It records each time a key in the branch_to_feature_map was observed. Its length is equal to that of the branch_to_feature_map.

branch_to_feature_map: HashMap<(usize, usize), usize>

Branch to feature map for fuzzing. Maps program counter + feature to index in the trace vector.

Implementations

impl FuzzingTrace

fn branch_state(cond: bool) -> usize

fn log_range_state(log: usize) -> usize

fn field_diff_log<F: AcirField>(a: F, b: F) -> u64

Compute the distance of two field elements as the number of bits required to represent their difference, which is the same as its logarithm.

fn int_diff_log(a: u128, b: u128) -> u32

Compute the distance of two integers as the logarithm of the absolute value of their difference, which is the number of bits required to represent it.

pub(crate) fn new(branch_to_feature_map: HashMap<(usize, usize), usize>) -> Self

fn record_branch(&mut self, pc: usize, destination: usize)

fn record_conditional_mov(&mut self, pc: usize, branch: bool)

fn record_binary_field_op_comparison<F: AcirField>( &mut self, pc: usize, op: &BinaryFieldOp, lhs: MemoryValue<F>, rhs: MemoryValue<F>, result: MemoryValue<F>, )

fn record_binary_int_op_comparison<F: AcirField>( &mut self, pc: usize, op: &BinaryIntOp, lhs: MemoryValue<F>, rhs: MemoryValue<F>, result: MemoryValue<F>, )

pub(crate) fn get_trace(&self) -> Vec<u32>

Trait Implementations

impl Clone for FuzzingTrace

fn clone(&self) -> FuzzingTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FuzzingTrace

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

Formats the value using the given formatter.

impl Default for FuzzingTrace

fn default() -> FuzzingTrace

Returns the “default value” for a type.

impl PartialEq for FuzzingTrace

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for FuzzingTrace

impl StructuralPartialEq for FuzzingTrace