svf-tools 1.0.855 → 1.0.856

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

@@ -1,94 +1,94 @@
 var searchData=
 [
-  ['back_7699',['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()']]],
-  ['backicfgedgesbegin_7700',['backICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#a8b0341ca427d106c28b56d8b340a1e45',1,'SVF::SVFLoop']]],
-  ['backicfgedgesend_7701',['backICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#a6eaf768ba9f537d81095c4df021c4825',1,'SVF::SVFLoop']]],
-  ['backtracealongdirectvf_7702',['backtraceAlongDirectVF',['../classSVF_1_1DDAVFSolver.html#a7a6af30f30f32d55fc910f2ae4909791',1,'SVF::DDAVFSolver']]],
-  ['backtracealongindirectvf_7703',['backtraceAlongIndirectVF',['../classSVF_1_1DDAVFSolver.html#a040bc02742836b0a6d46ce3c3e89fa46',1,'SVF::DDAVFSolver']]],
-  ['backtracetostoresrc_7704',['backtraceToStoreSrc',['../classSVF_1_1DDAVFSolver.html#adbd209b4a2327b2b068fbb56e12042f7',1,'SVF::DDAVFSolver']]],
-  ['backwardpropdpm_7705',['backwardPropDpm',['../classSVF_1_1DDAVFSolver.html#af6a6243b497df5fdab9f658b9add9c8a',1,'SVF::DDAVFSolver']]],
-  ['backwardslicebegin_7706',['backwardSliceBegin',['../classSVF_1_1ProgSlice.html#ab5810f8a7a994f0637c54b94d0367a89',1,'SVF::ProgSlice']]],
-  ['backwardsliceend_7707',['backwardSliceEnd',['../classSVF_1_1ProgSlice.html#aed4bedc716a3e252e44a6f28e677d61c',1,'SVF::ProgSlice']]],
-  ['backwardtraverse_7708',['backwardTraverse',['../classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc',1,'SVF::SrcSnkSolver::backwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#a8785ea71a1b0da03595fc8f594921819',1,'SVF::GraphReachSolver::backwardTraverse()']]],
-  ['backwardvisited_7709',['backwardVisited',['../classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286',1,'SVF::SrcSnkDDA']]],
-  ['barreplace_7710',['barReplace',['../classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f',1,'SVF::CFGNormalizer']]],
-  ['basicblockhasretinst_7711',['basicBlockHasRetInst',['../namespaceSVF_1_1LLVMUtil.html#abb4b5ed04ec70a2e7fca8198132370cf',1,'SVF::LLVMUtil']]],
-  ['begin_7712',['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()']]],
-  ['beta_7713',['beta',['../classSVF_1_1RelationSolver.html#af0c2db68bffbb223b845ca307b86c10a',1,'SVF::RelationSolver']]],
-  ['bilateral_7714',['bilateral',['../classSVF_1_1RelationSolver.html#a0df88638c5e3f8cd56d34088b96199f1',1,'SVF::RelationSolver']]],
-  ['bilateral_5ftime_7715',['Bilateral_time',['../classSymblicAbstractionTest.html#ad6525df45acfeb1c9c31fc54219a4217',1,'SymblicAbstractionTest']]],
-  ['binaryopstmt_7716',['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_7717',['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_7718',['bind_textdomain_codeset',['../extapi_8c.html#a8d02d24ade4c4b8a3134591880a195fa',1,'extapi.c']]],
-  ['bindtextdomain_7719',['bindtextdomain',['../extapi_8c.html#ac852a1476d916526d67ccbf5e0bd15ca',1,'extapi.c']]],
-  ['bitvector_7720',['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)']]],
-  ['blackholesymid_7721',['blackholeSymID',['../classSVF_1_1SymbolTableInfo.html#a05ca2987d9f8716c24e489bec53502f4',1,'SVF::SymbolTableInfo']]],
-  ['blkptrsymid_7722',['blkPtrSymID',['../classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72',1,'SVF::SymbolTableInfo']]],
-  ['bothinteredges_7723',['bothInterEdges',['../classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463',1,'SVF::SVFGOPT']]],
-  ['bottom_7724',['bottom',['../classSVF_1_1IntervalESBase.html#a839e8ee927c1cad86aef3059b41ba2eb',1,'SVF::IntervalESBase::bottom()'],['../classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443',1,'SVF::IntervalValue::bottom()']]],
-  ['bottomconstant_7725',['bottomConstant',['../classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8',1,'SVF::SingleAbsValue']]],
-  ['boundedz3expr_7726',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34',1,'SVF::BoundedZ3Expr::BoundedZ3Expr()=default'],['../classSVF_1_1BoundedZ3Expr.html#a572da9c3edd1e61ece1aba72104f71dd',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const Z3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a093d3d2b95f0de658472a20384c36248',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const z3::expr &e)'],['../classSVF_1_1BoundedZ3Expr.html#ac25e1b9231a66c94967bebb908a45680',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s32_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a8995acaa4d5c1f43c526f938eb2c26bb',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s64_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const BoundedZ3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a1e666f5db9f47cf09fc22de840a405e3',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(BoundedZ3Expr &&z3Expr)']]],
-  ['boxedoptsolver_7727',['BoxedOptSolver',['../classSVF_1_1RelationSolver.html#aaae7ac9ed7d0e17f39948c37b867ada9',1,'SVF::RelationSolver']]],
-  ['branchstat_7728',['branchStat',['../classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce',1,'SVF::SVFStat']]],
-  ['branchstmt_7729',['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_7730',['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)']]],
-  ['breakconstantgeps_7731',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f',1,'SVF::BreakConstantGEPs']]],
-  ['bridge_5fgep_5fbegin_7732',['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_7733',['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)']]],
-  ['bs_7734',['BS',['../classSVF_1_1RelationSolver.html#a7e827609a1d69c6517f1a3eee0326fc3',1,'SVF::RelationSolver']]],
-  ['bs_5ftime_7735',['BS_time',['../classSymblicAbstractionTest.html#a61df4b66ebc9b3eb38d773aa375ee759',1,'SymblicAbstractionTest']]],
-  ['bsearch_7736',['bsearch',['../extapi_8c.html#a5e6b12b1c1a15546016e972b266a7522',1,'extapi.c']]],
-  ['buffer_5fskip_5fwhitespace_7737',['buffer_skip_whitespace',['../cJSON_8cpp.html#a029a2c33fa2744a7cc5cf061f28d2cfc',1,'cJSON.cpp']]],
-  ['bufferoverflowbug_7738',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html#ac05f2603f96431354402ea526da27fec',1,'SVF::BufferOverflowBug']]],
-  ['bugmsg1_7739',['bugMsg1',['../namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3',1,'SVF::SVFUtil']]],
-  ['bugmsg2_7740',['bugMsg2',['../namespaceSVF_1_1SVFUtil.html#ac25f6dfcc9118ffd80244a771bdee535',1,'SVF::SVFUtil']]],
-  ['bugmsg3_7741',['bugMsg3',['../namespaceSVF_1_1SVFUtil.html#a76909ad87f59eb9a9cfd1913e13da264',1,'SVF::SVFUtil']]],
-  ['build_7742',['build',['../classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250',1,'SVF::ICFGBuilder::build()'],['../classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d',1,'SVF::LLVMLoopAnalysis::build()'],['../classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e',1,'SVF::LLVMModuleSet::build()'],['../classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689',1,'SVF::SVFIRBuilder::build()'],['../classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f',1,'SVF::CFBasicBlockGWTO::build()'],['../classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383',1,'SVF::CFLGraphBuilder::build(GenericGraph< N, E > *graph, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)'],['../classSVF_1_1CFLGraphBuilder.html#a2e97c964eb1e187a931f17da9672815f',1,'SVF::CFLGraphBuilder::build(std::string fileName, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)'],['../classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505',1,'SVF::GrammarBuilder::build() const'],['../classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3',1,'SVF::GrammarBuilder::build(Map< std::string, SVF::GrammarBase::Symbol > &preMap) const'],['../classSVF_1_1SVFGBuilder.html#a47591192260ddc3ff0717430f127cc95',1,'SVF::SVFGBuilder::build()'],['../classSVF_1_1TCT.html#ab86389b3bf292c5b3d2b29fc49a5d94d',1,'SVF::TCT::build()'],['../classSVF_1_1PAGBuilderFromFile.html#ac5a5058088d03fc9e0e8a0ed8b4367aa',1,'SVF::PAGBuilderFromFile::build()'],['../classSVF_1_1CDGBuilder.html#aeeb38d897babfeff1844c643dda8ae97',1,'SVF::CDGBuilder::build()'],['../classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf',1,'SVF::CFBasicBlockGBuilder::build()']]],
-  ['build_5ftails_7743',['build_tails',['../classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a',1,'SVF::CFBasicBlockGWTO']]],
-  ['buildbigraph_7744',['buildBigraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd',1,'SVF::AliasCFLGraphBuilder::buildBigraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1',1,'SVF::VFCFLGraphBuilder::buildBigraph()']]],
-  ['buildbipeggraph_7745',['buildBiPEGgraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880',1,'SVF::AliasCFLGraphBuilder::buildBiPEGgraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20',1,'SVF::VFCFLGraphBuilder::buildBiPEGgraph()']]],
-  ['buildcallgraph_7746',['buildCallGraph',['../classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc',1,'SVF::CallGraphBuilder']]],
-  ['buildcandidatefuncsetforlock_7747',['buildCandidateFuncSetforLock',['../classSVF_1_1LockAnalysis.html#a271506d5032033efae684b0d729f5b3e',1,'SVF::LockAnalysis']]],
-  ['buildcfldata_7748',['buildCFLData',['../classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc',1,'SVF::POCRSolver']]],
-  ['buildcflgrammar_7749',['buildCFLGrammar',['../classSVF_1_1CFLBase.html#a77bc3b0260fe02cdcf41fdb6b80caa09',1,'SVF::CFLBase']]],
-  ['buildcflgraph_7750',['buildCFLGraph',['../classSVF_1_1CFLBase.html#a0daabb58bd7d5be40379ccc670c37a93',1,'SVF::CFLBase::buildCFLGraph()'],['../classSVF_1_1CFLVF.html#aa20f8d27da439c831f36b31312daf047',1,'SVF::CFLVF::buildCFLGraph()']]],
-  ['buildcg_7751',['buildCG',['../classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278',1,'SVF::ConstraintGraph']]],
-  ['buildchg_7752',['buildCHG',['../classSVF_1_1CHGBuilder.html#aa5c672ac426ad4085d64d97f8cb14ace',1,'SVF::CHGBuilder::buildCHG()'],['../classSVF_1_1DCHGraph.html#a710c6b87fd475552eddb425e38de8889',1,'SVF::DCHGraph::buildCHG()']]],
-  ['buildchgedges_7753',['buildCHGEdges',['../classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25',1,'SVF::CHGBuilder']]],
-  ['buildchgnodes_7754',['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_7755',['buildClassNameToAncestorsDescendantsMap',['../classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb',1,'SVF::CHGBuilder']]],
-  ['buildcontroldependence_7756',['buildControlDependence',['../classSVF_1_1CDGBuilder.html#aa57921c1c3002e7e35cfb6b113cd8031',1,'SVF::CDGBuilder']]],
-  ['buildcstochavtblsandvfnsmap_7757',['buildCSToCHAVtblsAndVfnsMap',['../classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c',1,'SVF::CHGBuilder']]],
-  ['builddeltamaps_7758',['buildDeltaMaps',['../classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014',1,'SVF::VersionedFlowSensitive']]],
-  ['buildfromdot_7759',['buildFromDot',['../classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a',1,'SVF::CFLGraphBuilder']]],
-  ['buildfromjson_7760',['buildFromJson',['../classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a',1,'SVF::CFLGraphBuilder']]],
-  ['buildfromtext_7761',['buildFromText',['../classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f',1,'SVF::CFLGraphBuilder']]],
-  ['buildfullsvfg_7762',['buildFullSVFG',['../classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd',1,'SVF::SVFGBuilder']]],
-  ['buildfuntofunmap_7763',['buildFunToFunMap',['../classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628',1,'SVF::LLVMModuleSet']]],
-  ['buildglobaldeftorepmap_7764',['buildGlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47',1,'SVF::LLVMModuleSet']]],
-  ['buildglobes_7765',['buildGlobES',['../classSVF_1_1ConsExeState.html#a4cdddbbcb6b07f2db9cfad565ca7e57b',1,'SVF::ConsExeState']]],
-  ['buildicfgnodecontrolmap_7766',['buildICFGNodeControlMap',['../classSVF_1_1CDGBuilder.html#ab56c8f3ab29a907d420622dd8e933f0d',1,'SVF::CDGBuilder']]],
-  ['buildinternalmaps_7767',['buildInternalMaps',['../classSVF_1_1CHGBuilder.html#ad9f1c51ba6dc279f22aa671f29257a50',1,'SVF::CHGBuilder']]],
-  ['buildisstoreloadmaps_7768',['buildIsStoreLoadMaps',['../classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c',1,'SVF::VersionedFlowSensitive']]],
-  ['buildlabeltokindmap_7769',['buildlabelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8',1,'SVF::CFLGraphBuilder']]],
-  ['buildllvmloops_7770',['buildLLVMLoops',['../classSVF_1_1LLVMLoopAnalysis.html#abb501d497067af4365e5108d27387623',1,'SVF::LLVMLoopAnalysis']]],
-  ['buildmemmodel_7771',['buildMemModel',['../classSVF_1_1SymbolTableBuilder.html#aef0bb1e88d0b69313c673318f7b7cb5f',1,'SVF::SymbolTableBuilder']]],
-  ['buildmemssa_7772',['buildMemSSA',['../classSVF_1_1MemSSA.html#a4f3c4374ba4b06a819721a8e05efe221',1,'SVF::MemSSA']]],
-  ['buildmssa_7773',['buildMSSA',['../classSVF_1_1SVFGBuilder.html#a057d1d631326e844ce3287eb17b98c1a',1,'SVF::SVFGBuilder']]],
-  ['buildnodetowtocycledepth_7774',['buildNodeToWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#a50fa3b82172788c5e963d723b27900ba',1,'SVF::CFBasicBlockGWTO']]],
-  ['buildptronlysvfg_7775',['buildPTROnlySVFG',['../classSVF_1_1SVFGBuilder.html#ab7353191edd06568e2598177d253c1d9',1,'SVF::SVFGBuilder']]],
-  ['buildrelz3expr_7776',['buildRelZ3Expr',['../classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210',1,'SVF::RelExeState']]],
-  ['buildsvfg_7777',['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_7778',['buildSVFLoops',['../classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78',1,'SVF::LLVMLoopAnalysis']]],
-  ['buildsvfmodule_7779',['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_7780',['buildSymbolTable',['../classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd',1,'SVF::LLVMModuleSet']]],
-  ['buildthreadcallgraph_7781',['buildThreadCallGraph',['../classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7',1,'SVF::ThreadCallGraphBuilder']]],
-  ['buildusage_7782',['buildUsage',['../classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965',1,'OptionBase']]],
-  ['buildvirtualfunctiontoidmap_7783',['buildVirtualFunctionToIDMap',['../classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8',1,'SVF::CHGBuilder']]],
-  ['buildvtables_7784',['buildVTables',['../classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f',1,'SVF::DCHGraph']]],
-  ['bvdataptaimpl_7785',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476',1,'SVF::BVDataPTAImpl']]],
-  ['bvlen_7786',['bvLen',['../classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7',1,'SVF::BoundedZ3Expr']]],
-  ['bwprocesscurnode_7787',['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_7788',['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_7789',['bypassMSSAPHINode',['../classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16',1,'SVF::SVFGOPT']]]
+  ['back_7698',['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()']]],
+  ['backicfgedgesbegin_7699',['backICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#a8b0341ca427d106c28b56d8b340a1e45',1,'SVF::SVFLoop']]],
+  ['backicfgedgesend_7700',['backICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#a6eaf768ba9f537d81095c4df021c4825',1,'SVF::SVFLoop']]],
+  ['backtracealongdirectvf_7701',['backtraceAlongDirectVF',['../classSVF_1_1DDAVFSolver.html#a7a6af30f30f32d55fc910f2ae4909791',1,'SVF::DDAVFSolver']]],
+  ['backtracealongindirectvf_7702',['backtraceAlongIndirectVF',['../classSVF_1_1DDAVFSolver.html#a040bc02742836b0a6d46ce3c3e89fa46',1,'SVF::DDAVFSolver']]],
+  ['backtracetostoresrc_7703',['backtraceToStoreSrc',['../classSVF_1_1DDAVFSolver.html#adbd209b4a2327b2b068fbb56e12042f7',1,'SVF::DDAVFSolver']]],
+  ['backwardpropdpm_7704',['backwardPropDpm',['../classSVF_1_1DDAVFSolver.html#af6a6243b497df5fdab9f658b9add9c8a',1,'SVF::DDAVFSolver']]],
+  ['backwardslicebegin_7705',['backwardSliceBegin',['../classSVF_1_1ProgSlice.html#ab5810f8a7a994f0637c54b94d0367a89',1,'SVF::ProgSlice']]],
+  ['backwardsliceend_7706',['backwardSliceEnd',['../classSVF_1_1ProgSlice.html#aed4bedc716a3e252e44a6f28e677d61c',1,'SVF::ProgSlice']]],
+  ['backwardtraverse_7707',['backwardTraverse',['../classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc',1,'SVF::SrcSnkSolver::backwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#a8785ea71a1b0da03595fc8f594921819',1,'SVF::GraphReachSolver::backwardTraverse()']]],
+  ['backwardvisited_7708',['backwardVisited',['../classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286',1,'SVF::SrcSnkDDA']]],
+  ['barreplace_7709',['barReplace',['../classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f',1,'SVF::CFGNormalizer']]],
+  ['basicblockhasretinst_7710',['basicBlockHasRetInst',['../namespaceSVF_1_1LLVMUtil.html#abb4b5ed04ec70a2e7fca8198132370cf',1,'SVF::LLVMUtil']]],
+  ['begin_7711',['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()']]],
+  ['beta_7712',['beta',['../classSVF_1_1RelationSolver.html#af0c2db68bffbb223b845ca307b86c10a',1,'SVF::RelationSolver']]],
+  ['bilateral_7713',['bilateral',['../classSVF_1_1RelationSolver.html#a0df88638c5e3f8cd56d34088b96199f1',1,'SVF::RelationSolver']]],
+  ['bilateral_5ftime_7714',['Bilateral_time',['../classSymblicAbstractionTest.html#ad6525df45acfeb1c9c31fc54219a4217',1,'SymblicAbstractionTest']]],
+  ['binaryopstmt_7715',['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_7716',['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_7717',['bind_textdomain_codeset',['../extapi_8c.html#a8d02d24ade4c4b8a3134591880a195fa',1,'extapi.c']]],
+  ['bindtextdomain_7718',['bindtextdomain',['../extapi_8c.html#ac852a1476d916526d67ccbf5e0bd15ca',1,'extapi.c']]],
+  ['bitvector_7719',['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)']]],
+  ['blackholesymid_7720',['blackholeSymID',['../classSVF_1_1SymbolTableInfo.html#a05ca2987d9f8716c24e489bec53502f4',1,'SVF::SymbolTableInfo']]],
+  ['blkptrsymid_7721',['blkPtrSymID',['../classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72',1,'SVF::SymbolTableInfo']]],
+  ['bothinteredges_7722',['bothInterEdges',['../classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463',1,'SVF::SVFGOPT']]],
+  ['bottom_7723',['bottom',['../classSVF_1_1IntervalESBase.html#a839e8ee927c1cad86aef3059b41ba2eb',1,'SVF::IntervalESBase::bottom()'],['../classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443',1,'SVF::IntervalValue::bottom()']]],
+  ['bottomconstant_7724',['bottomConstant',['../classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8',1,'SVF::SingleAbsValue']]],
+  ['boundedz3expr_7725',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34',1,'SVF::BoundedZ3Expr::BoundedZ3Expr()=default'],['../classSVF_1_1BoundedZ3Expr.html#a572da9c3edd1e61ece1aba72104f71dd',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const Z3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a093d3d2b95f0de658472a20384c36248',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const z3::expr &e)'],['../classSVF_1_1BoundedZ3Expr.html#ac25e1b9231a66c94967bebb908a45680',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s32_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a8995acaa4d5c1f43c526f938eb2c26bb',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s64_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const BoundedZ3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a1e666f5db9f47cf09fc22de840a405e3',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(BoundedZ3Expr &&z3Expr)']]],
+  ['boxedoptsolver_7726',['BoxedOptSolver',['../classSVF_1_1RelationSolver.html#aaae7ac9ed7d0e17f39948c37b867ada9',1,'SVF::RelationSolver']]],
+  ['branchstat_7727',['branchStat',['../classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce',1,'SVF::SVFStat']]],
+  ['branchstmt_7728',['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_7729',['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)']]],
+  ['breakconstantgeps_7730',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f',1,'SVF::BreakConstantGEPs']]],
+  ['bridge_5fgep_5fbegin_7731',['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_7732',['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)']]],
+  ['bs_7733',['BS',['../classSVF_1_1RelationSolver.html#a7e827609a1d69c6517f1a3eee0326fc3',1,'SVF::RelationSolver']]],
+  ['bs_5ftime_7734',['BS_time',['../classSymblicAbstractionTest.html#a61df4b66ebc9b3eb38d773aa375ee759',1,'SymblicAbstractionTest']]],
+  ['bsearch_7735',['bsearch',['../extapi_8c.html#a5e6b12b1c1a15546016e972b266a7522',1,'extapi.c']]],
+  ['buffer_5fskip_5fwhitespace_7736',['buffer_skip_whitespace',['../cJSON_8cpp.html#a029a2c33fa2744a7cc5cf061f28d2cfc',1,'cJSON.cpp']]],
+  ['bufferoverflowbug_7737',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html#ac05f2603f96431354402ea526da27fec',1,'SVF::BufferOverflowBug']]],
+  ['bugmsg1_7738',['bugMsg1',['../namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3',1,'SVF::SVFUtil']]],
+  ['bugmsg2_7739',['bugMsg2',['../namespaceSVF_1_1SVFUtil.html#ac25f6dfcc9118ffd80244a771bdee535',1,'SVF::SVFUtil']]],
+  ['bugmsg3_7740',['bugMsg3',['../namespaceSVF_1_1SVFUtil.html#a76909ad87f59eb9a9cfd1913e13da264',1,'SVF::SVFUtil']]],
+  ['build_7741',['build',['../classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250',1,'SVF::ICFGBuilder::build()'],['../classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d',1,'SVF::LLVMLoopAnalysis::build()'],['../classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e',1,'SVF::LLVMModuleSet::build()'],['../classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689',1,'SVF::SVFIRBuilder::build()'],['../classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f',1,'SVF::CFBasicBlockGWTO::build()'],['../classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383',1,'SVF::CFLGraphBuilder::build(GenericGraph< N, E > *graph, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)'],['../classSVF_1_1CFLGraphBuilder.html#a2e97c964eb1e187a931f17da9672815f',1,'SVF::CFLGraphBuilder::build(std::string fileName, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)'],['../classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505',1,'SVF::GrammarBuilder::build() const'],['../classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3',1,'SVF::GrammarBuilder::build(Map< std::string, SVF::GrammarBase::Symbol > &preMap) const'],['../classSVF_1_1SVFGBuilder.html#a47591192260ddc3ff0717430f127cc95',1,'SVF::SVFGBuilder::build()'],['../classSVF_1_1TCT.html#ab86389b3bf292c5b3d2b29fc49a5d94d',1,'SVF::TCT::build()'],['../classSVF_1_1PAGBuilderFromFile.html#ac5a5058088d03fc9e0e8a0ed8b4367aa',1,'SVF::PAGBuilderFromFile::build()'],['../classSVF_1_1CDGBuilder.html#aeeb38d897babfeff1844c643dda8ae97',1,'SVF::CDGBuilder::build()'],['../classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf',1,'SVF::CFBasicBlockGBuilder::build()']]],
+  ['build_5ftails_7742',['build_tails',['../classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a',1,'SVF::CFBasicBlockGWTO']]],
+  ['buildbigraph_7743',['buildBigraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd',1,'SVF::AliasCFLGraphBuilder::buildBigraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1',1,'SVF::VFCFLGraphBuilder::buildBigraph()']]],
+  ['buildbipeggraph_7744',['buildBiPEGgraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880',1,'SVF::AliasCFLGraphBuilder::buildBiPEGgraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20',1,'SVF::VFCFLGraphBuilder::buildBiPEGgraph()']]],
+  ['buildcallgraph_7745',['buildCallGraph',['../classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc',1,'SVF::CallGraphBuilder']]],
+  ['buildcandidatefuncsetforlock_7746',['buildCandidateFuncSetforLock',['../classSVF_1_1LockAnalysis.html#a271506d5032033efae684b0d729f5b3e',1,'SVF::LockAnalysis']]],
+  ['buildcfldata_7747',['buildCFLData',['../classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc',1,'SVF::POCRSolver']]],
+  ['buildcflgrammar_7748',['buildCFLGrammar',['../classSVF_1_1CFLBase.html#a77bc3b0260fe02cdcf41fdb6b80caa09',1,'SVF::CFLBase']]],
+  ['buildcflgraph_7749',['buildCFLGraph',['../classSVF_1_1CFLBase.html#a0daabb58bd7d5be40379ccc670c37a93',1,'SVF::CFLBase::buildCFLGraph()'],['../classSVF_1_1CFLVF.html#aa20f8d27da439c831f36b31312daf047',1,'SVF::CFLVF::buildCFLGraph()']]],
+  ['buildcg_7750',['buildCG',['../classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278',1,'SVF::ConstraintGraph']]],
+  ['buildchg_7751',['buildCHG',['../classSVF_1_1CHGBuilder.html#aa5c672ac426ad4085d64d97f8cb14ace',1,'SVF::CHGBuilder::buildCHG()'],['../classSVF_1_1DCHGraph.html#a710c6b87fd475552eddb425e38de8889',1,'SVF::DCHGraph::buildCHG()']]],
+  ['buildchgedges_7752',['buildCHGEdges',['../classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25',1,'SVF::CHGBuilder']]],
+  ['buildchgnodes_7753',['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_7754',['buildClassNameToAncestorsDescendantsMap',['../classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb',1,'SVF::CHGBuilder']]],
+  ['buildcontroldependence_7755',['buildControlDependence',['../classSVF_1_1CDGBuilder.html#aa57921c1c3002e7e35cfb6b113cd8031',1,'SVF::CDGBuilder']]],
+  ['buildcstochavtblsandvfnsmap_7756',['buildCSToCHAVtblsAndVfnsMap',['../classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c',1,'SVF::CHGBuilder']]],
+  ['builddeltamaps_7757',['buildDeltaMaps',['../classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014',1,'SVF::VersionedFlowSensitive']]],
+  ['buildfromdot_7758',['buildFromDot',['../classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a',1,'SVF::CFLGraphBuilder']]],
+  ['buildfromjson_7759',['buildFromJson',['../classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a',1,'SVF::CFLGraphBuilder']]],
+  ['buildfromtext_7760',['buildFromText',['../classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f',1,'SVF::CFLGraphBuilder']]],
+  ['buildfullsvfg_7761',['buildFullSVFG',['../classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd',1,'SVF::SVFGBuilder']]],
+  ['buildfuntofunmap_7762',['buildFunToFunMap',['../classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628',1,'SVF::LLVMModuleSet']]],
+  ['buildglobaldeftorepmap_7763',['buildGlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47',1,'SVF::LLVMModuleSet']]],
+  ['buildglobes_7764',['buildGlobES',['../classSVF_1_1ConsExeState.html#a4cdddbbcb6b07f2db9cfad565ca7e57b',1,'SVF::ConsExeState']]],
+  ['buildicfgnodecontrolmap_7765',['buildICFGNodeControlMap',['../classSVF_1_1CDGBuilder.html#ab56c8f3ab29a907d420622dd8e933f0d',1,'SVF::CDGBuilder']]],
+  ['buildinternalmaps_7766',['buildInternalMaps',['../classSVF_1_1CHGBuilder.html#ad9f1c51ba6dc279f22aa671f29257a50',1,'SVF::CHGBuilder']]],
+  ['buildisstoreloadmaps_7767',['buildIsStoreLoadMaps',['../classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c',1,'SVF::VersionedFlowSensitive']]],
+  ['buildlabeltokindmap_7768',['buildlabelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8',1,'SVF::CFLGraphBuilder']]],
+  ['buildllvmloops_7769',['buildLLVMLoops',['../classSVF_1_1LLVMLoopAnalysis.html#abb501d497067af4365e5108d27387623',1,'SVF::LLVMLoopAnalysis']]],
+  ['buildmemmodel_7770',['buildMemModel',['../classSVF_1_1SymbolTableBuilder.html#aef0bb1e88d0b69313c673318f7b7cb5f',1,'SVF::SymbolTableBuilder']]],
+  ['buildmemssa_7771',['buildMemSSA',['../classSVF_1_1MemSSA.html#a4f3c4374ba4b06a819721a8e05efe221',1,'SVF::MemSSA']]],
+  ['buildmssa_7772',['buildMSSA',['../classSVF_1_1SVFGBuilder.html#a057d1d631326e844ce3287eb17b98c1a',1,'SVF::SVFGBuilder']]],
+  ['buildnodetowtocycledepth_7773',['buildNodeToWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#a50fa3b82172788c5e963d723b27900ba',1,'SVF::CFBasicBlockGWTO']]],
+  ['buildptronlysvfg_7774',['buildPTROnlySVFG',['../classSVF_1_1SVFGBuilder.html#ab7353191edd06568e2598177d253c1d9',1,'SVF::SVFGBuilder']]],
+  ['buildrelz3expr_7775',['buildRelZ3Expr',['../classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210',1,'SVF::RelExeState']]],
+  ['buildsvfg_7776',['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_7777',['buildSVFLoops',['../classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78',1,'SVF::LLVMLoopAnalysis']]],
+  ['buildsvfmodule_7778',['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_7779',['buildSymbolTable',['../classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd',1,'SVF::LLVMModuleSet']]],
+  ['buildthreadcallgraph_7780',['buildThreadCallGraph',['../classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7',1,'SVF::ThreadCallGraphBuilder']]],
+  ['buildusage_7781',['buildUsage',['../classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965',1,'OptionBase']]],
+  ['buildvirtualfunctiontoidmap_7782',['buildVirtualFunctionToIDMap',['../classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8',1,'SVF::CHGBuilder']]],
+  ['buildvtables_7783',['buildVTables',['../classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f',1,'SVF::DCHGraph']]],
+  ['bvdataptaimpl_7784',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476',1,'SVF::BVDataPTAImpl']]],
+  ['bvlen_7785',['bvLen',['../classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7',1,'SVF::BoundedZ3Expr']]],
+  ['bwprocesscurnode_7786',['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_7787',['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_7788',['bypassMSSAPHINode',['../classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16',1,'SVF::SVFGOPT']]]
 ];