angr 9.2.43__py3-none-manylinux2014_x86_64.whl → 9.2.45__py3-none-manylinux2014_x86_64.whl

angr/__init__.py

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

angr/analyses/decompiler/region_identifier.py

@@ -871,7 +871,7 @@ class RegionIdentifier(Analysis):
                 full_graph.add_edge(src, dst, **data)
                 if src in loop_nodes:
                     subgraph.add_edge(src, dst, **data)
-                elif src is region:
+                elif src == region:
                     subgraph.add_edge(head, dst, **data)
                 elif src in normal_entries:
                     # graph.add_edge(src, region, **data)
@@ -887,9 +887,9 @@ class RegionIdentifier(Analysis):
                 full_graph.add_edge(src, dst, **data)
                 if dst in loop_nodes:
                     subgraph.add_edge(src, dst, **data)
-                elif dst is region:
+                elif dst == region:
                     subgraph.add_edge(src, head, **data)
-                elif dst is normal_exit_node:
+                elif dst == normal_exit_node:
                     region_outedges.append((node, dst))
                     # graph.add_edge(region, dst, **data)
                     delayed_edges.append((region, dst, data))

angr/analyses/reaching_definitions/engine_vex.py

@@ -417,8 +417,12 @@ class SimEngineRDVEX(
             elif self.state.is_heap_address(addr):
                 # Load data from the heap
                 heap_offset = self.state.get_heap_offset(addr)
-                vs: MultiValues = self.state.heap_definitions.load(heap_offset, size=size, endness=endness)
-                defs = set(LiveDefinitions.extract_defs_from_mv(vs))
+                try:
+                    vs: MultiValues = self.state.heap_definitions.load(heap_offset, size=size, endness=endness)
+                    defs = set(LiveDefinitions.extract_defs_from_mv(vs))
+                except SimMemoryMissingError:
+                    continue
+
                 self.state.add_heap_use_by_defs(defs, self._codeloc())
                 result = result.merge(vs) if result is not None else vs
 
@@ -579,7 +583,7 @@ class SimEngineRDVEX(
         elif expr0_v is not None and expr1_v is None:
             # adding a single value to a multivalue
             if expr1.count() == 1 and 0 in expr1:
-                vs = {v.sign_extend(expr0_v.size() - v.size()) + expr0_v for v in expr1[0]}
+                vs = {expr0_v + v.sign_extend(expr0_v.size() - v.size()) for v in expr1[0]}
                 r = MultiValues(offset_to_values={0: vs})
         else:
             # adding two single values together

angr/utils/graph.py

@@ -146,6 +146,9 @@ def subgraph_between_nodes(graph, source, frontier, include_frontier=False):
         traversed.add(node)
 
         for _, succ, data in graph.out_edges(node, data=True):
+            if g0.has_edge(node, succ):
+                continue
+
             g0.add_edge(node, succ, **data)
             if succ in traversed or succ in frontier:
                 continue

{angr-9.2.43.dist-info → angr-9.2.45.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: angr
-Version: 9.2.43
+Version: 9.2.45
 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
@@ -16,13 +16,13 @@ Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: CppHeaderParser
 Requires-Dist: GitPython
-Requires-Dist: ailment (==9.2.43)
-Requires-Dist: archinfo (==9.2.43)
+Requires-Dist: ailment (==9.2.45)
+Requires-Dist: archinfo (==9.2.45)
 Requires-Dist: cachetools
 Requires-Dist: capstone (!=5.0.0rc2,>=3.0.5rc2)
 Requires-Dist: cffi (>=1.14.0)
-Requires-Dist: claripy (==9.2.43)
-Requires-Dist: cle (==9.2.43)
+Requires-Dist: claripy (==9.2.45)
+Requires-Dist: cle (==9.2.45)
 Requires-Dist: dpkt
 Requires-Dist: itanium-demangler
 Requires-Dist: mulpyplexer
@@ -32,7 +32,7 @@ Requires-Dist: progressbar2 (>=3)
 Requires-Dist: protobuf (>=3.19.0)
 Requires-Dist: psutil
 Requires-Dist: pycparser (>=2.18)
-Requires-Dist: pyvex (==9.2.43)
+Requires-Dist: pyvex (==9.2.45)
 Requires-Dist: rpyc
 Requires-Dist: sortedcontainers
 Requires-Dist: sympy

{angr-9.2.43.dist-info → angr-9.2.45.dist-info}/RECORD

@@ -1,4 +1,4 @@
-angr/__init__.py,sha256=nnAqJY9N3HcR1ewZjtHwFhI3oTungftUju3ZdrtM87E,2800
+angr/__init__.py,sha256=RgYjRtaqH_SSid1YFJS-8otGx6IK9SzyIwfy8_2ZHUE,2800
 angr/annocfg.py,sha256=dK5JAdN4Ig_jgxTBZeZXwk3kAS4-IQUvE6T02GBZTDQ,10818
 angr/blade.py,sha256=1f5cqw1w6mKtYszN2-5QMxaoP_bbqpIaVlE7Vpf8yjc,15161
 angr/block.py,sha256=2XEvImDfD9NeQAKPGnulds4GKepThwwtnvV-22S3Gf0,14215
@@ -105,7 +105,7 @@ angr/analyses/decompiler/graph_region.py,sha256=iGyTyhCS7DQx0xMTj2xnyQm1TWK9pqxm
 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=GGfGSYqr5_bgegXaKrQ3kVAPcYc67i-xjbjpF_ssnaQ,43923
+angr/analyses/decompiler/region_identifier.py,sha256=A3egJzcp_1XnGjiVnsEobgaXuzJ9_3ttLwSEv-ikdoQ,43923
 angr/analyses/decompiler/region_walker.py,sha256=lTfweYbY4_a2f2yGztTKG6JtU1jXf-kaz-NHbX9nkXE,717
 angr/analyses/decompiler/sequence_walker.py,sha256=Ak8jog1BRJIQZdOv7QRzcv-SgXR0Wfh0QicqgXuWUIM,7410
 angr/analyses/decompiler/utils.py,sha256=mOR2BphGYNoewtpL3eTpUaoXDaNRyYYrNT4jjg4qIB8,13427
@@ -243,7 +243,7 @@ angr/analyses/reaching_definitions/__init__.py,sha256=SMMZsXT0LZwiTUbcooXzo9g5pj
 angr/analyses/reaching_definitions/call_trace.py,sha256=5y8VtU-5-2ISamCkok6zoMahWASO2TBQYl5Q0pgeLGw,2217
 angr/analyses/reaching_definitions/dep_graph.py,sha256=jR6X6mUYu73vM6AyCo2PT22ldlMX8dZEDyaEx6bqNZg,7516
 angr/analyses/reaching_definitions/engine_ail.py,sha256=AJ218XvV1uJpuE2YKtH2JIi6_cVsu3BddPklvJ-g4WA,49471
-angr/analyses/reaching_definitions/engine_vex.py,sha256=I4hDEoO94XhNNNgUrVI89va347LoM24tYh2T-aV1QuM,50256
+angr/analyses/reaching_definitions/engine_vex.py,sha256=Fhi6kacWvWhpblSEBoPB1rSJCdzU05IwKTHU5Or5m_k,50361
 angr/analyses/reaching_definitions/external_codeloc.py,sha256=sayJE7htFBBPXkZGnOeTK9hxoW-LPS2r1NeX39p-uF0,1099
 angr/analyses/reaching_definitions/function_handler.py,sha256=URJj8d-kHImWDuQLyvFWBx4S6cgV7EZFjAI7Z2pdwio,5284
 angr/analyses/reaching_definitions/heap_allocator.py,sha256=L7LCcE-QvLd_vuc0slWmQ6X73wkYNMkUEDy1cJAV818,2634
@@ -1172,14 +1172,14 @@ angr/utils/dynamic_dictlist.py,sha256=80kE4ySWF3dAffUt5qlyUfK6h0A8jOVMMaNG8RNUz7
 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/graph.py,sha256=nKQqvuOHOu2TehGINOMVqeTqUvdJIqRI_LDixDzRvCo,17403
+angr/utils/graph.py,sha256=ikSv7IpddByxhS9YJGMtvmyDf11gqFO9HxtPVl5MyZU,17469
 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
 angr/utils/mp.py,sha256=xSWDnZdkLaTwGXntuSDwb2tIqMsIxJpmLrxd_YWBILw,1822
 angr/utils/timing.py,sha256=ddkLlRzlfmDlvRn9LseX9iQNQcNnQxzaJqnDSq7i1iU,1035
-angr-9.2.43.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.43.dist-info/METADATA,sha256=oCn9b4VkOugwcTSWbMGxo0GHegHYhhArnJeb9ri15dA,4381
-angr-9.2.43.dist-info/WHEEL,sha256=0vUkZ48XaG9BBQXbxXsqZ8EM_YeqwdOA_1j85LwuWGE,109
-angr-9.2.43.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.43.dist-info/RECORD,,
+angr-9.2.45.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.45.dist-info/METADATA,sha256=-vr19xS-zHrweYkEjHSYuXZQ9NMmDQ-y7z9pBw3dOhs,4381
+angr-9.2.45.dist-info/WHEEL,sha256=0vUkZ48XaG9BBQXbxXsqZ8EM_YeqwdOA_1j85LwuWGE,109
+angr-9.2.45.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.45.dist-info/RECORD,,