angr 9.2.84__py3-none-win_amd64.whl → 9.2.85__py3-none-win_amd64.whl

angr/simos/snimmuc_nxp.py

@@ -0,0 +1,152 @@
+from typing import TYPE_CHECKING
+
+from io import BytesIO
+
+from cle.backends import Blob
+
+from angr.knowledge_base import KnowledgeBase
+from .simos import SimOS
+
+if TYPE_CHECKING:
+    from angr import Project
+
+
+class SimSnimmucNxp(SimOS):
+    """
+    This class implements the "OS" for a bare-metal firmware used at an imaginary company.
+    """
+
+    def __init__(self, project: "Project", name=None, **kwargs):  # pylint:disable=unused-argument
+        super().__init__(project, name=name)
+
+    def configure_project(self):
+        # pattern match the entry point to figure out if we support parsing this binary
+        entry_bytes = self.project.loader.memory.load(self.project.entry, 3 * 4)
+        if not entry_bytes == (
+            b"\x94\x21\xff\xf0"  #  stwu   r1, -10(r1)
+            b"\x7c\x08\x02\xa6"  #  mfspr  r0, lr
+            b"\x90\x01\x00\x14"  #  stw    r0, 4(r1)
+        ):
+            return
+
+        entry_block = self.project.factory.block(self.project.entry)
+        try:
+            first_sync = next(
+                iter(
+                    [
+                        idx
+                        for idx, insn in enumerate(entry_block.disassembly.insns)
+                        if insn.mnemonic in {"sync", "isync"}
+                    ]
+                )
+            )
+        except StopIteration:
+            return
+
+        # run this block and acquire initial registers for each function
+        state = self.project.factory.blank_state(addr=self.project.entry)
+        # set garbage value to key registers
+        key_registers = ["r13", "r2", "r14", "r15", "r16"]
+        GARBAGE = 0xDEADBEEF
+        for key_reg in key_registers:
+            setattr(state.regs, "_" + key_reg, GARBAGE)
+        simgr = self.project.factory.simgr(state)
+        simgr.step(num_inst=first_sync)
+        if simgr.active and len(simgr.active) == 1:
+            stepped_state = simgr.one_active
+        else:
+            return
+
+        reg_values = {}
+        for key_reg in key_registers:
+            reg_values[key_reg] = getattr(stepped_state.regs, "_" + key_reg).concrete_value
+            if reg_values[key_reg] in {None, GARBAGE}:
+                # umm the register is not initialized. unsupported?
+                return
+
+        # TODO: Make them part of the ABI
+        self.function_initial_registers = reg_values
+
+        # load SDATA, SDATA2, and a few other regions
+        mappings = {}
+
+        # this is just CRAZY...
+        # TODO: Better resilience
+        tmp_kb = KnowledgeBase(self.project)
+        self.project.analyses.CFG(
+            regions=[(self.project.entry, self.project.entry + 180)], data_references=False, kb=tmp_kb
+        )
+        # take the last function
+        func = tmp_kb.functions[self.project.entry]
+        second_to_last_block = sorted(func.blocks, key=lambda x: x.addr)[-2]
+        if second_to_last_block.vex.jumpkind != "Ijk_Call":
+            return
+        init_func_addr = second_to_last_block.vex.next
+        if not isinstance(init_func_addr, int):
+            return
+
+        # lift one block
+        init_func_block = self.project.factory.block(init_func_addr)
+        if init_func_block.vex.jumpkind != "Ijk_Call":
+            return
+
+        section_init_func_addr = init_func_block.vex.next
+        if not isinstance(section_init_func_addr, int):
+            return
+
+        self.project.analyses.CFG(
+            regions=[(section_init_func_addr, section_init_func_addr + 0x324)], data_references=False, kb=tmp_kb
+        )
+        section_init_func = tmp_kb.functions[section_init_func_addr]
+
+        sorted_blocks = sorted(section_init_func.blocks, key=lambda x: x.addr)
+        sdata_section_init_call = sorted_blocks[25]
+        if sdata_section_init_call.vex.jumpkind != "Ijk_Call":
+            return
+        sdata_section_init_func = sdata_section_init_call.vex.next
+        if not isinstance(sdata_section_init_func, int):
+            return
+
+        # more pattern matching
+        state = self.project.factory.blank_state(addr=sdata_section_init_func)
+        for key_reg in ["r28", "r29", "r30"]:
+            setattr(state.regs, "_" + key_reg, GARBAGE)
+        simgr = self.project.factory.simgr(state)
+        simgr.step()
+        if simgr.active and len(simgr.active) == 1:
+            stepped_state = simgr.one_active
+        else:
+            return
+
+        sdata_reg_values = {}
+        for key_reg in ["r28", "r29", "r30"]:
+            sdata_reg_values[key_reg] = getattr(stepped_state.regs, "_" + key_reg).concrete_value
+            if sdata_reg_values[key_reg] in {None, GARBAGE}:
+                # umm the register is not initialized. unsupported?
+                return
+
+        mappings[sdata_reg_values["r30"]] = (sdata_reg_values["r29"], sdata_reg_values["r28"] - sdata_reg_values["r29"])
+
+        # TODO: Implement support for SDATA2 and other sections
+        # mappings = {
+        #     0x60005850: (0x30A734, 0x60008D30 - 0x60005850),
+        #     0x60011DA0: (0x3165EC, 0x60014580 - 0x60011DA0),
+        #     0x60014580: (0x32AC48, 0x60061638 - 0x60014580),
+        # }
+
+        for mem_base, (source_addr, size) in mappings.items():
+            backing = BytesIO()
+            backing.write(self.project.loader.memory.load(source_addr, size))
+            backing.seek(0)
+
+            blob = Blob(
+                binary=None,
+                binary_stream=backing,
+                base_addr=mem_base,
+                offset=0,
+                arch=self.project.arch,
+            )
+            self.project.loader.dynamic_load(blob)
+
+        # FIXME: Use ret_offset from the calling convention
+        self.project.arch.ret_offset = self.project.arch.registers["r3"][0]

angr/state_plugins/history.py

@@ -111,8 +111,10 @@ class SimStateHistory(SimStatePlugin):
         addr = self.addr
         if addr is None:
             addr_str = "Unknown"
-        else:
+        elif isinstance(addr, int):
             addr_str = "%#x" % addr
+        else:
+            addr_str = repr(addr)
 
         return "<StateHistory @ %s>" % addr_str
 

angr/utils/graph.py

@@ -85,31 +85,33 @@ def to_acyclic_graph(
 
 def dfs_back_edges(graph, start_node):
     """
-    Do a DFS traversal of the graph, and return with the back edges.
-
-    Note: This is just a naive recursive implementation, feel free to replace it.
-    I couldn't find anything in networkx to do this functionality. Although the
-    name suggest it, but `dfs_labeled_edges` is doing something different.
+    Perform an iterative DFS traversal of the graph, returning back edges.
 
     :param graph:       The graph to traverse.
-    :param start_node:  The node where to start the traversal
-    :returns:           An iterator of 'backward' edges
+    :param start_node:  The node where to start the traversal.
+    :returns:           An iterator of 'backward' edges.
     """
+    if start_node not in graph:
+        return  # Ensures that the start node is in the graph
 
-    visited = set()
-    finished = set()
+    visited = set()  # Tracks visited nodes
+    finished = set()  # Tracks nodes whose descendants are fully explored
+    stack = [(start_node, iter(graph[start_node]))]
 
-    def _dfs_back_edges_core(node):
+    while stack:
+        node, children = stack[-1]
         visited.add(node)
-        for child in iter(graph[node]):
-            if child not in finished:
-                if child in visited:
-                    yield node, child
-                else:
-                    yield from _dfs_back_edges_core(child)
-        finished.add(node)
 
-    yield from _dfs_back_edges_core(start_node)
+        try:
+            child = next(children)
+            if child in visited:
+                if child not in finished:
+                    yield node, child  # Found a back edge
+            elif child not in finished:  # Check if the child has not been finished
+                stack.append((child, iter(graph[child])))
+        except StopIteration:
+            stack.pop()  # Done with this node's children
+            finished.add(node)  # Mark this node as finished
 
 
 def subgraph_between_nodes(graph, source, frontier, include_frontier=False):

{angr-9.2.84.dist-info → angr-9.2.85.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: angr
-Version: 9.2.84
+Version: 9.2.85
 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
@@ -17,13 +17,13 @@ Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: CppHeaderParser
 Requires-Dist: GitPython
-Requires-Dist: ailment ==9.2.84
-Requires-Dist: archinfo ==9.2.84
+Requires-Dist: ailment ==9.2.85
+Requires-Dist: archinfo ==9.2.85
 Requires-Dist: cachetools
 Requires-Dist: capstone ==5.0.0.post1
 Requires-Dist: cffi >=1.14.0
-Requires-Dist: claripy ==9.2.84
-Requires-Dist: cle ==9.2.84
+Requires-Dist: claripy ==9.2.85
+Requires-Dist: cle ==9.2.85
 Requires-Dist: dpkt
 Requires-Dist: itanium-demangler
 Requires-Dist: mulpyplexer
@@ -32,12 +32,13 @@ Requires-Dist: networkx !=2.8.1,>=2.0
 Requires-Dist: protobuf >=3.19.0
 Requires-Dist: psutil
 Requires-Dist: pycparser >=2.18
-Requires-Dist: pyvex ==9.2.84
+Requires-Dist: pyvex ==9.2.85
 Requires-Dist: rich >=13.1.0
 Requires-Dist: rpyc
 Requires-Dist: sortedcontainers
 Requires-Dist: sympy
 Requires-Dist: unicorn ==2.0.1.post1
+Requires-Dist: unique-log-filter
 Requires-Dist: colorama ; platform_system == "Windows"
 Provides-Extra: angrdb
 Requires-Dist: sqlalchemy ; extra == 'angrdb'
@@ -47,10 +48,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 >=1.1 ; extra == 'pcode'
+Requires-Dist: pypcode ~=2.0 ; extra == 'pcode'
 Provides-Extra: testing
 Requires-Dist: keystone-engine ; extra == 'testing'
-Requires-Dist: pypcode >=1.1 ; extra == 'testing'
+Requires-Dist: pypcode ~=2.0 ; extra == 'testing'
 Requires-Dist: pytest ; extra == 'testing'
 Requires-Dist: pytest-split ; extra == 'testing'
 Requires-Dist: pytest-xdist ; extra == 'testing'

{angr-9.2.84.dist-info → angr-9.2.85.dist-info}/RECORD

@@ -1,17 +1,17 @@
-angr/__init__.py,sha256=Ztka7mkS0A-ISRGAMnI868Bj0GUcGODN38w5ymdvBQg,3851
+angr/__init__.py,sha256=DatToRenhdPKP0HvGuapgpCyTfIOdDT64Kon-gJyB30,3851
 angr/__main__.py,sha256=kaO56Te6h73SM94BVtASF00q5QbBbC3eBs9poVc9sVI,1887
 angr/annocfg.py,sha256=dK5JAdN4Ig_jgxTBZeZXwk3kAS4-IQUvE6T02GBZTDQ,10818
 angr/blade.py,sha256=B8QXVQ93jz1YCIlb-dZLeBqYmVFdMXI5GleP1Wnxjrw,15519
 angr/block.py,sha256=FnsFukbXhLzYPW5zJRXMxNmvCRU4LFlFIaJwo5sAqkY,14468
 angr/callable.py,sha256=-E9HelavtRY1xPAxCVXl120H8Rb7Myd2IcrXtWZFAOU,6034
-angr/calling_conventions.py,sha256=DlzXH3rrjyyiOYxBThKRNM4-I7HImOqYyh9H39DBLAA,90942
+angr/calling_conventions.py,sha256=NZhjJWrtW3V00mPTUsjqyRUN-8TauD4Mc30OnMMulM0,91019
 angr/code_location.py,sha256=ow0Z8OF8FNBPZs4PUmRej_5aHaKTmUIanYPro3iHAMs,5476
 angr/codenode.py,sha256=J_lZNz8akZzBI4ok0KpI1eNGvZbCt_quOAeUplaEB6I,3784
 angr/errors.py,sha256=QdVWy5wElJYd4srA2k2vFzHPiE69gkXfksB9B6y6W8Y,8245
 angr/factory.py,sha256=KBSUjT5UEGgwYruZXrm5c01-dAeIfP3-2leB65M8IC8,17427
 angr/graph_utils.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 angr/keyed_region.py,sha256=Edk5vASUdBO2dRqgHDWHkeq9ZvBCwH_zk-l6rXAbls0,18129
-angr/project.py,sha256=0NGusOHe7TP8xOqlUwCXXWhWH9082QSz4y1o9sK--FE,37032
+angr/project.py,sha256=WstqFLteSjxpdZtVn915vtrXBSunj4ib6czy5i0qfQQ,37186
 angr/py.typed,sha256=la67KBlbjXN-_-DfGNcdOcjYumVpKG_Tkw-8n5dnGB4,8
 angr/serializable.py,sha256=6cljvzAqFwsLqFu9ouCno7hMpgstha5-8C7RyWNCRXc,1502
 angr/service.py,sha256=9R50bFaCf6zjxybiEIVIkODSVCsE2VcTul_KjjsjaGU,1102
@@ -41,7 +41,7 @@ angr/analyses/complete_calling_conventions.py,sha256=uv6Wq0GXZsr4uLcgdiVWcL-0t4f
 angr/analyses/congruency_check.py,sha256=U3xBVim4pNSrnURqsFysipVIuGFWbqtxZ6nfRBfWaLY,16456
 angr/analyses/datagraph_meta.py,sha256=75AVKJ8LIL4Id0nlz3Gf6XlruqarYyBX1WylxRvcAeQ,3386
 angr/analyses/ddg.py,sha256=TNE3__wJHyr2zMFLCV-KM518BvTAXHS1RZclALrLePk,63426
-angr/analyses/disassembly.py,sha256=bIuz0wap2lGSfoqZW2qf0OexOQZRDreAsMmhiRfvc6Y,45422
+angr/analyses/disassembly.py,sha256=ikFtj5gVR0I_vCtnqHt_pIeCgN-HfwRFJ8FZsDW-Rgw,45696
 angr/analyses/disassembly_utils.py,sha256=4Np0PCPjr0h0jIVzUUG6KzrEKl9--IpTE3sgmmsmhcg,2989
 angr/analyses/dominance_frontier.py,sha256=XRfC_LUUetE8t1Cc9bwvWS9sl63Fx9sp8KFqN_Y9IDg,1245
 angr/analyses/find_objects_static.py,sha256=xryfgv3DZ_AppLwuIzLeRst6b4EvigQT1M5TgrbJyiY,9882
@@ -52,7 +52,7 @@ angr/analyses/loopfinder.py,sha256=X8F4Dcu2UHDXt6JifK6EfROAeeczyca6V7zxx9z7GpQ,7
 angr/analyses/proximity_graph.py,sha256=y30caPk5N4zOzkf8TF7AEOo0AR_yDhEFJrQB89_CTnM,16323
 angr/analyses/reassembler.py,sha256=b4EnHx36yS2DNq8nes7zr2_9SozqXbeTTx2538TCm84,100415
 angr/analyses/soot_class_hierarchy.py,sha256=Cs_LRV1RLXH6sF_E49tJWg9Inxvv_o5mB-VaIBcbQJg,8941
-angr/analyses/stack_pointer_tracker.py,sha256=jep87hqMSNHCf_6-ACO4uLkTHWuxGHG8BCH2r0HcOWI,28174
+angr/analyses/stack_pointer_tracker.py,sha256=H1xwKMDOY9NPae7debUAhT6kfHDwrINqfWuYmFWJE_A,27894
 angr/analyses/static_hooker.py,sha256=g57k_fwxgS4oTzslyCpOf4faG17E685a4-4SpEz8Ges,1711
 angr/analyses/veritesting.py,sha256=Mlx4EskA-bgNcj80U6rnkzoaGmX-Qwrg531CzsYKohs,25224
 angr/analyses/vfg.py,sha256=Wl5SYY8Em_HFcyidsgglTfBHHzIwG1pYbXdo5FV-ZFU,75252
@@ -63,9 +63,9 @@ angr/analyses/cfg/__init__.py,sha256=DRCry4KO2k5VJLyfxD_O6dWAdi21IUoaN5TqCnukJJs
 angr/analyses/cfg/cfb.py,sha256=TqYdFau9ZH_m6cwkxbA35vDs2ES5rOFqfIuZi0lCBsQ,15450
 angr/analyses/cfg/cfg.py,sha256=1JpPGlqXXRFwE0tk26xjabT_-dq-kqAxMv7o6-DUhp4,3146
 angr/analyses/cfg/cfg_arch_options.py,sha256=YONHg6y-h6BCsBkJK9tuxb94DDfeOoy9CUS-LVyyDyg,3112
-angr/analyses/cfg/cfg_base.py,sha256=o3mAO3ha5DPWFiE_TeUll38ldal-p0IUOyXY4lNnncc,121889
+angr/analyses/cfg/cfg_base.py,sha256=vlPf19Cwc-346vsCpzsQ99jSyP6u_sAtOmaql83Cxc4,122069
 angr/analyses/cfg/cfg_emulated.py,sha256=Fi3rDN5ByxhO-H4Y7qn-3WZgBG12JGyvxcWmrD_FnFQ,152842
-angr/analyses/cfg/cfg_fast.py,sha256=OWlnrwhkn_jL4zFw5YDs4vBDkfHsz5AKCUk1W6T3pe8,216473
+angr/analyses/cfg/cfg_fast.py,sha256=sI7kMOuqErpJ4Hp1grIdLSH6GGt6bW0SCR6CbU_jKHU,217608
 angr/analyses/cfg/cfg_fast_soot.py,sha256=eA_P-OY3gRRNj2BBgSPMsB_llGyFFCNW3VyGZ2uiMoM,26047
 angr/analyses/cfg/cfg_job_base.py,sha256=3IQE_Iy17xtGfsIkrKc2ERIakAYiNdLtRb_jwOGQtHU,5989
 angr/analyses/cfg/segment_list.py,sha256=XM-rcLHkl008U5xu9pkVCenhcHWAFBKwVdDLa-kGFgY,20467
@@ -95,43 +95,43 @@ angr/analyses/decompiler/ailgraph_walker.py,sha256=sBz9Cn0GtdpuFt7R9y3oX6NFvETQT
 angr/analyses/decompiler/block_simplifier.py,sha256=X5kO97A1bEwSUfbwgj1cSO56qkhwPQZnIFi1DKMZQoo,17199
 angr/analyses/decompiler/call_counter.py,sha256=V3TIaSvLUy9vLEWErnvlCS--_ubGWQAeU0tqq6XYeOU,1205
 angr/analyses/decompiler/callsite_maker.py,sha256=B2lajS20_cTDWvUc-Py-2rP6UybNLd-qAjkuDJMIlX8,14938
-angr/analyses/decompiler/clinic.py,sha256=02DQ_D6ExnBX7z34fvMUcdmwavU7ay22uEYFIVreLPk,72754
-angr/analyses/decompiler/condition_processor.py,sha256=ts7-dM1ckqDRh28Vv3YhKhNYUHdsavJah4Ta3_tb-uo,48658
+angr/analyses/decompiler/clinic.py,sha256=HHBsMgXR2Bm-_zcccSKYerflSOVHKrgnpjhjBT59vR8,80514
+angr/analyses/decompiler/condition_processor.py,sha256=odeqbtYOEAU--XzjJ07opziB8-VQnkLHb1eHQXY-6ss,48955
 angr/analyses/decompiler/decompilation_cache.py,sha256=NveTVs6IY3TTdgsLvTb3ktftM4n0NrAJIkqjXqQ3550,1119
 angr/analyses/decompiler/decompilation_options.py,sha256=vbuLF0Oze2ldFNpv2jWFnGG4sJPey527KAAbj9TRvAI,8240
-angr/analyses/decompiler/decompiler.py,sha256=pzVD1mzbdlfwKF0kIPI7B1Whlo1h8QNvx3GIxmC1PoA,19955
+angr/analyses/decompiler/decompiler.py,sha256=YIsOoeELNvC88r3_kPGOv0Hvz82ZYNsPRd8PLWg6z6g,20197
 angr/analyses/decompiler/empty_node_remover.py,sha256=O1IcaEFd5oH04nxfvIuh-e2Zbnctw7lSSHrae4NRMSM,7320
 angr/analyses/decompiler/expression_counters.py,sha256=P4RbtnyEy2lJnNUw_G702W-AIGaL4MszZ5fdrritwwg,2867
 angr/analyses/decompiler/expression_narrower.py,sha256=64VR1xdPVVoCLHOYRPacV9ecQb33rP7nC1l8rpFxTkg,3545
-angr/analyses/decompiler/goto_manager.py,sha256=fj0rNnLHJ5x_NQj5XbcndRzvxCJYbwmRxAbgdnc6qng,2897
+angr/analyses/decompiler/goto_manager.py,sha256=UD42GvAN7--8GPZuT3blkyEhhpw-HExRfzov79j-3w4,2485
 angr/analyses/decompiler/graph_region.py,sha256=vrCl71_Dv6EJb-0GLIA5FA3_CS9RMOZWexzsuIaAshE,16502
 angr/analyses/decompiler/jump_target_collector.py,sha256=rA0IhZuJ20-jOQTjT7fnhyW2qwPdJI4SmnhLRtuADro,1181
 angr/analyses/decompiler/jumptable_entry_condition_rewriter.py,sha256=dcgnXt3oKa8Qm_KtT-Rl7XDmLetvOj_UFALxC2HGLac,2139
 angr/analyses/decompiler/redundant_label_remover.py,sha256=kDGGFWWV61I5fbASiTQTHgDCFLIOkffUdDOsu5yg5ok,5385
-angr/analyses/decompiler/region_identifier.py,sha256=SQEhgXy5nHkQl6WRDTLZTtbRhxkXzT1IiBCzvP1K-p8,44389
+angr/analyses/decompiler/region_identifier.py,sha256=AfmnHLkVuaxUrFwabQMr_tymcueTkZV0Iv6s504Bm1k,44774
 angr/analyses/decompiler/region_walker.py,sha256=lTfweYbY4_a2f2yGztTKG6JtU1jXf-kaz-NHbX9nkXE,717
 angr/analyses/decompiler/sequence_walker.py,sha256=mw4RG-Act5_no_RyQcsxWZwva-n7FdH2a7w_uItGUpI,8428
-angr/analyses/decompiler/utils.py,sha256=wq19Xmh2nr3TuAcik6kjAgij9Hh16lVLl2RsYG-LO8w,24471
+angr/analyses/decompiler/utils.py,sha256=-sRCFQ7TKSUDyizyQNifZEDiCGVcI3jOxkRY8IIJPMA,25965
 angr/analyses/decompiler/ccall_rewriters/__init__.py,sha256=wbWqZ8xG6ZvzEApkAwMsNQFC-iwF3swG1YJsaf1cIrQ,102
 angr/analyses/decompiler/ccall_rewriters/amd64_ccalls.py,sha256=PjfduEkFVcSBKUfGouVM5dekA4kO4OBUses58ewJnCk,20488
 angr/analyses/decompiler/ccall_rewriters/rewriter_base.py,sha256=gWezEKB7A_YnlfUDs8V8D5syoYAyIXSIme1BKQRoouM,498
-angr/analyses/decompiler/optimization_passes/__init__.py,sha256=1DGVJnbKhpL18ypOT_ItGFhDdGCPgaQ0hiAclwJvi_k,2930
+angr/analyses/decompiler/optimization_passes/__init__.py,sha256=O2dRGb-CFEGQKeR7YT4fyMIu_w5OIYNv8QwsyKLloFA,2938
 angr/analyses/decompiler/optimization_passes/base_ptr_save_simplifier.py,sha256=bjpEMW-Lqj5XW9NWUikGPcRn5scKNc8VvEjVMXxAuq8,5289
 angr/analyses/decompiler/optimization_passes/const_derefs.py,sha256=FEoiprXxns-3S0nFaIWm2DBW_aDMq3GZ-VOG3CIqcMw,10593
-angr/analyses/decompiler/optimization_passes/div_simplifier.py,sha256=1yTI1mmFHBMxADbrKxk9IAf3TpuNCaTLVQqWveyIx1I,17364
-angr/analyses/decompiler/optimization_passes/eager_returns.py,sha256=rSIjiTf1IzeplmACjAH99ZqebXUeJvvP_jHHmKLoMXk,11250
+angr/analyses/decompiler/optimization_passes/div_simplifier.py,sha256=J7LRc3-DKfToxKVejnkHbNel9_56-7xsGyJJiTCwqsQ,17442
 angr/analyses/decompiler/optimization_passes/engine_base.py,sha256=7nnNZkVMqvikHCy9X11M8KLWbL8lF0DoLYPemETWP4c,10388
 angr/analyses/decompiler/optimization_passes/expr_op_swapper.py,sha256=vlPhWDyvuEmbGcd1ka8rS68F72Ty6Hw3J00KM3tWCus,4701
 angr/analyses/decompiler/optimization_passes/flip_boolean_cmp.py,sha256=DjkPSAI9Z_X6YXW3Emzc1s3CzIvh45HDhBihh63UuIw,3448
 angr/analyses/decompiler/optimization_passes/ite_expr_converter.py,sha256=-6znFCAXS7Z3cn5CTqr3mg4r1G_jJgDFJHk2PzMVwtE,7756
 angr/analyses/decompiler/optimization_passes/ite_region_converter.py,sha256=l571GUDoCt4hZ2RHBNVUraLl-ODmP_kb11bLKwbCIB0,6762
-angr/analyses/decompiler/optimization_passes/lowered_switch_simplifier.py,sha256=MQNtGU8paXdhTcfvYvBeTplX-htqs0WI6o-72me8fmg,34328
-angr/analyses/decompiler/optimization_passes/mod_simplifier.py,sha256=A9pPly7otXJlLkSbItU0wvjGGu6rUsNpcFw3bzy4DjY,3046
-angr/analyses/decompiler/optimization_passes/multi_simplifier.py,sha256=Lxu_Af27B8HwIFYK_DuaIrqseO7yIeHsxkh3ztWeM1w,10342
-angr/analyses/decompiler/optimization_passes/optimization_pass.py,sha256=1gVX8BvwuSGRsx33vPyS__bjz25dxoHKGOglpNpQb8w,7819
+angr/analyses/decompiler/optimization_passes/lowered_switch_simplifier.py,sha256=9hhCcvE15MCM6KoJU1ba11hFiN6MXxYAb9FbntzYJbg,34328
+angr/analyses/decompiler/optimization_passes/mod_simplifier.py,sha256=o2AZIpj4NpOAaWOGbudDUfGJJAD2exu-HvNbwph3mi8,3124
+angr/analyses/decompiler/optimization_passes/multi_simplifier.py,sha256=_63Y2vMNLSXYM6_Grfs89Nu63i5YLxTPmxTR_Z6fwLY,10420
+angr/analyses/decompiler/optimization_passes/optimization_pass.py,sha256=r01n7uRHjg5C7eumONghcjzirDaLwjYKgTJ-dQTXg0A,13042
 angr/analyses/decompiler/optimization_passes/register_save_area_simplifier.py,sha256=2_-nVKkvClCDykVDd29CRIT1ZCPdYBlSi96h9yrSOw4,7398
 angr/analyses/decompiler/optimization_passes/ret_addr_save_simplifier.py,sha256=_sTaGMQMFa5ATQIvNyL05UK8gCi_SaOckrZKyHZ2vfs,6470
-angr/analyses/decompiler/optimization_passes/ret_deduplicator.py,sha256=CAOGRra4PB-FCjTxQs2e-lEQ6z_CMvHsrubpbyahv0M,7797
+angr/analyses/decompiler/optimization_passes/ret_deduplicator.py,sha256=BwD92mD25Qx3nYqG-XTTgorL1hl_JqZ9YRM5xuGHJac,7828
+angr/analyses/decompiler/optimization_passes/return_duplicator.py,sha256=-Vz0y7Ujpq-k6E4of8CDYlgelzzbIGdYQsDIbsZFY6c,21463
 angr/analyses/decompiler/optimization_passes/stack_canary_simplifier.py,sha256=diqUO-k1hq9OzuC7OLMyJJODhy3i1c5Tb7d9f7lx6mU,12147
 angr/analyses/decompiler/optimization_passes/win_stack_canary_simplifier.py,sha256=tIMZ4kDutUY-5jFrfA34tf3NufE7n33PcAlxz_mSebE,12304
 angr/analyses/decompiler/optimization_passes/x86_gcc_getpc_simplifier.py,sha256=lwLc9QpOCTdSIb-0SK0hdxi2gzpABTk2kzdwBY20UOo,2980
@@ -151,7 +151,7 @@ angr/analyses/decompiler/peephole_optimizations/bool_expr_xor_1.py,sha256=QANf71
 angr/analyses/decompiler/peephole_optimizations/bswap.py,sha256=Nrdf5f47NduOc59CjmQbmsVmys1e79HxniPExdd3NRg,3663
 angr/analyses/decompiler/peephole_optimizations/coalesce_same_cascading_ifs.py,sha256=9ogHTcP4vhFfwDzxccnjfhkizKGvM_7tK3y6PqyG5Hg,1020
 angr/analyses/decompiler/peephole_optimizations/const_mull_a_shift.py,sha256=KLdhgU_e1OglEeC7IHipql9UzYpatJc0LydXJJIakL4,3691
-angr/analyses/decompiler/peephole_optimizations/constant_derefs.py,sha256=SjSE3kTrPYPjsoY_pW3nZPk9IXrJwNR4lfQ9nV-QVKg,984
+angr/analyses/decompiler/peephole_optimizations/constant_derefs.py,sha256=AE2jC2HHMNWApBw_2EnORMicr4A0Gt2Trl6tSqunC9g,1583
 angr/analyses/decompiler/peephole_optimizations/conv_a_sub0_shr_and.py,sha256=vzROAUvKUrQQmwUXJ-0WyFr1v5f8EPBgjeXIpWhtDak,2578
 angr/analyses/decompiler/peephole_optimizations/conv_shl_shr.py,sha256=0IHIk7uxIC70140k3VcXlnx4QcunAeoETXF1ZgJi2Pk,2070
 angr/analyses/decompiler/peephole_optimizations/eager_eval.py,sha256=0B7Mc6A_n1EWoof7k5C0zl7RZ-NTK76mm01ocB1VEGg,9183
@@ -183,7 +183,7 @@ angr/analyses/decompiler/region_simplifiers/__init__.py,sha256=ZeURg5mKbKRpwo8-S
 angr/analyses/decompiler/region_simplifiers/cascading_cond_transformer.py,sha256=4oRjmKwk9tSxUSOTTDGLVM7prp1aTrQOUpNuQ1gfMrA,3721
 angr/analyses/decompiler/region_simplifiers/cascading_ifs.py,sha256=dbAn1fde1-kiF6A9060wEqPKcE3DeBd2Ltt_2UAEdo4,2490
 angr/analyses/decompiler/region_simplifiers/expr_folding.py,sha256=lCNR9UTzKaUSGmL0Fzv0QDcDubmrGey47eNC3yteUEE,24008
-angr/analyses/decompiler/region_simplifiers/goto.py,sha256=JaZE8cDQ1aHqGCZAvNHoO2REf1Qz_PL9JTwQ4E_DvIo,5938
+angr/analyses/decompiler/region_simplifiers/goto.py,sha256=b8602yf_WcTJXYyKEqh8Wuenwyatxqq-zGIhDPwJnE0,6032
 angr/analyses/decompiler/region_simplifiers/if_.py,sha256=qDkZTrRjDzI4CX6vwEcaddmaPvG4sWHn373VVwmf0e0,5034
 angr/analyses/decompiler/region_simplifiers/ifelse.py,sha256=nWUow7p_TOgFQuUgWXQcH2qSFfxUWJBgkslvajhTbn0,3681
 angr/analyses/decompiler/region_simplifiers/loop.py,sha256=U4FvlMaOfsOtLmtifa8j_V6T5VNhtH_lg6zOqBdaQ0Q,5861
@@ -193,15 +193,15 @@ 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=Glc4jBCr7lZckltN9XZdSvMrGHf0swXFyKTr_QQKdWE,290
 angr/analyses/decompiler/structured_codegen/base.py,sha256=nJPOoeJCbewchYdXjSE4S2b1-WN6pT3TxmCQMDO0azw,3845
-angr/analyses/decompiler/structured_codegen/c.py,sha256=7tTlU_3PDfQ3pX_F-cQMy67sJtVKaf18dkJc0u8aZNU,129951
+angr/analyses/decompiler/structured_codegen/c.py,sha256=XAU0b828HiUwrE4Y_Z_k3Or0DvKBYB1iJy-BEHctPaU,130915
 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=eSiT6xUpv9K5-enK3OZj2lNzxwowS9_5OTrjHiPgfFs,371
 angr/analyses/decompiler/structuring/dream.py,sha256=xsFPPl0L7nu8ejugCm8FbJUCgYcnCMUCAJQTzNQDLIo,48400
-angr/analyses/decompiler/structuring/phoenix.py,sha256=1uIO6zXRkoaFxl91tNC7hD6rMGzqQpRgcGrlYyzjujw,116627
+angr/analyses/decompiler/structuring/phoenix.py,sha256=Xru4nnJEgvAJxQ8QrtHUSlFHl-_BE161VFtbPxAbqJE,116680
 angr/analyses/decompiler/structuring/recursive_structurer.py,sha256=5DFQTjM6F80YY5W8B2CjemSxubWW2xW5f8vXSbNA2iw,5829
 angr/analyses/decompiler/structuring/structurer_base.py,sha256=zn_nosvSNEjOAypEsz72LU5rMBahOJGquz6BqJiuqvo,41101
-angr/analyses/decompiler/structuring/structurer_nodes.py,sha256=d040UOKZOKHVpNByw4iDaA_TGfjOVl021z35pmxh5pc,11535
+angr/analyses/decompiler/structuring/structurer_nodes.py,sha256=PE_byL1mxj811MMM-qQWzSaITtcu5Xn0ZKz0yobnK-k,11964
 angr/analyses/forward_analysis/__init__.py,sha256=0TNlM4hbX1KRMyUduqU_zEwbnVcuNX2A1mtVuM3KexY,144
 angr/analyses/forward_analysis/forward_analysis.py,sha256=rDaaUeqSb3XkoDgL7Tb_EdtWroBa9BhtQRrp8fkOsVk,19264
 angr/analyses/forward_analysis/job_info.py,sha256=5TkrqLwNWzx0ckxYm1QTV2SXzJXrP2QHcpDWl1_eCmM,1579
@@ -242,7 +242,7 @@ angr/analyses/identifier/functions/strncmp.py,sha256=XlqTTLjfPRj7LSw3-xHoH4SJyNi
 angr/analyses/identifier/functions/strncpy.py,sha256=1WUrhXMS5Sd5rfgBJbChZD_BZ_D47Z_H4AZwriyqDO0,2008
 angr/analyses/identifier/functions/strtol.py,sha256=Py_6Y9rR5dfy53LX8w9WktSBaxdyPlbrcLEiV6cWfHs,2426
 angr/analyses/propagator/__init__.py,sha256=5-UKSiAtYocLzmQWXPzxyBnPui_c8P_r617KDwtRnNw,43
-angr/analyses/propagator/engine_ail.py,sha256=ktZlhXS7_WPOecalGliRv5p8TeW1r6Ie18iiLtsl3wY,62565
+angr/analyses/propagator/engine_ail.py,sha256=ebBs1rVlAV1Ioa9WW_RtUKFf8eAjtLlzKwOlxRTQPA4,67182
 angr/analyses/propagator/engine_base.py,sha256=0j5NzJ9jArF4KeysBeiPoo_RKyCvlgn-i3inSZt1cyc,1735
 angr/analyses/propagator/engine_vex.py,sha256=BthcZPPizwrCfPe4P6ycZ8bNAT8YN0h5gAmR-8UqpLE,12491
 angr/analyses/propagator/outdated_definition_walker.py,sha256=OJnI9rlyutyy2qHMTqnrnQJCXKcBHvgwHfiqlWDECiY,6890
@@ -254,13 +254,13 @@ angr/analyses/propagator/vex_vars.py,sha256=O0W7GekEZIVwiNiOdyu-BuxCZmHFZPh_ho7j
 angr/analyses/reaching_definitions/__init__.py,sha256=3itfNz4b0XcTDJJbU10gZfSuqUAx0s8poicXhXZUpys,1989
 angr/analyses/reaching_definitions/call_trace.py,sha256=5y8VtU-5-2ISamCkok6zoMahWASO2TBQYl5Q0pgeLGw,2217
 angr/analyses/reaching_definitions/dep_graph.py,sha256=iwhYTySlIPkXOuYvEZzUme947Veq2ogrtD6_1ODqzVQ,14966
-angr/analyses/reaching_definitions/engine_ail.py,sha256=VqTC3GH1nBbW_nmsWG-Wvrl_R0I5eVwysIrg31eFx6o,44826
+angr/analyses/reaching_definitions/engine_ail.py,sha256=QW-F0zHjGPLvfk0X_tHiHy3fvPUsLRMks-vhsRqXCJ0,46041
 angr/analyses/reaching_definitions/engine_vex.py,sha256=CvxXI4pVX7K_IhbWMGL-cNcfS2qEaAF-s4LGopb_yHs,42097
 angr/analyses/reaching_definitions/external_codeloc.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 angr/analyses/reaching_definitions/function_handler.py,sha256=TB6yW0TBQnTdAv3SOBcui6dSCBMoviivKx0v8COY12w,26839
 angr/analyses/reaching_definitions/heap_allocator.py,sha256=L7LCcE-QvLd_vuc0slWmQ6X73wkYNMkUEDy1cJAV818,2634
-angr/analyses/reaching_definitions/rd_initializer.py,sha256=w_lERfOKBrTQzsLG8ObQyeyYRlnDwUhlZVZ99SuQWb8,10323
-angr/analyses/reaching_definitions/rd_state.py,sha256=4HF1oi2R20EAV7uwa3iqIhurvuEye_VTgF8uzwjGtI4,23437
+angr/analyses/reaching_definitions/rd_initializer.py,sha256=dZxm8H37NPJdugHS_0R2ylujjWcvUj_nBaMf1z6bjbA,11224
+angr/analyses/reaching_definitions/rd_state.py,sha256=vcDnKN2iUf9kLU7A7HppECOk1DNvqB03OdX2MqTrZIs,23569
 angr/analyses/reaching_definitions/reaching_definitions.py,sha256=CjW3Q7rj_fX-LQ09eACCPohXX44FT13ewWpvJQk-vr4,23163
 angr/analyses/reaching_definitions/subject.py,sha256=GVaI1jM-Nv2MWaCjJ-Q_54nSS3hvAaZthz14AJJNq-A,1995
 angr/analyses/typehoon/__init__.py,sha256=kCQMAuvsUKAdYFiOstBzMBCqpquJKJCQSe0CGAr2Rng,31
@@ -272,7 +272,7 @@ angr/analyses/typehoon/typehoon.py,sha256=W9wvVe2F4vAJ_EGmxQg74AZsRu18mUf82fRYZ5
 angr/analyses/typehoon/typevars.py,sha256=qLNOOo50rAs9E8IXwVB8JCEiC30SskJjQUkDp_Tpp-o,13349
 angr/analyses/variable_recovery/__init__.py,sha256=j2SZyfzCAagqNTj0IcYJtOx4b3oAvhEY9GR3hb0bx4o,105
 angr/analyses/variable_recovery/annotations.py,sha256=eAifcWVmb1xUmEGtpiy8PzIupSuZtmEDEiUav-3_z20,1403
-angr/analyses/variable_recovery/engine_ail.py,sha256=OM5akKVKp3YzAKg0CAlYe4M18kniz78-yJA2wQfMlN4,23135
+angr/analyses/variable_recovery/engine_ail.py,sha256=y0KE4Zoiq5WbcDUDqGsKFuj6EyIzk3KdZYy7tJWi_5c,23877
 angr/analyses/variable_recovery/engine_base.py,sha256=LxUV7LtQWkEkPIVF8WokiM28Ui2R68ulNuQ02UUO-_0,40263
 angr/analyses/variable_recovery/engine_vex.py,sha256=oDmUaawW8sKJmbtHadubJmiuYuFeORn0Q-BTRG-rUTA,19046
 angr/analyses/variable_recovery/irsb_scanner.py,sha256=3lUK_jfJCVEZQ0QvhwsmgCn2RAIj_0FDDn8ftggubjA,4701
@@ -288,7 +288,7 @@ angr/angrdb/serializers/comments.py,sha256=ygfH_4HkJ1Es013UyNk7iGumyoc6Edn7P99qW
 angr/angrdb/serializers/funcs.py,sha256=SeR3TwRiWFE9h_FSmdc51GB6nkFolCg4Ucb6dsJIx9M,1696
 angr/angrdb/serializers/kb.py,sha256=hNmRwHYEwhDuAtze8L2WxTGoKsgl8nSMMX1px_MMNh8,3688
 angr/angrdb/serializers/labels.py,sha256=Sc6LDcyJiZ9gMDno1fbp_96RYv5D4UZirTbzPcJGAY0,1425
-angr/angrdb/serializers/loader.py,sha256=W58Az0bI4ahDOwtAafkfPEnOr92qmY171hiDNv8KGbA,2144
+angr/angrdb/serializers/loader.py,sha256=kZ2ftmV3MhGqvh0I2tAzalgg3bFcMofQjGCafsK3qlU,2494
 angr/angrdb/serializers/structured_code.py,sha256=cRrJd9gygqFydu26q_EIbDR9EwZcUZJvJYfb8FYEsws,4190
 angr/angrdb/serializers/variables.py,sha256=5o_wgf45hWE7bqJes1QDdlaYaF4Eh_cqg7gUrJdfbQk,2383
 angr/angrdb/serializers/xrefs.py,sha256=PWoBqu7aTMDaxA_PB68B7zm4b_fnWbAt8u_K5HN11pI,1180
@@ -324,11 +324,11 @@ angr/engines/light/__init__.py,sha256=j9vH2fU9MaNVQ8NT3Ek3Tj2zkGlVxlKyzia8zVTofY
 angr/engines/light/data.py,sha256=jZBAJxor2zg5m4s63joSrjUs8H-OeHBZiqZmc3dqEQQ,23132
 angr/engines/light/engine.py,sha256=19FLnb5xu_KKZGbQFc2pwdSoYWjQn0KBccp1lXfETS4,40791
 angr/engines/pcode/__init__.py,sha256=UwMEwXQvHXIIgedJn2ZOvBBEgfHg2rfREBSpcTSXCZ4,83
-angr/engines/pcode/behavior.py,sha256=Ecmw9uGAnrzjlvW6RPob0j-dpm0OTag8CRzSC5U-0fo,28649
-angr/engines/pcode/cc.py,sha256=LrYXVexTgG3iCvYMRZfHvkT94vO447dVzcvSXdumVHA,2923
-angr/engines/pcode/emulate.py,sha256=RKLzXxtFeaOxhphvNLQ7l0UhgFRanW26Jj3ISp7MLt4,15333
+angr/engines/pcode/behavior.py,sha256=gwMFXQ3cibqchRHnRfiVzzzLIg2mgX-2XJlkD82p8J0,28720
+angr/engines/pcode/cc.py,sha256=zZs1oLPkrxIqZ7wbFQEo8MLuNNYxfqtdpVlLu2BT_sE,2970
+angr/engines/pcode/emulate.py,sha256=N8d6iQKSpX-Q8b4BurBWbpeqGePcAtdvE8x7-ojJzcQ,16718
 angr/engines/pcode/engine.py,sha256=RdZZeKF0kHq94uwtZ6DYl43UJXyAhSie9M2ChVcVT4Y,10551
-angr/engines/pcode/lifter.py,sha256=hrKN2SrSkDbcSHla0CDwUBxCL2mIT-OqX86YGAdyyVQ,50576
+angr/engines/pcode/lifter.py,sha256=N1Ui-BBY3Y6KhuwjOwJSthm4EaxksglAvReCXQGNLu8,52362
 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
@@ -440,7 +440,7 @@ angr/knowledge_plugins/cfg/indirect_jump.py,sha256=yzPf1jjUNPgGP7D7IamqX6KF-EJX-
 angr/knowledge_plugins/cfg/memory_data.py,sha256=FzRUFltXrN0G3OeMZEbb3xc7I-W8AaomtCTSXUQlJ0g,5040
 angr/knowledge_plugins/functions/__init__.py,sha256=6IerJjMKKvM70mcJQhmXJYiipePOQ9ZSTmavTIUgg5Q,77
 angr/knowledge_plugins/functions/function.py,sha256=dzMpaiGtPN5w6Bn1Ej1XTZCYDET9nhxue5rMLSEXKcc,66796
-angr/knowledge_plugins/functions/function_manager.py,sha256=x1g8igdJT5bJg-23n8SM5TxiLhoWoJubS_Op_ItFofo,18951
+angr/knowledge_plugins/functions/function_manager.py,sha256=2TN7p9lM-y6OUvWL4dOmidfkoVIZaK2Erkf89JHSs7k,19007
 angr/knowledge_plugins/functions/function_parser.py,sha256=cb_AD5oFqoyXapDBawnJV1D9XVRMBGa9GwwDudNSc3M,11916
 angr/knowledge_plugins/functions/soot_function.py,sha256=2zwz_tdKbEnF8eUkOEmpNr7AUeooun2-SiIoY_xIdMw,4971
 angr/knowledge_plugins/key_definitions/__init__.py,sha256=xnn-6qL8csRtqWkHn6OTHQxiQChD8Z1xuqLN56GjZi4,397
@@ -461,7 +461,7 @@ angr/knowledge_plugins/propagations/__init__.py,sha256=YOHJ2PMz-egzFMA2H0eKa5FDM
 angr/knowledge_plugins/propagations/prop_value.py,sha256=pfRYRHb1wEEhrSiSlOzuZDY9ZHeIQZM2yjA3JazPs_8,7706
 angr/knowledge_plugins/propagations/propagation_manager.py,sha256=5DohQ6GiLmRfA4whx7dsKImBLCajQnLBwKieddf55J0,2112
 angr/knowledge_plugins/propagations/propagation_model.py,sha256=rK5qbWREPpUtEzOBRFn2bZviN6Ux-HlN0zF_inlg104,2786
-angr/knowledge_plugins/propagations/states.py,sha256=s6ltT-ZOrFC-usGvmCF3v2q53SFnP6OqFsQxN6ypqjw,37320
+angr/knowledge_plugins/propagations/states.py,sha256=-mK1M0uPJAIj8XdY2TwiEc_TELpRPyMddxtlIkkNNyE,38165
 angr/knowledge_plugins/structured_code/__init__.py,sha256=9edAAAVroOR8nNBThuRjOnjVUIqavnObO7mlUttxInA,43
 angr/knowledge_plugins/structured_code/manager.py,sha256=ov4BUMuYANS8Lz2QhmXgAo5wpGlWU9AmcTQcgYbD0HE,2126
 angr/knowledge_plugins/sync/__init__.py,sha256=RN3y0UhYax-GdPyAhondMXEBuWIu-enHjxjpdTKhQ58,44
@@ -473,7 +473,7 @@ angr/knowledge_plugins/xrefs/__init__.py,sha256=-5A2h048WTRu6Et7q7bqlc-AyBXNuJ9A
 angr/knowledge_plugins/xrefs/xref.py,sha256=w4wjDFl4xtJYOtJplp9s1AIX3wI1RE71po3ufh1M4aY,4963
 angr/knowledge_plugins/xrefs/xref_manager.py,sha256=GYF9N1t4JxkDNGAwrVLo4_NF51P4gqiuQ21F0IbloF0,4026
 angr/knowledge_plugins/xrefs/xref_types.py,sha256=VR3xLQQ-gUg25oX0OL3BJHyQRlZh2A8syBac9ZMS9n4,271
-angr/lib/angr_native.dll,sha256=BZQ3gADX64IpR-Q6yIQRg8cFv95n0XHTkzgC1PrHB4Q,19209728
+angr/lib/angr_native.dll,sha256=4uZ88KZvWS6jpPmsoh6WYlYr5YnkSzf3z-ICXrsQwGM,19209728
 angr/misc/__init__.py,sha256=Ct-Q6-c-Frdz5Ihkqmou3j_1jyJi8WJXlQxs-gPQg0Y,237
 angr/misc/ansi.py,sha256=TKrx7d_MViChHh5RBR2VLufNrujTUioJWsZS5ugk8k4,807
 angr/misc/autoimport.py,sha256=6WT-Z6wf5NiacQhKZmR4d2bPOvNrokA7Wg0g2MUXSuw,2371
@@ -493,7 +493,7 @@ angr/procedures/advapi32/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZ
 angr/procedures/cgc/__init__.py,sha256=GFTI1FuWVFmdqaBoNSFREIw6JiGKw6ajJVBbTgu9j28,76
 angr/procedures/cgc/_terminate.py,sha256=cKDNkZumfGaFNdrPuJw7J1vXsch8YP22nmXvKnJkB3c,224
 angr/procedures/cgc/allocate.py,sha256=SNeFEyCQd2t2evswFcVPmEoFmXCLg1YUPvZGIBC6gc0,3371
-angr/procedures/cgc/deallocate.py,sha256=Zw2u23-VmW54duukThECXWhGQAR3gLvX_eTwngBTsHE,1906
+angr/procedures/cgc/deallocate.py,sha256=v5y1zxDfh_YyvWH34SD65P574h98N82IfgrhgTz-kmo,1984
 angr/procedures/cgc/fdwait.py,sha256=bYccIjGqa-pHXNz_DFVdg6zDTkBk_QX0u9pCwJvOP9o,2802
 angr/procedures/cgc/random.py,sha256=1dyl58S21I3-LMGi8HlD9VZ0VN97wA7pBIeU1fZi4QI,2334
 angr/procedures/cgc/receive.py,sha256=qNi7ZX-411q3i-j4z-ylo6jPP5oCky--IP_CyTScWHI,3758
@@ -995,7 +995,7 @@ angr/procedures/posix/fdopen.py,sha256=n-_sb5y4cIDxIQwIeG1YaIzttPvOZofKPW22AxhVn
 angr/procedures/posix/fileno.py,sha256=rIERNraGiC89rp__wBndu0Jl6azwKIkCWw8tbTCHVyE,414
 angr/procedures/posix/fork.py,sha256=-R79w7ZPKZwF1Dp11SNT8inxI1IV7RCDOaWo79AxxJc,292
 angr/procedures/posix/getenv.py,sha256=cnB-cZ2D8nn_iVBIE2i43resZWCcSu4AdamGRffg7MA,1383
-angr/procedures/posix/gethostbyname.py,sha256=SkUXXscVsgw04TYiJmgXMjRZgLZYVlppDqgWXjivuqE,1072
+angr/procedures/posix/gethostbyname.py,sha256=PEtNZ2o1XItLjlxMpw_M886Gl70iCvuaQI2zxRaiR9s,1573
 angr/procedures/posix/getpass.py,sha256=7q94Ew_vMeaT_J6dOapSt9_0L-7HM3oqAtW5HvSD9dI,484
 angr/procedures/posix/getsockopt.py,sha256=-4Hsi8MSxna_8H2ttrzwl9cDPg0Vij-xzeBg0hvmTtc,187
 angr/procedures/posix/htonl.py,sha256=QjskXfh8QaBgI-ND1l_ytexOH5qXukbatIKbJ0mIHSw,295
@@ -1089,11 +1089,12 @@ angr/protos/function_pb2.py,sha256=U55E0nWKAboOntLcI9SPFpJkfnInYzzRW8PbjlPKuz4,2
 angr/protos/primitives_pb2.py,sha256=mlZqTH0_OgZbSyzFoBQhWa_wLuZS6l3Kqrhe2Joj_As,8527
 angr/protos/variables_pb2.py,sha256=Fun42E2lJ7iT0xW_mlG60GJeVa51grG7epWshoT9xMo,8112
 angr/protos/xrefs_pb2.py,sha256=uze_1xvipKxY7Xrpxl6BJC6OCwp3_-B62S81FlzXl2Q,1247
-angr/simos/__init__.py,sha256=H_l03Y7-PCrhBzjenLj-fS45In9NG9uQywalBgLvUAU,671
+angr/simos/__init__.py,sha256=lqiR4H7KgNd8uzQT5OYsvrcb3l3moCoxBP-O-UMzPjM,755
 angr/simos/cgc.py,sha256=13dtMvJhD7nCLEH1n6nAMR4IbG1WYc8jQ_ASZsP85yU,5568
 angr/simos/javavm.py,sha256=NKwosYvx4-_gsT7eGmHHIZNzzdF-T0xK0BuXobrI8oQ,21461
 angr/simos/linux.py,sha256=GIQMpllbbY8gES10c8fpglJNYiRv9SHQOxVUa3xERBI,23327
-angr/simos/simos.py,sha256=BH0S8rj-_kqC_vx6a-aZNyM3HJ3mwDXO3t1RdoL3Sgo,18141
+angr/simos/simos.py,sha256=pKrQl83_-HpAOxMegOvOiLEGBYrv4xMRZFoqG2OixVA,18188
+angr/simos/snimmuc_nxp.py,sha256=Uy43SwCjnKFo207fVz-h0vzwRk-RnIACz1C0Ly3ftw4,5679
 angr/simos/userland.py,sha256=a0x1UYVQ0x7Wgnu4PtedS2-7kS4vLqoYNqEwo7Z_5fw,7351
 angr/simos/windows.py,sha256=AGhVLdTzgtOsbUHApUSjsY90l2jYFKUZn1A1_ngz5nI,26047
 angr/state_plugins/__init__.py,sha256=Yig7z_PkqjB5nai_yzxf06uwfQzQ9iPdrTVzKMKtfQ4,735
@@ -1104,7 +1105,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=Rcv775UdOdpRUWek69wmdrN_ZPDz2q8aSU12Lt4fqWk,19034
+angr/state_plugins/history.py,sha256=FQxD2rwC5yQI97EFZ0EbjN8FAU0LhMisTh1nmOJoneM,19104
 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
@@ -1197,7 +1198,7 @@ angr/utils/enums_conv.py,sha256=YdnZzvuVc_BW1EuC4OtEo7LqB35XkPrXICyWox8Posg,2091
 angr/utils/env.py,sha256=wWlmjLp7CtafKItn7xq2RW3UzGGgxw58Wc8fSm3EZJQ,363
 angr/utils/formatting.py,sha256=QOw75CLSrttGTn2aYQzBFIBhZj40J9ESQZxJOz0BexA,4217
 angr/utils/funcid.py,sha256=PCOvMfRrt70Es1cMlVqKFVCmHfELXQHvX08Uqabn7Nk,5006
-angr/utils/graph.py,sha256=9ZjoTAjeedTMcRT4m9P60WISddlevBDLzQUsE0RETmQ,27639
+angr/utils/graph.py,sha256=ZiN3i0iKoY9Gcc2a3_NS3_oDEN8zJQBY_P32uJC7gLg,27812
 angr/utils/lazy_import.py,sha256=VgN0-cMsr6XdGIq56Js1X8YecfPdW9Z4NrB3d2jD-5Y,308
 angr/utils/library.py,sha256=MYbY6rvC2Fi1ofbBHynh6-cdmaDETxj8hBz1gxKvsQQ,7178
 angr/utils/loader.py,sha256=QdkatPiyRfz5KdfCzRI1Xp3TJL_Pa75wY0dsILgMbwk,1944
@@ -1245,7 +1246,7 @@ tests/analyses/cfg/test_cfg_get_any_node.py,sha256=TocYKnj4EDcPhAzNsVXi7YQoIvo16
 tests/analyses/cfg/test_cfg_manager.py,sha256=aKoGPkZvjUFnJDt5B2jHffhn1PlaxURFE7NAEG4uJvk,957
 tests/analyses/cfg/test_cfg_model.py,sha256=bM1-lRTdjqWpoJMC-6V3mvTGoITBa6IIH5u1SRhSxJo,1633
 tests/analyses/cfg/test_cfg_patching.py,sha256=URD-mO-YQWtzqY2o5p0UDnnvtOZln4Fg0XY-JDMP2Ho,14193
-tests/analyses/cfg/test_cfg_rust_got_resolution.py,sha256=HCXQT09iJz7kempYuQo30ghptL7LLZtQnnNEPWsA_mw,1112
+tests/analyses/cfg/test_cfg_rust_got_resolution.py,sha256=SeYjFaXoU3bvr7sVMoG9e9aTUdc4Di895EMRSYz3bzA,1138
 tests/analyses/cfg/test_cfg_thumb_firmware.py,sha256=VpZ52hp4L01WmIJoa-j1LVGdRNiBVqjz0TFSEvRa8bI,1767
 tests/analyses/cfg/test_cfg_vex_postprocessor.py,sha256=wVj2LLT2ibo0SsQXbPbOrIFG03Z7nMxpBXZV88wox1o,627
 tests/analyses/cfg/test_cfgemulated.py,sha256=yf9YSHQibw62Vf1ixu7pb5Uo-2rbhYdcKaEfZn-UkG0,23341
@@ -1253,7 +1254,7 @@ tests/analyses/cfg/test_cfgfast.py,sha256=Qmne4A9CvgZSEHcd8Xsd4AHKelyKbjU4OA3hjv
 tests/analyses/cfg/test_cfgfast_soot.py,sha256=oq9P3FH89V5wU5HSwfSOiN2PflevOKHgVFgPWANPz0o,1094
 tests/analyses/cfg/test_const_resolver.py,sha256=GOgiqISS5BC2Ts4gSx1L6id54w2kEHUH4ENvizVT3I0,1178
 tests/analyses/cfg/test_iat_resolver.py,sha256=_tGaLI07TsOekyk5TZI0hg32wKptWpBxgkNPAv1IFck,989
-tests/analyses/cfg/test_jumptables.py,sha256=ERueQzzNn2irCtFIn_AqLg4MIgj_4Ff9kehk9JCIYKE,91767
+tests/analyses/cfg/test_jumptables.py,sha256=SNf62X7jkblyLROEDV97pWc9ztTRA028HGjC7a0iUGM,91793
 tests/analyses/cfg/test_noop_blocks.py,sha256=WnTxKbvkuPU1uaPv-JaZFCqdz2wG7XZz4EplIuFAm6A,2110
 tests/analyses/cfg_slice_to_sink/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 tests/analyses/cfg_slice_to_sink/test_cfg_slice_to_sink.py,sha256=Pbg5FfXOZou-KDIfdzZBrCzEoOIN9yMwzU5Lvc74EDM,3062
@@ -1261,7 +1262,7 @@ tests/analyses/cfg_slice_to_sink/test_graph.py,sha256=K77zi-kkcdsazokuk4pCr_qPEx
 tests/analyses/cfg_slice_to_sink/test_transitions.py,sha256=Jh5g8MPny5NcD4Ubg0cMgR0hNi_SCMA2CE9bmhopodo,698
 tests/analyses/decompiler/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 tests/analyses/decompiler/test_baseptr_save_simplifier.py,sha256=K7E87Gksi1rNDhft1w0KuavVwzijRpdUkwLcEriQjlY,3006
-tests/analyses/decompiler/test_decompiler.py,sha256=k7vdlgZ9-uePNRwvuSmrxKBzvXD4S1AR3dNjta71INk,148731
+tests/analyses/decompiler/test_decompiler.py,sha256=kglfUSKQZW7QKEAkJOXhVcifr_I3CXTuCtNloHb0E5Y,151898
 tests/analyses/decompiler/test_peephole_optimizations.py,sha256=H8amGt72-KwsPamy9h3pgRVhZ-fzhVXkkUzEn_YgO6Y,1648
 tests/analyses/decompiler/test_propagator_loops.py,sha256=zOP3vH5ldnutlismSrGH1JfYsTUIn872Jcb8CYanmro,3268
 tests/analyses/decompiler/test_structurer.py,sha256=_SX5ps4l9kG0ovssuplgSL9c-0602g0r85RjVHzWp6k,7782
@@ -1280,6 +1281,7 @@ tests/engines/test_unicorn.py,sha256=eDkvljRHbO3eNXOODW_nM_d-FqALzo_C6FZEH_pPfso
 tests/engines/light/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 tests/engines/light/test_data.py,sha256=ybvMB3XaqME0qnwY8zzaQD-OuFBjNSo5YGtFOs0I25g,405
 tests/engines/pcode/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+tests/engines/pcode/test_emulate.py,sha256=qds-kVdKFH0CUKU6H7reXOVuixVat8s0yHpXoJmFNzA,19660
 tests/engines/pcode/test_pcode.py,sha256=qLTOUm9sCAQzQNDK_6i3meF9Kl6ucllb4tZ7jz14f34,2773
 tests/engines/vex/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 tests/engines/vex/test_lifter.py,sha256=zj9jnWX6LDTb6YCNyUqEqlptFyf0b6w8cyjXtEszzxo,5426
@@ -1356,7 +1358,7 @@ tests/procedures/posix/test_pwrite_pread.py,sha256=xnvbAeAHFPwfdVcfx1lONmbt-pYCK
 tests/procedures/posix/test_sim_time.py,sha256=YFpzoCaZcnYhD0Y1ogae6f-VrzfWumAXrGKXToKdWEM,1347
 tests/procedures/posix/test_unlink.py,sha256=GcTjrq_6394E2w3o3aAD--KKlIuRQ2qq-gk8s-TKwZA,1504
 tests/serialization/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-tests/serialization/test_db.py,sha256=ZYRq-r3q0jhf55YBNjvfMB3VOknmExOe_28SuZi3Cgg,5922
+tests/serialization/test_db.py,sha256=aXQSdTGxGUJGTtv6hqkx7cyYMg2QPcD-PrJiTeiHNpA,7029
 tests/serialization/test_pickle.py,sha256=cVPsTZSPHEtUI1P96gcAKM--h8KuiybL_NQwJ2OIa2U,2735
 tests/serialization/test_serialization.py,sha256=58ma0McHNP2kU1KXEXeGY1Iufu5tbIYOfUKht401dl8,3426
 tests/serialization/test_vault.py,sha256=qWqzxp6LhJgbBz6jpEWAYFEhTpCWszZzWGdUyvO4IhA,4362
@@ -1415,9 +1417,9 @@ tests/storage/test_multivalues.py,sha256=x82duiIMsU9nE-6vhm-eEsofshKfbVy5d9CNgdC
 tests/storage/test_permissions.py,sha256=-Gsd1CUO7xZv7NTieiuikm33xfl33MyzIkembL3CuIw,883
 tests/storage/test_ptmalloc.py,sha256=WwORhRoN0SYC8R9aJ_RITbVKlB6JQnLyINTWbT4PidU,10592
 tests/storage/test_relro_perm.py,sha256=gqNbkYfAYr0wM-oSijS3HYi0-cbtplMDCSWQqRCqEb4,1406
-angr-9.2.84.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.84.dist-info/METADATA,sha256=Aja2YkcFfR3rhI5lVvqKCPt6d9Jh6vJuJC44U64C-y8,4856
-angr-9.2.84.dist-info/WHEEL,sha256=6iYPr8vTHsyDK75jr9X0V3I9wPSVmtwr_8fdATBciGk,98
-angr-9.2.84.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.84.dist-info/top_level.txt,sha256=EGgw8HjaUI9JWd6w70Tzkn1AcyKTMJTVJ9OpWyaOewk,11
-angr-9.2.84.dist-info/RECORD,,
+angr-9.2.85.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.85.dist-info/METADATA,sha256=MC9anPiRFsz28CIbJd8tu8XEG1IIcSV4ItMvT5eSjq4,4890
+angr-9.2.85.dist-info/WHEEL,sha256=6iYPr8vTHsyDK75jr9X0V3I9wPSVmtwr_8fdATBciGk,98
+angr-9.2.85.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.85.dist-info/top_level.txt,sha256=EGgw8HjaUI9JWd6w70Tzkn1AcyKTMJTVJ9OpWyaOewk,11
+angr-9.2.85.dist-info/RECORD,,