angr 9.2.153__py3-none-win_amd64.whl → 9.2.154__py3-none-win_amd64.whl

angr/analyses/decompiler/structuring/phoenix.py

@@ -1261,6 +1261,10 @@ class PhoenixStructurer(StructurerBase):
             # update node_a
             node_a = next(iter(nn for nn in graph.nodes if nn.addr == target))
 
+        better_node_a = node_a
+        if isinstance(node_a, SequenceNode) and is_empty_or_label_only_node(node_a.nodes[0]) and len(node_a.nodes) == 2:
+            better_node_a = node_a.nodes[1]
+
         case_and_entry_addrs = self._find_case_and_entry_addrs(node_a, graph, cmp_lb, jump_table)
 
         cases, node_default, to_remove = self._switch_build_cases(
@@ -1272,6 +1276,30 @@ class PhoenixStructurer(StructurerBase):
             full_graph,
         )
 
+        if isinstance(better_node_a, SwitchCaseNode) and better_node_a.default_node is None:
+            # we found a different head for an otherwise complete edge case.
+            # recreate the switch with it.
+            newsc = SwitchCaseNode(better_node_a.switch_expr, better_node_a.cases, node_default, addr=node.addr)
+
+            if node_default is not None and set(graph.succ[node_a]) != set(graph.succ[node_default]):
+                # if node_a and default_node have different successors we need to bail
+                return False
+
+            for pgraph in (graph, full_graph):
+                all_preds = set(pgraph.pred[node])
+                all_succs = set(pgraph.succ[node_a])
+                if node_default is not None:
+                    pgraph.remove_node(node_default)
+                pgraph.remove_node(node)
+                pgraph.remove_node(node_a)
+                pgraph.add_node(newsc)
+                for pred in all_preds:
+                    pgraph.add_edge(pred, newsc)
+                for succ in all_succs:
+                    pgraph.add_edge(newsc, succ)
+
+            return True
+
         if node_default is None:
             switch_end_addr = node_b_addr
         else:

angr/analyses/decompiler/structuring/structurer_nodes.py

@@ -368,6 +368,17 @@ class SwitchCaseNode(BaseNode):
         self.default_node = default_node
         self.addr = addr
 
+    def dbg_repr(self, indent=0) -> str:
+        return (
+            f"SwitchCaseNode(switch_expr={self.switch_expr}, cases=["
+            + ", ".join(
+                hex(case) if isinstance(case, int) else f"({', '.join(hex(ccase) for ccase in case)})"
+                for case in self.cases
+            )
+            + "\n"
+            + f"], default_node={self.default_node})"
+        )
+
 
 class IncompleteSwitchCaseNode(BaseNode):
     """

angr/analyses/reaching_definitions/function_handler.py

@@ -9,7 +9,7 @@ from cle.backends import ELF
 import claripy
 
 from angr.storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
-from angr.sim_type import SimTypeBottom, dereference_simtype
+from angr.sim_type import SimTypeBottom
 from angr.knowledge_plugins.key_definitions.atoms import Atom, Register, MemoryLocation, SpOffset
 from angr.knowledge_plugins.key_definitions.tag import Tag
 from angr.calling_conventions import SimCC
@@ -18,7 +18,7 @@ from angr.knowledge_plugins.key_definitions.definition import Definition
 from angr.knowledge_plugins.functions import Function
 from angr.code_location import CodeLocation, ExternalCodeLocation
 from angr.knowledge_plugins.key_definitions.constants import ObservationPointType
-from angr import SIM_LIBRARIES, SIM_TYPE_COLLECTIONS
+from angr.utils.types import dereference_simtype_by_lib
 
 
 if TYPE_CHECKING:
@@ -221,16 +221,16 @@ class FunctionCallDataUnwrapped(FunctionCallData):
     Typechecks be gone!
     """
 
-    address_multi: MultiValues
-    address: int
+    address_multi: MultiValues  # type: ignore[reportIncompatibleVariableOverride]
+    address: int  # type: ignore[reportIncompatibleVariableOverride]
     symbol: Symbol
-    function: Function
-    name: str
-    cc: SimCC
-    prototype: SimTypeFunction
-    args_atoms: list[set[Atom]]
-    args_values: list[MultiValues]
-    ret_atoms: set[Atom]
+    function: Function  # type: ignore[reportIncompatibleVariableOverride]
+    name: str  # type: ignore[reportIncompatibleVariableOverride]
+    cc: SimCC  # type: ignore[reportIncompatibleVariableOverride]
+    prototype: SimTypeFunction  # type: ignore[reportIncompatibleVariableOverride]
+    args_atoms: list[set[Atom]]  # type: ignore[reportIncompatibleVariableOverride]
+    args_values: list[MultiValues]  # type: ignore[reportIncompatibleVariableOverride]
+    ret_atoms: set[Atom]  # type: ignore[reportIncompatibleVariableOverride]
 
     def __init__(self, inner: FunctionCallData):
         d = dict(inner.__dict__)
@@ -399,14 +399,8 @@ class FunctionHandler:
                 if data.function is not None and data.function.prototype_libname
                 else hook_libname
             )
-            type_collections = []
-            if prototype_libname is not None and prototype_libname in SIM_LIBRARIES:
-                for prototype_lib in SIM_LIBRARIES[prototype_libname]:
-                    if prototype_lib.type_collection_names:
-                        for typelib_name in prototype_lib.type_collection_names:
-                            type_collections.append(SIM_TYPE_COLLECTIONS[typelib_name])
-            if type_collections:
-                prototype = dereference_simtype(data.prototype, type_collections).with_arch(state.arch)
+            if prototype_libname is not None:
+                prototype = dereference_simtype_by_lib(data.prototype, prototype_libname)
                 data.prototype = cast(SimTypeFunction, prototype)
 
         if isinstance(data.prototype, SimTypeFunction):

angr/analyses/stack_pointer_tracker.py

@@ -17,6 +17,7 @@ from angr.knowledge_plugins import Function
 from angr.block import BlockNode
 from angr.errors import SimTranslationError
 from angr.calling_conventions import SimStackArg
+from angr.utils.types import dereference_simtype_by_lib
 
 from .analysis import Analysis
 
@@ -812,10 +813,15 @@ class StackPointerTracker(Analysis, ForwardAnalysis):
                         if v is BOTTOM:
                             incremented = BOTTOM
                         elif callee.prototype is not None:
+                            proto = (
+                                dereference_simtype_by_lib(callee.prototype, callee.prototype_libname)
+                                if callee.prototype_libname
+                                else callee.prototype
+                            )
                             num_stack_args = len(
                                 [
                                     arg_loc
-                                    for arg_loc in callee.calling_convention.arg_locs(callee.prototype)
+                                    for arg_loc in callee.calling_convention.arg_locs(proto)
                                     if isinstance(arg_loc, SimStackArg)
                                 ]
                             )

angr/analyses/variable_recovery/engine_ail.py

@@ -9,10 +9,10 @@ import claripy
 from unique_log_filter import UniqueLogFilter
 
 from angr.engines.light.engine import SimEngineNostmtAIL
-from angr.procedures import SIM_LIBRARIES, SIM_TYPE_COLLECTIONS
-from angr.sim_type import SimTypeFunction, dereference_simtype
+from angr.sim_type import SimTypeFunction
 from angr.analyses.typehoon import typeconsts, typevars
 from angr.analyses.typehoon.lifter import TypeLifter
+from angr.utils.types import dereference_simtype_by_lib
 from .engine_base import SimEngineVRBase, RichR
 
 if TYPE_CHECKING:
@@ -190,17 +190,11 @@ class SimEngineVRAIL(
 
         if prototype is not None and args:
             # add type constraints
-
-            type_collections = []
-            if prototype_libname is not None:
-                for prototype_lib in SIM_LIBRARIES[prototype_libname]:
-                    if prototype_lib.type_collection_names:
-                        for typelib_name in prototype_lib.type_collection_names:
-                            type_collections.append(SIM_TYPE_COLLECTIONS[typelib_name])
-
             for arg, arg_type in zip(args, prototype.args):
                 if arg.typevar is not None:
-                    arg_type = dereference_simtype(arg_type, type_collections).with_arch(arg_type._arch)
+                    arg_type = (
+                        dereference_simtype_by_lib(arg_type, prototype_libname) if prototype_libname else arg_type
+                    )
                     arg_ty = TypeLifter(self.arch.bits).lift(arg_type)
                     type_constraint = typevars.Subtype(arg.typevar, arg_ty)
                     self.state.add_type_constraint(type_constraint)
@@ -209,7 +203,7 @@ class SimEngineVRAIL(
 
     def _handle_stmt_Call(self, stmt):
         target = stmt.target
-        args = []
+        args: list[RichR] = []
         if stmt.args:
             for arg in stmt.args:
                 self._reference_spoffset = True
@@ -283,22 +277,17 @@ class SimEngineVRAIL(
 
         if prototype is not None and args:
             # add type constraints
-
-            type_collections = []
-            if prototype_libname is not None:
-                for prototype_lib in SIM_LIBRARIES[prototype_libname]:
-                    if prototype_lib.type_collection_names:
-                        for typelib_name in prototype_lib.type_collection_names:
-                            type_collections.append(SIM_TYPE_COLLECTIONS[typelib_name])
-
             for arg, arg_type in zip(args, prototype.args):
                 if arg.typevar is not None:
-                    arg_type = dereference_simtype(arg_type, type_collections).with_arch(arg_type._arch)
+                    arg_type = (
+                        dereference_simtype_by_lib(arg_type, prototype_libname) if prototype_libname else arg_type
+                    )
                     arg_ty = TypeLifter(self.arch.bits).lift(arg_type)
-                    if isinstance(arg_ty, typevars.TypeConstraint) and isinstance(arg.typevar, typevars.TypeConstraint):
-                        continue
-                    type_constraint = typevars.Subtype(arg.typevar, arg_ty)
-                    self.state.add_type_constraint(type_constraint)
+                    if arg.typevar is not None and isinstance(
+                        arg_ty, (typeconsts.TypeConstant, typevars.TypeVariable, typevars.DerivedTypeVariable)
+                    ):
+                        type_constraint = typevars.Subtype(arg.typevar, arg_ty)
+                        self.state.add_type_constraint(type_constraint)
 
     def _handle_stmt_Return(self, stmt):
         if stmt.ret_exprs:

angr/analyses/variable_recovery/engine_base.py

@@ -47,7 +47,7 @@ class RichR(Generic[RichRT_co]):
     ):
         self.data = data
         self.variable = variable
-        self.typevar = typevar
+        self.typevar: typeconsts.TypeConstant | typevars.TypeVariable | None = typevar
         self.type_constraints = type_constraints
 
     @property

angr/sim_type.py

@@ -7,7 +7,7 @@ import re
 import logging
 from collections import OrderedDict, defaultdict, ChainMap
 from collections.abc import Iterable
-from typing import Literal, Any, TYPE_CHECKING, cast, overload
+from typing import Literal, Any, cast, overload
 
 from archinfo import Endness, Arch
 import claripy
@@ -17,12 +17,9 @@ import cxxheaderparser.types
 import pycparser
 from pycparser import c_ast
 
-from angr.errors import AngrMissingTypeError, AngrTypeError
+from angr.errors import AngrTypeError
 from angr.sim_state import SimState
 
-if TYPE_CHECKING:
-    from angr.procedures.definitions import SimTypeCollection
-
 StoreType = int | claripy.ast.BV
 
 l = logging.getLogger(name=__name__)
@@ -324,7 +321,7 @@ class SimTypeReg(SimType):
         with contextlib.suppress(AttributeError):
             value = value.ast  # type: ignore
         if isinstance(value, claripy.ast.Bits):  # pylint:disable=isinstance-second-argument-not-valid-type
-            if value.size() != self.size:
+            if value.size() != self.size:  # type: ignore
                 raise ValueError("size of expression is wrong size for type")
         elif isinstance(value, int):
             value = claripy.BVV(value, self.size)
@@ -383,7 +380,7 @@ class SimTypeNum(SimType):
         store_endness = state.arch.memory_endness
 
         if isinstance(value, claripy.ast.Bits):  # pylint:disable=isinstance-second-argument-not-valid-type
-            if value.size() != self.size:
+            if value.size() != self.size:  # type: ignore
                 raise ValueError("size of expression is wrong size for type")
         elif isinstance(value, int) and self.size is not None:
             value = claripy.BVV(value, self.size)
@@ -505,7 +502,12 @@ class SimTypeFixedSizeInt(SimTypeInt):
     _fixed_size: int = 32
 
     def c_repr(
-        self, name=None, full=0, memo=None, indent=0, name_parens: bool = True  # pylint:disable=unused-argument
+        self,
+        name=None,
+        full=0,
+        memo=None,
+        indent: int | None = 0,
+        name_parens: bool = True,  # pylint:disable=unused-argument
     ):
         out = self._base_name
         if not self.signed:
@@ -1653,7 +1655,7 @@ class SimUnion(NamedTypeMixin, SimType):
     def size(self):
         if self._arch is None:
             raise ValueError("Can't tell my size without an arch!")
-        member_sizes = [ty.size for ty in self.members.values() if not isinstance(ty, SimTypeBottom)]
+        member_sizes: list[int] = [ty.size for ty in self.members.values() if not isinstance(ty, SimTypeBottom)]
         # fall back to word size in case all members are SimTypeBottom
         return max(member_sizes) if member_sizes else self._arch.bytes
 
@@ -3652,67 +3654,6 @@ def parse_cpp_file(cpp_decl, with_param_names: bool = False):
     return func_decls, {}
 
 
-def dereference_simtype(
-    t: SimType, type_collections: list[SimTypeCollection], memo: dict[str, SimType] | None = None
-) -> SimType:
-    if memo is None:
-        memo = {}
-
-    if isinstance(t, SimTypeRef):
-        real_type = None
-
-        if t.name in memo:
-            return memo[t.name]
-
-        if type_collections and t.name is not None:
-            for tc in type_collections:
-                try:
-                    real_type = tc.get(t.name)
-                    break
-                except AngrMissingTypeError:
-                    continue
-        if real_type is None:
-            raise AngrMissingTypeError(f"Missing type {t.name}")
-        return dereference_simtype(real_type, type_collections, memo=memo)
-
-    # the following code prepares a real_type SimType object that will be returned at the end of this method
-    if isinstance(t, SimStruct):
-        if t.name in memo:
-            return memo[t.name]
-
-        real_type = t.copy()
-        if not t.anonymous:
-            memo[t.name] = real_type
-        fields = OrderedDict((k, dereference_simtype(v, type_collections, memo=memo)) for k, v in t.fields.items())
-        real_type.fields = fields
-    elif isinstance(t, SimTypePointer):
-        real_pts_to = dereference_simtype(t.pts_to, type_collections, memo=memo)
-        real_type = t.copy()
-        real_type.pts_to = real_pts_to
-    elif isinstance(t, SimTypeArray):
-        real_elem_type = dereference_simtype(t.elem_type, type_collections, memo=memo)
-        real_type = t.copy()
-        real_type.elem_type = real_elem_type
-    elif isinstance(t, SimUnion):
-        real_members = {k: dereference_simtype(v, type_collections, memo=memo) for k, v in t.members.items()}
-        real_type = t.copy()
-        real_type.members = real_members
-    elif isinstance(t, SimTypeFunction):
-        real_args = [dereference_simtype(arg, type_collections, memo=memo) for arg in t.args]
-        real_return_type = (
-            dereference_simtype(t.returnty, type_collections, memo=memo) if t.returnty is not None else None
-        )
-        real_type = t.copy()
-        real_type.args = tuple(real_args)
-        real_type.returnty = real_return_type
-    else:
-        return t
-
-    if t._arch is not None:
-        real_type = real_type.with_arch(t._arch)
-    return real_type
-
-
 if pycparser is not None:
     _accepts_scope_stack()
 

angr/utils/types.py

@@ -1,6 +1,23 @@
 from __future__ import annotations
+from typing import TYPE_CHECKING
+from collections import OrderedDict
 
-from angr.sim_type import TypeRef, SimType, SimTypePointer, SimTypeArray, SimTypeFixedSizeArray
+from angr.sim_type import (
+    TypeRef,
+    SimType,
+    SimTypePointer,
+    SimTypeArray,
+    SimTypeFixedSizeArray,
+    SimTypeRef,
+    SimStruct,
+    SimUnion,
+    SimTypeFunction,
+)
+from angr.errors import AngrMissingTypeError
+from angr import SIM_TYPE_COLLECTIONS, SIM_LIBRARIES
+
+if TYPE_CHECKING:
+    from angr.procedures.definitions import SimTypeCollection
 
 
 def unpack_typeref(ty):
@@ -57,3 +74,78 @@ def squash_array_reference(ty):
         if array_of:
             return SimTypePointer(array_of)
     return ty
+
+
+def dereference_simtype(
+    t: SimType, type_collections: list[SimTypeCollection], memo: dict[str, SimType] | None = None
+) -> SimType:
+    if memo is None:
+        memo = {}
+
+    if isinstance(t, SimTypeRef):
+        real_type = None
+
+        if t.name in memo:
+            return memo[t.name]
+
+        if type_collections and t.name is not None:
+            for tc in type_collections:
+                try:
+                    real_type = tc.get(t.name)
+                    break
+                except AngrMissingTypeError:
+                    continue
+        if real_type is None:
+            raise AngrMissingTypeError(f"Missing type {t.name}")
+        return dereference_simtype(real_type, type_collections, memo=memo)
+
+    # the following code prepares a real_type SimType object that will be returned at the end of this method
+    if isinstance(t, SimStruct):
+        if t.name in memo:
+            return memo[t.name]
+
+        real_type = t.copy()
+        if not t.anonymous:
+            memo[t.name] = real_type
+        fields = OrderedDict((k, dereference_simtype(v, type_collections, memo=memo)) for k, v in t.fields.items())
+        real_type.fields = fields
+    elif isinstance(t, SimTypePointer):
+        real_pts_to = dereference_simtype(t.pts_to, type_collections, memo=memo)
+        real_type = t.copy()
+        real_type.pts_to = real_pts_to
+    elif isinstance(t, SimTypeArray):
+        real_elem_type = dereference_simtype(t.elem_type, type_collections, memo=memo)
+        real_type = t.copy()
+        real_type.elem_type = real_elem_type
+    elif isinstance(t, SimUnion):
+        real_members = {k: dereference_simtype(v, type_collections, memo=memo) for k, v in t.members.items()}
+        real_type = t.copy()
+        real_type.members = real_members
+    elif isinstance(t, SimTypeFunction):
+        real_args = [dereference_simtype(arg, type_collections, memo=memo) for arg in t.args]
+        real_return_type = (
+            dereference_simtype(t.returnty, type_collections, memo=memo) if t.returnty is not None else None
+        )
+        real_type = t.copy()
+        real_type.args = tuple(real_args)
+        real_type.returnty = real_return_type
+    else:
+        return t
+
+    if t._arch is not None:
+        real_type = real_type.with_arch(t._arch)
+    return real_type
+
+
+def dereference_simtype_by_lib(t: SimType, libname: str) -> SimType:
+    if libname not in SIM_LIBRARIES:
+        return t
+
+    type_collections = []
+    for prototype_lib in SIM_LIBRARIES[libname]:
+        if prototype_lib.type_collection_names:
+            for typelib_name in prototype_lib.type_collection_names:
+                type_collections.append(SIM_TYPE_COLLECTIONS[typelib_name])
+    if type_collections:
+        return dereference_simtype(t, type_collections)
+    return t

{angr-9.2.153.dist-info → angr-9.2.154.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: angr
-Version: 9.2.153
+Version: 9.2.154
 Summary: A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
 License: BSD-2-Clause
 Project-URL: Homepage, https://angr.io/
@@ -17,13 +17,13 @@ Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: cxxheaderparser
 Requires-Dist: GitPython
-Requires-Dist: ailment==9.2.153
-Requires-Dist: archinfo==9.2.153
+Requires-Dist: ailment==9.2.154
+Requires-Dist: archinfo==9.2.154
 Requires-Dist: cachetools
 Requires-Dist: capstone==5.0.3
 Requires-Dist: cffi>=1.14.0
-Requires-Dist: claripy==9.2.153
-Requires-Dist: cle==9.2.153
+Requires-Dist: claripy==9.2.154
+Requires-Dist: cle==9.2.154
 Requires-Dist: mulpyplexer
 Requires-Dist: networkx!=2.8.1,>=2.0
 Requires-Dist: protobuf>=5.28.2
@@ -31,7 +31,7 @@ Requires-Dist: psutil
 Requires-Dist: pycparser>=2.18
 Requires-Dist: pydemumble
 Requires-Dist: pyformlang
-Requires-Dist: pyvex==9.2.153
+Requires-Dist: pyvex==9.2.154
 Requires-Dist: rich>=13.1.0
 Requires-Dist: sortedcontainers
 Requires-Dist: sympy

{angr-9.2.153.dist-info → angr-9.2.154.dist-info}/RECORD

@@ -1,4 +1,4 @@
-angr/__init__.py,sha256=ApROccv7-zzv89AOX-4Ox3WeQbu3W39xfautbq4aWfk,9153
+angr/__init__.py,sha256=ymy37RpyLK6hJkrMuf00QEHrqD_rpCvaVPjOR0Pvc7w,9153
 angr/__main__.py,sha256=AK9V6uPZ58UuTKmmiH_Kgn5pG9AvjnmJCPOku69A-WU,4993
 angr/annocfg.py,sha256=0NIvcuCskwz45hbBzigUTAuCrYutjDMwEXtMJf0y0S0,10742
 angr/blade.py,sha256=NhesOPloKJC1DQJRv_HBT18X7oNxK16JwAfNz2Lc1o0,15384
@@ -20,14 +20,14 @@ angr/sim_options.py,sha256=tfl57MFECmA7uvMMtQrRRbpG8g_A9jKOzwY6nApTW6Y,17782
 angr/sim_procedure.py,sha256=EfXQEX-Na7iNtoqc2-KQhs7AR3tsiMYnxEF1v_lL_ok,26235
 angr/sim_state.py,sha256=qK6XPl2Q23xEXBud_SBy1fzVPPcrlx0PEQwMtRKBaBI,33893
 angr/sim_state_options.py,sha256=dsMY3UefvL7yZKXloubMhzUET3N2Crw-Fpw2Vd1ouZQ,12468
-angr/sim_type.py,sha256=Q4fiYpordW0ewqBGh5W25weOwwx-mOIUP85GikQ8iS8,136778
+angr/sim_type.py,sha256=M3Jn3RWYRFnq152pwBFcfPXc9XEyAKqMzkvDgUUG6fU,134454
 angr/sim_variable.py,sha256=tRQXTCE8GO9V_fjC_umiWOm9rY7JLBjq_zrwKptz20g,16625
 angr/slicer.py,sha256=DND0BERanYKafasRH9MDFAng0rSjdjmzXj2-phCD6CQ,10634
 angr/state_hierarchy.py,sha256=qDQCUGXmQm3vOxE3CSoiqTH4OAFFOWZZt9BLhNpeOhA,8484
 angr/tablespecs.py,sha256=Kx1e87FxTx3_ZN7cAHWZSRpdInT4Vfj5gExAWtLkLTw,3259
 angr/vaults.py,sha256=D_gkDegCyPlZMKGC5E8zINYAaZfSXNWbmhX0rXCYpvM,9718
 angr/analyses/__init__.py,sha256=KFu0Otm7bqAcjX8dsnQzphJmkUVxMLssjFIJJOci32U,3479
-angr/analyses/analysis.py,sha256=GxbQ5MSXcLRXsEWeUA1dnFclmt5yitVRC1NdLjNraIk,14852
+angr/analyses/analysis.py,sha256=vXjgq9LlBhROX-QH-V3Y5DZAM7T5r1Qvv5mXjNF9dtw,14909
 angr/analyses/backward_slice.py,sha256=fdE1GbppXjGufLzfOQkeuIzGX0yx9ISHJlOGqS6m1lg,27218
 angr/analyses/binary_optimizer.py,sha256=xFDv8c1s5nQUKY_EWYRCuVroSXFkMiSLl5LngPiysDA,26145
 angr/analyses/bindiff.py,sha256=ysphJ9cg7yxnW7HxOSLYEohrTdq9ZK-8cVvKQ0U9u9M,64020
@@ -56,7 +56,7 @@ angr/analyses/s_liveness.py,sha256=K4soSrcQE9pIn7Yf2Lb3LZEu1ymuQVpWzOqLKunFDGQ,7
 angr/analyses/s_propagator.py,sha256=4MUmjo1aozCT-UeN9IMYlxtMjCoTM6hWwYaYTTjwvCQ,24904
 angr/analyses/smc.py,sha256=UyVaTBms0KI9jRUBhbnz1s6ez_K_oRy4qoPsvxwnoQY,5177
 angr/analyses/soot_class_hierarchy.py,sha256=R4xeacn-a_Q7PxSyj_stu5mnglZkPB5US5srKChX3mk,8740
-angr/analyses/stack_pointer_tracker.py,sha256=XcqCwqurI8x-N4mU_yfQWwIQNkj3fTtXYkUvw2PFIzw,37821
+angr/analyses/stack_pointer_tracker.py,sha256=M75GLS_YsnjjKwZ8_AZftG8l27Z45fPYwiid2rksTJM,38151
 angr/analyses/static_hooker.py,sha256=AYJXoHtdq2m-MgpJbx4eur7wy7llrKXvsVM5NdPcKHU,1852
 angr/analyses/veritesting.py,sha256=M6WNsbgiv4ScFPQIaFzujNFya66rQ9GSieaRLuC6RSo,25062
 angr/analyses/vfg.py,sha256=04X_mup9P82bkQIXMju3_DBPPJB1TytA_7RR9uAu3tU,72868
@@ -65,7 +65,7 @@ angr/analyses/vtable.py,sha256=1Ed7jzr99rk9VgOGzcxBw_6GFqby5mIdSTGPqQPhcZM,3872
 angr/analyses/xrefs.py,sha256=vs6cpVmwXHOmxrI9lJUwCRMYbPSqvIQXS5_fINMaOGI,10290
 angr/analyses/calling_convention/__init__.py,sha256=bK5VS6AxT5l86LAhTL7l1HUT9IuvXG9x9ikbIohIFoE,194
 angr/analyses/calling_convention/calling_convention.py,sha256=4QeL92Ec05cVArhunJc43rCgZD3ScHaasOmCmFfsOpU,46601
-angr/analyses/calling_convention/fact_collector.py,sha256=dIQGPHHFDNGgAcx6w4cGmjsdxKEZyu_JFBc8tsk2kWw,28885
+angr/analyses/calling_convention/fact_collector.py,sha256=SCdNm-6qfgj-SRnbtPpzzkZBS0nH0Ik3zPn5wLG6-7Y,28480
 angr/analyses/calling_convention/utils.py,sha256=twkO073RvkkFXnOTc-KYQT1GKUtz0OPjxh0N6AWIriQ,2110
 angr/analyses/cfg/__init__.py,sha256=-w8Vd6FD6rtjlQaQ7MxwmliFgS2zt-kZepAY4gHas04,446
 angr/analyses/cfg/cfb.py,sha256=scykl1FJvqcTe2x69zreWi0PG_zYMbka3k6tlRwaD_g,15367
@@ -73,7 +73,7 @@ angr/analyses/cfg/cfg.py,sha256=dc9M91CaLeEKduYfMwpsT_01x6XyYuoNvgvcDKtbN-I,3177
 angr/analyses/cfg/cfg_arch_options.py,sha256=_XRewFZ51SeNaxChadb6_ER7-8LW8KXeTIpoP8_iRj0,3506
 angr/analyses/cfg/cfg_base.py,sha256=VEsUvo4ySnvMvrphcJjAhCHfh7BX9jmY7KrHc2U_Hgc,123441
 angr/analyses/cfg/cfg_emulated.py,sha256=wL0ABJMZ8EwKbNjrpE_eqCkZpHDt4y6lmoQOmAIcJMQ,148235
-angr/analyses/cfg/cfg_fast.py,sha256=nZVk_Wm1ylS3acBYKN_TDD-8sKg67Gg7mhOI54TYfrA,230949
+angr/analyses/cfg/cfg_fast.py,sha256=vhu-6aPdIaltstPhhtWOpJBCR_M-iB6-5NH-Krh7cUo,231031
 angr/analyses/cfg/cfg_fast_soot.py,sha256=8YgMtY_8w4nAMcHR6n-q_eFvKwsvNz0anUH7EzIL1B4,25924
 angr/analyses/cfg/cfg_job_base.py,sha256=Zshze972MakTsd-licQz77lac17igQaaTsAteHeHhYQ,5974
 angr/analyses/cfg/indirect_jump_resolvers/__init__.py,sha256=qWiTSIAQgXWmaYa9YYaiKsSTwUVClymaXv9sCX-bY-k,835
@@ -106,10 +106,10 @@ angr/analyses/decompiler/ailgraph_walker.py,sha256=m71HCthOr9J8PZoMxJzCPskay8yfC
 angr/analyses/decompiler/block_io_finder.py,sha256=xMwG8Bi69OGNYVs0U0F4yxM8kEsnyrsMrf0gEr8dOEw,10923
 angr/analyses/decompiler/block_similarity.py,sha256=SseCdWgh-kS9q_C_BRxlQ4OwCRQfg-9IyncxKXm_OG8,6849
 angr/analyses/decompiler/block_simplifier.py,sha256=Di5UXgBIXp0pa3_ubHY4k9vj927xAFR3oCUZ16Q3WvE,14229
-angr/analyses/decompiler/callsite_maker.py,sha256=ZjtLdxDCLS0WPqOik9bCek2LyuAtQNYA4V-yqGLeENo,23032
-angr/analyses/decompiler/clinic.py,sha256=5gs11WIfT7HAFKvVGdPjQHgrMRO8SXHw2zra1r9j63A,146384
+angr/analyses/decompiler/callsite_maker.py,sha256=UKrRCzts2eIc-6tyWsZdrJ6S925cieal9MAz34jNwTo,23140
+angr/analyses/decompiler/clinic.py,sha256=Qq99SIJJF7SHgO_LIG3JBI_F8bbPTPCbmYuYHFsNZqk,146070
 angr/analyses/decompiler/condition_processor.py,sha256=61VDwVA1e-oKsv0N8kvh3c5QOdQixrkBZcm3RLuw7KU,52679
-angr/analyses/decompiler/decompilation_cache.py,sha256=oNkeyrEXhyinrN7-fKeDEuGP6I_oAclGjRS4Aa36FoE,1488
+angr/analyses/decompiler/decompilation_cache.py,sha256=gAZtyXs-eoFj3680bTrJVAZcIoaPsFK0kayu30NYLb4,1509
 angr/analyses/decompiler/decompilation_options.py,sha256=NDB67DI1L-stvJ4b1eQkfV26HgDJ_rG9-6PEv08G9-8,8195
 angr/analyses/decompiler/decompiler.py,sha256=qbYhdYbWxkbyHYf3D4py7ehXvsOUbXWgz7aCtTXixRE,29828
 angr/analyses/decompiler/empty_node_remover.py,sha256=_RAGjqDyRmannEGPcMmWkL7em990-_sKgl5CYreb-yI,7403
@@ -130,7 +130,7 @@ angr/analyses/decompiler/utils.py,sha256=li5ijfTZpkRvDFh0zvLj90jyoBLDIgDapc9suc5
 angr/analyses/decompiler/ccall_rewriters/__init__.py,sha256=TrnykR5cGCXy85f8OApJBjWSQ8WQSzjrnpND2fODWG8,207
 angr/analyses/decompiler/ccall_rewriters/amd64_ccalls.py,sha256=2kw0H-QNTt03xEm_CKIx-WwXuh7JVMeNDlENdHvXxDU,24953
 angr/analyses/decompiler/ccall_rewriters/rewriter_base.py,sha256=VbCENcybYUGrBD6U1Bp4nonNeEf05z_qhrpHBcyJw_4,496
-angr/analyses/decompiler/ccall_rewriters/x86_ccalls.py,sha256=3osgrQXaq4ArvnJNOChvzaNtovahEjfEl7igPddh-0c,2499
+angr/analyses/decompiler/ccall_rewriters/x86_ccalls.py,sha256=tZBHtcY0ifSNcamQS0TfUfEb9ERBS5qJjaMPlzxe5Jg,11494
 angr/analyses/decompiler/counters/__init__.py,sha256=UT5K0cWgkVTAXZxy1qBBzrQip3YR2BOBVpxlAuNlt5o,480
 angr/analyses/decompiler/counters/boolean_counter.py,sha256=7htcU99D0fR_aDMi8p2MVuYqJRLDxZWAT29JlQSX6z4,873
 angr/analyses/decompiler/counters/call_counter.py,sha256=9zGhDElg-74EFL0ZVF7XaxDNzwWaSs5Vd2BDKthdFGU,1407
@@ -258,22 +258,22 @@ angr/analyses/decompiler/ssailification/__init__.py,sha256=zcHoI7e2El2RSU_bHTpQR
 angr/analyses/decompiler/ssailification/rewriting.py,sha256=JW_StoLWuDs2LGyG8XjRUbzvQl7-7s2B8j1GKVaYoDo,15045
 angr/analyses/decompiler/ssailification/rewriting_engine.py,sha256=WpgymMtZPYBPnyHZwzrcGrLHZ1juX0-NgPfPLOH937M,40905
 angr/analyses/decompiler/ssailification/rewriting_state.py,sha256=L7apDXQLPiItuLdQFoQdut5RMUE8MRV1zRc3CsnuH6E,1883
-angr/analyses/decompiler/ssailification/ssailification.py,sha256=GC8ue6Ywxtv0xG1XmxRUZz1HFpc19iOGk05yAsXRNvw,11035
+angr/analyses/decompiler/ssailification/ssailification.py,sha256=Iszu52nKSupnNA5usRDhPPyJHFSvQsFJ5kU15n0V2Jw,11083
 angr/analyses/decompiler/ssailification/traversal.py,sha256=kZcua4SlDZ8u4EIkjc1Qh85EEYGX63PZ2NYPNq78Kzs,4011
 angr/analyses/decompiler/ssailification/traversal_engine.py,sha256=oXTf4Z3Q2vPSGAlAPxsSKrqqDVJ3vRcg6LpNK0qJ51k,11419
 angr/analyses/decompiler/ssailification/traversal_state.py,sha256=RDs2mTc6GYnbMom2gBfNfNMcazKMSkhemEmse8uELTY,1558
 angr/analyses/decompiler/structured_codegen/__init__.py,sha256=mxG4yruPAab8735wVgXZ1zu8qFPz-njKe0m5UcywE3o,633
 angr/analyses/decompiler/structured_codegen/base.py,sha256=DEeNrBOC8AAJb-qFyUoYeX8fpHSPmAsutCDF-0UhaQ4,3782
-angr/analyses/decompiler/structured_codegen/c.py,sha256=IWOsy9St6_jd9fkNb4c4GVIpFZxtY6LJe7u2ngUpJ34,147855
+angr/analyses/decompiler/structured_codegen/c.py,sha256=q4hYqQrqgi8-xA3SE4IYG4RsfrRreiVQdpwFgOvqEhY,147827
 angr/analyses/decompiler/structured_codegen/dummy.py,sha256=JZLeovXE-8C-unp2hbejxCG30l-yCx4sWFh7JMF_iRM,570
 angr/analyses/decompiler/structured_codegen/dwarf_import.py,sha256=J6V40RuIyKXN7r6ESftIYfoREgmgFavnUL5m3lyTzlM,7072
 angr/analyses/decompiler/structuring/__init__.py,sha256=kEFP-zv9CZrhJtLTKwT9-9cGVTls71wLYaLDUuYorBU,711
 angr/analyses/decompiler/structuring/dream.py,sha256=WOvtyQ0ZRABfF2bSQz1kcB_X3KHCL4x3QrJA6YNbgUc,48720
-angr/analyses/decompiler/structuring/phoenix.py,sha256=4GmQno5KlL4h8A6SPWsf_5QTGbXHw3_8BVcoJRNLDKw,138321
+angr/analyses/decompiler/structuring/phoenix.py,sha256=ADOKtMMI8yvfUaAnEJ__sPf9Z4kHq8qfNvwsmz-qb3M,139638
 angr/analyses/decompiler/structuring/recursive_structurer.py,sha256=4lHkzsEDSGsiEHrAImaJ4cQOmoZes87_GDSzOby90Rc,7219
 angr/analyses/decompiler/structuring/sailr.py,sha256=6lM9cK3iU1kQ_eki7v1Z2VxTiX5OwQzIRF_BbEsw67Q,5721
 angr/analyses/decompiler/structuring/structurer_base.py,sha256=3TBpv5gE7CfUrRd1TihDDqMVUJnMstO6v6PXJYAOlpA,47399
-angr/analyses/decompiler/structuring/structurer_nodes.py,sha256=x1lnHOSaOoQsXJQvHi0jnMe3SdaFUU9tY1mX0Sx6JUI,12318
+angr/analyses/decompiler/structuring/structurer_nodes.py,sha256=5V5UEpFgyN4kZUqyDltiwtqxbcA8nS5hwLv5XSVH-ek,12711
 angr/analyses/deobfuscator/__init__.py,sha256=7DgTLEs8P6fWJYkMcAjxnS4jjBDX2jJr8bjYvsTua2c,648
 angr/analyses/deobfuscator/api_obf_finder.py,sha256=044ZCXK6D5BZjVyPfe0isAFDzDDDDzy_oJrfm5fDLew,13686
 angr/analyses/deobfuscator/api_obf_peephole_optimizer.py,sha256=pyWZgSUyHQ2bnD9Kt3P8fDVwH1QsYrtf2UQJKHVyzVo,2210
@@ -345,7 +345,7 @@ angr/analyses/reaching_definitions/dep_graph.py,sha256=yOuYhAYQQSi2aN6GIWYkgzquq
 angr/analyses/reaching_definitions/engine_ail.py,sha256=7w3I1mWwvk1FxPTbPS-UCR9Mdbn_YJ_Ltyvbo4Mx5hU,46623
 angr/analyses/reaching_definitions/engine_vex.py,sha256=K486MkRAvTcTFD52pJtmjWbuVw7KURtGCEC0EDhJmRk,45601
 angr/analyses/reaching_definitions/external_codeloc.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-angr/analyses/reaching_definitions/function_handler.py,sha256=ZwtBHoAAocYIIUYVjg51sG7ejdmTnXrQzbYlUgkDKXA,29105
+angr/analyses/reaching_definitions/function_handler.py,sha256=Xi3ZqxShzBx77CsncJKPHjBAXX3-F-akU3XwpNvaunU,29135
 angr/analyses/reaching_definitions/heap_allocator.py,sha256=NQ9wBolyyUlCnQl8K0Gt0XVHhQAkRhNGa1MM9gRV9s8,2626
 angr/analyses/reaching_definitions/rd_initializer.py,sha256=z6LzV6UOWYg0G-Jnp4M16eFzOeX910YDt1rc-FEA4Kk,11156
 angr/analyses/reaching_definitions/rd_state.py,sha256=nVtfjqGMNBCgM7yGczkBwPn7XEkfOeIO6qGyxONvcnY,22870
@@ -374,8 +374,8 @@ angr/analyses/unpacker/obfuscation_detector.py,sha256=VWMHOO2UbyiGzRYzAq9yrU3WwZ
 angr/analyses/unpacker/packing_detector.py,sha256=SO6aXR1gZkQ7w17AAv3C1-U2KAc0yL9OIQqjNOtVnuo,5331
 angr/analyses/variable_recovery/__init__.py,sha256=eA1SHzfSx8aPufUdkvgMmBnbI6VDYKKMJklcOoCO7Ao,208
 angr/analyses/variable_recovery/annotations.py,sha256=2va7cXnRHYqVqXeVt00QanxfAo3zanL4BkAcC0-Bk20,1438
-angr/analyses/variable_recovery/engine_ail.py,sha256=7kGaMVV_h4UAholuJYXazSk0a6CXk3p9H2cd8kQJ7wI,33991
-angr/analyses/variable_recovery/engine_base.py,sha256=HFv-grnBD8ubSfDykn3-mLegVwn6T0SgCE3F7sgOxs8,52348
+angr/analyses/variable_recovery/engine_ail.py,sha256=6G-Py2kOvdEIXMA_LBa8S-ns2gLgRiGWrA3lmaaDGcA,33392
+angr/analyses/variable_recovery/engine_base.py,sha256=nTvTYiUiVXJKwDd9Va_KWv1EYLceIQJ6Fnhv4nTIIws,52404
 angr/analyses/variable_recovery/engine_vex.py,sha256=5Q2S1jAr7tALa0m0okqBHBe3cUePmJlnV1Grxos1xbo,21344
 angr/analyses/variable_recovery/irsb_scanner.py,sha256=1dL2IC7fZGuRrhmcpa2Q-G666aMPmbM8zSzmIRpLNSY,5141
 angr/analyses/variable_recovery/variable_recovery.py,sha256=s5hwY9oOibhLxsJIePhYRmrX0mrDIi_zKkfNblwYyhE,22169
@@ -572,7 +572,7 @@ angr/knowledge_plugins/xrefs/__init__.py,sha256=5PhqVOtTZ27lCjJ9wp7akUeJydqILbyC
 angr/knowledge_plugins/xrefs/xref.py,sha256=U2H1rfffp5EXoh0awlGxMBxA4K5MIwl3CXjV3Uih3tA,4856
 angr/knowledge_plugins/xrefs/xref_manager.py,sha256=1n373rtV91xicAfSUresRigsZ6qCBhPOaJKrN_SW3QY,4157
 angr/knowledge_plugins/xrefs/xref_types.py,sha256=LcQ9pD4E4XlC51Us49xiqAoGAFGpnCrpYO4mOzILiKI,308
-angr/lib/angr_native.dll,sha256=0YukQKsQnbLplmkevN986TJovizcP6DhkHJ5fuJYNVU,786432
+angr/lib/angr_native.dll,sha256=WMP8N20efvUlcCvuHcWig77Yy54GxEAdgrIa0x2Es1c,786432
 angr/misc/__init__.py,sha256=FoUwjk1DhqlIsr2sBN0MlR8MnSOGQv9QJhxmq32RYuA,355
 angr/misc/ansi.py,sha256=nPJHC0SKfqasMQZ0LxdmmIYojjmk4nr5jI6FrzoTwS0,811
 angr/misc/autoimport.py,sha256=iZagpuPwZWczUTYIqs-JkDMQjftMqc_cchcm7OBFiEg,3450
@@ -1380,13 +1380,13 @@ angr/utils/orderedset.py,sha256=aGfmLdOS77nzz2eoPpCqRICqzaAeBnuis1Et_I_hiZg,2047
 angr/utils/segment_list.py,sha256=DulfCDdNETMehseRey64FkjmORQvoSyVd9eRZ4sQ7tw,21065
 angr/utils/tagged_interval_map.py,sha256=rXKBuT14N23AAntpOKhZhmA-qqymnsvjpheFXoTRVRA,4417
 angr/utils/timing.py,sha256=n-YZ86g0ZWmLhsoNvcimRpKzewR5hmquLZe6fagxlBw,2224
-angr/utils/types.py,sha256=5EDtrusFLf1fIcMz8fgJiPPsUhpEm0bf_oqZ_PSRje0,1836
+angr/utils/types.py,sha256=688trvR0_j93sfeRgFT1npcmjNGSx99m_IPe9Xyy9WY,4967
 angr/utils/ssa/__init__.py,sha256=ZUPoK7Y1k-7vQkvoYUYPMdjfGh4oC6W3VbWzV_udZHg,14020
 angr/utils/ssa/tmp_uses_collector.py,sha256=rSpvMxBHzg-tmvhsfjn3iLyPEKzaZN-xpQrdslMq3J4,793
 angr/utils/ssa/vvar_uses_collector.py,sha256=O2aNZeM5DL8qatyhYuMhgbYGFp6Onm2yr9pKq1wRjA0,1347
-angr-9.2.153.dist-info/licenses/LICENSE,sha256=PmWf0IlSz6Jjp9n7nyyBQA79Q5C2ma68LRykY1V3GF0,1456
-angr-9.2.153.dist-info/METADATA,sha256=7zbmq1935zLL2CjJjYt07583EFXyi1eR7E4N94lMNpo,5033
-angr-9.2.153.dist-info/WHEEL,sha256=Mv7D9w4tJNVb5JvENyILBtE04nAt1owRiRB6gJbVPe4,97
-angr-9.2.153.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.153.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.153.dist-info/RECORD,,
+angr-9.2.154.dist-info/licenses/LICENSE,sha256=PmWf0IlSz6Jjp9n7nyyBQA79Q5C2ma68LRykY1V3GF0,1456
+angr-9.2.154.dist-info/METADATA,sha256=RT0xn8p_s0XNCBwHuHMdb1IQ9ivocdZezc6MSHdqAAw,5033
+angr-9.2.154.dist-info/WHEEL,sha256=NksL3MEVxGzZIk3JFq-Onsaky3opSuETMvlFyzpKtnA,97
+angr-9.2.154.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.154.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.154.dist-info/RECORD,,