angr.ailment.manager¶

class angr.ailment.manager.Manager¶

Bases: object

AIL manager class used during AIL generation and simplification.

__init__(name=None, arch=None)¶

Parameters:: name (str | None)

next_atom()¶

reset()¶

property ins_addr: int | None¶