angr 9.2.122__py3-none-manylinux2014_aarch64.whl → 9.2.124__py3-none-manylinux2014_aarch64.whl

angr/storage/memory_mixins/smart_find_mixin.py

@@ -15,6 +15,7 @@ class SmartFindMixin(MemoryMixin):
         addr,
         data,
         max_search,
+        *,
         default=None,
         endness=None,
         chunk_size=None,

angr/storage/memory_mixins/underconstrained_mixin.py

@@ -22,15 +22,15 @@ class UnderconstrainedMixin(MemoryMixin):
         out._unconstrained_range = self._unconstrained_range
         return out
 
-    def load(self, addr, **kwargs):
+    def load(self, addr, size=None, **kwargs):
         self._constrain_underconstrained_index(addr)
-        return super().load(addr, **kwargs)
+        return super().load(addr, size, **kwargs)
 
-    def store(self, addr, data, **kwargs):
+    def store(self, addr, data, size=None, **kwargs):
         self._constrain_underconstrained_index(addr)
-        super().store(addr, data, **kwargs)
+        super().store(addr, data, size, **kwargs)
 
-    def _default_value(self, addr, size, name=None, key=None, inspect=True, events=True, **kwargs):
+    def _default_value(self, addr, size, *, name=None, key=None, inspect=True, events=True, **kwargs):
         if o.UNDER_CONSTRAINED_SYMEXEC in self.state.options and type(addr) is int:
             if self.category == "mem":
                 alloc_depth = self.state.uc_manager.get_alloc_depth(addr)

angr/storage/memory_mixins/unwrapper_mixin.py

@@ -8,18 +8,18 @@ class UnwrapperMixin(MemoryMixin):
     This mixin processes SimActionObjects by passing on their .ast field.
     """
 
-    def store(self, addr, data, size=None, condition=None, **kwargs):
+    def store(self, addr, data, size=None, *, condition=None, **kwargs):
         return super().store(
             _raw_ast(addr), _raw_ast(data), size=_raw_ast(size), condition=_raw_ast(condition), **kwargs
         )
 
-    def load(self, addr, size=None, condition=None, fallback=None, **kwargs):
+    def load(self, addr, size=None, *, condition=None, fallback=None, **kwargs):
         return super().load(
             _raw_ast(addr), size=_raw_ast(size), condition=_raw_ast(condition), fallback=_raw_ast(fallback), **kwargs
         )
 
-    def find(self, addr, what, max_search, default=None, **kwargs):
-        return super().find(_raw_ast(addr), _raw_ast(what), max_search, default=_raw_ast(default), **kwargs)
+    def find(self, addr, data, max_search, *, default=None, **kwargs):
+        return super().find(_raw_ast(addr), _raw_ast(data), max_search, default=_raw_ast(default), **kwargs)
 
     def copy_contents(self, dst, src, size, condition=None, **kwargs):
         return super().copy_contents(_raw_ast(dst), _raw_ast(src), _raw_ast(size), _raw_ast(condition), **kwargs)

angr/storage/memory_object.py

@@ -42,7 +42,7 @@ class SimMemoryObject:
             raise SimMemoryError("bytes can only be stored big-endian")
         self._byte_width = byte_width
         self.base = base
-        self.object = obj
+        self.object: claripy.ast.BV | claripy.ast.FP = obj
         self.length = obj_bit_size(obj) // self._byte_width if length is None else length
         self.endness = endness
         self._concrete_bytes: bytes | None = None
@@ -98,8 +98,9 @@ class SimMemoryObject:
             return o if allow_concrete else claripy.BVV(o)
 
         offset = addr - self.base
+        bv_obj = claripy.fpToIEEEBV(self.object) if isinstance(self.object, claripy.ast.FP) else self.object
         try:
-            thing = bv_slice(self.object, offset, length, self.endness == "Iend_LE", self._byte_width)
+            thing = bv_slice(bv_obj, offset, length, self.endness == "Iend_LE", self._byte_width)
         except claripy.ClaripyOperationError:
             # hacks to handle address space wrapping
             if offset >= 0:
@@ -110,7 +111,7 @@ class SimMemoryObject:
                 offset += 2**64
             else:
                 raise
-            thing = bv_slice(self.object, offset, length, self.endness == "Iend_LE", self._byte_width)
+            thing = bv_slice(bv_obj, offset, length, self.endness == "Iend_LE", self._byte_width)
 
         if self.endness != endness:
             thing = thing.reversed

angr/utils/constants.py

@@ -6,4 +6,4 @@ MAX_POINTSTO_BITS = -1330 * 8
 
 
 def is_alignment_mask(n):
-    return n in {0xFFFFFFFFFFFFFFE0, 0xFFFFFFFFFFFFFFF0, 0xFFFFFFF0, 0xFFFFFFFC}
+    return n in {0xFFFFFFFFFFFFFFE0, 0xFFFFFFFFFFFFFFF0, 0xFFFFFFF0, 0xFFFFFFFC, 0xFFFFFFF8}

angr/utils/graph.py

@@ -414,6 +414,7 @@ class Dominators:
         container_nodes = {}
 
         traversed_nodes = set()
+        endnode_encountered = False
         while queue:
             node = queue.pop()
 
@@ -433,9 +434,11 @@ class Dominators:
                 # may end with a loop.
                 if self._reverse:
                     # Add an edge between the start node and this node
+                    endnode_encountered = True
                     new_graph.add_edge(start_node, container_node)
                 else:
                     # Add an edge between our this node and end node
+                    endnode_encountered = True
                     new_graph.add_edge(container_node, end_node)
 
             for s in successors:
@@ -451,6 +454,18 @@ class Dominators:
                 if container_s not in traversed_nodes:
                     queue.append(s)
 
+        if not endnode_encountered:
+            # the graph is a circle with no end node. we run it with DFS to identify an end node
+            nn = next((nn for nn in networkx.dfs_postorder_nodes(graph) if nn in container_nodes), None)
+            if nn is not None:
+                if self._reverse:
+                    new_graph.add_edge(start_node, container_nodes[nn])
+                else:
+                    new_graph.add_edge(container_nodes[nn], end_node)
+            else:
+                # the graph must be empty - totally unexpected!
+                raise RuntimeError("Cannot find any end node candidates in the graph. Is the graph empty?")
+
         if self._reverse:
             # Add the end node
             new_graph.add_edge(container_nodes[n], end_node)

angr/vaults.py

@@ -311,7 +311,7 @@ class VaultShelf(VaultDict):
 
     def __init__(self, path=None):
         self._path = tempfile.mktemp() if path is None else path
-        s = shelve.open(self._path, protocol=-1)
+        s = shelve.open(self._path, protocol=-1)  # noqa: SIM115
         super().__init__(s)
 
     def close(self):
@@ -334,7 +334,7 @@ class VaultDirShelf(VaultDict):
     @contextlib.contextmanager
     def _locked_shelve(self, shelve_path):
         with self._lock:
-            self._dict = shelve.open(shelve_path, protocol=-1)
+            self._dict = shelve.open(shelve_path, protocol=-1)  # noqa: SIM115
             yield
             self._dict.close()
             self._dict = None

{angr-9.2.122.dist-info → angr-9.2.124.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: angr
-Version: 9.2.122
+Version: 9.2.124
 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
@@ -10,18 +10,19 @@ Classifier: Programming Language :: Python :: 3 :: Only
 Classifier: Programming Language :: Python :: 3.10
 Classifier: Programming Language :: Python :: 3.11
 Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
 Requires-Python: >=3.10
 Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: CppHeaderParser
 Requires-Dist: GitPython
-Requires-Dist: ailment==9.2.122
-Requires-Dist: archinfo==9.2.122
+Requires-Dist: ailment==9.2.124
+Requires-Dist: archinfo==9.2.124
 Requires-Dist: cachetools
 Requires-Dist: capstone==5.0.3
 Requires-Dist: cffi>=1.14.0
-Requires-Dist: claripy==9.2.122
-Requires-Dist: cle==9.2.122
+Requires-Dist: claripy==9.2.124
+Requires-Dist: cle==9.2.124
 Requires-Dist: itanium-demangler
 Requires-Dist: mulpyplexer
 Requires-Dist: nampa
@@ -30,7 +31,7 @@ Requires-Dist: protobuf>=5.28.2
 Requires-Dist: psutil
 Requires-Dist: pycparser>=2.18
 Requires-Dist: pyformlang
-Requires-Dist: pyvex==9.2.122
+Requires-Dist: pyvex==9.2.124
 Requires-Dist: rich>=13.1.0
 Requires-Dist: sortedcontainers
 Requires-Dist: sympy