angr 9.2.111__py3-none-manylinux2014_x86_64.whl → 9.2.113__py3-none-manylinux2014_x86_64.whl

angr/state_plugins/debug_variables.py

@@ -5,7 +5,7 @@ from cle.backends.elf.variable import Variable
 from cle.backends.elf.variable_type import VariableType, PointerType, ArrayType, StructType, TypedefType
 
 from angr.sim_state import SimState
-from angr.sim_type import ALL_TYPES, SimTypeReg
+from angr.sim_type import ALL_TYPES, SimTypeNum
 
 from .plugin import SimStatePlugin
 
@@ -56,7 +56,7 @@ class SimDebugVariable:
         else:
             # FIXME A lot more types are supported by angr that are not in ALL_TYPES (structs, arrays, pointers)
             # Use a fallback type
-            sim_type = SimTypeReg(size, label=name)
+            sim_type = SimTypeNum(size, signed=False, label=name)
         return self.mem_untyped.with_type(sim_type)
 
     # methods and properties equivalent to SimMemView

angr/state_plugins/solver.py

@@ -1,8 +1,12 @@
 import functools
 import time
 import logging
+import os
 from typing import TypeVar, overload
 
+from angr import sim_options as o
+from angr.errors import SimValueError, SimUnsatError, SimSolverModeError, SimSolverOptionError
+import claripy
 from claripy import backend_manager
 
 from .plugin import SimStatePlugin
@@ -72,8 +76,6 @@ def disable_timing():
     _timing_enabled = False
 
 
-import os
-
 if os.environ.get("SOLVER_TIMING", False):
     enable_timing()
 else:
@@ -191,8 +193,6 @@ def concrete_path_list(f):
 # The main event
 #
 
-import claripy
-
 
 class SimSolver(SimStatePlugin):
     """
@@ -306,13 +306,7 @@ class SimSolver(SimStatePlugin):
             elif "smtlib_abc" in backend_manager.backends._backends_by_name:
                 our_backend = backend_manager.backends.smtlib_abc
             else:
-                l.error(
-                    "Cannot find a suitable string solver. Please ensure you have installed a string solver that "
-                    "angr supports, and have imported the corresponding solver backend in claripy. You can try "
-                    'adding "from claripy.backends.backend_smtlib_solvers import *" at the beginning of your '
-                    "script."
-                )
-                raise ValueError("Cannot find a suitable string solver")
+                our_backend = backend_manager.backends.z3
             if o.COMPOSITE_SOLVER in self.state.options:
                 self._stored_solver = claripy.SolverComposite(
                     template_solver_string=claripy.SolverCompositeChild(backend=our_backend, track=track)
@@ -1124,6 +1118,4 @@ from angr.sim_state import SimState
 
 SimState.register_default("solver", SimSolver)
 
-from .. import sim_options as o
 from .inspect import BP_AFTER
-from ..errors import SimValueError, SimUnsatError, SimSolverModeError, SimSolverOptionError

angr/storage/memory_mixins/multi_value_merger_mixin.py

@@ -7,13 +7,22 @@ from . import MemoryMixin
 
 class MultiValueMergerMixin(MemoryMixin):
     def __init__(
-        self, *args, element_limit=5, annotation_limit=256, top_func=None, is_top_func=None, phi_maker=None, **kwargs
+        self,
+        *args,
+        element_limit=5,
+        annotation_limit=256,
+        top_func=None,
+        is_top_func=None,
+        phi_maker=None,
+        merge_into_top=True,
+        **kwargs,
     ):
         self._element_limit = element_limit
         self._annotation_limit = annotation_limit
         self._top_func: Callable = top_func
         self._is_top_func: Callable = is_top_func
         self._phi_maker: Callable | None = phi_maker
+        self._merge_into_top = merge_into_top
 
         super().__init__(*args, **kwargs)
 
@@ -25,7 +34,7 @@ class MultiValueMergerMixin(MemoryMixin):
                 return {phi_var}
 
         # try to merge it in the traditional way
-        has_top = any(self._is_top_func(v) for v in values_set)
+        has_top = self._merge_into_top and any(self._is_top_func(v) for v in values_set)
         if has_top or len(values_set) > self._element_limit:
             if has_top:
                 ret_val = self._top_func(merged_size * self.state.arch.byte_width)
@@ -35,7 +44,7 @@ class MultiValueMergerMixin(MemoryMixin):
                 # python implicitly calls __eq__ to determine if the two objects are actually the same
                 # and that just results in a new AST for a BV. Python then tries to convert that AST to a bool
                 # which fails with the safeguard in claripy.ast.bool.Bool.__bool__.
-                stripped_values_set = {v._apply_to_annotations(lambda alist: None).cache_key for v in values_set}
+                stripped_values_set = {v.clear_annotations().cache_key for v in values_set}
                 if len(stripped_values_set) > 1:
                     ret_val = self._top_func(merged_size * self.state.arch.byte_width)
                 else:
@@ -65,4 +74,5 @@ class MultiValueMergerMixin(MemoryMixin):
         copied._top_func = self._top_func
         copied._is_top_func = self._is_top_func
         copied._phi_maker = self._phi_maker
+        copied._merge_into_top = self._merge_into_top
         return copied

angr/utils/orderedset.py

@@ -0,0 +1,70 @@
+import collections.abc
+
+
+class OrderedSet(collections.abc.MutableSet):
+    """
+    Adapted from http://code.activestate.com/recipes/576694/
+    Originally created by Raymond Hettinger and licensed under MIT.
+    """
+
+    def __init__(self, iterable=None):
+        self.end = end = []
+        end += [None, end, end]  # sentinel node for doubly linked list
+        self.map = {}  # key --> [key, prev, next]
+        if iterable is not None:
+            self |= iterable
+
+    def __len__(self):
+        return len(self.map)
+
+    def __contains__(self, key):
+        return key in self.map
+
+    def add(self, value):
+        if value not in self.map:
+            end = self.end
+            curr = end[1]
+            curr[2] = end[1] = self.map[value] = [value, curr, end]
+
+    def discard(self, value):
+        if value in self.map:
+            value, prev, next_ = self.map.pop(value)
+            prev[2] = next_
+            next_[1] = prev
+
+    def __iter__(self):
+        end = self.end
+        curr = end[2]
+        while curr is not end:
+            yield curr[0]
+            curr = curr[2]
+
+    def __reversed__(self):
+        end = self.end
+        curr = end[1]
+        while curr is not end:
+            yield curr[0]
+            curr = curr[1]
+
+    def pop(self, last=True):  # pylint:disable=arguments-differ
+        if not self:
+            raise KeyError("set is empty")
+        key = self.end[1][0] if last else self.end[2][0]
+        self.discard(key)
+        return key
+
+    def __repr__(self):
+        if not self:
+            return f"{self.__class__.__name__}()"
+        return f"{self.__class__.__name__}({list(self)!r})"
+
+    def __eq__(self, other):
+        if isinstance(other, OrderedSet):
+            return len(self) == len(other) and list(self) == list(other)
+        return set(self) == set(other)
+
+    def __getstate__(self):
+        return list(self)
+
+    def __setstate__(self, state):
+        self.__init__(state)

angr/vaults.py

@@ -88,7 +88,6 @@ class Vault(collections.abc.MutableMapping):
             claripy.ast.BV,
             claripy.ast.FP,
             claripy.ast.Bool,
-            claripy.ast.Int,
             claripy.ast.Bits,
         }
         self.module_dedup = set()  # {'claripy', 'angr', 'archinfo', 'pyvex' } # cle causes recursion

{angr-9.2.111.dist-info → angr-9.2.113.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: angr
-Version: 9.2.111
+Version: 9.2.113
 Summary: A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
 Home-page: https://github.com/angr/angr
 License: BSD-2-Clause
@@ -15,13 +15,13 @@ Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: CppHeaderParser
 Requires-Dist: GitPython
-Requires-Dist: ailment ==9.2.111
-Requires-Dist: archinfo ==9.2.111
+Requires-Dist: ailment ==9.2.113
+Requires-Dist: archinfo ==9.2.113
 Requires-Dist: cachetools
 Requires-Dist: capstone ==5.0.0.post1
 Requires-Dist: cffi >=1.14.0
-Requires-Dist: claripy ==9.2.111
-Requires-Dist: cle ==9.2.111
+Requires-Dist: claripy ==9.2.113
+Requires-Dist: cle ==9.2.113
 Requires-Dist: dpkt
 Requires-Dist: itanium-demangler
 Requires-Dist: mulpyplexer
@@ -31,7 +31,7 @@ Requires-Dist: protobuf >=3.19.0
 Requires-Dist: psutil
 Requires-Dist: pycparser >=2.18
 Requires-Dist: pyformlang
-Requires-Dist: pyvex ==9.2.111
+Requires-Dist: pyvex ==9.2.113
 Requires-Dist: rich >=13.1.0
 Requires-Dist: rpyc
 Requires-Dist: sortedcontainers

{angr-9.2.111.dist-info → angr-9.2.113.dist-info}/RECORD

@@ -1,10 +1,10 @@
-angr/__init__.py,sha256=Kf0h-gf3w0Msnfqn-ZlTg2_pLo9i_vygjYlrf1-vibA,3708
+angr/__init__.py,sha256=xA4w3fa0ApgzfqAE8MEN_HnuIXRB8D33txbLVl2JwBs,3708
 angr/__main__.py,sha256=kaO56Te6h73SM94BVtASF00q5QbBbC3eBs9poVc9sVI,1887
 angr/annocfg.py,sha256=1tnBfxgLJh9I6Brm1JDdsWLHGmCQYdD6PTC_bFTOMrg,10775
 angr/blade.py,sha256=B8QXVQ93jz1YCIlb-dZLeBqYmVFdMXI5GleP1Wnxjrw,15519
 angr/block.py,sha256=tHxXlBBFrPZbp5phhTn63K55khjDIIUSNJgFn4lPd9I,14761
 angr/callable.py,sha256=-E9HelavtRY1xPAxCVXl120H8Rb7Myd2IcrXtWZFAOU,6034
-angr/calling_conventions.py,sha256=JjgIx0PHOfP9O8fcLjaKFEnznDfgmcf8ezMS6s54Me8,91288
+angr/calling_conventions.py,sha256=-1ToJG0p31snlyO50mTpDZJysLvyuvHdfqx_H7Y7eZ4,91480
 angr/code_location.py,sha256=IudWSR-gJzq_EeVw-jEZvQumVYwUUDWXR1vmLAkS-SQ,5432
 angr/codenode.py,sha256=Di6ZxGqf-e6tKL49Zr0sq4vqpy_-nUDYkBdLj2Tg2Po,3760
 angr/errors.py,sha256=Yh_qSz7FjMSqqK9P3CVJHQZUzvTELLg6dRGYyINVZSM,8348
@@ -20,12 +20,12 @@ angr/sim_options.py,sha256=OuT01xS_F3ifBD9MAfZmNCnfjtTg0HulZlrKcs1LNSY,18057
 angr/sim_procedure.py,sha256=SKlD_-qGh-llcuennKZoHK1yzDUTaa5z5W2l22Ean-U,26259
 angr/sim_state.py,sha256=-BhSkyucG6wwZSrgSoAKWNRFHQjcVP8R7ux0z7E2AOg,37820
 angr/sim_state_options.py,sha256=lfP7ygngjGe0AGV5rkE24tvBazJBZG-RTdrKj4rL9XE,12530
-angr/sim_type.py,sha256=7odhq0QVknbFpzZ2sZicAGUdl6lvsdu1uxSqHR8-Yb4,122741
+angr/sim_type.py,sha256=icyNGAqA2q_cfazRS5HzBmsR5N0OTFadNWjYP_d_HwA,130970
 angr/sim_variable.py,sha256=FC2FHlMWeBDYrFI_pK6C5WuqmImvxRdTQDFTAC-q4qY,17203
 angr/slicer.py,sha256=kbLKMAjf2kC6ov-OiGb95BqLmgV0QRl5mmEANcvzuAk,10640
 angr/state_hierarchy.py,sha256=w_5Tl-7h9xUXBsIKZRAWw8Xh0we8GIAaN6nbKgYH_Qo,8467
 angr/tablespecs.py,sha256=RRtYqHneKd1ZHhnm9sUdLflplk_K3EP7_gBJaSlX6UY,3239
-angr/vaults.py,sha256=A9vhsvbPpem6HpcA4u4HmOt8dR5vJH9Vd5rK5ugXV90,9701
+angr/vaults.py,sha256=qtSdOBpgQ2Qopkh1y0QgEvPtqpbBj-gRq_2Xxc2Q1PM,9672
 angr/analyses/__init__.py,sha256=lYtaal5RD-EWBW4oScD3Yob1Jk1ZYYqUUCBeTxH7IpE,1773
 angr/analyses/analysis.py,sha256=BNpBoQOkgbtV9cmMiO8e0WcTgIJKraikYISLDQ-cC6w,12301
 angr/analyses/backward_slice.py,sha256=grgjobcuTGq-rporwoBLNWf6aEoemCB7BvwE0dDeMp0,27287
@@ -63,7 +63,7 @@ angr/analyses/cfg/__init__.py,sha256=DRCry4KO2k5VJLyfxD_O6dWAdi21IUoaN5TqCnukJJs
 angr/analyses/cfg/cfb.py,sha256=e-Jlf9B7gkx0GpKl2TvK8VdTWZU8s-A9U9id5MP-R10,15456
 angr/analyses/cfg/cfg.py,sha256=1JpPGlqXXRFwE0tk26xjabT_-dq-kqAxMv7o6-DUhp4,3146
 angr/analyses/cfg/cfg_arch_options.py,sha256=YONHg6y-h6BCsBkJK9tuxb94DDfeOoy9CUS-LVyyDyg,3112
-angr/analyses/cfg/cfg_base.py,sha256=6FWPJtfJGtvdtVSN_5TPYpppgYZhkcgQwh_nATAoUEE,123076
+angr/analyses/cfg/cfg_base.py,sha256=tFjNjjIzmbM40daHKqitF21P8P4vfNFdZ0RFJ0QDNKk,123132
 angr/analyses/cfg/cfg_emulated.py,sha256=Bi5PJzv0-0iQoCHzexSGAtkUAp6npb_RSODwW0Nv7zk,152812
 angr/analyses/cfg/cfg_fast.py,sha256=yeCEAlJTuz4jyFCZvUU6olaAMS07bA9tGg1lFBVn-BY,218149
 angr/analyses/cfg/cfg_fast_soot.py,sha256=dQglRl4h10i8DNd5oCSJ4umpSotMthjKc5E03bd3BJI,26023
@@ -97,7 +97,7 @@ angr/analyses/decompiler/block_simplifier.py,sha256=78vfpaG13JWCxijDrp3Q4wyiEw7h
 angr/analyses/decompiler/call_counter.py,sha256=V3TIaSvLUy9vLEWErnvlCS--_ubGWQAeU0tqq6XYeOU,1205
 angr/analyses/decompiler/callsite_maker.py,sha256=GUgUkSsOznUaTIB9PUoBFyWJp9WkH4T8jf5xBIE5p9M,15909
 angr/analyses/decompiler/clinic.py,sha256=81gi7DBCaZy-xK_TZGrApUEz00y756V4ZKVAHtugmwk,95748
-angr/analyses/decompiler/condition_processor.py,sha256=dEJIc3RYbrn_JIX0wYGH332VxTld0OVMYTTa5wCqFwg,49847
+angr/analyses/decompiler/condition_processor.py,sha256=71ryhINcX3-RNPwShjy62fvzj1HDTevco8GhmwqMrkQ,50009
 angr/analyses/decompiler/decompilation_cache.py,sha256=NKbvKYZOe7791udwdf70tq9hJe79GMS6M1jaDJC8lSQ,1130
 angr/analyses/decompiler/decompilation_options.py,sha256=FMfcQ0aFDMPW9d0sYpqCwrOVYoq75YkExAvR6CjZCt4,8224
 angr/analyses/decompiler/decompiler.py,sha256=152EWqKPC2J_JcC3_rnJPNL9iDbFTm-AXamm3hjzfFE,22253
@@ -108,22 +108,24 @@ angr/analyses/decompiler/goto_manager.py,sha256=MI0uUZSxr55BmSz6QjSgnhthyuKdxNCE
 angr/analyses/decompiler/graph_region.py,sha256=-bPM3JqMA4ZnFhPi6QLGw_M1zPWK_yh0bFHFily_vEE,16913
 angr/analyses/decompiler/jump_target_collector.py,sha256=NP-TgRPEkhBkEx4uZwvFLuUjgrvOIfYI3zP5b4WSfco,1138
 angr/analyses/decompiler/jumptable_entry_condition_rewriter.py,sha256=dcgnXt3oKa8Qm_KtT-Rl7XDmLetvOj_UFALxC2HGLac,2139
-angr/analyses/decompiler/redundant_label_remover.py,sha256=aYvcQbn0l-LYbJ-DIqGTTLfnL0Hw-OANfFZXnNZH-sE,5324
+angr/analyses/decompiler/redundant_label_remover.py,sha256=yxYg-0NQtbK87GRdmWiJ-b1SahzWKimqthBoHST3Wcw,5878
 angr/analyses/decompiler/region_identifier.py,sha256=fcS0jYJmpt3hXE-E8o31lDOKF-ozOMIkSnUOCSAKbM4,45482
 angr/analyses/decompiler/region_walker.py,sha256=lTfweYbY4_a2f2yGztTKG6JtU1jXf-kaz-NHbX9nkXE,717
 angr/analyses/decompiler/return_maker.py,sha256=CztTpm6e3TF0ijdiZDl0HeObxTtOz0TOQd_uIqL0xMM,2467
+angr/analyses/decompiler/seq_cf_structure_counter.py,sha256=JQ3iY5RXdyggVKXes--38g_EpNOuwM6CsVOqicYu2gQ,1245
 angr/analyses/decompiler/seq_to_blocks.py,sha256=2KINMEgaXMG3XIiFDMRkbn10dggy7a9AHgwV383huRM,529
 angr/analyses/decompiler/sequence_walker.py,sha256=mw4RG-Act5_no_RyQcsxWZwva-n7FdH2a7w_uItGUpI,8428
 angr/analyses/decompiler/utils.py,sha256=wD93VTmahKQE_k-9rYEnsKFMDVIgOi-VeZk363skyKs,28078
 angr/analyses/decompiler/ccall_rewriters/__init__.py,sha256=wbWqZ8xG6ZvzEApkAwMsNQFC-iwF3swG1YJsaf1cIrQ,102
 angr/analyses/decompiler/ccall_rewriters/amd64_ccalls.py,sha256=qcr8a-83pY8nqwsYY27gc9ev8XtBxpdGPrmaULr6XuU,21519
 angr/analyses/decompiler/ccall_rewriters/rewriter_base.py,sha256=9-O-m4OB4DsAMAyAH_0sZg1FdhUUQQbENy8yhsJ7PJo,463
-angr/analyses/decompiler/optimization_passes/__init__.py,sha256=ZsMHg2ST8pxQHSnc6HzE9LtIPv6HyD2DFweGCSomwCQ,4076
+angr/analyses/decompiler/optimization_passes/__init__.py,sha256=mu8cqtQo4458zAdyWbS9_IsFRCA59gqVIW5tIhq1zKQ,4163
 angr/analyses/decompiler/optimization_passes/base_ptr_save_simplifier.py,sha256=bjpEMW-Lqj5XW9NWUikGPcRn5scKNc8VvEjVMXxAuq8,5289
 angr/analyses/decompiler/optimization_passes/code_motion.py,sha256=RoOVC1IyziUh_N6quZzRmBwkSNLSzvc8A3-EGAUsETU,15263
 angr/analyses/decompiler/optimization_passes/const_derefs.py,sha256=n2JKyEymGDMhIoXc2zsn6pAxxx9T5eu-jxyO3Cg8Fts,10658
+angr/analyses/decompiler/optimization_passes/const_prop_reverter.py,sha256=FBZIgncVwJ6fXdsxhWgWxeJx0A2fLmtiksu6A_GmikY,13107
 angr/analyses/decompiler/optimization_passes/cross_jump_reverter.py,sha256=CP-WjyQGOw_mnUF0ZpC5C4syMxlx4Tvy0T_EIZQxXrY,4033
-angr/analyses/decompiler/optimization_passes/deadblock_remover.py,sha256=GYTqYz_OxEeliDQbgpdZOtIT1H2R4obuXHW6-mPRhz4,2303
+angr/analyses/decompiler/optimization_passes/deadblock_remover.py,sha256=Km7nX7hNDVZGgEg7wmXAIiiA5edhpo7Bxqc13iyjiEk,2330
 angr/analyses/decompiler/optimization_passes/div_simplifier.py,sha256=J7LRc3-DKfToxKVejnkHbNel9_56-7xsGyJJiTCwqsQ,17442
 angr/analyses/decompiler/optimization_passes/engine_base.py,sha256=BkBZqDGQH-_9bVVOvrbEQbZmkr63Oh9OZvHbY0-yJmg,10974
 angr/analyses/decompiler/optimization_passes/expr_op_swapper.py,sha256=5tf8mrwYXAPQGZfL7AkzYOcRdiKYC3mLyN9I2bQnhgM,4700
@@ -131,16 +133,16 @@ angr/analyses/decompiler/optimization_passes/flip_boolean_cmp.py,sha256=4r6nVFuX
 angr/analyses/decompiler/optimization_passes/inlined_string_transformation_simplifier.py,sha256=jebdKHbkFDRdz50SiDbwPYuh0u8yWYEEOafZcwa8q7I,16385
 angr/analyses/decompiler/optimization_passes/ite_expr_converter.py,sha256=mTguIblic1kqvQYgcKs8awGAiFSqL6YbcqWzUB2pRfQ,7750
 angr/analyses/decompiler/optimization_passes/ite_region_converter.py,sha256=vjDRO-Rh5LVIlxGRCuggjcz12CIxQuISB0LCC-vF6ZM,7207
-angr/analyses/decompiler/optimization_passes/lowered_switch_simplifier.py,sha256=fg6Akd2_UqfS28cqLZ2oZsRt-lPMomEgQEiwVe-3Hkw,34232
+angr/analyses/decompiler/optimization_passes/lowered_switch_simplifier.py,sha256=E3FRtgTyqMKFAL1nnCNq1jM6xpymwUaLzrGs6SJmmVU,39236
 angr/analyses/decompiler/optimization_passes/mod_simplifier.py,sha256=o2AZIpj4NpOAaWOGbudDUfGJJAD2exu-HvNbwph3mi8,3124
 angr/analyses/decompiler/optimization_passes/multi_simplifier.py,sha256=_63Y2vMNLSXYM6_Grfs89Nu63i5YLxTPmxTR_Z6fwLY,10420
-angr/analyses/decompiler/optimization_passes/optimization_pass.py,sha256=d7JEAdr9Lw6gSsy-Nn6qJa6zud1wiuAdjuIpG956_HU,14290
+angr/analyses/decompiler/optimization_passes/optimization_pass.py,sha256=hIgDKGXN-EeT6SOn1oz3TRilKdp9P-Felc10XLz0m5k,17505
 angr/analyses/decompiler/optimization_passes/register_save_area_simplifier.py,sha256=wzTeZtvneW-hETkwMw7fVRqLG7ey9cs4Im_sQBqUN14,7590
 angr/analyses/decompiler/optimization_passes/ret_addr_save_simplifier.py,sha256=NIzv8I4iK5GDd-dMmWgt6m8TgTwaQ-HMtnh6cRHr6ps,6441
 angr/analyses/decompiler/optimization_passes/ret_deduplicator.py,sha256=hE67-14bUWRw9qJgTUxFaH1dDJkhYVN5eH3ZThlbZnc,7797
-angr/analyses/decompiler/optimization_passes/return_duplicator_base.py,sha256=8-ApQdeGmifixvBVuq-y0ENxCdCPzOidHdDRhAiQZ8g,18359
+angr/analyses/decompiler/optimization_passes/return_duplicator_base.py,sha256=NjeEbLh62qmMiBC9tlIsRleFBLIqGKEtxaOSuYe-jbo,19356
 angr/analyses/decompiler/optimization_passes/return_duplicator_high.py,sha256=l4JO9rgzVaLganGGdhVFB6iw55ZN3jo0VTGzUVNDSsI,1803
-angr/analyses/decompiler/optimization_passes/return_duplicator_low.py,sha256=EsPUn15jITXupCw5VLrtQedwYB1vgmsE44HQCyT6iwo,4973
+angr/analyses/decompiler/optimization_passes/return_duplicator_low.py,sha256=3RRwzrekCnGJjf5lv7OBajHVb5zo9HNuIVFTEIkSkBg,9783
 angr/analyses/decompiler/optimization_passes/spilled_register_finder.py,sha256=YTRlIfcooZnTaYRN6FNJ60uBqRNH4rFcgkp1_QJCdXY,552
 angr/analyses/decompiler/optimization_passes/stack_canary_simplifier.py,sha256=U96EaEZzHo-iJ0rbe80E-Jj1s8ilEZh8QXCTOIM0oBE,12537
 angr/analyses/decompiler/optimization_passes/switch_default_case_duplicator.py,sha256=U9XIMXWYI_UHTamKHdjdXP4QVBvi386SSI0f2KoHu3I,4523
@@ -206,12 +208,12 @@ angr/analyses/decompiler/region_simplifiers/switch_cluster_simplifier.py,sha256=
 angr/analyses/decompiler/region_simplifiers/switch_expr_simplifier.py,sha256=HGIiC6c3C91VfcqxUHe9aTsRohwmMXOHZH_G_dbwwx4,3327
 angr/analyses/decompiler/structured_codegen/__init__.py,sha256=NLEvs8xnJwJiUgX8AmgS7rtFFW4SxtQcA1AjzE-GryA,313
 angr/analyses/decompiler/structured_codegen/base.py,sha256=TdghqAsAkjZpPfzFarh8Wn1zfBYMFcMsBZhRqXgoPNo,3778
-angr/analyses/decompiler/structured_codegen/c.py,sha256=YcvlggO1mRMbiXZoGMJOj2L09BE2TwaHP5OCwEjAvbo,135539
+angr/analyses/decompiler/structured_codegen/c.py,sha256=QWeW7ahnqPG1JPXldHyCe6xb2eonbyIFJCJtBeXSYZE,135529
 angr/analyses/decompiler/structured_codegen/dummy.py,sha256=IVfmtcWpTgNCRVsuW3GdQgDnuPmvodX85V0bBYtF_BI,535
 angr/analyses/decompiler/structured_codegen/dwarf_import.py,sha256=TMz65TkF_ID_Ipocj0aFDb84H6slolN90wq0tzhY2Rk,6773
 angr/analyses/decompiler/structuring/__init__.py,sha256=Ai63Im5VSiMDP8ACiDb34chqMl84JgzQXFIO8MV7hl0,368
 angr/analyses/decompiler/structuring/dream.py,sha256=NBv19CyJrYb2q77Q-3gpIhEl0r6Aci4lhO4hY_VQfN8,48374
-angr/analyses/decompiler/structuring/phoenix.py,sha256=s5S-T--8EPwPQ5sTUJkjXbFpPq7HiXFjrpKz-l4sgis,119426
+angr/analyses/decompiler/structuring/phoenix.py,sha256=JfWEdMf6P4ypQpVo-uh_ZL6zrYPem8qbkY-J7dFoQmQ,119612
 angr/analyses/decompiler/structuring/recursive_structurer.py,sha256=E_6Tj6jpNmWbZ_f9fwxan87VNYUGnf26fnoZC7dxny4,7063
 angr/analyses/decompiler/structuring/structurer_base.py,sha256=JoUxpZ2iDN0V7vToMPb0MgGB6eTvWDUk0JK8oJYlQ3U,41254
 angr/analyses/decompiler/structuring/structurer_nodes.py,sha256=x-1xUfeIzTNwLlRTv2M_9q7BDWLSWiSkaOuk20l8750,11930
@@ -273,8 +275,8 @@ angr/analyses/reaching_definitions/external_codeloc.py,sha256=47DEQpj8HBSa-_TImW
 angr/analyses/reaching_definitions/function_handler.py,sha256=UvUsdoBvl33aUuL5nN_X_Ce02mUeuJlN32ZyqnI7oS8,27691
 angr/analyses/reaching_definitions/heap_allocator.py,sha256=DkzDT8_YIE0m9CBFsC3GRxNQM5GCBAYXZpnDRZtezSo,2591
 angr/analyses/reaching_definitions/rd_initializer.py,sha256=zWjK7RZ4EJlIs-6dqZR7OY18TynfA0lOd1ipEi4kSe4,11183
-angr/analyses/reaching_definitions/rd_state.py,sha256=0PHbqNw0Qi-JE2C47up_s4Xfshk7C5INDltDjRgfX6Q,23823
-angr/analyses/reaching_definitions/reaching_definitions.py,sha256=XpmYZqT7Os3Q2o9KONxNHDu23Vq7dCGN8gYcyRmZLfA,23945
+angr/analyses/reaching_definitions/rd_state.py,sha256=xf4RuXhIAYaJxDmiP9zEEB-goASwW0xsp9wzz8eu42U,23910
+angr/analyses/reaching_definitions/reaching_definitions.py,sha256=u0ZOHh2yBZckMbIMyJTlMsoIBchb0iU_kVphyUHkZCc,24352
 angr/analyses/reaching_definitions/subject.py,sha256=f3Gjg6Q0qCwtL443ctdVB_F1_sbGchftdjTqX6qsnbo,1958
 angr/analyses/typehoon/__init__.py,sha256=kCQMAuvsUKAdYFiOstBzMBCqpquJKJCQSe0CGAr2Rng,31
 angr/analyses/typehoon/dfa.py,sha256=Q1sR1RDmt7pmMJjFByco9grbr2qm92HihnB9qJmerSo,3488
@@ -303,7 +305,7 @@ angr/angrdb/serializers/comments.py,sha256=ygfH_4HkJ1Es013UyNk7iGumyoc6Edn7P99qW
 angr/angrdb/serializers/funcs.py,sha256=SeR3TwRiWFE9h_FSmdc51GB6nkFolCg4Ucb6dsJIx9M,1696
 angr/angrdb/serializers/kb.py,sha256=R1aiYN39CrPlsnCYNfM7O4nFM7LvPONONBAYU1g9j1k,3827
 angr/angrdb/serializers/labels.py,sha256=Sc6LDcyJiZ9gMDno1fbp_96RYv5D4UZirTbzPcJGAY0,1425
-angr/angrdb/serializers/loader.py,sha256=gwkn7N22V9yN12iQBJ21fOlFVCajzKbociNX0BBcifE,2470
+angr/angrdb/serializers/loader.py,sha256=Kuo_j1DFtdJHDbBNfpNdnUL_qWblRhxBVgcBlfhE4UM,5236
 angr/angrdb/serializers/structured_code.py,sha256=1y1uz6K7bYurEcQK5q7Diba-b-XUFvGVqpFj80pmgOU,4184
 angr/angrdb/serializers/variables.py,sha256=5o_wgf45hWE7bqJes1QDdlaYaF4Eh_cqg7gUrJdfbQk,2383
 angr/angrdb/serializers/xrefs.py,sha256=PWoBqu7aTMDaxA_PB68B7zm4b_fnWbAt8u_K5HN11pI,1180
@@ -466,7 +468,7 @@ angr/knowledge_plugins/key_definitions/definition.py,sha256=o0L7NZIAHPAbwxNiY7zI
 angr/knowledge_plugins/key_definitions/environment.py,sha256=d1oRytninRakOwdoif4szyvyLIQyhEHYVBfVt4mRCdQ,3845
 angr/knowledge_plugins/key_definitions/heap_address.py,sha256=gpHyXvuTz3udaw83DZ5ZGLnDwqZ3EmdMtykPS3mrfXo,890
 angr/knowledge_plugins/key_definitions/key_definition_manager.py,sha256=N8RvK6WqksoB1frFM404Ea_CyyumNrjVao2bwPOgsTc,3272
-angr/knowledge_plugins/key_definitions/live_definitions.py,sha256=jLBDx1BMh2tlICGTQXhpLOz3X7zbb9xUX5IFnEvfIWI,40342
+angr/knowledge_plugins/key_definitions/live_definitions.py,sha256=NrqViz1W9BcNxCv_DQWMi7KACm0J3bzDhmjUk5-pVxk,40572
 angr/knowledge_plugins/key_definitions/liveness.py,sha256=uC4N-8uPoYH_RdAWVUtA3aNuMVY5NQnpGp51VWP6BNU,7101
 angr/knowledge_plugins/key_definitions/rd_model.py,sha256=NC4yg3FDO_0hDON1c7loBVl3BGefbDKrT8W0YtB6U-k,7249
 angr/knowledge_plugins/key_definitions/tag.py,sha256=uBHlS71E3Ok_6V3K8NkMblctCrnAHmPYikaFTA02PyA,1682
@@ -477,14 +479,14 @@ angr/knowledge_plugins/propagations/__init__.py,sha256=YOHJ2PMz-egzFMA2H0eKa5FDM
 angr/knowledge_plugins/propagations/prop_value.py,sha256=2qg2gL2VQ2Fw-iA0vyxfTrs5Qt_yohfA5JAeFiGQmNc,7696
 angr/knowledge_plugins/propagations/propagation_manager.py,sha256=VwqBlAt1AwTotiDOb_IHmL5L34odPmpGERv5o8-1KVw,2090
 angr/knowledge_plugins/propagations/propagation_model.py,sha256=_T3BnjRQJ6YoTkLeggxKtk53KTo9PrGyx53klKpvodw,2737
-angr/knowledge_plugins/propagations/states.py,sha256=FZvbTTjNfLJRfRyy2bkBgVuPcxOhOUQ30Ju9CikSdlk,40358
+angr/knowledge_plugins/propagations/states.py,sha256=9vq4aSffW1tXWDLaXhNowsRKaf22R0CmXK0NYOnsD-k,40416
 angr/knowledge_plugins/structured_code/__init__.py,sha256=9edAAAVroOR8nNBThuRjOnjVUIqavnObO7mlUttxInA,43
 angr/knowledge_plugins/structured_code/manager.py,sha256=mS1glFUBeT566atVfypIQnxtzYpi51WiBmhhixqep0I,2065
 angr/knowledge_plugins/sync/__init__.py,sha256=RN3y0UhYax-GdPyAhondMXEBuWIu-enHjxjpdTKhQ58,44
 angr/knowledge_plugins/sync/sync_controller.py,sha256=gZ1NUg8iJWu2EaOYY6WYj_W13tRtreIu5CA1VvpTmTA,9270
 angr/knowledge_plugins/variables/__init__.py,sha256=tmh_2i0X6Y41TkEgxHRQ4y-kVEGZnlDIpJZ_wUkCISI,60
 angr/knowledge_plugins/variables/variable_access.py,sha256=RzT-6C3cPXqSlWpQ_vZUf6s4tfYXp2lfOvgfYWkTLyo,3726
-angr/knowledge_plugins/variables/variable_manager.py,sha256=r8w2xIP-VN1_DS3r9y2GK3LAy8fMndL1m-7_obiIsbY,47315
+angr/knowledge_plugins/variables/variable_manager.py,sha256=5tESKmGiHLSSQRmyBjbmQ0oMMO1_TDN1tDo8Sj1J5yo,47312
 angr/knowledge_plugins/xrefs/__init__.py,sha256=-5A2h048WTRu6Et7q7bqlc-AyBXNuJ9AF9nE9zc3M4I,94
 angr/knowledge_plugins/xrefs/xref.py,sha256=1BMphrr8iViDtVWPXWidmY1_uNmw9LRvEwwZLt3Zqw8,4907
 angr/knowledge_plugins/xrefs/xref_manager.py,sha256=a4uvTJkdM0PQIuyYcd7t76IddrrVjPGe9SZrRaqp2II,3980
@@ -1120,7 +1122,7 @@ angr/procedures/stubs/Nop.py,sha256=F2xhBbOQdPfPweS0BRgjU8IEeQsZp8daTwTdyCzyqLE,
 angr/procedures/stubs/PathTerminator.py,sha256=iR2EcbHD4Qnk9xX_T4BBxYnrqQgMNt3qE5FMl4qcxH8,108
 angr/procedures/stubs/Redirect.py,sha256=WtDHy6QSk6uuqmtby-6TMBInu8Vp85lF_tWvwpb1X64,439
 angr/procedures/stubs/ReturnChar.py,sha256=A9VToWUtMR1Fb4hvLIZ2MRtPpU_yH1PUbXrTZ1seLec,358
-angr/procedures/stubs/ReturnUnconstrained.py,sha256=ghWgCRf04nGaAP3tq_QsUN8rOVb-H4Xe0erqVSZzjeQ,774
+angr/procedures/stubs/ReturnUnconstrained.py,sha256=Twy5PgpSLlH7H4bwxgU7kg5KQIs5bmkWm3SyarIsgPU,699
 angr/procedures/stubs/UnresolvableCallTarget.py,sha256=YG1h0RFSMIJy7WnKdJsDJlyiN45zu41MaWXLEeR-HqI,153
 angr/procedures/stubs/UnresolvableJumpTarget.py,sha256=44utWcJ52iRaBgEMTpb_MByvP_0fYqtYbb4VCtjR-s4,152
 angr/procedures/stubs/UserHook.py,sha256=Z7AGpUQJ8PmDwgkad0HoiEkeKOQCkXba-xtWPHtp-WI,561
@@ -1129,7 +1131,7 @@ angr/procedures/stubs/b64_decode.py,sha256=baovh7-PURKxG0eks07cTX6_RO8gYw-UmqEga
 angr/procedures/stubs/caller.py,sha256=wT3A37gO0QBOKdsT12DpNz4zZMivFIwJtXr2oApJ8XI,343
 angr/procedures/stubs/crazy_scanf.py,sha256=CJe3qzTJEv_0AHmcl3gOxGwZOhV8o1z73fAMqIOiuJM,643
 angr/procedures/stubs/format_parser.py,sha256=fbFkxcAbUrmoUMK5zCBngleVXReOvcFHsPCabip-pBo,27941
-angr/procedures/stubs/syscall_stub.py,sha256=ZURVeDuH06xX-eseAMQZCkYYRDxXx2USQSkGhOoAl5o,902
+angr/procedures/stubs/syscall_stub.py,sha256=iZT6sl2RxGG8azjykN3SubY-qnLU00dDzYeTp1sXwI4,831
 angr/procedures/testing/__init__.py,sha256=mkl-uqerjl2KIlTiJDmE9WW9zE9sL2MQsYLHOfeoJh8,106
 angr/procedures/testing/manyargs.py,sha256=omzRwPCNqrBodw1nJ-alQh4v_82NHaJfr-1E5xCGQjU,100
 angr/procedures/testing/retreg.py,sha256=q6JDtgguJ40niF5_pa6eM_YXGyyzdjR3S8iqn7vSziI,171
@@ -1187,7 +1189,7 @@ angr/state_plugins/__init__.py,sha256=Yig7z_PkqjB5nai_yzxf06uwfQzQ9iPdrTVzKMKtfQ
 angr/state_plugins/callstack.py,sha256=Q4I0paOULwMgzspk2J3W-Q9Y616Oe-QcOjNjIS63MFM,12099
 angr/state_plugins/cgc.py,sha256=dzkDoiZIK9Fd5DisDyGJQ42cE5Xx9cz2bsjZXn6jEh0,4247
 angr/state_plugins/concrete.py,sha256=o63DhCnknRamWsuHSVhaadkzX0LKEmMwm5vzsF6pdrA,13310
-angr/state_plugins/debug_variables.py,sha256=MjNQKrxhvbDJ3cXW0g6CTA4refWYSWYn8PJVxlsoqRU,6844
+angr/state_plugins/debug_variables.py,sha256=6FUQ8be1SJ6BmWbBX2jpT3TnplueGe_AxVk-4LghEkY,6858
 angr/state_plugins/filesystem.py,sha256=SjspfS6OXwXRa2ynbD0lddM__puKbxaIG5zVXwWzRcA,15902
 angr/state_plugins/gdb.py,sha256=tPQM-guGghWD65FHF2n_etc2UGMoaUBiXBtlRPVewNA,5125
 angr/state_plugins/globals.py,sha256=tfEVa8iqEmvD2vGoogx89aIoouw9GFc8JQcscDlXLbA,1507
@@ -1206,7 +1208,7 @@ angr/state_plugins/scratch.py,sha256=7j-J4xq8A9Axh6fJzQoUpLpobtIe0va7eeX-glGfYk0
 angr/state_plugins/sim_action.py,sha256=IDPLtcqN04APpStuVYarv00LF2u6JVFfdxEBEw_v_a0,9763
 angr/state_plugins/sim_action_object.py,sha256=4_f7ry76pG4XBnF7O48_7krt_ibG4DZkIMrjmmk_MGg,4268
 angr/state_plugins/sim_event.py,sha256=pRQtMet5g--GmH97BMrS3bDErgUOWAOocjPLGNzmelU,2061
-angr/state_plugins/solver.py,sha256=HrEQgqNJtzdB8I8Qu8XG_3LjMBt6OdbAIewUFZiNZHk,45179
+angr/state_plugins/solver.py,sha256=YnuLKze1Ls-NWJZVIiH41yhvAVWyBBdaGyBinmQKh-I,44755
 angr/state_plugins/symbolizer.py,sha256=3UAfStON-0GuuHhkD4JD6Y5WveqEfTD3JLK3uj0R-co,11039
 angr/state_plugins/trace_additions.py,sha256=LRcgdGKY2QtzOwsVa-FYLGRFcl0ISOnq-WzCMayiM-8,30091
 angr/state_plugins/uc_manager.py,sha256=9yEE10rrGXTVncLzVOpgvSAGA2RdzApUu_fq_lUksDs,2643
@@ -1235,7 +1237,7 @@ angr/storage/memory_mixins/default_filler_mixin.py,sha256=Hlub-HcakhrNWWwJ0PbBYq
 angr/storage/memory_mixins/dirty_addrs_mixin.py,sha256=-UDDtjEkh19Dd5paf-62NBvSiIHTmQXPM0QtriJ5eig,317
 angr/storage/memory_mixins/hex_dumper_mixin.py,sha256=ciMIrmfTmxWPWVUUiIw5h8YNdHmrWg_GsK6Bzg5omzE,3668
 angr/storage/memory_mixins/label_merger_mixin.py,sha256=22eu5aNM-MUhBjUrqhz02sPF3T74uR6NYVmKv8dSnl0,848
-angr/storage/memory_mixins/multi_value_merger_mixin.py,sha256=3YRS_9NBP1DiRWDst4HlI1nFkd3vQ-7TKdaldfX2Y18,3043
+angr/storage/memory_mixins/multi_value_merger_mixin.py,sha256=92OIsUhnUEAVz3_bUYEW0CIJzM4aY0O-aK2BfJl9nB8,3232
 angr/storage/memory_mixins/name_resolution_mixin.py,sha256=YOM3yDjTmybDgAVvJGHuVWUgkDqsbFsWRgkJP8vI9ho,3412
 angr/storage/memory_mixins/simple_interface_mixin.py,sha256=KTHvca8MXCWF4W8dbnQLFd7uJ-Gsab03_3kJGfFTAyY,2596
 angr/storage/memory_mixins/simplification_mixin.py,sha256=stTzmaoa0IHxhDSWsYdzKGSt2n37XRjJ7kgZdoa5Uu0,502
@@ -1290,12 +1292,13 @@ angr/utils/lazy_import.py,sha256=VgN0-cMsr6XdGIq56Js1X8YecfPdW9Z4NrB3d2jD-5Y,308
 angr/utils/library.py,sha256=6RKKn7Hm-YEw0AoTFIjL86kCdvglKI_5KtSysDAE06Q,7170
 angr/utils/loader.py,sha256=QdkatPiyRfz5KdfCzRI1Xp3TJL_Pa75wY0dsILgMbwk,1944
 angr/utils/mp.py,sha256=cv_NeysxLgyCdE-Euefnfv078ia5maHSnUn9f23zz88,1882
+angr/utils/orderedset.py,sha256=6SRZz6PkOVavOzlUd2cIiqZQyWtKO72F2he_cG0aP9Q,1943
 angr/utils/segment_list.py,sha256=5nnuVtdZk9NS2y_xUBVA9khWPueP_zagNtPSjaoMHbA,20410
 angr/utils/timing.py,sha256=uOowCP8kotDrKDOjlAod-guBuYkAA8zEtiAwpdwMlIU,1334
 angr/utils/typing.py,sha256=pCjA7JZAzcvrk-iyIE2cRHc1G66AMSGEON3aFfjtPVc,431
-angr-9.2.111.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.111.dist-info/METADATA,sha256=kLfhkitl-nsiu_raFAO--tkzI7Ot9NZUEa3yG2hC5GU,4703
-angr-9.2.111.dist-info/WHEEL,sha256=iufSf1KKWRBx2aJd9Qq5NmBm_pHichurGAybHCyxUJA,108
-angr-9.2.111.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.111.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.111.dist-info/RECORD,,
+angr-9.2.113.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.113.dist-info/METADATA,sha256=LAfEtzuE36bkULkly8pJCE2HrLcoXf15H01VT5gA5Pc,4703
+angr-9.2.113.dist-info/WHEEL,sha256=Yrlkp2FN5eB1iJokHDZeXLdZ_qJj6VDfsohw8raW5Pc,108
+angr-9.2.113.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.113.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.113.dist-info/RECORD,,

{angr-9.2.111.dist-info → angr-9.2.113.dist-info}/WHEEL

@@ -1,5 +1,5 @@
 Wheel-Version: 1.0
-Generator: setuptools (70.3.0)
+Generator: setuptools (72.1.0)
 Root-Is-Purelib: true
 Tag: py3-none-manylinux2014_x86_64