svf-tools 1.0.901 → 1.0.902

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

@@ -1,97 +1,97 @@
 var searchData=
 [
-  ['back_7909',['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_7910',['backICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#a8b0341ca427d106c28b56d8b340a1e45',1,'SVF::SVFLoop']]],
-  ['backicfgedgesend_7911',['backICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#a6eaf768ba9f537d81095c4df021c4825',1,'SVF::SVFLoop']]],
-  ['backtracealongdirectvf_7912',['backtraceAlongDirectVF',['../classSVF_1_1DDAVFSolver.html#a7a6af30f30f32d55fc910f2ae4909791',1,'SVF::DDAVFSolver']]],
-  ['backtracealongindirectvf_7913',['backtraceAlongIndirectVF',['../classSVF_1_1DDAVFSolver.html#a040bc02742836b0a6d46ce3c3e89fa46',1,'SVF::DDAVFSolver']]],
-  ['backtracetostoresrc_7914',['backtraceToStoreSrc',['../classSVF_1_1DDAVFSolver.html#adbd209b4a2327b2b068fbb56e12042f7',1,'SVF::DDAVFSolver']]],
-  ['backwardpropdpm_7915',['backwardPropDpm',['../classSVF_1_1DDAVFSolver.html#af6a6243b497df5fdab9f658b9add9c8a',1,'SVF::DDAVFSolver']]],
-  ['backwardslicebegin_7916',['backwardSliceBegin',['../classSVF_1_1ProgSlice.html#ab5810f8a7a994f0637c54b94d0367a89',1,'SVF::ProgSlice']]],
-  ['backwardsliceend_7917',['backwardSliceEnd',['../classSVF_1_1ProgSlice.html#aed4bedc716a3e252e44a6f28e677d61c',1,'SVF::ProgSlice']]],
-  ['backwardtraverse_7918',['backwardTraverse',['../classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc',1,'SVF::SrcSnkSolver::backwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#a8785ea71a1b0da03595fc8f594921819',1,'SVF::GraphReachSolver::backwardTraverse()']]],
-  ['backwardvisited_7919',['backwardVisited',['../classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286',1,'SVF::SrcSnkDDA']]],
-  ['barreplace_7920',['barReplace',['../classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f',1,'SVF::CFGNormalizer']]],
-  ['basicblockhasretinst_7921',['basicBlockHasRetInst',['../namespaceSVF_1_1LLVMUtil.html#abb4b5ed04ec70a2e7fca8198132370cf',1,'SVF::LLVMUtil']]],
-  ['begin_7922',['begin',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, ItTy It)'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4d10570a7a3b75fbec9fbc9fc7d3e619',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, unsigned AddrSpace, ItTy It)'],['../classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323',1,'SVF::AddressValue::begin()'],['../classSVF_1_1POCRSolver.html#ab030e53206df7233d43037d89f97eb85',1,'SVF::POCRSolver::begin() const'],['../classSVF_1_1POCRSolver.html#a333bd9ca42aec9127148d45955c64aed',1,'SVF::POCRSolver::begin()'],['../classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7',1,'SVF::GenericGraph::begin()'],['../classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6',1,'SVF::GenericGraph::begin() const'],['../classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a',1,'SVF::WTOCycleDepth::begin()'],['../classSVF_1_1WTOCycle.html#a807c883d1cfe98c791c903125742f95b',1,'SVF::WTOCycle::begin()'],['../classSVF_1_1WTO.html#a13e9082913aa4a14065687ccdd47642d',1,'SVF::WTO::begin()'],['../classSVF_1_1CondStdSet.html#adf095111734d81b6ad1908a7f795b038',1,'SVF::CondStdSet::begin()'],['../classSVF_1_1CondStdSet.html#a76fb2382bf424638ed8e03cb48cdc90e',1,'SVF::CondStdSet::begin() const'],['../classSVF_1_1CondPointsToSet.html#a3521ec3be48cc03d9d3f562cb088a9ad',1,'SVF::CondPointsToSet::begin()'],['../classSVF_1_1CondPointsToSet.html#acec077e130e49ac66a5c3e464a73dec2',1,'SVF::CondPointsToSet::begin() const'],['../classSVF_1_1PointsTo.html#ad5b582d2672617806c61e6170d0b5a7e',1,'SVF::PointsTo::begin()'],['../classSVF_1_1WriterPtrPool.html#afe8686cdcce746eb49673d64b24c8945',1,'SVF::WriterPtrPool::begin()'],['../classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255',1,'SVF::SVFModule::begin()'],['../classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7',1,'SVF::SVFModule::begin() const'],['../classSVF_1_1SVFFunction.html#a49a6e9c0661135ceda2dd4d84c4b24ae',1,'SVF::SVFFunction::begin()'],['../classSVF_1_1SVFBasicBlock.html#ac9cb2f17e42c40ca81b49c8b63a855fc',1,'SVF::SVFBasicBlock::begin()'],['../classSVF_1_1CoreBitVector.html#a835bf11a1f698942db8e6bdadbbfd1f3',1,'SVF::CoreBitVector::begin()'],['../classSVF_1_1ContextCond.html#a4ae7e2236708b0d205f393cdce75c8d1',1,'SVF::ContextCond::begin()'],['../classSVF_1_1iter__range.html#a35c298cfeda798cbf4f65150796f8489',1,'SVF::iter_range::begin()'],['../classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772',1,'SVF::SparseBitVector::begin()']]],
-  ['beta_7923',['beta',['../classSVF_1_1RelationSolver.html#ac4abc5e1eb3b638710572c958162c22c',1,'SVF::RelationSolver']]],
-  ['bilateral_7924',['bilateral',['../classSVF_1_1RelationSolver.html#a0df88638c5e3f8cd56d34088b96199f1',1,'SVF::RelationSolver']]],
-  ['bilateral_5ftime_7925',['Bilateral_time',['../classSymblicAbstractionTest.html#ad6525df45acfeb1c9c31fc54219a4217',1,'SymblicAbstractionTest']]],
-  ['binaryopstmt_7926',['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_7927',['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_7928',['bind_textdomain_codeset',['../extapi_8c.html#a8d02d24ade4c4b8a3134591880a195fa',1,'extapi.c']]],
-  ['bindtextdomain_7929',['bindtextdomain',['../extapi_8c.html#ac852a1476d916526d67ccbf5e0bd15ca',1,'extapi.c']]],
-  ['bitvector_7930',['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_7931',['blackholeSymID',['../classSVF_1_1SymbolTableInfo.html#a05ca2987d9f8716c24e489bec53502f4',1,'SVF::SymbolTableInfo']]],
-  ['blkptrsymid_7932',['blkPtrSymID',['../classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72',1,'SVF::SymbolTableInfo']]],
-  ['bothinteredges_7933',['bothInterEdges',['../classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463',1,'SVF::SVFGOPT']]],
-  ['bottom_7934',['bottom',['../classSVF_1_1IntervalESBase.html#a839e8ee927c1cad86aef3059b41ba2eb',1,'SVF::IntervalESBase::bottom()'],['../classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443',1,'SVF::IntervalValue::bottom()']]],
-  ['bottomconstant_7935',['bottomConstant',['../classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8',1,'SVF::SingleAbsValue']]],
-  ['boundedz3expr_7936',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34',1,'SVF::BoundedZ3Expr::BoundedZ3Expr()=default'],['../classSVF_1_1BoundedZ3Expr.html#a572da9c3edd1e61ece1aba72104f71dd',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const Z3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a093d3d2b95f0de658472a20384c36248',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const z3::expr &e)'],['../classSVF_1_1BoundedZ3Expr.html#ac25e1b9231a66c94967bebb908a45680',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s32_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a8995acaa4d5c1f43c526f938eb2c26bb',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s64_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a1a40023fb0648399943689ee553f4c66',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(double i)'],['../classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const BoundedZ3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a1e666f5db9f47cf09fc22de840a405e3',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(BoundedZ3Expr &&z3Expr)']]],
-  ['boxedoptsolver_7937',['BoxedOptSolver',['../classSVF_1_1RelationSolver.html#aaae7ac9ed7d0e17f39948c37b867ada9',1,'SVF::RelationSolver']]],
-  ['branchstat_7938',['branchStat',['../classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce',1,'SVF::SVFStat']]],
-  ['branchstmt_7939',['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_7940',['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_7941',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f',1,'SVF::BreakConstantGEPs']]],
-  ['bridge_5fgep_5fbegin_7942',['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_7943',['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_7944',['BS',['../classSVF_1_1RelationSolver.html#a7e827609a1d69c6517f1a3eee0326fc3',1,'SVF::RelationSolver']]],
-  ['bs_5ftime_7945',['BS_time',['../classSymblicAbstractionTest.html#a61df4b66ebc9b3eb38d773aa375ee759',1,'SymblicAbstractionTest']]],
-  ['bsearch_7946',['bsearch',['../extapi_8c.html#a5e6b12b1c1a15546016e972b266a7522',1,'extapi.c']]],
-  ['buffer_5fskip_5fwhitespace_7947',['buffer_skip_whitespace',['../cJSON_8cpp.html#a029a2c33fa2744a7cc5cf061f28d2cfc',1,'cJSON.cpp']]],
-  ['bufferoverflowbug_7948',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html#ac05f2603f96431354402ea526da27fec',1,'SVF::BufferOverflowBug']]],
-  ['bufoverflowchecker_7949',['BufOverflowChecker',['../classSVF_1_1BufOverflowChecker.html#adcfa49d892daef07e7d4274ab8d34b6f',1,'SVF::BufOverflowChecker']]],
-  ['bufoverflowexception_7950',['BufOverflowException',['../structSVF_1_1BufOverflowException.html#a3b4548e9ff028f4de2aee57ac9f8a6a2',1,'SVF::BufOverflowException']]],
-  ['bugmsg1_7951',['bugMsg1',['../namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3',1,'SVF::SVFUtil']]],
-  ['bugmsg2_7952',['bugMsg2',['../namespaceSVF_1_1SVFUtil.html#ac25f6dfcc9118ffd80244a771bdee535',1,'SVF::SVFUtil']]],
-  ['bugmsg3_7953',['bugMsg3',['../namespaceSVF_1_1SVFUtil.html#a76909ad87f59eb9a9cfd1913e13da264',1,'SVF::SVFUtil']]],
-  ['build_7954',['build',['../classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250',1,'SVF::ICFGBuilder::build()'],['../classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d',1,'SVF::LLVMLoopAnalysis::build()'],['../classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e',1,'SVF::LLVMModuleSet::build()'],['../classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689',1,'SVF::SVFIRBuilder::build()'],['../classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383',1,'SVF::CFLGraphBuilder::build(GenericGraph< N, E > *graph, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)'],['../classSVF_1_1CFLGraphBuilder.html#a2e97c964eb1e187a931f17da9672815f',1,'SVF::CFLGraphBuilder::build(std::string fileName, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)'],['../classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505',1,'SVF::GrammarBuilder::build() const'],['../classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3',1,'SVF::GrammarBuilder::build(Map< std::string, SVF::GrammarBase::Symbol > &preMap) const'],['../classSVF_1_1SVFGBuilder.html#a47591192260ddc3ff0717430f127cc95',1,'SVF::SVFGBuilder::build()'],['../classSVF_1_1TCT.html#ab86389b3bf292c5b3d2b29fc49a5d94d',1,'SVF::TCT::build()'],['../classSVF_1_1PAGBuilderFromFile.html#ac5a5058088d03fc9e0e8a0ed8b4367aa',1,'SVF::PAGBuilderFromFile::build()'],['../classSVF_1_1CDGBuilder.html#aeeb38d897babfeff1844c643dda8ae97',1,'SVF::CDGBuilder::build()']]],
-  ['buildbigraph_7955',['buildBigraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd',1,'SVF::AliasCFLGraphBuilder::buildBigraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1',1,'SVF::VFCFLGraphBuilder::buildBigraph()']]],
-  ['buildbipeggraph_7956',['buildBiPEGgraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880',1,'SVF::AliasCFLGraphBuilder::buildBiPEGgraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20',1,'SVF::VFCFLGraphBuilder::buildBiPEGgraph()']]],
-  ['buildcallgraph_7957',['buildCallGraph',['../classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc',1,'SVF::CallGraphBuilder']]],
-  ['buildcandidatefuncsetforlock_7958',['buildCandidateFuncSetforLock',['../classSVF_1_1LockAnalysis.html#a271506d5032033efae684b0d729f5b3e',1,'SVF::LockAnalysis']]],
-  ['buildcfldata_7959',['buildCFLData',['../classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc',1,'SVF::POCRSolver']]],
-  ['buildcflgrammar_7960',['buildCFLGrammar',['../classSVF_1_1CFLBase.html#a77bc3b0260fe02cdcf41fdb6b80caa09',1,'SVF::CFLBase']]],
-  ['buildcflgraph_7961',['buildCFLGraph',['../classSVF_1_1CFLBase.html#a0daabb58bd7d5be40379ccc670c37a93',1,'SVF::CFLBase::buildCFLGraph()'],['../classSVF_1_1CFLVF.html#aa20f8d27da439c831f36b31312daf047',1,'SVF::CFLVF::buildCFLGraph()']]],
-  ['buildcg_7962',['buildCG',['../classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278',1,'SVF::ConstraintGraph']]],
-  ['buildchg_7963',['buildCHG',['../classSVF_1_1CHGBuilder.html#aa5c672ac426ad4085d64d97f8cb14ace',1,'SVF::CHGBuilder::buildCHG()'],['../classSVF_1_1DCHGraph.html#a710c6b87fd475552eddb425e38de8889',1,'SVF::DCHGraph::buildCHG()']]],
-  ['buildchgedges_7964',['buildCHGEdges',['../classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25',1,'SVF::CHGBuilder']]],
-  ['buildchgnodes_7965',['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_7966',['buildClassNameToAncestorsDescendantsMap',['../classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb',1,'SVF::CHGBuilder']]],
-  ['buildcontroldependence_7967',['buildControlDependence',['../classSVF_1_1CDGBuilder.html#aa57921c1c3002e7e35cfb6b113cd8031',1,'SVF::CDGBuilder']]],
-  ['buildcstochavtblsandvfnsmap_7968',['buildCSToCHAVtblsAndVfnsMap',['../classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c',1,'SVF::CHGBuilder']]],
-  ['builddeltamaps_7969',['buildDeltaMaps',['../classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014',1,'SVF::VersionedFlowSensitive']]],
-  ['buildfromdot_7970',['buildFromDot',['../classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a',1,'SVF::CFLGraphBuilder']]],
-  ['buildfromjson_7971',['buildFromJson',['../classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a',1,'SVF::CFLGraphBuilder']]],
-  ['buildfromtext_7972',['buildFromText',['../classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f',1,'SVF::CFLGraphBuilder']]],
-  ['buildfullsvfg_7973',['buildFullSVFG',['../classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd',1,'SVF::SVFGBuilder']]],
-  ['buildfuntofunmap_7974',['buildFunToFunMap',['../classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628',1,'SVF::LLVMModuleSet']]],
-  ['buildglobaldeftorepmap_7975',['buildGlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47',1,'SVF::LLVMModuleSet']]],
-  ['buildglobes_7976',['buildGlobES',['../classSVF_1_1ConsExeState.html#a4cdddbbcb6b07f2db9cfad565ca7e57b',1,'SVF::ConsExeState']]],
-  ['buildicfgnodecontrolmap_7977',['buildICFGNodeControlMap',['../classSVF_1_1CDGBuilder.html#ab56c8f3ab29a907d420622dd8e933f0d',1,'SVF::CDGBuilder']]],
-  ['buildinternalmaps_7978',['buildInternalMaps',['../classSVF_1_1CHGBuilder.html#ad9f1c51ba6dc279f22aa671f29257a50',1,'SVF::CHGBuilder']]],
-  ['buildisstoreloadmaps_7979',['buildIsStoreLoadMaps',['../classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c',1,'SVF::VersionedFlowSensitive']]],
-  ['buildlabeltokindmap_7980',['buildlabelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8',1,'SVF::CFLGraphBuilder']]],
-  ['buildllvmloops_7981',['buildLLVMLoops',['../classSVF_1_1LLVMLoopAnalysis.html#abb501d497067af4365e5108d27387623',1,'SVF::LLVMLoopAnalysis']]],
-  ['buildmemmodel_7982',['buildMemModel',['../classSVF_1_1SymbolTableBuilder.html#aef0bb1e88d0b69313c673318f7b7cb5f',1,'SVF::SymbolTableBuilder']]],
-  ['buildmemssa_7983',['buildMemSSA',['../classSVF_1_1MemSSA.html#a4f3c4374ba4b06a819721a8e05efe221',1,'SVF::MemSSA']]],
-  ['buildmssa_7984',['buildMSSA',['../classSVF_1_1SVFGBuilder.html#a057d1d631326e844ce3287eb17b98c1a',1,'SVF::SVFGBuilder']]],
-  ['buildnodetodepth_7985',['buildNodeToDepth',['../classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a',1,'SVF::WTO']]],
-  ['buildptronlysvfg_7986',['buildPTROnlySVFG',['../classSVF_1_1SVFGBuilder.html#ab7353191edd06568e2598177d253c1d9',1,'SVF::SVFGBuilder']]],
-  ['buildrelz3expr_7987',['buildRelZ3Expr',['../classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210',1,'SVF::RelExeState']]],
-  ['buildsvfg_7988',['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_7989',['buildSVFLoops',['../classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78',1,'SVF::LLVMLoopAnalysis']]],
-  ['buildsvfmodule_7990',['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_7991',['buildSymbolTable',['../classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd',1,'SVF::LLVMModuleSet']]],
-  ['buildthreadcallgraph_7992',['buildThreadCallGraph',['../classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7',1,'SVF::ThreadCallGraphBuilder']]],
-  ['buildusage_7993',['buildUsage',['../classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965',1,'OptionBase']]],
-  ['buildvirtualfunctiontoidmap_7994',['buildVirtualFunctionToIDMap',['../classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8',1,'SVF::CHGBuilder']]],
-  ['buildvtables_7995',['buildVTables',['../classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f',1,'SVF::DCHGraph']]],
-  ['bvdataptaimpl_7996',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476',1,'SVF::BVDataPTAImpl']]],
-  ['bvlen_7997',['bvLen',['../classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7',1,'SVF::BoundedZ3Expr']]],
-  ['bwfindallocofvar_7998',['bwfindAllocOfVar',['../classSVF_1_1ObjTypeInference.html#a42149ece87a178241ef1ef0cce7ec554',1,'SVF::ObjTypeInference']]],
-  ['bwfindallocorclsnamesources_7999',['bwFindAllocOrClsNameSources',['../classSVF_1_1ObjTypeInference.html#a744de27c13a045108c834c9484d7271c',1,'SVF::ObjTypeInference']]],
-  ['bwprocesscurnode_8000',['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_8001',['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_8002',['bypassMSSAPHINode',['../classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16',1,'SVF::SVFGOPT']]]
+  ['back_7915',['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_7916',['backICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#a8b0341ca427d106c28b56d8b340a1e45',1,'SVF::SVFLoop']]],
+  ['backicfgedgesend_7917',['backICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#a6eaf768ba9f537d81095c4df021c4825',1,'SVF::SVFLoop']]],
+  ['backtracealongdirectvf_7918',['backtraceAlongDirectVF',['../classSVF_1_1DDAVFSolver.html#a7a6af30f30f32d55fc910f2ae4909791',1,'SVF::DDAVFSolver']]],
+  ['backtracealongindirectvf_7919',['backtraceAlongIndirectVF',['../classSVF_1_1DDAVFSolver.html#a040bc02742836b0a6d46ce3c3e89fa46',1,'SVF::DDAVFSolver']]],
+  ['backtracetostoresrc_7920',['backtraceToStoreSrc',['../classSVF_1_1DDAVFSolver.html#adbd209b4a2327b2b068fbb56e12042f7',1,'SVF::DDAVFSolver']]],
+  ['backwardpropdpm_7921',['backwardPropDpm',['../classSVF_1_1DDAVFSolver.html#af6a6243b497df5fdab9f658b9add9c8a',1,'SVF::DDAVFSolver']]],
+  ['backwardslicebegin_7922',['backwardSliceBegin',['../classSVF_1_1ProgSlice.html#ab5810f8a7a994f0637c54b94d0367a89',1,'SVF::ProgSlice']]],
+  ['backwardsliceend_7923',['backwardSliceEnd',['../classSVF_1_1ProgSlice.html#aed4bedc716a3e252e44a6f28e677d61c',1,'SVF::ProgSlice']]],
+  ['backwardtraverse_7924',['backwardTraverse',['../classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc',1,'SVF::SrcSnkSolver::backwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#a8785ea71a1b0da03595fc8f594921819',1,'SVF::GraphReachSolver::backwardTraverse()']]],
+  ['backwardvisited_7925',['backwardVisited',['../classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286',1,'SVF::SrcSnkDDA']]],
+  ['barreplace_7926',['barReplace',['../classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f',1,'SVF::CFGNormalizer']]],
+  ['basicblockhasretinst_7927',['basicBlockHasRetInst',['../namespaceSVF_1_1LLVMUtil.html#abb4b5ed04ec70a2e7fca8198132370cf',1,'SVF::LLVMUtil']]],
+  ['begin_7928',['begin',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, ItTy It)'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4d10570a7a3b75fbec9fbc9fc7d3e619',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, unsigned AddrSpace, ItTy It)'],['../classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323',1,'SVF::AddressValue::begin()'],['../classSVF_1_1POCRSolver.html#ab030e53206df7233d43037d89f97eb85',1,'SVF::POCRSolver::begin() const'],['../classSVF_1_1POCRSolver.html#a333bd9ca42aec9127148d45955c64aed',1,'SVF::POCRSolver::begin()'],['../classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7',1,'SVF::GenericGraph::begin()'],['../classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6',1,'SVF::GenericGraph::begin() const'],['../classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a',1,'SVF::WTOCycleDepth::begin()'],['../classSVF_1_1WTOCycle.html#a807c883d1cfe98c791c903125742f95b',1,'SVF::WTOCycle::begin()'],['../classSVF_1_1WTO.html#a13e9082913aa4a14065687ccdd47642d',1,'SVF::WTO::begin()'],['../classSVF_1_1CondStdSet.html#adf095111734d81b6ad1908a7f795b038',1,'SVF::CondStdSet::begin()'],['../classSVF_1_1CondStdSet.html#a76fb2382bf424638ed8e03cb48cdc90e',1,'SVF::CondStdSet::begin() const'],['../classSVF_1_1CondPointsToSet.html#a3521ec3be48cc03d9d3f562cb088a9ad',1,'SVF::CondPointsToSet::begin()'],['../classSVF_1_1CondPointsToSet.html#acec077e130e49ac66a5c3e464a73dec2',1,'SVF::CondPointsToSet::begin() const'],['../classSVF_1_1PointsTo.html#ad5b582d2672617806c61e6170d0b5a7e',1,'SVF::PointsTo::begin()'],['../classSVF_1_1WriterPtrPool.html#afe8686cdcce746eb49673d64b24c8945',1,'SVF::WriterPtrPool::begin()'],['../classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255',1,'SVF::SVFModule::begin()'],['../classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7',1,'SVF::SVFModule::begin() const'],['../classSVF_1_1SVFFunction.html#a49a6e9c0661135ceda2dd4d84c4b24ae',1,'SVF::SVFFunction::begin()'],['../classSVF_1_1SVFBasicBlock.html#ac9cb2f17e42c40ca81b49c8b63a855fc',1,'SVF::SVFBasicBlock::begin()'],['../classSVF_1_1CoreBitVector.html#a835bf11a1f698942db8e6bdadbbfd1f3',1,'SVF::CoreBitVector::begin()'],['../classSVF_1_1ContextCond.html#a4ae7e2236708b0d205f393cdce75c8d1',1,'SVF::ContextCond::begin()'],['../classSVF_1_1iter__range.html#a35c298cfeda798cbf4f65150796f8489',1,'SVF::iter_range::begin()'],['../classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772',1,'SVF::SparseBitVector::begin()']]],
+  ['beta_7929',['beta',['../classSVF_1_1RelationSolver.html#ac4abc5e1eb3b638710572c958162c22c',1,'SVF::RelationSolver']]],
+  ['bilateral_7930',['bilateral',['../classSVF_1_1RelationSolver.html#a0df88638c5e3f8cd56d34088b96199f1',1,'SVF::RelationSolver']]],
+  ['bilateral_5ftime_7931',['Bilateral_time',['../classSymblicAbstractionTest.html#ad6525df45acfeb1c9c31fc54219a4217',1,'SymblicAbstractionTest']]],
+  ['binaryopstmt_7932',['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_7933',['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_7934',['bind_textdomain_codeset',['../extapi_8c.html#a8d02d24ade4c4b8a3134591880a195fa',1,'extapi.c']]],
+  ['bindtextdomain_7935',['bindtextdomain',['../extapi_8c.html#ac852a1476d916526d67ccbf5e0bd15ca',1,'extapi.c']]],
+  ['bitvector_7936',['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_7937',['blackholeSymID',['../classSVF_1_1SymbolTableInfo.html#a05ca2987d9f8716c24e489bec53502f4',1,'SVF::SymbolTableInfo']]],
+  ['blkptrsymid_7938',['blkPtrSymID',['../classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72',1,'SVF::SymbolTableInfo']]],
+  ['bothinteredges_7939',['bothInterEdges',['../classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463',1,'SVF::SVFGOPT']]],
+  ['bottom_7940',['bottom',['../classSVF_1_1IntervalESBase.html#a839e8ee927c1cad86aef3059b41ba2eb',1,'SVF::IntervalESBase::bottom()'],['../classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443',1,'SVF::IntervalValue::bottom()']]],
+  ['bottomconstant_7941',['bottomConstant',['../classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8',1,'SVF::SingleAbsValue']]],
+  ['boundedz3expr_7942',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34',1,'SVF::BoundedZ3Expr::BoundedZ3Expr()=default'],['../classSVF_1_1BoundedZ3Expr.html#a572da9c3edd1e61ece1aba72104f71dd',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const Z3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a093d3d2b95f0de658472a20384c36248',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const z3::expr &e)'],['../classSVF_1_1BoundedZ3Expr.html#ac25e1b9231a66c94967bebb908a45680',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s32_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a8995acaa4d5c1f43c526f938eb2c26bb',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s64_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a1a40023fb0648399943689ee553f4c66',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(double i)'],['../classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const BoundedZ3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a1e666f5db9f47cf09fc22de840a405e3',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(BoundedZ3Expr &&z3Expr)']]],
+  ['boxedoptsolver_7943',['BoxedOptSolver',['../classSVF_1_1RelationSolver.html#aaae7ac9ed7d0e17f39948c37b867ada9',1,'SVF::RelationSolver']]],
+  ['branchstat_7944',['branchStat',['../classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce',1,'SVF::SVFStat']]],
+  ['branchstmt_7945',['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_7946',['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_7947',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f',1,'SVF::BreakConstantGEPs']]],
+  ['bridge_5fgep_5fbegin_7948',['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_7949',['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_7950',['BS',['../classSVF_1_1RelationSolver.html#a7e827609a1d69c6517f1a3eee0326fc3',1,'SVF::RelationSolver']]],
+  ['bs_5ftime_7951',['BS_time',['../classSymblicAbstractionTest.html#a61df4b66ebc9b3eb38d773aa375ee759',1,'SymblicAbstractionTest']]],
+  ['bsearch_7952',['bsearch',['../extapi_8c.html#a5e6b12b1c1a15546016e972b266a7522',1,'extapi.c']]],
+  ['buffer_5fskip_5fwhitespace_7953',['buffer_skip_whitespace',['../cJSON_8cpp.html#a029a2c33fa2744a7cc5cf061f28d2cfc',1,'cJSON.cpp']]],
+  ['bufferoverflowbug_7954',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html#ac05f2603f96431354402ea526da27fec',1,'SVF::BufferOverflowBug']]],
+  ['bufoverflowchecker_7955',['BufOverflowChecker',['../classSVF_1_1BufOverflowChecker.html#adcfa49d892daef07e7d4274ab8d34b6f',1,'SVF::BufOverflowChecker']]],
+  ['bufoverflowexception_7956',['BufOverflowException',['../structSVF_1_1BufOverflowException.html#a3b4548e9ff028f4de2aee57ac9f8a6a2',1,'SVF::BufOverflowException']]],
+  ['bugmsg1_7957',['bugMsg1',['../namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3',1,'SVF::SVFUtil']]],
+  ['bugmsg2_7958',['bugMsg2',['../namespaceSVF_1_1SVFUtil.html#ac25f6dfcc9118ffd80244a771bdee535',1,'SVF::SVFUtil']]],
+  ['bugmsg3_7959',['bugMsg3',['../namespaceSVF_1_1SVFUtil.html#a76909ad87f59eb9a9cfd1913e13da264',1,'SVF::SVFUtil']]],
+  ['build_7960',['build',['../classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250',1,'SVF::ICFGBuilder::build()'],['../classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d',1,'SVF::LLVMLoopAnalysis::build()'],['../classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e',1,'SVF::LLVMModuleSet::build()'],['../classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689',1,'SVF::SVFIRBuilder::build()'],['../classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383',1,'SVF::CFLGraphBuilder::build(GenericGraph< N, E > *graph, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)'],['../classSVF_1_1CFLGraphBuilder.html#a2e97c964eb1e187a931f17da9672815f',1,'SVF::CFLGraphBuilder::build(std::string fileName, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)'],['../classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505',1,'SVF::GrammarBuilder::build() const'],['../classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3',1,'SVF::GrammarBuilder::build(Map< std::string, SVF::GrammarBase::Symbol > &preMap) const'],['../classSVF_1_1SVFGBuilder.html#a47591192260ddc3ff0717430f127cc95',1,'SVF::SVFGBuilder::build()'],['../classSVF_1_1TCT.html#ab86389b3bf292c5b3d2b29fc49a5d94d',1,'SVF::TCT::build()'],['../classSVF_1_1PAGBuilderFromFile.html#ac5a5058088d03fc9e0e8a0ed8b4367aa',1,'SVF::PAGBuilderFromFile::build()'],['../classSVF_1_1CDGBuilder.html#aeeb38d897babfeff1844c643dda8ae97',1,'SVF::CDGBuilder::build()']]],
+  ['buildbigraph_7961',['buildBigraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd',1,'SVF::AliasCFLGraphBuilder::buildBigraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1',1,'SVF::VFCFLGraphBuilder::buildBigraph()']]],
+  ['buildbipeggraph_7962',['buildBiPEGgraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880',1,'SVF::AliasCFLGraphBuilder::buildBiPEGgraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20',1,'SVF::VFCFLGraphBuilder::buildBiPEGgraph()']]],
+  ['buildcallgraph_7963',['buildCallGraph',['../classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc',1,'SVF::CallGraphBuilder']]],
+  ['buildcandidatefuncsetforlock_7964',['buildCandidateFuncSetforLock',['../classSVF_1_1LockAnalysis.html#a271506d5032033efae684b0d729f5b3e',1,'SVF::LockAnalysis']]],
+  ['buildcfldata_7965',['buildCFLData',['../classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc',1,'SVF::POCRSolver']]],
+  ['buildcflgrammar_7966',['buildCFLGrammar',['../classSVF_1_1CFLBase.html#a77bc3b0260fe02cdcf41fdb6b80caa09',1,'SVF::CFLBase']]],
+  ['buildcflgraph_7967',['buildCFLGraph',['../classSVF_1_1CFLBase.html#a0daabb58bd7d5be40379ccc670c37a93',1,'SVF::CFLBase::buildCFLGraph()'],['../classSVF_1_1CFLVF.html#aa20f8d27da439c831f36b31312daf047',1,'SVF::CFLVF::buildCFLGraph()']]],
+  ['buildcg_7968',['buildCG',['../classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278',1,'SVF::ConstraintGraph']]],
+  ['buildchg_7969',['buildCHG',['../classSVF_1_1CHGBuilder.html#aa5c672ac426ad4085d64d97f8cb14ace',1,'SVF::CHGBuilder::buildCHG()'],['../classSVF_1_1DCHGraph.html#a710c6b87fd475552eddb425e38de8889',1,'SVF::DCHGraph::buildCHG()']]],
+  ['buildchgedges_7970',['buildCHGEdges',['../classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25',1,'SVF::CHGBuilder']]],
+  ['buildchgnodes_7971',['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_7972',['buildClassNameToAncestorsDescendantsMap',['../classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb',1,'SVF::CHGBuilder']]],
+  ['buildcontroldependence_7973',['buildControlDependence',['../classSVF_1_1CDGBuilder.html#aa57921c1c3002e7e35cfb6b113cd8031',1,'SVF::CDGBuilder']]],
+  ['buildcstochavtblsandvfnsmap_7974',['buildCSToCHAVtblsAndVfnsMap',['../classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c',1,'SVF::CHGBuilder']]],
+  ['builddeltamaps_7975',['buildDeltaMaps',['../classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014',1,'SVF::VersionedFlowSensitive']]],
+  ['buildfromdot_7976',['buildFromDot',['../classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a',1,'SVF::CFLGraphBuilder']]],
+  ['buildfromjson_7977',['buildFromJson',['../classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a',1,'SVF::CFLGraphBuilder']]],
+  ['buildfromtext_7978',['buildFromText',['../classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f',1,'SVF::CFLGraphBuilder']]],
+  ['buildfullsvfg_7979',['buildFullSVFG',['../classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd',1,'SVF::SVFGBuilder']]],
+  ['buildfuntofunmap_7980',['buildFunToFunMap',['../classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628',1,'SVF::LLVMModuleSet']]],
+  ['buildglobaldeftorepmap_7981',['buildGlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47',1,'SVF::LLVMModuleSet']]],
+  ['buildglobes_7982',['buildGlobES',['../classSVF_1_1ConsExeState.html#a4cdddbbcb6b07f2db9cfad565ca7e57b',1,'SVF::ConsExeState']]],
+  ['buildicfgnodecontrolmap_7983',['buildICFGNodeControlMap',['../classSVF_1_1CDGBuilder.html#ab56c8f3ab29a907d420622dd8e933f0d',1,'SVF::CDGBuilder']]],
+  ['buildinternalmaps_7984',['buildInternalMaps',['../classSVF_1_1CHGBuilder.html#ad9f1c51ba6dc279f22aa671f29257a50',1,'SVF::CHGBuilder']]],
+  ['buildisstoreloadmaps_7985',['buildIsStoreLoadMaps',['../classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c',1,'SVF::VersionedFlowSensitive']]],
+  ['buildlabeltokindmap_7986',['buildlabelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8',1,'SVF::CFLGraphBuilder']]],
+  ['buildllvmloops_7987',['buildLLVMLoops',['../classSVF_1_1LLVMLoopAnalysis.html#abb501d497067af4365e5108d27387623',1,'SVF::LLVMLoopAnalysis']]],
+  ['buildmemmodel_7988',['buildMemModel',['../classSVF_1_1SymbolTableBuilder.html#aef0bb1e88d0b69313c673318f7b7cb5f',1,'SVF::SymbolTableBuilder']]],
+  ['buildmemssa_7989',['buildMemSSA',['../classSVF_1_1MemSSA.html#a4f3c4374ba4b06a819721a8e05efe221',1,'SVF::MemSSA']]],
+  ['buildmssa_7990',['buildMSSA',['../classSVF_1_1SVFGBuilder.html#a057d1d631326e844ce3287eb17b98c1a',1,'SVF::SVFGBuilder']]],
+  ['buildnodetodepth_7991',['buildNodeToDepth',['../classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a',1,'SVF::WTO']]],
+  ['buildptronlysvfg_7992',['buildPTROnlySVFG',['../classSVF_1_1SVFGBuilder.html#ab7353191edd06568e2598177d253c1d9',1,'SVF::SVFGBuilder']]],
+  ['buildrelz3expr_7993',['buildRelZ3Expr',['../classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210',1,'SVF::RelExeState']]],
+  ['buildsvfg_7994',['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_7995',['buildSVFLoops',['../classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78',1,'SVF::LLVMLoopAnalysis']]],
+  ['buildsvfmodule_7996',['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_7997',['buildSymbolTable',['../classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd',1,'SVF::LLVMModuleSet']]],
+  ['buildthreadcallgraph_7998',['buildThreadCallGraph',['../classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7',1,'SVF::ThreadCallGraphBuilder']]],
+  ['buildusage_7999',['buildUsage',['../classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965',1,'OptionBase']]],
+  ['buildvirtualfunctiontoidmap_8000',['buildVirtualFunctionToIDMap',['../classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8',1,'SVF::CHGBuilder']]],
+  ['buildvtables_8001',['buildVTables',['../classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f',1,'SVF::DCHGraph']]],
+  ['bvdataptaimpl_8002',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476',1,'SVF::BVDataPTAImpl']]],
+  ['bvlen_8003',['bvLen',['../classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7',1,'SVF::BoundedZ3Expr']]],
+  ['bwfindallocofvar_8004',['bwfindAllocOfVar',['../classSVF_1_1ObjTypeInference.html#a42149ece87a178241ef1ef0cce7ec554',1,'SVF::ObjTypeInference']]],
+  ['bwfindallocorclsnamesources_8005',['bwFindAllocOrClsNameSources',['../classSVF_1_1ObjTypeInference.html#a744de27c13a045108c834c9484d7271c',1,'SVF::ObjTypeInference']]],
+  ['bwprocesscurnode_8006',['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_8007',['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_8008',['bypassMSSAPHINode',['../classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16',1,'SVF::SVFGOPT']]]
 ];