From dd052c25fccb9378542d074b6e61f281961ea0a2 Mon Sep 17 00:00:00 2001
From: Kevin Phoenix <kevin@kphoenix.us>
Date: Tue, 6 Aug 2024 14:10:33 -0700
Subject: [PATCH] Remove uses of claripy.ast.Base.__getattr__ (#1308)

---
 angrmanagement/ui/widgets/qast_viewer.py  | 2 +-
 angrmanagement/ui/widgets/qstate_block.py | 5 ++---
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/angrmanagement/ui/widgets/qast_viewer.py b/angrmanagement/ui/widgets/qast_viewer.py
index 7745e21c2..a9f6680d9 100644
--- 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
index 7ea74b4b9..7bf2e6da7 100644
--- 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