angr.rust.mixins.srda_mixin

class angr.rust.mixins.srda_mixin.SRDAMixin

Bases: object

Mixin providing SSA reaching definitions analysis access.

__init__(subject, graph, project)

get_vvar_value(vvar)

Return type:

Expression | None

Parameters:

vvar (VirtualVariable)

get_terminal_vvar_values(vvar, visited=None)

get_terminal_vvar_value(vvar, visited=None)

get_terminal_vvar(vvar, visited=None)

get_stack_vvar_by_insn(stack_offset, addr, block_idx=None, size=None, op_type=ObservationPointType.OP_BEFORE)

Return type:

VirtualVariable | None

Parameters:

• stack_offset (int)

• addr (int)

• block_idx (int | None)

get_stack_vvar_and_offset_by_insn(stack_offset, addr, block_idx=None, op_type=ObservationPointType.OP_BEFORE)

Return type:

tuple[VirtualVariable, int] | tuple[None, None]

Parameters:

• stack_offset (int)

• addr (int)

• block_idx (int | None)

get_vvar_type(vvar)

Return type:

RustSimType | None

get_def_by_vvar(vvar)