angr 9.2.162__cp310-abi3-win_amd64.whl → 9.2.163__cp310-abi3-win_amd64.whl

angr/__init__.py

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

angr/ailment/expression.py

@@ -102,6 +102,18 @@ class Const(Atom):
         self.value = value
         self.bits = bits
 
+    @property
+    def value_int(self) -> int:
+        if isinstance(self.value, int):
+            return self.value
+        raise TypeError(f"Incorrect value type; expect int, got {type(self.value)}")
+
+    @property
+    def value_float(self) -> float:
+        if isinstance(self.value, float):
+            return self.value
+        raise TypeError(f"Incorrect value type; expect float, got {type(self.value)}")
+
     @property
     def size(self):
         return self.bits // 8

angr/analyses/cfg/cfg_base.py

@@ -1868,7 +1868,7 @@ class CFGBase(Analysis):
             should_merge = True
             functions_to_merge = set()
             i = func_pos + 1
-            while i < len(all_func_addrs):
+            while i < len(all_func_addrs) and all_func_addrs[i] < endpoint_addr:
                 f_addr = all_func_addrs[i]
                 i += 1
                 f = functions[f_addr]

angr/analyses/decompiler/clinic.py

@@ -1216,6 +1216,7 @@ class Clinic(Analysis):
                 ):
                     # found a single successor - replace the last statement
                     new_last_stmt = last_stmt.copy()
+                    assert isinstance(successors[0].addr, int)
                     new_last_stmt.target = ailment.Expr.Const(None, None, successors[0].addr, last_stmt.target.bits)
                     block.statements[-1] = new_last_stmt
 
@@ -1844,8 +1845,6 @@ class Clinic(Analysis):
             if v.offset in vr.stack_offset_typevars:
                 tv = vr.stack_offset_typevars[v.offset]
                 tv_max_sizes[tv] = s
-        # clean up existing types for this function
-        var_manager.remove_types()
         # TODO: Type inference for global variables
         # run type inference
         if self._must_struct:
@@ -2158,9 +2157,9 @@ class Clinic(Analysis):
                 }
             else:
                 # global variable?
-                global_vars = global_variables.get_global_variables(expr.value)
+                global_vars = global_variables.get_global_variables(expr.value_int)
                 # detect if there is a related symbol
-                if not global_vars and self.project.loader.find_object_containing(expr.value):
+                if not global_vars and self.project.loader.find_object_containing(expr.value_int):
                     symbol = self.project.loader.find_symbol(expr.value)
                     if symbol is not None:
                         # Create a new global variable if there isn't one already
@@ -3041,12 +3040,12 @@ class Clinic(Analysis):
             op0, op1 = addr.operands
             if (
                 isinstance(op0, ailment.Expr.Const)
-                and self.project.loader.find_object_containing(op0.value) is not None
+                and self.project.loader.find_object_containing(op0.value_int) is not None
             ):
                 return op0, op1
             if (
                 isinstance(op1, ailment.Expr.Const)
-                and self.project.loader.find_object_containing(op1.value) is not None
+                and self.project.loader.find_object_containing(op1.value_int) is not None
             ):
                 return op1, op0
             return op0, op1  # best-effort guess
@@ -3279,6 +3278,7 @@ class Clinic(Analysis):
                         )
                     ):
                         # found it!
+                        assert self.project.arch.sp_offset is not None
                         alloca_node = node
                         sp_equal_to = ailment.Expr.BinaryOp(
                             None,

angr/analyses/fcp/fcp.py

@@ -343,16 +343,17 @@ class FastConstantPropagation(Analysis):
             engine.process(state, block=block)
 
             # if the node ends with a function call, call _handle_function
-            succs = list(func_graph_with_callees.successors(node))
-            if any(isinstance(succ, (Function, HookNode)) for succ in succs):
-                callee = next(succ for succ in succs if isinstance(succ, (Function, HookNode)))
-                if isinstance(callee, HookNode):
-                    # attempt to convert it into a function
-                    if self.kb.functions.contains_addr(callee.addr):
-                        callee = self.kb.functions.get_by_addr(callee.addr)
-                    else:
-                        callee = None
-                state = self._handle_function(state, callee)
+            if node in func_graph_with_callees:
+                succs = list(func_graph_with_callees.successors(node))
+                if any(isinstance(succ, (Function, HookNode)) for succ in succs):
+                    callee = next(succ for succ in succs if isinstance(succ, (Function, HookNode)))
+                    if isinstance(callee, HookNode):
+                        # attempt to convert it into a function
+                        if self.kb.functions.contains_addr(callee.addr):
+                            callee = self.kb.functions.get_by_addr(callee.addr)
+                        else:
+                            callee = None
+                    state = self._handle_function(state, callee)
 
             states[node] = state
 

angr/analyses/flirt/flirt_sig.py

@@ -146,7 +146,7 @@ class FlirtSignatureParsed:
         name_lst = []
         name_end = False  # in case the function name is too long...
         for _ in range(1024):  # max length of a function name
-            if next_byte < 0x20:
+            if next_byte < 0x20 or next_byte >= 0x80:
                 name_end = True
                 break
             name_lst.append(next_byte)
@@ -347,7 +347,10 @@ class FlirtSignatureParsed:
         # is it compressed?
         if obj.features & FlirtFeatureFlag.FEATURE_COMPRESSED:
             data = file_obj.read()
-            decompressed = BytesIO(zlib.decompress(data))
+            try:
+                decompressed = BytesIO(zlib.decompress(data))
+            except zlib.error as ex:
+                raise FlirtSignatureError(f"Failed to decompress FLIRT signature: {ex}") from ex
             file_obj = decompressed
 
         root = obj.parse_tree(file_obj, root=True)

angr/analyses/reaching_definitions/function_handler.py

@@ -575,7 +575,7 @@ class FunctionHandler:
         sub_rda = state.analysis.project.analyses.ReachingDefinitions(
             data.function,
             observe_all=state.analysis._observe_all,
-            observation_points=list(state.analysis._observation_points or []).extend(return_observation_points),
+            observation_points=list(state.analysis._observation_points or []) + return_observation_points,
             observe_callback=state.analysis._observe_callback,
             dep_graph=state.dep_graph,
             function_handler=self,

angr/analyses/reaching_definitions/function_handler_library/stdio.py

@@ -156,14 +156,14 @@ class LibcStdioHandlers(FunctionHandler):
     @FunctionCallDataUnwrapped.decorate
     def handle_impl_fread(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
+        nmemb = state.get_concrete_value(data.args_atoms[2]) or 2
         dst_atom = state.deref(data.args_atoms[0], size * nmemb)
         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
+        nmemb = state.get_concrete_value(data.args_atoms[2]) or 2
         src_atom = state.deref(data.args_atoms[0], size * nmemb)
         data.depends(StdoutAtom("fwrite", size * nmemb), src_atom, value=state.get_values(src_atom))
 
@@ -206,8 +206,8 @@ def handle_printf(
         elif fmt == "%u":
             buf_atoms = atom
             buf_data = state.get_concrete_value(buf_atoms)
-            if buf_data is not None:
-                buf_data = str(buf_data).encode()
+            buf_data = str(buf_data).encode() if buf_data else b"0"
+
         elif fmt == "%d":
             buf_atoms = atom
             buf_data = state.get_concrete_value(buf_atoms)
@@ -215,11 +215,12 @@ def handle_printf(
                 if buf_data >= 2**31:
                     buf_data -= 2**32
                 buf_data = str(buf_data).encode()
+            else:
+                buf_data = b"0"
         elif fmt == "%c":
             buf_atoms = atom
             buf_data = state.get_concrete_value(atom)
-            if buf_data is not None:
-                buf_data = chr(buf_data).encode()
+            buf_data = chr(buf_data).encode() if buf_data else b"0"
         else:
             _l.warning("Unimplemented printf format string %s", fmt)
             buf_atoms = set()

angr/analyses/reaching_definitions/function_handler_library/stdlib.py

@@ -64,21 +64,25 @@ class LibcStdlibHandlers(FunctionHandler):
                 buf_value = int(buf_value.decode().strip("\0"))
             except ValueError:
                 buf_value = 0
+        else:
+            buf_value = 0  # Make the value concrete if it cannot be parsed
         data.depends(data.ret_atoms, buf_atoms, value=buf_value)
 
     @FunctionCallDataUnwrapped.decorate
     def handle_impl_malloc(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
         malloc_size = state.get_concrete_value(data.args_atoms[0]) or 48
         heap_ptr = state.heap_allocator.allocate(malloc_size)
-        data.depends(data.ret_atoms, value=state.heap_address(heap_ptr))
+        heap_addr = state.heap_address(heap_ptr)
+        data.depends(data.ret_atoms, value=heap_addr)
 
     @FunctionCallDataUnwrapped.decorate
     def handle_impl_calloc(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
         nmemb = state.get_concrete_value(data.args_atoms[0]) or 48
         size = state.get_concrete_value(data.args_atoms[1]) or 1
-        heap_ptr = state.heap_address(state.heap_allocator.allocate(nmemb * size))
-        data.depends(state.deref(heap_ptr, nmemb * size), value=0)
-        data.depends(data.ret_atoms, value=heap_ptr)
+        heap_ptr = state.heap_allocator.allocate(nmemb * size)
+        heap_addr = state.heap_address(heap_ptr)
+        data.depends(state.deref(heap_addr, nmemb * size), value=0)
+        data.depends(data.ret_atoms, value=heap_addr)
 
     @FunctionCallDataUnwrapped.decorate
     def handle_impl_getenv(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
@@ -156,6 +160,8 @@ class LibcStdlibHandlers(FunctionHandler):
     def handle_impl_execve(self, state: ReachingDefinitionsState, data: FunctionCallDataUnwrapped):
         argv_value = state.get_one_value(data.args_atoms[1])
         if argv_value is None:
+            # Model execve with unknown argv - still has system effects
+            data.depends(SystemAtom(1), data.args_atoms[0], value=state.get_values(data.args_atoms[0]))
             return
 
         nonce = random.randint(1, 999999999)

angr/analyses/reaching_definitions/function_handler_library/string.py

@@ -30,7 +30,7 @@ class LibcStringHandlers(FunctionHandler):
             dest_value = src0_value.concat(MultiValues(top_val))
             dest_atom = state.deref(data.args_atoms[0], len(dest_value) // 8, endness=archinfo.Endness.BE)
         else:
-            dest_value = None
+            dest_value = state.top(state.arch.bits)
             dest_atom = src0_atom
         if src0_atom is not None and src1_atom is not None:
             data.depends(dest_atom, src0_atom, src1_atom, value=dest_value)
@@ -109,7 +109,8 @@ class LibcStringHandlers(FunctionHandler):
             src_str = state.get_values(src_atom)
             malloc_size = len(src_str) // 8 if src_str is not None else 1
             heap_ptr = state.heap_allocator.allocate(malloc_size)
-            dst_atom = state.deref(heap_ptr, malloc_size)
+            heap_addr = state.heap_address(heap_ptr)
+            dst_atom = state.deref(heap_addr, malloc_size)
             data.depends(dst_atom, src_atom, value=src_str)
         data.depends(data.ret_atoms, data.args_atoms[0], value=state.get_values(data.args_atoms[0]))
 
@@ -121,6 +122,16 @@ class LibcStringHandlers(FunctionHandler):
             dst_atom = state.deref(data.args_atoms[0], size)
             if src_atom is not None:
                 data.depends(dst_atom, src_atom, value=state.get_values(src_atom))
+        else:
+            # When size is unknown, use default size and create TOP value
+            default_size = state.arch.bytes
+            src_atom = state.deref(data.args_atoms[1], default_size)
+            dst_atom = state.deref(data.args_atoms[0], default_size)
+            if src_atom is not None:
+                top_val = state.top(default_size * 8)
+                for defn in state.get_definitions(src_atom):
+                    top_val = state.annotate_with_def(top_val, defn)
+                data.depends(dst_atom, src_atom, value=MultiValues(top_val))
         data.depends(data.ret_atoms, data.args_atoms[0], value=state.get_values(data.args_atoms[0]))
 
     @FunctionCallDataUnwrapped.decorate

angr/analyses/reaching_definitions/function_handler_library/unistd.py

@@ -32,6 +32,9 @@ class LibcUnistdHandlers(FunctionHandler):
         buf_data = state.top(size * 8) if size is not None else state.top(state.arch.bits)
 
         data.depends(dst_atom, fd_atom, value=buf_data)
+        # Model return value - number of bytes read (could be 0 to size, or -1 for error)
+        ret_val = state.top(state.arch.bits)  # Unknown number of bytes read
+        data.depends(data.ret_atoms, fd_atom, value=ret_val)
 
     handle_impl_recv = handle_impl_recvfrom = handle_impl_read
 
@@ -41,4 +44,8 @@ class LibcUnistdHandlers(FunctionHandler):
         src_atom = state.deref(data.args_atoms[1], size)
         data.depends(StdoutAtom(data.function.name, size), src_atom, value=state.get_values(src_atom))
 
+        # Model return value - number of bytes written (could be 0 to size, or -1 for error)
+        ret_val = state.top(state.arch.bits)  # Unknown number of bytes written
+        data.depends(data.ret_atoms, value=ret_val)
+
     handle_impl_send = handle_impl_write

angr/analyses/variable_recovery/engine_base.py

@@ -142,6 +142,8 @@ class SimEngineVRBase(
     ) -> list[tuple[SimVariable, int]]:
         data = richr_addr.data
 
+        variable: SimVariable | None = None
+
         if self.state.is_stack_address(data):
             # this is a stack address
             # extract stack offset
@@ -157,7 +159,6 @@ class SimEngineVRBase(
             for candidate, offset in var_candidates:
                 if isinstance(candidate, SimStackVariable) and candidate.offset == stack_offset:
                     existing_vars.append((candidate, offset))
-            variable = None
             if existing_vars:
                 variable, _ = existing_vars[0]
 
@@ -179,12 +180,7 @@ class SimEngineVRBase(
                                     existing_vars.append((var, var_stack_offset))
 
                     if not existing_vars:
-                        existing_vars = [
-                            (v, 0)
-                            for v in self.state.variable_manager[self.func_addr].find_variables_by_stack_offset(
-                                stack_offset
-                            )
-                        ]
+                        existing_vars = [(v, 0) for v in variable_manager.find_variables_by_stack_offset(stack_offset)]
 
                     if not existing_vars:
                         # no variables exist
@@ -193,10 +189,10 @@ class SimEngineVRBase(
                             stack_offset,
                             lea_size,
                             base="bp",
-                            ident=self.state.variable_manager[self.func_addr].next_variable_ident("stack"),
+                            ident=variable_manager.next_variable_ident("stack"),
                             region=self.func_addr,
                         )
-                        self.state.variable_manager[self.func_addr].add_variable("stack", stack_offset, variable)
+                        variable_manager.add_variable("stack", stack_offset, variable)
                         l.debug("Identified a new stack variable %s at %#x.", variable, self.ins_addr)
                         existing_vars.append((variable, 0))
 
@@ -563,7 +559,7 @@ class SimEngineVRBase(
 
         if isinstance(stack_offset, int):
             expr = data.data
-            if isinstance(expr, claripy.ast.Bits) and expr.size() > 1024:
+            if isinstance(expr, claripy.ast.BV) and expr.size() > 1024:
                 # we don't write more than 256 bytes to the stack at a time for performance reasons
                 expr = expr[expr.size() - 1 : expr.size() - 1024]
             expr = self.state.annotate_with_variables(expr, [(variable_offset, variable)])

angr/project.py

@@ -32,7 +32,10 @@ def load_shellcode(shellcode: bytes | str, arch, start_offset=0, load_address=0,
     if not isinstance(arch, archinfo.Arch):
         arch = archinfo.arch_from_id(arch)
     if isinstance(shellcode, str):
-        shellcode_bytes: bytes = arch.asm(shellcode, load_address, thumb=thumb)
+        shellcode_bytes = arch.asm(shellcode, load_address, thumb=thumb)
+        if shellcode_bytes is None:
+            raise ValueError("Could not assemble shellcode")
+        assert isinstance(shellcode_bytes, bytes)
     else:
         shellcode_bytes = shellcode
     if thumb:
@@ -173,7 +176,7 @@ class Project:
 
         # It doesn't make any sense to have auto_load_libs
         # if you have the concrete target, let's warn the user about this.
-        if self.concrete_target and load_options.get("auto_load_libs", None):
+        if self.concrete_target and load_options.get("auto_load_libs"):
             l.critical(
                 "Incompatible options selected for this project, please disable auto_load_libs if "
                 "you want to use a concrete target."

angr/sim_type.py

@@ -3342,7 +3342,7 @@ def _decl_to_type(
 
         if decl.name is not None:
             key = "struct " + decl.name
-            struct = extra_types.get(key, None)
+            struct = extra_types.get(key)
             from_global = False
             if struct is None:
                 struct = ALL_TYPES.get(key)
@@ -3378,7 +3378,7 @@ def _decl_to_type(
 
         if decl.name is not None:
             key = "union " + decl.name
-            union = extra_types.get(key, None)
+            union = extra_types.get(key)
             from_global = False
             if union is None and key in ALL_TYPES:
                 union = ALL_TYPES[key]

{angr-9.2.162.dist-info → angr-9.2.163.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: angr
-Version: 9.2.162
+Version: 9.2.163
 Summary: A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
 License: BSD-2-Clause
 Project-URL: Homepage, https://angr.io/
@@ -16,12 +16,12 @@ Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: cxxheaderparser
 Requires-Dist: GitPython
-Requires-Dist: archinfo==9.2.162
+Requires-Dist: archinfo==9.2.163
 Requires-Dist: cachetools
 Requires-Dist: capstone==5.0.3
 Requires-Dist: cffi>=1.14.0
-Requires-Dist: claripy==9.2.162
-Requires-Dist: cle==9.2.162
+Requires-Dist: claripy==9.2.163
+Requires-Dist: cle==9.2.163
 Requires-Dist: mulpyplexer
 Requires-Dist: networkx!=2.8.1,>=2.0
 Requires-Dist: protobuf>=5.28.2
@@ -30,7 +30,7 @@ Requires-Dist: pycparser>=2.18
 Requires-Dist: pydemumble
 Requires-Dist: pyformlang
 Requires-Dist: pypcode<4.0,>=3.2.1
-Requires-Dist: pyvex==9.2.162
+Requires-Dist: pyvex==9.2.163
 Requires-Dist: rich>=13.1.0
 Requires-Dist: sortedcontainers
 Requires-Dist: sympy

{angr-9.2.162.dist-info → angr-9.2.163.dist-info}/RECORD

@@ -1,4 +1,4 @@
-angr/__init__.py,sha256=0P-HJdufts3cRObA3N0C7FJYnel9RPfvVXWaN9hfMxE,9246
+angr/__init__.py,sha256=lCaKZ32usElsmj2KZb9RcCXD0Pu7KBoFZOrq47UzNcs,9246
 angr/__main__.py,sha256=AK9V6uPZ58UuTKmmiH_Kgn5pG9AvjnmJCPOku69A-WU,4993
 angr/annocfg.py,sha256=0NIvcuCskwz45hbBzigUTAuCrYutjDMwEXtMJf0y0S0,10742
 angr/blade.py,sha256=NhesOPloKJC1DQJRv_HBT18X7oNxK16JwAfNz2Lc1o0,15384
@@ -13,21 +13,21 @@ angr/factory.py,sha256=PPNWvTiWaIgzxzyoTr8ObSF-TXp1hCdbY2e-0xBePNc,17815
 angr/graph_utils.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 angr/keyed_region.py,sha256=Cx6dadqFgEvRmEHTbCJpg9mXkBtKGc_BKckHc6bk1IU,17992
 angr/knowledge_base.py,sha256=hRoSLuLaOXmddTSF9FN5TVs7liftpBGq_IICz5AaYBk,4533
-angr/project.py,sha256=96j1q8aUamVSnn0gqj3mIGIIvwctfv0ZzVf-HTO_CQU,37962
+angr/project.py,sha256=AJmBgv3U8iv-hGEfnpmESVVjK16NiBAemmahLuqz7yk,38096
 angr/py.typed,sha256=la67KBlbjXN-_-DfGNcdOcjYumVpKG_Tkw-8n5dnGB4,8
-angr/rustylib.pyd,sha256=fkrrqiVLuK0YLKgasKLi0npXng5nMY-wV_eLko13S8g,4508160
+angr/rustylib.pyd,sha256=vvPzYGJpEuq9ivyTEG4EOYIuTJP5MgSc9u35zfywRAw,4429312
 angr/serializable.py,sha256=l908phj_KcqopEEL_oCufbP_H6cm3Wc9v-5xdux1-6g,1533
 angr/sim_manager.py,sha256=w7yTfWR-P9yoN5x85eeiNpj9dTrnjpJ3o5aoFpDAPnc,39396
 angr/sim_options.py,sha256=tfl57MFECmA7uvMMtQrRRbpG8g_A9jKOzwY6nApTW6Y,17782
 angr/sim_procedure.py,sha256=EfXQEX-Na7iNtoqc2-KQhs7AR3tsiMYnxEF1v_lL_ok,26235
 angr/sim_state.py,sha256=qK6XPl2Q23xEXBud_SBy1fzVPPcrlx0PEQwMtRKBaBI,33893
 angr/sim_state_options.py,sha256=dsMY3UefvL7yZKXloubMhzUET3N2Crw-Fpw2Vd1ouZQ,12468
-angr/sim_type.py,sha256=tmVye1wxVMNDJWt7vH_KobNPY3jrLX0JCHnkeae2-Nc,134909
+angr/sim_type.py,sha256=3GwPtArsbtjju9evc7S6VrVsespDFXQL3VH5GVJI26U,134897
 angr/sim_variable.py,sha256=3DssmMw5G7m_-MYToJ3LBP-ooy2UQEuI2YgxIuX3d4Y,13177
 angr/slicer.py,sha256=DND0BERanYKafasRH9MDFAng0rSjdjmzXj2-phCD6CQ,10634
 angr/state_hierarchy.py,sha256=qDQCUGXmQm3vOxE3CSoiqTH4OAFFOWZZt9BLhNpeOhA,8484
 angr/tablespecs.py,sha256=Kx1e87FxTx3_ZN7cAHWZSRpdInT4Vfj5gExAWtLkLTw,3259
-angr/unicornlib.dll,sha256=FXKTpsJfT_Cr47_nkQGNSpAd1D2CwOdhPaThgtEBIng,813568
+angr/unicornlib.dll,sha256=w3yQU2tnoQI5a_awQckHkV6Ie-bFkcJSf8Wh9M78Jdk,813568
 angr/vaults.py,sha256=D_gkDegCyPlZMKGC5E8zINYAaZfSXNWbmhX0rXCYpvM,9718
 angr/ailment/__init__.py,sha256=X1LTS6MuTovGtbXBjZendUVOzRk-ib-bP0imuqJDOYI,2039
 angr/ailment/block.py,sha256=rkmimsNPhrUabVVbRd2IgCaW0hA2_isvAsKlYtHZhgY,2428
@@ -36,7 +36,7 @@ angr/ailment/constant.py,sha256=UG4OKm6VL3uBW_0NxlosWKBqK49gyduJjw64nBcfFfE,64
 angr/ailment/converter_common.py,sha256=6MxxI3PRZBlFlIP2uZhQAa8vDvJr0nMDd-QnTbPLn6o,180
 angr/ailment/converter_pcode.py,sha256=gKyshI--_hzO3CgSD85ehXmgrd8DzL_Zhc740U9KOdo,23721
 angr/ailment/converter_vex.py,sha256=GQXs8_Zanek3WKqjYfUtWhYo6WokOGt213hLsT5FDZI,28164
-angr/ailment/expression.py,sha256=HDFBg3scf4ONIk90mbrsiQBSjdJzsM_UwL2v8WP5VqI,48038
+angr/ailment/expression.py,sha256=Q2PDFCyOFco-0MItGtnoDcQ97EqFkI75wWppioaZ0zk,48450
 angr/ailment/manager.py,sha256=N6yMJnBdxJfj568KYZbKYERHmQIQpMf_hZPwfpdk9Y8,699
 angr/ailment/statement.py,sha256=3JEhg-JDRrNjaeHFgO-liEIrZRW6v5sIsOqcGHiuM3A,30472
 angr/ailment/tagged_object.py,sha256=48xIMC5WKebEpA12Zq6dQz3evvKxT3ULEu2cPdw9w-Y,1566
@@ -86,7 +86,7 @@ angr/analyses/cfg/__init__.py,sha256=-w8Vd6FD6rtjlQaQ7MxwmliFgS2zt-kZepAY4gHas04
 angr/analyses/cfg/cfb.py,sha256=scykl1FJvqcTe2x69zreWi0PG_zYMbka3k6tlRwaD_g,15367
 angr/analyses/cfg/cfg.py,sha256=dc9M91CaLeEKduYfMwpsT_01x6XyYuoNvgvcDKtbN-I,3177
 angr/analyses/cfg/cfg_arch_options.py,sha256=_XRewFZ51SeNaxChadb6_ER7-8LW8KXeTIpoP8_iRj0,3506
-angr/analyses/cfg/cfg_base.py,sha256=ias2sLiZPGQkfYTCSSYyQsHpndOxnRagBf7GJxg3cCs,124664
+angr/analyses/cfg/cfg_base.py,sha256=0O26tgKiMn31CsGzDmRo4XtgKz2G4hFaG713S_b72m4,124702
 angr/analyses/cfg/cfg_emulated.py,sha256=wL0ABJMZ8EwKbNjrpE_eqCkZpHDt4y6lmoQOmAIcJMQ,148235
 angr/analyses/cfg/cfg_fast.py,sha256=bNVUjqY3Zx-zB_6sCh9xf7rYAEwBLAyx2lBzBE45F60,231271
 angr/analyses/cfg/cfg_fast_soot.py,sha256=8YgMtY_8w4nAMcHR6n-q_eFvKwsvNz0anUH7EzIL1B4,25924
@@ -122,7 +122,7 @@ angr/analyses/decompiler/block_io_finder.py,sha256=9J56W0_SQPczZ2-VoxqSv61T57foH
 angr/analyses/decompiler/block_similarity.py,sha256=S1lTlXFyOmJlQa7I3y7xgLsENLS4XGET7tdD55k_6Vg,6859
 angr/analyses/decompiler/block_simplifier.py,sha256=XcX9wsBM4AL_WWqmFrtSUDeSv0a125cC1-Q1NhmTrNE,14777
 angr/analyses/decompiler/callsite_maker.py,sha256=QxdNvnPt0oyRtsbFLCVpWdI7NL1LdT-TlEq27X5RAqA,23150
-angr/analyses/decompiler/clinic.py,sha256=zu0t1FtjfdsVkpMXvFvuOraYbx0IFNtARKh0K_3tfUQ,150858
+angr/analyses/decompiler/clinic.py,sha256=1TnX_kIvZ4kFoK818Tyq98ONATP82T9n7fB4akx9yHg,150921
 angr/analyses/decompiler/condition_processor.py,sha256=g8sknCiCoBx3rXsHy2nx0VKDymSoSyLpq5zMpvFUhWg,54441
 angr/analyses/decompiler/decompilation_cache.py,sha256=gAZtyXs-eoFj3680bTrJVAZcIoaPsFK0kayu30NYLb4,1509
 angr/analyses/decompiler/decompilation_options.py,sha256=NDB67DI1L-stvJ4b1eQkfV26HgDJ_rG9-6PEv08G9-8,8195
@@ -298,7 +298,7 @@ angr/analyses/deobfuscator/string_obf_finder.py,sha256=bCd5Weos3Xn5nQUdoQfq2Mioo
 angr/analyses/deobfuscator/string_obf_opt_passes.py,sha256=YzrsEKsUaUPshB8LqfwDso8aK7m0ySmR3i50T5ZiwNo,5360
 angr/analyses/deobfuscator/string_obf_peephole_optimizer.py,sha256=_VQv2E2yOAZDAi53smQL5KcSLNe5FMqNUYC8jNSYXGs,1957
 angr/analyses/fcp/__init__.py,sha256=E9dxFckDM9DijfU4RRg9SGL6xDKCz7yBBP-XSkS-S9U,115
-angr/analyses/fcp/fcp.py,sha256=mJzCZ-JQ9Rv15qnVyqAzAhS8UJHldxbjvLieffG-nn0,16285
+angr/analyses/fcp/fcp.py,sha256=djkJsvSja_De7ptNwllmTHjvVl62BFcH_haBhwhzFtw,16373
 angr/analyses/flirt/__init__.py,sha256=1jKkwUDhwwnxG5BRcYtwogLHLBvtZApXgvcAcHrJrdw,1293
 angr/analyses/flirt/consts.py,sha256=9ldvicgtJZa8Hw8cWOKxGkCYtc09I2q5ZWxctXcg20w,4861
 angr/analyses/flirt/flirt.py,sha256=UNXtUBs11WafKeMAW2BwqKJLFhOyObqmRhfCqYdsJpc,10762
@@ -306,7 +306,7 @@ angr/analyses/flirt/flirt_function.py,sha256=IHskIu5XTTCLKfmow23ig4HIqzs7oGbw7ik
 angr/analyses/flirt/flirt_matcher.py,sha256=nzhvPTIlVwHrn07qLLSRvgfpyOnlNRsziDCls_xh0Gg,6353
 angr/analyses/flirt/flirt_module.py,sha256=pUP6vbujzceJMXFxvLAPgek5Y2qPv3KTlKY8ZWHeIQU,920
 angr/analyses/flirt/flirt_node.py,sha256=ecfJq4Ymp38zzvoZPDfLcLSR045GNOM9je-F_NPM5e0,638
-angr/analyses/flirt/flirt_sig.py,sha256=Kcxt7TU76HVW-06amqGlF6HuuG6uyQxjHnZV4uCXP1g,11398
+angr/analyses/flirt/flirt_sig.py,sha256=9cWSXqFBEIpui7pluMTaskfD0mVMomNt1mPXN6pIdjg,11574
 angr/analyses/flirt/flirt_utils.py,sha256=ojZ_01s7O23vU7dN6xZL7Wyx5M3pgm43frxjbZzSmyU,819
 angr/analyses/forward_analysis/__init__.py,sha256=Du2Ng6EzDQzQYcRCffkOKjLztqa5GBNhiLSgErIPnHE,319
 angr/analyses/forward_analysis/forward_analysis.py,sha256=GnEcrQDNxD_yls1fllgXe90IUdc6np2uAWBRaeJc8yc,20020
@@ -360,17 +360,17 @@ angr/analyses/reaching_definitions/dep_graph.py,sha256=yOuYhAYQQSi2aN6GIWYkgzquq
 angr/analyses/reaching_definitions/engine_ail.py,sha256=PPIqp8XaERWXLNUQN_ALzFcQeKHQe5nZdwoHtoLxWwg,46639
 angr/analyses/reaching_definitions/engine_vex.py,sha256=K486MkRAvTcTFD52pJtmjWbuVw7KURtGCEC0EDhJmRk,45601
 angr/analyses/reaching_definitions/external_codeloc.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-angr/analyses/reaching_definitions/function_handler.py,sha256=iVxGGZ0u0iua4ZAvgLfcFVDxBcI7kkTVntjiSzcJb-8,29223
+angr/analyses/reaching_definitions/function_handler.py,sha256=MoZSB49ia7BXzdRmlYJgUFY36IDuEpY8FSn99eBjrq4,29217
 angr/analyses/reaching_definitions/heap_allocator.py,sha256=NQ9wBolyyUlCnQl8K0Gt0XVHhQAkRhNGa1MM9gRV9s8,2626
 angr/analyses/reaching_definitions/rd_initializer.py,sha256=z6LzV6UOWYg0G-Jnp4M16eFzOeX910YDt1rc-FEA4Kk,11156
 angr/analyses/reaching_definitions/rd_state.py,sha256=nVtfjqGMNBCgM7yGczkBwPn7XEkfOeIO6qGyxONvcnY,22870
 angr/analyses/reaching_definitions/reaching_definitions.py,sha256=EeA2qJZYOtnb_cbIj8YJQMCtUt_ra0faDiRCMjtw4ho,23719
 angr/analyses/reaching_definitions/subject.py,sha256=DxhzWhZz_EJo-Cs-u-kB29M-sVxCqtfXkSv72WEYZp0,2021
 angr/analyses/reaching_definitions/function_handler_library/__init__.py,sha256=elHg3doPsR68R3mZJM85qmDhy2OaCc347O-RaUaTDqY,458
-angr/analyses/reaching_definitions/function_handler_library/stdio.py,sha256=FwtFsiqDQ8fr7sMuwfiyIZlC5S7QrJkZE8QYcuVOFcU,11403
-angr/analyses/reaching_definitions/function_handler_library/stdlib.py,sha256=qigMzOOm4Yy598xiZZUO69vvN-41rG5NQmqBb8OajWw,7797
-angr/analyses/reaching_definitions/function_handler_library/string.py,sha256=BHgsZPyMf5FASi8UBgeNm1mV9PpQyZD93v7OuKL3eGw,8181
-angr/analyses/reaching_definitions/function_handler_library/unistd.py,sha256=cKBMwwzKlwTzmmVR-EU5AhFnMbJuDVf45GgA5b-K7Jg,1916
+angr/analyses/reaching_definitions/function_handler_library/stdio.py,sha256=dPGE2mjCFCCKX-0ixzJ_dwU97QAte3jzkLZGdRMz4YQ,11416
+angr/analyses/reaching_definitions/function_handler_library/stdlib.py,sha256=YRNWe87eQ9aJo-m0IvN_nRIqQLFJxb9kfN3cboN3218,8124
+angr/analyses/reaching_definitions/function_handler_library/string.py,sha256=qh7XJXiSuT5dwUjnYKSo6RhGQbsMjJm97mma1gypNG0,8825
+angr/analyses/reaching_definitions/function_handler_library/unistd.py,sha256=oO2HROZZWsjPlCLMxEo7T4M5JkYRlkc9BLLYLwY1SfQ,2370
 angr/analyses/s_reaching_definitions/__init__.py,sha256=TyfVplxkJj8FAAAw9wegzJlcrbGwlFpIB23PdCcwrLA,254
 angr/analyses/s_reaching_definitions/s_rda_model.py,sha256=FJSge_31FFzyzBJA1xm7dQz40TfuNna6v_RWAZMZvi0,5801
 angr/analyses/s_reaching_definitions/s_rda_view.py,sha256=PtYGELZYBr87xKe2u5LX7V7wfMx_AwhxiGueOnfTV5A,13702
@@ -390,7 +390,7 @@ angr/analyses/unpacker/packing_detector.py,sha256=SO6aXR1gZkQ7w17AAv3C1-U2KAc0yL
 angr/analyses/variable_recovery/__init__.py,sha256=eA1SHzfSx8aPufUdkvgMmBnbI6VDYKKMJklcOoCO7Ao,208
 angr/analyses/variable_recovery/annotations.py,sha256=2va7cXnRHYqVqXeVt00QanxfAo3zanL4BkAcC0-Bk20,1438
 angr/analyses/variable_recovery/engine_ail.py,sha256=8yqrl_qfO_DCvaIxwsa_eits5rIbly4rBEFh5W_U2O4,33709
-angr/analyses/variable_recovery/engine_base.py,sha256=XAwYN1CsJ_urgQ0j7net9zZw7o6dxBxtWxCZ62een6Y,53381
+angr/analyses/variable_recovery/engine_base.py,sha256=MJ6h-dq_0r-3I3ZOhR8E4So2VqxlyudNeSrAHyQCNRg,53171
 angr/analyses/variable_recovery/engine_vex.py,sha256=5Q2S1jAr7tALa0m0okqBHBe3cUePmJlnV1Grxos1xbo,21344
 angr/analyses/variable_recovery/irsb_scanner.py,sha256=1dL2IC7fZGuRrhmcpa2Q-G666aMPmbM8zSzmIRpLNSY,5141
 angr/analyses/variable_recovery/variable_recovery.py,sha256=I45eVUpOOcSobA_QyXl3aRNa0kppJH_7YOj95fPPTdE,22272
@@ -1399,9 +1399,9 @@ angr/utils/types.py,sha256=688trvR0_j93sfeRgFT1npcmjNGSx99m_IPe9Xyy9WY,4967
 angr/utils/ssa/__init__.py,sha256=xbuVllFoPane9lHACdRQP5OO99Mca-4sqpFrtoAvnxo,17464
 angr/utils/ssa/tmp_uses_collector.py,sha256=digAUQpYoFR1VYfwoXlF3T1pYdDi6Pdq_ck54SjMabQ,813
 angr/utils/ssa/vvar_uses_collector.py,sha256=HewqUQluNE9EsaiLeFo7LaBvws_DDBDYNt9RBExy464,1367
-angr-9.2.162.dist-info/licenses/LICENSE,sha256=PmWf0IlSz6Jjp9n7nyyBQA79Q5C2ma68LRykY1V3GF0,1456
-angr-9.2.162.dist-info/METADATA,sha256=Ifs4I2KtO94Cb5HS3FYylHU1HwmRs_yNMmE_jtCBObo,4453
-angr-9.2.162.dist-info/WHEEL,sha256=OJ2zpOfp3Fst0GC5jHtFuY8tAf46LLgZ9O920dE4b3c,100
-angr-9.2.162.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.162.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.162.dist-info/RECORD,,
+angr-9.2.163.dist-info/licenses/LICENSE,sha256=PmWf0IlSz6Jjp9n7nyyBQA79Q5C2ma68LRykY1V3GF0,1456
+angr-9.2.163.dist-info/METADATA,sha256=RiX9pIX8IacudawRZVb84TY9ldBGwzz2--1kTqhBm4Y,4453
+angr-9.2.163.dist-info/WHEEL,sha256=OJ2zpOfp3Fst0GC5jHtFuY8tAf46LLgZ9O920dE4b3c,100
+angr-9.2.163.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.163.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.163.dist-info/RECORD,,