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: ...