PTData implemented using points-to sets which are created once and updated continuously. More...

#include <MutablePointsToDS.h>

Inheritance diagram for SVF::MutablePTData< Key, KeySet, Data, DataSet >:

Public Types
typedef PTData< Key, KeySet, Data, DataSet >	BasePTData

typedef BasePTData::PTDataTy	PTDataTy

typedef Map< Key, DataSet >	PtsMap

typedef Map< Data, KeySet >	RevPtsMap

typedef PtsMap::iterator	PtsMapIter

typedef PtsMap::const_iterator	PtsMapConstIter

typedef DataSet::iterator	iterator

Public Types inherited from SVF::PTData< Key, KeySet, Data, DataSet >
enum	PTDataTy { Base , MutBase , Diff , MutDiff , DataFlow , MutDataFlow , MutIncDataFlow , Versioned , MutVersioned , PersBase , PersDiff , PersDataFlow , PersIncDataFlow , PersVersioned }
	Types of a points-to data structures. More...

Public Member Functions
	MutablePTData (bool reversePT=true, PTDataTy ty=PTDataTy::MutBase)
	Constructor. More...

virtual	~MutablePTData ()

virtual const PtsMap &	getPtsMap () const
	Return Points-to map. More...

virtual void	clear () override
	Clears all points-to sets as if nothing is stored. More...

virtual const DataSet &	getPts (const Key &var) override
	Get points-to set of var. More...

virtual const KeySet &	getRevPts (const Data &datum) override
	Get reverse points-to set of a datum. More...

virtual bool	addPts (const Key &dstKey, const Data &element) override
	Adds element to the points-to set associated with var. More...

virtual bool	unionPts (const Key &dstKey, const Key &srcKey) override
	Performs pts(dstVar) = pts(dstVar) U pts(srcVar). More...

virtual bool	unionPts (const Key &dstKey, const DataSet &srcDataSet) override
	Performs pts(dstVar) = pts(dstVar) U srcDataSet. More...

virtual void	dumpPTData () override
	Dump stored keys and points-to sets. More...

virtual void	clearPts (const Key &var, const Data &element) override
	Clears element from the points-to set of var. More...

virtual void	clearFullPts (const Key &var) override
	Fully clears the points-to set of var. More...

virtual void	remapAllPts (void) override
	Remaps all points-to sets to use the current mapping. More...

virtual Map< DataSet, unsigned >	getAllPts (bool liveOnly) const override

Public Member Functions inherited from SVF::PTData< Key, KeySet, Data, DataSet >
	PTData (bool reversePT=true, PTDataTy ty=PTDataTy::Base)

virtual	~PTData ()

PTDataTy	getPTDTY () const
	Get the type of points-to data structure that this is. More...

Static Public Member Functions

static bool	classof (const MutablePTData< Key, KeySet, Data, DataSet > *)

static bool	classof (const PTData< Key, KeySet, Data, DataSet > *ptd)

Protected Member Functions
virtual void	dumpPts (const PtsMap &ptsSet, OutStream &O=SVFUtil::outs()) const

Protected Attributes
PtsMap	ptsMap

RevPtsMap	revPtsMap

Protected Attributes inherited from SVF::PTData< Key, KeySet, Data, DataSet >
bool	rev
	Whether we maintain reverse points-to sets or not. More...

PTDataTy	ptdTy

Private Member Functions

bool	unionPts (DataSet &dstDataSet, const DataSet &srcDataSet)

bool	addPts (DataSet &d, const Data &e)

void	addSingleRevPts (KeySet &revData, const Key &tgr)

void	addRevPts (const DataSet &ptsData, const Key &tgr)

void	clearSingleRevPts (KeySet &revSet, const Key &k)

void	clearRevPts (const DataSet &pts, const Key &k)

Friends
class	MutableDFPTData< Key, KeySet, Data, DataSet >

Detailed Description

template<typename Key, typename KeySet, typename Data, typename DataSet>
class SVF::MutablePTData< Key, KeySet, Data, DataSet >

PTData implemented using points-to sets which are created once and updated continuously.

Definition at line 53 of file MutablePointsToDS.h.

Member Typedef Documentation

◆ BasePTData

template<typename Key , typename KeySet , typename Data , typename DataSet >

typedef PTData<Key, KeySet, Data, DataSet> SVF::MutablePTData< Key, KeySet, Data, DataSet >::BasePTData

Definition at line 57 of file MutablePointsToDS.h.

◆ iterator

template<typename Key , typename KeySet , typename Data , typename DataSet >

typedef DataSet::iterator SVF::MutablePTData< Key, KeySet, Data, DataSet >::iterator

Definition at line 64 of file MutablePointsToDS.h.

◆ PTDataTy

template<typename Key , typename KeySet , typename Data , typename DataSet >

typedef BasePTData::PTDataTy SVF::MutablePTData< Key, KeySet, Data, DataSet >::PTDataTy

Definition at line 58 of file MutablePointsToDS.h.

◆ PtsMap

template<typename Key , typename KeySet , typename Data , typename DataSet >

typedef Map<Key, DataSet> SVF::MutablePTData< Key, KeySet, Data, DataSet >::PtsMap

Definition at line 60 of file MutablePointsToDS.h.

◆ PtsMapConstIter

template<typename Key , typename KeySet , typename Data , typename DataSet >

typedef PtsMap::const_iterator SVF::MutablePTData< Key, KeySet, Data, DataSet >::PtsMapConstIter

Definition at line 63 of file MutablePointsToDS.h.

◆ PtsMapIter

template<typename Key , typename KeySet , typename Data , typename DataSet >

typedef PtsMap::iterator SVF::MutablePTData< Key, KeySet, Data, DataSet >::PtsMapIter

Definition at line 62 of file MutablePointsToDS.h.

◆ RevPtsMap

template<typename Key , typename KeySet , typename Data , typename DataSet >

typedef Map<Data, KeySet> SVF::MutablePTData< Key, KeySet, Data, DataSet >::RevPtsMap

Definition at line 61 of file MutablePointsToDS.h.

Constructor & Destructor Documentation

◆ MutablePTData()

template<typename Key , typename KeySet , typename Data , typename DataSet >

SVF::MutablePTData< Key, KeySet, Data, DataSet >::MutablePTData	(	bool	reversePT = `true`,
		PTDataTy	ty = `PTDataTy::MutBase`
	)

inline

Constructor.

Definition at line 67 of file MutablePointsToDS.h.

67 : BasePTData(reversePT, ty) { }

SVF::MutablePTData::BasePTData

PTData< Key, KeySet, Data, DataSet > BasePTData

Definition: MutablePointsToDS.h:57

◆ ~MutablePTData()

template<typename Key , typename KeySet , typename Data , typename DataSet >

virtual SVF::MutablePTData< Key, KeySet, Data, DataSet >::~MutablePTData ( )

inlinevirtual

Definition at line 69 of file MutablePointsToDS.h.

69 { }

Member Function Documentation

◆ addPts() [1/2]

template<typename Key , typename KeySet , typename Data , typename DataSet >

virtual bool SVF::MutablePTData< Key, KeySet, Data, DataSet >::addPts	(	const Key &	var,
		const Data &	element
	)

inlineoverridevirtual

Adds element to the points-to set associated with var.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 94 of file MutablePointsToDS.h.

     {
         addSingleRevPts(revPtsMap[element], dstKey);
         return addPts(ptsMap[dstKey], element);
     }

◆ addPts() [2/2]

template<typename Key , typename KeySet , typename Data , typename DataSet >

bool SVF::MutablePTData< Key, KeySet, Data, DataSet >::addPts	(	DataSet &	d,
		const Data &	e
	)

inlineprivate

Definition at line 185 of file MutablePointsToDS.h.

     {
         return d.test_and_set(e);
     }

◆ addRevPts()

template<typename Key , typename KeySet , typename Data , typename DataSet >

void SVF::MutablePTData< Key, KeySet, Data, DataSet >::addRevPts	(	const DataSet &	ptsData,
		const Key &	tgr
	)

inlineprivate

Definition at line 196 of file MutablePointsToDS.h.

     {
         if (this->rev)
         {
             for(iterator it = ptsData.begin(), eit = ptsData.end(); it!=eit; ++it)
                 addSingleRevPts(revPtsMap[*it], tgr);
         }
     }

◆ addSingleRevPts()

template<typename Key , typename KeySet , typename Data , typename DataSet >

void SVF::MutablePTData< Key, KeySet, Data, DataSet >::addSingleRevPts	(	KeySet &	revData,
		const Key &	tgr
	)

inlineprivate

Definition at line 189 of file MutablePointsToDS.h.

     {
         if (this->rev)
         {
             SVFUtil::insertKey(tgr, revData);
         }
     }

◆ classof() [1/2]

template<typename Key , typename KeySet , typename Data , typename DataSet >

static bool SVF::MutablePTData< Key, KeySet, Data, DataSet >::classof ( const MutablePTData< Key, KeySet, Data, DataSet > * )

inlinestatic

Methods to support type inquiry through isa, cast, and dyn_cast:

Definition at line 149 of file MutablePointsToDS.h.

     {
         return true;
     }

◆ classof() [2/2]

template<typename Key , typename KeySet , typename Data , typename DataSet >

static bool SVF::MutablePTData< Key, KeySet, Data, DataSet >::classof ( const PTData< Key, KeySet, Data, DataSet > * ptd )

inlinestatic

Definition at line 154 of file MutablePointsToDS.h.

     {
         return ptd->getPTDTY() == PTDataTy::MutBase;
     }

◆ clear()

template<typename Key , typename KeySet , typename Data , typename DataSet >

virtual void SVF::MutablePTData< Key, KeySet, Data, DataSet >::clear ( )

inlineoverridevirtual

Clears all points-to sets as if nothing is stored.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 77 of file MutablePointsToDS.h.

     {
         ptsMap.clear();
         revPtsMap.clear();
     }

◆ clearFullPts()

template<typename Key , typename KeySet , typename Data , typename DataSet >

virtual void SVF::MutablePTData< Key, KeySet, Data, DataSet >::clearFullPts ( const Key & var )

inlineoverridevirtual

Fully clears the points-to set of var.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 123 of file MutablePointsToDS.h.

     {
         DataSet &pts = ptsMap[var];
         clearRevPts(pts, var);
         pts.clear();
     }

◆ clearPts()

template<typename Key , typename KeySet , typename Data , typename DataSet >

virtual void SVF::MutablePTData< Key, KeySet, Data, DataSet >::clearPts	(	const Key &	var,
		const Data &	element
	)

inlineoverridevirtual

Clears element from the points-to set of var.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 117 of file MutablePointsToDS.h.

     {
         clearSingleRevPts(revPtsMap[element], var);
         ptsMap[var].reset(element);
     }

◆ clearRevPts()

template<typename Key , typename KeySet , typename Data , typename DataSet >

void SVF::MutablePTData< Key, KeySet, Data, DataSet >::clearRevPts	(	const DataSet &	pts,
		const Key &	k
	)

inlineprivate

Definition at line 211 of file MutablePointsToDS.h.

     {
         if (this->rev)
         {
             for (const Data &d : pts) clearSingleRevPts(revPtsMap[d], k);
         }
     }

◆ clearSingleRevPts()

template<typename Key , typename KeySet , typename Data , typename DataSet >

void SVF::MutablePTData< Key, KeySet, Data, DataSet >::clearSingleRevPts	(	KeySet &	revSet,
		const Key &	k
	)

inlineprivate

Definition at line 204 of file MutablePointsToDS.h.

     {
         if (this->rev)
         {
             SVFUtil::removeKey(k, revSet);
         }
     }

◆ dumpPTData()

template<typename Key , typename KeySet , typename Data , typename DataSet >

virtual void SVF::MutablePTData< Key, KeySet, Data, DataSet >::dumpPTData ( )

inlineoverridevirtual

Dump stored keys and points-to sets.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 112 of file MutablePointsToDS.h.

     {
         dumpPts(ptsMap);
     }

◆ dumpPts()

template<typename Key , typename KeySet , typename Data , typename DataSet >

virtual void SVF::MutablePTData< Key, KeySet, Data, DataSet >::dumpPts	(	const PtsMap &	ptsSet,
		OutStream &	O = `SVFUtil::outs()`
	)		const

inlineprotectedvirtual

Definition at line 161 of file MutablePointsToDS.h.

     {
         for (PtsMapConstIter nodeIt = ptsSet.begin(); nodeIt != ptsSet.end(); nodeIt++)
         {
             const Key& var = nodeIt->first;
             const DataSet & pts = nodeIt->second;
             if (pts.empty())
                 continue;
             O << var << " ==> { ";
             for(typename DataSet::iterator cit = pts.begin(), ecit=pts.end(); cit!=ecit; ++cit)
             {
                 O << *cit << " ";
             }
             O << "}\n";
         }
     }

◆ getAllPts()

template<typename Key , typename KeySet , typename Data , typename DataSet >

virtual Map<DataSet, unsigned> SVF::MutablePTData< Key, KeySet, Data, DataSet >::getAllPts ( bool liveOnly ) const

inlineoverridevirtual

Returns a mapping of points-to sets to the number of times they are stored. liveOnly indicates whether to include only points-to sets which correspond to a variable (matters when dealing with non-GC persistent PT).

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 135 of file MutablePointsToDS.h.

     {
         Map<DataSet, unsigned> allPts;
         for (typename PtsMap::value_type ppt : ptsMap)
         {
             const DataSet &pt = ppt.second;
             ++allPts[pt];
         }
  
         return allPts;
     }

◆ getPts()

template<typename Key , typename KeySet , typename Data , typename DataSet >

virtual const DataSet& SVF::MutablePTData< Key, KeySet, Data, DataSet >::getPts ( const Key & var )

inlineoverridevirtual

Get points-to set of var.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 83 of file MutablePointsToDS.h.

     {
         return ptsMap[var];
     }

◆ getPtsMap()

template<typename Key , typename KeySet , typename Data , typename DataSet >

virtual const PtsMap& SVF::MutablePTData< Key, KeySet, Data, DataSet >::getPtsMap ( ) const

inlinevirtual

Return Points-to map.

Definition at line 72 of file MutablePointsToDS.h.

     {
         return ptsMap;
     }

◆ getRevPts()

template<typename Key , typename KeySet , typename Data , typename DataSet >

virtual const KeySet& SVF::MutablePTData< Key, KeySet, Data, DataSet >::getRevPts ( const Data & datum )

inlineoverridevirtual

Get reverse points-to set of a datum.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 88 of file MutablePointsToDS.h.

     {
         assert(this->rev && "MutablePTData::getRevPts: constructed without reverse PT support!");
         return revPtsMap[datum];
     }

◆ remapAllPts()

template<typename Key , typename KeySet , typename Data , typename DataSet >

virtual void SVF::MutablePTData< Key, KeySet, Data, DataSet >::remapAllPts ( void )

inlineoverridevirtual

Remaps all points-to sets to use the current mapping.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 130 of file MutablePointsToDS.h.

     {
         for (typename PtsMap::value_type &ppt : ptsMap) ppt.second.checkAndRemap();
     }

◆ unionPts() [1/3]

template<typename Key , typename KeySet , typename Data , typename DataSet >

virtual bool SVF::MutablePTData< Key, KeySet, Data, DataSet >::unionPts	(	const Key &	dstVar,
		const DataSet &	srcDataSet
	)

inlineoverridevirtual

Performs pts(dstVar) = pts(dstVar) U srcDataSet.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 106 of file MutablePointsToDS.h.

     {
         addRevPts(srcDataSet,dstKey);
         return unionPts(ptsMap[dstKey], srcDataSet);
     }

◆ unionPts() [2/3]

template<typename Key , typename KeySet , typename Data , typename DataSet >

virtual bool SVF::MutablePTData< Key, KeySet, Data, DataSet >::unionPts	(	const Key &	dstVar,
		const Key &	srcVar
	)

inlineoverridevirtual

Performs pts(dstVar) = pts(dstVar) U pts(srcVar).

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 100 of file MutablePointsToDS.h.

     {
         addRevPts(ptsMap[srcKey], dstKey);
         return unionPts(ptsMap[dstKey], getPts(srcKey));
     }

◆ unionPts() [3/3]

template<typename Key , typename KeySet , typename Data , typename DataSet >

bool SVF::MutablePTData< Key, KeySet, Data, DataSet >::unionPts	(	DataSet &	dstDataSet,
		const DataSet &	srcDataSet
	)

inlineprivate

Internal union/add points-to helper methods.

Definition at line 181 of file MutablePointsToDS.h.

     {
         return dstDataSet |= srcDataSet;
     }

Friends And Related Function Documentation

◆ MutableDFPTData< Key, KeySet, Data, DataSet >

template<typename Key , typename KeySet , typename Data , typename DataSet >

friend class MutableDFPTData< Key, KeySet, Data, DataSet >

friend

Definition at line 1 of file MutablePointsToDS.h.

Member Data Documentation

◆ ptsMap

template<typename Key , typename KeySet , typename Data , typename DataSet >

PtsMap SVF::MutablePTData< Key, KeySet, Data, DataSet >::ptsMap

protected

Definition at line 221 of file MutablePointsToDS.h.

◆ revPtsMap

template<typename Key , typename KeySet , typename Data , typename DataSet >

RevPtsMap SVF::MutablePTData< Key, KeySet, Data, DataSet >::revPtsMap

protected

Definition at line 222 of file MutablePointsToDS.h.

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

/home/runner/work/SVF/SVF/svf/include/MemoryModel/MutablePointsToDS.h

Public Types

Public Member Functions

Static Public Member Functions

Protected Member Functions

Protected Attributes

Private Member Functions

Friends

Detailed Description

template<typename Key, typename KeySet, typename Data, typename DataSet> class SVF::MutablePTData< Key, KeySet, Data, DataSet >

Member Typedef Documentation

◆ BasePTData

◆ iterator

◆ PTDataTy

◆ PtsMap

◆ PtsMapConstIter

◆ PtsMapIter

◆ RevPtsMap

Constructor & Destructor Documentation

◆ MutablePTData()

◆ ~MutablePTData()

Member Function Documentation

◆ addPts() [1/2]

◆ addPts() [2/2]

◆ addRevPts()

◆ addSingleRevPts()

◆ classof() [1/2]

◆ classof() [2/2]

◆ clear()

◆ clearFullPts()

◆ clearPts()

◆ clearRevPts()

◆ clearSingleRevPts()

◆ dumpPTData()

◆ dumpPts()

◆ getAllPts()

◆ getPts()

◆ getPtsMap()

◆ getRevPts()

◆ remapAllPts()

◆ unionPts() [1/3]

◆ unionPts() [2/3]

◆ unionPts() [3/3]

Friends And Related Function Documentation

◆ MutableDFPTData< Key, KeySet, Data, DataSet >

Member Data Documentation

◆ ptsMap

◆ revPtsMap

template<typename Key, typename KeySet, typename Data, typename DataSet>
class SVF::MutablePTData< Key, KeySet, Data, DataSet >