#include <MemPartition.h>

Inheritance diagram for SVF::DistinctMRG:

Public Member Functions
	DistinctMRG (BVDataPTAImpl *p, bool ptrOnly)

	~DistinctMRG ()

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 *fun)
	Get memory region at a load.

virtual void	getMRsForCallSiteRef (MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *fun)
	Get memory regions to be inserted at a load statement.

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 Member Functions
void	createDistinctMR (const SVFFunction *func, const NodeBS &cpts)
	Create memory regions for each points-to target.

Additional Inherited Members
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

Distinct memory region generator.

Definition at line 47 of file MemPartition.h.

Constructor & Destructor Documentation

◆ DistinctMRG()

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

inline

Definition at line 50 of file MemPartition.h.

50 : MRGenerator(p, ptrOnly)

51 {}

p

cJSON * p

Definition cJSON.cpp:2559

SVF::MRGenerator::MRGenerator

MRGenerator(BVDataPTAImpl *p, bool ptrOnly)

Definition MemRegion.cpp:42

SVF::IRBuilder

llvm::IRBuilder IRBuilder

Definition BasicTypes.h:74

◆ ~DistinctMRG()

SVF::DistinctMRG::~DistinctMRG ( )

inline

Definition at line 53 of file MemPartition.h.

53{}

Member Function Documentation

◆ createDistinctMR()

void DistinctMRG::createDistinctMR	(	const SVFFunction *	func,
		const NodeBS &	pts
	)

private

Create memory regions for each points-to target.

collect all points-to targets in a function scope.
create memory region for each point-to target.

Create memory regions for each points-to target.

Definition at line 64 of file MemPartition.cpp.

{
 
    NodeBS::iterator ptsIt = pts.begin();
    NodeBS::iterator ptsEit = pts.end();
    for (; ptsIt != ptsEit; ++ptsIt)
    {
        NodeID id = *ptsIt;
        // create new conditional points-to set with this single element.
        NodeBS newPts;
        newPts.set(id);
 
        // set the rep cpts as itself.
        cptsToRepCPtsMap[newPts] = newPts;
 
        // add memory region for this points-to target.
        createMR(func, newPts);
    }
}

◆ getMRsForCallSiteRef()

void DistinctMRG::getMRsForCallSiteRef	(	MRSet &	aliasMRs,
		const NodeBS &	cpts,
		const SVFFunction *	fun
	)

protectedvirtual

Get memory regions to be inserted at a load statement.

Get memory regions to be inserted at a load statement. Just process as getMRsForLoad().

Reimplemented from SVF::MRGenerator.

Definition at line 115 of file MemPartition.cpp.

{
    getMRsForLoad(aliasMRs, cpts, fun);
}

◆ getMRsForLoad()

void DistinctMRG::getMRsForLoad	(	MRSet &	mrs,
		const NodeBS &	pts,
		const SVFFunction *	fun
	)

protectedvirtual

Get memory region at a load.

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.

Get memory regions for each points-to element in cpts.

Reimplemented from SVF::MRGenerator.

Definition at line 91 of file MemPartition.cpp.

{
 
    NodeBS::iterator ptsIt = pts.begin();
    NodeBS::iterator ptsEit = pts.end();
    for (; ptsIt != ptsEit; ++ptsIt)
    {
        NodeID id = *ptsIt;
        // create new conditional points-to set with this single element.
        NodeBS newPts;
        newPts.set(id);
 
        MemRegion mr(newPts);
        MRSet::iterator mit = memRegSet.find(&mr);
        assert(mit!=memRegSet.end() && "memory region not found!!");
        mrs.insert(*mit);
    }
}

◆ partitionMRs()

void DistinctMRG::partitionMRs ( )

protectedvirtual

Partition regions.

Create distinct memory regions.

Collect all points-to target in a function scope.

Reimplemented from SVF::MRGenerator.

Definition at line 42 of file MemPartition.cpp.

{
    for(FunToPointsTosMap::iterator it = getFunToPointsToList().begin(), eit = getFunToPointsToList().end();
            it!=eit; ++it)
    {
        const SVFFunction* fun = it->first;
        NodeBS mergePts;
        for(PointsToList::iterator cit = it->second.begin(), ecit = it->second.end(); cit!=ecit; ++cit)
        {
            const NodeBS& pts = *cit;
            mergePts |= pts;
        }
        createDistinctMR(fun, mergePts);
    }
}

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 Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ DistinctMRG()

◆ ~DistinctMRG()

Member Function Documentation

◆ createDistinctMR()

◆ getMRsForCallSiteRef()

◆ getMRsForLoad()

◆ partitionMRs()