Update svflib

SVF-tools · Aug 26, 2024 · 856d1fc · 856d1fc
1 parent f2bada5
commit 856d1fc
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 1 deletion.
diff --git a/SVF-osx/Release-build/bin/ae b/SVF-osx/Release-build/bin/ae
diff --git a/SVF-osx/Release-build/include/AE/Svfexe/AbstractInterpretation.h b/SVF-osx/Release-build/include/AE/Svfexe/AbstractInterpretation.h
@@ -358,7 +358,7 @@ class AbstractInterpretation
 
 protected:
     // there data should be shared with subclasses
-    Map<std::string, std::function<void(const CallSite &)>> func_map;
+    Map<std::string, std::function<void(const CallICFGNode*)>> func_map;
     Set<const CallICFGNode*> checkpoints;
     Set<std::string> checkpoint_names;
     Map<const ICFGNode*, AbstractState>

diff --git a/SVF-osx/Release-build/lib/libSvfCore.a b/SVF-osx/Release-build/lib/libSvfCore.a
diff --git a/SVF-osx/Release-build/lib/libSvfLLVM.a b/SVF-osx/Release-build/lib/libSvfLLVM.a