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

angr/procedures/definitions/win32_xmllite.py

@@ -3,24 +3,9 @@ from __future__ import annotations
 import logging
 from collections import OrderedDict
 
-from ...sim_type import (SimTypeFunction,
-    SimTypeShort,
-    SimTypeInt,
-    SimTypeLong,
-    SimTypeLongLong,
-    SimTypeDouble,
-    SimTypeFloat,
-    SimTypePointer,
-    SimTypeChar,
-    SimStruct,
-    SimTypeArray,
-    SimTypeBottom,
-    SimUnion,
-    SimTypeBool,
-    SimTypeRef,
-)
-from ...calling_conventions import SimCCStdcall, SimCCMicrosoftAMD64
-from .. import SIM_PROCEDURES as P
+from angr.sim_type import SimTypeFunction, SimTypeShort, SimTypeInt, SimTypeLong, SimTypeLongLong, SimTypeDouble, SimTypeFloat, SimTypePointer, SimTypeChar, SimStruct, SimTypeArray, SimTypeBottom, SimUnion, SimTypeBool, SimTypeRef
+from angr.calling_conventions import SimCCStdcall, SimCCMicrosoftAMD64
+from angr.procedures import SIM_PROCEDURES as P
 from . import SimLibrary
 
 

angr/procedures/definitions/win32_xolehlp.py

@@ -3,24 +3,9 @@ from __future__ import annotations
 import logging
 from collections import OrderedDict
 
-from ...sim_type import (SimTypeFunction,
-    SimTypeShort,
-    SimTypeInt,
-    SimTypeLong,
-    SimTypeLongLong,
-    SimTypeDouble,
-    SimTypeFloat,
-    SimTypePointer,
-    SimTypeChar,
-    SimStruct,
-    SimTypeArray,
-    SimTypeBottom,
-    SimUnion,
-    SimTypeBool,
-    SimTypeRef,
-)
-from ...calling_conventions import SimCCStdcall, SimCCMicrosoftAMD64
-from .. import SIM_PROCEDURES as P
+from angr.sim_type import SimTypeFunction, SimTypeShort, SimTypeInt, SimTypeLong, SimTypeLongLong, SimTypeDouble, SimTypeFloat, SimTypePointer, SimTypeChar, SimStruct, SimTypeArray, SimTypeBottom, SimUnion, SimTypeBool, SimTypeRef
+from angr.calling_conventions import SimCCStdcall, SimCCMicrosoftAMD64
+from angr.procedures import SIM_PROCEDURES as P
 from . import SimLibrary
 
 

angr/procedures/definitions/win32_xpsprint.py

@@ -3,24 +3,9 @@ from __future__ import annotations
 import logging
 from collections import OrderedDict
 
-from ...sim_type import (SimTypeFunction,
-    SimTypeShort,
-    SimTypeInt,
-    SimTypeLong,
-    SimTypeLongLong,
-    SimTypeDouble,
-    SimTypeFloat,
-    SimTypePointer,
-    SimTypeChar,
-    SimStruct,
-    SimTypeArray,
-    SimTypeBottom,
-    SimUnion,
-    SimTypeBool,
-    SimTypeRef,
-)
-from ...calling_conventions import SimCCStdcall, SimCCMicrosoftAMD64
-from .. import SIM_PROCEDURES as P
+from angr.sim_type import SimTypeFunction, SimTypeShort, SimTypeInt, SimTypeLong, SimTypeLongLong, SimTypeDouble, SimTypeFloat, SimTypePointer, SimTypeChar, SimStruct, SimTypeArray, SimTypeBottom, SimUnion, SimTypeBool, SimTypeRef
+from angr.calling_conventions import SimCCStdcall, SimCCMicrosoftAMD64
+from angr.procedures import SIM_PROCEDURES as P
 from . import SimLibrary
 
 

angr/procedures/glibc/scanf.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
-from ..libc.scanf import scanf
-from ..libc.fscanf import fscanf
+from angr.procedures.libc.scanf import scanf
+from angr.procedures.libc.fscanf import fscanf
 
 
 class __isoc99_scanf(scanf):

angr/procedures/glibc/sscanf.py

@@ -1,5 +1,5 @@
 from __future__ import annotations
-from ..libc.sscanf import sscanf
+from angr.procedures.libc.sscanf import sscanf
 
 
 class __isoc99_sscanf(sscanf):

angr/procedures/java/__init__.py

@@ -1,9 +1,9 @@
 from __future__ import annotations
+
 import itertools
 
-from ...sim_procedure import SimProcedure
-from ...engines.soot.values import SimSootValue_Local, SimSootValue_ParamRef, translate_value
-from ...engines.soot.expressions import translate_expr
+from angr.sim_procedure import SimProcedure
+from angr.engines.soot.values import SimSootValue_Local, SimSootValue_ParamRef
 
 
 class JavaSimProcedure(SimProcedure):
@@ -37,3 +37,6 @@ class JavaSimProcedure(SimProcedure):
 
     def _prepare_ret_state(self):
         self._engine.prepare_return_state(self.state, self.ret_expr)
+
+
+__all__ = ("JavaSimProcedure",)

angr/procedures/java/unconstrained.py

@@ -2,9 +2,9 @@ from __future__ import annotations
 import claripy
 
 from . import JavaSimProcedure
-from ...engines.soot.values import SimSootValue_ThisRef, SimSootValue_StringRef
-from ...engines.soot.expressions import SimSootExpr_NewArray
-from ... import sim_options as options
+from angr.engines.soot.values import SimSootValue_ThisRef, SimSootValue_StringRef
+from angr.engines.soot.expressions import SimSootExpr_NewArray
+from angr import sim_options as options
 
 
 class UnconstrainedMethod(JavaSimProcedure):

angr/procedures/java_io/read.py

@@ -1,5 +1,5 @@
 from __future__ import annotations
-from ..java import JavaSimProcedure
+from angr.procedures.java import JavaSimProcedure
 
 
 class Read(JavaSimProcedure):

angr/procedures/java_io/write.py

@@ -1,5 +1,5 @@
 from __future__ import annotations
-from ..java import JavaSimProcedure
+from angr.procedures.java import JavaSimProcedure
 
 
 class Write(JavaSimProcedure):

angr/procedures/java_jni/__init__.py

@@ -7,10 +7,10 @@ import typing
 from archinfo import ArchSoot
 import claripy
 
-from ...calling_conventions import default_cc
-from ...sim_procedure import SimProcedure
-from ...sim_type import SimTypeFunction
-from ...state_plugins.sim_action_object import SimActionObject
+from angr.calling_conventions import default_cc
+from angr.sim_procedure import SimProcedure
+from angr.sim_type import SimTypeFunction
+from angr.state_plugins.sim_action_object import SimActionObject
 
 l = logging.getLogger("angr.procedures.java_jni")
 

angr/procedures/java_jni/array_operations.py

@@ -4,8 +4,8 @@ import logging
 import claripy
 
 from . import JNISimProcedure
-from ...engines.soot.expressions import SimSootExpr_NewArray
-from ...engines.soot.values import SimSootValue_ArrayRef
+from angr.engines.soot.expressions import SimSootExpr_NewArray
+from angr.engines.soot.values import SimSootValue_ArrayRef
 
 l = logging.getLogger("angr.procedures.java_jni.array_operations")
 

angr/procedures/java_jni/field_access.py

@@ -4,9 +4,9 @@ import logging
 from archinfo.arch_soot import ArchSoot
 
 from . import JNISimProcedure
-from ...engines.soot.exceptions import SootFieldNotLoadedException
-from ...engines.soot.field_dispatcher import resolve_field
-from ...engines.soot.values import SimSootValue_InstanceFieldRef, SimSootValue_StaticFieldRef
+from angr.engines.soot.exceptions import SootFieldNotLoadedException
+from angr.engines.soot.field_dispatcher import resolve_field
+from angr.engines.soot.values import SimSootValue_InstanceFieldRef, SimSootValue_StaticFieldRef
 
 l = logging.getLogger("angr.procedures.java_jni.field_access")
 

angr/procedures/java_jni/method_calls.py

@@ -4,8 +4,8 @@ import logging
 from archinfo.arch_soot import ArchSoot, SootAddressDescriptor, SootArgument, SootMethodDescriptor
 
 from . import JNISimProcedure
-from ...calling_conventions import SimCCSoot
-from ...engines.soot.method_dispatcher import resolve_method
+from angr.calling_conventions import SimCCSoot
+from angr.engines.soot.method_dispatcher import resolve_method
 
 l = logging.getLogger("angr.procedures.java_jni.callmethod")
 

angr/procedures/java_jni/object_operations.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
 from . import JNISimProcedure
-from ...engines.soot.values import SimSootValue_ThisRef
+from angr.engines.soot.values import SimSootValue_ThisRef
 from .method_calls import CallMethodBase
 
 # pylint: disable=arguments-differ,unused-argument

angr/procedures/java_jni/string_operations.py

@@ -4,7 +4,7 @@ import logging
 from claripy import StringV, StrLen
 
 from . import JNISimProcedure
-from ...engines.soot.values import SimSootValue_StringRef
+from angr.engines.soot.values import SimSootValue_StringRef
 
 l = logging.getLogger("angr.procedures.java_jni.string_operations")
 

angr/procedures/java_lang/character.py

@@ -2,7 +2,7 @@ from __future__ import annotations
 import claripy
 import logging
 
-from ..java import JavaSimProcedure
+from angr.procedures.java import JavaSimProcedure
 
 log = logging.getLogger(name=__name__)
 

angr/procedures/java_lang/double.py

@@ -3,7 +3,7 @@ import logging
 
 import claripy
 
-from ..java import JavaSimProcedure
+from angr.procedures.java import JavaSimProcedure
 
 log = logging.getLogger(name=__name__)
 

angr/procedures/java_lang/exit.py

@@ -1,5 +1,5 @@
 from __future__ import annotations
-from ..java import JavaSimProcedure
+from angr.procedures.java import JavaSimProcedure
 
 # pylint: disable=arguments-differ,unused-argument
 

angr/procedures/java_lang/getsimplename.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import logging
 
-from ..java import JavaSimProcedure
+from angr.procedures.java import JavaSimProcedure
 from angr.engines.soot.values.strref import SimSootValue_StringRef
 
 l = logging.getLogger(name=__name__)

angr/procedures/java_lang/integer.py

@@ -2,8 +2,8 @@ from __future__ import annotations
 import claripy
 import logging
 
-from ..java import JavaSimProcedure
-from ...engines.soot.values import SimSootValue_StringRef, SimSootValue_ThisRef
+from angr.procedures.java import JavaSimProcedure
+from angr.engines.soot.values import SimSootValue_StringRef, SimSootValue_ThisRef
 
 log = logging.getLogger(name=__name__)
 

angr/procedures/java_lang/load_library.py

@@ -1,5 +1,5 @@
 from __future__ import annotations
-from ..java import JavaSimProcedure
+from angr.procedures.java import JavaSimProcedure
 
 
 class LoadLibrary(JavaSimProcedure):

angr/procedures/java_lang/math.py

@@ -2,7 +2,7 @@ from __future__ import annotations
 import claripy
 import logging
 
-from ..java import JavaSimProcedure
+from angr.procedures.java import JavaSimProcedure
 
 log = logging.getLogger(name=__name__)
 

angr/procedures/java_lang/string.py

@@ -3,9 +3,9 @@ import logging
 
 import claripy
 
-from ..java import JavaSimProcedure
-from ...engines.soot.expressions import SimSootExpr_NewArray
-from ...engines.soot.values import SimSootValue_ArrayRef, SimSootValue_StringRef
+from angr.procedures.java import JavaSimProcedure
+from angr.engines.soot.expressions import SimSootExpr_NewArray
+from angr.engines.soot.values import SimSootValue_ArrayRef, SimSootValue_StringRef
 
 log = logging.getLogger(name=__name__)
 

angr/procedures/java_lang/stringbuilder.py

@@ -2,8 +2,8 @@ from __future__ import annotations
 import claripy
 import logging
 
-from ..java import JavaSimProcedure
-from ...engines.soot.values import SimSootValue_StringRef
+from angr.procedures.java import JavaSimProcedure
+from angr.engines.soot.values import SimSootValue_StringRef
 
 log = logging.getLogger(name=__name__)
 

angr/procedures/java_lang/system.py

@@ -2,7 +2,7 @@ from __future__ import annotations
 import logging
 import claripy
 
-from ..java import JavaSimProcedure
+from angr.procedures.java import JavaSimProcedure
 
 log = logging.getLogger(name=__name__)
 

angr/procedures/java_util/collection.py

@@ -2,8 +2,8 @@ from __future__ import annotations
 import claripy
 import logging
 
-from ..java import JavaSimProcedure
-from ...engines.soot.values import SimSootValue_ThisRef
+from angr.procedures.java import JavaSimProcedure
+from angr.engines.soot.values import SimSootValue_ThisRef
 
 log = logging.getLogger(name=__name__)
 

angr/procedures/java_util/iterator.py

@@ -2,8 +2,8 @@ from __future__ import annotations
 import claripy
 import logging
 
-from ..java import JavaSimProcedure
-from ...engines.soot.values import SimSootValue_ThisRef
+from angr.procedures.java import JavaSimProcedure
+from angr.engines.soot.values import SimSootValue_ThisRef
 from .collection import ELEMS, SIZE, INDEX
 
 log = logging.getLogger(name=__name__)

angr/procedures/java_util/list.py

@@ -2,9 +2,9 @@ from __future__ import annotations
 import claripy
 import logging
 
-from ..java import JavaSimProcedure
-from ...engines.soot.expressions import SimSootExpr_NewArray
-from ...engines.soot.values import SimSootValue_ThisRef
+from angr.procedures.java import JavaSimProcedure
+from angr.engines.soot.expressions import SimSootExpr_NewArray
+from angr.engines.soot.values import SimSootValue_ThisRef
 from .collection import ELEMS, SIZE
 
 log = logging.getLogger(name=__name__)

angr/procedures/java_util/map.py

@@ -2,9 +2,9 @@ from __future__ import annotations
 import claripy
 import logging
 
-from ..java import JavaSimProcedure
-from ...engines.soot.expressions import SimSootExpr_NewArray, SimSootExpr_NullConstant
-from ...engines.soot.values import SimSootValue_StringRef, SimSootValue_ThisRef
+from angr.procedures.java import JavaSimProcedure
+from angr.engines.soot.expressions import SimSootExpr_NewArray, SimSootExpr_NullConstant
+from angr.engines.soot.values import SimSootValue_StringRef, SimSootValue_ThisRef
 from .collection import ELEMS, SIZE
 
 log = logging.getLogger(name=__name__)

angr/procedures/java_util/random.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import claripy
 
-from ..java import JavaSimProcedure
+from angr.procedures.java import JavaSimProcedure
 
 
 class NextInt(JavaSimProcedure):

angr/procedures/java_util/scanner_nextline.py

@@ -3,8 +3,8 @@ import logging
 
 from claripy import StringS
 
-from ...engines.soot.values import SimSootValue_StringRef
-from ..java import JavaSimProcedure
+from angr.engines.soot.values import SimSootValue_StringRef
+from angr.procedures.java import JavaSimProcedure
 
 l = logging.getLogger("angr.procedures.java.scanner.nextLine")
 

angr/procedures/libc/fseek.py

@@ -3,7 +3,7 @@ import claripy
 from cle.backends.externs.simdata.io_file import io_file_data_for_arch
 
 import angr
-from ...errors import SimSolverError
+from angr.errors import SimSolverError
 
 
 class fseek(angr.SimProcedure):

angr/procedures/libc/memcpy.py

@@ -35,4 +35,4 @@ class memcpy(angr.SimProcedure):
         return dst_addr
 
 
-from ...sim_options import ABSTRACT_MEMORY
+from angr.sim_options import ABSTRACT_MEMORY

angr/procedures/libc/strlen.py

@@ -1,5 +1,7 @@
 from __future__ import annotations
+
 import logging
+from functools import reduce
 
 import claripy
 
@@ -39,7 +41,7 @@ class strlen(angr.SimProcedure):
             addr_desc: AbstractAddressDescriptor = self.state.memory._normalize_address(s)
 
             # size_t
-            length = claripy.ESI(self.arch.bits)
+            lengths = []
             for s_aw in self.state.memory._concretize_address_descriptor(addr_desc, None):
                 s_ptr = s_aw.to_valueset(self.state)
                 r, c, i = self.state.memory.find(
@@ -65,9 +67,15 @@ class strlen(angr.SimProcedure):
 
                 for r_aw in r_aw_iter:
                     r_ptr = r_aw.to_valueset(self.state)
-                    length = length.union(r_ptr - s_ptr)
-
-            return length
+                    lengths.append(r_ptr - s_ptr)
+
+            match len(lengths):
+                case 0:
+                    return claripy.BVS("unnamed", self.state.arch.bits)
+                case 1:
+                    return lengths[0]
+                case _:
+                    return reduce(claripy.union, lengths)
 
         search_len = max_str_len
         r, c, i = self.state.memory.find(

angr/procedures/libc/strncmp.py

@@ -1,5 +1,7 @@
 from __future__ import annotations
+
 import logging
+from functools import reduce
 
 import claripy
 
@@ -152,10 +154,13 @@ class strncmp(angr.SimProcedure):
             return claripy.BVV(0, 32)
 
         if self.state.mode == "static":
-            ret_expr = claripy.ESI(8)
-            for expr in return_values:
-                ret_expr = ret_expr.union(expr)
-
+            match len(return_values):
+                case 0:
+                    ret_expr = claripy.BVS("unnamed", self.state.arch.bits - 24)
+                case 1:
+                    ret_expr = return_values[0]
+                case _:
+                    ret_expr = reduce(claripy.union, return_values)
             ret_expr = ret_expr.sign_extend(24)
 
         else:

angr/procedures/linux_kernel/iovec.py

@@ -1,8 +1,8 @@
 from __future__ import annotations
 import angr
-from ..posix.read import read
-from ..posix.write import write
-from ...sim_type import register_types, parse_types
+from angr.procedures.posix.read import read
+from angr.procedures.posix.write import write
+from angr.sim_type import register_types, parse_types
 
 register_types(
     parse_types(

angr/procedures/linux_kernel/mmap.py

@@ -1,5 +1,5 @@
 from __future__ import annotations
-from ..posix.mmap import mmap
+from angr.procedures.posix.mmap import mmap
 
 
 class old_mmap(mmap):

angr/procedures/linux_kernel/stat.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import angr
 
-from ...storage.file import Flags
+from angr.storage.file import Flags
 from .fstat import fstat
 
 

angr/procedures/linux_kernel/sysinfo.py

@@ -2,7 +2,7 @@
 from __future__ import annotations
 import angr
 
-from ...sim_type import SimStruct, SimTypeLong, SimTypeFixedSizeArray, SimTypeShort, SimTypeInt
+from angr.sim_type import SimStruct, SimTypeLong, SimTypeFixedSizeArray, SimTypeShort, SimTypeInt
 
 # struct sysinfo {
 #    long uptime;             /* Seconds since boot */

angr/procedures/posix/bzero.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import claripy
 
-from ..libc import memset
+from angr.procedures.libc import memset
 
 
 class bzero(memset.memset):

angr/procedures/posix/mmap.py

@@ -4,7 +4,7 @@ import logging
 import claripy
 
 import angr
-from ...storage.file import SimFileDescriptor
+from angr.storage.file import SimFileDescriptor
 
 
 l = logging.getLogger(name=__name__)

angr/procedures/posix/send.py

@@ -2,7 +2,7 @@ from __future__ import annotations
 import claripy
 
 import angr
-from ...sim_options import ALLOW_SEND_FAILURES
+from angr.sim_options import ALLOW_SEND_FAILURES
 
 
 class send(angr.SimProcedure):

angr/procedures/posix/syslog.py

@@ -1,14 +1,13 @@
 from __future__ import annotations
 import logging
 
-from ..stubs.format_parser import FormatParser
+from angr.procedures.stubs.format_parser import FormatParser
 
 l = logging.getLogger(name=__name__)
-l.setLevel("INFO")
 
 
 class syslog(FormatParser):
-    def run(self, priority, fmt):
+    def run(self, priority, fmt):  # pylint:disable=arguments-differ
         fmt = self._parse(fmt)
         formatted = fmt.replace(self.va_arg)
         if not formatted.symbolic:

angr/procedures/procedure_dict.py

@@ -4,8 +4,8 @@ import os
 
 l = logging.getLogger(name=__name__)
 
-from ..misc import autoimport
-from ..sim_procedure import SimProcedure
+from angr.misc import autoimport
+from angr.sim_procedure import SimProcedure
 
 # Import all classes under the current directory, and group them based on
 # lib names.

angr/procedures/stubs/format_parser.py

@@ -6,9 +6,9 @@ import math
 import claripy
 
 from angr.errors import SimProcedureArgumentError, SimProcedureError, SimSolverError
-from ... import sim_type
-from ...sim_procedure import SimProcedure
-from ...storage.file import SimPackets
+from angr import sim_type
+from angr.sim_procedure import SimProcedure
+from angr.storage.file import SimPackets
 
 if TYPE_CHECKING:
     from angr.sim_type import SimType
@@ -556,7 +556,7 @@ class FormatParser(SimProcedure):
         Return the result of invoking the atoi simprocedure on `str_addr`.
         """
 
-        from .. import SIM_PROCEDURES  # pylint:disable=import-outside-toplevel
+        from angr.procedures import SIM_PROCEDURES  # pylint:disable=import-outside-toplevel
 
         strtol = SIM_PROCEDURES["libc"]["strtol"]
 
@@ -567,7 +567,7 @@ class FormatParser(SimProcedure):
         Return the result of invoking the strlen simprocedure on `str_addr`.
         """
 
-        from .. import SIM_PROCEDURES  # pylint:disable=import-outside-toplevel
+        from angr.procedures import SIM_PROCEDURES  # pylint:disable=import-outside-toplevel
 
         strlen = SIM_PROCEDURES["libc"]["strlen"]
 

angr/procedures/tracer/random.py

@@ -1,5 +1,5 @@
 from __future__ import annotations
-from ..cgc.random import random as orig_random
+from angr.procedures.cgc.random import random as orig_random
 
 
 class random(orig_random):

angr/procedures/tracer/receive.py

@@ -3,7 +3,7 @@ import logging
 
 import claripy
 
-from ..cgc.receive import receive as orig_receive
+from angr.procedures.cgc.receive import receive as orig_receive
 
 
 l = logging.getLogger(name=__name__)

angr/procedures/tracer/transmit.py

@@ -3,7 +3,7 @@ import logging
 
 import claripy
 
-from ..cgc.transmit import transmit as orig_transmit
+from angr.procedures.cgc.transmit import transmit as orig_transmit
 
 
 l = logging.getLogger(name=__name__)