Struct haybale_pitchfork::PathStatistics[−][src]

pub struct PathStatistics {Show 13 fields
    pub num_ct_paths: usize,
    pub num_ct_violations: usize,
    pub num_unsats: usize,
    pub num_loop_bound_exceeded: usize,
    pub num_null_ptr_deref: usize,
    pub num_function_not_found: usize,
    pub num_solver_errors: usize,
    pub num_unsupported_instruction: usize,
    pub num_malformed_instruction: usize,
    pub num_unreachable_instruction: usize,
    pub num_failed_resolve_fptr: usize,
    pub num_hook_retval_mismatch: usize,
    pub num_other_errors: usize,
}

Expand description

Some statistics which can be computed from a ConstantTimeResultForFunction.

Fields

num_ct_paths: usize

How many paths “passed”, that is, had no error or constant-time violation

num_ct_violations: usize

How many constant-time violations did we find

num_unsats: usize

How many Unsat errors did we find

num_loop_bound_exceeded: usize

How many LoopBoundExceeded errors did we find

num_null_ptr_deref: usize

How many NullPointerDereference errors did we find

num_function_not_found: usize

How many FunctionNotFound errors did we find

num_solver_errors: usize

How many solver errors (including timeouts) did we find

num_unsupported_instruction: usize

How many UnsupportedInstruction errors did we find

num_malformed_instruction: usize

How many MalformedInstruction errors did we find

num_unreachable_instruction: usize

How many UnreachableInstruction errors did we find

num_failed_resolve_fptr: usize

How many FailedToResolveFunctionPointer errors did we find

num_hook_retval_mismatch: usize

How many HookReturnValueMismatch errors did we find

num_other_errors: usize

How many other errors did we find

Trait Implementations

impl Clone for PathStatistics

fn clone(&self) -> PathStatistics

Returns a copy of the value. Read more

1.0.0[src]

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

Performs copy-assignment from source. Read more

impl Debug for PathStatistics

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

Formats the value using the given formatter. Read more

impl Display for PathStatistics

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

Formats the value using the given formatter. Read more

impl PartialEq<PathStatistics> for PathStatistics

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

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

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

This method tests for !=.

impl Eq for PathStatistics

impl StructuralEq for PathStatistics

impl StructuralPartialEq for PathStatistics

Auto Trait Implementations

impl RefUnwindSafe for PathStatistics

impl Send for PathStatistics

impl Sync for PathStatistics

impl Unpin for PathStatistics

impl UnwindSafe for PathStatistics

Blanket Implementations

impl<T> Any for T where
T: 'static + ?Sized,

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
T: ?Sized,

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
T: ?Sized,

pub fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

pub fn from(t: T) -> T

Performs the conversion.

impl<T, U> Into<U> for T where
U: From<T>,

pub fn into(self) -> U

Performs the conversion.

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

pub fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

pub fn clone_into(&self, target: &mut T)

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T> ToString for T where
T: Display + ?Sized,

pub default fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T, U> TryFrom<U> for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.