Struct cwe_checker_lib::pcode::Project

pub struct Project {
    pub program: Term<Program>,
    pub cpu_architecture: String,
    pub stack_pointer_register: Variable,
    pub register_properties: Vec<RegisterProperties>,
    pub register_calling_convention: Vec<CallingConvention>,
    pub datatype_properties: DatatypeProperties,
}

The project struct describing all known information about the binary.

Fields

program: Term<Program>

The program struct containing all binary-specific information.

cpu_architecture: String

The CPU-architecture that the binary uses.

stack_pointer_register: Variable

The stack pointer register of the CPU-architecture.

register_properties: Vec<RegisterProperties>

Information about all CPU-architecture-specific registers.

register_calling_convention: Vec<CallingConvention>

Information about known calling conventions for the given CPU architecture.

datatype_properties: DatatypeProperties

Contains the properties of C data types. (e.g. size)

Implementations

impl Project

pub fn into_ir_project(self, binary_base_address: u64) -> IrProject

Convert a project 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.

impl Project

pub fn normalize(&mut self) -> Vec<LogMessage>

This function runs normalization passes to bring the project into a form that can be translated into the internally used intermediate representation.

Currently implemented normalization passes:

Insert explicit LOAD instructions for implicit memory loads in P-Code.

Ghidra generates implicit loads for memory accesses, whose address is a constant. The pass converts them to explicit LOAD instructions.

Remove basic blocks of functions without correct starting block

Sometimes Ghidra generates a (correct) function start inside another function. But if the function start is not also the start of a basic block, we cannot handle it correctly (yet) as this would need splitting of basic blocks. So instead we generate a log message and handle the function as a function without code, i.e. a dead end in the control flow graph.

Trait Implementations

impl Clone for Project

fn clone(&self) -> Project

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Project

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Project

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for Project

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 Project

fn eq(&self, other: &Project) -> 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 Project

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 Project

impl StructuralEq for Project

impl StructuralPartialEq for Project