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

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

addPts(const Key &dstKey, const Key &srcKey) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
addPts(DataSet &d, const Data &e)SVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlineprotected
SVF::DFPTData::addPts(const Key &var, const Data &element)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
Base enum valueSVF::PTData< Key, KeySet, Data, DataSet >
BaseDFPTData typedefSVF::MutableDFPTData< Key, KeySet, Data, DataSet >
BaseMutPTData typedefSVF::MutableDFPTData< Key, KeySet, Data, DataSet >
BasePTData typedefSVF::MutableDFPTData< Key, KeySet, Data, DataSet >
classof(const MutableDFPTData< Key, KeySet, Data, DataSet > *)SVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinestatic
classof(const PTData< Key, KeySet, Data, DataSet > *ptd)SVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinestatic
SVF::DFPTData::classof(const DFPTData< Key, KeySet, Data, DataSet > *)SVF::DFPTData< Key, KeySet, Data, DataSet >inlinestatic
clear() overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
clearAllDFOutUpdatedVar(LocID) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
clearFullPts(const Key &var) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
clearPts(const Key &var, const Data &element) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
DataFlow enum valueSVF::PTData< Key, KeySet, Data, DataSet >
dfInPtsMapSVF::MutableDFPTData< Key, KeySet, Data, DataSet >protected
dfOutPtsMapSVF::MutableDFPTData< Key, KeySet, Data, DataSet >protected
DFPTData(bool reversePT=true, PTDataTy ty=BasePTData::DataFlow)SVF::DFPTData< Key, KeySet, Data, DataSet >inline
DFPtsMap typedefSVF::MutableDFPTData< Key, KeySet, Data, DataSet >
DFPtsMapconstIter typedefSVF::MutableDFPTData< Key, KeySet, Data, DataSet >
DFPtsMapIter typedefSVF::MutableDFPTData< Key, KeySet, Data, DataSet >
Diff enum valueSVF::PTData< Key, KeySet, Data, DataSet >
dumpPTData() overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
dumpPts(const PtsMap &ptsSet, OutStream &O=SVFUtil::outs()) constSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
getAllPts(bool liveOnly) const overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
getDFIn()SVF::MutableDFPTData< Key, KeySet, Data, DataSet >inline
getDFInPtsMap(LocID loc)SVF::MutableDFPTData< Key, KeySet, Data, DataSet >inline
getDFInPtsSet(LocID loc, const Key &var) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
getDFOut()SVF::MutableDFPTData< Key, KeySet, Data, DataSet >inline
getDFOutPtsMap(LocID loc)SVF::MutableDFPTData< Key, KeySet, Data, DataSet >inline
getDFOutPtsSet(LocID loc, const Key &var) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
getPTDTY() constSVF::PTData< Key, KeySet, Data, DataSet >inline
getPts(const Key &var) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
getPtsMap() constSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
getRevPts(const Data &datum) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
hasDFInSet(LocID loc) const overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
hasDFInSet(LocID loc, const Key &var) const overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
hasDFOutSet(LocID loc) const overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
hasDFOutSet(LocID loc, const Key &var) const overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
LocID typedefSVF::MutableDFPTData< Key, KeySet, Data, DataSet >
MutableDFPTData(bool reversePT=true, PTDataTy ty=BaseDFPTData::MutDataFlow)SVF::MutableDFPTData< Key, KeySet, Data, DataSet >inline
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 >
mutPTDataSVF::MutableDFPTData< Key, KeySet, Data, DataSet >protected
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 >
PersVersioned enum valueSVF::PTData< Key, KeySet, Data, DataSet >
PTData(bool reversePT=true, PTDataTy ty=PTDataTy::Base)SVF::PTData< Key, KeySet, Data, DataSet >inline
PTDataTy typedefSVF::MutableDFPTData< Key, KeySet, Data, DataSet >
ptdTySVF::PTData< Key, KeySet, Data, DataSet >protected
PtsMap typedefSVF::MutableDFPTData< Key, KeySet, Data, DataSet >
PtsMapConstIter typedefSVF::MutableDFPTData< Key, KeySet, Data, DataSet >
remapAllPts(void) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
revSVF::PTData< Key, KeySet, Data, DataSet >protected
unionPts(const Key &dstKey, const Key &srcKey) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
unionPts(const Key &dstKey, const DataSet &srcDataSet) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
unionPts(DataSet &dstDataSet, const DataSet &srcDataSet)SVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlineprotected
updateAllDFInFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateAllDFInFromOut(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateAllDFOutFromIn(LocID loc, const Key &singleton, bool strongUpdates) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateATVPts(const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateDFInFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateDFInFromOut(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateDFOutFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
updateTLVPts(LocID srcLoc, const Key &srcVar, const Key &dstVar) overrideSVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
Versioned enum valueSVF::PTData< Key, KeySet, Data, DataSet >
~DFPTData()SVF::DFPTData< Key, KeySet, Data, DataSet >inlinevirtual
~MutableDFPTData()SVF::MutableDFPTData< Key, KeySet, Data, DataSet >inlinevirtual
~PTData()SVF::PTData< Key, KeySet, Data, DataSet >inlinevirtual