Here is a list of all variables with links to the classes they belong to:
- b -
- backICFGEdges : SVF::SVFLoop
- backingGraph : SVF::FSMPTA< SVFGGraph >
- backwardSlice : SVF::SVFGStat
- backwardslice : SVF::ProgSlice
- backwardVisited : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- base : SVF::GepObjVar, SVF::GepValVar, SVF::SparseObjNode
- 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
- bbToSymJoins : SVF::MHP
- 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
- branch : SVF::SparseObjNode
- branchCondVal : SVF::IntraCFGEdge
- branchNodes : SVF::SparseObjGraph
- brConditions : SVF::CDGEdge
- brEnd : SVF::SlicedICFGEdgeIterImpl< Forward >
- bridged : SVF::SlicedICFGEdgeIterImpl< Forward >, SVF::SlicedICFGEdgeRef
- bridgedEdges : SVF::SlicedICFGView
- bridgedPreds : SVF::SlicedICFGView
- BriefConsCGDotGraph : SVF::Options
- brInst : SVF::BranchStmt
- brIt : SVF::SlicedICFGEdgeIterImpl< Forward >
- brstmt : SVF::BranchVFGNode
- buffer : printbuffer
- bufferLowerBound : SVF::BufOverflowDetector::BufferOverflowInfo
- BufferOverflowCheck : SVF::Options
- bufferSize : SVF::BufOverflowDetector::BufferOverflowInfo
- bugEventStack : SVF::GenericBug
- bugLoc : SVF::BufOverflowDetector, SVF::NullptrDerefDetector
- bugSet : SVF::SVFBugReport
- bugType : SVF::GenericBug
- BugType2Str : SVF::GenericBug
- buildingCHGTime : SVF::CHGraph
- bv : SVF::PointsTo
- bvIt : SVF::PointsTo::PointsToIterator
- byteSize : SVF::ObjTypeInfo, SVF::SVFType