Struct MediumLevelILInstruction

pub struct MediumLevelILInstruction {
    pub function: Ref<MediumLevelILFunction>,
    pub address: u64,
    pub expr_index: MediumLevelInstructionIndex,
    pub size: usize,
    pub kind: MediumLevelILInstructionKind,
}

Fields

function: Ref<MediumLevelILFunction>

address: u64

expr_index: MediumLevelInstructionIndex

size: usize

kind: MediumLevelILInstructionKind

Implementations

impl MediumLevelILInstruction

pub fn lift(&self) -> MediumLevelILLiftedInstruction

pub fn tokens(&self) -> Array<InstructionTextToken>

pub fn value(&self) -> RegisterValue

Value of expression if constant or a known value

pub fn basic_block(&self) -> Option<Ref<BasicBlock<MediumLevelILBlock>>>

Returns the BasicBlock containing the given MediumLevelILInstruction.

pub fn possible_values(&self) -> PossibleValueSet

Possible values of expression using path-sensitive static data flow analysis

pub fn possible_values_with_opts( &self, options: &[DataFlowQueryOption], ) -> PossibleValueSet

Possible values of expression using path-sensitive static data flow analysis

pub fn possible_ssa_variable_values( &self, ssa_var: &SSAVariable, ) -> PossibleValueSet

pub fn possible_ssa_variable_values_with_opts( &self, ssa_var: &SSAVariable, options: &[DataFlowQueryOption], ) -> PossibleValueSet

pub fn ssa_variable_version(&self, var: Variable) -> SSAVariable

Return the ssa version of a Variable at the given instruction.

pub fn ssa_variable_version_after(&self, var: Variable) -> SSAVariable

Return the ssa version of a Variable after the given instruction.

pub fn branch_dependencies(&self) -> Array<BranchDependence>

Set of branching instructions that must take the true or false path to reach this instruction

pub fn branch_dependence_at( &self, instruction: MediumLevelILInstruction, ) -> BranchDependence

pub fn ssa_memory_version(&self) -> usize

Version of active memory contents in SSA form for this instruction

pub fn ssa_memory_version_after(&self) -> usize

Version of active memory contents in SSA form for this instruction

pub fn expr_type(&self) -> Option<Conf<Ref<Type>>>

Type of expression

pub fn set_expr_type<'a, T: Into<Conf<&'a Type>>>(&self, ty: T)

Set type of expression

This API is only meant for workflows or for debugging purposes, since the changes they make are not persistent and get lost after a database save and reload. To make persistent changes to the analysis, one should use other APIs to, for example, change the type of variables. The analysis will then propagate the type of the variable and update the type of related expressions.

pub fn variable_for_register(&self, reg_id: RegisterId) -> Variable

pub fn variable_for_register_after(&self, reg_id: RegisterId) -> Variable

pub fn variable_for_flag(&self, flag_id: FlagId) -> Variable

pub fn variable_for_flag_after(&self, flag_id: FlagId) -> Variable

pub fn variable_for_stack_location(&self, offset: i64) -> Variable

pub fn variable_for_stack_location_after(&self, offset: i64) -> Variable

pub fn register_value(&self, reg_id: RegisterId) -> RegisterValue

pub fn register_value_after(&self, reg_id: RegisterId) -> RegisterValue

pub fn possible_register_values(&self, reg_id: RegisterId) -> PossibleValueSet

pub fn possible_register_values_with_opts( &self, reg_id: RegisterId, options: &[DataFlowQueryOption], ) -> PossibleValueSet

pub fn possible_register_values_after( &self, reg_id: RegisterId, ) -> PossibleValueSet

pub fn possible_register_values_after_with_opts( &self, reg_id: RegisterId, options: &[DataFlowQueryOption], ) -> PossibleValueSet

pub fn flag_value(&self, flag_id: FlagId) -> RegisterValue

pub fn flag_value_after(&self, flag_id: FlagId) -> RegisterValue

pub fn possible_flag_values(&self, flag_id: FlagId) -> PossibleValueSet

pub fn possible_flag_values_with_opts( &self, flag_id: FlagId, options: &[DataFlowQueryOption], ) -> PossibleValueSet

pub fn possible_flag_values_after_with_opts( &self, flag_id: FlagId, options: &[DataFlowQueryOption], ) -> PossibleValueSet

pub fn stack_contents(&self, offset: i64, size: usize) -> RegisterValue

pub fn stack_contents_after(&self, offset: i64, size: usize) -> RegisterValue

pub fn possible_stack_contents_with_opts( &self, offset: i64, size: usize, options: &[DataFlowQueryOption], ) -> PossibleValueSet

pub fn possible_stack_contents_after_with_opts( &self, offset: i64, size: usize, options: &[DataFlowQueryOption], ) -> PossibleValueSet

pub fn split_var_for_definition(&self, var: &Variable) -> Variable

Gets the unique variable for a definition instruction. This unique variable can be passed to crate::function::Function::split_variable to split a variable at a definition. The given var is the assigned variable to query.

• var - variable to query

pub fn get_split_var_for_definition(&self, var: &Variable) -> Variable

alias for MediumLevelILInstruction::split_var_for_definition

Trait Implementations

impl Clone for MediumLevelILInstruction

fn clone(&self) -> MediumLevelILInstruction

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CoreArrayProvider for MediumLevelILInstruction

type Raw = usize

type Context = Ref<MediumLevelILFunction>

type Wrapped<'a> = MediumLevelILInstruction

impl Debug for MediumLevelILInstruction

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

Formats the value using the given formatter.