angr 9.2.105__py3-none-macosx_10_9_x86_64.whl → 9.2.107__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.105"
+__version__ = "9.2.107"
 
 if bytes is str:
     raise Exception(

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

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/pcode/lifter.py

@@ -895,10 +895,6 @@ class PcodeBasicBlockLifter:
             last_decode_addr = irsb.addr
             last_imark_idx = 0
             for op_idx, op in enumerate(irsb._ops):
-                # OpCode space begins with control ops ending with RETURN. Quickly filter non-control instructions.
-                if op.opcode > pypcode.OpCode.RETURN:
-                    continue
-
                 if op.opcode == pypcode.OpCode.IMARK:
                     irsb._instruction_addresses.extend([vn.offset for vn in op.inputs])
                     last_decode_addr = op.inputs[0].offset

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/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/procedures/stubs/format_parser.py

@@ -253,18 +253,16 @@ class FormatString:
                         max_sym_bytes = fmt_spec.length_spec
 
                     # TODO: look for limits on other characters which scanf is sensitive to, '\x00', '\x20'
-                    _, _, match_indices = region.find(
-                        position, self.parser.state.solver.BVV(b"\n"), max_str_len, max_symbolic_bytes=max_sym_bytes
+                    result, _, _ = region.find(
+                        position,
+                        self.parser.state.solver.BVV(b"\n"),
+                        max_str_len,
+                        max_symbolic_bytes=max_sym_bytes,
+                        default=self.parser.state.solver.BVV(position + max_str_len, 64),
                     )
 
-                    if not match_indices:
-                        # if no newline is found, mm is position + max_strlen
-                        mm = position + max_str_len
-                        # we're just going to concretize the length, load will do this anyways
-                        length = self.parser.state.solver.max_int(mm - position)
-                    else:
-                        # a newline is found, or a max length is specified with the specifier
-                        length = max(match_indices)
+                    # concretize the length
+                    length = self.parser.state.solver.max_int(result - position)
                     src_str = region.load(position, length)
 
                     # TODO all of these should be delimiters we search for above

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-9.2.105.dist-info → angr-9.2.107.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: angr
-Version: 9.2.105
+Version: 9.2.107
 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.105
-Requires-Dist: archinfo ==9.2.105
+Requires-Dist: ailment ==9.2.107
+Requires-Dist: archinfo ==9.2.107
 Requires-Dist: cachetools
 Requires-Dist: capstone ==5.0.0.post1
 Requires-Dist: cffi >=1.14.0
-Requires-Dist: claripy ==9.2.105
-Requires-Dist: cle ==9.2.105
+Requires-Dist: claripy ==9.2.107
+Requires-Dist: cle ==9.2.107
 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.105
+Requires-Dist: pyvex ==9.2.107
 Requires-Dist: rich >=13.1.0
 Requires-Dist: rpyc
 Requires-Dist: sortedcontainers
@@ -47,10 +47,10 @@ Requires-Dist: myst-parser ; extra == 'docs'
 Requires-Dist: sphinx ; extra == 'docs'
 Requires-Dist: sphinx-autodoc-typehints ; extra == 'docs'
 Provides-Extra: pcode
-Requires-Dist: pypcode ~=2.1.0 ; extra == 'pcode'
+Requires-Dist: pypcode ~=3.0 ; extra == 'pcode'
 Provides-Extra: testing
 Requires-Dist: keystone-engine ; extra == 'testing'
-Requires-Dist: pypcode ~=2.1.0 ; extra == 'testing'
+Requires-Dist: pypcode ~=3.0 ; extra == 'testing'
 Requires-Dist: pytest ; extra == 'testing'
 Requires-Dist: pytest-split ; extra == 'testing'
 Requires-Dist: pytest-xdist ; extra == 'testing'

{angr-9.2.105.dist-info → angr-9.2.107.dist-info}/RECORD

@@ -1,8 +1,8 @@
-angr/__init__.py,sha256=RfxYMnkIBUfOzgBPLlO_MLM2oGBEzyrkj1Egm6rRUqE,3993
+angr/__init__.py,sha256=R0l86rWUgejEZSvJjbSX_yUG3S1XbpboqEWc5DN0fcg,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
@@ -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
@@ -96,7 +96,7 @@ angr/analyses/decompiler/block_similarity.py,sha256=mTpELRDw_qXxjq7B0SzXlBVm3i41
 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=WX-qUGhEbaskyXohsOx148vBDWQOSHvxcJlZd9l1LL0,95749
+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
@@ -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
@@ -343,7 +343,7 @@ angr/engines/pcode/behavior.py,sha256=BuzA_nX_ebuFiGgup7aJ-bgD9KmUR2dPSGUM51MKxO
 angr/engines/pcode/cc.py,sha256=CUKkivYUddt8McAYLwAPO5btzDHwO65yBQvWs3CV9dU,3085
 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=978w9-4xWjIUDfnrAOA0AQtcz-La300uwOgaXH-AwHM,52142
+angr/engines/pcode/lifter.py,sha256=4y8kAIlqtb5xVL4gyyXZe74vTUXn9Bp6oMdOM_wNrWI,51942
 angr/engines/soot/__init__.py,sha256=TznVGXAtXWZQb7K3vgGXWalwHDuuJu9KkFvacG6rYhU,30
 angr/engines/soot/engine.py,sha256=vCcaW_QOSmK8XsO3qgvNbx303tTzEsf9dx_I2y1PjKU,17238
 angr/engines/soot/exceptions.py,sha256=Ta2qcX_NXRqst6OzoAaIZyzDuCqxhf-BEIBkzzID5Iw,221
@@ -450,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
@@ -489,7 +489,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=Fztcz0KLmaSvS6hmFWbewY6-8K-HJ6nqPZEXObjvy1Q,18604080
+angr/lib/angr_native.dylib,sha256=8wBVp7m6U2Ho3HU0btq1nqAjREbNStYzZSIq1PMwP-o,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
@@ -1129,7 +1129,7 @@ angr/procedures/stubs/__init__.py,sha256=44m1-NIxNEwXtyCkYnHnH1jYw5Mp53ObHGzw1bT
 angr/procedures/stubs/b64_decode.py,sha256=baovh7-PURKxG0eks07cTX6_RO8gYw-UmqEgaHlf24w,342
 angr/procedures/stubs/caller.py,sha256=wT3A37gO0QBOKdsT12DpNz4zZMivFIwJtXr2oApJ8XI,343
 angr/procedures/stubs/crazy_scanf.py,sha256=CJe3qzTJEv_0AHmcl3gOxGwZOhV8o1z73fAMqIOiuJM,643
-angr/procedures/stubs/format_parser.py,sha256=IEyFcaxaW8TNJws5dtqtvbgmIkvM-Jktf5nQDiBvdLk,28180
+angr/procedures/stubs/format_parser.py,sha256=fbFkxcAbUrmoUMK5zCBngleVXReOvcFHsPCabip-pBo,27941
 angr/procedures/stubs/syscall_stub.py,sha256=ZURVeDuH06xX-eseAMQZCkYYRDxXx2USQSkGhOoAl5o,902
 angr/procedures/testing/__init__.py,sha256=mkl-uqerjl2KIlTiJDmE9WW9zE9sL2MQsYLHOfeoJh8,106
 angr/procedures/testing/manyargs.py,sha256=omzRwPCNqrBodw1nJ-alQh4v_82NHaJfr-1E5xCGQjU,100
@@ -1192,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
@@ -1293,9 +1293,9 @@ 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.105.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.105.dist-info/METADATA,sha256=V1M9-4al8xY_0eM5h_mQmwbpCgm3I3F9M2tUD-IaWJw,4707
-angr-9.2.105.dist-info/WHEEL,sha256=YBuZgLbEquNCbbbQPlLFm_OOe1fPwf91V3LBhwgnks4,107
-angr-9.2.105.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.105.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.105.dist-info/RECORD,,
+angr-9.2.107.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.107.dist-info/METADATA,sha256=_gEn1iA1KJfNDSl9GKjBrAhN7mSwB_qABsgvByfyh5E,4703
+angr-9.2.107.dist-info/WHEEL,sha256=YBuZgLbEquNCbbbQPlLFm_OOe1fPwf91V3LBhwgnks4,107
+angr-9.2.107.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.107.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.107.dist-info/RECORD,,