pub struct SymbolicExecutionEngine<'a, E, S>where
E: ExplorationStrategy,
S: Solver,{ /* private fields */ }Implementations§
Source§impl<'a, E, S> SymbolicExecutionEngine<'a, E, S>where
E: ExplorationStrategy,
S: Solver,
impl<'a, E, S> SymbolicExecutionEngine<'a, E, S>where
E: ExplorationStrategy,
S: Solver,
pub fn new( options: &SymbolicExecutionOptions, strategy: &'a E, solver: &'a S, ) -> Self
Trait Implementations§
Source§impl<'a, E, S> BugFinder<SymbolicExecutionBugInfo, SymbolicExecutionError> for SymbolicExecutionEngine<'a, E, S>where
E: ExplorationStrategy,
S: Solver,
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>
Auto Trait Implementations§
impl<'a, E, S> Freeze for SymbolicExecutionEngine<'a, E, S>
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,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more