#include <AbstractPointsToDS.h>

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

Public Types
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
	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...

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

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

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

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

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

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

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

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

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

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

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

Protected Attributes
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::PTData< Key, KeySet, Data, DataSet >

Basic points-to data structure Given a key (variable/condition variable), return its points-to data (pts/condition pts) It is designed flexible for different context, heap and path sensitive analysis Context Insensitive Key --> Variable, DataSet --> PointsTo Context sensitive: Key --> CondVar, DataSet --> PointsTo Heap sensitive: Key --> Variable DataSet --> CondPointsToSet Context and heap sensitive: Key --> CondVar, DataSet --> CondPointsToSet

This class is abstract to allow for multiple methods of actually storing points-to sets. Key: "owning" variable of a points-to set. KeySet: collection of keys. Data: elements in points-to sets. DataSet: the points-to set; a collection of Data.

Definition at line 74 of file AbstractPointsToDS.h.

Member Enumeration Documentation

◆ PTDataTy

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

enum SVF::PTData::PTDataTy

Types of a points-to data structures.

Enumerator
Base
MutBase
Diff
MutDiff
DataFlow
MutDataFlow
MutIncDataFlow
Versioned
MutVersioned
PersBase
PersDiff
PersDataFlow
PersIncDataFlow
PersVersioned

Definition at line 78 of file AbstractPointsToDS.h.

     {
         Base,
         MutBase,
         Diff,
         MutDiff,
         DataFlow,
         MutDataFlow,
         MutIncDataFlow,
         Versioned,
         MutVersioned,
         PersBase,
         PersDiff,
         PersDataFlow,
         PersIncDataFlow,
         PersVersioned,
     };

Constructor & Destructor Documentation

◆ PTData()

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

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

inline

Definition at line 96 of file AbstractPointsToDS.h.

96 : rev(reversePT), ptdTy(ty) { }

SVF::PTData::rev

bool rev

Whether we maintain reverse points-to sets or not.

Definition: AbstractPointsToDS.h:141

SVF::PTData::ptdTy

PTDataTy ptdTy

Definition: AbstractPointsToDS.h:142

◆ ~PTData()

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

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

inlinevirtual

Definition at line 98 of file AbstractPointsToDS.h.

98 { }

Member Function Documentation

◆ addPts()

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

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

pure virtual

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

Implemented in SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, and SVF::MutablePTData< Key, KeySet, Data, DataSet >.

◆ clear()

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

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

pure virtual

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

◆ clearFullPts()

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

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

pure virtual

Fully clears the points-to set of var.

◆ clearPts()

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

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

pure virtual

Clears element from the points-to set of var.

◆ dumpPTData()

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

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

pure virtual

Dump stored keys and points-to sets.

◆ getAllPts()

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

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

pure virtual

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

◆ getPTDTY()

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

PTDataTy SVF::PTData< Key, KeySet, Data, DataSet >::getPTDTY ( ) const

inline

Get the type of points-to data structure that this is.

Definition at line 101 of file AbstractPointsToDS.h.

     {
         return ptdTy;
     }

◆ getPts()

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

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

pure virtual

Get points-to set of var.

◆ getRevPts()

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

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

pure virtual

Get reverse points-to set of a datum.

◆ remapAllPts()

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

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

pure virtual

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

◆ unionPts() [1/2]

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

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

pure virtual

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

◆ unionPts() [2/2]

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

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

pure virtual

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

Member Data Documentation

◆ ptdTy

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

PTDataTy SVF::PTData< Key, KeySet, Data, DataSet >::ptdTy

protected

Definition at line 142 of file AbstractPointsToDS.h.

◆ rev

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

bool SVF::PTData< Key, KeySet, Data, DataSet >::rev

protected

Whether we maintain reverse points-to sets or not.

Definition at line 141 of file AbstractPointsToDS.h.

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

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

Public Types

Public Member Functions

Protected Attributes

Detailed Description

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

Member Enumeration Documentation

◆ PTDataTy

Constructor & Destructor Documentation

◆ PTData()

◆ ~PTData()

Member Function Documentation

◆ addPts()

◆ clear()

◆ clearFullPts()

◆ clearPts()

◆ dumpPTData()

◆ getAllPts()

◆ getPTDTY()

◆ getPts()

◆ getRevPts()

◆ remapAllPts()

◆ unionPts() [1/2]

◆ unionPts() [2/2]

Member Data Documentation

◆ ptdTy

◆ rev

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