claripy.backend_object.BackendObject

class documentation

class BackendObject: (source)

Known subclasses: claripy.bv.BVV, claripy.fp.FPV, claripy.strings.StringV, claripy.vsa.abstract_location.AbstractLocation, claripy.vsa.bool_result.BoolResult, claripy.vsa.strided_interval.StridedInterval, claripy.vsa.valueset.ValueSet

View In Hierarchy

This is a base class for custom backend objects to implement. It lets Claripy know that how to deal with those objects, in case they're directly used in operations. Backend objects that *don't* derive from this class need to be wrapped in a type-I claripy.ast.Base.

Method to_claripy Claripy calls this to retrieve something that it can directly reason about.
Class Variable __slots__ Undocumented
def to_claripy(self): (source)

Claripy calls this to retrieve something that it can directly reason about.

__slots__: tuple = (source)
overridden in claripy.bv.BVV, claripy.fp.FPV

Undocumented