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

This is the complete list of members for SVF::PersistentDFPTData< 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::PersistentDFPTData< Key, KeySet, Data, DataSet >
BasePersPTData typedefSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
BasePTData typedefSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
classof(const PersistentDFPTData< Key, KeySet, Data, DataSet > *)SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinestatic
classof(const PTData< Key, KeySet, Data, DataSet > *ptd)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::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
clearAllDFOutUpdatedVar(LocID) overrideSVF::PersistentDFPTData< 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
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
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
KeyToIDMap typedefSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
LocID typedefSVF::PersistentDFPTData< 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 >
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
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::PersistentDFPTData< Key, KeySet, Data, DataSet >
ptdTySVF::PTData< Key, KeySet, Data, DataSet >protected
remapAllPts() overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
revSVF::PTData< Key, KeySet, Data, DataSet >protected
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::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateAllDFInFromOut(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateAllDFOutFromIn(LocID loc, const Key &singleton, bool strongUpdates) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateATVPts(const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateDFInFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateDFInFromOut(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateDFOutFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateTLVPts(LocID srcLoc, const Key &srcVar, const Key &dstVar) overrideSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
Versioned enum valueSVF::PTData< Key, KeySet, Data, DataSet >
~DFPTData()SVF::DFPTData< Key, KeySet, Data, DataSet >inlinevirtual
~PersistentDFPTData() override=defaultSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
~PTData()SVF::PTData< Key, KeySet, Data, DataSet >inlinevirtual