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

use crate::display::JingleDisplayable;
use crate::sleigh::context::loaded::LoadedSleighContext;
use crate::sleigh::{Instruction, PcodeOperation};
use jingle_sleigh::SleighArchInfo;
use pyo3::{pyclass, pymethods};
use std::borrow::Borrow;
use std::fmt::{Display, Formatter};

#[pyclass(str, name = "Instruction")]
/// An assembly instruction parsed by SLEIGH
pub struct PythonInstruction {
    instruction: Instruction,
    info: SleighArchInfo,
}

impl PythonInstruction {
    pub fn new<T: Borrow<SleighArchInfo>>(instruction: &Instruction, ctx: T) -> Self {
        Self {
            instruction: instruction.clone(),
            info: ctx.borrow().clone(),
        }
    }
    pub fn read_from_ctx(ctx: &LoadedSleighContext, offset: u64) -> Option<Self> {
        ctx.instruction_at(offset).map(|i| PythonInstruction {
            instruction: i,
            info: ctx.arch_info().clone(),
        })
    }
}

impl Display for PythonInstruction {
    fn fmt(&self, f: &mut Formatter) -> std::fmt::Result {
        let d = self.instruction.display(&self.info);
        d.fmt(f)
    }
}

#[pymethods]
impl PythonInstruction {
    #[getter]
    fn disassembly(&self) -> String {
        format!(
            "{} {}",
            self.instruction.disassembly.mnemonic, self.instruction.disassembly.args
        )
    }

    fn pcode(&self) -> Vec<PcodeOperation> {
        self.instruction.ops.clone()
    }
}