SVF::DDAPass Class Reference

#include <DDAPass.h>

Public Types
typedef SCCDetection< SVFG * >	SVFGSCC
typedef OrderedSet< const SVFGEdge * >	SVFGEdgeSet
typedef std::vector< PointerAnalysis * >	PTAVector

Public Member Functions
	DDAPass ()
	~DDAPass ()
virtual AliasResult	alias (const SVFVar *V1, const SVFVar *V2)
	Interface expose to users of our pointer analysis, given Value infos.
virtual AliasResult	alias (NodeID V1, NodeID V2)
	Interface expose to users of our pointer analysis, given PAGNodes.
virtual void	runOnModule (SVFIR *module)
	We start from here.
virtual void	selectClient ()
	Select a client.
virtual std::string	getPassName () const
	Pass name.

Static Public Attributes
static char	ID = 0
	Pass ID.

Private Member Functions
void	printQueryPTS ()
	Print queries' pts.
void	runPointerAnalysis (SVFIR *module, u32_t kind)
	Create pointer analysis according to specified kind and analyze the module.
void	initCxtInsensitiveEdges (PointerAnalysis *pta, const SVFG *svfg, const SVFGSCC *svfgSCC, SVFGEdgeSet &insensitveEdges)
	Context insensitive Edge for DDA.
bool	edgeInSVFGSCC (const SVFGSCC *svfgSCC, const SVFGEdge *edge)
	Return TRUE if this edge is inside a SVFG SCC, i.e., src node and dst node are in the same SCC on the SVFG.
bool	edgeInCallGraphSCC (PointerAnalysis *pta, const SVFGEdge *edge)
	Return TRUE if this edge is inside a SVFG SCC, i.e., src node and dst node are in the same SCC on the SVFG.
void	collectCxtInsenEdgeForRecur (PointerAnalysis *pta, const SVFG *svfg, SVFGEdgeSet &insensitveEdges)
void	collectCxtInsenEdgeForVFCycle (PointerAnalysis *pta, const SVFG *svfg, const SVFGSCC *svfgSCC, SVFGEdgeSet &insensitveEdges)

Private Attributes
std::unique_ptr< PointerAnalysis >	_pta
	pointer analysis to be executed.
DDAClient *	_client
	DDA client used.

Detailed Description

Demand-Driven Pointer Analysis. This class performs various pointer analysis on the given module.

Definition at line 46 of file DDAPass.h.

Member Typedef Documentation

PTAVector

typedef std::vector<PointerAnalysis*> SVF::DDAPass::PTAVector

Definition at line 54 of file DDAPass.h.

SVFGEdgeSet

typedef OrderedSet<const SVFGEdge*> SVF::DDAPass::SVFGEdgeSet

Definition at line 53 of file DDAPass.h.

SVFGSCC

typedef SCCDetection<SVFG*> SVF::DDAPass::SVFGSCC

Definition at line 52 of file DDAPass.h.

Constructor & Destructor Documentation

DDAPass()

SVF::DDAPass::DDAPass ( )

inline

Definition at line 56 of file DDAPass.h.

: _pta(nullptr), _client(nullptr) {}

~DDAPass()

DDAPass::~DDAPass

(

)

Definition at line 47 of file DDAPass.cpp.

{
    // _pta->dumpStat();
    if (_client != nullptr)
        delete _client;
}

Member Function Documentation

alias() [1/2]

virtual AliasResult SVF::DDAPass::alias ( const SVFVar *  V1, const SVFVar *  V2  )

inlinevirtual

Interface expose to users of our pointer analysis, given Value infos.

Definition at line 60 of file DDAPass.h.

    {
        return alias(V1->getId(), V2->getId());
    }

alias() [2/2]

AliasResult DDAPass::alias ( NodeID  V1, NodeID  V2  )

virtual

Interface expose to users of our pointer analysis, given PAGNodes.

Definition at line 280 of file DDAPass.cpp.

{
    SVFIR* pag = _pta->getPAG();
 
    if(pag->isValidTopLevelPtr(pag->getSVFVar(node1)))
        _pta->computeDDAPts(node1);
 
    if(pag->isValidTopLevelPtr(pag->getSVFVar(node2)))
        _pta->computeDDAPts(node2);
 
    return _pta->alias(node1,node2);
}

collectCxtInsenEdgeForRecur()

void DDAPass::collectCxtInsenEdgeForRecur ( PointerAnalysis *  pta, const SVFG *  svfg, SVFGEdgeSet &  insensitveEdges  )

private

Mark insensitive edge for function recursions

Definition at line 195 of file DDAPass.cpp.

{
 
    for (SVFG::SVFGNodeIDToNodeMapTy::const_iterator it = svfg->begin(),eit = svfg->end(); it != eit; ++it)
    {
 
        SVFGEdge::SVFGEdgeSetTy::const_iterator edgeIt = it->second->InEdgeBegin();
        SVFGEdge::SVFGEdgeSetTy::const_iterator edgeEit = it->second->InEdgeEnd();
        for (; edgeIt != edgeEit; ++edgeIt)
        {
            const SVFGEdge* edge = *edgeIt;
            if(edge->isCallVFGEdge() || edge->isRetVFGEdge())
            {
                if(edgeInCallGraphSCC(pta,edge))
                    insensitveEdges.insert(edge);
            }
        }
    }
}

collectCxtInsenEdgeForVFCycle()

void DDAPass::collectCxtInsenEdgeForVFCycle ( PointerAnalysis *  pta, const SVFG *  svfg, const SVFGSCC *  svfgSCC, SVFGEdgeSet &  insensitveEdges  )

private

Mark insensitive edge for value-flow cycles

Definition at line 218 of file DDAPass.cpp.

{
 
    OrderedSet<NodePair> insensitvefunPairs;
 
    for (SVFG::SVFGNodeIDToNodeMapTy::const_iterator it = svfg->begin(),eit = svfg->end(); it != eit; ++it)
    {
 
        SVFGEdge::SVFGEdgeSetTy::const_iterator edgeIt = it->second->InEdgeBegin();
        SVFGEdge::SVFGEdgeSetTy::const_iterator edgeEit = it->second->InEdgeEnd();
        for (; edgeIt != edgeEit; ++edgeIt)
        {
            const SVFGEdge* edge = *edgeIt;
            if(edge->isCallVFGEdge() || edge->isRetVFGEdge())
            {
                if(this->edgeInSVFGSCC(svfgSCC,edge))
                {
 
                    const FunObjVar* srcFun = edge->getSrcNode()->getICFGNode()->getFun();
                    const FunObjVar* dstFun = edge->getDstNode()->getICFGNode()->getFun();
 
                    if(srcFun && dstFun)
                    {
                        NodeID src = pta->getCallGraph()->getCallGraphNode(srcFun)->getId();
                        NodeID dst = pta->getCallGraph()->getCallGraphNode(dstFun)->getId();
                        insensitvefunPairs.insert(std::make_pair(src,dst));
                        insensitvefunPairs.insert(std::make_pair(dst,src));
                    }
                    else
                        assert(edge->isRetVFGEdge() == false && "should not be an inter-procedural return edge" );
                }
            }
        }
    }
 
    for(SVFG::SVFGNodeIDToNodeMapTy::const_iterator it = svfg->begin(),eit = svfg->end(); it != eit; ++it)
    {
        SVFGEdge::SVFGEdgeSetTy::const_iterator edgeIt = it->second->InEdgeBegin();
        SVFGEdge::SVFGEdgeSetTy::const_iterator edgeEit = it->second->InEdgeEnd();
        for (; edgeIt != edgeEit; ++edgeIt)
        {
            const SVFGEdge* edge = *edgeIt;
 
            if(edge->isCallVFGEdge() || edge->isRetVFGEdge())
            {
                const FunObjVar* srcFun = edge->getSrcNode()->getICFGNode()->getFun();
                const FunObjVar* dstFun = edge->getDstNode()->getICFGNode()->getFun();
 
                if(srcFun && dstFun)
                {
                    NodeID src = pta->getCallGraph()->getCallGraphNode(srcFun)->getId();
                    NodeID dst = pta->getCallGraph()->getCallGraphNode(dstFun)->getId();
                    if(insensitvefunPairs.find(std::make_pair(src,dst))!=insensitvefunPairs.end())
                        insensitveEdges.insert(edge);
                    else if(insensitvefunPairs.find(std::make_pair(dst,src))!=insensitvefunPairs.end())
                        insensitveEdges.insert(edge);
                }
            }
        }
    }
}

edgeInCallGraphSCC()

bool DDAPass::edgeInCallGraphSCC ( PointerAnalysis *  pta, const SVFGEdge *  edge  )

private

Return TRUE if this edge is inside a SVFG SCC, i.e., src node and dst node are in the same SCC on the SVFG.

Whether call graph edge in SVFG SCC

Definition at line 177 of file DDAPass.cpp.

{
    const FunObjVar* srcFun = edge->getSrcNode()->getICFGNode()->getFun();
    const FunObjVar* dstFun = edge->getDstNode()->getICFGNode()->getFun();
 
    if(srcFun && dstFun)
    {
        return pta->inSameCallGraphSCC(srcFun,dstFun);
    }
 
    assert(edge->isRetVFGEdge() == false && "should not be an inter-procedural return edge" );
 
    return false;
}

edgeInSVFGSCC()

bool DDAPass::edgeInSVFGSCC ( const SVFGSCC *  svfgSCC, const SVFGEdge *  edge  )

private

Return TRUE if this edge is inside a SVFG SCC, i.e., src node and dst node are in the same SCC on the SVFG.

Whether SVFG edge in a SCC cycle

Definition at line 169 of file DDAPass.cpp.

{
    return (svfgSCC->repNode(edge->getSrcID()) == svfgSCC->repNode(edge->getDstID()));
}

getPassName()

virtual std::string SVF::DDAPass::getPassName ( ) const

inlinevirtual

Pass name.

Definition at line 75 of file DDAPass.h.

    {
        return "DDAPass";
    }

initCxtInsensitiveEdges()

void DDAPass::initCxtInsensitiveEdges ( PointerAnalysis *  pta, const SVFG *  svfg, const SVFGSCC *  svfgSCC, SVFGEdgeSet &  insensitveEdges  )

private

Context insensitive Edge for DDA.

Initialize context insensitive Edge for DDA

Definition at line 158 of file DDAPass.cpp.

{
    if(Options::InsenRecur())
        collectCxtInsenEdgeForRecur(pta,svfg,insensitveEdges);
    else if(Options::InsenCycle())
        collectCxtInsenEdgeForVFCycle(pta,svfg,svfgSCC,insensitveEdges);
}

printQueryPTS()

void DDAPass::printQueryPTS ( )

private

Print queries' pts.

Print queries' pts

Definition at line 297 of file DDAPass.cpp.

{
    const OrderedNodeSet& candidates = _client->getCandidateQueries();
    for (OrderedNodeSet::const_iterator it = candidates.begin(), eit = candidates.end(); it != eit; ++it)
    {
        const PointsTo& pts = _pta->getPts(*it);
        _pta->dumpPts(*it,pts);
    }
}

runOnModule()

void DDAPass::runOnModule ( SVFIR *  module )

virtual

We start from here.

initialization for llvm alias analyzer

Definition at line 55 of file DDAPass.cpp.

{
    //InitializeAliasAnalysis(this, getDataLayout(&module));
 
    selectClient();
 
    for (u32_t i = PTATY::FlowS_DDA; i < PTATY::Default_PTA; i++)
    {
        PTATY iPtTy = static_cast<PTATY>(i);
        if (Options::DDASelected(iPtTy))
            runPointerAnalysis(pag, i);
    }
}

runPointerAnalysis()

void DDAPass::runPointerAnalysis ( SVFIR *  module, u32_t  kind  )

private

Create pointer analysis according to specified kind and analyze the module.

Initialize pointer analysis.

initialize

compute points-to

finalize

Definition at line 107 of file DDAPass.cpp.

{
 
    ContextCond::setMaxPathLen(Options::MaxPathLen());
    ContextCond::setMaxCxtLen(Options::MaxContextLen());
 
    switch (kind)
    {
    case PTATY::Cxt_DDA:
    {
        _pta = std::make_unique<ContextDDA>(pag, _client);
        break;
    }
    case PTATY::FlowS_DDA:
    {
        _pta = std::make_unique<FlowDDA>(pag, _client);
        break;
    }
    default:
        outs() << "This pointer analysis has not been implemented yet.\n";
        break;
    }
 
    if(Options::WPANum())
    {
        _client->collectWPANum();
    }
    else
    {
        _pta->initialize();
        _client->answerQueries(_pta.get());
        _pta->finalize();
        if(Options::PrintCPts())
            _pta->dumpCPts();
 
        if (_pta->printStat())
            _client->performStat(_pta.get());
 
        if (Options::PrintQueryPts())
            printQueryPTS();
    }
}

selectClient()

void DDAPass::selectClient ( )

virtual

Select a client.

select a client to initialize queries

solve function pointer

allow user specify queries

Definition at line 71 of file DDAPass.cpp.

{
 
    if (!Options::UserInputQuery().empty())
    {
        if (Options::UserInputQuery() == "funptr")
        {
            _client = new FunptrDDAClient();
        }
        else if (Options::UserInputQuery() == "alias")
        {
            _client = new AliasDDAClient();
        }
        else
        {
            _client = new DDAClient();
            if (Options::UserInputQuery() != "all")
            {
                u32_t buf; // Have a buffer
                stringstream ss(Options::UserInputQuery()); // Insert the user input string into a stream
                while (ss >> buf)
                    _client->setQuery(buf);
            }
        }
    }
    else
    {
        assert(false && "Please specify query options!");
    }
 
    _client->initialise();
}

Member Data Documentation

_client

DDAClient* SVF::DDAPass::_client

private

DDA client used.

Definition at line 96 of file DDAPass.h.

_pta

std::unique_ptr<PointerAnalysis> SVF::DDAPass::_pta

private

pointer analysis to be executed.

Definition at line 95 of file DDAPass.h.

ID

char DDAPass::ID = 0

static

Pass ID.

Definition at line 51 of file DDAPass.h.

---

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

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