Struct cwe_checker_lib::pcode::Program

pub struct Program {
    pub subs: Vec<Term<Sub>>,
    pub extern_symbols: Vec<ExternSymbol>,
    pub entry_points: Vec<Tid>,
    pub image_base: String,
}

The program struct containing all information about the binary except for CPU-architecture-related information.

Fields

subs: Vec<Term<Sub>>

The subfunctions contained in the binary.

extern_symbols: Vec<ExternSymbol>

The extern symbols referenced by the binary.

entry_points: Vec<Tid>

The term identifiers of entry points into the binary.

image_base: String

The base address of the memory image of the binary in RAM as reported by Ghidra.

Note that Ghidra may add an offset to the image base address as reported by the binary itself.

Implementations

impl Program

pub fn into_ir_program( self, binary_base_address: u64, conventions: &[CallingConvention], stack_pointer: &Variable, cpu_arch: &str ) -> IrProgram

Convert a program parsed from Ghidra to the internally used IR.

The binary_base_address denotes the base address of the memory image of the binary according to the program headers of the binary. It is needed to detect whether Ghidra added a constant offset to all addresses of the memory address. E.g. if the binary_base_address is 0 for shared object files, Ghidra adds an offset so that the memory image does not actually start at address 0.

Trait Implementations

impl Clone for Program

fn clone(&self) -> Program

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Program

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Program

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for Program

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Program

fn eq(&self, other: &Program) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Program

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Program

impl StructuralEq for Program

impl StructuralPartialEq for Program