angr.engines.vex.claripy.datalayer

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

Parameters:

• ty (str)

• val (int | 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.