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

angr/state_plugins/solver.py

@@ -813,28 +813,22 @@ class SimSolver(SimStatePlugin):
         return solution
 
     @overload
-    def eval_upto(self, e: claripy.ast.BV, n: int, cast_to: None = ..., **kwargs) -> List[int]:
-        ...
+    def eval_upto(self, e: claripy.ast.BV, n: int, cast_to: None = ..., **kwargs) -> List[int]: ...
 
     @overload
-    def eval_upto(self, e: claripy.ast.BV, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]:
-        ...
+    def eval_upto(self, e: claripy.ast.BV, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]: ...
 
     @overload
-    def eval_upto(self, e: claripy.ast.Bool, n: int, cast_to: None = ..., **kwargs) -> List[bool]:
-        ...
+    def eval_upto(self, e: claripy.ast.Bool, n: int, cast_to: None = ..., **kwargs) -> List[bool]: ...
 
     @overload
-    def eval_upto(self, e: claripy.ast.Bool, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]:
-        ...
+    def eval_upto(self, e: claripy.ast.Bool, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]: ...
 
     @overload
-    def eval_upto(self, e: claripy.ast.FP, n: int, cast_to: None = ..., **kwargs) -> List[float]:
-        ...
+    def eval_upto(self, e: claripy.ast.FP, n: int, cast_to: None = ..., **kwargs) -> List[float]: ...
 
     @overload
-    def eval_upto(self, e: claripy.ast.FP, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]:
-        ...
+    def eval_upto(self, e: claripy.ast.FP, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]: ...
 
     def eval_upto(self, e, n, cast_to=None, **kwargs):
         """
@@ -859,28 +853,22 @@ class SimSolver(SimStatePlugin):
         return cast_vals
 
     @overload
-    def eval(self, e: claripy.ast.BV, cast_to: None = ..., **kwargs) -> int:
-        ...
+    def eval(self, e: claripy.ast.BV, cast_to: None = ..., **kwargs) -> int: ...
 
     @overload
-    def eval(self, e: claripy.ast.BV, cast_to: Type[CastType], **kwargs) -> CastType:
-        ...
+    def eval(self, e: claripy.ast.BV, cast_to: Type[CastType], **kwargs) -> CastType: ...
 
     @overload
-    def eval(self, e: claripy.ast.Bool, cast_to: None = ..., **kwargs) -> bool:
-        ...
+    def eval(self, e: claripy.ast.Bool, cast_to: None = ..., **kwargs) -> bool: ...
 
     @overload
-    def eval(self, e: claripy.ast.Bool, cast_to: Type[CastType], **kwargs) -> CastType:
-        ...
+    def eval(self, e: claripy.ast.Bool, cast_to: Type[CastType], **kwargs) -> CastType: ...
 
     @overload
-    def eval(self, e: claripy.ast.FP, cast_to: None = ..., **kwargs) -> float:
-        ...
+    def eval(self, e: claripy.ast.FP, cast_to: None = ..., **kwargs) -> float: ...
 
     @overload
-    def eval(self, e: claripy.ast.FP, cast_to: Type[CastType], **kwargs) -> CastType:
-        ...
+    def eval(self, e: claripy.ast.FP, cast_to: Type[CastType], **kwargs) -> CastType: ...
 
     def eval(self, e, cast_to=None, **kwargs):
         """
@@ -902,28 +890,22 @@ class SimSolver(SimStatePlugin):
         return self.eval_upto(e, 1, cast_to, **kwargs)[0]
 
     @overload
-    def eval_one(self, e: claripy.ast.BV, cast_to: None = ..., **kwargs) -> int:
-        ...
+    def eval_one(self, e: claripy.ast.BV, cast_to: None = ..., **kwargs) -> int: ...
 
     @overload
-    def eval_one(self, e: claripy.ast.BV, cast_to: Type[CastType], **kwargs) -> CastType:
-        ...
+    def eval_one(self, e: claripy.ast.BV, cast_to: Type[CastType], **kwargs) -> CastType: ...
 
     @overload
-    def eval_one(self, e: claripy.ast.Bool, cast_to: None = ..., **kwargs) -> bool:
-        ...
+    def eval_one(self, e: claripy.ast.Bool, cast_to: None = ..., **kwargs) -> bool: ...
 
     @overload
-    def eval_one(self, e: claripy.ast.Bool, cast_to: Type[CastType], **kwargs) -> CastType:
-        ...
+    def eval_one(self, e: claripy.ast.Bool, cast_to: Type[CastType], **kwargs) -> CastType: ...
 
     @overload
-    def eval_one(self, e: claripy.ast.FP, cast_to: None = ..., **kwargs) -> float:
-        ...
+    def eval_one(self, e: claripy.ast.FP, cast_to: None = ..., **kwargs) -> float: ...
 
     @overload
-    def eval_one(self, e: claripy.ast.FP, cast_to: Type[CastType], **kwargs) -> CastType:
-        ...
+    def eval_one(self, e: claripy.ast.FP, cast_to: Type[CastType], **kwargs) -> CastType: ...
 
     def eval_one(self, e, cast_to=None, **kwargs):
         """
@@ -946,28 +928,22 @@ class SimSolver(SimStatePlugin):
             raise
 
     @overload
-    def eval_atmost(self, e: claripy.ast.BV, n: int, cast_to: None = ..., **kwargs) -> List[int]:
-        ...
+    def eval_atmost(self, e: claripy.ast.BV, n: int, cast_to: None = ..., **kwargs) -> List[int]: ...
 
     @overload
-    def eval_atmost(self, e: claripy.ast.BV, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]:
-        ...
+    def eval_atmost(self, e: claripy.ast.BV, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]: ...
 
     @overload
-    def eval_atmost(self, e: claripy.ast.Bool, n: int, cast_to: None = ..., **kwargs) -> List[bool]:
-        ...
+    def eval_atmost(self, e: claripy.ast.Bool, n: int, cast_to: None = ..., **kwargs) -> List[bool]: ...
 
     @overload
-    def eval_atmost(self, e: claripy.ast.Bool, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]:
-        ...
+    def eval_atmost(self, e: claripy.ast.Bool, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]: ...
 
     @overload
-    def eval_atmost(self, e: claripy.ast.FP, n: int, cast_to: None = ..., **kwargs) -> List[float]:
-        ...
+    def eval_atmost(self, e: claripy.ast.FP, n: int, cast_to: None = ..., **kwargs) -> List[float]: ...
 
     @overload
-    def eval_atmost(self, e: claripy.ast.FP, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]:
-        ...
+    def eval_atmost(self, e: claripy.ast.FP, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]: ...
 
     def eval_atmost(self, e, n, cast_to=None, **kwargs):
         """
@@ -988,28 +964,22 @@ class SimSolver(SimStatePlugin):
         return r
 
     @overload
-    def eval_atleast(self, e: claripy.ast.BV, n: int, cast_to: None = ..., **kwargs) -> List[int]:
-        ...
+    def eval_atleast(self, e: claripy.ast.BV, n: int, cast_to: None = ..., **kwargs) -> List[int]: ...
 
     @overload
-    def eval_atleast(self, e: claripy.ast.BV, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]:
-        ...
+    def eval_atleast(self, e: claripy.ast.BV, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]: ...
 
     @overload
-    def eval_atleast(self, e: claripy.ast.Bool, n: int, cast_to: None = ..., **kwargs) -> List[bool]:
-        ...
+    def eval_atleast(self, e: claripy.ast.Bool, n: int, cast_to: None = ..., **kwargs) -> List[bool]: ...
 
     @overload
-    def eval_atleast(self, e: claripy.ast.Bool, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]:
-        ...
+    def eval_atleast(self, e: claripy.ast.Bool, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]: ...
 
     @overload
-    def eval_atleast(self, e: claripy.ast.FP, n: int, cast_to: None = ..., **kwargs) -> List[float]:
-        ...
+    def eval_atleast(self, e: claripy.ast.FP, n: int, cast_to: None = ..., **kwargs) -> List[float]: ...
 
     @overload
-    def eval_atleast(self, e: claripy.ast.FP, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]:
-        ...
+    def eval_atleast(self, e: claripy.ast.FP, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]: ...
 
     def eval_atleast(self, e, n, cast_to=None, **kwargs):
         """
@@ -1029,28 +999,22 @@ class SimSolver(SimStatePlugin):
         return r
 
     @overload
-    def eval_exact(self, e: claripy.ast.BV, n: int, cast_to: None = ..., **kwargs) -> List[int]:
-        ...
+    def eval_exact(self, e: claripy.ast.BV, n: int, cast_to: None = ..., **kwargs) -> List[int]: ...
 
     @overload
-    def eval_exact(self, e: claripy.ast.BV, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]:
-        ...
+    def eval_exact(self, e: claripy.ast.BV, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]: ...
 
     @overload
-    def eval_exact(self, e: claripy.ast.Bool, n: int, cast_to: None = ..., **kwargs) -> List[bool]:
-        ...
+    def eval_exact(self, e: claripy.ast.Bool, n: int, cast_to: None = ..., **kwargs) -> List[bool]: ...
 
     @overload
-    def eval_exact(self, e: claripy.ast.Bool, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]:
-        ...
+    def eval_exact(self, e: claripy.ast.Bool, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]: ...
 
     @overload
-    def eval_exact(self, e: claripy.ast.FP, n: int, cast_to: None = ..., **kwargs) -> List[float]:
-        ...
+    def eval_exact(self, e: claripy.ast.FP, n: int, cast_to: None = ..., **kwargs) -> List[float]: ...
 
     @overload
-    def eval_exact(self, e: claripy.ast.FP, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]:
-        ...
+    def eval_exact(self, e: claripy.ast.FP, n: int, cast_to: Type[CastType], **kwargs) -> List[CastType]: ...
 
     def eval_exact(self, e, n, cast_to=None, **kwargs):
         """

angr/state_plugins/unicorn_engine.py

@@ -170,9 +170,9 @@ class STOP:
     stop_message[STOP_VEX_LIFT_FAILED] = "Failed to lift block to VEX"
     stop_message[STOP_SYMBOLIC_PC] = "Instruction pointer became symbolic"
     stop_message[STOP_SYMBOLIC_READ_ADDR] = "Attempted to read from symbolic address"
-    stop_message[
-        STOP_SYMBOLIC_READ_SYMBOLIC_TRACKING_DISABLED
-    ] = "Attempted to read symbolic data from memory but symbolic tracking is disabled"
+    stop_message[STOP_SYMBOLIC_READ_SYMBOLIC_TRACKING_DISABLED] = (
+        "Attempted to read symbolic data from memory but symbolic tracking is disabled"
+    )
     stop_message[STOP_SYMBOLIC_WRITE_ADDR] = "Attempted to write to symbolic address"
     stop_message[STOP_SYMBOLIC_BLOCK_EXIT_CONDITION] = "Guard condition of block's exit statement is symbolic"
     stop_message[STOP_SYMBOLIC_BLOCK_EXIT_TARGET] = "Target of default exit of block is symbolic"

angr/storage/file.py

@@ -438,15 +438,19 @@ class SimPackets(SimFileBase):
             self.content = []
         else:
             self.content = [
-                x
-                if type(x) is tuple
-                else (x, len(x) // 8)
-                if isinstance(x, claripy.Bits)
-                else (x.ast, len(x) // 8)
-                if isinstance(x, SimActionObject)
-                else (claripy.BVV(x), len(x))
-                if type(x) is bytes
-                else None
+                (
+                    x
+                    if type(x) is tuple
+                    else (
+                        (x, len(x) // 8)
+                        if isinstance(x, claripy.Bits)
+                        else (
+                            (x.ast, len(x) // 8)
+                            if isinstance(x, SimActionObject)
+                            else (claripy.BVV(x), len(x)) if type(x) is bytes else None
+                        )
+                    )
+                )
                 for x in self.content
             ]
             if any(x is None for x in self.content):

angr/storage/memory_mixins/paged_memory/pages/cooperation.py

@@ -77,9 +77,11 @@ class MemoryObjectMixin(CooperationBase):
             elements = [
                 o.bytes_at(
                     a,
-                    ((c_objects[i + 1][0] - a) & mask)
-                    if i != len(c_objects) - 1
-                    else ((c_objects[0][0] + size - a) & mask),
+                    (
+                        ((c_objects[i + 1][0] - a) & mask)
+                        if i != len(c_objects) - 1
+                        else ((c_objects[0][0] + size - a) & mask)
+                    ),
                     endness=endness,
                 )
                 for i, (a, o) in enumerate(c_objects)
@@ -184,9 +186,11 @@ class MemoryObjectSetMixin(CooperationBase):
                 if o.includes(a):
                     chopped = o.bytes_at(
                         a,
-                        ((c_objects[i + 1][0] - a) & mask)
-                        if i != len(c_objects) - 1
-                        else ((c_objects[0][0] + size - a) & mask),
+                        (
+                            ((c_objects[i + 1][0] - a) & mask)
+                            if i != len(c_objects) - 1
+                            else ((c_objects[0][0] + size - a) & mask)
+                        ),
                         endness=endness,
                     )
                     chopped_set.add(chopped)

angr/storage/memory_mixins/paged_memory/pages/multi_values.py

@@ -33,20 +33,12 @@ class MultiValues:
         self._single_value = (
             None
             if v is None
-            else v
-            if isinstance(v, claripy.ast.Bits)
-            else v._single_value
-            if isinstance(v, MultiValues)
-            else None
+            else v if isinstance(v, claripy.ast.Bits) else v._single_value if isinstance(v, MultiValues) else None
         )
         self._values = (
             offset_to_values
             if offset_to_values is not None
-            else v
-            if isinstance(v, dict)
-            else v._values
-            if isinstance(v, MultiValues)
-            else None
+            else v if isinstance(v, dict) else v._values if isinstance(v, MultiValues) else None
         )
 
         if self._single_value is None and self._values is None:

angr/storage/memory_mixins/regioned_memory/regioned_memory_mixin.py

@@ -307,12 +307,12 @@ class RegionedMemoryMixin(MemoryMixin):
                 self.state,
                 related_function_addr,
                 self.endness,
-                cle_memory_backer=self._cle_memory_backer.get(key, None)
-                if self._cle_memory_backer is not None
-                else None,
-                dict_memory_backer=self._dict_memory_backer.get(key, None)
-                if self._dict_memory_backer is not None
-                else None,
+                cle_memory_backer=(
+                    self._cle_memory_backer.get(key, None) if self._cle_memory_backer is not None else None
+                ),
+                dict_memory_backer=(
+                    self._dict_memory_backer.get(key, None) if self._dict_memory_backer is not None else None
+                ),
             )
 
         return self._regions[key].load(addr, size, bbl_addr, stmt_id, ins_addr, **kwargs)
@@ -324,12 +324,12 @@ class RegionedMemoryMixin(MemoryMixin):
                 self.state,
                 related_function_addr,
                 self.endness,
-                cle_memory_backer=self._cle_memory_backer.get(key, None)
-                if self._cle_memory_backer is not None
-                else None,
-                dict_memory_backer=self._dict_memory_backer.get(key, None)
-                if self._dict_memory_backer is not None
-                else None,
+                cle_memory_backer=(
+                    self._cle_memory_backer.get(key, None) if self._cle_memory_backer is not None else None
+                ),
+                dict_memory_backer=(
+                    self._dict_memory_backer.get(key, None) if self._dict_memory_backer is not None else None
+                ),
             )
 
         self._regions[key].store(

angr/utils/graph.py

@@ -473,6 +473,8 @@ class Dominators:
             stack = [start_node]
             while len(stack) > 0:
                 node = stack.pop()
+                if node in scanned_nodes:
+                    continue
                 counter += 1
 
                 # Mark it as scanned
@@ -491,7 +493,6 @@ class Dominators:
                     if s not in scanned_nodes:
                         stack.append(s)
                         parent[s] = node
-                        scanned_nodes.add(s)
 
             if counter >= all_nodes_count:
                 break

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: angr
-Version: 9.2.85
+Version: 9.2.87
 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.85
-Requires-Dist: archinfo ==9.2.85
+Requires-Dist: ailment ==9.2.87
+Requires-Dist: archinfo ==9.2.87
 Requires-Dist: cachetools
 Requires-Dist: capstone ==5.0.0.post1
 Requires-Dist: cffi >=1.14.0
-Requires-Dist: claripy ==9.2.85
-Requires-Dist: cle ==9.2.85
+Requires-Dist: claripy ==9.2.87
+Requires-Dist: cle ==9.2.87
 Requires-Dist: dpkt
 Requires-Dist: itanium-demangler
 Requires-Dist: mulpyplexer
@@ -32,7 +32,7 @@ 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.85
+Requires-Dist: pyvex ==9.2.87
 Requires-Dist: rich >=13.1.0
 Requires-Dist: rpyc
 Requires-Dist: sortedcontainers