Port Assignment-3/Python helper to AbstractInterpretation as well

Mirror the C++ port: AbstractStateManager was folded into
AbstractInterpretation upstream and removed; the Python helper
similarly switches from 'pysvf.AbstractStateManager(svfir, ander)' to
'pysvf.AbstractInterpretation.getAEInstance()'.

That requires the matching SVF-Python change (PR on bjjwwang/SVF-Python2:
fix/port-AE-bindings-to-AbstractInterpretation) to land first so a
fresh pysvf wheel actually exposes 'AbstractInterpretation.getAEInstance()'.

The Andersen instance is no longer needed: the AI singleton pulls
SVFIR from PAG::getPAG() and runs its own pointer analysis when
needed.  Drop the explicit 'self.ander = pysvf.AndersenWaveDiff(...)'
line.

Verified end-to-end:
- 'python3 -c "import ast; ast.parse(open(...))"' on the patched
  helper -> syntax OK.
- Built the matching SVF-Python wheel in 'docker run --rm
  ubuntu:24.04', installed it, and 'import Assignment_3_Helper'
  succeeds — both AbstractExecutionHelper and AbstractExecution
  classes resolve.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: bjjwwang

Assignment-3/Python/Assignment_3_Helper.py

@@ -204,7 +204,7 @@ class AbstractExecutionHelper:
     managing GEP object offsets, and other utilities.
     """
 
-    def __init__(self, svfir: pysvf.SVFIR, svf_state_mgr: pysvf.AbstractStateManager = None):
+    def __init__(self, svfir: pysvf.SVFIR, svf_state_mgr: 'pysvf.AbstractInterpretation' = None):
         """
         Initialize member variables.
         """
@@ -222,7 +222,8 @@ def __init__(self, svfir: pysvf.SVFIR, svf_state_mgr: pysvf.AbstractStateManager
 
     # ------------------------------------------------------------------
     # Helpers that used to live as instance methods on `pysvf.AbstractState`.
-    # Upstream (Semi-Sparse refactor) moved them to `AbstractStateManager`,
+    # Upstream (Semi-Sparse refactor) moved them to `AbstractInterpretation`
+    # (formerly `AbstractStateManager`, whose public header was removed),
     # which requires a sparsity-aware trace we don't keep here. We re-implement
     # the dense-mode behavior using only public AbstractState surface so the
     # Python side mirrors the C++ side (`AbstractExecutionHelper::getByteOffset`).
@@ -446,8 +447,11 @@ def __init__(self, pag: pysvf.SVFIR):
         # as the GEP/load/store helpers (getGepByteOffset etc.). Replaces
         # the old `self.post_abs_trace` dict so reads/writes on
         # `self.post_abs_trace[node]` go through the mgr's trace.
-        self.ander = pysvf.AndersenWaveDiff(self.svfir)
-        self.svf_state_mgr = pysvf.AbstractStateManager(self.svfir, self.ander)
+        # AbstractStateManager was folded into AbstractInterpretation upstream
+        # (the AbstractStateManager.h header was removed).  Use the
+        # AbstractInterpretation singleton; it pulls SVFIR from PAG::getPAG()
+        # internally and does not need an explicit Andersen instance.
+        self.svf_state_mgr = pysvf.AbstractInterpretation.getAEInstance()
         # Alias preserved so existing call-sites `self.post_abs_trace[node]`
         # keep working. The mgr supports __getitem__/__setitem__/__contains__.
         self.post_abs_trace = self.svf_state_mgr