From e4f295af3d7218224bcf2cb97b4be5b8d343bd5b Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 10 Jul 2026 02:11:37 +0000
Subject: [PATCH 1/2] Initial plan


From d6d67f86c2fce24afb3d792885dbae05beb3fbbb Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 10 Jul 2026 02:15:13 +0000
Subject: [PATCH 2/2] Fix macOS build by including SVFGBuilder header

---
 src/svf-example.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/svf-example.cpp b/src/svf-example.cpp
index aa815ad..dece0b9 100644
--- a/src/svf-example.cpp
+++ b/src/svf-example.cpp
@@ -28,6 +28,7 @@
  */
 
 #include "Graphs/SVFG.h"
+#include "MSSA/SVFGBuilder.h"
 #include "SVF-LLVM/SVFIRBuilder.h"
 #include "Util/Options.h"
 #include "WPA/Andersen.h"