SVF::AEStat Class Reference

AEStat: Statistic for AE. More...

#include <AEStat.h>

Inheritance diagram for SVF::AEStat:

Public Member Functions
void	countStateSize ()
	AEStat (AbstractInterpretation *ae)
	~AEStat ()
std::string	getMemUsage ()
void	finializeStat ()
void	performStat () override
u32_t &	getFunctionTrace ()
u32_t &	getBlockTrace ()
u32_t &	getICFGNodeTrace ()
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_t >	NUMStatMap
typedef OrderedMap< std::string, double >	TIMEStatMap
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 35 of file AEStat.h.

Constructor & Destructor Documentation

AEStat()

SVF::AEStat::AEStat ( AbstractInterpretation *  ae )

inline

Definition at line 39 of file AEStat.h.

                                       : _ae(ae)
    {
        startTime = getClk(true);
    }

~AEStat()

SVF::AEStat::~AEStat ( )

inline

Definition at line 43 of file AEStat.h.

    {
    }

Member Function Documentation

countStateSize()

void AEStat::countStateSize

(

)

Definition at line 31 of file AEStat.cpp.

{
    if (count == 0)
    {
        generalNumMap["ES_Var_AVG_Num"] = 0;
        generalNumMap["ES_Loc_AVG_Num"] = 0;
        generalNumMap["ES_Var_Addr_AVG_Num"] = 0;
        generalNumMap["ES_Loc_Addr_AVG_Num"] = 0;
    }
    ++count;
}

finializeStat()

void AEStat::finializeStat

(

)

Definition at line 43 of file AEStat.cpp.

{
    memUsage = getMemUsage();
    if (count > 0)
    {
        generalNumMap["ES_Var_AVG_Num"] /= count;
        generalNumMap["ES_Loc_AVG_Num"] /= count;
        generalNumMap["ES_Var_Addr_AVG_Num"] /= count;
        generalNumMap["ES_Loc_Addr_AVG_Num"] /= count;
    }
    generalNumMap["SVF_STMT_NUM"] = count;
 
    u32_t totalICFGNodes = _ae->svfir->getICFG()->nodeNum;
    generalNumMap["ICFG_Node_Num"] = totalICFGNodes;
 
    // Calculate coverage: use allAnalyzedNodes which tracks all nodes across all entry points
    u32_t analyzedNodes = _ae->allAnalyzedNodes.size();
    generalNumMap["Analyzed_ICFG_Node_Num"] = analyzedNodes;
 
    // Coverage percentage (stored as integer percentage * 100 for precision)
    if (totalICFGNodes > 0)
    {
        double coveragePercent = (double)analyzedNodes / (double)totalICFGNodes * 100.0;
        generalNumMap["ICFG_Coverage_Percent"] = (u32_t)(coveragePercent * 100); // Store as percentage * 100
    }
    else
    {
        generalNumMap["ICFG_Coverage_Percent"] = 0;
    }
 
    u32_t callSiteNum = 0;
    u32_t extCallSiteNum = 0;
    Set<const FunObjVar *> funs;
    Set<const FunObjVar *> analyzedFuns;
    for (const auto &it: *_ae->svfir->getICFG())
    {
        if (it.second->getFun())
        {
            funs.insert(it.second->getFun());
            // Check if this node was analyzed (across all entry points)
            if (_ae->allAnalyzedNodes.find(it.second) != _ae->allAnalyzedNodes.end())
            {
                analyzedFuns.insert(it.second->getFun());
            }
        }
        if (const CallICFGNode *callNode = dyn_cast<CallICFGNode>(it.second))
        {
            if (!isExtCall(callNode))
            {
                callSiteNum++;
            }
            else
            {
                extCallSiteNum++;
            }
        }
    }
    generalNumMap["Func_Num"] = funs.size();
    generalNumMap["Analyzed_Func_Num"] = analyzedFuns.size();
 
    // Function coverage percentage
    if (funs.size() > 0)
    {
        double funcCoveragePercent = (double)analyzedFuns.size() / (double)funs.size() * 100.0;
        generalNumMap["Func_Coverage_Percent"] = (u32_t)(funcCoveragePercent * 100); // Store as percentage * 100
    }
    else
    {
        generalNumMap["Func_Coverage_Percent"] = 0;
    }
 
    generalNumMap["EXT_CallSite_Num"] = extCallSiteNum;
    generalNumMap["NonEXT_CallSite_Num"] = callSiteNum;
    timeStatMap["Total_Time(sec)"] = (double)(endTime - startTime) / TIMEINTERVAL;
 
}

getBlockTrace()

u32_t & SVF::AEStat::getBlockTrace ( )

inline

Definition at line 70 of file AEStat.h.

    {
        if (generalNumMap.count("Block_Trace") == 0)
        {
            generalNumMap["Block_Trace"] = 0;
        }
        return generalNumMap["Block_Trace"];
    }

getFunctionTrace()

u32_t & SVF::AEStat::getFunctionTrace ( )

inline

Definition at line 62 of file AEStat.h.

    {
        if (generalNumMap.count("Function_Trace") == 0)
        {
            generalNumMap["Function_Trace"] = 0;
        }
        return generalNumMap["Function_Trace"];
    }

getICFGNodeTrace()

u32_t & SVF::AEStat::getICFGNodeTrace ( )

inline

Definition at line 78 of file AEStat.h.

    {
        if (generalNumMap.count("ICFG_Node_Trace") == 0)
        {
            generalNumMap["ICFG_Node_Trace"] = 0;
        }
        return generalNumMap["ICFG_Node_Trace"];
    }

getMemUsage()

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

inline

Definition at line 46 of file AEStat.h.

    {
        u32_t vmrss, vmsize;
        return SVFUtil::getMemoryUsageKB(&vmrss, &vmsize) ? std::to_string(vmsize) + "KB" : "cannot read memory usage";
    }

performStat()

void AEStat::performStat ( )

overridevirtual

Implements SVF::SVFStat.

Definition at line 120 of file AEStat.cpp.

{
    std::string fullName(_ae->moduleName);
    std::string name;
    std::string moduleName;
    if (fullName.find('/') == std::string::npos)
    {
        std::string name = fullName;
        moduleName = name.substr(0, fullName.find('.'));
    }
    else
    {
        std::string name = fullName.substr(fullName.find('/'), fullName.size());
        moduleName = name.substr(0, fullName.find('.'));
    }
 
    SVFUtil::outs() << "\n************************\n";
    SVFUtil::outs() << "################ (program : " << moduleName << ")###############\n";
    SVFUtil::outs().flags(std::ios::left);
    unsigned field_width = 30;
    for (NUMStatMap::iterator it = generalNumMap.begin(), eit = generalNumMap.end(); it != eit; ++it)
    {
        // Special handling for percentage fields (stored as percentage * 100)
        if (it->first == "ICFG_Coverage_Percent" || it->first == "Func_Coverage_Percent")
        {
            double percent = (double)it->second / 100.0;
            std::cout << std::setw(field_width) << it->first << std::fixed << std::setprecision(2) << percent << "%\n";
        }
        else
        {
            std::cout << std::setw(field_width) << it->first << it->second << "\n";
        }
    }
    SVFUtil::outs() << "-------------------------------------------------------\n";
    for (TIMEStatMap::iterator it = timeStatMap.begin(), eit = timeStatMap.end(); it != eit; ++it)
    {
        // format out put with width 20 space
        SVFUtil::outs() << std::setw(field_width) << it->first << it->second << "\n";
    }
    SVFUtil::outs() << "Memory usage: " << memUsage << "\n";
 
    SVFUtil::outs() << "#######################################################" << std::endl;
    SVFUtil::outs().flush();
}

Member Data Documentation

_ae

AbstractInterpretation* SVF::AEStat::_ae

Definition at line 56 of file AEStat.h.

count

s32_t SVF::AEStat::count {0}

Definition at line 57 of file AEStat.h.

{0};

memory_usage

std::string SVF::AEStat::memory_usage

Definition at line 58 of file AEStat.h.

memUsage

std::string SVF::AEStat::memUsage

Definition at line 59 of file AEStat.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/AE/Svfexe/AEStat.h
• /home/runner/work/SVF/SVF/svf/lib/AE/Svfexe/AEStat.cpp