angr.analyses.decompiler.optimization_passes.return_duplicator_base

class angr.analyses.decompiler.optimization_passes.return_duplicator_base.FreshVirtualVariableRewriter

Bases: AILBlockRewriter

Helper class to rewrite virtual variables so that they will use fresh virtual variables.

__init__(vvar_id_start, vvar_mapping)

Parameters:

• vvar_id_start (int)

• vvar_mapping (dict[int, int])

class angr.analyses.decompiler.optimization_passes.return_duplicator_base.ReturnDuplicatorBase

Bases: object

The base class for implementing Return Duplication as described in the SAILR paper. This base class describes the general algorithm for duplicating return regions in a graph.

__init__(func, manager, *, vvar_id_start, max_calls_in_regions=2, minimize_copies_for_regions=True, ri=None, scratch=None, max_func_blocks=1500)

Parameters:

• vvar_id_start (int)

• max_calls_in_regions (int)

• minimize_copies_for_regions (bool)

• ri (RegionIdentifier | None)

• scratch (dict[str, Any] | None)

• max_func_blocks (int)

next_node_idx()

Return type:

int

static unwrap_conv(expr)