Static Value-Flow Analysis
|
#include <SVFGStat.h>
Public Member Functions | |
MemSSAStat (MemSSA *) | |
virtual | ~MemSSAStat () |
virtual void | performStat () override |
virtual void | printStat (std::string str="") override |
Public Member Functions inherited from SVF::PTAStat | |
PTAStat (PointerAnalysis *p) | |
virtual | ~PTAStat () |
void | setMemUsageBefore (u32_t vmrss, u32_t vmsize) |
void | setMemUsageAfter (u32_t vmrss, u32_t vmsize) |
void | performStat () override |
void | callgraphStat () override |
Public Member Functions inherited from SVF::SVFStat | |
SVFStat () | |
virtual | ~SVFStat () |
virtual void | startClk () |
virtual void | endClk () |
virtual void | performStatPerQuery (NodeID) |
virtual void | printStatPerQuery (NodeID, const PointsTo &) |
Static Public Attributes | |
static const char * | TotalTimeOfConstructMemSSA = "TotalMSSATime" |
Total time for constructing memory SSA. More... | |
static const char * | TimeOfGeneratingMemRegions = "GenRegionTime" |
Time for allocating regions. More... | |
static const char * | TimeOfCreateMUCHI = "GenMUCHITime" |
Time for generating mu/chi for load/store/calls. More... | |
static const char * | TimeOfInsertingPHI = "InsertPHITime" |
Time for inserting phis. More... | |
static const char * | TimeOfSSARenaming = "SSARenameTime" |
Time for SSA rename. More... | |
static const char * | NumOfMaxRegion = "MaxRegSize" |
Number of max points-to set in region. More... | |
static const char * | NumOfAveragePtsInRegion = "AverageRegSize" |
Number of average points-to set in region. More... | |
static const char * | NumOfMemRegions = "MemRegions" |
Number of memory regions. More... | |
static const char * | NumOfEntryChi = "FunEntryChi" |
Number of function entry chi. More... | |
static const char * | NumOfRetMu = "FunRetMu" |
Number of function return mu. More... | |
static const char * | NumOfCSChi = "CSChiNode" |
Number of call site chi. More... | |
static const char * | NumOfCSMu = "CSMuNode" |
Number of call site mu. More... | |
static const char * | NumOfLoadMu = "LoadMuNode" |
Number of load mu. More... | |
static const char * | NumOfStoreChi = "StoreChiNode" |
Number of store chi. More... | |
static const char * | NumOfMSSAPhi = "MSSAPhi" |
Number of mssa phi. More... | |
static const char * | NumOfFunHasEntryChi = "FunHasEntryChi" |
Number of functions which have entry chi. More... | |
static const char * | NumOfFunHasRetMu = "FunHasRetMu" |
Number of functions which have return mu. More... | |
static const char * | NumOfCSHasChi = "CSHasChi" |
Number of call sites which have chi. More... | |
static const char * | NumOfCSHasMu = "CSHasMu" |
Number of call sites which have mu. More... | |
static const char * | NumOfLoadHasMu = "LoadHasMu" |
Number of loads which have mu. More... | |
static const char * | NumOfStoreHasChi = "StoreHasChi" |
Number of stores which have chi. More... | |
static const char * | NumOfBBHasMSSAPhi = "BBHasMSSAPhi" |
Number of basic blocks which have mssa phi. More... | |
Static Public Attributes inherited from SVF::SVFStat | |
static bool | printGeneralStats = true |
SVF's general statistics are only printed once even if you run multiple anayses. More... | |
static double | timeOfBuildingLLVMModule = 0 |
static double | timeOfBuildingSymbolTable = 0 |
static double | timeOfBuildingSVFIR = 0 |
Private Attributes | |
MemSSA * | mssa |
Additional Inherited Members | |
Public Types inherited from SVF::SVFStat | |
enum | ClockType { Wall , CPU } |
typedef OrderedMap< std::string, u32_t > | NUMStatMap |
typedef OrderedMap< std::string, double > | TIMEStatMap |
Static Public Member Functions inherited from SVF::SVFStat | |
static double | getClk (bool mark=false) |
Public Attributes inherited from SVF::PTAStat | |
NodeBS | localVarInRecursion |
Public Attributes inherited from SVF::SVFStat | |
NUMStatMap | generalNumMap |
NUMStatMap | PTNumStatMap |
TIMEStatMap | timeStatMap |
double | startTime |
double | endTime |
Protected Attributes inherited from SVF::PTAStat | |
PointerAnalysis * | pta |
u32_t | _vmrssUsageBefore |
u32_t | _vmrssUsageAfter |
u32_t | _vmsizeUsageBefore |
u32_t | _vmsizeUsageAfter |
Definition at line 48 of file SVFGStat.h.
MemSSAStat::MemSSAStat | ( | MemSSA * | memSSA | ) |
|
inlinevirtual |
Definition at line 79 of file SVFGStat.h.
|
overridevirtual |
Start stating
Implements SVF::SVFStat.
Definition at line 74 of file SVFGStat.cpp.
|
overridevirtual |
|
private |
Definition at line 88 of file SVFGStat.h.
|
static |
Number of average points-to set in region.
Definition at line 59 of file SVFGStat.h.
|
static |
Number of basic blocks which have mssa phi.
Definition at line 75 of file SVFGStat.h.
|
static |
Number of call site chi.
Definition at line 63 of file SVFGStat.h.
|
static |
Number of call sites which have chi.
Definition at line 71 of file SVFGStat.h.
|
static |
Number of call sites which have mu.
Definition at line 72 of file SVFGStat.h.
|
static |
Number of call site mu.
Definition at line 64 of file SVFGStat.h.
|
static |
Number of function entry chi.
Definition at line 61 of file SVFGStat.h.
|
static |
Number of functions which have entry chi.
Definition at line 69 of file SVFGStat.h.
|
static |
Number of functions which have return mu.
Definition at line 70 of file SVFGStat.h.
|
static |
Number of loads which have mu.
Definition at line 73 of file SVFGStat.h.
|
static |
Number of load mu.
Definition at line 65 of file SVFGStat.h.
|
static |
Number of max points-to set in region.
Definition at line 58 of file SVFGStat.h.
|
static |
Number of memory regions.
Definition at line 60 of file SVFGStat.h.
|
static |
|
static |
Number of function return mu.
Definition at line 62 of file SVFGStat.h.
|
static |
Number of store chi.
Definition at line 66 of file SVFGStat.h.
|
static |
Number of stores which have chi.
Definition at line 74 of file SVFGStat.h.
|
static |
Time for generating mu/chi for load/store/calls.
Definition at line 54 of file SVFGStat.h.
|
static |
Time for allocating regions.
Definition at line 53 of file SVFGStat.h.
|
static |
Time for inserting phis.
Definition at line 55 of file SVFGStat.h.
|
static |
Time for SSA rename.
Definition at line 56 of file SVFGStat.h.
|
static |
Total time for constructing memory SSA.
Definition at line 52 of file SVFGStat.h.