angr.engines.vex.claripy.datalayer

angr.engines.vex.claripy.datalayer.value(ty, val, size=None)

Parameters:

• ty (str)

• val (float)

• size (int | None)

angr.engines.vex.claripy.datalayer.value_bv(ty, val, size=None)

Like value(), but floating-point constants are returned as bitvectors holding their IEEE bit pattern.

Return type:

BV

Parameters:

• ty (str)

• val (float)

• size (int | None)

angr.engines.vex.claripy.datalayer.symbol(ty, name)

class angr.engines.vex.claripy.datalayer.ClaripyDataMixin

Bases: VEXMixin

This mixin provides methods that makes the vex engine process guest code using claripy ASTs as the data domain.