Here is a list of all variables with links to the classes they belong to:
- f -
- F : SVF::mapped_iter< ItTy, FuncTy, FuncReturnTy >
- FastClusterTime : SVF::NodeIDAllocator::Clusterer
- fieldReps : SVF::AndersenSFR
- fieldTypes : SVF::DCHGraph
- file : SVF::PAGBuilderFromFile
- FileCheck : SVF::Options
- fileName : SVF::GrammarBuilder
- finalCond : SVF::ProgSlice
- finfo : SVF::StInfo
- FirstFieldEqBase : SVF::Options
- firstRHSToProds : SVF::CFGrammar
- fja : SVF::MHP
- flags : SVF::CHNode, SVF::DCHNode, SVF::ObjTypeInfo
- flattenElementTypes : SVF::StInfo
- fldIdx : SVF::AccessPath
- fldIdx2TypeMap : SVF::StInfo
- fldIdxVec : SVF::StInfo
- FlexSymMap : SVF::Options
- FlowBudget : SVF::Options
- flowDDA : SVF::ContextDDA, SVF::DDAStat
- forksite : SVF::CxtThread
- forksites : SVF::ThreadCallGraph
- formalOutToDefMap : SVF::SVFGOPT
- formalRet : SVF::FunExitICFGNode
- format : printbuffer
- forwardslice : SVF::ProgSlice
- forwardSlice : SVF::SVFGStat
- FPNodes : SVF::FunEntryICFGNode
- fromFile : SVF::IRGraph
- fspta : SVF::FlowSensitive, SVF::FlowSensitiveStat
- FsTimeLimit : SVF::Options
- fullJoin : SVF::ForkJoinAnalysis
- fullReachable : SVF::ProgSlice
- fun : SVF::CallGraphNode, SVF::CxtProc, SVF::EntryCHI< Cond >, SVF::FormalParmVFGNode, SVF::FormalRetVFGNode, SVF::ICFGNode, SVF::InterMSSAPHISVFGNode, SVF::InterPHIVFGNode, SVF::RetMU< Cond >, SVF::SVFBasicBlock
- funArgsListMap : SVF::SVFIR
- func2Annotations : SVF::LLVMModuleSet
- func_map : SVF::AbsExtAPI, SVF::AbstractInterpretation
- funcName : SVF::cppUtil::DemangledName
- FuncPointerPrint : SVF::Options
- funcToInterMap : SVF::IntraDisjointMRG
- funcToPtsMap : SVF::IntraDisjointMRG
- funcToWTO : SVF::AbstractInterpretation
- funcType : SVF::FunObjVar
- funEntryNode : SVF::FormalINSVFGNode
- funExitNode : SVF::FormalOUTSVFGNode
- funNameOfVcall : SVF::CallICFGNode
- funObjVar : SVF::FunValVar
- funObjVar2Annotations : SVF::ExtAPI
- funPtrToCallSitesMap : SVF::SVFIR
- funRetMap : SVF::SVFIR
- funSet : SVF::LLVMModuleSet
- funToCallGraphNodeMap : SVF::CallGraph
- FunToDominatorTree : SVF::LLVMModuleSet
- funToEntryChiSetMap : SVF::MemSSA
- funToExitBB : SVF::LLVMModuleSet
- funToExitBBsMap : SVF::SaberCondAllocator
- funToFormalINMap : SVF::SVFG
- funToFormalOUTMap : SVF::SVFG
- FunToFunEntryNodeMap : SVF::ICFG, SVF::LLVMModuleSet
- FunToFunExitNodeMap : SVF::ICFG, SVF::LLVMModuleSet
- funToModsMap : SVF::MRGenerator
- funToMRsMap : SVF::MRGenerator
- funToPointsToMap : SVF::MRGenerator
- funToRealDefFun : SVF::LLVMModuleSet
- funToRefsMap : SVF::MRGenerator
- funToReturnMuSetMap : SVF::MemSSA
- funToVFGNodesMap : SVF::VFG