Static Value-Flow Analysis
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
SVF::AEStat Class Reference

AEStat: Statistic for AE. More...

#include <AbstractInterpretation.h>

Inheritance diagram for SVF::AEStat:
SVF::SVFStat

Public Member Functions

void countStateSize ()
 
 AEStat (AbstractInterpretation *ae)
 
 ~AEStat ()
 
std::string getMemUsage ()
 
void finializeStat ()
 
void performStat () override
 
u32_tgetFunctionTrace ()
 
u32_tgetBlockTrace ()
 
u32_tgetICFGNodeTrace ()
 
- Public Member Functions inherited from SVF::SVFStat
 SVFStat ()
 
virtual ~SVFStat ()
 
virtual void startClk ()
 
virtual void endClk ()
 
virtual void printStat (std::string str="")
 
virtual void performStatPerQuery (NodeID)
 
virtual void printStatPerQuery (NodeID, const PointsTo &)
 
virtual void callgraphStat ()
 

Public Attributes

AbstractInterpretation_ae
 
s32_t count {0}
 
std::string memory_usage
 
std::string memUsage
 
- Public Attributes inherited from SVF::SVFStat
NUMStatMap generalNumMap
 
NUMStatMap PTNumStatMap
 
TIMEStatMap timeStatMap
 
double startTime
 
double endTime
 

Additional Inherited Members

- Public Types inherited from SVF::SVFStat
enum  ClockType { Wall , CPU }
 
typedef OrderedMap< std::string, u32_tNUMStatMap
 
typedef OrderedMap< std::string, doubleTIMEStatMap
 
- Static Public Member Functions inherited from SVF::SVFStat
static double getClk (bool mark=false)
 
- 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.
 
static double timeOfBuildingLLVMModule = 0
 
static double timeOfBuildingSymbolTable = 0
 
static double timeOfBuildingSVFIR = 0
 

Detailed Description

AEStat: Statistic for AE.

Definition at line 49 of file AbstractInterpretation.h.

Constructor & Destructor Documentation

◆ AEStat()

SVF::AEStat::AEStat ( AbstractInterpretation ae)
inline

Definition at line 53 of file AbstractInterpretation.h.

53 : _ae(ae)
54 {
55 startTime = getClk(true);
56 }
AbstractInterpretation * _ae
double startTime
Definition SVFStat.h:80
static double getClk(bool mark=false)
Definition SVFStat.cpp:48
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:74

◆ ~AEStat()

SVF::AEStat::~AEStat ( )
inline

Definition at line 57 of file AbstractInterpretation.h.

58 {
59 }

Member Function Documentation

◆ countStateSize()

void AEStat::countStateSize ( )

Definition at line 995 of file AbstractInterpretation.cpp.

996{
997 if (count == 0)
998 {
999 generalNumMap["ES_Var_AVG_Num"] = 0;
1000 generalNumMap["ES_Loc_AVG_Num"] = 0;
1001 generalNumMap["ES_Var_Addr_AVG_Num"] = 0;
1002 generalNumMap["ES_Loc_Addr_AVG_Num"] = 0;
1003 }
1004 ++count;
1005}
NUMStatMap generalNumMap
Definition SVFStat.h:76

◆ finializeStat()

void AEStat::finializeStat ( )

Definition at line 1007 of file AbstractInterpretation.cpp.

1008{
1010 if (count > 0)
1011 {
1012 generalNumMap["ES_Var_AVG_Num"] /= count;
1013 generalNumMap["ES_Loc_AVG_Num"] /= count;
1014 generalNumMap["ES_Var_Addr_AVG_Num"] /= count;
1015 generalNumMap["ES_Loc_Addr_AVG_Num"] /= count;
1016 }
1017 generalNumMap["SVF_STMT_NUM"] = count;
1018 generalNumMap["ICFG_Node_Num"] = _ae->svfir->getICFG()->nodeNum;
1019 u32_t callSiteNum = 0;
1022 for (const auto &it: *_ae->svfir->getICFG())
1023 {
1024 if (it.second->getFun())
1025 {
1026 funs.insert(it.second->getFun());
1027 }
1028 if (const CallICFGNode *callNode = dyn_cast<CallICFGNode>(it.second))
1029 {
1030 if (!isExtCall(callNode))
1031 {
1032 callSiteNum++;
1033 }
1034 else
1035 {
1037 }
1038 }
1039 }
1040 generalNumMap["Func_Num"] = funs.size();
1041 generalNumMap["EXT_CallSite_Num"] = extCallSiteNum;
1042 generalNumMap["NonEXT_CallSite_Num"] = callSiteNum;
1043 timeStatMap["Total_Time(sec)"] = (double)(endTime - startTime) / TIMEINTERVAL;
1044
1045}
unsigned u32_t
Definition CommandLine.h:18
#define TIMEINTERVAL
Definition SVFType.h:540
std::string getMemUsage()
SVFIR * svfir
protected data members, also used in subclasses
u32_t nodeNum
total num of edge
ICFG * getICFG() const
Definition SVFIR.h:163
TIMEStatMap timeStatMap
Definition SVFStat.h:78
double endTime
Definition SVFStat.h:81
bool isExtCall(const FunObjVar *fun)
Definition SVFUtil.cpp:437

◆ getBlockTrace()

u32_t & SVF::AEStat::getBlockTrace ( )
inline

Definition at line 84 of file AbstractInterpretation.h.

85 {
86 if (generalNumMap.count("Block_Trace") == 0)
87 {
88 generalNumMap["Block_Trace"] = 0;
89 }
90 return generalNumMap["Block_Trace"];
91 }

◆ getFunctionTrace()

u32_t & SVF::AEStat::getFunctionTrace ( )
inline

Definition at line 76 of file AbstractInterpretation.h.

77 {
78 if (generalNumMap.count("Function_Trace") == 0)
79 {
80 generalNumMap["Function_Trace"] = 0;
81 }
82 return generalNumMap["Function_Trace"];
83 }

◆ getICFGNodeTrace()

u32_t & SVF::AEStat::getICFGNodeTrace ( )
inline

Definition at line 92 of file AbstractInterpretation.h.

93 {
94 if (generalNumMap.count("ICFG_Node_Trace") == 0)
95 {
96 generalNumMap["ICFG_Node_Trace"] = 0;
97 }
98 return generalNumMap["ICFG_Node_Trace"];
99 }

◆ getMemUsage()

std::string SVF::AEStat::getMemUsage ( )
inline

Definition at line 60 of file AbstractInterpretation.h.

61 {
63 return SVFUtil::getMemoryUsageKB(&vmrss, &vmsize) ? std::to_string(vmsize) + "KB" : "cannot read memory usage";
64 }
bool getMemoryUsageKB(u32_t *vmrss_kb, u32_t *vmsize_kb)
Get memory usage from system file. Return TRUE if succeed.
Definition SVFUtil.cpp:179

◆ performStat()

void AEStat::performStat ( )
overridevirtual

Implements SVF::SVFStat.

Definition at line 1047 of file AbstractInterpretation.cpp.

1048{
1049 std::string fullName(_ae->moduleName);
1050 std::string name;
1051 std::string moduleName;
1052 if (fullName.find('/') == std::string::npos)
1053 {
1054 std::string name = fullName;
1055 moduleName = name.substr(0, fullName.find('.'));
1056 }
1057 else
1058 {
1059 std::string name = fullName.substr(fullName.find('/'), fullName.size());
1060 moduleName = name.substr(0, fullName.find('.'));
1061 }
1062
1063 SVFUtil::outs() << "\n************************\n";
1064 SVFUtil::outs() << "################ (program : " << moduleName << ")###############\n";
1065 SVFUtil::outs().flags(std::ios::left);
1066 unsigned field_width = 30;
1067 for (NUMStatMap::iterator it = generalNumMap.begin(), eit = generalNumMap.end(); it != eit; ++it)
1068 {
1069 // format out put with width 20 space
1070 std::cout << std::setw(field_width) << it->first << it->second << "\n";
1071 }
1072 SVFUtil::outs() << "-------------------------------------------------------\n";
1073 for (TIMEStatMap::iterator it = timeStatMap.begin(), eit = timeStatMap.end(); it != eit; ++it)
1074 {
1075 // format out put with width 20 space
1076 SVFUtil::outs() << std::setw(field_width) << it->first << it->second << "\n";
1077 }
1078 SVFUtil::outs() << "Memory usage: " << memUsage << "\n";
1079
1080 SVFUtil::outs() << "#######################################################" << std::endl;
1081 SVFUtil::outs().flush();
1082}
const char *const name
Definition cJSON.h:264
std::string moduleName
Definition SVFStat.h:99
std::ostream & outs()
Overwrite llvm::outs()
Definition SVFUtil.h:52

Member Data Documentation

◆ _ae

AbstractInterpretation* SVF::AEStat::_ae

Definition at line 70 of file AbstractInterpretation.h.

◆ count

s32_t SVF::AEStat::count {0}

Definition at line 71 of file AbstractInterpretation.h.

71{0};

◆ memory_usage

std::string SVF::AEStat::memory_usage

Definition at line 72 of file AbstractInterpretation.h.

◆ memUsage

std::string SVF::AEStat::memUsage

Definition at line 73 of file AbstractInterpretation.h.


The documentation for this class was generated from the following files: