angr.engines.vex.light.light

class angr.engines.vex.light.light.VEXMixin

Bases: SimEngine

__init__(project, **kwargs)
handle_vex_block(irsb)
Parameters:

irsb (IRSB)