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

- b -

• backICFGEdges : SVF::SVFLoop
• backwardslice : SVF::ProgSlice
• backwardSlice : SVF::SVFGStat
• backwardVisited : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• base : SVF::GepObjVar, SVF::GepValVar
• baseIds : SVF::ConstraintNode
• basicBlock : SVF::SVFStmt
• bb : SVF::ICFGNode, SVF::LoadMU< Cond >, SVF::MSSAPHI< Cond >, SVF::StoreCHI< Cond >
• bb2LoopMap : SVF::SVFLoopAndDomInfo
• bb2PdomLevel : SVF::SVFLoopAndDomInfo
• bb2PhiSetMap : SVF::MemSSA
• bb2PIdom : SVF::SVFLoopAndDomInfo
• bbConds : SVF::SaberCondAllocator
• bbGraph : SVF::FunObjVar
• bbToCondMap : SVF::SaberCondAllocator
• begin_iterator : SVF::iter_range< IteratorT >
• BestCandidate : SVF::NodeIDAllocator::Clusterer
• bit : SVF::CoreBitVector::CoreBitVectorIterator
• BitNumber : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
• Bits : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator, SVF::SparseBitVectorElement< ElementSize >
• BitVector : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
• blackHoleObjectId : SVF::NodeIDAllocator
• blackHolePointerId : SVF::NodeIDAllocator
• branchCondVal : SVF::IntraCFGEdge
• brConditions : SVF::CDGEdge
• BriefConsCGDotGraph : SVF::Options
• brInst : SVF::BranchStmt
• brstmt : SVF::BranchVFGNode
• buffer : printbuffer
• BufferOverflowCheck : SVF::Options
• bugEventStack : SVF::GenericBug
• bugLoc : SVF::BufOverflowDetector
• bugSet : SVF::SVFBugReport
• bugType : SVF::GenericBug
• BugType2Str : SVF::GenericBug
• buildingCHGTime : SVF::CHGraph
• bv : SVF::PointsTo
• bvIt : SVF::PointsTo::PointsToIterator
• byteSize : SVF::ObjTypeInfo, SVF::SVFType