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
19
20
21
22
23
24
25
26
27
28
29
30
31

use super::ExplorationStrategy;
use rand::{rngs::ThreadRng, thread_rng, Rng};
use std::cell::RefCell;

pub struct CoinFlipStrategy {
    rng: RefCell<ThreadRng>,
}

impl CoinFlipStrategy {
    pub fn new() -> Self {
        Self {
            rng: RefCell::new(thread_rng()),
        }
    }
}

impl Default for CoinFlipStrategy {
    fn default() -> CoinFlipStrategy {
        CoinFlipStrategy::new()
    }
}

impl ExplorationStrategy for CoinFlipStrategy {
    fn choose_path(&self, branch1: u64, branch2: u64) -> u64 {
        if self.rng.borrow_mut().gen::<bool>() {
            branch1
        } else {
            branch2
        }
    }
}