#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. More...

const MemRegion *	getMR (const NodeBS &cpts) const
	Get a memory region according to cpts. More...

u32_t	getMRNum () const

virtual	~MRGenerator ()
	Destructor. More...

virtual void	generateMRs ()
	Start generating memory regions. More...

const SVFFunction *	getFunction (const PAGEdge *pagEdge) const
	Get the function which SVFIR Edge located. More...

MRSet &	getFunMRSet (const SVFFunction *fun)
	Get Memory Region set. More...

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. More...

SVFStmtList &	getPAGEdgesFromInst (const ICFGNode *node)
	Given an instruction, get all its the PAGEdge (statement) in sequence. More...

NodeBS	getModInfoForCall (const CallICFGNode *cs)
	getModRefInfo APIs More...

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. More...

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. More...

void	createDisjointMR (const SVFFunction *func, const NodeBS &cpts)
	Create disjoint memory region. More...

void	computeIntersections (const NodeBS &cpts, PointsToList &inters)
	Compute intersections between cpts and computed cpts intersections before. More...

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. More...

void	collectGlobals ()
	Collect all global variables for later escape analysis. More...

virtual void	collectModRefForLoadStore ()
	Generate regions for loads/stores. More...

virtual void	collectModRefForCall ()
	Generate regions for calls/rets. More...

virtual void	updateAliasMRs ()
	Update aliased regions for loads/stores/callsites. More...

virtual void	sortPointsTo (const NodeBS &cpts)
	Given a condition pts, insert into cptsToRepCPtsMap for region generation. More...

virtual bool	isAliasedMR (const NodeBS &cpts, const MemRegion *mr)
	Whether a region is aliased with a conditional points-to. More...

virtual void	getAliasMemRegions (MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *fun)
	Get all aliased mem regions from function fun according to cpts. More...

virtual void	modRefAnalysis (PTACallGraphNode *callGraphNode, WorkList &worklist)
	Mod-Ref analysis for callsite invoking this callGraphNode. More...

virtual bool	handleCallsiteModRef (NodeBS &mod, NodeBS &ref, const CallICFGNode cs, const SVFFunction fun)
	Get Mod-Ref of a callee function. More...

void	addCPtsToStore (NodeBS &cpts, const StoreStmt st, const SVFFunction fun)
	Add cpts to store/load. More...

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. More...

void	addModSideEffectOfFunction (const SVFFunction *fun, const NodeBS &mods)
	Add indirect def an memory object in the function. More...

bool	addRefSideEffectOfCallSite (const CallICFGNode *cs, const NodeBS &refs)
	Add indirect uses an memory object in the function. More...

bool	addModSideEffectOfCallSite (const CallICFGNode *cs, const NodeBS &mods)
	Add indirect def an memory object in the function. More...

const NodeBS &	getRefSideEffectOfFunction (const SVFFunction *fun)
	Get indirect refs of a function. More...

const NodeBS &	getModSideEffectOfFunction (const SVFFunction *fun)
	Get indirect mods of a function. More...

const NodeBS &	getRefSideEffectOfCallSite (const CallICFGNode *cs)
	Get indirect refs of a callsite. More...

const NodeBS &	getModSideEffectOfCallSite (const CallICFGNode *cs)
	Get indirect mods of a callsite. More...

bool	hasRefSideEffectOfCallSite (const CallICFGNode *cs)
	Has indirect refs of a callsite. More...

bool	hasModSideEffectOfCallSite (const CallICFGNode *cs)
	Has indirect mods of a callsite. More...

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. More...

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. More...

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. More...

typedef Map< const StoreStmt *, NodeBS >	StoresToPointsToMap

typedef Map< const CallICFGNode *, NodeBS >	CallSiteToPointsToMap

typedef Map< const SVFFunction *, NodeBS >	FunToNodeBSMap
	Maps Mod-Ref analysis. More...

typedef Map< const CallICFGNode *, NodeBS >	CallSiteToNodeBSMap
	Map a callsite to its indirect refs/mods of memory objects. More...

typedef Map< NodeID, NodeBS >	NodeToPTSSMap

typedef SVFIR::SVFStmtList	SVFStmtList
	SVFIR edge list. More...

typedef SCCDetection< PTACallGraph * >	SCC
	Call Graph SCC. More...

Protected Attributes inherited from SVF::MRGenerator
MRSet	memRegSet
	A set of All memory regions. More...

PtsToRepPtsSetMap	cptsToRepCPtsMap
	Map a condition pts to its rep conditional pts (super set points-to) More...

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.

142 : IntraDisjointMRG(p, ptrOnly)

143 {}

p

cJSON * p

Definition: cJSON.cpp:2559

SVF::IntraDisjointMRG::IntraDisjointMRG

IntraDisjointMRG(BVDataPTAImpl *p, bool ptrOnly)

Definition: MemPartition.h:80

◆ ~InterDisjointMRG()

SVF::InterDisjointMRG::~InterDisjointMRG ( )

inline

Definition at line 145 of file MemPartition.h.

145 {}

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

Public Member Functions

Protected Member Functions

Private Attributes

Additional Inherited Members