SVF::DDAClient Class Reference

#include <DDAClient.h>

Inheritance diagram for SVF::DDAClient:

Public Member Functions
	DDAClient (SVFModule *mod)
virtual	~DDAClient ()
virtual void	initialise (SVFModule *)
virtual OrderedNodeSet &	collectCandidateQueries (SVFIR *p)
	Collect candidate pointers for query.
const OrderedNodeSet &	getCandidateQueries () const
	Get candidate queries.
virtual void	handleStatement (const SVFGNode *, NodeID)
	Call back used by DDAVFSolver.
void	setPAG (SVFIR *g)
	Set SVFIR graph.
void	setCurrentQueryPtr (NodeID ptr)
	Set the pointer being queried.
void	setQuery (NodeID ptr)
	Set pointer to be queried by DDA analysis.
SVFModule *	getModule () const
	Get LLVM module.
virtual void	answerQueries (PointerAnalysis *pta)
virtual void	performStat (PointerAnalysis *)
virtual void	collectWPANum (SVFModule *)

Protected Member Functions
void	addCandidate (NodeID id)

Protected Attributes
SVFIR *	pag
	SVFIR graph used by current DDA analysis.
SVFModule *NodeID	curPtr
	< LLVM module
OrderedNodeSet	candidateQueries
	store all candidate pointers to be queried

Private Attributes
OrderedNodeSet	userInput
	User input queries.
bool	solveAll
	TRUE if all top level pointers are being queried.

Detailed Description

General DDAClient which queries all top level pointers by default.

Definition at line 48 of file DDAClient.h.

Constructor & Destructor Documentation

DDAClient()

SVF::DDAClient::DDAClient ( SVFModule *  mod )

inline

Definition at line 51 of file DDAClient.h.

: pag(nullptr), module(mod), curPtr(0), solveAll(true) {}

~DDAClient()

virtual SVF::DDAClient::~DDAClient ( )

inlinevirtual

Definition at line 53 of file DDAClient.h.

{}

Member Function Documentation

addCandidate()

void SVF::DDAClient::addCandidate ( NodeID  id )

inlineprotected

Definition at line 105 of file DDAClient.h.

    {
        if (pag->isValidTopLevelPtr(pag->getGNode(id)))
            candidateQueries.insert(id);
    }

answerQueries()

void DDAClient::answerQueries ( PointerAnalysis *  pta )

virtual

Definition at line 46 of file DDAClient.cpp.

{
 
    DDAStat* stat = static_cast<DDAStat*>(pta->getStat());
    u32_t vmrss = 0;
    u32_t vmsize = 0;
    SVFUtil::getMemoryUsageKB(&vmrss, &vmsize);
    stat->setMemUsageBefore(vmrss, vmsize);
 
    collectCandidateQueries(pta->getPAG());
 
    u32_t count = 0;
    for (OrderedNodeSet::iterator nIter = candidateQueries.begin();
            nIter != candidateQueries.end(); ++nIter,++count)
    {
        PAGNode* node = pta->getPAG()->getGNode(*nIter);
        if(pta->getPAG()->isValidTopLevelPtr(node))
        {
            DBOUT(DGENERAL,outs() << "\n@@Computing PointsTo for :" << node->getId() <<
                  " [" << count + 1<< "/" << candidateQueries.size() << "]" << " \n");
            DBOUT(DDDA,outs() << "\n@@Computing PointsTo for :" << node->getId() <<
                  " [" << count + 1<< "/" << candidateQueries.size() << "]" << " \n");
            setCurrentQueryPtr(node->getId());
            pta->computeDDAPts(node->getId());
        }
    }
 
    vmrss = vmsize = 0;
    SVFUtil::getMemoryUsageKB(&vmrss, &vmsize);
    stat->setMemUsageAfter(vmrss, vmsize);
}

collectCandidateQueries()

virtual OrderedNodeSet & SVF::DDAClient::collectCandidateQueries ( SVFIR *  p )

inlinevirtual

Collect candidate pointers for query.

Reimplemented in SVF::FunptrDDAClient, and SVF::AliasDDAClient.

Definition at line 58 of file DDAClient.h.

    {
        setPAG(p);
        if (solveAll)
            candidateQueries = pag->getAllValidPtrs();
        else
        {
            for (OrderedNodeSet::iterator it = userInput.begin(), eit = userInput.end(); it != eit; ++it)
                addCandidate(*it);
        }
        return candidateQueries;
    }

collectWPANum()

virtual void SVF::DDAClient::collectWPANum ( SVFModule *  )

inlinevirtual

Definition at line 103 of file DDAClient.h.

{}

getCandidateQueries()

const OrderedNodeSet & SVF::DDAClient::getCandidateQueries ( ) const

inline

Get candidate queries.

Definition at line 71 of file DDAClient.h.

    {
        return candidateQueries;
    }

getModule()

SVFModule * SVF::DDAClient::getModule ( ) const

inline

Get LLVM module.

Definition at line 95 of file DDAClient.h.

    {
        return module;
    }

handleStatement()

virtual void SVF::DDAClient::handleStatement ( const SVFGNode *  , NodeID    )

inlinevirtual

Call back used by DDAVFSolver.

Definition at line 77 of file DDAClient.h.

{}

initialise()

virtual void SVF::DDAClient::initialise ( SVFModule *  )

inlinevirtual

Definition at line 55 of file DDAClient.h.

{}

performStat()

virtual void SVF::DDAClient::performStat ( PointerAnalysis *  )

inlinevirtual

Reimplemented in SVF::FunptrDDAClient, and SVF::AliasDDAClient.

Definition at line 101 of file DDAClient.h.

{}

setCurrentQueryPtr()

void SVF::DDAClient::setCurrentQueryPtr ( NodeID  ptr )

inline

Set the pointer being queried.

Definition at line 84 of file DDAClient.h.

    {
        curPtr = ptr;
    }

setPAG()

void SVF::DDAClient::setPAG ( SVFIR *  g )

inline

Set SVFIR graph.

Definition at line 79 of file DDAClient.h.

    {
        pag = g;
    }

setQuery()

void SVF::DDAClient::setQuery ( NodeID  ptr )

inline

Set pointer to be queried by DDA analysis.

Definition at line 89 of file DDAClient.h.

    {
        userInput.insert(ptr);
        solveAll = false;
    }

Member Data Documentation

candidateQueries

OrderedNodeSet SVF::DDAClient::candidateQueries

protected

store all candidate pointers to be queried

Definition at line 114 of file DDAClient.h.

curPtr

SVFModule* NodeID SVF::DDAClient::curPtr

protected

< LLVM module

current pointer being queried

Definition at line 113 of file DDAClient.h.

pag

SVFIR* SVF::DDAClient::pag

protected

SVFIR graph used by current DDA analysis.

Definition at line 111 of file DDAClient.h.

solveAll

bool SVF::DDAClient::solveAll

private

TRUE if all top level pointers are being queried.

Definition at line 118 of file DDAClient.h.

userInput

OrderedNodeSet SVF::DDAClient::userInput

private

User input queries.

Definition at line 117 of file DDAClient.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/DDA/DDAClient.h
• /home/runner/work/SVF/SVF/svf/lib/DDA/DDAClient.cpp