SVF::AliasDDAClient Class Reference

#include <DDAClient.h>

Inheritance diagram for SVF::AliasDDAClient:

Public Types
typedef OrderedSet< const PAGNode * >	PAGNodeSet

Public Member Functions
	AliasDDAClient ()
	~AliasDDAClient ()
virtual OrderedNodeSet &	collectCandidateQueries (SVFIR *pag)
	Only collect function pointers as query candidates.
virtual void	performStat (PointerAnalysis *pta)
Public Member Functions inherited from SVF::DDAClient
	DDAClient ()
virtual	~DDAClient ()
virtual void	initialise ()
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.
virtual void	answerQueries (PointerAnalysis *pta)
virtual void	collectWPANum ()

Private Types
typedef OrderedMap< NodeID, const CallICFGNode * >	VTablePtrToCallSiteMap

Private Attributes
VTablePtrToCallSiteMap	vtableToCallSiteMap
PAGNodeSet	loadSrcNodes
PAGNodeSet	storeDstNodes
PAGNodeSet	gepSrcNodes

Additional Inherited Members
Protected Member Functions inherited from SVF::DDAClient
void	addCandidate (NodeID id)
Protected Attributes inherited from SVF::DDAClient
SVFIR *	pag
	SVFIR graph used by current DDA analysis.
NodeID	curPtr
	current pointer being queried
OrderedNodeSet	candidateQueries
	store all candidate pointers to be queried

Detailed Description

DDA client with function pointers as query candidates.

Definition at line 139 of file DDAClient.h.

Member Typedef Documentation

PAGNodeSet

typedef OrderedSet<const PAGNode*> SVF::AliasDDAClient::PAGNodeSet

Definition at line 143 of file DDAClient.h.

VTablePtrToCallSiteMap

typedef OrderedMap<NodeID,const CallICFGNode*> SVF::AliasDDAClient::VTablePtrToCallSiteMap

private

Definition at line 154 of file DDAClient.h.

Constructor & Destructor Documentation

AliasDDAClient()

SVF::AliasDDAClient::AliasDDAClient ( )

inline

Definition at line 145 of file DDAClient.h.

: DDAClient() {}

~AliasDDAClient()

SVF::AliasDDAClient::~AliasDDAClient ( )

inline

Definition at line 146 of file DDAClient.h.

{}

Member Function Documentation

collectCandidateQueries()

OrderedNodeSet & AliasDDAClient::collectCandidateQueries ( SVFIR * pag )

virtual

Only collect function pointers as query candidates.

Reimplemented from SVF::DDAClient.

Definition at line 178 of file DDAClient.cpp.

{
    setPAG(pag);
    SVFStmt::SVFStmtSetTy& loads = pag->getSVFStmtSet(SVFStmt::Load);
    for (SVFStmt::SVFStmtSetTy::iterator iter = loads.begin(), eiter =
                loads.end(); iter != eiter; ++iter)
    {
        PAGNode* loadsrc = (*iter)->getSrcNode();
        loadSrcNodes.insert(loadsrc);
        addCandidate(loadsrc->getId());
    }
 
    SVFStmt::SVFStmtSetTy& stores = pag->getSVFStmtSet(SVFStmt::Store);
    for (SVFStmt::SVFStmtSetTy::iterator iter = stores.begin(), eiter =
                stores.end(); iter != eiter; ++iter)
    {
        PAGNode* storedst = (*iter)->getDstNode();
        storeDstNodes.insert(storedst);
        addCandidate(storedst->getId());
    }
    SVFStmt::SVFStmtSetTy& geps = pag->getSVFStmtSet(SVFStmt::Gep);
    for (SVFStmt::SVFStmtSetTy::iterator iter = geps.begin(), eiter =
                geps.end(); iter != eiter; ++iter)
    {
        PAGNode* gepsrc = (*iter)->getSrcNode();
        gepSrcNodes.insert(gepsrc);
        addCandidate(gepsrc->getId());
    }
    return candidateQueries;
}

performStat()

void AliasDDAClient::performStat ( PointerAnalysis * pta )

virtual

Reimplemented from SVF::DDAClient.

Definition at line 209 of file DDAClient.cpp.

{
 
    for(PAGNodeSet::const_iterator lit = loadSrcNodes.begin(); lit!=loadSrcNodes.end(); lit++)
    {
        for(PAGNodeSet::const_iterator sit = storeDstNodes.begin(); sit!=storeDstNodes.end(); sit++)
        {
            const PAGNode* node1 = *lit;
            const PAGNode* node2 = *sit;
            AliasResult result = pta->alias(node1->getId(), node2->getId());
            outs() << "\n=================================================\n";
            outs() << "Alias Query for (" << node1->valueOnlyToString() << ",";
            outs() << node2->valueOnlyToString() << ") \n";
            outs() << "[NodeID:" << node1->getId() << ", NodeID:" << node2->getId() << " " << result << "]\n";
            outs() << "=================================================\n";
        }
    }
}

Member Data Documentation

gepSrcNodes

PAGNodeSet SVF::AliasDDAClient::gepSrcNodes

private

Definition at line 158 of file DDAClient.h.

loadSrcNodes

PAGNodeSet SVF::AliasDDAClient::loadSrcNodes

private

Definition at line 156 of file DDAClient.h.

storeDstNodes

PAGNodeSet SVF::AliasDDAClient::storeDstNodes

private

Definition at line 157 of file DDAClient.h.

vtableToCallSiteMap

VTablePtrToCallSiteMap SVF::AliasDDAClient::vtableToCallSiteMap

private

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