Remove uses of claripy.ast.Base.__getattr__ (#1308)

angr · Aug 6, 2024 · dd052c2 · dd052c2
1 parent 7190172
commit dd052c2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/angrmanagement/ui/widgets/qast_viewer.py b/angrmanagement/ui/widgets/qast_viewer.py
@@ -57,7 +57,7 @@ def __init__(
 
     def mouseDoubleClickEvent(self, event) -> None:
         if self._ast is not None and not self._ast.symbolic:
-            self.workspace.viz(self._ast._model_concrete.value)
+            self.workspace.viz(claripy.backends.concrete.convert(self._ast).value)
 
     #
     # Properties

diff --git a/angrmanagement/ui/widgets/qstate_block.py b/angrmanagement/ui/widgets/qstate_block.py
@@ -2,6 +2,7 @@
 
 import logging
 
+import claripy
 from PySide6.QtCore import QRectF, Qt
 from PySide6.QtGui import QColor, QPen
 from PySide6.QtWidgets import QGraphicsItem
@@ -54,9 +55,7 @@ def _init_widgets(self) -> None:
         if self.state.regs._ip.symbolic:
             self._label_str = str(self.state.regs._ip)
         else:
-            addr = self.state.regs._ip._model_concrete.value
-            self._label_str = f"{addr:#x}"
-        self._label_str = "State " + self._label_str
+            addr = claripy.backends.concrete.convert(self.state.regs._ip).value
 
         self.addr = addr