svf-tools 1.0.809 → 1.0.810

package/SVF-doxygen/html/search/all_2.js

@@ -30,142 +30,143 @@ var searchData=
   ['baset_678',['BaseT',['../classSVF_1_1iter__adaptor__base.html#afbad8b4d7822152aec9a206c0e293f96',1,'SVF::iter_adaptor_base']]],
   ['baseversionedptdata_679',['BaseVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html#aa80044e3b4c3ed58117573dfa54d803b',1,'SVF::MutableVersionedPTData::BaseVersionedPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ab71b82478d74f1a20ce3de479f2d8d5c',1,'SVF::PersistentVersionedPTData::BaseVersionedPTData()']]],
   ['basicblock_680',['basicBlock',['../classSVF_1_1SVFStmt.html#a8a2afa585fcbdcab375ddc04961a614f',1,'SVF::SVFStmt::basicBlock()'],['../namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965',1,'SVF::BasicBlock()']]],
-  ['basicblockset_681',['BasicBlockSet',['../classSVF_1_1SaberCondAllocator.html#a45642ecc305ea97b58e0eeebd00fec7b',1,'SVF::SaberCondAllocator']]],
-  ['basictypes_2eh_682',['BasicTypes.h',['../BasicTypes_8h.html',1,'']]],
-  ['bb_683',['bb',['../classSVF_1_1ICFGNode.html#a0cd08725df3e8665762ee37b5d4c138a',1,'SVF::ICFGNode::bb()'],['../classSVF_1_1LoadMU.html#aadfeb1a4924cbe78a828fd4a94fb59da',1,'SVF::LoadMU::bb()'],['../classSVF_1_1StoreCHI.html#ae8bd147e80514d5cb42f249d98b5fb72',1,'SVF::StoreCHI::bb()'],['../classSVF_1_1MSSAPHI.html#a3353fb233d81d5218540e8da2bad1a45',1,'SVF::MSSAPHI::bb()'],['../classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0',1,'SVF::SVFInstruction::bb()']]],
-  ['bb2loopmap_684',['bb2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ad578beedd9a6b64a57f82d799e6b8fa7',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bb2pdomlevel_685',['bb2PdomLevel',['../classSVF_1_1SVFLoopAndDomInfo.html#a80acecc52faf9609aeea7e49008f0e01',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bb2phisetmap_686',['bb2PhiSetMap',['../classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23',1,'SVF::MemSSA']]],
-  ['bb2pidom_687',['bb2PIdom',['../classSVF_1_1SVFLoopAndDomInfo.html#ab7bf163ebfd2c43d233c598ed2a25551',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bbcondmap_688',['BBCondMap',['../classSVF_1_1SaberCondAllocator.html#a513ab32b3f9ddfb0a21668e881bcf27b',1,'SVF::SaberCondAllocator']]],
-  ['bbconds_689',['bbConds',['../classSVF_1_1SaberCondAllocator.html#a5c129ebf5ae55eb3af8bd670c921a646',1,'SVF::SaberCondAllocator']]],
-  ['bblist_690',['BBList',['../classSVF_1_1MemSSA.html#a0e4aa3519d1805cfee0190ec43155beb',1,'SVF::MemSSA::BBList()'],['../classSVF_1_1SVFLoopAndDomInfo.html#a33b96ce50eb1d3caab2b20c19a60b2cc',1,'SVF::SVFLoopAndDomInfo::BBList()'],['../classSVF_1_1SVFFunction.html#ad09ea0c680c88732c08d655e0afbead3',1,'SVF::SVFFunction::BBList()']]],
-  ['bbset_691',['BBSet',['../classSVF_1_1ICFGBuilder.html#abb7144bcc587e236fd22f6c8896117f5',1,'SVF::ICFGBuilder::BBSet()'],['../classSVF_1_1SVFLoopAndDomInfo.html#ad478ac88bc07cf4d6d0ad3517b2c4ab3',1,'SVF::SVFLoopAndDomInfo::BBSet()'],['../classSVF_1_1SVFFunction.html#ae4f78769558a3cc8d2c948a4f5379ec9',1,'SVF::SVFFunction::BBSet()']]],
-  ['bbtocondmap_692',['bbToCondMap',['../classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9',1,'SVF::SaberCondAllocator::bbToCondMap()'],['../classSVF_1_1SaberCondAllocator.html#ae4e8c7b47b9d672157b3c6f1c01188f8',1,'SVF::SaberCondAllocator::BBToCondMap()']]],
-  ['bbtomrsetmap_693',['BBToMRSetMap',['../classSVF_1_1MemSSA.html#acfe05b5b026ed41039540b11fe345734',1,'SVF::MemSSA']]],
-  ['bbtophisetmap_694',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#af939c93eee0128973d86974e36345917',1,'SVF::MemSSA']]],
-  ['bbworklist_695',['BBWorkList',['../classSVF_1_1PCG.html#a4eff22e077741d2decbad6f416ca7c6f',1,'SVF::PCG']]],
-  ['begin_696',['begin',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, ItTy It)'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4d10570a7a3b75fbec9fbc9fc7d3e619',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, unsigned AddrSpace, ItTy It)'],['../classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323',1,'SVF::AddressValue::begin()'],['../classSVF_1_1WTOCycleDepth.html#a2bfdd81b8742322d03c52c811ff742ce',1,'SVF::WTOCycleDepth::begin()'],['../classSVF_1_1CFBasicBlockGWTOCycle.html#aa4902464dbcfdf6d961050ebfe7b3c88',1,'SVF::CFBasicBlockGWTOCycle::begin()'],['../classSVF_1_1CFBasicBlockGWTO.html#a62021e77023442dc809f6441cd3692c5',1,'SVF::CFBasicBlockGWTO::begin()'],['../classSVF_1_1POCRSolver.html#ab030e53206df7233d43037d89f97eb85',1,'SVF::POCRSolver::begin() const'],['../classSVF_1_1POCRSolver.html#a333bd9ca42aec9127148d45955c64aed',1,'SVF::POCRSolver::begin()'],['../classSVF_1_1CFBasicBlockNode.html#a439a84d7181616f62d8ebac945dbbd59',1,'SVF::CFBasicBlockNode::begin()'],['../classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7',1,'SVF::GenericGraph::begin()'],['../classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6',1,'SVF::GenericGraph::begin() const'],['../classSVF_1_1CondStdSet.html#adf095111734d81b6ad1908a7f795b038',1,'SVF::CondStdSet::begin()'],['../classSVF_1_1CondStdSet.html#a76fb2382bf424638ed8e03cb48cdc90e',1,'SVF::CondStdSet::begin() const'],['../classSVF_1_1CondPointsToSet.html#a3521ec3be48cc03d9d3f562cb088a9ad',1,'SVF::CondPointsToSet::begin()'],['../classSVF_1_1CondPointsToSet.html#acec077e130e49ac66a5c3e464a73dec2',1,'SVF::CondPointsToSet::begin() const'],['../classSVF_1_1PointsTo.html#ad5b582d2672617806c61e6170d0b5a7e',1,'SVF::PointsTo::begin()'],['../classSVF_1_1WriterPtrPool.html#afe8686cdcce746eb49673d64b24c8945',1,'SVF::WriterPtrPool::begin()'],['../classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255',1,'SVF::SVFModule::begin()'],['../classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7',1,'SVF::SVFModule::begin() const'],['../classSVF_1_1SVFFunction.html#a49a6e9c0661135ceda2dd4d84c4b24ae',1,'SVF::SVFFunction::begin()'],['../classSVF_1_1SVFBasicBlock.html#ac9cb2f17e42c40ca81b49c8b63a855fc',1,'SVF::SVFBasicBlock::begin()'],['../classSVF_1_1CoreBitVector.html#a835bf11a1f698942db8e6bdadbbfd1f3',1,'SVF::CoreBitVector::begin()'],['../classSVF_1_1ContextCond.html#a4ae7e2236708b0d205f393cdce75c8d1',1,'SVF::ContextCond::begin()'],['../classSVF_1_1iter__range.html#a35c298cfeda798cbf4f65150796f8489',1,'SVF::iter_range::begin()'],['../classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772',1,'SVF::SparseBitVector::begin()']]],
-  ['begin_5fiterator_697',['begin_iterator',['../classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003',1,'SVF::iter_range']]],
-  ['bestcandidate_698',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['beta_699',['beta',['../classSVF_1_1RelationSolver.html#a5514dd057977686097cf314154748a25',1,'SVF::RelationSolver']]],
-  ['bidirection_700',['bidirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaf3515b032dca85081a3d653d0cb9b995',1,'SVF']]],
-  ['bilateral_701',['bilateral',['../classSVF_1_1RelationSolver.html#a36745d41af6b42d6133765c1b91a20e4',1,'SVF::RelationSolver']]],
-  ['binaryop_702',['BinaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337',1,'SVF::VFGNode::BinaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13',1,'SVF::SVFStmt::BinaryOp()']]],
-  ['binaryoperator_703',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
-  ['binaryopstmt_704',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF::BinaryOPStmt'],['../classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a',1,'SVF::BinaryOPStmt::BinaryOPStmt()'],['../classSVF_1_1BinaryOPStmt.html#a9f5ec771bc547371ab9db18bb44a17c1',1,'SVF::BinaryOPStmt::BinaryOPStmt(const BinaryOPStmt &)'],['../classSVF_1_1BinaryOPStmt.html#a82ccf9e41f4f9eaeb6d4c8a9e913ffdb',1,'SVF::BinaryOPStmt::BinaryOPStmt(SVFVar *s, const OPVars &opnds, u32_t oc)']]],
-  ['binaryopvfgnode_705',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF::BinaryOPVFGNode'],['../classSVF_1_1BinaryOPVFGNode.html#a20a0cf8366831b6be38c9c1945254362',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode()'],['../classSVF_1_1BinaryOPVFGNode.html#aa292ddc0ac6e43f20dcee8a9cb8f97e0',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode(const BinaryOPVFGNode &)'],['../classSVF_1_1BinaryOPVFGNode.html#afa52d77205075141b59847b8400344e7',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode(NodeID id, const PAGNode *r)']]],
-  ['bind_5ftextdomain_5fcodeset_706',['bind_textdomain_codeset',['../extapi_8c.html#a8d02d24ade4c4b8a3134591880a195fa',1,'extapi.c']]],
-  ['bindtextdomain_707',['bindtextdomain',['../extapi_8c.html#ac852a1476d916526d67ccbf5e0bd15ca',1,'extapi.c']]],
-  ['bit_708',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
-  ['bitcastinst_709',['BitCastInst',['../namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d',1,'SVF']]],
-  ['bitnumber_710',['BitNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['bits_711',['Bits',['../structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526',1,'SVF::SparseBitVectorElement::Bits()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d',1,'SVF::SparseBitVector::SparseBitVectorIterator::Bits()']]],
-  ['bits_5fper_5felement_712',['BITS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d',1,'SVF::SparseBitVectorElement']]],
-  ['bitvector_713',['BitVector',['../classSVF_1_1BitVector.html',1,'SVF::BitVector'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f',1,'SVF::SparseBitVector::SparseBitVectorIterator::BitVector()'],['../classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990',1,'SVF::BitVector::BitVector(void)'],['../classSVF_1_1BitVector.html#a79f32ec9f2644133b1df8b8e0e26da15',1,'SVF::BitVector::BitVector(size_t n)'],['../classSVF_1_1BitVector.html#a5c01a464702283bf07ef6831705405a2',1,'SVF::BitVector::BitVector(const BitVector &bv)'],['../classSVF_1_1BitVector.html#a4a5726a380b115e555944059a507eab7',1,'SVF::BitVector::BitVector(BitVector &&bv)']]],
-  ['bitvector_2ecpp_714',['BitVector.cpp',['../BitVector_8cpp.html',1,'']]],
-  ['bitvector_2eh_715',['BitVector.h',['../BitVector_8h.html',1,'']]],
-  ['bitword_716',['BitWord',['../structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d',1,'SVF::SparseBitVectorElement']]],
-  ['bitword_5fsize_717',['BITWORD_SIZE',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4',1,'SVF::SparseBitVectorElement::BITWORD_SIZE()'],['../classSVF_1_1SparseBitVector.html#ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e',1,'SVF::SparseBitVector::BITWORD_SIZE()']]],
-  ['bitwords_5fper_5felement_718',['BITWORDS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3',1,'SVF::SparseBitVectorElement']]],
-  ['blackhole_719',['BlackHole',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba95734ab884566beab5cd3523c250b539',1,'SVF::SymbolTableInfo']]],
-  ['blackholeobjectid_720',['blackHoleObjectId',['../classSVF_1_1NodeIDAllocator.html#a79ee84d7efb8abbfcd80d31d966ce20b',1,'SVF::NodeIDAllocator']]],
-  ['blackholepointerid_721',['blackHolePointerId',['../classSVF_1_1NodeIDAllocator.html#a535be344f97496d8086e2861ea6dc2ea',1,'SVF::NodeIDAllocator']]],
-  ['blackholesymid_722',['blackholeSymID',['../classSVF_1_1SymbolTableInfo.html#a05ca2987d9f8716c24e489bec53502f4',1,'SVF::SymbolTableInfo']]],
-  ['blkptr_723',['BlkPtr',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba9a9d3f03f58ccd4fdaaf08327a74aa03',1,'SVF::SymbolTableInfo']]],
-  ['blkptrsymid_724',['blkPtrSymID',['../classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72',1,'SVF::SymbolTableInfo']]],
-  ['blockaddress_725',['BlockAddress',['../namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c',1,'SVF']]],
-  ['boolean_726',['boolean',['../cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.h'],['../cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.cpp']]],
-  ['bothinteredges_727',['bothInterEdges',['../classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463',1,'SVF::SVFGOPT']]],
-  ['bottom_728',['bottom',['../classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e',1,'SVF::IntervalExeState::bottom()'],['../classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443',1,'SVF::IntervalValue::bottom()']]],
-  ['bottomconstant_729',['bottomConstant',['../classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8',1,'SVF::SingleAbsValue']]],
-  ['boundedz3expr_730',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html',1,'SVF::BoundedZ3Expr'],['../classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34',1,'SVF::BoundedZ3Expr::BoundedZ3Expr()=default'],['../classSVF_1_1BoundedZ3Expr.html#a572da9c3edd1e61ece1aba72104f71dd',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const Z3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a093d3d2b95f0de658472a20384c36248',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const z3::expr &e)'],['../classSVF_1_1BoundedZ3Expr.html#ac25e1b9231a66c94967bebb908a45680',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s32_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a8995acaa4d5c1f43c526f938eb2c26bb',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s64_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const BoundedZ3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a1e666f5db9f47cf09fc22de840a405e3',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(BoundedZ3Expr &&z3Expr)']]],
-  ['boundedz3expr_2ecpp_731',['BoundedZ3Expr.cpp',['../BoundedZ3Expr_8cpp.html',1,'']]],
-  ['boundedz3expr_2eh_732',['BoundedZ3Expr.h',['../BoundedZ3Expr_8h.html',1,'']]],
-  ['branch_733',['Branch',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01',1,'SVF::VFGNode::Branch()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3',1,'SVF::SVFStmt::Branch()'],['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854',1,'SVF::SVFBugEvent::Branch()']]],
-  ['branchcondition_734',['BranchCondition',['../classSVF_1_1CDGEdge.html#a62f0f460e501cd3b39e85b4186d33c45',1,'SVF::CDGEdge']]],
-  ['branchcondval_735',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3',1,'SVF::IntraCFGEdge']]],
-  ['branchflagmask_736',['BRANCHFLAGMASK',['../SVFBugReport_8h.html#a6c7cd1f1c2372251f51de3a8392faeec',1,'SVFBugReport.h']]],
-  ['branchinst_737',['BranchInst',['../namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f',1,'SVF']]],
-  ['branchstat_738',['branchStat',['../classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce',1,'SVF::SVFStat']]],
-  ['branchstmt_739',['BranchStmt',['../classSVF_1_1BranchStmt.html',1,'SVF::BranchStmt'],['../classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd',1,'SVF::BranchStmt::BranchStmt()'],['../classSVF_1_1BranchStmt.html#a714d118096f0a3d439cfbff10aa455a2',1,'SVF::BranchStmt::BranchStmt(const BranchStmt &)'],['../classSVF_1_1BranchStmt.html#a5e102d5c08b7121efc87b99651f0b5d2',1,'SVF::BranchStmt::BranchStmt(SVFVar *inst, SVFVar *c, const SuccAndCondPairVec &succs)']]],
-  ['branchvfgnode_740',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html',1,'SVF::BranchVFGNode'],['../classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494',1,'SVF::BranchVFGNode::BranchVFGNode()'],['../classSVF_1_1BranchVFGNode.html#adbaa9b14441cb66ad46671d93c09c513',1,'SVF::BranchVFGNode::BranchVFGNode(const BranchVFGNode &)'],['../classSVF_1_1BranchVFGNode.html#a29efb69de81e8fd799133c9194eec3d3',1,'SVF::BranchVFGNode::BranchVFGNode(NodeID id, const BranchStmt *r)']]],
-  ['brconditions_741',['brConditions',['../classSVF_1_1CDGEdge.html#a061f2c40b29b00f09ff02206c09405c0',1,'SVF::CDGEdge']]],
-  ['breakconstantexpr_2ecpp_742',['BreakConstantExpr.cpp',['../BreakConstantExpr_8cpp.html',1,'']]],
-  ['breakconstantexpr_2eh_743',['BreakConstantExpr.h',['../BreakConstantExpr_8h.html',1,'']]],
-  ['breakconstantgeps_744',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF::BreakConstantGEPs'],['../classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f',1,'SVF::BreakConstantGEPs::BreakConstantGEPs()']]],
-  ['bridge_5fgep_5fbegin_745',['bridge_gep_begin',['../namespacellvm.html#acfe99e9d441434240c79f6d76b73fe0a',1,'llvm::bridge_gep_begin(const User *GEP)'],['../namespacellvm.html#abbab4f4ed7ffae3e7e715990a0b416fe',1,'llvm::bridge_gep_begin(const User &GEP)']]],
-  ['bridge_5fgep_5fend_746',['bridge_gep_end',['../namespacellvm.html#a7cfc92a12082d69711c97bb3d1b99c48',1,'llvm::bridge_gep_end(const User *GEP)'],['../namespacellvm.html#adcacad81533beb6331d1cd4b1bbcf0d8',1,'llvm::bridge_gep_end(const User &GEP)'],['../namespacellvm.html#af784337dc495897cf05f28fd95f07477',1,'llvm::bridge_gep_end(Type *, ArrayRef< T > A)']]],
-  ['bridge_5fgep_5fiterator_747',['bridge_gep_iterator',['../namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc',1,'SVF::bridge_gep_iterator()'],['../namespacellvm.html#af77a7ec045719d1f075cf6c591902522',1,'llvm::bridge_gep_iterator()']]],
-  ['briefconscgdotgraph_748',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c',1,'SVF::Options']]],
-  ['brinst_749',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
-  ['brstmt_750',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],
-  ['bsearch_751',['bsearch',['../extapi_8c.html#a5e6b12b1c1a15546016e972b266a7522',1,'extapi.c']]],
-  ['buffer_752',['buffer',['../structprintbuffer.html#a754f63618e91db99f7ab6cfc4e629013',1,'printbuffer::buffer()'],['../cJSON_8h.html#a503753140aa27b00f99a3501280b2746',1,'buffer(): cJSON.h'],['../cJSON_8cpp.html#a503753140aa27b00f99a3501280b2746',1,'buffer(): cJSON.cpp']]],
-  ['buffer_5fat_5foffset_753',['buffer_at_offset',['../cJSON_8cpp.html#ac538057ef78677344d222b763251af5e',1,'cJSON.cpp']]],
-  ['buffer_5flength_754',['buffer_length',['../cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.h'],['../cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.cpp']]],
-  ['buffer_5fskip_5fwhitespace_755',['buffer_skip_whitespace',['../cJSON_8cpp.html#a029a2c33fa2744a7cc5cf061f28d2cfc',1,'cJSON.cpp']]],
-  ['bufferoverflowbug_756',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html',1,'SVF::BufferOverflowBug'],['../classSVF_1_1BufferOverflowBug.html#ac05f2603f96431354402ea526da27fec',1,'SVF::BufferOverflowBug::BufferOverflowBug()']]],
-  ['bugeventstack_757',['bugEventStack',['../classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490',1,'SVF::GenericBug']]],
-  ['bugmsg1_758',['bugMsg1',['../namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3',1,'SVF::SVFUtil']]],
-  ['bugmsg2_759',['bugMsg2',['../namespaceSVF_1_1SVFUtil.html#ac25f6dfcc9118ffd80244a771bdee535',1,'SVF::SVFUtil']]],
-  ['bugmsg3_760',['bugMsg3',['../namespaceSVF_1_1SVFUtil.html#a76909ad87f59eb9a9cfd1913e13da264',1,'SVF::SVFUtil']]],
-  ['bugset_761',['BugSet',['../classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac',1,'SVF::SVFBugReport::BugSet()'],['../classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3',1,'SVF::SVFBugReport::bugSet()']]],
-  ['bugtype_762',['BugType',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac',1,'SVF::GenericBug::BugType()'],['../classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51',1,'SVF::GenericBug::bugType()']]],
-  ['bugtype2str_763',['BugType2Str',['../classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3',1,'SVF::GenericBug']]],
-  ['build_764',['build',['../classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250',1,'SVF::ICFGBuilder::build()'],['../classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d',1,'SVF::LLVMLoopAnalysis::build()'],['../classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e',1,'SVF::LLVMModuleSet::build()'],['../classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689',1,'SVF::SVFIRBuilder::build()'],['../classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f',1,'SVF::CFBasicBlockGWTO::build()'],['../classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383',1,'SVF::CFLGraphBuilder::build(GenericGraph< N, E > *graph, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)'],['../classSVF_1_1CFLGraphBuilder.html#a2e97c964eb1e187a931f17da9672815f',1,'SVF::CFLGraphBuilder::build(std::string fileName, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)'],['../classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505',1,'SVF::GrammarBuilder::build() const'],['../classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3',1,'SVF::GrammarBuilder::build(Map< std::string, SVF::GrammarBase::Symbol > &preMap) const'],['../classSVF_1_1SVFGBuilder.html#a47591192260ddc3ff0717430f127cc95',1,'SVF::SVFGBuilder::build()'],['../classSVF_1_1TCT.html#ab86389b3bf292c5b3d2b29fc49a5d94d',1,'SVF::TCT::build()'],['../classSVF_1_1PAGBuilderFromFile.html#ac5a5058088d03fc9e0e8a0ed8b4367aa',1,'SVF::PAGBuilderFromFile::build()'],['../classSVF_1_1CDGBuilder.html#aeeb38d897babfeff1844c643dda8ae97',1,'SVF::CDGBuilder::build()'],['../classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf',1,'SVF::CFBasicBlockGBuilder::build()']]],
-  ['build_5ftails_765',['build_tails',['../classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a',1,'SVF::CFBasicBlockGWTO']]],
-  ['buildbigraph_766',['buildBigraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd',1,'SVF::AliasCFLGraphBuilder::buildBigraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1',1,'SVF::VFCFLGraphBuilder::buildBigraph()']]],
-  ['buildbipeggraph_767',['buildBiPEGgraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880',1,'SVF::AliasCFLGraphBuilder::buildBiPEGgraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20',1,'SVF::VFCFLGraphBuilder::buildBiPEGgraph()']]],
-  ['buildcallgraph_768',['buildCallGraph',['../classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc',1,'SVF::CallGraphBuilder']]],
-  ['buildcandidatefuncsetforlock_769',['buildCandidateFuncSetforLock',['../classSVF_1_1LockAnalysis.html#a271506d5032033efae684b0d729f5b3e',1,'SVF::LockAnalysis']]],
-  ['buildcfldata_770',['buildCFLData',['../classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc',1,'SVF::POCRSolver']]],
-  ['buildcflgrammar_771',['buildCFLGrammar',['../classSVF_1_1CFLBase.html#a77bc3b0260fe02cdcf41fdb6b80caa09',1,'SVF::CFLBase']]],
-  ['buildcflgraph_772',['buildCFLGraph',['../classSVF_1_1CFLBase.html#a0daabb58bd7d5be40379ccc670c37a93',1,'SVF::CFLBase::buildCFLGraph()'],['../classSVF_1_1CFLVF.html#aa20f8d27da439c831f36b31312daf047',1,'SVF::CFLVF::buildCFLGraph()']]],
-  ['buildcg_773',['buildCG',['../classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278',1,'SVF::ConstraintGraph']]],
-  ['buildchg_774',['buildCHG',['../classSVF_1_1CHGBuilder.html#aa5c672ac426ad4085d64d97f8cb14ace',1,'SVF::CHGBuilder::buildCHG()'],['../classSVF_1_1DCHGraph.html#a710c6b87fd475552eddb425e38de8889',1,'SVF::DCHGraph::buildCHG()']]],
-  ['buildchgedges_775',['buildCHGEdges',['../classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25',1,'SVF::CHGBuilder']]],
-  ['buildchgnodes_776',['buildCHGNodes',['../classSVF_1_1CHGBuilder.html#a648e97899c16a5634fc8369aef8a031f',1,'SVF::CHGBuilder::buildCHGNodes(const GlobalValue *V)'],['../classSVF_1_1CHGBuilder.html#abca5a0a010fdb63a3fa8b92ea0dd55e6',1,'SVF::CHGBuilder::buildCHGNodes(const Function *F)']]],
-  ['buildclassnametoancestorsdescendantsmap_777',['buildClassNameToAncestorsDescendantsMap',['../classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb',1,'SVF::CHGBuilder']]],
-  ['buildcontroldependence_778',['buildControlDependence',['../classSVF_1_1CDGBuilder.html#aa57921c1c3002e7e35cfb6b113cd8031',1,'SVF::CDGBuilder']]],
-  ['buildcstochavtblsandvfnsmap_779',['buildCSToCHAVtblsAndVfnsMap',['../classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c',1,'SVF::CHGBuilder']]],
-  ['builddeltamaps_780',['buildDeltaMaps',['../classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014',1,'SVF::VersionedFlowSensitive']]],
-  ['builddirection_781',['BuildDirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa',1,'SVF']]],
-  ['buildfromdot_782',['buildFromDot',['../classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a',1,'SVF::CFLGraphBuilder']]],
-  ['buildfromjson_783',['buildFromJson',['../classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a',1,'SVF::CFLGraphBuilder']]],
-  ['buildfromtext_784',['buildFromText',['../classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f',1,'SVF::CFLGraphBuilder']]],
-  ['buildfullsvfg_785',['buildFullSVFG',['../classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd',1,'SVF::SVFGBuilder']]],
-  ['buildfuntofunmap_786',['buildFunToFunMap',['../classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628',1,'SVF::LLVMModuleSet']]],
-  ['buildglobaldeftorepmap_787',['buildGlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47',1,'SVF::LLVMModuleSet']]],
-  ['buildglobes_788',['buildGlobES',['../classSVF_1_1ConsExeState.html#a4cdddbbcb6b07f2db9cfad565ca7e57b',1,'SVF::ConsExeState']]],
-  ['buildicfgnodecontrolmap_789',['buildICFGNodeControlMap',['../classSVF_1_1CDGBuilder.html#ab56c8f3ab29a907d420622dd8e933f0d',1,'SVF::CDGBuilder']]],
-  ['buildingchgtime_790',['buildingCHGTime',['../classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836',1,'SVF::CHGraph']]],
-  ['buildinternalmaps_791',['buildInternalMaps',['../classSVF_1_1CHGBuilder.html#ad9f1c51ba6dc279f22aa671f29257a50',1,'SVF::CHGBuilder']]],
-  ['buildisstoreloadmaps_792',['buildIsStoreLoadMaps',['../classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c',1,'SVF::VersionedFlowSensitive']]],
-  ['buildlabeltokindmap_793',['buildlabelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8',1,'SVF::CFLGraphBuilder']]],
-  ['buildllvmloops_794',['buildLLVMLoops',['../classSVF_1_1LLVMLoopAnalysis.html#abb501d497067af4365e5108d27387623',1,'SVF::LLVMLoopAnalysis']]],
-  ['buildmemmodel_795',['buildMemModel',['../classSVF_1_1SymbolTableBuilder.html#aef0bb1e88d0b69313c673318f7b7cb5f',1,'SVF::SymbolTableBuilder']]],
-  ['buildmemssa_796',['buildMemSSA',['../classSVF_1_1MemSSA.html#a4f3c4374ba4b06a819721a8e05efe221',1,'SVF::MemSSA']]],
-  ['buildmssa_797',['buildMSSA',['../classSVF_1_1SVFGBuilder.html#a057d1d631326e844ce3287eb17b98c1a',1,'SVF::SVFGBuilder']]],
-  ['buildnodetowtocycledepth_798',['buildNodeToWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#a50fa3b82172788c5e963d723b27900ba',1,'SVF::CFBasicBlockGWTO']]],
-  ['buildptronlysvfg_799',['buildPTROnlySVFG',['../classSVF_1_1SVFGBuilder.html#ab7353191edd06568e2598177d253c1d9',1,'SVF::SVFGBuilder']]],
-  ['buildrelz3expr_800',['buildRelZ3Expr',['../classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210',1,'SVF::RelExeState']]],
-  ['buildsvfg_801',['buildSVFG',['../classSVF_1_1DDAVFSolver.html#af34ed8482d3737a8aaaff2d5c75960ec',1,'SVF::DDAVFSolver::buildSVFG()'],['../classSVF_1_1SVFG.html#a0920e9f9896531959d74ae61013d96d6',1,'SVF::SVFG::buildSVFG()'],['../classSVF_1_1SVFGOPT.html#a788fded648d6d037dc7be4b7796a3e7a',1,'SVF::SVFGOPT::buildSVFG()'],['../classSVF_1_1SVFGBuilder.html#ae2d84f7527de200a2f269dc1c056a305',1,'SVF::SVFGBuilder::buildSVFG()'],['../classSVF_1_1MTASVFGBuilder.html#a3b75cd10a314c920669cd0d4790e1a16',1,'SVF::MTASVFGBuilder::buildSVFG()'],['../classSVF_1_1SaberSVFGBuilder.html#a4d70d1413f42f30437d8eb45ff00b6f6',1,'SVF::SaberSVFGBuilder::buildSVFG()']]],
-  ['buildsvfloops_802',['buildSVFLoops',['../classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78',1,'SVF::LLVMLoopAnalysis']]],
-  ['buildsvfmodule_803',['buildSVFModule',['../classSVF_1_1LLVMModuleSet.html#a3820263a157cffcfd78ad2894e9bcc5a',1,'SVF::LLVMModuleSet::buildSVFModule(Module &mod, std::unique_ptr< LLVMContext > context)'],['../classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9',1,'SVF::LLVMModuleSet::buildSVFModule(const std::vector< std::string > &moduleNameVec)']]],
-  ['buildsymboltable_804',['buildSymbolTable',['../classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd',1,'SVF::LLVMModuleSet']]],
-  ['buildthreadcallgraph_805',['buildThreadCallGraph',['../classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7',1,'SVF::ThreadCallGraphBuilder']]],
-  ['buildusage_806',['buildUsage',['../classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965',1,'OptionBase']]],
-  ['buildvirtualfunctiontoidmap_807',['buildVirtualFunctionToIDMap',['../classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8',1,'SVF::CHGBuilder']]],
-  ['buildvtables_808',['buildVTables',['../classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f',1,'SVF::DCHGraph']]],
-  ['bv_809',['bv',['../classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587',1,'SVF::PointsTo::bv()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892',1,'SVF::PointsTo::BV()']]],
-  ['bv2int_810',['bv2int',['../classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1',1,'SVF::BoundedZ3Expr::bv2int()'],['../classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7',1,'SVF::SingleAbsValue::bv2int()'],['../classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a',1,'SVF::Z3Expr::bv2int()']]],
-  ['bvdataimpl_811',['BVDataImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8',1,'SVF::PointerAnalysis']]],
-  ['bvdataptaimpl_812',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF::BVDataPTAImpl'],['../classSVF_1_1SVFIR.html#abab304aade6559906d047cdc992acb7f',1,'SVF::SVFIR::BVDataPTAImpl()'],['../classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476',1,'SVF::BVDataPTAImpl::BVDataPTAImpl()']]],
-  ['bvit_813',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
-  ['bvlen_814',['bvLen',['../classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7',1,'SVF::BoundedZ3Expr']]],
-  ['bwprocesscurnode_815',['BWProcessCurNode',['../classSVF_1_1SrcSnkDDA.html#ad9eb5a4e0b3783c300c36b66f053e302',1,'SVF::SrcSnkDDA::BWProcessCurNode()'],['../classSVF_1_1SrcSnkSolver.html#a447db2796a7024dfa0fbe9ac95c671c0',1,'SVF::SrcSnkSolver::BWProcessCurNode()'],['../classSVF_1_1GraphReachSolver.html#a5b2ec04cbee0e457ed9d8a8a4c2e134f',1,'SVF::GraphReachSolver::BWProcessCurNode()']]],
-  ['bwprocessincomingedge_816',['BWProcessIncomingEdge',['../classSVF_1_1SrcSnkDDA.html#a3a097517e85b9ea4c92d5e213b04e1f0',1,'SVF::SrcSnkDDA::BWProcessIncomingEdge()'],['../classSVF_1_1SrcSnkSolver.html#a9e8b3a956eb5d1ac2aad095eb132c848',1,'SVF::SrcSnkSolver::BWProcessIncomingEdge()'],['../classSVF_1_1GraphReachSolver.html#aac7caf50b94caa7bd6960461c0c16014',1,'SVF::GraphReachSolver::BWProcessIncomingEdge()']]],
-  ['bypassmssaphinode_817',['bypassMSSAPHINode',['../classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16',1,'SVF::SVFGOPT']]],
-  ['bytesize_818',['byteSize',['../classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6',1,'SVF::SVFType::byteSize()'],['../classSVF_1_1ObjTypeInfo.html#abe4d855db71b38e7fdd2fd73cca67814',1,'SVF::ObjTypeInfo::byteSize()']]]
+  ['basicblockhasretinst_681',['basicBlockHasRetInst',['../namespaceSVF_1_1LLVMUtil.html#abb4b5ed04ec70a2e7fca8198132370cf',1,'SVF::LLVMUtil']]],
+  ['basicblockset_682',['BasicBlockSet',['../classSVF_1_1SaberCondAllocator.html#a45642ecc305ea97b58e0eeebd00fec7b',1,'SVF::SaberCondAllocator']]],
+  ['basictypes_2eh_683',['BasicTypes.h',['../BasicTypes_8h.html',1,'']]],
+  ['bb_684',['bb',['../classSVF_1_1ICFGNode.html#a0cd08725df3e8665762ee37b5d4c138a',1,'SVF::ICFGNode::bb()'],['../classSVF_1_1LoadMU.html#aadfeb1a4924cbe78a828fd4a94fb59da',1,'SVF::LoadMU::bb()'],['../classSVF_1_1StoreCHI.html#ae8bd147e80514d5cb42f249d98b5fb72',1,'SVF::StoreCHI::bb()'],['../classSVF_1_1MSSAPHI.html#a3353fb233d81d5218540e8da2bad1a45',1,'SVF::MSSAPHI::bb()'],['../classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0',1,'SVF::SVFInstruction::bb()']]],
+  ['bb2loopmap_685',['bb2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ad578beedd9a6b64a57f82d799e6b8fa7',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bb2pdomlevel_686',['bb2PdomLevel',['../classSVF_1_1SVFLoopAndDomInfo.html#a80acecc52faf9609aeea7e49008f0e01',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bb2phisetmap_687',['bb2PhiSetMap',['../classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23',1,'SVF::MemSSA']]],
+  ['bb2pidom_688',['bb2PIdom',['../classSVF_1_1SVFLoopAndDomInfo.html#ab7bf163ebfd2c43d233c598ed2a25551',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bbcondmap_689',['BBCondMap',['../classSVF_1_1SaberCondAllocator.html#a513ab32b3f9ddfb0a21668e881bcf27b',1,'SVF::SaberCondAllocator']]],
+  ['bbconds_690',['bbConds',['../classSVF_1_1SaberCondAllocator.html#a5c129ebf5ae55eb3af8bd670c921a646',1,'SVF::SaberCondAllocator']]],
+  ['bblist_691',['BBList',['../classSVF_1_1MemSSA.html#a0e4aa3519d1805cfee0190ec43155beb',1,'SVF::MemSSA::BBList()'],['../classSVF_1_1SVFLoopAndDomInfo.html#a33b96ce50eb1d3caab2b20c19a60b2cc',1,'SVF::SVFLoopAndDomInfo::BBList()'],['../classSVF_1_1SVFFunction.html#ad09ea0c680c88732c08d655e0afbead3',1,'SVF::SVFFunction::BBList()']]],
+  ['bbset_692',['BBSet',['../classSVF_1_1ICFGBuilder.html#abb7144bcc587e236fd22f6c8896117f5',1,'SVF::ICFGBuilder::BBSet()'],['../classSVF_1_1SVFLoopAndDomInfo.html#ad478ac88bc07cf4d6d0ad3517b2c4ab3',1,'SVF::SVFLoopAndDomInfo::BBSet()'],['../classSVF_1_1SVFFunction.html#ae4f78769558a3cc8d2c948a4f5379ec9',1,'SVF::SVFFunction::BBSet()']]],
+  ['bbtocondmap_693',['bbToCondMap',['../classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9',1,'SVF::SaberCondAllocator::bbToCondMap()'],['../classSVF_1_1SaberCondAllocator.html#ae4e8c7b47b9d672157b3c6f1c01188f8',1,'SVF::SaberCondAllocator::BBToCondMap()']]],
+  ['bbtomrsetmap_694',['BBToMRSetMap',['../classSVF_1_1MemSSA.html#acfe05b5b026ed41039540b11fe345734',1,'SVF::MemSSA']]],
+  ['bbtophisetmap_695',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#af939c93eee0128973d86974e36345917',1,'SVF::MemSSA']]],
+  ['bbworklist_696',['BBWorkList',['../classSVF_1_1PCG.html#a4eff22e077741d2decbad6f416ca7c6f',1,'SVF::PCG']]],
+  ['begin_697',['begin',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, ItTy It)'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4d10570a7a3b75fbec9fbc9fc7d3e619',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, unsigned AddrSpace, ItTy It)'],['../classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323',1,'SVF::AddressValue::begin()'],['../classSVF_1_1WTOCycleDepth.html#a2bfdd81b8742322d03c52c811ff742ce',1,'SVF::WTOCycleDepth::begin()'],['../classSVF_1_1CFBasicBlockGWTOCycle.html#aa4902464dbcfdf6d961050ebfe7b3c88',1,'SVF::CFBasicBlockGWTOCycle::begin()'],['../classSVF_1_1CFBasicBlockGWTO.html#a62021e77023442dc809f6441cd3692c5',1,'SVF::CFBasicBlockGWTO::begin()'],['../classSVF_1_1POCRSolver.html#ab030e53206df7233d43037d89f97eb85',1,'SVF::POCRSolver::begin() const'],['../classSVF_1_1POCRSolver.html#a333bd9ca42aec9127148d45955c64aed',1,'SVF::POCRSolver::begin()'],['../classSVF_1_1CFBasicBlockNode.html#a439a84d7181616f62d8ebac945dbbd59',1,'SVF::CFBasicBlockNode::begin()'],['../classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7',1,'SVF::GenericGraph::begin()'],['../classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6',1,'SVF::GenericGraph::begin() const'],['../classSVF_1_1CondStdSet.html#adf095111734d81b6ad1908a7f795b038',1,'SVF::CondStdSet::begin()'],['../classSVF_1_1CondStdSet.html#a76fb2382bf424638ed8e03cb48cdc90e',1,'SVF::CondStdSet::begin() const'],['../classSVF_1_1CondPointsToSet.html#a3521ec3be48cc03d9d3f562cb088a9ad',1,'SVF::CondPointsToSet::begin()'],['../classSVF_1_1CondPointsToSet.html#acec077e130e49ac66a5c3e464a73dec2',1,'SVF::CondPointsToSet::begin() const'],['../classSVF_1_1PointsTo.html#ad5b582d2672617806c61e6170d0b5a7e',1,'SVF::PointsTo::begin()'],['../classSVF_1_1WriterPtrPool.html#afe8686cdcce746eb49673d64b24c8945',1,'SVF::WriterPtrPool::begin()'],['../classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255',1,'SVF::SVFModule::begin()'],['../classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7',1,'SVF::SVFModule::begin() const'],['../classSVF_1_1SVFFunction.html#a49a6e9c0661135ceda2dd4d84c4b24ae',1,'SVF::SVFFunction::begin()'],['../classSVF_1_1SVFBasicBlock.html#ac9cb2f17e42c40ca81b49c8b63a855fc',1,'SVF::SVFBasicBlock::begin()'],['../classSVF_1_1CoreBitVector.html#a835bf11a1f698942db8e6bdadbbfd1f3',1,'SVF::CoreBitVector::begin()'],['../classSVF_1_1ContextCond.html#a4ae7e2236708b0d205f393cdce75c8d1',1,'SVF::ContextCond::begin()'],['../classSVF_1_1iter__range.html#a35c298cfeda798cbf4f65150796f8489',1,'SVF::iter_range::begin()'],['../classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772',1,'SVF::SparseBitVector::begin()']]],
+  ['begin_5fiterator_698',['begin_iterator',['../classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003',1,'SVF::iter_range']]],
+  ['bestcandidate_699',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['beta_700',['beta',['../classSVF_1_1RelationSolver.html#a5514dd057977686097cf314154748a25',1,'SVF::RelationSolver']]],
+  ['bidirection_701',['bidirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaf3515b032dca85081a3d653d0cb9b995',1,'SVF']]],
+  ['bilateral_702',['bilateral',['../classSVF_1_1RelationSolver.html#a36745d41af6b42d6133765c1b91a20e4',1,'SVF::RelationSolver']]],
+  ['binaryop_703',['BinaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337',1,'SVF::VFGNode::BinaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13',1,'SVF::SVFStmt::BinaryOp()']]],
+  ['binaryoperator_704',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
+  ['binaryopstmt_705',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF::BinaryOPStmt'],['../classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a',1,'SVF::BinaryOPStmt::BinaryOPStmt()'],['../classSVF_1_1BinaryOPStmt.html#a9f5ec771bc547371ab9db18bb44a17c1',1,'SVF::BinaryOPStmt::BinaryOPStmt(const BinaryOPStmt &)'],['../classSVF_1_1BinaryOPStmt.html#a82ccf9e41f4f9eaeb6d4c8a9e913ffdb',1,'SVF::BinaryOPStmt::BinaryOPStmt(SVFVar *s, const OPVars &opnds, u32_t oc)']]],
+  ['binaryopvfgnode_706',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF::BinaryOPVFGNode'],['../classSVF_1_1BinaryOPVFGNode.html#a20a0cf8366831b6be38c9c1945254362',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode()'],['../classSVF_1_1BinaryOPVFGNode.html#aa292ddc0ac6e43f20dcee8a9cb8f97e0',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode(const BinaryOPVFGNode &)'],['../classSVF_1_1BinaryOPVFGNode.html#afa52d77205075141b59847b8400344e7',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode(NodeID id, const PAGNode *r)']]],
+  ['bind_5ftextdomain_5fcodeset_707',['bind_textdomain_codeset',['../extapi_8c.html#a8d02d24ade4c4b8a3134591880a195fa',1,'extapi.c']]],
+  ['bindtextdomain_708',['bindtextdomain',['../extapi_8c.html#ac852a1476d916526d67ccbf5e0bd15ca',1,'extapi.c']]],
+  ['bit_709',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
+  ['bitcastinst_710',['BitCastInst',['../namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d',1,'SVF']]],
+  ['bitnumber_711',['BitNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['bits_712',['Bits',['../structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526',1,'SVF::SparseBitVectorElement::Bits()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d',1,'SVF::SparseBitVector::SparseBitVectorIterator::Bits()']]],
+  ['bits_5fper_5felement_713',['BITS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d',1,'SVF::SparseBitVectorElement']]],
+  ['bitvector_714',['BitVector',['../classSVF_1_1BitVector.html',1,'SVF::BitVector'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f',1,'SVF::SparseBitVector::SparseBitVectorIterator::BitVector()'],['../classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990',1,'SVF::BitVector::BitVector(void)'],['../classSVF_1_1BitVector.html#a79f32ec9f2644133b1df8b8e0e26da15',1,'SVF::BitVector::BitVector(size_t n)'],['../classSVF_1_1BitVector.html#a5c01a464702283bf07ef6831705405a2',1,'SVF::BitVector::BitVector(const BitVector &bv)'],['../classSVF_1_1BitVector.html#a4a5726a380b115e555944059a507eab7',1,'SVF::BitVector::BitVector(BitVector &&bv)']]],
+  ['bitvector_2ecpp_715',['BitVector.cpp',['../BitVector_8cpp.html',1,'']]],
+  ['bitvector_2eh_716',['BitVector.h',['../BitVector_8h.html',1,'']]],
+  ['bitword_717',['BitWord',['../structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d',1,'SVF::SparseBitVectorElement']]],
+  ['bitword_5fsize_718',['BITWORD_SIZE',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4',1,'SVF::SparseBitVectorElement::BITWORD_SIZE()'],['../classSVF_1_1SparseBitVector.html#ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e',1,'SVF::SparseBitVector::BITWORD_SIZE()']]],
+  ['bitwords_5fper_5felement_719',['BITWORDS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3',1,'SVF::SparseBitVectorElement']]],
+  ['blackhole_720',['BlackHole',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba95734ab884566beab5cd3523c250b539',1,'SVF::SymbolTableInfo']]],
+  ['blackholeobjectid_721',['blackHoleObjectId',['../classSVF_1_1NodeIDAllocator.html#a79ee84d7efb8abbfcd80d31d966ce20b',1,'SVF::NodeIDAllocator']]],
+  ['blackholepointerid_722',['blackHolePointerId',['../classSVF_1_1NodeIDAllocator.html#a535be344f97496d8086e2861ea6dc2ea',1,'SVF::NodeIDAllocator']]],
+  ['blackholesymid_723',['blackholeSymID',['../classSVF_1_1SymbolTableInfo.html#a05ca2987d9f8716c24e489bec53502f4',1,'SVF::SymbolTableInfo']]],
+  ['blkptr_724',['BlkPtr',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba9a9d3f03f58ccd4fdaaf08327a74aa03',1,'SVF::SymbolTableInfo']]],
+  ['blkptrsymid_725',['blkPtrSymID',['../classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72',1,'SVF::SymbolTableInfo']]],
+  ['blockaddress_726',['BlockAddress',['../namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c',1,'SVF']]],
+  ['boolean_727',['boolean',['../cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.h'],['../cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.cpp']]],
+  ['bothinteredges_728',['bothInterEdges',['../classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463',1,'SVF::SVFGOPT']]],
+  ['bottom_729',['bottom',['../classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e',1,'SVF::IntervalExeState::bottom()'],['../classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443',1,'SVF::IntervalValue::bottom()']]],
+  ['bottomconstant_730',['bottomConstant',['../classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8',1,'SVF::SingleAbsValue']]],
+  ['boundedz3expr_731',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html',1,'SVF::BoundedZ3Expr'],['../classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34',1,'SVF::BoundedZ3Expr::BoundedZ3Expr()=default'],['../classSVF_1_1BoundedZ3Expr.html#a572da9c3edd1e61ece1aba72104f71dd',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const Z3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a093d3d2b95f0de658472a20384c36248',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const z3::expr &e)'],['../classSVF_1_1BoundedZ3Expr.html#ac25e1b9231a66c94967bebb908a45680',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s32_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a8995acaa4d5c1f43c526f938eb2c26bb',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s64_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const BoundedZ3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a1e666f5db9f47cf09fc22de840a405e3',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(BoundedZ3Expr &&z3Expr)']]],
+  ['boundedz3expr_2ecpp_732',['BoundedZ3Expr.cpp',['../BoundedZ3Expr_8cpp.html',1,'']]],
+  ['boundedz3expr_2eh_733',['BoundedZ3Expr.h',['../BoundedZ3Expr_8h.html',1,'']]],
+  ['branch_734',['Branch',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01',1,'SVF::VFGNode::Branch()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3',1,'SVF::SVFStmt::Branch()'],['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854',1,'SVF::SVFBugEvent::Branch()']]],
+  ['branchcondition_735',['BranchCondition',['../classSVF_1_1CDGEdge.html#a62f0f460e501cd3b39e85b4186d33c45',1,'SVF::CDGEdge']]],
+  ['branchcondval_736',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3',1,'SVF::IntraCFGEdge']]],
+  ['branchflagmask_737',['BRANCHFLAGMASK',['../SVFBugReport_8h.html#a6c7cd1f1c2372251f51de3a8392faeec',1,'SVFBugReport.h']]],
+  ['branchinst_738',['BranchInst',['../namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f',1,'SVF']]],
+  ['branchstat_739',['branchStat',['../classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce',1,'SVF::SVFStat']]],
+  ['branchstmt_740',['BranchStmt',['../classSVF_1_1BranchStmt.html',1,'SVF::BranchStmt'],['../classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd',1,'SVF::BranchStmt::BranchStmt()'],['../classSVF_1_1BranchStmt.html#a714d118096f0a3d439cfbff10aa455a2',1,'SVF::BranchStmt::BranchStmt(const BranchStmt &)'],['../classSVF_1_1BranchStmt.html#a5e102d5c08b7121efc87b99651f0b5d2',1,'SVF::BranchStmt::BranchStmt(SVFVar *inst, SVFVar *c, const SuccAndCondPairVec &succs)']]],
+  ['branchvfgnode_741',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html',1,'SVF::BranchVFGNode'],['../classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494',1,'SVF::BranchVFGNode::BranchVFGNode()'],['../classSVF_1_1BranchVFGNode.html#adbaa9b14441cb66ad46671d93c09c513',1,'SVF::BranchVFGNode::BranchVFGNode(const BranchVFGNode &)'],['../classSVF_1_1BranchVFGNode.html#a29efb69de81e8fd799133c9194eec3d3',1,'SVF::BranchVFGNode::BranchVFGNode(NodeID id, const BranchStmt *r)']]],
+  ['brconditions_742',['brConditions',['../classSVF_1_1CDGEdge.html#a061f2c40b29b00f09ff02206c09405c0',1,'SVF::CDGEdge']]],
+  ['breakconstantexpr_2ecpp_743',['BreakConstantExpr.cpp',['../BreakConstantExpr_8cpp.html',1,'']]],
+  ['breakconstantexpr_2eh_744',['BreakConstantExpr.h',['../BreakConstantExpr_8h.html',1,'']]],
+  ['breakconstantgeps_745',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF::BreakConstantGEPs'],['../classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f',1,'SVF::BreakConstantGEPs::BreakConstantGEPs()']]],
+  ['bridge_5fgep_5fbegin_746',['bridge_gep_begin',['../namespacellvm.html#acfe99e9d441434240c79f6d76b73fe0a',1,'llvm::bridge_gep_begin(const User *GEP)'],['../namespacellvm.html#abbab4f4ed7ffae3e7e715990a0b416fe',1,'llvm::bridge_gep_begin(const User &GEP)']]],
+  ['bridge_5fgep_5fend_747',['bridge_gep_end',['../namespacellvm.html#a7cfc92a12082d69711c97bb3d1b99c48',1,'llvm::bridge_gep_end(const User *GEP)'],['../namespacellvm.html#adcacad81533beb6331d1cd4b1bbcf0d8',1,'llvm::bridge_gep_end(const User &GEP)'],['../namespacellvm.html#af784337dc495897cf05f28fd95f07477',1,'llvm::bridge_gep_end(Type *, ArrayRef< T > A)']]],
+  ['bridge_5fgep_5fiterator_748',['bridge_gep_iterator',['../namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc',1,'SVF::bridge_gep_iterator()'],['../namespacellvm.html#af77a7ec045719d1f075cf6c591902522',1,'llvm::bridge_gep_iterator()']]],
+  ['briefconscgdotgraph_749',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c',1,'SVF::Options']]],
+  ['brinst_750',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
+  ['brstmt_751',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],
+  ['bsearch_752',['bsearch',['../extapi_8c.html#a5e6b12b1c1a15546016e972b266a7522',1,'extapi.c']]],
+  ['buffer_753',['buffer',['../structprintbuffer.html#a754f63618e91db99f7ab6cfc4e629013',1,'printbuffer::buffer()'],['../cJSON_8h.html#a503753140aa27b00f99a3501280b2746',1,'buffer(): cJSON.h'],['../cJSON_8cpp.html#a503753140aa27b00f99a3501280b2746',1,'buffer(): cJSON.cpp']]],
+  ['buffer_5fat_5foffset_754',['buffer_at_offset',['../cJSON_8cpp.html#ac538057ef78677344d222b763251af5e',1,'cJSON.cpp']]],
+  ['buffer_5flength_755',['buffer_length',['../cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.h'],['../cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.cpp']]],
+  ['buffer_5fskip_5fwhitespace_756',['buffer_skip_whitespace',['../cJSON_8cpp.html#a029a2c33fa2744a7cc5cf061f28d2cfc',1,'cJSON.cpp']]],
+  ['bufferoverflowbug_757',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html',1,'SVF::BufferOverflowBug'],['../classSVF_1_1BufferOverflowBug.html#ac05f2603f96431354402ea526da27fec',1,'SVF::BufferOverflowBug::BufferOverflowBug()']]],
+  ['bugeventstack_758',['bugEventStack',['../classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490',1,'SVF::GenericBug']]],
+  ['bugmsg1_759',['bugMsg1',['../namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3',1,'SVF::SVFUtil']]],
+  ['bugmsg2_760',['bugMsg2',['../namespaceSVF_1_1SVFUtil.html#ac25f6dfcc9118ffd80244a771bdee535',1,'SVF::SVFUtil']]],
+  ['bugmsg3_761',['bugMsg3',['../namespaceSVF_1_1SVFUtil.html#a76909ad87f59eb9a9cfd1913e13da264',1,'SVF::SVFUtil']]],
+  ['bugset_762',['bugSet',['../classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3',1,'SVF::SVFBugReport::bugSet()'],['../classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac',1,'SVF::SVFBugReport::BugSet()']]],
+  ['bugtype_763',['BugType',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac',1,'SVF::GenericBug::BugType()'],['../classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51',1,'SVF::GenericBug::bugType()']]],
+  ['bugtype2str_764',['BugType2Str',['../classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3',1,'SVF::GenericBug']]],
+  ['build_765',['build',['../classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250',1,'SVF::ICFGBuilder::build()'],['../classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d',1,'SVF::LLVMLoopAnalysis::build()'],['../classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e',1,'SVF::LLVMModuleSet::build()'],['../classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689',1,'SVF::SVFIRBuilder::build()'],['../classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f',1,'SVF::CFBasicBlockGWTO::build()'],['../classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383',1,'SVF::CFLGraphBuilder::build(GenericGraph< N, E > *graph, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)'],['../classSVF_1_1CFLGraphBuilder.html#a2e97c964eb1e187a931f17da9672815f',1,'SVF::CFLGraphBuilder::build(std::string fileName, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)'],['../classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505',1,'SVF::GrammarBuilder::build() const'],['../classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3',1,'SVF::GrammarBuilder::build(Map< std::string, SVF::GrammarBase::Symbol > &preMap) const'],['../classSVF_1_1SVFGBuilder.html#a47591192260ddc3ff0717430f127cc95',1,'SVF::SVFGBuilder::build()'],['../classSVF_1_1TCT.html#ab86389b3bf292c5b3d2b29fc49a5d94d',1,'SVF::TCT::build()'],['../classSVF_1_1PAGBuilderFromFile.html#ac5a5058088d03fc9e0e8a0ed8b4367aa',1,'SVF::PAGBuilderFromFile::build()'],['../classSVF_1_1CDGBuilder.html#aeeb38d897babfeff1844c643dda8ae97',1,'SVF::CDGBuilder::build()'],['../classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf',1,'SVF::CFBasicBlockGBuilder::build()']]],
+  ['build_5ftails_766',['build_tails',['../classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a',1,'SVF::CFBasicBlockGWTO']]],
+  ['buildbigraph_767',['buildBigraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd',1,'SVF::AliasCFLGraphBuilder::buildBigraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1',1,'SVF::VFCFLGraphBuilder::buildBigraph()']]],
+  ['buildbipeggraph_768',['buildBiPEGgraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880',1,'SVF::AliasCFLGraphBuilder::buildBiPEGgraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20',1,'SVF::VFCFLGraphBuilder::buildBiPEGgraph()']]],
+  ['buildcallgraph_769',['buildCallGraph',['../classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc',1,'SVF::CallGraphBuilder']]],
+  ['buildcandidatefuncsetforlock_770',['buildCandidateFuncSetforLock',['../classSVF_1_1LockAnalysis.html#a271506d5032033efae684b0d729f5b3e',1,'SVF::LockAnalysis']]],
+  ['buildcfldata_771',['buildCFLData',['../classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc',1,'SVF::POCRSolver']]],
+  ['buildcflgrammar_772',['buildCFLGrammar',['../classSVF_1_1CFLBase.html#a77bc3b0260fe02cdcf41fdb6b80caa09',1,'SVF::CFLBase']]],
+  ['buildcflgraph_773',['buildCFLGraph',['../classSVF_1_1CFLBase.html#a0daabb58bd7d5be40379ccc670c37a93',1,'SVF::CFLBase::buildCFLGraph()'],['../classSVF_1_1CFLVF.html#aa20f8d27da439c831f36b31312daf047',1,'SVF::CFLVF::buildCFLGraph()']]],
+  ['buildcg_774',['buildCG',['../classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278',1,'SVF::ConstraintGraph']]],
+  ['buildchg_775',['buildCHG',['../classSVF_1_1CHGBuilder.html#aa5c672ac426ad4085d64d97f8cb14ace',1,'SVF::CHGBuilder::buildCHG()'],['../classSVF_1_1DCHGraph.html#a710c6b87fd475552eddb425e38de8889',1,'SVF::DCHGraph::buildCHG()']]],
+  ['buildchgedges_776',['buildCHGEdges',['../classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25',1,'SVF::CHGBuilder']]],
+  ['buildchgnodes_777',['buildCHGNodes',['../classSVF_1_1CHGBuilder.html#a648e97899c16a5634fc8369aef8a031f',1,'SVF::CHGBuilder::buildCHGNodes(const GlobalValue *V)'],['../classSVF_1_1CHGBuilder.html#abca5a0a010fdb63a3fa8b92ea0dd55e6',1,'SVF::CHGBuilder::buildCHGNodes(const Function *F)']]],
+  ['buildclassnametoancestorsdescendantsmap_778',['buildClassNameToAncestorsDescendantsMap',['../classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb',1,'SVF::CHGBuilder']]],
+  ['buildcontroldependence_779',['buildControlDependence',['../classSVF_1_1CDGBuilder.html#aa57921c1c3002e7e35cfb6b113cd8031',1,'SVF::CDGBuilder']]],
+  ['buildcstochavtblsandvfnsmap_780',['buildCSToCHAVtblsAndVfnsMap',['../classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c',1,'SVF::CHGBuilder']]],
+  ['builddeltamaps_781',['buildDeltaMaps',['../classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014',1,'SVF::VersionedFlowSensitive']]],
+  ['builddirection_782',['BuildDirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa',1,'SVF']]],
+  ['buildfromdot_783',['buildFromDot',['../classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a',1,'SVF::CFLGraphBuilder']]],
+  ['buildfromjson_784',['buildFromJson',['../classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a',1,'SVF::CFLGraphBuilder']]],
+  ['buildfromtext_785',['buildFromText',['../classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f',1,'SVF::CFLGraphBuilder']]],
+  ['buildfullsvfg_786',['buildFullSVFG',['../classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd',1,'SVF::SVFGBuilder']]],
+  ['buildfuntofunmap_787',['buildFunToFunMap',['../classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628',1,'SVF::LLVMModuleSet']]],
+  ['buildglobaldeftorepmap_788',['buildGlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47',1,'SVF::LLVMModuleSet']]],
+  ['buildglobes_789',['buildGlobES',['../classSVF_1_1ConsExeState.html#a4cdddbbcb6b07f2db9cfad565ca7e57b',1,'SVF::ConsExeState']]],
+  ['buildicfgnodecontrolmap_790',['buildICFGNodeControlMap',['../classSVF_1_1CDGBuilder.html#ab56c8f3ab29a907d420622dd8e933f0d',1,'SVF::CDGBuilder']]],
+  ['buildingchgtime_791',['buildingCHGTime',['../classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836',1,'SVF::CHGraph']]],
+  ['buildinternalmaps_792',['buildInternalMaps',['../classSVF_1_1CHGBuilder.html#ad9f1c51ba6dc279f22aa671f29257a50',1,'SVF::CHGBuilder']]],
+  ['buildisstoreloadmaps_793',['buildIsStoreLoadMaps',['../classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c',1,'SVF::VersionedFlowSensitive']]],
+  ['buildlabeltokindmap_794',['buildlabelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8',1,'SVF::CFLGraphBuilder']]],
+  ['buildllvmloops_795',['buildLLVMLoops',['../classSVF_1_1LLVMLoopAnalysis.html#abb501d497067af4365e5108d27387623',1,'SVF::LLVMLoopAnalysis']]],
+  ['buildmemmodel_796',['buildMemModel',['../classSVF_1_1SymbolTableBuilder.html#aef0bb1e88d0b69313c673318f7b7cb5f',1,'SVF::SymbolTableBuilder']]],
+  ['buildmemssa_797',['buildMemSSA',['../classSVF_1_1MemSSA.html#a4f3c4374ba4b06a819721a8e05efe221',1,'SVF::MemSSA']]],
+  ['buildmssa_798',['buildMSSA',['../classSVF_1_1SVFGBuilder.html#a057d1d631326e844ce3287eb17b98c1a',1,'SVF::SVFGBuilder']]],
+  ['buildnodetowtocycledepth_799',['buildNodeToWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#a50fa3b82172788c5e963d723b27900ba',1,'SVF::CFBasicBlockGWTO']]],
+  ['buildptronlysvfg_800',['buildPTROnlySVFG',['../classSVF_1_1SVFGBuilder.html#ab7353191edd06568e2598177d253c1d9',1,'SVF::SVFGBuilder']]],
+  ['buildrelz3expr_801',['buildRelZ3Expr',['../classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210',1,'SVF::RelExeState']]],
+  ['buildsvfg_802',['buildSVFG',['../classSVF_1_1DDAVFSolver.html#af34ed8482d3737a8aaaff2d5c75960ec',1,'SVF::DDAVFSolver::buildSVFG()'],['../classSVF_1_1SVFG.html#a0920e9f9896531959d74ae61013d96d6',1,'SVF::SVFG::buildSVFG()'],['../classSVF_1_1SVFGOPT.html#a788fded648d6d037dc7be4b7796a3e7a',1,'SVF::SVFGOPT::buildSVFG()'],['../classSVF_1_1SVFGBuilder.html#ae2d84f7527de200a2f269dc1c056a305',1,'SVF::SVFGBuilder::buildSVFG()'],['../classSVF_1_1MTASVFGBuilder.html#a3b75cd10a314c920669cd0d4790e1a16',1,'SVF::MTASVFGBuilder::buildSVFG()'],['../classSVF_1_1SaberSVFGBuilder.html#a4d70d1413f42f30437d8eb45ff00b6f6',1,'SVF::SaberSVFGBuilder::buildSVFG()']]],
+  ['buildsvfloops_803',['buildSVFLoops',['../classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78',1,'SVF::LLVMLoopAnalysis']]],
+  ['buildsvfmodule_804',['buildSVFModule',['../classSVF_1_1LLVMModuleSet.html#a3820263a157cffcfd78ad2894e9bcc5a',1,'SVF::LLVMModuleSet::buildSVFModule(Module &mod, std::unique_ptr< LLVMContext > context)'],['../classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9',1,'SVF::LLVMModuleSet::buildSVFModule(const std::vector< std::string > &moduleNameVec)']]],
+  ['buildsymboltable_805',['buildSymbolTable',['../classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd',1,'SVF::LLVMModuleSet']]],
+  ['buildthreadcallgraph_806',['buildThreadCallGraph',['../classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7',1,'SVF::ThreadCallGraphBuilder']]],
+  ['buildusage_807',['buildUsage',['../classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965',1,'OptionBase']]],
+  ['buildvirtualfunctiontoidmap_808',['buildVirtualFunctionToIDMap',['../classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8',1,'SVF::CHGBuilder']]],
+  ['buildvtables_809',['buildVTables',['../classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f',1,'SVF::DCHGraph']]],
+  ['bv_810',['bv',['../classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587',1,'SVF::PointsTo::bv()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892',1,'SVF::PointsTo::BV()']]],
+  ['bv2int_811',['bv2int',['../classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1',1,'SVF::BoundedZ3Expr::bv2int()'],['../classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7',1,'SVF::SingleAbsValue::bv2int()'],['../classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a',1,'SVF::Z3Expr::bv2int()']]],
+  ['bvdataimpl_812',['BVDataImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8',1,'SVF::PointerAnalysis']]],
+  ['bvdataptaimpl_813',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF::BVDataPTAImpl'],['../classSVF_1_1SVFIR.html#abab304aade6559906d047cdc992acb7f',1,'SVF::SVFIR::BVDataPTAImpl()'],['../classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476',1,'SVF::BVDataPTAImpl::BVDataPTAImpl()']]],
+  ['bvit_814',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
+  ['bvlen_815',['bvLen',['../classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7',1,'SVF::BoundedZ3Expr']]],
+  ['bwprocesscurnode_816',['BWProcessCurNode',['../classSVF_1_1SrcSnkDDA.html#ad9eb5a4e0b3783c300c36b66f053e302',1,'SVF::SrcSnkDDA::BWProcessCurNode()'],['../classSVF_1_1SrcSnkSolver.html#a447db2796a7024dfa0fbe9ac95c671c0',1,'SVF::SrcSnkSolver::BWProcessCurNode()'],['../classSVF_1_1GraphReachSolver.html#a5b2ec04cbee0e457ed9d8a8a4c2e134f',1,'SVF::GraphReachSolver::BWProcessCurNode()']]],
+  ['bwprocessincomingedge_817',['BWProcessIncomingEdge',['../classSVF_1_1SrcSnkDDA.html#a3a097517e85b9ea4c92d5e213b04e1f0',1,'SVF::SrcSnkDDA::BWProcessIncomingEdge()'],['../classSVF_1_1SrcSnkSolver.html#a9e8b3a956eb5d1ac2aad095eb132c848',1,'SVF::SrcSnkSolver::BWProcessIncomingEdge()'],['../classSVF_1_1GraphReachSolver.html#aac7caf50b94caa7bd6960461c0c16014',1,'SVF::GraphReachSolver::BWProcessIncomingEdge()']]],
+  ['bypassmssaphinode_818',['bypassMSSAPHINode',['../classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16',1,'SVF::SVFGOPT']]],
+  ['bytesize_819',['byteSize',['../classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6',1,'SVF::SVFType::byteSize()'],['../classSVF_1_1ObjTypeInfo.html#abe4d855db71b38e7fdd2fd73cca67814',1,'SVF::ObjTypeInfo::byteSize()']]]
 ];