angr 9.2.144__py3-none-macosx_10_9_x86_64.whl → 9.2.146__py3-none-macosx_10_9_x86_64.whl

angr/__init__.py

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

angr/analyses/cfg/cfg_fast.py

@@ -1540,6 +1540,19 @@ class CFGFast(ForwardAnalysis[CFGNode, CFGNode, CFGJob, int], CFGBase):  # pylin
                 }:
                     func.info["is_alloca_probe"] = True
 
+        elif self.project.arch.name == "X86":
+            # determine if the function is __alloca_probe
+            func = self.kb.functions.get_by_addr(func_addr) if self.kb.functions.contains_addr(func_addr) else None
+            if func is not None and len(func.block_addrs_set) == 4:
+                block_bytes = {func.get_block(block_addr).bytes for block_addr in func.block_addrs_set}
+                if block_bytes == {
+                    b"-\x00\x10\x00\x00\x85\x00\xeb\xe9",
+                    b";\xc8r\n",
+                    b"Q\x8dL$\x04+\xc8\x1b\xc0\xf7\xd0#\xc8\x8b\xc4%\x00\xf0\xff\xff;\xc8r\n",
+                    b"\x8b\xc1Y\x94\x8b\x00\x89\x04$\xc3",
+                }:
+                    func.info["is_alloca_probe"] = True
+
         if self._collect_data_ref and self.project is not None and ":" in self.project.arch.name:
             # this is a pcode arch - use Clinic to recover data references
 
@@ -1829,7 +1842,7 @@ class CFGFast(ForwardAnalysis[CFGNode, CFGNode, CFGJob, int], CFGBase):  # pylin
 
         if (
             self.project.simos is not None
-            and self.project.arch.name == "AMD64"
+            and self.project.arch.name in {"X86", "AMD64"}
             and self.project.simos.name == "Win32"
             and isinstance(self.project.loader.main_object, cle.PE)
         ):

angr/analyses/decompiler/clinic.py

@@ -2951,7 +2951,7 @@ class Clinic(Analysis):
                     if self.project.kb.functions.contains_addr(last_stmt.target.value)
                     else None
                 )
-                if func is not None and func.name == "__chkstk":
+                if func is not None and (func.name == "__chkstk" or func.info.get("is_alloca_probe", False) is True):
                     # get rid of this call
                     node.statements = node.statements[:-1]
                     if self.project.arch.call_pushes_ret and node.statements:

angr/analyses/decompiler/optimization_passes/engine_base.py

@@ -312,7 +312,15 @@ class SimplifierAILEngine(
         return expr
 
     def _handle_expr_ITE(self, expr):
-        return expr
+        return ailment.expression.ITE(
+            expr.idx,
+            self._expr(expr.cond),
+            self._expr(expr.iffalse),
+            self._expr(expr.iftrue),
+            variable=expr.variable,
+            variable_offset=expr.variable_offset,
+            **expr.tags,
+        )
 
     def _handle_expr_Call(self, expr):
         return expr

angr/analyses/decompiler/optimization_passes/win_stack_canary_simplifier.py

@@ -110,8 +110,11 @@ class WinStackCanarySimplifier(OptimizationPass):
                     _l.debug("Cannot find the statement calling _security_check_cookie() in the predecessor.")
                     continue
 
-                # TODO: Support x86
-                canary_storing_stmt_idx = self._find_amd64_canary_storing_stmt(pred, store_offset)
+                canary_storing_stmt_idx = (
+                    self._find_amd64_canary_storing_stmt(pred, store_offset)
+                    if self.project.arch.name == "AMD64"
+                    else self._find_x86_canary_storing_stmt(pred, store_offset)
+                )
                 if canary_storing_stmt_idx is None:
                     _l.debug("Cannot find the canary check statement in the predecessor.")
                     continue
@@ -270,6 +273,59 @@ class WinStackCanarySimplifier(OptimizationPass):
                 return idx
         return None
 
+    def _find_x86_canary_storing_stmt(self, block, canary_value_stack_offset):
+        load_stmt_idx = None
+
+        for idx, stmt in enumerate(block.statements):
+            # when we are lucky, we have one instruction
+            if (
+                (
+                    isinstance(stmt, ailment.Stmt.Assignment)
+                    and isinstance(stmt.dst, ailment.Expr.VirtualVariable)
+                    and stmt.dst.was_reg
+                    and stmt.dst.reg_offset == self.project.arch.registers["eax"][0]
+                )
+                and isinstance(stmt.src, ailment.Expr.BinaryOp)
+                and stmt.src.op == "Xor"
+            ):
+                op0, op1 = stmt.src.operands
+                if (
+                    isinstance(op0, ailment.Expr.Load)
+                    and isinstance(op0.addr, ailment.Expr.StackBaseOffset)
+                    and op0.addr.offset == canary_value_stack_offset
+                ) and isinstance(op1, ailment.Expr.StackBaseOffset):
+                    # found it
+                    return idx
+            # or when we are unlucky, we have two instructions...
+            if (
+                isinstance(stmt, ailment.Stmt.Assignment)
+                and isinstance(stmt.dst, ailment.Expr.VirtualVariable)
+                and stmt.dst.reg_offset == self.project.arch.registers["eax"][0]
+                and isinstance(stmt.src, ailment.Expr.Load)
+                and isinstance(stmt.src.addr, ailment.Expr.StackBaseOffset)
+                and stmt.src.addr.offset == canary_value_stack_offset
+            ):
+                load_stmt_idx = idx
+            if (
+                load_stmt_idx is not None
+                and idx >= load_stmt_idx + 1
+                and (
+                    isinstance(stmt, ailment.Stmt.Assignment)
+                    and isinstance(stmt.dst, ailment.Expr.VirtualVariable)
+                    and stmt.dst.was_reg
+                    and isinstance(stmt.src, ailment.Expr.BinaryOp)
+                    and stmt.src.op == "Xor"
+                )
+                and (
+                    isinstance(stmt.src.operands[0], ailment.Expr.VirtualVariable)
+                    and stmt.src.operands[0].was_reg
+                    and stmt.src.operands[0].reg_offset == self.project.arch.registers["eax"][0]
+                    and isinstance(stmt.src.operands[1], ailment.Expr.StackBaseOffset)
+                )
+            ):
+                return idx
+        return None
+
     @staticmethod
     def _find_return_addr_storing_stmt(block):
         for idx, stmt in enumerate(block.statements):

angr/analyses/decompiler/peephole_optimizations/eager_eval.py

@@ -222,6 +222,17 @@ class EagerEvaluation(PeepholeOptimizationExprBase):
                     )
                     return BinaryOp(expr.idx, "Div", (mul, new_const_0), expr.signed, bits=expr.bits, **expr.tags)
 
+        elif expr.op == "Mod":
+            op0, op1 = expr.operands
+            if (
+                isinstance(op0, Const)
+                and isinstance(op0.value, int)
+                and isinstance(op1, Const)
+                and isinstance(op1.value, int)
+                and op1.value != 0
+            ):
+                return Const(expr.idx, None, op0.value % op1.value, expr.bits, **expr.tags)
+
         elif expr.op in {"Shr", "Sar"} and isinstance(expr.operands[1], Const):
             expr0, expr1 = expr.operands
             if isinstance(expr0, BinaryOp) and expr0.op == "Shr" and isinstance(expr0.operands[1], Const):

angr/analyses/decompiler/ssailification/ssailification.py

@@ -145,7 +145,7 @@ class Ssailification(Analysis):  # pylint:disable=abstract-method
             stackvar_locs = {}
             sorted_stackvar_offs = []
 
-        # computer phi node locations for each unified definition
+        # compute phi node locations for each unified definition
         udef_to_defs = defaultdict(set)
         udef_to_blockkeys = defaultdict(set)
         for def_, loc in def_to_loc:

angr/analyses/stack_pointer_tracker.py

@@ -15,6 +15,7 @@ from angr.analyses import AnalysesHub
 from angr.knowledge_plugins import Function
 from angr.block import BlockNode
 from angr.errors import SimTranslationError
+from angr.calling_conventions import SimStackArg
 from .analysis import Analysis
 
 try:
@@ -554,7 +555,7 @@ class StackPointerTracker(Analysis, ForwardAnalysis):
         if vex_block is not None:
             if isinstance(vex_block, pyvex.IRSB):
                 curr_stmt_start_addr = self._process_vex_irsb(node, vex_block, state)
-            elif pypcode is not None and isinstance(vex_block, pcode.lifter.IRSB):
+            elif pypcode is not None and isinstance(vex_block, pcode.lifter.IRSB):  # type: ignore
                 curr_stmt_start_addr = self._process_pcode_irsb(node, vex_block, state)
             else:
                 raise NotImplementedError(f"Unsupported block type {type(vex_block)}")
@@ -587,7 +588,7 @@ class StackPointerTracker(Analysis, ForwardAnalysis):
                         raise CouldNotResolveException
                     if arg1_expr is BOTTOM:
                         return BOTTOM
-                    return arg0_expr + arg1_expr
+                    return arg0_expr + arg1_expr  # type: ignore
                 if expr.op.startswith("Iop_Sub"):
                     arg0_expr = _resolve_expr(arg0)
                     if arg0_expr is None:
@@ -599,7 +600,7 @@ class StackPointerTracker(Analysis, ForwardAnalysis):
                         raise CouldNotResolveException
                     if arg1_expr is BOTTOM:
                         return BOTTOM
-                    return arg0_expr - arg1_expr
+                    return arg0_expr - arg1_expr  # type: ignore
                 if expr.op.startswith("Iop_And"):
                     # handle stack pointer alignments
                     arg0_expr = _resolve_expr(arg0)
@@ -713,43 +714,78 @@ class StackPointerTracker(Analysis, ForwardAnalysis):
                     pass
             # who are we calling?
             callees = [] if self._func is None else self._find_callees(node)
+            sp_adjusted = False
             if callees:
                 if len(callees) == 1:
+
                     callee = callees[0]
-                    track_rax = False
-                    if (
-                        (callee.info.get("is_rust_probestack", False) and self.project.arch.name == "AMD64")
-                        or (callee.info.get("is_alloca_probe", False) and self.project.arch.name == "AMD64")
-                        or callee.name == "__chkstk"
-                    ):
-                        # sp = sp - rax right after returning from the call
-                        track_rax = True
-
-                    if track_rax:
-                        for stmt in reversed(vex_block.statements):
-                            if (
-                                isinstance(stmt, pyvex.IRStmt.Put)
-                                and stmt.offset == self.project.arch.registers["rax"][0]
-                                and isinstance(stmt.data, pyvex.IRExpr.Const)
-                            ):
-                                state.put(stmt.offset, Constant(stmt.data.con.value), force=True)
-                                break
+                    if callee.info.get("is_rust_probestack", False):
+                        # sp = sp - rax/eax right after returning from the call
+                        rust_probe_stack_rax_regname: str | None = None
+                        if self.project.arch.name == "AMD64":
+                            rust_probe_stack_rax_regname = "rax"
+                        elif self.project.arch.name == "X86":
+                            rust_probe_stack_rax_regname = "eax"
+
+                        if rust_probe_stack_rax_regname is not None:
+                            for stmt in reversed(vex_block.statements):
+                                if (
+                                    isinstance(stmt, pyvex.IRStmt.Put)
+                                    and stmt.offset == self.project.arch.registers[rust_probe_stack_rax_regname][0]
+                                    and isinstance(stmt.data, pyvex.IRExpr.Const)
+                                ):
+                                    sp_adjusted = True
+                                    state.put(stmt.offset, Constant(stmt.data.con.value), force=True)
+                                    break
+
+                    if not sp_adjusted and (callee.info.get("is_alloca_probe", False) or callee.name == "__chkstk"):
+                        # sp = sp - rax, but it's adjusted within the callee
+                        chkstk_stack_rax_regname: str | None = None
+                        if self.project.arch.name == "AMD64":
+                            chkstk_stack_rax_regname = "rax"
+                        elif self.project.arch.name == "X86":
+                            chkstk_stack_rax_regname = "eax"
+
+                        if chkstk_stack_rax_regname is not None:
+                            for stmt in reversed(vex_block.statements):
+                                if (
+                                    isinstance(stmt, pyvex.IRStmt.Put)
+                                    and stmt.offset == self.project.arch.registers[chkstk_stack_rax_regname][0]
+                                    and isinstance(stmt.data, pyvex.IRExpr.Const)
+                                    and self.project.arch.sp_offset in state.regs
+                                ):
+                                    sp_adjusted = True
+                                    sp_v = state.regs[self.project.arch.sp_offset]
+                                    sp_v -= Constant(stmt.data.con.value)
+                                    state.put(self.project.arch.sp_offset, sp_v, force=True)
+                                    break
 
                 callee_cleanups = [
                     callee
                     for callee in callees
-                    if callee.calling_convention is not None and callee.calling_convention.CALLEE_CLEANUP
+                    if callee.calling_convention is not None
+                    and callee.calling_convention.CALLEE_CLEANUP
+                    and callee.prototype is not None
                 ]
                 if callee_cleanups:
                     # found callee clean-up cases...
+                    callee = callee_cleanups[0]
+                    assert callee.calling_convention is not None  # just to make pyright happy
                     try:
                         v = state.get(self.project.arch.sp_offset)
                         incremented = None
                         if v is BOTTOM:
                             incremented = BOTTOM
-                        elif callee_cleanups[0].prototype is not None:
-                            num_args = len(callee_cleanups[0].prototype.args)
-                            incremented = v + Constant(self.project.arch.bytes * num_args)
+                        elif callee.prototype is not None:
+                            num_stack_args = len(
+                                [
+                                    arg_loc
+                                    for arg_loc in callee.calling_convention.arg_locs(callee.prototype)
+                                    if isinstance(arg_loc, SimStackArg)
+                                ]
+                            )
+                            if num_stack_args > 0:
+                                incremented = v + Constant(self.project.arch.bytes * num_stack_args)
                         if incremented is not None:
                             state.put(self.project.arch.sp_offset, incremented)
                     except CouldNotResolveException:

angr/analyses/typehoon/lifter.py

@@ -11,8 +11,10 @@ from angr.sim_type import (
     SimTypePointer,
     SimStruct,
     SimTypeArray,
+    SimTypeFloat,
+    SimTypeDouble,
 )
-from .typeconsts import BottomType, Int8, Int16, Int32, Int64, Pointer32, Pointer64, Struct, Array
+from .typeconsts import BottomType, Int8, Int16, Int32, Int64, Pointer32, Pointer64, Struct, Array, Float32, Float64
 
 if TYPE_CHECKING:
     from .typeconsts import TypeConstant
@@ -79,6 +81,12 @@ class TypeLifter:
         elem_type = self.lift(ty.elem_type)
         return Array(elem_type, count=ty.length)
 
+    def _lift_SimTypeFloat(self, ty: SimTypeFloat) -> Float32:  # pylint:disable=unused-argument,no-self-use
+        return Float32()
+
+    def _lift_SimTypeDouble(self, ty: SimTypeDouble) -> Float64:  # pylint:disable=unused-argument,no-self-use
+        return Float64()
+
 
 _mapping = {
     SimTypeChar: TypeLifter._lift_SimTypeChar,
@@ -89,4 +97,6 @@ _mapping = {
     SimTypePointer: TypeLifter._lift_SimTypePointer,
     SimStruct: TypeLifter._lift_SimStruct,
     SimTypeArray: TypeLifter._lift_SimTypeArray,
+    SimTypeFloat: TypeLifter._lift_SimTypeFloat,
+    SimTypeDouble: TypeLifter._lift_SimTypeDouble,
 }

angr/analyses/typehoon/simple_solver.py

@@ -41,6 +41,9 @@ from .typeconsts import (
     Array,
     Function,
     int_type,
+    Float,
+    Float32,
+    Float64,
 )
 from .variance import Variance
 from .dfa import DFAConstraintSolver, EmptyEpsilonNFAError
@@ -60,6 +63,9 @@ PRIMITIVE_TYPES = {
     BottomType(),
     Struct(),
     Array(),
+    Float(),
+    Float32(),
+    Float64(),
 }
 
 Top_ = TopType()
@@ -73,6 +79,9 @@ Pointer64_ = Pointer64()
 Pointer32_ = Pointer32()
 Struct_ = Struct()
 Array_ = Array()
+Float_ = Float()
+Float32_ = Float32()
+Float64_ = Float64()
 
 # lattice for 64-bit binaries
 BASE_LATTICE_64 = networkx.DiGraph()

angr/analyses/typehoon/translator.py

@@ -161,6 +161,12 @@ class TypeTranslator:
         self._has_nonexistent_ref = True
         return SimTypeTempRef(tc.typevar)
 
+    def _translate_Float32(self, tc: typeconsts.Float32) -> sim_type.SimTypeFloat:  # pylint:disable=unused-argument
+        return sim_type.SimTypeFloat().with_arch(self.arch)
+
+    def _translate_Float64(self, tc: typeconsts.Float64) -> sim_type.SimTypeDouble:  # pylint:disable=unused-argument
+        return sim_type.SimTypeDouble().with_arch(self.arch)
+
     #
     # Backpatching
     #
@@ -229,6 +235,12 @@ class TypeTranslator:
             return typeconsts.Pointer64(base)
         raise TypeError(f"Unsupported pointer size {self.arch.bits}")
 
+    def _translate_SimTypeFloat(self, st: sim_type.SimTypeFloat) -> typeconsts.Float32:
+        return typeconsts.Float32()
+
+    def _translate_SimTypeDouble(self, st: sim_type.SimTypeDouble) -> typeconsts.Float64:
+        return typeconsts.Float64()
+
 
 TypeConstHandlers = {
     typeconsts.Pointer64: TypeTranslator._translate_Pointer64,
@@ -243,6 +255,8 @@ TypeConstHandlers = {
     typeconsts.Int256: TypeTranslator._translate_Int256,
     typeconsts.Int512: TypeTranslator._translate_Int512,
     typeconsts.TypeVariableReference: TypeTranslator._translate_TypeVariableReference,
+    typeconsts.Float32: TypeTranslator._translate_Float32,
+    typeconsts.Float64: TypeTranslator._translate_Float64,
 }
 
 
@@ -257,4 +271,6 @@ SimTypeHandlers = {
     sim_type.SimTypeInt512: TypeTranslator._translate_SimTypeInt512,
     sim_type.SimStruct: TypeTranslator._translate_SimStruct,
     sim_type.SimTypeArray: TypeTranslator._translate_SimTypeArray,
+    sim_type.SimTypeFloat: TypeTranslator._translate_SimTypeFloat,
+    sim_type.SimTypeDouble: TypeTranslator._translate_SimTypeDouble,
 }

angr/analyses/typehoon/typeconsts.py

@@ -114,23 +114,23 @@ class Int512(Int):
         return "int512"
 
 
-class FloatBase(TypeConstant):
+class Float(TypeConstant):
     def __repr__(self, memo=None) -> str:
         return "floatbase"
 
 
-class Float(FloatBase):
+class Float32(Float):
     SIZE = 4
 
     def __repr__(self, memo=None):
-        return "float"
+        return "float32"
 
 
-class Double(FloatBase):
+class Float64(Float):
     SIZE = 8
 
     def __repr__(self, memo=None):
-        return "double"
+        return "float64"
 
 
 class Pointer(TypeConstant):
@@ -317,9 +317,9 @@ def int_type(bits: int) -> Int:
     raise TypeError(f"Not a known size of int: {bits}")
 
 
-def float_type(bits: int) -> FloatBase | None:
+def float_type(bits: int) -> Float | None:
     if bits == 32:
-        return Float()
+        return Float32()
     if bits == 64:
-        return Double()
+        return Float64()
     return None

angr/analyses/vfg.py

@@ -1547,7 +1547,7 @@ class VFG(ForwardAnalysis[SimState, VFGNode, VFGJob, BlockID], Analysis):  # pyl
                 reg_sp_si = self._create_stack_region(successor_state, successor_addr)
 
                 # Save the new sp register
-                new_reg_sp_expr = reg_sp_si.annotate(claripy.annotation.RegionAnnotation("global", 0, reg_sp_si))
+                new_reg_sp_expr = reg_sp_si.annotate(claripy.annotation.RegionAnnotation("global", 0))
                 successor_state.regs.sp = new_reg_sp_expr
 
             new_job = VFGJob(

angr/knowledge_plugins/functions/function.py

@@ -638,12 +638,12 @@ class Function(Serializable):
         return self.binary.loader.find_symbol(self.addr)
 
     @property
-    def pseudocode(self) -> str:
+    def pseudocode(self) -> str | None:
         """
         :return: the function's pseudocode
         """
         dec = self.project.analyses.Decompiler(self, cfg=self._function_manager._kb.cfgs.get_most_accurate())
-        return dec.codegen.text
+        return dec.codegen.text if dec.codegen else None
 
     def add_jumpout_site(self, node: CodeNode):
         """

angr/utils/funcid.py

@@ -17,7 +17,8 @@ def is_function_security_check_cookie(func, project, security_cookie_addr: int)
         return False
     ins0 = block.capstone.insns[0]
     if (
-        ins0.mnemonic == "cmp"
+        project.arch.name == "AMD64"
+        and ins0.mnemonic == "cmp"
         and len(ins0.operands) == 2
         and ins0.operands[0].type == capstone.x86.X86_OP_REG
         and ins0.operands[0].reg == capstone.x86.X86_REG_RCX
@@ -29,6 +30,20 @@ def is_function_security_check_cookie(func, project, security_cookie_addr: int)
         ins1 = block.capstone.insns[1]
         if ins1.mnemonic == "jne":
             return True
+    if (
+        project.arch.name == "X86"
+        and ins0.mnemonic == "cmp"
+        and len(ins0.operands) == 2
+        and ins0.operands[0].type == capstone.x86.X86_OP_REG
+        and ins0.operands[0].reg == capstone.x86.X86_REG_ECX
+        and ins0.operands[1].type == capstone.x86.X86_OP_MEM
+        and ins0.operands[1].mem.base == 0
+        and ins0.operands[1].mem.disp == security_cookie_addr
+        and ins0.operands[1].mem.index == 0
+    ):
+        ins1 = block.capstone.insns[1]
+        if ins1.mnemonic == "jne":
+            return True
     return False
 
 
@@ -63,13 +78,23 @@ def is_function_security_init_cookie(func: Function, project, security_cookie_ad
             continue
         last_insn = block.capstone.insns[-1]
         if (
-            last_insn.mnemonic == "mov"
+            project.arch.name == "AMD64"
+            and last_insn.mnemonic == "mov"
             and len(last_insn.operands) == 2
             and last_insn.operands[0].type == capstone.x86.X86_OP_MEM
             and last_insn.operands[0].mem.base == capstone.x86.X86_REG_RIP
             and last_insn.operands[0].mem.index == 0
             and last_insn.operands[0].mem.disp + last_insn.address + last_insn.size == security_cookie_addr
             and last_insn.operands[1].type == capstone.x86.X86_OP_REG
+        ) or (
+            project.arch.name == "X86"
+            and last_insn.mnemonic == "mov"
+            and len(last_insn.operands) == 2
+            and last_insn.operands[0].type == capstone.x86.X86_OP_MEM
+            and last_insn.operands[0].mem.base == 0
+            and last_insn.operands[0].mem.index == 0
+            and last_insn.operands[0].mem.disp == security_cookie_addr
+            and last_insn.operands[1].type == capstone.x86.X86_OP_REG
         ):
             return True
     return False

{angr-9.2.144.dist-info → angr-9.2.146.dist-info}/METADATA

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

{angr-9.2.144.dist-info → angr-9.2.146.dist-info}/RECORD

@@ -1,4 +1,4 @@
-angr/__init__.py,sha256=sKhb29BGGRRtqv47AVHqOhnkPM_rXaUlpATdVGgPip4,9153
+angr/__init__.py,sha256=uGu8UdlEHVmKVs4G8LMiSDyo78554z4kM1ePpWpHIsg,9153
 angr/__main__.py,sha256=XeawhF6Cco9eWcfMTDWzYYggLB3qjnQ87IIeFOplaHM,2873
 angr/annocfg.py,sha256=0NIvcuCskwz45hbBzigUTAuCrYutjDMwEXtMJf0y0S0,10742
 angr/blade.py,sha256=NhesOPloKJC1DQJRv_HBT18X7oNxK16JwAfNz2Lc1o0,15384
@@ -57,10 +57,10 @@ angr/analyses/s_liveness.py,sha256=K4soSrcQE9pIn7Yf2Lb3LZEu1ymuQVpWzOqLKunFDGQ,7
 angr/analyses/s_propagator.py,sha256=ChFdiT4wCN0p5mY0UsFGopH3ZH0zM5V_2Ur5cN15Kcc,23667
 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=54wijIt-uJZ2KIOjbEpgKucNoDK3qIvtGh2WuEvRAD0,33370
+angr/analyses/stack_pointer_tracker.py,sha256=xY6ed-TM_WCodDt2aMJgt_TNAP8TN630cLNDcoccjrs,35614
 angr/analyses/static_hooker.py,sha256=8aine4A1KnkWNfn7IarlWUyX7NjygbFDYbE3_ptCPlA,1764
 angr/analyses/veritesting.py,sha256=M6WNsbgiv4ScFPQIaFzujNFya66rQ9GSieaRLuC6RSo,25062
-angr/analyses/vfg.py,sha256=rlA3LXDAtGGiiqoWsQFOLPxU3pvhvTWpC_WPfC1d5tM,72879
+angr/analyses/vfg.py,sha256=04X_mup9P82bkQIXMju3_DBPPJB1TytA_7RR9uAu3tU,72868
 angr/analyses/vsa_ddg.py,sha256=PNJ1vQNdHKYCcuXrsXZohtjrxznaWn6GZY2TfhBoY2Q,16136
 angr/analyses/vtable.py,sha256=1Ed7jzr99rk9VgOGzcxBw_6GFqby5mIdSTGPqQPhcZM,3872
 angr/analyses/xrefs.py,sha256=vs6cpVmwXHOmxrI9lJUwCRMYbPSqvIQXS5_fINMaOGI,10290
@@ -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=gDbi5bKkM90Bvdp37QbW_iAIGVKuJ5pZmcS_dcB42Rc,124229
 angr/analyses/cfg/cfg_emulated.py,sha256=JgAen52lAK0v2f_EwiB_gS9BBhg8oqTALN7IVFd80Hk,148051
-angr/analyses/cfg/cfg_fast.py,sha256=grDRUS624AyGvKIau8eYeDacK6eAhG8um9cy8snj-GA,226219
+angr/analyses/cfg/cfg_fast.py,sha256=ybkp6Hthz1UPJH2Am1OAIkKgXomFAfq4C96lw5yMvkk,226977
 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=qWiTSIAQgXWmaYa9YYaiKsSTwUVClymaXv9sCX-bY-k,835
@@ -108,7 +108,7 @@ angr/analyses/decompiler/block_io_finder.py,sha256=xMwG8Bi69OGNYVs0U0F4yxM8kEsny
 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=eWO19uHZVUs3i4Bu8iGSjuJkHZ4CleB0RNA_zTUJByw,22168
-angr/analyses/decompiler/clinic.py,sha256=6PqJ2E7J5MDqs_SCwLbJ9vXL8M7AMQy9JYj3MvRKxc4,138101
+angr/analyses/decompiler/clinic.py,sha256=Zj6PRpipY-CWccLMXpsknOcNyOuSgybKwK6VHV9Ho7I,138154
 angr/analyses/decompiler/condition_processor.py,sha256=BCBcgj-QDGNj3ajOKzEktqckTozcSgonaMk1a42QAGc,53853
 angr/analyses/decompiler/decompilation_cache.py,sha256=oNkeyrEXhyinrN7-fKeDEuGP6I_oAclGjRS4Aa36FoE,1488
 angr/analyses/decompiler/decompilation_options.py,sha256=NDB67DI1L-stvJ4b1eQkfV26HgDJ_rG9-6PEv08G9-8,8195
@@ -154,7 +154,7 @@ angr/analyses/decompiler/optimization_passes/const_prop_reverter.py,sha256=-Y8JX
 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
-angr/analyses/decompiler/optimization_passes/engine_base.py,sha256=PiCFksceRfu0nPPSKfzTsMmrAJ1YaHMEjcuCHcaYbgM,16662
+angr/analyses/decompiler/optimization_passes/engine_base.py,sha256=pc81VuwPCnJlcUv2cBR2xNt9Egrv-Txua1n_3DXhd9I,16934
 angr/analyses/decompiler/optimization_passes/expr_op_swapper.py,sha256=PJMJ0INWiINSkv1eD5QsMJS81XtfuyKqoqe6NTkU120,4715
 angr/analyses/decompiler/optimization_passes/flip_boolean_cmp.py,sha256=q2ZOxKQUXUwQNEDjEnj-ji32f6n_XR8M82lr_0ImJdM,5079
 angr/analyses/decompiler/optimization_passes/inlined_string_transformation_simplifier.py,sha256=_rqXGIs03Idkw7IOtxHhapQ-qCMO_mKlJ_FfHAM6TAo,24842
@@ -173,7 +173,7 @@ angr/analyses/decompiler/optimization_passes/stack_canary_simplifier.py,sha256=_
 angr/analyses/decompiler/optimization_passes/switch_default_case_duplicator.py,sha256=gvGpjP3t-an8iIBkmPGXob0-aRHL2idGZpd7hErlgFo,6461
 angr/analyses/decompiler/optimization_passes/switch_reused_entry_rewriter.py,sha256=m7ZMkqE2qbl4rl4M_Fi8xS6I1vUaTzUBIzsE6qpbwkM,4020
 angr/analyses/decompiler/optimization_passes/tag_slicer.py,sha256=8_gmoeYgDD1Hb8Rpqcb-01_B4897peDF-J6KA5PjQT8,1176
-angr/analyses/decompiler/optimization_passes/win_stack_canary_simplifier.py,sha256=OkC5vPGlH6GRA-VrfOZrZ6TzWxLPyIq2IX5MYMzjwlM,13073
+angr/analyses/decompiler/optimization_passes/win_stack_canary_simplifier.py,sha256=MHrVduNXHBmaa4-6PyqBLj7Urc8DnK-zd8zrqawiVxM,15674
 angr/analyses/decompiler/optimization_passes/x86_gcc_getpc_simplifier.py,sha256=6NxaX2oT6BMkevb8xt9vlS3Jl-CmSK59F0FVab68B48,3088
 angr/analyses/decompiler/optimization_passes/duplication_reverter/__init__.py,sha256=hTeOdooVDZnBnjiAguD7_BS9YJru8rOiSHN3H0sdzcA,126
 angr/analyses/decompiler/optimization_passes/duplication_reverter/ail_merge_graph.py,sha256=Trp6qkwO_L4oMfdX78ZOoplcIpLV4CV1k_ZimY2IvxA,21658
@@ -204,7 +204,7 @@ angr/analyses/decompiler/peephole_optimizations/const_mull_a_shift.py,sha256=3KT
 angr/analyses/decompiler/peephole_optimizations/constant_derefs.py,sha256=5ThmIgu38Un_N5AltnQtcTnoEnOT45HRu6NehB3rG5M,1713
 angr/analyses/decompiler/peephole_optimizations/conv_a_sub0_shr_and.py,sha256=6WooyVqwdlMLixGFR8QE0n6GDEC2AluVo4dIr7vwmqY,2379
 angr/analyses/decompiler/peephole_optimizations/conv_shl_shr.py,sha256=5LtXTzPwO_Dtru3UYbr6l8YYylxKrAVZ9q6Gjk1C8sI,2105
-angr/analyses/decompiler/peephole_optimizations/eager_eval.py,sha256=aIja9B01FP4RLlceu-4-TujUgqSWU1GYaQgNGAeoinM,17146
+angr/analyses/decompiler/peephole_optimizations/eager_eval.py,sha256=igDQmyEQtOT6KgBH_yfgm_JUBaycHBfytdLV1uxGFVE,17550
 angr/analyses/decompiler/peephole_optimizations/extended_byte_and_mask.py,sha256=r39kiAST4tC-iInTuFgnek0KOljBS3AxS2wPvEpEB58,2044
 angr/analyses/decompiler/peephole_optimizations/inlined_strcpy.py,sha256=40RcqWIMALxfA-LG-DN2N_yK5uW2HWF_x4AquCTMbNU,6245
 angr/analyses/decompiler/peephole_optimizations/inlined_strcpy_consolidation.py,sha256=wKj38t6sTd6wpbVpbPG7Nxiz9vU5K_TvL4sws04TsDk,4681
@@ -253,7 +253,7 @@ angr/analyses/decompiler/ssailification/__init__.py,sha256=zcHoI7e2El2RSU_bHTpQR
 angr/analyses/decompiler/ssailification/rewriting.py,sha256=JW_StoLWuDs2LGyG8XjRUbzvQl7-7s2B8j1GKVaYoDo,15045
 angr/analyses/decompiler/ssailification/rewriting_engine.py,sha256=Jtjg_o0EyZFgadKhAulNMmDEK3wsvbRn_XbnaRjqlMM,37631
 angr/analyses/decompiler/ssailification/rewriting_state.py,sha256=L7apDXQLPiItuLdQFoQdut5RMUE8MRV1zRc3CsnuH6E,1883
-angr/analyses/decompiler/ssailification/ssailification.py,sha256=aD5Rq2OpCqRdk5jmiqKFPHifEDWdJi1zonxDQ01r1DY,9898
+angr/analyses/decompiler/ssailification/ssailification.py,sha256=kEEph4IyCNY55XJvZU8RK3_y8TVZhBM2Yll2VGzGCzw,9897
 angr/analyses/decompiler/ssailification/traversal.py,sha256=kZcua4SlDZ8u4EIkjc1Qh85EEYGX63PZ2NYPNq78Kzs,4011
 angr/analyses/decompiler/ssailification/traversal_engine.py,sha256=BiXCqC3M3-reyq1Pxspo31Rnr9mTOojiFXa3tGlxipY,10512
 angr/analyses/decompiler/ssailification/traversal_state.py,sha256=RDs2mTc6GYnbMom2gBfNfNMcazKMSkhemEmse8uELTY,1558
@@ -348,10 +348,10 @@ angr/analyses/s_reaching_definitions/s_rda_view.py,sha256=g3ESg9G7eLllEawCPN892u
 angr/analyses/s_reaching_definitions/s_reaching_definitions.py,sha256=_SooCn9qpwwCLsZ8end3Gos6XZbzjiBjWVjxG-VaNso,7596
 angr/analyses/typehoon/__init__.py,sha256=KjKBUZadAd3grXUy48_qO0L4Me-riSqPGteVDcTL59M,92
 angr/analyses/typehoon/dfa.py,sha256=41lzhE-QmkC342SjfaaPI41lr4Au5XROTu_7oenvg7g,3823
-angr/analyses/typehoon/lifter.py,sha256=iLl9F7RZtyth3qEeTvJGyvrKxrmaLn8LxS9DUbkoz4k,2823
-angr/analyses/typehoon/simple_solver.py,sha256=jscsnEV2yxq6ntxgD3ApqOpmGvIgrfwdzZqZy58xY-g,53168
-angr/analyses/typehoon/translator.py,sha256=9PV9M8LgmVYMBSmLutYU5irzHoGHMYeLGVYRUpiJFKE,9590
-angr/analyses/typehoon/typeconsts.py,sha256=cM4IbG8be3X_WidJ94tDSKOjEObw82V6zOb8ADvqKzw,7684
+angr/analyses/typehoon/lifter.py,sha256=3GX0QzjzIyFAiF3R_e2BlvbGwqcDFWy51BF7rQpwSl4,3250
+angr/analyses/typehoon/simple_solver.py,sha256=tIzhZ1H_DwbwGCpgspBBBjXvLiHyPGZD9le7r93s6rU,53307
+angr/analyses/typehoon/translator.py,sha256=-SSTU_9vGlRun7msRll22OLYoVFHvlFJxEyctMVKjeU,10454
+angr/analyses/typehoon/typeconsts.py,sha256=lh5nygChVPwI4IOLy8QnkBvqxfO22dDK_tKfAE0cYlg,7677
 angr/analyses/typehoon/typehoon.py,sha256=ek7g_5v1bLNi8fv5FgYmMQrsOWj19qM8WvZvjzXd2NU,11420
 angr/analyses/typehoon/typevars.py,sha256=cvbeeEDapb0LgGgtgUVpbhAcfuaylk7vEiwCqPxvtQo,16332
 angr/analyses/typehoon/variance.py,sha256=3wYw3of8uoar-MQ7gD6arALiwlJRW990t0BUqMarXIY,193
@@ -528,7 +528,7 @@ angr/knowledge_plugins/cfg/cfg_node.py,sha256=mAvQ8XAEURM7y0suc_S9lfxCmfXSTJHmWB
 angr/knowledge_plugins/cfg/indirect_jump.py,sha256=W3KWpH7Sx-6Z7h_BwQjCK_XfP3ce_MaeAu_Aaq3D3qg,2072
 angr/knowledge_plugins/cfg/memory_data.py,sha256=QLxFZfrtwz8u6UJn1L-Sxa-C8S0Gy9IOlfNfHCLPIow,5056
 angr/knowledge_plugins/functions/__init__.py,sha256=asiLNiT6sHbjP6eU-kDpawIoVxv4J35cwz5yQHtQ2E0,167
-angr/knowledge_plugins/functions/function.py,sha256=8Pa7ugPWtSV6xM69wawj4-fKMArzHVaIwpb0qbshtjw,67502
+angr/knowledge_plugins/functions/function.py,sha256=UjuGbWlXNVcXiN3xkUrf7H-Ip8eivEAFg20AVAa1Wkg,67534
 angr/knowledge_plugins/functions/function_manager.py,sha256=gdXZY5__a8c_ItQoDkJq4ZBVk-ZLHnmBPYsHA6uEjeA,20001
 angr/knowledge_plugins/functions/function_parser.py,sha256=Ma_51hPet3iVJgMtBhKaT48CcNnxCNv2ys5oMrqJ3bw,11821
 angr/knowledge_plugins/functions/soot_function.py,sha256=lYMe4qbkhAkXqGHTVb0-RM_kB8xWYUocuioK7UmKZgQ,4847
@@ -558,7 +558,7 @@ angr/knowledge_plugins/xrefs/__init__.py,sha256=5PhqVOtTZ27lCjJ9wp7akUeJydqILbyC
 angr/knowledge_plugins/xrefs/xref.py,sha256=U2H1rfffp5EXoh0awlGxMBxA4K5MIwl3CXjV3Uih3tA,4856
 angr/knowledge_plugins/xrefs/xref_manager.py,sha256=1n373rtV91xicAfSUresRigsZ6qCBhPOaJKrN_SW3QY,4157
 angr/knowledge_plugins/xrefs/xref_types.py,sha256=LcQ9pD4E4XlC51Us49xiqAoGAFGpnCrpYO4mOzILiKI,308
-angr/lib/angr_native.dylib,sha256=TY7IKU34Nyaw8_pRhe-KFOwTfBevfcheb4yVNKPVz80,264696
+angr/lib/angr_native.dylib,sha256=CPHlR-m6TKIJTSmGFnc7xMCpk1tKzNsSul7vZdTBmgk,264696
 angr/misc/__init__.py,sha256=FoUwjk1DhqlIsr2sBN0MlR8MnSOGQv9QJhxmq32RYuA,355
 angr/misc/ansi.py,sha256=nPJHC0SKfqasMQZ0LxdmmIYojjmk4nr5jI6FrzoTwS0,811
 angr/misc/autoimport.py,sha256=iZagpuPwZWczUTYIqs-JkDMQjftMqc_cchcm7OBFiEg,3450
@@ -1355,7 +1355,7 @@ angr/utils/endness.py,sha256=wBcek3rwRQCYdMVFOV5h5q16Ahgjn2x_zZdPeZQEui0,501
 angr/utils/enums_conv.py,sha256=fA6qeoRZ6Cj6gCIS_PZbP4PX7E8IybnYQ90OZGnBVrc,2746
 angr/utils/env.py,sha256=aO4N2h7DUsUQtTgnC5J_oPHvMxJRur20m5UFSkmy4XU,398
 angr/utils/formatting.py,sha256=OWzSfAlKcL09cEtcqxszYWHsRO9tih7hvXD2K9kUZc8,4343
-angr/utils/funcid.py,sha256=dSGbKUWpTzy48374lJqHyRefJ6K7B7jRVhYHmpGmD3I,5256
+angr/utils/funcid.py,sha256=Rd4r8juv2IpeMtCpPp4wxJoEZTnZZ1NsxdT42tvrKVA,6353
 angr/utils/graph.py,sha256=0A4NqNvWXxXMrzBENbeyDE8t78MZ01mzmGesZplA8OQ,30882
 angr/utils/lazy_import.py,sha256=7Mx-y-aZFsXX9jNxvEcXT-rO8tL8rknb6D6RbSFOI1M,343
 angr/utils/library.py,sha256=z3rFYm7ePZTXNZJuKiQrR0SnlbVb-OzkX0t0U44nXDk,7181
@@ -1369,9 +1369,9 @@ angr/utils/types.py,sha256=5EDtrusFLf1fIcMz8fgJiPPsUhpEm0bf_oqZ_PSRje0,1836
 angr/utils/ssa/__init__.py,sha256=ohP9IJh9ZvdVH8nH-ZrYA8hwIi8L98XQ6NMNL6q_pJ0,13649
 angr/utils/ssa/tmp_uses_collector.py,sha256=rSpvMxBHzg-tmvhsfjn3iLyPEKzaZN-xpQrdslMq3J4,793
 angr/utils/ssa/vvar_uses_collector.py,sha256=O2aNZeM5DL8qatyhYuMhgbYGFp6Onm2yr9pKq1wRjA0,1347
-angr-9.2.144.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.144.dist-info/METADATA,sha256=n6znfc4OJcs2jpsgUugSnCofX2ycjw0SO06dp2jjmF8,4909
-angr-9.2.144.dist-info/WHEEL,sha256=iId1cGaFIHvrdUDQ8nUVM8cxJ9m1QOVfFPekQlGkl_0,106
-angr-9.2.144.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.144.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.144.dist-info/RECORD,,
+angr-9.2.146.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.146.dist-info/METADATA,sha256=bRHwQxiFzD0OqTpgVLJXt1m8nMl1oLaE7k1jfw-_Lag,4909
+angr-9.2.146.dist-info/WHEEL,sha256=MgZooQjwSU6-UuRDg7WxrVphIwLjHH_Zcmw9KVDXId4,106
+angr-9.2.146.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.146.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.146.dist-info/RECORD,,

{angr-9.2.144.dist-info → angr-9.2.146.dist-info}/WHEEL

@@ -1,5 +1,5 @@
 Wheel-Version: 1.0
-Generator: setuptools (75.8.1)
+Generator: setuptools (76.0.0)
 Root-Is-Purelib: true
 Tag: py3-none-macosx_10_9_x86_64