monster-rs 0.4.1

Monster is a symbolic execution engine for 64-bit RISC-U code
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

mod coin_flip;
mod control_flow_graph;
mod shortest_path;

pub use self::{coin_flip::*, control_flow_graph::*, shortest_path::*};

use strum::{self, EnumString, EnumVariantNames, IntoStaticStr};

pub trait ExplorationStrategy {
    fn choose_path(&self, branch1: u64, branch2: u64) -> u64;
}

#[derive(Debug, EnumString, EnumVariantNames, IntoStaticStr)]
#[strum(serialize_all = "kebab_case")]
pub enum ExplorationStrategyType {
    ShortestPaths,
    CoinFlip,
}