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

- b -

• back() : SVF::FILOWorkList< Data >, SVF::FunObjVar, SVF::SVFBasicBlock
• backICFGEdgesBegin() : SVF::SVFLoop
• backICFGEdgesEnd() : SVF::SVFLoop
• backtraceAlongDirectVF() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• backtraceAlongIndirectVF() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• backtraceToStoreSrc() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• backwardPropDpm() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• backwardSliceBegin() : SVF::ProgSlice
• backwardSliceEnd() : SVF::ProgSlice
• backwardTraverse() : SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkSolver< GraphType, DPIm >
• backwardVisited() : SVF::SrcSnkDDA
• barReplace() : SVF::CFGNormalizer
• BaseObjVar() : SVF::BaseObjVar
• BasicBlockEdge() : SVF::BasicBlockEdge
• BasicBlockGraph() : SVF::BasicBlockGraph
• begin() : llvm::generic_bridge_gep_type_iterator< ItTy >, SVF::AddressValue, SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::ContextCond, SVF::CoreBitVector, SVF::FunObjVar, SVF::GenericGraph< NodeTy, EdgeTy >, SVF::iter_range< IteratorT >, SVF::POCRSolver, SVF::PointsTo, SVF::SparseBitVector< ElementSize >, SVF::SVFBasicBlock, SVF::WTO< GraphT >, SVF::WTOCycle< GraphT >, SVF::WTOCycleDepth< GraphT >
• beta() : SVF::RelationSolver
• bilateral() : SVF::RelationSolver
• Bilateral_time() : SymblicAbstractionTest
• BinaryOPStmt() : SVF::BinaryOPStmt
• BinaryOPVFGNode() : SVF::BinaryOPVFGNode
• BitVector() : SVF::BitVector
• blackholeSymID() : SVF::IRGraph
• BlackHoleValVar() : SVF::BlackHoleValVar
• blkPtrSymID() : SVF::IRGraph
• bothInterEdges() : SVF::SVFGOPT
• bottom() : SVF::AbstractState, SVF::IntervalValue
• BoundedDouble() : SVF::BoundedDouble
• BoundedInt() : SVF::BoundedInt
• BoxedOptSolver() : SVF::RelationSolver
• branchStat() : SVF::SVFStat
• BranchStmt() : SVF::BranchStmt
• BranchVFGNode() : SVF::BranchVFGNode
• BreakConstantGEPs() : SVF::BreakConstantGEPs
• BS() : SVF::RelationSolver
• BS_time() : SymblicAbstractionTest
• BufferOverflowBug() : SVF::BufferOverflowBug
• BufOverflowDetector() : SVF::BufOverflowDetector
• build() : SVF::CDGBuilder, SVF::CFLGraphBuilder, SVF::GrammarBuilder, SVF::ICFGBuilder, SVF::LLVMLoopAnalysis, SVF::LLVMModuleSet, SVF::PAGBuilderFromFile, SVF::SVFGBuilder, SVF::SVFIRBuilder, SVF::TCT
• buildBigraph() : SVF::AliasCFLGraphBuilder, SVF::VFCFLGraphBuilder
• buildBiPEGgraph() : SVF::AliasCFLGraphBuilder, SVF::VFCFLGraphBuilder
• buildCandidateFuncSetforLock() : SVF::LockAnalysis
• buildCFLData() : SVF::POCRSolver
• buildCFLGrammar() : SVF::CFLBase
• buildCFLGraph() : SVF::CFLBase, SVF::CFLVF
• buildCG() : SVF::ConstraintGraph
• buildCHG() : SVF::CHGBuilder, SVF::DCHGraph
• buildCHGEdges() : SVF::CHGBuilder
• buildCHGNodes() : SVF::CHGBuilder
• buildClassNameToAncestorsDescendantsMap() : SVF::CHGBuilder
• buildControlDependence() : SVF::CDGBuilder
• buildCSToCHAVtblsAndVfnsMap() : SVF::CHGBuilder
• buildDeltaMaps() : SVF::VersionedFlowSensitive
• buildFromDot() : SVF::CFLGraphBuilder
• buildFromJson() : SVF::CFLGraphBuilder
• buildFromText() : SVF::CFLGraphBuilder
• buildFullSVFG() : SVF::SVFGBuilder
• buildFunToFunMap() : SVF::LLVMModuleSet
• buildGlobalDefToRepMap() : SVF::LLVMModuleSet
• buildICFGNodeControlMap() : SVF::CDGBuilder
• buildInternalMaps() : SVF::CHGBuilder
• buildIsStoreLoadMaps() : SVF::VersionedFlowSensitive
• buildlabelToKindMap() : SVF::CFLGraphBuilder
• buildLLVMLoops() : SVF::LLVMLoopAnalysis
• buildMemModel() : SVF::SymbolTableBuilder
• buildMemSSA() : SVF::MemSSA
• buildMSSA() : SVF::SVFGBuilder
• buildNodeToDepth() : SVF::WTO< GraphT >
• buildPTACallGraph() : SVF::CallGraphBuilder
• buildPTROnlySVFG() : SVF::SVFGBuilder
• buildRelZ3Expr() : SVF::RelExeState
• buildSVFG() : SVF::CFLSVFGBuilder, SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::SaberSVFGBuilder, SVF::SVFG, SVF::SVFGBuilder, SVF::SVFGOPT
• buildSVFIRCallGraph() : SVF::CallGraphBuilder
• buildSVFLoops() : SVF::LLVMLoopAnalysis
• buildSVFModule() : SVF::LLVMModuleSet
• buildSymbolTable() : SVF::LLVMModuleSet
• buildThreadCallGraph() : SVF::CallGraphBuilder
• buildUsage() : OptionBase
• buildVirtualFunctionToIDMap() : SVF::CHGBuilder
• buildVTables() : SVF::DCHGraph
• BVDataPTAImpl() : SVF::BVDataPTAImpl
• bwfindAllocOfVar() : SVF::ObjTypeInference
• bwFindAllocOrClsNameSources() : SVF::ObjTypeInference
• BWProcessCurNode() : SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkDDA, SVF::SrcSnkSolver< GraphType, DPIm >
• BWProcessIncomingEdge() : SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkDDA, SVF::SrcSnkSolver< GraphType, DPIm >
• bypassMSSAPHINode() : SVF::SVFGOPT