angr.engines.vex.claripy¶

class angr.engines.vex.claripy.ClaripyDataMixin

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

Submodules

`ccall`
`datalayer`
`irop`	This module contains symbolic implementations of VEX operations.