jingle 0.5.5

SMT Modeling for Ghidra's PCODE
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
32
33
34
35
36
37

use crate::modeling::machine::cpu::concrete::ConcretePcodeAddress;
use jingle_sleigh::PcodeOperation;
use std::mem;
use std::rc::Rc;

#[derive(Debug, Clone, Default)]
struct ProgramPathSegment(pub Vec<(ConcretePcodeAddress, PcodeOperation)>);

impl ProgramPathSegment {
    pub fn push(&mut self, address: ConcretePcodeAddress, op: PcodeOperation) {
        self.0.push((address, op));
    }
}

#[derive(Debug, Clone, Default)]
pub struct ProgramPath {
    prefix: Vec<Rc<ProgramPathSegment>>,
    current: ProgramPathSegment,
}

impl ProgramPath {
    pub fn push(&mut self, address: ConcretePcodeAddress, op: PcodeOperation) {
        self.current.push(address, op);
    }

    pub fn commit(&mut self) {
        let old = mem::take(&mut self.current);
        self.prefix.push(Rc::new(old));
    }

    pub fn iter(&self) -> impl Iterator<Item = &(ConcretePcodeAddress, PcodeOperation)> {
        self.prefix
            .iter()
            .flat_map(|p| p.0.iter())
            .chain(self.current.0.iter())
    }
}