angr.analyses.decompiler.structuring.dream

class angr.analyses.decompiler.structuring.dream.DreamStructurer

Bases: StructurerBase

Structure a region using a structuring algorithm that is similar to the one in Dream decompiler (described in the “no more gotos” paper). Note that this implementation has quite a few improvements over the original described version and should not be used to evaluate the performance of the original algorithm described in that paper.

The current function graph is provided so that we can detect certain edge cases, for example, jump table entries no longer exist due to empty node removal during structuring or prior steps.

NAME: str = 'dream'

__init__(region, parent_map=None, condition_processor=None, func=None, case_entry_to_switch_head=None, parent_region=None, **kwargs)

Parameters:

• func (Function | None)

• case_entry_to_switch_head (dict[int, int] | None)