cachetools.LRUCache
claripy.backends.backend_z3.SmartLRUCache
- Undocumentedclaripy.annotation.Annotation
- Annotations are used to achieve claripy's goal of being an arithmetic instrumentation engine. They provide a means to pass extra information to the claripy backends.claripy.annotation.SimplificationAvoidanceAnnotation
- Undocumentedclaripy.vsa.valueset.RegionAnnotation
- Use RegionAnnotation to annotate ASTs. Normally, an AST annotated by RegionAnnotations is treated as a ValueSet.claripy.ast.base.ASTCacheKey
- Undocumentedclaripy.ast.base.Base
- This is the base class of all claripy ASTs. An AST tracks a tree of operations on arguments.claripy.ast.bits.Bits
- A base class for AST types that can be stored as a series of bits. Currently, this is bitvectors and IEEE floats.claripy.ast.bv.BV
- A class representing an AST of operations culminating in a bitvector. Do not instantiate this class directly, instead use BVS or BVV to construct a symbol or value, and then use operations to construct more complicated expressions.claripy.ast.fp.FP
- An AST representing a set of operations culminating in an IEEE754 floating point number.claripy.ast.strings.String
- Base class that represent the AST of a String object and implements all the operation useful to create and modify the AST.claripy.ast.vs.VS
- Undocumentedclaripy.ast.bool.Bool
- No class docstring; 0/1 class variable, 2/2 methods, 0/1 static method documentedclaripy.ast.int.Int
- Undocumentedclaripy.backend_manager.BackendManager
- Undocumentedclaripy.backend_object.BackendObject
- This is a base class for custom backend objects to implement.claripy.bv.BVV
- Undocumentedclaripy.fp.FPV
- Undocumentedclaripy.strings.StringV
- Undocumentedclaripy.vsa.abstract_location.AbstractLocation
- Undocumentedclaripy.vsa.bool_result.BoolResult
- Undocumentedclaripy.vsa.bool_result.FalseResult
- Undocumentedclaripy.vsa.bool_result.MaybeResult
- Undocumentedclaripy.vsa.bool_result.TrueResult
- Undocumentedclaripy.vsa.strided_interval.StridedInterval
- A Strided Interval is represented in the following form::claripy.vsa.discrete_strided_interval_set.DiscreteStridedIntervalSet
- A DiscreteStridedIntervalSet represents one or more discrete StridedInterval instances.claripy.vsa.valueset.ValueSet
- ValueSet is a mapping between memory regions and corresponding offsets.claripy.backends.Backend
- Backends are Claripy's workhorses. Claripy exposes ASTs (claripy.ast.Base objects) to the world, but when actual computation has to be done, it pushes those ASTs into objects that can be handled by the backends themselves...claripy.backends.backend_concrete.BackendConcrete
- No class docstring; 0/1 instance variable, 0/1 class variable, 1/20 method, 0/14 static method documentedclaripy.backends.backend_smtlib.BackendSMTLibBase
- No class docstring; 0/1 property, 0/2 instance variable, 2/36 methods documentedclaripy.backends.backend_smtlib_solvers.SMTLibSolverBackend
- No class docstring; 0/1 instance variable, 2/14 methods documentedclaripy.backends.backend_smtlib_solvers.abc_popen.SolverBackendABC
- No class docstring; 1/1 method documentedclaripy.backends.backend_smtlib_solvers.cvc4_popen.SolverBackendCVC4
- No class docstring; 1/1 method documentedclaripy.backends.backend_smtlib_solvers.z3_popen.SolverBackendZ3
- No class docstring; 1/1 method documentedclaripy.backends.backend_smtlib_solvers.z3str_popen.SolverBackendZ3Str
- No class docstring; 1/1 method documentedclaripy.backends.backend_vsa.BackendVSA
- No class docstring; 1/23 method, 0/28 static method documentedclaripy.backends.backend_z3.BackendZ3
- No class docstring; 0/7 property, 0/2 instance variable, 0/1 class variable, 2/62 methods, 1/39 static method documentedclaripy.backends.backend_z3_parallel.BackendZ3Parallel
- Undocumentedclaripy.backends.backend_smtlib_solvers.AbstractSMTLibSolverProxy
- Undocumentedclaripy.backends.backend_smtlib_solvers.PopenSolverProxy
- Undocumentedclaripy.backends.backend_smtlib_solvers.abc_popen.ABCProxy
- Undocumentedclaripy.backends.backend_smtlib_solvers.cvc4_popen.CVC4Proxy
- Undocumentedclaripy.backends.backend_smtlib_solvers.z3_popen.Z3Proxy
- Undocumentedclaripy.backends.backend_smtlib_solvers.z3str_popen.Z3StrProxy
- Undocumentedclaripy.balancer.Balancer
- The Balancer is an equation redistributor. The idea is to take an AST and rebalance it to, for example, isolate unknown terms on one side of an inequality.claripy.fp.FSort
- Undocumentedclaripy.frontend.Frontend
- No class docstring; 12/26 methods, 1/1 static method documentedclaripy.frontends.constrained_frontend.ConstrainedFrontend
- Undocumentedclaripy.frontends.composite_frontend.CompositeFrontend
- No class docstring; 0/4 property, 0/8 instance variable, 2/37 methods, 0/2 static method documentedclaripy.solvers.SolverComposite
- Undocumentedclaripy.frontends.full_frontend.FullFrontend
- Undocumentedclaripy.solvers.Solver
- Undocumentedclaripy.solvers.SolverCacheless
- Undocumentedclaripy.solvers.SolverCompositeChild
- Undocumentedclaripy.solvers.SolverStrings
- Undocumentedclaripy.frontends.light_frontend.LightFrontend
- Undocumentedclaripy.solvers.SolverConcrete
- Undocumentedclaripy.solvers.SolverVSA
- Undocumentedclaripy.frontends.replacement_frontend.ReplacementFrontend
- Undocumentedclaripy.solvers.SolverReplacement
- Undocumentedclaripy.frontends.hybrid_frontend.HybridFrontend
- Undocumentedclaripy.solvers.SolverHybrid
- Undocumentedclaripy.frontend_mixins.composited_cache_mixin.CompositedCacheMixin
- Undocumentedclaripy.solvers.SolverComposite
- Undocumentedclaripy.frontend_mixins.concrete_handler_mixin.ConcreteHandlerMixin
- Undocumentedclaripy.solvers.Solver
- Undocumentedclaripy.solvers.SolverCacheless
- Undocumentedclaripy.solvers.SolverComposite
- Undocumentedclaripy.solvers.SolverConcrete
- Undocumentedclaripy.solvers.SolverHybrid
- Undocumentedclaripy.solvers.SolverReplacement
- Undocumentedclaripy.solvers.SolverStrings
- Undocumentedclaripy.solvers.SolverVSA
- Undocumentedclaripy.frontend_mixins.constraint_deduplicator_mixin.ConstraintDeduplicatorMixin
- Undocumentedclaripy.solvers.Solver
- Undocumentedclaripy.solvers.SolverCacheless
- Undocumentedclaripy.solvers.SolverComposite
- Undocumentedclaripy.solvers.SolverCompositeChild
- Undocumentedclaripy.solvers.SolverHybrid
- Undocumentedclaripy.solvers.SolverReplacement
- Undocumentedclaripy.solvers.SolverStrings
- Undocumentedclaripy.frontend_mixins.constraint_expansion_mixin.ConstraintExpansionMixin
- Undocumentedclaripy.solvers.Solver
- Undocumentedclaripy.solvers.SolverComposite
- Undocumentedclaripy.frontend_mixins.constraint_filter_mixin.ConstraintFilterMixin
- Undocumentedclaripy.solvers.Solver
- Undocumentedclaripy.solvers.SolverCacheless
- Undocumentedclaripy.solvers.SolverComposite
- Undocumentedclaripy.solvers.SolverConcrete
- Undocumentedclaripy.solvers.SolverHybrid
- Undocumentedclaripy.solvers.SolverStrings
- Undocumentedclaripy.solvers.SolverVSA
- Undocumentedclaripy.frontend_mixins.constraint_fixer_mixin.ConstraintFixerMixin
- Undocumentedclaripy.solvers.Solver
- Undocumentedclaripy.solvers.SolverCacheless
- Undocumentedclaripy.solvers.SolverComposite
- Undocumentedclaripy.solvers.SolverConcrete
- Undocumentedclaripy.solvers.SolverHybrid
- Undocumentedclaripy.solvers.SolverReplacement
- Undocumentedclaripy.solvers.SolverStrings
- Undocumentedclaripy.solvers.SolverVSA
- Undocumentedclaripy.frontend_mixins.debug_mixin.DebugMixin
- Undocumentedclaripy.frontend_mixins.eager_resolution_mixin.EagerResolutionMixin
- Undocumentedclaripy.solvers.Solver
- Undocumentedclaripy.solvers.SolverCacheless
- Undocumentedclaripy.solvers.SolverComposite
- Undocumentedclaripy.solvers.SolverHybrid
- Undocumentedclaripy.solvers.SolverStrings
- Undocumentedclaripy.frontend_mixins.eval_string_to_ast_mixin.EvalStringsToASTsMixin
- Undocumentedclaripy.solvers.SolverStrings
- Undocumentedclaripy.frontend_mixins.model_cache_mixin.ModelCache
- No class docstring; 0/4 instance variable, 0/1 class variable, 3/11 methods, 0/1 static method documentedclaripy.frontend_mixins.model_cache_mixin.ModelCacheMixin
- No class docstring; 0/7 instance variable, 1/20 method documentedclaripy.solvers.Solver
- Undocumentedclaripy.solvers.SolverCompositeChild
- Undocumentedclaripy.frontend_mixins.sat_cache_mixin.SatCacheMixin
- Undocumentedclaripy.solvers.Solver
- Undocumentedclaripy.solvers.SolverComposite
- Undocumentedclaripy.solvers.SolverCompositeChild
- Undocumentedclaripy.frontend_mixins.simplify_helper_mixin.SimplifyHelperMixin
- Undocumentedclaripy.solvers.Solver
- Undocumentedclaripy.solvers.SolverComposite
- Undocumentedclaripy.frontend_mixins.simplify_skipper_mixin.SimplifySkipperMixin
- Undocumentedclaripy.solvers.Solver
- Undocumentedclaripy.solvers.SolverCacheless
- Undocumentedclaripy.solvers.SolverComposite
- Undocumentedclaripy.solvers.SolverCompositeChild
- Undocumentedclaripy.solvers.SolverHybrid
- Undocumentedclaripy.frontend_mixins.smtlib_script_dumper_mixin.SMTLibScriptDumperMixin
- No class docstring; 1/1 method documentedclaripy.solvers.SolverStrings
- Undocumentedclaripy.frontend_mixins.solve_block_mixin.SolveBlockMixin
- Undocumentedclaripy.simplifications.SimplificationManager
- No class docstring; 0/1 instance variable, 0/2 method, 4/30 static methods documentedclaripy.smtlib_utils.SMTParser
- Undocumentedclaripy.vsa.abstract_location.Segment
- Undocumentedclaripy.vsa.strided_interval.WarrenMethods
- Methods as suggested in book. Hackers Delight.collections.abc.MutableSet
claripy.utils.orderedset.OrderedSet
- Adapted from http://code.activestate.com/recipes/576694/ Originally created by Raymond Hettinger and licensed under MIT.enum.Enum
claripy.fp.RM
- UndocumentedException
claripy.errors.ClaripyError
- Undocumentedclaripy.errors.BackendError
- Undocumentedclaripy.errors.BackendUnsupportedError
- Undocumentedclaripy.errors.ClaripyBackendVSAError
- Undocumentedclaripy.errors.ClaripyASTError
- Undocumentedclaripy.errors.ClaripyBalancerError
- Undocumentedclaripy.errors.ClaripyBalancerUnsatError
- Undocumentedclaripy.errors.ClaripyOperationError
- Undocumentedclaripy.errors.ClaripyRecursionError
- Undocumentedclaripy.errors.ClaripyZeroDivisionError
- Undocumentedclaripy.errors.ClaripyReplacementError
- Undocumentedclaripy.errors.ClaripySizeError
- Undocumentedclaripy.errors.ClaripyTypeError
- Undocumentedclaripy.errors.ClaripyValueError
- Undocumentedclaripy.errors.ClaripyFrontendError
- Undocumentedclaripy.errors.ClaripySerializationError
- Undocumentedclaripy.errors.ClaripySolverInterruptError
- Undocumentedclaripy.errors.ClaripyZ3Error
- Undocumentedclaripy.errors.MissingSolverError
- Undocumentedclaripy.errors.UnsatError
- Undocumentedclaripy.vsa.errors.ClaripyVSAError
- Undocumentedclaripy.vsa.errors.ClaripyVSAOperationError
- UndocumentedZeroDivisionError
claripy.errors.ClaripyZeroDivisionError
- Undocumented