Enum monster::engine::symbolic_execution::SymbolicExecutionError [−][src]
pub enum SymbolicExecutionError { IoError(Arc<Error>), NotSupported(String), ExecutionDepthReached(u64), InvalidInstructionEncoding(u64, DecodingError), Solver(SolverError), BugFound(SymbolicExecutionBug), ProgramExit(Value), NotReachable, }
Variants
NotSupported(String)
ExecutionDepthReached(u64)
InvalidInstructionEncoding(u64, DecodingError)
Solver(SolverError)
BugFound(SymbolicExecutionBug)
ProgramExit(Value)
Trait Implementations
impl<'a, E, S> BugFinder<SymbolicExecutionBugInfo, SymbolicExecutionError> for SymbolicExecutionEngine<'a, E, S> where
E: ExplorationStrategy,
S: Solver,
[src]
impl<'a, E, S> BugFinder<SymbolicExecutionBugInfo, SymbolicExecutionError> for SymbolicExecutionEngine<'a, E, S> where
E: ExplorationStrategy,
S: Solver,
[src]fn search_for_bugs(
&self,
program: &Program
) -> Result<Option<GenericBug<SymbolicExecutionBugInfo>>, SymbolicExecutionError>
[src]Auto Trait Implementations
impl !RefUnwindSafe for SymbolicExecutionError
impl Send for SymbolicExecutionError
impl Sync for SymbolicExecutionError
impl Unpin for SymbolicExecutionError
impl !UnwindSafe for SymbolicExecutionError
Blanket Implementations
Mutably borrows from an owned value. Read more
pub fn vzip(self) -> V