jingle 0.5.4

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
38
39
40
41
42
43
44
45
46
47
48
49
50
51

use crate::modeling::{BranchConstraint, ModelingContext, State};
use crate::varnode::ResolvedVarnode;
use jingle_sleigh::{PcodeOperation, SleighArchInfo};
use std::collections::HashSet;

impl<T: ModelingContext> ModelingContext for &[T] {
    fn get_arch_info(&self) -> &SleighArchInfo {
        self[0].get_arch_info()
    }

    fn get_address(&self) -> u64 {
        self[0].get_address()
    }

    fn get_original_state(&self) -> &State {
        self[0].get_original_state()
    }

    fn get_final_state(&self) -> &State {
        self.last().unwrap().get_final_state()
    }

    fn get_ops(&self) -> Vec<&PcodeOperation> {
        let mut vec = vec![];
        for thing in self.iter() {
            vec.extend(thing.get_ops())
        }
        vec
    }

    fn get_inputs(&self) -> HashSet<ResolvedVarnode> {
        // todo: this can have some inputs removed if they exist as outputs of a previous thing
        let mut hash_set = HashSet::new();
        for thing in self.iter() {
            hash_set.extend(thing.get_inputs());
        }
        hash_set
    }

    fn get_outputs(&self) -> HashSet<ResolvedVarnode> {
        let mut hash_set = HashSet::new();
        for thing in self.iter() {
            hash_set.extend(thing.get_outputs());
        }
        hash_set
    }

    fn get_branch_constraint(&self) -> &BranchConstraint {
        self.last().unwrap().get_branch_constraint()
    }
}