svf-lib 1.0.1107 → 1.0.1110

package/SVF-linux/include/MemoryModel/PointsTo.h

@@ -17,6 +17,7 @@
 #include "Util/SVFBasicTypes.h"
 #include "Util/BitVector.h"
 #include "Util/CoreBitVector.h"
+#include "Util/SparseBitVector.h"
 
 namespace SVF
 {
@@ -162,7 +163,7 @@ private:
     union
     {
         /// Sparse bit vector backing.
-        SparseBitVector sbv;
+        SparseBitVector<> sbv;
         /// Core bit vector backing.
         CoreBitVector cbv;
         /// Bit vector backing.
@@ -223,7 +224,7 @@ public:
         /// TODO: std::variant when we move to C++17.
         union
         {
-            SparseBitVector::iterator sbvIt;
+            SparseBitVector<>::iterator sbvIt;
             CoreBitVector::iterator cbvIt;
             BitVector::iterator bvIt;
         };

package/SVF-linux/include/SVF-FE/LLVMModule.h

@@ -209,6 +209,9 @@ public:
     }
 
 private:
+    std::vector<const Function *> getLLVMGlobalFunctions(
+        const GlobalVariable *global);
+
     void loadModules(const std::vector<std::string> &moduleNameVec);
     void addSVFMain();
     void initialize();

package/SVF-linux/include/Util/SVFBasicTypes.h

@@ -35,9 +35,10 @@
 #include <llvm/IR/BasicBlock.h>
 #include <llvm/ADT/SmallVector.h>
 
-#include <llvm/ADT/SparseBitVector.h>	// for points-to
 #include <llvm/Support/CommandLine.h>	// for command line options
 
+#include <Util/SparseBitVector.h>
+
 #include <iostream>
 #include <vector>
 #include <list>
@@ -92,8 +93,8 @@ typedef unsigned SymID;
 typedef unsigned CallSiteID;
 typedef unsigned ThreadID;
 
-typedef llvm::SparseBitVector<> NodeBS;
-typedef llvm::SparseBitVector<> SparseBitVector;
+typedef SparseBitVector<> NodeBS;
+//typedef SparseBitVector<> SparseBitVector;
 //typedef NodeBS PointsTo;
 class PointsTo;
 typedef PointsTo AliasSet;
@@ -297,9 +298,9 @@ template <> struct std::hash<SVF::NodePair>
 
 /// Specialise hash for SparseBitVectors.
 template <unsigned N>
-struct std::hash<llvm::SparseBitVector<N>>
+struct std::hash<SVF::SparseBitVector<N>>
 {
-    size_t operator()(const llvm::SparseBitVector<N> &sbv) const
+    size_t operator()(const SVF::SparseBitVector<N> &sbv) const
     {
         SVF::Hash<std::pair<std::pair<size_t, size_t>, size_t>> h;
         return h(std::make_pair(std::make_pair(sbv.count(), sbv.find_first()), sbv.find_last()));