[−][src]Struct haybale_pitchfork::PathStatistics

pub struct PathStatistics {
    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,
}

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[src]

impl Debug for PathStatistics[src]

impl Display for PathStatistics[src]

impl Eq for PathStatistics[src]

impl PartialEq<PathStatistics> for PathStatistics[src]

impl StructuralEq for PathStatistics[src]

impl StructuralPartialEq for PathStatistics[src]

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, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T> ToOwned for T where
    T: Clone, [src]

type Owned = T

The resulting type after obtaining ownership.

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

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

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

The type returned in the event of a conversion error.