svf-lib 1.0.2369 → 1.0.2371

package/SVF-osx/include/Graphs/CallGraph.h

@@ -357,7 +357,7 @@ public:
     /// Get call graph node
     //@{
 
-    const CallGraphNode* getCallGraphNode(const std::string& name);
+    const CallGraphNode* getCallGraphNode(const std::string& name) const;
 
     inline CallGraphNode* getCallGraphNode(NodeID id) const
     {

package/SVF-osx/include/SVFIR/SVFIR.h

@@ -96,7 +96,7 @@ private:
     ICFG* icfg; // ICFG
     CommonCHGraph* chgraph; // class hierarchy graph
     CallSiteSet callSiteSet; /// all the callsites of a program
-    CallGraph* callGraph; /// call graph
+    CallGraph* callGraph; /// Callgraph with direct calls only; no change allowed after init and use callgraph in PointerAnalysis for indirect calls)
 
     static std::unique_ptr<SVFIR> pag;	///< Singleton pattern here to enable instance of SVFIR can only be created once.
     static std::string pagReadFromTxt;
@@ -176,12 +176,8 @@ public:
         return chgraph;
     }
 
-    /// Set/Get CG
-    inline void setCallGraph(CallGraph* c)
-    {
-        callGraph = c;
-    }
-    inline CallGraph* getCallGraph()
+    /// Get CG
+    inline const CallGraph* getCallGraph()
     {
         assert(callGraph && "empty CallGraph! Build SVF IR first!");
         return callGraph;

package/llvm_install.sh

@@ -14,17 +14,34 @@ LLVMHome="llvm-${LLVMVer}.obj"
 
 if [[ $sysOS == "Darwin" ]]
 then
-  ln -sf libSvfLLVM.3.2.dylib "$SVFHOME/SVF-osx/lib/libSvfLLVM.3.dylib"
-  ln -sf libSvfLLVM.3.dylib "$SVFHOME/SVF-osx/lib/libSvfLLVM.dylib"
-  ln -sf libSvfCore.3.2.dylib "$SVFHOME/SVF-osx/lib/libSvfCore.3.dylib"
-  ln -sf libSvfCore.3.dylib "$SVFHOME/SVF-osx/lib/libSvfCore.dylib"
+  # Create soft links for SvfLLVM
+  lib=$(find "$SVFHOME/SVF-osx/lib" -name "libSvfLLVM.*.*.dylib" -type f)
+  if [ -n "$lib" ]; then
+    filename=$(basename "$lib")
+    major_version=$(echo "$filename" | sed -E 's/libSvfLLVM\.([0-9]+)\.[0-9]+\.dylib/\1/')
+    minor_version=$(echo "$filename" | sed -E 's/libSvfLLVM\.[0-9]+\.([0-9]+)\.dylib/\1/')
+    # Create links for SvfLLVM
+    ln -sf "$filename" "$SVFHOME/SVF-osx/lib/libSvfLLVM.$major_version.dylib"
+    ln -sf "libSvfLLVM.$major_version.dylib" "$SVFHOME/SVF-osx/lib/libSvfLLVM.dylib"
+    # Create links for SvfCore using the same version
+    ln -sf "libSvfCore.$major_version.$minor_version.dylib" "$SVFHOME/SVF-osx/lib/libSvfCore.$major_version.dylib"
+    ln -sf "libSvfCore.$major_version.dylib" "$SVFHOME/SVF-osx/lib/libSvfCore.dylib"
+  fi
 elif [[ $sysOS == "Linux" ]]
 then
   # resume softlink libSvfLLVM.so since npm pack would ignore softlink
-  ln -sf libSvfLLVM.so.3.2 "$SVFHOME/SVF-linux-${arch}/lib/libSvfLLVM.so.3"
-  ln -sf libSvfLLVM.so.3 "$SVFHOME/SVF-linux-${arch}/lib/libSvfLLVM.so"
-  ln -sf libSvfCore.so.3.2 "$SVFHOME/SVF-linux-${arch}/lib/libSvfCore.so.3"
-  ln -sf libSvfCore.so.3 "$SVFHOME/SVF-linux-${arch}/lib/libSvfCore.so"
+  lib=$(find "$SVFHOME/SVF-linux-${arch}/lib" -name "libSvfLLVM.so.*.*" -type f)
+  if [ -n "$lib" ]; then
+    filename=$(basename "$lib")
+    major_version=$(echo "$filename" | sed -E 's/libSvfLLVM\.so\.([0-9]+)\.[0-9]+/\1/')
+    minor_version=$(echo "$filename" | sed -E 's/libSvfLLVM\.so\.[0-9]+\.([0-9]+)/\1/')
+    # Create links for SvfLLVM
+    ln -sf "$filename" "$SVFHOME/SVF-linux-${arch}/lib/libSvfLLVM.so.$major_version"
+    ln -sf "libSvfLLVM.so.$major_version" "$SVFHOME/SVF-linux-${arch}/lib/libSvfLLVM.so"
+    # Create links for SvfCore using the same version
+    ln -sf "libSvfCore.so.$major_version.$minor_version" "$SVFHOME/SVF-linux-${arch}/lib/libSvfCore.so.$major_version"
+    ln -sf "libSvfCore.so.$major_version" "$SVFHOME/SVF-linux-${arch}/lib/libSvfCore.so"
+  fi
 fi
 
 cd $SVFHOME

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.2369",
+  "version": "1.0.2371",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {