lib.rs

use binaryninja::{
    add_optional_plugin_dependency, architecture::ArchitectureExt, binary_view::BinaryViewType,
    calling_convention, Endianness,
};

mod architecture;
mod flag;
mod lift;
mod register;

use architecture::Msp430;

#[no_mangle]
#[allow(non_snake_case)]
pub extern "C" fn CorePluginInit() -> bool {
    binaryninja::tracing_init!("MSP430");

    let arch =
        binaryninja::architecture::register_architecture("msp430", |custom_handle, handle| {
            Msp430::new(handle, custom_handle)
        });

    // we may need to introduce additional calling conventions here to
    // support additional ABIs. MSPGCC's calling convention (what
    // microcorruption seems to use) has some differences between the EABI
    // calling convention though GCC has since added support for the EABI
    // calling convention according to
    // https://www.ti.com/lit/an/slaa664/slaa664.pdf?ts=1613210655081. MSPGCC
    // appears to be a legacy calling convention while EABI is the newer
    // standardized one that is compatible with TI's compiler
    let default = calling_convention::ConventionBuilder::new(arch)
        .is_eligible_for_heuristics(true)
        .int_arg_registers(&["r12", "r13", "r14", "r15"])
        .return_int_reg("r12")
        .return_hi_int_reg("r13")
        .register("default");
    calling_convention::ConventionBuilder::new(arch)
        .is_eligible_for_heuristics(true)
        .return_int_reg("r12")
        .return_hi_int_reg("r13")
        .register("stack");

    arch.set_default_calling_convention(&default);

    if let Some(bvt) = BinaryViewType::by_name("ELF") {
        bvt.register_arch(105, Endianness::LittleEndian, arch);
    }

    true
}

#[no_mangle]
#[allow(non_snake_case)]
pub extern "C" fn CorePluginDependencies() {
    add_optional_plugin_dependency("view_elf");
}