angr 9.2.119__py3-none-manylinux2014_x86_64.whl → 9.2.121__py3-none-manylinux2014_x86_64.whl

angr/engines/engine.py

@@ -4,10 +4,16 @@ from __future__ import annotations
 import abc
 import logging
 import threading
-import angr
 
 from archinfo.arch_soot import SootAddressDescriptor
 
+import angr
+from angr import sim_options as o
+from angr.errors import SimException
+from angr.state_plugins.inspect import BP_AFTER, BP_BEFORE
+
+from .successors import SimSuccessors
+
 l = logging.getLogger(name=__name__)
 
 
@@ -32,12 +38,6 @@ class SimEngineBase:
         self.project = state[0]
         self.state = None
 
-    def _is_true(self, v):
-        return v is True
-
-    def _is_false(self, v):
-        return v is False
-
 
 class SimEngine(SimEngineBase, metaclass=abc.ABCMeta):
     """
@@ -183,7 +183,7 @@ class SuccessorsMixin(SimEngine):
 
         return self.successors
 
-    def process_successors(self, successors, **kwargs):
+    def process_successors(self, successors, **kwargs):  # pylint:disable=unused-argument
         """
         Implement this function to fill out the SimSuccessors object with the results of stepping state.
 
@@ -201,10 +201,3 @@ class SuccessorsMixin(SimEngine):
         :param kwargs:          Any extra arguments. Do not fail if you are passed unexpected arguments.
         """
         successors.processed = False  # mark failure
-
-
-# pylint:disable=wrong-import-position
-from .. import sim_options as o
-from ..state_plugins.inspect import BP_BEFORE, BP_AFTER
-from .successors import SimSuccessors
-from ..errors import SimException

angr/engines/failure.py

@@ -16,7 +16,7 @@ class SimEngineFailure(SuccessorsMixin, ProcedureMixin):
             raise AngrExitError(f"Cannot execute following jumpkind {jumpkind}")
 
         if jumpkind == "Ijk_Exit":
-            from ..procedures import SIM_PROCEDURES
+            from angr.procedures import SIM_PROCEDURES
 
             l.debug("Execution terminated at %#x", state.addr)
             terminator = SIM_PROCEDURES["stubs"]["PathTerminator"](project=self.project)
@@ -25,4 +25,4 @@ class SimEngineFailure(SuccessorsMixin, ProcedureMixin):
         return super().process_successors(successors, **kwargs)
 
 
-from ..errors import AngrExitError
+from angr.errors import AngrExitError

angr/engines/light/__init__.py

@@ -1,3 +1,15 @@
 from __future__ import annotations
+
 from .data import ArithmeticExpression, SpOffset, RegisterOffset
 from .engine import SimEngineLight, SimEngineLightVEXMixin, SimEngineLightAILMixin, SimEngineLightVEX, SimEngineLightAIL
+
+__all__ = (
+    "ArithmeticExpression",
+    "SpOffset",
+    "RegisterOffset",
+    "SimEngineLight",
+    "SimEngineLightVEXMixin",
+    "SimEngineLightAILMixin",
+    "SimEngineLightVEX",
+    "SimEngineLightAIL",
+)

angr/engines/light/data.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import ailment
 
-from ...utils.constants import is_alignment_mask
+from angr.utils.constants import is_alignment_mask
 
 
 class ArithmeticExpression:

angr/engines/light/engine.py

@@ -10,12 +10,12 @@ import pyvex
 import claripy
 import archinfo
 
-from ...misc.ux import once
-from ...engines.vex.claripy.datalayer import value as claripy_value
-from ...engines.vex.claripy.irop import UnsupportedIROpError, SimOperationError, vexop_to_simop
-from ...code_location import CodeLocation
-from ...utils.constants import DEFAULT_STATEMENT
-from ..engine import SimEngine
+from angr.misc.ux import once
+from angr.engines.vex.claripy.datalayer import value as claripy_value
+from angr.engines.vex.claripy.irop import UnsupportedIROpError, SimOperationError, vexop_to_simop
+from angr.code_location import CodeLocation
+from angr.utils.constants import DEFAULT_STATEMENT
+from angr.engines.engine import SimEngine
 import contextlib
 
 

angr/engines/pcode/__init__.py

@@ -1,3 +1,9 @@
 from __future__ import annotations
-from .engine import HeavyPcodeMixin
+
 from .cc import register_pcode_arch_default_cc
+from .engine import HeavyPcodeMixin
+
+__all__ = (
+    "register_pcode_arch_default_cc",
+    "HeavyPcodeMixin",
+)

angr/engines/pcode/behavior.py

@@ -5,7 +5,7 @@ from collections.abc import Callable, Iterable
 import claripy
 from claripy.ast.bv import BV
 
-from ...errors import AngrError
+from angr.errors import AngrError
 
 try:
     from pypcode import OpCode

angr/engines/pcode/cc.py

@@ -3,7 +3,7 @@ import logging
 
 from archinfo import ArchPcode
 
-from ...calling_conventions import (
+from angr.calling_conventions import (
     SimCC,
     SimRegArg,
     SimStackArg,

angr/engines/pcode/emulate.py

@@ -4,12 +4,12 @@ import logging
 import claripy
 from claripy.ast.bv import BV
 
-from ..engine import SimEngineBase
-from ...utils.constants import DEFAULT_STATEMENT
+from angr.engines.engine import SimEngineBase
+from angr.utils.constants import DEFAULT_STATEMENT
 from .lifter import IRSB
 from .behavior import OpBehavior
-from ...errors import AngrError
-from ...state_plugins.inspect import BP_BEFORE, BP_AFTER
+from angr.errors import AngrError
+from angr.state_plugins.inspect import BP_BEFORE, BP_AFTER
 import contextlib
 
 with contextlib.suppress(ImportError):

angr/engines/pcode/engine.py

@@ -7,9 +7,9 @@ import logging
 from angr.calling_conventions import DEFAULT_CC, default_cc, SimRegArg
 from angr.engines.engine import SuccessorsMixin, SimSuccessors
 from angr.misc.ux import once
-from ...utils.constants import DEFAULT_STATEMENT
-from ... import sim_options as o
-from ... import errors
+from angr.utils.constants import DEFAULT_STATEMENT
+from angr import sim_options as o
+from angr import errors
 from .lifter import PcodeLifterEngineMixin, IRSB
 from .emulate import PcodeEmulatorMixin
 

angr/engines/pcode/lifter.py

@@ -20,13 +20,13 @@ from cachetools import LRUCache
 from pyvex.errors import PyVEXError, SkipStatementsError, LiftingException
 
 from .behavior import BehaviorFactory
-from ..engine import SimEngineBase
-from ...state_plugins.inspect import BP_AFTER, BP_BEFORE
-from ...sim_state import SimState
-from ...misc.ux import once
-from ...errors import SimEngineError, SimTranslationError, SimError
-from ... import sim_options as o
-from ...block import DisassemblerBlock, DisassemblerInsn
+from angr.engines.engine import SimEngineBase
+from angr.state_plugins.inspect import BP_AFTER, BP_BEFORE
+from angr.sim_state import SimState
+from angr.misc.ux import once
+from angr.errors import SimEngineError, SimTranslationError, SimError
+from angr import sim_options as o
+from angr.block import DisassemblerBlock, DisassemblerInsn
 
 
 try:
@@ -122,6 +122,7 @@ class IRSB:
         "arch",
         "behaviors",
         "data_refs",
+        "const_vals",
         "default_exit_target",
         "jumpkind",
         "next",
@@ -138,6 +139,7 @@ class IRSB:
     arch: archinfo.Arch
     behaviors: BehaviorFactory | None
     data_refs: Sequence  # Note: currently unused
+    const_vals: Sequence  # Note: currently unused
     default_exit_target: Optional  # Note: currently used
     jumpkind: str | None
     next: int | None
@@ -204,6 +206,7 @@ class IRSB:
         self.arch = arch
         self.behaviors = None
         self.data_refs = ()
+        self.const_vals = ()
         self.default_exit_target = None
         self.jumpkind = None
         self.next = None
@@ -1043,6 +1046,7 @@ class PcodeLifterEngineMixin(SimEngineBase):
         collect_data_refs: bool = False,
         load_from_ro_regions: bool = False,
         cross_insn_opt: bool | None = None,
+        const_prop: bool | None = None,
     ):
         """
         Temporary compatibility interface for integration with block code.
@@ -1064,6 +1068,7 @@ class PcodeLifterEngineMixin(SimEngineBase):
             collect_data_refs,
             load_from_ro_regions,
             cross_insn_opt,
+            const_prop,
         )
 
     def lift_pcode(
@@ -1084,6 +1089,7 @@ class PcodeLifterEngineMixin(SimEngineBase):
         collect_data_refs: bool = False,
         load_from_ro_regions: bool = False,
         cross_insn_opt: bool | None = None,
+        const_prop: bool | None = None,
     ):
         """
         Lift an IRSB.
@@ -1111,6 +1117,8 @@ class PcodeLifterEngineMixin(SimEngineBase):
         """
         if cross_insn_opt:
             l.debug("cross_insn_opt is ignored for p-code lifter")
+        if const_prop:
+            l.debug("const_prop is ignored for p-code lifter")
         if load_from_ro_regions:
             l.debug("load_from_ro_regions is ignored for p-code lifter")
 

angr/engines/procedure.py

@@ -67,6 +67,6 @@ class ProcedureEngine(ProcedureMixin, SuccessorsMixin):
         self.process_procedure(self.state, successors, procedure, **kwargs)
 
 
-from .. import sim_options as o
-from .. import errors
-from ..state_plugins.inspect import BP_BEFORE, BP_AFTER
+from angr import sim_options as o
+from angr import errors
+from angr.state_plugins.inspect import BP_BEFORE, BP_AFTER

angr/engines/soot/__init__.py

@@ -1,2 +1,5 @@
 from __future__ import annotations
+
 from .engine import SootMixin
+
+__all__ = ("SootMixin",)

angr/engines/soot/engine.py

@@ -10,13 +10,13 @@ from archinfo.arch_soot import (
     SootMethodDescriptor,
 )
 
-from ... import sim_options as o
-from ...errors import SimEngineError, SimTranslationError
+from angr import sim_options as o
+from angr.errors import SimEngineError, SimTranslationError
 from cle import CLEError
-from ...state_plugins.inspect import BP_AFTER, BP_BEFORE
-from ...sim_type import SimTypeFunction, parse_type
-from ..engine import SuccessorsMixin
-from ..procedure import ProcedureMixin
+from angr.state_plugins.inspect import BP_AFTER, BP_BEFORE
+from angr.sim_type import SimTypeFunction, parse_type
+from angr.engines.engine import SuccessorsMixin
+from angr.engines.procedure import ProcedureMixin
 from .exceptions import BlockTerminationNotice, IncorrectLocationException
 from .statements import SimSootStmt_Return, SimSootStmt_ReturnVoid, translate_stmt
 from .values import SimSootValue_Local, SimSootValue_ParamRef
@@ -204,7 +204,7 @@ class SootMixin(SuccessorsMixin, ProcedureMixin):
 
     def _get_sim_procedure(self, addr):
         # Delayed import
-        from ...procedures import SIM_PROCEDURES
+        from angr.procedures import SIM_PROCEDURES
 
         if addr in self.project._sim_procedures:
             return self.project._sim_procedures[addr]
@@ -226,7 +226,7 @@ class SootMixin(SuccessorsMixin, ProcedureMixin):
 
     def get_unconstrained_simprocedure(self):
         # Delayed import
-        from ...procedures import SIM_PROCEDURES
+        from angr.procedures import SIM_PROCEDURES
 
         # TODO: fix method prototype
         procedure_cls = SIM_PROCEDURES["angr.unconstrained"]["unconstrained()"]

angr/engines/soot/expressions/__init__.py

@@ -1,4 +1,5 @@
 from __future__ import annotations
+
 import logging
 
 l = logging.getLogger("angr.engines.soot.expressions")
@@ -55,3 +56,35 @@ from .thisref import SimSootExpr_ThisRef
 from .paramref import SimSootExpr_ParamRef
 from .unsupported import SimSootExpr_Unsupported
 from .instanceOf import SimSootExpr_InstanceOf
+
+
+__all__ = (
+    "translate_expr",
+    "SimSootExpr_ArrayRef",
+    "SimSootExpr_Binop",
+    "SimSootExpr_Cast",
+    "SimSootExpr_Condition",
+    "SimSootExpr_IntConstant",
+    "SimSootExpr_LongConstant",
+    "SimSootExpr_FloatConstant",
+    "SimSootExpr_DoubleConstant",
+    "SimSootExpr_StringConstant",
+    "SimSootExpr_ClassConstant",
+    "SimSootExpr_NullConstant",
+    "SimSootExpr_InstanceFieldRef",
+    "SimSootExpr_SpecialInvoke",
+    "SimSootExpr_StaticInvoke",
+    "SimSootExpr_VirtualInvoke",
+    "SimSootExpr_InterfaceInvoke",
+    "SimSootExpr_Length",
+    "SimSootExpr_Local",
+    "SimSootExpr_New",
+    "SimSootExpr_NewArray",
+    "SimSootExpr_NewMultiArray",
+    "SimSootExpr_Phi",
+    "SimSootExpr_StaticFieldRef",
+    "SimSootExpr_ThisRef",
+    "SimSootExpr_ParamRef",
+    "SimSootExpr_Unsupported",
+    "SimSootExpr_InstanceOf",
+)

angr/engines/soot/expressions/arrayref.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import logging
 
-from ..values import SimSootValue_ArrayRef
+from angr.engines.soot.values import SimSootValue_ArrayRef
 from .base import SimSootExpr
 
 l = logging.getLogger("angr.engines.soot.expressions.arrayref")

angr/engines/soot/expressions/base.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
 from . import translate_expr
-from ..values import translate_value
+from angr.engines.soot.values import translate_value
 
 
 class SimSootExpr:

angr/engines/soot/expressions/cast.py

@@ -4,7 +4,7 @@ import logging
 from archinfo import ArchSoot
 
 from .base import SimSootExpr
-from ..values.thisref import SimSootValue_ThisRef
+from angr.engines.soot.values.thisref import SimSootValue_ThisRef
 
 l = logging.getLogger("angr.engines.soot.expressions.cast")
 

angr/engines/soot/expressions/condition.py

@@ -4,7 +4,7 @@ import operator
 from archinfo.arch_soot import SootNullConstant
 import claripy
 
-from ..values import SimSootValue_StringRef, SimSootValue_ThisRef
+from angr.engines.soot.values import SimSootValue_StringRef, SimSootValue_ThisRef
 from .base import SimSootExpr
 
 

angr/engines/soot/expressions/constants.py

@@ -3,7 +3,7 @@ import claripy
 from archinfo.arch_soot import SootClassDescriptor, SootNullConstant
 from claripy import FSORT_DOUBLE, FSORT_FLOAT
 
-from ..values import SimSootValue_StringRef
+from angr.engines.soot.values import SimSootValue_StringRef
 from .base import SimSootExpr
 
 

angr/engines/soot/expressions/invoke.py

@@ -2,8 +2,8 @@ from __future__ import annotations
 from archinfo.arch_soot import SootArgument, SootMethodDescriptor
 
 from . import translate_expr
-from ..method_dispatcher import resolve_method
-from ..exceptions import SootMethodNotLoadedException
+from angr.engines.soot.method_dispatcher import resolve_method
+from angr.engines.soot.exceptions import SootMethodNotLoadedException
 from .base import SimSootExpr
 
 

angr/engines/soot/expressions/new.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import logging
 
-from ..values import SimSootValue_ThisRef
+from angr.engines.soot.values import SimSootValue_ThisRef
 from .base import SimSootExpr
 
 l = logging.getLogger("angr.engines.soot.expressions.new")

angr/engines/soot/expressions/newArray.py

@@ -3,7 +3,7 @@ import logging
 
 import claripy
 
-from ..values import SimSootValue_ArrayBaseRef
+from angr.engines.soot.values import SimSootValue_ArrayBaseRef
 from .base import SimSootExpr
 
 l = logging.getLogger("angr.engines.soot.expressions.newarray")

angr/engines/soot/expressions/newMultiArray.py

@@ -5,7 +5,7 @@ import claripy
 
 from .base import SimSootExpr
 from .newArray import SimSootExpr_NewArray
-from ..values import SimSootValue_ArrayBaseRef
+from angr.engines.soot.values import SimSootValue_ArrayBaseRef
 
 l = logging.getLogger("angr.engines.soot.expressions.newmultiarray")
 

angr/engines/soot/statements/__init__.py

@@ -1,4 +1,5 @@
 from __future__ import annotations
+
 import logging
 
 l = logging.getLogger("angr.engines.soot.statements")
@@ -28,3 +29,18 @@ from .invoke import SimSootStmt_Invoke
 from .if_ import SimSootStmt_If
 from .switch import SimSootStmt_TableSwitch, SimSootStmt_LookupSwitch
 from .throw import SimSootStmt_Throw
+
+
+__all__ = (
+    "translate_stmt",
+    "SimSootStmt_Assign",
+    "SimSootStmt_Return",
+    "SimSootStmt_ReturnVoid",
+    "SimSootStmt_Identity",
+    "SimSootStmt_Goto",
+    "SimSootStmt_Invoke",
+    "SimSootStmt_If",
+    "SimSootStmt_TableSwitch",
+    "SimSootStmt_LookupSwitch",
+    "SimSootStmt_Throw",
+)

angr/engines/soot/statements/assign.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import logging
 
-from ..expressions.invoke import InvokeBase
+from angr.engines.soot.expressions.invoke import InvokeBase
 from .base import SimSootStmt
 
 l = logging.getLogger("angr.engines.soot.statements.assign")

angr/engines/soot/statements/base.py

@@ -3,9 +3,9 @@ import logging
 
 from archinfo.arch_soot import SootAddressDescriptor
 
-from ..exceptions import IncorrectLocationException
-from ..expressions import translate_expr
-from ..values import translate_value
+from angr.engines.soot.exceptions import IncorrectLocationException
+from angr.engines.soot.expressions import translate_expr
+from angr.engines.soot.values import translate_value
 
 l = logging.getLogger("angr.engines.soot.statements.if")
 

angr/engines/soot/values/__init__.py

@@ -24,3 +24,17 @@ from .staticfieldref import SimSootValue_StaticFieldRef
 from .instancefieldref import SimSootValue_InstanceFieldRef
 from .constants import SimSootValue_IntConstant
 from .strref import SimSootValue_StringRef
+
+
+__all__ = (
+    "translate_value",
+    "SimSootValue_Local",
+    "SimSootValue_ParamRef",
+    "SimSootValue_ArrayRef",
+    "SimSootValue_ArrayBaseRef",
+    "SimSootValue_ThisRef",
+    "SimSootValue_StaticFieldRef",
+    "SimSootValue_InstanceFieldRef",
+    "SimSootValue_IntConstant",
+    "SimSootValue_StringRef",
+)

angr/engines/soot/values/arrayref.py

@@ -4,7 +4,7 @@ import logging
 import claripy
 
 from . import translate_value
-from ....errors import SimEngineError
+from angr.errors import SimEngineError
 from .base import SimSootValue
 from .constants import SimSootValue_IntConstant
 

angr/engines/soot/values/instancefieldref.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 from . import translate_value
 from .base import SimSootValue
-from ..field_dispatcher import resolve_field
+from angr.engines.soot.field_dispatcher import resolve_field
 
 
 class SimSootValue_InstanceFieldRef(SimSootValue):

angr/engines/soot/values/staticfieldref.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
 from .base import SimSootValue
-from ..field_dispatcher import resolve_field
+from angr.engines.soot.field_dispatcher import resolve_field
 
 
 class SimSootValue_StaticFieldRef(SimSootValue):

angr/engines/soot/values/thisref.py

@@ -6,8 +6,8 @@ from archinfo.arch_soot import SootAddressTerminator, SootArgument
 from .base import SimSootValue
 from .instancefieldref import SimSootValue_InstanceFieldRef
 from .local import SimSootValue_Local
-from ..method_dispatcher import resolve_method
-from .... import sim_options as options
+from angr.engines.soot.method_dispatcher import resolve_method
+from angr import sim_options as options
 
 l = logging.getLogger("angr.engines.soot.values.thisref")
 

angr/engines/successors.py

@@ -356,7 +356,7 @@ class SimSuccessors:
                         if o.KEEP_IP_SYMBOLIC in split_state.options:
                             split_state.regs.ip = target
                         else:
-                            split_state.add_constraints(cond, action=True)
+                            split_state.add_constraints(cond)
                             split_state.regs.ip = a
                         if split_state.supports_inspect:
                             split_state.inspect.downsize()
@@ -532,10 +532,10 @@ class SimSuccessors:
 
 
 # pylint: disable=wrong-import-position
-from ..state_plugins.inspect import BP_BEFORE, BP_AFTER
-from ..errors import SimSolverModeError, AngrUnsupportedSyscallError, AngrSyscallError, SimValueError, SimUnsatError
-from ..calling_conventions import SYSCALL_CC
-from ..state_plugins.sim_action_object import _raw_ast
-from ..state_plugins.callstack import CallStack
-from ..storage import DUMMY_SYMBOLIC_READ_VALUE
-from .. import sim_options as o
+from angr.state_plugins.inspect import BP_BEFORE, BP_AFTER
+from angr.errors import SimSolverModeError, AngrUnsupportedSyscallError, AngrSyscallError, SimValueError, SimUnsatError
+from angr.calling_conventions import SYSCALL_CC
+from angr.state_plugins.sim_action_object import _raw_ast
+from angr.state_plugins.callstack import CallStack
+from angr.storage import DUMMY_SYMBOLIC_READ_VALUE
+from angr import sim_options as o

angr/engines/syscall.py

@@ -50,4 +50,4 @@ class SimEngineSyscall(SuccessorsMixin, ProcedureMixin):
         return self.process_procedure(state, successors, sys_procedure, **kwargs)
 
 
-from ..errors import AngrUnsupportedSyscallError
+from angr.errors import AngrUnsupportedSyscallError

angr/engines/unicorn.py

@@ -6,14 +6,14 @@ import logging
 import archinfo
 import claripy
 
-from ..errors import SimIRSBError, SimIRSBNoDecodeError, SimValueError
+from angr.errors import SimIRSBError, SimIRSBNoDecodeError, SimValueError
 from .engine import SuccessorsMixin
 from .vex.heavy.heavy import VEXEarlyExit
-from .. import sim_options as o
-from ..misc.ux import once
-from ..state_plugins.inspect import BP_AFTER, BP_BEFORE
-from ..state_plugins.unicorn_engine import STOP, _UC_NATIVE, unicorn as uc_module
-from ..utils.constants import DEFAULT_STATEMENT
+from angr import sim_options as o
+from angr.misc.ux import once
+from angr.state_plugins.inspect import BP_AFTER, BP_BEFORE
+from angr.state_plugins.unicorn_engine import STOP, _UC_NATIVE, unicorn as uc_module
+from angr.utils.constants import DEFAULT_STATEMENT
 
 # pylint: disable=arguments-differ
 
@@ -394,9 +394,9 @@ class SimEngineUnicorn(SuccessorsMixin):
         if not self.__check(**kwargs):
             return super().process_successors(successors, **kwargs)
 
-        extra_stop_points = kwargs.get("extra_stop_points", None)
-        last_block_details = kwargs.get("last_block_details", None)
-        step = kwargs.get("step", None)
+        extra_stop_points = kwargs.get("extra_stop_points")
+        last_block_details = kwargs.get("last_block_details")
+        step = kwargs.get("step")
         if extra_stop_points is None:
             extra_stop_points = set(self.project._sim_procedures)
         else:
@@ -425,8 +425,8 @@ class SimEngineUnicorn(SuccessorsMixin):
 
         # initialize unicorn plugin
         try:
-            syscall_data = kwargs.get("syscall_data", None)
-            fd_bytes = kwargs.get("fd_bytes", None)
+            syscall_data = kwargs.get("syscall_data")
+            fd_bytes = kwargs.get("fd_bytes")
             state.unicorn.setup(syscall_data=syscall_data, fd_bytes=fd_bytes)
         except SimValueError:
             # it's trying to set a symbolic register somehow

angr/engines/vex/__init__.py

@@ -1,5 +1,20 @@
 from __future__ import annotations
-from .claripy import *
-from .light import *
-from .heavy import *
+
+from .claripy import ClaripyDataMixin
+from .light import VEXMixin, VEXResilienceMixin, VEXSlicingMixin
+from .heavy import TrackActionsMixin, HeavyVEXMixin, SimInspectMixin, HeavyResilienceMixin, SuperFastpathMixin
 from .lifter import VEXLifter
+
+
+__all__ = (
+    "ClaripyDataMixin",
+    "VEXMixin",
+    "VEXResilienceMixin",
+    "VEXSlicingMixin",
+    "TrackActionsMixin",
+    "HeavyVEXMixin",
+    "SimInspectMixin",
+    "HeavyResilienceMixin",
+    "SuperFastpathMixin",
+    "VEXLifter",
+)