Struct BackendCapabilities 

pub struct BackendCapabilities {
    pub produces_elf: bool,
    pub supports_rule_verification: bool,
    pub supports_binary_verification: bool,
    pub is_external: bool,
}

What a backend can and cannot do

Fields

produces_elf: bool

Backend produces complete ELF files (external backends like aWsm)

supports_rule_verification: bool

Backend supports per-rule verification (only our custom ARM backend)

supports_binary_verification: bool

Backend supports binary-level verification (all backends via disassembly)

is_external: bool

Backend is an external tool (not a library)

Trait Implementations

impl Clone for BackendCapabilities

fn clone(&self) -> BackendCapabilities

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BackendCapabilities

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

Formats the value using the given formatter.