svf-tools 1.0.913 → 1.0.915

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

@@ -1,183 +1,183 @@
 var searchData=
 [
-  ['b_687',['b',['../cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.h'],['../cJSON_8cpp.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.cpp']]],
-  ['back_688',['back',['../classSVF_1_1SVFFunction.html#a60797e9e8b9cbd6b32cc71fa5d00d80c',1,'SVF::SVFFunction::back()'],['../classSVF_1_1SVFBasicBlock.html#ad05f85ce931d4479f71d1947a25599dc',1,'SVF::SVFBasicBlock::back()'],['../classSVF_1_1FILOWorkList.html#a9681638ade4598cb1faa3e580d1df9b3',1,'SVF::FILOWorkList::back()']]],
-  ['backicfgedges_689',['backICFGEdges',['../classSVF_1_1SVFLoop.html#aed4400521f825802719ac97a18452230',1,'SVF::SVFLoop']]],
-  ['backicfgedgesbegin_690',['backICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#a8b0341ca427d106c28b56d8b340a1e45',1,'SVF::SVFLoop']]],
-  ['backicfgedgesend_691',['backICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#a6eaf768ba9f537d81095c4df021c4825',1,'SVF::SVFLoop']]],
-  ['backtracealongdirectvf_692',['backtraceAlongDirectVF',['../classSVF_1_1DDAVFSolver.html#a7a6af30f30f32d55fc910f2ae4909791',1,'SVF::DDAVFSolver']]],
-  ['backtracealongindirectvf_693',['backtraceAlongIndirectVF',['../classSVF_1_1DDAVFSolver.html#a040bc02742836b0a6d46ce3c3e89fa46',1,'SVF::DDAVFSolver']]],
-  ['backtracetostoresrc_694',['backtraceToStoreSrc',['../classSVF_1_1DDAVFSolver.html#adbd209b4a2327b2b068fbb56e12042f7',1,'SVF::DDAVFSolver']]],
-  ['backwardpropdpm_695',['backwardPropDpm',['../classSVF_1_1DDAVFSolver.html#af6a6243b497df5fdab9f658b9add9c8a',1,'SVF::DDAVFSolver']]],
-  ['backwardslice_696',['backwardSlice',['../classSVF_1_1SVFGStat.html#a1f93abeefa0c265f4945171255107725',1,'SVF::SVFGStat::backwardSlice()'],['../classSVF_1_1ProgSlice.html#addb781260db48c0571c0083a45065ca0',1,'SVF::ProgSlice::backwardslice()']]],
-  ['backwardslicebegin_697',['backwardSliceBegin',['../classSVF_1_1ProgSlice.html#ab5810f8a7a994f0637c54b94d0367a89',1,'SVF::ProgSlice']]],
-  ['backwardsliceend_698',['backwardSliceEnd',['../classSVF_1_1ProgSlice.html#aed4bedc716a3e252e44a6f28e677d61c',1,'SVF::ProgSlice']]],
-  ['backwardtraverse_699',['backwardTraverse',['../classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc',1,'SVF::SrcSnkSolver::backwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#a8785ea71a1b0da03595fc8f594921819',1,'SVF::GraphReachSolver::backwardTraverse()']]],
-  ['backwardvisited_700',['backwardVisited',['../classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c',1,'SVF::DDAVFSolver::backwardVisited()'],['../classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286',1,'SVF::SrcSnkDDA::backwardVisited()']]],
-  ['bad_5ffcmp_5fpredicate_701',['BAD_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca257536bcaeadf76c6172db4d225f3a26',1,'SVF::CmpStmt']]],
-  ['bad_5ficmp_5fpredicate_702',['BAD_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca163b0f2adc52334e5a1083d59d6bc5d9',1,'SVF::CmpStmt']]],
-  ['barreplace_703',['barReplace',['../classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f',1,'SVF::CFGNormalizer']]],
-  ['base_704',['Base',['../classSVF_1_1ICFGWTO.html#ae4e25014cecf1f57c8cf1800319aa98d',1,'SVF::ICFGWTO::Base()'],['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a347b03b12df7d51774b617f4e7399568',1,'SVF::PTData::Base()'],['../classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5',1,'SVF::GepObjVar::base()']]],
-  ['basedfptdata_705',['BaseDFPTData',['../classSVF_1_1MutableDFPTData.html#a17a5aa4a749a5ffc75c663d057454e4a',1,'SVF::MutableDFPTData::BaseDFPTData()'],['../classSVF_1_1MutableIncDFPTData.html#a4b944ec759d0e78a7a2238db587752a9',1,'SVF::MutableIncDFPTData::BaseDFPTData()'],['../classSVF_1_1PersistentDFPTData.html#af9facbe8f694b8447bb6ebe48b95ad17',1,'SVF::PersistentDFPTData::BaseDFPTData()'],['../classSVF_1_1PersistentIncDFPTData.html#ae56633d34e5fb4499c82d422646a91f0',1,'SVF::PersistentIncDFPTData::BaseDFPTData()']]],
-  ['basediffptdata_706',['BaseDiffPTData',['../classSVF_1_1MutableDiffPTData.html#ab50b8026258c7c9103d2315ea3091340',1,'SVF::MutableDiffPTData::BaseDiffPTData()'],['../classSVF_1_1PersistentDiffPTData.html#a3a2cf38f220a831c4334614b835b57c6',1,'SVF::PersistentDiffPTData::BaseDiffPTData()']]],
-  ['baseids_707',['baseIds',['../classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54',1,'SVF::ConstraintNode']]],
-  ['baseimpl_708',['BaseImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da66b132e5ab8c8746eb22e58d199b4c2a',1,'SVF::PointerAnalysis']]],
-  ['basemutdfptdata_709',['BaseMutDFPTData',['../classSVF_1_1MutableIncDFPTData.html#a58f9b6357a5cf0243cf3b4ece30e8cf6',1,'SVF::MutableIncDFPTData']]],
-  ['basemutptdata_710',['BaseMutPTData',['../classSVF_1_1MutableDFPTData.html#ad02e5645ef7a73ba4c20c557a6f11789',1,'SVF::MutableDFPTData::BaseMutPTData()'],['../classSVF_1_1MutableIncDFPTData.html#a92f00e91a338113383bcf7bc8ce0026a',1,'SVF::MutableIncDFPTData::BaseMutPTData()']]],
-  ['basepersdfptdata_711',['BasePersDFPTData',['../classSVF_1_1PersistentIncDFPTData.html#abce6fa91fed789ef25146440ee10872b',1,'SVF::PersistentIncDFPTData']]],
-  ['basepersptdata_712',['BasePersPTData',['../classSVF_1_1PersistentDiffPTData.html#aa55e1c39fb0918c4f7f080a521f504f5',1,'SVF::PersistentDiffPTData::BasePersPTData()'],['../classSVF_1_1PersistentDFPTData.html#afccad3b3163f25cc058334083f90041d',1,'SVF::PersistentDFPTData::BasePersPTData()'],['../classSVF_1_1PersistentIncDFPTData.html#acea7eb9ee0c1ee36906d50bce584b56a',1,'SVF::PersistentIncDFPTData::BasePersPTData()']]],
-  ['baseptdata_713',['BasePTData',['../classSVF_1_1DiffPTData.html#ae61c0f266f26a22077c1e8409f6ba991',1,'SVF::DiffPTData::BasePTData()'],['../classSVF_1_1DFPTData.html#a6d5193ea9e77b3945cb0716978dc75be',1,'SVF::DFPTData::BasePTData()'],['../classSVF_1_1VersionedPTData.html#a9833b47df24ed821a55d5ce9a3917f1f',1,'SVF::VersionedPTData::BasePTData()'],['../classSVF_1_1MutablePTData.html#ab88ea00589ec9353bccf3629a1c4e5d3',1,'SVF::MutablePTData::BasePTData()'],['../classSVF_1_1MutableDiffPTData.html#a562f0f584cd4f3b2d18f3973fde9c068',1,'SVF::MutableDiffPTData::BasePTData()'],['../classSVF_1_1MutableDFPTData.html#a25274e3029dfa655c47b72f291b906de',1,'SVF::MutableDFPTData::BasePTData()'],['../classSVF_1_1MutableIncDFPTData.html#a14651359d0efe886c1313fd843e4d1db',1,'SVF::MutableIncDFPTData::BasePTData()'],['../classSVF_1_1MutableVersionedPTData.html#a31fd15a8147e3146b15b4d24fe34cf46',1,'SVF::MutableVersionedPTData::BasePTData()'],['../classSVF_1_1PersistentPTData.html#a6ca39340bb502c933c3dd6c1ab8f79c1',1,'SVF::PersistentPTData::BasePTData()'],['../classSVF_1_1PersistentDiffPTData.html#aa110fddf7d0cedfb66fcd37bae2c962c',1,'SVF::PersistentDiffPTData::BasePTData()'],['../classSVF_1_1PersistentDFPTData.html#a54c206686c17101a0233fbbd3836c05c',1,'SVF::PersistentDFPTData::BasePTData()'],['../classSVF_1_1PersistentIncDFPTData.html#a7751d9831519f8021626630dce499b1a',1,'SVF::PersistentIncDFPTData::BasePTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ad4586331863d67e78c54d919694b58db',1,'SVF::PersistentVersionedPTData::BasePTData()']]],
-  ['baset_714',['BaseT',['../classSVF_1_1iter__adaptor__base.html#afbad8b4d7822152aec9a206c0e293f96',1,'SVF::iter_adaptor_base']]],
-  ['baseversionedptdata_715',['BaseVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html#aa80044e3b4c3ed58117573dfa54d803b',1,'SVF::MutableVersionedPTData::BaseVersionedPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ab71b82478d74f1a20ce3de479f2d8d5c',1,'SVF::PersistentVersionedPTData::BaseVersionedPTData()']]],
-  ['basicblock_716',['basicBlock',['../classSVF_1_1SVFStmt.html#a8a2afa585fcbdcab375ddc04961a614f',1,'SVF::SVFStmt::basicBlock()'],['../namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965',1,'SVF::BasicBlock()']]],
-  ['basicblockhasretinst_717',['basicBlockHasRetInst',['../namespaceSVF_1_1LLVMUtil.html#abb4b5ed04ec70a2e7fca8198132370cf',1,'SVF::LLVMUtil']]],
-  ['basicblockset_718',['BasicBlockSet',['../classSVF_1_1SaberCondAllocator.html#a45642ecc305ea97b58e0eeebd00fec7b',1,'SVF::SaberCondAllocator']]],
-  ['basictypes_2eh_719',['BasicTypes.h',['../BasicTypes_8h.html',1,'']]],
-  ['bb_720',['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_721',['bb2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ad578beedd9a6b64a57f82d799e6b8fa7',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bb2pdomlevel_722',['bb2PdomLevel',['../classSVF_1_1SVFLoopAndDomInfo.html#a80acecc52faf9609aeea7e49008f0e01',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bb2phisetmap_723',['bb2PhiSetMap',['../classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23',1,'SVF::MemSSA']]],
-  ['bb2pidom_724',['bb2PIdom',['../classSVF_1_1SVFLoopAndDomInfo.html#ab7bf163ebfd2c43d233c598ed2a25551',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bbcondmap_725',['BBCondMap',['../classSVF_1_1SaberCondAllocator.html#a513ab32b3f9ddfb0a21668e881bcf27b',1,'SVF::SaberCondAllocator']]],
-  ['bbconds_726',['bbConds',['../classSVF_1_1SaberCondAllocator.html#a5c129ebf5ae55eb3af8bd670c921a646',1,'SVF::SaberCondAllocator']]],
-  ['bblist_727',['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_728',['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_729',['bbToCondMap',['../classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9',1,'SVF::SaberCondAllocator::bbToCondMap()'],['../classSVF_1_1SaberCondAllocator.html#ae4e8c7b47b9d672157b3c6f1c01188f8',1,'SVF::SaberCondAllocator::BBToCondMap()']]],
-  ['bbtomrsetmap_730',['BBToMRSetMap',['../classSVF_1_1MemSSA.html#acfe05b5b026ed41039540b11fe345734',1,'SVF::MemSSA']]],
-  ['bbtophisetmap_731',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#af939c93eee0128973d86974e36345917',1,'SVF::MemSSA']]],
-  ['bbworklist_732',['BBWorkList',['../classSVF_1_1PCG.html#a4eff22e077741d2decbad6f416ca7c6f',1,'SVF::PCG']]],
-  ['begin_733',['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_1POCRSolver.html#ab030e53206df7233d43037d89f97eb85',1,'SVF::POCRSolver::begin() const'],['../classSVF_1_1POCRSolver.html#a333bd9ca42aec9127148d45955c64aed',1,'SVF::POCRSolver::begin()'],['../classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7',1,'SVF::GenericGraph::begin()'],['../classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6',1,'SVF::GenericGraph::begin() const'],['../classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a',1,'SVF::WTOCycleDepth::begin()'],['../classSVF_1_1WTOCycle.html#a807c883d1cfe98c791c903125742f95b',1,'SVF::WTOCycle::begin()'],['../classSVF_1_1WTO.html#a13e9082913aa4a14065687ccdd47642d',1,'SVF::WTO::begin()'],['../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_734',['begin_iterator',['../classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003',1,'SVF::iter_range']]],
-  ['bestcandidate_735',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['beta_736',['beta',['../classSVF_1_1RelationSolver.html#a342d3c7d5192449fb10e9c3bab2de24f',1,'SVF::RelationSolver']]],
-  ['bidirection_737',['bidirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaf3515b032dca85081a3d653d0cb9b995',1,'SVF']]],
-  ['bilateral_738',['bilateral',['../classSVF_1_1RelationSolver.html#a23c59e437950b139dde49f11eb45b63a',1,'SVF::RelationSolver']]],
-  ['bilateral_5ftime_739',['Bilateral_time',['../classSymblicAbstractionTest.html#ad9539ad539a0e3848b7ad1d65ebe81fe',1,'SymblicAbstractionTest']]],
-  ['binaryop_740',['BinaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337',1,'SVF::VFGNode::BinaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13',1,'SVF::SVFStmt::BinaryOp()']]],
-  ['binaryoperator_741',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
-  ['binaryopstmt_742',['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_743',['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_744',['bind_textdomain_codeset',['../extapi_8c.html#a8d02d24ade4c4b8a3134591880a195fa',1,'extapi.c']]],
-  ['bindtextdomain_745',['bindtextdomain',['../extapi_8c.html#ac852a1476d916526d67ccbf5e0bd15ca',1,'extapi.c']]],
-  ['bit_746',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
-  ['bitcast_747',['BITCAST',['../classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a77433e71effbacec14da8f658523fb3e',1,'SVF::CopyStmt']]],
-  ['bitcastinst_748',['BitCastInst',['../namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d',1,'SVF']]],
-  ['bitnumber_749',['BitNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['bits_750',['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_751',['BITS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d',1,'SVF::SparseBitVectorElement']]],
-  ['bitvector_752',['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_753',['BitVector.cpp',['../BitVector_8cpp.html',1,'']]],
-  ['bitvector_2eh_754',['BitVector.h',['../BitVector_8h.html',1,'']]],
-  ['bitword_755',['BitWord',['../structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d',1,'SVF::SparseBitVectorElement']]],
-  ['bitword_5fsize_756',['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_757',['BITWORDS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3',1,'SVF::SparseBitVectorElement']]],
-  ['blackhole_758',['BlackHole',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba95734ab884566beab5cd3523c250b539',1,'SVF::SymbolTableInfo']]],
-  ['blackholeaddr_759',['BlackHoleAddr',['../AddressValue_8h.html#aa3de212b2be9b2f91d42152dfc9f1eef',1,'AddressValue.h']]],
-  ['blackholeobjectid_760',['blackHoleObjectId',['../classSVF_1_1NodeIDAllocator.html#a79ee84d7efb8abbfcd80d31d966ce20b',1,'SVF::NodeIDAllocator']]],
-  ['blackholepointerid_761',['blackHolePointerId',['../classSVF_1_1NodeIDAllocator.html#a535be344f97496d8086e2861ea6dc2ea',1,'SVF::NodeIDAllocator']]],
-  ['blackholesymid_762',['blackholeSymID',['../classSVF_1_1SymbolTableInfo.html#a05ca2987d9f8716c24e489bec53502f4',1,'SVF::SymbolTableInfo']]],
-  ['blkptr_763',['BlkPtr',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba9a9d3f03f58ccd4fdaaf08327a74aa03',1,'SVF::SymbolTableInfo']]],
-  ['blkptrsymid_764',['blkPtrSymID',['../classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72',1,'SVF::SymbolTableInfo']]],
-  ['blockaddress_765',['BlockAddress',['../namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c',1,'SVF']]],
-  ['boolean_766',['boolean',['../cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.h'],['../cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.cpp']]],
-  ['bothinteredges_767',['bothInterEdges',['../classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463',1,'SVF::SVFGOPT']]],
-  ['bottom_768',['bottom',['../classSVF_1_1AbstractState.html#a325ac3691d7252d0dcef9aa5f774b4c4',1,'SVF::AbstractState::bottom()'],['../classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443',1,'SVF::IntervalValue::bottom()']]],
-  ['boundedz3expr_769',['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#a1a40023fb0648399943689ee553f4c66',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(double 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_770',['BoundedZ3Expr.cpp',['../BoundedZ3Expr_8cpp.html',1,'']]],
-  ['boundedz3expr_2eh_771',['BoundedZ3Expr.h',['../BoundedZ3Expr_8h.html',1,'']]],
-  ['boxedoptsolver_772',['BoxedOptSolver',['../classSVF_1_1RelationSolver.html#aaae7ac9ed7d0e17f39948c37b867ada9',1,'SVF::RelationSolver']]],
-  ['branch_773',['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_774',['BranchCondition',['../classSVF_1_1CDGEdge.html#a62f0f460e501cd3b39e85b4186d33c45',1,'SVF::CDGEdge']]],
-  ['branchcondval_775',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3',1,'SVF::IntraCFGEdge']]],
-  ['branchflagmask_776',['BRANCHFLAGMASK',['../SVFBugReport_8h.html#a6c7cd1f1c2372251f51de3a8392faeec',1,'SVFBugReport.h']]],
-  ['branchinst_777',['BranchInst',['../namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f',1,'SVF']]],
-  ['branchstat_778',['branchStat',['../classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce',1,'SVF::SVFStat']]],
-  ['branchstmt_779',['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_780',['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_781',['brConditions',['../classSVF_1_1CDGEdge.html#a061f2c40b29b00f09ff02206c09405c0',1,'SVF::CDGEdge']]],
-  ['breakconstantexpr_2ecpp_782',['BreakConstantExpr.cpp',['../BreakConstantExpr_8cpp.html',1,'']]],
-  ['breakconstantexpr_2eh_783',['BreakConstantExpr.h',['../BreakConstantExpr_8h.html',1,'']]],
-  ['breakconstantgeps_784',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF::BreakConstantGEPs'],['../classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f',1,'SVF::BreakConstantGEPs::BreakConstantGEPs()']]],
-  ['bridge_5fgep_5fbegin_785',['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_786',['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_787',['bridge_gep_iterator',['../namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc',1,'SVF::bridge_gep_iterator()'],['../namespacellvm.html#af77a7ec045719d1f075cf6c591902522',1,'llvm::bridge_gep_iterator()']]],
-  ['briefconscgdotgraph_788',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c',1,'SVF::Options']]],
-  ['brinst_789',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
-  ['brstmt_790',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],
-  ['bs_791',['BS',['../classSVF_1_1RelationSolver.html#a98f7e3ae9f43aea178d77a58ac8e927f',1,'SVF::RelationSolver']]],
-  ['bs_5ftime_792',['BS_time',['../classSymblicAbstractionTest.html#a00618d1c3ca0c30883aad8f95e9f9f30',1,'SymblicAbstractionTest']]],
-  ['bsearch_793',['bsearch',['../extapi_8c.html#a5e6b12b1c1a15546016e972b266a7522',1,'extapi.c']]],
-  ['buffer_794',['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_795',['buffer_at_offset',['../cJSON_8cpp.html#ac538057ef78677344d222b763251af5e',1,'cJSON.cpp']]],
-  ['buffer_5flength_796',['buffer_length',['../cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.h'],['../cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.cpp']]],
-  ['buffer_5fskip_5fwhitespace_797',['buffer_skip_whitespace',['../cJSON_8cpp.html#a029a2c33fa2744a7cc5cf061f28d2cfc',1,'cJSON.cpp']]],
-  ['bufferoverflowbug_798',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html',1,'SVF::BufferOverflowBug'],['../classSVF_1_1BufferOverflowBug.html#ac05f2603f96431354402ea526da27fec',1,'SVF::BufferOverflowBug::BufferOverflowBug()']]],
-  ['bufferoverflowcheck_799',['BufferOverflowCheck',['../classSVF_1_1Options.html#afbe432aabda95308e2c190a04d227a6d',1,'SVF::Options']]],
-  ['bufoverflowchecker_800',['BufOverflowChecker',['../classSVF_1_1BufOverflowChecker.html',1,'SVF::BufOverflowChecker'],['../classSVF_1_1BufOverflowChecker.html#adcfa49d892daef07e7d4274ab8d34b6f',1,'SVF::BufOverflowChecker::BufOverflowChecker()'],['../namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd',1,'SVF::BufOverflowChecker()']]],
-  ['bufoverflowchecker_2ecpp_801',['BufOverflowChecker.cpp',['../BufOverflowChecker_8cpp.html',1,'']]],
-  ['bufoverflowchecker_2eh_802',['BufOverflowChecker.h',['../BufOverflowChecker_8h.html',1,'']]],
-  ['bufoverflowexception_803',['BufOverflowException',['../structSVF_1_1BufOverflowException.html',1,'SVF::BufOverflowException'],['../structSVF_1_1BufOverflowException.html#a3b4548e9ff028f4de2aee57ac9f8a6a2',1,'SVF::BufOverflowException::BufOverflowException()']]],
-  ['bugeventstack_804',['bugEventStack',['../classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490',1,'SVF::GenericBug']]],
-  ['bugmsg1_805',['bugMsg1',['../namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3',1,'SVF::SVFUtil']]],
-  ['bugmsg2_806',['bugMsg2',['../namespaceSVF_1_1SVFUtil.html#ac25f6dfcc9118ffd80244a771bdee535',1,'SVF::SVFUtil']]],
-  ['bugmsg3_807',['bugMsg3',['../namespaceSVF_1_1SVFUtil.html#a76909ad87f59eb9a9cfd1913e13da264',1,'SVF::SVFUtil']]],
-  ['bugset_808',['bugSet',['../classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3',1,'SVF::SVFBugReport::bugSet()'],['../classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac',1,'SVF::SVFBugReport::BugSet()']]],
-  ['bugstr_809',['bugStr',['../classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8',1,'SVF::AEStat']]],
-  ['bugtype_810',['BugType',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac',1,'SVF::GenericBug::BugType()'],['../classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51',1,'SVF::GenericBug::bugType()']]],
-  ['bugtype2str_811',['BugType2Str',['../classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3',1,'SVF::GenericBug']]],
-  ['build_812',['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_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()']]],
-  ['buildbigraph_813',['buildBigraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd',1,'SVF::AliasCFLGraphBuilder::buildBigraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1',1,'SVF::VFCFLGraphBuilder::buildBigraph()']]],
-  ['buildbipeggraph_814',['buildBiPEGgraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880',1,'SVF::AliasCFLGraphBuilder::buildBiPEGgraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20',1,'SVF::VFCFLGraphBuilder::buildBiPEGgraph()']]],
-  ['buildcallgraph_815',['buildCallGraph',['../classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc',1,'SVF::CallGraphBuilder']]],
-  ['buildcandidatefuncsetforlock_816',['buildCandidateFuncSetforLock',['../classSVF_1_1LockAnalysis.html#a271506d5032033efae684b0d729f5b3e',1,'SVF::LockAnalysis']]],
-  ['buildcfldata_817',['buildCFLData',['../classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc',1,'SVF::POCRSolver']]],
-  ['buildcflgrammar_818',['buildCFLGrammar',['../classSVF_1_1CFLBase.html#a77bc3b0260fe02cdcf41fdb6b80caa09',1,'SVF::CFLBase']]],
-  ['buildcflgraph_819',['buildCFLGraph',['../classSVF_1_1CFLBase.html#a0daabb58bd7d5be40379ccc670c37a93',1,'SVF::CFLBase::buildCFLGraph()'],['../classSVF_1_1CFLVF.html#aa20f8d27da439c831f36b31312daf047',1,'SVF::CFLVF::buildCFLGraph()']]],
-  ['buildcg_820',['buildCG',['../classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278',1,'SVF::ConstraintGraph']]],
-  ['buildchg_821',['buildCHG',['../classSVF_1_1CHGBuilder.html#aa5c672ac426ad4085d64d97f8cb14ace',1,'SVF::CHGBuilder::buildCHG()'],['../classSVF_1_1DCHGraph.html#a710c6b87fd475552eddb425e38de8889',1,'SVF::DCHGraph::buildCHG()']]],
-  ['buildchgedges_822',['buildCHGEdges',['../classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25',1,'SVF::CHGBuilder']]],
-  ['buildchgnodes_823',['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_824',['buildClassNameToAncestorsDescendantsMap',['../classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb',1,'SVF::CHGBuilder']]],
-  ['buildcontroldependence_825',['buildControlDependence',['../classSVF_1_1CDGBuilder.html#aa57921c1c3002e7e35cfb6b113cd8031',1,'SVF::CDGBuilder']]],
-  ['buildcstochavtblsandvfnsmap_826',['buildCSToCHAVtblsAndVfnsMap',['../classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c',1,'SVF::CHGBuilder']]],
-  ['builddeltamaps_827',['buildDeltaMaps',['../classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014',1,'SVF::VersionedFlowSensitive']]],
-  ['builddirection_828',['BuildDirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa',1,'SVF']]],
-  ['buildfromdot_829',['buildFromDot',['../classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a',1,'SVF::CFLGraphBuilder']]],
-  ['buildfromjson_830',['buildFromJson',['../classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a',1,'SVF::CFLGraphBuilder']]],
-  ['buildfromtext_831',['buildFromText',['../classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f',1,'SVF::CFLGraphBuilder']]],
-  ['buildfullsvfg_832',['buildFullSVFG',['../classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd',1,'SVF::SVFGBuilder']]],
-  ['buildfuntofunmap_833',['buildFunToFunMap',['../classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628',1,'SVF::LLVMModuleSet']]],
-  ['buildglobaldeftorepmap_834',['buildGlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47',1,'SVF::LLVMModuleSet']]],
-  ['buildicfgnodecontrolmap_835',['buildICFGNodeControlMap',['../classSVF_1_1CDGBuilder.html#ab56c8f3ab29a907d420622dd8e933f0d',1,'SVF::CDGBuilder']]],
-  ['buildingchgtime_836',['buildingCHGTime',['../classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836',1,'SVF::CHGraph']]],
-  ['buildinternalmaps_837',['buildInternalMaps',['../classSVF_1_1CHGBuilder.html#ad9f1c51ba6dc279f22aa671f29257a50',1,'SVF::CHGBuilder']]],
-  ['buildisstoreloadmaps_838',['buildIsStoreLoadMaps',['../classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c',1,'SVF::VersionedFlowSensitive']]],
-  ['buildlabeltokindmap_839',['buildlabelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8',1,'SVF::CFLGraphBuilder']]],
-  ['buildllvmloops_840',['buildLLVMLoops',['../classSVF_1_1LLVMLoopAnalysis.html#abb501d497067af4365e5108d27387623',1,'SVF::LLVMLoopAnalysis']]],
-  ['buildmemmodel_841',['buildMemModel',['../classSVF_1_1SymbolTableBuilder.html#aef0bb1e88d0b69313c673318f7b7cb5f',1,'SVF::SymbolTableBuilder']]],
-  ['buildmemssa_842',['buildMemSSA',['../classSVF_1_1MemSSA.html#a4f3c4374ba4b06a819721a8e05efe221',1,'SVF::MemSSA']]],
-  ['buildmssa_843',['buildMSSA',['../classSVF_1_1SVFGBuilder.html#a057d1d631326e844ce3287eb17b98c1a',1,'SVF::SVFGBuilder']]],
-  ['buildnodetodepth_844',['buildNodeToDepth',['../classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a',1,'SVF::WTO']]],
-  ['buildptronlysvfg_845',['buildPTROnlySVFG',['../classSVF_1_1SVFGBuilder.html#ab7353191edd06568e2598177d253c1d9',1,'SVF::SVFGBuilder']]],
-  ['buildrelz3expr_846',['buildRelZ3Expr',['../classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210',1,'SVF::RelExeState']]],
-  ['buildsvfg_847',['buildSVFG',['../classSVF_1_1CFLSVFGBuilder.html#ab8c71c5af2877ccacd6c34a86a9eadf2',1,'SVF::CFLSVFGBuilder::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_848',['buildSVFLoops',['../classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78',1,'SVF::LLVMLoopAnalysis']]],
-  ['buildsvfmodule_849',['buildSVFModule',['../classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75',1,'SVF::LLVMModuleSet::buildSVFModule(Module &mod)'],['../classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9',1,'SVF::LLVMModuleSet::buildSVFModule(const std::vector< std::string > &moduleNameVec)']]],
-  ['buildsymboltable_850',['buildSymbolTable',['../classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd',1,'SVF::LLVMModuleSet']]],
-  ['buildthreadcallgraph_851',['buildThreadCallGraph',['../classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7',1,'SVF::ThreadCallGraphBuilder']]],
-  ['buildusage_852',['buildUsage',['../classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965',1,'OptionBase']]],
-  ['buildvirtualfunctiontoidmap_853',['buildVirtualFunctionToIDMap',['../classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8',1,'SVF::CHGBuilder']]],
-  ['buildvtables_854',['buildVTables',['../classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f',1,'SVF::DCHGraph']]],
-  ['bv_855',['bv',['../classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587',1,'SVF::PointsTo::bv()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892',1,'SVF::PointsTo::BV()']]],
-  ['bv2int_856',['bv2int',['../classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1',1,'SVF::BoundedZ3Expr::bv2int()'],['../classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a',1,'SVF::Z3Expr::bv2int()']]],
-  ['bvdataimpl_857',['BVDataImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8',1,'SVF::PointerAnalysis']]],
-  ['bvdataptaimpl_858',['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_859',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
-  ['bvlen_860',['bvLen',['../classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7',1,'SVF::BoundedZ3Expr']]],
-  ['bwfindallocofvar_861',['bwfindAllocOfVar',['../classSVF_1_1ObjTypeInference.html#a42149ece87a178241ef1ef0cce7ec554',1,'SVF::ObjTypeInference']]],
-  ['bwfindallocorclsnamesources_862',['bwFindAllocOrClsNameSources',['../classSVF_1_1ObjTypeInference.html#a744de27c13a045108c834c9484d7271c',1,'SVF::ObjTypeInference']]],
-  ['bwprocesscurnode_863',['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_864',['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_865',['bypassMSSAPHINode',['../classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16',1,'SVF::SVFGOPT']]],
-  ['bytesize_866',['byteSize',['../classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6',1,'SVF::SVFType::byteSize()'],['../classSVF_1_1ObjTypeInfo.html#abe4d855db71b38e7fdd2fd73cca67814',1,'SVF::ObjTypeInfo::byteSize()']]]
+  ['b_686',['b',['../cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.h'],['../cJSON_8cpp.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.cpp']]],
+  ['back_687',['back',['../classSVF_1_1SVFFunction.html#a60797e9e8b9cbd6b32cc71fa5d00d80c',1,'SVF::SVFFunction::back()'],['../classSVF_1_1SVFBasicBlock.html#ad05f85ce931d4479f71d1947a25599dc',1,'SVF::SVFBasicBlock::back()'],['../classSVF_1_1FILOWorkList.html#a9681638ade4598cb1faa3e580d1df9b3',1,'SVF::FILOWorkList::back()']]],
+  ['backicfgedges_688',['backICFGEdges',['../classSVF_1_1SVFLoop.html#aed4400521f825802719ac97a18452230',1,'SVF::SVFLoop']]],
+  ['backicfgedgesbegin_689',['backICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#a8b0341ca427d106c28b56d8b340a1e45',1,'SVF::SVFLoop']]],
+  ['backicfgedgesend_690',['backICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#a6eaf768ba9f537d81095c4df021c4825',1,'SVF::SVFLoop']]],
+  ['backtracealongdirectvf_691',['backtraceAlongDirectVF',['../classSVF_1_1DDAVFSolver.html#a7a6af30f30f32d55fc910f2ae4909791',1,'SVF::DDAVFSolver']]],
+  ['backtracealongindirectvf_692',['backtraceAlongIndirectVF',['../classSVF_1_1DDAVFSolver.html#a040bc02742836b0a6d46ce3c3e89fa46',1,'SVF::DDAVFSolver']]],
+  ['backtracetostoresrc_693',['backtraceToStoreSrc',['../classSVF_1_1DDAVFSolver.html#adbd209b4a2327b2b068fbb56e12042f7',1,'SVF::DDAVFSolver']]],
+  ['backwardpropdpm_694',['backwardPropDpm',['../classSVF_1_1DDAVFSolver.html#af6a6243b497df5fdab9f658b9add9c8a',1,'SVF::DDAVFSolver']]],
+  ['backwardslice_695',['backwardSlice',['../classSVF_1_1SVFGStat.html#a1f93abeefa0c265f4945171255107725',1,'SVF::SVFGStat::backwardSlice()'],['../classSVF_1_1ProgSlice.html#addb781260db48c0571c0083a45065ca0',1,'SVF::ProgSlice::backwardslice()']]],
+  ['backwardslicebegin_696',['backwardSliceBegin',['../classSVF_1_1ProgSlice.html#ab5810f8a7a994f0637c54b94d0367a89',1,'SVF::ProgSlice']]],
+  ['backwardsliceend_697',['backwardSliceEnd',['../classSVF_1_1ProgSlice.html#aed4bedc716a3e252e44a6f28e677d61c',1,'SVF::ProgSlice']]],
+  ['backwardtraverse_698',['backwardTraverse',['../classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc',1,'SVF::SrcSnkSolver::backwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#a8785ea71a1b0da03595fc8f594921819',1,'SVF::GraphReachSolver::backwardTraverse()']]],
+  ['backwardvisited_699',['backwardVisited',['../classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c',1,'SVF::DDAVFSolver::backwardVisited()'],['../classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286',1,'SVF::SrcSnkDDA::backwardVisited()']]],
+  ['bad_5ffcmp_5fpredicate_700',['BAD_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca257536bcaeadf76c6172db4d225f3a26',1,'SVF::CmpStmt']]],
+  ['bad_5ficmp_5fpredicate_701',['BAD_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca163b0f2adc52334e5a1083d59d6bc5d9',1,'SVF::CmpStmt']]],
+  ['barreplace_702',['barReplace',['../classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f',1,'SVF::CFGNormalizer']]],
+  ['base_703',['Base',['../classSVF_1_1ICFGWTO.html#ae4e25014cecf1f57c8cf1800319aa98d',1,'SVF::ICFGWTO::Base()'],['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a347b03b12df7d51774b617f4e7399568',1,'SVF::PTData::Base()'],['../classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5',1,'SVF::GepObjVar::base()']]],
+  ['basedfptdata_704',['BaseDFPTData',['../classSVF_1_1MutableDFPTData.html#a17a5aa4a749a5ffc75c663d057454e4a',1,'SVF::MutableDFPTData::BaseDFPTData()'],['../classSVF_1_1MutableIncDFPTData.html#a4b944ec759d0e78a7a2238db587752a9',1,'SVF::MutableIncDFPTData::BaseDFPTData()'],['../classSVF_1_1PersistentDFPTData.html#af9facbe8f694b8447bb6ebe48b95ad17',1,'SVF::PersistentDFPTData::BaseDFPTData()'],['../classSVF_1_1PersistentIncDFPTData.html#ae56633d34e5fb4499c82d422646a91f0',1,'SVF::PersistentIncDFPTData::BaseDFPTData()']]],
+  ['basediffptdata_705',['BaseDiffPTData',['../classSVF_1_1MutableDiffPTData.html#ab50b8026258c7c9103d2315ea3091340',1,'SVF::MutableDiffPTData::BaseDiffPTData()'],['../classSVF_1_1PersistentDiffPTData.html#a3a2cf38f220a831c4334614b835b57c6',1,'SVF::PersistentDiffPTData::BaseDiffPTData()']]],
+  ['baseids_706',['baseIds',['../classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54',1,'SVF::ConstraintNode']]],
+  ['baseimpl_707',['BaseImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da66b132e5ab8c8746eb22e58d199b4c2a',1,'SVF::PointerAnalysis']]],
+  ['basemutdfptdata_708',['BaseMutDFPTData',['../classSVF_1_1MutableIncDFPTData.html#a58f9b6357a5cf0243cf3b4ece30e8cf6',1,'SVF::MutableIncDFPTData']]],
+  ['basemutptdata_709',['BaseMutPTData',['../classSVF_1_1MutableDFPTData.html#ad02e5645ef7a73ba4c20c557a6f11789',1,'SVF::MutableDFPTData::BaseMutPTData()'],['../classSVF_1_1MutableIncDFPTData.html#a92f00e91a338113383bcf7bc8ce0026a',1,'SVF::MutableIncDFPTData::BaseMutPTData()']]],
+  ['basepersdfptdata_710',['BasePersDFPTData',['../classSVF_1_1PersistentIncDFPTData.html#abce6fa91fed789ef25146440ee10872b',1,'SVF::PersistentIncDFPTData']]],
+  ['basepersptdata_711',['BasePersPTData',['../classSVF_1_1PersistentDiffPTData.html#aa55e1c39fb0918c4f7f080a521f504f5',1,'SVF::PersistentDiffPTData::BasePersPTData()'],['../classSVF_1_1PersistentDFPTData.html#afccad3b3163f25cc058334083f90041d',1,'SVF::PersistentDFPTData::BasePersPTData()'],['../classSVF_1_1PersistentIncDFPTData.html#acea7eb9ee0c1ee36906d50bce584b56a',1,'SVF::PersistentIncDFPTData::BasePersPTData()']]],
+  ['baseptdata_712',['BasePTData',['../classSVF_1_1DiffPTData.html#ae61c0f266f26a22077c1e8409f6ba991',1,'SVF::DiffPTData::BasePTData()'],['../classSVF_1_1DFPTData.html#a6d5193ea9e77b3945cb0716978dc75be',1,'SVF::DFPTData::BasePTData()'],['../classSVF_1_1VersionedPTData.html#a9833b47df24ed821a55d5ce9a3917f1f',1,'SVF::VersionedPTData::BasePTData()'],['../classSVF_1_1MutablePTData.html#ab88ea00589ec9353bccf3629a1c4e5d3',1,'SVF::MutablePTData::BasePTData()'],['../classSVF_1_1MutableDiffPTData.html#a562f0f584cd4f3b2d18f3973fde9c068',1,'SVF::MutableDiffPTData::BasePTData()'],['../classSVF_1_1MutableDFPTData.html#a25274e3029dfa655c47b72f291b906de',1,'SVF::MutableDFPTData::BasePTData()'],['../classSVF_1_1MutableIncDFPTData.html#a14651359d0efe886c1313fd843e4d1db',1,'SVF::MutableIncDFPTData::BasePTData()'],['../classSVF_1_1MutableVersionedPTData.html#a31fd15a8147e3146b15b4d24fe34cf46',1,'SVF::MutableVersionedPTData::BasePTData()'],['../classSVF_1_1PersistentPTData.html#a6ca39340bb502c933c3dd6c1ab8f79c1',1,'SVF::PersistentPTData::BasePTData()'],['../classSVF_1_1PersistentDiffPTData.html#aa110fddf7d0cedfb66fcd37bae2c962c',1,'SVF::PersistentDiffPTData::BasePTData()'],['../classSVF_1_1PersistentDFPTData.html#a54c206686c17101a0233fbbd3836c05c',1,'SVF::PersistentDFPTData::BasePTData()'],['../classSVF_1_1PersistentIncDFPTData.html#a7751d9831519f8021626630dce499b1a',1,'SVF::PersistentIncDFPTData::BasePTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ad4586331863d67e78c54d919694b58db',1,'SVF::PersistentVersionedPTData::BasePTData()']]],
+  ['baset_713',['BaseT',['../classSVF_1_1iter__adaptor__base.html#afbad8b4d7822152aec9a206c0e293f96',1,'SVF::iter_adaptor_base']]],
+  ['baseversionedptdata_714',['BaseVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html#aa80044e3b4c3ed58117573dfa54d803b',1,'SVF::MutableVersionedPTData::BaseVersionedPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ab71b82478d74f1a20ce3de479f2d8d5c',1,'SVF::PersistentVersionedPTData::BaseVersionedPTData()']]],
+  ['basicblock_715',['basicBlock',['../classSVF_1_1SVFStmt.html#a8a2afa585fcbdcab375ddc04961a614f',1,'SVF::SVFStmt::basicBlock()'],['../namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965',1,'SVF::BasicBlock()']]],
+  ['basicblockhasretinst_716',['basicBlockHasRetInst',['../namespaceSVF_1_1LLVMUtil.html#abb4b5ed04ec70a2e7fca8198132370cf',1,'SVF::LLVMUtil']]],
+  ['basicblockset_717',['BasicBlockSet',['../classSVF_1_1SaberCondAllocator.html#a45642ecc305ea97b58e0eeebd00fec7b',1,'SVF::SaberCondAllocator']]],
+  ['basictypes_2eh_718',['BasicTypes.h',['../BasicTypes_8h.html',1,'']]],
+  ['bb_719',['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_720',['bb2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ad578beedd9a6b64a57f82d799e6b8fa7',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bb2pdomlevel_721',['bb2PdomLevel',['../classSVF_1_1SVFLoopAndDomInfo.html#a80acecc52faf9609aeea7e49008f0e01',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bb2phisetmap_722',['bb2PhiSetMap',['../classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23',1,'SVF::MemSSA']]],
+  ['bb2pidom_723',['bb2PIdom',['../classSVF_1_1SVFLoopAndDomInfo.html#ab7bf163ebfd2c43d233c598ed2a25551',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bbcondmap_724',['BBCondMap',['../classSVF_1_1SaberCondAllocator.html#a513ab32b3f9ddfb0a21668e881bcf27b',1,'SVF::SaberCondAllocator']]],
+  ['bbconds_725',['bbConds',['../classSVF_1_1SaberCondAllocator.html#a5c129ebf5ae55eb3af8bd670c921a646',1,'SVF::SaberCondAllocator']]],
+  ['bblist_726',['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_727',['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_728',['bbToCondMap',['../classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9',1,'SVF::SaberCondAllocator::bbToCondMap()'],['../classSVF_1_1SaberCondAllocator.html#ae4e8c7b47b9d672157b3c6f1c01188f8',1,'SVF::SaberCondAllocator::BBToCondMap()']]],
+  ['bbtomrsetmap_729',['BBToMRSetMap',['../classSVF_1_1MemSSA.html#acfe05b5b026ed41039540b11fe345734',1,'SVF::MemSSA']]],
+  ['bbtophisetmap_730',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#af939c93eee0128973d86974e36345917',1,'SVF::MemSSA']]],
+  ['bbworklist_731',['BBWorkList',['../classSVF_1_1PCG.html#a4eff22e077741d2decbad6f416ca7c6f',1,'SVF::PCG']]],
+  ['begin_732',['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_1POCRSolver.html#ab030e53206df7233d43037d89f97eb85',1,'SVF::POCRSolver::begin() const'],['../classSVF_1_1POCRSolver.html#a333bd9ca42aec9127148d45955c64aed',1,'SVF::POCRSolver::begin()'],['../classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7',1,'SVF::GenericGraph::begin()'],['../classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6',1,'SVF::GenericGraph::begin() const'],['../classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a',1,'SVF::WTOCycleDepth::begin()'],['../classSVF_1_1WTOCycle.html#a807c883d1cfe98c791c903125742f95b',1,'SVF::WTOCycle::begin()'],['../classSVF_1_1WTO.html#a13e9082913aa4a14065687ccdd47642d',1,'SVF::WTO::begin()'],['../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_733',['begin_iterator',['../classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003',1,'SVF::iter_range']]],
+  ['bestcandidate_734',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['beta_735',['beta',['../classSVF_1_1RelationSolver.html#a342d3c7d5192449fb10e9c3bab2de24f',1,'SVF::RelationSolver']]],
+  ['bidirection_736',['bidirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaf3515b032dca85081a3d653d0cb9b995',1,'SVF']]],
+  ['bilateral_737',['bilateral',['../classSVF_1_1RelationSolver.html#a23c59e437950b139dde49f11eb45b63a',1,'SVF::RelationSolver']]],
+  ['bilateral_5ftime_738',['Bilateral_time',['../classSymblicAbstractionTest.html#ad9539ad539a0e3848b7ad1d65ebe81fe',1,'SymblicAbstractionTest']]],
+  ['binaryop_739',['BinaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337',1,'SVF::VFGNode::BinaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13',1,'SVF::SVFStmt::BinaryOp()']]],
+  ['binaryoperator_740',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
+  ['binaryopstmt_741',['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_742',['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_743',['bind_textdomain_codeset',['../extapi_8c.html#a8d02d24ade4c4b8a3134591880a195fa',1,'extapi.c']]],
+  ['bindtextdomain_744',['bindtextdomain',['../extapi_8c.html#ac852a1476d916526d67ccbf5e0bd15ca',1,'extapi.c']]],
+  ['bit_745',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
+  ['bitcast_746',['BITCAST',['../classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a77433e71effbacec14da8f658523fb3e',1,'SVF::CopyStmt']]],
+  ['bitcastinst_747',['BitCastInst',['../namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d',1,'SVF']]],
+  ['bitnumber_748',['BitNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['bits_749',['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_750',['BITS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d',1,'SVF::SparseBitVectorElement']]],
+  ['bitvector_751',['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_752',['BitVector.cpp',['../BitVector_8cpp.html',1,'']]],
+  ['bitvector_2eh_753',['BitVector.h',['../BitVector_8h.html',1,'']]],
+  ['bitword_754',['BitWord',['../structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d',1,'SVF::SparseBitVectorElement']]],
+  ['bitword_5fsize_755',['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_756',['BITWORDS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3',1,'SVF::SparseBitVectorElement']]],
+  ['blackhole_757',['BlackHole',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba95734ab884566beab5cd3523c250b539',1,'SVF::SymbolTableInfo']]],
+  ['blackholeaddr_758',['BlackHoleAddr',['../AddressValue_8h.html#aa3de212b2be9b2f91d42152dfc9f1eef',1,'AddressValue.h']]],
+  ['blackholeobjectid_759',['blackHoleObjectId',['../classSVF_1_1NodeIDAllocator.html#a79ee84d7efb8abbfcd80d31d966ce20b',1,'SVF::NodeIDAllocator']]],
+  ['blackholepointerid_760',['blackHolePointerId',['../classSVF_1_1NodeIDAllocator.html#a535be344f97496d8086e2861ea6dc2ea',1,'SVF::NodeIDAllocator']]],
+  ['blackholesymid_761',['blackholeSymID',['../classSVF_1_1SymbolTableInfo.html#a05ca2987d9f8716c24e489bec53502f4',1,'SVF::SymbolTableInfo']]],
+  ['blkptr_762',['BlkPtr',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba9a9d3f03f58ccd4fdaaf08327a74aa03',1,'SVF::SymbolTableInfo']]],
+  ['blkptrsymid_763',['blkPtrSymID',['../classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72',1,'SVF::SymbolTableInfo']]],
+  ['blockaddress_764',['BlockAddress',['../namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c',1,'SVF']]],
+  ['boolean_765',['boolean',['../cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.h'],['../cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.cpp']]],
+  ['bothinteredges_766',['bothInterEdges',['../classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463',1,'SVF::SVFGOPT']]],
+  ['bottom_767',['bottom',['../classSVF_1_1AbstractState.html#a325ac3691d7252d0dcef9aa5f774b4c4',1,'SVF::AbstractState::bottom()'],['../classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443',1,'SVF::IntervalValue::bottom()']]],
+  ['boundedz3expr_768',['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#a1a40023fb0648399943689ee553f4c66',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(double 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_769',['BoundedZ3Expr.cpp',['../BoundedZ3Expr_8cpp.html',1,'']]],
+  ['boundedz3expr_2eh_770',['BoundedZ3Expr.h',['../BoundedZ3Expr_8h.html',1,'']]],
+  ['boxedoptsolver_771',['BoxedOptSolver',['../classSVF_1_1RelationSolver.html#aaae7ac9ed7d0e17f39948c37b867ada9',1,'SVF::RelationSolver']]],
+  ['branch_772',['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_773',['BranchCondition',['../classSVF_1_1CDGEdge.html#a62f0f460e501cd3b39e85b4186d33c45',1,'SVF::CDGEdge']]],
+  ['branchcondval_774',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3',1,'SVF::IntraCFGEdge']]],
+  ['branchflagmask_775',['BRANCHFLAGMASK',['../SVFBugReport_8h.html#a6c7cd1f1c2372251f51de3a8392faeec',1,'SVFBugReport.h']]],
+  ['branchinst_776',['BranchInst',['../namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f',1,'SVF']]],
+  ['branchstat_777',['branchStat',['../classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce',1,'SVF::SVFStat']]],
+  ['branchstmt_778',['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_779',['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_780',['brConditions',['../classSVF_1_1CDGEdge.html#a061f2c40b29b00f09ff02206c09405c0',1,'SVF::CDGEdge']]],
+  ['breakconstantexpr_2ecpp_781',['BreakConstantExpr.cpp',['../BreakConstantExpr_8cpp.html',1,'']]],
+  ['breakconstantexpr_2eh_782',['BreakConstantExpr.h',['../BreakConstantExpr_8h.html',1,'']]],
+  ['breakconstantgeps_783',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF::BreakConstantGEPs'],['../classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f',1,'SVF::BreakConstantGEPs::BreakConstantGEPs()']]],
+  ['bridge_5fgep_5fbegin_784',['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_785',['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_786',['bridge_gep_iterator',['../namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc',1,'SVF::bridge_gep_iterator()'],['../namespacellvm.html#af77a7ec045719d1f075cf6c591902522',1,'llvm::bridge_gep_iterator()']]],
+  ['briefconscgdotgraph_787',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c',1,'SVF::Options']]],
+  ['brinst_788',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
+  ['brstmt_789',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],
+  ['bs_790',['BS',['../classSVF_1_1RelationSolver.html#a98f7e3ae9f43aea178d77a58ac8e927f',1,'SVF::RelationSolver']]],
+  ['bs_5ftime_791',['BS_time',['../classSymblicAbstractionTest.html#a00618d1c3ca0c30883aad8f95e9f9f30',1,'SymblicAbstractionTest']]],
+  ['bsearch_792',['bsearch',['../extapi_8c.html#a5e6b12b1c1a15546016e972b266a7522',1,'extapi.c']]],
+  ['buffer_793',['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_794',['buffer_at_offset',['../cJSON_8cpp.html#ac538057ef78677344d222b763251af5e',1,'cJSON.cpp']]],
+  ['buffer_5flength_795',['buffer_length',['../cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.h'],['../cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.cpp']]],
+  ['buffer_5fskip_5fwhitespace_796',['buffer_skip_whitespace',['../cJSON_8cpp.html#a029a2c33fa2744a7cc5cf061f28d2cfc',1,'cJSON.cpp']]],
+  ['bufferoverflowbug_797',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html',1,'SVF::BufferOverflowBug'],['../classSVF_1_1BufferOverflowBug.html#ac05f2603f96431354402ea526da27fec',1,'SVF::BufferOverflowBug::BufferOverflowBug()']]],
+  ['bufferoverflowcheck_798',['BufferOverflowCheck',['../classSVF_1_1Options.html#afbe432aabda95308e2c190a04d227a6d',1,'SVF::Options']]],
+  ['bufoverflowchecker_799',['BufOverflowChecker',['../classSVF_1_1BufOverflowChecker.html',1,'SVF::BufOverflowChecker'],['../classSVF_1_1BufOverflowChecker.html#adcfa49d892daef07e7d4274ab8d34b6f',1,'SVF::BufOverflowChecker::BufOverflowChecker()'],['../namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd',1,'SVF::BufOverflowChecker()']]],
+  ['bufoverflowchecker_2ecpp_800',['BufOverflowChecker.cpp',['../BufOverflowChecker_8cpp.html',1,'']]],
+  ['bufoverflowchecker_2eh_801',['BufOverflowChecker.h',['../BufOverflowChecker_8h.html',1,'']]],
+  ['bufoverflowexception_802',['BufOverflowException',['../structSVF_1_1BufOverflowException.html',1,'SVF::BufOverflowException'],['../structSVF_1_1BufOverflowException.html#a3b4548e9ff028f4de2aee57ac9f8a6a2',1,'SVF::BufOverflowException::BufOverflowException()']]],
+  ['bugeventstack_803',['bugEventStack',['../classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490',1,'SVF::GenericBug']]],
+  ['bugmsg1_804',['bugMsg1',['../namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3',1,'SVF::SVFUtil']]],
+  ['bugmsg2_805',['bugMsg2',['../namespaceSVF_1_1SVFUtil.html#ac25f6dfcc9118ffd80244a771bdee535',1,'SVF::SVFUtil']]],
+  ['bugmsg3_806',['bugMsg3',['../namespaceSVF_1_1SVFUtil.html#a76909ad87f59eb9a9cfd1913e13da264',1,'SVF::SVFUtil']]],
+  ['bugset_807',['bugSet',['../classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3',1,'SVF::SVFBugReport::bugSet()'],['../classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac',1,'SVF::SVFBugReport::BugSet()']]],
+  ['bugstr_808',['bugStr',['../classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8',1,'SVF::AEStat']]],
+  ['bugtype_809',['BugType',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac',1,'SVF::GenericBug::BugType()'],['../classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51',1,'SVF::GenericBug::bugType()']]],
+  ['bugtype2str_810',['BugType2Str',['../classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3',1,'SVF::GenericBug']]],
+  ['build_811',['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_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()']]],
+  ['buildbigraph_812',['buildBigraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd',1,'SVF::AliasCFLGraphBuilder::buildBigraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1',1,'SVF::VFCFLGraphBuilder::buildBigraph()']]],
+  ['buildbipeggraph_813',['buildBiPEGgraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880',1,'SVF::AliasCFLGraphBuilder::buildBiPEGgraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20',1,'SVF::VFCFLGraphBuilder::buildBiPEGgraph()']]],
+  ['buildcallgraph_814',['buildCallGraph',['../classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc',1,'SVF::CallGraphBuilder']]],
+  ['buildcandidatefuncsetforlock_815',['buildCandidateFuncSetforLock',['../classSVF_1_1LockAnalysis.html#a271506d5032033efae684b0d729f5b3e',1,'SVF::LockAnalysis']]],
+  ['buildcfldata_816',['buildCFLData',['../classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc',1,'SVF::POCRSolver']]],
+  ['buildcflgrammar_817',['buildCFLGrammar',['../classSVF_1_1CFLBase.html#a77bc3b0260fe02cdcf41fdb6b80caa09',1,'SVF::CFLBase']]],
+  ['buildcflgraph_818',['buildCFLGraph',['../classSVF_1_1CFLBase.html#a0daabb58bd7d5be40379ccc670c37a93',1,'SVF::CFLBase::buildCFLGraph()'],['../classSVF_1_1CFLVF.html#aa20f8d27da439c831f36b31312daf047',1,'SVF::CFLVF::buildCFLGraph()']]],
+  ['buildcg_819',['buildCG',['../classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278',1,'SVF::ConstraintGraph']]],
+  ['buildchg_820',['buildCHG',['../classSVF_1_1CHGBuilder.html#aa5c672ac426ad4085d64d97f8cb14ace',1,'SVF::CHGBuilder::buildCHG()'],['../classSVF_1_1DCHGraph.html#a710c6b87fd475552eddb425e38de8889',1,'SVF::DCHGraph::buildCHG()']]],
+  ['buildchgedges_821',['buildCHGEdges',['../classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25',1,'SVF::CHGBuilder']]],
+  ['buildchgnodes_822',['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_823',['buildClassNameToAncestorsDescendantsMap',['../classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb',1,'SVF::CHGBuilder']]],
+  ['buildcontroldependence_824',['buildControlDependence',['../classSVF_1_1CDGBuilder.html#aa57921c1c3002e7e35cfb6b113cd8031',1,'SVF::CDGBuilder']]],
+  ['buildcstochavtblsandvfnsmap_825',['buildCSToCHAVtblsAndVfnsMap',['../classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c',1,'SVF::CHGBuilder']]],
+  ['builddeltamaps_826',['buildDeltaMaps',['../classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014',1,'SVF::VersionedFlowSensitive']]],
+  ['builddirection_827',['BuildDirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa',1,'SVF']]],
+  ['buildfromdot_828',['buildFromDot',['../classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a',1,'SVF::CFLGraphBuilder']]],
+  ['buildfromjson_829',['buildFromJson',['../classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a',1,'SVF::CFLGraphBuilder']]],
+  ['buildfromtext_830',['buildFromText',['../classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f',1,'SVF::CFLGraphBuilder']]],
+  ['buildfullsvfg_831',['buildFullSVFG',['../classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd',1,'SVF::SVFGBuilder']]],
+  ['buildfuntofunmap_832',['buildFunToFunMap',['../classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628',1,'SVF::LLVMModuleSet']]],
+  ['buildglobaldeftorepmap_833',['buildGlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47',1,'SVF::LLVMModuleSet']]],
+  ['buildicfgnodecontrolmap_834',['buildICFGNodeControlMap',['../classSVF_1_1CDGBuilder.html#ab56c8f3ab29a907d420622dd8e933f0d',1,'SVF::CDGBuilder']]],
+  ['buildingchgtime_835',['buildingCHGTime',['../classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836',1,'SVF::CHGraph']]],
+  ['buildinternalmaps_836',['buildInternalMaps',['../classSVF_1_1CHGBuilder.html#ad9f1c51ba6dc279f22aa671f29257a50',1,'SVF::CHGBuilder']]],
+  ['buildisstoreloadmaps_837',['buildIsStoreLoadMaps',['../classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c',1,'SVF::VersionedFlowSensitive']]],
+  ['buildlabeltokindmap_838',['buildlabelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8',1,'SVF::CFLGraphBuilder']]],
+  ['buildllvmloops_839',['buildLLVMLoops',['../classSVF_1_1LLVMLoopAnalysis.html#abb501d497067af4365e5108d27387623',1,'SVF::LLVMLoopAnalysis']]],
+  ['buildmemmodel_840',['buildMemModel',['../classSVF_1_1SymbolTableBuilder.html#aef0bb1e88d0b69313c673318f7b7cb5f',1,'SVF::SymbolTableBuilder']]],
+  ['buildmemssa_841',['buildMemSSA',['../classSVF_1_1MemSSA.html#a4f3c4374ba4b06a819721a8e05efe221',1,'SVF::MemSSA']]],
+  ['buildmssa_842',['buildMSSA',['../classSVF_1_1SVFGBuilder.html#a057d1d631326e844ce3287eb17b98c1a',1,'SVF::SVFGBuilder']]],
+  ['buildnodetodepth_843',['buildNodeToDepth',['../classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a',1,'SVF::WTO']]],
+  ['buildptronlysvfg_844',['buildPTROnlySVFG',['../classSVF_1_1SVFGBuilder.html#ab7353191edd06568e2598177d253c1d9',1,'SVF::SVFGBuilder']]],
+  ['buildrelz3expr_845',['buildRelZ3Expr',['../classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210',1,'SVF::RelExeState']]],
+  ['buildsvfg_846',['buildSVFG',['../classSVF_1_1CFLSVFGBuilder.html#ab8c71c5af2877ccacd6c34a86a9eadf2',1,'SVF::CFLSVFGBuilder::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_847',['buildSVFLoops',['../classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78',1,'SVF::LLVMLoopAnalysis']]],
+  ['buildsvfmodule_848',['buildSVFModule',['../classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75',1,'SVF::LLVMModuleSet::buildSVFModule(Module &mod)'],['../classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9',1,'SVF::LLVMModuleSet::buildSVFModule(const std::vector< std::string > &moduleNameVec)']]],
+  ['buildsymboltable_849',['buildSymbolTable',['../classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd',1,'SVF::LLVMModuleSet']]],
+  ['buildthreadcallgraph_850',['buildThreadCallGraph',['../classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7',1,'SVF::ThreadCallGraphBuilder']]],
+  ['buildusage_851',['buildUsage',['../classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965',1,'OptionBase']]],
+  ['buildvirtualfunctiontoidmap_852',['buildVirtualFunctionToIDMap',['../classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8',1,'SVF::CHGBuilder']]],
+  ['buildvtables_853',['buildVTables',['../classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f',1,'SVF::DCHGraph']]],
+  ['bv_854',['bv',['../classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587',1,'SVF::PointsTo::bv()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892',1,'SVF::PointsTo::BV()']]],
+  ['bv2int_855',['bv2int',['../classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1',1,'SVF::BoundedZ3Expr::bv2int()'],['../classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a',1,'SVF::Z3Expr::bv2int()']]],
+  ['bvdataimpl_856',['BVDataImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8',1,'SVF::PointerAnalysis']]],
+  ['bvdataptaimpl_857',['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_858',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
+  ['bvlen_859',['bvLen',['../classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7',1,'SVF::BoundedZ3Expr']]],
+  ['bwfindallocofvar_860',['bwfindAllocOfVar',['../classSVF_1_1ObjTypeInference.html#a42149ece87a178241ef1ef0cce7ec554',1,'SVF::ObjTypeInference']]],
+  ['bwfindallocorclsnamesources_861',['bwFindAllocOrClsNameSources',['../classSVF_1_1ObjTypeInference.html#a744de27c13a045108c834c9484d7271c',1,'SVF::ObjTypeInference']]],
+  ['bwprocesscurnode_862',['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_863',['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_864',['bypassMSSAPHINode',['../classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16',1,'SVF::SVFGOPT']]],
+  ['bytesize_865',['byteSize',['../classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6',1,'SVF::SVFType::byteSize()'],['../classSVF_1_1ObjTypeInfo.html#abe4d855db71b38e7fdd2fd73cca67814',1,'SVF::ObjTypeInfo::byteSize()']]]
 ];