angr.rust.mixins.dfa_mixin

class angr.rust.mixins.dfa_mixin.StackDefinition

Bases: object

A definition of a stack variable.

data: Expression

stmt: Statement

stmt_idx: int

block: Block

__init__(data, stmt, stmt_idx, block)

Parameters:

• data (Expression)

• stmt (Statement)

• stmt_idx (int)

• block (Block)

Return type:

None

class angr.rust.mixins.dfa_mixin.DFAMixin

Bases: object

Data Flow Analysis Helper

__init__(graph=None)

collect_stack_defs_at(block)

Collect stack definitions at specific block

collect_callsite_stack_defs(callsite_block, max_blocks=1)

Collect stack variable definitions at a given callsite

static extract_write_to_stack_vvar(stmt)

Return type:

tuple[VirtualVariable | None, Expression | None]

static extract_stack_data_flow(stmt)

find_reg_ptr_to_reg_data_flow(block, reg_vvar)

find_stack_data_flow(block, src_offset, size)

static extract_stack_to_reg_data_flow(stmt)

find_stack_to_reg_data_flow(block, src_offset, size)

get_def_block_and_stmt(data)