svf-tools 1.0.563 → 1.0.564

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.563",
+  "version": "1.0.564",
   "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": {