Struct cwe_checker_lib::intermediate_representation::Program

pub struct Program {
    pub subs: BTreeMap<Tid, Term<Sub>>,
    pub extern_symbols: BTreeMap<Tid, ExternSymbol>,
    pub entry_points: BTreeSet<Tid>,
    pub address_base_offset: u64,
}

The Program structure represents a disassembled binary.

Fields

subs: BTreeMap<Tid, Term<Sub>>

The known functions contained in the binary

extern_symbols: BTreeMap<Tid, ExternSymbol>

Extern symbols linked to the binary by the linker.

entry_points: BTreeSet<Tid>

Entry points into to binary, i.e. the term identifiers of functions that may be called from outside of the binary.

address_base_offset: u64

An offset that has been added to all addresses in the program compared to the addresses as specified in the binary file.

In certain cases, e.g. if the binary specifies a segment to be loaded at address 0, the Ghidra backend may shift the whole binary image by a constant value in memory. Thus addresses as specified by the binary and addresses as reported by Ghidra may differ by a constant offset, which is stored in this value.

Implementations

impl Program

pub fn find_block(&self, tid: &Tid) -> Option<&Term<Blk>>

Find a block term by its term identifier. WARNING: The function simply iterates through all blocks, i.e. it is very inefficient for large projects!

pub fn find_sub_containing_jump(&self, jmp_tid: &Tid) -> Option<Tid>

Find the sub containing a specific jump instruction (including call instructions). WARNING: The function simply iterates though all blocks, i.e. it is very inefficient for large projects!

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 Display for Program

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

Formats the value using the given formatter.

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