svf-lib 1.0.2557 → 1.0.2559

package/SVF-linux-x86_64/include/AE/Svfexe/AbstractInterpretation.h

@@ -189,16 +189,6 @@ public:
         return abstractTrace[node];
     }
 
-    // ---- Def/Use site queries (sparsity-aware) ------------------------
-
-    virtual Set<const ICFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
-    virtual Set<const ICFGNode*> getUseSitesOfValVar(const ValVar* var) const;
-    virtual const ICFGNode* getDefSiteOfValVar(const ValVar* var) const;
-    virtual const ICFGNode* getDefSiteOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
-
-    /// Propagate an ObjVar's abstract value from defSite to all its use-sites.
-    void propagateObjVarAbsVal(const ObjVar* var, const ICFGNode* defSite);
-
 protected:
     /// Factory-only construction.  External callers must use getAEInstance();
     /// `SparseAbstractInterpretation` reaches this via its own ctor.

package/SVF-linux-x86_64/include/AE/Svfexe/SparseAbstractInterpretation.h

@@ -98,10 +98,14 @@ public:
     bool hasAbsValue(const ValVar* var, const ICFGNode* node) const override;
     using SemiSparseAbstractInterpretation::hasAbsValue;
 
-    Set<const ICFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const ICFGNode* node) const override;
-    Set<const ICFGNode*> getUseSitesOfValVar(const ValVar* var) const override;
-    const ICFGNode* getDefSiteOfValVar(const ValVar* var) const override;
-    const ICFGNode* getDefSiteOfObjVar(const ObjVar* obj, const ICFGNode* node) const override;
+    const Set<const ICFGNode*> getUseSitesOfValVar(const ValVar* var) const;
+    const ICFGNode* getDefSiteOfValVar(const ValVar* var) const;
+    /// Given an ObjVar and its def-site ICFGNode, find all use-site ICFGNodes
+    /// by following outgoing IndirectSVFGEdges whose pts contains the ObjVar
+    const Set<const ICFGNode*> getDefSiteOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
+    /// Given an ObjVar and its def-site ICFGNode, find all use-site ICFGNodes
+    /// by following outgoing IndirectSVFGEdges whose pts contains the ObjVar
+    const Set<const ICFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
 
 protected:
     /// Build the SVFG on top of the semi-sparse precompute.

package/SVF-linux-x86_64/include/Graphs/SVFG.h

@@ -179,21 +179,21 @@ public:
         return hasDef(valVar) && hasSVFGNode(getDef(valVar));
     }
 
-    /// Given a ValVar and its SVFGNode, find the definition-site ICFGNode
+    /// Given a ValVar and its SVFGNode, find the definition-site SVFGNode
     /// by following incoming direct VFGEdges (asserts unique definition)
-    const ICFGNode* getDefSiteOfValVar(const ValVar* var) const;
+    const SVFGNode* getDefSiteOfValVar(const ValVar* var) const;
 
-    /// Given an ObjVar and its use-site ICFGNode, find the definition-site ICFGNode
+    /// Given an ObjVar and its use-site SVFGNode, find the definition-site ICFGNode
     /// by following incoming IndirectSVFGEdges whose pts contains the ObjVar (asserts unique definition)
-    const ICFGNode* getDefSiteOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
+    const Set<const SVFGNode*> getDefSiteOfObjVar(const ObjVar* obj, const SVFGNode* node) const;
 
-    /// Given a ValVar, find all use-site ICFGNodes
+    /// Given a ValVar, find all use-site SVFGNodes
     /// by following outgoing direct VFGEdges from its unique definition SVFGNode
-    const Set<const ICFGNode*> getUseSitesOfValVar(const ValVar* var) const;
+    const Set<const SVFGNode*> getUseSitesOfValVar(const ValVar* var) const;
 
-    /// Given an ObjVar and its def-site ICFGNode, find all use-site ICFGNodes
+    /// Given an ObjVar and its def-site SVFGNodes, find all use-site SVFGNodes
     /// by following outgoing IndirectSVFGEdges whose pts contains the ObjVar
-    const Set<const ICFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
+    const Set<const SVFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const SVFGNode* node) const;
 
     /// Perform statistics
     void performStat();

package/SVF-osx/include/Util/config.h

@@ -9,7 +9,7 @@
 #define SVF_CONFIG_H_IN
 
 // Expose base properties of this SVF instance
-#define SVF_VERSION "3.3"
+#define SVF_VERSION "3.4"
 #define SVF_BUILD_TYPE "Release"
 #define SVF_C_STANDARD "11"
 #define SVF_CXX_STANDARD "17"

package/SVF-osx/lib/cmake/SVF/SVFConfig.cmake

@@ -32,7 +32,7 @@ list(PREPEND CMAKE_MODULE_PATH "${CMAKE_CURRENT_LIST_DIR}" "${CMAKE_CURRENT_LIST
 include("${CMAKE_CURRENT_LIST_DIR}/SVFTargets.cmake")
 
 # Set basic variables from this SVF build
-set(SVF_VERSION 3.3)
+set(SVF_VERSION 3.4)
 set(SVF_BUILD_TYPE Release)
 set(SVF_SHARED_LIBS ON)
 set(SVF_C_STANDARD 11)

package/SVF-osx/lib/cmake/SVF/SVFConfigVersion.cmake

@@ -7,7 +7,7 @@
 # PACKAGE_VERSION_COMPATIBLE if the current version is >= requested version.
 # The variable CVF_VERSION must be set before calling configure_file().
 
-set(PACKAGE_VERSION "3.3")
+set(PACKAGE_VERSION "3.4")
 
 if (PACKAGE_FIND_VERSION_RANGE)
   # Package version must be in the requested version range

package/SVF-osx/lib/cmake/SVF/SVFTargets-release.cmake

@@ -8,22 +8,22 @@ set(CMAKE_IMPORT_FILE_VERSION 1)
 # Import target "SVF::SvfCore" for configuration "Release"
 set_property(TARGET SVF::SvfCore APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
 set_target_properties(SVF::SvfCore PROPERTIES
-  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfCore.3.3.dylib"
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfCore.3.4.dylib"
   IMPORTED_SONAME_RELEASE "@rpath/libSvfCore.3.dylib"
   )
 
 list(APPEND _cmake_import_check_targets SVF::SvfCore )
-list(APPEND _cmake_import_check_files_for_SVF::SvfCore "${_IMPORT_PREFIX}/lib/libSvfCore.3.3.dylib" )
+list(APPEND _cmake_import_check_files_for_SVF::SvfCore "${_IMPORT_PREFIX}/lib/libSvfCore.3.4.dylib" )
 
 # Import target "SVF::SvfLLVM" for configuration "Release"
 set_property(TARGET SVF::SvfLLVM APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
 set_target_properties(SVF::SvfLLVM PROPERTIES
-  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfLLVM.3.3.dylib"
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfLLVM.3.4.dylib"
   IMPORTED_SONAME_RELEASE "@rpath/libSvfLLVM.3.dylib"
   )
 
 list(APPEND _cmake_import_check_targets SVF::SvfLLVM )
-list(APPEND _cmake_import_check_files_for_SVF::SvfLLVM "${_IMPORT_PREFIX}/lib/libSvfLLVM.3.3.dylib" )
+list(APPEND _cmake_import_check_files_for_SVF::SvfLLVM "${_IMPORT_PREFIX}/lib/libSvfLLVM.3.4.dylib" )
 
 # Import target "SVF::ae" for configuration "Release"
 set_property(TARGET SVF::ae APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)

package/SVF-osx/lib/pkgconfig/SVF.pc

@@ -6,7 +6,7 @@ includedir=${exec_prefix}/include
 
 Name: SVF
 Description: SVF Points to Analysis Framework
-Version: 3.3
+Version: 3.4
 Requires: z3
 Libs: -L${libdir} -lSvfCore -lSvfLLVM
 Cflags: -I${includedir}

package/package.json

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