1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20

pub mod bug;
pub mod memory;
pub mod rarity_simulation;
pub mod symbolic_execution;
pub mod symbolic_state;
pub mod system;

pub use bug::*;
pub use memory::*;
pub use rarity_simulation::*;
pub use symbolic_execution::*;

use riscu::Program;
pub trait BugFinder<Info, Error>
where
    Info: BugInfo,
    Error: std::error::Error,
{
    fn search_for_bugs(&self, program: &Program) -> Result<Option<Bug<Info>>, Error>;
}