angr.ailment.converter_vex¶

class angr.ailment.converter_vex.VEXExprConverter¶

Bases: Converter

static simop_from_vexop(vex_op)¶

static generic_name_from_vex_op(vex_op)¶

static convert(expr, manager)¶

Parameters:: expr
Returns:

static convert_list(exprs, manager)¶

static register(offset, bits, manager)¶

static tmp(tmp_idx, bits, manager)¶

static RdTmp(expr, manager)¶

static Get(expr, manager)¶

static Load(expr, manager)¶

static Unop(expr, manager)¶

static Binop(expr, manager)¶

static Triop(expr, manager)¶

static Const(expr, manager)¶

static const_n(expr, manager)¶

static ITE(expr, manager)¶

static CCall(expr, manager)¶

Parameters:: expr (CCall)

class angr.ailment.converter_vex.VEXStmtConverter¶

Bases: Converter

static convert(idx, stmt, manager)¶

Parameters:

idx
stmt
manager

Returns:

static WrTmp(idx, stmt, manager)¶

static Put(idx, stmt, manager)¶

static Store(idx, stmt, manager)¶

static Exit(idx, stmt, manager)¶

static LoadG(idx, stmt, manager)¶

Parameters:: stmt (LoadG)

static StoreG(idx, stmt, manager)¶

Parameters:: stmt (StoreG)

static CAS(idx, stmt, manager)¶

Parameters:: stmt (CAS)

static Dirty(idx, stmt, manager)¶

Parameters:: stmt (Dirty)

class angr.ailment.converter_vex.VEXIRSBConverter¶

Bases: Converter

static convert(irsb, manager)¶

Parameters:

irsb
manager

Returns: