Struct SymbolicExecutionBugInfo

pub struct SymbolicExecutionBugInfo {
    pub witness: Option<Witness>,
    pub pc: u64,
}

Fields

witness: Option<Witness>

pc: u64

Trait Implementations

impl<'a, E, S> BugFinder<SymbolicExecutionBugInfo, SymbolicExecutionError> for SymbolicExecutionEngine<'a, E, S>

where E: ExplorationStrategy, S: Solver,

fn search_for_bugs( &self, program: &Program, ) -> Result<Option<GenericBug<SymbolicExecutionBugInfo>>, SymbolicExecutionError>

impl BugInfo for SymbolicExecutionBugInfo

type Value = Value

impl Clone for SymbolicExecutionBugInfo

fn clone(&self) -> SymbolicExecutionBugInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SymbolicExecutionBugInfo

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

Formats the value using the given formatter.

impl Display for SymbolicExecutionBugInfo

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

Formats the value using the given formatter.