angr.analyses.s_reaching_definitions.s_rda_view

class angr.analyses.s_reaching_definitions.s_rda_view.RegVVarPredicate

Bases: object

Implements a predicate that is used in get_reg_vvar_by_stmt_idx and get_reg_vvar_by_insn.

__init__(reg_offset, min_size, vvars, arch)
Parameters:
predicate(stmt)
Return type:

bool

Parameters:

stmt (Statement)

class angr.analyses.s_reaching_definitions.s_rda_view.StackVVarPredicate

Bases: object

Implements a predicate that is used in get_stack_vvar_by_stmt_idx and get_stack_vvar_by_insn.

__init__(stack_offset, size, vvars)
Parameters:
predicate(stmt)
Return type:

bool

Parameters:

stmt (Statement)

class angr.analyses.s_reaching_definitions.s_rda_view.SRDAView

Bases: object

A view of SRDA model that provides various functionalities for querying the model.

__init__(model)
Parameters:

model (SRDAModel)

get_reg_vvar_by_stmt(reg_offset, min_size, block_addr, block_idx, stmt_idx, op_type)
Return type:

VirtualVariable | None

Parameters:
get_stack_vvar_by_stmt(stack_offset, size, block_addr, block_idx, stmt_idx, op_type)
Return type:

VirtualVariable | None

Parameters:
get_reg_vvar_by_insn(reg_offset, min_size, addr, op_type, block_idx=None)
Return type:

VirtualVariable | None

Parameters:
get_stack_vvar_by_insn(stack_offset, size, addr, op_type, block_idx=None)
Return type:

VirtualVariable | None

Parameters:
get_vvar_value(vvar)
Return type:

Expression | None

Parameters:

vvar (VirtualVariable)

observe(observation_points)
Parameters:

observation_points (list[tuple[Literal['insn', 'node', 'stmt', 'exit'], int | tuple[int, int] | tuple[int, int, int], ~angr.knowledge_plugins.key_definitions.constants.ObservationPointType]])