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

angr/procedures/definitions/win32_webauthn.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_webservices.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_websocket.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wecapi.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wer.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wevtapi.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_winbio.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_windows_ai_machinelearning.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_windows_data_pdf.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 
 from ...sim_type import SimTypeFunction,     SimTypeShort, SimTypeInt, SimTypeLong, SimTypeLongLong, SimTypeDouble, SimTypeFloat,     SimTypePointer,     SimTypeChar,     SimStruct,     SimTypeFixedSizeArray,     SimTypeBottom,     SimUnion,     SimTypeBool

angr/procedures/definitions/win32_windows_media_mediacontrol.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_windows_networking.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_windows_ui_xaml.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_windowscodecs.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_winfax.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_winhttp.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_winhvemulation.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_winhvplatform.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wininet.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_winml.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_winmm.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_winscard.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_winspool.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 
 from ...sim_type import SimTypeFunction,     SimTypeShort, SimTypeInt, SimTypeLong, SimTypeLongLong, SimTypeDouble, SimTypeFloat,     SimTypePointer,     SimTypeChar,     SimStruct,     SimTypeFixedSizeArray,     SimTypeBottom,     SimUnion,     SimTypeBool

angr/procedures/definitions/win32_winspool_drv.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wintrust.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_winusb.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wlanapi.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wlanui.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wldap32.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wldp.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wmvcore.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wnvapi.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wofutil.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_ws2_32.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wscapi.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wsclient.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wsdapi.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wsmsvc.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wsnmp32.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_wtsapi32.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_xaudio2_8.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_xinput1_4.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_xinputuap.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 
 from ...sim_type import SimTypeFunction,     SimTypeShort, SimTypeInt, SimTypeLong, SimTypeLongLong, SimTypeDouble, SimTypeFloat,     SimTypePointer,     SimTypeChar,     SimStruct,     SimTypeFixedSizeArray,     SimTypeBottom,     SimUnion,     SimTypeBool

angr/procedures/definitions/win32_xmllite.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_xolehlp.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/definitions/win32_xpsprint.py

@@ -1,4 +1,5 @@
 # pylint:disable=line-too-long
+from __future__ import annotations
 import logging
 from collections import OrderedDict
 

angr/procedures/glibc/__ctype_b_loc.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 import angr
 
 
@@ -17,6 +18,4 @@ class __ctype_b_loc(angr.SimProcedure):
     """
 
     def run(self):
-        table_ptr = self.state.libc.ctype_b_loc_table_ptr
-
-        return table_ptr
+        return self.state.libc.ctype_b_loc_table_ptr

angr/procedures/glibc/__ctype_tolower_loc.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 import angr
 
 
@@ -17,6 +18,4 @@ class __ctype_tolower_loc(angr.SimProcedure):
     """
 
     def run(self):
-        table_ptr = self.state.libc.ctype_tolower_loc_table_ptr
-
-        return table_ptr
+        return self.state.libc.ctype_tolower_loc_table_ptr

angr/procedures/glibc/__ctype_toupper_loc.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 import angr
 
 
@@ -17,6 +18,4 @@ class __ctype_toupper_loc(angr.SimProcedure):
     """
 
     def run(self):
-        table_ptr = self.state.libc.ctype_toupper_loc_table_ptr
-
-        return table_ptr
+        return self.state.libc.ctype_toupper_loc_table_ptr

angr/procedures/glibc/__errno_location.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 import angr
 
 

angr/procedures/glibc/__libc_init.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 import angr
 
 

angr/procedures/glibc/__libc_start_main.py

@@ -1,5 +1,7 @@
+from __future__ import annotations
 import logging
 
+import claripy
 from cle import AT
 
 import angr
@@ -28,7 +30,7 @@ class __libc_start_main(angr.SimProcedure):
             # Each entry is 2 bytes
             self.state.memory.store(
                 table + (pos * 2),
-                self.state.solver.BVV(c, 16),
+                claripy.BVV(c, 16),
                 inspect=False,
                 disable_actions=True,
             )
@@ -60,7 +62,7 @@ class __libc_start_main(angr.SimProcedure):
         for pos, c in enumerate(self.state.libc.TOLOWER_LOC_ARRAY):
             self.state.memory.store(
                 table + (pos * 4),
-                self.state.solver.BVV(c, 32),
+                claripy.BVV(c, 32),
                 endness=self.state.arch.memory_endness,
                 inspect=False,
                 disable_actions=True,
@@ -93,7 +95,7 @@ class __libc_start_main(angr.SimProcedure):
         for pos, c in enumerate(self.state.libc.TOUPPER_LOC_ARRAY):
             self.state.memory.store(
                 table + (pos * 4),
-                self.state.solver.BVV(c, 32),
+                claripy.BVV(c, 32),
                 endness=self.state.arch.memory_endness,
                 inspect=False,
                 disable_actions=True,
@@ -122,7 +124,7 @@ class __libc_start_main(angr.SimProcedure):
         errno_loc = self.inline_call(malloc, self.state.arch.bytes).ret_expr
 
         self.state.libc.errno_location = errno_loc
-        self.state.memory.store(errno_loc, self.state.solver.BVV(0, self.state.arch.bits))
+        self.state.memory.store(errno_loc, claripy.BVV(0, self.state.arch.bits))
 
     @property
     def envp(self):
@@ -249,14 +251,12 @@ class __libc_start_main(angr.SimProcedure):
         args = cc.get_args(state, ty)
         main, _, _, init, fini = self._extract_args(blank_state, *args)
 
-        all_exits = [
+        return [
             {"address": init, "jumpkind": "Ijk_Call", "namehint": "init"},
             {"address": main, "jumpkind": "Ijk_Call", "namehint": "main"},
             {"address": fini, "jumpkind": "Ijk_Call", "namehint": "fini"},
         ]
 
-        return all_exits
-
     @staticmethod
     def _extract_args(state, main, argc, argv, init, fini):
         """

angr/procedures/glibc/dynamic_loading.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 import angr
 
 # pylint: disable=unused-argument,arguments-differ

angr/procedures/glibc/scanf.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 from ..libc.scanf import scanf
 from ..libc.fscanf import fscanf
 

angr/procedures/glibc/sscanf.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 from ..libc.sscanf import sscanf
 
 

angr/procedures/gnulib/xalloc_die.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 import angr
 
 

angr/procedures/gnulib/xstrtol_fatal.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 import angr
 
 

angr/procedures/java/__init__.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 import itertools
 
 from ...sim_procedure import SimProcedure

angr/procedures/java/unconstrained.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 import claripy
 
 from . import JavaSimProcedure
@@ -55,10 +56,10 @@ class UnconstrainedMethod(JavaSimProcedure):
                 return this_ref.get_field(self.state, field_name, method_descriptor.ret)
             # We define a setter as a method that starts with set
             # and has only one parameter (other than 'this' reference)
-            elif method_descriptor.name.startswith("set") and len(method_descriptor.params) == 1 and len(args) == 1:
+            if method_descriptor.name.startswith("set") and len(method_descriptor.params) == 1 and len(args) == 1:
                 field_name = method_descriptor.name.replace("set", "")
                 field_name = field_name[0].lower() + field_name[1:]
                 this_ref.set_field(self.state, field_name, method_descriptor.params[0], args[0])
-                return
+                return None
 
         return ret_value

angr/procedures/java_io/read.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 from ..java import JavaSimProcedure
 
 

angr/procedures/java_io/write.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 from ..java import JavaSimProcedure
 
 

angr/procedures/java_jni/__init__.py

@@ -1,10 +1,11 @@
+from __future__ import annotations
 import collections
 import itertools
 import logging
 import typing
 
 from archinfo import ArchSoot
-from claripy import BVV, StrSubstr
+import claripy
 
 from ...calling_conventions import default_cc
 from ...sim_procedure import SimProcedure
@@ -30,7 +31,7 @@ class JNISimProcedure(SimProcedure):
         # Setup a SimCC using the correct type for the return value
         if not self.return_ty:
             raise ValueError("Classes implementing JNISimProcedure's must set the return type.")
-        elif self.return_ty != "void":
+        if self.return_ty != "void":
             prototype = SimTypeFunction(
                 args=self.prototype.args, returnty=state.project.simos.get_native_type(self.return_ty)
             )
@@ -66,7 +67,7 @@ class JNISimProcedure(SimProcedure):
         if isinstance(data, int):
             if addr is None:
                 addr = self._allocate_native_memory(size=type_size // 8)
-            value = self.state.solver.BVV(data, type_size)
+            value = claripy.BVV(data, type_size)
             self.state.memory.store(addr, value, endness=native_memory_endness)
         # store array
         elif isinstance(data, list):
@@ -111,8 +112,7 @@ class JNISimProcedure(SimProcedure):
         # return element(s)
         if no_of_elements == 1 and not return_as_list:
             return values[0]
-        else:
-            return values
+        return values
 
     def _load_string_from_native_memory(self, addr_):
         """
@@ -173,11 +173,11 @@ class JNISimProcedure(SimProcedure):
         # store chars one by one
         str_len = len(string) // 8
         for idx in range(str_len):
-            str_byte = StrSubstr(idx, 1, string)
+            str_byte = claripy.StrSubstr(idx, 1, string)
             self.state.memory.store(addr + idx, str_byte)
 
         # store terminating zero
-        self.state.memory.store(len(string), BVV(0, 8))
+        self.state.memory.store(len(string), claripy.BVV(0, 8))
 
         return addr
 
@@ -197,8 +197,7 @@ class JNISimProcedure(SimProcedure):
             idx = idx.to_claripy()
         if self.arch.memory_endness == "Iend_LE":
             return idx.reversed.get_bytes(index=0, size=4).reversed
-        else:
-            return idx.get_bytes(index=0, size=4)
+        return idx.get_bytes(index=0, size=4)
 
 
 #

angr/procedures/java_jni/array_operations.py

@@ -1,5 +1,8 @@
+from __future__ import annotations
 import logging
 
+import claripy
+
 from . import JNISimProcedure
 from ...engines.soot.expressions import SimSootExpr_NewArray
 from ...engines.soot.values import SimSootValue_ArrayRef
@@ -239,7 +242,7 @@ class GetArrayRegion(JNISimProcedure):
         # - start_idx <= last_idx < array_size
         #   with last_idx := start_idx+length-1
         # - 0 <= length <= array_size
-        range_constraints = state.solver.And(
+        range_constraints = claripy.And(
             start_idx.SGE(0),
             start_idx.SLT(array.size),
             array.size.SGT(start_idx + length - 1),

angr/procedures/java_jni/class_and_interface_operations.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 import logging
 
 from . import JNISimProcedure
@@ -17,9 +18,8 @@ class GetSuperclass(JNISimProcedure):
         superclass = self.state.javavm_classloader.get_superclass(class_descriptor)
         if superclass:
             return self.state.jni_references.create_new_reference(superclass)
-        else:
-            l.error("Couldn't identify superclass of %r", class_descriptor)
-            return 0
+        l.error("Couldn't identify superclass of %r", class_descriptor)
+        return 0
 
 
 class FindClass(JNISimProcedure):

angr/procedures/java_jni/field_access.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 import logging
 
 from archinfo.arch_soot import ArchSoot
@@ -95,9 +96,7 @@ class SetStaticField(JNISimProcedure):
             class_name=field_class.name, field_name=field_id.name, type_=field_id.type
         )
         # cast value to java type
-        value = self.state.project.simos.cast_primitive(
-            state=self.state, value=value_.to_claripy(), to_type=field_id.type
-        )
+        value = self.state.project.simos.cast_primitive(state=self.state, value=value_, to_type=field_id.type)
         # store value in java memory
         self.state.javavm_memory.store(field_ref, value)
 
@@ -169,8 +168,6 @@ class SetField(JNISimProcedure):
             type_=field_id.type,
         )
         # cast value to java type
-        value = self.state.project.simos.cast_primitive(
-            state=self.state, value=value_.to_claripy(), to_type=field_id.type
-        )
+        value = self.state.project.simos.cast_primitive(state=self.state, value=value_, to_type=field_id.type)
         # store value in java memory
         self.state.javavm_memory.store(field_ref, value)

angr/procedures/java_jni/global_and_local_refs.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 import logging
 
 from . import JNISimProcedure