jingle 0.5.1

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
52
53
54
55
56
57
58
59
60
61

use crate::python::instruction::PythonInstruction;
use crate::python::modeled_block::PythonModeledBlock;
use crate::python::modeled_instruction::PythonModeledInstruction;
use jingle_sleigh::JingleSleighError::InstructionDecode;
use jingle_sleigh::SleighArchInfo;
use jingle_sleigh::context::image::gimli::load_with_gimli;
use jingle_sleigh::context::loaded::LoadedSleighContext;
use pyo3::exceptions::PyRuntimeError;
use pyo3::{PyResult, pyclass, pymethods};
use std::rc::Rc;

#[pyclass(unsendable, name = "SleighContext")]
pub struct PythonLoadedSleighContext {
    context: Rc<LoadedSleighContext<'static>>,
}

impl PythonLoadedSleighContext {
    pub fn arch_info(&self) -> &SleighArchInfo {
        self.context.arch_info()
    }
}
#[pymethods]
impl PythonLoadedSleighContext {
    #[new]
    pub fn new(binary_path: &str, ghidra: &str) -> PyResult<Self> {
        let context = Rc::new(load_with_gimli(binary_path, ghidra)?);
        Ok(PythonLoadedSleighContext { context })
    }

    pub fn instruction_at(&self, offset: u64) -> Option<PythonInstruction> {
        PythonInstruction::read_from_ctx(&self.context, offset)
    }

    pub fn model_instruction_at(&self, offset: u64) -> PyResult<PythonModeledInstruction> {
        let instr = self
            .context
            .instruction_at(offset)
            .ok_or(InstructionDecode)?;
        PythonModeledInstruction::new(instr, self.context.arch_info())
    }

    pub fn model_block_at(&self, offset: u64, max_instrs: usize) -> PyResult<PythonModeledBlock> {
        PythonModeledBlock::new(
            self.context.arch_info(),
            self.context.read(offset, max_instrs),
        )
    }

    #[setter]
    pub fn set_base_address(&mut self, offset: u64) -> PyResult<()> {
        Rc::get_mut(&mut self.context)
            .ok_or(PyRuntimeError::new_err("sdf"))?
            .set_base_address(offset);
        Ok(())
    }

    #[getter]
    pub fn get_base_address(&mut self) -> u64 {
        self.context.get_base_address()
    }
}