svf-tools 1.0.562 → 1.0.565

package/lib/Util/SVFStat.cpp

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify
@@ -31,6 +31,12 @@
 #include "Util/SVFStat.h"
 
 using namespace SVF;
+using namespace std;
+
+double SVFStat::timeOfBuildingLLVMModule = 0;
+double SVFStat::timeOfBuildingSVFIR = 0;
+double SVFStat::timeOfBuildingSymbolTable = 0;
+
 
 SVFStat::SVFStat() : startTime(0), endTime(0)
 {
@@ -55,4 +61,198 @@ double SVFStat::getClk(bool mark)
 
     assert(false && "PTAStat::getClk: unknown clock type");
     abort();
-}
+}
+
+void SVFStat::printStat(string statname)
+{
+
+    std::string moduleName(SymbolTableInfo::SymbolInfo()->getModule()->getModuleIdentifier());
+    std::vector<std::string> names = SVFUtil::split(moduleName,'/');
+    if (names.size() > 1)
+    {
+        moduleName = names[names.size() - 1];
+    }
+
+    SVFUtil::outs() << "\n*********" << statname << "***************\n";
+    SVFUtil::outs() << "################ (program : " << moduleName << ")###############\n";
+    SVFUtil::outs().flags(std::ios::left);
+    unsigned field_width = 20;
+    for(NUMStatMap::iterator it = generalNumMap.begin(), eit = generalNumMap.end(); it!=eit; ++it)
+    {
+        // format out put with width 20 space
+        std::cout << std::setw(field_width) << it->first << it->second << "\n";
+    }
+    SVFUtil::outs() << "-------------------------------------------------------\n";
+    for(TIMEStatMap::iterator it = timeStatMap.begin(), eit = timeStatMap.end(); it!=eit; ++it)
+    {
+        // format out put with width 20 space
+        SVFUtil::outs() << std::setw(field_width) << it->first << it->second << "\n";
+    }
+    for(NUMStatMap::iterator it = PTNumStatMap.begin(), eit = PTNumStatMap.end(); it!=eit; ++it)
+    {
+        // format out put with width 20 space
+        SVFUtil::outs() << std::setw(field_width) << it->first << it->second << "\n";
+    }
+
+    SVFUtil::outs() << "#######################################################" << std::endl;
+    SVFUtil::outs().flush();
+    generalNumMap.clear();
+    PTNumStatMap.clear();
+    timeStatMap.clear();
+}
+
+void SVFStat::performStat()
+{
+
+    SVFIR* pag = SVFIR::getPAG();
+    u32_t numOfFunction = 0;
+    u32_t numOfGlobal = 0;
+    u32_t numOfStack = 0;
+    u32_t numOfHeap = 0;
+    u32_t numOfHasVarArray = 0;
+    u32_t numOfHasVarStruct = 0;
+    u32_t numOfHasConstArray = 0;
+    u32_t numOfHasConstStruct = 0;
+    u32_t numOfScalar = 0;
+    u32_t numOfConstant = 0;
+    u32_t fiObjNumber = 0;
+    u32_t fsObjNumber = 0;
+    Set<SymID> memObjSet;
+    for(SVFIR::iterator it = pag->begin(), eit = pag->end(); it!=eit; ++it)
+    {
+        PAGNode* node = it->second;
+        if(ObjVar* obj = SVFUtil::dyn_cast<ObjVar>(node))
+        {
+            const MemObj* mem = obj->getMemObj();
+            if (memObjSet.insert(mem->getId()).second == false)
+                continue;
+            if(mem->isBlackHoleObj())
+                continue;
+            if(mem->isFunction())
+                numOfFunction++;
+            if(mem->isGlobalObj())
+                numOfGlobal++;
+            if(mem->isStack())
+                numOfStack++;
+            if(mem->isHeap())
+                numOfHeap++;
+            if(mem->isVarArray())
+                numOfHasVarArray++;
+            if(mem->isVarStruct())
+                numOfHasVarStruct++;
+            if(mem->isConstantArray())
+                numOfHasConstArray++;
+            if(mem->isConstantStruct())
+                numOfHasConstStruct++;
+            if(mem->hasPtrObj() == false)
+                numOfScalar++;
+            if(mem->isConstDataOrConstGlobal())
+                numOfConstant++;
+
+            if (mem->isFieldInsensitive())
+                fiObjNumber++;
+            else
+                fsObjNumber++;
+        }
+    }
+
+
+
+    generalNumMap["TotalPointers"] = pag->getValueNodeNum() + pag->getFieldValNodeNum();
+    generalNumMap["TotalObjects"] = pag->getObjectNodeNum();
+    generalNumMap["TotalFieldObjects"] = pag->getFieldObjNodeNum();
+    generalNumMap["MaxStructSize"] = SymbolTableInfo::SymbolInfo()->getMaxStructSize();
+    generalNumMap["TotalSVFStmts"] = pag->getPAGEdgeNum();
+    generalNumMap["TotalPTASVFStmts"] = pag->getPTAPAGEdgeNum();
+    generalNumMap["FIObjNum"] = fiObjNumber;
+    generalNumMap["FSObjNum"] = fsObjNumber;
+
+    generalNumMap["AddrsNum"] = pag->getSVFStmtSet(SVFStmt::Addr).size();
+    generalNumMap["LoadsNum"] = pag->getSVFStmtSet(SVFStmt::Load).size();
+    generalNumMap["StoresNum"] = pag->getSVFStmtSet(SVFStmt::Store).size();
+    generalNumMap["CopysNum"] =  pag->getSVFStmtSet(SVFStmt::Copy).size();
+    generalNumMap["GepsNum"] =  pag->getSVFStmtSet(SVFStmt::Gep).size();
+    generalNumMap["CallsNum"] = pag->getSVFStmtSet(SVFStmt::Call).size();
+    generalNumMap["ReturnsNum"] = pag->getSVFStmtSet(SVFStmt::Ret).size();
+
+    generalNumMap["FunctionObjs"] = numOfFunction;
+    generalNumMap["GlobalObjs"] = numOfGlobal;
+    generalNumMap["HeapObjs"]  = numOfHeap;
+    generalNumMap["StackObjs"] = numOfStack;
+
+    generalNumMap["VarStructObj"] = numOfHasVarStruct;
+    generalNumMap["VarArrayObj"] = numOfHasVarArray;
+    generalNumMap["ConstStructObj"] = numOfHasConstStruct;
+    generalNumMap["ConstArrayObj"] = numOfHasConstArray;
+    generalNumMap["NonPtrObj"] = numOfScalar;
+    generalNumMap["ConstantObj"] = numOfConstant;
+
+    generalNumMap["IndCallSites"] = pag->getIndirectCallsites().size();
+    generalNumMap["TotalCallSite"] = pag->getCallSiteSet().size();
+
+    timeStatMap["LLVMIRTime"] = SVFStat::timeOfBuildingLLVMModule;
+    timeStatMap["SymbolTableTime"] = SVFStat::timeOfBuildingSymbolTable;
+    timeStatMap["SVFIRTime"] = SVFStat::timeOfBuildingSVFIR;
+
+    // REFACTOR-TODO bitcastInstStat();
+    branchStat();
+
+    printStat("General Stats");
+
+}
+
+
+void SVFStat::branchStat()
+{
+    SVFModule* module = SVFIR::getPAG()->getModule();
+    u32_t numOfBB_2Succ = 0;
+    u32_t numOfBB_3Succ = 0;
+    for (SVFModule::llvm_const_iterator funIter = module->llvmFunBegin(), funEiter = module->llvmFunEnd();
+            funIter != funEiter; ++funIter)
+    {
+        const Function* func = *funIter;
+        for (Function::const_iterator bbIt = func->begin(), bbEit = func->end();
+                bbIt != bbEit; ++bbIt)
+        {
+            const BasicBlock& bb = *bbIt;
+            u32_t numOfSucc = bb.getTerminator()->getNumSuccessors();
+            if (numOfSucc == 2)
+                numOfBB_2Succ++;
+            else if (numOfSucc > 2)
+                numOfBB_3Succ++;
+        }
+    }
+
+    generalNumMap["BBWith2Succ"] = numOfBB_2Succ;
+    generalNumMap["BBWith3Succ"] = numOfBB_3Succ;
+}
+
+/* REFACTOR-TODO
+void PTAStat::bitcastInstStat()
+{
+    SVFModule* module = pta->getModule();
+    u32_t numberOfBitCast = 0;
+    for (SVFModule::llvm_const_iterator funIter = module->llvmFunBegin(), funEiter = module->llvmFunEnd();
+            funIter != funEiter; ++funIter)
+    {
+        const Function* func = *funIter;
+        for (Function::const_iterator bbIt = func->begin(), bbEit = func->end();
+                bbIt != bbEit; ++bbIt)
+        {
+            const BasicBlock& bb = *bbIt;
+            for (BasicBlock::const_iterator instIt = bb.begin(), instEit = bb.end();
+                    instIt != instEit; ++instIt)
+            {
+                const Instruction& inst = *instIt;
+                if (const BitCastInst* bitcast = SVFUtil::dyn_cast<BitCastInst>(&inst))
+                {
+                    if (SVFUtil::isa<PointerType>(bitcast->getSrcTy()))
+                        numberOfBitCast++;
+                }
+            }
+        }
+    }
+
+    generalNumMap["BitCastNumber"] = numberOfBitCast;
+}
+*/

package/lib/WPA/AndersenStat.cpp

@@ -306,49 +306,49 @@ void AndersenStat::performStat()
 
     constraintGraphStat();
 
-    timeStatMap[TotalAnalysisTime] = (endTime - startTime)/TIMEINTERVAL;
-    timeStatMap[SCCDetectionTime] = Andersen::timeOfSCCDetection;
-    timeStatMap[SCCMergeTime] =  Andersen::timeOfSCCMerges;
+    timeStatMap["TotalTime"] = (endTime - startTime)/TIMEINTERVAL;
+    timeStatMap["SCCDetectTime"] = Andersen::timeOfSCCDetection;
+    timeStatMap["SCCMergeTime"] =  Andersen::timeOfSCCMerges;
     timeStatMap[CollapseTime] =  Andersen::timeOfCollapse;
 
-    timeStatMap[ProcessLoadStoreTime] =  Andersen::timeOfProcessLoadStore;
-    timeStatMap[ProcessCopyGepTime] =  Andersen::timeOfProcessCopyGep;
-    timeStatMap[UpdateCallGraphTime] =  Andersen::timeOfUpdateCallGraph;
+    timeStatMap["LoadStoreTime"] =  Andersen::timeOfProcessLoadStore;
+    timeStatMap["CopyGepTime"] =  Andersen::timeOfProcessCopyGep;
+    timeStatMap["UpdateCGTime"] =  Andersen::timeOfUpdateCallGraph;
 
-    PTNumStatMap[TotalNumOfPointers] = pag->getValueNodeNum() + pag->getFieldValNodeNum();
-    PTNumStatMap[TotalNumOfObjects] = pag->getObjectNodeNum() + pag->getFieldObjNodeNum();
+    PTNumStatMap["TotalPointers"] = pag->getValueNodeNum() + pag->getFieldValNodeNum();
+    PTNumStatMap["TotalObjects"] = pag->getObjectNodeNum() + pag->getFieldObjNodeNum();
 
 
-    PTNumStatMap[NumOfProcessedAddrs] = Andersen::numOfProcessedAddr;
-    PTNumStatMap[NumOfProcessedCopys] = Andersen::numOfProcessedCopy;
-    PTNumStatMap[NumOfProcessedGeps] = Andersen::numOfProcessedGep;
-    PTNumStatMap[NumOfProcessedLoads] = Andersen::numOfProcessedLoad;
-    PTNumStatMap[NumOfProcessedStores] = Andersen::numOfProcessedStore;
+    PTNumStatMap["AddrProcessed"] = Andersen::numOfProcessedAddr;
+    PTNumStatMap["CopyProcessed"] = Andersen::numOfProcessedCopy;
+    PTNumStatMap["GepProcessed"] = Andersen::numOfProcessedGep;
+    PTNumStatMap["LoadProcessed"] = Andersen::numOfProcessedLoad;
+    PTNumStatMap["StoreProcessed"] = Andersen::numOfProcessedStore;
 
-    PTNumStatMap[NumOfSfr] = Andersen::numOfSfrs;
-    PTNumStatMap[NumOfFieldExpand] = Andersen::numOfFieldExpand;
+    PTNumStatMap["NumOfSFRs"] = Andersen::numOfSfrs;
+    PTNumStatMap["NumOfFieldExpand"] = Andersen::numOfFieldExpand;
 
-    PTNumStatMap[NumOfPointers] = pag->getValueNodeNum();
-    PTNumStatMap[NumOfMemObjects] = pag->getObjectNodeNum();
-    PTNumStatMap[NumOfGepFieldPointers] = pag->getFieldValNodeNum();
-    PTNumStatMap[NumOfGepFieldObjects] = pag->getFieldObjNodeNum();
+    PTNumStatMap["Pointers"] = pag->getValueNodeNum();
+    PTNumStatMap["MemObjects"] = pag->getObjectNodeNum();
+    PTNumStatMap["DummyFieldPtrs"] = pag->getFieldValNodeNum();
+    PTNumStatMap["FieldObjs"] = pag->getFieldObjNodeNum();
 
-    timeStatMap[AveragePointsToSetSize] = (double)totalPtsSize/totalPointers;;
-    timeStatMap[AverageTopLevPointsToSetSize] = (double)totalTopLevPtsSize/totalTopLevPointers;;
+    timeStatMap["AvgPtsSetSize"] = (double)totalPtsSize/totalPointers;;
+    timeStatMap["AvgTopLvlPtsSize"] = (double)totalTopLevPtsSize/totalTopLevPointers;;
 
-    PTNumStatMap[MaxPointsToSetSize] = _MaxPtsSize;
+    PTNumStatMap["MaxPtsSetSize"] = _MaxPtsSize;
 
-    PTNumStatMap[NumOfIterations] = pta->numOfIteration;
+    PTNumStatMap["SolveIterations"] = pta->numOfIteration;
 
-    PTNumStatMap[NumOfIndirectCallSites] = consCG->getIndirectCallsites().size();
-    PTNumStatMap[NumOfIndirectEdgeSolved] = pta->getNumOfResolvedIndCallEdge();
+    PTNumStatMap["IndCallSites"] = consCG->getIndirectCallsites().size();
+    PTNumStatMap["IndEdgeSolved"] = pta->getNumOfResolvedIndCallEdge();
 
-    PTNumStatMap[NumOfSCCDetection] = Andersen::numOfSCCDetection;
-    PTNumStatMap[NumOfCycles] = _NumOfCycles;
-    PTNumStatMap[NumOfPWCCycles] = _NumOfPWCCycles;
-    PTNumStatMap[NumOfNodesInCycles] = _NumOfNodesInCycles;
-    PTNumStatMap[MaxNumOfNodesInSCC] = _MaxNumOfNodesInSCC;
-    PTNumStatMap[NumOfNullPointer] = _NumOfNullPtr;
+    PTNumStatMap["NumOfSCCDetect"] = Andersen::numOfSCCDetection;
+    PTNumStatMap["TotalCycleNum"] = _NumOfCycles;
+    PTNumStatMap["TotalPWCCycleNum"] = _NumOfPWCCycles;
+    PTNumStatMap["NodesInCycles"] = _NumOfNodesInCycles;
+    PTNumStatMap["MaxNodesInSCC"] = _MaxNumOfNodesInSCC;
+    PTNumStatMap["NullPointer"] = _NumOfNullPtr;
     PTNumStatMap["PointsToConstPtr"] = _NumOfConstantPtr;
     PTNumStatMap["PointsToBlkPtr"] = _NumOfBlackholePtr;
 

package/lib/WPA/FlowSensitiveStat.cpp

@@ -120,8 +120,8 @@ void FlowSensitiveStat::performStat()
         }
     }
 
-    PTNumStatMap[NumberOfFieldInsensitiveObj] = fiObjNumber;
-    PTNumStatMap[NumberOfFieldSensitiveObj] = fsObjNumber;
+    PTNumStatMap["FIObjNum"] = fiObjNumber;
+    PTNumStatMap["FSObjNum"] = fsObjNumber;
 
     unsigned numOfCopy = 0;
     unsigned numOfStore = 0;
@@ -138,7 +138,7 @@ void FlowSensitiveStat::performStat()
 
     PTAStat::performStat();
 
-    timeStatMap[TotalAnalysisTime] = (endTime - startTime)/TIMEINTERVAL;
+    timeStatMap["TotalTime"] = (endTime - startTime)/TIMEINTERVAL;
     timeStatMap["SolveTime"] = fspta->solveTime;
     timeStatMap["SCCTime"] = fspta->sccTime;
     timeStatMap["ProcessTime"] = fspta->processTime;
@@ -154,22 +154,22 @@ void FlowSensitiveStat::performStat()
     timeStatMap["UpdateCGTime"] = fspta->updateCallGraphTime;
     timeStatMap["PhiTime"] = fspta->phiTime;
 
-    PTNumStatMap[TotalNumOfPointers] = pag->getValueNodeNum() + pag->getFieldValNodeNum();
-    PTNumStatMap[TotalNumOfObjects] = pag->getObjectNodeNum() + pag->getFieldObjNodeNum();
+    PTNumStatMap["TotalPointers"] = pag->getValueNodeNum() + pag->getFieldValNodeNum();
+    PTNumStatMap["TotalObjects"] = pag->getObjectNodeNum() + pag->getFieldObjNodeNum();
 
-    PTNumStatMap[NumOfPointers] = pag->getValueNodeNum();
-    PTNumStatMap[NumOfMemObjects] = pag->getObjectNodeNum();
-    PTNumStatMap[NumOfGepFieldPointers] = pag->getFieldValNodeNum();
-    PTNumStatMap[NumOfGepFieldObjects] = pag->getFieldObjNodeNum();
+    PTNumStatMap["Pointers"] = pag->getValueNodeNum();
+    PTNumStatMap["MemObjects"] = pag->getObjectNodeNum();
+    PTNumStatMap["DummyFieldPtrs"] = pag->getFieldValNodeNum();
+    PTNumStatMap["FieldObjs"] = pag->getFieldObjNodeNum();
 
-    PTNumStatMap[NumOfCopys] = numOfCopy;
-    PTNumStatMap[NumOfStores] = numOfStore;
+    PTNumStatMap["CopysNum"] = numOfCopy;
+    PTNumStatMap["StoresNum"] = numOfStore;
 
-    PTNumStatMap[NumOfIterations] = fspta->numOfIteration;
+    PTNumStatMap["SolveIterations"] = fspta->numOfIteration;
 
-    PTNumStatMap[NumOfIndirectEdgeSolved] = fspta->getNumOfResolvedIndCallEdge();
+    PTNumStatMap["IndEdgeSolved"] = fspta->getNumOfResolvedIndCallEdge();
 
-    PTNumStatMap[NumOfNullPointer] = _NumOfNullPtr;
+    PTNumStatMap["NullPointer"] = _NumOfNullPtr;
     PTNumStatMap["PointsToConstPtr"] = _NumOfConstantPtr;
     PTNumStatMap["PointsToBlkPtr"] = _NumOfBlackholePtr;
 

package/lib/WPA/VersionedFlowSensitiveStat.cpp

@@ -65,8 +65,8 @@ void VersionedFlowSensitiveStat::performStat()
         }
     }
 
-    PTNumStatMap[NumberOfFieldInsensitiveObj] = fiObjNumber;
-    PTNumStatMap[NumberOfFieldSensitiveObj] = fsObjNumber;
+    PTNumStatMap["FIObjNum"] = fiObjNumber;
+    PTNumStatMap["FSObjNum"] = fsObjNumber;
 
     unsigned numOfCopy = 0;
     unsigned numOfStore = 0;
@@ -79,7 +79,7 @@ void VersionedFlowSensitiveStat::performStat()
 
     PTAStat::performStat();
 
-    timeStatMap[TotalAnalysisTime]    = (endTime - startTime)/TIMEINTERVAL;
+    timeStatMap["TotalTime"]    = (endTime - startTime)/TIMEINTERVAL;
     timeStatMap["SolveTime"]          = vfspta->solveTime;
     timeStatMap["SCCTime"]            = vfspta->sccTime;
     timeStatMap["ProcessTime"]        = vfspta->processTime;
@@ -98,13 +98,13 @@ void VersionedFlowSensitiveStat::performStat()
     timeStatMap["PrelabelingTime"]    = vfspta->prelabelingTime;
     timeStatMap["VersionPropTime"]    = vfspta->versionPropTime;
 
-    PTNumStatMap[TotalNumOfPointers]  = pag->getValueNodeNum() + pag->getFieldValNodeNum();
-    PTNumStatMap[TotalNumOfObjects]   = pag->getObjectNodeNum() + pag->getFieldObjNodeNum();
+    PTNumStatMap["TotalPointers"]  = pag->getValueNodeNum() + pag->getFieldValNodeNum();
+    PTNumStatMap["TotalObjects"]   = pag->getObjectNodeNum() + pag->getFieldObjNodeNum();
 
-    PTNumStatMap[NumOfPointers]         = pag->getValueNodeNum();
-    PTNumStatMap[NumOfMemObjects]       = pag->getObjectNodeNum();
-    PTNumStatMap[NumOfGepFieldPointers] = pag->getFieldValNodeNum();
-    PTNumStatMap[NumOfGepFieldObjects]  = pag->getFieldObjNodeNum();
+    PTNumStatMap["Pointers"]         = pag->getValueNodeNum();
+    PTNumStatMap["MemObjects"]       = pag->getObjectNodeNum();
+    PTNumStatMap["DummyFieldPtrs"] = pag->getFieldValNodeNum();
+    PTNumStatMap["FieldObjs"]  = pag->getFieldObjNodeNum();
 
     PTNumStatMap["TotalVersions"]     = _NumVersions;
     PTNumStatMap["MaxVersionsForObj"] = _MaxVersions;
@@ -113,12 +113,12 @@ void VersionedFlowSensitiveStat::performStat()
     PTNumStatMap["TotalExistingVPts"] = _NumUsedVersions;
     PTNumStatMap["TotalSingleVObjs"]  = _NumSingleVersion;
 
-    PTNumStatMap[NumOfCopys]  = numOfCopy;
-    PTNumStatMap[NumOfStores] = numOfStore;
+    PTNumStatMap["CopysNum"]  = numOfCopy;
+    PTNumStatMap["StoresNum"] = numOfStore;
 
-    PTNumStatMap[NumOfIterations] = vfspta->numOfIteration;
+    PTNumStatMap["SolveIterations"] = vfspta->numOfIteration;
 
-    PTNumStatMap[NumOfIndirectEdgeSolved] = vfspta->getNumOfResolvedIndCallEdge();
+    PTNumStatMap["IndEdgeSolved"] = vfspta->getNumOfResolvedIndCallEdge();
 
     PTNumStatMap["StrongUpdates"] = vfspta->svfgHasSU.count();
 

package/package.json

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