angr 9.2.104__py3-none-macosx_10_9_x86_64.whl → 9.2.106__py3-none-macosx_10_9_x86_64.whl

angr/__init__.py

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

angr/analyses/decompiler/ail_simplifier.py

@@ -27,6 +27,7 @@ from ...knowledge_plugins.key_definitions import atoms
 from ...knowledge_plugins.key_definitions.atoms import Register as RegisterAtom
 from ...knowledge_plugins.key_definitions.definition import Definition
 from ...knowledge_plugins.key_definitions.constants import OP_BEFORE
+from ...errors import AngrRuntimeError
 from .. import Analysis, AnalysesHub
 from .ailgraph_walker import AILGraphWalker
 from .expression_narrower import ExpressionNarrowingWalker
@@ -811,9 +812,9 @@ class AILSimplifier(Analysis):
                         else:
                             replace_with = eq.atom0
                     else:
-                        raise RuntimeError("Unsupported atom1 type %s." % type(eq.atom1))
+                        raise AngrRuntimeError("Unsupported atom1 type %s." % type(eq.atom1))
                 else:
-                    raise RuntimeError("Unsupported atom0 type %s." % type(eq.atom0))
+                    raise AngrRuntimeError("Unsupported atom0 type %s." % type(eq.atom0))
 
                 to_replace_def = the_def
 

angr/analyses/decompiler/clinic.py

@@ -5,7 +5,6 @@ import logging
 import enum
 from dataclasses import dataclass
 from typing import Any, NamedTuple, TYPE_CHECKING
-
 from collections.abc import Iterable
 
 import networkx
@@ -1389,6 +1388,10 @@ class Clinic(Analysis):
         for block in ail_graph.nodes():
             self._link_variables_on_block(block, tmp_kb)
 
+        # Link struct member info to Store statements
+        for block in ail_graph.nodes():
+            self._link_struct_member_info_on_block(block, tmp_kb)
+
         if self._cache is not None:
             self._cache.type_constraints = vr.type_constraints
             self._cache.func_typevar = vr.func_typevar
@@ -1396,6 +1399,14 @@ class Clinic(Analysis):
 
         return tmp_kb
 
+    def _link_struct_member_info_on_block(self, block, kb):
+        variable_manager = kb.variables[self.function.addr]
+        for stmt in block.statements:
+            if isinstance(stmt, ailment.Stmt.Store) and isinstance((var := stmt.variable), SimStackVariable):
+                offset = var.offset
+                if offset in variable_manager.stack_offset_to_struct_member_info:
+                    stmt.tags["struct_member_info"] = variable_manager.stack_offset_to_struct_member_info[offset]
+
     def _link_variables_on_block(self, block, kb):
         """
         Link atoms (AIL expressions) in the given block to corresponding variables identified previously.

angr/analyses/decompiler/condition_processor.py

@@ -15,6 +15,7 @@ from ...utils.lazy_import import lazy_import
 from ...utils import is_pyinstaller
 from ...utils.graph import dominates, inverted_idoms
 from ...block import Block, BlockNode
+from ...errors import AngrRuntimeError
 from .peephole_optimizations import InvertNegatedLogicalConjunctionsAndDisjunctions
 from .structuring.structurer_nodes import (
     MultiNode,
@@ -857,7 +858,7 @@ class ConditionProcessor:
             return claripy.true
         if isinstance(expr, sympy.logic.boolalg.BooleanFalse):
             return claripy.false
-        raise RuntimeError("Unreachable reached")
+        raise AngrRuntimeError("Unreachable reached")
 
     @staticmethod
     def simplify_condition(cond, depth_limit=8, variables_limit=8):
@@ -1024,7 +1025,7 @@ class ConditionProcessor:
                 elif arg in common_exprs:
                     continue
                 else:
-                    raise RuntimeError("Unexpected behavior - you should never reach here")
+                    raise AngrRuntimeError("Unexpected behavior - you should never reach here")
 
             return claripy.And(*common_exprs, claripy.Or(*new_args))
 

angr/analyses/decompiler/region_identifier.py

@@ -11,6 +11,7 @@ from ailment.expression import Const
 
 from angr.utils.graph import GraphUtils
 from ...utils.graph import dfs_back_edges, subgraph_between_nodes, dominates, shallow_reverse
+from ...errors import AngrRuntimeError
 from .. import Analysis, register_analysis
 from .structuring.structurer_nodes import MultiNode, ConditionNode, IncompleteSwitchCaseHeadStatement
 from .graph_region import GraphRegion
@@ -146,7 +147,7 @@ class RegionIdentifier(Analysis):
         try:
             return next(n for n in graph.nodes() if n.addr == self.function.addr)
         except StopIteration as ex:
-            raise RuntimeError("Cannot find the start node from the graph!") from ex
+            raise AngrRuntimeError("Cannot find the start node from the graph!") from ex
 
     def _test_reducibility(self):
         # make a copy of the graph

angr/analyses/decompiler/region_simplifiers/cascading_cond_transformer.py

@@ -5,6 +5,7 @@ import claripy
 
 from ..structuring.structurer_nodes import ConditionNode, CascadingConditionNode
 from ..sequence_walker import SequenceWalker
+from ....errors import AngrRuntimeError
 
 
 class CascadingConditionTransformer(SequenceWalker):
@@ -88,6 +89,6 @@ class CascadingConditionTransformer(SequenceWalker):
 
         else:
             # unexpected!
-            raise RuntimeError("Impossible happened")
+            raise AngrRuntimeError("Impossible happened")
 
         return CascadingConditionNode(cond_node.addr, cond_and_nodes, else_node=else_node)

angr/analyses/decompiler/structured_codegen/c.py

@@ -37,7 +37,7 @@ from ....utils.constants import is_alignment_mask
 from ....utils.library import get_cpp_function_name
 from ....utils.loader import is_in_readonly_segment, is_in_readonly_section
 from ..utils import structured_node_is_simple_return
-from ....errors import UnsupportedNodeTypeError
+from ....errors import UnsupportedNodeTypeError, AngrRuntimeError
 from ....knowledge_plugins.cfg.memory_data import MemoryData, MemoryDataSort
 from ... import Analysis, register_analysis
 from ..region_identifier import MultiNode
@@ -1262,7 +1262,9 @@ class CFunctionCall(CStatement, CExpression):
         if self.is_expr:
             return self.prototype.returnty or SimTypeInt(signed=False).with_arch(self.codegen.project.arch)
         else:
-            raise RuntimeError("CFunctionCall.type should not be accessed if the function call is used as a statement.")
+            raise AngrRuntimeError(
+                "CFunctionCall.type should not be accessed if the function call is used as a statement."
+            )
 
     def _is_target_ambiguous(self, func_name: str) -> bool:
         """
@@ -3222,8 +3224,12 @@ class CStructuredCodeGenerator(BaseStructuredCodeGenerator, Analysis):
             return old_ty
 
         if stmt.variable is not None:
-            cvar = self._variable(stmt.variable, stmt.size)
-            offset = stmt.offset or 0
+            if "struct_member_info" in stmt.tags:
+                offset, var, _ = stmt.struct_member_info
+                cvar = self._variable(var, stmt.size)
+            else:
+                cvar = self._variable(stmt.variable, stmt.size)
+                offset = stmt.offset or 0
             assert type(offset) is int  # I refuse to deal with the alternative
 
             cdst = self._access_constant_offset(self._get_variable_reference(cvar), offset, cdata.type, True, negotiate)

angr/analyses/flirt.py

@@ -7,6 +7,7 @@ import nampa
 from archinfo.arch_arm import is_arm_arch
 
 from ..analyses import AnalysesHub
+from ..errors import AngrRuntimeError
 from ..flirt import FlirtSignature, STRING_TO_LIBRARIES, LIBRARY_TO_SIGNATURES, FLIRT_SIGNATURES_BY_ARCH
 from .analysis import Analysis
 
@@ -49,7 +50,7 @@ class FlirtAnalysis(Analysis):
 
         else:
             if not FLIRT_SIGNATURES_BY_ARCH:
-                raise RuntimeError(
+                raise AngrRuntimeError(
                     "No FLIRT signatures exist. Please load FLIRT signatures by calling "
                     "load_signatures() before running FlirtAnalysis."
                 )

angr/analyses/typehoon/typehoon.py

@@ -2,6 +2,7 @@
 from typing import TYPE_CHECKING
 
 from ...sim_type import SimStruct, SimTypePointer, SimTypeArray
+from ...errors import AngrRuntimeError
 from ..analysis import Analysis, AnalysesHub
 from .simple_solver import SimpleSolver
 from .translator import TypeTranslator
@@ -112,7 +113,7 @@ class Typehoon(Analysis):
         if self._var_mapping is None:
             raise ValueError("Variable mapping does not exist.")
         if self.solution is None:
-            raise RuntimeError("Please run type solver before calling pp_solution().")
+            raise AngrRuntimeError("Please run type solver before calling pp_solution().")
 
         typevar_to_var = {}
         for k, typevars in self._var_mapping.items():

angr/analyses/variable_recovery/variable_recovery_base.py

@@ -12,6 +12,7 @@ from ailment.expression import BinaryOp, StackBaseOffset
 from ...utils.cowdict import DefaultChainMapCOW
 from ...engines.light import SpOffset
 from ...sim_variable import SimVariable
+from ...errors import AngrRuntimeError
 from ...storage.memory_mixins import MultiValuedMemory
 from ..analysis import Analysis
 from ..typehoon.typevars import TypeVariables, TypeVariable
@@ -328,7 +329,7 @@ class VariableRecoveryStateBase:
             base = 0x7F_FFFF_FFFE_0000
             mask = 0xFFFF_FFFF_FFFF_FFFF
         else:
-            raise RuntimeError("Unsupported bits %d" % self.arch.bits)
+            raise AngrRuntimeError("Unsupported bits %d" % self.arch.bits)
         return (offset + base) & mask
 
     @property

angr/block.py

@@ -419,7 +419,7 @@ class Block(Serializable):
         return BlockNode(self.addr, self.size, bytestr=self.bytes, thumb=self.thumb)
 
     @property
-    def bytes(self):
+    def bytes(self) -> bytes:
         if self._bytes is None:
             addr = self.addr
             if self.thumb:

angr/engines/successors.py

@@ -1,9 +1,13 @@
+from typing import TYPE_CHECKING
 import logging
 
 import claripy
 
 from archinfo.arch_soot import ArchSoot
 
+if TYPE_CHECKING:
+    from angr import SimState
+
 
 l = logging.getLogger(name=__name__)
 
@@ -35,21 +39,21 @@ class SimSuccessors:
     https://docs.angr.io/core-concepts/simulation#simsuccessors
     """
 
-    def __init__(self, addr, initial_state):
+    def __init__(self, addr: int | None, initial_state):
         self.addr = addr
-        self.initial_state = initial_state
+        self.initial_state: "SimState" = initial_state
 
-        self.successors = []
-        self.all_successors = []
-        self.flat_successors = []
-        self.unsat_successors = []
-        self.unconstrained_successors = []
+        self.successors: list["SimState"] = []
+        self.all_successors: list["SimState"] = []
+        self.flat_successors: list["SimState"] = []
+        self.unsat_successors: list["SimState"] = []
+        self.unconstrained_successors: list["SimState"] = []
 
         # the engine that should process or did process this request
         self.engine = None
         self.processed = False
         self.description = "SimSuccessors"
-        self.sort = None
+        self.sort: str | None = None
         self.artifacts = {}
 
     @classmethod

angr/errors.py

@@ -5,6 +5,10 @@ class AngrError(Exception):
     pass
 
 
+class AngrRuntimeError(RuntimeError):
+    pass
+
+
 class AngrValueError(AngrError, ValueError):
     pass
 

angr/exploration_techniques/__init__.py

@@ -146,6 +146,7 @@ from .bucketizer import Bucketizer
 from .local_loop_seer import LocalLoopSeer
 from .timeout import Timeout
 from .suggestions import Suggestions
+from .stub_stasher import StubStasher
 
 __all__ = (
     "ExplorationTechnique",
@@ -173,4 +174,5 @@ __all__ = (
     "LocalLoopSeer",
     "Timeout",
     "Suggestions",
+    "StubStasher",
 )

angr/exploration_techniques/stub_stasher.py

@@ -0,0 +1,17 @@
+from . import ExplorationTechnique
+
+
+class StubStasher(ExplorationTechnique):
+    """
+    Stash states that reach a stub SimProcedure.
+    """
+
+    @staticmethod
+    def post_filter(state):
+        hook = state.project.hooked_by(state.addr)
+        return hook and hook.is_stub
+
+    def step(self, simgr, stash="active", **kwargs):
+        simgr.step(stash=stash, **kwargs)
+        simgr.move(stash, "stub", filter_func=self.post_filter)
+        return simgr

angr/knowledge_plugins/cfg/cfg_model.py

@@ -1,7 +1,9 @@
 # pylint:disable=no-member
+from __future__ import annotations
+
 import pickle
 import logging
-from typing import Optional, DefaultDict, TYPE_CHECKING
+from typing import TYPE_CHECKING
 from collections.abc import Callable
 from collections import defaultdict
 import bisect
@@ -75,7 +77,7 @@ class CFGModel(Serializable):
         self.insn_addr_to_memory_data: dict[int, MemoryData] = {}
 
         # Lists of CFGNodes indexed by the address of each block. Don't serialize
-        self._nodes_by_addr: DefaultDict[int, list[CFGNode]] = defaultdict(list)
+        self._nodes_by_addr: defaultdict[int, list[CFGNode]] = defaultdict(list)
         # CFGNodes dict indexed by block ID. Don't serialize
         self._nodes: dict[int, CFGNode] = {}
         # addresses of CFGNodes to speed up get_any_node(..., anyaddr=True). Don't serialize
@@ -447,7 +449,7 @@ class CFGModel(Serializable):
                 successors.append(suc)
         return successors
 
-    def get_successors_and_jumpkinds(self, node, excluding_fakeret=True):
+    def get_successors_and_jumpkinds(self, node, excluding_fakeret=True) -> list[tuple[CFGNode, str]]:
         """
         Get a list of tuples where the first element is the successor of the CFG node and the second element is the
         jumpkind of the successor.
@@ -564,8 +566,8 @@ class CFGModel(Serializable):
         self,
         memory_data_addrs: list[int] | None = None,
         exec_mem_regions: list[tuple[int, int]] | None = None,
-        xrefs: Optional["XRefManager"] = None,
-        seg_list: Optional["SegmentList"] = None,
+        xrefs: XRefManager | None = None,
+        seg_list: SegmentList | None = None,
         data_type_guessing_handlers: list[Callable] | None = None,
     ) -> bool:
         """
@@ -745,8 +747,8 @@ class CFGModel(Serializable):
         data_addr,
         max_size,
         content_holder=None,
-        xrefs: Optional["XRefManager"] = None,
-        seg_list: Optional["SegmentList"] = None,
+        xrefs: XRefManager | None = None,
+        seg_list: SegmentList | None = None,
         data_type_guessing_handlers: list[Callable] | None = None,
         extra_memory_regions: list[tuple[int, int]] | None = None,
     ):
@@ -775,7 +777,7 @@ class CFGModel(Serializable):
         irsb_addr, stmt_idx = None, None
         if xrefs is not None and seg_list is not None:
             try:
-                ref: "XRef" = next(iter(xrefs.get_xrefs_by_dst(data_addr)))
+                ref: XRef = next(iter(xrefs.get_xrefs_by_dst(data_addr)))
                 irsb_addr = ref.block_addr
             except StopIteration:
                 pass
@@ -861,7 +863,7 @@ class CFGModel(Serializable):
         irsb_addr, stmt_idx = None, None
         if xrefs is not None and seg_list is not None:
             try:
-                ref: "XRef" = next(iter(xrefs.get_xrefs_by_dst(data_addr)))
+                ref: XRef = next(iter(xrefs.get_xrefs_by_dst(data_addr)))
                 irsb_addr = ref.block_addr
                 stmt_idx = ref.stmt_idx
             except StopIteration:
@@ -966,8 +968,8 @@ class CFGModel(Serializable):
         self,
         addr: int,
         size: int = 1,
-        kb: Optional["KnowledgeBase"] = None,
-    ) -> set["Function"]:
+        kb: KnowledgeBase | None = None,
+    ) -> set[Function]:
         """
         Find all functions with nodes intersecting [addr, addr + size).
 
@@ -990,9 +992,7 @@ class CFGModel(Serializable):
             functions.add(func)
         return functions
 
-    def find_function_for_reflow_into_addr(
-        self, addr: int, kb: Optional["KnowledgeBase"] = None
-    ) -> Optional["Function"]:
+    def find_function_for_reflow_into_addr(self, addr: int, kb: KnowledgeBase | None = None) -> Function | None:
         """
         Look for a function that flows into a new node at addr.
 
@@ -1019,7 +1019,7 @@ class CFGModel(Serializable):
 
         return None
 
-    def clear_region_for_reflow(self, addr: int, size: int = 1, kb: Optional["KnowledgeBase"] = None) -> None:
+    def clear_region_for_reflow(self, addr: int, size: int = 1, kb: KnowledgeBase | None = None) -> None:
         """
         Remove nodes in the graph intersecting region [addr, addr + size).
 

angr/knowledge_plugins/cfg/cfg_node.py

@@ -1,6 +1,8 @@
+from __future__ import annotations
+
 import traceback
 import logging
-from typing import TYPE_CHECKING, Union
+from typing import TYPE_CHECKING
 
 from archinfo.arch_soot import SootAddressDescriptor
 import archinfo
@@ -11,12 +13,16 @@ from angr.serializable import Serializable
 from angr.protos import cfg_pb2
 
 if TYPE_CHECKING:
+    from angr.block import Block, SootBlock
     from .cfg_model import CFGModel
     import angr
 
 _l = logging.getLogger(__name__)
 
 
+AddressType = int | SootAddressDescriptor
+
+
 class CFGNodeCreationFailure:
     """
     This class contains additional information for whenever creating a CFGNode failed. It includes a full traceback
@@ -87,13 +93,13 @@ class CFGNode(Serializable):
         __repr__.
         """
 
-        self.addr = addr
+        self.addr: AddressType = addr
         self.size = size
         self.simprocedure_name = simprocedure_name
         self.no_ret = no_ret
-        self._cfg_model: "CFGModel" = cfg
+        self._cfg_model: CFGModel = cfg
         self.function_address = function_address
-        self.block_id: Union["angr.analyses.cfg.cfg_job_base.BlockID", int] = block_id
+        self.block_id: angr.analyses.cfg.cfg_job_base.BlockID | int = block_id
         self.thumb = thumb
         self.byte_string: bytes | None = byte_string
 
@@ -353,7 +359,7 @@ class CFGNode(Serializable):
         return BlockNode(self.addr, self.size, thumb=self.thumb)
 
     @property
-    def block(self):
+    def block(self) -> Block | SootBlock | None:
         if self.is_simprocedure or self.is_syscall:
             return None
         project = self._cfg_model.project  # everything in angr is connected with everything...

angr/knowledge_plugins/functions/function.py

@@ -743,7 +743,7 @@ class Function(Serializable):
 
         return name
 
-    def _get_initial_binary_name(self):
+    def _get_initial_binary_name(self) -> str | None:
         """
         Determine the name of the binary where this function is.
 

angr/knowledge_plugins/functions/function_parser.py

@@ -33,7 +33,7 @@ class FunctionParser:
         obj.is_simprocedure = function.is_simprocedure
         obj.returning = function.returning
         obj.alignment = function.alignment
-        obj.binary_name = function.binary_name
+        obj.binary_name = function.binary_name or ""
         obj.normalized = function.normalized
 
         # signature matched?
@@ -105,7 +105,7 @@ class FunctionParser:
             is_simprocedure=cmsg.is_simprocedure,
             returning=cmsg.returning,
             alignment=cmsg.alignment,
-            binary_name=cmsg.binary_name,
+            binary_name=None if not cmsg.binary_name else cmsg.binary_name,
         )
         obj._project = project
         obj.normalized = cmsg.normalized

angr/knowledge_plugins/variables/variable_manager.py

@@ -112,6 +112,8 @@ class VariableManagerInternal(Serializable):
         # optimization
         self._variables_without_writes = set()
 
+        self.stack_offset_to_struct_member_info: dict[SimStackVariable, (int, SimStackVariable, SimStruct)] = {}
+
         self.ret_val_size = None
 
     #
@@ -972,6 +974,23 @@ class VariableManagerInternal(Serializable):
                         self.variable_to_types[other_var] = ty
                         if mark_manual:
                             self.variables_with_manual_types.add(other_var)
+        if isinstance(var, SimStackVariable) and isinstance(ty, TypeRef) and isinstance(ty.type, SimStruct):
+            self.stack_offset_to_struct_member_info.update(self._extract_fields_from_struct(var, ty.type))
+
+    def _extract_fields_from_struct(self, var, ty: SimStruct, top_struct_offset=0):
+        result = {}
+        for name, field_offset in ty.offsets.items():
+            field_ty = ty.fields[name]
+            offset = top_struct_offset + field_offset
+            if isinstance(field_ty, TypeRef):
+                field_ty = field_ty.type
+            if isinstance(field_ty, SimStruct):
+                result.update(
+                    self._extract_fields_from_struct(var, field_ty, top_struct_offset=top_struct_offset + field_offset)
+                )
+            else:
+                result[var.offset + offset] = (offset, var, ty)
+        return result
 
     def get_variable_type(self, var) -> SimType | None:
         return self.variable_to_types.get(var, None)

angr/sim_manager.py

@@ -1,9 +1,11 @@
+from __future__ import annotations
+
 import sys
 import itertools
 import types
 from collections import defaultdict
-from typing import DefaultDict
 import logging
+from types import TracebackType
 
 import claripy
 import mulpyplexer
@@ -91,7 +93,7 @@ class SimulationManager:
 
         if stashes is None:
             stashes = self._create_integral_stashes()
-        self._stashes: DefaultDict[str, list["SimState"]] = stashes
+        self._stashes: defaultdict[str, list[SimState]] = stashes
         self._hierarchy = StateHierarchy() if hierarchy is None else hierarchy
         self._save_unsat = save_unsat
         self._auto_drop = {
@@ -189,11 +191,11 @@ class SimulationManager:
         )
 
     @property
-    def errored(self):
+    def errored(self) -> list[ErrorRecord]:
         return self._errored
 
     @property
-    def stashes(self) -> DefaultDict[str, list["SimState"]]:
+    def stashes(self) -> defaultdict[str, list[SimState]]:
         return self._stashes
 
     def mulpyplex(self, *stashes):
@@ -394,7 +396,7 @@ class SimulationManager:
 
         :param stash:           The name of the stash to step (default: 'active')
         :param target_stash:    The name of the stash to put the results in (default: same as ``stash``)
-        :param error_list:      The list to put ErroredState objects in (default: ``self.errored``)
+        :param error_list:      The list to put ErrorRecord objects in (default: ``self.errored``)
         :param selector_func:   If provided, should be a function that takes a state and returns a
                                 boolean. If True, the state will be stepped. Otherwise, it will be
                                 kept as-is.
@@ -894,7 +896,7 @@ class SimulationManager:
     #   ...
     #
 
-    def _create_integral_stashes(self) -> DefaultDict[str, list["SimState"]]:
+    def _create_integral_stashes(self) -> defaultdict[str, list[SimState]]:
         stashes = defaultdict(list)
         stashes.update({name: [] for name in self._integral_stashes})
         return stashes
@@ -945,9 +947,9 @@ class ErrorRecord:
     """
 
     def __init__(self, state, error, traceback):
-        self.state = state
-        self.error = error
-        self.traceback = traceback
+        self.state: SimState = state
+        self.error: Exception = error
+        self.traceback: TracebackType = traceback
 
     def debug(self):
         """

angr/state_plugins/history.py

@@ -1,3 +1,4 @@
+from collections.abc import Reversible
 import operator
 import logging
 import itertools
@@ -40,7 +41,7 @@ class SimStateHistory(SimStatePlugin):
         self.jump_source = None if clone is None else clone.jump_source
         self.jump_avoidable = None if clone is None else clone.jump_avoidable
         self.jump_guard: BV | None = None if clone is None else clone.jump_guard
-        self.jumpkind = None if clone is None else clone.jumpkind
+        self.jumpkind: str | None = None if clone is None else clone.jumpkind
 
         # the execution log for this history
         self.recent_events = [] if clone is None else list(clone.recent_events)
@@ -358,19 +359,19 @@ class SimStateHistory(SimStatePlugin):
             yield from self.parent.lineage
 
     @property
-    def events(self):
+    def events(self) -> Reversible["SimEvent"]:
         return LambdaIterIter(self, operator.attrgetter("recent_events"))
 
     @property
-    def actions(self):
+    def actions(self) -> Reversible["SimAction"]:
         return LambdaIterIter(self, operator.attrgetter("recent_actions"))
 
     @property
-    def jumpkinds(self):
+    def jumpkinds(self) -> Reversible[str]:
         return LambdaAttrIter(self, operator.attrgetter("jumpkind"))
 
     @property
-    def jump_guards(self):
+    def jump_guards(self) -> Reversible[claripy.ast.Bool]:
         return LambdaAttrIter(self, operator.attrgetter("jump_guard"))
 
     @property
@@ -382,15 +383,15 @@ class SimStateHistory(SimStatePlugin):
         return LambdaAttrIter(self, operator.attrgetter("jump_source"))
 
     @property
-    def descriptions(self):
+    def descriptions(self) -> Reversible[str]:
         return LambdaAttrIter(self, operator.attrgetter("recent_description"))
 
     @property
-    def bbl_addrs(self):
+    def bbl_addrs(self) -> Reversible[int]:
         return LambdaIterIter(self, operator.attrgetter("recent_bbl_addrs"))
 
     @property
-    def ins_addrs(self):
+    def ins_addrs(self) -> Reversible[int]:
         return LambdaIterIter(self, operator.attrgetter("recent_ins_addrs"))
 
     @property

angr/storage/memory_mixins/paged_memory/pages/ultra_page.py

@@ -84,30 +84,50 @@ class UltraPage(MemoryObjectMixin, PageBase):
             self.symbolic_data[global_start_addr - page_addr] = new_item
             result[-1] = (global_start_addr, new_item)
 
-        for subaddr in range(addr, addr + size):
+        subaddr = addr
+        end = addr + size
+        while subaddr < end:
             realaddr = subaddr + page_addr
             if self.symbolic_bitmap[subaddr]:
                 cur_val = self._get_object(subaddr, page_addr, memory=memory)
-                if cur_val is last_run and last_run is symbolic_run:
-                    pass
+                # it must be a different object
+                cycle(realaddr)
+                next_addr = subaddr + 1
+
+                # figure out how long the current object is (limit end of page)
+                if cur_val is None:
+                    obj_end = end
                 else:
-                    cycle(realaddr)
-                    last_run = symbolic_run = cur_val
-                    result.append((realaddr, cur_val))
+                    obj_end = subaddr + cur_val.length
+                    obj_end = min(end, obj_end)
+
+                # determine how many bytes come from this object
+                # loop until: end of object or not symbolic or until next object
+                next_place = None
+                while next_addr < obj_end and self.symbolic_bitmap[next_addr]:
+                    if next_addr == subaddr + 1:  # first loop
+                        next_place = self._get_next_place(next_addr)
+                    if next_place is not None and next_place <= next_addr:
+                        break
+                    next_addr += 1
+
+                subaddr = next_addr
+                last_run = symbolic_run = cur_val
+                result.append((realaddr, cur_val))
+
             else:
-                cur_val = self.concrete_data[subaddr]
-                if last_run is concrete_run:
-                    if endness == "Iend_LE":
-                        last_run = concrete_run = concrete_run | (
-                            cur_val << (memory.state.arch.byte_width * (realaddr - result[-1][0]))
-                        )
-                    else:
-                        last_run = concrete_run = (concrete_run << memory.state.arch.byte_width) | cur_val
-                    result[-1] = (result[-1][0], concrete_run)
+                max_concrete_read = subaddr
+                while max_concrete_read < end and not self.symbolic_bitmap[max_concrete_read]:
+                    max_concrete_read += 1
+                cur_val = self.concrete_data[subaddr:max_concrete_read]
+                subaddr = max_concrete_read
+                # we know the last run was not a concrete one
+                cycle(realaddr)
+                if endness == "Iend_LE":
+                    last_run = concrete_run = cur_val[::-1]
                 else:
-                    cycle(realaddr)
                     last_run = concrete_run = cur_val
-                    result.append((realaddr, cur_val))
+                result.append((realaddr, cur_val))
 
         cycle(page_addr + addr + size)
         if not cooperate:
@@ -134,8 +154,7 @@ class UltraPage(MemoryObjectMixin, PageBase):
                 addr, data, size, endness, page_addr=page_addr, memory=memory, **kwargs
             )
 
-        if size >= memory.page_size - addr:
-            size = memory.page_size - addr
+        size = min(size, memory.page_size - addr)
 
         byte_width = memory.state.arch.byte_width
 
@@ -410,6 +429,14 @@ class UltraPage(MemoryObjectMixin, PageBase):
             else:
                 return None
 
+    def _get_next_place(self, start):
+        try:
+            place = next(self.symbolic_data.irange(minimum=start, reverse=False))
+        except StopIteration:
+            return None
+        else:
+            return place
+
     def replace_all_with_offsets(self, offsets: Iterable[int], old: claripy.ast.BV, new: claripy.ast.BV, memory=None):
         memory_objects = set()
         for offset in sorted(list(offsets)):

angr/utils/mp.py

@@ -2,6 +2,7 @@ from typing import NamedTuple, Optional, Any
 from collections.abc import Callable
 import multiprocessing
 import platform
+from ..errors import AngrRuntimeError
 
 
 class Closure(NamedTuple):
@@ -32,7 +33,7 @@ class Initializer:
 
     def __init__(self, *, _manual: bool = True):
         if _manual:
-            raise RuntimeError("This is a singleton; call .get() instead")
+            raise AngrRuntimeError("This is a singleton; call .get() instead")
         self.initializers: list[Closure] = []
 
     def register(self, f: Callable[..., None], *args: Any, **kwargs: Any) -> None:

angr/utils/segment_list.py

@@ -1,7 +1,7 @@
 # pylint:disable=no-else-break
 import logging
 
-from angr.errors import AngrCFGError
+from angr.errors import AngrCFGError, AngrRuntimeError
 
 
 l = logging.getLogger(name=__name__)
@@ -267,7 +267,7 @@ class SegmentList:
                     # done
                     break
                 else:
-                    raise RuntimeError("Unreachable reached")
+                    raise AngrRuntimeError("Unreachable reached")
             else:  # if segment.start > address
                 if address + size <= segment.start:
                     #                      |--- segment ---|
@@ -293,7 +293,7 @@ class SegmentList:
                     address = new_address
                     idx = self.search(address)
                 else:
-                    raise RuntimeError("Unreachable reached")
+                    raise AngrRuntimeError("Unreachable reached")
 
     def _dbg_output(self):
         """

{angr-9.2.104.dist-info → angr-9.2.106.dist-info}/METADATA

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

{angr-9.2.104.dist-info → angr-9.2.106.dist-info}/RECORD

@@ -1,13 +1,13 @@
-angr/__init__.py,sha256=O1gRuB7R2vwdKE9TrN8RObSHkaA4MnJ66Fqkt4YJqTs,3993
+angr/__init__.py,sha256=gL2b7Kk3NQWtdo4OpnsfL_9d-Q4YkWSR4qhfQLbgwAA,3993
 angr/__main__.py,sha256=kaO56Te6h73SM94BVtASF00q5QbBbC3eBs9poVc9sVI,1887
 angr/annocfg.py,sha256=1tnBfxgLJh9I6Brm1JDdsWLHGmCQYdD6PTC_bFTOMrg,10775
 angr/blade.py,sha256=B8QXVQ93jz1YCIlb-dZLeBqYmVFdMXI5GleP1Wnxjrw,15519
-angr/block.py,sha256=uinLN30NbaVUcFJNDJaeWTKJiNwVFMte2vaGhYlkD-8,14752
+angr/block.py,sha256=tHxXlBBFrPZbp5phhTn63K55khjDIIUSNJgFn4lPd9I,14761
 angr/callable.py,sha256=-E9HelavtRY1xPAxCVXl120H8Rb7Myd2IcrXtWZFAOU,6034
 angr/calling_conventions.py,sha256=JjgIx0PHOfP9O8fcLjaKFEnznDfgmcf8ezMS6s54Me8,91288
 angr/code_location.py,sha256=IudWSR-gJzq_EeVw-jEZvQumVYwUUDWXR1vmLAkS-SQ,5432
 angr/codenode.py,sha256=Di6ZxGqf-e6tKL49Zr0sq4vqpy_-nUDYkBdLj2Tg2Po,3760
-angr/errors.py,sha256=Hqc7StoAOW-0vQAJOlEyk2Xphe5mH1tUnZCfeoZURKc,8299
+angr/errors.py,sha256=Yh_qSz7FjMSqqK9P3CVJHQZUzvTELLg6dRGYyINVZSM,8348
 angr/factory.py,sha256=C6HlSkBcl9T8y8s7EvFwj5JCV2OMyKrd317fqOjKcYQ,17305
 angr/graph_utils.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 angr/keyed_region.py,sha256=aJzy9-iXxIdJdmrH3fhaM3_KFrGHJUO7YzswjRlrsO0,18109
@@ -15,7 +15,7 @@ angr/project.py,sha256=-1VjiXyaqokF_J4fJ_ZWB3alko7dkx0JBV9AK6dZvcM,37254
 angr/py.typed,sha256=la67KBlbjXN-_-DfGNcdOcjYumVpKG_Tkw-8n5dnGB4,8
 angr/serializable.py,sha256=6cljvzAqFwsLqFu9ouCno7hMpgstha5-8C7RyWNCRXc,1502
 angr/service.py,sha256=9R50bFaCf6zjxybiEIVIkODSVCsE2VcTul_KjjsjaGU,1102
-angr/sim_manager.py,sha256=5XCwoZQU_RfGJX-5td8ILCj_6bm-Fwxhb7ijf6h8LbE,39287
+angr/sim_manager.py,sha256=YN7WwjAyGEdnTaj3tBSQt-3I9aYn3aEfgxT5RRm4HbQ,39374
 angr/sim_options.py,sha256=OuT01xS_F3ifBD9MAfZmNCnfjtTg0HulZlrKcs1LNSY,18057
 angr/sim_procedure.py,sha256=SKlD_-qGh-llcuennKZoHK1yzDUTaa5z5W2l22Ean-U,26259
 angr/sim_state.py,sha256=-BhSkyucG6wwZSrgSoAKWNRFHQjcVP8R7ux0z7E2AOg,37820
@@ -45,7 +45,7 @@ angr/analyses/disassembly.py,sha256=ZBVtHUt2TBDuIz_mIFY_6thJrIxCEucOSoBfbOQVwIs,
 angr/analyses/disassembly_utils.py,sha256=4Np0PCPjr0h0jIVzUUG6KzrEKl9--IpTE3sgmmsmhcg,2989
 angr/analyses/dominance_frontier.py,sha256=XRfC_LUUetE8t1Cc9bwvWS9sl63Fx9sp8KFqN_Y9IDg,1245
 angr/analyses/find_objects_static.py,sha256=woA3Fc45jbYMmSps-gOO5DqgPohQbx3LhicfrA6bb34,10158
-angr/analyses/flirt.py,sha256=bzPIpZiAbrVcNu_ekXlfQc7DsYSuDRZQNRbDVkoaSfQ,7799
+angr/analyses/flirt.py,sha256=fhSUWcNG8c0Pkg4_H0zRh10aM3jaWVPRyC-ZrFbViXk,7841
 angr/analyses/init_finder.py,sha256=hFHPsHipF4QkWzVqcDeTgL6YIaYi8bAyaURZBksS4KI,8531
 angr/analyses/loop_analysis.py,sha256=nIbDIzvys-FRtJYnoZYNbMWH5V88qrhoMtrMRCTbkLY,9412
 angr/analyses/loopfinder.py,sha256=X8F4Dcu2UHDXt6JifK6EfROAeeczyca6V7zxx9z7GpQ,7122
@@ -89,15 +89,15 @@ angr/analyses/data_dep/data_dependency_analysis.py,sha256=077fujhixS7fb-AUzS_CRW
 angr/analyses/data_dep/dep_nodes.py,sha256=TMp4xOXbOCqjIrmDeP3cef29GexH5WwX2ZKV9yMqoX8,4640
 angr/analyses/data_dep/sim_act_location.py,sha256=4f8jp-ahitxoHCCOSSFGJ1olvNWuHyiE6iOLa5DA0k4,1527
 angr/analyses/decompiler/__init__.py,sha256=RkTvvTwAGpaLdGSTgXxVrKmGEDRxqLCNSB-b8fM6fBM,540
-angr/analyses/decompiler/ail_simplifier.py,sha256=Kfb01NkKGJs9mvn9neSWpTunF0EMo3Mtzt3dFYfQdRE,61578
+angr/analyses/decompiler/ail_simplifier.py,sha256=laIPyvY0dCx4CQmo0NFA5Wrr5b_PhrBXyPQonXcnAXs,61625
 angr/analyses/decompiler/ailgraph_walker.py,sha256=sBz9Cn0GtdpuFt7R9y3oX6NFvETQTZRh6N80eM9ZdJQ,1595
 angr/analyses/decompiler/block_io_finder.py,sha256=1-u6h4KUPsX-dkXlXz6hN5ntslhEfV7fKQqjkAZcDO8,10490
 angr/analyses/decompiler/block_similarity.py,sha256=mTpELRDw_qXxjq7B0SzXlBVm3i417Oqu7EzPWx85aUM,6461
 angr/analyses/decompiler/block_simplifier.py,sha256=78vfpaG13JWCxijDrp3Q4wyiEw7hQXngb8itd9y39Os,17227
 angr/analyses/decompiler/call_counter.py,sha256=V3TIaSvLUy9vLEWErnvlCS--_ubGWQAeU0tqq6XYeOU,1205
 angr/analyses/decompiler/callsite_maker.py,sha256=GUgUkSsOznUaTIB9PUoBFyWJp9WkH4T8jf5xBIE5p9M,15909
-angr/analyses/decompiler/clinic.py,sha256=Pp5qw18JALlVwixzvlHw7KVjx76q8egSqlWKJTK1cgk,95087
-angr/analyses/decompiler/condition_processor.py,sha256=Cld6l1AYDOwRCBVc1s7BN9sfDtTVkQlsChP7UlaOVUU,49844
+angr/analyses/decompiler/clinic.py,sha256=81gi7DBCaZy-xK_TZGrApUEz00y756V4ZKVAHtugmwk,95748
+angr/analyses/decompiler/condition_processor.py,sha256=L4piCxmoD3xZHQNSZqgj67WBGhljW3bjUii_Nirugm0,49891
 angr/analyses/decompiler/decompilation_cache.py,sha256=NKbvKYZOe7791udwdf70tq9hJe79GMS6M1jaDJC8lSQ,1130
 angr/analyses/decompiler/decompilation_options.py,sha256=FMfcQ0aFDMPW9d0sYpqCwrOVYoq75YkExAvR6CjZCt4,8224
 angr/analyses/decompiler/decompiler.py,sha256=152EWqKPC2J_JcC3_rnJPNL9iDbFTm-AXamm3hjzfFE,22253
@@ -109,7 +109,7 @@ angr/analyses/decompiler/graph_region.py,sha256=-bPM3JqMA4ZnFhPi6QLGw_M1zPWK_yh0
 angr/analyses/decompiler/jump_target_collector.py,sha256=NP-TgRPEkhBkEx4uZwvFLuUjgrvOIfYI3zP5b4WSfco,1138
 angr/analyses/decompiler/jumptable_entry_condition_rewriter.py,sha256=dcgnXt3oKa8Qm_KtT-Rl7XDmLetvOj_UFALxC2HGLac,2139
 angr/analyses/decompiler/redundant_label_remover.py,sha256=aYvcQbn0l-LYbJ-DIqGTTLfnL0Hw-OANfFZXnNZH-sE,5324
-angr/analyses/decompiler/region_identifier.py,sha256=jCNabIZgVAKWdYcMDSLYYAuOU0uD6xYyQjNtF6kFNCY,45439
+angr/analyses/decompiler/region_identifier.py,sha256=fcS0jYJmpt3hXE-E8o31lDOKF-ozOMIkSnUOCSAKbM4,45482
 angr/analyses/decompiler/region_walker.py,sha256=lTfweYbY4_a2f2yGztTKG6JtU1jXf-kaz-NHbX9nkXE,717
 angr/analyses/decompiler/return_maker.py,sha256=CztTpm6e3TF0ijdiZDl0HeObxTtOz0TOQd_uIqL0xMM,2467
 angr/analyses/decompiler/seq_to_blocks.py,sha256=2KINMEgaXMG3XIiFDMRkbn10dggy7a9AHgwV383huRM,529
@@ -193,7 +193,7 @@ angr/analyses/decompiler/peephole_optimizations/single_bit_cond_to_boolexpr.py,s
 angr/analyses/decompiler/peephole_optimizations/single_bit_xor.py,sha256=vqIw5ewmvbNtj86sB2eG_JLvya0bZOKFktyiWNkGyn8,940
 angr/analyses/decompiler/peephole_optimizations/tidy_stack_addr.py,sha256=CVNGZPN4YSu7169-UXR6mlm8yf5VSajoB4yksgfIa6E,4820
 angr/analyses/decompiler/region_simplifiers/__init__.py,sha256=ZeURg5mKbKRpwo8-SqxJ0jy_A6nNpZMxiKpjZJ0_RS0,48
-angr/analyses/decompiler/region_simplifiers/cascading_cond_transformer.py,sha256=2NHuInoSFwahIrtOStHBmBA7k1zmrUnmSQtTe4EBIbo,3690
+angr/analyses/decompiler/region_simplifiers/cascading_cond_transformer.py,sha256=PQTkQg_-NSR-0dLAjDdwNHs5b82cmsM15m3OStXg-dg,3734
 angr/analyses/decompiler/region_simplifiers/cascading_ifs.py,sha256=dbAn1fde1-kiF6A9060wEqPKcE3DeBd2Ltt_2UAEdo4,2490
 angr/analyses/decompiler/region_simplifiers/expr_folding.py,sha256=gBFr98420bdkmlPMypwU28V2c9PRtBKiRkDv10ne4Ag,24075
 angr/analyses/decompiler/region_simplifiers/goto.py,sha256=08f-7tVw6w-1Kqaf0py7wdNrfEGTB0uhzTJyBaQVVcw,5996
@@ -206,7 +206,7 @@ angr/analyses/decompiler/region_simplifiers/switch_cluster_simplifier.py,sha256=
 angr/analyses/decompiler/region_simplifiers/switch_expr_simplifier.py,sha256=HGIiC6c3C91VfcqxUHe9aTsRohwmMXOHZH_G_dbwwx4,3327
 angr/analyses/decompiler/structured_codegen/__init__.py,sha256=NLEvs8xnJwJiUgX8AmgS7rtFFW4SxtQcA1AjzE-GryA,313
 angr/analyses/decompiler/structured_codegen/base.py,sha256=TdghqAsAkjZpPfzFarh8Wn1zfBYMFcMsBZhRqXgoPNo,3778
-angr/analyses/decompiler/structured_codegen/c.py,sha256=gF0RSC171Jn-xFtQJ0wfbRaLSTqhk0YPYNK67bKF_Ns,135300
+angr/analyses/decompiler/structured_codegen/c.py,sha256=YcvlggO1mRMbiXZoGMJOj2L09BE2TwaHP5OCwEjAvbo,135539
 angr/analyses/decompiler/structured_codegen/dummy.py,sha256=IVfmtcWpTgNCRVsuW3GdQgDnuPmvodX85V0bBYtF_BI,535
 angr/analyses/decompiler/structured_codegen/dwarf_import.py,sha256=TMz65TkF_ID_Ipocj0aFDb84H6slolN90wq0tzhY2Rk,6773
 angr/analyses/decompiler/structuring/__init__.py,sha256=Ai63Im5VSiMDP8ACiDb34chqMl84JgzQXFIO8MV7hl0,368
@@ -282,7 +282,7 @@ angr/analyses/typehoon/lifter.py,sha256=3RogUtd8O6txb7_UAjbI7Bn1hc38oP_LsRYyBsPs
 angr/analyses/typehoon/simple_solver.py,sha256=JWtFIWT6Wlm7kM6KH28dfwm4kvni-PHJjnPRWLmzLr4,48377
 angr/analyses/typehoon/translator.py,sha256=HLPNDkkl8daZy_mLXvDm3AoBD8auLze3MnkbhRxIMZc,8559
 angr/analyses/typehoon/typeconsts.py,sha256=yrPpW-EFNwI0vsO9ipVp2wIHsWPoZjXug1sdFHq1R6g,6973
-angr/analyses/typehoon/typehoon.py,sha256=KgkOcCvKaIApR6ycTCPhUlkjGA9Wk7QpBjWEvljjd-I,9325
+angr/analyses/typehoon/typehoon.py,sha256=Ak0T9DL8kMl__YdJkJUoiN92cRzpUSuyjalKQk3Jbww,9368
 angr/analyses/typehoon/typevars.py,sha256=2MNNyTSjmKXGIcLqwbO5qKIef5EHoWttjFPFGTfhfGw,15777
 angr/analyses/typehoon/variance.py,sha256=VPuBrPmbw5RgNG5SUTNFEd5rr4v3V_qD1vgilqWvdrs,158
 angr/analyses/variable_recovery/__init__.py,sha256=j2SZyfzCAagqNTj0IcYJtOx4b3oAvhEY9GR3hb0bx4o,105
@@ -292,7 +292,7 @@ angr/analyses/variable_recovery/engine_base.py,sha256=HVCtyY4tgx8cjHyP1aPoCCgW57
 angr/analyses/variable_recovery/engine_vex.py,sha256=ni-OCeHFhhPRo5iH2p4AvI_43ADOO1jUc__GX0tIb-U,19215
 angr/analyses/variable_recovery/irsb_scanner.py,sha256=IZVaL_axfPBcM_MvjIOXwICK3otK3B5AIbwjhVscylc,4878
 angr/analyses/variable_recovery/variable_recovery.py,sha256=-chYezAPEMrgwu_w3pBv_uzGnJb1wi3zsa1DLPdTya8,21777
-angr/analyses/variable_recovery/variable_recovery_base.py,sha256=n4DmEuJppuyqIaHFeipNVG1QROVNZjhnPobmdWxuhHM,14919
+angr/analyses/variable_recovery/variable_recovery_base.py,sha256=EhqACAQwd6qKWC19-kbTvXEio3k9JNc3cyYg4MLHebw,14962
 angr/analyses/variable_recovery/variable_recovery_fast.py,sha256=_eOpy1qppTti2P7Sn0MK3IMLQfYw1-V7AoZkmSizYjc,24070
 angr/angrdb/__init__.py,sha256=df9W7J7c4rD5oYx6fZGf0BIBwOqVVJlIJTDrAtQChqY,231
 angr/angrdb/db.py,sha256=tVrjdgEWZC0HeBVdOQ1nG0lKPwsvlITk2u4eCPMfG-4,6416
@@ -332,7 +332,7 @@ angr/engines/engine.py,sha256=Lm0RE8XxSJQw11wj2umlAaJkUWv6F7VouEu_-0Jry1A,8075
 angr/engines/failure.py,sha256=zZw_7cYCkxrVhJ-gWb9apNV6cAf4pqKESDPrQdd1Mpg,996
 angr/engines/hook.py,sha256=_dobnJ3m3F0FPHWbv82ZS5fyNmSt-wuNzMlZ-81sRgc,2546
 angr/engines/procedure.py,sha256=dEvCtpS7-LLfr1OX3LT4_4QFyW7Wgt13UtHuAXowDSs,2515
-angr/engines/successors.py,sha256=uwDz7vhLObuu8TX_zLfLSVqu_vCiPG1SaSHqtBJEt30,23679
+angr/engines/successors.py,sha256=SuzeKILLcQd2OIQdnLCB6n9rmFJ88Xe_c2quz7osKVU,23887
 angr/engines/syscall.py,sha256=LNMC3zyis3OiWC7_8Zn1blMw1EDib5FjUqepXlaWDTI,2177
 angr/engines/unicorn.py,sha256=gf7LjjWyaaujqSuCq3d-BGm8t5sdZjzsJeBevGfdiLw,24447
 angr/engines/light/__init__.py,sha256=j9vH2fU9MaNVQ8NT3Ek3Tj2zkGlVxlKyzia8zVTofYs,186
@@ -407,7 +407,7 @@ angr/engines/vex/light/__init__.py,sha256=WblrLgYRbdBAvNGbkzGsTgOq2A_pUBJP-FxANP
 angr/engines/vex/light/light.py,sha256=CZFEgsXM-CSwVexiu6WFikjwXvpAyCR66HjVT--3_0g,21698
 angr/engines/vex/light/resilience.py,sha256=FaHiSMv_hsIiNEqA2Wga2F3bVyXGPtWudL00785ebEs,2002
 angr/engines/vex/light/slicing.py,sha256=lGZsF5_xtVKjCJmD2FMABkyz-kZWctWOMjuWnFWpe2g,2023
-angr/exploration_techniques/__init__.py,sha256=95T9fVNalvf0veq0NAmmHE-cEfBPoP_S-IRcilXGx5o,6980
+angr/exploration_techniques/__init__.py,sha256=ywiuWYV080w7n4HQUd40DNDfL5FwDVPFlySD2KLRzfM,7037
 angr/exploration_techniques/bucketizer.py,sha256=H-5QyOfDNdCSTbCk8MQluwi9C9Y0iE7E1s_4EAb3LXk,2588
 angr/exploration_techniques/common.py,sha256=7vKlFQjuVoTmtKgYbYjhg67-e3weTzFtU2hC91wHHtI,2262
 angr/exploration_techniques/dfs.py,sha256=IpEmTGVqGAKUCmchKBR_w0SISIsBlNRjdp6sgZlcWis,1167
@@ -424,6 +424,7 @@ angr/exploration_techniques/slicecutor.py,sha256=qGX-9t28CiSXiDoz-dbE6X6oqpGt8Vq
 angr/exploration_techniques/spiller.py,sha256=2_Jf8OyttY58-q9TvcvBrjb-1DOOZ4o0kkd_3O1RMUk,9382
 angr/exploration_techniques/spiller_db.py,sha256=9Q855QsH96ZxGe7d0cv9YTcQrjd8E4X8WG4mZQgJRP4,818
 angr/exploration_techniques/stochastic.py,sha256=gmFim2h9sFhoeC-zlpGCS0iUDkvM2wwKa_mN5Cc7mmQ,2059
+angr/exploration_techniques/stub_stasher.py,sha256=lGSBgOG4v1bGl5k_lWplkOIL3uWv_Ns9RJoe8rZ2V8k,459
 angr/exploration_techniques/suggestions.py,sha256=GICcH_fIA1ltIwQlbSMse5f1HJ0jdwtpNdnHfVFScXA,6969
 angr/exploration_techniques/symbion.py,sha256=o-o_ZdbSMZCjA0_uV4TJV6jdtZXq2cO3KYzv038rJbQ,3122
 angr/exploration_techniques/tech_builder.py,sha256=UWmOE7GqQkZj_X_kR4Un7rDZyB4oL84Q6L-nLaU1i70,1586
@@ -449,14 +450,14 @@ angr/knowledge_plugins/plugin.py,sha256=5x_6uCatsbqfQBHfRNqoRS9yc8JrwGnGMDyAn29u
 angr/knowledge_plugins/types.py,sha256=DNBPxMzFYYTtvdGL0va6irXp9z6qn0kAdlOngHwPz4U,2038
 angr/knowledge_plugins/cfg/__init__.py,sha256=L7qgnAg6rXGq8NCfdr1RLSSPRmQ1O87ZkLEDeC6k000,382
 angr/knowledge_plugins/cfg/cfg_manager.py,sha256=9qvUkOW1pLZTXlVFm1b6lTfHsqKi05BCPPTsJwsSWx8,2613
-angr/knowledge_plugins/cfg/cfg_model.py,sha256=EKi2qEiSiVB3S6lZ_5rTgdltOB32regEtHah9R_44Xw,41709
-angr/knowledge_plugins/cfg/cfg_node.py,sha256=TOuGvCKdKAR_5-gcl6TDwJl6JGXkuSR5vC_27JD5q0s,17216
+angr/knowledge_plugins/cfg/cfg_model.py,sha256=_ueS8bcvXHuZ-NgtBqupRvT0KVL8nmBheOpXBHtql-8,41691
+angr/knowledge_plugins/cfg/cfg_node.py,sha256=sOxGwme_hQ5SAzVjS2aUdMeomCAqXS6GXk70PvSUGvc,17364
 angr/knowledge_plugins/cfg/indirect_jump.py,sha256=ixNJtGspxiaWUPsGNtRJ0fvrskumaJhl3164J2zIkKI,2092
 angr/knowledge_plugins/cfg/memory_data.py,sha256=zoFZMcegVjzlOsLG2rjjGlvxGijZxL1763hw4ISwwdg,4988
 angr/knowledge_plugins/functions/__init__.py,sha256=6IerJjMKKvM70mcJQhmXJYiipePOQ9ZSTmavTIUgg5Q,77
-angr/knowledge_plugins/functions/function.py,sha256=jf5CVE4V4mL4-1GzPSnW_sK0JpTAL-thNkzlwIDzwoE,67099
+angr/knowledge_plugins/functions/function.py,sha256=YaoFHFkj-Dy4VCR-_UlAJSn0PFnCfFRF1rYL2IEkmK0,67113
 angr/knowledge_plugins/functions/function_manager.py,sha256=wGQ41kKOPqPgUe8cMfySusOA7_p0-KWNDROT_lFakZ8,18972
-angr/knowledge_plugins/functions/function_parser.py,sha256=cb_AD5oFqoyXapDBawnJV1D9XVRMBGa9GwwDudNSc3M,11916
+angr/knowledge_plugins/functions/function_parser.py,sha256=f2x8ib4kUAZEfd3j3egubY4DpEYYf4_jwlbuM6Fk-CE,11956
 angr/knowledge_plugins/functions/soot_function.py,sha256=2zwz_tdKbEnF8eUkOEmpNr7AUeooun2-SiIoY_xIdMw,4971
 angr/knowledge_plugins/key_definitions/__init__.py,sha256=xnn-6qL8csRtqWkHn6OTHQxiQChD8Z1xuqLN56GjZi4,397
 angr/knowledge_plugins/key_definitions/atoms.py,sha256=sMqROOR2VlEHS8HmEhtPaHl5gE0g0mu2lD2IVIqjkSw,9704
@@ -483,12 +484,12 @@ angr/knowledge_plugins/sync/__init__.py,sha256=RN3y0UhYax-GdPyAhondMXEBuWIu-enHj
 angr/knowledge_plugins/sync/sync_controller.py,sha256=gZ1NUg8iJWu2EaOYY6WYj_W13tRtreIu5CA1VvpTmTA,9270
 angr/knowledge_plugins/variables/__init__.py,sha256=tmh_2i0X6Y41TkEgxHRQ4y-kVEGZnlDIpJZ_wUkCISI,60
 angr/knowledge_plugins/variables/variable_access.py,sha256=RzT-6C3cPXqSlWpQ_vZUf6s4tfYXp2lfOvgfYWkTLyo,3726
-angr/knowledge_plugins/variables/variable_manager.py,sha256=A0M4E6S0O98JpdrFyu1TOQkBCk8DkP2hy9a-2TPWz8Q,46325
+angr/knowledge_plugins/variables/variable_manager.py,sha256=r8w2xIP-VN1_DS3r9y2GK3LAy8fMndL1m-7_obiIsbY,47315
 angr/knowledge_plugins/xrefs/__init__.py,sha256=-5A2h048WTRu6Et7q7bqlc-AyBXNuJ9AF9nE9zc3M4I,94
 angr/knowledge_plugins/xrefs/xref.py,sha256=1BMphrr8iViDtVWPXWidmY1_uNmw9LRvEwwZLt3Zqw8,4907
 angr/knowledge_plugins/xrefs/xref_manager.py,sha256=a4uvTJkdM0PQIuyYcd7t76IddrrVjPGe9SZrRaqp2II,3980
 angr/knowledge_plugins/xrefs/xref_types.py,sha256=VR3xLQQ-gUg25oX0OL3BJHyQRlZh2A8syBac9ZMS9n4,271
-angr/lib/angr_native.dylib,sha256=bRQVoInGBnw4ntEowqTf3ubGjh7edJsJcXjhTFYt914,18604080
+angr/lib/angr_native.dylib,sha256=vBZp5YlWqCR67Cizg1ztxNuHjpqPvgNgaY8VVXwkMhI,18604080
 angr/misc/__init__.py,sha256=Ct-Q6-c-Frdz5Ihkqmou3j_1jyJi8WJXlQxs-gPQg0Y,237
 angr/misc/ansi.py,sha256=m5RY65yyvluUJErkvCF4I4z1o5kXi2xb3Yuvt9bITCA,776
 angr/misc/autoimport.py,sha256=vSXclz6pss3lMecoT5_doX0SvORNmZPIvVyDm4je4HE,3419
@@ -1191,7 +1192,7 @@ angr/state_plugins/debug_variables.py,sha256=MjNQKrxhvbDJ3cXW0g6CTA4refWYSWYn8PJ
 angr/state_plugins/filesystem.py,sha256=SjspfS6OXwXRa2ynbD0lddM__puKbxaIG5zVXwWzRcA,15902
 angr/state_plugins/gdb.py,sha256=tPQM-guGghWD65FHF2n_etc2UGMoaUBiXBtlRPVewNA,5125
 angr/state_plugins/globals.py,sha256=tfEVa8iqEmvD2vGoogx89aIoouw9GFc8JQcscDlXLbA,1507
-angr/state_plugins/history.py,sha256=pgnojJBWZlJzDpWZo3Rk3Az7n-Biva3uiz2mHvCisTk,19073
+angr/state_plugins/history.py,sha256=EuFnc-6z6k58Z9LCqH5gQVk1Iiz7tKP6XUokxLXVLT0,19285
 angr/state_plugins/inspect.py,sha256=49xo60mAI6o1IDZTcLMoqO5N78DXoHHregnSt8V54Eg,11317
 angr/state_plugins/javavm_classloader.py,sha256=t0O7e6DbXykuCbBTQ6bPv13vl99GrXpHvqSnkvWlpfo,5547
 angr/state_plugins/jni_references.py,sha256=AkrXa_ptTV97V1acnwvpnW7svUttpx1w4g9wmGc4NaA,3403
@@ -1265,7 +1266,7 @@ angr/storage/memory_mixins/paged_memory/pages/multi_values.py,sha256=hW-8svWpMJj
 angr/storage/memory_mixins/paged_memory/pages/mv_list_page.py,sha256=7pAL_YxTNEx1d7qTpJqrXIRKMB04SN4ASwz6vfyBbCk,17671
 angr/storage/memory_mixins/paged_memory/pages/permissions_mixin.py,sha256=Ek2YSmFOGUScFXPx8hqroNkl3gK1aqKCMv_X3_pImLs,830
 angr/storage/memory_mixins/paged_memory/pages/refcount_mixin.py,sha256=oES5tahTy4SgyDi2h5oRRC0PC4JHNcIvdAC4INKkeJw,1701
-angr/storage/memory_mixins/paged_memory/pages/ultra_page.py,sha256=iZLW5HTaalj2wnZqunJCKwFvMP54Nv0QbbgW6kD4Wgc,19116
+angr/storage/memory_mixins/paged_memory/pages/ultra_page.py,sha256=JIgC5wpl006FEFyDg_Z_gvEtMWJ0G0OWq9y8PcnFOzA,20062
 angr/storage/memory_mixins/regioned_memory/__init__.py,sha256=qFW74mjzZmHnIX-cyvOHhOFWSJOdQwcPUm_IhDryObo,351
 angr/storage/memory_mixins/regioned_memory/abstract_address_descriptor.py,sha256=9p4Eo7zE-gqfodF1P80GMEgCONpP4Qy90zzyY3ivbII,1094
 angr/storage/memory_mixins/regioned_memory/abstract_merger_mixin.py,sha256=KW8zdtvWh1I00NXdDYrP3dyIJguWIu0DqRVqMVRsUtw,1333
@@ -1288,13 +1289,13 @@ angr/utils/graph.py,sha256=baLY5RJYp06XXBKrqtEIu8b7wpWYSxwVODbIFUxm3Kc,28347
 angr/utils/lazy_import.py,sha256=VgN0-cMsr6XdGIq56Js1X8YecfPdW9Z4NrB3d2jD-5Y,308
 angr/utils/library.py,sha256=6RKKn7Hm-YEw0AoTFIjL86kCdvglKI_5KtSysDAE06Q,7170
 angr/utils/loader.py,sha256=QdkatPiyRfz5KdfCzRI1Xp3TJL_Pa75wY0dsILgMbwk,1944
-angr/utils/mp.py,sha256=lym2-3K2sSznzZ4vDShMajHPDSTEStIWLXZHprC5a3w,1840
-angr/utils/segment_list.py,sha256=noVHVyH0zYshoU3kntPLTQI3_Swo7VV2kfAb0TUccsU,20384
+angr/utils/mp.py,sha256=cv_NeysxLgyCdE-Euefnfv078ia5maHSnUn9f23zz88,1882
+angr/utils/segment_list.py,sha256=5nnuVtdZk9NS2y_xUBVA9khWPueP_zagNtPSjaoMHbA,20410
 angr/utils/timing.py,sha256=uOowCP8kotDrKDOjlAod-guBuYkAA8zEtiAwpdwMlIU,1334
 angr/utils/typing.py,sha256=pCjA7JZAzcvrk-iyIE2cRHc1G66AMSGEON3aFfjtPVc,431
-angr-9.2.104.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.104.dist-info/METADATA,sha256=RawEOibOIpKDqaJeWk59Xp1BcwDGQvaXeeern_CDVQU,4707
-angr-9.2.104.dist-info/WHEEL,sha256=YBuZgLbEquNCbbbQPlLFm_OOe1fPwf91V3LBhwgnks4,107
-angr-9.2.104.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.104.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.104.dist-info/RECORD,,
+angr-9.2.106.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.106.dist-info/METADATA,sha256=gpCdZNcXHHN8tC2-u2B68q0FzjcDW1bCCfc7cfGlNXU,4707
+angr-9.2.106.dist-info/WHEEL,sha256=YBuZgLbEquNCbbbQPlLFm_OOe1fPwf91V3LBhwgnks4,107
+angr-9.2.106.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.106.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.106.dist-info/RECORD,,