#include <MutablePointsToDS.h>

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

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

typedef MutablePTData< Key, KeySet, Data, DataSet >	BaseMutPTData

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

typedef BasePTData::PTDataTy	PTDataTy

typedef BaseDFPTData::LocID	LocID

typedef BaseMutPTData::PtsMap	PtsMap

typedef BaseMutPTData::PtsMapConstIter	PtsMapConstIter

typedef Map< LocID, PtsMap >	DFPtsMap
	Data-flow point-to map. More...

typedef DFPtsMap::iterator	DFPtsMapIter

typedef DFPtsMap::const_iterator	DFPtsMapconstIter

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
	MutableDFPTData (bool reversePT=true, PTDataTy ty=BaseDFPTData::MutDataFlow)
	Constructor. More...

virtual	~MutableDFPTData ()

virtual const PtsMap &	getPtsMap () const

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	hasDFInSet (LocID loc) const override

virtual bool	hasDFOutSet (LocID loc) const override

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

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

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

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

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

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

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

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

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

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

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

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

virtual void	clearAllDFOutUpdatedVar (LocID) override

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


const PtsMap &	getDFInPtsMap (LocID loc)

const PtsMap &	getDFOutPtsMap (LocID loc)

const DFPtsMap &	getDFIn ()

const DFPtsMap &	getDFOut ()


virtual bool	addPts (const Key &dstKey, const Key &srcKey) override

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	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 void	dumpPTData () override

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

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

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

Static Public Member Functions

static bool	classof (const MutableDFPTData< 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	unionPts (DataSet &dstDataSet, const DataSet &srcDataSet)

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

Protected Attributes
DFPtsMap	dfInPtsMap
	Data-flow IN set. More...

DFPtsMap	dfOutPtsMap
	Data-flow OUT set. More...

MutablePTData< Key, KeySet, Data, DataSet >	mutPTData

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

Definition at line 363 of file MutablePointsToDS.h.

Member Typedef Documentation

◆ BaseDFPTData

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

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

Definition at line 368 of file MutablePointsToDS.h.

◆ BaseMutPTData

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

typedef MutablePTData<Key, KeySet, Data, DataSet> SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::BaseMutPTData

Definition at line 367 of file MutablePointsToDS.h.

◆ BasePTData

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

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

Definition at line 366 of file MutablePointsToDS.h.

◆ DFPtsMap

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

typedef Map<LocID, PtsMap> SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::DFPtsMap

Data-flow point-to map.

Definition at line 374 of file MutablePointsToDS.h.

◆ DFPtsMapconstIter

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

typedef DFPtsMap::const_iterator SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::DFPtsMapconstIter

Definition at line 376 of file MutablePointsToDS.h.

◆ DFPtsMapIter

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

typedef DFPtsMap::iterator SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::DFPtsMapIter

Definition at line 375 of file MutablePointsToDS.h.

◆ LocID

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

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

Definition at line 371 of file MutablePointsToDS.h.

◆ PTDataTy

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

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

Definition at line 369 of file MutablePointsToDS.h.

◆ PtsMap

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

typedef BaseMutPTData::PtsMap SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::PtsMap

Definition at line 372 of file MutablePointsToDS.h.

◆ PtsMapConstIter

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

typedef BaseMutPTData::PtsMapConstIter SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::PtsMapConstIter

Definition at line 373 of file MutablePointsToDS.h.

Constructor & Destructor Documentation

◆ MutableDFPTData()

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

SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::MutableDFPTData	(	bool	reversePT = `true`,
		PTDataTy	ty = `BaseDFPTData::MutDataFlow`
	)

inline

Constructor.

Definition at line 379 of file MutablePointsToDS.h.

379 : BaseDFPTData(reversePT, ty), mutPTData(reversePT) { }

SVF::MutableDFPTData::BaseDFPTData

DFPTData< Key, KeySet, Data, DataSet > BaseDFPTData

Definition: MutablePointsToDS.h:368

SVF::MutableDFPTData::mutPTData

MutablePTData< Key, KeySet, Data, DataSet > mutPTData

Definition: MutablePointsToDS.h:677

◆ ~MutableDFPTData()

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

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

inlinevirtual

Definition at line 381 of file MutablePointsToDS.h.

381 { }

Member Function Documentation

◆ addPts() [1/2]

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

virtual bool SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::addPts	(	const Key &	dstKey,
		const Key &	srcKey
	)

inlineoverridevirtual

Override the methods defined in PTData. Union/add points-to without adding reverse points-to, used internally

Definition at line 526 of file MutablePointsToDS.h.

     {
         return addPts(mutPTData.ptsMap[dstKey], srcKey);
     }

◆ addPts() [2/2]

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

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

inlineprotected

Definition at line 603 of file MutablePointsToDS.h.

     {
         return d.test_and_set(e);
     }

◆ classof() [1/2]

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

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

inlinestatic

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

Definition at line 585 of file MutablePointsToDS.h.

     {
         return true;
     }

◆ classof() [2/2]

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

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

inlinestatic

Definition at line 589 of file MutablePointsToDS.h.

     {
         return ptd->getPTDTY() == BaseDFPTData::MutDataFlow
                || ptd->getPTDTY() == BaseDFPTData::MutIncDataFlow;
     }

◆ clear()

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

virtual void SVF::MutableDFPTData< 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 388 of file MutablePointsToDS.h.

     {
         mutPTData.clear();
     }

◆ clearAllDFOutUpdatedVar()

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

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

inlineoverridevirtual

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

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

Definition at line 519 of file MutablePointsToDS.h.

520 {

521 }

◆ clearFullPts()

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

virtual void SVF::MutableDFPTData< 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 542 of file MutablePointsToDS.h.

     {
         mutPTData.clearFullPts(var);
     }

◆ clearPts()

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

virtual void SVF::MutableDFPTData< 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 538 of file MutablePointsToDS.h.

     {
         mutPTData.clearPts(var, element);
     }

◆ dumpPTData()

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

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

inlineoverridevirtual

Dump the DF IN/OUT set information for debugging purpose

dump points-to of top-level pointers

dump points-to of address-taken variables

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

Definition at line 612 of file MutablePointsToDS.h.

     {
         mutPTData.dumpPTData();
         std::error_code ErrInfo;
         std::fstream f("svfg_pts.data", std::ios_base::out);
         if (f.good())
         {
             NodeBS locs;
             for(DFPtsMapconstIter it = dfInPtsMap.begin(), eit = dfInPtsMap.end(); it!=eit; ++it)
                 locs.set(it->first);
  
             for(DFPtsMapconstIter it = dfOutPtsMap.begin(), eit = dfOutPtsMap.end(); it!=eit; ++it)
                 locs.set(it->first);
  
             for (NodeBS::iterator it = locs.begin(), eit = locs.end(); it != eit; it++)
             {
                 LocID loc = *it;
                 if (this->hasDFInSet(loc))
                 {
                     f << "Loc:" << loc << " IN:{";
                     this->dumpPts(this->getDFInPtsMap(loc), f);
                     f << "}\n";
                 }
  
                 if (this->hasDFOutSet(loc))
                 {
                     f << "Loc:" << loc << " OUT:{";
                     this->dumpPts(this->getDFOutPtsMap(loc), f);
                     f << "}\n";
                 }
             }
             f.close();
             if (f.good())
             {
                 SVFUtil::outs() << "\n";
                 return;
             }
         }
         SVFUtil::outs() << "  error opening file for writing!\n";
     }

◆ dumpPts()

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

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

inlinevirtual

Definition at line 655 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 << ",{";
             SVFUtil::dumpSet(pts,O);
             O << "}> ";
         }
     }

◆ getAllPts()

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

virtual Map<DataSet, unsigned> SVF::MutableDFPTData< 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 561 of file MutablePointsToDS.h.

     {
         Map<DataSet, unsigned> allPts = mutPTData.getAllPts(liveOnly);
         for (typename DFPtsMap::value_type lptsmap : dfInPtsMap)
         {
             for (typename PtsMap::value_type vpt : lptsmap.second)
             {
                 ++allPts[vpt.second];
             }
         }
  
         for (typename DFPtsMap::value_type lptm : dfOutPtsMap)
         {
             for (typename PtsMap::value_type vpt : lptm.second)
             {
                 ++allPts[vpt.second];
             }
         }
  
         return allPts;
     }

◆ getDFIn()

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

const DFPtsMap& SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::getDFIn ( )

inline

Definition at line 454 of file MutablePointsToDS.h.

     {
         return dfInPtsMap;
     }

◆ getDFInPtsMap()

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

const PtsMap& SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::getDFInPtsMap ( LocID loc )

inline

Get internal flow-sensitive data structures.

Definition at line 446 of file MutablePointsToDS.h.

     {
         return dfInPtsMap[loc];
     }

◆ getDFInPtsSet()

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

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

inlineoverridevirtual

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

Definition at line 432 of file MutablePointsToDS.h.

     {
         PtsMap& inSet = dfInPtsMap[loc];
         return inSet[var];
     }

◆ getDFOut()

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

const DFPtsMap& SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::getDFOut ( )

inline

Definition at line 458 of file MutablePointsToDS.h.

     {
         return dfOutPtsMap;
     }

◆ getDFOutPtsMap()

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

const PtsMap& SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::getDFOutPtsMap ( LocID loc )

inline

Definition at line 450 of file MutablePointsToDS.h.

     {
         return dfOutPtsMap[loc];
     }

◆ getDFOutPtsSet()

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

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

inlineoverridevirtual

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

Definition at line 438 of file MutablePointsToDS.h.

     {
         PtsMap& outSet = dfOutPtsMap[loc];
         return outSet[var];
     }

◆ getPts()

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

virtual const DataSet& SVF::MutableDFPTData< 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 393 of file MutablePointsToDS.h.

     {
         return mutPTData.getPts(var);
     }

◆ getPtsMap()

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

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

inlinevirtual

Definition at line 383 of file MutablePointsToDS.h.

     {
         return mutPTData.getPtsMap();
     }

◆ getRevPts()

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

virtual const KeySet& SVF::MutableDFPTData< 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 398 of file MutablePointsToDS.h.

     {
         assert(this->rev && "MutableDFPTData::getRevPts: constructed without reverse PT support!");
         return mutPTData.getRevPts(datum);
     }

◆ hasDFInSet() [1/2]

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

virtual bool SVF::MutableDFPTData< 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 MutablePointsToDS.h.

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

◆ hasDFInSet() [2/2]

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

virtual bool SVF::MutableDFPTData< 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 MutablePointsToDS.h.

     {
         DFPtsMapconstIter it = dfInPtsMap.find(loc);
         if ( it == dfInPtsMap.end())
             return false;
         const PtsMap& ptsMap = it->second;
         return (ptsMap.find(var) != ptsMap.end());
     }

◆ hasDFOutSet() [1/2]

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

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

inlineoverridevirtual

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

Definition at line 409 of file MutablePointsToDS.h.

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

◆ hasDFOutSet() [2/2]

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

virtual bool SVF::MutableDFPTData< 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 423 of file MutablePointsToDS.h.

     {
         DFPtsMapconstIter it = dfOutPtsMap.find(loc);
         if ( it == dfOutPtsMap.end())
             return false;
         const PtsMap& ptsMap = it->second;
         return (ptsMap.find(var) != ptsMap.end());
     }

◆ remapAllPts()

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

virtual void SVF::MutableDFPTData< 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 546 of file MutablePointsToDS.h.

     {
         mutPTData.remapAllPts();
         for (typename DFPtsMap::value_type &lopt : dfInPtsMap)
         {
             for (typename PtsMap::value_type &opt : lopt.second) opt.second.checkAndRemap();
         }
  
         for (typename DFPtsMap::value_type &lopt : dfOutPtsMap)
         {
             for (typename PtsMap::value_type &opt : lopt.second) opt.second.checkAndRemap();
         }
     }

◆ unionPts() [1/3]

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

virtual bool SVF::MutableDFPTData< 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 534 of file MutablePointsToDS.h.

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

◆ unionPts() [2/3]

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

virtual bool SVF::MutableDFPTData< 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 530 of file MutablePointsToDS.h.

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

◆ unionPts() [3/3]

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

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

inlineprotected

Internal union/add points-to helper methods.

Definition at line 599 of file MutablePointsToDS.h.

     {
         return dstDataSet |= srcDataSet;
     }

◆ updateAllDFInFromIn()

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

virtual bool SVF::MutableDFPTData< 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::MutableIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 484 of file MutablePointsToDS.h.

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

◆ updateAllDFInFromOut()

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

virtual bool SVF::MutableDFPTData< 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::MutableIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 479 of file MutablePointsToDS.h.

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

◆ updateAllDFOutFromIn()

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

virtual bool SVF::MutableDFPTData< 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).

Only variables has new pts from IN set need to be updated.

Enable strong updates if it is required to do so

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

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

Definition at line 489 of file MutablePointsToDS.h.

     {
         bool changed = false;
         if (this->hasDFInSet(loc))
         {
             const PtsMap & ptsMap = getDFInPtsMap(loc);
             for (typename PtsMap::const_iterator ptsIt = ptsMap.begin(), ptsEit = ptsMap.end(); ptsIt != ptsEit; ++ptsIt)
             {
                 const Key var = ptsIt->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 >

virtual bool SVF::MutableDFPTData< 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::MutableIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 514 of file MutablePointsToDS.h.

     {
         return (this->unionPts(this->getDFOutPtsSet(dstLoc, dstVar), this->getPts(srcVar)));
     }

◆ updateDFInFromIn()

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

virtual bool SVF::MutableDFPTData< 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::MutableIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 464 of file MutablePointsToDS.h.

     {
         return this->unionPts(getDFInPtsSet(dstLoc,dstVar), getDFInPtsSet(srcLoc,srcVar));
     }

◆ updateDFInFromOut()

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

virtual bool SVF::MutableDFPTData< 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::MutableIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 469 of file MutablePointsToDS.h.

     {
         return this->unionPts(getDFInPtsSet(dstLoc,dstVar), getDFOutPtsSet(srcLoc,srcVar));
     }

◆ updateDFOutFromIn()

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

virtual bool SVF::MutableDFPTData< 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::MutableIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 474 of file MutablePointsToDS.h.

     {
         return this->unionPts(getDFOutPtsSet(dstLoc,dstVar), getDFInPtsSet(srcLoc,srcVar));
     }

◆ updateTLVPts()

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

virtual bool SVF::MutableDFPTData< 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::MutableIncDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 509 of file MutablePointsToDS.h.

     {
         return this->unionPts(dstVar, this->getDFInPtsSet(srcLoc,srcVar));
     }

Member Data Documentation

◆ dfInPtsMap

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

DFPtsMap SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::dfInPtsMap

protected

Data-flow IN set.

Definition at line 672 of file MutablePointsToDS.h.

◆ dfOutPtsMap

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

DFPtsMap SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::dfOutPtsMap

protected

Data-flow OUT set.

Definition at line 674 of file MutablePointsToDS.h.

◆ mutPTData

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

MutablePTData<Key, KeySet, Data, DataSet> SVF::MutableDFPTData< Key, KeySet, Data, DataSet >::mutPTData

protected

Backing to implement the basic PTData methods which are not overridden. This allows us to avoid multiple-inheritance.

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

Detailed Description

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

Member Typedef Documentation

◆ BaseDFPTData

◆ BaseMutPTData

◆ BasePTData

◆ DFPtsMap

◆ DFPtsMapconstIter

◆ DFPtsMapIter

◆ LocID

◆ PTDataTy

◆ PtsMap

◆ PtsMapConstIter

Constructor & Destructor Documentation

◆ MutableDFPTData()

◆ ~MutableDFPTData()

Member Function Documentation

◆ addPts() [1/2]

◆ addPts() [2/2]

◆ classof() [1/2]

◆ classof() [2/2]

◆ clear()

◆ clearAllDFOutUpdatedVar()

◆ clearFullPts()

◆ clearPts()

◆ dumpPTData()

◆ dumpPts()

◆ getAllPts()

◆ getDFIn()

◆ getDFInPtsMap()

◆ getDFInPtsSet()

◆ getDFOut()

◆ getDFOutPtsMap()

◆ getDFOutPtsSet()

◆ getPts()

◆ getPtsMap()

◆ getRevPts()

◆ hasDFInSet() [1/2]

◆ hasDFInSet() [2/2]

◆ hasDFOutSet() [1/2]

◆ hasDFOutSet() [2/2]

◆ remapAllPts()

◆ unionPts() [1/3]

◆ unionPts() [2/3]

◆ unionPts() [3/3]

◆ updateAllDFInFromIn()

◆ updateAllDFInFromOut()

◆ updateAllDFOutFromIn()

◆ updateATVPts()

◆ updateDFInFromIn()

◆ updateDFInFromOut()

◆ updateDFOutFromIn()

◆ updateTLVPts()

Member Data Documentation

◆ dfInPtsMap

◆ dfOutPtsMap

◆ mutPTData

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