angr 9.2.118__py3-none-manylinux2014_x86_64.whl → 9.2.120__py3-none-manylinux2014_x86_64.whl

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
@@ -136,7 +136,7 @@ class SootMixin(SuccessorsMixin, ProcedureMixin):
                 next_addr = self._get_next_linear_instruction(state, stmt_idx)
                 l.debug("Advancing execution linearly to %s", next_addr)
                 if next_addr is not None:
-                    successors.add_successor(state.copy(), next_addr, claripy.true, "Ijk_Boring")
+                    successors.add_successor(state.copy(), next_addr, claripy.true(), "Ijk_Boring")
 
     def _handle_soot_stmt(self, state, successors, stmt_idx, stmt):
         # execute statement
@@ -174,7 +174,7 @@ class SootMixin(SuccessorsMixin, ProcedureMixin):
             # add invoke state as the successor and terminate execution
             # prematurely, since Soot does not guarantee that an invoke stmt
             # terminates a block
-            successors.add_successor(invoke_state, addr, claripy.true, "Ijk_Call")
+            successors.add_successor(invoke_state, addr, claripy.true(), "Ijk_Call")
             return True
 
         # add jmp exit
@@ -199,12 +199,12 @@ class SootMixin(SuccessorsMixin, ProcedureMixin):
     def _add_return_exit(cls, state, successors, return_val=None):
         ret_state = state.copy()
         cls.prepare_return_state(ret_state, return_val)
-        successors.add_successor(ret_state, state.callstack.ret_addr, claripy.true, "Ijk_Ret")
+        successors.add_successor(ret_state, state.callstack.ret_addr, claripy.true(), "Ijk_Ret")
         successors.processed = True
 
     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()"]
@@ -320,7 +320,7 @@ class SootMixin(SuccessorsMixin, ProcedureMixin):
             # TODO symbolic exit code?
             exit_code = claripy.BVV(exit_code, state.arch.bits)
         state.history.add_event("terminate", exit_code=exit_code)
-        successors.add_successor(state, state.regs.ip, claripy.true, "Ijk_Exit")
+        successors.add_successor(state, state.regs.ip, claripy.true(), "Ijk_Exit")
         successors.processed = True
         raise BlockTerminationNotice
 
@@ -342,7 +342,7 @@ class SootMixin(SuccessorsMixin, ProcedureMixin):
 
         # set successor flags
         ret_state.regs._ip = ret_state.callstack.ret_addr
-        ret_state.scratch.guard = claripy.true
+        ret_state.scratch.guard = claripy.true()
         ret_state.history.jumpkind = "Ijk_Ret"
 
         # if available, lookup the return value in native memory

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
 
 
@@ -19,7 +19,7 @@ class SimSootExpr_Condition(SimSootExpr):
         elif isinstance(v1.expr, (SootNullConstant, SimSootValue_StringRef)) or isinstance(
             v2.expr, (SootNullConstant, SimSootValue_StringRef)
         ):
-            self.expr = claripy.true if operator_func(v1.expr, v2.expr) else claripy.false
+            self.expr = claripy.true() if operator_func(v1.expr, v2.expr) else claripy.false()
         else:
             self.expr = operator_func(v1.expr, v2.expr)
 

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/statements/goto.py

@@ -11,4 +11,4 @@ l = logging.getLogger("angr.engines.soot.statements.goto")
 class SimSootStmt_Goto(SimSootStmt):
     def _execute(self):
         jmp_target = self._get_bb_addr_from_instr(instr=self.stmt.target)
-        self._add_jmp_target(target=jmp_target, condition=claripy.true)
+        self._add_jmp_target(target=jmp_target, condition=claripy.true())

angr/engines/soot/statements/if_.py

@@ -15,5 +15,5 @@ class SimSootStmt_If(SimSootStmt):
         self._add_jmp_target(target=jmp_target, condition=jmp_condition)
         self._add_jmp_target(
             target=None,  # if target is None, engine goes on linearly
-            condition=(jmp_condition == claripy.false),
+            condition=(jmp_condition == claripy.false()),
         )

angr/engines/soot/statements/throw.py

@@ -12,4 +12,4 @@ l = logging.getLogger(name=__name__)
 class SimSootStmt_Throw(SimSootStmt):
     def _execute(self):
         # TODO: implement simprocedure to throw exception
-        self._add_jmp_target(target=SootAddressTerminator(), condition=claripy.true)
+        self._add_jmp_target(target=SootAddressTerminator(), condition=claripy.true())

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

@@ -320,7 +320,7 @@ class SimSuccessors:
                 skip_max_targets_warning = False
                 if o.NO_IP_CONCRETIZATION in state.options:
                     # Don't try to concretize the IP
-                    cond_and_targets = [(claripy.true, target)]
+                    cond_and_targets = [(claripy.true(), target)]
                     max_targets = 0
                     skip_max_targets_warning = True  # don't warn
                 elif o.KEEP_IP_SYMBOLIC in state.options:
@@ -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
 
@@ -184,7 +184,7 @@ class SimEngineUnicorn(SuccessorsMixin):
 
         self._instr_mem_write_addrs = set()  # pylint:disable=attribute-defined-outside-init
         for block_details in self.state.unicorn._get_details_of_blocks_with_symbolic_vex_stmts():
-            self.state.scratch.guard = claripy.true
+            self.state.scratch.guard = claripy.true()
             try:
                 if self.state.os_name == "CGC" and block_details["block_addr"] in {
                     self.state.unicorn.cgc_random_addr,
@@ -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
@@ -481,7 +481,7 @@ class SimEngineUnicorn(SuccessorsMixin):
 
         if state.unicorn.jumpkind.startswith("Ijk_Sys"):
             state.ip = state.unicorn._syscall_pc
-        successors.add_successor(state, state.ip, claripy.true, state.unicorn.jumpkind)
+        successors.add_successor(state, state.ip, claripy.true(), state.unicorn.jumpkind)
 
         successors.description = description
         successors.processed = True

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",
+)

angr/engines/vex/claripy/__init__.py

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

angr/engines/vex/claripy/ccall.py

@@ -7,7 +7,6 @@ from angr.state_plugins.sim_action_object import _raw_ast, SimActionObject
 from angr import errors
 
 l = logging.getLogger(name=__name__)
-# l.setLevel(logging.DEBUG)
 
 # pylint: disable=R0911
 # pylint: disable=W0613
@@ -57,7 +56,7 @@ def op_concretize(op):
 
 
 def strip_simaction(val):
-    if type(val) == SimActionObject:
+    if isinstance(val, SimActionObject):
         return _raw_ast(val)
     return val
 

angr/engines/vex/claripy/datalayer.py

@@ -6,9 +6,9 @@ import pyvex
 
 from . import irop
 from . import ccall
-from ..light import VEXMixin
-from .... import errors
-from .... import sim_options as o
+from angr.engines.vex.light import VEXMixin
+from angr import errors
+from angr import sim_options as o
 
 l = logging.getLogger(__name__)
 zero = claripy.BVV(0, 32)

angr/engines/vex/heavy/__init__.py

@@ -1,6 +1,16 @@
 from __future__ import annotations
+
+from .actions import TrackActionsMixin
 from .heavy import HeavyVEXMixin
 from .inspect import SimInspectMixin
-from .actions import TrackActionsMixin
 from .resilience import HeavyResilienceMixin
 from .super_fastpath import SuperFastpathMixin
+
+
+__all__ = (
+    "TrackActionsMixin",
+    "HeavyVEXMixin",
+    "SimInspectMixin",
+    "HeavyResilienceMixin",
+    "SuperFastpathMixin",
+)

angr/engines/vex/heavy/heavy.py

@@ -4,12 +4,12 @@ import claripy
 import pyvex
 
 from angr.engines.engine import SuccessorsMixin
-from ..light import VEXMixin
-from ..lifter import VEXLifter
-from ..claripy.datalayer import ClaripyDataMixin, symbol
-from ....utils.constants import DEFAULT_STATEMENT
-from .... import sim_options as o
-from .... import errors
+from angr.engines.vex.light import VEXMixin
+from angr.engines.vex.lifter import VEXLifter
+from angr.engines.vex.claripy.datalayer import ClaripyDataMixin, symbol
+from angr.utils.constants import DEFAULT_STATEMENT
+from angr import sim_options as o
+from angr import errors
 from . import dirty
 
 l = logging.getLogger(__name__)
@@ -116,7 +116,7 @@ class HeavyVEXMixin(SuccessorsMixin, ClaripyDataMixin, SimStateStorageMixin, VEX
         successors.sort = "IRSB"
         successors.description = "IRSB"
         self.state.history.recent_block_count = 1
-        self.state.scratch.guard = claripy.true
+        self.state.scratch.guard = claripy.true()
         self.state.scratch.sim_procedure = None
         addr = successors.addr
         self.state.scratch.bbl_addr = addr
@@ -216,7 +216,7 @@ class HeavyVEXMixin(SuccessorsMixin, ClaripyDataMixin, SimStateStorageMixin, VEX
                 l.debug("%s adding postcall exit.", self)
 
                 ret_state = exit_state.copy()
-                guard = claripy.true if o.TRUE_RET_EMULATION_GUARD in self.state.options else claripy.false
+                guard = claripy.true() if o.TRUE_RET_EMULATION_GUARD in self.state.options else claripy.false()
                 ret_target = claripy.BVV(successors.addr + irsb.size, ret_state.arch.bits)
                 ret_state.registers.store(
                     ret_state.arch.ret_offset, ret_state.solver.Unconstrained("fake_ret_value", ret_state.arch.bits)

angr/engines/vex/heavy/inspect.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
-from ..light import VEXMixin
-from ....state_plugins import BP_BEFORE, BP_AFTER, NO_OVERRIDE
+from angr.engines.vex.light import VEXMixin
+from angr.state_plugins import BP_BEFORE, BP_AFTER, NO_OVERRIDE
 
 
 class SimInspectMixin(VEXMixin):

angr/engines/vex/heavy/resilience.py

@@ -4,8 +4,8 @@ import pyvex
 from angr import sim_options as o
 
 from .concretizers import concretizers
-from ..light.resilience import VEXResilienceMixin, raiseme
-from ..claripy.datalayer import ClaripyDataMixin, symbol, value
+from angr.engines.vex.light.resilience import VEXResilienceMixin, raiseme
+from angr.engines.vex.claripy.datalayer import ClaripyDataMixin, symbol, value
 
 
 class HeavyResilienceMixin(VEXResilienceMixin, ClaripyDataMixin):

angr/engines/vex/heavy/super_fastpath.py

@@ -2,9 +2,9 @@ from __future__ import annotations
 import pyvex
 import claripy
 
-from .... import sim_options as o
-from ....errors import SimMissingTempError
-from ..light.slicing import VEXSlicingMixin
+from angr import sim_options as o
+from angr.errors import SimMissingTempError
+from angr.engines.vex.light.slicing import VEXSlicingMixin
 
 
 class SuperFastpathMixin(VEXSlicingMixin):

angr/engines/vex/lifter.py

@@ -8,11 +8,11 @@ import cle
 from archinfo import ArchARM
 import claripy
 
-from ..engine import SimEngineBase
-from ...state_plugins.inspect import BP_AFTER, BP_BEFORE, NO_OVERRIDE
-from ...misc.ux import once
-from ...errors import SimEngineError, SimTranslationError, SimError
-from ... import sim_options as o
+from angr.engines.engine import SimEngineBase
+from angr.state_plugins.inspect import BP_AFTER, BP_BEFORE, NO_OVERRIDE
+from angr.misc.ux import once
+from angr.errors import SimEngineError, SimTranslationError, SimError
+from angr import sim_options as o
 
 l = logging.getLogger(__name__)
 

angr/engines/vex/light/__init__.py

@@ -1,4 +1,11 @@
 from __future__ import annotations
+
 from .light import VEXMixin
 from .resilience import VEXResilienceMixin
 from .slicing import VEXSlicingMixin
+
+__all__ = (
+    "VEXMixin",
+    "VEXResilienceMixin",
+    "VEXSlicingMixin",
+)

angr/engines/vex/light/light.py

@@ -3,8 +3,8 @@ import logging
 
 import pyvex
 
-from ...engine import SimEngineBase
-from ....utils.constants import DEFAULT_STATEMENT
+from angr.engines.engine import SimEngineBase
+from angr.utils.constants import DEFAULT_STATEMENT
 
 l = logging.getLogger(name=__name__)