svf-tools 1.0.474 → 1.0.475

package/lib/Graphs/ICFG.cpp

@@ -54,7 +54,7 @@ FunExitICFGNode::FunExitICFGNode(NodeID id, const SVFFunction* f) : InterICFGNod
     // if function is implemented
     if (f->getLLVMFun()->begin() != f->getLLVMFun()->end())
     {
-        bb = SVFUtil::getFunExitBB(f->getLLVMFun());
+        bb = LLVMUtil::getFunExitBB(f->getLLVMFun());
     }
 
 }
@@ -119,7 +119,7 @@ const std::string FunExitICFGNode::toString() const
     rawstr << "FunExitICFGNode" << getId();
     rawstr << " {fun: " << getFun()->getName();
     if (isExtCall(getFun())==false)
-        rawstr << getSourceLoc(getFunExitBB(getFun()->getLLVMFun())->getFirstNonPHI());
+        rawstr << getSourceLoc(LLVMUtil::getFunExitBB(getFun()->getLLVMFun())->getFirstNonPHI());
     rawstr << "}";
     for (const SVFStmt *stmt : getSVFStmts())
         rawstr << "\n" << stmt->toString();

package/lib/MSSA/MemRegion.cpp

@@ -35,6 +35,7 @@
 
 using namespace SVF;
 using namespace SVFUtil;
+using namespace LLVMUtil;
 
 u32_t MemRegion::totalMRNum = 0;
 u32_t MRVer::totalVERNum = 0;

package/lib/MSSA/MemSSA.cpp

@@ -35,6 +35,7 @@
 
 using namespace SVF;
 using namespace SVFUtil;
+using namespace LLVMUtil;
 
 
 double MemSSA::timeOfGeneratingMemRegions = 0;	///< Time for allocating regions

package/lib/MTA/LockAnalysis.cpp

@@ -16,6 +16,7 @@
 
 using namespace SVF;
 using namespace SVFUtil;
+using namespace LLVMUtil;
 
 
 namespace SVF

package/lib/MemoryModel/LocationSet.cpp

@@ -36,6 +36,7 @@
 
 using namespace SVF;
 using namespace SVFUtil;
+using namespace LLVMUtil;
 
 /*!
  * Add offset value to vector offsetValues

package/lib/MemoryModel/PointerAnalysis.cpp

@@ -52,6 +52,7 @@
 using namespace SVF;
 using namespace SVFUtil;
 using namespace cppUtil;
+using namespace LLVMUtil;
 
 
 SVFIR* PointerAnalysis::pag = nullptr;

package/lib/MemoryModel/SVFIR.cpp

@@ -709,7 +709,7 @@ bool SVFIR::isValidTopLevelPtr(const SVFVar* node)
     {
         if (isValidPointer(node->getId()) && node->hasValue())
         {
-            if (SVFUtil::ArgInNoCallerFunction(node->getValue()))
+            if (LLVMUtil::ArgInNoCallerFunction(node->getValue()))
                 return false;
             return true;
         }

package/lib/MemoryModel/SymbolTableInfo.cpp

@@ -38,6 +38,7 @@
 using namespace std;
 using namespace SVF;
 using namespace SVFUtil;
+using namespace LLVMUtil;
 
 SymbolTableInfo* SymbolTableInfo::symInfo = nullptr;
 

package/lib/SABER/LeakChecker.cpp

@@ -33,6 +33,7 @@
 
 using namespace SVF;
 using namespace SVFUtil;
+using namespace LLVMUtil;
 
 
 /*!

package/lib/SABER/PathCondAllocator.cpp

@@ -37,6 +37,7 @@
 
 using namespace SVF;
 using namespace SVFUtil;
+using namespace LLVMUtil;
 
 u64_t DPItem::maximumBudget = ULONG_MAX - 1;
 u32_t ContextCond::maximumCxtLen = 0;

package/lib/SVF-FE/CHGBuilder.cpp

@@ -48,6 +48,7 @@
 using namespace SVF;
 using namespace SVFUtil;
 using namespace cppUtil;
+using namespace LLVMUtil;
 
 const string pureVirtualFunName = "__cxa_pure_virtual";
 

package/lib/SVF-FE/CPPUtil.cpp

@@ -234,7 +234,7 @@ bool cppUtil::isLoadVtblInst(const LoadInst *loadInst)
     for (u32_t i = 0; i < 3; ++i)
     {
         if (const PointerType *ptrTy = SVFUtil::dyn_cast<PointerType>(elemTy))
-            elemTy = SVFUtil::getPtrElementType(ptrTy);
+            elemTy = LLVMUtil::getPtrElementType(ptrTy);
         else
             return false;
     }
@@ -420,7 +420,7 @@ string cppUtil::getClassNameFromType(const Type *ty)
     string className = "";
     if (const PointerType *ptrType = SVFUtil::dyn_cast<PointerType>(ty))
     {
-        const Type *elemType = SVFUtil::getPtrElementType(ptrType);
+        const Type *elemType = LLVMUtil::getPtrElementType(ptrType);
         if (SVFUtil::isa<StructType>(elemType) &&
                 !((SVFUtil::cast<StructType>(elemType))->isLiteral()))
         {

package/lib/SVF-FE/ICFGBuilder.cpp

@@ -34,6 +34,7 @@
 
 using namespace SVF;
 using namespace SVFUtil;
+using namespace LLVMUtil;
 
 /*!
  * Create ICFG nodes and edges

package/lib/SVF-FE/LLVMUtil.cpp

@@ -21,7 +21,7 @@
 //===----------------------------------------------------------------------===//
 
 /*
- * SVFUtil.cpp
+ * LLVMUtil.cpp
  *
  *  Created on: Apr 11, 2013
  *      Author: Yulei Sui
@@ -39,7 +39,7 @@ using namespace SVF;
  * 3) stack
  * 4) heap
  */
-bool SVFUtil::isObject(const Value * ref)
+bool LLVMUtil::isObject(const Value * ref)
 {
     bool createobj = false;
     if (SVFUtil::isa<Instruction>(ref) && SVFUtil::isStaticExtCall(SVFUtil::cast<Instruction>(ref)) )
@@ -57,7 +57,7 @@ bool SVFUtil::isObject(const Value * ref)
 /*!
  * Check whether this value points-to a constant object
  */
-bool SVFUtil::isConstantObjSym(const Value *val)
+bool LLVMUtil::isConstantObjSym(const Value *val)
 {
     if (const GlobalVariable* v = SVFUtil::dyn_cast<GlobalVariable>(val))
     {
@@ -91,7 +91,7 @@ bool SVFUtil::isConstantObjSym(const Value *val)
 /*!
  * Return reachable bbs from function entry
  */
-void SVFUtil::getFunReachableBBs (const Function * fun, DominatorTree* dt, std::vector<const BasicBlock*> &reachableBBs)
+void LLVMUtil::getFunReachableBBs (const Function * fun, DominatorTree* dt, std::vector<const BasicBlock*> &reachableBBs)
 {
     Set<const BasicBlock*> visited;
     std::vector<const BasicBlock*> bbVec;
@@ -120,7 +120,7 @@ void SVFUtil::getFunReachableBBs (const Function * fun, DominatorTree* dt, std::
 /*!
  * Return true if the function has a return instruction reachable from function entry
  */
-bool SVFUtil::functionDoesNotRet (const Function * fun)
+bool LLVMUtil::functionDoesNotRet (const Function * fun)
 {
 
     std::vector<const BasicBlock*> bbVec;
@@ -157,11 +157,11 @@ bool SVFUtil::functionDoesNotRet (const Function * fun)
 /*!
  * Return true if this is a function without any possible caller
  */
-bool SVFUtil::isDeadFunction (const Function * fun)
+bool LLVMUtil::isDeadFunction (const Function * fun)
 {
     if(fun->hasAddressTaken())
         return false;
-    if(isProgEntryFunction(fun))
+    if(SVFUtil::isProgEntryFunction(fun))
         return false;
     for (Value::const_user_iterator i = fun->user_begin(), e = fun->user_end(); i != e; ++i)
     {
@@ -190,7 +190,7 @@ bool SVFUtil::isDeadFunction (const Function * fun)
 /*!
  * Return true if this is a value in a dead function (function without any caller)
  */
-bool SVFUtil::isPtrInDeadFunction (const Value * value)
+bool LLVMUtil::isPtrInDeadFunction (const Value * value)
 {
     if(const Instruction* inst = SVFUtil::dyn_cast<Instruction>(value))
     {
@@ -208,7 +208,7 @@ bool SVFUtil::isPtrInDeadFunction (const Value * value)
 /*!
  * Strip constant casts
  */
-const Value * SVFUtil::stripConstantCasts(const Value *val)
+const Value * LLVMUtil::stripConstantCasts(const Value *val)
 {
     if (SVFUtil::isa<GlobalValue>(val) || isInt2PtrConstantExpr(val))
         return val;
@@ -223,7 +223,7 @@ const Value * SVFUtil::stripConstantCasts(const Value *val)
 /*!
  * Strip all casts
  */
-const Value * SVFUtil::stripAllCasts(const Value *val)
+const Value * LLVMUtil::stripAllCasts(const Value *val)
 {
     while (true)
     {
@@ -247,12 +247,12 @@ const Value * SVFUtil::stripAllCasts(const Value *val)
 }
 
 /// Get the next instructions following control flow
-void SVFUtil::getNextInsts(const Instruction* curInst, std::vector<const Instruction*>& instList)
+void LLVMUtil::getNextInsts(const Instruction* curInst, std::vector<const Instruction*>& instList)
 {
     if (!curInst->isTerminator())
     {
         const Instruction* nextInst = curInst->getNextNode();
-        if (isIntrinsicInst(nextInst))
+        if (SVFUtil::isIntrinsicInst(nextInst))
             getNextInsts(nextInst, instList);
         else
             instList.push_back(nextInst);
@@ -264,7 +264,7 @@ void SVFUtil::getNextInsts(const Instruction* curInst, std::vector<const Instruc
         for (succ_const_iterator it = succ_begin(BB), ie = succ_end(BB); it != ie; ++it)
         {
             const Instruction* nextInst = &((*it)->front());
-            if (isIntrinsicInst(nextInst))
+            if (SVFUtil::isIntrinsicInst(nextInst))
                 getNextInsts(nextInst, instList);
             else
                 instList.push_back(nextInst);
@@ -274,12 +274,12 @@ void SVFUtil::getNextInsts(const Instruction* curInst, std::vector<const Instruc
 
 
 /// Get the previous instructions following control flow
-void SVFUtil::getPrevInsts(const Instruction* curInst, std::vector<const Instruction*>& instList)
+void LLVMUtil::getPrevInsts(const Instruction* curInst, std::vector<const Instruction*>& instList)
 {
     if (curInst != &(curInst->getParent()->front()))
     {
         const Instruction* prevInst = curInst->getPrevNode();
-        if (isIntrinsicInst(prevInst))
+        if (SVFUtil::isIntrinsicInst(prevInst))
             getPrevInsts(prevInst, instList);
         else
             instList.push_back(prevInst);
@@ -291,7 +291,7 @@ void SVFUtil::getPrevInsts(const Instruction* curInst, std::vector<const Instruc
         for (const_pred_iterator it = pred_begin(BB), ie = pred_end(BB); it != ie; ++it)
         {
             const Instruction* prevInst = &((*it)->back());
-            if (isIntrinsicInst(prevInst))
+            if (SVFUtil::isIntrinsicInst(prevInst))
                 getPrevInsts(prevInst, instList);
             else
                 instList.push_back(prevInst);
@@ -304,7 +304,7 @@ void SVFUtil::getPrevInsts(const Instruction* curInst, std::vector<const Instruc
  * for example, %4 = call align 16 i8* @malloc(i64 10); %5 = bitcast i8* %4 to i32*
  * return %5 whose type is i32* but not %4 whose type is i8*
  */
-const Value* SVFUtil::getUniqueUseViaCastInst(const Value* val)
+const Value* LLVMUtil::getUniqueUseViaCastInst(const Value* val)
 {
     const PointerType * type = SVFUtil::dyn_cast<PointerType>(val->getType());
     assert(type && "this value should be a pointer type!");
@@ -323,11 +323,11 @@ const Value* SVFUtil::getUniqueUseViaCastInst(const Value* val)
 /*!
  * Return the type of the object from a heap allocation
  */
-const Type* SVFUtil::getTypeOfHeapAlloc(const Instruction *inst)
+const Type* LLVMUtil::getTypeOfHeapAlloc(const Instruction *inst)
 {
     const PointerType* type = SVFUtil::dyn_cast<PointerType>(inst->getType());
 
-    if(isHeapAllocExtCallViaRet(inst))
+    if(SVFUtil::isHeapAllocExtCallViaRet(inst))
     {
         if(const Value* v = getUniqueUseViaCastInst(inst))
         {
@@ -335,10 +335,10 @@ const Type* SVFUtil::getTypeOfHeapAlloc(const Instruction *inst)
                 type = newTy;
         }
     }
-    else if(isHeapAllocExtCallViaArg(inst))
+    else if(SVFUtil::isHeapAllocExtCallViaArg(inst))
     {
-        CallSite cs = getLLVMCallSite(inst);
-        int arg_pos = getHeapAllocHoldingArgPosition(getCallee(cs));
+        CallSite cs = SVFUtil::getLLVMCallSite(inst);
+        int arg_pos = SVFUtil::getHeapAllocHoldingArgPosition(SVFUtil::getCallee(cs));
         const Value *arg = cs.getArgument(arg_pos);
         type = SVFUtil::dyn_cast<PointerType>(arg->getType());
     }
@@ -354,7 +354,7 @@ const Type* SVFUtil::getTypeOfHeapAlloc(const Instruction *inst)
 /*!
  * Get position of a successor basic block
  */
-u32_t SVFUtil::getBBSuccessorPos(const BasicBlock *BB, const BasicBlock *Succ)
+u32_t LLVMUtil::getBBSuccessorPos(const BasicBlock *BB, const BasicBlock *Succ)
 {
     u32_t i = 0;
     for (const BasicBlock *SuccBB: successors(BB))
@@ -371,7 +371,7 @@ u32_t SVFUtil::getBBSuccessorPos(const BasicBlock *BB, const BasicBlock *Succ)
 /*!
  * Return a position index from current bb to it successor bb
  */
-u32_t SVFUtil::getBBPredecessorPos(const BasicBlock *bb, const BasicBlock *succbb)
+u32_t LLVMUtil::getBBPredecessorPos(const BasicBlock *bb, const BasicBlock *succbb)
 {
     u32_t pos = 0;
     for (const_pred_iterator it = pred_begin(succbb), et = pred_end(succbb); it != et; ++it, ++pos)
@@ -386,7 +386,7 @@ u32_t SVFUtil::getBBPredecessorPos(const BasicBlock *bb, const BasicBlock *succb
 /*!
  *  Get the num of BB's successors
  */
-u32_t SVFUtil::getBBSuccessorNum(const BasicBlock *BB)
+u32_t LLVMUtil::getBBSuccessorNum(const BasicBlock *BB)
 {
     return BB->getTerminator()->getNumSuccessors();
 }
@@ -394,7 +394,7 @@ u32_t SVFUtil::getBBSuccessorNum(const BasicBlock *BB)
 /*!
  * Get the num of BB's predecessors
  */
-u32_t SVFUtil::getBBPredecessorNum(const BasicBlock *BB)
+u32_t LLVMUtil::getBBPredecessorNum(const BasicBlock *BB)
 {
     u32_t num = 0;
     for (const_pred_iterator it = pred_begin(BB), et = pred_end(BB); it != et; ++it)
@@ -407,7 +407,7 @@ u32_t SVFUtil::getBBPredecessorNum(const BasicBlock *BB)
  * llvm::parseIRFile (lib/IRReader/IRReader.cpp)
  * llvm::parseIR (lib/IRReader/IRReader.cpp)
  */
-bool SVFUtil::isIRFile(const std::string &filename)
+bool LLVMUtil::isIRFile(const std::string &filename)
 {
     llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> FileOrErr = llvm::MemoryBuffer::getFileOrSTDIN(filename);
     if (FileOrErr.getError())
@@ -424,14 +424,14 @@ bool SVFUtil::isIRFile(const std::string &filename)
 
 /// Get the names of all modules into a vector
 /// And process arguments
-void SVFUtil::processArguments(int argc, char **argv, int &arg_num, char **arg_value,
-                               std::vector<std::string> &moduleNameVec)
+void LLVMUtil::processArguments(int argc, char **argv, int &arg_num, char **arg_value,
+                                std::vector<std::string> &moduleNameVec)
 {
     bool first_ir_file = true;
     for (int i = 0; i < argc; ++i)
     {
         std::string argument(argv[i]);
-        if (SVFUtil::isIRFile(argument))
+        if (LLVMUtil::isIRFile(argument))
         {
             if (find(moduleNameVec.begin(), moduleNameVec.end(), argument)
                     == moduleNameVec.end())
@@ -452,7 +452,7 @@ void SVFUtil::processArguments(int argc, char **argv, int &arg_num, char **arg_v
 }
 
 
-u32_t SVFUtil::getTypeSizeInBytes(const Type* type)
+u32_t LLVMUtil::getTypeSizeInBytes(const Type* type)
 {
 
     // if the type has size then simply return it, otherwise just return 0
@@ -462,7 +462,7 @@ u32_t SVFUtil::getTypeSizeInBytes(const Type* type)
         return 0;
 }
 
-u32_t SVFUtil::getTypeSizeInBytes(const StructType *sty, u32_t field_idx)
+u32_t LLVMUtil::getTypeSizeInBytes(const StructType *sty, u32_t field_idx)
 {
 
     const StructLayout *stTySL = getDataLayout(LLVMModuleSet::getLLVMModuleSet()->getMainLLVMModule())->getStructLayout( const_cast<StructType *>(sty) );

package/lib/SVF-FE/SVFIRBuilder.cpp

@@ -41,6 +41,7 @@
 using namespace std;
 using namespace SVF;
 using namespace SVFUtil;
+using namespace LLVMUtil;
 
 
 /*!
@@ -201,7 +202,7 @@ void SVFIRBuilder::initialiseNodes()
     {
         DBOUT(DPAGBuild, outs() << "add address edges for constant node " << iter->second << "\n");
         const Value* val = iter->first;
-        if (SVFUtil::isConstantObjSym(val))
+        if (LLVMUtil::isConstantObjSym(val))
         {
             NodeID ptr = pag->getValueNode(val);
             if(ptr!= pag->getBlkPtr() && ptr!= pag->getNullPtr())

package/lib/SVF-FE/SymbolTableBuilder.cpp

@@ -41,6 +41,7 @@
 
 using namespace SVF;
 using namespace SVFUtil;
+using namespace LLVMUtil;
 
 /*!
  *  This method identify which is value sym and which is object sym
@@ -199,9 +200,9 @@ void SymbolTableBuilder::buildMemModel(SVFModule* svfModule)
 */
 void SymbolTableBuilder::collectNullPtrBlackholeSyms(const Value *val)
 {
-    if (SVFUtil::isNullPtrSym(val))
+    if (LLVMUtil::isNullPtrSym(val))
         symInfo->nullPtrSyms.insert(val);
-    if (SVFUtil::isBlackholeSym(val))
+    if (LLVMUtil::isBlackholeSym(val))
         symInfo->blackholeSyms.insert(val);
 }
 
@@ -234,7 +235,7 @@ void SymbolTableBuilder::collectSym(const Value *val)
 void SymbolTableBuilder::collectVal(const Value *val)
 {
     // collect and record special sym here
-    if (SVFUtil::isNullPtrSym(val) || SVFUtil::isBlackholeSym(val))
+    if (LLVMUtil::isNullPtrSym(val) || LLVMUtil::isBlackholeSym(val))
     {
         collectNullPtrBlackholeSyms(val);
         return;
@@ -252,7 +253,7 @@ void SymbolTableBuilder::collectVal(const Value *val)
             handleGlobalCE(globalVar);
     }
 
-    if (SVFUtil::isConstantObjSym(val))
+    if (LLVMUtil::isConstantObjSym(val))
         collectObj(val);
 }
 
@@ -267,7 +268,7 @@ void SymbolTableBuilder::collectObj(const Value *val)
     {
         // if the object pointed by the pointer is a constant data (e.g., i32 0) or a global constant object (e.g. string)
         // then we treat them as one ConstantObj
-        if((SVFUtil::isConstantObjSym(val) && !symInfo->getModelConstants()))
+        if((LLVMUtil::isConstantObjSym(val) && !symInfo->getModelConstants()))
         {
             symInfo->objSymMap.insert(std::make_pair(val, symInfo->constantSymID()));
         }
@@ -526,7 +527,7 @@ ObjTypeInfo* SymbolTableBuilder::createObjTypeInfo(const Value *val)
         writeWrnMsg("try to create an object with a non-pointer type.");
         writeWrnMsg(val->getName().str());
         writeWrnMsg("(" + getSourceLoc(val) + ")");
-        if(SVFUtil::isConstantObjSym(val))
+        if(LLVMUtil::isConstantObjSym(val))
         {
             ObjTypeInfo* typeInfo = new ObjTypeInfo(val->getType(), 0);
             initTypeInfo(typeInfo,val);
@@ -650,7 +651,7 @@ void SymbolTableBuilder::initTypeInfo(ObjTypeInfo* typeinfo, const Value* val)
     else if(SVFUtil::isa<GlobalVariable>(val))
     {
         typeinfo->setFlag(ObjTypeInfo::GLOBVAR_OBJ);
-        if(SVFUtil::isConstantObjSym(val))
+        if(LLVMUtil::isConstantObjSym(val))
             typeinfo->setFlag(ObjTypeInfo::CONST_GLOBAL_OBJ);
         analyzeObjType(typeinfo,val);
         objSize = getObjSize(typeinfo->getType());

package/lib/WPA/AndersenStat.cpp

@@ -34,6 +34,7 @@
 
 using namespace SVF;
 using namespace SVFUtil;
+using namespace LLVMUtil;
 
 u32_t AndersenStat::_MaxPtsSize = 0;
 u32_t AndersenStat::_NumOfCycles = 0;

package/lib/WPA/FlowSensitiveStat.cpp

@@ -35,6 +35,7 @@
 
 using namespace SVF;
 using namespace SVFUtil;
+using namespace LLVMUtil;
 
 /*!
  * Clear statistics

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.474",
+  "version": "1.0.475",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {

package/tools/CFL/cfl.cpp

@@ -45,7 +45,7 @@ int main(int argc, char ** argv)
     int arg_num = 0;
     char **arg_value = new char*[argc];
     std::vector<std::string> moduleNameVec;
-    SVFUtil::processArguments(argc, argv, arg_num, arg_value, moduleNameVec);
+    LLVMUtil::processArguments(argc, argv, arg_num, arg_value, moduleNameVec);
     cl::ParseCommandLineOptions(arg_num, arg_value,
                                 "CFL Reachability Analysis\n");
 

package/tools/DDA/dda.cpp

@@ -44,7 +44,7 @@ int main(int argc, char ** argv)
     int arg_num = 0;
     char **arg_value = new char*[argc];
     std::vector<std::string> moduleNameVec;
-    SVFUtil::processArguments(argc, argv, arg_num, arg_value, moduleNameVec);
+    LLVMUtil::processArguments(argc, argv, arg_num, arg_value, moduleNameVec);
     cl::ParseCommandLineOptions(arg_num, arg_value,
                                 "Demand-Driven Points-to Analysis\n");
 

package/tools/Example/svf-ex.cpp

@@ -145,7 +145,7 @@ int main(int argc, char ** argv)
     int arg_num = 0;
     char **arg_value = new char*[argc];
     std::vector<std::string> moduleNameVec;
-    SVFUtil::processArguments(argc, argv, arg_num, arg_value, moduleNameVec);
+    LLVMUtil::processArguments(argc, argv, arg_num, arg_value, moduleNameVec);
     cl::ParseCommandLineOptions(arg_num, arg_value,
                                 "Whole Program Points-to Analysis\n");
 

package/tools/MTA/mta.cpp

@@ -12,7 +12,7 @@ int main(int argc, char ** argv)
     int arg_num = 0;
     char **arg_value = new char*[argc];
     std::vector<std::string> moduleNameVec;
-    SVFUtil::processArguments(argc, argv, arg_num, arg_value, moduleNameVec);
+    LLVMUtil::processArguments(argc, argv, arg_num, arg_value, moduleNameVec);
     cl::ParseCommandLineOptions(arg_num, arg_value,
                                 "MTA Analysis\n");
 

package/tools/SABER/saber.cpp

@@ -50,7 +50,7 @@ int main(int argc, char ** argv)
     int arg_num = 0;
     char **arg_value = new char*[argc];
     std::vector<std::string> moduleNameVec;
-    SVFUtil::processArguments(argc, argv, arg_num, arg_value, moduleNameVec);
+    LLVMUtil::processArguments(argc, argv, arg_num, arg_value, moduleNameVec);
     cl::ParseCommandLineOptions(arg_num, arg_value,
                                 "Source-Sink Bug Detector\n");
 

package/tools/WPA/wpa.cpp

@@ -40,7 +40,7 @@ int main(int argc, char ** argv)
     int arg_num = 0;
     char **arg_value = new char*[argc];
     std::vector<std::string> moduleNameVec;
-    SVFUtil::processArguments(argc, argv, arg_num, arg_value, moduleNameVec);
+    LLVMUtil::processArguments(argc, argv, arg_num, arg_value, moduleNameVec);
     cl::ParseCommandLineOptions(arg_num, arg_value,
                                 "Whole Program Points-to Analysis\n");