SVF::FunptrDDAClient Class Reference

#include <DDAClient.h>

Inheritance diagram for SVF::FunptrDDAClient:

Public Member Functions
	FunptrDDAClient (SVFModule *module)
	~FunptrDDAClient ()
virtual OrderedNodeSet &	collectCandidateQueries (SVFIR *p)
	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

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 125 of file DDAClient.h.

Member Typedef Documentation

VTablePtrToCallSiteMap

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

private

Definition at line 128 of file DDAClient.h.

Constructor & Destructor Documentation

FunptrDDAClient()

SVF::FunptrDDAClient::FunptrDDAClient ( SVFModule *  module )

inline

Definition at line 131 of file DDAClient.h.

: DDAClient(module) {}

~FunptrDDAClient()

SVF::FunptrDDAClient::~FunptrDDAClient ( )

inline

Definition at line 132 of file DDAClient.h.

{}

Member Function Documentation

collectCandidateQueries()

OrderedNodeSet & FunptrDDAClient::collectCandidateQueries ( SVFIR *  p )

virtual

Only collect function pointers as query candidates.

Reimplemented from SVF::DDAClient.

Definition at line 78 of file DDAClient.cpp.

{
    setPAG(p);
    for(SVFIR::CallSiteToFunPtrMap::const_iterator it = pag->getIndirectCallsites().begin(),
            eit = pag->getIndirectCallsites().end(); it!=eit; ++it)
    {
        if (it->first->isVirtualCall())
        {
            const SVFVar* vtblPtr = it->first->getVtablePtr();
            assert(vtblPtr != nullptr && "not a vtable pointer?");
            NodeID vtblId = vtblPtr->getId();
            addCandidate(vtblId);
            vtableToCallSiteMap[vtblId] = it->first;
        }
        else
        {
            addCandidate(it->second);
        }
    }
    return candidateQueries;
}

performStat()

void FunptrDDAClient::performStat ( PointerAnalysis *  pta )

virtual

Reimplemented from SVF::DDAClient.

Definition at line 100 of file DDAClient.cpp.

{
 
    AndersenWaveDiff* ander = AndersenWaveDiff::createAndersenWaveDiff(pta->getPAG());
    u32_t totalCallsites = 0;
    u32_t morePreciseCallsites = 0;
    u32_t zeroTargetCallsites = 0;
    u32_t oneTargetCallsites = 0;
    u32_t twoTargetCallsites = 0;
    u32_t moreThanTwoCallsites = 0;
 
    for (VTablePtrToCallSiteMap::iterator nIter = vtableToCallSiteMap.begin();
            nIter != vtableToCallSiteMap.end(); ++nIter)
    {
        NodeID vtptr = nIter->first;
        const PointsTo& ddaPts = pta->getPts(vtptr);
        const PointsTo& anderPts = ander->getPts(vtptr);
 
        PTACallGraph* callgraph = ander->getCallGraph();
        const CallICFGNode* cbn = nIter->second;
 
        if(!callgraph->hasIndCSCallees(cbn))
        {
            //outs() << "virtual callsite has no callee" << *(nIter->second.getInstruction()) << "\n";
            continue;
        }
 
        const PTACallGraph::FunctionSet& callees = callgraph->getIndCSCallees(cbn);
        totalCallsites++;
        if(callees.size() == 0)
            zeroTargetCallsites++;
        else if(callees.size() == 1)
            oneTargetCallsites++;
        else if(callees.size() == 2)
            twoTargetCallsites++;
        else
            moreThanTwoCallsites++;
 
        if(ddaPts.count() >= anderPts.count() || ddaPts.empty())
            continue;
 
        Set<const SVFFunction*> ander_vfns;
        Set<const SVFFunction*> dda_vfns;
        ander->getVFnsFromPts(cbn,anderPts, ander_vfns);
        pta->getVFnsFromPts(cbn,ddaPts, dda_vfns);
 
        ++morePreciseCallsites;
        outs() << "============more precise callsite =================\n";
        outs() << (nIter->second)->toString() << "\n";
        outs() << (nIter->second)->getSourceLoc() << "\n";
        outs() << "\n";
        outs() << "------ander pts or vtable num---(" << anderPts.count()  << ")--\n";
        outs() << "------DDA vfn num---(" << ander_vfns.size() << ")--\n";
        //ander->dumpPts(vtptr, anderPts);
        outs() << "------DDA pts or vtable num---(" << ddaPts.count() << ")--\n";
        outs() << "------DDA vfn num---(" << dda_vfns.size() << ")--\n";
        //pta->dumpPts(vtptr, ddaPts);
        outs() << "-------------------------\n";
        outs() << "\n";
        outs() << "=================================================\n";
    }
 
    outs() << "=================================================\n";
    outs() << "Total virtual callsites: " << vtableToCallSiteMap.size() << "\n";
    outs() << "Total analyzed virtual callsites: " << totalCallsites << "\n";
    outs() << "Indirect call map size: " << ander->getCallGraph()->getIndCallMap().size() << "\n";
    outs() << "Precise callsites: " << morePreciseCallsites << "\n";
    outs() << "Zero target callsites: " << zeroTargetCallsites << "\n";
    outs() << "One target callsites: " << oneTargetCallsites << "\n";
    outs() << "Two target callsites: " << twoTargetCallsites << "\n";
    outs() << "More than two target callsites: " << moreThanTwoCallsites << "\n";
    outs() << "=================================================\n";
}

Member Data Documentation

vtableToCallSiteMap

VTablePtrToCallSiteMap SVF::FunptrDDAClient::vtableToCallSiteMap

private

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