Static Value-Flow Analysis
SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet > Member List

This is the complete list of members for SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >, including all inherited members.

addPts(const Key &dstKey, const Data &element) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
Base enum valueSVF::PTData< Key, KeySet, Data, DataSet >
BaseDFPTData typedefSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
BasePersDFPTData typedefSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
BasePersPTData typedefSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
BasePTData typedefSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
classof(const PersistentIncDFPTData< Key, KeySet, Data, DataSet > *)SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlinestatic
classof(const PTData< Key, KeySet, Data, DataSet > *ptd)SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlinestatic
SVF::PersistentDFPTData::classof(const PersistentDFPTData< Key, KeySet, Data, DataSet > *)SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinestatic
SVF::DFPTData::classof(const DFPTData< Key, KeySet, Data, DataSet > *)SVF::DFPTData< Key, KeySet, Data, DataSet >inlinestatic
clear() overrideSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
clearAllDFOutUpdatedVar(LocID loc) overrideSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
clearFullPts(const Key &var) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
clearPts(const Key &var, const Data &element) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
DataFlow enum valueSVF::PTData< Key, KeySet, Data, DataSet >
dfInPtsMapSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >protected
DFKeyToIDMap typedefSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
dfOutPtsMapSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >protected
DFPTData(bool reversePT=true, PTDataTy ty=BasePTData::DataFlow)SVF::DFPTData< Key, KeySet, Data, DataSet >inline
Diff enum valueSVF::PTData< Key, KeySet, Data, DataSet >
dumpPTData() overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
getAllPts(bool liveOnly) const overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
getDFInPtIdRef(LocID loc, const Key &var)SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlineprotected
getDFInPtsSet(LocID loc, const Key &var) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
getDFInUpdatedVar(LocID loc)SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlineprivate
getDFOutPtIdRef(LocID loc, const Key &var)SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlineprotected
getDFOutPtsSet(LocID loc, const Key &var) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
getDFOutUpdatedVar(LocID loc)SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlineprivate
getPTDTY() constSVF::PTData< Key, KeySet, Data, DataSet >inline
getPts(const Key &var) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
getRevPts(const Data &) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
hasDFInSet(LocID loc) const overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
hasDFInSet(LocID loc, const Key &var) const overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
hasDFOutSet(LocID loc) const overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
hasDFOutSet(LocID loc, const Key &var) const overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
inUpdatedVarMapSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >private
KeyToIDMap typedefSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
LocID typedefSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
MutBase enum valueSVF::PTData< Key, KeySet, Data, DataSet >
MutDataFlow enum valueSVF::PTData< Key, KeySet, Data, DataSet >
MutDiff enum valueSVF::PTData< Key, KeySet, Data, DataSet >
MutIncDataFlow enum valueSVF::PTData< Key, KeySet, Data, DataSet >
MutVersioned enum valueSVF::PTData< Key, KeySet, Data, DataSet >
outUpdatedVarMapSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >private
PersBase enum valueSVF::PTData< Key, KeySet, Data, DataSet >
PersDataFlow enum valueSVF::PTData< Key, KeySet, Data, DataSet >
PersDiff enum valueSVF::PTData< Key, KeySet, Data, DataSet >
PersIncDataFlow enum valueSVF::PTData< Key, KeySet, Data, DataSet >
PersistentDFPTData(PersistentPointsToCache< DataSet > &cache, bool reversePT=true, PTDataTy ty=PTDataTy::PersDataFlow)SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlineexplicit
PersistentIncDFPTData(PersistentPointsToCache< DataSet > &cache, bool reversePT=true, PTDataTy ty=BasePTData::PersIncDataFlow)SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlineexplicit
persPTDataSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >protected
PersVersioned enum valueSVF::PTData< Key, KeySet, Data, DataSet >
ptCacheSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >protected
PTData(bool reversePT=true, PTDataTy ty=PTDataTy::Base)SVF::PTData< Key, KeySet, Data, DataSet >inline
PTDataTy typedefSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
ptdTySVF::PTData< Key, KeySet, Data, DataSet >protected
remapAllPts() overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
removeVarFromDFInUpdatedSet(LocID loc, const Key &var)SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlineprivate
removeVarFromDFOutUpdatedSet(LocID loc, const Key &var)SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlineprivate
revSVF::PTData< Key, KeySet, Data, DataSet >protected
setVarDFInSetUpdated(LocID loc, const Key &var)SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlineprivate
setVarDFOutSetUpdated(LocID loc, const Key &var)SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlineprivate
unionPts(const Key &dstKey, const Key &srcKey) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
unionPts(const Key &dstKey, const DataSet &srcDataSet) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
unionPtsThroughIds(PointsToID &dst, PointsToID &src)SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlineprotected
updateAllDFInFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateAllDFInFromOut(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateAllDFOutFromIn(LocID loc, const Key &singleton, bool strongUpdates) overrideSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateATVPts(const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateDFInFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateDFInFromOut(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateDFOutFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
UpdatedVarMap typedefSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
updateTLVPts(LocID srcLoc, const Key &srcVar, const Key &dstVar) overrideSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
varHasNewDFInPts(LocID loc, const Key &var)SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlineprivate
varHasNewDFOutPts(LocID loc, const Key &var)SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >inlineprivate
Versioned enum valueSVF::PTData< Key, KeySet, Data, DataSet >
~DFPTData()SVF::DFPTData< Key, KeySet, Data, DataSet >inlinevirtual
~PersistentDFPTData() override=defaultSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
~PersistentIncDFPTData() override=defaultSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
~PTData()SVF::PTData< Key, KeySet, Data, DataSet >inlinevirtual