svf-tools 1.0.1266 → 1.0.1267

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.1266",
+  "version": "1.0.1267",
   "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/svf/lib/AE/Svfexe/AbstractInterpretation.cpp

@@ -970,6 +970,7 @@ void AbstractInterpretation::handleSVFStatement(const SVFStmt *stmt)
     {
         const auto& vmap = getAbsState(stmt->getICFGNode()).getVarToVal();
         auto it = vmap.find(IRGraph::NullPtr);
+        (void)it; // Suppress warning of unused variable under release build
         assert(it == vmap.end() ||
                (!it->second.isInterval() && !it->second.isAddr()));
     }

package/svf/lib/AE/Svfexe/SparseAbstractInterpretation.cpp

@@ -168,6 +168,7 @@ void FullSparseAbstractInterpretation::pullObjValueFlows(const ICFGNode* node)
 
                 const ICFGNode* srcICFG = src->getICFGNode();
                 const ICFGNode* dstICFG = v->getICFGNode();
+                (void)dstICFG; // Suppress warning of unused variable under release build
                 assert(srcICFG && "SVFG source node must have an ICFG node");
                 assert(dstICFG &&
                        "SVFG destination node must have an ICFG node");

package/svf/lib/Graphs/ConsG.cpp

@@ -191,6 +191,7 @@ AddrCGEdge::AddrCGEdge(ConstraintNode* s, ConstraintNode* d, EdgeID id)
 {
     // Retarget addr edges may lead s to be a dummy node
     const SVFVar* node = SVFIR::getPAG()->getSVFVar(s->getId());
+    (void)node; // Suppress warning of unused variable under release build
     if (!SVFIR::pagReadFromTXT())
     {
         assert(!SVFUtil::isa<DummyValVar>(node) && "a dummy node??");

package/svf/lib/MTA/MHP.cpp

@@ -419,7 +419,7 @@ void MHP::updateAncestorThreads(NodeID curTid)
 {
     NodeBS ancestorAndSelfTids = tct->getAncestorThreads(curTid);
     DBOUT(DMTA, outs() << "##Ancestor thread of " << curTid << " is : ");
-    DBOUT(DMTA, dumpSet(tds));
+    DBOUT(DMTA, dumpSet(ancestorAndSelfTids));
     DBOUT(DMTA, outs() << "\n");
     ancestorAndSelfTids.set(curTid);
 

package/svf/lib/SVFIR/SVFIR.cpp

@@ -581,6 +581,7 @@ NodeBS& SVFIR::getAllFieldsObjVars(const BaseObjVar* obj)
 NodeBS& SVFIR::getAllFieldsObjVars(NodeID id)
 {
     const SVFVar* node = pag->getSVFVar(id);
+    (void)node; // Suppress warning of unused variable under release build
     assert(SVFUtil::isa<ObjVar>(node) && "need an object node");
     return getAllFieldsObjVars(getBaseObject(id));
 }
@@ -593,6 +594,7 @@ NodeBS& SVFIR::getAllFieldsObjVars(NodeID id)
 NodeBS SVFIR::getFieldsAfterCollapse(NodeID id)
 {
     const SVFVar* node = pag->getSVFVar(id);
+    (void)node; // Suppress warning of unused variable under release build
     assert(SVFUtil::isa<ObjVar>(node) && "need an object node");
     const BaseObjVar* obj = getBaseObject(id);
     if(obj->isFieldInsensitive())
@@ -802,4 +804,4 @@ NodeID SVFIR::addObjNode(ObjVar* node)
 NodeID SVFIR::addDummyObjNode(DummyObjVar* node)
 {
     return addObjNode(node);
-}
+}

package/svf-llvm/include/SVF-LLVM/LLVMUtil.h

@@ -137,7 +137,9 @@ static inline Type* getPtrElementType(const PointerType* pty)
     assert(!pty->isOpaque() && "Opaque Pointer is used, please recompile the source adding '-Xclang -no-opaque-pointers'");
     return pty->getNonOpaquePointerElementType();
 #else
+    (void)pty; // Suppress warning of unused variable under release build
     assert(false && "llvm version 17+ only support opaque pointers!");
+    return nullptr;
 #endif
 }
 

package/svf-llvm/lib/ICFGBuilder.cpp

@@ -343,6 +343,7 @@ inline ICFGNode* ICFGBuilder::addBlockICFGNode(const Instruction* inst)
 IntraICFGNode* ICFGBuilder::addIntraBlockICFGNode(const Instruction* inst)
 {
     IntraICFGNode* node = llvmModuleSet()->getIntraBlock(inst);
+    (void)node; // Suppress warning of unused variable under release build
     assert (node==nullptr && "no IntraICFGNode for this instruction?");
     IntraICFGNode* sNode = icfg->addIntraICFGNode(
                                llvmModuleSet()->getSVFBasicBlock(inst->getParent()), SVFUtil::isa<ReturnInst>(inst));
@@ -360,4 +361,4 @@ inline FunExitICFGNode* ICFGBuilder::addFunExitBlock(const Function* fun)
 {
     return llvmModuleSet()->FunToFunExitNodeMap[fun] =
                icfg->addFunExitICFGNode(llvmModuleSet()->getFunObjVar(fun));
-}
+}

package/svf-llvm/lib/SVFIRBuilder.cpp

@@ -757,7 +757,8 @@ void SVFIRBuilder::processCE(const Value* val)
     {
         if (const ConstantExpr* gepce = isGepConstantExpr(ref))
         {
-            DBOUT(DPAGBuild, outs() << "handle gep constant expression " << llvmModuleSet()->getSVFValue(ref)->toString() << "\n");
+            DBOUT(DPAGBuild, outs() << "handle gep constant expression "
+                                    << LLVMUtil::dumpValue(ref) << "\n");
             const Constant* opnd = gepce->getOperand(0);
             // handle recursive constant express case (gep (bitcast (gep X 1)) 1)
             processCE(opnd);
@@ -778,7 +779,8 @@ void SVFIRBuilder::processCE(const Value* val)
         }
         else if (const ConstantExpr* castce = isCastConstantExpr(ref))
         {
-            DBOUT(DPAGBuild, outs() << "handle cast constant expression " << llvmModuleSet()->getSVFValue(ref)->toString() << "\n");
+            DBOUT(DPAGBuild, outs() << "handle cast constant expression "
+                                    << LLVMUtil::dumpValue(ref) << "\n");
             const Constant* opnd = castce->getOperand(0);
             processCE(opnd);
             const Value* cval = getCurrentValue();
@@ -789,7 +791,8 @@ void SVFIRBuilder::processCE(const Value* val)
         }
         else if (const ConstantExpr* selectce = isSelectConstantExpr(ref))
         {
-            DBOUT(DPAGBuild, outs() << "handle select constant expression " << llvmModuleSet()->getSVFValue(ref)->toString() << "\n");
+            DBOUT(DPAGBuild, outs() << "handle select constant expression "
+                                    << LLVMUtil::dumpValue(ref) << "\n");
             const Constant* src1 = selectce->getOperand(1);
             const Constant* src2 = selectce->getOperand(2);
             processCE(src1);
@@ -912,7 +915,9 @@ NodeID SVFIRBuilder::getGlobalVarField(const GlobalVariable *gvar, u32_t offset,
 void SVFIRBuilder::InitialGlobal(const GlobalVariable *gvar, Constant *C,
                                  u32_t offset)
 {
-    DBOUT(DPAGBuild, outs() << "global " << llvmModuleSet()->getSVFValue(gvar)->toString() << " constant initializer: " << llvmModuleSet()->getSVFValue(C)->toString() << "\n");
+    DBOUT(DPAGBuild, outs() << "global " << LLVMUtil::dumpValue(gvar)
+                            << " constant initializer: "
+                            << LLVMUtil::dumpValue(C) << "\n");
     if (C->getType()->isSingleValueType())
     {
         NodeID src = getValueNode(C);
@@ -1005,7 +1010,8 @@ void SVFIRBuilder::visitGlobal()
             if (gvar->hasInitializer())
             {
                 Constant *C = gvar->getInitializer();
-                DBOUT(DPAGBuild, outs() << "add global var node " << llvmModuleSet()->getSVFValue(gvar)->toString() << "\n");
+                DBOUT(DPAGBuild, outs() << "add global var node "
+                                        << LLVMUtil::dumpValue(gvar) << "\n");
                 InitialGlobal(gvar, C, 0);
             }
         }
@@ -1046,7 +1052,8 @@ void SVFIRBuilder::visitAllocaInst(AllocaInst &inst)
     // AllocaInst should always be a pointer type
     assert(SVFUtil::isa<PointerType>(inst.getType()));
 
-    DBOUT(DPAGBuild, outs() << "process alloca  " << llvmModuleSet()->getSVFValue(&inst)->toString() << " \n");
+    DBOUT(DPAGBuild,
+          outs() << "process alloca " << LLVMUtil::dumpValue(&inst) << "\n");
     NodeID dst = getValueNode(&inst);
 
     NodeID src = getObjectNode(&inst);
@@ -1061,7 +1068,8 @@ void SVFIRBuilder::visitAllocaInst(AllocaInst &inst)
 void SVFIRBuilder::visitPHINode(PHINode &inst)
 {
 
-    DBOUT(DPAGBuild, outs() << "process phi " << llvmModuleSet()->getSVFValue(&inst)->toString() << "  \n");
+    DBOUT(DPAGBuild,
+          outs() << "process phi " << LLVMUtil::dumpValue(&inst) << "\n");
 
     NodeID dst = getValueNode(&inst);
 
@@ -1085,7 +1093,8 @@ void SVFIRBuilder::visitPHINode(PHINode &inst)
  */
 void SVFIRBuilder::visitLoadInst(LoadInst &inst)
 {
-    DBOUT(DPAGBuild, outs() << "process load  " << llvmModuleSet()->getSVFValue(&inst)->toString() << " \n");
+    DBOUT(DPAGBuild,
+          outs() << "process load " << LLVMUtil::dumpValue(&inst) << "\n");
 
     NodeID dst = getValueNode(&inst);
 
@@ -1105,7 +1114,8 @@ void SVFIRBuilder::visitStoreInst(StoreInst &inst)
     // StoreInst itself should always not be a pointer type
     assert(!SVFUtil::isa<PointerType>(inst.getType()));
 
-    DBOUT(DPAGBuild, outs() << "process store " << llvmModuleSet()->getSVFValue(&inst)->toString() << " \n");
+    DBOUT(DPAGBuild,
+          outs() << "process store " << LLVMUtil::dumpValue(&inst) << "\n");
 
     NodeID dst = getValueNode(inst.getPointerOperand());
     const Type* storedTy = inst.getValueOperand()->getType();
@@ -1135,7 +1145,8 @@ void SVFIRBuilder::visitGetElementPtrInst(GetElementPtrInst &inst)
 
     assert(SVFUtil::isa<PointerType>(inst.getType()));
 
-    DBOUT(DPAGBuild, outs() << "process gep  " << llvmModuleSet()->getSVFValue(&inst)->toString() << " \n");
+    DBOUT(DPAGBuild,
+          outs() << "process gep " << LLVMUtil::dumpValue(&inst) << "\n");
 
     NodeID src = getValueNode(inst.getPointerOperand());
 
@@ -1163,7 +1174,8 @@ void SVFIRBuilder::visitGetElementPtrInst(GetElementPtrInst &inst)
 void SVFIRBuilder::visitCastInst(CastInst &inst)
 {
 
-    DBOUT(DPAGBuild, outs() << "process cast  " << llvmModuleSet()->getSVFValue(&inst)->toString() << " \n");
+    DBOUT(DPAGBuild,
+          outs() << "process cast " << LLVMUtil::dumpValue(&inst) << "\n");
     NodeID dst = getValueNode(&inst);
 
     const Value* opnd = inst.getOperand(0);
@@ -1221,7 +1233,8 @@ void SVFIRBuilder::visitCmpInst(CmpInst &inst)
 void SVFIRBuilder::visitSelectInst(SelectInst &inst)
 {
 
-    DBOUT(DPAGBuild, outs() << "process select  " << llvmModuleSet()->getSVFValue(&inst)->toString() << " \n");
+    DBOUT(DPAGBuild,
+          outs() << "process select " << LLVMUtil::dumpValue(&inst) << "\n");
 
     NodeID dst = getValueNode(&inst);
     NodeID src1 = getValueNode(inst.getTrueValue());
@@ -1257,8 +1270,7 @@ void SVFIRBuilder::visitCallSite(CallBase* cs)
         return;
 
     DBOUT(DPAGBuild,
-          outs() << "process callsite " << svfcall->valueOnlyToString() << "\n");
-
+          outs() << "process callsite " << LLVMUtil::dumpValue(cs) << "\n");
 
     CallICFGNode* callBlockNode = llvmModuleSet()->getCallICFGNode(cs);
     RetICFGNode* retBlockNode = llvmModuleSet()->getRetICFGNode(cs);
@@ -1306,7 +1318,8 @@ void SVFIRBuilder::visitReturnInst(ReturnInst &inst)
     // ReturnInst itself should always not be a pointer type
     assert(!SVFUtil::isa<PointerType>(inst.getType()));
 
-    DBOUT(DPAGBuild, outs() << "process return  " << llvmModuleSet()->getSVFValue(&inst)->toString() << " \n");
+    DBOUT(DPAGBuild,
+          outs() << "process return " << LLVMUtil::dumpValue(&inst) << "\n");
 
     if(Value* src = inst.getReturnValue())
     {
@@ -1504,8 +1517,8 @@ void SVFIRBuilder::handleDirectCall(CallBase* cs, const Function *F)
     assert(F);
     CallICFGNode* callICFGNode = llvmModuleSet()->getCallICFGNode(cs);
     const FunObjVar* svffun = llvmModuleSet()->getFunObjVar(F);
-    DBOUT(DPAGBuild,
-          outs() << "handle direct call " << LLVMUtil::dumpValue(cs) << " callee " << F->getName().str() << "\n");
+    DBOUT(DPAGBuild, outs() << "handle direct call " << LLVMUtil::dumpValue(cs)
+                            << " callee " << F->getName().str() << "\n");
 
     //Only handle the ret.val. if it's used as a ptr.
     NodeID dstrec = getValueNode(cs);
@@ -1531,7 +1544,8 @@ void SVFIRBuilder::handleDirectCall(CallBase* cs, const Function *F)
         }
         const Value* AA = cs->getArgOperand(itA), *FA = &*itF; //current actual/formal arg
 
-        DBOUT(DPAGBuild, outs() << "process actual parm  " << llvmModuleSet()->getSVFValue(AA)->toString() << " \n");
+        DBOUT(DPAGBuild, outs() << "process actual parm "
+                                << LLVMUtil::dumpValue(AA) << "\n");
 
         NodeID dstFA = getValueNode(FA);
         NodeID srcAA = getValueNode(AA);

package/svf-llvm/lib/SymbolTableBuilder.cpp

@@ -275,10 +275,7 @@ void SymbolTableBuilder::collectSym(const Value* val)
     //TODO: filter the non-pointer type // if (!SVFUtil::isa<PointerType>(val->getType()))  return;
 
     DBOUT(DMemModel,
-          outs()
-          << "collect sym from ##"
-          << llvmModuleSet()->getSVFValue(val)->toString()
-          << " \n");
+          outs() << "collect sym from ##" << LLVMUtil::dumpValue(val) << "\n");
     //TODO handle constant expression value here??
     handleCE(val);
 
@@ -395,10 +392,7 @@ void SymbolTableBuilder::handleCE(const Value* val)
         if (const ConstantExpr* ce = isGepConstantExpr(ref))
         {
             DBOUT(DMemModelCE, outs() << "handle constant expression "
-                  << llvmModuleSet()
-                  ->getSVFValue(ref)
-                  ->toString()
-                  << "\n");
+                                      << LLVMUtil::dumpValue(ref) << "\n");
             collectVal(ce);
 
             // handle the recursive constant express case
@@ -412,10 +406,7 @@ void SymbolTableBuilder::handleCE(const Value* val)
         else if (const ConstantExpr* ce = isCastConstantExpr(ref))
         {
             DBOUT(DMemModelCE, outs() << "handle constant expression "
-                  << llvmModuleSet()
-                  ->getSVFValue(ref)
-                  ->toString()
-                  << "\n");
+                                      << LLVMUtil::dumpValue(ref) << "\n");
             collectVal(ce);
             collectVal(ce->getOperand(0));
             // handle the recursive constant express case
@@ -425,10 +416,7 @@ void SymbolTableBuilder::handleCE(const Value* val)
         else if (const ConstantExpr* ce = isSelectConstantExpr(ref))
         {
             DBOUT(DMemModelCE, outs() << "handle constant expression "
-                  << llvmModuleSet()
-                  ->getSVFValue(ref)
-                  ->toString()
-                  << "\n");
+                                      << LLVMUtil::dumpValue(ref) << "\n");
             collectVal(ce);
             collectVal(ce->getOperand(0));
             collectVal(ce->getOperand(1));