angr 9.2.115__py3-none-macosx_11_0_arm64.whl → 9.2.116__py3-none-macosx_11_0_arm64.whl

angr/__init__.py

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

angr/__main__.py

@@ -42,7 +42,7 @@ def main():
         "--structurer",
         help="The structuring algorithm to use for decompilation.",
         choices=STRUCTURER_CLASSES.keys(),
-        default=DEFAULT_STRUCTURER,
+        default=DEFAULT_STRUCTURER.NAME,
     )
 
     args = parser.parse_args()

angr/analyses/decompiler/optimization_passes/stack_canary_simplifier.py

@@ -182,7 +182,11 @@ class StackCanarySimplifier(OptimizationPass):
 
         while True:
             traversed.add(block_addr)
-            first_block = next(self._get_blocks(block_addr))
+            try:
+                first_block = next(self._get_blocks(block_addr))
+            except StopIteration:
+                break
+
             if first_block is None:
                 break
 

angr/analyses/decompiler/structured_codegen/c.py

@@ -1,7 +1,7 @@
 # pylint:disable=missing-class-docstring,too-many-boolean-expressions,unused-argument,no-self-use
 from typing import Optional, Any, TYPE_CHECKING
 from collections.abc import Callable
-from collections import defaultdict
+from collections import defaultdict, Counter
 import logging
 import struct
 
@@ -491,19 +491,16 @@ class CFunction(CConstruct):  # pylint:disable=abstract-method
             else:
                 name = str(variable)
 
-            # sort by number of occurrences, with a preference of non-basic types
+            # sort by the following:
+            #   * if it's a a non-basic type
+            #   * the number of occurrences
+            #   * the repr of the type itself
             # TODO: The type selection should actually happen during variable unification
             vartypes = [x[1] for x in cvar_and_vartypes]
-            nonprimitive_vartypes = [
-                vt for vt in vartypes if not isinstance(vt, (SimTypeChar, SimTypeInt, SimTypeFloat))
-            ]
-            vartypes = list(dict.fromkeys(sorted(vartypes, key=vartypes.count, reverse=True)))
-            if nonprimitive_vartypes:
-                nonprimitive_vartypes = list(
-                    dict.fromkeys(sorted(nonprimitive_vartypes, key=nonprimitive_vartypes.count, reverse=True))
-                )
-                vartypes.remove(nonprimitive_vartypes[0])
-                vartypes.insert(0, nonprimitive_vartypes[0])
+            count = Counter(vartypes)
+            vartypes = sorted(
+                count.copy(), key=lambda x: (isinstance(x, (SimTypeChar, SimTypeInt, SimTypeFloat)), count[x], repr(x))
+            )
 
             for i, var_type in enumerate(vartypes):
                 if i == 0:
@@ -2177,8 +2174,8 @@ class CConstant(CExpression):
                     v = refval.content.decode("utf-8")
                 else:
                     # it's a string
-                    assert isinstance(v, str)
                     v = refval
+                    assert isinstance(v, str)
                 yield CConstant.str_to_c_str(v), self
             elif isinstance(self._type, SimTypePointer) and isinstance(self._type.pts_to, SimTypeWideChar):
                 refval = self.reference_values[self._type]

angr/analyses/decompiler/structuring/dream.py

@@ -1,6 +1,5 @@
 # pylint:disable=multiple-statements,line-too-long,consider-using-enumerate
 from typing import Optional, Any, TYPE_CHECKING
-from collections import OrderedDict as ODict
 import logging
 from collections import defaultdict, OrderedDict
 
@@ -661,7 +660,7 @@ class DreamStructurer(StructurerBase):
         i,
         node,
         cmp_expr,
-        cases: ODict,
+        cases: OrderedDict,
         node_default,
         addr,
         addr2nodes,
@@ -909,7 +908,7 @@ class DreamStructurer(StructurerBase):
         head_node_idx: int,
         node_b_addr: int,
         addr2nodes: dict[int, set[CodeNode]],
-    ) -> tuple[ODict, Any, Any]:
+    ) -> tuple[OrderedDict, Any, Any]:
         """
         Discover all cases for the switch-case structure and build the switch-cases dict.
 
@@ -922,7 +921,7 @@ class DreamStructurer(StructurerBase):
         :return:                    A tuple of (dict of cases, the default node if exists, nodes to remove).
         """
 
-        cases: ODict[int | tuple[int, ...], SequenceNode] = OrderedDict()
+        cases: OrderedDict[int | tuple[int, ...], SequenceNode] = OrderedDict()
         to_remove = set()
         node_default = addr2nodes.get(node_b_addr, None)
         if node_default is not None:

angr/analyses/decompiler/structuring/phoenix.py

@@ -1,7 +1,6 @@
 # pylint:disable=line-too-long,import-outside-toplevel,import-error,multiple-statements,too-many-boolean-expressions
 from typing import Any, DefaultDict, Optional, TYPE_CHECKING
-from collections import OrderedDict as ODict
-from collections import defaultdict
+from collections import defaultdict, OrderedDict
 from enum import Enum
 import logging
 
@@ -1308,8 +1307,8 @@ class PhoenixStructurer(StructurerBase):
         node_b_addr,
         graph,
         full_graph,
-    ) -> tuple[ODict, Any, set[Any]]:
-        cases: ODict[int | tuple[int], SequenceNode] = ODict()
+    ) -> tuple[OrderedDict, Any, set[Any]]:
+        cases: OrderedDict[int | tuple[int], SequenceNode] = OrderedDict()
         to_remove = set()
 
         # it is possible that the default node gets duplicated by other analyses and creates a default node (addr.a)
@@ -1418,7 +1417,7 @@ class PhoenixStructurer(StructurerBase):
         self,
         head,
         cmp_expr,
-        cases: ODict,
+        cases: OrderedDict,
         node_default_addr: int,
         node_default,
         addr,

angr/analyses/decompiler/structuring/structurer_base.py

@@ -1,6 +1,5 @@
 # pylint:disable=unused-argument
 from typing import Optional, Any, TYPE_CHECKING
-from collections import OrderedDict as ODict
 from collections import defaultdict, OrderedDict
 import logging
 
@@ -739,8 +738,8 @@ class StructurerBase(Analysis):
     #
 
     def _reorganize_switch_cases(
-        self, cases: ODict[int | tuple[int, ...], SequenceNode]
-    ) -> ODict[int | tuple[int, ...], SequenceNode]:
+        self, cases: OrderedDict[int | tuple[int, ...], SequenceNode]
+    ) -> OrderedDict[int | tuple[int, ...], SequenceNode]:
         new_cases = OrderedDict()
 
         caseid2gotoaddrs = {}

angr/analyses/decompiler/structuring/structurer_nodes.py

@@ -1,6 +1,6 @@
 # pylint:disable=missing-class-docstring
 from typing import Any
-from collections import OrderedDict as ODict
+from collections import OrderedDict
 
 import claripy
 import ailment
@@ -358,9 +358,9 @@ class SwitchCaseNode(BaseNode):
         "addr",
     )
 
-    def __init__(self, switch_expr, cases: ODict[int | tuple[int, ...], SequenceNode], default_node, addr=None):
+    def __init__(self, switch_expr, cases: OrderedDict[int | tuple[int, ...], SequenceNode], default_node, addr=None):
         self.switch_expr = switch_expr
-        self.cases: ODict[int | tuple[int, ...], SequenceNode] = cases
+        self.cases: OrderedDict[int | tuple[int, ...], SequenceNode] = cases
         self.default_node = default_node
         self.addr = addr
 

angr/analyses/reaching_definitions/dep_graph.py

@@ -213,6 +213,68 @@ class DepGraph:
 
             self.graph.add_edge(memory_location_definition, definition)
 
+    @overload
+    def find_definitions(
+        self,
+        *,
+        kind: type[A],
+        **kwargs: Any,
+    ) -> list[Definition[A]]: ...
+
+    @overload
+    def find_definitions(
+        self,
+        *,
+        kind: Literal[AtomKind.REGISTER] = AtomKind.REGISTER,
+        **kwargs: Any,
+    ) -> list[Definition[Register]]: ...
+
+    @overload
+    def find_definitions(
+        self,
+        *,
+        kind: Literal[AtomKind.MEMORY] = AtomKind.MEMORY,
+        **kwargs: Any,
+    ) -> list[Definition[MemoryLocation]]: ...
+
+    @overload
+    def find_definitions(
+        self,
+        *,
+        kind: Literal[AtomKind.TMP] = AtomKind.TMP,
+        **kwargs: Any,
+    ) -> list[Definition[Tmp]]: ...
+
+    @overload
+    def find_definitions(
+        self,
+        *,
+        kind: Literal[AtomKind.CONSTANT] = AtomKind.CONSTANT,
+        **kwargs: Any,
+    ) -> list[Definition[ConstantSrc]]: ...
+
+    @overload
+    def find_definitions(
+        self,
+        *,
+        kind: Literal[AtomKind.GUARD] = AtomKind.GUARD,
+        **kwargs: Any,
+    ) -> list[Definition[GuardUse]]: ...
+
+    @overload
+    def find_definitions(
+        self,
+        *,
+        reg_name: int | str = ...,
+        **kwargs: Any,
+    ) -> list[Definition[Register]]: ...
+
+    @overload
+    def find_definitions(self, *, stack_offset: int = ..., **kwargs: Any) -> list[Definition[MemoryLocation]]: ...
+
+    @overload
+    def find_definitions(self, *, const_val: int = ..., **kwargs: Any) -> list[Definition[ConstantSrc]]: ...
+
     def find_definitions(self, **kwargs) -> list[Definition]:
         """
         Filter the definitions present in the graph based on various criteria.
@@ -299,11 +361,6 @@ class DepGraph:
         self, starts: Definition[Atom] | Iterable[Definition[Atom]], *, const_val: int = ..., **kwargs: Any
     ) -> list[Definition[ConstantSrc]]: ...
 
-    @overload
-    def find_all_predecessors(
-        self, starts: Definition[Atom] | Iterable[Definition[Atom]], **kwargs: Any
-    ) -> list[Definition[Atom]]: ...
-
     def find_all_predecessors(self, starts, **kwargs):
         """
         Filter the ancestors of the given start node or nodes that match various criteria.

angr/analyses/reaching_definitions/function_handler_library/__init__.py

@@ -0,0 +1,11 @@
+from .stdlib import LibcStdlibHandlers, EnvironAtom, SystemAtom, ExecveAtom
+from .stdio import LibcStdioHandlers, StdoutAtom, StdinAtom
+from .unistd import LibcUnistdHandlers
+from .string import LibcStringHandlers
+
+
+class LibcHandlers(LibcStdlibHandlers, LibcStdioHandlers, LibcUnistdHandlers, LibcStringHandlers):
+    pass
+
+
+__all__ = ["EnvironAtom", "SystemAtom", "ExecveAtom", "StdoutAtom", "StdinAtom", "LibcHandlers"]

angr/analyses/reaching_definitions/function_handler_library/stdio.py

@@ -19,10 +19,10 @@ _l = logging.getLogger(__name__)
 
 
 class StdoutAtom(Atom):
-    def __init__(self, sink: str):
+    def __init__(self, sink: str, size: int | None):
         self.nonce = random.randint(0, 999999999999)
         self.sink = sink
-        super().__init__(1)
+        super().__init__(size if size is not None else 1)
 
     def _identity(self):
         return (self.nonce,)
@@ -32,10 +32,10 @@ class StdoutAtom(Atom):
 
 
 class StdinAtom(Atom):
-    def __init__(self, source: str):
+    def __init__(self, source: str, size: int | None):
         self.nonce = random.randint(0, 999999999999)
         self.source = source
-        super().__init__(1)
+        super().__init__(size if size is not None else 1)
 
     def _identity(self):
         return (self.nonce,)
@@ -83,19 +83,19 @@ class LibcStdioHandlers(FunctionHandler):
     @FunctionCallDataUnwrapped.decorate
     def handle_impl_printf(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
         result, source_atoms = handle_printf(state, data, 0)
-        dst_atoms = StdoutAtom("printf")
+        dst_atoms = StdoutAtom("printf", len(result) if result is not None else None)
         data.depends(dst_atoms, source_atoms, value=result)
 
     @FunctionCallDataUnwrapped.decorate
     def handle_impl_dprintf(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
         result, source_atoms = handle_printf(state, data, 1)
-        dst_atoms = StdoutAtom("dprintf")
+        dst_atoms = StdoutAtom("dprintf", len(result) if result is not None else None)
         data.depends(dst_atoms, source_atoms, value=result)
 
     @FunctionCallDataUnwrapped.decorate
     def handle_impl_fprintf(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
         result, source_atoms = handle_printf(state, data, 1)
-        dst_atoms = StdoutAtom("fprintf")
+        dst_atoms = StdoutAtom("fprintf", len(result) if result is not None else None)
         data.depends(dst_atoms, source_atoms, value=result)
 
     @FunctionCallDataUnwrapped.decorate
@@ -108,6 +108,8 @@ class LibcStdioHandlers(FunctionHandler):
     def handle_impl_snprintf(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
         result, source_atoms = handle_printf(state, data, 2)
         size = state.get_concrete_value(data.args_atoms[1]) or 2
+        if result is not None:
+            size = min(size, len(result) // 8)
         dst_atoms = state.deref(data.args_atoms[0], size=size)
         data.depends(dst_atoms, source_atoms, value=result)
 
@@ -126,7 +128,7 @@ class LibcStdioHandlers(FunctionHandler):
 
     @FunctionCallDataUnwrapped.decorate
     def handle_impl_scanf(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
-        handle_scanf(state, data, 0, {StdinAtom("scanf")})
+        handle_scanf(state, data, 0, {StdinAtom("scanf", None)})
 
     handle_impl___isoc99_scanf = handle_impl_scanf
 
@@ -140,13 +142,13 @@ class LibcStdioHandlers(FunctionHandler):
     def handle_impl_fgets(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
         size = state.get_concrete_value(data.args_atoms[1]) or 2
         dst_atom = state.deref(data.args_atoms[0], size)
-        input_value = claripy.BVS("weh", 8).concat(claripy.BVV(0, 8))
-        data.depends(dst_atom, StdinAtom("fgets"), value=input_value)
+        input_value = claripy.BVS("weh", (size - 1) * 8).concat(claripy.BVV(0, 8))
+        data.depends(dst_atom, StdinAtom("fgets", size), value=input_value)
         data.depends(data.ret_atoms, data.args_atoms[0])
 
     @FunctionCallDataUnwrapped.decorate
     def handle_impl_fgetc(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
-        data.depends(data.ret_atoms, StdinAtom(data.function.name))
+        data.depends(data.ret_atoms, StdinAtom(data.function.name, 1))
 
     handle_impl_getchar = handle_impl_getc = handle_impl_fgetc
 
@@ -155,14 +157,14 @@ class LibcStdioHandlers(FunctionHandler):
         size = state.get_concrete_value(data.args_atoms[1]) or 1
         nmemb = state.get_concrete_value(data.args_atoms[1]) or 2
         dst_atom = state.deref(data.args_atoms[0], size * nmemb)
-        data.depends(dst_atom, StdinAtom("fread"))
+        data.depends(dst_atom, StdinAtom("fread", size * nmemb))
 
     @FunctionCallDataUnwrapped.decorate
     def handle_impl_fwrite(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
         size = state.get_concrete_value(data.args_atoms[1]) or 1
         nmemb = state.get_concrete_value(data.args_atoms[1]) or 2
         src_atom = state.deref(data.args_atoms[0], size * nmemb)
-        data.depends(StdoutAtom("fwrite"), src_atom, value=state.get_values(src_atom))
+        data.depends(StdoutAtom("fwrite", size * nmemb), src_atom, value=state.get_values(src_atom))
 
 
 def handle_printf(

angr/analyses/reaching_definitions/function_handler_library/stdlib.py

@@ -16,9 +16,9 @@ if TYPE_CHECKING:
 
 
 class EnvironAtom(Atom):
-    def __init__(self, name: str | None):
+    def __init__(self, size: int, name: str | None):
         self.name = name
-        super().__init__(1)
+        super().__init__(size)
 
     def _identity(self):
         if self.name is not None:
@@ -31,9 +31,9 @@ class EnvironAtom(Atom):
 
 
 class SystemAtom(Atom):
-    def __init__(self):
+    def __init__(self, size: int = 1):
         self.nonce = random.randint(0, 999999999999)
-        super().__init__(1)
+        super().__init__(size)
 
     def _identity(self):
         return (self.nonce,)
@@ -49,7 +49,7 @@ class ExecveAtom(Atom):
         super().__init__(size)
 
     def _identity(self):
-        return (self.nonce,)
+        return (self.nonce, self.idx)
 
     def __repr__(self):
         return f"<ExecveAtom {self.idx}>"
@@ -61,7 +61,10 @@ class LibcStdlibHandlers(FunctionHandler):
         buf_atoms = state.deref(data.args_atoms[0], DerefSize.NULL_TERMINATE)
         buf_value = state.get_concrete_value(buf_atoms, cast_to=bytes)
         if buf_value is not None:
-            buf_value = int(buf_value.decode().strip("\0"))
+            try:
+                buf_value = int(buf_value.decode().strip("\0"))
+            except ValueError:
+                buf_value = 0
         data.depends(data.ret_atoms, buf_atoms, value=buf_value)
 
     @FunctionCallDataUnwrapped.decorate
@@ -92,7 +95,7 @@ class LibcStdlibHandlers(FunctionHandler):
         heap_ptr = state.heap_allocator.allocate(2)
         heap_atom = state.deref(heap_ptr, 2)
         heap_value = claripy.BVS("weh", 8).concat(claripy.BVV(0, 8))
-        data.depends(heap_atom, EnvironAtom(name_value), value=heap_value)
+        data.depends(heap_atom, EnvironAtom(2, name_value), value=heap_value)
         data.depends(data.ret_atoms, value=state.heap_address(heap_ptr))
 
     @FunctionCallDataUnwrapped.decorate
@@ -105,12 +108,15 @@ class LibcStdlibHandlers(FunctionHandler):
 
         src_atom = state.deref(data.args_atoms[1], DerefSize.NULL_TERMINATE)
         src_value = state.get_values(src_atom)
-        data.depends(EnvironAtom(name_value), src_atom, value=src_value)
+        data.depends(
+            EnvironAtom(len(src_value) // 8 if src_value is not None else 1, name_value), src_atom, value=src_value
+        )
 
     @FunctionCallDataUnwrapped.decorate
     def handle_impl_system(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
         buf_atom = state.deref(data.args_atoms[0], DerefSize.NULL_TERMINATE)
-        data.depends(SystemAtom(), buf_atom)
+        buf_value = state.get_values(buf_atom)
+        data.depends(SystemAtom(len(buf_value) // 8 if buf_value is not None else 1), buf_atom, value=buf_value)
 
     handle_impl_popen = handle_impl_execl = handle_impl_system
 
@@ -131,12 +137,12 @@ class LibcStdlibHandlers(FunctionHandler):
                 # unknown if array continues
                 break
 
-            argv_deref_concrete = state.get_concrete_value(argv_deref_atom)
+            argv_deref_concrete = state.get_one_value(argv_deref_atom)
             if argv_deref_concrete is None:
                 # unknown if array continues
                 break
 
-            if argv_deref_concrete == 0:
+            if (argv_deref_concrete == 0).is_true():
                 # End of array
                 break
 

angr/analyses/reaching_definitions/function_handler_library/string.py

@@ -6,7 +6,7 @@ from angr.knowledge_plugins.key_definitions.live_definitions import DerefSize
 # pylint: disable=no-self-use,missing-class-docstring,unused-argument
 
 
-class LibcUnistdHandlers(FunctionHandler):
+class LibcStringHandlers(FunctionHandler):
     @FunctionCallDataUnwrapped.decorate
     def handle_impl_strcat(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
         src0_atom = state.deref(data.args_atoms[0], DerefSize.NULL_TERMINATE)

angr/analyses/reaching_definitions/function_handler_library/unistd.py

@@ -10,7 +10,7 @@ class LibcUnistdHandlers(FunctionHandler):
     def handle_impl_read(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
         size = state.get_concrete_value(data.args_atoms[2]) or 1
         dst_atom = state.deref(data.args_atoms[1], size)
-        data.depends(dst_atom, StdinAtom(data.function.name))
+        data.depends(dst_atom, StdinAtom(data.function.name, size))
 
     handle_impl_recv = handle_impl_recvfrom = handle_impl_read
 
@@ -18,6 +18,6 @@ class LibcUnistdHandlers(FunctionHandler):
     def handle_impl_write(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
         size = state.get_concrete_value(data.args_atoms[2]) or 1
         src_atom = state.deref(data.args_atoms[1], size)
-        data.depends(StdoutAtom(data.function.name), src_atom, value=state.get_values(src_atom))
+        data.depends(StdoutAtom(data.function.name, size), src_atom, value=state.get_values(src_atom))
 
     handle_impl_send = handle_impl_write

angr/analyses/reaching_definitions/rd_state.py

@@ -9,6 +9,7 @@ from angr.misc.ux import deprecated
 from angr.knowledge_plugins.key_definitions.environment import Environment
 from angr.knowledge_plugins.key_definitions.tag import Tag
 from angr.knowledge_plugins.key_definitions.heap_address import HeapAddress
+from angr.knowledge_plugins.key_definitions.definition import A
 from angr.engines.light import SpOffset
 from angr.code_location import CodeLocation
 from ...storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
@@ -90,7 +91,7 @@ class ReachingDefinitionsState:
         heap_allocator: HeapAllocator = None,
         environment: Environment = None,
         sp_adjusted: bool = False,
-        all_definitions: set[Definition] | None = None,
+        all_definitions: set[Definition[A]] | None = None,
         initializer: Optional["RDAStateInitializer"] = None,
         element_limit: int = 5,
         merge_into_tops: bool = True,
@@ -106,12 +107,12 @@ class ReachingDefinitionsState:
         self._sp_adjusted: bool = sp_adjusted
         self._element_limit: int = element_limit
 
-        self.all_definitions: set[Definition] = set() if all_definitions is None else all_definitions
+        self.all_definitions: set[Definition[A]] = set() if all_definitions is None else all_definitions
 
         self.heap_allocator = heap_allocator or HeapAllocator(canonical_size)
         self._environment: Environment = environment or Environment()
 
-        self.codeloc_uses: set[Definition] = set()
+        self.codeloc_uses: set[Definition[A]] = set()
 
         # have we observed an exit statement or not during the analysis of the *last instruction* of a block? we should
         # not perform any sp updates if it is the case. this is for handling conditional returns in ARM binaries.
@@ -189,7 +190,7 @@ class ReachingDefinitionsState:
             return n - 2**self.arch.bits
         return n
 
-    def annotate_with_def(self, symvar: claripy.ast.Base, definition: Definition) -> claripy.ast.Base:
+    def annotate_with_def(self, symvar: claripy.ast.Base, definition: Definition[A]) -> claripy.ast.Base:
         """
 
         :param symvar:
@@ -198,14 +199,14 @@ class ReachingDefinitionsState:
         """
         return self.live_definitions.annotate_with_def(symvar, definition)
 
-    def annotate_mv_with_def(self, mv: MultiValues, definition: Definition) -> MultiValues:
+    def annotate_mv_with_def(self, mv: MultiValues, definition: Definition[A]) -> MultiValues:
         return MultiValues(
             offset_to_values={
                 offset: {self.annotate_with_def(value, definition) for value in values} for offset, values in mv.items()
             }
         )
 
-    def extract_defs(self, symvar: claripy.ast.Base) -> Iterator[Definition]:
+    def extract_defs(self, symvar: claripy.ast.Base) -> Iterator[Definition[A]]:
         yield from self.live_definitions.extract_defs(symvar)
 
     #
@@ -364,9 +365,9 @@ class ReachingDefinitionsState:
         tags: set[Tag] = None,
         endness=None,  # XXX destroy
         annotated: bool = False,
-        uses: set[Definition] | None = None,
+        uses: set[Definition[A]] | None = None,
         override_codeloc: CodeLocation | None = None,
-    ) -> tuple[MultiValues | None, set[Definition]]:
+    ) -> tuple[MultiValues | None, set[Definition[A]]]:
         codeloc = override_codeloc or self.codeloc
         existing_defs = self.live_definitions.get_definitions(atom)
         mv = self.live_definitions.kill_and_add_definition(
@@ -446,7 +447,7 @@ class ReachingDefinitionsState:
         self.codeloc_uses.update(self.get_definitions(atom))
         self.live_definitions.add_use(atom, self.codeloc, expr=expr)
 
-    def add_use_by_def(self, definition: Definition, expr: Any | None = None) -> None:
+    def add_use_by_def(self, definition: Definition[A], expr: Any | None = None) -> None:
         self.codeloc_uses.add(definition)
         self.live_definitions.add_use_by_def(definition, self.codeloc, expr=expr)
 
@@ -455,7 +456,7 @@ class ReachingDefinitionsState:
         self.add_tmp_use_by_defs(defs, expr=expr)
 
     def add_tmp_use_by_defs(
-        self, defs: Iterable[Definition], expr: Any | None = None
+        self, defs: Iterable[Definition[A]], expr: Any | None = None
     ) -> None:  # pylint:disable=unused-argument
         for definition in defs:
             self.codeloc_uses.add(definition)
@@ -466,7 +467,7 @@ class ReachingDefinitionsState:
         defs = self.live_definitions.get_register_definitions(reg_offset, size)
         self.add_register_use_by_defs(defs, expr=expr)
 
-    def add_register_use_by_defs(self, defs: Iterable[Definition], expr: Any | None = None) -> None:
+    def add_register_use_by_defs(self, defs: Iterable[Definition[A]], expr: Any | None = None) -> None:
         for definition in defs:
             self.codeloc_uses.add(definition)
             self.live_definitions.add_register_use_by_def(definition, self.codeloc, expr=expr)
@@ -475,7 +476,7 @@ class ReachingDefinitionsState:
         defs = self.live_definitions.get_stack_definitions(stack_offset, size)
         self.add_stack_use_by_defs(defs, expr=expr)
 
-    def add_stack_use_by_defs(self, defs: Iterable[Definition], expr: Any | None = None):
+    def add_stack_use_by_defs(self, defs: Iterable[Definition[A]], expr: Any | None = None):
         for definition in defs:
             self.codeloc_uses.add(definition)
             self.live_definitions.add_stack_use_by_def(definition, self.codeloc, expr=expr)
@@ -484,43 +485,39 @@ class ReachingDefinitionsState:
         defs = self.live_definitions.get_heap_definitions(heap_offset, size)
         self.add_heap_use_by_defs(defs, expr=expr)
 
-    def add_heap_use_by_defs(self, defs: Iterable[Definition], expr: Any | None = None):
+    def add_heap_use_by_defs(self, defs: Iterable[Definition[A]], expr: Any | None = None):
         for definition in defs:
             self.codeloc_uses.add(definition)
             self.live_definitions.add_heap_use_by_def(definition, self.codeloc, expr=expr)
 
-    def add_memory_use_by_def(self, definition: Definition, expr: Any | None = None):
+    def add_memory_use_by_def(self, definition: Definition[A], expr: Any | None = None):
         self.codeloc_uses.add(definition)
         self.live_definitions.add_memory_use_by_def(definition, self.codeloc, expr=expr)
 
-    def add_memory_use_by_defs(self, defs: Iterable[Definition], expr: Any | None = None):
+    def add_memory_use_by_defs(self, defs: Iterable[Definition[A]], expr: Any | None = None):
         for definition in defs:
             self.codeloc_uses.add(definition)
             self.live_definitions.add_memory_use_by_def(definition, self.codeloc, expr=expr)
 
-    def get_definitions(self, atom: Atom | Definition | Iterable[Atom] | Iterable[Definition]) -> set[Definition]:
+    def get_definitions(self, atom: A | Definition[A] | Iterable[A] | Iterable[Definition[A]]) -> set[Definition[A]]:
         return self.live_definitions.get_definitions(atom)
 
-    def get_values(self, spec: Atom | Definition | Iterable[Atom]) -> MultiValues | None:
+    def get_values(self, spec: A | Definition[A] | Iterable[A]) -> MultiValues | None:
         return self.live_definitions.get_values(spec)
 
     def get_one_value(
-        self, spec: Atom | Definition | Iterable[Atom] | Iterable[Definition], strip_annotations: bool = False
+        self, spec: A | Definition[A] | Iterable[A] | Iterable[Definition[A]], strip_annotations: bool = False
     ) -> claripy.ast.bv.BV | None:
         return self.live_definitions.get_one_value(spec, strip_annotations=strip_annotations)
 
     @overload
-    def get_concrete_value(
-        self, spec: Atom | Definition[Atom] | Iterable[Atom], cast_to: type[int] = ...
-    ) -> int | None: ...
+    def get_concrete_value(self, spec: A | Definition[A] | Iterable[A], cast_to: type[int] = ...) -> int | None: ...
 
     @overload
-    def get_concrete_value(
-        self, spec: Atom | Definition[Atom] | Iterable[Atom], cast_to: type[bytes] = ...
-    ) -> bytes | None: ...
+    def get_concrete_value(self, spec: A | Definition[A] | Iterable[A], cast_to: type[bytes] = ...) -> bytes | None: ...
 
     def get_concrete_value(
-        self, spec: Atom | Definition[Atom] | Iterable[Atom], cast_to: type[int] | type[bytes] = int
+        self, spec: A | Definition[A] | Iterable[A], cast_to: type[int] | type[bytes] = int
     ) -> int | bytes | None:
         return self.live_definitions.get_concrete_value(spec, cast_to)
 
@@ -593,7 +590,7 @@ class ReachingDefinitionsState:
     @overload
     def deref(
         self,
-        pointer: MultiValues | Atom | Definition | Iterable[Atom] | Iterable[Definition],
+        pointer: MultiValues | A | Definition | Iterable[A] | Iterable[Definition[A]],
         size: int | DerefSize,
         endness: str = ...,
     ) -> set[MemoryLocation]: ...
@@ -602,10 +599,10 @@ class ReachingDefinitionsState:
         self,
         pointer: (
             MultiValues
-            | Atom
+            | A
             | Definition
-            | Iterable[Atom]
-            | Iterable[Definition]
+            | Iterable[A]
+            | Iterable[Definition[A]]
             | int
             | claripy.ast.BV
             | HeapAddress

angr/analyses/variable_recovery/engine_vex.py

@@ -563,15 +563,6 @@ class SimEngineVRVEX(
             return RichR(self.state.top(expr_0.data.size()))
         return RichR(self.state.top(expr_0.data.size()))
 
-    def _handle_Ctz(self, expr):
-        arg0 = expr.args[0]
-        expr_0 = self._expr(arg0)
-        if expr_0 is None:
-            return None
-        if self.state.is_top(expr_0.data):
-            return RichR(self.state.top(expr_0.data.size()))
-        return RichR(self.state.top(expr_0.data.size()))
-
     _handle_CmpEQ_v = _handle_Cmp_v
     _handle_CmpNE_v = _handle_Cmp_v
     _handle_CmpLE_v = _handle_Cmp_v

angr/engines/pcode/cc.py

@@ -10,6 +10,7 @@ from ...calling_conventions import (
     register_default_cc,
     SimCCUnknown,
     default_cc,
+    SimCCO32,
 )
 
 
@@ -107,6 +108,7 @@ def register_pcode_arch_default_cc(arch: ArchPcode):
             "PowerPC:BE:32:e200": SimCCPowerPC,
             "PowerPC:BE:32:MPC8270": SimCCPowerPC,
             "Xtensa:LE:32:default": SimCCXtensa,
+            "MIPS:LE:32:default": SimCCO32,
         }
         if arch.name in manual_cc_mapping:
             # first attempt: manually specified mappings

angr/knowledge_plugins/key_definitions/live_definitions.py

@@ -14,6 +14,7 @@ from angr.misc.ux import deprecated
 from angr.errors import SimMemoryMissingError, SimMemoryError
 from angr.storage.memory_mixins import MultiValuedMemory
 from angr.storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
+from angr.knowledge_plugins.key_definitions.definition import A
 from angr.engines.light import SpOffset
 from angr.code_location import CodeLocation, ExternalCodeLocation
 from .atoms import Atom, Register, MemoryLocation, Tmp, ConstantSrc
@@ -660,7 +661,7 @@ class LiveDefinitions:
             self.other_uses.add_use(definition, code_loc, expr)
 
     def get_definitions(
-        self, thing: Atom | Definition[Atom] | Iterable[Atom] | Iterable[Definition[Atom]] | MultiValues
+        self, thing: A | Definition[A] | Iterable[A] | Iterable[Definition[A]] | MultiValues
     ) -> set[Definition[Atom]]:
         if isinstance(thing, MultiValues):
             defs = set()
@@ -693,9 +694,9 @@ class LiveDefinitions:
             return self.get_tmp_definitions(thing.tmp_idx)
         else:
             defs = set()
-            for mvs in self.others.get(thing, {}).values():
-                for mv in mvs:
-                    defs |= self.get_definitions(mv)
+            mv = self.others.get(thing, None)
+            if mv is not None:
+                defs |= self.get_definitions(mv)
             return defs
 
     def get_tmp_definitions(self, tmp_idx: int) -> set[Definition]:
@@ -749,7 +750,7 @@ class LiveDefinitions:
         return LiveDefinitions.extract_defs_from_annotations(annotations)
 
     @deprecated("get_definitions")
-    def get_definitions_from_atoms(self, atoms: Iterable[Atom]) -> Iterable[Definition]:
+    def get_definitions_from_atoms(self, atoms: Iterable[A]) -> Iterable[Definition]:
         result = set()
         for atom in atoms:
             result |= self.get_definitions(atom)
@@ -813,9 +814,7 @@ class LiveDefinitions:
             return None
         return r.concrete_value
 
-    def get_values(
-        self, spec: Atom | Definition[Atom] | Iterable[Atom] | Iterable[Definition[Atom]]
-    ) -> MultiValues | None:
+    def get_values(self, spec: A | Definition[A] | Iterable[A] | Iterable[Definition[A]]) -> MultiValues | None:
         if isinstance(spec, Definition):
             atom = spec.atom
         elif isinstance(spec, Atom):
@@ -874,7 +873,7 @@ class LiveDefinitions:
 
     def get_one_value(
         self,
-        spec: Atom | Definition | Iterable[Atom] | Iterable[Definition[Atom]],
+        spec: A | Definition[A] | Iterable[A] | Iterable[Definition[A]],
         strip_annotations: bool = False,
     ) -> claripy.ast.bv.BV | None:
         r = self.get_values(spec)
@@ -884,19 +883,19 @@ class LiveDefinitions:
 
     @overload
     def get_concrete_value(
-        self, spec: Atom | Definition[Atom] | Iterable[Atom] | Iterable[Definition[Atom]], cast_to: type[int] = ...
+        self, spec: A | Definition[A] | Iterable[A] | Iterable[Definition[A]], cast_to: type[int] = ...
     ) -> int | None: ...
 
     @overload
     def get_concrete_value(
         self,
-        spec: Atom | Definition[Atom] | Iterable[Atom] | Iterable[Definition[Atom]],
+        spec: A | Definition[A] | Iterable[A] | Iterable[Definition[A]],
         cast_to: type[bytes] = ...,
     ) -> bytes | None: ...
 
     def get_concrete_value(
         self,
-        spec: Atom | Definition[Atom] | Iterable[Atom] | Iterable[Definition[Atom]],
+        spec: A | Definition[A] | Iterable[A] | Iterable[Definition[A]],
         cast_to: type[int] | type[bytes] = int,
     ) -> int | bytes | None:
         r = self.get_one_value(spec, strip_annotations=True)
@@ -983,7 +982,7 @@ class LiveDefinitions:
     @overload
     def deref(
         self,
-        pointer: MultiValues | Atom | Definition | Iterable[Atom] | Iterable[Definition],
+        pointer: MultiValues | A | Definition[A] | Iterable[A] | Iterable[Definition[A]],
         size: int | DerefSize,
         endness: archinfo.Endness = ...,
     ) -> set[MemoryLocation]: ...

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

@@ -266,7 +266,8 @@ class MemoryObjectSetMixin(CooperationBase):
                 old_size = size
 
                 size = yield mos, first_mo.base, first_mo.length
-                cur_addr += min(first_mo.length, old_size)
+                delta = min(first_mo.length - (cur_addr - first_mo.base), old_size)
+                cur_addr += delta
                 if sorted_offsets[pos] + first_mo.length <= cur_addr - addr - page_addr:
                     pos += 1
 

{angr-9.2.115.dist-info → angr-9.2.116.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: angr
-Version: 9.2.115
+Version: 9.2.116
 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.115
-Requires-Dist: archinfo==9.2.115
+Requires-Dist: ailment==9.2.116
+Requires-Dist: archinfo==9.2.116
 Requires-Dist: cachetools
-Requires-Dist: capstone==5.0.0.post1
+Requires-Dist: capstone==5.0.2
 Requires-Dist: cffi>=1.14.0
-Requires-Dist: claripy==9.2.115
-Requires-Dist: cle==9.2.115
+Requires-Dist: claripy==9.2.116
+Requires-Dist: cle==9.2.116
 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.115
+Requires-Dist: pyvex==9.2.116
 Requires-Dist: rich>=13.1.0
 Requires-Dist: rpyc
 Requires-Dist: sortedcontainers

{angr-9.2.115.dist-info → angr-9.2.116.dist-info}/RECORD

@@ -1,5 +1,5 @@
-angr/__init__.py,sha256=04tGnjPVCtrXnJGR5XnKCEyn3qufvDMaJbJ1mu4ES1o,3708
-angr/__main__.py,sha256=285BsHRCD_yRkmtYt0zfbTxVdtoriqFkKq_YBO4mwSE,1916
+angr/__init__.py,sha256=Gqti6Jpeux5trHTnayZ68afJ6dbMblbYvPeNzHVyF4o,3708
+angr/__main__.py,sha256=r_0MUFPLo4SOr0ejkF194aKdfRFivsbB9EIOiqVaIHQ,1921
 angr/annocfg.py,sha256=1tnBfxgLJh9I6Brm1JDdsWLHGmCQYdD6PTC_bFTOMrg,10775
 angr/blade.py,sha256=B8QXVQ93jz1YCIlb-dZLeBqYmVFdMXI5GleP1Wnxjrw,15519
 angr/block.py,sha256=tHxXlBBFrPZbp5phhTn63K55khjDIIUSNJgFn4lPd9I,14761
@@ -144,7 +144,7 @@ angr/analyses/decompiler/optimization_passes/return_duplicator_base.py,sha256=Nj
 angr/analyses/decompiler/optimization_passes/return_duplicator_high.py,sha256=Cc7AA_Yi-zghlvJO90zZZjTkEo3o0jsAEhHthaOT1gY,1925
 angr/analyses/decompiler/optimization_passes/return_duplicator_low.py,sha256=3RRwzrekCnGJjf5lv7OBajHVb5zo9HNuIVFTEIkSkBg,9783
 angr/analyses/decompiler/optimization_passes/spilled_register_finder.py,sha256=YTRlIfcooZnTaYRN6FNJ60uBqRNH4rFcgkp1_QJCdXY,552
-angr/analyses/decompiler/optimization_passes/stack_canary_simplifier.py,sha256=U96EaEZzHo-iJ0rbe80E-Jj1s8ilEZh8QXCTOIM0oBE,12537
+angr/analyses/decompiler/optimization_passes/stack_canary_simplifier.py,sha256=cXnKp8Of3q6GxvSpBGRcadrvs00j0NDRFtTEWPCYc0Q,12615
 angr/analyses/decompiler/optimization_passes/switch_default_case_duplicator.py,sha256=U9XIMXWYI_UHTamKHdjdXP4QVBvi386SSI0f2KoHu3I,4523
 angr/analyses/decompiler/optimization_passes/win_stack_canary_simplifier.py,sha256=NVQH6WRUqVRLLDtu8gxgxmEI7Ro1Y6VD0hjFufsK4Aw,12275
 angr/analyses/decompiler/optimization_passes/x86_gcc_getpc_simplifier.py,sha256=7Dc-RtZZiK-jCrcjAMtZhqB9b8pHS0vtRAx-k5u3u1M,3054
@@ -208,16 +208,16 @@ 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=QWeW7ahnqPG1JPXldHyCe6xb2eonbyIFJCJtBeXSYZE,135529
+angr/analyses/decompiler/structured_codegen/c.py,sha256=ruJFOkWX8OOHbjGsJK9WAMNm-ySJHsAImVXulgiBICM,135250
 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=-Gwtu4VQQZpt-SSQwVQzMCOYcYYT-ofaMAvBWtEpsrI,510
-angr/analyses/decompiler/structuring/dream.py,sha256=NBv19CyJrYb2q77Q-3gpIhEl0r6Aci4lhO4hY_VQfN8,48374
-angr/analyses/decompiler/structuring/phoenix.py,sha256=bkIObRJ7iRZOR4F_cPdfaWEpbKN8dAm2U7uwSVnDmig,120732
+angr/analyses/decompiler/structuring/dream.py,sha256=29vU_n7biP45xRS1RkjbLG5Q4KOWEGmBwJf60Mk1lT8,48347
+angr/analyses/decompiler/structuring/phoenix.py,sha256=wCbsLiPPqZIy6PDF1uZ_0ZefDcr1Uplsu2f_hMfXbNE,120724
 angr/analyses/decompiler/structuring/recursive_structurer.py,sha256=XhQltVVA0Ljq2zzrPdO8ea8p9Fb1Guj__NGtiycGoXs,6913
 angr/analyses/decompiler/structuring/sailr.py,sha256=oNxug0StTZyN8dERczpW0hIAYHhSaHCosI0shmks9Uw,5661
-angr/analyses/decompiler/structuring/structurer_base.py,sha256=Axp2JP5buczyX-fM0Q5tCy4h3guCA_0mfVTXfWjvsoE,41167
-angr/analyses/decompiler/structuring/structurer_nodes.py,sha256=x-1xUfeIzTNwLlRTv2M_9q7BDWLSWiSkaOuk20l8750,11930
+angr/analyses/decompiler/structuring/structurer_base.py,sha256=GAIUCA8vbOhqZgIiJqkzTtCiDkRvieWdCcu2QuRP3JI,41134
+angr/analyses/decompiler/structuring/structurer_nodes.py,sha256=3O-lZ2y7Wr-_ZqlNqAE7xr3CjF9OLDacz8YpRjx1rOo,11933
 angr/analyses/forward_analysis/__init__.py,sha256=0TNlM4hbX1KRMyUduqU_zEwbnVcuNX2A1mtVuM3KexY,144
 angr/analyses/forward_analysis/forward_analysis.py,sha256=lNbW4MPitXrudNOV-qWHwMGwMyUJ_u0Y6qq21eoXBO0,19914
 angr/analyses/forward_analysis/job_info.py,sha256=5TkrqLwNWzx0ckxYm1QTV2SXzJXrP2QHcpDWl1_eCmM,1579
@@ -269,21 +269,21 @@ angr/analyses/propagator/values.py,sha256=b8zg2VIPJoZj4qtF3_XRfoxA7LjXxO9OIkqZ3y
 angr/analyses/propagator/vex_vars.py,sha256=O0W7GekEZIVwiNiOdyu-BuxCZmHFZPh_ho7jmbnYAwk,1433
 angr/analyses/reaching_definitions/__init__.py,sha256=RDKtWljJCGI8dJd7d1Cz71c1d8z1y1LOxUjkbikR3SM,1986
 angr/analyses/reaching_definitions/call_trace.py,sha256=YtARhVge7scV86niB8OvNDlv_HTOijHKVZWdl43FYG0,2175
-angr/analyses/reaching_definitions/dep_graph.py,sha256=uxPtUYDil9BW01HPWei4sJ-nWfi8qWe7BZPmawCsQkI,14727
+angr/analyses/reaching_definitions/dep_graph.py,sha256=FCqv8zEXcfAEg00BFB0m8UDNvFL3nm7QAO-hEgtwTV4,16070
 angr/analyses/reaching_definitions/engine_ail.py,sha256=ttWBhRhu5b3emY-0zLgNGlRd4p2Q9Tf8ZiWgsZfWeIo,46190
 angr/analyses/reaching_definitions/engine_vex.py,sha256=v9nxvAnmjpwtancu0b-i_vwmOdl4zmjHGGMQv3rgros,43115
 angr/analyses/reaching_definitions/external_codeloc.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 angr/analyses/reaching_definitions/function_handler.py,sha256=cH1kCdwpJ2KlHmUGTPtg6TomZcTm6YL3ntIMSeMCY2A,28114
 angr/analyses/reaching_definitions/heap_allocator.py,sha256=DkzDT8_YIE0m9CBFsC3GRxNQM5GCBAYXZpnDRZtezSo,2591
 angr/analyses/reaching_definitions/rd_initializer.py,sha256=zWjK7RZ4EJlIs-6dqZR7OY18TynfA0lOd1ipEi4kSe4,11183
-angr/analyses/reaching_definitions/rd_state.py,sha256=-b6em_8EUsjWPdhacgKXgBWF-uVLXHg1gyDBjZiefmo,23964
+angr/analyses/reaching_definitions/rd_state.py,sha256=B3KGPZWzl1GhQrwN_6v5ms40OdawuVq493A-9elUEj4,24012
 angr/analyses/reaching_definitions/reaching_definitions.py,sha256=u0ZOHh2yBZckMbIMyJTlMsoIBchb0iU_kVphyUHkZCc,24352
 angr/analyses/reaching_definitions/subject.py,sha256=f3Gjg6Q0qCwtL443ctdVB_F1_sbGchftdjTqX6qsnbo,1958
-angr/analyses/reaching_definitions/function_handler_library/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-angr/analyses/reaching_definitions/function_handler_library/stdio.py,sha256=EhUK3mITwjfZEFC7UbVfVgKnKmfs0Pw_ZZucjJDyjiA,10757
-angr/analyses/reaching_definitions/function_handler_library/stdlib.py,sha256=JWV5FUsRoV9QatP1wemk-fWjDvlsCBcr1xUfKnx4Gd0,6121
-angr/analyses/reaching_definitions/function_handler_library/string.py,sha256=NMujtl3DnUn0tbx1Fvx9TgloahSJyDZtzbJIw_xAmWM,5060
-angr/analyses/reaching_definitions/function_handler_library/unistd.py,sha256=NtvqtqwCZPTtMh3hXyhnz0cwygIZPMFj5-7z_qBQLVc,1191
+angr/analyses/reaching_definitions/function_handler_library/__init__.py,sha256=Ha7Ygiv_BhwT2ipNc3KaejqC5ZiKw7c-VzeH9qEa4eQ,423
+angr/analyses/reaching_definitions/function_handler_library/stdio.py,sha256=8Rl7jiLd6C10t3m5qqGLVj-LrZ9Beuo2Au9R8e-Thlc,11122
+angr/analyses/reaching_definitions/function_handler_library/stdlib.py,sha256=c41rgr6BmTUYkg91AuyIxfBdFA_xmAeJghFXjP3yscA,6444
+angr/analyses/reaching_definitions/function_handler_library/string.py,sha256=PFwAivLrpcERRQtZun43tZmBpsIc5D0OOo9US9TMEN0,5060
+angr/analyses/reaching_definitions/function_handler_library/unistd.py,sha256=KXpgC9fVl43T-CoIvhOmwbySuQLHc76v2MmHQgRqSmc,1203
 angr/analyses/typehoon/__init__.py,sha256=kCQMAuvsUKAdYFiOstBzMBCqpquJKJCQSe0CGAr2Rng,31
 angr/analyses/typehoon/dfa.py,sha256=Q1sR1RDmt7pmMJjFByco9grbr2qm92HihnB9qJmerSo,3488
 angr/analyses/typehoon/lifter.py,sha256=3RogUtd8O6txb7_UAjbI7Bn1hc38oP_LsRYyBsPsEzg,2805
@@ -297,7 +297,7 @@ angr/analyses/variable_recovery/__init__.py,sha256=j2SZyfzCAagqNTj0IcYJtOx4b3oAv
 angr/analyses/variable_recovery/annotations.py,sha256=eAifcWVmb1xUmEGtpiy8PzIupSuZtmEDEiUav-3_z20,1403
 angr/analyses/variable_recovery/engine_ail.py,sha256=F1vC5xuXfe_tGI0a3zDwGEbjPimVGitoUQ031AWDzXg,25694
 angr/analyses/variable_recovery/engine_base.py,sha256=HVCtyY4tgx8cjHyP1aPoCCgW5771L_vpCAf83qF9qFY,41707
-angr/analyses/variable_recovery/engine_vex.py,sha256=ni-OCeHFhhPRo5iH2p4AvI_43ADOO1jUc__GX0tIb-U,19215
+angr/analyses/variable_recovery/engine_vex.py,sha256=hUcunLk8YazEUQlAFuF3VOmsJgjbBPQM95s8F47NNq8,18907
 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=EhqACAQwd6qKWC19-kbTvXEio3k9JNc3cyYg4MLHebw,14962
@@ -348,7 +348,7 @@ angr/engines/light/data.py,sha256=jZBAJxor2zg5m4s63joSrjUs8H-OeHBZiqZmc3dqEQQ,23
 angr/engines/light/engine.py,sha256=4JNJO9kOkINMRwEyRpKKotXPEzMBJrExJk3Nr1CeRNE,45469
 angr/engines/pcode/__init__.py,sha256=UwMEwXQvHXIIgedJn2ZOvBBEgfHg2rfREBSpcTSXCZ4,83
 angr/engines/pcode/behavior.py,sha256=BuzA_nX_ebuFiGgup7aJ-bgD9KmUR2dPSGUM51MKxOM,29290
-angr/engines/pcode/cc.py,sha256=CUKkivYUddt8McAYLwAPO5btzDHwO65yBQvWs3CV9dU,3085
+angr/engines/pcode/cc.py,sha256=0VR09dC2nRQPQ5pj0ExaiViaKAdSGbYtHz5jzywrtKQ,3143
 angr/engines/pcode/emulate.py,sha256=l4MUuUEJDcCihfKCy5_4S6GOG_rzd1DdYzTQ1ObZdgI,16715
 angr/engines/pcode/engine.py,sha256=WTiIXZ8moilS4BHU-nQSgMopOstLnuoTjXWHpLOKF98,10532
 angr/engines/pcode/lifter.py,sha256=4y8kAIlqtb5xVL4gyyXZe74vTUXn9Bp6oMdOM_wNrWI,51942
@@ -474,7 +474,7 @@ angr/knowledge_plugins/key_definitions/definition.py,sha256=o0L7NZIAHPAbwxNiY7zI
 angr/knowledge_plugins/key_definitions/environment.py,sha256=d1oRytninRakOwdoif4szyvyLIQyhEHYVBfVt4mRCdQ,3845
 angr/knowledge_plugins/key_definitions/heap_address.py,sha256=gpHyXvuTz3udaw83DZ5ZGLnDwqZ3EmdMtykPS3mrfXo,890
 angr/knowledge_plugins/key_definitions/key_definition_manager.py,sha256=N8RvK6WqksoB1frFM404Ea_CyyumNrjVao2bwPOgsTc,3272
-angr/knowledge_plugins/key_definitions/live_definitions.py,sha256=NrqViz1W9BcNxCv_DQWMi7KACm0J3bzDhmjUk5-pVxk,40572
+angr/knowledge_plugins/key_definitions/live_definitions.py,sha256=lYMIKbXthuQbz8f_oQpM_hWucd5qShkPbBNE0X2H0vE,40535
 angr/knowledge_plugins/key_definitions/liveness.py,sha256=uC4N-8uPoYH_RdAWVUtA3aNuMVY5NQnpGp51VWP6BNU,7101
 angr/knowledge_plugins/key_definitions/rd_model.py,sha256=NC4yg3FDO_0hDON1c7loBVl3BGefbDKrT8W0YtB6U-k,7249
 angr/knowledge_plugins/key_definitions/tag.py,sha256=uBHlS71E3Ok_6V3K8NkMblctCrnAHmPYikaFTA02PyA,1682
@@ -497,7 +497,7 @@ angr/knowledge_plugins/xrefs/__init__.py,sha256=-5A2h048WTRu6Et7q7bqlc-AyBXNuJ9A
 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=TxA_N5qgyUfr2IODPYxvLLgRzTFyHBBLzD8MqJmq1EE,16187984
+angr/lib/angr_native.dylib,sha256=3N3PhX4FVMX1CQYNF4sVjjeJy71y4xH9_IwdyKX3OhA,16187984
 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
@@ -1265,7 +1265,7 @@ angr/storage/memory_mixins/paged_memory/paged_memory_multivalue_mixin.py,sha256=
 angr/storage/memory_mixins/paged_memory/privileged_mixin.py,sha256=Ls_QhPLKudESInlAhUR1GVeacJNTciz9E2DX-LatAZ4,1541
 angr/storage/memory_mixins/paged_memory/stack_allocation_mixin.py,sha256=Fg_KtS7GiI6TLfBKoRAOiz4z-M9ZkcvT9UwCkAp9-rY,3283
 angr/storage/memory_mixins/paged_memory/pages/__init__.py,sha256=rwGAcESljLORCDteXXJ0cJCFkaqymoxm8kziKLB3DFw,1469
-angr/storage/memory_mixins/paged_memory/pages/cooperation.py,sha256=3FTR6Ksqn8Vg3QvvyMNs_6EvwgFVi_xvYxId7hR_ZZw,12726
+angr/storage/memory_mixins/paged_memory/pages/cooperation.py,sha256=yqT8BDG8uJWLetwhu4wiS4Kr8yD5W6qzi0dl9PDS0OA,12785
 angr/storage/memory_mixins/paged_memory/pages/history_tracking_mixin.py,sha256=P5ORlm26_7v--hNcxDwLzZGTRwcLcaHzKModa5yoUPA,3003
 angr/storage/memory_mixins/paged_memory/pages/ispo_mixin.py,sha256=mHt5nQYXkXifwGT0_UGvKirECEC2v7jNNtf_6oY57uI,2050
 angr/storage/memory_mixins/paged_memory/pages/list_page.py,sha256=FJhqPdF0fFkktIfUKaVZoDxD5jW7qwugn6US2yctcrc,14584
@@ -1302,9 +1302,9 @@ angr/utils/orderedset.py,sha256=6SRZz6PkOVavOzlUd2cIiqZQyWtKO72F2he_cG0aP9Q,1943
 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.115.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.115.dist-info/METADATA,sha256=5ttpAVpIeY5HdgLIWDMgd-dQ4Oe_MMhq5k7cPyheip0,4676
-angr-9.2.115.dist-info/WHEEL,sha256=VACKQAXqHkX4pAAEZcVJ9S6oN3Oc7ioybk7moyAexDo,105
-angr-9.2.115.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.115.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.115.dist-info/RECORD,,
+angr-9.2.116.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.116.dist-info/METADATA,sha256=oq0bcCV9TIJiAC8D2U7PtYkubT4NnIiGSGb4oWGws_I,4670
+angr-9.2.116.dist-info/WHEEL,sha256=lwTi6cLUCZu9pLL8WDqYPT6owKV3sMh0pj-LR_xG2gw,105
+angr-9.2.116.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.116.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.116.dist-info/RECORD,,

{angr-9.2.115.dist-info → angr-9.2.116.dist-info}/WHEEL

@@ -1,5 +1,5 @@
 Wheel-Version: 1.0
-Generator: setuptools (72.2.0)
+Generator: setuptools (73.0.0)
 Root-Is-Purelib: true
 Tag: py3-none-macosx_11_0_arm64