SVF::InterDisjointMRG Class Reference

#include <MemPartition.h>

Inheritance diagram for SVF::InterDisjointMRG:

Public Member Functions
	InterDisjointMRG (BVDataPTAImpl *p, bool ptrOnly)
	~InterDisjointMRG ()
Public Member Functions inherited from SVF::IntraDisjointMRG
	IntraDisjointMRG (BVDataPTAImpl *p, bool ptrOnly)
	~IntraDisjointMRG ()
Public Member Functions inherited from SVF::MRGenerator
MRSet &	getMRSet ()
const NodeBS &	getRepPointsTo (const NodeBS &cpts) const
	Get superset cpts set.
const MemRegion *	getMR (const NodeBS &cpts) const
	Get a memory region according to cpts.
u32_t	getMRNum () const
virtual	~MRGenerator ()
	Destructor.
virtual void	generateMRs ()
	Start generating memory regions.
const SVFFunction *	getFunction (const PAGEdge *pagEdge) const
	Get the function which SVFIR Edge located.
MRSet &	getFunMRSet (const SVFFunction *fun)
	Get Memory Region set.
MRSet &	getLoadMRSet (const LoadStmt *load)
MRSet &	getStoreMRSet (const StoreStmt *store)
bool	hasRefMRSet (const CallICFGNode *cs)
bool	hasModMRSet (const CallICFGNode *cs)
MRSet &	getCallSiteRefMRSet (const CallICFGNode *cs)
MRSet &	getCallSiteModMRSet (const CallICFGNode *cs)
bool	hasSVFStmtList (const ICFGNode *icfgNode)
	Whether this instruction has SVFIR Edge.
SVFStmtList &	getPAGEdgesFromInst (const ICFGNode *node)
	Given an instruction, get all its the PAGEdge (statement) in sequence.
NodeBS	getModInfoForCall (const CallICFGNode *cs)
	getModRefInfo APIs
NodeBS	getRefInfoForCall (const CallICFGNode *cs)
ModRefInfo	getModRefInfo (const CallICFGNode *cs)
ModRefInfo	getModRefInfo (const CallICFGNode *cs, const SVFValue *V)
ModRefInfo	getModRefInfo (const CallICFGNode *cs1, const CallICFGNode *cs2)

Protected Member Functions
virtual void	partitionMRs ()
	Partition regions.
virtual void	getMRsForLoad (MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *)
Protected Member Functions inherited from SVF::IntraDisjointMRG
void	getMRsForLoadFromInterList (MRSet &mrs, const NodeBS &cpts, const PointsToList &inters)
virtual void	getMRsForCallSiteRef (MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *fun)
	Get memory regions to be inserted at a load statement.
void	createDisjointMR (const SVFFunction *func, const NodeBS &cpts)
	Create disjoint memory region.
void	computeIntersections (const NodeBS &cpts, PointsToList &inters)
	Compute intersections between cpts and computed cpts intersections before.
Protected Member Functions inherited from SVF::MRGenerator
	MRGenerator (BVDataPTAImpl *p, bool ptrOnly)
void	createMR (const SVFFunction *fun, const NodeBS &cpts)
	Generate a memory region and put in into functions which use it.
void	collectGlobals ()
	Collect all global variables for later escape analysis.
virtual void	collectModRefForLoadStore ()
	Generate regions for loads/stores.
virtual void	collectModRefForCall ()
	Generate regions for calls/rets.
virtual void	updateAliasMRs ()
	Update aliased regions for loads/stores/callsites.
virtual void	sortPointsTo (const NodeBS &cpts)
	Given a condition pts, insert into cptsToRepCPtsMap for region generation.
virtual bool	isAliasedMR (const NodeBS &cpts, const MemRegion *mr)
	Whether a region is aliased with a conditional points-to.
virtual void	getAliasMemRegions (MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *fun)
	Get all aliased mem regions from function fun according to cpts.
virtual void	modRefAnalysis (PTACallGraphNode *callGraphNode, WorkList &worklist)
	Mod-Ref analysis for callsite invoking this callGraphNode.
virtual bool	handleCallsiteModRef (NodeBS &mod, NodeBS &ref, const CallICFGNode *cs, const SVFFunction *fun)
	Get Mod-Ref of a callee function.
void	addCPtsToStore (NodeBS &cpts, const StoreStmt *st, const SVFFunction *fun)
	Add cpts to store/load.
void	addCPtsToLoad (NodeBS &cpts, const LoadStmt *ld, const SVFFunction *fun)
void	addCPtsToCallSiteRefs (NodeBS &cpts, const CallICFGNode *cs)
void	addCPtsToCallSiteMods (NodeBS &cpts, const CallICFGNode *cs)
bool	hasCPtsList (const SVFFunction *fun) const
PointsToList &	getPointsToList (const SVFFunction *fun)
FunToPointsTosMap &	getFunToPointsToList ()
void	addRefSideEffectOfFunction (const SVFFunction *fun, const NodeBS &refs)
	Add/Get methods for side-effect of functions and callsites.
void	addModSideEffectOfFunction (const SVFFunction *fun, const NodeBS &mods)
	Add indirect def an memory object in the function.
bool	addRefSideEffectOfCallSite (const CallICFGNode *cs, const NodeBS &refs)
	Add indirect uses an memory object in the function.
bool	addModSideEffectOfCallSite (const CallICFGNode *cs, const NodeBS &mods)
	Add indirect def an memory object in the function.
const NodeBS &	getRefSideEffectOfFunction (const SVFFunction *fun)
	Get indirect refs of a function.
const NodeBS &	getModSideEffectOfFunction (const SVFFunction *fun)
	Get indirect mods of a function.
const NodeBS &	getRefSideEffectOfCallSite (const CallICFGNode *cs)
	Get indirect refs of a callsite.
const NodeBS &	getModSideEffectOfCallSite (const CallICFGNode *cs)
	Get indirect mods of a callsite.
bool	hasRefSideEffectOfCallSite (const CallICFGNode *cs)
	Has indirect refs of a callsite.
bool	hasModSideEffectOfCallSite (const CallICFGNode *cs)
	Has indirect mods of a callsite.

Private Attributes
PointsToList	inters

Additional Inherited Members
Public Types inherited from SVF::IntraDisjointMRG
typedef OrderedMap< NodeBS, PointsToList >	PtsToSubPtsMap
typedef Map< const SVFFunction *, PtsToSubPtsMap >	FunToPtsMap
typedef Map< const SVFFunction *, PointsToList >	FunToInterMap
Public Types inherited from SVF::MRGenerator
typedef FIFOWorkList< NodeID >	WorkList
typedef OrderedSet< const MemRegion *, MemRegion::equalMemRegion >	MRSet
	Get typedef from Pointer Analysis.
typedef Map< const PAGEdge *, const SVFFunction * >	PAGEdgeToFunMap
typedef OrderedSet< NodeBS, SVFUtil::equalNodeBS >	PointsToList
typedef Map< const SVFFunction *, NodeBS >	FunToPointsToMap
typedef Map< const SVFFunction *, PointsToList >	FunToPointsTosMap
typedef OrderedMap< NodeBS, NodeBS, SVFUtil::equalNodeBS >	PtsToRepPtsSetMap
typedef Map< const SVFFunction *, MRSet >	FunToMRsMap
	Map a function to its region set.
typedef Map< const LoadStmt *, MRSet >	LoadsToMRsMap
typedef Map< const StoreStmt *, MRSet >	StoresToMRsMap
typedef Map< const CallICFGNode *, MRSet >	CallSiteToMRsMap
typedef Map< const LoadStmt *, NodeBS >	LoadsToPointsToMap
	Map loads/stores/callsites to their cpts set.
typedef Map< const StoreStmt *, NodeBS >	StoresToPointsToMap
typedef Map< const CallICFGNode *, NodeBS >	CallSiteToPointsToMap
typedef Map< const SVFFunction *, NodeBS >	FunToNodeBSMap
	Maps Mod-Ref analysis.
typedef Map< const CallICFGNode *, NodeBS >	CallSiteToNodeBSMap
	Map a callsite to its indirect refs/mods of memory objects.
typedef Map< NodeID, NodeBS >	NodeToPTSSMap
typedef SVFIR::SVFStmtList	SVFStmtList
	SVFIR edge list.
typedef SCCDetection< PTACallGraph * >	SCC
	Call Graph SCC.
Protected Attributes inherited from SVF::MRGenerator
MRSet	memRegSet
	A set of All memory regions.
PtsToRepPtsSetMap	cptsToRepCPtsMap
	Map a condition pts to its rep conditional pts (super set points-to)

Detailed Description

Create memory regions which don't have intersections with each other in the whole program scope.

Definition at line 139 of file MemPartition.h.

Constructor & Destructor Documentation

InterDisjointMRG()

SVF::InterDisjointMRG::InterDisjointMRG ( BVDataPTAImpl *  p, bool  ptrOnly  )

inline

Definition at line 142 of file MemPartition.h.

                                                     : IntraDisjointMRG(p, ptrOnly)
    {}

~InterDisjointMRG()

SVF::InterDisjointMRG::~InterDisjointMRG ( )

inline

Definition at line 145 of file MemPartition.h.

{}

Member Function Documentation

getMRsForLoad()

virtual void SVF::InterDisjointMRG::getMRsForLoad ( MRSet &  aliasMRs, const NodeBS &  cpts, const SVFFunction *    )

inlineprotectedvirtual

Get memory regions to be inserted at a load statement.

Parameters

cpts	The conditional points-to set of load statement.
fun	The function being analyzed.
mrs	Memory region set contains all possible target memory regions.

Reimplemented from SVF::IntraDisjointMRG.

Definition at line 157 of file MemPartition.h.

    {
        getMRsForLoadFromInterList(aliasMRs, cpts, inters);
    }

partitionMRs()

void InterDisjointMRG::partitionMRs ( )

protectedvirtual

Partition regions.

Generate disjoint cpts.

Create memory regions.

Reimplemented from SVF::IntraDisjointMRG.

Definition at line 269 of file MemPartition.cpp.

{
    for(FunToPointsTosMap::iterator it = getFunToPointsToList().begin(),
            eit = getFunToPointsToList().end(); it!=eit; ++it)
    {
        for(PointsToList::iterator cit = it->second.begin(), ecit = it->second.end();
                cit!=ecit; ++cit)
        {
            const NodeBS& cpts = *cit;
 
            computeIntersections(cpts, inters);
        }
    }
 
    for(FunToPointsTosMap::iterator it = getFunToPointsToList().begin(),
            eit = getFunToPointsToList().end(); it!=eit; ++it)
    {
        const SVFFunction* fun = it->first;
 
        for(PointsToList::iterator cit = it->second.begin(), ecit = it->second.end();
                cit!=ecit; ++cit)
        {
            const NodeBS& cpts = *cit;
 
            for (PointsToList::const_iterator interIt = inters.begin(), interEit = inters.end();
                    interIt != interEit; ++interIt)
            {
                const NodeBS& inter = *interIt;
                if (cpts.contains(inter))
                    createDisjointMR(fun, inter);
            }
        }
    }
}

Member Data Documentation

inters

PointsToList SVF::InterDisjointMRG::inters

private

Definition at line 164 of file MemPartition.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/MSSA/MemPartition.h
• /home/runner/work/SVF/SVF/svf/lib/MSSA/MemPartition.cpp