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
SVFG *	getSVFG () const
const Set< const ICFGNode * >	getUseSitesOfObjVar (const ObjVar *obj, const ICFGNode *node) const
	Given an ObjVar and its def-site ICFGNode, find all use-site ICFGNodes.
const Set< const ICFGNode * >	getUseSitesOfValVar (const ValVar *var) const
const ICFGNode *	getDefSiteOfValVar (const ValVar *var) const
const ICFGNode *	getDefSiteOfObjVar (const ObjVar *obj, const ICFGNode *node) 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
SVFG *	svfg
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 37 of file PreAnalysis.cpp.

    : svfir(pag), icfg(icfg), svfg(nullptr), pta(nullptr), callGraph(nullptr), callGraphSCC(nullptr)
{
    pta = AndersenWaveDiff::createAndersenWaveDiff(svfir);
    callGraph = pta->getCallGraph();
    callGraphSCC = pta->getCallGraphSCC();
    if (Options::SparseAE())
    {
        SVFGBuilder memSSA(true);
        svfg = memSSA.buildFullSVFG(pta);
    }
}

~PreAnalysis()

PreAnalysis::~PreAnalysis ( )

virtual

Definition at line 50 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;
    }

getDefSiteOfObjVar()

const ICFGNode * PreAnalysis::getDefSiteOfObjVar	(	const ObjVar *	obj,
		const ICFGNode *	node
	)		const

Given an ObjVar and its use-site ICFGNode, find the definition-site ICFGNode by following incoming IndirectSVFGEdges whose pts contains the ObjVar (asserts unique definition)

Definition at line 98 of file PreAnalysis.cpp.

{
    if (Options::SparseAE())
    {
        assert(svfg && "SVFG is not built for sparse AE");
        return svfg->getDefSiteOfObjVar(obj, node);
    }
    // Non-sparse mode: return ICFG predecessor node
    for (const auto* edge : node->getInEdges())
        return edge->getSrcNode();
    return nullptr;
}

getDefSiteOfValVar()

const ICFGNode * PreAnalysis::getDefSiteOfValVar

(

const ValVar *

var

)

const

Given a ValVar and its SVFGNode, find the definition-site ICFGNode by following incoming direct VFGEdges (asserts unique definition)

Definition at line 87 of file PreAnalysis.cpp.

{
    if (Options::SparseAE())
    {
        assert(svfg && "SVFG is not built for sparse AE");
        return svfg->getDefSiteOfValVar(var);
    }
    // Non-sparse mode: return the ValVar's associated ICFGNode
    return var->getICFGNode();
}

getFuncToWTO()

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

inline

Accessors for WTO data.

Definition at line 91 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;
    }

getSVFG()

SVFG * SVF::PreAnalysis::getSVFG ( ) const

inline

Definition at line 68 of file PreAnalysis.h.

    {
        return svfg;
    }

getUseSitesOfObjVar()

const Set< const ICFGNode * > PreAnalysis::getUseSitesOfObjVar	(	const ObjVar *	obj,
		const ICFGNode *	node
	)		const

Given an ObjVar and its def-site ICFGNode, find all use-site ICFGNodes.

Definition at line 56 of file PreAnalysis.cpp.

{
    if (Options::SparseAE())
    {
        assert(svfg && "SVFG is not built for sparse AE");
        return svfg->getUseSitesOfObjVar(obj, node);
    }
    // Non-sparse mode: return ICFG successor nodes
    Set<const ICFGNode*> succs;
    for (const auto* edge : node->getOutEdges())
        succs.insert(edge->getDstNode());
    return succs;
}

getUseSitesOfValVar()

const Set< const ICFGNode * > PreAnalysis::getUseSitesOfValVar

(

const ValVar *

var

)

const

Given a ValVar, find all use-site ICFGNodes by following outgoing direct VFGEdges from its unique definition SVFGNode

Definition at line 70 of file PreAnalysis.cpp.

{
    if (Options::SparseAE())
    {
        assert(svfg && "SVFG is not built for sparse AE");
        return svfg->getUseSitesOfValVar(var);
    }
    // Non-sparse mode: return ICFG successor nodes of the ValVar's ICFGNode
    Set<const ICFGNode*> succs;
    if (const ICFGNode* node = var->getICFGNode())
    {
        for (const auto* edge : node->getOutEdges())
            succs.insert(edge->getDstNode());
    }
    return succs;
}

initWTO()

void PreAnalysis::initWTO

(

)

Build WTO for each function using call graph SCC.

Definition at line 111 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 101 of file PreAnalysis.h.

callGraphSCC

CallGraphSCC* SVF::PreAnalysis::callGraphSCC

private

Definition at line 102 of file PreAnalysis.h.

funcToWTO

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

private

Definition at line 104 of file PreAnalysis.h.

icfg

ICFG* SVF::PreAnalysis::icfg

private

Definition at line 98 of file PreAnalysis.h.

pta

AndersenWaveDiff* SVF::PreAnalysis::pta

private

Definition at line 100 of file PreAnalysis.h.

svfg

SVFG* SVF::PreAnalysis::svfg

private

Definition at line 99 of file PreAnalysis.h.

svfir

SVFIR* SVF::PreAnalysis::svfir

private

Definition at line 97 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