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

angr/analyses/vfg.py

@@ -12,10 +12,10 @@ import networkx
 from angr.utils.graph import GraphUtils
 from angr.analyses import ForwardAnalysis
 from .cfg.cfg_job_base import BlockID, FunctionKey, CFGJobBase
-from .. import sim_options
-from ..engines.procedure import ProcedureEngine
-from ..engines import SimSuccessors
-from ..errors import (
+from angr import sim_options
+from angr.engines.procedure import ProcedureEngine
+from angr.engines import SimSuccessors
+from angr.errors import (
     AngrDelayJobNotice,
     AngrSkipJobNotice,
     AngrVFGError,
@@ -26,14 +26,14 @@ from ..errors import (
     SimIRSBError,
     SimError,
 )
-from ..procedures import SIM_PROCEDURES
-from ..state_plugins.callstack import CallStack
-from ..analyses import AnalysesHub
-from ..sim_state import SimState
+from angr.procedures import SIM_PROCEDURES
+from angr.state_plugins.callstack import CallStack
+from angr.analyses import AnalysesHub
+from angr.sim_state import SimState
 from . import Analysis, CFGEmulated
 
 if TYPE_CHECKING:
-    from ..knowledge_base import KnowledgeBase
+    from angr.knowledge_base import KnowledgeBase
 
 l = logging.getLogger(name=__name__)
 
@@ -249,8 +249,8 @@ class VFGNode:
 
     def __eq__(self, o):
         return (
-            type(self) == type(o)
-            and self.key == o.key  # pylint:disable=unidiomatic-typecheck
+            type(self) is type(o)
+            and self.key == o.key
             and self.addr == o.addr
             and self.state == o.state
             and self.actions == o.actions
@@ -1508,7 +1508,7 @@ class VFG(ForwardAnalysis[SimState, VFGNode, VFGJob, BlockID], Analysis):  # pyl
                 successor_state.registers.store(arch.sp_offset, reg_sp_expr)
 
                 # Clear the return value with a TOP
-                top_si = claripy.TSI(arch.bits)
+                top_si = claripy.BVS("unnamed", arch.bits)
                 successor_state.registers.store(arch.ret_offset, top_si)
 
             if job.call_skipped:
@@ -1686,7 +1686,7 @@ class VFG(ForwardAnalysis[SimState, VFGNode, VFGJob, BlockID], Analysis):  # pyl
         reg_sp_expr = successor_state.registers.load(reg_sp_offset, size=arch.bytes, endness=arch.register_endness)
 
         reg_sp_val = successor_state.solver.min(reg_sp_expr)
-        reg_sp_si = claripy.SI(bits=successor_state.arch.bits, to_conv=reg_sp_val)
+        reg_sp_si = claripy.BVV(reg_sp_val, successor_state.arch.bits)
 
         reg_sp_val = reg_sp_val - arch.bytes  # TODO: Is it OK?
         new_stack_region_id = successor_state.memory.stack_id(successor_ip)

angr/analyses/vsa_ddg.py

@@ -5,9 +5,9 @@ from collections import defaultdict
 import networkx
 from . import Analysis, VFG
 
-from ..code_location import CodeLocation
-from ..errors import AngrDDGError
-from ..sim_variable import SimRegisterVariable, SimMemoryVariable
+from angr.code_location import CodeLocation
+from angr.errors import AngrDDGError
+from angr.sim_variable import SimRegisterVariable, SimMemoryVariable
 
 l = logging.getLogger(name=__name__)
 

angr/analyses/vtable.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import logging
 
-from ..analyses import AnalysesHub
+from angr.analyses import AnalysesHub
 from . import Analysis, CFGFast
 
 l = logging.getLogger(name=__name__)

angr/analyses/xrefs.py

@@ -5,9 +5,9 @@ import claripy
 import pyvex
 
 from angr.analyses import visitors, ForwardAnalysis
-from ..knowledge_plugins.xrefs import XRef, XRefType
-from ..knowledge_plugins.functions.function import Function
-from ..engines.light import SimEngineLight, SimEngineLightVEXMixin
+from angr.knowledge_plugins.xrefs import XRef, XRefType
+from angr.knowledge_plugins.functions.function import Function
+from angr.engines.light import SimEngineLight, SimEngineLightVEXMixin
 from .propagator.vex_vars import VEXTmp
 from .propagator.values import Top
 from . import register_analysis, PropagatorAnalysis

angr/angrdb/__init__.py

@@ -9,3 +9,6 @@ except ImportError as err:
     ) from err
 
 from .db import AngrDB
+
+
+__all__ = ("AngrDB",)

angr/angrdb/db.py

@@ -7,8 +7,8 @@ from sqlalchemy import create_engine
 from sqlalchemy.orm import sessionmaker
 from sqlalchemy.exc import DatabaseError
 
-from ..errors import AngrCorruptDBError, AngrIncompatibleDBError, AngrDBError
-from ..project import Project
+from angr.errors import AngrCorruptDBError, AngrIncompatibleDBError, AngrDBError
+from angr.project import Project
 from .models import Base, DbInformation
 from .serializers import LoaderSerializer, KnowledgeBaseSerializer
 

angr/angrdb/serializers/__init__.py

@@ -1,3 +1,10 @@
 from __future__ import annotations
+
 from .loader import LoaderSerializer
 from .kb import KnowledgeBaseSerializer
+
+
+__all__ = (
+    "LoaderSerializer",
+    "KnowledgeBaseSerializer",
+)

angr/angrdb/serializers/cfg_model.py

@@ -1,7 +1,7 @@
 # pylint:disable=unused-import
 from __future__ import annotations
-from ..models import DbCFGModel
-from ...knowledge_plugins.cfg.cfg_model import CFGModel
+from angr.angrdb.models import DbCFGModel
+from angr.knowledge_plugins.cfg.cfg_model import CFGModel
 
 
 class CFGModelSerializer:

angr/angrdb/serializers/comments.py

@@ -1,7 +1,7 @@
 # pylint:disable=unused-import
 from __future__ import annotations
-from ..models import DbComment
-from ...knowledge_plugins.comments import Comments
+from angr.angrdb.models import DbComment
+from angr.knowledge_plugins.comments import Comments
 
 
 class CommentsSerializer:

angr/angrdb/serializers/funcs.py

@@ -1,8 +1,8 @@
 from __future__ import annotations
 from typing import TYPE_CHECKING
 
-from ...knowledge_plugins import FunctionManager, Function
-from ..models import DbFunction
+from angr.knowledge_plugins import FunctionManager, Function
+from angr.angrdb.models import DbFunction
 
 if TYPE_CHECKING:
     from angr.knowledge_base import KnowledgeBase

angr/angrdb/serializers/kb.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
-from ...knowledge_base import KnowledgeBase
-from ..models import DbKnowledgeBase
+from angr.knowledge_base import KnowledgeBase
+from angr.angrdb.models import DbKnowledgeBase
 from .cfg_model import CFGModelSerializer
 from .funcs import FunctionManagerSerializer
 from .xrefs import XRefsSerializer

angr/angrdb/serializers/labels.py

@@ -1,7 +1,7 @@
 # pylint:disable=unused-import
 from __future__ import annotations
-from ..models import DbLabel
-from ...knowledge_plugins.labels import Labels
+from angr.angrdb.models import DbLabel
+from angr.knowledge_plugins.labels import Labels
 
 
 class LabelsSerializer:

angr/angrdb/serializers/loader.py

@@ -7,8 +7,8 @@ import logging
 
 import cle
 
-from ...errors import AngrCorruptDBError, AngrDBError
-from ..models import DbObject
+from angr.errors import AngrCorruptDBError, AngrDBError
+from angr.angrdb.models import DbObject
 
 
 _l = logging.getLogger(__name__)

angr/angrdb/serializers/structured_code.py

@@ -3,10 +3,10 @@ from typing import Any, TYPE_CHECKING
 import json
 import pickle
 
-from ...analyses.decompiler.structured_codegen import DummyStructuredCodeGenerator
-from ...analyses.decompiler.decompilation_cache import DecompilationCache
-from ...knowledge_plugins import StructuredCodeManager
-from ..models import DbStructuredCode
+from angr.analyses.decompiler.structured_codegen import DummyStructuredCodeGenerator
+from angr.analyses.decompiler.decompilation_cache import DecompilationCache
+from angr.knowledge_plugins import StructuredCodeManager
+from angr.angrdb.models import DbStructuredCode
 
 if TYPE_CHECKING:
     from angr.knowledge_base import KnowledgeBase

angr/angrdb/serializers/variables.py

@@ -1,9 +1,9 @@
 from __future__ import annotations
 from typing import TYPE_CHECKING
 
-from ...knowledge_plugins import VariableManager
-from ...knowledge_plugins.variables.variable_manager import VariableManagerInternal
-from ..models import DbVariableCollection
+from angr.knowledge_plugins import VariableManager
+from angr.knowledge_plugins.variables.variable_manager import VariableManagerInternal
+from angr.angrdb.models import DbVariableCollection
 
 if TYPE_CHECKING:
     from angr.knowledge_base import KnowledgeBase

angr/angrdb/serializers/xrefs.py

@@ -1,7 +1,7 @@
 # pylint:disable=unused-import
 from __future__ import annotations
-from ..models import DbXRefs
-from ...knowledge_plugins.xrefs import XRefManager
+from angr.angrdb.models import DbXRefs
+from angr.knowledge_plugins.xrefs import XRefManager
 
 
 class XRefsSerializer:

angr/concretization_strategies/__init__.py

@@ -95,3 +95,20 @@ from .range import SimConcretizationStrategyRange
 from .single import SimConcretizationStrategySingle
 from .solutions import SimConcretizationStrategySolutions
 from .unlimited_range import SimConcretizationStrategyUnlimitedRange
+
+
+__all__ = (
+    "SimConcretizationStrategy",
+    "SimConcretizationStrategyAny",
+    "SimConcretizationStrategyControlledData",
+    "SimConcretizationStrategyEval",
+    "SimConcretizationStrategyMax",
+    "SimConcretizationStrategyNonzero",
+    "SimConcretizationStrategyNonzeroRange",
+    "SimConcretizationStrategyNorepeats",
+    "SimConcretizationStrategyNorepeatsRange",
+    "SimConcretizationStrategyRange",
+    "SimConcretizationStrategySingle",
+    "SimConcretizationStrategySolutions",
+    "SimConcretizationStrategyUnlimitedRange",
+)

angr/concretization_strategies/max.py

@@ -1,5 +1,5 @@
 from __future__ import annotations
-from ..errors import SimSolverError
+from angr.errors import SimSolverError
 from . import SimConcretizationStrategy
 
 

angr/concretization_strategies/norepeats_range.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
 from . import SimConcretizationStrategy
-from ..errors import SimMergeError
+from angr.errors import SimMergeError
 
 
 class SimConcretizationStrategyNorepeatsRange(SimConcretizationStrategy):

angr/distributed/__init__.py

@@ -1,4 +1,9 @@
-# angr.distributed provides a simple implementation for conducting long-running symbolic-execution-based tasks.
+""" angr.distributed provides a simple implementation for conducting
+long-running symbolic-execution-based tasks.
+"""
+
 from __future__ import annotations
 
 from .server import Server
+
+__all__ = ("Server",)

angr/distributed/server.py

@@ -9,7 +9,6 @@ from .worker import Worker
 
 
 _l = logging.getLogger(__name__)
-_l.setLevel(logging.INFO)
 
 
 class Server:

angr/distributed/worker.py

@@ -5,12 +5,11 @@ import logging
 import sys
 
 from angr.utils.mp import Initializer
-from ..exploration_techniques import ExplorationTechnique, Bucketizer
-from ..vaults import VaultDirShelf
+from angr.exploration_techniques import ExplorationTechnique, Bucketizer
+from angr.vaults import VaultDirShelf
 
 
 _l = logging.getLogger(__name__)
-_l.setLevel(logging.INFO)
 
 
 class BadStatesDropper(ExplorationTechnique):
@@ -86,7 +85,10 @@ class Worker:
     def run(self, initializer: Initializer):
         initializer.initialize()
 
-        from ..exploration_techniques.spiller import Spiller, PickledStatesDb  # pylint:disable=import-outside-toplevel
+        from angr.exploration_techniques.spiller import (
+            Spiller,
+            PickledStatesDb,
+        )  # pylint:disable=import-outside-toplevel
 
         _l.debug("Worker %d starts running...", self.worker_id)
         if self._recursion_limit is not None and self._recursion_limit != sys.getrecursionlimit():

angr/engines/__init__.py

@@ -1,4 +1,5 @@
 from __future__ import annotations
+
 from .successors import SimSuccessors
 from .engine import SimEngine, SuccessorsMixin, TLSMixin
 
@@ -30,6 +31,28 @@ class UberEngine(
     pass
 
 
+__all__ = [
+    "SimSuccessors",
+    "SimEngine",
+    "SuccessorsMixin",
+    "TLSMixin",
+    "HeavyVEXMixin",
+    "TrackActionsMixin",
+    "SimInspectMixin",
+    "HeavyResilienceMixin",
+    "SuperFastpathMixin",
+    "ProcedureMixin",
+    "ProcedureEngine",
+    "SimEngineUnicorn",
+    "SimEngineFailure",
+    "SimEngineSyscall",
+    "SimEngineConcrete",
+    "HooksMixin",
+    "SootMixin",
+    "UberEngine",
+]
+
+
 try:
     from .pcode import HeavyPcodeMixin
 
@@ -38,5 +61,7 @@ try:
     ):  # pylint:disable=abstract-method
         pass
 
+    __all__.append("UberEnginePcode")
+
 except ImportError:
     pass

angr/engines/concrete.py

@@ -6,10 +6,9 @@ import claripy
 
 from angr.errors import AngrError
 from .engine import SuccessorsMixin
-from ..errors import SimConcreteRegisterError
+from angr.errors import SimConcreteRegisterError
 
 l = logging.getLogger("angr.engines.concrete")
-# l.setLevel(logging.DEBUG)
 
 try:
     from angr_targets.concrete import ConcreteTarget

angr/engines/engine.py

@@ -204,7 +204,7 @@ class SuccessorsMixin(SimEngine):
 
 
 # pylint:disable=wrong-import-position
-from .. import sim_options as o
-from ..state_plugins.inspect import BP_BEFORE, BP_AFTER
+from angr import sim_options as o
+from angr.state_plugins.inspect import BP_BEFORE, BP_AFTER
 from .successors import SimSuccessors
-from ..errors import SimException
+from angr.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:

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