SVF::PreAnalysis Class Reference

#include <PreAnalysis.h>

Public Types
typedef SCCDetection< CallGraph * >	CallGraphSCC

Public Member Functions
	PreAnalysis (SVFIR *pag, ICFG *icfg)
virtual	~PreAnalysis ()
AndersenWaveDiff *	getPointerAnalysis () const
	Accessors for Andersen's results.
CallGraph *	getCallGraph () const
CallGraphSCC *	getCallGraphSCC () const
void	initWTO ()
	Build WTO for each function using call graph SCC.
const Map< const FunObjVar *, const ICFGWTO * > &	getFuncToWTO () const
	Accessors for WTO data.

Private Attributes
SVFIR *	svfir
ICFG *	icfg
AndersenWaveDiff *	pta
CallGraph *	callGraph
CallGraphSCC *	callGraphSCC
Map< const FunObjVar *, const ICFGWTO * >	funcToWTO

Detailed Description

Definition at line 47 of file PreAnalysis.h.

Member Typedef Documentation

CallGraphSCC

typedef SCCDetection<CallGraph*> SVF::PreAnalysis::CallGraphSCC

Definition at line 50 of file PreAnalysis.h.

Constructor & Destructor Documentation

PreAnalysis()

PreAnalysis::PreAnalysis	(	SVFIR *	pag,
		ICFG *	icfg
	)

Definition at line 34 of file PreAnalysis.cpp.

    : svfir(pag), icfg(icfg)
{
    pta = AndersenWaveDiff::createAndersenWaveDiff(svfir);
    callGraph = pta->getCallGraph();
    callGraphSCC = pta->getCallGraphSCC();
}

~PreAnalysis()

PreAnalysis::~PreAnalysis ( )

virtual

Definition at line 42 of file PreAnalysis.cpp.

{
    for (auto& [func, wto] : funcToWTO)
        delete wto;
}

Member Function Documentation

getCallGraph()

CallGraph * SVF::PreAnalysis::getCallGraph ( ) const

inline

Definition at line 60 of file PreAnalysis.h.

    {
        return callGraph;
    }

getCallGraphSCC()

CallGraphSCC * SVF::PreAnalysis::getCallGraphSCC ( ) const

inline

Definition at line 64 of file PreAnalysis.h.

    {
        return callGraphSCC;
    }

getFuncToWTO()

const Map< const FunObjVar *, const ICFGWTO * > & SVF::PreAnalysis::getFuncToWTO ( ) const

inline

Accessors for WTO data.

Definition at line 73 of file PreAnalysis.h.

    {
        return funcToWTO;
    }

getPointerAnalysis()

AndersenWaveDiff * SVF::PreAnalysis::getPointerAnalysis ( ) const

inline

Accessors for Andersen's results.

Definition at line 56 of file PreAnalysis.h.

    {
        return pta;
    }

initWTO()

void PreAnalysis::initWTO

(

)

Build WTO for each function using call graph SCC.

Definition at line 48 of file PreAnalysis.cpp.

{
    callGraphSCC->find();
 
    for (auto it = callGraph->begin(); it != callGraph->end(); it++)
    {
        const FunObjVar *fun = it->second->getFunction();
        if (fun->isDeclaration())
            continue;
 
        NodeID repNodeId = callGraphSCC->repNode(it->second->getId());
        auto cgSCCNodes = callGraphSCC->subNodes(repNodeId);
 
        bool isEntry = false;
        if (it->second->getInEdges().empty())
            isEntry = true;
        for (auto inEdge: it->second->getInEdges())
        {
            NodeID srcNodeId = inEdge->getSrcID();
            if (!cgSCCNodes.test(srcNodeId))
                isEntry = true;
        }
 
        if (isEntry)
        {
            Set<const FunObjVar*> funcScc;
            for (const auto& node: cgSCCNodes)
            {
                funcScc.insert(callGraph->getGNode(node)->getFunction());
            }
            ICFGWTO* iwto = new ICFGWTO(icfg->getFunEntryICFGNode(fun), funcScc);
            iwto->init();
            funcToWTO[it->second->getFunction()] = iwto;
        }
    }
 
}

Member Data Documentation

callGraph

CallGraph* SVF::PreAnalysis::callGraph

private

Definition at line 82 of file PreAnalysis.h.

callGraphSCC

CallGraphSCC* SVF::PreAnalysis::callGraphSCC

private

Definition at line 83 of file PreAnalysis.h.

funcToWTO

Map<const FunObjVar*, const ICFGWTO*> SVF::PreAnalysis::funcToWTO

private

Definition at line 85 of file PreAnalysis.h.

icfg

ICFG* SVF::PreAnalysis::icfg

private

Definition at line 80 of file PreAnalysis.h.

pta

AndersenWaveDiff* SVF::PreAnalysis::pta

private

Definition at line 81 of file PreAnalysis.h.

svfir

SVFIR* SVF::PreAnalysis::svfir

private

Definition at line 79 of file PreAnalysis.h.

---

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

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