DiffPTData implemented with a persistent points-to backing. More...

#include <PersistentPointsToDS.h>

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

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

typedef DiffPTData< Key, KeySet, Data, DataSet >	BaseDiffPTData

typedef PersistentPTData< Key, KeySet, Data, DataSet >	BasePersPTData

typedef BasePTData::PTDataTy	PTDataTy

typedef BasePersPTData::KeyToIDMap	KeyToIDMap

typedef BasePersPTData::RevPtsMap	RevPtsMap

Public Types inherited from SVF::DiffPTData< Key, KeySet, Data, DataSet >
typedef PTData< Key, KeySet, Data, DataSet >	BasePTData

typedef BasePTData::PTDataTy	PTDataTy

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
	PersistentDiffPTData (PersistentPointsToCache< DataSet > &cache, bool reversePT=true, PTDataTy ty=PTDataTy::PersDiff)
	Constructor. More...

	~PersistentDiffPTData () override=default

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

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

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

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

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

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

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

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

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

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

const DataSet &	getDiffPts (Key &var) override
	Get diff points to. More...

bool	computeDiffPts (Key &var, const DataSet &all) override

void	updatePropaPtsMap (Key &src, Key &dst) override

void	clearPropaPts (Key &var) override
	Clear propagated points-to set of var. More...

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

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

virtual	~DiffPTData ()

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 PersistentDiffPTData< Key, KeySet, Data, DataSet > *)

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

Static Public Member Functions inherited from SVF::DiffPTData< Key, KeySet, Data, DataSet >
static bool	classof (const DiffPTData< Key, KeySet, Data, DataSet > *)

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

Private Attributes
PersistentPointsToCache< DataSet > &	ptCache

PersistentPTData< Key, KeySet, Data, DataSet >	persPTData
	Backing to implement basic PTData methods. Allows us to avoid multiple inheritance. More...

KeyToIDMap	diffPtsMap
	Diff points-to to be propagated. More...

KeyToIDMap	propaPtsMap
	Points-to already propagated. More...

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

PTDataTy	ptdTy

Detailed Description

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

DiffPTData implemented with a persistent points-to backing.

Definition at line 200 of file PersistentPointsToDS.h.

Member Typedef Documentation

◆ BaseDiffPTData

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

typedef DiffPTData<Key, KeySet, Data, DataSet> SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >::BaseDiffPTData

Definition at line 204 of file PersistentPointsToDS.h.

◆ BasePersPTData

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

typedef PersistentPTData<Key, KeySet, Data, DataSet> SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >::BasePersPTData

Definition at line 205 of file PersistentPointsToDS.h.

◆ BasePTData

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

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

Definition at line 203 of file PersistentPointsToDS.h.

◆ KeyToIDMap

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

typedef BasePersPTData::KeyToIDMap SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >::KeyToIDMap

Definition at line 208 of file PersistentPointsToDS.h.

◆ PTDataTy

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

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

Definition at line 206 of file PersistentPointsToDS.h.

◆ RevPtsMap

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

typedef BasePersPTData::RevPtsMap SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >::RevPtsMap

Definition at line 209 of file PersistentPointsToDS.h.

Constructor & Destructor Documentation

◆ PersistentDiffPTData()

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

SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >::PersistentDiffPTData	(	PersistentPointsToCache< DataSet > &	cache,
		bool	reversePT = `true`,
		PTDataTy	ty = `PTDataTy::PersDiff`
	)

inlineexplicit

Constructor.

Definition at line 212 of file PersistentPointsToDS.h.

213 : BaseDiffPTData(reversePT, ty), ptCache(cache), persPTData(cache, reversePT) { }

SVF::PersistentDiffPTData::persPTData

PersistentPTData< Key, KeySet, Data, DataSet > persPTData

Backing to implement basic PTData methods. Allows us to avoid multiple inheritance.

Definition: PersistentPointsToDS.h:325

SVF::PersistentDiffPTData::BaseDiffPTData

DiffPTData< Key, KeySet, Data, DataSet > BaseDiffPTData

Definition: PersistentPointsToDS.h:204

SVF::PersistentDiffPTData::ptCache

PersistentPointsToCache< DataSet > & ptCache

Definition: PersistentPointsToDS.h:323

◆ ~PersistentDiffPTData()

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

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

overridedefault

Member Function Documentation

◆ addPts()

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

bool SVF::PersistentDiffPTData< 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 235 of file PersistentPointsToDS.h.

     {
         return persPTData.addPts(dstKey, element);
     }

◆ classof() [1/2]

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

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

inlinestatic

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

Definition at line 311 of file PersistentPointsToDS.h.

     {
         return true;
     }

◆ classof() [2/2]

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

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

inlinestatic

Definition at line 316 of file PersistentPointsToDS.h.

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

◆ clear()

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

void SVF::PersistentDiffPTData< 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 217 of file PersistentPointsToDS.h.

     {
         persPTData.clear();
         diffPtsMap.clear();
         propaPtsMap.clear();
     }

◆ clearFullPts()

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

void SVF::PersistentDiffPTData< 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 255 of file PersistentPointsToDS.h.

     {
         return persPTData.clearFullPts(var);
     }

◆ clearPropaPts()

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

void SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >::clearPropaPts ( Key & var )

inlineoverridevirtual

Clear propagated points-to set of var.

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

Definition at line 299 of file PersistentPointsToDS.h.

     {
         propaPtsMap[var] = ptCache.emptyPointsToId();
     }

◆ clearPts()

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

void SVF::PersistentDiffPTData< 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 250 of file PersistentPointsToDS.h.

     {
         return persPTData.clearPts(var, element);
     }

◆ computeDiffPts()

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

bool SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >::computeDiffPts	(	Key &	var,
		const DataSet &	all
	)

inlineoverridevirtual

Compute diff points to. Return TRUE if diff is not empty.

calculate diff: diff = all - propa.
update propagated pts: propa = all.

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

Definition at line 276 of file PersistentPointsToDS.h.

     {
         PointsToID propaId = propaPtsMap[var];
         PointsToID allId = ptCache.emplacePts(all);
         // Diff is made up of the entire points-to set minus what has been propagated.
         PointsToID diffId = ptCache.complementPts(allId, propaId);
         diffPtsMap[var] = diffId;
  
         // We've now propagated the entire thing.
         propaPtsMap[var] = allId;
  
         // Whether diff is empty or not; just need to check against the ID since it
         // is the only empty set.
         return diffId != ptCache.emptyPointsToId();
     }

◆ dumpPTData()

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

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

inlineoverridevirtual

Dump stored keys and points-to sets.

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

Definition at line 265 of file PersistentPointsToDS.h.

     {
         // TODO.
     }

◆ getAllPts()

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

Map<DataSet, unsigned> SVF::PersistentDiffPTData< 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 304 of file PersistentPointsToDS.h.

     {
         return persPTData.getAllPts(liveOnly);
     }

◆ getDiffPts()

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

const DataSet& SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >::getDiffPts ( Key & var )

inlineoverridevirtual

Get diff points to.

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

Definition at line 270 of file PersistentPointsToDS.h.

     {
         PointsToID id = diffPtsMap[var];
         return ptCache.getActualPts(id);
     }

◆ getPts()

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

const DataSet& SVF::PersistentDiffPTData< 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 224 of file PersistentPointsToDS.h.

     {
         return persPTData.getPts(var);
     }

◆ getRevPts()

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

const KeySet& SVF::PersistentDiffPTData< 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 229 of file PersistentPointsToDS.h.

     {
         assert(this->rev && "PersistentDiffPTData::getRevPts: constructed without reverse PT support!");
         return persPTData.getRevPts(data);
     }

◆ remapAllPts()

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

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

inlineoverridevirtual

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

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

Definition at line 260 of file PersistentPointsToDS.h.

     {
         ptCache.remapAllPts();
     }

◆ unionPts() [1/2]

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

bool SVF::PersistentDiffPTData< 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 245 of file PersistentPointsToDS.h.

     {
         return persPTData.unionPts(dstKey, srcDataSet);
     }

◆ unionPts() [2/2]

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

bool SVF::PersistentDiffPTData< 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 240 of file PersistentPointsToDS.h.

     {
         return persPTData.unionPts(dstKey, srcKey);
     }

◆ updatePropaPtsMap()

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

void SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >::updatePropaPtsMap	(	Key &	src,
		Key &	dst
	)

inlineoverridevirtual

Update dst's propagated points-to set with src's. The final result is the intersection of these two sets.

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

Definition at line 292 of file PersistentPointsToDS.h.

     {
         PointsToID dstId = propaPtsMap[dst];
         PointsToID srcId = propaPtsMap[src];
         propaPtsMap[dst] = ptCache.intersectPts(dstId, srcId);
     }

Member Data Documentation

◆ diffPtsMap

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

KeyToIDMap SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >::diffPtsMap

private

Diff points-to to be propagated.

Definition at line 327 of file PersistentPointsToDS.h.

◆ persPTData

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

PersistentPTData<Key, KeySet, Data, DataSet> SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >::persPTData

private

Backing to implement basic PTData methods. Allows us to avoid multiple inheritance.

Definition at line 325 of file PersistentPointsToDS.h.

◆ propaPtsMap

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

KeyToIDMap SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >::propaPtsMap

private

Points-to already propagated.

Definition at line 329 of file PersistentPointsToDS.h.

◆ ptCache

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

PersistentPointsToCache<DataSet>& SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >::ptCache

private

Definition at line 323 of file PersistentPointsToDS.h.

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

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

Public Types

Public Member Functions

Static Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

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

Member Typedef Documentation

◆ BaseDiffPTData

◆ BasePersPTData

◆ BasePTData

◆ KeyToIDMap

◆ PTDataTy

◆ RevPtsMap

Constructor & Destructor Documentation

◆ PersistentDiffPTData()

◆ ~PersistentDiffPTData()

Member Function Documentation

◆ addPts()

◆ classof() [1/2]

◆ classof() [2/2]

◆ clear()

◆ clearFullPts()

◆ clearPropaPts()

◆ clearPts()

◆ computeDiffPts()

◆ dumpPTData()

◆ getAllPts()

◆ getDiffPts()

◆ getPts()

◆ getRevPts()

◆ remapAllPts()

◆ unionPts() [1/2]

◆ unionPts() [2/2]

◆ updatePropaPtsMap()

Member Data Documentation

◆ diffPtsMap

◆ persPTData

◆ propaPtsMap

◆ ptCache

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