DFPTData backed by a PersistentPointsToCache. More...

#include <PersistentPointsToDS.h>

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

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

typedef BasePTData::PTDataTy	PTDataTy

typedef DFPTData< Key, KeySet, Data, DataSet >	BaseDFPTData

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

typedef BaseDFPTData::LocID	LocID

typedef BasePersPTData::KeyToIDMap	KeyToIDMap

typedef Map< LocID, KeyToIDMap >	DFKeyToIDMap

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

typedef BasePTData::PTDataTy	PTDataTy

typedef NodeID	LocID

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
	PersistentDFPTData (PersistentPointsToCache< DataSet > &cache, bool reversePT=true, PTDataTy ty=PTDataTy::PersDataFlow)

	~PersistentDFPTData () 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 &) override
	Get reverse points-to set of a datum. 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...

bool	addPts (const Key &dstKey, const Data &element) override
	Adds element to the points-to set associated with var. 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...

bool	hasDFInSet (LocID loc) const override

bool	hasDFOutSet (LocID loc) const override

bool	hasDFInSet (LocID loc, const Key &var) const override

bool	hasDFOutSet (LocID loc, const Key &var) const override

const DataSet &	getDFInPtsSet (LocID loc, const Key &var) override

const DataSet &	getDFOutPtsSet (LocID loc, const Key &var) override

bool	updateDFInFromIn (LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override

bool	updateAllDFInFromIn (LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override
	Union (IN[dstLoc::dstVar], IN[srcLoc:srcVar]. There is no flag check, unlike the above. More...

bool	updateDFInFromOut (LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override
	Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]). More...

bool	updateAllDFInFromOut (LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override
	Union (IN[dstLoc::dstVar], OUT[srcLoc:srcVar]. There is no flag check, unlike the above. More...

bool	updateDFOutFromIn (LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override
	Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]). More...

bool	updateAllDFOutFromIn (LocID loc, const Key &singleton, bool strongUpdates) override
	For each variable var in IN at loc, do updateDFOutFromIn(loc, var, loc, var). More...

void	clearAllDFOutUpdatedVar (LocID) override

bool	updateTLVPts (LocID srcLoc, const Key &srcVar, const Key &dstVar) override
	Update points-to set of top-level pointers with IN[srcLoc:srcVar]. More...

bool	updateATVPts (const Key &srcVar, LocID dstLoc, const Key &dstVar) override
	Update address-taken variables OUT[dstLoc:dstVar] with points-to of top-level pointers. More...

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

Public Member Functions inherited from SVF::DFPTData< Key, KeySet, Data, DataSet >
	DFPTData (bool reversePT=true, PTDataTy ty=BasePTData::DataFlow)
	Constructor. More...

virtual	~DFPTData ()

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

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

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

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

Protected Member Functions
bool	unionPtsThroughIds (PointsToID &dst, PointsToID &src)

PointsToID &	getDFInPtIdRef (LocID loc, const Key &var)

PointsToID &	getDFOutPtIdRef (LocID loc, const Key &var)

Protected Attributes
PersistentPointsToCache< DataSet > &	ptCache

PersistentPTData< Key, KeySet, Data, DataSet >	persPTData
	PTData for top-level pointers. We will also use its cache for address-taken pointers. More...

DFKeyToIDMap	dfInPtsMap
	Address-taken points-to sets in IN-sets. More...

DFKeyToIDMap	dfOutPtsMap
	Address-taken points-to sets in OUT-sets. More...

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::PersistentDFPTData< Key, KeySet, Data, DataSet >

DFPTData backed by a PersistentPointsToCache.

Definition at line 334 of file PersistentPointsToDS.h.

Member Typedef Documentation

◆ BaseDFPTData

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

typedef DFPTData<Key, KeySet, Data, DataSet> SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::BaseDFPTData

Definition at line 339 of file PersistentPointsToDS.h.

◆ BasePersPTData

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

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

Definition at line 340 of file PersistentPointsToDS.h.

◆ BasePTData

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

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

Definition at line 337 of file PersistentPointsToDS.h.

◆ DFKeyToIDMap

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

typedef Map<LocID, KeyToIDMap> SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::DFKeyToIDMap

Definition at line 344 of file PersistentPointsToDS.h.

◆ KeyToIDMap

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

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

Definition at line 343 of file PersistentPointsToDS.h.

◆ LocID

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

typedef BaseDFPTData::LocID SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::LocID

Definition at line 342 of file PersistentPointsToDS.h.

◆ PTDataTy

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

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

Definition at line 338 of file PersistentPointsToDS.h.

Constructor & Destructor Documentation

◆ PersistentDFPTData()

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

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

inlineexplicit

Definition at line 346 of file PersistentPointsToDS.h.

347 : BaseDFPTData(reversePT, ty), ptCache(cache), persPTData(cache, reversePT) { }

SVF::PersistentDFPTData::persPTData

PersistentPTData< Key, KeySet, Data, DataSet > persPTData

PTData for top-level pointers. We will also use its cache for address-taken pointers.

Definition: PersistentPointsToDS.h:570

SVF::PersistentDFPTData::ptCache

PersistentPointsToCache< DataSet > & ptCache

Definition: PersistentPointsToDS.h:567

SVF::PersistentDFPTData::BaseDFPTData

DFPTData< Key, KeySet, Data, DataSet > BaseDFPTData

Definition: PersistentPointsToDS.h:339

◆ ~PersistentDFPTData()

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

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

overridedefault

Member Function Documentation

◆ addPts()

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

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

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

◆ classof() [1/2]

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

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

inlinestatic

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

Definition at line 536 of file PersistentPointsToDS.h.

     {
         return true;
     }

◆ classof() [2/2]

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

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

inlinestatic

Definition at line 541 of file PersistentPointsToDS.h.

     {
         return ptd->getPTDTY() == PTDataTy::PersDataFlow
                || ptd->getPTDTY() == PTDataTy::PersIncDataFlow;
     }

◆ clear()

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

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

inlineoverridevirtual

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

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

Reimplemented in SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 351 of file PersistentPointsToDS.h.

     {
         dfInPtsMap.clear();
         dfOutPtsMap.clear();
         persPTData.clear();
     }

◆ clearAllDFOutUpdatedVar()

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

void SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::clearAllDFOutUpdatedVar ( LocID )

inlineoverridevirtual

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

Reimplemented in SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 486 of file PersistentPointsToDS.h.

487 {

488 }

◆ clearFullPts()

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

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

     {
         persPTData.clearFullPts(var);
     }

◆ clearPts()

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

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

     {
         persPTData.clearPts(var, element);
     }

◆ dumpPTData()

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

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

inlineoverridevirtual

Dump stored keys and points-to sets.

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

Definition at line 399 of file PersistentPointsToDS.h.

     {
         persPTData.dumpPTData();
     }

◆ getAllPts()

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

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

     {
         Map<DataSet, unsigned> allPts = persPTData.getAllPts(liveOnly);
         for (const typename DFKeyToIDMap::value_type &lki : dfInPtsMap)
         {
             for (const typename KeyToIDMap::value_type &ki : lki.second)
             {
                 ++allPts[ptCache.getActualPts(ki.second)];
             }
         }
  
         for (const typename DFKeyToIDMap::value_type &lki : dfOutPtsMap)
         {
             for (const typename KeyToIDMap::value_type &ki : lki.second)
             {
                 ++allPts[ptCache.getActualPts(ki.second)];
             }
         }
  
         if (!liveOnly)
         {
             // Subtract 1 from each counted points-to set because the live points-to
             // sets have already been inserted and accounted for how often they occur.
             // They will each occur one more time in the cache.
             // In essence, we want the ptCache.getAllPts() to just add the unused, non-GC'd
             // points-to sets to allPts.
             for (typename Map<DataSet, unsigned>::value_type pto : allPts) pto.second -= 1;
             SVFUtil::mergePtsOccMaps<DataSet>(allPts, ptCache.getAllPts());
         }
  
         return allPts;
     }

◆ getDFInPtIdRef()

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

PointsToID& SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::getDFInPtIdRef	(	LocID	loc,
		const Key &	var
	)

inlineprotected

Definition at line 556 of file PersistentPointsToDS.h.

     {
         return dfInPtsMap[loc][var];
     }

◆ getDFInPtsSet()

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

const DataSet& SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::getDFInPtsSet	(	LocID	loc,
		const Key &	var
	)

inlineoverridevirtual

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

Definition at line 430 of file PersistentPointsToDS.h.

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

◆ getDFOutPtIdRef()

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

PointsToID& SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::getDFOutPtIdRef	(	LocID	loc,
		const Key &	var
	)

inlineprotected

Definition at line 561 of file PersistentPointsToDS.h.

     {
         return dfOutPtsMap[loc][var];
     }

◆ getDFOutPtsSet()

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

const DataSet& SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::getDFOutPtsSet	(	LocID	loc,
		const Key &	var
	)

inlineoverridevirtual

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

Definition at line 436 of file PersistentPointsToDS.h.

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

◆ getPts()

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

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

     {
         return persPTData.getPts(var);
     }

◆ getRevPts()

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

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

     {
         assert(false && "PersistentDFPTData::getRevPts: not supported yet!");
         abort();
     }

◆ hasDFInSet() [1/2]

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

bool SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::hasDFInSet ( LocID loc ) const

inlineoverridevirtual

Determine whether the DF IN/OUT sets have points-to sets.

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

Definition at line 404 of file PersistentPointsToDS.h.

     {
         return dfInPtsMap.find(loc) != dfInPtsMap.end();
     }

◆ hasDFInSet() [2/2]

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

bool SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::hasDFInSet	(	LocID	loc,
		const Key &	var
	)		const

inlineoverridevirtual

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

Definition at line 414 of file PersistentPointsToDS.h.

     {
         typename DFKeyToIDMap::const_iterator foundInKeyToId = dfInPtsMap.find(loc);
         if (foundInKeyToId == dfInPtsMap.end()) return false;
         const KeyToIDMap &inKeyToId = foundInKeyToId->second;
         return (inKeyToId.find(var) != inKeyToId.end());
     }

◆ hasDFOutSet() [1/2]

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

bool SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::hasDFOutSet ( LocID loc ) const

inlineoverridevirtual

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

Definition at line 409 of file PersistentPointsToDS.h.

     {
         return dfOutPtsMap.find(loc) != dfOutPtsMap.end();
     }

◆ hasDFOutSet() [2/2]

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

bool SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::hasDFOutSet	(	LocID	loc,
		const Key &	var
	)		const

inlineoverridevirtual

Access points-to set from data-flow IN/OUT set.

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

Definition at line 422 of file PersistentPointsToDS.h.

     {
         typename DFKeyToIDMap::const_iterator foundOutKeyToId = dfOutPtsMap.find(loc);
         if (foundOutKeyToId == dfOutPtsMap.end()) return false;
         const KeyToIDMap &outKeyToId = foundOutKeyToId->second;
         return (outKeyToId.find(var) != outKeyToId.end());
     }

◆ remapAllPts()

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

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

     {
         ptCache.remapAllPts();
     }

◆ unionPts() [1/2]

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

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

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

◆ unionPts() [2/2]

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

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

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

◆ unionPtsThroughIds()

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

bool SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::unionPtsThroughIds	(	PointsToID &	dst,
		PointsToID &	src
	)

inlineprotected

Definition at line 549 of file PersistentPointsToDS.h.

     {
         PointsToID oldDst = dst;
         dst = ptCache.unionPts(dst, src);
         return oldDst != dst;
     }

◆ updateAllDFInFromIn()

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

bool SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::updateAllDFInFromIn	(	LocID	srcLoc,
		const Key &	srcVar,
		LocID	dstLoc,
		const Key &	dstVar
	)

inlineoverridevirtual

Union (IN[dstLoc::dstVar], IN[srcLoc:srcVar]. There is no flag check, unlike the above.

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

Reimplemented in SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 447 of file PersistentPointsToDS.h.

     {
         return updateDFInFromIn(srcLoc, srcVar, dstLoc, dstVar);
     }

◆ updateAllDFInFromOut()

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

bool SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::updateAllDFInFromOut	(	LocID	srcLoc,
		const Key &	srcVar,
		LocID	dstLoc,
		const Key &	dstVar
	)

inlineoverridevirtual

Union (IN[dstLoc::dstVar], OUT[srcLoc:srcVar]. There is no flag check, unlike the above.

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

Reimplemented in SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 457 of file PersistentPointsToDS.h.

     {
         return updateDFInFromOut(srcLoc, srcVar, dstLoc, dstVar);
     }

◆ updateAllDFOutFromIn()

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

bool SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::updateAllDFOutFromIn	(	LocID	loc,
		const Key &	singleton,
		bool	strongUpdates
	)

inlineoverridevirtual

For each variable var in IN at loc, do updateDFOutFromIn(loc, var, loc, var).

Enable strong updates if required.

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

Reimplemented in SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 467 of file PersistentPointsToDS.h.

     {
         bool changed = false;
         if (this->hasDFInSet(loc))
         {
             const KeyToIDMap &inKeyToId = dfInPtsMap[loc];
             for (const typename KeyToIDMap::value_type &ki : inKeyToId)
             {
                 const Key var = ki.first;
                 if (strongUpdates && var == singleton) continue;
  
                 if (updateDFOutFromIn(loc, var, loc, var)) changed = true;
             }
         }
  
         return changed;
     }

◆ updateATVPts()

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

bool SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::updateATVPts	(	const Key &	srcVar,
		LocID	dstLoc,
		const Key &	dstVar
	)

inlineoverridevirtual

Update address-taken variables OUT[dstLoc:dstVar] with points-to of top-level pointers.

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

Reimplemented in SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 496 of file PersistentPointsToDS.h.

     {
         return unionPtsThroughIds(getDFOutPtIdRef(dstLoc, dstVar), persPTData.ptsMap[srcVar]);
     }

◆ updateDFInFromIn()

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

bool SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::updateDFInFromIn	(	LocID	srcLoc,
		const Key &	srcVar,
		LocID	dstLoc,
		const Key &	dstVar
	)

inlineoverridevirtual

Update points-to for IN/OUT set IN[loc:var] represents the points-to of variable var in the IN set of location loc. union(ptsDst, ptsSrc) represents ptsDst = ptsDst U ptsSrc.

Union (IN[dstLoc:dstVar], IN[srcLoc:srcVar]).

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

Reimplemented in SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 442 of file PersistentPointsToDS.h.

     {
         return unionPtsThroughIds(getDFInPtIdRef(dstLoc, dstVar), getDFInPtIdRef(srcLoc, srcVar));
     }

◆ updateDFInFromOut()

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

bool SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::updateDFInFromOut	(	LocID	srcLoc,
		const Key &	srcVar,
		LocID	dstLoc,
		const Key &	dstVar
	)

inlineoverridevirtual

Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]).

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

Reimplemented in SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 452 of file PersistentPointsToDS.h.

     {
         return unionPtsThroughIds(getDFInPtIdRef(dstLoc, dstVar), getDFOutPtIdRef(srcLoc, srcVar));
     }

◆ updateDFOutFromIn()

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

bool SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::updateDFOutFromIn	(	LocID	srcLoc,
		const Key &	srcVar,
		LocID	dstLoc,
		const Key &	dstVar
	)

inlineoverridevirtual

Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]).

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

Reimplemented in SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 462 of file PersistentPointsToDS.h.

     {
         return unionPtsThroughIds(getDFOutPtIdRef(dstLoc, dstVar), getDFInPtIdRef(srcLoc, srcVar));
     }

◆ updateTLVPts()

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

bool SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::updateTLVPts	(	LocID	srcLoc,
		const Key &	srcVar,
		const Key &	dstVar
	)

inlineoverridevirtual

Update points-to set of top-level pointers with IN[srcLoc:srcVar].

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

Reimplemented in SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 491 of file PersistentPointsToDS.h.

     {
         return unionPtsThroughIds(persPTData.ptsMap[dstVar], getDFInPtIdRef(srcLoc, srcVar));
     }

Member Data Documentation

◆ dfInPtsMap

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

DFKeyToIDMap SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::dfInPtsMap

protected

Address-taken points-to sets in IN-sets.

Definition at line 573 of file PersistentPointsToDS.h.

◆ dfOutPtsMap

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

DFKeyToIDMap SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >::dfOutPtsMap

protected

Address-taken points-to sets in OUT-sets.

Definition at line 575 of file PersistentPointsToDS.h.

◆ persPTData

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

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

protected

PTData for top-level pointers. We will also use its cache for address-taken pointers.

Definition at line 570 of file PersistentPointsToDS.h.

◆ ptCache

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

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

protected

Definition at line 567 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

Protected Member Functions

Protected Attributes

Detailed Description

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

Member Typedef Documentation

◆ BaseDFPTData

◆ BasePersPTData

◆ BasePTData

◆ DFKeyToIDMap

◆ KeyToIDMap

◆ LocID

◆ PTDataTy

Constructor & Destructor Documentation

◆ PersistentDFPTData()

◆ ~PersistentDFPTData()

Member Function Documentation

◆ addPts()

◆ classof() [1/2]

◆ classof() [2/2]

◆ clear()

◆ clearAllDFOutUpdatedVar()

◆ clearFullPts()

◆ clearPts()

◆ dumpPTData()

◆ getAllPts()

◆ getDFInPtIdRef()

◆ getDFInPtsSet()

◆ getDFOutPtIdRef()

◆ getDFOutPtsSet()

◆ getPts()

◆ getRevPts()

◆ hasDFInSet() [1/2]

◆ hasDFInSet() [2/2]

◆ hasDFOutSet() [1/2]

◆ hasDFOutSet() [2/2]

◆ remapAllPts()

◆ unionPts() [1/2]

◆ unionPts() [2/2]

◆ unionPtsThroughIds()

◆ updateAllDFInFromIn()

◆ updateAllDFInFromOut()

◆ updateAllDFOutFromIn()

◆ updateATVPts()

◆ updateDFInFromIn()

◆ updateDFInFromOut()

◆ updateDFOutFromIn()

◆ updateTLVPts()

Member Data Documentation

◆ dfInPtsMap

◆ dfOutPtsMap

◆ persPTData

◆ ptCache

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