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

angr/analyses/identifier/custom_callable.py

@@ -1,12 +1,11 @@
 from __future__ import annotations
 import logging
 
-from ...errors import AngrCallableError, AngrCallableMultistateError
-from ...calling_conventions import default_cc
+from angr.errors import AngrCallableError, AngrCallableMultistateError
+from angr.calling_conventions import default_cc
 
 
 l = logging.getLogger(name=__name__)
-# l.setLevel("DEBUG")
 
 
 class IdentifierCallable:

angr/analyses/identifier/errors.py

@@ -1,5 +1,5 @@
 from __future__ import annotations
-from ...errors import AngrAnalysisError
+from angr.errors import AngrAnalysisError
 
 
 class IdentifierException(AngrAnalysisError):

angr/analyses/identifier/functions/__init__.py

@@ -1,13 +1,13 @@
 from __future__ import annotations
-import os
-from collections import defaultdict
-import importlib
 
+import importlib
 import logging
+import os
+
+from angr.analyses.identifier.func import Func
 
 l = logging.getLogger(name=__name__)
 
-from ..func import Func
 
 # Import all classes under the current directory, and group them based on
 # lib names.

angr/analyses/identifier/functions/atoi.py

@@ -2,7 +2,7 @@ from __future__ import annotations
 import random
 import string
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 class atoi(Func):

angr/analyses/identifier/functions/based_atoi.py

@@ -2,7 +2,7 @@ from __future__ import annotations
 import random
 import string
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 BASES = [8, 10, 16]

angr/analyses/identifier/functions/fdprintf.py

@@ -5,7 +5,7 @@ import logging
 
 import claripy
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 l = logging.getLogger(name=__name__)

angr/analyses/identifier/functions/free.py

@@ -3,8 +3,8 @@ import logging
 
 import claripy
 
-from ..func import Func, TestData
-from ..errors import IdentifierException
+from angr.analyses.identifier.func import Func, TestData
+from angr.analyses.identifier.errors import IdentifierException
 
 
 l = logging.getLogger(name=__name__)

angr/analyses/identifier/functions/int2str.py

@@ -2,7 +2,7 @@ from __future__ import annotations
 import random
 import string
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 digs = string.digits + string.ascii_letters

angr/analyses/identifier/functions/malloc.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
-from ..func import Func, TestData
-from ....errors import SimMemoryError
+from angr.analyses.identifier.func import Func, TestData
+from angr.errors import SimMemoryError
 
 
 class malloc(Func):

angr/analyses/identifier/functions/memcmp.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import random
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 def rand_str(length, byte_list=None):

angr/analyses/identifier/functions/memcpy.py

@@ -1,9 +1,9 @@
 from __future__ import annotations
 import random
 
-from ....sim_type import SimTypeFunction, SimTypeInt
-from ..func import Func, TestData
-from ..custom_callable import IdentifierCallable
+from angr.sim_type import SimTypeFunction, SimTypeInt
+from angr.analyses.identifier.func import Func, TestData
+from angr.analyses.identifier.custom_callable import IdentifierCallable
 
 
 def rand_str(length, byte_list=None):

angr/analyses/identifier/functions/memset.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import random
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 def rand_str(length, byte_list=None):

angr/analyses/identifier/functions/printf.py

@@ -5,7 +5,7 @@ import string
 
 import claripy
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 l = logging.getLogger(name=__name__)

angr/analyses/identifier/functions/recv_until.py

@@ -2,8 +2,8 @@ from __future__ import annotations
 import random
 import itertools
 
-from ..func import Func, TestData
-from ..errors import FunctionNotInitialized
+from angr.analyses.identifier.func import Func, TestData
+from angr.analyses.identifier.errors import FunctionNotInitialized
 
 
 def rand_str(length, byte_list=None):

angr/analyses/identifier/functions/skip_calloc.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
-from ..func import Func, TestData
-from ....errors import SimMemoryError
+from angr.analyses.identifier.func import Func, TestData
+from angr.errors import SimMemoryError
 
 
 class calloc(Func):

angr/analyses/identifier/functions/skip_realloc.py

@@ -1,8 +1,8 @@
 from __future__ import annotations
 import logging
 
-from ..func import Func, TestData
-from ....errors import SimMemoryError
+from angr.analyses.identifier.func import Func, TestData
+from angr.errors import SimMemoryError
 
 
 l = logging.getLogger(name=__name__)

angr/analyses/identifier/functions/skip_recv_n.py

@@ -2,7 +2,7 @@ from __future__ import annotations
 import random
 import struct
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 def rand_str(length, byte_list=None):

angr/analyses/identifier/functions/snprintf.py

@@ -4,7 +4,7 @@ import string
 
 import claripy
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 class snprintf(Func):

angr/analyses/identifier/functions/sprintf.py

@@ -4,7 +4,7 @@ import string
 
 import claripy
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 class sprintf(Func):

angr/analyses/identifier/functions/strcmp.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import random
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 def rand_str(length, byte_list=None):

angr/analyses/identifier/functions/strcpy.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import random
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 def rand_str(length, byte_list=None):

angr/analyses/identifier/functions/strlen.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import random
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 class strlen(Func):

angr/analyses/identifier/functions/strncmp.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import random
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 def rand_str(length, byte_list=None):

angr/analyses/identifier/functions/strncpy.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import random
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 def rand_str(length, byte_list=None):

angr/analyses/identifier/functions/strtol.py

@@ -2,7 +2,7 @@ from __future__ import annotations
 import random
 import string
 
-from ..func import Func, TestData
+from angr.analyses.identifier.func import Func, TestData
 
 
 digs = string.digits + string.ascii_letters

angr/analyses/identifier/identify.py

@@ -10,9 +10,9 @@ from networkx import NetworkXError
 from .errors import IdentifierException
 from .functions import Functions
 from .runner import Runner
-from .. import Analysis
-from ... import options
-from ...errors import AngrError, SimSegfaultError, SimEngineError, SimMemoryError, SimError
+from angr.analyses import Analysis
+from angr import options
+from angr.errors import AngrError, SimSegfaultError, SimEngineError, SimMemoryError, SimError
 
 l = logging.getLogger(name=__name__)
 

angr/analyses/identifier/runner.py

@@ -5,12 +5,12 @@ import os
 
 import claripy
 
-from ... import sim_options as so
-from ... import SIM_LIBRARIES
-from ... import BP_BEFORE, BP_AFTER
-from ...storage.file import SimFile, SimFileDescriptor
-from ...state_plugins import SimSystemPosix
-from ...errors import AngrCallableMultistateError, AngrCallableError, AngrError, SimError
+from angr import sim_options as so
+from angr import SIM_LIBRARIES
+from angr import BP_BEFORE, BP_AFTER
+from angr.storage.file import SimFile, SimFileDescriptor
+from angr.state_plugins import SimSystemPosix
+from angr.errors import AngrCallableMultistateError, AngrCallableError, AngrError, SimError
 from .custom_callable import IdentifierCallable
 
 

angr/analyses/init_finder.py

@@ -7,7 +7,7 @@ import pyvex
 import claripy
 
 from angr.analyses import visitors, ForwardAnalysis
-from ..engines.light import SimEngineLight, SimEngineLightVEXMixin
+from angr.engines.light import SimEngineLight, SimEngineLightVEXMixin
 from . import register_analysis, PropagatorAnalysis
 from .analysis import Analysis
 from .propagator.vex_vars import VEXTmp

angr/analyses/loop_analysis.py

@@ -3,8 +3,8 @@ from __future__ import annotations
 import logging
 
 from angr.analyses import ForwardAnalysis, visitors
-from ..block import SootBlockNode
-from ..errors import AngrLoopAnalysisError
+from angr.block import SootBlockNode
+from angr.errors import AngrLoopAnalysisError
 from . import register_analysis
 from .analysis import Analysis
 

angr/analyses/propagator/__init__.py

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

angr/analyses/propagator/engine_ail.py

@@ -11,10 +11,10 @@ from angr.knowledge_plugins.propagations.prop_value import PropValue, Detail
 from angr.knowledge_plugins.key_definitions.atoms import Register
 
 from angr.code_location import ExternalCodeLocation
-from ...utils.constants import is_alignment_mask
-from ...engines.light import SimEngineLightAILMixin
-from ...sim_variable import SimStackVariable, SimMemoryVariable
-from ..reaching_definitions.reaching_definitions import OP_BEFORE, OP_AFTER
+from angr.utils.constants import is_alignment_mask
+from angr.engines.light import SimEngineLightAILMixin
+from angr.sim_variable import SimStackVariable, SimMemoryVariable
+from angr.analyses.reaching_definitions.reaching_definitions import OP_BEFORE, OP_AFTER
 from .engine_base import SimEnginePropagatorBase
 
 if TYPE_CHECKING:
@@ -141,13 +141,14 @@ class SimEnginePropagatorAIL(
                 size = data_v.size() // self.arch.byte_width
                 to_store = PropValue.from_value_and_details(data_v, size, expr, self._codeloc())
             else:
+                expr = data.one_expr
                 size = stmt.size
                 to_store = data.with_details(
                     stmt.size, data.one_expr if data.one_expr is not None else stmt.data, self._codeloc()
                 )
 
             # ensure there isn't a Tmp variable in the data
-            if not self.has_tmpexpr(expr):
+            if expr is None or not self.has_tmpexpr(expr):
                 # Storing data to a stack variable
                 self.state.store_stack_variable(sp_offset, to_store, endness=stmt.endness)
 

angr/analyses/propagator/engine_base.py

@@ -2,8 +2,8 @@ from __future__ import annotations
 from typing import TYPE_CHECKING
 import logging
 
-from ...engines.light import SimEngineLight
-from ...errors import SimEngineError
+from angr.engines.light import SimEngineLight
+from angr.errors import SimEngineError
 
 if TYPE_CHECKING:
     from angr.analyses.reaching_definitions.reaching_definitions import ReachingDefinitionsModel

angr/analyses/propagator/engine_vex.py

@@ -7,8 +7,8 @@ import pyvex
 import archinfo
 
 from angr.knowledge_plugins.propagations.states import RegisterAnnotation, RegisterComparisonAnnotation
-from ...engines.light import SimEngineLightVEXMixin
-from ...calling_conventions import DEFAULT_CC, SYSCALL_CC, default_cc, SimRegArg
+from angr.engines.light import SimEngineLightVEXMixin
+from angr.calling_conventions import DEFAULT_CC, SYSCALL_CC, default_cc, SimRegArg
 from .values import Top, Bottom
 from .engine_base import SimEnginePropagatorBase
 from .top_checker_mixin import TopCheckerMixin

angr/analyses/propagator/outdated_definition_walker.py

@@ -5,9 +5,9 @@ from collections.abc import Callable
 
 from ailment import Block, Stmt, Expr, AILBlockWalker
 
-from ...code_location import CodeLocation
-from ...knowledge_plugins.key_definitions.constants import OP_BEFORE, OP_AFTER
-from ...knowledge_plugins.key_definitions import atoms
+from angr.code_location import CodeLocation
+from angr.knowledge_plugins.key_definitions.constants import OP_BEFORE, OP_AFTER
+from angr.knowledge_plugins.key_definitions import atoms
 
 if TYPE_CHECKING:
     from archinfo import Arch

angr/analyses/propagator/propagator.py

@@ -13,9 +13,9 @@ from angr.analyses import ForwardAnalysis, visitors
 from angr.knowledge_plugins.propagations.propagation_model import PropagationModel
 from angr.knowledge_plugins.propagations.prop_value import PropValue, Detail
 from angr.knowledge_plugins.propagations.states import PropagatorAILState, PropagatorVEXState, PropagatorState
-from ... import sim_options
-from .. import register_analysis
-from ..analysis import Analysis
+from angr import sim_options
+from angr.analyses import register_analysis
+from angr.analyses.analysis import Analysis
 from .engine_vex import SimEnginePropagatorVEX
 from .engine_ail import SimEnginePropagatorAIL
 import contextlib

angr/analyses/propagator/top_checker_mixin.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import claripy
 
-from ...engines.light.engine import SimEngineLightMixin
+from angr.engines.light.engine import SimEngineLightMixin
 
 
 class TopCheckerMixin(SimEngineLightMixin):

angr/analyses/proximity_graph.py

@@ -7,9 +7,9 @@ import networkx
 import ailment
 from ailment import AILBlockWalker
 
-from ..codenode import BlockNode
-from ..sim_variable import SimMemoryVariable
-from ..knowledge_plugins.functions import Function
+from angr.codenode import BlockNode
+from angr.sim_variable import SimMemoryVariable
+from angr.knowledge_plugins.functions import Function
 from .analysis import Analysis, AnalysesHub
 
 if TYPE_CHECKING:

angr/analyses/reaching_definitions/__init__.py

@@ -1,9 +1,9 @@
 from __future__ import annotations
-from typing import Set, Optional, Union, TYPE_CHECKING
+from typing import TYPE_CHECKING
 
-from ...knowledge_plugins.key_definitions import LiveDefinitions
-from ...knowledge_plugins.key_definitions.constants import ObservationPointType
-from ...knowledge_plugins.key_definitions.atoms import (
+from angr.knowledge_plugins.key_definitions import LiveDefinitions
+from angr.knowledge_plugins.key_definitions.constants import ObservationPointType
+from angr.knowledge_plugins.key_definitions.atoms import (
     AtomKind,
     Atom,
     Register,
@@ -12,8 +12,8 @@ from ...knowledge_plugins.key_definitions.atoms import (
     GuardUse,
     ConstantSrc,
 )
-from ...knowledge_plugins.key_definitions.definition import Definition
-from .. import register_analysis
+from angr.knowledge_plugins.key_definitions.definition import Definition
+from angr.analyses import register_analysis
 from .reaching_definitions import ReachingDefinitionsAnalysis, ReachingDefinitionsModel
 from .function_handler import FunctionHandler, FunctionCallData
 from .rd_state import ReachingDefinitionsState

angr/analyses/reaching_definitions/dep_graph.py

@@ -13,8 +13,8 @@ import networkx
 import claripy
 from cle.loader import Loader
 
-from ...code_location import CodeLocation, ExternalCodeLocation
-from ...knowledge_plugins.key_definitions.atoms import (
+from angr.code_location import CodeLocation, ExternalCodeLocation
+from angr.knowledge_plugins.key_definitions.atoms import (
     Atom,
     MemoryLocation,
     AtomKind,
@@ -23,9 +23,9 @@ from ...knowledge_plugins.key_definitions.atoms import (
     ConstantSrc,
     GuardUse,
 )
-from ...knowledge_plugins.key_definitions.definition import A, Definition, DefinitionMatchPredicate
-from ...knowledge_plugins.key_definitions.undefined import UNDEFINED
-from ...knowledge_plugins.cfg import CFGModel
+from angr.knowledge_plugins.key_definitions.definition import A, Definition, DefinitionMatchPredicate
+from angr.knowledge_plugins.key_definitions.undefined import UNDEFINED
+from angr.knowledge_plugins.cfg import CFGModel
 
 if TYPE_CHECKING:
     pass

angr/analyses/reaching_definitions/engine_ail.py

@@ -10,14 +10,14 @@ import ailment
 import pyvex
 from claripy import FSORT_DOUBLE, FSORT_FLOAT
 
-from ...engines.light import SimEngineLight, SimEngineLightAILMixin, SpOffset
-from ...errors import SimEngineError, SimMemoryMissingError
-from ...calling_conventions import default_cc, SimRegArg, SimTypeBottom
-from ...storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
-from ...knowledge_plugins.key_definitions.atoms import Atom, Register, Tmp, MemoryLocation
-from ...knowledge_plugins.key_definitions.constants import OP_BEFORE, OP_AFTER
-from ...knowledge_plugins.key_definitions.live_definitions import Definition, LiveDefinitions
-from ...code_location import CodeLocation, ExternalCodeLocation
+from angr.engines.light import SimEngineLight, SimEngineLightAILMixin, SpOffset
+from angr.errors import SimEngineError, SimMemoryMissingError
+from angr.calling_conventions import default_cc, SimRegArg, SimTypeBottom
+from angr.storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
+from angr.knowledge_plugins.key_definitions.atoms import Atom, Register, Tmp, MemoryLocation
+from angr.knowledge_plugins.key_definitions.constants import OP_BEFORE, OP_AFTER
+from angr.knowledge_plugins.key_definitions.live_definitions import Definition, LiveDefinitions
+from angr.code_location import CodeLocation, ExternalCodeLocation
 from .subject import SubjectType
 from .rd_state import ReachingDefinitionsState
 from .function_handler import FunctionHandler, FunctionCallData

angr/analyses/reaching_definitions/engine_vex.py

@@ -7,23 +7,23 @@ import logging
 import pyvex
 import claripy
 
-from ...storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
-from ...engines.light import SimEngineLight, SimEngineLightVEXMixin, SpOffset
-from ...engines.vex.claripy.datalayer import value as claripy_value
-from ...engines.vex.claripy.irop import operations as vex_operations
-from ...errors import SimEngineError, SimMemoryMissingError
-from ...utils.constants import DEFAULT_STATEMENT
-from ...knowledge_plugins.key_definitions.live_definitions import Definition, LiveDefinitions
-from ...knowledge_plugins.key_definitions.tag import LocalVariableTag, ParameterTag, Tag
-from ...knowledge_plugins.key_definitions.atoms import Atom, Register, MemoryLocation, Tmp
-from ...knowledge_plugins.key_definitions.constants import OP_BEFORE, OP_AFTER
-from ...knowledge_plugins.key_definitions.heap_address import HeapAddress
-from ...code_location import CodeLocation, ExternalCodeLocation
+from angr.storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
+from angr.engines.light import SimEngineLight, SimEngineLightVEXMixin, SpOffset
+from angr.engines.vex.claripy.datalayer import value as claripy_value
+from angr.engines.vex.claripy.irop import operations as vex_operations
+from angr.errors import SimEngineError, SimMemoryMissingError
+from angr.utils.constants import DEFAULT_STATEMENT
+from angr.knowledge_plugins.key_definitions.live_definitions import Definition, LiveDefinitions
+from angr.knowledge_plugins.key_definitions.tag import LocalVariableTag, ParameterTag, Tag
+from angr.knowledge_plugins.key_definitions.atoms import Atom, Register, MemoryLocation, Tmp
+from angr.knowledge_plugins.key_definitions.constants import OP_BEFORE, OP_AFTER
+from angr.knowledge_plugins.key_definitions.heap_address import HeapAddress
+from angr.code_location import CodeLocation, ExternalCodeLocation
 from .rd_state import ReachingDefinitionsState
 from .function_handler import FunctionCallData
 
 if TYPE_CHECKING:
-    from ...knowledge_plugins import FunctionManager
+    from angr.knowledge_plugins import FunctionManager
     from .function_handler import FunctionHandler
 
 
@@ -737,6 +737,11 @@ class SimEngineRDVEX(
 
         return MultiValues(self.state.top(bits))
 
+    def _handle_Mod(self, expr):
+        _, _ = self._expr(expr.args[0]), self._expr(expr.args[1])
+        bits = expr.result_size(self.tyenv)
+        return MultiValues(self.state.top(bits))
+
     def _handle_And(self, expr):
         expr0, expr1 = self._expr(expr.args[0]), self._expr(expr.args[1])
         bits = expr.result_size(self.tyenv)

angr/analyses/reaching_definitions/function_handler.py

@@ -370,10 +370,14 @@ class FunctionHandler:
             data.prototype = state.analysis.project.factory.function_prototype()
             data.guessed_prototype = True
 
-        if data.prototype is not None and data.function is not None:
+        if data.prototype is not None:
             # make sure the function prototype is resolved.
             # TODO: Cache resolved function prototypes globally
-            prototype_libname = data.function.prototype_libname or hook_libname
+            prototype_libname = (
+                data.function.prototype_libname
+                if data.function is not None and data.function.prototype_libname
+                else hook_libname
+            )
             type_collections = []
             if prototype_libname is not None:
                 prototype_lib = SIM_LIBRARIES[prototype_libname]

angr/analyses/reaching_definitions/heap_allocator.py

@@ -2,9 +2,9 @@ from __future__ import annotations
 import logging
 
 
-from ...knowledge_plugins.key_definitions.heap_address import HeapAddress
-from ...knowledge_plugins.key_definitions.unknown_size import UnknownSize
-from ...knowledge_plugins.key_definitions.undefined import Undefined
+from angr.knowledge_plugins.key_definitions.heap_address import HeapAddress
+from angr.knowledge_plugins.key_definitions.unknown_size import UnknownSize
+from angr.knowledge_plugins.key_definitions.undefined import Undefined
 
 _l = logging.getLogger(name=__name__)
 

angr/analyses/reaching_definitions/rd_state.py

@@ -13,16 +13,10 @@ from angr.knowledge_plugins.key_definitions.heap_address import HeapAddress
 from angr.knowledge_plugins.key_definitions.definition import A
 from angr.engines.light import SpOffset
 from angr.code_location import CodeLocation
-from ...storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
-from ...storage.memory_mixins import MultiValuedMemory
-from ...knowledge_plugins.key_definitions import LiveDefinitions, DerefSize, Definition
-from ...knowledge_plugins.key_definitions.atoms import (
-    Atom,
-    GuardUse,
-    Register,
-    MemoryLocation,
-    ConstantSrc,
-)
+from angr.storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
+from angr.storage.memory_mixins import MultiValuedMemory
+from angr.knowledge_plugins.key_definitions import LiveDefinitions, DerefSize, Definition
+from angr.knowledge_plugins.key_definitions.atoms import Atom, GuardUse, Register, MemoryLocation, ConstantSrc
 from .heap_allocator import HeapAllocator
 from .subject import Subject, SubjectType
 from .rd_initializer import RDAStateInitializer