angr 9.2.88__py3-none-manylinux2014_x86_64.whl → 9.2.89__py3-none-manylinux2014_x86_64.whl

angr/__init__.py

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

angr/analyses/decompiler/decompiler.py

@@ -349,6 +349,9 @@ class Decompiler(Analysis):
             # only for post region id opts
             if pass_.STAGE != OptimizationPassStage.DURING_REGION_IDENTIFICATION:
                 continue
+            if pass_.STRUCTURING:
+                if self._recursive_structurer_params["structurer_cls"].NAME not in pass_.STRUCTURING:
+                    continue
 
             a = pass_(
                 self.func,

angr/analyses/decompiler/optimization_passes/__init__.py

@@ -45,6 +45,9 @@ _all_optimization_passes = [
     (FlipBooleanCmp, True),
 ]
 
+# these passes may duplicate code to remove gotos or improve the structure of the graph
+DUPLICATING_OPTS = [ReturnDuplicator, CrossJumpReverter]
+
 
 def get_optimization_passes(arch, platform):
     if isinstance(arch, Arch):

angr/analyses/decompiler/optimization_passes/cross_jump_reverter.py

@@ -1,3 +1,4 @@
+from collections import defaultdict
 from itertools import count
 import copy
 import logging
@@ -24,6 +25,7 @@ class CrossJumpReverter(StructuringOptimizationPass):
     PLATFORMS = None
     STAGE = OptimizationPassStage.DURING_REGION_IDENTIFICATION
     NAME = "Duplicate linear blocks with gotos"
+    STRUCTURING = ["phoenix"]
     DESCRIPTION = inspect.cleandoc(__doc__).strip()
 
     def __init__(
@@ -36,7 +38,7 @@ class CrossJumpReverter(StructuringOptimizationPass):
         max_call_duplications: int = 2,
         **kwargs,
     ):
-        super().__init__(func, max_opt_iters=max_opt_iters, **kwargs)
+        super().__init__(func, max_opt_iters=max_opt_iters, strictly_less_gotos=True, **kwargs)
 
         self.node_idx = count(start=node_idx_start)
         self._max_call_dup = max_call_duplications
@@ -46,14 +48,15 @@ class CrossJumpReverter(StructuringOptimizationPass):
         return True, None
 
     def _analyze(self, cache=None):
-        to_update = {}
+        to_update = defaultdict(list)
         for node in self.out_graph.nodes:
             gotos = self._goto_manager.gotos_in_block(node)
             # TODO: support if-stmts
             if not gotos or len(gotos) >= 2:
                 continue
 
-            # only single reaching gotos
+            # only blocks that have a single outgoing goto are candidates
+            # for duplicates
             goto = list(gotos)[0]
             for goto_target in self.out_graph.successors(node):
                 if goto_target.addr == goto.dst_addr:
@@ -61,46 +64,45 @@ class CrossJumpReverter(StructuringOptimizationPass):
             else:
                 goto_target = None
 
-            if goto_target is None:
-                continue
-
-            if self.out_graph.out_degree(goto_target) != 1:
+            # the target goto block should only have a single outgoing edge
+            # this prevents duplication of conditions
+            if goto_target is None or self.out_graph.out_degree(goto_target) != 1:
                 continue
 
+            # minimize the number of calls in the target block that can be duplicated
+            # to prevent duplication of big blocks
             counter = AILBlockCallCounter()
             counter.walk(goto_target)
             if counter.calls > self._max_call_dup:
                 continue
 
-            # og_block -> suc_block (goto target)
-            to_update[node] = goto_target
+            # [goto_target] = (pred1, pred2, ...)
+            to_update[goto_target].append(node)
 
         if not to_update:
             return False
 
         updates = False
-        for target_node, goto_node in to_update.items():
-            if (target_node, goto_node) not in self.out_graph.edges:
+        sorted_targets = sorted(to_update.items(), key=lambda x: x[0].addr)
+        for goto_target, pred_to_update in sorted_targets:
+            pred_to_update = sorted(pred_to_update, key=lambda x: x.addr)
+            # do some sanity checks
+            update_edges = [(pred, goto_target) for pred in pred_to_update]
+            if not all(self.out_graph.has_edge(*edge) for edge in update_edges):
                 continue
 
-            # always make a copy if there is a goto edge
-            cp = copy.deepcopy(goto_node)
-            cp.idx = next(self.node_idx)
-
-            # remove this goto edge from original
-            self.out_graph.remove_edge(target_node, goto_node)
-
-            # add a new edge to the copy
-            self.out_graph.add_edge(target_node, cp)
-
-            # make sure the copy has the same successor as before!
-            suc = list(self.out_graph.successors(goto_node))[0]
-            self.out_graph.add_edge(cp, suc)
+            current_preds = list(self.out_graph.predecessors(goto_target))
+            delete_original = len(current_preds) == len(pred_to_update)
 
-            # kill the original if we made enough copies to drain in-degree
-            if self.out_graph.in_degree(goto_node) == 0:
-                self.out_graph.remove_node(goto_node)
+            # update the edges
+            for src, goto_blk in update_edges:
+                cp = copy.deepcopy(goto_blk)
+                cp.idx = next(self.node_idx)
+                self.out_graph.remove_edge(src, goto_blk)
+                self.out_graph.add_edge(src, cp)
 
             updates = True
+            if delete_original:
+                self.out_graph.remove_node(goto_target)
 
         return updates

angr/analyses/decompiler/optimization_passes/optimization_pass.py

@@ -249,10 +249,18 @@ class StructuringOptimizationPass(OptimizationPass):
     STAGE = OptimizationPassStage.DURING_REGION_IDENTIFICATION
 
     def __init__(
-        self, func, prevent_new_gotos=True, recover_structure_fails=True, max_opt_iters=1, simplify_ail=True, **kwargs
+        self,
+        func,
+        prevent_new_gotos=True,
+        strictly_less_gotos=False,
+        recover_structure_fails=True,
+        max_opt_iters=1,
+        simplify_ail=True,
+        **kwargs,
     ):
         super().__init__(func, **kwargs)
         self._prevent_new_gotos = prevent_new_gotos
+        self._strictly_less_gotos = strictly_less_gotos
         self._recover_structure_fails = recover_structure_fails
         self._max_opt_iters = max_opt_iters
         self._simplify_ail = simplify_ail
@@ -298,9 +306,14 @@ class StructuringOptimizationPass(OptimizationPass):
             # this should not (TM) change the structure of the graph but is needed for later optimizations
             self.out_graph = self._simplify_ail_graph(self.out_graph)
 
-        if self._prevent_new_gotos and (len(self._goto_manager.gotos) > len(initial_gotos)):
-            self.out_graph = None
-            return
+        if self._prevent_new_gotos:
+            prev_gotos = len(initial_gotos)
+            new_gotos = len(self._goto_manager.gotos)
+            if (self._strictly_less_gotos and (new_gotos >= prev_gotos)) or (
+                not self._strictly_less_gotos and (new_gotos > prev_gotos)
+            ):
+                self.out_graph = None
+                return
 
     def _fixed_point_analyze(self, cache=None):
         for _ in range(self._max_opt_iters):

angr/analyses/typehoon/lifter.py

@@ -9,8 +9,9 @@ from ...sim_type import (
     SimTypeLongLong,
     SimTypePointer,
     SimStruct,
+    SimTypeArray,
 )
-from .typeconsts import BottomType, Int8, Int16, Int32, Int64, Pointer32, Pointer64, Struct
+from .typeconsts import BottomType, Int8, Int16, Int32, Int64, Pointer32, Pointer64, Struct, Array
 
 if TYPE_CHECKING:
     from .typeconsts import TypeConstant
@@ -56,11 +57,18 @@ class TypeLifter:
 
     def _lift_SimStruct(self, ty: SimStruct) -> Union["TypeConstant", BottomType]:
         converted_fields = {}
+        field_names = {}
+        ty_offsets = ty.offsets
         for field_name, simtype in ty.fields.items():
-            if field_name not in ty.offsets:
+            if field_name not in ty_offsets:
                 return BottomType()
-            converted_fields[ty.offsets[field_name]] = self.lift(simtype)
-        return Struct(fields=converted_fields, name=ty.name)
+            converted_fields[ty_offsets[field_name]] = self.lift(simtype)
+            field_names[ty_offsets[field_name]] = field_name
+        return Struct(fields=converted_fields, name=ty.name, field_names=field_names)
+
+    def _lift_SimTypeArray(self, ty: SimTypeArray) -> Array:
+        elem_type = self.lift(ty.elem_type)
+        return Array(elem_type, count=ty.length)
 
 
 _mapping = {
@@ -71,4 +79,5 @@ _mapping = {
     SimTypeLongLong: TypeLifter._lift_SimTypeLongLong,
     SimTypePointer: TypeLifter._lift_SimTypePointer,
     SimStruct: TypeLifter._lift_SimStruct,
+    SimTypeArray: TypeLifter._lift_SimTypeArray,
 }

angr/analyses/typehoon/simple_solver.py

@@ -37,6 +37,7 @@ from .typeconsts import (
     Pointer32,
     Pointer64,
     Struct,
+    Array,
     Function,
     int_type,
 )
@@ -57,6 +58,7 @@ PRIMITIVE_TYPES = {
     Pointer64(),
     BottomType(),
     Struct(),
+    Array(),
 }
 
 Top_ = TopType()
@@ -69,6 +71,7 @@ Bottom_ = BottomType()
 Pointer64_ = Pointer64()
 Pointer32_ = Pointer32()
 Struct_ = Struct()
+Array_ = Array()
 
 # lattice for 64-bit binaries
 BASE_LATTICE_64 = networkx.DiGraph()
@@ -869,6 +872,8 @@ class SimpleSolver:
                 SimpleSolver._typevar_inside_set(field_typevar, typevar_set)
                 for field_typevar in typevar.fields.values()
             )
+        if isinstance(typevar, Array) and Array_ in typevar_set:
+            return SimpleSolver._typevar_inside_set(typevar.element, typevar_set)
         if isinstance(typevar, Pointer) and (Pointer32_ in typevar_set or Pointer64_ in typevar_set):
             return SimpleSolver._typevar_inside_set(typevar.basetype, typevar_set)
         return False

angr/analyses/typehoon/translator.py

@@ -91,11 +91,11 @@ class TypeTranslator:
             internal = self._tc2simtype(tc.basetype)
         return sim_type.SimTypePointer(internal).with_arch(self.arch)
 
-    def _translate_Array(self, tc: typeconsts.Array):
+    def _translate_Array(self, tc: typeconsts.Array) -> sim_type.SimTypeArray:
         elem_type = self._tc2simtype(tc.element)
         return sim_type.SimTypeArray(elem_type, length=tc.count).with_arch(self.arch)
 
-    def _translate_Struct(self, tc):
+    def _translate_Struct(self, tc: typeconsts.Struct):
         if tc in self.structs:
             return self.structs[tc]
 
@@ -122,7 +122,11 @@ class TypeTranslator:
                 # for now, we replace it with an unsigned char
                 translated_type = sim_type.SimTypeChar(signed=False).with_arch(self.arch)
 
-            s.fields["field_%x" % offset] = translated_type
+            if tc.field_names and offset in tc.field_names:
+                field_name = tc.field_names[offset]
+            else:
+                field_name = f"field_{offset:x}"
+            s.fields[field_name] = translated_type
 
             if isinstance(translated_type, SimTypeTempRef):
                 next_offset = self.arch.bytes + offset

angr/analyses/typehoon/typeconsts.py

@@ -170,8 +170,8 @@ class Pointer64(Pointer, Int64):
 
 
 class Array(TypeConstant):
-    def __init__(self, element, count=None):
-        self.element: TypeConstant = element
+    def __init__(self, element=None, count=None):
+        self.element: Optional[TypeConstant] = element
         self.count: Optional[int] = count
 
     @memoize
@@ -195,9 +195,10 @@ class Array(TypeConstant):
 
 
 class Struct(TypeConstant):
-    def __init__(self, fields=None, name=None):
+    def __init__(self, fields=None, name=None, field_names=None):
         self.fields = {} if fields is None else fields  # offset to type
         self.name = name
+        self.field_names = field_names
 
     def _hash(self, visited: Set[int]):
         if id(self) in visited:

angr/exploration_techniques/tracer.py

@@ -1041,6 +1041,8 @@ class Tracer(ExplorationTechnique):
 
         # now remove our breakpoints since other people might not want them
         for s in [last_state, crash_state]:
+            if s is None:
+                continue
             s.inspect.remove_breakpoint("address_concretization", bp1)
             s.inspect.remove_breakpoint("address_concretization", bp2)
 

angr/procedures/definitions/__init__.py

@@ -647,6 +647,10 @@ def load_external_definitions():
                 l.warning("External library definitions directory %s does not exist or is not a directory.", d)
 
     if _EXTERNAL_DEFINITIONS_DIRS:
+        # we must load all definitions prior to any external definitions are loaded. otherwise external definitions may
+        # be overwritten by embedded definitions in angr, which is undesirable
+        load_all_definitions()
+
         for d in _EXTERNAL_DEFINITIONS_DIRS:
             for _ in autoimport.auto_import_source_files(d):
                 pass

angr/utils/graph.py

@@ -683,8 +683,27 @@ class GraphUtils:
         # find all strongly connected components in the graph
         sccs = [scc for scc in networkx.strongly_connected_components(graph) if len(scc) > 1]
 
+        def _sort_edge(edge):
+            """
+            A sorter to make a deterministic order of edges.
+            """
+            _src, _dst = edge
+            src_addr, dst_addr = 0, 0
+            if hasattr(_src, "addr"):
+                src_addr = _src.addr
+            elif isinstance(_src, int):
+                src_addr = _src
+
+            if hasattr(_dst, "addr"):
+                dst_addr = _dst.addr
+            elif isinstance(_dst, int):
+                dst_addr = _dst
+
+            return src_addr + dst_addr
+
         # collapse all strongly connected components
-        for src, dst in graph.edges():
+        edges = sorted(list(graph.edges()), key=_sort_edge)
+        for src, dst in edges:
             scc_index = GraphUtils._components_index_node(sccs, src)
             if scc_index is not None:
                 src = SCCPlaceholder(scc_index)

{angr-9.2.88.dist-info → angr-9.2.89.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: angr
-Version: 9.2.88
+Version: 9.2.89
 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
@@ -17,13 +17,13 @@ Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: CppHeaderParser
 Requires-Dist: GitPython
-Requires-Dist: ailment ==9.2.88
-Requires-Dist: archinfo ==9.2.88
+Requires-Dist: ailment ==9.2.89
+Requires-Dist: archinfo ==9.2.89
 Requires-Dist: cachetools
 Requires-Dist: capstone ==5.0.0.post1
 Requires-Dist: cffi >=1.14.0
-Requires-Dist: claripy ==9.2.88
-Requires-Dist: cle ==9.2.88
+Requires-Dist: claripy ==9.2.89
+Requires-Dist: cle ==9.2.89
 Requires-Dist: dpkt
 Requires-Dist: itanium-demangler
 Requires-Dist: mulpyplexer
@@ -33,7 +33,7 @@ Requires-Dist: protobuf >=3.19.0
 Requires-Dist: psutil
 Requires-Dist: pycparser >=2.18
 Requires-Dist: pyformlang
-Requires-Dist: pyvex ==9.2.88
+Requires-Dist: pyvex ==9.2.89
 Requires-Dist: rich >=13.1.0
 Requires-Dist: rpyc
 Requires-Dist: sortedcontainers

{angr-9.2.88.dist-info → angr-9.2.89.dist-info}/RECORD

@@ -1,4 +1,4 @@
-angr/__init__.py,sha256=Sm53DKOW1bfjik8o99uWAdy3UYSJVIgZY423aqX_SKk,3942
+angr/__init__.py,sha256=2TAWUz5W98KyyjT9mmlBOKbCo7CnncPtkUA_Lbyda3o,3942
 angr/__main__.py,sha256=kaO56Te6h73SM94BVtASF00q5QbBbC3eBs9poVc9sVI,1887
 angr/annocfg.py,sha256=dK5JAdN4Ig_jgxTBZeZXwk3kAS4-IQUvE6T02GBZTDQ,10818
 angr/blade.py,sha256=B8QXVQ93jz1YCIlb-dZLeBqYmVFdMXI5GleP1Wnxjrw,15519
@@ -99,7 +99,7 @@ angr/analyses/decompiler/clinic.py,sha256=j97xFyuiflNsMkP4QggHMKEoiH-jxHTNOnk-T6
 angr/analyses/decompiler/condition_processor.py,sha256=e1WlxSr8FbtXi9qLHfvfBgUU-GKkoDSYUgMojHP9lBQ,49091
 angr/analyses/decompiler/decompilation_cache.py,sha256=NveTVs6IY3TTdgsLvTb3ktftM4n0NrAJIkqjXqQ3550,1119
 angr/analyses/decompiler/decompilation_options.py,sha256=vbuLF0Oze2ldFNpv2jWFnGG4sJPey527KAAbj9TRvAI,8240
-angr/analyses/decompiler/decompiler.py,sha256=YIsOoeELNvC88r3_kPGOv0Hvz82ZYNsPRd8PLWg6z6g,20197
+angr/analyses/decompiler/decompiler.py,sha256=yeSD-amcmIb-6CP0pJlIXGXGvbla_Vkoaggi1QTDaxo,20362
 angr/analyses/decompiler/empty_node_remover.py,sha256=KhH88_x3A1nR22H3wrdp1gznLuFH12IBLaay4Xa3Law,7368
 angr/analyses/decompiler/expression_counters.py,sha256=P4RbtnyEy2lJnNUw_G702W-AIGaL4MszZ5fdrritwwg,2867
 angr/analyses/decompiler/expression_narrower.py,sha256=64VR1xdPVVoCLHOYRPacV9ecQb33rP7nC1l8rpFxTkg,3545
@@ -115,10 +115,10 @@ angr/analyses/decompiler/utils.py,sha256=d_2O_1ZyRkP3Q3Dd7htRl1dX-W_PbmnyMjY94ih
 angr/analyses/decompiler/ccall_rewriters/__init__.py,sha256=wbWqZ8xG6ZvzEApkAwMsNQFC-iwF3swG1YJsaf1cIrQ,102
 angr/analyses/decompiler/ccall_rewriters/amd64_ccalls.py,sha256=PjfduEkFVcSBKUfGouVM5dekA4kO4OBUses58ewJnCk,20488
 angr/analyses/decompiler/ccall_rewriters/rewriter_base.py,sha256=gWezEKB7A_YnlfUDs8V8D5syoYAyIXSIme1BKQRoouM,498
-angr/analyses/decompiler/optimization_passes/__init__.py,sha256=-KFvRdTvHseDngcqaN5HLRTYGlLzzBklaLIxka9o6a4,3020
+angr/analyses/decompiler/optimization_passes/__init__.py,sha256=ZGwnBA0T3XjN40NKFHNxKmA9ZKlz0y9JSyfdvaH57FM,3166
 angr/analyses/decompiler/optimization_passes/base_ptr_save_simplifier.py,sha256=bjpEMW-Lqj5XW9NWUikGPcRn5scKNc8VvEjVMXxAuq8,5289
 angr/analyses/decompiler/optimization_passes/const_derefs.py,sha256=FEoiprXxns-3S0nFaIWm2DBW_aDMq3GZ-VOG3CIqcMw,10593
-angr/analyses/decompiler/optimization_passes/cross_jump_reverter.py,sha256=oEDn3maEW8pPcDitWWyq3xC2Oom3TCHoLn0TIr-nR3g,3557
+angr/analyses/decompiler/optimization_passes/cross_jump_reverter.py,sha256=CP-WjyQGOw_mnUF0ZpC5C4syMxlx4Tvy0T_EIZQxXrY,4033
 angr/analyses/decompiler/optimization_passes/div_simplifier.py,sha256=J7LRc3-DKfToxKVejnkHbNel9_56-7xsGyJJiTCwqsQ,17442
 angr/analyses/decompiler/optimization_passes/engine_base.py,sha256=7nnNZkVMqvikHCy9X11M8KLWbL8lF0DoLYPemETWP4c,10388
 angr/analyses/decompiler/optimization_passes/expr_op_swapper.py,sha256=vlPhWDyvuEmbGcd1ka8rS68F72Ty6Hw3J00KM3tWCus,4701
@@ -128,7 +128,7 @@ angr/analyses/decompiler/optimization_passes/ite_region_converter.py,sha256=l571
 angr/analyses/decompiler/optimization_passes/lowered_switch_simplifier.py,sha256=9hhCcvE15MCM6KoJU1ba11hFiN6MXxYAb9FbntzYJbg,34328
 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=U2boYOhhNuIYg6NNUJQJIJhWQCzdivPtNY6G1lt6PYQ,13044
+angr/analyses/decompiler/optimization_passes/optimization_pass.py,sha256=yEd-_xH1YS1SivTkrZ2QmRxB01_D6fprii2AsDPOMx8,13401
 angr/analyses/decompiler/optimization_passes/register_save_area_simplifier.py,sha256=2_-nVKkvClCDykVDd29CRIT1ZCPdYBlSi96h9yrSOw4,7398
 angr/analyses/decompiler/optimization_passes/ret_addr_save_simplifier.py,sha256=_sTaGMQMFa5ATQIvNyL05UK8gCi_SaOckrZKyHZ2vfs,6470
 angr/analyses/decompiler/optimization_passes/ret_deduplicator.py,sha256=BwD92mD25Qx3nYqG-XTTgorL1hl_JqZ9YRM5xuGHJac,7828
@@ -266,10 +266,10 @@ angr/analyses/reaching_definitions/reaching_definitions.py,sha256=CjW3Q7rj_fX-LQ
 angr/analyses/reaching_definitions/subject.py,sha256=GVaI1jM-Nv2MWaCjJ-Q_54nSS3hvAaZthz14AJJNq-A,1995
 angr/analyses/typehoon/__init__.py,sha256=kCQMAuvsUKAdYFiOstBzMBCqpquJKJCQSe0CGAr2Rng,31
 angr/analyses/typehoon/dfa.py,sha256=TdA5ts4-0xQtccJdz1fMPATIKV-gWgXqmKkTM338b-g,3519
-angr/analyses/typehoon/lifter.py,sha256=DGBD9mL7FNR9IlICJ1sTWJsw_prGThyH-dEHBXpf9Ho,2259
-angr/analyses/typehoon/simple_solver.py,sha256=McCdyrAcqPOffxti-HGI5ugs1ajvkpIVsNBvlXsQ3nA,45325
-angr/analyses/typehoon/translator.py,sha256=H_XTX1uucc-1ev4HrXW_u8nq3IdUF-YD-pPBu8toApQ,8396
-angr/analyses/typehoon/typeconsts.py,sha256=uHmWbaa7d6xqVuTSJznlAMDaDQl5d4jnooRqsSIL6ko,6918
+angr/analyses/typehoon/lifter.py,sha256=8pdONjOHc5H2rOqpISPHJW5_tlwjgfovPCsQ-Z5odFI,2631
+angr/analyses/typehoon/simple_solver.py,sha256=DOu6xOicKSz6PZ_ENN_RYQkloS-T29a4iqc_YYQKVrs,45513
+angr/analyses/typehoon/translator.py,sha256=K3m0x0pDqp29YXS8BPLMbDmWdFpKHt3US1eBbAqM0bc,8610
+angr/analyses/typehoon/typeconsts.py,sha256=4VYlzR7xVDIzwx_hH0KXNNKTYFTfMsmtqTIpjrd8Ev4,6990
 angr/analyses/typehoon/typehoon.py,sha256=2VO2pCulrwgZncxRN6nJvNQozaDUsz98kt94boDoniY,9353
 angr/analyses/typehoon/typevars.py,sha256=yZX2rdbHMPdsZXD-HJlbULVkUaXESqzv_ajxgHPzPUA,15783
 angr/analyses/typehoon/variance.py,sha256=VPuBrPmbw5RgNG5SUTNFEd5rr4v3V_qD1vgilqWvdrs,158
@@ -417,7 +417,7 @@ angr/exploration_techniques/symbion.py,sha256=o-o_ZdbSMZCjA0_uV4TJV6jdtZXq2cO3KY
 angr/exploration_techniques/tech_builder.py,sha256=UWmOE7GqQkZj_X_kR4Un7rDZyB4oL84Q6L-nLaU1i70,1586
 angr/exploration_techniques/threading.py,sha256=ySZsaltVJ650ZHfyvm_LLYz13J5CT6kwV9E4bXeTDVY,2976
 angr/exploration_techniques/timeout.py,sha256=Q1auu2Nw0VKOqpMaI9E5KnkKWe_sygXSIe352tUtJ2U,923
-angr/exploration_techniques/tracer.py,sha256=Nxk1nbEJ1L35rzpdRwSiNUac-1QJghAeLqzfsr_A8QM,50198
+angr/exploration_techniques/tracer.py,sha256=yZ12LOS9aHk5WQ16ntM1rKFacoQfAc62EPg5Lfn3b2E,50249
 angr/exploration_techniques/unique.py,sha256=fZ2n1xTtNLbNVMzrhbvy2ouRWE-5BR6bgwJQiJZTRRY,4413
 angr/exploration_techniques/veritesting.py,sha256=S3d40zASHwqfblC42jLTrjb79z8rHdhhbvKEjTZqmFk,1350
 angr/flirt/__init__.py,sha256=UTjDOlVPnvb5u1zYOvSrI_8F-RllvA_rWCEF1XGEswk,4428
@@ -501,7 +501,7 @@ angr/procedures/cgc/fdwait.py,sha256=bYccIjGqa-pHXNz_DFVdg6zDTkBk_QX0u9pCwJvOP9o
 angr/procedures/cgc/random.py,sha256=1dyl58S21I3-LMGi8HlD9VZ0VN97wA7pBIeU1fZi4QI,2334
 angr/procedures/cgc/receive.py,sha256=qNi7ZX-411q3i-j4z-ylo6jPP5oCky--IP_CyTScWHI,3758
 angr/procedures/cgc/transmit.py,sha256=CSWX4FLeW2-42_QVo2FMdmV9GJuYqgtTybtYbcMgDCQ,2368
-angr/procedures/definitions/__init__.py,sha256=YUG24aOrEfSme_9h9iaYBn0DsJAs9Do4QLtfMKsE1HQ,28956
+angr/procedures/definitions/__init__.py,sha256=xO3LUvd-550Kx0bsidex4Jx6CWwG31pzrSQoMa6qicw,29187
 angr/procedures/definitions/cgc.py,sha256=tEYT-9MOmlBxehMYP32Fog9t8GczMdA84ienDwcPdyM,460
 angr/procedures/definitions/glibc.py,sha256=JYvXHEkNMJhyzoCvnIJs6Aa3u_pTtjHuw-mbCkNKWBY,394113
 angr/procedures/definitions/gnulib.py,sha256=fH8KbaUj6bVOG_cv-JiaffWkVN-YHFbWwvRlE8Mkr9c,1081
@@ -1200,16 +1200,16 @@ angr/utils/enums_conv.py,sha256=YdnZzvuVc_BW1EuC4OtEo7LqB35XkPrXICyWox8Posg,2091
 angr/utils/env.py,sha256=wWlmjLp7CtafKItn7xq2RW3UzGGgxw58Wc8fSm3EZJQ,363
 angr/utils/formatting.py,sha256=QOw75CLSrttGTn2aYQzBFIBhZj40J9ESQZxJOz0BexA,4217
 angr/utils/funcid.py,sha256=PCOvMfRrt70Es1cMlVqKFVCmHfELXQHvX08Uqabn7Nk,5006
-angr/utils/graph.py,sha256=HjUzom1Mfu2j6aVU7j3UHvSPju_0UPwClMBNu85qlqU,27838
+angr/utils/graph.py,sha256=z36Q_bitE9yu0CFRhrRAj6hAWe-dSvzJvDHgqz6tJMQ,28417
 angr/utils/lazy_import.py,sha256=VgN0-cMsr6XdGIq56Js1X8YecfPdW9Z4NrB3d2jD-5Y,308
 angr/utils/library.py,sha256=MYbY6rvC2Fi1ofbBHynh6-cdmaDETxj8hBz1gxKvsQQ,7178
 angr/utils/loader.py,sha256=QdkatPiyRfz5KdfCzRI1Xp3TJL_Pa75wY0dsILgMbwk,1944
 angr/utils/mp.py,sha256=xSWDnZdkLaTwGXntuSDwb2tIqMsIxJpmLrxd_YWBILw,1822
 angr/utils/timing.py,sha256=uOowCP8kotDrKDOjlAod-guBuYkAA8zEtiAwpdwMlIU,1334
 angr/utils/typing.py,sha256=_I4dzZSh1_uRKQ3PpjXseA_CaJH6ru2yAxjICkJhfmI,417
-angr-9.2.88.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.88.dist-info/METADATA,sha256=8UW-MyNe_FolwwTAEUfPxAcHfTXfCRuh4DTjNGw2YcU,4796
-angr-9.2.88.dist-info/WHEEL,sha256=XDTs3wIbcE-BcRO08VJlZpA6z9OaC1mOKPCGGGwuM2g,109
-angr-9.2.88.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.88.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.88.dist-info/RECORD,,
+angr-9.2.89.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.89.dist-info/METADATA,sha256=cSfTfaH4dfJpbC4VCyyymVxBU6l8Yq9epiYKXirEYzo,4796
+angr-9.2.89.dist-info/WHEEL,sha256=XDTs3wIbcE-BcRO08VJlZpA6z9OaC1mOKPCGGGwuM2g,109
+angr-9.2.89.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.89.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.89.dist-info/RECORD,,