Incremental version of the persistent data-flow points-to data structure. More...

#include <PersistentPointsToDS.h>

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

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

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

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

typedef PersistentDFPTData< Key, KeySet, Data, DataSet >	BasePersDFPTData

typedef BasePTData::PTDataTy	PTDataTy

typedef BaseDFPTData::LocID	LocID

typedef Map< LocID, KeySet >	UpdatedVarMap

Public Types inherited from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
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
	PersistentIncDFPTData (PersistentPointsToCache< DataSet > &cache, bool reversePT=true, PTDataTy ty=BasePTData::PersIncDataFlow)
	Constructor.

	~PersistentIncDFPTData () override=default

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

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

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

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.

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.

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

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

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.

void	clearAllDFOutUpdatedVar (LocID loc) override

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

Public Member Functions inherited from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
	PersistentDFPTData (PersistentPointsToCache< DataSet > &cache, bool reversePT=true, PTDataTy ty=PTDataTy::PersDataFlow)

	~PersistentDFPTData () override=default

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

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

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

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

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

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

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

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

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

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

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.

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.

Static Public Member Functions

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

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

Static Public Member Functions inherited from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
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)

Private Member Functions
void	setVarDFInSetUpdated (LocID loc, const Key &var)
	Handle address-taken variables whose IN pts changed.

void	removeVarFromDFInUpdatedSet (LocID loc, const Key &var)
	Remove var from loc's IN updated set.

bool	varHasNewDFInPts (LocID loc, const Key &var)
	Return TRUE if var has a new pts in loc's IN set.

const KeySet &	getDFInUpdatedVar (LocID loc)
	Get all variables which have new pts information in loc's IN set.


void	setVarDFOutSetUpdated (LocID loc, const Key &var)

void	removeVarFromDFOutUpdatedSet (LocID loc, const Key &var)
	Remove var from loc's OUT updated set.

bool	varHasNewDFOutPts (LocID loc, const Key &var)
	Return TRUE if var has a new pts in loc's OUT set.

const KeySet &	getDFOutUpdatedVar (LocID loc)
	Get all variables which have new pts info in loc's OUT set.

Private Attributes
UpdatedVarMap	outUpdatedVarMap

UpdatedVarMap	inUpdatedVarMap

Additional Inherited Members
Protected Member Functions inherited from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
bool	unionPtsThroughIds (PointsToID &dst, PointsToID &src)

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

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

Protected Attributes inherited from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
PersistentPointsToCache< DataSet > &	ptCache

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

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

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

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

Incremental version of the persistent data-flow points-to data structure.

Definition at line 580 of file PersistentPointsToDS.h.

Member Typedef Documentation

◆ BaseDFPTData

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

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

Definition at line 585 of file PersistentPointsToDS.h.

◆ BasePersDFPTData

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

typedef PersistentDFPTData<Key, KeySet, Data, DataSet> SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >::BasePersDFPTData

Definition at line 586 of file PersistentPointsToDS.h.

◆ BasePersPTData

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

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

Definition at line 584 of file PersistentPointsToDS.h.

◆ BasePTData

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

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

Definition at line 583 of file PersistentPointsToDS.h.

◆ LocID

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

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

Definition at line 589 of file PersistentPointsToDS.h.

◆ PTDataTy

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

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

Definition at line 587 of file PersistentPointsToDS.h.

◆ UpdatedVarMap

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

typedef Map<LocID, KeySet> SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >::UpdatedVarMap

Definition at line 590 of file PersistentPointsToDS.h.

Constructor & Destructor Documentation

◆ PersistentIncDFPTData()

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

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

inlineexplicit

Constructor.

Definition at line 594 of file PersistentPointsToDS.h.

595 : BasePersDFPTData(cache, reversePT, ty) { }

SVF::PersistentIncDFPTData::BasePersDFPTData

PersistentDFPTData< Key, KeySet, Data, DataSet > BasePersDFPTData

Definition PersistentPointsToDS.h:586

SVF::IRBuilder

llvm::IRBuilder IRBuilder

Definition BasicTypes.h:74

◆ ~PersistentIncDFPTData()

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

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

overridedefault

Member Function Documentation

◆ classof() [1/2]

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

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

inlinestatic

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

Definition at line 721 of file PersistentPointsToDS.h.

    {
        return true;
    }

◆ classof() [2/2]

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

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

inlinestatic

Definition at line 726 of file PersistentPointsToDS.h.

    {
        return ptd->getPTDTY() == BasePTData::PersIncDataFlow;
    }

◆ clear()

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

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

inlineoverridevirtual

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

Reimplemented from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 712 of file PersistentPointsToDS.h.

    {
        outUpdatedVarMap.clear();
        inUpdatedVarMap.clear();
        BasePersDFPTData::clear();
    }

◆ clearAllDFOutUpdatedVar()

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

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

inlineoverridevirtual

Reimplemented from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 700 of file PersistentPointsToDS.h.

    {
        if (this->hasDFOutSet(loc))
        {
            const KeySet vars = getDFOutUpdatedVar(loc);
            for (const Key &var : vars)
            {
                removeVarFromDFOutUpdatedSet(loc, var);
            }
        }
    }

◆ getDFInUpdatedVar()

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

const KeySet & SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >::getDFInUpdatedVar ( LocID loc )

inlineprivate

Get all variables which have new pts information in loc's IN set.

Definition at line 758 of file PersistentPointsToDS.h.

    {
        return inUpdatedVarMap[loc];
    }

◆ getDFOutUpdatedVar()

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

const KeySet & SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >::getDFOutUpdatedVar ( LocID loc )

inlineprivate

Get all variables which have new pts info in loc's OUT set.

Definition at line 788 of file PersistentPointsToDS.h.

    {
        return outUpdatedVarMap[loc];
    }

◆ removeVarFromDFInUpdatedSet()

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

void SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >::removeVarFromDFInUpdatedSet	(	LocID	loc,
		const Key &	var
	)

inlineprivate

Remove var from loc's IN updated set.

Definition at line 743 of file PersistentPointsToDS.h.

    {
        typename UpdatedVarMap::iterator it = inUpdatedVarMap.find(loc);
        if (it != inUpdatedVarMap.end()) it->second.erase(var);
    }

◆ removeVarFromDFOutUpdatedSet()

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

void SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >::removeVarFromDFOutUpdatedSet	(	LocID	loc,
		const Key &	var
	)

inlineprivate

Remove var from loc's OUT updated set.

Definition at line 773 of file PersistentPointsToDS.h.

    {
        typename UpdatedVarMap::iterator it = outUpdatedVarMap.find(loc);
        if (it != outUpdatedVarMap.end()) it->second.erase(var);
    }

◆ setVarDFInSetUpdated()

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

void SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >::setVarDFInSetUpdated	(	LocID	loc,
		const Key &	var
	)

inlineprivate

Handle address-taken variables whose IN pts changed.

Add var into loc's IN updated set. Called when var's pts in loc's IN set is changed.

Definition at line 737 of file PersistentPointsToDS.h.

    {
        SVFUtil::insertKey(var, inUpdatedVarMap[loc]);
    }

◆ setVarDFOutSetUpdated()

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

void SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >::setVarDFOutSetUpdated	(	LocID	loc,
		const Key &	var
	)

inlineprivate

Handle address-taken variables whose OUT pts changed

Add var into loc's OUT updated set. Called when var's pts in loc's OUT set changed

Definition at line 767 of file PersistentPointsToDS.h.

    {
        SVFUtil::insertKey(var, outUpdatedVarMap[loc]);
    }

◆ updateAllDFInFromIn()

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

bool SVF::PersistentIncDFPTData< 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.

Reimplemented from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 649 of file PersistentPointsToDS.h.

    {
        if (this->unionPtsThroughIds(this->getDFInPtIdRef(dstLoc, dstVar), this->getDFInPtIdRef(srcLoc, srcVar)))
        {
            setVarDFInSetUpdated(dstLoc, dstVar);
            return true;
        }
 
        return false;
    }

◆ updateAllDFInFromOut()

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

bool SVF::PersistentIncDFPTData< 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.

Reimplemented from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 638 of file PersistentPointsToDS.h.

    {
        if (this->unionPtsThroughIds(this->getDFInPtIdRef(dstLoc, dstVar), this->getDFOutPtIdRef(srcLoc, srcVar)))
        {
            setVarDFInSetUpdated(dstLoc, dstVar);
            return true;
        }
 
        return false;
    }

◆ updateAllDFOutFromIn()

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

bool SVF::PersistentIncDFPTData< 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 which have a new (IN) pts need to be updated.

Enable strong updates if it is required to do so

Enable strong updates if required.

Reimplemented from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 660 of file PersistentPointsToDS.h.

    {
        bool changed = false;
        if (this->hasDFInSet(loc))
        {
            const KeySet vars = getDFInUpdatedVar(loc);
            for (const Key &var : vars)
            {
                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::PersistentIncDFPTData< 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.

Reimplemented from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 689 of file PersistentPointsToDS.h.

    {
        if (this->unionPtsThroughIds(this->getDFOutPtIdRef(dstLoc, dstVar), this->persPTData.ptsMap[srcVar]))
        {
            setVarDFOutSetUpdated(dstLoc, dstVar);
            return true;
        }
 
        return false;
    }

◆ updateDFInFromIn()

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

bool SVF::PersistentIncDFPTData< 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]).

Reimplemented from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 599 of file PersistentPointsToDS.h.

    {
        if (varHasNewDFInPts(srcLoc, srcVar)
                && this->unionPtsThroughIds(this->getDFInPtIdRef(dstLoc, dstVar), this->getDFInPtIdRef(srcLoc, srcVar)))
        {
            setVarDFInSetUpdated(dstLoc, dstVar);
            return true;
        }
 
        return false;
    }

◆ updateDFInFromOut()

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

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

inlineoverridevirtual

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

Reimplemented from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 611 of file PersistentPointsToDS.h.

    {
        if (varHasNewDFOutPts(srcLoc, srcVar)
                && this->unionPtsThroughIds(this->getDFInPtIdRef(dstLoc, dstVar), this->getDFOutPtIdRef(srcLoc, srcVar)))
        {
            setVarDFInSetUpdated(dstLoc, dstVar);
            return true;
        }
 
        return false;
    }

◆ updateDFOutFromIn()

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

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

inlineoverridevirtual

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

Reimplemented from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 623 of file PersistentPointsToDS.h.

    {
        if (varHasNewDFInPts(srcLoc, srcVar))
        {
            removeVarFromDFInUpdatedSet(srcLoc, srcVar);
            if (this->unionPtsThroughIds(this->getDFOutPtIdRef(dstLoc, dstVar), this->getDFInPtIdRef(srcLoc, srcVar)))
            {
                setVarDFOutSetUpdated(dstLoc, dstVar);
                return true;
            }
        }
 
        return false;
    }

◆ updateTLVPts()

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

bool SVF::PersistentIncDFPTData< 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].

Reimplemented from SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >.

Definition at line 678 of file PersistentPointsToDS.h.

    {
        if (varHasNewDFInPts(srcLoc, srcVar))
        {
            removeVarFromDFInUpdatedSet(srcLoc, srcVar);
            return this->unionPtsThroughIds(this->persPTData.ptsMap[dstVar], this->getDFInPtIdRef(srcLoc, srcVar));
        }
 
        return false;
    }

◆ varHasNewDFInPts()

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

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

inlineprivate

Return TRUE if var has a new pts in loc's IN set.

Definition at line 750 of file PersistentPointsToDS.h.

    {
        typename UpdatedVarMap::iterator it = inUpdatedVarMap.find(loc);
        if (it != inUpdatedVarMap.end()) return it->second.find(var) != it->second.end();
        return false;
    }

◆ varHasNewDFOutPts()

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

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

inlineprivate

Return TRUE if var has a new pts in loc's OUT set.

Definition at line 780 of file PersistentPointsToDS.h.

    {
        typename UpdatedVarMap::iterator it = outUpdatedVarMap.find(loc);
        if (it != outUpdatedVarMap.end()) return it->second.find(var) != it->second.end();
        return false;
    }

Member Data Documentation

◆ inUpdatedVarMap

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

UpdatedVarMap SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >::inUpdatedVarMap

private

Definition at line 797 of file PersistentPointsToDS.h.

◆ outUpdatedVarMap

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

UpdatedVarMap SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >::outUpdatedVarMap

private

Definition at line 796 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 Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ BaseDFPTData

◆ BasePersDFPTData

◆ BasePersPTData

◆ BasePTData

◆ LocID

◆ PTDataTy

◆ UpdatedVarMap

Constructor & Destructor Documentation

◆ PersistentIncDFPTData()

◆ ~PersistentIncDFPTData()

Member Function Documentation

◆ classof() [1/2]

◆ classof() [2/2]

◆ clear()

◆ clearAllDFOutUpdatedVar()

◆ getDFInUpdatedVar()

◆ getDFOutUpdatedVar()

◆ removeVarFromDFInUpdatedSet()

◆ removeVarFromDFOutUpdatedSet()

◆ setVarDFInSetUpdated()

◆ setVarDFOutSetUpdated()

◆ updateAllDFInFromIn()

◆ updateAllDFInFromOut()

◆ updateAllDFOutFromIn()

◆ updateATVPts()

◆ updateDFInFromIn()

◆ updateDFInFromOut()

◆ updateDFOutFromIn()

◆ updateTLVPts()

◆ varHasNewDFInPts()

◆ varHasNewDFOutPts()

Member Data Documentation

◆ inUpdatedVarMap

◆ outUpdatedVarMap