From 5114f45c30fb2e6c1da6cb5ab7aea05dd0b6ec74 Mon Sep 17 00:00:00 2001
From: hanyuone <hanyuan.li@unsw.edu.au>
Date: Wed, 29 Jul 2026 16:52:05 +1000
Subject: [PATCH] fix: memory address static functions in AbstractState

---
 .gitignore      | 3 +++
 pysvf/pysvf.pyi | 6 ++++--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 94274ad..e7cbbd0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,5 @@
 __pycache__
+/build/
+/dist/
 /.svfpy-build-venv/
+/*.egg-info/
diff --git a/pysvf/pysvf.pyi b/pysvf/pysvf.pyi
index 20c4f4b..97315ee 100644
--- a/pysvf/pysvf.pyi
+++ b/pysvf/pysvf.pyi
@@ -1972,8 +1972,10 @@ class AbstractState:
     def bottom(self) -> None: ...
     def getIDFromAddr(self, addr: int) -> int: ...
     def top(self) -> None: ...
-    def isVirtualMemAddress(self, val: int) -> bool: ...
-    def getVirtualMemAddress(self, idx: int) -> int: ...
+    @staticmethod
+    def isVirtualMemAddress(val: int) -> bool: ...
+    @staticmethod
+    def getVirtualMemAddress(idx: int) -> int: ...
     def isCmpBranchFeasible(self, cmp: 'CmpStmt', succ: int, abstract_state: AbstractState) -> bool: ...
     def isSwitchBranchFeasible(self, switch_var: SVFVar, succ: int, abstract_state: AbstractState) -> bool: ...
     def inVarToValTable(self, var_id: int) -> bool: ...