angr.ailment.manager¶

class angr.ailment.manager.Manager

Bases: object

classmethod __new__(*args, **kwargs)¶

arch¶

atom_ctr¶: Exposed for parity/debugging; the original stored an itertools.count.

block_addr¶

ins_addr¶

name¶

next_atom()¶

reset()¶

tyenv¶

variable_map¶

vex_stmt_idx¶