angr.analyses.loop_unroller.loop_unroller

class angr.analyses.loop_unroller.loop_unroller.LoopUnroller

Bases: Analysis

Unroll a loop in an AIL graph for a specified number of iterations.

__init__(graph, loop_body, unroll_times, save_original, loop_body_incomplete=False)

Parameters:

• graph (DiGraph)

• loop_body (set[tuple[int, int | None]])

• unroll_times (int)

• save_original (bool)

• loop_body_incomplete (bool)