angr 9.2.114__py3-none-macosx_11_0_arm64.whl → 9.2.115__py3-none-macosx_11_0_arm64.whl

angr/procedures/libc/strlen.py

@@ -1,8 +1,11 @@
+import logging
+
+import claripy
+
 import angr
 from angr.sim_options import MEMORY_CHUNK_INDIVIDUAL_READS
 from angr.storage.memory_mixins.regioned_memory.abstract_address_descriptor import AbstractAddressDescriptor
 
-import logging
 
 l = logging.getLogger(name=__name__)
 
@@ -52,7 +55,7 @@ class strlen(angr.SimProcedure):
                 # Convert r to the same region as s
                 r_desc = self.state.memory._normalize_address(r)
                 r_aw_iter = self.state.memory._concretize_address_descriptor(
-                    r_desc, None, target_region=next(iter(s_ptr._model_vsa.regions.keys()))
+                    r_desc, None, target_region=next(iter(claripy.backends.vsa.convert(s_ptr).regions.keys()))
                 )
 
                 for r_aw in r_aw_iter:

angr/sim_variable.py

@@ -1,7 +1,8 @@
 import collections.abc
-import claripy
 from typing import TYPE_CHECKING
 
+import claripy
+
 from .protos import variables_pb2 as pb2
 from .serializable import Serializable
 
@@ -271,20 +272,7 @@ class SimMemoryVariable(SimVariable):
         if self._hash is not None:
             return self._hash
 
-        if isinstance(self.addr, AddressWrapper):
-            addr_hash = hash(self.addr)
-        elif type(self.addr) is int:
-            addr_hash = self.addr
-        elif self.addr._model_concrete is not self.addr:
-            addr_hash = hash(self.addr._model_concrete)
-        elif self.addr._model_vsa is not self.addr:
-            addr_hash = hash(self.addr._model_vsa)
-        elif self.addr._model_z3 is not self.addr:
-            addr_hash = hash(self.addr._model_z3)
-        else:
-            addr_hash = hash(self.addr)
-        self._hash = hash((addr_hash, hash(self.size), self.ident))
-
+        self._hash = hash((hash(self.addr), hash(self.size), self.ident))
         return self._hash
 
     def __eq__(self, other):
@@ -557,6 +545,3 @@ class SimVariableSet(collections.abc.MutableSet):
         else:
             __import__("ipdb").set_trace()
             raise Exception("WTF is this variable?")
-
-
-from .storage.memory_mixins.regioned_memory.region_data import AddressWrapper

angr/state_plugins/solver.py

@@ -299,17 +299,11 @@ class SimSolver(SimStatePlugin):
         approximate_first = o.APPROXIMATE_FIRST in self.state.options
 
         if o.STRINGS_ANALYSIS in self.state.options:
-            if "smtlib_cvc4" in backend_manager.backends._backends_by_name:
-                our_backend = backend_manager.backends.smtlib_cvc4
-            elif "smtlib_z3" in backend_manager.backends._backends_by_name:
-                our_backend = backend_manager.backends.smtlib_z3
-            elif "smtlib_abc" in backend_manager.backends._backends_by_name:
-                our_backend = backend_manager.backends.smtlib_abc
-            else:
-                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)
+                    template_solver_string=claripy.SolverCompositeChild(
+                        backend=backend_manager.backends.z3, track=track
+                    )
                 )
         elif o.ABSTRACT_SOLVER in self.state.options:
             self._stored_solver = claripy.SolverVSA()

angr/storage/memory_mixins/address_concretization_mixin.py

@@ -326,7 +326,7 @@ class AddressConcretizationMixin(MemoryMixin):
             return
 
         try:
-            concrete_addrs = self._interleave_ints(sorted(self.concretize_write_addr(addr)))
+            concrete_addrs = self._interleave_ints(sorted(self.concretize_write_addr(addr, condition=condition)))
         except SimMemoryError:
             if options.CONSERVATIVE_WRITE_STRATEGY in self.state.options:
                 return  # not completed

angr/storage/memory_mixins/regioned_memory/abstract_merger_mixin.py

@@ -1,6 +1,8 @@
 import logging
-from typing import Any
 from collections.abc import Iterable
+from typing import Any
+
+import claripy
 
 from .. import MemoryMixin
 
@@ -40,4 +42,4 @@ class AbstractMergerMixin(MemoryMixin):
 
     @staticmethod
     def _is_uninitialized(a):
-        return getattr(a._model_vsa, "uninitialized", False)
+        return getattr(claripy.backends.vsa.convert(a), "uninitialized", False)

angr/storage/memory_mixins/regioned_memory/regioned_memory_mixin.py

@@ -96,7 +96,7 @@ class RegionedMemoryMixin(MemoryMixin):
         return o
 
     def load(self, addr, size: BV | int | None = None, endness=None, condition: Bool | None = None, **kwargs):
-        if isinstance(size, BV) and isinstance(size._model_vsa, ValueSet):
+        if isinstance(size, BV) and isinstance(claripy.backends.vsa.convert(size), ValueSet):
             _l.critical("load(): size %s is a ValueSet. Something is wrong.", size)
             if self.state.scratch.ins_addr is not None:
                 var_name = "invalid_read_%d_%#x" % (next(invalid_read_ctr), self.state.scratch.ins_addr)
@@ -176,7 +176,7 @@ class RegionedMemoryMixin(MemoryMixin):
             r, s, i = self._regions[region].find(si, data, max_search, **kwargs)
             # Post-process r so that it's still a ValueSet
             region_base_addr = self._region_base(region)
-            r = self.state.solver.ValueSet(r.size(), region, region_base_addr, r._model_vsa)
+            r = self.state.solver.ValueSet(r.size(), region, region_base_addr, claripy.backends.vsa.convert(r))
             return r, s, i
 
     def set_state(self, state):
@@ -449,11 +449,11 @@ class RegionedMemoryMixin(MemoryMixin):
             raise SimMemoryError("_normalize_address_type() does not take claripy models.")
 
         if isinstance(addr_e, claripy.ast.Base):
-            if not isinstance(addr_e._model_vsa, ValueSet):
+            if not isinstance(claripy.backends.vsa.convert(addr_e), ValueSet):
                 # Convert it to a ValueSet first by annotating it
-                addr_e = addr_e.annotate(RegionAnnotation("global", 0, addr_e._model_vsa))
+                addr_e = addr_e.annotate(RegionAnnotation("global", 0, claripy.backends.vsa.convert(addr_e)))
 
-            model_vsa = addr_e._model_vsa
+            model_vsa = claripy.backends.vsa.convert(addr_e)
             if isinstance(model_vsa, ValueSet):
                 yield from model_vsa.items()
             else:

angr/storage/memory_mixins/regioned_memory/static_find_mixin.py

@@ -53,8 +53,8 @@ class StaticFindMixin(SmartFindMixin):  # pylint:disable=abstract-method
         return r_union, [], match_indices
 
     def _find_compare(self, element, target, **kwargs):
-        elem_si = element._model_vsa  # pylint:disable=protected-access
-        target_si = target._model_vsa  # pylint:disable=protected-access
+        elem_si = claripy.backends.vsa.convert(element)
+        target_si = claripy.backends.vsa.convert(target)
 
         comparison, concrete_comparison = False, False
 
@@ -67,4 +67,4 @@ class StaticFindMixin(SmartFindMixin):  # pylint:disable=abstract-method
 
     def _find_are_bytes_symbolic(self, b):
         # we only support strided intervals
-        return not isinstance(b._model_vsa, claripy.vsa.StridedInterval)  # pylint:disable=protected-access
+        return not isinstance(claripy.backends.vsa.convert(b), claripy.vsa.StridedInterval)

{angr-9.2.114.dist-info → angr-9.2.115.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: angr
-Version: 9.2.114
+Version: 9.2.115
 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.114
-Requires-Dist: archinfo==9.2.114
+Requires-Dist: ailment==9.2.115
+Requires-Dist: archinfo==9.2.115
 Requires-Dist: cachetools
 Requires-Dist: capstone==5.0.0.post1
 Requires-Dist: cffi>=1.14.0
-Requires-Dist: claripy==9.2.114
-Requires-Dist: cle==9.2.114
+Requires-Dist: claripy==9.2.115
+Requires-Dist: cle==9.2.115
 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.114
+Requires-Dist: pyvex==9.2.115
 Requires-Dist: rich>=13.1.0
 Requires-Dist: rpyc
 Requires-Dist: sortedcontainers

{angr-9.2.114.dist-info → angr-9.2.115.dist-info}/RECORD

@@ -1,11 +1,11 @@
-angr/__init__.py,sha256=mLvFdIV2FcGXydJ8V0yBwu3VCookiOEbyv7KBW1YhmA,3708
-angr/__main__.py,sha256=kaO56Te6h73SM94BVtASF00q5QbBbC3eBs9poVc9sVI,1887
+angr/__init__.py,sha256=04tGnjPVCtrXnJGR5XnKCEyn3qufvDMaJbJ1mu4ES1o,3708
+angr/__main__.py,sha256=285BsHRCD_yRkmtYt0zfbTxVdtoriqFkKq_YBO4mwSE,1916
 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=QJ7SwD3IQ7Mr7SLe-OL6iTVcqciL_W9YfuMrtJ44Nig,91642
-angr/code_location.py,sha256=IudWSR-gJzq_EeVw-jEZvQumVYwUUDWXR1vmLAkS-SQ,5432
+angr/code_location.py,sha256=ToSlZdmpVU8x1_neFpc-vBnjDQCHsCdV-hlpc9-tQlE,5465
 angr/codenode.py,sha256=Di6ZxGqf-e6tKL49Zr0sq4vqpy_-nUDYkBdLj2Tg2Po,3760
 angr/errors.py,sha256=Yh_qSz7FjMSqqK9P3CVJHQZUzvTELLg6dRGYyINVZSM,8348
 angr/factory.py,sha256=C6HlSkBcl9T8y8s7EvFwj5JCV2OMyKrd317fqOjKcYQ,17305
@@ -21,7 +21,7 @@ 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=icyNGAqA2q_cfazRS5HzBmsR5N0OTFadNWjYP_d_HwA,130970
-angr/sim_variable.py,sha256=FC2FHlMWeBDYrFI_pK6C5WuqmImvxRdTQDFTAC-q4qY,17203
+angr/sim_variable.py,sha256=NOhNiFKApu7umseP-Lzde8uTo-NXSkU0h-qELmOUjwY,16597
 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
@@ -55,7 +55,7 @@ angr/analyses/soot_class_hierarchy.py,sha256=Cs_LRV1RLXH6sF_E49tJWg9Inxvv_o5mB-V
 angr/analyses/stack_pointer_tracker.py,sha256=9TOGwz5Rx4jXxoGbdtrBrMca6mJi3SXn4MS4Gx-vrmk,30207
 angr/analyses/static_hooker.py,sha256=g57k_fwxgS4oTzslyCpOf4faG17E685a4-4SpEz8Ges,1711
 angr/analyses/veritesting.py,sha256=2ATcoDtZT_iGbIdMwcTRhSbYHWNxDkHZBo2r1H1xuEA,25199
-angr/analyses/vfg.py,sha256=LGlMkTDwbP56rx0W9CxcKQIF6O4NXzNdaqBeLpnJvA8,75150
+angr/analyses/vfg.py,sha256=Qi1co5ne43Wo1oti30Yu71-Xa4uZgimB9nsjzfFLAPw,75124
 angr/analyses/vsa_ddg.py,sha256=7c7sTwMqNsian9rVRijqsHQ2797XF5XsfbJ7AvtXwvI,16173
 angr/analyses/vtable.py,sha256=MzSFDAbGTNYH4-rtnrN1v2HSNR3nbVIWQi2Suim0Af4,3874
 angr/analyses/xrefs.py,sha256=6OSgC3UQDbyTSvz5qZtOfRQ6Bqj-OwD39ZZp-HFOlIY,9683
@@ -65,7 +65,7 @@ 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=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.py,sha256=T-jFnOrBRTRizu3Vg3reU62JOGKCN5OOJcxGwb2cLOc,218168
 angr/analyses/cfg/cfg_fast_soot.py,sha256=dQglRl4h10i8DNd5oCSJ4umpSotMthjKc5E03bd3BJI,26023
 angr/analyses/cfg/cfg_job_base.py,sha256=vmezyE1gOCWtJKk8P6qWCXz2sn-jQJ42fP8xNjSoBow,5976
 angr/analyses/cfg/indirect_jump_resolvers/__init__.py,sha256=T2rCpXy_fIoW_kHwZAVZupoj2UljitHvpI2uWJZ8NwU,361
@@ -74,7 +74,7 @@ angr/analyses/cfg/indirect_jump_resolvers/amd64_pe_iat.py,sha256=mMLQ5cUDjpGXD38
 angr/analyses/cfg/indirect_jump_resolvers/arm_elf_fast.py,sha256=VhgIEDBSN6K_1pNHW1O23bOvc_gbi7bPpmlTGE7_5Uw,5231
 angr/analyses/cfg/indirect_jump_resolvers/const_resolver.py,sha256=9ctRVLyVUMhkBV0y-Iy48usHBodGfkaWK1C7Dim2fgE,5273
 angr/analyses/cfg/indirect_jump_resolvers/default_resolvers.py,sha256=TyRIBvH8St1eHktpRrErD4zp8HKP3ppglfPuCEE0wg0,1441
-angr/analyses/cfg/indirect_jump_resolvers/jumptable.py,sha256=QBhmtwgYUTwsvCOVLHODuSvn3RFQf8_fsLZyW5W9keg,101967
+angr/analyses/cfg/indirect_jump_resolvers/jumptable.py,sha256=3RJyiPqQOz1kik_1ks56BSEEpODPOGeYiGyYFoYBBNE,102005
 angr/analyses/cfg/indirect_jump_resolvers/mips_elf_fast.py,sha256=JGUvjW5DQGX5OxLzB9eEVdKw7mPCYeNid3_oFeig9VY,19318
 angr/analyses/cfg/indirect_jump_resolvers/propagator_utils.py,sha256=z77LC9YyQjNEr8ncVwIXVVqPyUjL2x2pGvqAax6QlYo,957
 angr/analyses/cfg/indirect_jump_resolvers/resolver.py,sha256=2YyKPaXuWVbPwUQZcn0CKuba3ydYGIMT0Vxhy09kcV0,3019
@@ -99,8 +99,8 @@ angr/analyses/decompiler/callsite_maker.py,sha256=GUgUkSsOznUaTIB9PUoBFyWJp9WkH4
 angr/analyses/decompiler/clinic.py,sha256=81gi7DBCaZy-xK_TZGrApUEz00y756V4ZKVAHtugmwk,95748
 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
+angr/analyses/decompiler/decompilation_options.py,sha256=LBlmMP5rxTXFeI4X_bCIqOrrKChDOcyuacAJrv8xNyU,7922
+angr/analyses/decompiler/decompiler.py,sha256=CVeLmy6SQpfAcxi2lJFKY2CrKSPsxMwmKuh6H1bhTm8,22874
 angr/analyses/decompiler/empty_node_remover.py,sha256=KhH88_x3A1nR22H3wrdp1gznLuFH12IBLaay4Xa3Law,7368
 angr/analyses/decompiler/expression_counters.py,sha256=wtFX4fFl_8cfJCZ8r9PEe5J_J1IClhSBO9vpBakld6c,2832
 angr/analyses/decompiler/expression_narrower.py,sha256=64VR1xdPVVoCLHOYRPacV9ecQb33rP7nC1l8rpFxTkg,3545
@@ -123,8 +123,8 @@ angr/analyses/decompiler/optimization_passes/__init__.py,sha256=mu8cqtQo4458zAdy
 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=s3H1J3JTp309NX-NqniUhPd-kPIarQqkWd-TxHP-W-4,12985
-angr/analyses/decompiler/optimization_passes/cross_jump_reverter.py,sha256=CP-WjyQGOw_mnUF0ZpC5C4syMxlx4Tvy0T_EIZQxXrY,4033
+angr/analyses/decompiler/optimization_passes/const_prop_reverter.py,sha256=B2ca-_X3GJsoLGI3BxN-xoiBs1SjMz6HdIvObgvRQQk,13162
+angr/analyses/decompiler/optimization_passes/cross_jump_reverter.py,sha256=J4Zh3WZCW7Pts-ULeMejPv_eGVHGWgoycrMpZwPBh9M,3964
 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
@@ -133,15 +133,15 @@ 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=E3FRtgTyqMKFAL1nnCNq1jM6xpymwUaLzrGs6SJmmVU,39236
+angr/analyses/decompiler/optimization_passes/lowered_switch_simplifier.py,sha256=czsRMgGRTBYQvTCTXIL9h8Br-6GzaAjqhi3LnbrsqZk,39208
 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=hIgDKGXN-EeT6SOn1oz3TRilKdp9P-Felc10XLz0m5k,17505
+angr/analyses/decompiler/optimization_passes/optimization_pass.py,sha256=u1MZszwdCyVkknzGf0_8VxYYRYPf8XjxwL0J3kW0njI,17760
 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/ret_deduplicator.py,sha256=VeA2VpjPLL6NN3qf1iqBKZh2FbohybM4e8WkjVqX9Dg,7919
 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_high.py,sha256=Cc7AA_Yi-zghlvJO90zZZjTkEo3o0jsAEhHthaOT1gY,1925
 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
@@ -211,11 +211,12 @@ angr/analyses/decompiler/structured_codegen/base.py,sha256=TdghqAsAkjZpPfzFarh8W
 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/__init__.py,sha256=-Gwtu4VQQZpt-SSQwVQzMCOYcYYT-ofaMAvBWtEpsrI,510
 angr/analyses/decompiler/structuring/dream.py,sha256=NBv19CyJrYb2q77Q-3gpIhEl0r6Aci4lhO4hY_VQfN8,48374
-angr/analyses/decompiler/structuring/phoenix.py,sha256=aF9e4KF-3lXT5Q6ECl4bbZd5rw3koeOMYhZgsOQUhec,124025
-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/phoenix.py,sha256=bkIObRJ7iRZOR4F_cPdfaWEpbKN8dAm2U7uwSVnDmig,120732
+angr/analyses/decompiler/structuring/recursive_structurer.py,sha256=XhQltVVA0Ljq2zzrPdO8ea8p9Fb1Guj__NGtiycGoXs,6913
+angr/analyses/decompiler/structuring/sailr.py,sha256=oNxug0StTZyN8dERczpW0hIAYHhSaHCosI0shmks9Uw,5661
+angr/analyses/decompiler/structuring/structurer_base.py,sha256=Axp2JP5buczyX-fM0Q5tCy4h3guCA_0mfVTXfWjvsoE,41167
 angr/analyses/decompiler/structuring/structurer_nodes.py,sha256=x-1xUfeIzTNwLlRTv2M_9q7BDWLSWiSkaOuk20l8750,11930
 angr/analyses/forward_analysis/__init__.py,sha256=0TNlM4hbX1KRMyUduqU_zEwbnVcuNX2A1mtVuM3KexY,144
 angr/analyses/forward_analysis/forward_analysis.py,sha256=lNbW4MPitXrudNOV-qWHwMGwMyUJ_u0Y6qq21eoXBO0,19914
@@ -272,12 +273,17 @@ angr/analyses/reaching_definitions/dep_graph.py,sha256=uxPtUYDil9BW01HPWei4sJ-nW
 angr/analyses/reaching_definitions/engine_ail.py,sha256=ttWBhRhu5b3emY-0zLgNGlRd4p2Q9Tf8ZiWgsZfWeIo,46190
 angr/analyses/reaching_definitions/engine_vex.py,sha256=v9nxvAnmjpwtancu0b-i_vwmOdl4zmjHGGMQv3rgros,43115
 angr/analyses/reaching_definitions/external_codeloc.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-angr/analyses/reaching_definitions/function_handler.py,sha256=UvUsdoBvl33aUuL5nN_X_Ce02mUeuJlN32ZyqnI7oS8,27691
+angr/analyses/reaching_definitions/function_handler.py,sha256=cH1kCdwpJ2KlHmUGTPtg6TomZcTm6YL3ntIMSeMCY2A,28114
 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=xf4RuXhIAYaJxDmiP9zEEB-goASwW0xsp9wzz8eu42U,23910
+angr/analyses/reaching_definitions/rd_state.py,sha256=-b6em_8EUsjWPdhacgKXgBWF-uVLXHg1gyDBjZiefmo,23964
 angr/analyses/reaching_definitions/reaching_definitions.py,sha256=u0ZOHh2yBZckMbIMyJTlMsoIBchb0iU_kVphyUHkZCc,24352
 angr/analyses/reaching_definitions/subject.py,sha256=f3Gjg6Q0qCwtL443ctdVB_F1_sbGchftdjTqX6qsnbo,1958
+angr/analyses/reaching_definitions/function_handler_library/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+angr/analyses/reaching_definitions/function_handler_library/stdio.py,sha256=EhUK3mITwjfZEFC7UbVfVgKnKmfs0Pw_ZZucjJDyjiA,10757
+angr/analyses/reaching_definitions/function_handler_library/stdlib.py,sha256=JWV5FUsRoV9QatP1wemk-fWjDvlsCBcr1xUfKnx4Gd0,6121
+angr/analyses/reaching_definitions/function_handler_library/string.py,sha256=NMujtl3DnUn0tbx1Fvx9TgloahSJyDZtzbJIw_xAmWM,5060
+angr/analyses/reaching_definitions/function_handler_library/unistd.py,sha256=NtvqtqwCZPTtMh3hXyhnz0cwygIZPMFj5-7z_qBQLVc,1191
 angr/analyses/typehoon/__init__.py,sha256=kCQMAuvsUKAdYFiOstBzMBCqpquJKJCQSe0CGAr2Rng,31
 angr/analyses/typehoon/dfa.py,sha256=Q1sR1RDmt7pmMJjFByco9grbr2qm92HihnB9qJmerSo,3488
 angr/analyses/typehoon/lifter.py,sha256=3RogUtd8O6txb7_UAjbI7Bn1hc38oP_LsRYyBsPsEzg,2805
@@ -401,7 +407,7 @@ angr/engines/vex/heavy/__init__.py,sha256=VapnI5PnxNnZyqtmQpJNrRs9Yh01-gpfR1LjaG
 angr/engines/vex/heavy/actions.py,sha256=f8CbzwIOSgksmiY5nwDlgAomOI88wa5S_4vk5RE5718,8871
 angr/engines/vex/heavy/concretizers.py,sha256=bwv8VIqwS2DGP3qf_EI4Kb97_Ma8wygbnn-0HWsTfo0,14702
 angr/engines/vex/heavy/dirty.py,sha256=a4rWD03dA9m7HoLM8-TBMxFptkyRNVPWg8OOAiar-Cg,18699
-angr/engines/vex/heavy/heavy.py,sha256=mr_k23ykI8NV3SwqeNzKTDtJr_9n6nIIFNMII5ThbOU,15822
+angr/engines/vex/heavy/heavy.py,sha256=BXa354XLj8PIWVUMl40nHcAVw2QUW5_7LXkHIE1KvEI,15841
 angr/engines/vex/heavy/inspect.py,sha256=NNQpo4E267W8Z0RDQee9gGH9KDx0mydwjVo02yogT6o,2317
 angr/engines/vex/heavy/resilience.py,sha256=4TYoIFjIygSwRsu4229CsbRNOtlP-QQuligWZRKlEjQ,3737
 angr/engines/vex/heavy/super_fastpath.py,sha256=2E1Tdai9Xf7g-wf5AD3FrLN67pVusnQtF1aPRLLNxEg,1180
@@ -491,7 +497,7 @@ angr/knowledge_plugins/xrefs/__init__.py,sha256=-5A2h048WTRu6Et7q7bqlc-AyBXNuJ9A
 angr/knowledge_plugins/xrefs/xref.py,sha256=1BMphrr8iViDtVWPXWidmY1_uNmw9LRvEwwZLt3Zqw8,4907
 angr/knowledge_plugins/xrefs/xref_manager.py,sha256=a4uvTJkdM0PQIuyYcd7t76IddrrVjPGe9SZrRaqp2II,3980
 angr/knowledge_plugins/xrefs/xref_types.py,sha256=VR3xLQQ-gUg25oX0OL3BJHyQRlZh2A8syBac9ZMS9n4,271
-angr/lib/angr_native.dylib,sha256=3I9QG_gzXxuj6215kyxYGlXSFhdPo9RLlG_mVBg6CzI,16187984
+angr/lib/angr_native.dylib,sha256=TxA_N5qgyUfr2IODPYxvLLgRzTFyHBBLzD8MqJmq1EE,16187984
 angr/misc/__init__.py,sha256=Ct-Q6-c-Frdz5Ihkqmou3j_1jyJi8WJXlQxs-gPQg0Y,237
 angr/misc/ansi.py,sha256=m5RY65yyvluUJErkvCF4I4z1o5kXi2xb3Yuvt9bITCA,776
 angr/misc/autoimport.py,sha256=vSXclz6pss3lMecoT5_doX0SvORNmZPIvVyDm4je4HE,3419
@@ -1003,7 +1009,7 @@ angr/procedures/libc/strcat.py,sha256=ATDdASGrrQJrRX9fRCHUGKIyR_RBTW3uyV7aU5FIH9
 angr/procedures/libc/strchr.py,sha256=CBBjn6CirolfWB4LD0tAx-GFNJkCYZsUBU-g7MrObdI,1771
 angr/procedures/libc/strcmp.py,sha256=w1KB8DmeVcR3vtEz4WiYQ36BLepeINaKFRxa5vJG-6U,818
 angr/procedures/libc/strcpy.py,sha256=VPUG_bqZLbw6XtNdatuCPUXEzNzC2ByMZhPHaM3-U5E,412
-angr/procedures/libc/strlen.py,sha256=NME8HO1lzbicGdRB1-Rm4MKvhjIMmlz-8Liay33hrmo,3540
+angr/procedures/libc/strlen.py,sha256=ub9dU8fq95jxZgKByWGWL4JkOR8YWWEkqKOUFUUYMcw,3576
 angr/procedures/libc/strncat.py,sha256=wtsKB4DCBYyGlRDzsjzyqbLhnYkyCebcSHe2akboOwk,501
 angr/procedures/libc/strncmp.py,sha256=FgFWx0njQu-eo83PutWyRfse1xAxUPomYi-cZW6Ug1o,7653
 angr/procedures/libc/strncpy.py,sha256=XUavYoap1xsRuQk021EbNi9s160GQk4tfecNuM1DAiQ,600
@@ -1208,7 +1214,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=YnuLKze1Ls-NWJZVIiH41yhvAVWyBBdaGyBinmQKh-I,44755
+angr/state_plugins/solver.py,sha256=kQTTdLEdhd3WYJBZOuaW4VGQhXcTV2C1NM2e4s34ftg,44314
 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
@@ -1228,7 +1234,7 @@ angr/storage/pcap.py,sha256=8n30ui0KO7qx_RgmGFL_cBYMF5AlQ5LzVFeCh9ODU6c,1940
 angr/storage/memory_mixins/__init__.py,sha256=wRCGg4Rlh8lxzqa8_q--R9Ht22avkap5fR6bIt9RWoU,11965
 angr/storage/memory_mixins/__init__.pyi,sha256=7jA-O5r8efBzQWZa9q-5xs6HY-rYPSlgo2_42CRUYqQ,1944
 angr/storage/memory_mixins/actions_mixin.py,sha256=NscigmXzvJAnl7W98AkY1Mev_7RW-dXDI7k6RehdZOE,3370
-angr/storage/memory_mixins/address_concretization_mixin.py,sha256=l28QcKcKFyiW6KFOuTnHMXk7Mo0_pyOGdWA3s1Ttm9s,16544
+angr/storage/memory_mixins/address_concretization_mixin.py,sha256=s4tGPr3qczWlmOS2CnwOd5oauLRDC6o_Anf-Ts_cilA,16565
 angr/storage/memory_mixins/bvv_conversion_mixin.py,sha256=XT2ICXERaSHypiaAFf2jd8V3lh_5mZQvmT55ziipss0,2901
 angr/storage/memory_mixins/clouseau_mixin.py,sha256=EDhjbs5MMSGHQCxlKUL2uPHBTv8wqQN2IVXXTdBUezI,5496
 angr/storage/memory_mixins/conditional_store_mixin.py,sha256=RiorXjBL9sXIjs7AaaY90z-8l5NOQDMX_jpRwZuG2dk,929
@@ -1270,13 +1276,13 @@ angr/storage/memory_mixins/paged_memory/pages/refcount_mixin.py,sha256=oES5tahTy
 angr/storage/memory_mixins/paged_memory/pages/ultra_page.py,sha256=JIgC5wpl006FEFyDg_Z_gvEtMWJ0G0OWq9y8PcnFOzA,20062
 angr/storage/memory_mixins/regioned_memory/__init__.py,sha256=qFW74mjzZmHnIX-cyvOHhOFWSJOdQwcPUm_IhDryObo,351
 angr/storage/memory_mixins/regioned_memory/abstract_address_descriptor.py,sha256=9p4Eo7zE-gqfodF1P80GMEgCONpP4Qy90zzyY3ivbII,1094
-angr/storage/memory_mixins/regioned_memory/abstract_merger_mixin.py,sha256=KW8zdtvWh1I00NXdDYrP3dyIJguWIu0DqRVqMVRsUtw,1333
+angr/storage/memory_mixins/regioned_memory/abstract_merger_mixin.py,sha256=KEONomc9AQcyPcTqkZOEnq4MMZ_ql0AVT-Kyr3XkErw,1368
 angr/storage/memory_mixins/regioned_memory/region_category_mixin.py,sha256=M5k0ZGxEkCIJz8CoZ20S1bFo0fcHLD-PBKhy62eEfcQ,128
 angr/storage/memory_mixins/regioned_memory/region_data.py,sha256=lA6g07gILFNEgf1YV1pQx3jrt6kerYI8bdzRTNd_oog,9165
 angr/storage/memory_mixins/regioned_memory/region_meta_mixin.py,sha256=IL2pi39jnkvqcNS4hJcxXsfT99y715KDHPIoRJDHc1c,4342
 angr/storage/memory_mixins/regioned_memory/regioned_address_concretization_mixin.py,sha256=rlzyJhrU29SwwhDePxW2s1FwNtXulkaxZh12lJnB35k,4884
-angr/storage/memory_mixins/regioned_memory/regioned_memory_mixin.py,sha256=y_bHQKBneWGUAyXCokMZpYSE3jAHfh_nlOlnWWN-nrk,18547
-angr/storage/memory_mixins/regioned_memory/static_find_mixin.py,sha256=I8O2DFCCALahx7wnAtxziZ3mEASRZHaY1OhnN0KMblk,2240
+angr/storage/memory_mixins/regioned_memory/regioned_memory_mixin.py,sha256=m41e7WdlnSlJ1FIqYl1q5UP2Q0q0sxkULntVryCG7Ao,18642
+angr/storage/memory_mixins/regioned_memory/static_find_mixin.py,sha256=d5jm5JH1Bg1OQRnELL0VBVTWQFZPz3czfTX4kf2kDQE,2192
 angr/utils/__init__.py,sha256=XjOtDNWPHZZjayRA6OxLra78wBtR-pY_A8EC3nqCGkE,980
 angr/utils/algo.py,sha256=abkp6yy6FMqJSt0VfOpy5eSqWnheLLqOQ_kAAyhLXFc,1003
 angr/utils/constants.py,sha256=hxSJHIILsDP8ZOpw76BxMLu2Q_s2-rxTjACh7RL5wJs,209
@@ -1296,9 +1302,9 @@ 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.114.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.114.dist-info/METADATA,sha256=66zn4xJ9vxYyU7zvaCUzwvqCbGCukbXTNjmFHSuPjkY,4676
-angr-9.2.114.dist-info/WHEEL,sha256=GAq7blDExhH8lvBkiROUT4Mt8BMl_m4qwo3Udeztn9g,105
-angr-9.2.114.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.114.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.114.dist-info/RECORD,,
+angr-9.2.115.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.115.dist-info/METADATA,sha256=5ttpAVpIeY5HdgLIWDMgd-dQ4Oe_MMhq5k7cPyheip0,4676
+angr-9.2.115.dist-info/WHEEL,sha256=VACKQAXqHkX4pAAEZcVJ9S6oN3Oc7ioybk7moyAexDo,105
+angr-9.2.115.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.115.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.115.dist-info/RECORD,,

{angr-9.2.114.dist-info → angr-9.2.115.dist-info}/WHEEL

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