angr.ailment.manager

class angr.ailment.manager.Manager

Bases: object

classmethod __new__(*args, **kwargs)

atom_ctr

Next atom index to hand out (the original used itertools.count()).

block_addr

ins_addr

next_atom()

reset()

tyenv

variable_map

Attached by Clinic so that optimization passes, peephole optimizations, and region simplifiers can use VariableMap.

vex_stmt_idx