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

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

addPts(const Key &var, const Data &element)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
Base enum valueSVF::PTData< Key, KeySet, Data, DataSet >
BasePTData typedefSVF::DFPTData< Key, KeySet, Data, DataSet >
classof(const DFPTData< Key, KeySet, Data, DataSet > *)SVF::DFPTData< Key, KeySet, Data, DataSet >inlinestatic
classof(const PTData< Key, KeySet, Data, DataSet > *ptd)SVF::DFPTData< Key, KeySet, Data, DataSet >inlinestatic
clear()=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
clearAllDFOutUpdatedVar(LocID)=0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
clearFullPts(const Key &var)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
clearPts(const Key &var, const Data &element)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
DataFlow enum valueSVF::PTData< Key, KeySet, Data, DataSet >
DFPTData(bool reversePT=true, PTDataTy ty=BasePTData::DataFlow)SVF::DFPTData< Key, KeySet, Data, DataSet >inline
Diff enum valueSVF::PTData< Key, KeySet, Data, DataSet >
dumpPTData()=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
getAllPts(bool liveOnly) const =0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
getDFInPtsSet(LocID loc, const Key &var)=0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
getDFOutPtsSet(LocID loc, const Key &var)=0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
getPTDTY() constSVF::PTData< Key, KeySet, Data, DataSet >inline
getPts(const Key &var)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
getRevPts(const Data &datum)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
hasDFInSet(LocID loc) const =0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
hasDFInSet(LocID loc, const Key &var) const =0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
hasDFOutSet(LocID loc) const =0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
hasDFOutSet(LocID loc, const Key &var) const =0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
LocID typedefSVF::DFPTData< 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 >
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::DFPTData< Key, KeySet, Data, DataSet >
ptdTySVF::PTData< Key, KeySet, Data, DataSet >protected
remapAllPts(void)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
revSVF::PTData< Key, KeySet, Data, DataSet >protected
unionPts(const Key &dstVar, const Key &srcVar)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
unionPts(const Key &dstVar, const DataSet &srcDataSet)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
updateAllDFInFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar)=0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
updateAllDFInFromOut(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar)=0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
updateAllDFOutFromIn(LocID loc, const Key &singleton, bool strongUpdates)=0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
updateATVPts(const Key &srcVar, LocID dstLoc, const Key &dstVar)=0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
updateDFInFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar)=0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
updateDFInFromOut(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar)=0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
updateDFOutFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar)=0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
updateTLVPts(LocID srcLoc, const Key &srcVar, const Key &dstVar)=0SVF::DFPTData< Key, KeySet, Data, DataSet >pure virtual
Versioned enum valueSVF::PTData< Key, KeySet, Data, DataSet >
~DFPTData()SVF::DFPTData< Key, KeySet, Data, DataSet >inlinevirtual
~PTData()SVF::PTData< Key, KeySet, Data, DataSet >inlinevirtual