svf-tools 1.0.768 → 1.0.770

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

@@ -1,162 +1,164 @@
 var searchData=
 [
-  ['b_629',['b',['../cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.h'],['../cJSON_8cpp.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.cpp']]],
-  ['back_630',['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_631',['backICFGEdges',['../classSVF_1_1SVFLoop.html#aed4400521f825802719ac97a18452230',1,'SVF::SVFLoop']]],
-  ['backicfgedgesbegin_632',['backICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#a8b0341ca427d106c28b56d8b340a1e45',1,'SVF::SVFLoop']]],
-  ['backicfgedgesend_633',['backICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#a6eaf768ba9f537d81095c4df021c4825',1,'SVF::SVFLoop']]],
-  ['backtracealongdirectvf_634',['backtraceAlongDirectVF',['../classSVF_1_1DDAVFSolver.html#a7a6af30f30f32d55fc910f2ae4909791',1,'SVF::DDAVFSolver']]],
-  ['backtracealongindirectvf_635',['backtraceAlongIndirectVF',['../classSVF_1_1DDAVFSolver.html#a040bc02742836b0a6d46ce3c3e89fa46',1,'SVF::DDAVFSolver']]],
-  ['backtracetostoresrc_636',['backtraceToStoreSrc',['../classSVF_1_1DDAVFSolver.html#adbd209b4a2327b2b068fbb56e12042f7',1,'SVF::DDAVFSolver']]],
-  ['backwardpropdpm_637',['backwardPropDpm',['../classSVF_1_1DDAVFSolver.html#af6a6243b497df5fdab9f658b9add9c8a',1,'SVF::DDAVFSolver']]],
-  ['backwardslice_638',['backwardslice',['../classSVF_1_1ProgSlice.html#addb781260db48c0571c0083a45065ca0',1,'SVF::ProgSlice::backwardslice()'],['../classSVF_1_1SVFGStat.html#a1f93abeefa0c265f4945171255107725',1,'SVF::SVFGStat::backwardSlice()']]],
-  ['backwardslicebegin_639',['backwardSliceBegin',['../classSVF_1_1ProgSlice.html#ab5810f8a7a994f0637c54b94d0367a89',1,'SVF::ProgSlice']]],
-  ['backwardsliceend_640',['backwardSliceEnd',['../classSVF_1_1ProgSlice.html#aed4bedc716a3e252e44a6f28e677d61c',1,'SVF::ProgSlice']]],
-  ['backwardtraverse_641',['backwardTraverse',['../classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc',1,'SVF::SrcSnkSolver::backwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#a8785ea71a1b0da03595fc8f594921819',1,'SVF::GraphReachSolver::backwardTraverse()']]],
-  ['backwardvisited_642',['backwardVisited',['../classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c',1,'SVF::DDAVFSolver::backwardVisited()'],['../classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286',1,'SVF::SrcSnkDDA::backwardVisited()']]],
-  ['bad_5ffcmp_5fpredicate_643',['BAD_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca257536bcaeadf76c6172db4d225f3a26',1,'SVF::CmpStmt']]],
-  ['bad_5ficmp_5fpredicate_644',['BAD_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca163b0f2adc52334e5a1083d59d6bc5d9',1,'SVF::CmpStmt']]],
-  ['barreplace_645',['barReplace',['../classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f',1,'SVF::CFGNormalizer']]],
-  ['base_646',['Base',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a347b03b12df7d51774b617f4e7399568',1,'SVF::PTData::Base()'],['../classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5',1,'SVF::GepObjVar::base()']]],
-  ['basedfptdata_647',['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_648',['BaseDiffPTData',['../classSVF_1_1MutableDiffPTData.html#ab50b8026258c7c9103d2315ea3091340',1,'SVF::MutableDiffPTData::BaseDiffPTData()'],['../classSVF_1_1PersistentDiffPTData.html#a3a2cf38f220a831c4334614b835b57c6',1,'SVF::PersistentDiffPTData::BaseDiffPTData()']]],
-  ['baseids_649',['baseIds',['../classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54',1,'SVF::ConstraintNode']]],
-  ['baseimpl_650',['BaseImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da66b132e5ab8c8746eb22e58d199b4c2a',1,'SVF::PointerAnalysis']]],
-  ['basemutdfptdata_651',['BaseMutDFPTData',['../classSVF_1_1MutableIncDFPTData.html#a58f9b6357a5cf0243cf3b4ece30e8cf6',1,'SVF::MutableIncDFPTData']]],
-  ['basemutptdata_652',['BaseMutPTData',['../classSVF_1_1MutableDFPTData.html#ad02e5645ef7a73ba4c20c557a6f11789',1,'SVF::MutableDFPTData::BaseMutPTData()'],['../classSVF_1_1MutableIncDFPTData.html#a92f00e91a338113383bcf7bc8ce0026a',1,'SVF::MutableIncDFPTData::BaseMutPTData()']]],
-  ['basepersdfptdata_653',['BasePersDFPTData',['../classSVF_1_1PersistentIncDFPTData.html#abce6fa91fed789ef25146440ee10872b',1,'SVF::PersistentIncDFPTData']]],
-  ['basepersptdata_654',['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_655',['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_656',['BaseT',['../classSVF_1_1iter__adaptor__base.html#afbad8b4d7822152aec9a206c0e293f96',1,'SVF::iter_adaptor_base']]],
-  ['baseversionedptdata_657',['BaseVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html#aa80044e3b4c3ed58117573dfa54d803b',1,'SVF::MutableVersionedPTData::BaseVersionedPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ab71b82478d74f1a20ce3de479f2d8d5c',1,'SVF::PersistentVersionedPTData::BaseVersionedPTData()']]],
-  ['basicblock_658',['basicBlock',['../classSVF_1_1SVFStmt.html#a8a2afa585fcbdcab375ddc04961a614f',1,'SVF::SVFStmt::basicBlock()'],['../namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965',1,'SVF::BasicBlock()']]],
-  ['basicblockset_659',['BasicBlockSet',['../classSVF_1_1SaberCondAllocator.html#a45642ecc305ea97b58e0eeebd00fec7b',1,'SVF::SaberCondAllocator']]],
-  ['basictypes_2eh_660',['BasicTypes.h',['../BasicTypes_8h.html',1,'']]],
-  ['bb_661',['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_662',['bb2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ad578beedd9a6b64a57f82d799e6b8fa7',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bb2phisetmap_663',['bb2PhiSetMap',['../classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23',1,'SVF::MemSSA']]],
-  ['bbcondmap_664',['BBCondMap',['../classSVF_1_1SaberCondAllocator.html#a513ab32b3f9ddfb0a21668e881bcf27b',1,'SVF::SaberCondAllocator']]],
-  ['bbconds_665',['bbConds',['../classSVF_1_1SaberCondAllocator.html#a5c129ebf5ae55eb3af8bd670c921a646',1,'SVF::SaberCondAllocator']]],
-  ['bblist_666',['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_667',['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_668',['bbToCondMap',['../classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9',1,'SVF::SaberCondAllocator::bbToCondMap()'],['../classSVF_1_1SaberCondAllocator.html#ae4e8c7b47b9d672157b3c6f1c01188f8',1,'SVF::SaberCondAllocator::BBToCondMap()']]],
-  ['bbtomrsetmap_669',['BBToMRSetMap',['../classSVF_1_1MemSSA.html#acfe05b5b026ed41039540b11fe345734',1,'SVF::MemSSA']]],
-  ['bbtophisetmap_670',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#af939c93eee0128973d86974e36345917',1,'SVF::MemSSA']]],
-  ['bbworklist_671',['BBWorkList',['../classSVF_1_1PCG.html#a4eff22e077741d2decbad6f416ca7c6f',1,'SVF::PCG']]],
-  ['begin_672',['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_673',['begin_iterator',['../classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003',1,'SVF::iter_range']]],
-  ['bestcandidate_674',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['beta_675',['beta',['../classSVF_1_1RelationSolver.html#a5514dd057977686097cf314154748a25',1,'SVF::RelationSolver']]],
-  ['bidirection_676',['bidirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaf3515b032dca85081a3d653d0cb9b995',1,'SVF']]],
-  ['bilateral_677',['bilateral',['../classSVF_1_1RelationSolver.html#a36745d41af6b42d6133765c1b91a20e4',1,'SVF::RelationSolver']]],
-  ['binaryop_678',['BinaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337',1,'SVF::VFGNode::BinaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13',1,'SVF::SVFStmt::BinaryOp()']]],
-  ['binaryoperator_679',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
-  ['binaryopstmt_680',['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_681',['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)']]],
-  ['bit_682',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
-  ['bitcastinst_683',['BitCastInst',['../namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d',1,'SVF']]],
-  ['bitnumber_684',['BitNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['bits_685',['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_686',['BITS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d',1,'SVF::SparseBitVectorElement']]],
-  ['bitvector_687',['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_688',['BitVector.cpp',['../BitVector_8cpp.html',1,'']]],
-  ['bitvector_2eh_689',['BitVector.h',['../BitVector_8h.html',1,'']]],
-  ['bitword_690',['BitWord',['../structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d',1,'SVF::SparseBitVectorElement']]],
-  ['bitword_5fsize_691',['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_692',['BITWORDS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3',1,'SVF::SparseBitVectorElement']]],
-  ['blackhole_693',['BlackHole',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba95734ab884566beab5cd3523c250b539',1,'SVF::SymbolTableInfo']]],
-  ['blackholeobjectid_694',['blackHoleObjectId',['../classSVF_1_1NodeIDAllocator.html#a79ee84d7efb8abbfcd80d31d966ce20b',1,'SVF::NodeIDAllocator']]],
-  ['blackholepointerid_695',['blackHolePointerId',['../classSVF_1_1NodeIDAllocator.html#a535be344f97496d8086e2861ea6dc2ea',1,'SVF::NodeIDAllocator']]],
-  ['blackholesymid_696',['blackholeSymID',['../classSVF_1_1SymbolTableInfo.html#a05ca2987d9f8716c24e489bec53502f4',1,'SVF::SymbolTableInfo']]],
-  ['blkptr_697',['BlkPtr',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba9a9d3f03f58ccd4fdaaf08327a74aa03',1,'SVF::SymbolTableInfo']]],
-  ['blkptrsymid_698',['blkPtrSymID',['../classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72',1,'SVF::SymbolTableInfo']]],
-  ['blockaddress_699',['BlockAddress',['../namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c',1,'SVF']]],
-  ['boolean_700',['boolean',['../cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.h'],['../cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.cpp']]],
-  ['bothinteredges_701',['bothInterEdges',['../classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463',1,'SVF::SVFGOPT']]],
-  ['bottom_702',['bottom',['../classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e',1,'SVF::IntervalExeState::bottom()'],['../classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443',1,'SVF::IntervalValue::bottom()']]],
-  ['bottomconstant_703',['bottomConstant',['../classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8',1,'SVF::SingleAbsValue']]],
-  ['boundedz3expr_704',['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#a3ebb7be1d777e058d1dc30ca86f06434',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(int64_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_705',['BoundedZ3Expr.cpp',['../BoundedZ3Expr_8cpp.html',1,'']]],
-  ['boundedz3expr_2eh_706',['BoundedZ3Expr.h',['../BoundedZ3Expr_8h.html',1,'']]],
-  ['branch_707',['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()']]],
-  ['branchcondval_708',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3',1,'SVF::IntraCFGEdge']]],
-  ['branchflagmask_709',['BRANCHFLAGMASK',['../SVFBugReport_8h.html#a6c7cd1f1c2372251f51de3a8392faeec',1,'SVFBugReport.h']]],
-  ['branchinst_710',['BranchInst',['../namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f',1,'SVF']]],
-  ['branchstat_711',['branchStat',['../classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce',1,'SVF::SVFStat']]],
-  ['branchstmt_712',['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_713',['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)']]],
-  ['breakconstantexpr_2ecpp_714',['BreakConstantExpr.cpp',['../BreakConstantExpr_8cpp.html',1,'']]],
-  ['breakconstantexpr_2eh_715',['BreakConstantExpr.h',['../BreakConstantExpr_8h.html',1,'']]],
-  ['breakconstantgeps_716',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF::BreakConstantGEPs'],['../classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f',1,'SVF::BreakConstantGEPs::BreakConstantGEPs()']]],
-  ['bridge_5fgep_5fbegin_717',['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_718',['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_719',['bridge_gep_iterator',['../namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc',1,'SVF::bridge_gep_iterator()'],['../namespacellvm.html#af77a7ec045719d1f075cf6c591902522',1,'llvm::bridge_gep_iterator()']]],
-  ['briefconscgdotgraph_720',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c',1,'SVF::Options']]],
-  ['brinst_721',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
-  ['brstmt_722',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],
-  ['bsearch_723',['bsearch',['../extapi_8c.html#a5e6b12b1c1a15546016e972b266a7522',1,'extapi.c']]],
-  ['buffer_724',['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_725',['buffer_at_offset',['../cJSON_8cpp.html#ac538057ef78677344d222b763251af5e',1,'cJSON.cpp']]],
-  ['buffer_5flength_726',['buffer_length',['../cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.h'],['../cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.cpp']]],
-  ['buffer_5fskip_5fwhitespace_727',['buffer_skip_whitespace',['../cJSON_8cpp.html#a029a2c33fa2744a7cc5cf061f28d2cfc',1,'cJSON.cpp']]],
-  ['bufferoverflowbug_728',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html',1,'SVF::BufferOverflowBug'],['../classSVF_1_1BufferOverflowBug.html#ac05f2603f96431354402ea526da27fec',1,'SVF::BufferOverflowBug::BufferOverflowBug()']]],
-  ['bugeventstack_729',['bugEventStack',['../classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490',1,'SVF::GenericBug']]],
-  ['bugmsg1_730',['bugMsg1',['../namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3',1,'SVF::SVFUtil']]],
-  ['bugmsg2_731',['bugMsg2',['../namespaceSVF_1_1SVFUtil.html#ac25f6dfcc9118ffd80244a771bdee535',1,'SVF::SVFUtil']]],
-  ['bugmsg3_732',['bugMsg3',['../namespaceSVF_1_1SVFUtil.html#a76909ad87f59eb9a9cfd1913e13da264',1,'SVF::SVFUtil']]],
-  ['bugset_733',['BugSet',['../classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac',1,'SVF::SVFBugReport::BugSet()'],['../classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3',1,'SVF::SVFBugReport::bugSet()']]],
-  ['bugtype_734',['BugType',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac',1,'SVF::GenericBug::BugType()'],['../classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51',1,'SVF::GenericBug::bugType()']]],
-  ['bugtype2str_735',['BugType2Str',['../classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3',1,'SVF::GenericBug']]],
-  ['build_736',['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_1CFBasicBlockGBuilder.html#a99e4116e416962d1a2f3eb9b09d253b5',1,'SVF::CFBasicBlockGBuilder::build()'],['../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()']]],
-  ['build_5ftails_737',['build_tails',['../classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a',1,'SVF::CFBasicBlockGWTO']]],
-  ['buildbigraph_738',['buildBigraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd',1,'SVF::AliasCFLGraphBuilder::buildBigraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1',1,'SVF::VFCFLGraphBuilder::buildBigraph()']]],
-  ['buildbipeggraph_739',['buildBiPEGgraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880',1,'SVF::AliasCFLGraphBuilder::buildBiPEGgraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20',1,'SVF::VFCFLGraphBuilder::buildBiPEGgraph()']]],
-  ['buildcallgraph_740',['buildCallGraph',['../classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc',1,'SVF::CallGraphBuilder']]],
-  ['buildcandidatefuncsetforlock_741',['buildCandidateFuncSetforLock',['../classSVF_1_1LockAnalysis.html#a271506d5032033efae684b0d729f5b3e',1,'SVF::LockAnalysis']]],
-  ['buildcfldata_742',['buildCFLData',['../classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc',1,'SVF::POCRSolver']]],
-  ['buildcflgrammar_743',['buildCFLGrammar',['../classSVF_1_1CFLBase.html#a77bc3b0260fe02cdcf41fdb6b80caa09',1,'SVF::CFLBase']]],
-  ['buildcflgraph_744',['buildCFLGraph',['../classSVF_1_1CFLBase.html#a0daabb58bd7d5be40379ccc670c37a93',1,'SVF::CFLBase::buildCFLGraph()'],['../classSVF_1_1CFLVF.html#aa20f8d27da439c831f36b31312daf047',1,'SVF::CFLVF::buildCFLGraph()']]],
-  ['buildcg_745',['buildCG',['../classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278',1,'SVF::ConstraintGraph']]],
-  ['buildchg_746',['buildCHG',['../classSVF_1_1CHGBuilder.html#aa5c672ac426ad4085d64d97f8cb14ace',1,'SVF::CHGBuilder::buildCHG()'],['../classSVF_1_1DCHGraph.html#a710c6b87fd475552eddb425e38de8889',1,'SVF::DCHGraph::buildCHG()']]],
-  ['buildchgedges_747',['buildCHGEdges',['../classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25',1,'SVF::CHGBuilder']]],
-  ['buildchgnodes_748',['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_749',['buildClassNameToAncestorsDescendantsMap',['../classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb',1,'SVF::CHGBuilder']]],
-  ['buildcstochavtblsandvfnsmap_750',['buildCSToCHAVtblsAndVfnsMap',['../classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c',1,'SVF::CHGBuilder']]],
-  ['builddeltamaps_751',['buildDeltaMaps',['../classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014',1,'SVF::VersionedFlowSensitive']]],
-  ['builddirection_752',['BuildDirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa',1,'SVF']]],
-  ['buildfromdot_753',['buildFromDot',['../classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a',1,'SVF::CFLGraphBuilder']]],
-  ['buildfromjson_754',['buildFromJson',['../classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a',1,'SVF::CFLGraphBuilder']]],
-  ['buildfromtext_755',['buildFromText',['../classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f',1,'SVF::CFLGraphBuilder']]],
-  ['buildfullsvfg_756',['buildFullSVFG',['../classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd',1,'SVF::SVFGBuilder']]],
-  ['buildfuntofunmap_757',['buildFunToFunMap',['../classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628',1,'SVF::LLVMModuleSet']]],
-  ['buildglobaldeftorepmap_758',['buildGlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47',1,'SVF::LLVMModuleSet']]],
-  ['buildglobes_759',['buildGlobES',['../classSVF_1_1ConsExeState.html#a4cdddbbcb6b07f2db9cfad565ca7e57b',1,'SVF::ConsExeState']]],
-  ['buildingchgtime_760',['buildingCHGTime',['../classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836',1,'SVF::CHGraph']]],
-  ['buildinternalmaps_761',['buildInternalMaps',['../classSVF_1_1CHGBuilder.html#ad9f1c51ba6dc279f22aa671f29257a50',1,'SVF::CHGBuilder']]],
-  ['buildisstoreloadmaps_762',['buildIsStoreLoadMaps',['../classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c',1,'SVF::VersionedFlowSensitive']]],
-  ['buildlabeltokindmap_763',['buildlabelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8',1,'SVF::CFLGraphBuilder']]],
-  ['buildllvmloops_764',['buildLLVMLoops',['../classSVF_1_1LLVMLoopAnalysis.html#abb501d497067af4365e5108d27387623',1,'SVF::LLVMLoopAnalysis']]],
-  ['buildmemmodel_765',['buildMemModel',['../classSVF_1_1SymbolTableBuilder.html#aef0bb1e88d0b69313c673318f7b7cb5f',1,'SVF::SymbolTableBuilder']]],
-  ['buildmemssa_766',['buildMemSSA',['../classSVF_1_1MemSSA.html#a4f3c4374ba4b06a819721a8e05efe221',1,'SVF::MemSSA']]],
-  ['buildmssa_767',['buildMSSA',['../classSVF_1_1SVFGBuilder.html#a057d1d631326e844ce3287eb17b98c1a',1,'SVF::SVFGBuilder']]],
-  ['buildnodetowtocycledepth_768',['buildNodeToWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#a50fa3b82172788c5e963d723b27900ba',1,'SVF::CFBasicBlockGWTO']]],
-  ['buildptronlysvfg_769',['buildPTROnlySVFG',['../classSVF_1_1SVFGBuilder.html#ab7353191edd06568e2598177d253c1d9',1,'SVF::SVFGBuilder']]],
-  ['buildrelz3expr_770',['buildRelZ3Expr',['../classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210',1,'SVF::RelExeState']]],
-  ['buildsvfg_771',['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_772',['buildSVFLoops',['../classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78',1,'SVF::LLVMLoopAnalysis']]],
-  ['buildsvfmodule_773',['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_774',['buildSymbolTable',['../classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd',1,'SVF::LLVMModuleSet']]],
-  ['buildthreadcallgraph_775',['buildThreadCallGraph',['../classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7',1,'SVF::ThreadCallGraphBuilder']]],
-  ['buildusage_776',['buildUsage',['../classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965',1,'OptionBase']]],
-  ['buildvirtualfunctiontoidmap_777',['buildVirtualFunctionToIDMap',['../classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8',1,'SVF::CHGBuilder']]],
-  ['buildvtables_778',['buildVTables',['../classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f',1,'SVF::DCHGraph']]],
-  ['bv_779',['bv',['../classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587',1,'SVF::PointsTo::bv()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892',1,'SVF::PointsTo::BV()']]],
-  ['bv2int_780',['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_781',['BVDataImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8',1,'SVF::PointerAnalysis']]],
-  ['bvdataptaimpl_782',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF::BVDataPTAImpl'],['../classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476',1,'SVF::BVDataPTAImpl::BVDataPTAImpl()']]],
-  ['bvit_783',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
-  ['bvlen_784',['bvLen',['../classSVF_1_1BoundedZ3Expr.html#ad933b3a56e3004f13eca9b67a80d8ee8',1,'SVF::BoundedZ3Expr']]],
-  ['bwprocesscurnode_785',['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_786',['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_787',['bypassMSSAPHINode',['../classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16',1,'SVF::SVFGOPT']]]
+  ['b_637',['b',['../cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.h'],['../cJSON_8cpp.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.cpp']]],
+  ['back_638',['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_639',['backICFGEdges',['../classSVF_1_1SVFLoop.html#aed4400521f825802719ac97a18452230',1,'SVF::SVFLoop']]],
+  ['backicfgedgesbegin_640',['backICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#a8b0341ca427d106c28b56d8b340a1e45',1,'SVF::SVFLoop']]],
+  ['backicfgedgesend_641',['backICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#a6eaf768ba9f537d81095c4df021c4825',1,'SVF::SVFLoop']]],
+  ['backtracealongdirectvf_642',['backtraceAlongDirectVF',['../classSVF_1_1DDAVFSolver.html#a7a6af30f30f32d55fc910f2ae4909791',1,'SVF::DDAVFSolver']]],
+  ['backtracealongindirectvf_643',['backtraceAlongIndirectVF',['../classSVF_1_1DDAVFSolver.html#a040bc02742836b0a6d46ce3c3e89fa46',1,'SVF::DDAVFSolver']]],
+  ['backtracetostoresrc_644',['backtraceToStoreSrc',['../classSVF_1_1DDAVFSolver.html#adbd209b4a2327b2b068fbb56e12042f7',1,'SVF::DDAVFSolver']]],
+  ['backwardpropdpm_645',['backwardPropDpm',['../classSVF_1_1DDAVFSolver.html#af6a6243b497df5fdab9f658b9add9c8a',1,'SVF::DDAVFSolver']]],
+  ['backwardslice_646',['backwardslice',['../classSVF_1_1ProgSlice.html#addb781260db48c0571c0083a45065ca0',1,'SVF::ProgSlice::backwardslice()'],['../classSVF_1_1SVFGStat.html#a1f93abeefa0c265f4945171255107725',1,'SVF::SVFGStat::backwardSlice()']]],
+  ['backwardslicebegin_647',['backwardSliceBegin',['../classSVF_1_1ProgSlice.html#ab5810f8a7a994f0637c54b94d0367a89',1,'SVF::ProgSlice']]],
+  ['backwardsliceend_648',['backwardSliceEnd',['../classSVF_1_1ProgSlice.html#aed4bedc716a3e252e44a6f28e677d61c',1,'SVF::ProgSlice']]],
+  ['backwardtraverse_649',['backwardTraverse',['../classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc',1,'SVF::SrcSnkSolver::backwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#a8785ea71a1b0da03595fc8f594921819',1,'SVF::GraphReachSolver::backwardTraverse()']]],
+  ['backwardvisited_650',['backwardVisited',['../classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c',1,'SVF::DDAVFSolver::backwardVisited()'],['../classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286',1,'SVF::SrcSnkDDA::backwardVisited()']]],
+  ['bad_5ffcmp_5fpredicate_651',['BAD_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca257536bcaeadf76c6172db4d225f3a26',1,'SVF::CmpStmt']]],
+  ['bad_5ficmp_5fpredicate_652',['BAD_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca163b0f2adc52334e5a1083d59d6bc5d9',1,'SVF::CmpStmt']]],
+  ['barreplace_653',['barReplace',['../classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f',1,'SVF::CFGNormalizer']]],
+  ['base_654',['Base',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a347b03b12df7d51774b617f4e7399568',1,'SVF::PTData::Base()'],['../classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5',1,'SVF::GepObjVar::base()']]],
+  ['basedfptdata_655',['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_656',['BaseDiffPTData',['../classSVF_1_1MutableDiffPTData.html#ab50b8026258c7c9103d2315ea3091340',1,'SVF::MutableDiffPTData::BaseDiffPTData()'],['../classSVF_1_1PersistentDiffPTData.html#a3a2cf38f220a831c4334614b835b57c6',1,'SVF::PersistentDiffPTData::BaseDiffPTData()']]],
+  ['baseids_657',['baseIds',['../classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54',1,'SVF::ConstraintNode']]],
+  ['baseimpl_658',['BaseImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da66b132e5ab8c8746eb22e58d199b4c2a',1,'SVF::PointerAnalysis']]],
+  ['basemutdfptdata_659',['BaseMutDFPTData',['../classSVF_1_1MutableIncDFPTData.html#a58f9b6357a5cf0243cf3b4ece30e8cf6',1,'SVF::MutableIncDFPTData']]],
+  ['basemutptdata_660',['BaseMutPTData',['../classSVF_1_1MutableDFPTData.html#ad02e5645ef7a73ba4c20c557a6f11789',1,'SVF::MutableDFPTData::BaseMutPTData()'],['../classSVF_1_1MutableIncDFPTData.html#a92f00e91a338113383bcf7bc8ce0026a',1,'SVF::MutableIncDFPTData::BaseMutPTData()']]],
+  ['basepersdfptdata_661',['BasePersDFPTData',['../classSVF_1_1PersistentIncDFPTData.html#abce6fa91fed789ef25146440ee10872b',1,'SVF::PersistentIncDFPTData']]],
+  ['basepersptdata_662',['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_663',['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_664',['BaseT',['../classSVF_1_1iter__adaptor__base.html#afbad8b4d7822152aec9a206c0e293f96',1,'SVF::iter_adaptor_base']]],
+  ['baseversionedptdata_665',['BaseVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html#aa80044e3b4c3ed58117573dfa54d803b',1,'SVF::MutableVersionedPTData::BaseVersionedPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ab71b82478d74f1a20ce3de479f2d8d5c',1,'SVF::PersistentVersionedPTData::BaseVersionedPTData()']]],
+  ['basicblock_666',['basicBlock',['../classSVF_1_1SVFStmt.html#a8a2afa585fcbdcab375ddc04961a614f',1,'SVF::SVFStmt::basicBlock()'],['../namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965',1,'SVF::BasicBlock()']]],
+  ['basicblockset_667',['BasicBlockSet',['../classSVF_1_1SaberCondAllocator.html#a45642ecc305ea97b58e0eeebd00fec7b',1,'SVF::SaberCondAllocator']]],
+  ['basictypes_2eh_668',['BasicTypes.h',['../BasicTypes_8h.html',1,'']]],
+  ['bb_669',['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_670',['bb2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ad578beedd9a6b64a57f82d799e6b8fa7',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bb2phisetmap_671',['bb2PhiSetMap',['../classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23',1,'SVF::MemSSA']]],
+  ['bbcondmap_672',['BBCondMap',['../classSVF_1_1SaberCondAllocator.html#a513ab32b3f9ddfb0a21668e881bcf27b',1,'SVF::SaberCondAllocator']]],
+  ['bbconds_673',['bbConds',['../classSVF_1_1SaberCondAllocator.html#a5c129ebf5ae55eb3af8bd670c921a646',1,'SVF::SaberCondAllocator']]],
+  ['bblist_674',['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_675',['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_676',['bbToCondMap',['../classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9',1,'SVF::SaberCondAllocator::bbToCondMap()'],['../classSVF_1_1SaberCondAllocator.html#ae4e8c7b47b9d672157b3c6f1c01188f8',1,'SVF::SaberCondAllocator::BBToCondMap()']]],
+  ['bbtomrsetmap_677',['BBToMRSetMap',['../classSVF_1_1MemSSA.html#acfe05b5b026ed41039540b11fe345734',1,'SVF::MemSSA']]],
+  ['bbtophisetmap_678',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#af939c93eee0128973d86974e36345917',1,'SVF::MemSSA']]],
+  ['bbworklist_679',['BBWorkList',['../classSVF_1_1PCG.html#a4eff22e077741d2decbad6f416ca7c6f',1,'SVF::PCG']]],
+  ['begin_680',['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_681',['begin_iterator',['../classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003',1,'SVF::iter_range']]],
+  ['bestcandidate_682',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['beta_683',['beta',['../classSVF_1_1RelationSolver.html#a5514dd057977686097cf314154748a25',1,'SVF::RelationSolver']]],
+  ['bidirection_684',['bidirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaf3515b032dca85081a3d653d0cb9b995',1,'SVF']]],
+  ['bilateral_685',['bilateral',['../classSVF_1_1RelationSolver.html#a36745d41af6b42d6133765c1b91a20e4',1,'SVF::RelationSolver']]],
+  ['binaryop_686',['BinaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337',1,'SVF::VFGNode::BinaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13',1,'SVF::SVFStmt::BinaryOp()']]],
+  ['binaryoperator_687',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
+  ['binaryopstmt_688',['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_689',['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_690',['bind_textdomain_codeset',['../extapi_8c.html#a8d02d24ade4c4b8a3134591880a195fa',1,'extapi.c']]],
+  ['bindtextdomain_691',['bindtextdomain',['../extapi_8c.html#ac852a1476d916526d67ccbf5e0bd15ca',1,'extapi.c']]],
+  ['bit_692',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
+  ['bitcastinst_693',['BitCastInst',['../namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d',1,'SVF']]],
+  ['bitnumber_694',['BitNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['bits_695',['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_696',['BITS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d',1,'SVF::SparseBitVectorElement']]],
+  ['bitvector_697',['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_698',['BitVector.cpp',['../BitVector_8cpp.html',1,'']]],
+  ['bitvector_2eh_699',['BitVector.h',['../BitVector_8h.html',1,'']]],
+  ['bitword_700',['BitWord',['../structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d',1,'SVF::SparseBitVectorElement']]],
+  ['bitword_5fsize_701',['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_702',['BITWORDS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3',1,'SVF::SparseBitVectorElement']]],
+  ['blackhole_703',['BlackHole',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba95734ab884566beab5cd3523c250b539',1,'SVF::SymbolTableInfo']]],
+  ['blackholeobjectid_704',['blackHoleObjectId',['../classSVF_1_1NodeIDAllocator.html#a79ee84d7efb8abbfcd80d31d966ce20b',1,'SVF::NodeIDAllocator']]],
+  ['blackholepointerid_705',['blackHolePointerId',['../classSVF_1_1NodeIDAllocator.html#a535be344f97496d8086e2861ea6dc2ea',1,'SVF::NodeIDAllocator']]],
+  ['blackholesymid_706',['blackholeSymID',['../classSVF_1_1SymbolTableInfo.html#a05ca2987d9f8716c24e489bec53502f4',1,'SVF::SymbolTableInfo']]],
+  ['blkptr_707',['BlkPtr',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba9a9d3f03f58ccd4fdaaf08327a74aa03',1,'SVF::SymbolTableInfo']]],
+  ['blkptrsymid_708',['blkPtrSymID',['../classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72',1,'SVF::SymbolTableInfo']]],
+  ['blockaddress_709',['BlockAddress',['../namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c',1,'SVF']]],
+  ['boolean_710',['boolean',['../cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.h'],['../cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.cpp']]],
+  ['bothinteredges_711',['bothInterEdges',['../classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463',1,'SVF::SVFGOPT']]],
+  ['bottom_712',['bottom',['../classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e',1,'SVF::IntervalExeState::bottom()'],['../classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443',1,'SVF::IntervalValue::bottom()']]],
+  ['bottomconstant_713',['bottomConstant',['../classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8',1,'SVF::SingleAbsValue']]],
+  ['boundedz3expr_714',['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#a3ebb7be1d777e058d1dc30ca86f06434',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(int64_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_715',['BoundedZ3Expr.cpp',['../BoundedZ3Expr_8cpp.html',1,'']]],
+  ['boundedz3expr_2eh_716',['BoundedZ3Expr.h',['../BoundedZ3Expr_8h.html',1,'']]],
+  ['branch_717',['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()']]],
+  ['branchcondval_718',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3',1,'SVF::IntraCFGEdge']]],
+  ['branchflagmask_719',['BRANCHFLAGMASK',['../SVFBugReport_8h.html#a6c7cd1f1c2372251f51de3a8392faeec',1,'SVFBugReport.h']]],
+  ['branchinst_720',['BranchInst',['../namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f',1,'SVF']]],
+  ['branchstat_721',['branchStat',['../classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce',1,'SVF::SVFStat']]],
+  ['branchstmt_722',['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_723',['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)']]],
+  ['breakconstantexpr_2ecpp_724',['BreakConstantExpr.cpp',['../BreakConstantExpr_8cpp.html',1,'']]],
+  ['breakconstantexpr_2eh_725',['BreakConstantExpr.h',['../BreakConstantExpr_8h.html',1,'']]],
+  ['breakconstantgeps_726',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF::BreakConstantGEPs'],['../classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f',1,'SVF::BreakConstantGEPs::BreakConstantGEPs()']]],
+  ['bridge_5fgep_5fbegin_727',['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_728',['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_729',['bridge_gep_iterator',['../namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc',1,'SVF::bridge_gep_iterator()'],['../namespacellvm.html#af77a7ec045719d1f075cf6c591902522',1,'llvm::bridge_gep_iterator()']]],
+  ['briefconscgdotgraph_730',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c',1,'SVF::Options']]],
+  ['brinst_731',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
+  ['brstmt_732',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],
+  ['bsearch_733',['bsearch',['../extapi_8c.html#a5e6b12b1c1a15546016e972b266a7522',1,'extapi.c']]],
+  ['buffer_734',['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_735',['buffer_at_offset',['../cJSON_8cpp.html#ac538057ef78677344d222b763251af5e',1,'cJSON.cpp']]],
+  ['buffer_5flength_736',['buffer_length',['../cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.h'],['../cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.cpp']]],
+  ['buffer_5fskip_5fwhitespace_737',['buffer_skip_whitespace',['../cJSON_8cpp.html#a029a2c33fa2744a7cc5cf061f28d2cfc',1,'cJSON.cpp']]],
+  ['bufferoverflowbug_738',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html',1,'SVF::BufferOverflowBug'],['../classSVF_1_1BufferOverflowBug.html#ac05f2603f96431354402ea526da27fec',1,'SVF::BufferOverflowBug::BufferOverflowBug()']]],
+  ['bugeventstack_739',['bugEventStack',['../classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490',1,'SVF::GenericBug']]],
+  ['bugmsg1_740',['bugMsg1',['../namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3',1,'SVF::SVFUtil']]],
+  ['bugmsg2_741',['bugMsg2',['../namespaceSVF_1_1SVFUtil.html#ac25f6dfcc9118ffd80244a771bdee535',1,'SVF::SVFUtil']]],
+  ['bugmsg3_742',['bugMsg3',['../namespaceSVF_1_1SVFUtil.html#a76909ad87f59eb9a9cfd1913e13da264',1,'SVF::SVFUtil']]],
+  ['bugset_743',['BugSet',['../classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac',1,'SVF::SVFBugReport::BugSet()'],['../classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3',1,'SVF::SVFBugReport::bugSet()']]],
+  ['bugtype_744',['BugType',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac',1,'SVF::GenericBug::BugType()'],['../classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51',1,'SVF::GenericBug::bugType()']]],
+  ['bugtype2str_745',['BugType2Str',['../classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3',1,'SVF::GenericBug']]],
+  ['build_746',['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_1CFBasicBlockGBuilder.html#a99e4116e416962d1a2f3eb9b09d253b5',1,'SVF::CFBasicBlockGBuilder::build()'],['../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()']]],
+  ['build_5ftails_747',['build_tails',['../classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a',1,'SVF::CFBasicBlockGWTO']]],
+  ['buildbigraph_748',['buildBigraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd',1,'SVF::AliasCFLGraphBuilder::buildBigraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1',1,'SVF::VFCFLGraphBuilder::buildBigraph()']]],
+  ['buildbipeggraph_749',['buildBiPEGgraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880',1,'SVF::AliasCFLGraphBuilder::buildBiPEGgraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20',1,'SVF::VFCFLGraphBuilder::buildBiPEGgraph()']]],
+  ['buildcallgraph_750',['buildCallGraph',['../classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc',1,'SVF::CallGraphBuilder']]],
+  ['buildcandidatefuncsetforlock_751',['buildCandidateFuncSetforLock',['../classSVF_1_1LockAnalysis.html#a271506d5032033efae684b0d729f5b3e',1,'SVF::LockAnalysis']]],
+  ['buildcfldata_752',['buildCFLData',['../classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc',1,'SVF::POCRSolver']]],
+  ['buildcflgrammar_753',['buildCFLGrammar',['../classSVF_1_1CFLBase.html#a77bc3b0260fe02cdcf41fdb6b80caa09',1,'SVF::CFLBase']]],
+  ['buildcflgraph_754',['buildCFLGraph',['../classSVF_1_1CFLBase.html#a0daabb58bd7d5be40379ccc670c37a93',1,'SVF::CFLBase::buildCFLGraph()'],['../classSVF_1_1CFLVF.html#aa20f8d27da439c831f36b31312daf047',1,'SVF::CFLVF::buildCFLGraph()']]],
+  ['buildcg_755',['buildCG',['../classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278',1,'SVF::ConstraintGraph']]],
+  ['buildchg_756',['buildCHG',['../classSVF_1_1CHGBuilder.html#aa5c672ac426ad4085d64d97f8cb14ace',1,'SVF::CHGBuilder::buildCHG()'],['../classSVF_1_1DCHGraph.html#a710c6b87fd475552eddb425e38de8889',1,'SVF::DCHGraph::buildCHG()']]],
+  ['buildchgedges_757',['buildCHGEdges',['../classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25',1,'SVF::CHGBuilder']]],
+  ['buildchgnodes_758',['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_759',['buildClassNameToAncestorsDescendantsMap',['../classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb',1,'SVF::CHGBuilder']]],
+  ['buildcstochavtblsandvfnsmap_760',['buildCSToCHAVtblsAndVfnsMap',['../classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c',1,'SVF::CHGBuilder']]],
+  ['builddeltamaps_761',['buildDeltaMaps',['../classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014',1,'SVF::VersionedFlowSensitive']]],
+  ['builddirection_762',['BuildDirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa',1,'SVF']]],
+  ['buildfromdot_763',['buildFromDot',['../classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a',1,'SVF::CFLGraphBuilder']]],
+  ['buildfromjson_764',['buildFromJson',['../classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a',1,'SVF::CFLGraphBuilder']]],
+  ['buildfromtext_765',['buildFromText',['../classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f',1,'SVF::CFLGraphBuilder']]],
+  ['buildfullsvfg_766',['buildFullSVFG',['../classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd',1,'SVF::SVFGBuilder']]],
+  ['buildfuntofunmap_767',['buildFunToFunMap',['../classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628',1,'SVF::LLVMModuleSet']]],
+  ['buildglobaldeftorepmap_768',['buildGlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47',1,'SVF::LLVMModuleSet']]],
+  ['buildglobes_769',['buildGlobES',['../classSVF_1_1ConsExeState.html#a4cdddbbcb6b07f2db9cfad565ca7e57b',1,'SVF::ConsExeState']]],
+  ['buildingchgtime_770',['buildingCHGTime',['../classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836',1,'SVF::CHGraph']]],
+  ['buildinternalmaps_771',['buildInternalMaps',['../classSVF_1_1CHGBuilder.html#ad9f1c51ba6dc279f22aa671f29257a50',1,'SVF::CHGBuilder']]],
+  ['buildisstoreloadmaps_772',['buildIsStoreLoadMaps',['../classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c',1,'SVF::VersionedFlowSensitive']]],
+  ['buildlabeltokindmap_773',['buildlabelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8',1,'SVF::CFLGraphBuilder']]],
+  ['buildllvmloops_774',['buildLLVMLoops',['../classSVF_1_1LLVMLoopAnalysis.html#abb501d497067af4365e5108d27387623',1,'SVF::LLVMLoopAnalysis']]],
+  ['buildmemmodel_775',['buildMemModel',['../classSVF_1_1SymbolTableBuilder.html#aef0bb1e88d0b69313c673318f7b7cb5f',1,'SVF::SymbolTableBuilder']]],
+  ['buildmemssa_776',['buildMemSSA',['../classSVF_1_1MemSSA.html#a4f3c4374ba4b06a819721a8e05efe221',1,'SVF::MemSSA']]],
+  ['buildmssa_777',['buildMSSA',['../classSVF_1_1SVFGBuilder.html#a057d1d631326e844ce3287eb17b98c1a',1,'SVF::SVFGBuilder']]],
+  ['buildnodetowtocycledepth_778',['buildNodeToWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#a50fa3b82172788c5e963d723b27900ba',1,'SVF::CFBasicBlockGWTO']]],
+  ['buildptronlysvfg_779',['buildPTROnlySVFG',['../classSVF_1_1SVFGBuilder.html#ab7353191edd06568e2598177d253c1d9',1,'SVF::SVFGBuilder']]],
+  ['buildrelz3expr_780',['buildRelZ3Expr',['../classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210',1,'SVF::RelExeState']]],
+  ['buildsvfg_781',['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_782',['buildSVFLoops',['../classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78',1,'SVF::LLVMLoopAnalysis']]],
+  ['buildsvfmodule_783',['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_784',['buildSymbolTable',['../classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd',1,'SVF::LLVMModuleSet']]],
+  ['buildthreadcallgraph_785',['buildThreadCallGraph',['../classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7',1,'SVF::ThreadCallGraphBuilder']]],
+  ['buildusage_786',['buildUsage',['../classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965',1,'OptionBase']]],
+  ['buildvirtualfunctiontoidmap_787',['buildVirtualFunctionToIDMap',['../classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8',1,'SVF::CHGBuilder']]],
+  ['buildvtables_788',['buildVTables',['../classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f',1,'SVF::DCHGraph']]],
+  ['bv_789',['bv',['../classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587',1,'SVF::PointsTo::bv()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892',1,'SVF::PointsTo::BV()']]],
+  ['bv2int_790',['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_791',['BVDataImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8',1,'SVF::PointerAnalysis']]],
+  ['bvdataptaimpl_792',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF::BVDataPTAImpl'],['../classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476',1,'SVF::BVDataPTAImpl::BVDataPTAImpl()']]],
+  ['bvit_793',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
+  ['bvlen_794',['bvLen',['../classSVF_1_1BoundedZ3Expr.html#ad933b3a56e3004f13eca9b67a80d8ee8',1,'SVF::BoundedZ3Expr']]],
+  ['bwprocesscurnode_795',['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_796',['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_797',['bypassMSSAPHINode',['../classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16',1,'SVF::SVFGOPT']]]
 ];