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 50 of file AbstractInterpretation.h.

Constructor & Destructor Documentation

◆ AEStat()

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

Definition at line 54 of file AbstractInterpretation.h.

54 : _ae(ae)
55 {
56 startTime = getClk(true);
57 }
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 58 of file AbstractInterpretation.h.

59 {
60 }

Member Function Documentation

◆ countStateSize()

void AEStat::countStateSize ( )

Definition at line 977 of file AbstractInterpretation.cpp.

978{
979 if (count == 0)
980 {
981 generalNumMap["ES_Var_AVG_Num"] = 0;
982 generalNumMap["ES_Loc_AVG_Num"] = 0;
983 generalNumMap["ES_Var_Addr_AVG_Num"] = 0;
984 generalNumMap["ES_Loc_Addr_AVG_Num"] = 0;
985 }
986 ++count;
987}
NUMStatMap generalNumMap
Definition SVFStat.h:76

◆ finializeStat()

void AEStat::finializeStat ( )

Definition at line 989 of file AbstractInterpretation.cpp.

990{
992 if (count > 0)
993 {
994 generalNumMap["ES_Var_AVG_Num"] /= count;
995 generalNumMap["ES_Loc_AVG_Num"] /= count;
996 generalNumMap["ES_Var_Addr_AVG_Num"] /= count;
997 generalNumMap["ES_Loc_Addr_AVG_Num"] /= count;
998 }
999 generalNumMap["SVF_STMT_NUM"] = count;
1000 generalNumMap["ICFG_Node_Num"] = _ae->svfir->getICFG()->nodeNum;
1001 u32_t callSiteNum = 0;
1004 for (const auto &it: *_ae->svfir->getICFG())
1005 {
1006 if (it.second->getFun())
1007 {
1008 funs.insert(it.second->getFun());
1009 }
1010 if (const CallICFGNode *callNode = dyn_cast<CallICFGNode>(it.second))
1011 {
1012 if (!isExtCall(callNode))
1013 {
1014 callSiteNum++;
1015 }
1016 else
1017 {
1019 }
1020 }
1021 }
1022 generalNumMap["Func_Num"] = funs.size();
1023 generalNumMap["EXT_CallSite_Num"] = extCallSiteNum;
1024 generalNumMap["NonEXT_CallSite_Num"] = callSiteNum;
1025 timeStatMap["Total_Time(sec)"] = (double)(endTime - startTime) / TIMEINTERVAL;
1026
1027}
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 85 of file AbstractInterpretation.h.

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

◆ getFunctionTrace()

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

Definition at line 77 of file AbstractInterpretation.h.

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

◆ getICFGNodeTrace()

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

Definition at line 93 of file AbstractInterpretation.h.

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

◆ getMemUsage()

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

Definition at line 61 of file AbstractInterpretation.h.

62 {
64 return SVFUtil::getMemoryUsageKB(&vmrss, &vmsize) ? std::to_string(vmsize) + "KB" : "cannot read memory usage";
65 }
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 1029 of file AbstractInterpretation.cpp.

1030{
1031 std::string fullName(_ae->moduleName);
1032 std::string name;
1033 std::string moduleName;
1034 if (fullName.find('/') == std::string::npos)
1035 {
1036 std::string name = fullName;
1037 moduleName = name.substr(0, fullName.find('.'));
1038 }
1039 else
1040 {
1041 std::string name = fullName.substr(fullName.find('/'), fullName.size());
1042 moduleName = name.substr(0, fullName.find('.'));
1043 }
1044
1045 SVFUtil::outs() << "\n************************\n";
1046 SVFUtil::outs() << "################ (program : " << moduleName << ")###############\n";
1047 SVFUtil::outs().flags(std::ios::left);
1048 unsigned field_width = 30;
1049 for (NUMStatMap::iterator it = generalNumMap.begin(), eit = generalNumMap.end(); it != eit; ++it)
1050 {
1051 // format out put with width 20 space
1052 std::cout << std::setw(field_width) << it->first << it->second << "\n";
1053 }
1054 SVFUtil::outs() << "-------------------------------------------------------\n";
1055 for (TIMEStatMap::iterator it = timeStatMap.begin(), eit = timeStatMap.end(); it != eit; ++it)
1056 {
1057 // format out put with width 20 space
1058 SVFUtil::outs() << std::setw(field_width) << it->first << it->second << "\n";
1059 }
1060 SVFUtil::outs() << "Memory usage: " << memUsage << "\n";
1061
1062 SVFUtil::outs() << "#######################################################" << std::endl;
1063 SVFUtil::outs().flush();
1064}
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 71 of file AbstractInterpretation.h.

◆ count

s32_t SVF::AEStat::count {0}

Definition at line 72 of file AbstractInterpretation.h.

72{0};

◆ memory_usage

std::string SVF::AEStat::memory_usage

Definition at line 73 of file AbstractInterpretation.h.

◆ memUsage

std::string SVF::AEStat::memUsage

Definition at line 74 of file AbstractInterpretation.h.


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