angr 9.2.139__py3-none-manylinux2014_x86_64.whl → 9.2.140__py3-none-manylinux2014_x86_64.whl

angr/utils/ssa/__init__.py

@@ -1,11 +1,14 @@
 from __future__ import annotations
 from collections import defaultdict
+from collections.abc import Callable
 from typing import Any, Literal, overload
 
+import networkx
+
 import archinfo
 from ailment import Expression, Block
 from ailment.expression import VirtualVariable, Const, Phi, Tmp, Load, Register, StackBaseOffset, DirtyExpression, ITE
-from ailment.statement import Statement, Assignment, Call
+from ailment.statement import Statement, Assignment, Call, Store
 from ailment.block_walker import AILBlockWalkerBase
 
 from angr.knowledge_plugins.key_definitions import atoms
@@ -153,19 +156,41 @@ class AILBlacklistExprTypeWalker(AILBlockWalkerBase):
     Walks an AIL expression or statement and determines if it does not contain certain types of expressions.
     """
 
-    def __init__(self, blacklist_expr_types: tuple[type, ...]):
+    def __init__(self, blacklist_expr_types: tuple[type, ...], skip_if_contains_vvar: int | None = None):
         super().__init__()
         self.blacklist_expr_types = blacklist_expr_types
         self.has_blacklisted_exprs = False
+        self.skip_if_contains_vvar = skip_if_contains_vvar
+
+        self._has_specified_vvar = False
 
     def _handle_expr(
         self, expr_idx: int, expr: Expression, stmt_idx: int, stmt: Statement | None, block: Block | None
     ) -> Any:
         if isinstance(expr, self.blacklist_expr_types):
-            self.has_blacklisted_exprs = True
-            return None
+            if self.skip_if_contains_vvar is None:
+                self.has_blacklisted_exprs = True
+                return None
+            # otherwise we do a more complicated check
+            self._has_specified_vvar = False  # we do not support nested blacklisted expr types
+            has_blacklisted_exprs = True
+            r = super()._handle_expr(expr_idx, expr, stmt_idx, stmt, block)
+            if self._has_specified_vvar is False:
+                # we have seen the vvar that we are looking for! ignore this match
+                self.has_blacklisted_exprs = has_blacklisted_exprs
+                return None
+            self._has_specified_vvar = False
+            return r
+
         return super()._handle_expr(expr_idx, expr, stmt_idx, stmt, block)
 
+    def _handle_VirtualVariable(
+        self, expr_idx: int, expr: VirtualVariable, stmt_idx: int, stmt: Statement, block: Block | None
+    ):
+        if self.skip_if_contains_vvar is not None and expr.varid == self.skip_if_contains_vvar:
+            self._has_specified_vvar = True
+        return super()._handle_VirtualVariable(expr_idx, expr, stmt_idx, stmt, block)
+
 
 def is_const_and_vvar_assignment(stmt: Statement) -> bool:
     if isinstance(stmt, Assignment):
@@ -203,6 +228,12 @@ def is_phi_assignment(stmt: Statement) -> bool:
     return isinstance(stmt, Assignment) and isinstance(stmt.src, Phi)
 
 
+def has_load_expr(stmt: Statement, skip_if_contains_vvar: int | None = None) -> bool:
+    walker = AILBlacklistExprTypeWalker((Load,), skip_if_contains_vvar=skip_if_contains_vvar)
+    walker.walk_statement(stmt)
+    return walker.has_blacklisted_exprs
+
+
 def phi_assignment_get_src(stmt: Statement) -> Phi | None:
     if isinstance(stmt, Assignment) and isinstance(stmt.src, Phi):
         return stmt.src
@@ -225,13 +256,97 @@ def has_ite_stmt(stmt: Statement) -> bool:
     return walker.has_blacklisted_exprs
 
 
+def check_in_between_stmts(
+    graph: networkx.DiGraph,
+    blocks: dict[tuple[int, int | None], Block],
+    defloc: CodeLocation,
+    useloc: CodeLocation,
+    predicate: Callable,
+):
+    assert defloc.block_addr is not None
+    assert defloc.stmt_idx is not None
+    assert useloc.block_addr is not None
+    assert useloc.stmt_idx is not None
+    assert graph is not None
+
+    use_block = blocks[(useloc.block_addr, useloc.block_idx)]
+    def_block = blocks[(defloc.block_addr, defloc.block_idx)]
+
+    # traverse the graph, go from use_block until we reach def_block, and look for Store statements
+    seen = {use_block}
+    queue = [use_block]
+    while queue:
+        block = queue.pop(0)
+
+        starting_stmt_idx, ending_stmt_idx = 0, len(block.statements)
+        if block is def_block:
+            starting_stmt_idx = defloc.stmt_idx + 1
+        if block is use_block:
+            ending_stmt_idx = useloc.stmt_idx
+
+        for i in range(starting_stmt_idx, ending_stmt_idx):
+            if predicate(block.statements[i]):
+                return True
+
+        if block is def_block:
+            continue
+
+        for pred in graph.predecessors(block):
+            if pred not in seen:
+                seen.add(pred)
+                queue.append(pred)
+
+    return False
+
+
+def has_store_stmt_in_between_stmts(
+    graph: networkx.DiGraph, blocks: dict[tuple[int, int | None], Block], defloc: CodeLocation, useloc: CodeLocation
+) -> bool:
+    return check_in_between_stmts(graph, blocks, defloc, useloc, lambda stmt: isinstance(stmt, Store))
+
+
+def has_call_in_between_stmts(
+    graph: networkx.DiGraph,
+    blocks: dict[tuple[int, int | None], Block],
+    defloc: CodeLocation,
+    useloc: CodeLocation,
+    skip_if_contains_vvar: int | None = None,
+) -> bool:
+
+    def _contains_call(stmt: Statement) -> bool:
+        if isinstance(stmt, Call):
+            return True
+        # walk the statement and check if there is a call expression
+        walker = AILBlacklistExprTypeWalker((Call,), skip_if_contains_vvar=skip_if_contains_vvar)
+        walker.walk_statement(stmt)
+        return walker.has_blacklisted_exprs
+
+    return check_in_between_stmts(graph, blocks, defloc, useloc, _contains_call)
+
+
+def has_load_expr_in_between_stmts(
+    graph: networkx.DiGraph,
+    blocks: dict[tuple[int, int | None], Block],
+    defloc: CodeLocation,
+    useloc: CodeLocation,
+    skip_if_contains_vvar: int | None = None,
+) -> bool:
+    return check_in_between_stmts(
+        graph, blocks, defloc, useloc, lambda stmt: has_load_expr(stmt, skip_if_contains_vvar=skip_if_contains_vvar)
+    )
+
+
 __all__ = (
     "VVarUsesCollector",
+    "check_in_between_stmts",
     "get_tmp_deflocs",
     "get_tmp_uselocs",
     "get_vvar_deflocs",
     "get_vvar_uselocs",
+    "has_call_in_between_stmts",
     "has_ite_expr",
+    "has_load_expr_in_between_stmts",
+    "has_store_stmt_in_between_stmts",
     "is_const_and_vvar_assignment",
     "is_const_assignment",
     "is_const_vvar_load_assignment",

{angr-9.2.139.dist-info → angr-9.2.140.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: angr
-Version: 9.2.139
+Version: 9.2.140
 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
@@ -16,13 +16,13 @@ Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: CppHeaderParser
 Requires-Dist: GitPython
-Requires-Dist: ailment==9.2.139
-Requires-Dist: archinfo==9.2.139
+Requires-Dist: ailment==9.2.140
+Requires-Dist: archinfo==9.2.140
 Requires-Dist: cachetools
 Requires-Dist: capstone==5.0.3
 Requires-Dist: cffi>=1.14.0
-Requires-Dist: claripy==9.2.139
-Requires-Dist: cle==9.2.139
+Requires-Dist: claripy==9.2.140
+Requires-Dist: cle==9.2.140
 Requires-Dist: itanium-demangler
 Requires-Dist: mulpyplexer
 Requires-Dist: nampa
@@ -31,7 +31,7 @@ Requires-Dist: protobuf>=5.28.2
 Requires-Dist: psutil
 Requires-Dist: pycparser>=2.18
 Requires-Dist: pyformlang
-Requires-Dist: pyvex==9.2.139
+Requires-Dist: pyvex==9.2.140
 Requires-Dist: rich>=13.1.0
 Requires-Dist: sortedcontainers
 Requires-Dist: sympy

{angr-9.2.139.dist-info → angr-9.2.140.dist-info}/RECORD

@@ -1,14 +1,14 @@
-angr/__init__.py,sha256=QUM4Le23GktI3KZcDRXBzoX6DbQzWHXvFux8zmJaACg,9153
+angr/__init__.py,sha256=7_qAgvGpWVLzcVVCxImhVYji45X9JpeTjoXYzpyPgSY,9153
 angr/__main__.py,sha256=XeawhF6Cco9eWcfMTDWzYYggLB3qjnQ87IIeFOplaHM,2873
 angr/annocfg.py,sha256=0NIvcuCskwz45hbBzigUTAuCrYutjDMwEXtMJf0y0S0,10742
 angr/blade.py,sha256=NhesOPloKJC1DQJRv_HBT18X7oNxK16JwAfNz2Lc1o0,15384
-angr/block.py,sha256=nTIXI9H8kLrJUvAiuzrjTYD568YFvAzULrnaw7rj_sA,16469
-angr/callable.py,sha256=ioy94hgdQLSqMwxPzYqWMIx2WCNzUwVxgm6BxRr64D0,6063
-angr/calling_conventions.py,sha256=V-P-zA5QF75R4PUkfd9XFSv209WGg2UIZi9pb8Myo08,96167
+angr/block.py,sha256=34rsSr800m0CM1cqniusdCF8GMVc1yXJVUVKu7cYfBE,14679
+angr/callable.py,sha256=j9Orwd4H4fPqOYylcEt5GuLGPV7ZOqyA_OYO2bp5PAA,6437
+angr/calling_conventions.py,sha256=RIkw2-rbSSLws4W7EWG8mbZJe15G2IcMlBe7QKdhavY,96758
 angr/code_location.py,sha256=kXNJDEMge9VRHadrK4E6HQ8wDdCaHSXNqyAZuHDEGuM,5397
 angr/codenode.py,sha256=hCrQRp4Ebb2X6JicNmY1PXo3_Pm8GDxVivVW0Pwe84k,3918
 angr/errors.py,sha256=I0L-TbxmVYIkC-USuHwaQ9BGPi2YVObnhZXQQ3kJFuo,8385
-angr/factory.py,sha256=jaMu_ualS2AEXGcQoAEaQVOVR_b9wRpREyUaPItbTgM,18173
+angr/factory.py,sha256=zRVsbpZzMQ9Eemi_2_dsZh9utW5A6TUOrUfTqcBZT0s,17590
 angr/graph_utils.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 angr/keyed_region.py,sha256=Cx6dadqFgEvRmEHTbCJpg9mXkBtKGc_BKckHc6bk1IU,17992
 angr/knowledge_base.py,sha256=hRoSLuLaOXmddTSF9FN5TVs7liftpBGq_IICz5AaYBk,4533
@@ -20,7 +20,7 @@ angr/sim_options.py,sha256=tfl57MFECmA7uvMMtQrRRbpG8g_A9jKOzwY6nApTW6Y,17782
 angr/sim_procedure.py,sha256=qI1NMB67AXi6bfo_mUqhoOvb39hDk--2irv7p55AdCE,26223
 angr/sim_state.py,sha256=qK6XPl2Q23xEXBud_SBy1fzVPPcrlx0PEQwMtRKBaBI,33893
 angr/sim_state_options.py,sha256=dsMY3UefvL7yZKXloubMhzUET3N2Crw-Fpw2Vd1ouZQ,12468
-angr/sim_type.py,sha256=e8HIxSJN0B4-c-zqRPA_YU9bCuPuvjHmDOJphkVdbH4,132398
+angr/sim_type.py,sha256=IEPNqkPhnXT1FOwv5hODUaB35OIlp2qYB_E4DjaRAjM,132654
 angr/sim_variable.py,sha256=tRQXTCE8GO9V_fjC_umiWOm9rY7JLBjq_zrwKptz20g,16625
 angr/slicer.py,sha256=DND0BERanYKafasRH9MDFAng0rSjdjmzXj2-phCD6CQ,10634
 angr/state_hierarchy.py,sha256=qDQCUGXmQm3vOxE3CSoiqTH4OAFFOWZZt9BLhNpeOhA,8484
@@ -54,10 +54,10 @@ angr/analyses/pathfinder.py,sha256=_prNqmRUSuSt2ZCP8qbvNN7pw7mtM8pWr9IL0AO6XL8,1
 angr/analyses/proximity_graph.py,sha256=-g7pNpbP2HQhKW3w1Eff23K8vAsgWWYoe3wVxRh3Lhk,16066
 angr/analyses/reassembler.py,sha256=dc1bM-4pxVa2dypC7qL2REdKhpyKhSbQPf-LCDIBEwA,98351
 angr/analyses/s_liveness.py,sha256=4BR_E3_Is7urOkKgtB1hgGpRoyqfytv9WcqrpSXc74k,5881
-angr/analyses/s_propagator.py,sha256=TCRr_LSQ9BurcF4KfyVxQHZlg5VzfuvudOnCEIab0RQ,24476
+angr/analyses/s_propagator.py,sha256=VJWWutbVjpY-rtbAj69YGqirmNrMcz5ymCMl29KCpIo,23215
 angr/analyses/smc.py,sha256=0fvLPUpjlg6GCjYnfSqanXkGYlthmPwqMYR-ZYBHsbo,5075
 angr/analyses/soot_class_hierarchy.py,sha256=R4xeacn-a_Q7PxSyj_stu5mnglZkPB5US5srKChX3mk,8740
-angr/analyses/stack_pointer_tracker.py,sha256=msazJUmyMdvWVc0fRmiVTitWXGDQUunpdT2R2OO5LKs,32991
+angr/analyses/stack_pointer_tracker.py,sha256=54wijIt-uJZ2KIOjbEpgKucNoDK3qIvtGh2WuEvRAD0,33370
 angr/analyses/static_hooker.py,sha256=8aine4A1KnkWNfn7IarlWUyX7NjygbFDYbE3_ptCPlA,1764
 angr/analyses/veritesting.py,sha256=M6WNsbgiv4ScFPQIaFzujNFya66rQ9GSieaRLuC6RSo,25062
 angr/analyses/vfg.py,sha256=rlA3LXDAtGGiiqoWsQFOLPxU3pvhvTWpC_WPfC1d5tM,72879
@@ -65,16 +65,16 @@ angr/analyses/vsa_ddg.py,sha256=PNJ1vQNdHKYCcuXrsXZohtjrxznaWn6GZY2TfhBoY2Q,1613
 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=aWAe5MDKcw0enZf9poZYVoucIKxWrL7p5lLpiO_CfwM,39774
+angr/analyses/calling_convention/calling_convention.py,sha256=R4V4_aeZGIHjLaeN3KcJewpeNjPKBPgc-HbdK3UQM30,40866
 angr/analyses/calling_convention/fact_collector.py,sha256=21zePCKqAzKved30HZJV1kCTG6_TNb_yKejHk8uOG8w,24236
 angr/analyses/calling_convention/utils.py,sha256=JBLI3W_Tw-P6lzVMbUSiVEkjQFlOm5YpGCY8ANcH80I,2051
 angr/analyses/cfg/__init__.py,sha256=-w8Vd6FD6rtjlQaQ7MxwmliFgS2zt-kZepAY4gHas04,446
 angr/analyses/cfg/cfb.py,sha256=scykl1FJvqcTe2x69zreWi0PG_zYMbka3k6tlRwaD_g,15367
 angr/analyses/cfg/cfg.py,sha256=dc9M91CaLeEKduYfMwpsT_01x6XyYuoNvgvcDKtbN-I,3177
 angr/analyses/cfg/cfg_arch_options.py,sha256=QpC_sonf0eODcIxWtjVrW6E-gFRGvvdataqGEp9DFFI,3142
-angr/analyses/cfg/cfg_base.py,sha256=7RRJ3omI-SYzeegrYYSrcU2GDcq9Uy2SaJdOvVHvjOQ,121985
+angr/analyses/cfg/cfg_base.py,sha256=E7CSOIDVpsABw9Py6hvwPomtgA1ivWgi5vt4Lmd7PKQ,122730
 angr/analyses/cfg/cfg_emulated.py,sha256=DkLzdePp50ecbFDhpqEtK43V8H1K4BnQe9NdjlNnonY,147826
-angr/analyses/cfg/cfg_fast.py,sha256=1LvVSmW7EXuyI08GTal_TaVNRgzWUepmInqsEWVrp18,225968
+angr/analyses/cfg/cfg_fast.py,sha256=9Qz_mu3ey39DMChJo6hAd0BgQu7Hr8QXysBlbHRbCmk,226671
 angr/analyses/cfg/cfg_fast_soot.py,sha256=X2uroCSbtfgugO33pbIU_hx62bHzZTBweO35iLwEaLo,25906
 angr/analyses/cfg/cfg_job_base.py,sha256=Zshze972MakTsd-licQz77lac17igQaaTsAteHeHhYQ,5974
 angr/analyses/cfg/indirect_jump_resolvers/__init__.py,sha256=6P6GXkJ0v_WlWtz7aRpGXuY8LlfqTN3A703b1VnH5IQ,766
@@ -100,19 +100,19 @@ angr/analyses/data_dep/data_dependency_analysis.py,sha256=_vQPkw1NMrzD7kAFeotOaa
 angr/analyses/data_dep/dep_nodes.py,sha256=LcNcxeuKXMMc0GkmvKqqFwNlAk3GhzBR8ixM4CD305k,4640
 angr/analyses/data_dep/sim_act_location.py,sha256=EXmfFF3lV9XogcB2gFRMUoJCbjpDYiSKNyfafkBfiY8,1564
 angr/analyses/decompiler/__init__.py,sha256=eyxt2UKvPkbuS_l_1GPb0CJ6hrj2wTavh-mVf23wwiQ,1162
-angr/analyses/decompiler/ail_simplifier.py,sha256=NzBaT-mDqKgX28bDA0RShF_wr_66D_htWGBaiDmrTus,73771
+angr/analyses/decompiler/ail_simplifier.py,sha256=w1cXyyJ8x9AoQF1jM0i7M4wQEmYT2RSbZ8UbsZmNjTw,74245
 angr/analyses/decompiler/ailgraph_walker.py,sha256=m71HCthOr9J8PZoMxJzCPskay8yfCZ2j8esWT4Ka3KI,1630
 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=Pl7qh9ODO41iXkBsKuB8-1gtjnqr6Qc1b8So2MbrTLM,13537
 angr/analyses/decompiler/callsite_maker.py,sha256=BRCbGj06JMcovtIc_xgZwHMJ5Vlr87G-Mv3plQPD_5c,21653
-angr/analyses/decompiler/clinic.py,sha256=nXqOLy5XTys08hzE6uGa2T_Wq0tp0Ld89bJKGJmPIMg,127542
+angr/analyses/decompiler/clinic.py,sha256=im7p-NjcgjeN_Q05_matVYvLJ1r1-eVKmY9IE2xd2k8,128976
 angr/analyses/decompiler/condition_processor.py,sha256=9-0RVyDKP-pSMdEK_pRw-s95mKV3nfYeoQCgRMHclAs,53782
 angr/analyses/decompiler/decompilation_cache.py,sha256=raMsZL9i5ajKP-lO_Qo_1gP2bsDccTNP9cNhINbk8ac,1375
 angr/analyses/decompiler/decompilation_options.py,sha256=NDB67DI1L-stvJ4b1eQkfV26HgDJ_rG9-6PEv08G9-8,8195
-angr/analyses/decompiler/decompiler.py,sha256=QQsADrLsUFrdl37REqyLhY655_MgdcmphdIxgUx0A6M,28786
+angr/analyses/decompiler/decompiler.py,sha256=TMOHacQyiOYC7kvva-j0gdUnsAx3atjqOAgZCPELZbg,29380
 angr/analyses/decompiler/empty_node_remover.py,sha256=_RAGjqDyRmannEGPcMmWkL7em990-_sKgl5CYreb-yI,7403
-angr/analyses/decompiler/expression_narrower.py,sha256=hEL9ZkmUpX6wAv_hBcIV4jwTuiHpbZTNjGodfV0VsnI,10343
+angr/analyses/decompiler/expression_narrower.py,sha256=bgTHxNljl3ghUmNMIdz8kpi4v7iMc8wQh508eCugBtc,10337
 angr/analyses/decompiler/goto_manager.py,sha256=GUWt3Y_NCpmreIt4plxX5Y3UO2V8IVGZuRtF2GqI-cw,4006
 angr/analyses/decompiler/graph_region.py,sha256=P9QplvE0RmsuNOxn-meO10xJ3r3Sf4EOsyTDmUpaXrQ,16532
 angr/analyses/decompiler/jump_target_collector.py,sha256=qR11VsIp6H1N-19xCdXMRs1LGX31o3_Cz1Z5wRyMIl8,1173
@@ -124,7 +124,7 @@ angr/analyses/decompiler/region_walker.py,sha256=u0hR0bEX1hSwkv-vejIM1gS-hcX2F2D
 angr/analyses/decompiler/return_maker.py,sha256=pKn9_y5VXqTeJnD5uzLLd9sH_Dp_9wkPcWPiJPTV-7A,2550
 angr/analyses/decompiler/seq_to_blocks.py,sha256=bB-1m8oBO59AlAp6izAROks3BBxFW8zigLlrIMt6Yfs,564
 angr/analyses/decompiler/sequence_walker.py,sha256=XW5nKfa9n0Dh1p6M-tLDK1ofr51RPh_AcLUE50yHvKk,9595
-angr/analyses/decompiler/utils.py,sha256=cy6XGohXLT2HgUQkvkQANLCTbJxlMY1AnhyVC28K6xM,35902
+angr/analyses/decompiler/utils.py,sha256=qiZSbTIDOojeOB7NJbWki9GACu6XqLnwEKFkryvhOiY,38302
 angr/analyses/decompiler/ccall_rewriters/__init__.py,sha256=TrnykR5cGCXy85f8OApJBjWSQ8WQSzjrnpND2fODWG8,207
 angr/analyses/decompiler/ccall_rewriters/amd64_ccalls.py,sha256=llCGH-p9AzfECO_fWTsSUYhX1SzIUr1BKRDTLfc8aXs,23426
 angr/analyses/decompiler/ccall_rewriters/rewriter_base.py,sha256=VbCENcybYUGrBD6U1Bp4nonNeEf05z_qhrpHBcyJw_4,496
@@ -147,7 +147,7 @@ angr/analyses/decompiler/optimization_passes/call_stmt_rewriter.py,sha256=G1CEWo
 angr/analyses/decompiler/optimization_passes/code_motion.py,sha256=7o6lf-qahXv5H8jLqEASVXHaz-_PGo3r6l7qH5PbDtU,15343
 angr/analyses/decompiler/optimization_passes/condition_constprop.py,sha256=HJQ1H5CAeJCJT9kvLNc0_MXCZm3B7O0GNs3l7DsldKc,5742
 angr/analyses/decompiler/optimization_passes/const_derefs.py,sha256=z9owQb8xNtIaVZddpFY1quHQOPEbBRnuQvmXEyiPHo0,10490
-angr/analyses/decompiler/optimization_passes/const_prop_reverter.py,sha256=D0M5-RosTsHQC4cnPmsByhC-szOpykLN-XCuJ06GAos,13117
+angr/analyses/decompiler/optimization_passes/const_prop_reverter.py,sha256=-Y8JXf4IJIeBY9jSiHe_agVYSWrr6ATaSaat4M10gQs,13245
 angr/analyses/decompiler/optimization_passes/cross_jump_reverter.py,sha256=DzvgsAhU4GqvS0yN0Q2JezkJAuo2KInCgZ7fsB-ibz4,4021
 angr/analyses/decompiler/optimization_passes/deadblock_remover.py,sha256=yqW4Ba4Kw7Bf_HqyACLhdsuj2XQhiSXjd02f7Wubf2A,2707
 angr/analyses/decompiler/optimization_passes/div_simplifier.py,sha256=fdMyGtykG9QepIUFL2_KN9lqsJFqHsVwNoJ1p8GlQ7A,18739
@@ -156,14 +156,14 @@ angr/analyses/decompiler/optimization_passes/expr_op_swapper.py,sha256=PJMJ0INWi
 angr/analyses/decompiler/optimization_passes/flip_boolean_cmp.py,sha256=lS70nBKCSWQ69vcvazAI24zgUdEFtbg33wr6t78XFqI,4029
 angr/analyses/decompiler/optimization_passes/inlined_string_transformation_simplifier.py,sha256=_rqXGIs03Idkw7IOtxHhapQ-qCMO_mKlJ_FfHAM6TAo,24842
 angr/analyses/decompiler/optimization_passes/ite_expr_converter.py,sha256=eeKEkoT0WphueWZd5P07cfa9lTBK3BzL0jUyOx4XmJQ,7820
-angr/analyses/decompiler/optimization_passes/ite_region_converter.py,sha256=gFEgdVcsWOCex1VZMRY5kBgjL4LGE9yXp8N5y6LY7ws,13168
+angr/analyses/decompiler/optimization_passes/ite_region_converter.py,sha256=HoQTAvZ2-tmNrNjJ1GbR55nTC9O_wuKpJ7yNEfZBszQ,13471
 angr/analyses/decompiler/optimization_passes/lowered_switch_simplifier.py,sha256=qxSCQD5vtCzweHX9p6CY2REc0fIbk53igmAnIDmKprk,38819
 angr/analyses/decompiler/optimization_passes/mod_simplifier.py,sha256=BzgSGM39Uv1WAGPM831wLnKW8t-mw9tQoV07ZlxbU_Y,3379
-angr/analyses/decompiler/optimization_passes/optimization_pass.py,sha256=tTWi8GsqFZSTUdimMuIgUKUDGRfhXvEyHrw1uA3f_Sw,22648
+angr/analyses/decompiler/optimization_passes/optimization_pass.py,sha256=ZktrVnylqMhkYHlv37wscSnpHw2Mbd3grnv8g5kbry4,23030
 angr/analyses/decompiler/optimization_passes/register_save_area_simplifier.py,sha256=X6A252YhqUvT7A6J5NqCKBom2PRlh5NDHpAjXfNvBfg,7854
 angr/analyses/decompiler/optimization_passes/ret_addr_save_simplifier.py,sha256=GIFiYM_C_ChHrD2D1JGRFlE--PU3FOxTqzOX-lXmJLY,6404
 angr/analyses/decompiler/optimization_passes/ret_deduplicator.py,sha256=STMnRyZWiqdoGPa3c7Q4KCHv-JHUdJ2t4oLEltEMpII,7995
-angr/analyses/decompiler/optimization_passes/return_duplicator_base.py,sha256=ASW0-1n_ytW7vzC4KFp6hTV4q65mwQaia3X6LizcTRY,25011
+angr/analyses/decompiler/optimization_passes/return_duplicator_base.py,sha256=Rd4981oaZCMSCorpwe162yxtwlzsESnph2qLRoByhEQ,25055
 angr/analyses/decompiler/optimization_passes/return_duplicator_high.py,sha256=EgDtVm175NStVFcppjnTrlE-aP0F2oW0tgK3_kpp6xA,2054
 angr/analyses/decompiler/optimization_passes/return_duplicator_low.py,sha256=-mBEVfwGz986lDDEGwBG8wvGQTrFZHE7TLV-7rWt-H0,10076
 angr/analyses/decompiler/optimization_passes/stack_canary_simplifier.py,sha256=wRa-_zwogSbqgxKu-apHp-fSMwuiBFrKgXa29BiY4YE,14422
@@ -236,13 +236,13 @@ angr/analyses/decompiler/presets/preset.py,sha256=sTK5fJfx_Cdx0Gjn7y4bOrDp-2eFPe
 angr/analyses/decompiler/region_simplifiers/__init__.py,sha256=BSD9osrReTEdapOMmyI1kFiN7AmE1EeJGLBV7i0u-Uc,117
 angr/analyses/decompiler/region_simplifiers/cascading_cond_transformer.py,sha256=qLs1LxEYHdPrh5c33IdkHJqtjBU7z4Sz6fxOK4Fn0Oc,3816
 angr/analyses/decompiler/region_simplifiers/cascading_ifs.py,sha256=IgbSKemlJHlyGR6ANJlsPLMjCN262gJvytaqPi0EWuA,2594
-angr/analyses/decompiler/region_simplifiers/expr_folding.py,sha256=AKnN6BCAm7okeUJ-CnRaFGzlnflivOTl4HLQbhlEjDA,24617
+angr/analyses/decompiler/region_simplifiers/expr_folding.py,sha256=QUEAUi_mAwwtK4PYmMkF_4S_-JCLvhA6QWmDz2hgJFo,30281
 angr/analyses/decompiler/region_simplifiers/goto.py,sha256=HKAh1m8WryAR2WMGjmFIvO6DOYymlA7sKRnKfbyJfvk,6100
 angr/analyses/decompiler/region_simplifiers/if_.py,sha256=rLH5csZCB5-cCsWJh2SdvWLVqgGfnfi7YqQlE7M328I,4406
 angr/analyses/decompiler/region_simplifiers/ifelse.py,sha256=rU01g103DJXtHBX72A2gbZJYlpVnmjLxL5Oo0FfjrVs,3808
 angr/analyses/decompiler/region_simplifiers/loop.py,sha256=uKieYMvygDt8GhK1b_EjHTP064I1FTEZd6HIEntB0K8,6315
 angr/analyses/decompiler/region_simplifiers/node_address_finder.py,sha256=LY7TH54eCZOqKW67b0OVfS_-35rRoHPhazdyB8Ng4vE,600
-angr/analyses/decompiler/region_simplifiers/region_simplifier.py,sha256=nVGWdOaAvWBKPnzQ_3HuCudpAOZLOYONYQMjzAEQGhk,8475
+angr/analyses/decompiler/region_simplifiers/region_simplifier.py,sha256=LmHp5PR75iE9phvmUA5tXsoE6-7OHy1FwyffpKL-AAw,8761
 angr/analyses/decompiler/region_simplifiers/switch_cluster_simplifier.py,sha256=sYhRG2kti3NZOZf5f94Z2eX9tunTAUrzT83KlkUyk8A,24900
 angr/analyses/decompiler/region_simplifiers/switch_expr_simplifier.py,sha256=CngQ_LSACeEVIjuU6kIW2Y0ZSMJWFBwpL95Yh_7w3O4,3335
 angr/analyses/decompiler/ssailification/__init__.py,sha256=zcHoI7e2El2RSU_bHTpQRd1XRLHOfFScG6f3cm5y_lQ,108
@@ -259,24 +259,24 @@ angr/analyses/decompiler/structured_codegen/c.py,sha256=W0KElgzS20XEoAks9I0Q2PGW
 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=f-aZrUpH2kmL0rxUGaiIkebbe-i4pNiyc0KWUMck6I8,48436
-angr/analyses/decompiler/structuring/phoenix.py,sha256=j7oA3FWP8TWWYDSrpsJeLYO9R0OMI1p3jQWoSns6OOg,133045
-angr/analyses/decompiler/structuring/recursive_structurer.py,sha256=wxMiixVpmao1Rpuo3wN-gxkPh2YrgTTW4usgtdjdY9E,7150
+angr/analyses/decompiler/structuring/dream.py,sha256=UnEO6aWp_WOY-aml7sIeJ_du8ySx04-XKFWZi3DnhFA,48690
+angr/analyses/decompiler/structuring/phoenix.py,sha256=bUlIu1EdT_wS2VD5sKR7SM4BYDIedA9OPa4nKfATf-4,137658
+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=bHFoqPOaoVLeu5UrC_KeDjCtz9CvMznEm5PSZ-iVQFE,45718
-angr/analyses/decompiler/structuring/structurer_nodes.py,sha256=Y0oKxBcqG-sIh4epHU9gp_e48-pelad0TBos7QC0otk,12281
+angr/analyses/decompiler/structuring/structurer_base.py,sha256=NsrUcDzbnpO-nKjVLxMMok0dQlAM6qbHXlfR2ajKjlM,47327
+angr/analyses/decompiler/structuring/structurer_nodes.py,sha256=x1lnHOSaOoQsXJQvHi0jnMe3SdaFUU9tY1mX0Sx6JUI,12318
 angr/analyses/deobfuscator/__init__.py,sha256=7DgTLEs8P6fWJYkMcAjxnS4jjBDX2jJr8bjYvsTua2c,648
-angr/analyses/deobfuscator/api_obf_finder.py,sha256=2VhsehDWy1e_lHaYa0EO45dWpZC13cdHvJdt8AGigQo,13415
+angr/analyses/deobfuscator/api_obf_finder.py,sha256=Z7AzJVssE-ERfNlPSlQ1ng-xvfCfoG0_SLrRqZCqJ3I,13623
 angr/analyses/deobfuscator/api_obf_peephole_optimizer.py,sha256=VTxw3FPV7-OCPwAy6LLPnBWtiD2eDxYwAF0g3h4YOCM,2207
-angr/analyses/deobfuscator/api_obf_type2_finder.py,sha256=Sv7xQAH4D6mv6yZ--iF9MLa5ejkV1lGcelsXGvluKko,6073
+angr/analyses/deobfuscator/api_obf_type2_finder.py,sha256=tPUfe_2jJV1uZB5cetgglf3T75E_UQZYVUFAfMACV9g,6389
 angr/analyses/deobfuscator/irsb_reg_collector.py,sha256=q91IYpepptTQWcF0MJLHVCuvUsUuzPcL2XbbcIDV4eo,1290
-angr/analyses/deobfuscator/string_obf_finder.py,sha256=gVwt31nZNG_b49T7y9IHrEQ6xemoBR2N3lqzP5ohvK8,33190
+angr/analyses/deobfuscator/string_obf_finder.py,sha256=bCd5Weos3Xn5nQUdoQfq2MioouTP-DdN0LUmxxmMK3s,36440
 angr/analyses/deobfuscator/string_obf_opt_passes.py,sha256=zJ10ql44q-Fyc6TQ-qJW7cZHlk80RI2VlCzqG1-h9FM,5345
 angr/analyses/deobfuscator/string_obf_peephole_optimizer.py,sha256=SlzSTIZos_pMiC_VavvbfjAaYDoCA_ffj5vblhaBI-0,1947
 angr/analyses/fcp/__init__.py,sha256=E9dxFckDM9DijfU4RRg9SGL6xDKCz7yBBP-XSkS-S9U,115
 angr/analyses/fcp/fcp.py,sha256=f_RQp6s4aBHMcUPsGrHOylcdvjGo6HmqumPzgJLxcfI,16326
 angr/analyses/forward_analysis/__init__.py,sha256=Du2Ng6EzDQzQYcRCffkOKjLztqa5GBNhiLSgErIPnHE,319
-angr/analyses/forward_analysis/forward_analysis.py,sha256=xqix831kl0U2p4mXZYpCQKVP52bRtoLaaHhXks1OHF0,20013
+angr/analyses/forward_analysis/forward_analysis.py,sha256=GnEcrQDNxD_yls1fllgXe90IUdc6np2uAWBRaeJc8yc,20020
 angr/analyses/forward_analysis/job_info.py,sha256=5iYthtygg22taqFTR9oFhmB2FX6z2rCuoXfBULHhFsU,1592
 angr/analyses/forward_analysis/visitors/__init__.py,sha256=GkGwTjU25YLDaKgrvWuOZwMq32DdOEbmQ9wTOCJQRaA,327
 angr/analyses/forward_analysis/visitors/call_graph.py,sha256=6d5W2taXv_RA30rZeiBzn_W3mxgKl_e8lHb__aqay6s,748
@@ -318,20 +318,20 @@ angr/analyses/propagator/__init__.py,sha256=lxvNUfUJYOPqO8se8Nej_NNCObLt90QFIrZh
 angr/analyses/propagator/engine_base.py,sha256=cZOwG1Qn44aoQ4-L5O4yQ_FhA6k0jwOMNfB27nyK7Tk,1960
 angr/analyses/propagator/engine_vex.py,sha256=ZqSKJ3PqlBI-lvLZFwl3beiknNIyUxHf_lGvzyhlIhE,12522
 angr/analyses/propagator/propagator.py,sha256=UZdkYuMk8yxUXu7KbQ2ck3gx2YBjgy6c-919JPb_IY4,13241
-angr/analyses/propagator/top_checker_mixin.py,sha256=akTUKJ90G_Ur1C_A7OZw3YuyVpbCL5_ZsvPFfEc2Ykw,8846
+angr/analyses/propagator/top_checker_mixin.py,sha256=Ket9h9TILsceIi3YoMbjeDF8PA6n3BelRDaL59vheMA,8852
 angr/analyses/propagator/values.py,sha256=L41ue9PjPpA_tEe8YlTwv3ly9o3Sbo8uQESALfbUr4c,2026
 angr/analyses/propagator/vex_vars.py,sha256=PRZOccwfdNRqEywPU-Mor3LGhakM5ItK1lRfay_T8vY,1462
-angr/analyses/reaching_definitions/__init__.py,sha256=5DhT4eF5dY5wbI4zpVvQpQZ8nfoCnsKd5T4qMorOTJ4,2000
+angr/analyses/reaching_definitions/__init__.py,sha256=lqe-S7Jl9ZlCGgJT0kUZtNMLzmySokDz72v0pQBHh4w,2060
 angr/analyses/reaching_definitions/call_trace.py,sha256=osabHpgiV-dvifwej3mwOxckeZmG6JIXb6FDSCFzfVI,2170
-angr/analyses/reaching_definitions/dep_graph.py,sha256=wkFQBEZr9q__0qMbS4e9sSX9fEU23ElLHg3IcH2nPbI,15910
+angr/analyses/reaching_definitions/dep_graph.py,sha256=yOuYhAYQQSi2aN6GIWYkgzquqg0_u4TMBbKVEupJrL4,15554
 angr/analyses/reaching_definitions/engine_ail.py,sha256=BvLsafjUOf5N0aoDYFb0IAzBKIWF0DzYRZVYZd8Bjfc,45861
-angr/analyses/reaching_definitions/engine_vex.py,sha256=1cE8bhDhvlrXcqRN_S68KoUl61i7hlMmnKb987cd3sk,43999
+angr/analyses/reaching_definitions/engine_vex.py,sha256=mFpp5EXD90l52yVjah4Xl07eva-U-uOAMsuVR4lvmcw,45033
 angr/analyses/reaching_definitions/external_codeloc.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-angr/analyses/reaching_definitions/function_handler.py,sha256=yvdoKmWXVX7l1qI0rSxGany_Q93Hvl4EfExi9M2jKVU,28272
+angr/analyses/reaching_definitions/function_handler.py,sha256=WalA9vdRQiHAR4UjR9x_AsHDu6UMcHlk-Gx19P8HbWI,28562
 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=fqbOaTlrwfUlklpzKd8qP4uHDR-VzuSZhLslPXiNgrc,24030
-angr/analyses/reaching_definitions/reaching_definitions.py,sha256=1GVrmkz4PfQlg9pkyl8bBM4XB6nT2eFVKaZq77GeYc4,24043
+angr/analyses/reaching_definitions/rd_state.py,sha256=S_Qr1xYPFFVEKrL5IXohdnZOd_9ewcfHqwaQOAtTMw4,22748
+angr/analyses/reaching_definitions/reaching_definitions.py,sha256=ubV8dA0mGWAkrbFQJ7LcXoF5o1K_p2F5VdnGC14jQZI,23703
 angr/analyses/reaching_definitions/subject.py,sha256=LxfEi_uko0KJixwFMWMy79l7QW4ZMEzZ6ftIzsrC8pw,2005
 angr/analyses/reaching_definitions/function_handler_library/__init__.py,sha256=elHg3doPsR68R3mZJM85qmDhy2OaCc347O-RaUaTDqY,458
 angr/analyses/reaching_definitions/function_handler_library/stdio.py,sha256=To3dKtjqRbtqcJhybbhuQF_uxBXg4JX-A0601SsftRQ,11370
@@ -339,15 +339,15 @@ angr/analyses/reaching_definitions/function_handler_library/stdlib.py,sha256=5PW
 angr/analyses/reaching_definitions/function_handler_library/string.py,sha256=14gNFX-oH8zVmfnyILklXbHAkxmsWcNT0YkYDSdHMo8,5047
 angr/analyses/reaching_definitions/function_handler_library/unistd.py,sha256=J_wALo_qxPk-KjhiWMoWDhH4O36wKmqKkWyf2zlAqug,1238
 angr/analyses/s_reaching_definitions/__init__.py,sha256=TyfVplxkJj8FAAAw9wegzJlcrbGwlFpIB23PdCcwrLA,254
-angr/analyses/s_reaching_definitions/s_rda_model.py,sha256=88s0atY64Aay1_xi4UWhAeMjiHsc1_xE8PxVDgzv_3w,5055
+angr/analyses/s_reaching_definitions/s_rda_model.py,sha256=8BZnpZpw0QaqixqH5JHKf2VcLa8Ct3-40D-JWiDWxFA,5330
 angr/analyses/s_reaching_definitions/s_rda_view.py,sha256=xGcRtLXLPCHy0GRrum6zhj8bBpAdR5kfW9rlAknvH9A,12733
 angr/analyses/s_reaching_definitions/s_reaching_definitions.py,sha256=4J9dIyklZodWAn1DGzMflNRwFuprhS2mwM1ud_yAK0c,7815
 angr/analyses/typehoon/__init__.py,sha256=KjKBUZadAd3grXUy48_qO0L4Me-riSqPGteVDcTL59M,92
 angr/analyses/typehoon/dfa.py,sha256=E0dNlKxy6A9uniqRJn3Rcwa6c6_NT_VVjtHM8b-j2LE,3503
 angr/analyses/typehoon/lifter.py,sha256=iLl9F7RZtyth3qEeTvJGyvrKxrmaLn8LxS9DUbkoz4k,2823
-angr/analyses/typehoon/simple_solver.py,sha256=KGPHvyDDGb1BVUi6QvkG41l5yu9nSOhKOjnm7KjVXxE,49591
+angr/analyses/typehoon/simple_solver.py,sha256=mDjbuMkZ0UBkcr99J3ZY_CTLbJmciyRMdPNBaM2J0-I,51708
 angr/analyses/typehoon/translator.py,sha256=9PV9M8LgmVYMBSmLutYU5irzHoGHMYeLGVYRUpiJFKE,9590
-angr/analyses/typehoon/typeconsts.py,sha256=hq6vzS4eAWf4qvMogZEk33kjFdYwcNLsPgNGR8kLvXA,7291
+angr/analyses/typehoon/typeconsts.py,sha256=cM4IbG8be3X_WidJ94tDSKOjEObw82V6zOb8ADvqKzw,7684
 angr/analyses/typehoon/typehoon.py,sha256=X7K9OT02yzTueXFPaFFoXGSsJOcPwtG1Jwz9mwIiF3w,9423
 angr/analyses/typehoon/typevars.py,sha256=InCSzckZ7scqO-0y24keae_LkvcDUBOY0usyBpE0i_8,16181
 angr/analyses/typehoon/variance.py,sha256=3wYw3of8uoar-MQ7gD6arALiwlJRW990t0BUqMarXIY,193
@@ -357,7 +357,7 @@ angr/analyses/unpacker/packing_detector.py,sha256=SO6aXR1gZkQ7w17AAv3C1-U2KAc0yL
 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=NJSTLRLVjkS1JHVB9WEjBzYHiOQ3SV2kD4znrEvSuRc,31888
-angr/analyses/variable_recovery/engine_base.py,sha256=sHoDCNJihgLQPBmIeKGmRS4H_0LFOjDWm1kJlTCafYY,51273
+angr/analyses/variable_recovery/engine_base.py,sha256=Vx7yhGDJXyFoJziV31PzE9rRO6JMVhLtpHhzS8SoRm4,51428
 angr/analyses/variable_recovery/engine_vex.py,sha256=jQEM7ruKhjQczkKqWcvpl5dVig-B6KyUiS_KuQrRaUs,20644
 angr/analyses/variable_recovery/irsb_scanner.py,sha256=1dL2IC7fZGuRrhmcpa2Q-G666aMPmbM8zSzmIRpLNSY,5141
 angr/analyses/variable_recovery/variable_recovery.py,sha256=s5hwY9oOibhLxsJIePhYRmrX0mrDIi_zKkfNblwYyhE,22169
@@ -393,28 +393,28 @@ angr/concretization_strategies/signed_add.py,sha256=kLIkHDjlhY6QoRj3g8gzY8y3bV3W
 angr/concretization_strategies/single.py,sha256=VFTkSrCXXK367e38rHEwqo0e8oGJoytXnJ8u02_XSPA,418
 angr/concretization_strategies/solutions.py,sha256=nGsRdjgmUPiJplktGYzKdJE_6H3J0svwsBIn_y77hgY,571
 angr/concretization_strategies/unlimited_range.py,sha256=fdQ54qrJ2nj47AKJPw6yuiDsemFRfJ35UsOk17NbC1Y,569
-angr/distributed/__init__.py,sha256=OPxtG89oy5LO_vmrjv_E5e6SOKjIYAyhMx4FhUhqBwI,205
+angr/distributed/__init__.py,sha256=KbEuL2qYp5UN8c0mv_38rfZefTvvvtMkp6_ejWVFpOQ,204
 angr/distributed/server.py,sha256=g3STpFQ48AScjXciwCt1sGE-qWAvi3GHwb8tdScL1CE,6645
 angr/distributed/worker.py,sha256=MZVlxC9ksC6xUG2fy5h08Vv9R8RiG7QBQIomPYdFIJs,6065
-angr/engines/__init__.py,sha256=BAJiIrk434Sjx0uVAPTSQLuI5hyto-g6oxHYnw2KVyE,1660
-angr/engines/engine.py,sha256=XjdaZ623tqQ0ufwkhfokIzCDRXFAANYmYvqI0ExTx8U,6268
-angr/engines/failure.py,sha256=4HMJ6E4CODc9TScGeOozHzEBqN9rmkeFPbM2nOwSmr0,1034
-angr/engines/hook.py,sha256=jMPgloeh6rZIx_OtsCec6Ct04xx5xQLez9_XZfiW2TI,2581
-angr/engines/procedure.py,sha256=iQoFIF9YwsK2KkxRjZbfmnuuL-hZgRdlvm4y6VWnxQY,2555
-angr/engines/successors.py,sha256=v-XVOQ9EYnkuc8LWnwN6tfPABUxo6TbYaueyVpCIC7I,24212
-angr/engines/syscall.py,sha256=BoC2dtkBvi82y91A2BRxFxm3nbXWCTnsJHaTKD2e-bU,2160
-angr/engines/unicorn.py,sha256=KNuBWIYTWP2l4NHjV1HW4Ggiiyn4gfOxLJYi_M0f5Us,24506
+angr/engines/__init__.py,sha256=_3oRkiTrPO7QPiCg3qXymt4o9ZAOrAHt5pdfjkp3W9k,1661
+angr/engines/engine.py,sha256=2kwOT-sbxKXAVX2PmsPTr8Ax36Vxq6hkRdDKaITBQNc,657
+angr/engines/failure.py,sha256=redqmkSuJoIc828hpmX3CTk4EqQ-PeEn7MK2uIqSAc0,1040
+angr/engines/hook.py,sha256=iIiy4sTtWrAzKeg95DjocuvmXz5bvvLCDYGOUAGphrY,2587
+angr/engines/procedure.py,sha256=8kgFH56nkqSWm0p1apuGBaFngl-4BnAzE0bXhq9mc6Y,2561
+angr/engines/successors.py,sha256=oQCW7Knxb4zz7EP6Mi6RrRNrwuhbv5fnX8UL76nn0sY,29501
+angr/engines/syscall.py,sha256=7wYTriURsDTTi3PEBj4u3ZWDi7RHBV-gRrxTRxwMAVk,2166
+angr/engines/unicorn.py,sha256=fq2akQ4dVFAWqek0Yr4JTaTJWwp5vICiSQ7Sg4wuDJE,24533
 angr/engines/light/__init__.py,sha256=-634kaOlcs8ZAsMNtOML7FXP3svyZIrJb3ikq0isFv0,494
 angr/engines/light/data.py,sha256=3bvC-7e6isb4aGM7IrdpZelJDSWQ0KflC-oNpCDT7tI,21243
-angr/engines/light/engine.py,sha256=x_as89HY2EkWfJWnpq28BoWCE_dy2KaDFr1bI7aJSKo,45934
+angr/engines/light/engine.py,sha256=uzueKHzMkgcKP7dJvuN5wT-FeEIQnPBOCBfzJbGtLe8,45936
 angr/engines/pcode/__init__.py,sha256=KWBnZnLYR3qANzXvxOt3XJq6cR57mQeNvugPBh7gr8s,195
 angr/engines/pcode/behavior.py,sha256=ycNNTNHlCJFG6fPtOwRHbI3c0fkY5pYyPA--k3Kz-WY,29406
 angr/engines/pcode/cc.py,sha256=brVglfSNnpDbRRcG-KO9EZ5NMMlmtDzP1n4kap7gKRY,3236
 angr/engines/pcode/emulate.py,sha256=36RgLy9bmpB3r_RCyDh3iudhKyaaBtlvLYPf3X1LlOA,16732
-angr/engines/pcode/engine.py,sha256=ZCBTxvdmLrYxMYqHaQDIu-WcFl7YN_RHkJ8Z9WlJaWI,10486
+angr/engines/pcode/engine.py,sha256=aFVvBYkVzZ8A5NkC2SblDU6Mlfk0ioVn7xDhp0iG8-8,9930
 angr/engines/pcode/lifter.py,sha256=Nx7dMzovx76oIJZGWSSiYcHagqtw7DNEsdgh6llJyxU,52231
 angr/engines/soot/__init__.py,sha256=0EUiUmGrPhM-MG9nrvJDYi9cIBrCTx1wff3Z7nRkTGs,92
-angr/engines/soot/engine.py,sha256=23sv3_qn85Dnzi_ttIMyJ9PLL70auVKPZgZsraEhi8M,17059
+angr/engines/soot/engine.py,sha256=rHKbnO9YBOAd1DJ-a33vAMseFt_b3iDhArTFdgmyVsc,17065
 angr/engines/soot/exceptions.py,sha256=if9tvb-SDUb3JVZAhUBOYxbmS_8Aq-7gsVa2kh76O5U,258
 angr/engines/soot/field_dispatcher.py,sha256=WelL0r0f2hSUki4Xw0myHlzvnzqhnN9l2JyByJsB-2Q,1893
 angr/engines/soot/method_dispatcher.py,sha256=Ooj7DwtXDcgvw6Wt60Q7Z_Xj6lEKR79ncVW_HCZphkQ,1759
@@ -446,7 +446,7 @@ angr/engines/soot/statements/identity.py,sha256=d1ldd4tJiRPuh2TOTAkjfL72-lWmPino
 angr/engines/soot/statements/if_.py,sha256=OZFSR5yojJzZjs63hF9yxGAcaIN4MqCOjWA84rbOE2s,603
 angr/engines/soot/statements/invoke.py,sha256=HbR2ke7Kcrns8e3dzjxYoxEzm4UnWjQL_EY9Vz1BWTY,319
 angr/engines/soot/statements/return_.py,sha256=4IIqto1nstQ-pGJYp8c7mrPRVyy41yeofQTqUcq9nUE,501
-angr/engines/soot/statements/switch.py,sha256=4-yRehzFKQLtVH-mMG5KynsVH8oSNW8--R2mdWIJacY,1342
+angr/engines/soot/statements/switch.py,sha256=dJrJ5-_dogvoAfzuYYWjDZn6o3p02AX9qgCtMn3WftA,1340
 angr/engines/soot/statements/throw.py,sha256=k41dYR-h63tjJ1xC_0npo3pMBFaX0nJqRZ0vsHzJ5fU,397
 angr/engines/soot/values/__init__.py,sha256=L3oz1NXDxvCTsdU8chpszGBuVIrWWSNS0LhHk0lrPhI,1101
 angr/engines/soot/values/arrayref.py,sha256=lki_NAPesi8FM0glJI8qM2cja5K0BCSxtRdVSrTCljc,4405
@@ -468,7 +468,7 @@ angr/engines/vex/heavy/__init__.py,sha256=XkIvjUOyEY9XN_zjM3ozzdSDqbMJHGm1Xbehwh
 angr/engines/vex/heavy/actions.py,sha256=Q08wb2TK5HfDduAf8PRXY58h8iIOeCuArNzALzIf0Tk,8668
 angr/engines/vex/heavy/concretizers.py,sha256=2xQYLXmugpJWIUjUrMnall2ewX05kTdOYLWjediaf6Q,14433
 angr/engines/vex/heavy/dirty.py,sha256=WXJsC6KBotTdNCn64Zl2GiU_q_YK-QNu4f7RfG4d_qc,18719
-angr/engines/vex/heavy/heavy.py,sha256=OI-WW--HaqOQ7lJcg5SAAak6-rkYHeO3ab3nyZHBEKg,16113
+angr/engines/vex/heavy/heavy.py,sha256=tbLzoyzKKTTfhqxT_VUR0ANkcRwCaF-Cj9UvHuLS1EU,15571
 angr/engines/vex/heavy/inspect.py,sha256=2sFdCnlhC_5Ugrju7uhAmY79lomfNLdl-o4B4mjlfjg,2368
 angr/engines/vex/heavy/resilience.py,sha256=QhGEQztITk1STChDxMWZoOSQuHXxExyW_wdWETaOpl0,3784
 angr/engines/vex/heavy/super_fastpath.py,sha256=jOf8AF3UlL9yc8K6D9Q5qw88Eez0B1ZwG_AA0rNDhQg,1209
@@ -529,13 +529,13 @@ angr/knowledge_plugins/functions/function_manager.py,sha256=gdXZY5__a8c_ItQoDkJq
 angr/knowledge_plugins/functions/function_parser.py,sha256=Ma_51hPet3iVJgMtBhKaT48CcNnxCNv2ys5oMrqJ3bw,11821
 angr/knowledge_plugins/functions/soot_function.py,sha256=lYMe4qbkhAkXqGHTVb0-RM_kB8xWYUocuioK7UmKZgQ,4847
 angr/knowledge_plugins/key_definitions/__init__.py,sha256=-x1VGH3LHMze3T-RygodvUG3oXXa5jhKvjXoPKyiU_0,432
-angr/knowledge_plugins/key_definitions/atoms.py,sha256=f01R8IyzNp-eI5ynzmCQYJIhOurPH3fhQY7HYsFMQ4c,11075
+angr/knowledge_plugins/key_definitions/atoms.py,sha256=ydXrPGPCFSMk1JR24qZfPy1xAVOAsc2Isc-QoZPm8Kg,11133
 angr/knowledge_plugins/key_definitions/constants.py,sha256=i-44XCfMyS2pK8AwW2rL0prhtxvsWB64E9pm4eDSUcY,673
 angr/knowledge_plugins/key_definitions/definition.py,sha256=AAePJW3BYV0Ju3ZFdqVJdQebPAkB1ASdTiuU9sRqzn4,8574
 angr/knowledge_plugins/key_definitions/environment.py,sha256=UbXUgv2vjz_dbG_gF2iNK6ZztKt2vgxov9SXdVEWFXk,3886
 angr/knowledge_plugins/key_definitions/heap_address.py,sha256=YF5k7saQTQA7cz3Sz0PbW7N3qpNZoVrlpOvq1L6gvFI,919
 angr/knowledge_plugins/key_definitions/key_definition_manager.py,sha256=IVmEzhaFll5uNSW8mVVcOuFyoNvUbcU58dYd-TlNLxs,3310
-angr/knowledge_plugins/key_definitions/live_definitions.py,sha256=-A865FrRR60m85eH4FnnYUpDYgFgRoFylareV1uJJxs,40522
+angr/knowledge_plugins/key_definitions/live_definitions.py,sha256=IAoU_k_vx4AOHdXqv88FQv30AyFhzUNZkn9zwiehJ38,38572
 angr/knowledge_plugins/key_definitions/liveness.py,sha256=yq_-ztA1jjCSOZlYBjM3HPDs7Nhbml1F2q1MeFGj15w,6958
 angr/knowledge_plugins/key_definitions/rd_model.py,sha256=wJUpQ1-QkNNOTYqPrlCY840SrG3KUns8fJahIqvcdTM,7105
 angr/knowledge_plugins/key_definitions/tag.py,sha256=QWtBe5yuMei6t2NRPwolVyUa1XyY2khMeU6pQwb66iQ,1710
@@ -1263,7 +1263,7 @@ angr/state_plugins/libc.py,sha256=aQaeS1IqcKnLw2PDZngoxwtJRx9FTXNLjkkbA-OeDzY,23
 angr/state_plugins/light_registers.py,sha256=R1QR_WWP9hvHP2iH-MMToG89h-LF21LG1mdOapNuWHc,6695
 angr/state_plugins/log.py,sha256=hTx4IF7BVW47pq9ZdMRlDmh4O9Y2pyecnq9Ey5PBgME,2400
 angr/state_plugins/loop_data.py,sha256=GAyGWwgmh914OPnxqIZ4BOGaNvlWmrHTxC136I7kYk8,4243
-angr/state_plugins/plugin.py,sha256=ZzJrDyQjE2FR9mOovT0RUoNSTkdr528N5zQTAp3trVU,6109
+angr/state_plugins/plugin.py,sha256=E2hqjR-XfS-aQRg2fedkqvmo6w3Fu84LTOIWE53OF9s,6731
 angr/state_plugins/posix.py,sha256=p2TjAl9k_CcmTS1-6QhKdM2ymBYAH2wnNW_t5oinZQ0,26774
 angr/state_plugins/preconstrainer.py,sha256=Y25dH4-rVh2fKAL1Ks2_k4KVkcRtrmWg_UXV-i0PQkU,8066
 angr/state_plugins/scratch.py,sha256=cq1kp8OBLwKNuBvaqAPylyDvw5whjL1A353R36UGK1Y,6210
@@ -1299,7 +1299,7 @@ angr/storage/memory_mixins/hex_dumper_mixin.py,sha256=YqP0r9-HsQd1GXx3Us5umSkBit
 angr/storage/memory_mixins/javavm_memory_mixin.py,sha256=ZNG9IrafrHITS_LCLidt5_KnVbuvcYpFTlXpYHP-GzI,15452
 angr/storage/memory_mixins/keyvalue_memory_mixin.py,sha256=tqjpvMaGyXeKIPTO669qMhKgFwQac2h53AvpRASi3fM,1195
 angr/storage/memory_mixins/label_merger_mixin.py,sha256=zPCM7I7zEgFzk3pwqeFKFs_clv5qMBaoPnuHxRKv4dY,897
-angr/storage/memory_mixins/memory_mixin.py,sha256=ccvxbjLMO98C-PPlRCtTKDrB53eWtq2VAkhSkcADOiM,6474
+angr/storage/memory_mixins/memory_mixin.py,sha256=ixxUxyqD9cIGQ2yxDN6GaGhOrPh_uqwG9sMjGvf-xNA,6481
 angr/storage/memory_mixins/multi_value_merger_mixin.py,sha256=ubmdwqxuQVL9LheJ9u_fjfira9yRaRB-Ibv-YQbpbmU,3310
 angr/storage/memory_mixins/name_resolution_mixin.py,sha256=GZkWxceMhP-e-iBGBilK6JgEjdBvUSPyd_Zi_4KZQxs,3432
 angr/storage/memory_mixins/simple_interface_mixin.py,sha256=isJ3_vuElWtLTW7MxweHs5WJOuawr1LmLlS7-yakWd4,2576
@@ -1323,7 +1323,7 @@ angr/storage/memory_mixins/paged_memory/pages/cooperation.py,sha256=1-gi9LooOPxY
 angr/storage/memory_mixins/paged_memory/pages/history_tracking_mixin.py,sha256=PZnWHtzOWeekHQ--JgGXPn5AGDqYS40LvpkwP9I-w7A,3037
 angr/storage/memory_mixins/paged_memory/pages/ispo_mixin.py,sha256=MIYF_F_WprsdRi9gQdLAiU-UfwyrSCAfiVNccpWyiA8,2074
 angr/storage/memory_mixins/paged_memory/pages/list_page.py,sha256=dAZIA0Z7tM5ZDQPtmkQ7OsUHq6bTqWPl_NcIj0RO7X0,14421
-angr/storage/memory_mixins/paged_memory/pages/multi_values.py,sha256=8b6QOTjY2Ja6tn0-czkTNs-EXMAfLMCqnXcBFveANS0,13018
+angr/storage/memory_mixins/paged_memory/pages/multi_values.py,sha256=aeKBWosclmNKl0wV6ST5ECATDjUz2dbWPkCpZCY_ws4,13230
 angr/storage/memory_mixins/paged_memory/pages/mv_list_page.py,sha256=vzvo3g8JaL7pIuaQyseF6-bAC-oXubg-ospi4vMZxi4,16947
 angr/storage/memory_mixins/paged_memory/pages/permissions_mixin.py,sha256=1RKRsZE2xn4hta1kTT0p6n4WTduQJKiPqhipN0Xi8p8,1002
 angr/storage/memory_mixins/paged_memory/pages/refcount_mixin.py,sha256=8sAIQgcZrMefCT9_DmToiF71SGFe1YkTEW5rJ6fZ7qI,1728
@@ -1358,12 +1358,12 @@ 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/ssa/__init__.py,sha256=mXPVi7w3tj8e34cFffbDRzR-M4xmCSle85Y-OAjbG3g,9115
+angr/utils/ssa/__init__.py,sha256=F7Z7BBSwFhsUa0aXKaVWgo_eOcZFy0CSyHP2AoG9ms0,13298
 angr/utils/ssa/tmp_uses_collector.py,sha256=rSpvMxBHzg-tmvhsfjn3iLyPEKzaZN-xpQrdslMq3J4,793
 angr/utils/ssa/vvar_uses_collector.py,sha256=8gfAWdRMz73Deh-ZshDM3GPAot9Lf-rHzCiaCil0hlE,1342
-angr-9.2.139.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.139.dist-info/METADATA,sha256=FUfkrjmR0FinUSECovfiwW23C-4N631blrba-RLAhFU,4762
-angr-9.2.139.dist-info/WHEEL,sha256=q0csfyxC0CgL_VbODy1dAROUKOBO6j0wA7STVVTEknI,108
-angr-9.2.139.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.139.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.139.dist-info/RECORD,,
+angr-9.2.140.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.140.dist-info/METADATA,sha256=kP93x9cj7cUsV-HIiI2Egq4hDSk_hZr49ALrPDctHM4,4762
+angr-9.2.140.dist-info/WHEEL,sha256=q0csfyxC0CgL_VbODy1dAROUKOBO6j0wA7STVVTEknI,108
+angr-9.2.140.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.140.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.140.dist-info/RECORD,,