crackers 0.9.0

A tool for synthesizing Code Reuse Attacks (ROP chains) using Ghidra's p-code and Z3
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143

use jingle::JingleError;
use jingle::modeling::ModeledInstruction;
use jingle::sleigh::context::loaded::LoadedSleighContext;
use jingle::sleigh::{Instruction, SleighArchInfo};
use rand::SeedableRng;
use rand::rngs::StdRng;
use rand::seq::IndexedRandom;
use std::borrow::Borrow;
use tracing::{Level, event};

use crate::gadget::Gadget;
use crate::gadget::another_iterator::TraceCandidateIterator;
use crate::gadget::library::builder::GadgetLibraryConfig;

pub mod builder;
pub mod image;

#[derive(Clone, Debug)]
pub struct GadgetLibrary {
    pub(crate) gadgets: Vec<Gadget>,
    arch_info: SleighArchInfo,
    pub(crate) language_id: String,
}

impl AsRef<SleighArchInfo> for GadgetLibrary {
    fn as_ref(&self) -> &SleighArchInfo {
        &self.arch_info
    }
}

impl GadgetLibrary {
    pub fn size(&self) -> usize {
        self.gadgets.len()
    }

    pub(crate) fn arch_info(&self) -> SleighArchInfo {
        self.arch_info.clone()
    }
    pub fn get_random_candidates_for_trace<'a, S: Borrow<SleighArchInfo>>(
        &'a self,
        info: S,
        trace: &[ModeledInstruction],
        seed: i64,
    ) -> impl Iterator<Item = Vec<Option<&'a Gadget>>> {
        let mut rng = StdRng::seed_from_u64(seed as u64);
        let r = self.gadgets.choose_multiple(&mut rng, self.gadgets.len());
        TraceCandidateIterator::new(info, r, trace.to_vec())
    }
    pub(super) fn build_from_image(
        sleighs: Vec<LoadedSleighContext>,
        builder: &GadgetLibraryConfig,
    ) -> Result<Self, JingleError> {
        // We expect at least one sleigh (the primary library) to be provided.
        // Use the first sleigh's arch info / language id as the library-wide info.
        let mut iter = sleighs.into_iter();
        let first = iter.next().unwrap();
        let mut lib: GadgetLibrary = GadgetLibrary {
            gadgets: vec![],
            arch_info: first.arch_info().clone(),
            language_id: first.get_language_id().to_string(),
        };

        event!(Level::INFO, "Loading gadgets from sleighs");

        // process the first sleigh
        for section in first.get_sections().filter(|s| s.perms.exec) {
            let start = section.base_address as u64;
            let end = start + section.data.len() as u64;
            let mut curr = start;

            while curr < end {
                let instrs: Vec<Instruction> =
                    first.read(curr, builder.max_gadget_length).collect();
                if let Some(i) = instrs.iter().position(|b| b.terminates_basic_block()) {
                    let gadget = Gadget {
                        code_space_idx: first.arch_info().default_code_space_index(),
                        spaces: first.arch_info().spaces().to_vec(),
                        instructions: instrs[0..=i].to_vec(),
                    };
                    if !gadget.has_blacklisted_op(&builder.operation_blacklist) {
                        lib.gadgets.push(gadget);
                    }
                }
                curr += 1
            }
            event!(Level::INFO, "Found {} gadgets...", lib.gadgets.len());
        }

        // process remaining sleighs (additional loaded libraries)
        for sleigh in iter {
            for section in sleigh.get_sections().filter(|s| s.perms.exec) {
                let start = section.base_address as u64;
                let end = start + section.data.len() as u64;
                let mut curr = start;

                while curr < end {
                    let instrs: Vec<Instruction> =
                        sleigh.read(curr, builder.max_gadget_length).collect();
                    if let Some(i) = instrs.iter().position(|b| b.terminates_basic_block()) {
                        let gadget = Gadget {
                            code_space_idx: sleigh.arch_info().default_code_space_index(),
                            spaces: sleigh.arch_info().spaces().to_vec(),
                            instructions: instrs[0..=i].to_vec(),
                        };
                        if !gadget.has_blacklisted_op(&builder.operation_blacklist) {
                            lib.gadgets.push(gadget);
                        }
                    }
                    curr += 1
                }
                event!(Level::INFO, "Found {} gadgets...", lib.gadgets.len());
            }
        }

        Ok(lib)
    }
}

#[cfg(test)]
mod tests {
    use std::fs;
    use std::path::Path;

    use crate::gadget::library::GadgetLibrary;
    use crate::gadget::library::builder::GadgetLibraryConfig;
    use jingle::sleigh::context::SleighContextBuilder;
    use object::File;

    #[test]
    fn test_load_library() {
        let builder =
            SleighContextBuilder::load_ghidra_installation(Path::new("/Applications/ghidra"))
                .unwrap();
        let path = Path::new("../bin/vuln");
        let data = fs::read(path).unwrap();
        let file = File::parse(&*data).unwrap();
        let sleigh = builder.build("x86:LE:64:default").unwrap();
        let bin_sleigh = sleigh.initialize_with_image(file).unwrap();
        let _lib =
            GadgetLibrary::build_from_image(vec![bin_sleigh], &GadgetLibraryConfig::default())
                .unwrap();
    }
}