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

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

addCopyEdge(NodeID src, NodeID dst)SVF::CFLAliasinlinevirtual
addPts(NodeID id, NodeID ptd)SVF::BVDataPTAImplinlinevirtual
alias(NodeID node1, NodeID node2)SVF::CFLAliasinlinevirtual
SVF::CFLBase::alias(const SVFVar *V1, const SVFVar *V2) overrideSVF::BVDataPTAImplinlinevirtual
SVF::CFLBase::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()SVF::CFLBasevirtual
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
buildCFLGrammar()SVF::CFLBasevirtual
buildCFLGraph()SVF::CFLBasevirtual
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
CallSite2DummyValPN typedefSVF::CFLAlias
callsite2DummyValPNSVF::CFLAliasprivate
CallSiteSet typedefSVF::PointerAnalysis
CallSiteToFunPtrMap typedefSVF::PointerAnalysis
CFLAlias(SVFIR *ir)SVF::CFLAliasinline
CFLBase(SVFIR *ir, PointerAnalysis::PTATY pty)SVF::CFLBaseinline
CFLFICI_WPA enum valueSVF::PointerAnalysis
CFLFSCI_WPA enum valueSVF::PointerAnalysis
CFLFSCS_WPA enum valueSVF::PointerAnalysis
checkParameter()SVF::CFLBasevirtual
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
connectCaller2CalleeParams(const CallICFGNode *cs, const FunObjVar *F)SVF::CFLAlias
connectVCallToVFns(const CallICFGNode *cs, const VFunSet &vfns, CallEdgeMap &newEdges)SVF::PointerAnalysis
containBlackHoleNode(const PointsTo &pts)SVF::PointerAnalysisinline
containConstantNode(const PointsTo &pts)SVF::PointerAnalysisinline
countSumEdges()SVF::CFLBasevirtual
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()SVF::CFLAliasvirtual
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
getCFLGraph()SVF::CFLBase
getCFLPts(NodeID ptr)SVF::CFLAliasinlinevirtual
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
getMutDFPTDataTy() constSVF::BVDataPTAImplinlineprotected
getNumOfResolvedIndCallEdge() constSVF::PointerAnalysisinline
getPAG() constSVF::PointerAnalysisinline
getPtCache()SVF::BVDataPTAImplinline
getPTDataTy() constSVF::BVDataPTAImplinlineprotected
getPts(NodeID id) overrideSVF::BVDataPTAImplinlinevirtual
getRevPts(NodeID nodeId)SVF::CFLAliasinlinevirtual
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
grammarSVF::CFLBaseprotected
grammarBaseSVF::CFLBaseprotected
graphSVF::CFLBaseprotected
hasIndCSCallees(const CallICFGNode *cs) constSVF::PointerAnalysisinline
heapAllocatorViaIndCall(const CallICFGNode *cs)SVF::CFLAlias
icfgSVF::PointerAnalysisprotected
initialize()SVF::CFLAliasvirtual
initializeSolver()SVF::POCRHybridvirtual
inSameCallGraphSCC(const FunObjVar *fun1, const FunObjVar *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 FunObjVar *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
normalizeCFLGrammar()SVF::CFLBasevirtual
normalizePointsTo()SVF::BVDataPTAImplprotectedvirtual
numOfChecksSVF::CFLBasestatic
numOfIterationSVF::CFLBasestatic
numOfNonterminalEdgesSVF::CFLBasestatic
numOfStartEdgesSVF::CFLBasestatic
numOfTemporaryNonterminalEdgesSVF::CFLBasestatic
numOfTerminalEdgesSVF::CFLBasestatic
onTheFlyCallGraphSolve(const CallSiteToFunPtrMap &callsites, CallEdgeMap &newEdges)SVF::CFLAliasvirtual
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
POCRHybrid(SVFIR *ir)SVF::POCRHybridinline
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
PTATY enum nameSVF::PointerAnalysis
ptaTySVF::PointerAnalysisprotected
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
solve()SVF::CFLAliasvirtual
solverSVF::CFLBaseprotected
statSVF::PointerAnalysisprotected
Steensgaard_WPA enum valueSVF::PointerAnalysis
svfirSVF::CFLBaseprotected
timeOfBuildCFLGrammarSVF::CFLBasestatic
timeOfBuildCFLGraphSVF::CFLBasestatic
timeOfNormalizeGrammarSVF::CFLBasestatic
timeOfSolvingSVF::CFLBasestatic
TypeCPP_WPA enum valueSVF::PointerAnalysis
unionPts(NodeID id, const PointsTo &target)SVF::BVDataPTAImplinlinevirtual
unionPts(NodeID id, NodeID ptd)SVF::BVDataPTAImplinlinevirtual
updateCallGraph(const CallSiteToFunPtrMap &callsites)SVF::CFLAliasvirtual
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
~CFLBase()SVF::CFLBaseinlinevirtual
~PointerAnalysis()SVF::PointerAnalysisvirtual
Generated by doxygen 1.9.8