Struct monster::engine::symbolic_execution::SymbolicExecutionEngine [−][src]
pub struct SymbolicExecutionEngine<'a, E, S> where
E: ExplorationStrategy,
S: Solver, { /* fields omitted */ }
Implementations
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<'a, E, S> RefUnwindSafe for SymbolicExecutionEngine<'a, E, S> where
E: RefUnwindSafe,
S: RefUnwindSafe,
impl<'a, E, S> Send for SymbolicExecutionEngine<'a, E, S> where
E: Sync,
impl<'a, E, S> Sync for SymbolicExecutionEngine<'a, E, S> where
E: Sync,
impl<'a, E, S> Unpin for SymbolicExecutionEngine<'a, E, S>
impl<'a, E, S> UnwindSafe for SymbolicExecutionEngine<'a, E, S> where
E: RefUnwindSafe,
S: RefUnwindSafe,