angr 9.2.137__py3-none-macosx_11_0_arm64.whl → 9.2.138__py3-none-macosx_11_0_arm64.whl

angr/__init__.py

@@ -2,7 +2,7 @@
 # pylint: disable=wrong-import-position
 from __future__ import annotations
 
-__version__ = "9.2.137"
+__version__ = "9.2.138"
 
 if bytes is str:
     raise Exception(

angr/analyses/cfg/cfg_fast.py

@@ -2103,6 +2103,9 @@ class CFGFast(ForwardAnalysis[CFGNode, CFGNode, CFGJob, int], CFGBase):  # pylin
                     addr_ = addr_.concrete_value
                 if not isinstance(addr_, int):
                     continue
+                # is it valid?
+                if self.project.loader.find_object_containing(addr_) is None:
+                    continue
                 entries += self._create_jobs(
                     addr_,
                     jumpkind,

angr/analyses/complete_calling_conventions.py

@@ -17,7 +17,7 @@ from angr.utils.graph import GraphUtils
 from angr.simos import SimWindows
 from angr.utils.mp import mp_context, Initializer
 from angr.knowledge_plugins.cfg import CFGModel
-from . import Analysis, register_analysis, VariableRecoveryFast, CallingConventionAnalysis, FactCollector
+from . import Analysis, register_analysis, VariableRecoveryFast, CallingConventionAnalysis, FactCollector, CFGFast
 
 if TYPE_CHECKING:
     from angr.calling_conventions import SimCC
@@ -56,7 +56,7 @@ class CompleteCallingConventionsAnalysis(Analysis):
         recover_variables=False,
         low_priority=False,
         force=False,
-        cfg: CFGModel | None = None,
+        cfg: CFGFast | CFGModel | None = None,
         analyze_callsites: bool = False,
         skip_signature_matched_functions: bool = False,
         max_function_blocks: int | None = None,
@@ -89,7 +89,7 @@ class CompleteCallingConventionsAnalysis(Analysis):
         self._recover_variables = recover_variables
         self._low_priority = low_priority
         self._force = force
-        self._cfg = cfg
+        self._cfg: CFGModel | None = cfg.model if isinstance(cfg, CFGFast) else cfg
         self._analyze_callsites = analyze_callsites
         self._skip_signature_matched_functions = skip_signature_matched_functions
         self._max_function_blocks = max_function_blocks

angr/analyses/decompiler/decompilation_options.py

@@ -229,6 +229,16 @@ options = [
         default_value=True,
         clears_cache=True,
     ),
+    O(
+        "Show block addresses",
+        "Show block addresses as comments",
+        bool,
+        "codegen",
+        "display_block_addrs",
+        category="Display",
+        default_value=False,
+        clears_cache=True,
+    ),
     O(
         "Multi-expression statements generation",
         "Should the structuring algorithm generate multi-expression statements? If so, under what conditions?",

angr/analyses/decompiler/optimization_passes/flip_boolean_cmp.py

@@ -17,7 +17,7 @@ class FlipBooleanWalker(SequenceWalker):
     Uses the flip_size to determine when to flip the condition on large if-statement bodies.
     """
 
-    def __init__(self, graph, flip_size=10, last_node=None):
+    def __init__(self, graph, flip_size=9, last_node=None):
         super().__init__()
         self._graph = graph
         self._last_node = last_node
@@ -77,7 +77,7 @@ class FlipBooleanCmp(SequenceOptimizationPass):
     NAME = "Flip small ret booleans"
     DESCRIPTION = "When false node has no successors, flip condition so else scope can be simplified later"
 
-    def __init__(self, func, flip_size=10, **kwargs):
+    def __init__(self, func, flip_size=9, **kwargs):
         super().__init__(func, **kwargs)
         self._graph = kwargs.get("graph")
         self._flip_size = flip_size

angr/analyses/decompiler/peephole_optimizations/remove_redundant_nots.py

@@ -1,5 +1,6 @@
 from __future__ import annotations
-from ailment.expression import UnaryOp
+
+from ailment.expression import BinaryOp, UnaryOp
 
 from .base import PeepholeOptimizationExprBase
 
@@ -12,7 +13,24 @@ class RemoveRedundantNots(PeepholeOptimizationExprBase):
 
     def optimize(self, expr: UnaryOp, **kwargs):
         # Not(Not(expr)) ==> expr
-        if expr.op == "Not" and isinstance(expr.operand, UnaryOp) and expr.operand.op == "Not":
-            return expr.operand.operand
+        if expr.op == "Not":
+            if isinstance(expr.operand, UnaryOp):
+                if expr.operand.op == "Not":
+                    return expr.operand.operand
+            elif isinstance(expr.operand, BinaryOp) and expr.operand.op in BinaryOp.COMPARISON_NEGATION:
+                inner = expr.operand
+                negated_op = BinaryOp.COMPARISON_NEGATION[expr.operand.op]
+                return BinaryOp(
+                    inner.idx,
+                    negated_op,
+                    inner.operands,
+                    inner.signed,
+                    bits=inner.bits,
+                    floating_point=inner.floating_point,
+                    rounding_mode=inner.rounding_mode,
+                    vector_count=inner.vector_count,
+                    vector_size=inner.vector_size,
+                    **inner.tags,
+                )
 
         return None

angr/analyses/s_propagator.py

@@ -4,6 +4,8 @@ import contextlib
 from collections.abc import Mapping
 from collections import defaultdict
 
+import networkx
+
 from ailment.block import Block
 from ailment.expression import (
     Const,
@@ -22,6 +24,8 @@ from angr.analyses import Analysis, register_analysis
 from angr.utils.ssa import (
     get_vvar_uselocs,
     get_vvar_deflocs,
+    has_ite_expr,
+    has_ite_stmt,
     is_phi_assignment,
     is_const_assignment,
     is_const_and_vvar_assignment,
@@ -51,7 +55,7 @@ class SPropagatorAnalysis(Analysis):
     def __init__(  # pylint: disable=too-many-positional-arguments
         self,
         subject: Block | Function,
-        func_graph=None,
+        func_graph: networkx.DiGraph | None = None,
         only_consts: bool = True,
         stack_pointer_tracker=None,
         func_args: set[VirtualVariable] | None = None,
@@ -140,6 +144,9 @@ class SPropagatorAnalysis(Analysis):
             if isinstance(defloc, ExternalCodeLocation):
                 continue
 
+            assert defloc.block_addr is not None
+            assert defloc.stmt_idx is not None
+
             block = blocks[(defloc.block_addr, defloc.block_idx)]
             stmt = block.statements[defloc.stmt_idx]
             r, v = is_const_assignment(stmt)
@@ -155,32 +162,45 @@ class SPropagatorAnalysis(Analysis):
             if v is not None:
                 src_varids = {vvar.varid if vvar is not None else None for _, vvar in v.src_and_vvars}
                 if None not in src_varids and all(varid in const_vvars for varid in src_varids):
+                    all_int_src_varids: set[int] = {varid for varid in src_varids if varid is not None}
                     src_values = {
                         (
                             (const_vvars[varid].value, const_vvars[varid].bits)
                             if isinstance(const_vvars[varid], Const)
                             else const_vvars[varid]
                         )
-                        for varid in src_varids
+                        for varid in all_int_src_varids
                     }
                     if len(src_values) == 1:
                         # replace it!
-                        const_value = const_vvars[next(iter(src_varids))]
+                        const_value = const_vvars[next(iter(all_int_src_varids))]
                         const_vvars[vvar.varid] = const_value
                         for vvar_at_use, useloc in vvar_uselocs[vvar.varid]:
                             replacements[useloc][vvar_at_use] = const_value
 
             if self.mode == "function" and vvar.varid in vvar_uselocs:
+                if len(vvar_uselocs[vvar.varid]) <= 2 and isinstance(stmt, Assignment) and isinstance(stmt.src, Load):
+                    # do we want to propagate this Load expression if it's used for less than twice?
+                    # it's often seen in the following pattern, where propagation will be beneficial:
+                    #    v0 = Load(...)
+                    #    if (!v0) {
+                    #       v1 = v0 + 1;
+                    #    }
+                    can_replace = True
+                    for _, vvar_useloc in vvar_uselocs[vvar.varid]:
+                        if self.has_store_stmt_in_between(blocks, defloc, vvar_useloc):
+                            can_replace = False
+
+                    if can_replace:
+                        # we can propagate this load because there is no store between its def and use
+                        for vvar_used, vvar_useloc in vvar_uselocs[vvar.varid]:
+                            replacements[vvar_useloc][vvar_used] = stmt.src
+                        continue
+
                 if len(vvar_uselocs[vvar.varid]) == 1:
                     vvar_used, vvar_useloc = next(iter(vvar_uselocs[vvar.varid]))
-                    if (
-                        is_const_vvar_load_assignment(stmt)
-                        and vvar_useloc.block_addr == defloc.block_addr
-                        and vvar_useloc.block_idx == defloc.block_idx
-                        and not any(
-                            isinstance(stmt_, Store)
-                            for stmt_ in block.statements[defloc.stmt_idx + 1 : vvar_useloc.stmt_idx]
-                        )
+                    if is_const_vvar_load_assignment(stmt) and not self.has_store_stmt_in_between(
+                        blocks, defloc, vvar_useloc
                     ):
                         # we can propagate this load because there is no store between its def and use
                         replacements[vvar_useloc][vvar_used] = stmt.src
@@ -189,6 +209,8 @@ class SPropagatorAnalysis(Analysis):
                     if is_const_and_vvar_assignment(stmt):
                         # if the useloc is a phi assignment statement, ensure that stmt.src is the same as the phi
                         # variable
+                        assert vvar_useloc.block_addr is not None
+                        assert vvar_useloc.stmt_idx is not None
                         useloc_stmt = blocks[(vvar_useloc.block_addr, vvar_useloc.block_idx)].statements[
                             vvar_useloc.stmt_idx
                         ]
@@ -203,21 +225,31 @@ class SPropagatorAnalysis(Analysis):
                             replacements[vvar_useloc][vvar_used] = stmt.src
                         continue
 
-                elif (
-                    len(
-                        {
-                            loc
-                            for _, loc in vvar_uselocs[vvar.varid]
-                            if (loc.block_addr, loc.block_idx, loc.stmt_idx) not in (retsites | jumpsites)
-                        }
-                    )
-                    == 1
-                ):
+                else:
+                    non_exitsite_uselocs = [
+                        loc
+                        for _, loc in vvar_uselocs[vvar.varid]
+                        if (loc.block_addr, loc.block_idx, loc.stmt_idx) not in (retsites | jumpsites)
+                    ]
                     if is_const_and_vvar_assignment(stmt):
-                        # this vvar is used once if we exclude its uses at ret sites or jump sites. we can propagate it
-                        for vvar_used, vvar_useloc in vvar_uselocs[vvar.varid]:
-                            replacements[vvar_useloc][vvar_used] = stmt.src
-                        continue
+                        if len(non_exitsite_uselocs) == 1:
+                            # this vvar is used once if we exclude its uses at ret sites or jump sites. we can
+                            # propagate it
+                            for vvar_used, vvar_useloc in vvar_uselocs[vvar.varid]:
+                                replacements[vvar_useloc][vvar_used] = stmt.src
+                            continue
+
+                        if len(set(non_exitsite_uselocs)) == 1 and not has_ite_expr(stmt.src):
+                            useloc = non_exitsite_uselocs[0]
+                            assert useloc.block_addr is not None
+                            assert useloc.stmt_idx is not None
+                            useloc_stmt = blocks[(useloc.block_addr, useloc.block_idx)].statements[useloc.stmt_idx]
+                            if stmt.src.depth <= 3 and not has_ite_stmt(useloc_stmt):
+                                # remove duplicate use locs (e.g., if the variable is used multiple times by the same
+                                # statement) - but ensure stmt is simple enough
+                                for vvar_used, vvar_useloc in vvar_uselocs[vvar.varid]:
+                                    replacements[vvar_useloc][vvar_used] = stmt.src
+                                continue
 
                 # special logic for global variables: if it's used once or multiple times, and the variable is never
                 # updated before it's used, we will propagate the load
@@ -226,7 +258,11 @@ class SPropagatorAnalysis(Analysis):
                     # unpack conversions
                     while isinstance(stmt_src, Convert):
                         stmt_src = stmt_src.operand
-                    if isinstance(stmt_src, Load) and isinstance(stmt_src.addr, Const):
+                    if (
+                        isinstance(stmt_src, Load)
+                        and isinstance(stmt_src.addr, Const)
+                        and isinstance(stmt_src.addr.value, int)
+                    ):
                         gv_updated = False
                         for _vvar_used, vvar_useloc in vvar_uselocs[vvar.varid]:
                             gv_updated |= self.is_global_variable_updated(
@@ -286,6 +322,8 @@ class SPropagatorAnalysis(Analysis):
         for block_loc, tmp_and_uses in tmp_uselocs.items():
             for tmp_atom, tmp_uses in tmp_and_uses.items():
                 # take a look at the definition and propagate the definition if supported
+                assert block_loc.block_addr is not None
+
                 block = blocks[(block_loc.block_addr, block_loc.block_idx)]
                 tmp_def_stmtidx = tmp_deflocs[block_loc][tmp_atom]
 
@@ -350,6 +388,8 @@ class SPropagatorAnalysis(Analysis):
 
             start_stmt_idx = defloc.stmt_idx if block is defblock else 0  # inclusive
             end_stmt_idx = useloc.stmt_idx if block is useblock else len(block.statements)  # exclusive
+            assert start_stmt_idx is not None
+            assert end_stmt_idx is not None
 
             for idx in range(start_stmt_idx, end_stmt_idx):
                 stmt = block.statements[idx]
@@ -380,5 +420,43 @@ class SPropagatorAnalysis(Analysis):
 
         return False
 
+    def has_store_stmt_in_between(
+        self, blocks: dict[tuple[int, int | None], Block], defloc: CodeLocation, useloc: CodeLocation
+    ) -> bool:
+        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 self.func_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 + 1
+
+            for i in range(starting_stmt_idx, ending_stmt_idx):
+                if isinstance(block.statements[i], Store):
+                    return True
+
+            if block is def_block:
+                continue
+
+            for pred in self.func_graph.predecessors(block):
+                if pred not in seen:
+                    seen.add(pred)
+                    queue.append(pred)
+
+        return False
+
 
 register_analysis(SPropagatorAnalysis, "SPropagator")

angr/procedures/glibc/__libc_start_main.py

@@ -251,11 +251,18 @@ class __libc_start_main(angr.SimProcedure):
         args = cc.get_args(state, ty)
         main, _, _, init, fini = self._extract_args(blank_state, *args)
 
-        return [
-            {"address": init, "jumpkind": "Ijk_Call", "namehint": "init"},
+        # skip invalid results
+        result = [
             {"address": main, "jumpkind": "Ijk_Call", "namehint": "main"},
-            {"address": fini, "jumpkind": "Ijk_Call", "namehint": "fini"},
         ]
+        if init.concrete and init.concrete_value != 0:
+            init_item = {"address": init, "jumpkind": "Ijk_Call", "namehint": "init"}
+            result.insert(0, init_item)
+        if fini.concrete and fini.concrete_value != 0:
+            fini_item = {"address": fini, "jumpkind": "Ijk_Call", "namehint": "fini"}
+            result.append(fini_item)
+
+        return result
 
     @staticmethod
     def _extract_args(state, main, argc, argv, init, fini):

angr/utils/ssa/__init__.py

@@ -4,7 +4,7 @@ from typing import Any, Literal, overload
 
 import archinfo
 from ailment import Expression, Block
-from ailment.expression import VirtualVariable, Const, Phi, Tmp, Load, Register, StackBaseOffset, DirtyExpression
+from ailment.expression import VirtualVariable, Const, Phi, Tmp, Load, Register, StackBaseOffset, DirtyExpression, ITE
 from ailment.statement import Statement, Assignment, Call
 from ailment.block_walker import AILBlockWalkerBase
 
@@ -213,12 +213,25 @@ def is_dephi_vvar(vvar: VirtualVariable) -> bool:
     return vvar.varid == DEPHI_VVAR_REG_OFFSET
 
 
+def has_ite_expr(expr: Expression) -> bool:
+    walker = AILBlacklistExprTypeWalker((ITE,))
+    walker.walk_expression(expr)
+    return walker.has_blacklisted_exprs
+
+
+def has_ite_stmt(stmt: Statement) -> bool:
+    walker = AILBlacklistExprTypeWalker((ITE,))
+    walker.walk_statement(stmt)
+    return walker.has_blacklisted_exprs
+
+
 __all__ = (
     "VVarUsesCollector",
     "get_tmp_deflocs",
     "get_tmp_uselocs",
     "get_vvar_deflocs",
     "get_vvar_uselocs",
+    "has_ite_expr",
     "is_const_and_vvar_assignment",
     "is_const_assignment",
     "is_const_vvar_load_assignment",

{angr-9.2.137.dist-info → angr-9.2.138.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: angr
-Version: 9.2.137
+Version: 9.2.138
 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.137
-Requires-Dist: archinfo==9.2.137
+Requires-Dist: ailment==9.2.138
+Requires-Dist: archinfo==9.2.138
 Requires-Dist: cachetools
 Requires-Dist: capstone==5.0.3
 Requires-Dist: cffi>=1.14.0
-Requires-Dist: claripy==9.2.137
-Requires-Dist: cle==9.2.137
+Requires-Dist: claripy==9.2.138
+Requires-Dist: cle==9.2.138
 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.137
+Requires-Dist: pyvex==9.2.138
 Requires-Dist: rich>=13.1.0
 Requires-Dist: sortedcontainers
 Requires-Dist: sympy

{angr-9.2.137.dist-info → angr-9.2.138.dist-info}/RECORD

@@ -1,4 +1,4 @@
-angr/__init__.py,sha256=s0vUBFdXcJg3vsEf7xzE_79znBwxn_hbFlBMo_Rt40U,9153
+angr/__init__.py,sha256=_nG-5IzQOKO7IRjqlaLV4y3d44qO1Yzc1AzPa_MJOlo,9153
 angr/__main__.py,sha256=XeawhF6Cco9eWcfMTDWzYYggLB3qjnQ87IIeFOplaHM,2873
 angr/annocfg.py,sha256=0NIvcuCskwz45hbBzigUTAuCrYutjDMwEXtMJf0y0S0,10742
 angr/blade.py,sha256=NhesOPloKJC1DQJRv_HBT18X7oNxK16JwAfNz2Lc1o0,15384
@@ -37,7 +37,7 @@ angr/analyses/cdg.py,sha256=UxKp30a1pq0q-FsgmutHU3sdXFwXOjlcal0wzX4EYJM,6229
 angr/analyses/class_identifier.py,sha256=ORsFU2vWPQS2BgxxZZBhL5w_h6MnDTsccChyM5OyTpg,2948
 angr/analyses/code_tagging.py,sha256=Gj7Ms24RnmhC9OD57gw7R6_c-pLfqSug-LVUMw_JmXE,3510
 angr/analyses/codecave.py,sha256=k_dDhMN4wcq2bs5VrwpOv96OowQ7AbZSs6j5Z6YbIpk,2209
-angr/analyses/complete_calling_conventions.py,sha256=E814rQ_Op9mGlHroDKaoUDz1GvKEgQoJ2E2Ta7Bq-GM,19429
+angr/analyses/complete_calling_conventions.py,sha256=8jBayawWeHumo-97R-Yz2IxeZJ1MCY4IrpKz_JCLcTc,19508
 angr/analyses/congruency_check.py,sha256=QeYRrdrs_iluLLnKz3KUHkCTPRVl5PgM2T0ZXd786HA,16165
 angr/analyses/datagraph_meta.py,sha256=Ng0jqLD5ucRn_fBXhYq3l6scs3kczRk6Sk-Sen1forc,3414
 angr/analyses/ddg.py,sha256=AWPPsL2bfTAua5meuQfPFL6b29PLpCLZzw-LGCv5iVo,63214
@@ -54,7 +54,7 @@ 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=M15T2v62b4lS_EHlAdNouiG_N6CKplIg5YbmhOQcG2s,17027
+angr/analyses/s_propagator.py,sha256=Lsg4-Sicv70U11APKC5ivW8d7KVAhOcImWGz_yUuhmY,20783
 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
@@ -74,7 +74,7 @@ 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_emulated.py,sha256=DkLzdePp50ecbFDhpqEtK43V8H1K4BnQe9NdjlNnonY,147826
-angr/analyses/cfg/cfg_fast.py,sha256=NCnv3IjHfgSNvtL9AjBQMwGqCTgAzUS1QiuESFOF8xI,225627
+angr/analyses/cfg/cfg_fast.py,sha256=sCjyVVYZVJu6sKMSCnnjr3NtHYNhw5uwKHUmOi2HsqU,225765
 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
@@ -109,7 +109,7 @@ angr/analyses/decompiler/callsite_maker.py,sha256=eADZt3lujqGS9WjrWat9L3GasjcdR7
 angr/analyses/decompiler/clinic.py,sha256=j1y_Hf1IBvU9eMlwBsSCUB-yp9oemNdIsEQbrVdPbDQ,127551
 angr/analyses/decompiler/condition_processor.py,sha256=LhV6kEg_taX8-LnJ6a_L5610TfQF5P3oM0HlL6XX8Q8,53740
 angr/analyses/decompiler/decompilation_cache.py,sha256=raMsZL9i5ajKP-lO_Qo_1gP2bsDccTNP9cNhINbk8ac,1375
-angr/analyses/decompiler/decompilation_options.py,sha256=QWUGnfQ0FUekGs_I6X-ZKvAvL39VX2hFRcZrlXd72fY,7957
+angr/analyses/decompiler/decompilation_options.py,sha256=NDB67DI1L-stvJ4b1eQkfV26HgDJ_rG9-6PEv08G9-8,8195
 angr/analyses/decompiler/decompiler.py,sha256=ol3_Mlrn2vLoK3D9Kg5Y9_xUBdZYVmxPVrUXS6duK40,28704
 angr/analyses/decompiler/empty_node_remover.py,sha256=_RAGjqDyRmannEGPcMmWkL7em990-_sKgl5CYreb-yI,7403
 angr/analyses/decompiler/expression_narrower.py,sha256=hEL9ZkmUpX6wAv_hBcIV4jwTuiHpbZTNjGodfV0VsnI,10343
@@ -152,7 +152,7 @@ angr/analyses/decompiler/optimization_passes/deadblock_remover.py,sha256=xPBoZCZ
 angr/analyses/decompiler/optimization_passes/div_simplifier.py,sha256=fdMyGtykG9QepIUFL2_KN9lqsJFqHsVwNoJ1p8GlQ7A,18739
 angr/analyses/decompiler/optimization_passes/engine_base.py,sha256=PiCFksceRfu0nPPSKfzTsMmrAJ1YaHMEjcuCHcaYbgM,16662
 angr/analyses/decompiler/optimization_passes/expr_op_swapper.py,sha256=PJMJ0INWiINSkv1eD5QsMJS81XtfuyKqoqe6NTkU120,4715
-angr/analyses/decompiler/optimization_passes/flip_boolean_cmp.py,sha256=ULonaiVMx2g7bflZrfoEgjrW7yQJDsfdieTdV7kfGug,4031
+angr/analyses/decompiler/optimization_passes/flip_boolean_cmp.py,sha256=lS70nBKCSWQ69vcvazAI24zgUdEFtbg33wr6t78XFqI,4029
 angr/analyses/decompiler/optimization_passes/inlined_string_transformation_simplifier.py,sha256=8eVT6ffOtgU4GHqeigwrdvFuA59ZV80TfYeaGLDW9A0,24843
 angr/analyses/decompiler/optimization_passes/ite_expr_converter.py,sha256=eeKEkoT0WphueWZd5P07cfa9lTBK3BzL0jUyOx4XmJQ,7820
 angr/analyses/decompiler/optimization_passes/ite_region_converter.py,sha256=gFEgdVcsWOCex1VZMRY5kBgjL4LGE9yXp8N5y6LY7ws,13168
@@ -213,7 +213,7 @@ angr/analyses/decompiler/peephole_optimizations/remove_redundant_bitmasks.py,sha
 angr/analyses/decompiler/peephole_optimizations/remove_redundant_conversions.py,sha256=_TOXqaPu4SXkjFLsDjjeOd7SGz8nQXgRXofFvOswqIk,7766
 angr/analyses/decompiler/peephole_optimizations/remove_redundant_ite_branch.py,sha256=I3BdEwYNCz7vt0BreBhB-m0OD6g0-SxqNFCw5fpE_EM,1128
 angr/analyses/decompiler/peephole_optimizations/remove_redundant_ite_comparisons.py,sha256=o5KX_HnE8e_bJCSX2mOomheXRk3EUU0mPbja7w0w8Ns,1878
-angr/analyses/decompiler/peephole_optimizations/remove_redundant_nots.py,sha256=JOsJeo77vGGaEFFXSk2pHub6gleQmWsnvNdZEqv_uBg,538
+angr/analyses/decompiler/peephole_optimizations/remove_redundant_nots.py,sha256=_y3YWya1mbZWx663yrwTCMF9F57JVpIpBrrU6VNNyjQ,1273
 angr/analyses/decompiler/peephole_optimizations/remove_redundant_reinterprets.py,sha256=DqGdwso3CuulthzNNjUseNF2eb8VMQhhritjWSwCViE,1425
 angr/analyses/decompiler/peephole_optimizations/remove_redundant_shifts.py,sha256=XBE4jziVAhwUDxb3un5yMhngPc-MBGVcwtdm0EczQy4,1776
 angr/analyses/decompiler/peephole_optimizations/remove_redundant_shifts_around_comparators.py,sha256=MHkgIgOMWaAVqe5q4X-yzIxkPzd2KyTngvhxtXorOi4,1605
@@ -552,7 +552,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=Yb88z3L8Y26TfGeRHdsGWQlT9f6oWntjEg6s-kcVtUQ,4040
 angr/knowledge_plugins/xrefs/xref_types.py,sha256=LcQ9pD4E4XlC51Us49xiqAoGAFGpnCrpYO4mOzILiKI,308
-angr/lib/angr_native.dylib,sha256=B-DnN8UUxL7nKUbKqZRibEiro_uM40rWm6DMT1ncTcI,16187984
+angr/lib/angr_native.dylib,sha256=7xuGaJBVFo-KpAxqehDXgS3d3ZIuousvl9itoXk0r_I,16187984
 angr/misc/__init__.py,sha256=FoUwjk1DhqlIsr2sBN0MlR8MnSOGQv9QJhxmq32RYuA,355
 angr/misc/ansi.py,sha256=nPJHC0SKfqasMQZ0LxdmmIYojjmk4nr5jI6FrzoTwS0,811
 angr/misc/autoimport.py,sha256=iZagpuPwZWczUTYIqs-JkDMQjftMqc_cchcm7OBFiEg,3450
@@ -967,7 +967,7 @@ angr/procedures/glibc/__ctype_toupper_loc.py,sha256=f_7QVgjBwqX0C-J1FLPSVwTcYJy8
 angr/procedures/glibc/__errno_location.py,sha256=2vsI8nPVYcvxGTg4UZ_cEGJT-Xh3Gk_nbV1PSObr-nE,192
 angr/procedures/glibc/__init__.py,sha256=NjNtLNzO6f70tY9_LCv4-QRIC4g7o9y5CELaX1VUMyU,110
 angr/procedures/glibc/__libc_init.py,sha256=xYokoQsAc-eJQPW4sp6EQR9X22mzF3-47-TUb-vGhQQ,1555
-angr/procedures/glibc/__libc_start_main.py,sha256=ow0xMnxG316X82QYGWxVhovq_ZNRpPqrtszgweYH2Rc,11073
+angr/procedures/glibc/__libc_start_main.py,sha256=as8GrAth_w3Ol-fht9SjE-x6I8H17ndH9kfXmq40OWQ,11338
 angr/procedures/glibc/dynamic_loading.py,sha256=uainl-wSeREeGbKGXjOlpwTxrQgjFfcJkZ0lnzOWR_s,695
 angr/procedures/glibc/scanf.py,sha256=Y4wXanaRKmkrkGygwZZj23MwcTzz_HODo2CxzO8ab0M,209
 angr/procedures/glibc/sscanf.py,sha256=FBVbBuvTS-tFFPEGChaEKBFGho9OOAN5VKAFbk2X0nk,124
@@ -1356,12 +1356,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=OD3eTWAiH9QXGpwliNBCTC3Z4bux9iBX3Sp50aUNHvI,8758
+angr/utils/ssa/__init__.py,sha256=mXPVi7w3tj8e34cFffbDRzR-M4xmCSle85Y-OAjbG3g,9115
 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.137.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.137.dist-info/METADATA,sha256=7i_JZRvdBTiVkzV_wnqnhWXzyN88H9IatpdsvtK0xoc,4762
-angr-9.2.137.dist-info/WHEEL,sha256=O4J1YDMQNwdjvIQaOWOB89a_c5Kh4FeXXaxSflKgCTQ,105
-angr-9.2.137.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.137.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.137.dist-info/RECORD,,
+angr-9.2.138.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.138.dist-info/METADATA,sha256=af9QcAmOmXzsD6UfrjbQzQLzGStr4CpDZS7X-GQnW6Y,4762
+angr-9.2.138.dist-info/WHEEL,sha256=O4J1YDMQNwdjvIQaOWOB89a_c5Kh4FeXXaxSflKgCTQ,105
+angr-9.2.138.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.138.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.138.dist-info/RECORD,,