svf-tools 1.0.322 → 1.0.326

package/lib/SVF-FE/SVFIRBuilder.cpp

@@ -260,8 +260,8 @@ void SVFIRBuilder::processCE(const Value *val)
             NodeID nsrc1 = pag->getValueNode(src1);
             NodeID nsrc2 = pag->getValueNode(src2);
             NodeID nres = pag->getValueNode(selectce);
-            addPhiNode(nres,nsrc1);
-            addPhiNode(nres,nsrc2);
+            addPhiStmt(nres,nsrc1);
+            addPhiStmt(nres,nsrc2);
             setCurrentLocation(cval, cbb);
         }
         // if we meet a int2ptr, then it points-to black hole
@@ -351,7 +351,7 @@ NodeID SVFIRBuilder::getGlobalVarField(const GlobalVariable *gvar, u32_t offset)
         const Type *gvartype = gvar->getType();
         while (const PointerType *ptype = SVFUtil::dyn_cast<PointerType>(gvartype))
             gvartype = ptype->getElementType();
-        return getGepValNode(gvar, LocationSet(offset), gvartype, offset);
+        return getGepValVar(gvar, LocationSet(offset), gvartype, offset);
     }
 }
 
@@ -519,7 +519,7 @@ void SVFIRBuilder::visitPHINode(PHINode &inst)
         assert((incomingInst==nullptr) || (incomingInst->getFunction() == inst.getFunction()));
 
         NodeID src = getValueNode(val);
-        addPhiNode(dst,src);
+        addPhiStmt(dst,src);
     }
 }
 
@@ -644,8 +644,8 @@ void SVFIRBuilder::visitCmpInst(CmpInst &inst)
     NodeID op1Node = getValueNode(op1);
     Value* op2 = inst.getOperand(1);
     NodeID op2Node = getValueNode(op2);
-    u32_t opcode = inst.getOpcode();
-    const CmpStmt* cmpPE = addCmpEdge(op1Node, op2Node, dst, opcode);
+    u32_t predicate = inst.getPredicate();
+    const CmpStmt* cmpPE = addCmpEdge(op1Node, op2Node, dst, predicate);
 }
 
 
@@ -662,8 +662,8 @@ void SVFIRBuilder::visitSelectInst(SelectInst &inst)
     NodeID src2 = getValueNode(inst.getFalseValue());
 
     /// Two operands have same incoming basic block, both are the current BB
-    addPhiNode(dst,src1);
-    addPhiNode(dst,src2);
+    addPhiStmt(dst,src1);
+    addPhiStmt(dst,src2);
 }
 
 /*
@@ -730,7 +730,7 @@ void SVFIRBuilder::visitReturnInst(ReturnInst &inst)
         NodeID rnF = getReturnNode(F);
         NodeID vnS = getValueNode(src);
         //vnS may be null if src is a null ptr
-        addPhiNode(rnF,vnS);
+        addPhiStmt(rnF,vnS);
     }
 }
 
@@ -938,8 +938,8 @@ void SVFIRBuilder::addComplexConsForExt(Value *D, Value *S, u32_t sz)
     //For each field (i), add (Ti = *S + i) and (*D + i = Ti).
     for (u32_t index = 0; index < sz; index++)
     {
-        NodeID dField = getGepValNode(D,fields[index],dtype,index);
-        NodeID sField = getGepValNode(S,fields[index],stype,index);
+        NodeID dField = getGepValVar(D,fields[index],dtype,index);
+        NodeID sField = getGepValVar(S,fields[index],stype,index);
         NodeID dummy = pag->addDummyValNode();
         addLoadEdge(sField,dummy);
         addStoreEdge(dummy,dField);
@@ -1193,7 +1193,7 @@ void SVFIRBuilder::handleExtCall(CallSite cs, const SVFFunction *callee)
                 // Note that arg0 is aligned with "offset".
                 for (int i = offset + 1; i <= offset + 3; ++i)
                 {
-                    NodeID vnD = getGepValNode(vArg3, fields[i], type, i);
+                    NodeID vnD = getGepValVar(vArg3, fields[i], type, i);
                     NodeID vnS = getValueNode(vArg1);
                     if(vnD && vnS)
                         addStoreEdge(vnS,vnD);
@@ -1217,7 +1217,7 @@ void SVFIRBuilder::handleExtCall(CallSite cs, const SVFFunction *callee)
                 // Note that arg0 is aligned with "offset".
                 for (int i = offset + 1; i <= offset + 3; ++i)
                 {
-                    NodeID vnS = getGepValNode(vArg, fields[i], type, i);
+                    NodeID vnS = getGepValVar(vArg, fields[i], type, i);
                     if(vnD && vnS)
                         addStoreEdge(vnS,vnD);
                 }
@@ -1399,15 +1399,15 @@ void SVFIRBuilder::sanityCheck()
  * Add a temp field value node according to base value and offset
  * this node is after the initial node method, it is out of scope of symInfo table
  */
-NodeID SVFIRBuilder::getGepValNode(const Value* val, const LocationSet& ls, const Type *baseType, u32_t fieldidx)
+NodeID SVFIRBuilder::getGepValVar(const Value* val, const LocationSet& ls, const Type *baseType, u32_t fieldidx)
 {
-    NodeID base = pag->getBaseValNode(getValueNode(val));
-    NodeID gepval = pag->getGepValNode(curVal, base, ls);
+    NodeID base = pag->getBaseValVar(getValueNode(val));
+    NodeID gepval = pag->getGepValVar(curVal, base, ls);
     if (gepval==UINT_MAX)
     {
         assert(((int) UINT_MAX)==-1 && "maximum limit of unsigned int is not -1?");
         /*
-         * getGepValNode can only be called from two places:
+         * getGepValVar can only be called from two places:
          * 1. SVFIRBuilder::addComplexConsForExt to handle external calls
          * 2. SVFIRBuilder::getGlobalVarField to initialize global variable
          * so curVal can only be
@@ -1505,7 +1505,7 @@ void SVFIRBuilder::setCurrentBBAndValueForPAGEdge(PAGEdge* edge)
         assert(false && "what else value can we have?");
     }
 
-    pag->addToInstPAGEdgeList(icfgNode,edge);
+    pag->addToSVFStmtList(icfgNode,edge);
     icfgNode->addPAGEdge(edge);
 }
 

package/lib/Util/Conditions.cpp

@@ -100,7 +100,7 @@ CondExpr* CondManager::createFreshBranchCond(const Instruction* inst)
         auto *cond = new BranchCondExpr(expr, branchCond);
         auto *negCond = NEG(cond);
         setCondInst(cond, inst);
-        setCondInst(negCond, inst);
+        setNegCondInst(negCond, inst);
         branchCondToCondExpr.emplace(branchCond, cond);
         return allocatedConds.emplace(expr.id(), cond).first->second;
     }
@@ -203,6 +203,10 @@ std::string CondManager::getMemUsage()
  */
 void CondManager::extractSubConds(const CondExpr* cond, NodeBS &support) const
 {
+    if (cond->getExpr().num_args() == 1 && isNegCond(cond)) {
+        support.set(cond->getExpr().id());
+        return;
+    }
     if (cond->getExpr().num_args() == 0)
         if (!cond->getExpr().is_true() && !cond->getExpr().is_false())
             support.set(cond->getExpr().id());

package/lib/Util/Options.cpp

@@ -784,4 +784,10 @@ namespace SVF
             clEnumValN(WPAPass::Conservative, "conservative", "return MayAlias if any pta says alias"),
             clEnumValN(WPAPass::Veto, "veto", "return NoAlias if any pta says no alias")
         ));
+
+    const llvm::cl::opt<bool> Options::ShowHiddenNode(
+        "show-hidden-nodes", 
+        llvm::cl::init(false),
+        llvm::cl::desc("Show hidden nodes on DOT Graphs (e.g., isolated node on a graph)")
+    );
 } // namespace SVF.

package/lib/Util/PTAStat.cpp

@@ -202,13 +202,13 @@ void PTAStat::performStat()
     generalNumMap[NumberOfFieldInsensitiveObj] = fiObjNumber;
     generalNumMap[NumberOfFieldSensitiveObj] = fsObjNumber;
 
-    generalNumMap[NumOfAddrs] = pag->getEdgeSet(PAGEdge::Addr).size();
-    generalNumMap[NumOfLoads] = pag->getEdgeSet(PAGEdge::Load).size();
-    generalNumMap[NumOfStores] = pag->getEdgeSet(PAGEdge::Store).size();
-    generalNumMap[NumOfCopys] =  pag->getEdgeSet(PAGEdge::Copy).size();
-    generalNumMap[NumOfGeps] =  pag->getEdgeSet(PAGEdge::NormalGep).size() + pag->getEdgeSet(PAGEdge::VariantGep).size();
-    generalNumMap[NumOfCalls] = pag->getEdgeSet(PAGEdge::Call).size();
-    generalNumMap[NumOfReturns] = pag->getEdgeSet(PAGEdge::Ret).size();
+    generalNumMap[NumOfAddrs] = pag->getSVFStmtSet(PAGEdge::Addr).size();
+    generalNumMap[NumOfLoads] = pag->getSVFStmtSet(PAGEdge::Load).size();
+    generalNumMap[NumOfStores] = pag->getSVFStmtSet(PAGEdge::Store).size();
+    generalNumMap[NumOfCopys] =  pag->getSVFStmtSet(PAGEdge::Copy).size();
+    generalNumMap[NumOfGeps] =  pag->getSVFStmtSet(PAGEdge::NormalGep).size() + pag->getSVFStmtSet(PAGEdge::VariantGep).size();
+    generalNumMap[NumOfCalls] = pag->getSVFStmtSet(PAGEdge::Call).size();
+    generalNumMap[NumOfReturns] = pag->getSVFStmtSet(PAGEdge::Ret).size();
 
     generalNumMap[NumOfFunctionObjs] = numOfFunction;
     generalNumMap[NumOfGlobalObjs] = numOfGlobal;

package/lib/Util/TypeBasedHeapCloning.cpp

@@ -216,13 +216,13 @@ const NodeBS TypeBasedHeapCloning::getGepObjClones(NodeID base, unsigned offset)
 
         if (isClone(base))
         {
-            // Don't use ppag->getGepObjNode because base and it's original object
+            // Don't use ppag->getGepObjVar because base and it's original object
             // have the same memory object which is the key SVFIR uses.
             newGep = addCloneGepObjNode(baseNode->getMemObj(), newLS);
         }
         else
         {
-            newGep = ppag->getGepObjNode(base, newLS);
+            newGep = ppag->getGepObjVar(base, newLS);
         }
 
         if (GepObjPN *gep = SVFUtil::dyn_cast<GepObjPN>(ppag->getGNode(newGep)))
@@ -259,7 +259,7 @@ const NodeBS TypeBasedHeapCloning::getGepObjClones(NodeID base, unsigned offset)
 
         setType(newGep, newGepType);
         // We call the object created in the non-TBHC analysis the original object.
-        setOriginalObj(newGep, ppag->getGepObjNode(baseNode->getMemObj(), offset));
+        setOriginalObj(newGep, ppag->getGepObjVar(baseNode->getMemObj(), offset));
         setAllocationSite(newGep, 0);
 
         geps.set(newGep);

package/lib/WPA/Andersen.cpp

@@ -164,16 +164,16 @@ void AndersenBase::cleanConsCG(NodeID id) {
 void AndersenBase::normalizePointsTo()
 {
     SVFIR::MemObjToFieldsMap &memToFieldsMap = pag->getMemToFieldsMap();
-    SVFIR::NodeLocationSetMap &GepObjNodeMap = pag->getGepObjNodeMap();
+    SVFIR::NodeLocationSetMap &GepObjVarMap = pag->getGepObjNodeMap();
 
-    // clear GepObjNodeMap/memToFieldsMap/nodeToSubsMap/nodeToRepMap
+    // clear GepObjVarMap/memToFieldsMap/nodeToSubsMap/nodeToRepMap
     // for redundant gepnodes and remove those nodes from pag
     for (NodeID n: redundantGepNodes) {
-        NodeID base = pag->getBaseObjNode(n);
+        NodeID base = pag->getBaseObjVar(n);
         GepObjPN *gepNode = SVFUtil::dyn_cast<GepObjPN>(pag->getGNode(n));
         assert(gepNode && "Not a gep node in redundantGepNodes set");
         const LocationSet ls = gepNode->getLocationSet();
-        GepObjNodeMap.erase(std::make_pair(base, ls));
+        GepObjVarMap.erase(std::make_pair(base, ls));
         memToFieldsMap[base].reset(n);
         cleanConsCG(n);
 
@@ -411,11 +411,11 @@ bool Andersen::processGepPts(const PointsTo& pts, const GepCGEdge* edge)
             if (!isFieldInsensitive(o))
             {
                 setObjFieldInsensitive(o);
-                consCG->addNodeToBeCollapsed(consCG->getBaseObjNode(o));
+                consCG->addNodeToBeCollapsed(consCG->getBaseObjVar(o));
             }
 
             // Add the field-insensitive node into pts.
-            NodeID baseId = consCG->getFIObjNode(o);
+            NodeID baseId = consCG->getFIObjVar(o);
             tmpDstPts.set(baseId);
         }
     }
@@ -434,7 +434,7 @@ bool Andersen::processGepPts(const PointsTo& pts, const GepCGEdge* edge)
 
             if (!matchType(edge->getSrcID(), o, normalGepEdge)) continue;
 
-            NodeID fieldSrcPtdNode = consCG->getGepObjNode(o, normalGepEdge->getLocationSet());
+            NodeID fieldSrcPtdNode = consCG->getGepObjVar(o, normalGepEdge->getLocationSet());
             tmpDstPts.set(fieldSrcPtdNode);
             addTypeForGepObjNode(fieldSrcPtdNode, normalGepEdge);
         }
@@ -561,9 +561,9 @@ bool Andersen::collapseField(NodeID nodeId)
     setObjFieldInsensitive(nodeId);
 
     // replace all occurrences of each field with the field-insensitive node
-    NodeID baseId = consCG->getFIObjNode(nodeId);
+    NodeID baseId = consCG->getFIObjVar(nodeId);
     NodeID baseRepNodeId = consCG->sccRepNode(baseId);
-    NodeBS & allFields = consCG->getAllFieldsObjNode(baseId);
+    NodeBS & allFields = consCG->getAllFieldsObjVars(baseId);
     for (NodeBS::iterator fieldIt = allFields.begin(), fieldEit = allFields.end(); fieldIt != fieldEit; fieldIt++)
     {
         NodeID fieldId = *fieldIt;
@@ -722,12 +722,12 @@ void Andersen::connectCaller2CalleeParams(CallSite cs, const SVFFunction* F, Nod
     {
 
         // connect actual and formal param
-        const SVFIR::PAGNodeList& csArgList = pag->getCallSiteArgsList(callBlockNode);
-        const SVFIR::PAGNodeList& funArgList = pag->getFunArgsList(F);
+        const SVFIR::SVFVarList& csArgList = pag->getCallSiteArgsList(callBlockNode);
+        const SVFIR::SVFVarList& funArgList = pag->getFunArgsList(F);
         //Go through the fixed parameters.
         DBOUT(DPAGBuild, outs() << "      args:");
-        SVFIR::PAGNodeList::const_iterator funArgIt = funArgList.begin(), funArgEit = funArgList.end();
-        SVFIR::PAGNodeList::const_iterator csArgIt  = csArgList.begin(), csArgEit = csArgList.end();
+        SVFIR::SVFVarList::const_iterator funArgIt = funArgList.begin(), funArgEit = funArgList.end();
+        SVFIR::SVFVarList::const_iterator csArgIt  = csArgList.begin(), csArgEit = csArgList.end();
         for (; funArgIt != funArgEit; ++csArgIt, ++funArgIt)
         {
             //Some programs (e.g. Linux kernel) leave unneeded parameters empty.

package/lib/WPA/AndersenSFR.cpp

@@ -161,7 +161,7 @@ void AndersenSFR::fieldExpand(NodeSet& initials, Size_t offset, NodeBS& strides,
             // get gep objs
             for (Size_t _f : offsets)
             {
-                NodeID gepId = consCG->getGepObjNode(init, LocationSet(_f));
+                NodeID gepId = consCG->getGepObjVar(init, LocationSet(_f));
                 initials.erase(gepId);  // gep id in initials should be removed to avoid redundant derivation
                 expandPts.set(gepId);
             }

package/lib/WPA/AndersenStat.cpp

@@ -76,7 +76,7 @@ void AndersenStat::collectCycleInfo(ConstraintGraph* consCG)
             PAGNode* pagNode = pta->getPAG()->getGNode(nodeId);
             if (SVFUtil::isa<ObjVar>(pagNode) && pta->isFieldInsensitive(nodeId))
             {
-                NodeID baseId = consCG->getBaseObjNode(nodeId);
+                NodeID baseId = consCG->getBaseObjVar(nodeId);
                 clone.reset(nodeId);
                 clone.set(baseId);
             }
@@ -228,8 +228,8 @@ void AndersenStat::statNullPtr()
         PAGNode* pagNode = iter->second;
         if (pagNode->isTopLevelPtr() == false)
             continue;
-        PAGEdge::PAGEdgeSetTy& inComingStore = pagNode->getIncomingEdges(PAGEdge::Store);
-        PAGEdge::PAGEdgeSetTy& outGoingLoad = pagNode->getOutgoingEdges(PAGEdge::Load);
+        PAGEdge::SVFStmtSetTy& inComingStore = pagNode->getIncomingEdges(PAGEdge::Store);
+        PAGEdge::SVFStmtSetTy& outGoingLoad = pagNode->getOutgoingEdges(PAGEdge::Load);
         if (inComingStore.empty()==false || outGoingLoad.empty()==false)
         {
             ///TODO: change the condition here to fetch the points-to set

package/lib/WPA/FlowSensitive.cpp

@@ -378,7 +378,7 @@ bool FlowSensitive::propAlongIndirectEdge(const IndirectSVFGEdge* edge)
         if (isFieldInsensitive(ptd))
         {
             /// If this is a field-insensitive obj, propagate all field node's pts
-            const NodeBS& allFields = getAllFieldsObjNode(ptd);
+            const NodeBS& allFields = getAllFieldsObjVars(ptd);
             for (NodeBS::iterator fieldIt = allFields.begin(), fieldEit = allFields.end();
                     fieldIt != fieldEit; ++fieldIt)
             {
@@ -422,7 +422,7 @@ bool FlowSensitive::processAddr(const AddrSVFGNode* addr)
     /// TODO: If this object has been set as field-insensitive, just
     ///       add the insensitive object node into dst pointer's pts.
     if (isFieldInsensitive(srcID))
-        srcID = getFIObjNode(srcID);
+        srcID = getFIObjVar(srcID);
     bool changed = addPts(addr->getPAGDstNodeID(), srcID);
     double end = stat->getClk();
     addrTime += (end - start) / TIMEINTERVAL;
@@ -483,7 +483,7 @@ bool FlowSensitive::processGep(const GepSVFGNode* edge)
             }
 
             setObjFieldInsensitive(o);
-            tmpDstPts.set(getFIObjNode(o));
+            tmpDstPts.set(getFIObjVar(o));
         }
     }
     else if (const NormalGepStmt* normalGep = SVFUtil::dyn_cast<NormalGepStmt>(edge->getPAGEdge()))
@@ -496,7 +496,7 @@ bool FlowSensitive::processGep(const GepSVFGNode* edge)
                 continue;
             }
 
-            NodeID fieldSrcPtdNode = getGepObjNode(o, normalGep->getLocationSet());
+            NodeID fieldSrcPtdNode = getGepObjVar(o, normalGep->getLocationSet());
             tmpDstPts.set(fieldSrcPtdNode);
         }
     }
@@ -542,7 +542,7 @@ bool FlowSensitive::processLoad(const LoadSVFGNode* load)
         {
             /// If the ptd is a field-insensitive node, we should also get all field nodes'
             /// points-to sets and pass them to pagDst.
-            const NodeBS& allFields = getAllFieldsObjNode(ptd);
+            const NodeBS& allFields = getAllFieldsObjVars(ptd);
             for (NodeBS::iterator fieldIt = allFields.begin(), fieldEit = allFields.end();
                     fieldIt != fieldEit; ++fieldIt)
             {
@@ -755,7 +755,7 @@ void FlowSensitive::updateConnectedNodes(const SVFGEdgeSetTy& edges)
                 if (isFieldInsensitive(ptd))
                 {
                     /// If this is a field-insensitive obj, propagate all field node's pts
-                    const NodeBS& allFields = getAllFieldsObjNode(ptd);
+                    const NodeBS& allFields = getAllFieldsObjVars(ptd);
                     for (NodeBS::iterator fieldIt = allFields.begin(), fieldEit = allFields.end();
                             fieldIt != fieldEit; ++fieldIt)
                     {

package/lib/WPA/FlowSensitiveStat.cpp

@@ -276,8 +276,8 @@ void FlowSensitiveStat::statNullPtr()
     {
         NodeID pagNodeId = iter->first;
         PAGNode* pagNode = iter->second;
-        PAGEdge::PAGEdgeSetTy& inComingStore = pagNode->getIncomingEdges(PAGEdge::Store);
-        PAGEdge::PAGEdgeSetTy& outGoingLoad = pagNode->getOutgoingEdges(PAGEdge::Load);
+        PAGEdge::SVFStmtSetTy& inComingStore = pagNode->getIncomingEdges(PAGEdge::Store);
+        PAGEdge::SVFStmtSetTy& outGoingLoad = pagNode->getOutgoingEdges(PAGEdge::Load);
         if (inComingStore.empty()==false || outGoingLoad.empty()==false)
         {
             ///TODO: change the condition here to fetch the points-to set

package/lib/WPA/FlowSensitiveTBHC.cpp

@@ -169,7 +169,7 @@ bool FlowSensitiveTBHC::propAlongIndirectEdge(const IndirectSVFGEdge* edge)
         if (isFIObjNode(o))
         {
             /// If this is a field-insensitive obj, propagate all field node's pts
-            const NodeBS &allFields = getAllFieldsObjNode(o);
+            const NodeBS &allFields = getAllFieldsObjVars(o);
             for (NodeID f : allFields)
             {
                 if (propVarPtsFromSrcToDst(f, src, dst))
@@ -405,7 +405,7 @@ bool FlowSensitiveTBHC::processLoad(const LoadSVFGNode* load)
         {
             /// If the ptd is a field-insensitive node, we should also get all field nodes'
             /// points-to sets and pass them to pagDst.
-            const NodeBS &allFields = getAllFieldsObjNode(ptd);
+            const NodeBS &allFields = getAllFieldsObjVars(ptd);
             for (NodeID f : allFields)
             {
                 if (unionPtsFromIn(load, f, dstVar))
@@ -529,7 +529,7 @@ bool FlowSensitiveTBHC::processCopy(const CopySVFGNode* copy)
     return FlowSensitive::processCopy(copy) || changed;
 }
 
-const NodeBS& FlowSensitiveTBHC::getAllFieldsObjNode(NodeID id)
+const NodeBS& FlowSensitiveTBHC::getAllFieldsObjVars(NodeID id)
 {
     return getGepObjs(id);
 }
@@ -647,10 +647,10 @@ void FlowSensitiveTBHC::expandFIObjs(const PointsTo& pts, PointsTo& expandedPts)
     expandedPts = pts;
     for (NodeID o : pts)
     {
-        expandedPts |= getAllFieldsObjNode(o);
+        expandedPts |= getAllFieldsObjVars(o);
         while (const GepObjPN *gepObj = SVFUtil::dyn_cast<GepObjPN>(pag->getGNode(o)))
         {
-            expandedPts |= getAllFieldsObjNode(o);
+            expandedPts |= getAllFieldsObjVars(o);
             o = gepObj->getBaseNode();
         }
     }

package/lib/WPA/VersionedFlowSensitive.cpp

@@ -641,7 +641,7 @@ bool VersionedFlowSensitive::processLoad(const LoadSVFGNode* load)
         {
             /// If o is a field-insensitive object, we should also get all field nodes'
             /// points-to sets and pass them to p.
-            const NodeBS& fields = getAllFieldsObjNode(o);
+            const NodeBS& fields = getAllFieldsObjVars(o);
             for (NodeID of : fields)
             {
                 const Version c = getConsume(l, of);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.322",
+  "version": "1.0.326",
   "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": {