Static Value-Flow Analysis
Loading...
Searching...
No Matches
SVF::BVDataPTAImpl Member List

This is the complete list of members for SVF::BVDataPTAImpl, including all inherited members.

addPts(NodeID id, NodeID ptd)SVF::BVDataPTAImplinlinevirtual
alias(const SVFValue *V1, const SVFValue *V2) overrideSVF::BVDataPTAImplvirtual
alias(NodeID node1, NodeID node2) overrideSVF::BVDataPTAImplvirtual
alias(const PointsTo &pts1, const PointsTo &pts2)SVF::BVDataPTAImplvirtual
alias_validationSVF::PointerAnalysisprotected
aliasTestFailMayAliasSVF::PointerAnalysisstatic
aliasTestFailMayAliasMangledSVF::PointerAnalysisstatic
aliasTestFailNoAliasSVF::PointerAnalysisstatic
aliasTestFailNoAliasMangledSVF::PointerAnalysisstatic
aliasTestMayAliasSVF::PointerAnalysisstatic
aliasTestMayAliasMangledSVF::PointerAnalysisstatic
aliasTestMustAliasSVF::PointerAnalysisstatic
aliasTestMustAliasMangledSVF::PointerAnalysisstatic
aliasTestNoAliasSVF::PointerAnalysisstatic
aliasTestNoAliasMangledSVF::PointerAnalysisstatic
aliasTestPartialAliasSVF::PointerAnalysisstatic
aliasTestPartialAliasMangledSVF::PointerAnalysisstatic
analyze()=0SVF::PointerAnalysispure virtual
Andersen_BASE enum valueSVF::PointerAnalysis
Andersen_WPA enum valueSVF::PointerAnalysis
AndersenSCD_WPA enum valueSVF::PointerAnalysis
AndersenSFR_WPA enum valueSVF::PointerAnalysis
AndersenWaveDiff_WPA enum valueSVF::PointerAnalysis
BaseImpl enum valueSVF::PointerAnalysis
BVDataImpl enum valueSVF::PointerAnalysis
BVDataPTAImpl(SVFIR *pag, PointerAnalysis::PTATY type, bool alias_check=true)SVF::BVDataPTAImpl
CallEdgeMap typedefSVF::PointerAnalysis
callgraphSVF::PointerAnalysisprotected
callGraphSCCSVF::PointerAnalysisprotected
CallGraphSCC typedefSVF::PointerAnalysis
callGraphSCCDetection()SVF::PointerAnalysisinline
CallSiteSet typedefSVF::PointerAnalysis
CallSiteToFunPtrMap typedefSVF::PointerAnalysis
CFLFICI_WPA enum valueSVF::PointerAnalysis
CFLFSCI_WPA enum valueSVF::PointerAnalysis
CFLFSCS_WPA enum valueSVF::PointerAnalysis
chgraphSVF::PointerAnalysisprotected
classof(const PointerAnalysis *pta)SVF::BVDataPTAImplinlinestatic
clearAllPts()SVF::BVDataPTAImplinlinevirtual
clearFullPts(NodeID id)SVF::BVDataPTAImplinlinevirtual
clearPts(NodeID id, NodeID element)SVF::BVDataPTAImplinlinevirtual
computeDDAPts(NodeID)SVF::PointerAnalysisinlinevirtual
CondImpl enum valueSVF::PointerAnalysis
connectVCallToVFns(const CallICFGNode *cs, const VFunSet &vfns, CallEdgeMap &newEdges)SVF::PointerAnalysis
containBlackHoleNode(const PointsTo &pts)SVF::PointerAnalysisinline
containConstantNode(const PointsTo &pts)SVF::PointerAnalysisinline
CSCallString_WPA enum valueSVF::PointerAnalysis
CSSummary_WPA enum valueSVF::PointerAnalysis
Cxt_DDA enum valueSVF::PointerAnalysis
Default_PTA enum valueSVF::PointerAnalysis
destroy()SVF::PointerAnalysisprivate
DFPTDataTy typedefSVF::BVDataPTAImpl
DiffPTDataTy typedefSVF::BVDataPTAImpl
disablePrintStat()SVF::PointerAnalysisinline
dumpAllPts() overrideSVF::BVDataPTAImplvirtual
dumpAllTypes()SVF::PointerAnalysis
dumpCPts() overrideSVF::BVDataPTAImplinlinevirtual
dumpPts(NodeID ptr, const PointsTo &pts)SVF::PointerAnalysisvirtual
dumpStat()SVF::PointerAnalysis
dumpTopLevelPtsTo() overrideSVF::BVDataPTAImplvirtual
expandFIObjs(const PointsTo &pts, PointsTo &expandedPts)SVF::BVDataPTAImplvirtual
expandFIObjs(const NodeBS &pts, NodeBS &expandedPts)SVF::BVDataPTAImplvirtual
FieldS_DDA enum valueSVF::PointerAnalysis
finalize() overrideSVF::BVDataPTAImplprotectedvirtual
FlowS_DDA enum valueSVF::PointerAnalysis
FSCS_WPA enum valueSVF::PointerAnalysis
FSDATAFLOW_WPA enum valueSVF::PointerAnalysis
FSSPARSE_WPA enum valueSVF::PointerAnalysis
FunctionSet typedefSVF::PointerAnalysis
getAllFieldsObjVars(NodeID id)SVF::PointerAnalysisinlinevirtual
getAllValidPtrs()SVF::PointerAnalysisinline
getAnalysisTy() constSVF::PointerAnalysisinline
getBaseObjVar(NodeID id)SVF::PointerAnalysisinline
getCallGraph() constSVF::PointerAnalysisinline
getCallGraphSCC() constSVF::PointerAnalysisinline
getCallGraphSCCRepNode(NodeID id) constSVF::PointerAnalysisinline
getCHGraph() constSVF::PointerAnalysisinline
getDFPTDataTy() constSVF::BVDataPTAImplinlineprotected
getDiffPTDataTy() constSVF::BVDataPTAImplinlineprotected
getFIObjVar(NodeID id)SVF::PointerAnalysisinline
getFunPtr(const CallICFGNode *cs) constSVF::PointerAnalysisinlineprotected
getGepObjVar(NodeID id, const APOffset &ap)SVF::PointerAnalysisinline
getICFG() constSVF::PointerAnalysisinline
getImplTy() constSVF::PointerAnalysisinline
getIndCallMap()SVF::PointerAnalysisinline
getIndCSCallees(const CallICFGNode *cs) constSVF::PointerAnalysisinline
getIndirectCallsites() constSVF::PointerAnalysisinlineprotected
getModule() constSVF::PointerAnalysisinline
getMutDFPTDataTy() constSVF::BVDataPTAImplinlineprotected
getNumOfResolvedIndCallEdge() constSVF::PointerAnalysisinline
getPAG() constSVF::PointerAnalysisinline
getPtCache()SVF::BVDataPTAImplinline
getPTDataTy() constSVF::BVDataPTAImplinlineprotected
getPts(NodeID id) overrideSVF::BVDataPTAImplinlinevirtual
getRevPts(NodeID nodeId) overrideSVF::BVDataPTAImplinlinevirtual
getStat() constSVF::PointerAnalysisinline
getVersionedPTDataTy() constSVF::BVDataPTAImplinlineprotected
getVFnsFromCHA(const CallICFGNode *cs, VFunSet &vfns)SVF::PointerAnalysis
getVFnsFromPts(const CallICFGNode *cs, const PointsTo &target, VFunSet &vfns)SVF::PointerAnalysis
hasIndCSCallees(const CallICFGNode *cs) constSVF::PointerAnalysisinline
icfgSVF::PointerAnalysisprotected
initialize()SVF::PointerAnalysisvirtual
inSameCallGraphSCC(const SVFFunction *fun1, const SVFFunction *fun2)SVF::PointerAnalysisinline
isArrayMemObj(NodeID id) constSVF::PointerAnalysisinline
isBlkObjOrConstantObj(NodeID ptd) constSVF::PointerAnalysisinlinevirtual
isFieldInsensitive(NodeID id) constSVF::PointerAnalysisinline
isFIObjNode(NodeID id) constSVF::PointerAnalysisinline
isHeapMemObj(NodeID id) constSVF::PointerAnalysisinline
isInRecursion(const SVFFunction *fun) constSVF::PointerAnalysisinline
isLocalVarInRecursiveFun(NodeID id) constSVF::PointerAnalysis
Mutable enum valueSVF::BVDataPTAImpl
MutDFPTDataTy typedefSVF::BVDataPTAImpl
MutDiffPTDataTy typedefSVF::BVDataPTAImpl
MutIncDFPTDataTy typedefSVF::BVDataPTAImpl
MutPTDataTy typedefSVF::BVDataPTAImpl
MutVersionedPTDataTy typedefSVF::BVDataPTAImpl
normalizePointsTo()SVF::BVDataPTAImplprotectedvirtual
onTheFlyCallGraphSolve(const CallSiteToFunPtrMap &callsites, CallEdgeMap &newEdges)SVF::BVDataPTAImplprotectedvirtual
OnTheFlyIterBudgetForStatSVF::PointerAnalysisprotected
onTheFlyThreadCallGraphSolve(const CallSiteToFunPtrMap &callsites, CallEdgeMap &newForkEdges)SVF::BVDataPTAImplprotectedvirtual
pagSVF::PointerAnalysisprotectedstatic
PathS_DDA enum valueSVF::PointerAnalysis
PersDFPTDataTy typedefSVF::BVDataPTAImpl
PersDiffPTDataTy typedefSVF::BVDataPTAImpl
PersIncDFPTDataTy typedefSVF::BVDataPTAImpl
Persistent enum valueSVF::BVDataPTAImpl
PersPTDataTy typedefSVF::BVDataPTAImpl
PersVersionedPTDataTy typedefSVF::BVDataPTAImpl
PointerAnalysis(SVFIR *pag, PTATY ty=Default_PTA, bool alias_check=true)SVF::PointerAnalysis
print_statSVF::PointerAnalysisprotected
printIndCSTargets(const CallICFGNode *cs, const FunctionSet &targets)SVF::PointerAnalysis
printIndCSTargets()SVF::PointerAnalysis
printStat()SVF::PointerAnalysisinline
ptaImplTySVF::PointerAnalysisprotected
PTAImplTy enum nameSVF::PointerAnalysis
PTAName() constSVF::PointerAnalysisinlinevirtual
ptaTySVF::PointerAnalysisprotected
PTATY enum nameSVF::PointerAnalysis
PTBackingType enum nameSVF::BVDataPTAImpl
ptCacheSVF::BVDataPTAImplprivate
ptDSVF::BVDataPTAImplprivate
PTDataTy typedefSVF::BVDataPTAImpl
readAndSetObjFieldSensitivity(std::ifstream &f, const std::string &delimiterStr)SVF::BVDataPTAImplvirtual
readFromFile(const std::string &filename)SVF::BVDataPTAImplvirtual
readGepObjVarMapFromFile(std::ifstream &f)SVF::BVDataPTAImplvirtual
readPtsResultFromFile(std::ifstream &f)SVF::BVDataPTAImplvirtual
remapPointsToSets(void)SVF::BVDataPTAImpl
resetObjFieldSensitive()SVF::PointerAnalysisprotected
resolveCPPIndCalls(const CallICFGNode *cs, const PointsTo &target, CallEdgeMap &newEdges)SVF::PointerAnalysisvirtual
resolveIndCalls(const CallICFGNode *cs, const PointsTo &target, CallEdgeMap &newEdges)SVF::PointerAnalysisvirtual
setObjFieldInsensitive(NodeID id)SVF::PointerAnalysisinline
statSVF::PointerAnalysisprotected
Steensgaard_WPA enum valueSVF::PointerAnalysis
svfModSVF::PointerAnalysisprotected
TypeCPP_WPA enum valueSVF::PointerAnalysis
unionPts(NodeID id, const PointsTo &target)SVF::BVDataPTAImplinlinevirtual
unionPts(NodeID id, NodeID ptd)SVF::BVDataPTAImplinlinevirtual
updateCallGraph(const CallSiteToFunPtrMap &)SVF::BVDataPTAImplinlineprotectedvirtual
validateExpectedFailureTests(std::string fun)SVF::PointerAnalysisprotectedvirtual
validateSuccessTests(std::string fun)SVF::PointerAnalysisprotectedvirtual
validateTests()SVF::PointerAnalysisprotectedvirtual
VersionedPTDataTy typedefSVF::BVDataPTAImpl
VFS_WPA enum valueSVF::PointerAnalysis
VFunSet typedefSVF::PointerAnalysis
VTableSet typedefSVF::PointerAnalysis
writeGepObjVarMapToFile(std::fstream &f)SVF::BVDataPTAImplvirtual
writeObjVarToFile(const std::string &filename)SVF::BVDataPTAImplvirtual
writePtsResultToFile(std::fstream &f)SVF::BVDataPTAImplvirtual
writeToFile(const std::string &filename)SVF::BVDataPTAImplvirtual
~BVDataPTAImpl() override=defaultSVF::BVDataPTAImpl
~PointerAnalysis()SVF::PointerAnalysisvirtual
Generated by doxygen 1.9.8