SVF::WPAPass Class Reference

#include <WPAPass.h>

Public Types
enum	AliasCheckRule { Conservative , Veto , Precise }

Public Member Functions
	WPAPass ()
	Constructor needs TargetLibraryInfo to be passed to the AliasAnalysis.
virtual	~WPAPass ()
	Destructor.
virtual const PointsTo &	getPts (NodeID var)
	Retrieve points-to set information.
virtual void	PrintAliasPairs (PointerAnalysis *pta)
	Print all alias pairs.
virtual ModRefInfo	getModRefInfo (const CallICFGNode *callInst)
	Interface of mod-ref analysis to determine whether a CallSite instruction can mod or ref any memory location.
virtual ModRefInfo	getModRefInfo (const CallICFGNode *callInst1, const CallICFGNode *callInst2)
	Interface of mod-ref analysis to determine whether a CallSite instruction can mod or ref a specific memory location, given Location infos.
virtual void	runOnModule (SVFIR *svfModule)
	Run pointer analysis on SVFModule.
virtual std::string	getPassName () const
	PTA name.

Static Public Attributes
static char	ID = 0
	Pass ID.

Private Types
typedef std::vector< PointerAnalysis * >	PTAVector

Private Member Functions
void	runPointerAnalysis (SVFIR *pag, u32_t kind)
	Create pointer analysis according to specified kind and analyze the module.

Private Attributes
PTAVector	ptaVector
	all pointer analysis to be executed.
PointerAnalysis *	_pta
	pointer analysis to be executed.
SVFG *	_svfg
	svfg generated through -ander pointer analysis

Detailed Description

Whole program pointer analysis. This class performs various pointer analysis on the given module.

Definition at line 53 of file WPAPass.h.

Member Typedef Documentation

PTAVector

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

private

Definition at line 55 of file WPAPass.h.

Member Enumeration Documentation

AliasCheckRule

enum SVF::WPAPass::AliasCheckRule

Enumerator
Conservative	return MayAlias if any pta says alias
Veto	return NoAlias if any pta says no alias
Precise	return alias result by the most precise pta

Definition at line 61 of file WPAPass.h.

    {
        Conservative,   
        Veto,           
        Precise         
    };

Constructor & Destructor Documentation

WPAPass()

SVF::WPAPass::WPAPass ( )

inline

Constructor needs TargetLibraryInfo to be passed to the AliasAnalysis.

Definition at line 69 of file WPAPass.h.

    {
 
    }

~WPAPass()

WPAPass::~WPAPass ( )

virtual

Destructor.

Destructor

Definition at line 53 of file WPAPass.cpp.

{
    PTAVector::const_iterator it = ptaVector.begin();
    PTAVector::const_iterator eit = ptaVector.end();
    for (; it != eit; ++it)
    {
        PointerAnalysis* pta = *it;
        delete pta;
    }
    ptaVector.clear();
}

Member Function Documentation

getModRefInfo() [1/2]

ModRefInfo WPAPass::getModRefInfo ( const CallICFGNode *  callInst )

virtual

Interface of mod-ref analysis to determine whether a CallSite instruction can mod or ref any memory location.

Return mod-ref result of a Callsite

Definition at line 166 of file WPAPass.cpp.

{
    assert(Options::PASelected(PointerAnalysis::AndersenWaveDiff_WPA) && Options::AnderSVFG() && "mod-ref query is only support with -ander and -svfg turned on");
    return _svfg->getMSSA()->getMRGenerator()->getModRefInfo(callInst);
}

getModRefInfo() [2/2]

ModRefInfo WPAPass::getModRefInfo ( const CallICFGNode *  callInst1, const CallICFGNode *  callInst2  )

virtual

Interface of mod-ref analysis to determine whether a CallSite instruction can mod or ref a specific memory location, given Location infos.

Interface of mod-ref analysis between two CallSite instructions

Return mod-ref result between two CallInsts

Definition at line 176 of file WPAPass.cpp.

{
    assert(Options::PASelected(PointerAnalysis::AndersenWaveDiff_WPA) && Options::AnderSVFG() && "mod-ref query is only support with -ander and -svfg turned on");
    return _svfg->getMSSA()->getMRGenerator()->getModRefInfo(callInst1, callInst2);
}

getPassName()

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

inlinevirtual

PTA name.

Definition at line 99 of file WPAPass.h.

    {
        return "WPAPass";
    }

getPts()

const PointsTo & WPAPass::getPts ( NodeID  var )

virtual

Retrieve points-to set information.

Definition at line 157 of file WPAPass.cpp.

{
    assert(_pta && "initialize a pointer analysis first");
    return _pta->getPts(var);
}

PrintAliasPairs()

void WPAPass::PrintAliasPairs ( PointerAnalysis *  pta )

virtual

Print all alias pairs.

Definition at line 132 of file WPAPass.cpp.

{
    SVFIR* pag = pta->getPAG();
    for (SVFIR::iterator lit = pag->begin(), elit = pag->end(); lit != elit; ++lit)
    {
        PAGNode* node1 = lit->second;
        PAGNode* node2 = node1;
        for (SVFIR::iterator rit = lit, erit = pag->end(); rit != erit; ++rit)
        {
            node2 = rit->second;
            if(node1==node2)
                continue;
            const FunObjVar* fun1 = node1->getFunction();
            const FunObjVar* fun2 = node2->getFunction();
            AliasResult result = pta->alias(node1->getId(), node2->getId());
            SVFUtil::outs() << (result == AliasResult::NoAlias ? "NoAlias" : "MayAlias")
                            << " var" << node1->getId() << "[" << node1->getName()
                            << "@" << (fun1==nullptr?"":fun1->getName()) << "] --"
                            << " var" << node2->getId() << "[" << node2->getName()
                            << "@" << (fun2==nullptr?"":fun2->getName()) << "]\n";
        }
    }
}

runOnModule()

void WPAPass::runOnModule ( SVFIR *  pag )

virtual

Run pointer analysis on SVFModule.

We start from here

Definition at line 68 of file WPAPass.cpp.

{
    for (u32_t i = 0; i<= PointerAnalysis::Default_PTA; i++)
    {
        PointerAnalysis::PTATY iPtaTy = static_cast<PointerAnalysis::PTATY>(i);
        if (Options::PASelected(iPtaTy))
            runPointerAnalysis(pag, i);
    }
    assert(!ptaVector.empty() && "No pointer analysis is specified.\n");
}

runPointerAnalysis()

void WPAPass::runPointerAnalysis ( SVFIR *  pag, u32_t  kind  )

private

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

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

Initialize pointer analysis.

support mod-ref queries only for -ander

Definition at line 82 of file WPAPass.cpp.

{
    switch (kind)
    {
    case PointerAnalysis::Andersen_WPA:
        _pta = new Andersen(pag);
        break;
    case PointerAnalysis::AndersenSCD_WPA:
        _pta = new AndersenSCD(pag);
        break;
    case PointerAnalysis::AndersenSFR_WPA:
        _pta = new AndersenSFR(pag);
        break;
    case PointerAnalysis::AndersenWaveDiff_WPA:
        _pta = new AndersenWaveDiff(pag);
        break;
    case PointerAnalysis::Steensgaard_WPA:
        _pta = new Steensgaard(pag);
        break;
    case PointerAnalysis::FSSPARSE_WPA:
        _pta = new FlowSensitive(pag);
        break;
    case PointerAnalysis::VFS_WPA:
        _pta = new VersionedFlowSensitive(pag);
        break;
    case PointerAnalysis::TypeCPP_WPA:
        _pta = new TypeAnalysis(pag);
        break;
    default:
        assert(false && "This pointer analysis has not been implemented yet.\n");
        return;
    }
 
    ptaVector.push_back(_pta);
    _pta->analyze();
    if (Options::AnderSVFG())
    {
        SVFGBuilder memSSA(true);
        assert(SVFUtil::isa<AndersenBase>(_pta) && "supports only andersen/steensgaard for pre-computed SVFG");
        SVFG *svfg = memSSA.buildFullSVFG((BVDataPTAImpl*)_pta);
        if (Options::PASelected(PointerAnalysis::AndersenWaveDiff_WPA))
            _svfg = svfg;
    }
 
    if (Options::PrintAliases())
        PrintAliasPairs(_pta);
}

Member Data Documentation

_pta

PointerAnalysis* SVF::WPAPass::_pta

private

pointer analysis to be executed.

Definition at line 109 of file WPAPass.h.

_svfg

SVFG* SVF::WPAPass::_svfg

private

svfg generated through -ander pointer analysis

Definition at line 110 of file WPAPass.h.

ID

char WPAPass::ID = 0

static

Pass ID.

Definition at line 59 of file WPAPass.h.

ptaVector

PTAVector SVF::WPAPass::ptaVector

private

all pointer analysis to be executed.

Definition at line 108 of file WPAPass.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/WPA/WPAPass.h
• /home/runner/work/SVF/SVF/svf/lib/WPA/WPAPass.cpp