Port Assignment-3/CPP from AbstractStateManager to AbstractInterpretation

Upstream SVF folded the AbstractStateManager class back into the .cpp
implementations and removed the public AE/Svfexe/AbstractStateManager.h
header.  Assignment_3.h still tried to include that header, so the
macOS-latest CI fails with:

    Assignment-3/CPP/Assignment_3.h:29:10: fatal error:
    'AE/Svfexe/AbstractStateManager.h' file not found

The methods Assignment-3 actually uses on the manager — getTrace(),
operator[], getGepByteOffset() — are now on AbstractInterpretation.
Switch the field type to AbstractInterpretation* and obtain it via the
upstream singleton (AbstractInterpretation::getAEInstance()).  The
singleton wires SVFIR from PAG::getPAG() internally, so we no longer
need to construct an explicit Andersen analysis just to feed the
manager.

The destructor used to 'delete svfStateMgr'; that's wrong for the
singleton (SVF owns its lifetime), so drop it.

Verified locally: docker run ubuntu:24.04 with svf-lib (v1.0.2555) +
LLVM 21.1.0 prebuilt + Z3, cmake . && make -j4 builds 100% — both
libassign3 and the ass3 binary link cleanly.

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

Author: bjjwwang

Assignment-3/CPP/Assignment_3.h

@@ -26,7 +26,7 @@
  */
 #include "Assignment_3_Helper.h"
 #include "AE/Svfexe/AbsExtAPI.h"
-#include "AE/Svfexe/AbstractStateManager.h"
+#include "AE/Svfexe/AbstractInterpretation.h"
 #include "SVFIR/SVFIR.h"
 
 namespace SVF {
@@ -122,7 +122,7 @@ namespace SVF {
 
 		/// Destructor
 		virtual ~AbstractExecution() {
-			delete svfStateMgr;
+			// svfStateMgr is the AbstractInterpretation singleton; SVF owns its lifetime.
 		}
 
 	 protected:
@@ -133,7 +133,7 @@ namespace SVF {
 		/// AbsExtAPI and the GEP/load/store helpers (getGepByteOffset etc.)
 		/// read and write through this manager; we don't keep a separate
 		/// postAbsTrace map any more.
-		AbstractStateManager* svfStateMgr = nullptr;
+		AbstractInterpretation* svfStateMgr = nullptr;
 
 		/// Map a function to its corresponding WTO
 		Map<const FunObjVar*, ICFGWTO*> funcToWTO;

Assignment-3/CPP/Assignment_3_Helper.cpp

@@ -543,8 +543,11 @@ void AbstractExecution::ensureAllAssertsValidated() {
 void AbstractExecution::analyse() {
 	// Init WTOs for all functions, and handle Global ICFGNode of SVFModule
 	initWTO();
-	AndersenWaveDiff* ander = AndersenWaveDiff::createAndersenWaveDiff(svfir);
-	svfStateMgr = new AbstractStateManager(svfir, ander);
+	// AbstractStateManager was folded into AbstractInterpretation upstream; the
+	// header AE/Svfexe/AbstractStateManager.h was removed.  Use the singleton
+	// AbstractInterpretation; it pulls SVFIR from PAG::getPAG() internally and
+	// does not need an explicit Andersen analysis to be passed in.
+	svfStateMgr = &AbstractInterpretation::getAEInstance();
 	utils = new AbsExtAPI(svfStateMgr);
 
 	// Handle the global node