angr 9.2.103__py3-none-macosx_11_0_arm64.whl → 9.2.105__py3-none-macosx_11_0_arm64.whl

angr/__init__.py

@@ -1,7 +1,7 @@
 # pylint: disable=wildcard-import
 # pylint: disable=wrong-import-position
 
-__version__ = "9.2.103"
+__version__ = "9.2.105"
 
 if bytes is str:
     raise Exception(

angr/analyses/decompiler/ail_simplifier.py

@@ -27,6 +27,7 @@ from ...knowledge_plugins.key_definitions import atoms
 from ...knowledge_plugins.key_definitions.atoms import Register as RegisterAtom
 from ...knowledge_plugins.key_definitions.definition import Definition
 from ...knowledge_plugins.key_definitions.constants import OP_BEFORE
+from ...errors import AngrRuntimeError
 from .. import Analysis, AnalysesHub
 from .ailgraph_walker import AILGraphWalker
 from .expression_narrower import ExpressionNarrowingWalker
@@ -811,9 +812,9 @@ class AILSimplifier(Analysis):
                         else:
                             replace_with = eq.atom0
                     else:
-                        raise RuntimeError("Unsupported atom1 type %s." % type(eq.atom1))
+                        raise AngrRuntimeError("Unsupported atom1 type %s." % type(eq.atom1))
                 else:
-                    raise RuntimeError("Unsupported atom0 type %s." % type(eq.atom0))
+                    raise AngrRuntimeError("Unsupported atom0 type %s." % type(eq.atom0))
 
                 to_replace_def = the_def
 

angr/analyses/decompiler/clinic.py

@@ -1389,6 +1389,10 @@ class Clinic(Analysis):
         for block in ail_graph.nodes():
             self._link_variables_on_block(block, tmp_kb)
 
+        # Link struct member info to Store statements
+        for block in ail_graph.nodes():
+            self._link_struct_member_info_on_block(block, tmp_kb)
+
         if self._cache is not None:
             self._cache.type_constraints = vr.type_constraints
             self._cache.func_typevar = vr.func_typevar
@@ -1396,6 +1400,14 @@ class Clinic(Analysis):
 
         return tmp_kb
 
+    def _link_struct_member_info_on_block(self, block, kb):
+        variable_manager = kb.variables[self.function.addr]
+        for stmt in block.statements:
+            if isinstance(stmt, ailment.Stmt.Store) and isinstance((var := stmt.variable), SimStackVariable):
+                offset = var.offset
+                if offset in variable_manager.stack_offset_to_struct_member_info:
+                    stmt.tags["struct_member_info"] = variable_manager.stack_offset_to_struct_member_info[offset]
+
     def _link_variables_on_block(self, block, kb):
         """
         Link atoms (AIL expressions) in the given block to corresponding variables identified previously.

angr/analyses/decompiler/condition_processor.py

@@ -15,6 +15,7 @@ from ...utils.lazy_import import lazy_import
 from ...utils import is_pyinstaller
 from ...utils.graph import dominates, inverted_idoms
 from ...block import Block, BlockNode
+from ...errors import AngrRuntimeError
 from .peephole_optimizations import InvertNegatedLogicalConjunctionsAndDisjunctions
 from .structuring.structurer_nodes import (
     MultiNode,
@@ -857,7 +858,7 @@ class ConditionProcessor:
             return claripy.true
         if isinstance(expr, sympy.logic.boolalg.BooleanFalse):
             return claripy.false
-        raise RuntimeError("Unreachable reached")
+        raise AngrRuntimeError("Unreachable reached")
 
     @staticmethod
     def simplify_condition(cond, depth_limit=8, variables_limit=8):
@@ -1024,7 +1025,7 @@ class ConditionProcessor:
                 elif arg in common_exprs:
                     continue
                 else:
-                    raise RuntimeError("Unexpected behavior - you should never reach here")
+                    raise AngrRuntimeError("Unexpected behavior - you should never reach here")
 
             return claripy.And(*common_exprs, claripy.Or(*new_args))
 

angr/analyses/decompiler/region_identifier.py

@@ -11,6 +11,7 @@ from ailment.expression import Const
 
 from angr.utils.graph import GraphUtils
 from ...utils.graph import dfs_back_edges, subgraph_between_nodes, dominates, shallow_reverse
+from ...errors import AngrRuntimeError
 from .. import Analysis, register_analysis
 from .structuring.structurer_nodes import MultiNode, ConditionNode, IncompleteSwitchCaseHeadStatement
 from .graph_region import GraphRegion
@@ -146,7 +147,7 @@ class RegionIdentifier(Analysis):
         try:
             return next(n for n in graph.nodes() if n.addr == self.function.addr)
         except StopIteration as ex:
-            raise RuntimeError("Cannot find the start node from the graph!") from ex
+            raise AngrRuntimeError("Cannot find the start node from the graph!") from ex
 
     def _test_reducibility(self):
         # make a copy of the graph

angr/analyses/decompiler/region_simplifiers/cascading_cond_transformer.py

@@ -5,6 +5,7 @@ import claripy
 
 from ..structuring.structurer_nodes import ConditionNode, CascadingConditionNode
 from ..sequence_walker import SequenceWalker
+from ....errors import AngrRuntimeError
 
 
 class CascadingConditionTransformer(SequenceWalker):
@@ -88,6 +89,6 @@ class CascadingConditionTransformer(SequenceWalker):
 
         else:
             # unexpected!
-            raise RuntimeError("Impossible happened")
+            raise AngrRuntimeError("Impossible happened")
 
         return CascadingConditionNode(cond_node.addr, cond_and_nodes, else_node=else_node)

angr/analyses/decompiler/structured_codegen/c.py

@@ -37,7 +37,7 @@ from ....utils.constants import is_alignment_mask
 from ....utils.library import get_cpp_function_name
 from ....utils.loader import is_in_readonly_segment, is_in_readonly_section
 from ..utils import structured_node_is_simple_return
-from ....errors import UnsupportedNodeTypeError
+from ....errors import UnsupportedNodeTypeError, AngrRuntimeError
 from ....knowledge_plugins.cfg.memory_data import MemoryData, MemoryDataSort
 from ... import Analysis, register_analysis
 from ..region_identifier import MultiNode
@@ -1262,7 +1262,9 @@ class CFunctionCall(CStatement, CExpression):
         if self.is_expr:
             return self.prototype.returnty or SimTypeInt(signed=False).with_arch(self.codegen.project.arch)
         else:
-            raise RuntimeError("CFunctionCall.type should not be accessed if the function call is used as a statement.")
+            raise AngrRuntimeError(
+                "CFunctionCall.type should not be accessed if the function call is used as a statement."
+            )
 
     def _is_target_ambiguous(self, func_name: str) -> bool:
         """
@@ -3222,8 +3224,12 @@ class CStructuredCodeGenerator(BaseStructuredCodeGenerator, Analysis):
             return old_ty
 
         if stmt.variable is not None:
-            cvar = self._variable(stmt.variable, stmt.size)
-            offset = stmt.offset or 0
+            if "struct_member_info" in stmt.tags:
+                offset, var, _ = stmt.struct_member_info
+                cvar = self._variable(var, stmt.size)
+            else:
+                cvar = self._variable(stmt.variable, stmt.size)
+                offset = stmt.offset or 0
             assert type(offset) is int  # I refuse to deal with the alternative
 
             cdst = self._access_constant_offset(self._get_variable_reference(cvar), offset, cdata.type, True, negotiate)

angr/analyses/flirt.py

@@ -7,6 +7,7 @@ import nampa
 from archinfo.arch_arm import is_arm_arch
 
 from ..analyses import AnalysesHub
+from ..errors import AngrRuntimeError
 from ..flirt import FlirtSignature, STRING_TO_LIBRARIES, LIBRARY_TO_SIGNATURES, FLIRT_SIGNATURES_BY_ARCH
 from .analysis import Analysis
 
@@ -49,7 +50,7 @@ class FlirtAnalysis(Analysis):
 
         else:
             if not FLIRT_SIGNATURES_BY_ARCH:
-                raise RuntimeError(
+                raise AngrRuntimeError(
                     "No FLIRT signatures exist. Please load FLIRT signatures by calling "
                     "load_signatures() before running FlirtAnalysis."
                 )

angr/analyses/typehoon/typehoon.py

@@ -2,6 +2,7 @@
 from typing import TYPE_CHECKING
 
 from ...sim_type import SimStruct, SimTypePointer, SimTypeArray
+from ...errors import AngrRuntimeError
 from ..analysis import Analysis, AnalysesHub
 from .simple_solver import SimpleSolver
 from .translator import TypeTranslator
@@ -112,7 +113,7 @@ class Typehoon(Analysis):
         if self._var_mapping is None:
             raise ValueError("Variable mapping does not exist.")
         if self.solution is None:
-            raise RuntimeError("Please run type solver before calling pp_solution().")
+            raise AngrRuntimeError("Please run type solver before calling pp_solution().")
 
         typevar_to_var = {}
         for k, typevars in self._var_mapping.items():

angr/analyses/variable_recovery/variable_recovery_base.py

@@ -12,6 +12,7 @@ from ailment.expression import BinaryOp, StackBaseOffset
 from ...utils.cowdict import DefaultChainMapCOW
 from ...engines.light import SpOffset
 from ...sim_variable import SimVariable
+from ...errors import AngrRuntimeError
 from ...storage.memory_mixins import MultiValuedMemory
 from ..analysis import Analysis
 from ..typehoon.typevars import TypeVariables, TypeVariable
@@ -328,7 +329,7 @@ class VariableRecoveryStateBase:
             base = 0x7F_FFFF_FFFE_0000
             mask = 0xFFFF_FFFF_FFFF_FFFF
         else:
-            raise RuntimeError("Unsupported bits %d" % self.arch.bits)
+            raise AngrRuntimeError("Unsupported bits %d" % self.arch.bits)
         return (offset + base) & mask
 
     @property

angr/calling_conventions.py

@@ -2049,6 +2049,7 @@ class SimCCPowerPC(SimCC):
     STACKARG_SP_BUFF = 8
     RETURN_ADDR = SimRegArg("lr", 4)
     RETURN_VAL = SimRegArg("r3", 4)
+    OVERFLOW_RETURN_VAL = SimRegArg("r4", 4)
     ARCH = archinfo.ArchPPC32
 
 

angr/errors.py

@@ -5,6 +5,10 @@ class AngrError(Exception):
     pass
 
 
+class AngrRuntimeError(RuntimeError):
+    pass
+
+
 class AngrValueError(AngrError, ValueError):
     pass
 

angr/exploration_techniques/__init__.py

@@ -146,6 +146,7 @@ from .bucketizer import Bucketizer
 from .local_loop_seer import LocalLoopSeer
 from .timeout import Timeout
 from .suggestions import Suggestions
+from .stub_stasher import StubStasher
 
 __all__ = (
     "ExplorationTechnique",
@@ -173,4 +174,5 @@ __all__ = (
     "LocalLoopSeer",
     "Timeout",
     "Suggestions",
+    "StubStasher",
 )

angr/exploration_techniques/stub_stasher.py

@@ -0,0 +1,17 @@
+from . import ExplorationTechnique
+
+
+class StubStasher(ExplorationTechnique):
+    """
+    Stash states that reach a stub SimProcedure.
+    """
+
+    @staticmethod
+    def post_filter(state):
+        hook = state.project.hooked_by(state.addr)
+        return hook and hook.is_stub
+
+    def step(self, simgr, stash="active", **kwargs):
+        simgr.step(stash=stash, **kwargs)
+        simgr.move(stash, "stub", filter_func=self.post_filter)
+        return simgr

angr/knowledge_plugins/variables/variable_manager.py

@@ -112,6 +112,8 @@ class VariableManagerInternal(Serializable):
         # optimization
         self._variables_without_writes = set()
 
+        self.stack_offset_to_struct_member_info: dict[SimStackVariable, (int, SimStackVariable, SimStruct)] = {}
+
         self.ret_val_size = None
 
     #
@@ -972,6 +974,23 @@ class VariableManagerInternal(Serializable):
                         self.variable_to_types[other_var] = ty
                         if mark_manual:
                             self.variables_with_manual_types.add(other_var)
+        if isinstance(var, SimStackVariable) and isinstance(ty, TypeRef) and isinstance(ty.type, SimStruct):
+            self.stack_offset_to_struct_member_info.update(self._extract_fields_from_struct(var, ty.type))
+
+    def _extract_fields_from_struct(self, var, ty: SimStruct, top_struct_offset=0):
+        result = {}
+        for name, field_offset in ty.offsets.items():
+            field_ty = ty.fields[name]
+            offset = top_struct_offset + field_offset
+            if isinstance(field_ty, TypeRef):
+                field_ty = field_ty.type
+            if isinstance(field_ty, SimStruct):
+                result.update(
+                    self._extract_fields_from_struct(var, field_ty, top_struct_offset=top_struct_offset + field_offset)
+                )
+            else:
+                result[var.offset + offset] = (offset, var, ty)
+        return result
 
     def get_variable_type(self, var) -> SimType | None:
         return self.variable_to_types.get(var, None)

angr/storage/memory_mixins/paged_memory/pages/ultra_page.py

@@ -84,30 +84,50 @@ class UltraPage(MemoryObjectMixin, PageBase):
             self.symbolic_data[global_start_addr - page_addr] = new_item
             result[-1] = (global_start_addr, new_item)
 
-        for subaddr in range(addr, addr + size):
+        subaddr = addr
+        end = addr + size
+        while subaddr < end:
             realaddr = subaddr + page_addr
             if self.symbolic_bitmap[subaddr]:
                 cur_val = self._get_object(subaddr, page_addr, memory=memory)
-                if cur_val is last_run and last_run is symbolic_run:
-                    pass
+                # it must be a different object
+                cycle(realaddr)
+                next_addr = subaddr + 1
+
+                # figure out how long the current object is (limit end of page)
+                if cur_val is None:
+                    obj_end = end
                 else:
-                    cycle(realaddr)
-                    last_run = symbolic_run = cur_val
-                    result.append((realaddr, cur_val))
+                    obj_end = subaddr + cur_val.length
+                    obj_end = min(end, obj_end)
+
+                # determine how many bytes come from this object
+                # loop until: end of object or not symbolic or until next object
+                next_place = None
+                while next_addr < obj_end and self.symbolic_bitmap[next_addr]:
+                    if next_addr == subaddr + 1:  # first loop
+                        next_place = self._get_next_place(next_addr)
+                    if next_place is not None and next_place <= next_addr:
+                        break
+                    next_addr += 1
+
+                subaddr = next_addr
+                last_run = symbolic_run = cur_val
+                result.append((realaddr, cur_val))
+
             else:
-                cur_val = self.concrete_data[subaddr]
-                if last_run is concrete_run:
-                    if endness == "Iend_LE":
-                        last_run = concrete_run = concrete_run | (
-                            cur_val << (memory.state.arch.byte_width * (realaddr - result[-1][0]))
-                        )
-                    else:
-                        last_run = concrete_run = (concrete_run << memory.state.arch.byte_width) | cur_val
-                    result[-1] = (result[-1][0], concrete_run)
+                max_concrete_read = subaddr
+                while max_concrete_read < end and not self.symbolic_bitmap[max_concrete_read]:
+                    max_concrete_read += 1
+                cur_val = self.concrete_data[subaddr:max_concrete_read]
+                subaddr = max_concrete_read
+                # we know the last run was not a concrete one
+                cycle(realaddr)
+                if endness == "Iend_LE":
+                    last_run = concrete_run = cur_val[::-1]
                 else:
-                    cycle(realaddr)
                     last_run = concrete_run = cur_val
-                    result.append((realaddr, cur_val))
+                result.append((realaddr, cur_val))
 
         cycle(page_addr + addr + size)
         if not cooperate:
@@ -134,8 +154,7 @@ class UltraPage(MemoryObjectMixin, PageBase):
                 addr, data, size, endness, page_addr=page_addr, memory=memory, **kwargs
             )
 
-        if size >= memory.page_size - addr:
-            size = memory.page_size - addr
+        size = min(size, memory.page_size - addr)
 
         byte_width = memory.state.arch.byte_width
 
@@ -410,6 +429,14 @@ class UltraPage(MemoryObjectMixin, PageBase):
             else:
                 return None
 
+    def _get_next_place(self, start):
+        try:
+            place = next(self.symbolic_data.irange(minimum=start, reverse=False))
+        except StopIteration:
+            return None
+        else:
+            return place
+
     def replace_all_with_offsets(self, offsets: Iterable[int], old: claripy.ast.BV, new: claripy.ast.BV, memory=None):
         memory_objects = set()
         for offset in sorted(list(offsets)):

angr/utils/mp.py

@@ -2,6 +2,7 @@ from typing import NamedTuple, Optional, Any
 from collections.abc import Callable
 import multiprocessing
 import platform
+from ..errors import AngrRuntimeError
 
 
 class Closure(NamedTuple):
@@ -32,7 +33,7 @@ class Initializer:
 
     def __init__(self, *, _manual: bool = True):
         if _manual:
-            raise RuntimeError("This is a singleton; call .get() instead")
+            raise AngrRuntimeError("This is a singleton; call .get() instead")
         self.initializers: list[Closure] = []
 
     def register(self, f: Callable[..., None], *args: Any, **kwargs: Any) -> None:

angr/utils/segment_list.py

@@ -1,7 +1,7 @@
 # pylint:disable=no-else-break
 import logging
 
-from angr.errors import AngrCFGError
+from angr.errors import AngrCFGError, AngrRuntimeError
 
 
 l = logging.getLogger(name=__name__)
@@ -267,7 +267,7 @@ class SegmentList:
                     # done
                     break
                 else:
-                    raise RuntimeError("Unreachable reached")
+                    raise AngrRuntimeError("Unreachable reached")
             else:  # if segment.start > address
                 if address + size <= segment.start:
                     #                      |--- segment ---|
@@ -293,7 +293,7 @@ class SegmentList:
                     address = new_address
                     idx = self.search(address)
                 else:
-                    raise RuntimeError("Unreachable reached")
+                    raise AngrRuntimeError("Unreachable reached")
 
     def _dbg_output(self):
         """

{angr-9.2.103.dist-info → angr-9.2.105.dist-info}/METADATA

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

{angr-9.2.103.dist-info → angr-9.2.105.dist-info}/RECORD

@@ -1,13 +1,13 @@
-angr/__init__.py,sha256=k6xyH5G_6DmmUk6asYIGYkJRkssMRHyKEcrIXqAZ-bE,3993
+angr/__init__.py,sha256=RfxYMnkIBUfOzgBPLlO_MLM2oGBEzyrkj1Egm6rRUqE,3993
 angr/__main__.py,sha256=kaO56Te6h73SM94BVtASF00q5QbBbC3eBs9poVc9sVI,1887
 angr/annocfg.py,sha256=1tnBfxgLJh9I6Brm1JDdsWLHGmCQYdD6PTC_bFTOMrg,10775
 angr/blade.py,sha256=B8QXVQ93jz1YCIlb-dZLeBqYmVFdMXI5GleP1Wnxjrw,15519
 angr/block.py,sha256=uinLN30NbaVUcFJNDJaeWTKJiNwVFMte2vaGhYlkD-8,14752
 angr/callable.py,sha256=-E9HelavtRY1xPAxCVXl120H8Rb7Myd2IcrXtWZFAOU,6034
-angr/calling_conventions.py,sha256=nkMEkYpxAoNMvU1eju6C5lZRE3J1tpwuLRSdB4q6-uc,91243
+angr/calling_conventions.py,sha256=JjgIx0PHOfP9O8fcLjaKFEnznDfgmcf8ezMS6s54Me8,91288
 angr/code_location.py,sha256=IudWSR-gJzq_EeVw-jEZvQumVYwUUDWXR1vmLAkS-SQ,5432
 angr/codenode.py,sha256=Di6ZxGqf-e6tKL49Zr0sq4vqpy_-nUDYkBdLj2Tg2Po,3760
-angr/errors.py,sha256=Hqc7StoAOW-0vQAJOlEyk2Xphe5mH1tUnZCfeoZURKc,8299
+angr/errors.py,sha256=Yh_qSz7FjMSqqK9P3CVJHQZUzvTELLg6dRGYyINVZSM,8348
 angr/factory.py,sha256=C6HlSkBcl9T8y8s7EvFwj5JCV2OMyKrd317fqOjKcYQ,17305
 angr/graph_utils.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 angr/keyed_region.py,sha256=aJzy9-iXxIdJdmrH3fhaM3_KFrGHJUO7YzswjRlrsO0,18109
@@ -45,7 +45,7 @@ angr/analyses/disassembly.py,sha256=ZBVtHUt2TBDuIz_mIFY_6thJrIxCEucOSoBfbOQVwIs,
 angr/analyses/disassembly_utils.py,sha256=4Np0PCPjr0h0jIVzUUG6KzrEKl9--IpTE3sgmmsmhcg,2989
 angr/analyses/dominance_frontier.py,sha256=XRfC_LUUetE8t1Cc9bwvWS9sl63Fx9sp8KFqN_Y9IDg,1245
 angr/analyses/find_objects_static.py,sha256=woA3Fc45jbYMmSps-gOO5DqgPohQbx3LhicfrA6bb34,10158
-angr/analyses/flirt.py,sha256=bzPIpZiAbrVcNu_ekXlfQc7DsYSuDRZQNRbDVkoaSfQ,7799
+angr/analyses/flirt.py,sha256=fhSUWcNG8c0Pkg4_H0zRh10aM3jaWVPRyC-ZrFbViXk,7841
 angr/analyses/init_finder.py,sha256=hFHPsHipF4QkWzVqcDeTgL6YIaYi8bAyaURZBksS4KI,8531
 angr/analyses/loop_analysis.py,sha256=nIbDIzvys-FRtJYnoZYNbMWH5V88qrhoMtrMRCTbkLY,9412
 angr/analyses/loopfinder.py,sha256=X8F4Dcu2UHDXt6JifK6EfROAeeczyca6V7zxx9z7GpQ,7122
@@ -89,15 +89,15 @@ angr/analyses/data_dep/data_dependency_analysis.py,sha256=077fujhixS7fb-AUzS_CRW
 angr/analyses/data_dep/dep_nodes.py,sha256=TMp4xOXbOCqjIrmDeP3cef29GexH5WwX2ZKV9yMqoX8,4640
 angr/analyses/data_dep/sim_act_location.py,sha256=4f8jp-ahitxoHCCOSSFGJ1olvNWuHyiE6iOLa5DA0k4,1527
 angr/analyses/decompiler/__init__.py,sha256=RkTvvTwAGpaLdGSTgXxVrKmGEDRxqLCNSB-b8fM6fBM,540
-angr/analyses/decompiler/ail_simplifier.py,sha256=Kfb01NkKGJs9mvn9neSWpTunF0EMo3Mtzt3dFYfQdRE,61578
+angr/analyses/decompiler/ail_simplifier.py,sha256=laIPyvY0dCx4CQmo0NFA5Wrr5b_PhrBXyPQonXcnAXs,61625
 angr/analyses/decompiler/ailgraph_walker.py,sha256=sBz9Cn0GtdpuFt7R9y3oX6NFvETQTZRh6N80eM9ZdJQ,1595
 angr/analyses/decompiler/block_io_finder.py,sha256=1-u6h4KUPsX-dkXlXz6hN5ntslhEfV7fKQqjkAZcDO8,10490
 angr/analyses/decompiler/block_similarity.py,sha256=mTpELRDw_qXxjq7B0SzXlBVm3i417Oqu7EzPWx85aUM,6461
 angr/analyses/decompiler/block_simplifier.py,sha256=78vfpaG13JWCxijDrp3Q4wyiEw7hQXngb8itd9y39Os,17227
 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=Pp5qw18JALlVwixzvlHw7KVjx76q8egSqlWKJTK1cgk,95087
-angr/analyses/decompiler/condition_processor.py,sha256=Cld6l1AYDOwRCBVc1s7BN9sfDtTVkQlsChP7UlaOVUU,49844
+angr/analyses/decompiler/clinic.py,sha256=WX-qUGhEbaskyXohsOx148vBDWQOSHvxcJlZd9l1LL0,95749
+angr/analyses/decompiler/condition_processor.py,sha256=L4piCxmoD3xZHQNSZqgj67WBGhljW3bjUii_Nirugm0,49891
 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
@@ -109,7 +109,7 @@ angr/analyses/decompiler/graph_region.py,sha256=-bPM3JqMA4ZnFhPi6QLGw_M1zPWK_yh0
 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/region_identifier.py,sha256=jCNabIZgVAKWdYcMDSLYYAuOU0uD6xYyQjNtF6kFNCY,45439
+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_to_blocks.py,sha256=2KINMEgaXMG3XIiFDMRkbn10dggy7a9AHgwV383huRM,529
@@ -193,7 +193,7 @@ angr/analyses/decompiler/peephole_optimizations/single_bit_cond_to_boolexpr.py,s
 angr/analyses/decompiler/peephole_optimizations/single_bit_xor.py,sha256=vqIw5ewmvbNtj86sB2eG_JLvya0bZOKFktyiWNkGyn8,940
 angr/analyses/decompiler/peephole_optimizations/tidy_stack_addr.py,sha256=CVNGZPN4YSu7169-UXR6mlm8yf5VSajoB4yksgfIa6E,4820
 angr/analyses/decompiler/region_simplifiers/__init__.py,sha256=ZeURg5mKbKRpwo8-SqxJ0jy_A6nNpZMxiKpjZJ0_RS0,48
-angr/analyses/decompiler/region_simplifiers/cascading_cond_transformer.py,sha256=2NHuInoSFwahIrtOStHBmBA7k1zmrUnmSQtTe4EBIbo,3690
+angr/analyses/decompiler/region_simplifiers/cascading_cond_transformer.py,sha256=PQTkQg_-NSR-0dLAjDdwNHs5b82cmsM15m3OStXg-dg,3734
 angr/analyses/decompiler/region_simplifiers/cascading_ifs.py,sha256=dbAn1fde1-kiF6A9060wEqPKcE3DeBd2Ltt_2UAEdo4,2490
 angr/analyses/decompiler/region_simplifiers/expr_folding.py,sha256=gBFr98420bdkmlPMypwU28V2c9PRtBKiRkDv10ne4Ag,24075
 angr/analyses/decompiler/region_simplifiers/goto.py,sha256=08f-7tVw6w-1Kqaf0py7wdNrfEGTB0uhzTJyBaQVVcw,5996
@@ -206,7 +206,7 @@ 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=gF0RSC171Jn-xFtQJ0wfbRaLSTqhk0YPYNK67bKF_Ns,135300
+angr/analyses/decompiler/structured_codegen/c.py,sha256=YcvlggO1mRMbiXZoGMJOj2L09BE2TwaHP5OCwEjAvbo,135539
 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
@@ -282,7 +282,7 @@ angr/analyses/typehoon/lifter.py,sha256=3RogUtd8O6txb7_UAjbI7Bn1hc38oP_LsRYyBsPs
 angr/analyses/typehoon/simple_solver.py,sha256=JWtFIWT6Wlm7kM6KH28dfwm4kvni-PHJjnPRWLmzLr4,48377
 angr/analyses/typehoon/translator.py,sha256=HLPNDkkl8daZy_mLXvDm3AoBD8auLze3MnkbhRxIMZc,8559
 angr/analyses/typehoon/typeconsts.py,sha256=yrPpW-EFNwI0vsO9ipVp2wIHsWPoZjXug1sdFHq1R6g,6973
-angr/analyses/typehoon/typehoon.py,sha256=KgkOcCvKaIApR6ycTCPhUlkjGA9Wk7QpBjWEvljjd-I,9325
+angr/analyses/typehoon/typehoon.py,sha256=Ak0T9DL8kMl__YdJkJUoiN92cRzpUSuyjalKQk3Jbww,9368
 angr/analyses/typehoon/typevars.py,sha256=2MNNyTSjmKXGIcLqwbO5qKIef5EHoWttjFPFGTfhfGw,15777
 angr/analyses/typehoon/variance.py,sha256=VPuBrPmbw5RgNG5SUTNFEd5rr4v3V_qD1vgilqWvdrs,158
 angr/analyses/variable_recovery/__init__.py,sha256=j2SZyfzCAagqNTj0IcYJtOx4b3oAvhEY9GR3hb0bx4o,105
@@ -292,7 +292,7 @@ angr/analyses/variable_recovery/engine_base.py,sha256=HVCtyY4tgx8cjHyP1aPoCCgW57
 angr/analyses/variable_recovery/engine_vex.py,sha256=ni-OCeHFhhPRo5iH2p4AvI_43ADOO1jUc__GX0tIb-U,19215
 angr/analyses/variable_recovery/irsb_scanner.py,sha256=IZVaL_axfPBcM_MvjIOXwICK3otK3B5AIbwjhVscylc,4878
 angr/analyses/variable_recovery/variable_recovery.py,sha256=-chYezAPEMrgwu_w3pBv_uzGnJb1wi3zsa1DLPdTya8,21777
-angr/analyses/variable_recovery/variable_recovery_base.py,sha256=n4DmEuJppuyqIaHFeipNVG1QROVNZjhnPobmdWxuhHM,14919
+angr/analyses/variable_recovery/variable_recovery_base.py,sha256=EhqACAQwd6qKWC19-kbTvXEio3k9JNc3cyYg4MLHebw,14962
 angr/analyses/variable_recovery/variable_recovery_fast.py,sha256=_eOpy1qppTti2P7Sn0MK3IMLQfYw1-V7AoZkmSizYjc,24070
 angr/angrdb/__init__.py,sha256=df9W7J7c4rD5oYx6fZGf0BIBwOqVVJlIJTDrAtQChqY,231
 angr/angrdb/db.py,sha256=tVrjdgEWZC0HeBVdOQ1nG0lKPwsvlITk2u4eCPMfG-4,6416
@@ -407,7 +407,7 @@ angr/engines/vex/light/__init__.py,sha256=WblrLgYRbdBAvNGbkzGsTgOq2A_pUBJP-FxANP
 angr/engines/vex/light/light.py,sha256=CZFEgsXM-CSwVexiu6WFikjwXvpAyCR66HjVT--3_0g,21698
 angr/engines/vex/light/resilience.py,sha256=FaHiSMv_hsIiNEqA2Wga2F3bVyXGPtWudL00785ebEs,2002
 angr/engines/vex/light/slicing.py,sha256=lGZsF5_xtVKjCJmD2FMABkyz-kZWctWOMjuWnFWpe2g,2023
-angr/exploration_techniques/__init__.py,sha256=95T9fVNalvf0veq0NAmmHE-cEfBPoP_S-IRcilXGx5o,6980
+angr/exploration_techniques/__init__.py,sha256=ywiuWYV080w7n4HQUd40DNDfL5FwDVPFlySD2KLRzfM,7037
 angr/exploration_techniques/bucketizer.py,sha256=H-5QyOfDNdCSTbCk8MQluwi9C9Y0iE7E1s_4EAb3LXk,2588
 angr/exploration_techniques/common.py,sha256=7vKlFQjuVoTmtKgYbYjhg67-e3weTzFtU2hC91wHHtI,2262
 angr/exploration_techniques/dfs.py,sha256=IpEmTGVqGAKUCmchKBR_w0SISIsBlNRjdp6sgZlcWis,1167
@@ -424,6 +424,7 @@ angr/exploration_techniques/slicecutor.py,sha256=qGX-9t28CiSXiDoz-dbE6X6oqpGt8Vq
 angr/exploration_techniques/spiller.py,sha256=2_Jf8OyttY58-q9TvcvBrjb-1DOOZ4o0kkd_3O1RMUk,9382
 angr/exploration_techniques/spiller_db.py,sha256=9Q855QsH96ZxGe7d0cv9YTcQrjd8E4X8WG4mZQgJRP4,818
 angr/exploration_techniques/stochastic.py,sha256=gmFim2h9sFhoeC-zlpGCS0iUDkvM2wwKa_mN5Cc7mmQ,2059
+angr/exploration_techniques/stub_stasher.py,sha256=lGSBgOG4v1bGl5k_lWplkOIL3uWv_Ns9RJoe8rZ2V8k,459
 angr/exploration_techniques/suggestions.py,sha256=GICcH_fIA1ltIwQlbSMse5f1HJ0jdwtpNdnHfVFScXA,6969
 angr/exploration_techniques/symbion.py,sha256=o-o_ZdbSMZCjA0_uV4TJV6jdtZXq2cO3KYzv038rJbQ,3122
 angr/exploration_techniques/tech_builder.py,sha256=UWmOE7GqQkZj_X_kR4Un7rDZyB4oL84Q6L-nLaU1i70,1586
@@ -483,12 +484,12 @@ angr/knowledge_plugins/sync/__init__.py,sha256=RN3y0UhYax-GdPyAhondMXEBuWIu-enHj
 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=A0M4E6S0O98JpdrFyu1TOQkBCk8DkP2hy9a-2TPWz8Q,46325
+angr/knowledge_plugins/variables/variable_manager.py,sha256=r8w2xIP-VN1_DS3r9y2GK3LAy8fMndL1m-7_obiIsbY,47315
 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
 angr/knowledge_plugins/xrefs/xref_types.py,sha256=VR3xLQQ-gUg25oX0OL3BJHyQRlZh2A8syBac9ZMS9n4,271
-angr/lib/angr_native.dylib,sha256=HMfgkky1yTNfATWxwQ80vCS8IuV7bZhmlNfkPFeKBC4,16188112
+angr/lib/angr_native.dylib,sha256=qDjB4_k-b1rHQ-aoqVAmcuyq6Ln2U2CX5Qk2lmUiYhk,16188112
 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
@@ -1265,7 +1266,7 @@ angr/storage/memory_mixins/paged_memory/pages/multi_values.py,sha256=hW-8svWpMJj
 angr/storage/memory_mixins/paged_memory/pages/mv_list_page.py,sha256=7pAL_YxTNEx1d7qTpJqrXIRKMB04SN4ASwz6vfyBbCk,17671
 angr/storage/memory_mixins/paged_memory/pages/permissions_mixin.py,sha256=Ek2YSmFOGUScFXPx8hqroNkl3gK1aqKCMv_X3_pImLs,830
 angr/storage/memory_mixins/paged_memory/pages/refcount_mixin.py,sha256=oES5tahTy4SgyDi2h5oRRC0PC4JHNcIvdAC4INKkeJw,1701
-angr/storage/memory_mixins/paged_memory/pages/ultra_page.py,sha256=iZLW5HTaalj2wnZqunJCKwFvMP54Nv0QbbgW6kD4Wgc,19116
+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
@@ -1288,13 +1289,13 @@ angr/utils/graph.py,sha256=baLY5RJYp06XXBKrqtEIu8b7wpWYSxwVODbIFUxm3Kc,28347
 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=lym2-3K2sSznzZ4vDShMajHPDSTEStIWLXZHprC5a3w,1840
-angr/utils/segment_list.py,sha256=noVHVyH0zYshoU3kntPLTQI3_Swo7VV2kfAb0TUccsU,20384
+angr/utils/mp.py,sha256=cv_NeysxLgyCdE-Euefnfv078ia5maHSnUn9f23zz88,1882
+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.103.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.103.dist-info/METADATA,sha256=GZI_LXiKR3gQLXHbU1-EPROTtSZPE03iYE-YY6fiDBg,4707
-angr-9.2.103.dist-info/WHEEL,sha256=S7b8YYk-yJ5La3yIsS368T2_Hd_9s929Seaql3JcY7Q,106
-angr-9.2.103.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.103.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.103.dist-info/RECORD,,
+angr-9.2.105.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.105.dist-info/METADATA,sha256=V1M9-4al8xY_0eM5h_mQmwbpCgm3I3F9M2tUD-IaWJw,4707
+angr-9.2.105.dist-info/WHEEL,sha256=S7b8YYk-yJ5La3yIsS368T2_Hd_9s929Seaql3JcY7Q,106
+angr-9.2.105.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.105.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.105.dist-info/RECORD,,