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

- b -

• back() : SVF::FILOWorkList< Data >, SVF::FunObjVar, SVF::SVFBasicBlock
• backICFGEdges : SVF::SVFLoop
• 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 >
• backwardslice : SVF::ProgSlice
• backwardSlice : SVF::SVFGStat
• backwardSliceBegin() : SVF::ProgSlice
• backwardSliceEnd() : SVF::ProgSlice
• backwardTraverse() : SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkSolver< GraphType, DPIm >
• backwardVisited : SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::SrcSnkDDA
• BAD_FCMP_PREDICATE : SVF::CmpStmt
• BAD_ICMP_PREDICATE : SVF::CmpStmt
• barReplace() : SVF::CFGNormalizer
• base : SVF::GepObjVar, SVF::GepValVar
• Base : SVF::ICFGWTO, SVF::PTData< Key, KeySet, Data, DataSet >
• BaseDFPTData : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• BaseDiffPTData : SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
• baseIds : SVF::ConstraintNode
• BaseImpl : SVF::PointerAnalysis
• BaseMutDFPTData : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >
• BaseMutPTData : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >
• BaseObjNode : SVF::SVFValue
• BaseObjVar() : SVF::BaseObjVar
• BasePersDFPTData : SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• BasePersPTData : SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• BasePTData : SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::DiffPTData< Key, KeySet, Data, DataSet >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
• BaseT : SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >
• BaseVersionedPTData : SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
• basicBlock : SVF::SVFStmt
• BasicBlockEdge() : SVF::BasicBlockEdge
• BasicBlockGraph() : SVF::BasicBlockGraph
• BasicBlockKd : SVF::SVFValue
• BasicBlockSet : SVF::SaberCondAllocator
• bb : SVF::ICFGNode, SVF::LoadMU< Cond >, SVF::MSSAPHI< Cond >, SVF::StoreCHI< Cond >
• bb2LoopMap : SVF::SVFLoopAndDomInfo
• bb2PdomLevel : SVF::SVFLoopAndDomInfo
• bb2PhiSetMap : SVF::MemSSA
• bb2PIdom : SVF::SVFLoopAndDomInfo
• BBCondMap : SVF::SaberCondAllocator
• bbConds : SVF::SaberCondAllocator
• bbGraph : SVF::FunObjVar
• BBList : SVF::FunObjVar, SVF::MemSSA, SVF::SVFLoopAndDomInfo
• BBSet : SVF::FunObjVar, SVF::ICFGBuilder, SVF::SVFLoopAndDomInfo
• bbToCondMap : SVF::SaberCondAllocator
• BBToCondMap : SVF::SaberCondAllocator
• BBToMRSetMap : SVF::MemSSA
• BBToPhiSetMap : SVF::MemSSA
• 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 >
• begin_iterator : SVF::iter_range< IteratorT >
• BestCandidate : SVF::NodeIDAllocator::Clusterer
• beta() : SVF::RelationSolver
• bilateral() : SVF::RelationSolver
• Bilateral_time() : SymblicAbstractionTest
• BinaryOp : SVF::SVFStmt, SVF::SVFValue
• BinaryOPStmt() : SVF::BinaryOPStmt
• BinaryOPVFGNode() : SVF::BinaryOPVFGNode
• bit : SVF::CoreBitVector::CoreBitVectorIterator
• BITCAST : SVF::CopyStmt
• BitNumber : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
• Bits : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator, SVF::SparseBitVectorElement< ElementSize >
• BITS_PER_ELEMENT : SVF::SparseBitVectorElement< ElementSize >
• BitVector() : SVF::BitVector, SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
• BitWord : SVF::SparseBitVectorElement< ElementSize >
• BITWORD_SIZE : SVF::SparseBitVector< ElementSize >, SVF::SparseBitVectorElement< ElementSize >
• BITWORDS_PER_ELEMENT : SVF::SparseBitVectorElement< ElementSize >
• BlackHole : SVF::IRGraph
• blackHoleObjectId : SVF::NodeIDAllocator
• blackHolePointerId : SVF::NodeIDAllocator
• blackholeSymID() : SVF::IRGraph
• BlackHoleValNode : SVF::SVFValue
• BlackHoleValVar() : SVF::BlackHoleValVar
• BlkPtr : SVF::IRGraph
• blkPtrSymID() : SVF::IRGraph
• bothInterEdges() : SVF::SVFGOPT
• bottom() : SVF::AbstractState, SVF::IntervalValue
• BoundedDouble() : SVF::BoundedDouble
• BoundedInt() : SVF::BoundedInt
• BoxedOptSolver() : SVF::RelationSolver
• Branch : SVF::SVFBugEvent, SVF::SVFStmt, SVF::SVFValue
• BranchCondition : SVF::CDGEdge
• branchCondVal : SVF::IntraCFGEdge
• branchStat() : SVF::SVFStat
• BranchStmt() : SVF::BranchStmt
• BranchVFGNode() : SVF::BranchVFGNode
• brConditions : SVF::CDGEdge
• BreakConstantGEPs() : SVF::BreakConstantGEPs
• BriefConsCGDotGraph : SVF::Options
• brInst : SVF::BranchStmt
• brstmt : SVF::BranchVFGNode
• BS() : SVF::RelationSolver
• BS_time() : SymblicAbstractionTest
• BUF_OVERFLOW : SVF::AEDetector
• buffer : printbuffer
• BufferOverflowBug() : SVF::BufferOverflowBug
• BufferOverflowCheck : SVF::Options
• BufOverflowDetector : SVF::AbstractInterpretation, SVF::BufOverflowDetector
• bugEventStack : SVF::GenericBug
• bugLoc : SVF::BufOverflowDetector
• BugSet : SVF::SVFBugReport
• bugSet : SVF::SVFBugReport
• bugType : SVF::GenericBug
• BugType : SVF::GenericBug
• BugType2Str : SVF::GenericBug
• 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
• buildingCHGTime : SVF::CHGraph
• 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
• BV : SVF::PointsTo
• bv : SVF::PointsTo
• bv2int : SVF::Z3Expr
• BVDataImpl : SVF::PointerAnalysis
• BVDataPTAImpl() : SVF::BVDataPTAImpl, SVF::SVFIR
• bvIt : SVF::PointsTo::PointsToIterator
• 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
• byteSize : SVF::ObjTypeInfo, SVF::SVFType