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

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

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

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

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

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

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

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

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

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

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

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

Protected Attributes
bool	rev
	Whether we maintain reverse points-to sets or not.

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

SVF::IRBuilder

llvm::IRBuilder IRBuilder

Definition BasicTypes.h:74

◆ ~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::MutablePTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, and SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >.

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