svf-lib 1.0.998 → 1.0.1001

package/SVF-linux/include/Graphs/GraphPrinter.h

@@ -33,6 +33,7 @@
 
 #include <system_error>
 #include <llvm/Support/ToolOutputFile.h>
+#include <llvm/Support/GraphWriter.h>		// for graph write
 #include <llvm/Support/FileSystem.h>		// for file open flag
 #include <llvm/ADT/GraphTraits.h>
 

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

@@ -173,11 +173,6 @@ public:
         return getSVFGNode(getDef(pagNode));
     }
 
-    /// Return the corresponding SVFGNodes to a given llvm::Value.
-    /// return an empty list, if the no mapping is possible
-    std::set<const SVFGNode*> fromValue(const llvm::Value* value) const;
-
-
     /// Perform statistics
     void performStat();
 

package/SVF-linux/include/MSSA/MSSAMuChi.h

@@ -183,7 +183,7 @@ public:
     //@}
 
     /// Return load instruction
-    inline const LoadStmt* getLoadInst() const
+    inline const LoadStmt* getLoadStmt() const
     {
         return inst;
     }
@@ -482,7 +482,7 @@ public:
     }
 
     /// Get store instruction
-    inline const StoreStmt* getStoreInst() const
+    inline const StoreStmt* getStoreStmt() const
     {
         return inst;
     }

package/SVF-linux/include/MTA/MTA.h

@@ -11,6 +11,7 @@
 #include <set>
 #include <vector>
 #include "Util/BasicTypes.h"
+#include "SVF-FE/BasicTypes.h"
 
 namespace SVF
 {

package/SVF-linux/include/SABER/SaberCheckerAPI.h

@@ -54,7 +54,7 @@ public:
         CK_FCLOSE		/// File close
     };
 
-    typedef llvm::StringMap<CHECKER_TYPE> TDAPIMap;
+    typedef Map<std::string, CHECKER_TYPE> TDAPIMap;
 
 private:
     /// API map, from a string to threadAPI type

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

@@ -1,20 +1,48 @@
 #ifndef SVF_FE_BASIC_TYPES_H
 #define SVF_FE_BASIC_TYPES_H
 
+#include "SVF-FE/GEPTypeBridgeIterator.h"
+
+#include <llvm/Pass.h>
+
 #include <llvm/IR/Instructions.h>
 #include <llvm/IR/IntrinsicInst.h>
+#include <llvm/IR/LLVMContext.h>
 #include <llvm/IR/Metadata.h>
 #include <llvm/IR/DataLayout.h>
+#include <llvm/IR/IRBuilder.h>
+#include <llvm/IR/DebugInfo.h>
+#include <llvm/IR/InstIterator.h>
+#include <llvm/IR/GetElementPtrTypeIterator.h>
+#include <llvm/IR/DerivedTypes.h>
 
 #include <llvm/Analysis/MemoryLocation.h>
+#include <llvm/Analysis/ScalarEvolution.h>
+#include <llvm/Analysis/ScalarEvolutionExpressions.h>
+
+#include <llvm/Transforms/Utils/UnifyFunctionExitNodes.h>
 
 #include <llvm/Support/SourceMgr.h>
 
+typedef llvm::LLVMContext LLVMContext;
+typedef llvm::Use Use;
+typedef llvm::ModulePass ModulePass;
+typedef llvm::IRBuilder<> IRBuilder;
+#if LLVM_VERSION_MAJOR >= 12
+typedef llvm::UnifyFunctionExitNodesLegacyPass UnifyFunctionExitNodes;
+#else
+typedef llvm::UnifyFunctionExitNodes UnifyFunctionExitNodes;
+#endif
+
+
 typedef llvm::SMDiagnostic SMDiagnostic;
 
-typedef llvm::MetadataAsValue MetadataAsValue;
 typedef llvm::BlockAddress BlockAddress;
 
+// LLVM Metadata
+typedef llvm::MDString MDString;
+typedef llvm::MetadataAsValue MetadataAsValue;
+
 // LLVM data layout
 typedef llvm::StructLayout StructLayout;
 typedef llvm::ConstantStruct ConstantStruct;
@@ -25,6 +53,7 @@ typedef llvm::ConstantAggregate ConstantAggregate;
 typedef llvm::ConstantAggregateZero ConstantAggregateZero;
 typedef llvm::ConstantDataSequential ConstantDataSequential;
 typedef llvm::ConstantExpr ConstantExpr;
+typedef llvm::ConstantDataArray ConstantDataArray;
 
 // LLVM Instructions
 typedef llvm::AllocaInst AllocaInst;
@@ -60,4 +89,34 @@ typedef llvm::BinaryOperator BinaryOperator;
 typedef llvm::UnaryOperator UnaryOperator;
 typedef llvm::UndefValue UndefValue;
 
+// LLVM Debug Information
+typedef llvm::DebugInfoFinder DebugInfoFinder;
+typedef llvm::DISubroutineType DISubroutineType;
+typedef llvm::DIBasicType DIBasicType;
+typedef llvm::DISubrange DISubrange;
+typedef llvm::DINode DINode;
+typedef llvm::DINodeArray DINodeArray;
+typedef llvm::DITypeRefArray DITypeRefArray;
+
+// Iterators.
+typedef llvm::inst_iterator inst_iterator;
+typedef llvm::gep_type_iterator gep_type_iterator;
+typedef llvm::bridge_gep_iterator bridge_gep_iterator;
+typedef llvm::const_inst_iterator const_inst_iterator;
+typedef llvm::const_pred_iterator const_pred_iterator;
+
+// LLVM Scalar Evolution.
+typedef llvm::ScalarEvolutionWrapperPass ScalarEvolutionWrapperPass;
+typedef llvm::SCEVAddRecExpr SCEVAddRecExpr;
+typedef llvm::SCEVConstant SCEVConstant;
+typedef llvm::ScalarEvolution ScalarEvolution;
+typedef llvm::SCEV SCEV;
+
+// LLVM Types.
+typedef llvm::VectorType VectorType;
+#if (LLVM_VERSION_MAJOR >= 9)
+typedef llvm::FunctionCallee FunctionCallee;
+#endif
+
+
 #endif  // SVF_FE_BASIC_TYPES_H

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

@@ -33,6 +33,7 @@
 #include "Util/BasicTypes.h"
 #include "llvm/IR/LegacyPassManager.h"
 #include "llvm/Transforms/IPO/PassManagerBuilder.h"
+#include "SVF-FE/BasicTypes.h"
 
 namespace SVF
 {

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

@@ -30,6 +30,7 @@
 #ifndef INCLUDE_SVF_FE_LLVMMODULE_H_
 #define INCLUDE_SVF_FE_LLVMMODULE_H_
 
+#include "SVF-FE/BasicTypes.h"
 #include "SVF-FE/CPPUtil.h"
 #include "Util/BasicTypes.h"
 #include "Util/SVFModule.h"

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

@@ -31,7 +31,6 @@
 #define BASICTYPES_H_
 
 #include "Util/SVFBasicTypes.h"
-#include "SVF-FE/GEPTypeBridgeIterator.h"
 #include "Graphs/GraphPrinter.h"
 #include "Util/Casting.h"
 #include <llvm/ADT/SparseBitVector.h>
@@ -39,7 +38,6 @@
 #include <llvm/IR/InstVisitor.h>	// for instruction visitor
 #include <llvm/IR/InstIterator.h>	// for inst iteration
 #include <llvm/IR/GetElementPtrTypeIterator.h>	//for gep iterator
-#include <llvm/Analysis/ScalarEvolution.h>
 #include <llvm/ADT/StringExtras.h>	// for utostr_32
 #include <llvm/Analysis/AliasAnalysis.h>
 #include <llvm/Analysis/CallGraph.h>	// call graph
@@ -48,15 +46,10 @@
 #include <llvm/Bitcode/BitcodeWriter.h>		// for WriteBitcodeToFile
 #include <llvm/Bitcode/BitcodeReader.h>     /// for isBitcode
 #include <llvm/IRReader/IRReader.h>	// IR reader for bit file
-#include <llvm/Transforms/Utils/UnifyFunctionExitNodes.h>
 #include <llvm/Analysis/DominanceFrontier.h>
 #include <llvm/Analysis/PostDominators.h>
-#include <llvm/Analysis/ScalarEvolutionExpressions.h>
 #include <llvm/ADT/GraphTraits.h>		// for Graphtraits
-#include <llvm/Support/GraphWriter.h>		// for graph write
-#include <llvm/IR/IRBuilder.h>		// for instrument svf.main
 #include <llvm/Transforms/Utils/Local.h>	// for FindDbgAddrUses
-#include <llvm/IR/DebugInfo.h>
 
 #include "llvm/Analysis/LoopInfo.h"
 #include "llvm/IR/CFG.h"
@@ -68,7 +61,6 @@ class BddCond;
 
 
 /// LLVM Basic classes
-typedef llvm::LLVMContext LLVMContext;
 typedef llvm::Type Type;
 typedef llvm::Function Function;
 typedef llvm::BasicBlock BasicBlock;
@@ -80,28 +72,19 @@ typedef llvm::GlobalValue GlobalValue;
 typedef llvm::GlobalVariable GlobalVariable;
 typedef llvm::Module Module;
 typedef llvm::User User;
-typedef llvm::Use Use;
 typedef llvm::Loop Loop;
 typedef llvm::LoopInfo LoopInfo;
-#if LLVM_VERSION_MAJOR >= 12
-typedef llvm::UnifyFunctionExitNodesLegacyPass UnifyFunctionExitNodes;
-#else
-typedef llvm::UnifyFunctionExitNodes UnifyFunctionExitNodes;
-#endif
-typedef llvm::ModulePass ModulePass;
 
 /// LLVM outputs
 typedef llvm::raw_string_ostream raw_string_ostream;
 typedef llvm::raw_fd_ostream raw_fd_ostream;
 typedef llvm::StringRef StringRef;
-typedef llvm::ToolOutputFile ToolOutputFile;
 
 /// LLVM types
 typedef llvm::StructType StructType;
 typedef llvm::ArrayType ArrayType;
 typedef llvm::PointerType PointerType;
 typedef llvm::FunctionType FunctionType;
-typedef llvm::VectorType VectorType;
 
 /// LLVM data layout
 typedef llvm::DataLayout DataLayout;
@@ -114,66 +97,37 @@ typedef llvm::ConstantInt ConstantInt;
 typedef llvm::ConstantPointerNull ConstantPointerNull;
 typedef llvm::ConstantArray ConstantArray;
 typedef llvm::GlobalAlias GlobalAlias;
-typedef llvm::ConstantDataArray ConstantDataArray;
 
 /// LLVM metadata
 typedef llvm::NamedMDNode NamedMDNode;
-typedef llvm::MDString MDString;
 typedef llvm::MDNode MDNode;
 
-
 /// LLVM Instructions
 typedef llvm::CallInst CallInst;
 typedef llvm::StoreInst StoreInst;
 typedef llvm::LoadInst LoadInst;
 
-#if (LLVM_VERSION_MAJOR >= 9)
-typedef llvm::FunctionCallee FunctionCallee;
-#endif
-
-/// LLVM scalar evolution
-typedef llvm::ScalarEvolutionWrapperPass ScalarEvolutionWrapperPass;
-typedef llvm::ScalarEvolution ScalarEvolution;
-typedef llvm::SCEVAddRecExpr SCEVAddRecExpr;
-typedef llvm::SCEVConstant SCEVConstant;
-typedef llvm::SCEV SCEV;
-
 /// LLVM Dominators
 typedef llvm::DominanceFrontier DominanceFrontier;
 typedef llvm::DominatorTree DominatorTree;
 typedef llvm::PostDominatorTree PostDominatorTree;
 typedef llvm::DomTreeNode DomTreeNode;
 typedef llvm::DominanceFrontierBase<BasicBlock, false> DominanceFrontierBase;
-typedef llvm::PostDominatorTreeWrapperPass PostDominatorTreeWrapperPass;
-typedef llvm::LoopInfoWrapperPass LoopInfoWrapperPass;
 
 /// LLVM Iterators
-typedef llvm::inst_iterator inst_iterator;
 #if LLVM_VERSION_MAJOR >= 11
 typedef llvm::const_succ_iterator succ_const_iterator;
 #else
 typedef llvm::succ_const_iterator succ_const_iterator;
 #endif
-typedef llvm::const_inst_iterator const_inst_iterator;
-typedef llvm::const_pred_iterator const_pred_iterator;
-typedef llvm::gep_type_iterator gep_type_iterator;
-typedef llvm::bridge_gep_iterator bridge_gep_iterator;
 typedef llvm::GraphPrinter GraphPrinter;
-typedef llvm::IRBuilder<> IRBuilder;
 typedef llvm::IntegerType IntegerType;
 
 /// LLVM debug information
-typedef llvm::DebugInfoFinder DebugInfoFinder;
 typedef llvm::DIType DIType;
-typedef llvm::DIBasicType DIBasicType;
 typedef llvm::DICompositeType DICompositeType;
 typedef llvm::DIDerivedType DIDerivedType;
-typedef llvm::DISubroutineType DISubroutineType;
 typedef llvm::DISubprogram DISubprogram;
-typedef llvm::DISubrange DISubrange;
-typedef llvm::DINode DINode;
-typedef llvm::DINodeArray DINodeArray;
-typedef llvm::DITypeRefArray DITypeRefArray;
 namespace dwarf = llvm::dwarf;
 
 class SVFFunction : public SVFValue

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

@@ -93,8 +93,7 @@ public:
 private:
 
     //Each Function name is mapped to its extf_t
-    //  (hash_map and map are much slower).
-    llvm::StringMap<extf_t> info;
+    Map<std::string, extf_t> info;
     //A cache of is_ext results for all SVFFunction*'s (hash_map is fastest).
     Map<const SVFFunction*, bool> isext_cache;
 
@@ -141,7 +140,7 @@ public:
             unsigned end = funName.substr(start + 1).find('.');
             funName = "llvm." + funName.substr(start + 1, end);
         }
-        llvm::StringMap<extf_t>::const_iterator it= info.find(funName);
+        Map<std::string, extf_t>::const_iterator it= info.find(funName);
         if(it == info.end())
             return EFT_OTHER;
         else

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

@@ -37,7 +37,6 @@
 
 #include <llvm/ADT/SparseBitVector.h>	// for points-to
 #include <llvm/Support/CommandLine.h>	// for command line options
-#include <llvm/ADT/StringMap.h>	// for StringMap
 
 #include <iostream>
 #include <vector>
@@ -129,7 +128,6 @@ template<typename Key, typename Value, typename Hash = Hash<Key>,
                   typedef std::deque<NodeID> NodeDeque;
                   typedef NodeSet EdgeSet;
                   typedef std::vector<u32_t> CallStrCxt;
-                  typedef llvm::StringMap<u32_t> StringMap;
 
                   typedef unsigned Version;
                   typedef Set<Version> VersionSet;

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

@@ -67,7 +67,7 @@ public:
         HARE_PAR_FOR
     };
 
-    typedef llvm::StringMap<TD_TYPE> TDAPIMap;
+    typedef Map<std::string, TD_TYPE> TDAPIMap;
 
 private:
     /// API map, from a string to threadAPI type
@@ -333,7 +333,7 @@ public:
     //@}
 
     void performAPIStat(SVFModule* m);
-    void statInit(llvm::StringMap<u32_t>& tdAPIStatMap);
+    void statInit(Map<std::string, u32_t>& tdAPIStatMap);
 };
 
 } // End namespace SVF

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

@@ -33,6 +33,7 @@
 
 #include <system_error>
 #include <llvm/Support/ToolOutputFile.h>
+#include <llvm/Support/GraphWriter.h>		// for graph write
 #include <llvm/Support/FileSystem.h>		// for file open flag
 #include <llvm/ADT/GraphTraits.h>
 

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

@@ -173,11 +173,6 @@ public:
         return getSVFGNode(getDef(pagNode));
     }
 
-    /// Return the corresponding SVFGNodes to a given llvm::Value.
-    /// return an empty list, if the no mapping is possible
-    std::set<const SVFGNode*> fromValue(const llvm::Value* value) const;
-
-
     /// Perform statistics
     void performStat();
 

package/SVF-osx/include/MSSA/MSSAMuChi.h

@@ -183,7 +183,7 @@ public:
     //@}
 
     /// Return load instruction
-    inline const LoadStmt* getLoadInst() const
+    inline const LoadStmt* getLoadStmt() const
     {
         return inst;
     }
@@ -482,7 +482,7 @@ public:
     }
 
     /// Get store instruction
-    inline const StoreStmt* getStoreInst() const
+    inline const StoreStmt* getStoreStmt() const
     {
         return inst;
     }

package/SVF-osx/include/SABER/SaberCheckerAPI.h

@@ -54,7 +54,7 @@ public:
         CK_FCLOSE		/// File close
     };
 
-    typedef llvm::StringMap<CHECKER_TYPE> TDAPIMap;
+    typedef Map<std::string, CHECKER_TYPE> TDAPIMap;
 
 private:
     /// API map, from a string to threadAPI type

package/SVF-osx/include/SVF-FE/BasicTypes.h

@@ -3,6 +3,7 @@
 
 #include <llvm/IR/Instructions.h>
 #include <llvm/IR/IntrinsicInst.h>
+#include <llvm/IR/LLVMContext.h>
 #include <llvm/IR/Metadata.h>
 #include <llvm/IR/DataLayout.h>
 
@@ -10,6 +11,9 @@
 
 #include <llvm/Support/SourceMgr.h>
 
+typedef llvm::LLVMContext LLVMContext;
+typedef llvm::Use Use;
+
 typedef llvm::SMDiagnostic SMDiagnostic;
 
 typedef llvm::MetadataAsValue MetadataAsValue;

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

@@ -30,6 +30,7 @@
 #ifndef INCLUDE_SVF_FE_LLVMMODULE_H_
 #define INCLUDE_SVF_FE_LLVMMODULE_H_
 
+#include "SVF-FE/BasicTypes.h"
 #include "SVF-FE/CPPUtil.h"
 #include "Util/BasicTypes.h"
 #include "Util/SVFModule.h"

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

@@ -53,7 +53,6 @@
 #include <llvm/Analysis/PostDominators.h>
 #include <llvm/Analysis/ScalarEvolutionExpressions.h>
 #include <llvm/ADT/GraphTraits.h>		// for Graphtraits
-#include <llvm/Support/GraphWriter.h>		// for graph write
 #include <llvm/IR/IRBuilder.h>		// for instrument svf.main
 #include <llvm/Transforms/Utils/Local.h>	// for FindDbgAddrUses
 #include <llvm/IR/DebugInfo.h>
@@ -68,7 +67,6 @@ class BddCond;
 
 
 /// LLVM Basic classes
-typedef llvm::LLVMContext LLVMContext;
 typedef llvm::Type Type;
 typedef llvm::Function Function;
 typedef llvm::BasicBlock BasicBlock;
@@ -80,7 +78,6 @@ typedef llvm::GlobalValue GlobalValue;
 typedef llvm::GlobalVariable GlobalVariable;
 typedef llvm::Module Module;
 typedef llvm::User User;
-typedef llvm::Use Use;
 typedef llvm::Loop Loop;
 typedef llvm::LoopInfo LoopInfo;
 #if LLVM_VERSION_MAJOR >= 12
@@ -94,7 +91,6 @@ typedef llvm::ModulePass ModulePass;
 typedef llvm::raw_string_ostream raw_string_ostream;
 typedef llvm::raw_fd_ostream raw_fd_ostream;
 typedef llvm::StringRef StringRef;
-typedef llvm::ToolOutputFile ToolOutputFile;
 
 /// LLVM types
 typedef llvm::StructType StructType;

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

@@ -93,8 +93,7 @@ public:
 private:
 
     //Each Function name is mapped to its extf_t
-    //  (hash_map and map are much slower).
-    llvm::StringMap<extf_t> info;
+    Map<std::string, extf_t> info;
     //A cache of is_ext results for all SVFFunction*'s (hash_map is fastest).
     Map<const SVFFunction*, bool> isext_cache;
 
@@ -141,7 +140,7 @@ public:
             unsigned end = funName.substr(start + 1).find('.');
             funName = "llvm." + funName.substr(start + 1, end);
         }
-        llvm::StringMap<extf_t>::const_iterator it= info.find(funName);
+        Map<std::string, extf_t>::const_iterator it= info.find(funName);
         if(it == info.end())
             return EFT_OTHER;
         else

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

@@ -37,7 +37,6 @@
 
 #include <llvm/ADT/SparseBitVector.h>	// for points-to
 #include <llvm/Support/CommandLine.h>	// for command line options
-#include <llvm/ADT/StringMap.h>	// for StringMap
 
 #include <iostream>
 #include <vector>
@@ -129,7 +128,6 @@ template<typename Key, typename Value, typename Hash = Hash<Key>,
                   typedef std::deque<NodeID> NodeDeque;
                   typedef NodeSet EdgeSet;
                   typedef std::vector<u32_t> CallStrCxt;
-                  typedef llvm::StringMap<u32_t> StringMap;
 
                   typedef unsigned Version;
                   typedef Set<Version> VersionSet;

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

@@ -67,7 +67,7 @@ public:
         HARE_PAR_FOR
     };
 
-    typedef llvm::StringMap<TD_TYPE> TDAPIMap;
+    typedef Map<std::string, TD_TYPE> TDAPIMap;
 
 private:
     /// API map, from a string to threadAPI type
@@ -333,7 +333,7 @@ public:
     //@}
 
     void performAPIStat(SVFModule* m);
-    void statInit(llvm::StringMap<u32_t>& tdAPIStatMap);
+    void statInit(Map<std::string, u32_t>& tdAPIStatMap);
 };
 
 } // End namespace SVF

package/package.json

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