Here is a list of all class members with links to the classes they belong to:

- f -

• F : SVF::mapped_iter< ItTy, FuncTy, FuncReturnTy >
• FAdd : SVF::BinaryOPStmt
• FastClusterTime : SVF::NodeIDAllocator::Clusterer
• FCMP_FALSE : SVF::CmpStmt
• FCMP_OEQ : SVF::CmpStmt
• FCMP_OGE : SVF::CmpStmt
• FCMP_OGT : SVF::CmpStmt
• FCMP_OLE : SVF::CmpStmt
• FCMP_OLT : SVF::CmpStmt
• FCMP_ONE : SVF::CmpStmt
• FCMP_ORD : SVF::CmpStmt
• FCMP_TRUE : SVF::CmpStmt
• FCMP_UEQ : SVF::CmpStmt
• FCMP_UGE : SVF::CmpStmt
• FCMP_UGT : SVF::CmpStmt
• FCMP_ULE : SVF::CmpStmt
• FCMP_ULT : SVF::CmpStmt
• FCMP_UNE : SVF::CmpStmt
• FCMP_UNO : SVF::CmpStmt
• FDiv : SVF::BinaryOPStmt
• fieldExpand() : SVF::AndersenSFR
• FieldReps : SVF::AndersenSFR
• fieldReps : SVF::AndersenSFR
• FieldS_DDA : SVF::PointerAnalysis
• fieldTypes : SVF::DCHGraph
• FIFOWorkList() : SVF::FIFOWorkList< Data >
• file : SVF::PAGBuilderFromFile
• FileCheck : SVF::Options
• FileChecker() : SVF::FileChecker
• fileName : SVF::GrammarBuilder
• FILENEVERCLOSE : SVF::GenericBug
• FileNeverCloseBug() : SVF::FileNeverCloseBug
• FILEPARTIALCLOSE : SVF::GenericBug
• FilePartialCloseBug() : SVF::FilePartialCloseBug
• fillAttribute() : SVF::CFGNormalizer
• FILOWorkList() : SVF::FILOWorkList< Data >
• finalBit() : SVF::CoreBitVector
• finalCond : SVF::ProgSlice
• finalize() : SVF::Andersen, SVF::AndersenBase, SVF::BVDataPTAImpl, SVF::CFLAlias, SVF::CFLBase, SVF::CFLVF, SVF::CondPTAImpl< Cond >, SVF::ContextDDA, SVF::FlowDDA, SVF::FlowSensitive, SVF::PointerAnalysis, SVF::SrcSnkDDA, SVF::TypeAnalysis, SVF::VersionedFlowSensitive
• find() : SVF::CFLFIFOWorkList< Data >, SVF::CSC, SVF::FIFOWorkList< Data >, SVF::FILOWorkList< Data >, SVF::List< Data >, SVF::SCCDetection< GraphType >
• find_first() : SVF::PointsTo, SVF::SparseBitVector< ElementSize >, SVF::SparseBitVectorElement< ElementSize >
• find_last() : SVF::SparseBitVector< ElementSize >, SVF::SparseBitVectorElement< ElementSize >
• find_next() : SVF::SparseBitVectorElement< ElementSize >
• FindLowerBound() : SVF::SparseBitVector< ElementSize >
• FindLowerBoundConst() : SVF::SparseBitVector< ElementSize >
• FindLowerBoundImpl() : SVF::SparseBitVector< ElementSize >
• findNearestCommonPDominator() : SVF::SVFLoopAndDomInfo
• findPT() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• finfo : SVF::StInfo
• finializeStat() : SVF::AEStat
• FIRST_FCMP_PREDICATE : SVF::CmpStmt
• FIRST_FIELD : SVF::DCHEdge
• FIRST_ICMP_PREDICATE : SVF::CmpStmt
• firstCommonBit() : SVF::CoreBitVector
• FirstFieldEqBase : SVF::Options
• firstRHSToProds : SVF::CFGrammar
• fja : SVF::MHP
• flags : SVF::CHNode, SVF::DCHNode, SVF::ObjTypeInfo
• flatten() : SVF::DCHGraph
• flattenElementTypes : SVF::StInfo
• fldIdx : SVF::AccessPath
• fldIdx2TypeMap : SVF::StInfo
• fldIdxVec : SVF::StInfo
• FlexSymMap : SVF::Options
• FlowBudget : SVF::Options
• flowDDA : SVF::ContextDDA, SVF::DDAStat
• FlowDDA() : SVF::FlowDDA
• FlowS_DDA : SVF::PointerAnalysis
• FlowSensitive() : SVF::FlowSensitive
• FlowSensitiveStat : SVF::FlowSensitive, SVF::FlowSensitiveStat
• FMul : SVF::BinaryOPStmt
• FNeg : SVF::UnaryOPStmt
• forEachSuccessor() : SVF::ICFGWTO, SVF::WTO< GraphT >
• ForkEdgeSet : SVF::ThreadCallGraph, SVF::ThreadForkEdge
• ForkJoinAnalysis() : SVF::ForkJoinAnalysis
• forksite : SVF::CxtThread
• forksites : SVF::ThreadCallGraph
• forksitesBegin() : SVF::ThreadCallGraph
• forksitesEnd() : SVF::ThreadCallGraph
• formalInOfAddressTakenFunc() : SVF::SVFGOPT
• FormalINSVFGNode() : SVF::FormalINSVFGNode
• FormalINSVFGNodeSet : SVF::SVFG
• formalOutOfAddressTakenFunc() : SVF::SVFGOPT
• FormalOUTSVFGNode() : SVF::FormalOUTSVFGNode
• FormalOUTSVFGNodeSet : SVF::SVFG
• formalOutToDefMap : SVF::SVFGOPT
• FormalParmNodeVec : SVF::FunEntryICFGNode
• FormalParmVFGNode() : SVF::FormalParmVFGNode
• formalRet : SVF::FunExitICFGNode
• FormalRetVFGNode() : SVF::FormalRetVFGNode
• format : printbuffer
• forwardslice : SVF::ProgSlice
• forwardSlice : SVF::SVFGStat
• forwardSliceBegin() : SVF::ProgSlice
• forwardSliceEnd() : SVF::ProgSlice
• forwardTraverse() : SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkSolver< GraphType, DPIm >
• forwardVisited() : SVF::SrcSnkDDA
• FParm : SVF::SVFValue
• FPIN : SVF::SVFValue
• FPNodes : SVF::FunEntryICFGNode
• FPOUT : SVF::SVFValue
• FPTOSI : SVF::CopyStmt
• FPTOUI : SVF::CopyStmt
• FPTRUNC : SVF::CopyStmt
• FRem : SVF::BinaryOPStmt
• FRet : SVF::SVFValue
• fromFile : SVF::IRGraph
• fromString() : Option< T >
• front() : SVF::FIFOWorkList< Data >, SVF::FunObjVar, SVF::SVFBasicBlock
• FSCS_WPA : SVF::PointerAnalysis
• FSDATAFLOW_WPA : SVF::PointerAnalysis
• fspta : SVF::FlowSensitive, SVF::FlowSensitiveStat
• FSSPARSE_WPA : SVF::PointerAnalysis
• FsTimeLimit : SVF::Options
• FSub : SVF::BinaryOPStmt
• FullBufferOverflowBug() : SVF::FullBufferOverflowBug
• FULLBUFOVERFLOW : SVF::GenericBug
• fullJoin : SVF::ForkJoinAnalysis
• FULLNULLPTRDEREFERENCE : SVF::GenericBug
• FullNullPtrDereferenceBug() : SVF::FullNullPtrDereferenceBug
• fullReachable : SVF::ProgSlice
• FULLSVFG : SVF::VFG
• FULLSVFG_OPT : SVF::VFG
• fun : SVF::CallGraphNode, SVF::CxtProc, SVF::EntryCHI< Cond >, SVF::FormalParmVFGNode, SVF::FormalRetVFGNode, SVF::ICFGNode, SVF::InterMSSAPHISVFGNode, SVF::InterPHIVFGNode, SVF::RetMU< Cond >, SVF::SVFBasicBlock
• Fun2AnnoMap : SVF::LLVMModuleSet
• funArgsListMap : SVF::SVFIR
• func2Annotations : SVF::LLVMModuleSet
• func_map : SVF::AbsExtAPI, SVF::AbstractInterpretation
• FunCallBlock : SVF::SVFValue
• funcName : SVF::cppUtil::DemangledName
• FuncPair : SVF::MHP
• FuncPairToBool : SVF::MHP
• FuncPointerPrint : SVF::Options
• FUNCTION_OBJ : SVF::ObjTypeInfo
• FunctionSet : SVF::CallGraph, SVF::FlowDDA, SVF::LLVMModuleSet, SVF::PointerAnalysis, SVF::SVFGBuilder
• FunctionSetType : SVF::LLVMModuleSet
• FunctionToFormalINsMapTy : SVF::SVFG
• FunctionToFormalOUTsMapTy : SVF::SVFG
• funcToInterMap : SVF::IntraDisjointMRG
• funcToPtsMap : SVF::IntraDisjointMRG
• funcToWTO : SVF::AbstractInterpretation
• funcType : SVF::FunObjVar
• FuncVector : SVF::CHNode, SVF::DCHNode
• FunDeclToDefMapTy : SVF::LLVMModuleSet
• FunDefToDeclsMapTy : SVF::LLVMModuleSet
• FunEntryBlock : SVF::SVFValue
• FunEntryICFGNode() : SVF::FunEntryICFGNode
• funEntryNode : SVF::FormalINSVFGNode
• FunExitBlock : SVF::SVFValue
• FunExitICFGNode() : SVF::FunExitICFGNode
• funExitNode : SVF::FormalOUTSVFGNode
• funHasRet() : SVF::SVFIR
• funNameOfVcall : SVF::CallICFGNode
• FunObjNode : SVF::SVFValue
• FunObjVar() : SVF::FunObjVar
• funObjVar : SVF::FunValVar
• FunObjVar : SVF::SVFBasicBlock
• funObjVar2Annotations : SVF::ExtAPI
• FunObjVarToIDMapTy : SVF::IRGraph
• FunptrDDAClient() : SVF::FunptrDDAClient
• funPtrToCallSitesMap : SVF::SVFIR
• FunPtrToCallSitesMap : SVF::SVFIR
• FunRetBlock : SVF::SVFValue
• funRetMap : SVF::SVFIR
• funSet : SVF::LLVMModuleSet
• FunSet : SVF::LockAnalysis, SVF::MHP, SVF::TCT
• FunToArgsListMap : SVF::SVFIR
• funToCallGraphNodeMap : SVF::CallGraph
• FunToCallGraphNodeMap : SVF::CallGraph
• FunToDominatorTree : SVF::LLVMModuleSet
• funToEntryChiSetMap : SVF::MemSSA
• FunToEntryChiSetMap : SVF::MemSSA
• funToExitBB : SVF::LLVMModuleSet
• FunToExitBBMap : SVF::LLVMModuleSet
• funToExitBBsMap : SVF::SaberCondAllocator
• FunToExitBBsMap : SVF::SaberCondAllocator
• funToFormalINMap : SVF::SVFG
• funToFormalOUTMap : SVF::SVFG
• FunToFunEntryNodeMap : SVF::ICFG, SVF::LLVMModuleSet
• FunToFunEntryNodeMapTy : SVF::ICFG, SVF::ICFGBuilder, SVF::LLVMModuleSet
• FunToFunExitNodeMap : SVF::ICFG, SVF::LLVMModuleSet
• FunToFunExitNodeMapTy : SVF::ICFG, SVF::ICFGBuilder, SVF::LLVMModuleSet
• FunToIDMapTy : SVF::LLVMModuleSet
• FunToInterMap : SVF::IntraDisjointMRG
• funToModsMap : SVF::MRGenerator
• funToMRsMap : SVF::MRGenerator
• FunToMRsMap : SVF::MRGenerator
• FunToNodeBSMap : SVF::MRGenerator
• FunToPAGEdgeSetMap : SVF::SVFIR
• FunToPointsToMap : SVF::MRGenerator
• funToPointsToMap : SVF::MRGenerator
• FunToPointsTosMap : SVF::MRGenerator
• FunToPtsMap : SVF::IntraDisjointMRG
• funToRealDefFun : SVF::LLVMModuleSet
• FunToRealDefFunMap : SVF::LLVMModuleSet
• funToRefsMap : SVF::MRGenerator
• FunToRetMap : SVF::SVFIR
• FunToReturnMuSetMap : SVF::MemSSA
• funToReturnMuSetMap : SVF::MemSSA
• funToVFGNodesMap : SVF::VFG
• FunToVFGNodesMapTy : SVF::VFG
• FunValNode : SVF::SVFValue
• FunValVar() : SVF::FunValVar
• fwFindClsNameSources() : SVF::ObjTypeInference
• fwInferObjType() : SVF::ObjTypeInference
• FWProcessCurNode() : SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkDDA, SVF::SrcSnkSolver< GraphType, DPIm >
• FWProcessOutgoingEdge() : SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkDDA, SVF::SrcSnkSolver< GraphType, DPIm >