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 990 of file AbstractInterpretation.cpp.

991{
992 if (count == 0)
993 {
994 generalNumMap["ES_Var_AVG_Num"] = 0;
995 generalNumMap["ES_Loc_AVG_Num"] = 0;
996 generalNumMap["ES_Var_Addr_AVG_Num"] = 0;
997 generalNumMap["ES_Loc_Addr_AVG_Num"] = 0;
998 }
999 ++count;
1000}
NUMStatMap generalNumMap
Definition SVFStat.h:76

◆ finializeStat()

void AEStat::finializeStat ( )

Definition at line 1002 of file AbstractInterpretation.cpp.

1003{
1005 if (count > 0)
1006 {
1007 generalNumMap["ES_Var_AVG_Num"] /= count;
1008 generalNumMap["ES_Loc_AVG_Num"] /= count;
1009 generalNumMap["ES_Var_Addr_AVG_Num"] /= count;
1010 generalNumMap["ES_Loc_Addr_AVG_Num"] /= count;
1011 }
1012 generalNumMap["SVF_STMT_NUM"] = count;
1013 generalNumMap["ICFG_Node_Num"] = _ae->svfir->getICFG()->nodeNum;
1014 u32_t callSiteNum = 0;
1017 for (const auto &it: *_ae->svfir->getICFG())
1018 {
1019 if (it.second->getFun())
1020 {
1021 funs.insert(it.second->getFun());
1022 }
1023 if (const CallICFGNode *callNode = dyn_cast<CallICFGNode>(it.second))
1024 {
1025 if (!isExtCall(callNode))
1026 {
1027 callSiteNum++;
1028 }
1029 else
1030 {
1032 }
1033 }
1034 }
1035 generalNumMap["Func_Num"] = funs.size();
1036 generalNumMap["EXT_CallSite_Num"] = extCallSiteNum;
1037 generalNumMap["NonEXT_CallSite_Num"] = callSiteNum;
1038 timeStatMap["Total_Time(sec)"] = (double)(endTime - startTime) / TIMEINTERVAL;
1039
1040}
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 1042 of file AbstractInterpretation.cpp.

1043{
1044 std::string fullName(_ae->moduleName);
1045 std::string name;
1046 std::string moduleName;
1047 if (fullName.find('/') == std::string::npos)
1048 {
1049 std::string name = fullName;
1050 moduleName = name.substr(0, fullName.find('.'));
1051 }
1052 else
1053 {
1054 std::string name = fullName.substr(fullName.find('/'), fullName.size());
1055 moduleName = name.substr(0, fullName.find('.'));
1056 }
1057
1058 SVFUtil::outs() << "\n************************\n";
1059 SVFUtil::outs() << "################ (program : " << moduleName << ")###############\n";
1060 SVFUtil::outs().flags(std::ios::left);
1061 unsigned field_width = 30;
1062 for (NUMStatMap::iterator it = generalNumMap.begin(), eit = generalNumMap.end(); it != eit; ++it)
1063 {
1064 // format out put with width 20 space
1065 std::cout << std::setw(field_width) << it->first << it->second << "\n";
1066 }
1067 SVFUtil::outs() << "-------------------------------------------------------\n";
1068 for (TIMEStatMap::iterator it = timeStatMap.begin(), eit = timeStatMap.end(); it != eit; ++it)
1069 {
1070 // format out put with width 20 space
1071 SVFUtil::outs() << std::setw(field_width) << it->first << it->second << "\n";
1072 }
1073 SVFUtil::outs() << "Memory usage: " << memUsage << "\n";
1074
1075 SVFUtil::outs() << "#######################################################" << std::endl;
1076 SVFUtil::outs().flush();
1077}
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: