angr 9.2.165__cp310-abi3-macosx_10_12_x86_64.whl

angr/ailment/manager.py

@@ -0,0 +1,33 @@
+from __future__ import annotations
+import itertools
+
+
+class Manager:
+    def __init__(self, name: str | None = None, arch=None):
+        self.name = name
+        self.arch = arch
+
+        self.atom_ctr = itertools.count()
+
+        self._ins_addr: int | None = None
+
+        ###
+        # vex specific
+        ###
+        self.vex_stmt_idx: int | None = None
+        self.tyenv = None
+        self.block_addr = None
+
+    def next_atom(self):
+        return next(self.atom_ctr)
+
+    def reset(self):
+        self.atom_ctr = itertools.count()
+
+    @property
+    def ins_addr(self) -> int | None:
+        return self._ins_addr
+
+    @ins_addr.setter
+    def ins_addr(self, v):
+        self._ins_addr = v