angr 9.2.119__py3-none-manylinux2014_aarch64.whl → 9.2.120__py3-none-manylinux2014_aarch64.whl

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

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

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__)

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__)
 

angr/engines/vex/light/slicing.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
 from .light import VEXMixin
-from ....utils.constants import DEFAULT_STATEMENT
+from angr.utils.constants import DEFAULT_STATEMENT
 
 
 class VEXSlicingMixin(VEXMixin):

angr/errors.py

@@ -66,10 +66,6 @@ class AngrBackwardSlicingError(AngrError):
     pass
 
 
-class AngrGirlScoutError(AngrError):
-    pass
-
-
 class AngrCallableError(AngrSurveyorError):
     pass
 

angr/exploration_techniques/__init__.py

@@ -141,7 +141,6 @@ from .tech_builder import TechniqueBuilder
 from .stochastic import StochasticSearch
 from .unique import UniqueSearch
 from .symbion import Symbion
-from ..errors import AngrError, AngrExplorationTechniqueError
 from .memory_watcher import MemoryWatcher
 from .bucketizer import Bucketizer
 from .local_loop_seer import LocalLoopSeer

angr/exploration_techniques/bucketizer.py

@@ -3,11 +3,10 @@ import math
 from collections import defaultdict
 import logging
 
-from ..engines.successors import SimSuccessors
+from angr.engines.successors import SimSuccessors
 from . import ExplorationTechnique
 
 _l = logging.getLogger(__name__)
-_l.setLevel(logging.DEBUG)
 
 
 class Bucketizer(ExplorationTechnique):
@@ -15,9 +14,6 @@ class Bucketizer(ExplorationTechnique):
     Loop bucketization: Pick log(n) paths out of n possible paths, and stash (or drop) everything else.
     """
 
-    def __init__(self):
-        super().__init__()
-
     def successors(self, simgr, state, **kwargs):
         # step first
         successors: SimSuccessors = super().successors(simgr, state, **kwargs)
@@ -50,7 +46,8 @@ class Bucketizer(ExplorationTechnique):
         successors.successors = new_successors
         return successors
 
-    def _get_transition_dict(self, state):
+    @staticmethod
+    def _get_transition_dict(state):
         """
 
         :param SimState state:
@@ -64,7 +61,8 @@ class Bucketizer(ExplorationTechnique):
             state.globals["transition"] = t
         return t
 
-    def _record_transition(self, state, transition):
+    @staticmethod
+    def _record_transition(state, transition):
         """
 
         :param SimState state:
@@ -72,12 +70,13 @@ class Bucketizer(ExplorationTechnique):
         :return:
         """
 
-        t = self._get_transition_dict(state).copy()
+        t = Bucketizer._get_transition_dict(state).copy()
         t[transition] += 1
 
         state.globals["transition"] = t
 
-    def _accept_transition(self, state, transition):
+    @staticmethod
+    def _accept_transition(state, transition):
         """
 
         :param SimState state:
@@ -85,7 +84,7 @@ class Bucketizer(ExplorationTechnique):
         :return:
         """
 
-        t = self._get_transition_dict(state)
+        t = Bucketizer._get_transition_dict(state)
 
         if t[transition] == 0:
             _l.error("Impossible: Transition %s has 0 occurrences.", transition)

angr/exploration_techniques/common.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
-from .. import engines
-from ..errors import SimError, AngrError, AngrExplorationTechniqueError
+from angr import engines
+from angr.errors import SimError, AngrError, AngrExplorationTechniqueError
 
 
 def condition_to_lambda(condition, default=False):

angr/exploration_techniques/director.py

@@ -6,10 +6,10 @@ import networkx
 
 import claripy
 
-from ..sim_type import SimType, SimTypePointer, SimTypeChar, SimTypeString, SimTypeReg
-from ..calling_conventions import default_cc
-from ..knowledge_base import KnowledgeBase
-from ..errors import AngrDirectorError
+from angr.sim_type import SimType, SimTypePointer, SimTypeChar, SimTypeString, SimTypeReg
+from angr.calling_conventions import default_cc
+from angr.knowledge_base import KnowledgeBase
+from angr.errors import AngrDirectorError
 from . import ExplorationTechnique
 
 l = logging.getLogger(name=__name__)

angr/exploration_techniques/explorer.py

@@ -4,8 +4,8 @@ import claripy
 
 from . import ExplorationTechnique
 from .common import condition_to_lambda
-from .. import sim_options
-from ..state_plugins.sim_event import resource_event
+from angr import sim_options
+from angr.state_plugins.sim_event import resource_event
 
 l = logging.getLogger(name=__name__)
 
@@ -48,7 +48,7 @@ class Explorer(ExplorationTechnique):
         self._warned_unicorn = False
 
         # TODO: This is a hack for while CFGFast doesn't handle procedure continuations
-        from .. import analyses  # pylint: disable=import-outside-toplevel
+        from angr import analyses  # pylint: disable=import-outside-toplevel
 
         if isinstance(cfg, analyses.CFGFast):
             l.error("CFGFast is currently inappropriate for use with Explorer.")

angr/exploration_techniques/loop_seer.py

@@ -2,8 +2,8 @@ from __future__ import annotations
 import logging
 
 from . import ExplorationTechnique
-from ..knowledge_base import KnowledgeBase
-from ..knowledge_plugins.functions import Function
+from angr.knowledge_base import KnowledgeBase
+from angr.knowledge_plugins.functions import Function
 
 
 l = logging.getLogger(name=__name__)
@@ -233,4 +233,4 @@ class LoopSeer(ExplorationTechnique):
         return f
 
 
-from ..analyses.loopfinder import Loop
+from angr.analyses.loopfinder import Loop

angr/exploration_techniques/oppologist.py

@@ -6,9 +6,9 @@ import logging
 
 l = logging.getLogger(name=__name__)
 
-from ..errors import AngrError, SimError, SimUnsupportedError, SimCCallError
-from .. import sim_options
-from ..engines.successors import SimSuccessors
+from angr.errors import AngrError, SimError, SimUnsupportedError, SimCCallError
+from angr import sim_options
+from angr.engines.successors import SimSuccessors
 
 exc_list = (AngrError, SimError, claripy.ClaripyError, TypeError, ValueError, ArithmeticError, MemoryError)
 

angr/exploration_techniques/slicecutor.py

@@ -1,5 +1,5 @@
 from __future__ import annotations
-from ..errors import AngrExitError
+from angr.errors import AngrExitError
 from . import ExplorationTechnique
 
 import logging

angr/exploration_techniques/spiller.py

@@ -279,4 +279,4 @@ class Spiller(ExplorationTechnique):
         return id(state)
 
 
-from .. import vaults
+from angr import vaults

angr/exploration_techniques/suggestions.py

@@ -3,10 +3,10 @@ import logging
 import claripy
 
 from . import ExplorationTechnique
-from ..misc.ux import once
-from ..misc.picklable_lock import PicklableLock
-from ..state_plugins.sim_action import SimActionConstraint
-from ..state_plugins.sim_action_object import SimActionObject
+from angr.misc.ux import once
+from angr.misc.picklable_lock import PicklableLock
+from angr.state_plugins.sim_action import SimActionConstraint
+from angr.state_plugins.sim_action_object import SimActionObject
 
 l = logging.getLogger(__name__)