SVF::AliasDDAClient Class Reference

#include <DDAClient.h>

Inheritance diagram for SVF::AliasDDAClient:

Public Types
typedef OrderedSet< const PAGNode * >	PAGNodeSet

Public Member Functions
	AliasDDAClient (SVFModule *module)
	~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 (SVFModule *mod)
virtual	~DDAClient ()
virtual void	initialise (SVFModule *)
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	collectWPANum (SVFModule *)

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.
SVFModule *NodeID	curPtr
	< LLVM module
OrderedNodeSet	candidateQueries
	store all candidate pointers to be queried

Detailed Description

DDA client with function pointers as query candidates.

Definition at line 144 of file DDAClient.h.

Member Typedef Documentation

PAGNodeSet

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

Definition at line 148 of file DDAClient.h.

VTablePtrToCallSiteMap

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

private

Definition at line 159 of file DDAClient.h.

Constructor & Destructor Documentation

AliasDDAClient()

SVF::AliasDDAClient::AliasDDAClient ( SVFModule *  module )

inline

Definition at line 150 of file DDAClient.h.

: DDAClient(module) {}

~AliasDDAClient()

SVF::AliasDDAClient::~AliasDDAClient ( )

inline

Definition at line 151 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 176 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 207 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;
            if(node1->hasValue() && node2->hasValue())
            {
                AliasResult result = pta->alias(node1->getId(),node2->getId());
 
                outs() << "\n=================================================\n";
                outs() << "Alias Query for (" << node1->getValue()->toString() << ",";
                outs() << node2->getValue()->toString() << ") \n";
                outs() << "[NodeID:" << node1->getId() <<  ", NodeID:" << node2->getId() << " " << result << "]\n";
                outs() << "=================================================\n";
 
            }
        }
    }
}

Member Data Documentation

gepSrcNodes

PAGNodeSet SVF::AliasDDAClient::gepSrcNodes

private

Definition at line 163 of file DDAClient.h.

loadSrcNodes

PAGNodeSet SVF::AliasDDAClient::loadSrcNodes

private

Definition at line 161 of file DDAClient.h.

storeDstNodes

PAGNodeSet SVF::AliasDDAClient::storeDstNodes

private

Definition at line 162 of file DDAClient.h.

vtableToCallSiteMap

VTablePtrToCallSiteMap SVF::AliasDDAClient::vtableToCallSiteMap

private

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