svf-tools 1.0.748 → 1.0.749

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

@@ -1,420 +1,420 @@
 var searchData=
 [
-  ['icfg_9007',['ICFG',['../classSVF_1_1ICFG.html#a683f33b8ad507a33809511954c7c1acb',1,'SVF::ICFG']]],
-  ['icfgbuilder_9008',['ICFGBuilder',['../classSVF_1_1ICFGBuilder.html#a40d50a22a5c2094dbfe5e8516a0deccc',1,'SVF::ICFGBuilder']]],
-  ['icfgedge_9009',['ICFGEdge',['../classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04',1,'SVF::ICFGEdge']]],
-  ['icfgnode_9010',['ICFGNode',['../classSVF_1_1ICFGNode.html#ae6fe836e269ac36f14b2d2b1499a11e6',1,'SVF::ICFGNode']]],
-  ['icfgnodesbegin_9011',['ICFGNodesBegin',['../classSVF_1_1SVFLoop.html#a39d7db54e8dd092fd5420c5332210ed1',1,'SVF::SVFLoop']]],
-  ['icfgnodesend_9012',['ICFGNodesEnd',['../classSVF_1_1SVFLoop.html#a4c96835d38a55423b70b2ce100d76dd2',1,'SVF::SVFLoop']]],
-  ['icfgstat_9013',['ICFGStat',['../classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f',1,'SVF::ICFGStat']]],
-  ['icfgwriter_9014',['ICFGWriter',['../classSVF_1_1ICFGWriter.html#af1e7410c278b429e8466afc8bd8551be',1,'SVF::ICFGWriter']]],
-  ['id_9015',['id',['../classSVF_1_1Z3Expr.html#acdb4fbb53f19bac033e79cfe96ce82ca',1,'SVF::Z3Expr']]],
-  ['identifyfollowers_9016',['identifyFollowers',['../classSVF_1_1PCG.html#ae5ee8cf8cfe42854407190f30f3b6c1b',1,'SVF::PCG']]],
-  ['idtoobjmap_9017',['idToObjMap',['../classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697',1,'SVF::SymbolTableInfo::idToObjMap()'],['../classSVF_1_1SymbolTableInfo.html#adcf3450e3abca33536420271959c56f1',1,'SVF::SymbolTableInfo::idToObjMap() const']]],
-  ['if_9018',['if',['../CFL_2CMakeLists_8txt.html#af5e474e40792dbf4280f768705232f6c',1,'if(DEFINED IN_SOURCE_BUILD) add_llvm_tool(cfl cfl.cpp) else() add_executable(cfl cfl.cpp) target_link_libraries(cfl SvfLLVM $: CMakeLists.txt'],['../DDA_2CMakeLists_8txt.html#af5e0025e6881a606ace3e42d5e4455fe',1,'if(DEFINED IN_SOURCE_BUILD) add_llvm_tool(dvf dda.cpp) else() add_executable(dvf dda.cpp) target_link_libraries(dvf SvfLLVM $: CMakeLists.txt'],['../Example_2CMakeLists_8txt.html#ac929bf2e3f9688be1b4f278d128b1b6e',1,'if(DEFINED IN_SOURCE_BUILD) add_llvm_tool(svf-ex svf-ex.cpp) else() add_executable(svf-ex svf-ex.cpp) target_link_libraries(svf-ex SvfLLVM $: CMakeLists.txt'],['../LLVM2SVF_2CMakeLists_8txt.html#aec34260fa4a64c5565fee1fbb8fcd4d0',1,'if(DEFINED IN_SOURCE_BUILD) add_llvm_tool(llvm2svf llvm2svf.cpp) else() add_executable(llvm2svf llvm2svf.cpp) target_link_libraries(llvm2svf SvfLLVM $: CMakeLists.txt'],['../MTA_2CMakeLists_8txt.html#a7c09e081921defb5c506c63f1f23283b',1,'if(DEFINED IN_SOURCE_BUILD) add_llvm_tool(mta mta.cpp LockResultValidator.cpp MTAResultValidator.cpp MTAAnnotator.cpp) else() add_executable(mta mta.cpp LockResultValidator.cpp MTAResultValidator.cpp MTAAnnotator.cpp) target_link_libraries(mta SvfLLVM $: CMakeLists.txt'],['../SABER_2CMakeLists_8txt.html#a05913f7dca12c1fa26f8d42d76f793e7',1,'if(DEFINED IN_SOURCE_BUILD) add_llvm_tool(saber saber.cpp) else() add_executable(saber saber.cpp) target_link_libraries(saber SvfLLVM $: CMakeLists.txt'],['../cJSON_8cpp.html#a90e6101bee79e6d18c535254695e91e3',1,'if(!(object->type &cJSON_String)||(object->type &cJSON_IsReference)): cJSON.cpp'],['../cJSON_8cpp.html#af00faa2be0e3b87cd54f46adf0f5b799',1,'if(strlen(valuestring)<=strlen(object->valuestring)): cJSON.cpp'],['../cJSON_8cpp.html#ae47a6320597174c09b4b032c600b3f16',1,'if(copy==NULL): cJSON.cpp'],['../cJSON_8cpp.html#a69f85127495f4f14fe9d9d3ed1153c0f',1,'if(object->valuestring !=NULL): cJSON.cpp'],['../cJSON_8cpp.html#abfe73b8e0114278ce0cc7c20a6bacdb9',1,'if(NULL==value): cJSON.cpp'],['../cJSON_8cpp.html#a4453a436aec0254e89bad92c056c196c',1,'if(value==NULL||0==buffer_length): cJSON.cpp'],['../cJSON_8cpp.html#a9a60d8945eee5e6258fce5439e056c55',1,'if(item==NULL): cJSON.cpp'],['../cJSON_8cpp.html#a28f4a33af8f7fcee96d1559e403ff29b',1,'if(!parse_value(item, buffer_skip_whitespace(skip_utf8_bom(&buffer)))): cJSON.cpp'],['../cJSON_8cpp.html#a4593ce107753e9b7b31ddac97a959994',1,'if(require_null_terminated): cJSON.cpp'],['../cJSON_8cpp.html#ad322e1e2bce42db81bab5176fa296c29',1,'if(return_parse_end): cJSON.cpp'],['../cJSON_8cpp.html#a843cfcfecd006b5d1bd0cf91dc070e89',1,'if(value !=NULL): cJSON.cpp'],['../cJSON_8cpp.html#a0aaaa25cc9cc181d709602c445fd2d1c',1,'if(prebuffer< 0): cJSON.cpp'],['../cJSON_8cpp.html#a6f520bf3d4e33963411d1c292d704503',1,'if(!p.buffer): cJSON.cpp'],['../cJSON_8cpp.html#a5dbd74dff02e6d96a1f0a2a631936589',1,'if(!print_value(item, &p)): cJSON.cpp'],['../cJSON_8cpp.html#a71352311b7972f5e6eb5ff3c71e9252f',1,'if((length< 0)||(buffer==NULL)): cJSON.cpp'],['../cJSON_8cpp.html#a190550315572ee2a1b6bbd2d181cca57',1,'if(add_item_to_object(object, name, null, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a57383894ddbf6d141efc4be10cc9c3dc',1,'if(add_item_to_object(object, name, true_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a7c636ab338e0e044d3b117c4c17cd660',1,'if(add_item_to_object(object, name, false_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#add3447abc993c24187f21b06f123ed3b',1,'if(add_item_to_object(object, name, bool_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a50b35cc4ddb9d2f7f7b5b3bba78189dc',1,'if(add_item_to_object(object, name, number_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a04012f31b42f0151ecdbeb031f5fccfc',1,'if(add_item_to_object(object, name, string_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a6b32addfb87777063dd05a293063d338',1,'if(add_item_to_object(object, name, raw_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a0271dd70fe155382d60ed74b73e7a71e',1,'if(add_item_to_object(object, name, object_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#abbf8c9146b5050d37f9b513e3e8ac588',1,'if(add_item_to_object(object, name, array, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a8182cf148f1b59107b476a0512e66c65',1,'if(after_inserted==NULL): cJSON.cpp'],['../cJSON_8cpp.html#a5b6124f94989a9cfe4d79ac40386779d',1,'if(replacement->next !=NULL): cJSON.cpp'],['../cJSON_8cpp.html#a0f57e2720be39caf76124659d10fbb32',1,'if(parent->child==item): cJSON.cpp'],['../cJSON_8cpp.html#a4151c5c0d36dfe24841d4723ac65d6c6',1,'if((count< 0)||(numbers==NULL)): cJSON.cpp'],['../cJSON_8cpp.html#ae39a150ec9a630fd5d4b61d5968c0072',1,'if(a &&a->child): cJSON.cpp'],['../cJSON_8cpp.html#a1f198ce8a758a05c9a99366c38a12f47',1,'if((count< 0)||(strings==NULL)): cJSON.cpp'],['../cJSON_8cpp.html#ad9bc5485a16a60b0824f65b68f3bf53e',1,'if(!item): cJSON.cpp'],['../cJSON_8cpp.html#ac710a9eb697fc89f52a407ce22224d06',1,'if(item->valuestring): cJSON.cpp'],['../cJSON_8cpp.html#a0cde9b5cb05996d1f922f4f7b77a07b4',1,'if(newitem &&newitem->child): cJSON.cpp']]],
-  ['inbackwardslice_9019',['inBackwardSlice',['../classSVF_1_1SVFGStat.html#a6e68486e02db81cbbedc942ace3e9590',1,'SVF::SVFGStat::inBackwardSlice()'],['../classSVF_1_1ProgSlice.html#a066430ffa98a3fa0a5ad48d26e0450f7',1,'SVF::ProgSlice::inBackwardSlice()']]],
-  ['incedgenum_9020',['incEdgeNum',['../classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14',1,'SVF::GenericGraph']]],
-  ['incnodenum_9021',['incNodeNum',['../classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21',1,'SVF::GenericGraph']]],
-  ['incomingaddredges_9022',['incomingAddrEdges',['../classSVF_1_1ConstraintNode.html#ac9bb037a59db6b035c2785cad6ac56aa',1,'SVF::ConstraintNode']]],
-  ['incomingaddrsbegin_9023',['incomingAddrsBegin',['../classSVF_1_1ConstraintNode.html#a19c1ed324f65f4cc58dd2fd21ed4a971',1,'SVF::ConstraintNode']]],
-  ['incomingaddrsend_9024',['incomingAddrsEnd',['../classSVF_1_1ConstraintNode.html#ae8ac9ad8e766b961c7ce06d7219f37af',1,'SVF::ConstraintNode']]],
-  ['incomingloadsbegin_9025',['incomingLoadsBegin',['../classSVF_1_1ConstraintNode.html#a7f591f8eda63abbaaea9a8bfb97f3959',1,'SVF::ConstraintNode']]],
-  ['incomingloadsend_9026',['incomingLoadsEnd',['../classSVF_1_1ConstraintNode.html#a0bfdbe171acd2825055e571f314c0a48',1,'SVF::ConstraintNode']]],
-  ['incomingstoresbegin_9027',['incomingStoresBegin',['../classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714',1,'SVF::ConstraintNode']]],
-  ['incomingstoresend_9028',['incomingStoresEnd',['../classSVF_1_1ConstraintNode.html#a8d58f5224728bb6811f12c94826167f6',1,'SVF::ConstraintNode']]],
-  ['increasestacksize_9029',['increaseStackSize',['../namespaceSVF_1_1SVFUtil.html#a0d7588578735679773493ff2d5e458e1',1,'SVF::SVFUtil']]],
-  ['indent_9030',['indent',['../DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269',1,'DCHG.cpp']]],
-  ['index_9031',['index',['../structSVF_1_1SparseBitVectorElement.html#ae63d6fcc488ad3cdcddf35edb4e9c827',1,'SVF::SparseBitVectorElement']]],
-  ['indexforbit_9032',['indexForBit',['../classSVF_1_1CoreBitVector.html#ad73fca28bd4882eaa70817023a632d35',1,'SVF::CoreBitVector']]],
-  ['indirectcallsbegin_9033',['indirectCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#afbdb582d20ab953b2de1f3efacb74679',1,'SVF::PTACallGraphEdge']]],
-  ['indirectcallsend_9034',['indirectCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#a494bc8bacca5ca8d266286f3fb303495',1,'SVF::PTACallGraphEdge']]],
-  ['indirectsvfgedge_9035',['IndirectSVFGEdge',['../classSVF_1_1IndirectSVFGEdge.html#a6d40ccc9b99aec6515c2ef1df5a7b18f',1,'SVF::IndirectSVFGEdge']]],
-  ['indvfedgeend_9036',['indVFEdgeEnd',['../classSVF_1_1SVFGStat.html#a8b3b9a211f410e67e8fd1a79d3db9023',1,'SVF::SVFGStat']]],
-  ['indvfedgestart_9037',['indVFEdgeStart',['../classSVF_1_1SVFGStat.html#adcb30427bb220dc122ad22030e10eb21',1,'SVF::SVFGStat']]],
-  ['inedgebegin_9038',['InEdgeBegin',['../classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7',1,'SVF::GenericNode::InEdgeBegin()'],['../classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39',1,'SVF::GenericNode::InEdgeBegin() const']]],
-  ['inedgeend_9039',['InEdgeEnd',['../classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900',1,'SVF::GenericNode::InEdgeEnd()'],['../classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07',1,'SVF::GenericNode::InEdgeEnd() const']]],
-  ['inedgesbegin_9040',['inEdgesBegin',['../classSVF_1_1SVFLoop.html#ad23cbd43efdf66427f489cc602ae84cf',1,'SVF::SVFLoop']]],
-  ['inedgesend_9041',['inEdgesEnd',['../classSVF_1_1SVFLoop.html#ae5ba7f837d6ff6e120dd3312bd18566a',1,'SVF::SVFLoop']]],
-  ['inferfieldidxfrombyteoffset_9042',['inferFieldIdxFromByteOffset',['../classSVF_1_1SVFIRBuilder.html#a04d688ae4f93354327a6c0ad4f255ade',1,'SVF::SVFIRBuilder']]],
-  ['inferfromcallgraph_9043',['inferFromCallGraph',['../classSVF_1_1PCG.html#adff1702e1b0a902de7ded742846fe137',1,'SVF::PCG']]],
-  ['infilter_9044',['inFilter',['../classSVF_1_1LockResultValidator.html#a5fca287b181582302c24864c3f397340',1,'SVF::LockResultValidator']]],
-  ['inforwardslice_9045',['inForwardSlice',['../classSVF_1_1SVFGStat.html#adc6a5c3e430bdf942f1462e101ac6917',1,'SVF::SVFGStat::inForwardSlice()'],['../classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6',1,'SVF::ProgSlice::inForwardSlice()']]],
-  ['init_9046',['init',['../classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7',1,'SVF::RaceResultValidator::init(SVFModule *M)'],['../classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7',1,'SVF::RaceResultValidator::init(SVFModule *M)'],['../classSVF_1_1SaberCheckerAPI.html#a5771df69ffa75b6103a32c8bd48ef488',1,'SVF::SaberCheckerAPI::init()'],['../classSVF_1_1ThreadAPI.html#a4535862f26efff9f45236000507932c9',1,'SVF::ThreadAPI::init()']]],
-  ['initcxtinsensitiveedges_9047',['initCxtInsensitiveEdges',['../classSVF_1_1DDAPass.html#add44aee75c9a59327b4eb46774551e2b',1,'SVF::DDAPass']]],
-  ['initdefault_9048',['initDefault',['../classSVF_1_1DDAStat.html#ac7275c99ddd118696853188154ad6fbd',1,'SVF::DDAStat']]],
-  ['initdomtree_9049',['initDomTree',['../classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d',1,'SVF::LLVMModuleSet']]],
-  ['initexestate_9050',['initExeState',['../classSVF_1_1ConsExeState.html#a5a1da3b1c8cdc3b3e07fe20124f6eeea',1,'SVF::ConsExeState']]],
-  ['initfromthreadapi_9051',['initFromThreadAPI',['../classSVF_1_1PCG.html#a23752f0a9fe4f01698808d0a50ccc896',1,'SVF::PCG']]],
-  ['initialglobal_9052',['InitialGlobal',['../classSVF_1_1SVFIRBuilder.html#ae7fcd2050a57a43bfed2c7fd1c41d250',1,'SVF::SVFIRBuilder']]],
-  ['initialise_9053',['initialise',['../classSVF_1_1DDAClient.html#a40f6d8769db41f4c907fe5b615e5df83',1,'SVF::DDAClient']]],
-  ['initialisecandidatepointers_9054',['initialiseCandidatePointers',['../classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5',1,'SVF::SVFIR']]],
-  ['initialisenodes_9055',['initialiseNodes',['../classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71',1,'SVF::SVFIRBuilder']]],
-  ['initialize_9056',['initialize',['../classSVF_1_1MTAAnnotator.html#a108616cc98f15af3010ca45b91f32c04',1,'SVF::MTAAnnotator::initialize()'],['../classSVF_1_1CFLAlias.html#aef129edd61d7f15947c6539f8d0c36a0',1,'SVF::CFLAlias::initialize()'],['../classSVF_1_1CFLSolver.html#a5e94324ee4137610d5513ed11b36f4ba',1,'SVF::CFLSolver::initialize()'],['../classSVF_1_1POCRSolver.html#aee3dd69ba726e194dd31e73d1a9ec8e2',1,'SVF::POCRSolver::initialize()'],['../classSVF_1_1POCRHybridSolver.html#a2e0b2c8c04b5de0822f91490ebffb174',1,'SVF::POCRHybridSolver::initialize()'],['../classSVF_1_1CFLVF.html#a852ed935576ca426287cf4afa6a585e3',1,'SVF::CFLVF::initialize()'],['../classSVF_1_1ContextDDA.html#adb9f21a86daeb2dd79537f3939c393cf',1,'SVF::ContextDDA::initialize()'],['../classSVF_1_1FlowDDA.html#af1fcf058a9feefeda63f07d4189513a1',1,'SVF::FlowDDA::initialize()'],['../classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32',1,'SVF::PointerAnalysis::initialize()'],['../classSVF_1_1FSMPTA.html#acbfb7d2a6d38b54966c98102c1ea6a38',1,'SVF::FSMPTA::initialize()'],['../classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd',1,'SVF::SrcSnkDDA::initialize()'],['../classSVF_1_1AndersenBase.html#a891816407a4c6346f56bc01a67b78aac',1,'SVF::AndersenBase::initialize()'],['../classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548',1,'SVF::Andersen::initialize()'],['../classSVF_1_1AndersenWaveDiff.html#a40514a439869d0c025afb4f6b6fb4071',1,'SVF::AndersenWaveDiff::initialize()'],['../classSVF_1_1AndersenSFR.html#a3b255068b3ea53041af94fd373a53bd4',1,'SVF::AndersenSFR::initialize()'],['../classSVF_1_1FlowSensitive.html#ad3566c57f8456e98542f5a0b765e3cc6',1,'SVF::FlowSensitive::initialize()'],['../classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985',1,'SVF::TypeAnalysis::initialize()'],['../classSVF_1_1VersionedFlowSensitive.html#a81d3528fd082018e4345f0b026bf3584',1,'SVF::VersionedFlowSensitive::initialize()']]],
-  ['initializesolver_9057',['initializeSolver',['../classSVF_1_1CFLAlias.html#a2810ec25dd95212dcc271bbc3e6e3e05',1,'SVF::CFLAlias::initializeSolver()'],['../classSVF_1_1POCRAlias.html#af77378c71bfa41d4cf4a354951da51c7',1,'SVF::POCRAlias::initializeSolver()'],['../classSVF_1_1POCRHybrid.html#a1f9148e4d82dfcfb8ceb713db70c3390',1,'SVF::POCRHybrid::initializeSolver()']]],
-  ['initialworklist_9058',['initialWorkList',['../classSVF_1_1SVFGOPT.html#ae825e01893d3304379f72380d314f09c',1,'SVF::SVFGOPT']]],
-  ['initobjvar_9059',['initObjVar',['../classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0',1,'SVF::SVFIR2ConsExeState::initObjVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d',1,'SVF::SVFIR2ItvExeState::initObjVar()']]],
-  ['initsnks_9060',['initSnks',['../classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c',1,'SVF::LeakChecker::initSnks()'],['../classSVF_1_1SrcSnkDDA.html#a0f6cfa30c346aab1fb03a44e47c32559',1,'SVF::SrcSnkDDA::initSnks()']]],
-  ['initsrcs_9061',['initSrcs',['../classSVF_1_1LeakChecker.html#a273a7bfc3e81505ec971ca1d419bb565',1,'SVF::LeakChecker::initSrcs()'],['../classSVF_1_1SrcSnkDDA.html#a1c8f91ffa0b9f01d51c8cd5e14f076d5',1,'SVF::SrcSnkDDA::initSrcs()']]],
-  ['initstats_9062',['initStats',['../classSVF_1_1PersistentPointsToCache.html#ab19e4e17b1896565e0bada1f161d1266',1,'SVF::PersistentPointsToCache']]],
-  ['initsvfbasicblock_9063',['initSVFBasicBlock',['../classSVF_1_1LLVMModuleSet.html#a20162d2894d6a12ba29410311fba4002',1,'SVF::LLVMModuleSet']]],
-  ['initsvffunction_9064',['initSVFFunction',['../classSVF_1_1LLVMModuleSet.html#ac6a5540354696f4c9170e0a5832ba70e',1,'SVF::LLVMModuleSet']]],
-  ['initsvfvar_9065',['initSVFVar',['../classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857',1,'SVF::SVFIR2ConsExeState::initSVFVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#af5d05c5316127cfe8d975a3a0a23798b',1,'SVF::SVFIR2ItvExeState::initSVFVar()']]],
-  ['inittypeinfo_9066',['initTypeInfo',['../classSVF_1_1SymbolTableBuilder.html#ae938564e6a36848cb848a5badc15a1de',1,'SVF::SymbolTableBuilder']]],
-  ['initvalvar_9067',['initValVar',['../classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8',1,'SVF::SVFIR2ConsExeState::initValVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#a61d288c8dc621a0578faa5ff784f4b6e',1,'SVF::SVFIR2ItvExeState::initValVar()']]],
-  ['initworklist_9068',['initWorklist',['../classSVF_1_1Andersen.html#a9075cd05cb21e0f08a1109b7af6c7480',1,'SVF::Andersen::initWorklist()'],['../classSVF_1_1WPASolver.html#a7195381c3aab04890139b4fe2c561909',1,'SVF::WPASolver::initWorklist()']]],
-  ['inlocalloctoaddrstable_9069',['inLocalLocToAddrsTable',['../classSVF_1_1ConsExeState.html#af8f2b698dd97793b0124cd5a4ac4d035',1,'SVF::ConsExeState::inLocalLocToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb',1,'SVF::IntervalExeState::inLocalLocToAddrsTable()']]],
-  ['inlocalloctoivaltable_9070',['inLocalLocToIValTable',['../classSVF_1_1IntervalExeState.html#a25c1369d7d38469ecde6022cf367c009',1,'SVF::IntervalExeState']]],
-  ['inlocalloctoval_9071',['inLocalLocToVal',['../classSVF_1_1ConsExeState.html#a22eb7b0b38d8df8efae757f4c76b5328',1,'SVF::ConsExeState::inLocalLocToVal(const SingleAbsValue &loc) const'],['../classSVF_1_1ConsExeState.html#a77fc570e6ee986c50cecaa20f06e6f77',1,'SVF::ConsExeState::inLocalLocToVal(u32_t varId) const']]],
-  ['inloctoaddrstable_9072',['inLocToAddrsTable',['../classSVF_1_1ConsExeState.html#a1effca0f87f2180e160600ee5528b12f',1,'SVF::ConsExeState::inLocToAddrsTable()'],['../classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710',1,'SVF::ExeState::inLocToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4',1,'SVF::IntervalExeState::inLocToAddrsTable()'],['../classSVF_1_1SVFIR2ConsExeState.html#a2b04cb226b28d577fa860a4cbf11b5c3',1,'SVF::SVFIR2ConsExeState::inLocToAddrsTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665',1,'SVF::SVFIR2ItvExeState::inLocToAddrsTable()']]],
-  ['inloctoivaltable_9073',['inLocToIValTable',['../classSVF_1_1IntervalExeState.html#aeac953e77360627da7426b2619d509cc',1,'SVF::IntervalExeState::inLocToIValTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab5eebce09b695a3ea1a1c6d5641296e2',1,'SVF::SVFIR2ItvExeState::inLocToIValTable()']]],
-  ['inloctoval_9074',['inLocToVal',['../classSVF_1_1ConsExeState.html#a6cf5a55374178b2d538b79c3efed3f34',1,'SVF::ConsExeState']]],
-  ['inloctovaltable_9075',['inLocToValTable',['../classSVF_1_1SVFIR2ConsExeState.html#a73a8f1354e22d41078abe3466b202df2',1,'SVF::SVFIR2ConsExeState']]],
-  ['innodetocycledepth_9076',['inNodeToCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#a646f67339a7751f0e10ea42143e6894d',1,'SVF::CFBasicBlockGWTO']]],
-  ['insamecallgraphscc_9077',['inSameCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae58c2b25494ec51e714c83c6cfd5dd67',1,'SVF::PointerAnalysis::inSameCallGraphSCC()'],['../classSVF_1_1TCT.html#a95cd490d37f8831edc6910f7ecdf413e',1,'SVF::TCT::inSameCallGraphSCC()']]],
-  ['inscc_9078',['inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af9ee3c8655cd3d5ac7cc3863e6af9af7',1,'SVF::SCCDetection::GNodeSCCInfo::inSCC(void) const'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#afece6206c79adc1c462cff5b9e05f0f2',1,'SVF::SCCDetection::GNodeSCCInfo::inSCC(bool v)'],['../classSVF_1_1SCCDetection.html#a60b977d41c29aa6ea01b94be12792351',1,'SVF::SCCDetection::inSCC()']]],
-  ['insert_9079',['insert',['../classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0',1,'SVF::AddressValue']]],
-  ['insertattribute_9080',['insertAttribute',['../classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20',1,'SVF::GrammarBase']]],
-  ['insertebnfsigns_9081',['insertEBNFSigns',['../classSVF_1_1GrammarBase.html#a2af19122bccb7ca0c7ab44a07a1bdfb1',1,'SVF::GrammarBase']]],
-  ['insertedge_5fh_9082',['insertEdge_h',['../classSVF_1_1POCRHybridSolver.html#a122025228d5ca57e287f7fe85f279765',1,'SVF::POCRHybridSolver']]],
-  ['insertkey_9083',['insertKey',['../namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7',1,'SVF::SVFUtil::insertKey(const Key &key, KeySet &keySet)'],['../namespaceSVF_1_1SVFUtil.html#a4f75b8313eb2b1e5a4c798a01cb99471',1,'SVF::SVFUtil::insertKey(const NodeID &key, NodeBS &keySet)']]],
-  ['insertkeynode_9084',['insertKeyNode',['../classSVF_1_1SymState.html#ad3dd094395543f5459c6cbde859ab775',1,'SVF::SymState']]],
-  ['insertnonterminalkind_9085',['insertNonterminalKind',['../classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0',1,'SVF::GrammarBase']]],
-  ['insertnonterminalsymbol_9086',['insertNonTerminalSymbol',['../classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b',1,'SVF::GrammarBase']]],
-  ['insertphi_9087',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
-  ['insertsymbol_9088',['insertSymbol',['../classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84',1,'SVF::GrammarBase']]],
-  ['insertterminalkind_9089',['insertTerminalKind',['../classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542',1,'SVF::GrammarBase']]],
-  ['insertterminalsymbol_9090',['insertTerminalSymbol',['../classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8',1,'SVF::GrammarBase']]],
-  ['inserttocflgrammar_9091',['insertToCFLGrammar',['../classSVF_1_1CFGNormalizer.html#ad08f183a1b8ca69201f965f224e92950',1,'SVF::CFGNormalizer']]],
-  ['interdisjointmrg_9092',['InterDisjointMRG',['../classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428',1,'SVF::InterDisjointMRG']]],
-  ['interferenceanalysis_9093',['interferenceAnalysis',['../classSVF_1_1PCG.html#a057887f3d5fd3b9b414e573b3f9f4548',1,'SVF::PCG']]],
-  ['intericfgnode_9094',['InterICFGNode',['../classSVF_1_1InterICFGNode.html#a192826ba075a80add6a39a039a32bc05',1,'SVF::InterICFGNode']]],
-  ['intermssaphisvfgnode_9095',['InterMSSAPHISVFGNode',['../classSVF_1_1InterMSSAPHISVFGNode.html#a6deba5e75858c16682d4a21fa851d353',1,'SVF::InterMSSAPHISVFGNode::InterMSSAPHISVFGNode(NodeID id, const FormalINSVFGNode *fi)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#acbc6e934c0ad5a5ad5ca07532702571b',1,'SVF::InterMSSAPHISVFGNode::InterMSSAPHISVFGNode(NodeID id, const ActualOUTSVFGNode *ao)']]],
-  ['interphivfgnode_9096',['InterPHIVFGNode',['../classSVF_1_1InterPHIVFGNode.html#a8fd98ccfe53959fd3cc67070e8d03a43',1,'SVF::InterPHIVFGNode::InterPHIVFGNode(NodeID id, const FormalParmVFGNode *fp)'],['../classSVF_1_1InterPHIVFGNode.html#af303d3f9df95d6d0e844579125be6125',1,'SVF::InterPHIVFGNode::InterPHIVFGNode(NodeID id, const ActualRetVFGNode *ar)']]],
-  ['intersect_9097',['intersect',['../classSVF_1_1LockAnalysis.html#aeb479eeac0fdde1486c78da68fc82383',1,'SVF::LockAnalysis']]],
-  ['intersectpts_9098',['intersectPts',['../classSVF_1_1PersistentPointsToCache.html#a17d33558208c19019e541ee167009494',1,'SVF::PersistentPointsToCache']]],
-  ['intersects_9099',['intersects',['../classSVF_1_1AccessPath.html#a461fe4cddd5d8c8b7017588038c093de',1,'SVF::AccessPath::intersects()'],['../classSVF_1_1CondStdSet.html#ac422c3fb8bce1378d69c234e6b11fdb1',1,'SVF::CondStdSet::intersects()'],['../classSVF_1_1CondPointsToSet.html#a89d24257bd1436286dcbb025dd405b52',1,'SVF::CondPointsToSet::intersects()'],['../classSVF_1_1PointsTo.html#ad78e4109c839914c4f7e37ca78046f1d',1,'SVF::PointsTo::intersects()'],['../classSVF_1_1LockAnalysis.html#af45f3c22edce16913ccbdd7015a06076',1,'SVF::LockAnalysis::intersects()'],['../classSVF_1_1CoreBitVector.html#a15be4ce7e9a07d9b01da0c60d51b22de',1,'SVF::CoreBitVector::intersects()'],['../structSVF_1_1SparseBitVectorElement.html#a2ac6b33e335ac411740c875c6aeb6706',1,'SVF::SparseBitVectorElement::intersects()'],['../classSVF_1_1SparseBitVector.html#a16756e0545fd3d50ab89f45a2e83bb79',1,'SVF::SparseBitVector::intersects(const SparseBitVector< ElementSize > *RHS) const'],['../classSVF_1_1SparseBitVector.html#a704fddd1bf7592e9df9fbc14c3873696',1,'SVF::SparseBitVector::intersects(const SparseBitVector< ElementSize > &RHS) const']]],
-  ['intersectwith_9100',['intersectWith',['../structSVF_1_1SparseBitVectorElement.html#a2f62812b261a83b19aab46c0961bfcb4',1,'SVF::SparseBitVectorElement']]],
-  ['intersectwithcomplement_9101',['intersectWithComplement',['../classSVF_1_1CondPointsToSet.html#a57fdbfc5bc0bc7eb7a8efefdcc689852',1,'SVF::CondPointsToSet::intersectWithComplement(const CondPointsToSet< Cond > &cpts1, const CondPointsToSet< Cond > &cpts2)'],['../classSVF_1_1CondPointsToSet.html#a5a7ab3c22b3726541955b5be8a62aab6',1,'SVF::CondPointsToSet::intersectWithComplement(const CondPointsToSet< Cond > &cpts1)'],['../classSVF_1_1PointsTo.html#af81f9e91eec4bf82ccfb867c2415f9bd',1,'SVF::PointsTo::intersectWithComplement(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#adec2e2fc87c2bb9b3ff8873b04abf31d',1,'SVF::PointsTo::intersectWithComplement(const PointsTo &lhs, const PointsTo &rhs)'],['../classSVF_1_1CoreBitVector.html#a8ba857b68282055e485c441892e39b9b',1,'SVF::CoreBitVector::intersectWithComplement(const CoreBitVector &rhs)'],['../classSVF_1_1CoreBitVector.html#a79121882bc302b9b9188fa0a51c63fb6',1,'SVF::CoreBitVector::intersectWithComplement(const CoreBitVector &lhs, const CoreBitVector &rhs)'],['../structSVF_1_1SparseBitVectorElement.html#ac721b283253b7bd96fedd5f12c079699',1,'SVF::SparseBitVectorElement::intersectWithComplement(const SparseBitVectorElement &RHS, bool &BecameZero)'],['../structSVF_1_1SparseBitVectorElement.html#a6d81176f07f369b38da34e624710b387',1,'SVF::SparseBitVectorElement::intersectWithComplement(const SparseBitVectorElement &RHS1, const SparseBitVectorElement &RHS2, bool &BecameZero)'],['../classSVF_1_1SparseBitVector.html#a8b481ef53a27a351affecab90310b1ef',1,'SVF::SparseBitVector::intersectWithComplement(const SparseBitVector &RHS)'],['../classSVF_1_1SparseBitVector.html#aaab743995d5dd1359b0f541dacc1dcf3',1,'SVF::SparseBitVector::intersectWithComplement(const SparseBitVector< ElementSize > *RHS) const'],['../classSVF_1_1SparseBitVector.html#afee44821475fa31f218fb743b264cb37',1,'SVF::SparseBitVector::intersectWithComplement(const SparseBitVector< ElementSize > &RHS1, const SparseBitVector< ElementSize > &RHS2)'],['../classSVF_1_1SparseBitVector.html#a28d0e5b43ad556d079b5b0ec58e898e4',1,'SVF::SparseBitVector::intersectWithComplement(const SparseBitVector< ElementSize > *RHS1, const SparseBitVector< ElementSize > *RHS2)']]],
-  ['interval2numvalue_9102',['Interval2NumValue',['../classSVF_1_1IntervalExeState.html#a12fe65f05dfe7a01e771e0b9990faba8',1,'SVF::IntervalExeState']]],
-  ['intervalexestate_9103',['IntervalExeState',['../classSVF_1_1IntervalExeState.html#adce87f96e58b25bd6ff046e6608f4d2c',1,'SVF::IntervalExeState::IntervalExeState()'],['../classSVF_1_1IntervalExeState.html#a5803940144915a922af7ddef09fb23c0',1,'SVF::IntervalExeState::IntervalExeState(VarToValMap &_varToValMap, LocToValMap &_locToValMap)'],['../classSVF_1_1IntervalExeState.html#a781dc413b32c33e1c0fd5154d2c50654',1,'SVF::IntervalExeState::IntervalExeState(const IntervalExeState &rhs)'],['../classSVF_1_1IntervalExeState.html#ac1272649c1549d0d942941bd8f4c4b41',1,'SVF::IntervalExeState::IntervalExeState(IntervalExeState &&rhs)']]],
-  ['intervalvalue_9104',['IntervalValue',['../classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0',1,'SVF::IntervalValue::IntervalValue()'],['../classSVF_1_1IntervalValue.html#acb48e1418d1b6beceb30b1513fde5d9a',1,'SVF::IntervalValue::IntervalValue(int64_t n)'],['../classSVF_1_1IntervalValue.html#a926ca60622fdcd225ef7d8b7fd4054b2',1,'SVF::IntervalValue::IntervalValue(s32_t n)'],['../classSVF_1_1IntervalValue.html#a3ac170a902accf8d84b6b77ab88a8fd3',1,'SVF::IntervalValue::IntervalValue(u32_t n)'],['../classSVF_1_1IntervalValue.html#ad1a81f516a61f54a595fa15444e2001b',1,'SVF::IntervalValue::IntervalValue(double n)'],['../classSVF_1_1IntervalValue.html#aa339a88f42bea8c1adfe0db8ba3a5d2a',1,'SVF::IntervalValue::IntervalValue(NumericLiteral n)'],['../classSVF_1_1IntervalValue.html#a73aee65aae0f2ef368d159d29e1d5a30',1,'SVF::IntervalValue::IntervalValue(NumericLiteral lb, NumericLiteral ub)'],['../classSVF_1_1IntervalValue.html#a8aeffab01720d40b72eb96b44c899b70',1,'SVF::IntervalValue::IntervalValue(int64_t lb, int64_t ub)'],['../classSVF_1_1IntervalValue.html#a50d11cbc14f717d679caafe3cf59e0c5',1,'SVF::IntervalValue::IntervalValue(double lb, double ub)'],['../classSVF_1_1IntervalValue.html#ac3736c3e3129cfdb6ee415ef64c2e75c',1,'SVF::IntervalValue::IntervalValue(s32_t lb, s32_t ub)'],['../classSVF_1_1IntervalValue.html#a304db5abb4cc7added56dbcbcd94d905',1,'SVF::IntervalValue::IntervalValue(u32_t lb, u32_t ub)'],['../classSVF_1_1IntervalValue.html#a35e3062c24a13ac4ed50729339408f65',1,'SVF::IntervalValue::IntervalValue(u64_t lb, u64_t ub)'],['../classSVF_1_1IntervalValue.html#af93275fa839a1cfabe32f8b1ece77dff',1,'SVF::IntervalValue::IntervalValue(const IntervalValue &)=default'],['../classSVF_1_1IntervalValue.html#ae3deef6cb5bbac64c02cc51872b489ff',1,'SVF::IntervalValue::IntervalValue(IntervalValue &&)=default']]],
-  ['intrabackwardtraverse_9105',['intraBackwardTraverse',['../classSVF_1_1LockAnalysis.html#a5f693c893f3701e1e025881f91193d53',1,'SVF::LockAnalysis']]],
-  ['intracfgedge_9106',['IntraCFGEdge',['../classSVF_1_1IntraCFGEdge.html#aeab701d63caadf8effabdbd23ac0cd49',1,'SVF::IntraCFGEdge']]],
-  ['intradirsvfgedge_9107',['IntraDirSVFGEdge',['../classSVF_1_1IntraDirSVFGEdge.html#a2157a56f5d707a946e2ad54219fdc69a',1,'SVF::IntraDirSVFGEdge']]],
-  ['intradisjointmrg_9108',['IntraDisjointMRG',['../classSVF_1_1IntraDisjointMRG.html#ae4bc9b653e15ce876579741e91a463ae',1,'SVF::IntraDisjointMRG']]],
-  ['intraforwardtraverse_9109',['intraForwardTraverse',['../classSVF_1_1LockAnalysis.html#a7b943f626a551c0fcd6761fc42728e9d',1,'SVF::LockAnalysis']]],
-  ['intraicfgnode_9110',['IntraICFGNode',['../classSVF_1_1IntraICFGNode.html#a71b3c3ab7b316b6b43d8d72a1a6c5d03',1,'SVF::IntraICFGNode::IntraICFGNode(NodeID id)'],['../classSVF_1_1IntraICFGNode.html#a48718ca0a69f42db2210c79b5fe15cf7',1,'SVF::IntraICFGNode::IntraICFGNode(NodeID id, const SVFInstruction *i)']]],
-  ['intraindsvfgedge_9111',['IntraIndSVFGEdge',['../classSVF_1_1IntraIndSVFGEdge.html#ab2b1f7610737c6f0a5a94b8a7e629110',1,'SVF::IntraIndSVFGEdge']]],
-  ['intramssaphisvfgnode_9112',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d',1,'SVF::IntraMSSAPHISVFGNode']]],
-  ['intraphivfgnode_9113',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3',1,'SVF::IntraPHIVFGNode']]],
-  ['invartoaddrstable_9114',['inVarToAddrsTable',['../classSVF_1_1ConsExeState.html#a755fbe99c6d02b6a7897dad86f46c580',1,'SVF::ConsExeState::inVarToAddrsTable()'],['../classSVF_1_1ExeState.html#a6dfff6d4302faeb80c78a512f32b529f',1,'SVF::ExeState::inVarToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45',1,'SVF::IntervalExeState::inVarToAddrsTable()'],['../classSVF_1_1SVFIR2ConsExeState.html#a849978e7839b365fd2cf335e5840031a',1,'SVF::SVFIR2ConsExeState::inVarToAddrsTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9',1,'SVF::SVFIR2ItvExeState::inVarToAddrsTable()']]],
-  ['invartoivaltable_9115',['inVarToIValTable',['../classSVF_1_1IntervalExeState.html#a884199a26d43d09bc7e33369fceb8274',1,'SVF::IntervalExeState::inVarToIValTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13',1,'SVF::SVFIR2ItvExeState::inVarToIValTable()']]],
-  ['invartoval_9116',['inVarToVal',['../classSVF_1_1ConsExeState.html#af832e1d7a773f6038da356a677a687f2',1,'SVF::ConsExeState']]],
-  ['invartovaltable_9117',['inVarToValTable',['../classSVF_1_1SVFIR2ConsExeState.html#a734006d65a35034fa2d32282c7dce47f',1,'SVF::SVFIR2ConsExeState']]],
-  ['inverse_9118',['Inverse',['../structSVF_1_1Inverse.html#a9bff8acbcb891eeaeb6a9324312358a0',1,'SVF::Inverse']]],
-  ['inverse_5fchildren_9119',['inverse_children',['../namespaceSVF.html#a155eb379cf271ac550333afb13cb36fa',1,'SVF']]],
-  ['inverse_5fnodes_9120',['inverse_nodes',['../namespaceSVF.html#a6506af0b08e86390c0e4786b6ee294ae',1,'SVF']]],
-  ['irgraph_9121',['IRGraph',['../classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28',1,'SVF::IRGraph']]],
-  ['is_5falloc_9122',['is_alloc',['../classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d',1,'SVF::ExtAPI']]],
-  ['is_5farg_5falloc_9123',['is_arg_alloc',['../classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477',1,'SVF::ExtAPI']]],
-  ['is_5fbool_9124',['is_bool',['../classSVF_1_1Z3Expr.html#aa4344471835568e6101780d3aece1900',1,'SVF::Z3Expr']]],
-  ['is_5fdealloc_9125',['is_dealloc',['../classSVF_1_1ExtAPI.html#aeef27a358ba1815760c893bd2d2335b1',1,'SVF::ExtAPI']]],
-  ['is_5fext_9126',['is_ext',['../classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2',1,'SVF::ExtAPI']]],
-  ['is_5finfinite_9127',['is_infinite',['../classSVF_1_1BoundedZ3Expr.html#aaea0231e6991c9463efab58fa802e342',1,'SVF::BoundedZ3Expr::is_infinite()'],['../classSVF_1_1IntervalValue.html#a3dba35c84607bd3ed4e62a90ae2799cf',1,'SVF::IntervalValue::is_infinite(const NumericLiteral &e)'],['../classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a',1,'SVF::IntervalValue::is_infinite() const']]],
-  ['is_5finfinity_9128',['is_infinity',['../classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d',1,'SVF::NumericLiteral']]],
-  ['is_5fmemset_5for_5fmemcpy_9129',['is_memset_or_memcpy',['../classSVF_1_1ExtAPI.html#ac5a4aa1c93ec7f37478fd8a399734cc0',1,'SVF::ExtAPI']]],
-  ['is_5fminus_5finfinite_9130',['is_minus_infinite',['../classSVF_1_1BoundedZ3Expr.html#a90c87bed7210246db310dbecc61326ac',1,'SVF::BoundedZ3Expr']]],
-  ['is_5fminus_5finfinity_9131',['is_minus_infinity',['../classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15',1,'SVF::NumericLiteral']]],
-  ['is_5fnoop_9132',['is_noop',['../classSVF_1_1ExtAPI.html#a82ebf71c5214f891f17e842e0b133b4f',1,'SVF::ExtAPI']]],
-  ['is_5fnumeral_9133',['is_numeral',['../classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0',1,'SVF::IntervalValue::is_numeral()'],['../classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0',1,'SVF::Z3Expr::is_numeral()']]],
-  ['is_5fplus_5finfinite_9134',['is_plus_infinite',['../classSVF_1_1BoundedZ3Expr.html#a1b58a124940bbc4da8c09f2b63b24b0c',1,'SVF::BoundedZ3Expr']]],
-  ['is_5fplus_5finfinity_9135',['is_plus_infinity',['../classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7',1,'SVF::NumericLiteral']]],
-  ['is_5frealloc_9136',['is_realloc',['../classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4',1,'SVF::ExtAPI']]],
-  ['is_5fsamesignature_9137',['is_sameSignature',['../classSVF_1_1ExtAPI.html#a5e8b816a3eb894f6b09403852df0d01b',1,'SVF::ExtAPI']]],
-  ['is_5ftrue_9138',['is_true',['../classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c',1,'SVF::BoundedZ3Expr']]],
-  ['is_5fzero_9139',['is_zero',['../classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be',1,'SVF::BoundedZ3Expr::is_zero()'],['../classSVF_1_1IntervalValue.html#a970b85f66d80cfc8ca56a8846c921afa',1,'SVF::IntervalValue::is_zero()'],['../classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71',1,'SVF::NumericLiteral::is_zero()']]],
-  ['isa_9140',['isa',['../namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737',1,'SVF::SVFUtil::isa(const Y &Val)'],['../namespaceSVF_1_1SVFUtil.html#a13729076054a2977670b05a338a6763d',1,'SVF::SVFUtil::isa(const Y &Val)']]],
-  ['isactualoutphi_9141',['isActualOUTPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301',1,'SVF::InterMSSAPHISVFGNode']]],
-  ['isactualretphi_9142',['isActualRetPHI',['../classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4',1,'SVF::InterPHIVFGNode']]],
-  ['isagg_9143',['isAgg',['../classSVF_1_1DCHGraph.html#a9d2be5aec5216cbc1d1709b41f79c44b',1,'SVF::DCHGraph']]],
-  ['isaliasedforkjoin_9144',['isAliasedForkJoin',['../classSVF_1_1ForkJoinAnalysis.html#a209ab13297e61f980cdf350e8fe2a9b4',1,'SVF::ForkJoinAnalysis']]],
-  ['isaliasedlocks_9145',['isAliasedLocks',['../classSVF_1_1LockAnalysis.html#add9272ead87ca994ee4e08dfa30fa0f4',1,'SVF::LockAnalysis::isAliasedLocks(const CxtLock &cl1, const CxtLock &cl2)'],['../classSVF_1_1LockAnalysis.html#abc5b0e65b46d8c0ce973476dca1c94be',1,'SVF::LockAnalysis::isAliasedLocks(const SVFInstruction *i1, const SVFInstruction *i2)']]],
-  ['isaliasedmr_9146',['isAliasedMR',['../classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a',1,'SVF::MRGenerator']]],
-  ['isallpathreachable_9147',['isAllPathReachable',['../classSVF_1_1SaberCondAllocator.html#a246da0431273c312800459aa85d80a86',1,'SVF::SaberCondAllocator::isAllPathReachable()'],['../classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0',1,'SVF::SrcSnkDDA::isAllPathReachable()']]],
-  ['isallreachable_9148',['isAllReachable',['../classSVF_1_1ProgSlice.html#a2f96f034b7236791fe1d4d351174722e',1,'SVF::ProgSlice']]],
-  ['isanallocationwraper_9149',['isAnAllocationWraper',['../namespaceSVF_1_1SVFUtil.html#a2c47299fdf0ca0d08578ded6348f77c2',1,'SVF::SVFUtil']]],
-  ['isargofuncalledfunction_9150',['isArgOfUncalledFunction',['../classSVF_1_1SVFArgument.html#a3c6f43786b2cb230a02e50c6ab38453e',1,'SVF::SVFArgument::isArgOfUncalledFunction()'],['../namespaceSVF_1_1LLVMUtil.html#a428bd75b33fab60988d8758090712f29',1,'SVF::LLVMUtil::isArgOfUncalledFunction()'],['../namespaceSVF_1_1SVFUtil.html#a1a34958ca60ed98ad228c1d46cf95aeb',1,'SVF::SVFUtil::isArgOfUncalledFunction()']]],
-  ['isarray_9151',['isArray',['../classSVF_1_1MemObj.html#aeba6eeed4843a1a90cf1d4b7deb197af',1,'SVF::MemObj::isArray()'],['../classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1',1,'SVF::ObjTypeInfo::isArray()']]],
-  ['isarraycondmemobj_9152',['isArrayCondMemObj',['../classSVF_1_1DDAVFSolver.html#a9aaa5ee3dc8abc51c4b6e463e1949ee7',1,'SVF::DDAVFSolver']]],
-  ['isarraymemobj_9153',['isArrayMemObj',['../classSVF_1_1PointerAnalysis.html#a89dfeedf8e3e91603a1e9c73e3608a73',1,'SVF::PointerAnalysis']]],
-  ['isbackicfgedge_9154',['isBackICFGEdge',['../classSVF_1_1SVFLoop.html#a7283685960ed98e1a292e3f688d9aa2b',1,'SVF::SVFLoop']]],
-  ['isbarrierwaitcall_9155',['isBarrierWaitCall',['../namespaceSVF_1_1SVFUtil.html#ad09ba410acbbaee2aac9dd406c3cf01a',1,'SVF::SVFUtil::isBarrierWaitCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#ae9a7f272f037cda8dffa225606625398',1,'SVF::SVFUtil::isBarrierWaitCall(const SVFInstruction *inst)']]],
-  ['isbase_9156',['isBase',['../classSVF_1_1DCHGraph.html#ab33f9af6ad22eb99dd0d9950fb0e50e6',1,'SVF::DCHGraph']]],
-  ['isbbcallsprogexit_9157',['isBBCallsProgExit',['../classSVF_1_1SaberCondAllocator.html#a9d626dea5aa694799ec15a3b64021a35',1,'SVF::SaberCondAllocator']]],
-  ['isbinaryconstantexpr_9158',['isBinaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a35b36394af726c679fe2c1b6051db7c4',1,'SVF::LLVMUtil']]],
-  ['isbkvisited_9159',['isbkVisited',['../classSVF_1_1DDAVFSolver.html#a9a9c3a8b5e4ffc89418073110e446f20',1,'SVF::DDAVFSolver']]],
-  ['isblackhole_9160',['isblackHole',['../classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73',1,'SVF::SVFValue']]],
-  ['isblackholeobj_9161',['isBlackHoleObj',['../classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c',1,'SVF::MemObj']]],
-  ['isblackholesym_9162',['isBlackholeSym',['../namespaceSVF_1_1LLVMUtil.html#abf4e75ba6236136399d45c85be2328fe',1,'SVF::LLVMUtil']]],
-  ['isblkobj_9163',['isBlkObj',['../classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad',1,'SVF::SVFIR::isBlkObj()'],['../classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3',1,'SVF::SymbolTableInfo::isBlkObj()']]],
-  ['isblkobjorconstantobj_9164',['isBlkObjOrConstantObj',['../classSVF_1_1ConstraintGraph.html#a8ba74f82c1e796f2888ba34bc8355ce9',1,'SVF::ConstraintGraph::isBlkObjOrConstantObj()'],['../classSVF_1_1PointerAnalysis.html#a45462312a746339fff8b990a093d9a1b',1,'SVF::PointerAnalysis::isBlkObjOrConstantObj()'],['../classSVF_1_1SVFIR.html#ad9895f2d075eb402390e3b01ed68e001',1,'SVF::SVFIR::isBlkObjOrConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a2fc4bfb83b71a4c14e16168382cb8f5d',1,'SVF::SymbolTableInfo::isBlkObjOrConstantObj()']]],
-  ['isblkptr_9165',['isBlkPtr',['../classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997',1,'SVF::SVFIR::isBlkPtr()'],['../classSVF_1_1SymbolTableInfo.html#acba43b6e9cdf07afaf3d30351aa8df7c',1,'SVF::SymbolTableInfo::isBlkPtr()']]],
-  ['isbool_9166',['isBool',['../classOptionBase.html#acd2a32f510c026154665f7d874f3f362',1,'OptionBase::isBool()'],['../classOption.html#a910cf3c0ac5d45ee169cb8750898ea0b',1,'Option::isBool()']]],
-  ['isbottom_9167',['isBottom',['../classSVF_1_1AbstractValue.html#aafe29c4c572b851ce8031f5cd81600c5',1,'SVF::AbstractValue::isBottom()'],['../classSVF_1_1AddressValue.html#a8d723e05901bec417fec967972c6d6f2',1,'SVF::AddressValue::isBottom()'],['../classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001',1,'SVF::IntervalValue::isBottom()'],['../classSVF_1_1SingleAbsValue.html#a6750df64509e3dbaf3d75ed2ebc859ec',1,'SVF::SingleAbsValue::isBottom()']]],
-  ['isbottomabsvalue_9168',['isBottomAbsValue',['../classSVF_1_1SingleAbsValue.html#a5ece7dbaa27e73795a89adb90afe60fe',1,'SVF::SingleAbsValue']]],
-  ['isbuiltfromfile_9169',['isBuiltFromFile',['../classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98',1,'SVF::IRGraph']]],
-  ['iscallcfgedge_9170',['isCallCFGEdge',['../classSVF_1_1ICFGEdge.html#a2ecc0bc3bb3655bf3db3adb732747b49',1,'SVF::ICFGEdge']]],
-  ['iscalldirectvfgedge_9171',['isCallDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a92e3da59f7f5a693945b9a93f169da04',1,'SVF::VFGEdge']]],
-  ['iscallindirectvfgedge_9172',['isCallIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ae14a5f58064e6c08b53a3cffcc050077',1,'SVF::VFGEdge']]],
-  ['iscallop_9173',['isCallOp',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#a23b88769670c5b5984fbcad8803f4dbf',1,'SVF::ExtAPI::ExtOperation']]],
-  ['iscallsite_9174',['isCallSite',['../namespaceSVF_1_1LLVMUtil.html#a5a7dc8680a9714e08b01dd339b85bb20',1,'SVF::LLVMUtil::isCallSite(const Instruction *inst)'],['../namespaceSVF_1_1LLVMUtil.html#aeaa116fd9718c8b31f30d3fe62bb6403',1,'SVF::LLVMUtil::isCallSite(const Value *val)'],['../namespaceSVF_1_1SVFUtil.html#afdc3358522417de9a0d3a181a329f722',1,'SVF::SVFUtil::isCallSite(const SVFInstruction *inst)'],['../namespaceSVF_1_1SVFUtil.html#a8cb755f339ad1650f8ae2155451d9c0d',1,'SVF::SVFUtil::isCallSite(const SVFValue *val)']]],
-  ['iscallsiteretsvfgnode_9175',['isCallSiteRetSVFGNode',['../classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59',1,'SVF::SVFG']]],
-  ['iscallvfgedge_9176',['isCallVFGEdge',['../classSVF_1_1VFGEdge.html#a4352297ef44c4eff1efe2f348cce6fe9',1,'SVF::VFGEdge']]],
-  ['iscandidatefun_9177',['isCandidateFun',['../classSVF_1_1TCT.html#aa69b82c888c8193e97f9e95c62ac99d4',1,'SVF::TCT::isCandidateFun(const PTACallGraph::FunctionSet &callees) const'],['../classSVF_1_1TCT.html#a013f7fa94f9383b3d0e46b79c0a52a8f',1,'SVF::TCT::isCandidateFun(const SVFFunction *fun) const']]],
-  ['iscastconstantexpr_9178',['isCastConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#af983b0e1fbd371d8672e8f03f63084fc',1,'SVF::LLVMUtil']]],
-  ['iscfgedge_9179',['isCFGEdge',['../classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173',1,'SVF::ICFGEdge']]],
-  ['iscmpconstantexpr_9180',['isCmpConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#aa0b3e34188f721ff7145e47cb607c79a',1,'SVF::LLVMUtil']]],
-  ['isconcretecxt_9181',['isConcreteCxt',['../classSVF_1_1ContextCond.html#ac5f7388c0bbcee1878201819b9cd199f',1,'SVF::ContextCond']]],
-  ['iscondcompatible_9182',['isCondCompatible',['../classSVF_1_1ContextDDA.html#a57d309971de00db9bd8c6bfaf237cbff',1,'SVF::ContextDDA::isCondCompatible()'],['../classSVF_1_1CondPTAImpl.html#a6b746c30161c7dab86510895e0032935',1,'SVF::CondPTAImpl::isCondCompatible()']]],
-  ['isconditional_9183',['isConditional',['../classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901',1,'SVF::BranchStmt']]],
-  ['isconnectedfrommain_9184',['isConnectedfromMain',['../classSVF_1_1MHP.html#a90c228214643bb6d37bacffc35b99a3e',1,'SVF::MHP']]],
-  ['isconnectingtwocallsites_9185',['isConnectingTwoCallSites',['../classSVF_1_1SVFGOPT.html#aa23c967a8fcadbaf47e93a5b3610c84d',1,'SVF::SVFGOPT']]],
-  ['isconop_9186',['isConOp',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#a394d6a81c65acabc339a73891994879e',1,'SVF::ExtAPI::ExtOperation']]],
-  ['isconstantarray_9187',['isConstantArray',['../classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb',1,'SVF::MemObj::isConstantArray()'],['../classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212',1,'SVF::ObjTypeInfo::isConstantArray()']]],
-  ['isconstantobj_9188',['isConstantObj',['../classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156',1,'SVF::SVFIR::isConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a704b917b1e1dbaf9cd758fa9acc1083b',1,'SVF::SymbolTableInfo::isConstantObj()']]],
-  ['isconstantobjsym_9189',['isConstantObjSym',['../namespaceSVF_1_1LLVMUtil.html#ad8ee8de153df3f1bbdebb67185a2731c',1,'SVF::LLVMUtil::isConstantObjSym(const SVFValue *val)'],['../namespaceSVF_1_1LLVMUtil.html#a2fd5c626b818ac22a9c845227e1461c4',1,'SVF::LLVMUtil::isConstantObjSym(const Value *val)']]],
-  ['isconstantoffset_9190',['isConstantOffset',['../classSVF_1_1AccessPath.html#a403312192a96a9fd5e7d071481592a7f',1,'SVF::AccessPath::isConstantOffset()'],['../classSVF_1_1GepStmt.html#ab6f37c073e4755c4b8bb3ed6365687f4',1,'SVF::GepStmt::isConstantOffset()']]],
-  ['isconstantstruct_9191',['isConstantStruct',['../classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f',1,'SVF::MemObj::isConstantStruct()'],['../classSVF_1_1ObjTypeInfo.html#a41f916ab4e3a2c163fca636eae948ce7',1,'SVF::ObjTypeInfo::isConstantStruct()']]],
-  ['isconstdataoraggdata_9192',['isConstDataOrAggData',['../classSVF_1_1SVFValue.html#adcd0f90825818ab1de34e58c1a3084a3',1,'SVF::SVFValue::isConstDataOrAggData()'],['../classSVF_1_1MemObj.html#a37b75ada7d18139ac2f2add6c232ea68',1,'SVF::MemObj::isConstDataOrAggData()'],['../classSVF_1_1ObjTypeInfo.html#a6cc6751c847c667d4fc3052a30195e14',1,'SVF::ObjTypeInfo::isConstDataOrAggData()'],['../namespaceSVF_1_1LLVMUtil.html#a8a77403306e97ab4cb31a56d38bba5be',1,'SVF::LLVMUtil::isConstDataOrAggData()']]],
-  ['isconstdataoraggdatabutnotnullptr_9193',['isConstDataOrAggDataButNotNullPtr',['../classSVF_1_1SVFVar.html#a091ef22d4fc428985d604b03f287a941',1,'SVF::SVFVar']]],
-  ['isconstdataorconstglobal_9194',['isConstDataOrConstGlobal',['../classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0',1,'SVF::MemObj::isConstDataOrConstGlobal()'],['../classSVF_1_1ObjTypeInfo.html#a8e6c60978df9828c1dcb54086e83edc1',1,'SVF::ObjTypeInfo::isConstDataOrConstGlobal()']]],
-  ['isconstructor_9195',['isConstructor',['../namespaceSVF_1_1LLVMUtil.html#a6dd1590b82d2bd86766886bd21bc2b72',1,'SVF::LLVMUtil']]],
-  ['iscppthunkfunction_9196',['isCPPThunkFunction',['../namespaceSVF_1_1LLVMUtil.html#a47bbc0527ced570d576ccc2f9df409cb',1,'SVF::LLVMUtil']]],
-  ['isdeallocextcall_9197',['isDeallocExtCall',['../namespaceSVF_1_1SVFUtil.html#a1f52a7f183f1eec7c4db7e4e54fa5e2c',1,'SVF::SVFUtil::isDeallocExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a80da8887c0a6a8becd89495541b88d29',1,'SVF::SVFUtil::isDeallocExtCall(const SVFInstruction *inst)']]],
-  ['isdeallocextfun_9198',['isDeallocExtFun',['../namespaceSVF_1_1SVFUtil.html#a3495236e22e4bc6404b6ac352060439c',1,'SVF::SVFUtil']]],
-  ['isdeclaration_9199',['isDeclaration',['../classSVF_1_1SVFFunction.html#ab672f0255ec8e42d5e414bc8c72b7c76',1,'SVF::SVFFunction']]],
-  ['isdefofainfout_9200',['isDefOfAInFOut',['../classSVF_1_1SVFGOPT.html#a0e78edc04f5e8bfcca7a3f04f7568665',1,'SVF::SVFGOPT']]],
-  ['isdestructor_9201',['isDestructor',['../namespaceSVF_1_1LLVMUtil.html#a206973624fcc58e6044c884dba23a754',1,'SVF::LLVMUtil']]],
-  ['isdirectcalledge_9202',['isDirectCallEdge',['../classSVF_1_1PTACallGraphEdge.html#a8c46ccaa41f6792ca4a31a56548a554a',1,'SVF::PTACallGraphEdge']]],
-  ['isdirectedge_9203',['isdirectEdge',['../classSVF_1_1ConstraintNode.html#a165b41f2849c0f09eb1b15d51a566315',1,'SVF::ConstraintNode']]],
-  ['isdirectvfgedge_9204',['isDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a8777555f00696706de250159b920d14b',1,'SVF::VFGEdge']]],
-  ['isedgeinrecursion_9205',['isEdgeInRecursion',['../classSVF_1_1ContextDDA.html#a525949d1743136466d33bf4dc26ba423',1,'SVF::ContextDDA']]],
-  ['isentryicfgedge_9206',['isEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a3db213cb4aee3308f2dca587ffa1dfd1',1,'SVF::SVFLoop']]],
-  ['iseqcmp_9207',['isEQCmp',['../classSVF_1_1SaberCondAllocator.html#aaa01f2c79866e9eb7818d80b0af2b9f5',1,'SVF::SaberCondAllocator']]],
-  ['isequivalentbranchcond_9208',['isEquivalentBranchCond',['../classSVF_1_1ProgSlice.html#a6c63e9641e4d3d3f2f8c4a73bfba7a07',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71',1,'SVF::SaberCondAllocator::isEquivalentBranchCond()']]],
-  ['isextcall_9209',['isExtCall',['../namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400',1,'SVF::SVFUtil::isExtCall(const SVFFunction *fun)'],['../namespaceSVF_1_1SVFUtil.html#aad27a96075234ad2182a84e0e9d31a45',1,'SVF::SVFUtil::isExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51',1,'SVF::SVFUtil::isExtCall(const SVFInstruction *inst)']]],
-  ['isfclose_9210',['isFClose',['../classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba',1,'SVF::SaberCheckerAPI::isFClose(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#a01b12585cad8b75ce635670cd5c7d874',1,'SVF::SaberCheckerAPI::isFClose(const SVFInstruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#a534bfe077af19b111c1b7bc3c5a065e6',1,'SVF::SaberCheckerAPI::isFClose(const CallICFGNode *cs) const']]],
-  ['isfieldinsencondmemobj_9211',['isFieldInsenCondMemObj',['../classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170',1,'SVF::DDAVFSolver']]],
-  ['isfieldinsensitive_9212',['isFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#a0f71e4cd0948b294c7d33a690bde7dbe',1,'SVF::PointerAnalysis::isFieldInsensitive()'],['../classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc',1,'SVF::MemObj::isFieldInsensitive()']]],
-  ['isfieldof_9213',['isFieldOf',['../classSVF_1_1DCHGraph.html#af0534356b4a8c68507e1237f1d7a8c11',1,'SVF::DCHGraph']]],
-  ['isfiobjnode_9214',['isFIObjNode',['../classSVF_1_1PointerAnalysis.html#af90d2ccb01402c5ca9d7a059f345c816',1,'SVF::PointerAnalysis']]],
-  ['isfirstfield_9215',['isFirstField',['../classSVF_1_1DCHGraph.html#a2b2dbc52089696854a8339f2e83fc333',1,'SVF::DCHGraph']]],
-  ['isflaged_9216',['isFlaged',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a63f574da7298fd47d228592f512891d1',1,'SVF::RaceResultValidator::AccessPair::isFlaged(const RC_FLAG flag) const'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a63f574da7298fd47d228592f512891d1',1,'SVF::RaceResultValidator::AccessPair::isFlaged(const RC_FLAG flag) const']]],
-  ['isfollowerfun_9217',['isFollowerFun',['../classSVF_1_1PCG.html#a767a7ea009067e7f82bb70b29688a144',1,'SVF::PCG']]],
-  ['isfopen_9218',['isFOpen',['../classSVF_1_1SaberCheckerAPI.html#a0977378f6f2a782041c97912762deb5f',1,'SVF::SaberCheckerAPI::isFOpen(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#a50b572a89b800c3520f77d6f1094c066',1,'SVF::SaberCheckerAPI::isFOpen(const SVFInstruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#a5a2f7cb7f46b6edd80e6d4611f07e327',1,'SVF::SaberCheckerAPI::isFOpen(const CallICFGNode *cs) const']]],
-  ['isforksite_9219',['isForksite',['../classSVF_1_1ThreadCallGraph.html#a07d3db6ffe8d75effd6fbc3856c484fe',1,'SVF::ThreadCallGraph']]],
-  ['isformalinphi_9220',['isFormalINPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1',1,'SVF::InterMSSAPHISVFGNode']]],
-  ['isformalparmphi_9221',['isFormalParmPHI',['../classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7',1,'SVF::InterPHIVFGNode']]],
-  ['isfulljoin_9222',['isFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#ab55532eefbcef639ced957ad82fbd340',1,'SVF::ForkJoinAnalysis']]],
-  ['isfunction_9223',['isFunction',['../classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b',1,'SVF::MemObj::isFunction()'],['../classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f',1,'SVF::ObjTypeInfo::isFunction()']]],
-  ['isfunctionretphi_9224',['isFunctionRetPhi',['../classSVF_1_1PhiStmt.html#a8e55ddef627096c78bb2c8b6f9c77140',1,'SVF::PhiStmt']]],
-  ['isfunentrysvfgnode_9225',['isFunEntrySVFGNode',['../classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b',1,'SVF::SVFG']]],
-  ['isfunentryvfgnode_9226',['isFunEntryVFGNode',['../classSVF_1_1VFG.html#a8994194bca2edfd9528880390de795ab',1,'SVF::VFG']]],
-  ['isfunptr_9227',['isFunPtr',['../classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97',1,'SVF::SVFIR']]],
-  ['isgepconstantexpr_9228',['isGepConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685',1,'SVF::LLVMUtil']]],
-  ['isglobalobj_9229',['isGlobalObj',['../classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4',1,'SVF::MemObj::isGlobalObj()'],['../classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f',1,'SVF::ObjTypeInfo::isGlobalObj()']]],
-  ['isglobalsvfgnode_9230',['isGlobalSVFGNode',['../classSVF_1_1SaberSVFGBuilder.html#afbcd75844af51ff51c09c377f80a49cf',1,'SVF::SaberSVFGBuilder::isGlobalSVFGNode()'],['../classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7',1,'SVF::SrcSnkDDA::isGlobalSVFGNode()']]],
-  ['ishareparfor_9231',['isHareParFor',['../classSVF_1_1ThreadAPI.html#ab96065dc1bb1cc29f9c37c885f524b34',1,'SVF::ThreadAPI::isHareParFor(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#adb944c2287cf7686a03b0e53a03ba025',1,'SVF::ThreadAPI::isHareParFor(CallSite cs) const']]],
-  ['ishareparforcall_9232',['isHareParForCall',['../namespaceSVF_1_1SVFUtil.html#a28fbb7cc51eb7e25d88f43e3eb1f30fb',1,'SVF::SVFUtil::isHareParForCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#ad8340531cfb109c792de4edee34d44db',1,'SVF::SVFUtil::isHareParForCall(const SVFInstruction *inst)']]],
-  ['ishbpair_9233',['isHBPair',['../classSVF_1_1MHP.html#a6f07427b45991b2d8a3ff21582121d23',1,'SVF::MHP::isHBPair()'],['../classSVF_1_1ForkJoinAnalysis.html#a86c68ce5fd8825b1593d92a5a5bad389',1,'SVF::ForkJoinAnalysis::isHBPair()']]],
-  ['ishead_9234',['isHead',['../classSVF_1_1CFBasicBlockGWTO.html#ade2b2aa77bba3781ab921d5c36eb881b',1,'SVF::CFBasicBlockGWTO']]],
-  ['isheadofspan_9235',['isHeadofSpan',['../classSVF_1_1MTASVFGBuilder.html#a5c32c2f5038aab15ec2da50c7c99b405',1,'SVF::MTASVFGBuilder::isHeadofSpan(const StmtSVFGNode *n, LockAnalysis::LockSpan lspan)'],['../classSVF_1_1MTASVFGBuilder.html#ad0c3ea19875191721cd466fe85b91a8c',1,'SVF::MTASVFGBuilder::isHeadofSpan(const StmtSVFGNode *n, InstSet mergespan)'],['../classSVF_1_1MTASVFGBuilder.html#a4d36dc553bc87508b78add9b52ce9c2a',1,'SVF::MTASVFGBuilder::isHeadofSpan(const StmtSVFGNode *n)']]],
-  ['isheap_9236',['isHeap',['../classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1',1,'SVF::MemObj::isHeap()'],['../classSVF_1_1ObjTypeInfo.html#a26c179394fbda9a9261d0bf3f52b619d',1,'SVF::ObjTypeInfo::isHeap()']]],
-  ['isheapallocextcall_9237',['isHeapAllocExtCall',['../namespaceSVF_1_1SVFUtil.html#a93ac673b885633849fa484938405ca75',1,'SVF::SVFUtil::isHeapAllocExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a07400bf7b1f50875f3e5123d13cff880',1,'SVF::SVFUtil::isHeapAllocExtCall(const SVFInstruction *inst)']]],
-  ['isheapallocextcallviaarg_9238',['isHeapAllocExtCallViaArg',['../namespaceSVF_1_1SVFUtil.html#aedfa6e9216c6c788c26aef1967689b76',1,'SVF::SVFUtil::isHeapAllocExtCallViaArg(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277',1,'SVF::SVFUtil::isHeapAllocExtCallViaArg(const SVFInstruction *inst)']]],
-  ['isheapallocextcallviaret_9239',['isHeapAllocExtCallViaRet',['../namespaceSVF_1_1SVFUtil.html#ab2064cb70c76f399ce115f2621adea35',1,'SVF::SVFUtil::isHeapAllocExtCallViaRet(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a9f9b3296d2ce69346ac694ad6b04f2b0',1,'SVF::SVFUtil::isHeapAllocExtCallViaRet(const SVFInstruction *inst)']]],
-  ['isheapallocextfunviaarg_9240',['isHeapAllocExtFunViaArg',['../namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245',1,'SVF::SVFUtil']]],
-  ['isheapallocextfunviaret_9241',['isHeapAllocExtFunViaRet',['../namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea',1,'SVF::SVFUtil']]],
-  ['isheapallocorstaticextcall_9242',['isHeapAllocOrStaticExtCall',['../namespaceSVF_1_1SVFUtil.html#a61ed4bb80d88b0f8dbc02535c224fdfb',1,'SVF::SVFUtil::isHeapAllocOrStaticExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a06b824671e2fab0e41a6b84ee9bd8362',1,'SVF::SVFUtil::isHeapAllocOrStaticExtCall(const SVFInstruction *inst)']]],
-  ['isheapcondmemobj_9243',['isHeapCondMemObj',['../classSVF_1_1ContextDDA.html#a02902af9bc4455b994a5da4a9d6cf121',1,'SVF::ContextDDA::isHeapCondMemObj()'],['../classSVF_1_1DDAVFSolver.html#a645c7d0637b49e139898016ff652e1f3',1,'SVF::DDAVFSolver::isHeapCondMemObj()'],['../classSVF_1_1FlowDDA.html#afc3b2b4e0da7a2484ec35c3ce84a9d60',1,'SVF::FlowDDA::isHeapCondMemObj()']]],
-  ['isheapmemobj_9244',['isHeapMemObj',['../classSVF_1_1PointerAnalysis.html#ae6ea391ac44dffeb6899bb44323c5361',1,'SVF::PointerAnalysis']]],
-  ['ishelpname_9245',['isHelpName',['../classOptionBase.html#ae446d8507843235d8fe71d32bc4bd04b',1,'OptionBase']]],
-  ['isinawrapper_9246',['isInAWrapper',['../classSVF_1_1SrcSnkDDA.html#afc75e55af839ef535d80555fd422342c',1,'SVF::SrcSnkDDA']]],
-  ['isincurbackwardslice_9247',['isInCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4cb2c14431fc432e84d382f8eeb24fe2',1,'SVF::SrcSnkDDA']]],
-  ['isincurforwardslice_9248',['isInCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4bde70a5d9dbf5a9234a93aaeaaacb94',1,'SVF::SrcSnkDDA']]],
-  ['isincurrentscc_9249',['isInCurrentSCC',['../classSVF_1_1WPASCCSolver.html#ae1ed4875e706677acf22a776f7285185',1,'SVF::WPASCCSolver']]],
-  ['isincycle_9250',['isIncycle',['../classSVF_1_1TCTNode.html#a42dde4c3714cc5605f7c0e76cfd4a74c',1,'SVF::TCTNode::isIncycle()'],['../classSVF_1_1CxtThread.html#a54c95794963cb5a478db7c49c1b8c428',1,'SVF::CxtThread::isIncycle()'],['../classSVF_1_1SCCDetection.html#a5d699af73b1e7ad4e3a5f6d26b8b6d15',1,'SVF::SCCDetection::isInCycle()']]],
-  ['isindirectcall_9251',['isIndirectCall',['../classSVF_1_1CallICFGNode.html#aa11226a2e4fa6a7b1d78006cc8ca0518',1,'SVF::CallICFGNode']]],
-  ['isindirectcalledge_9252',['isIndirectCallEdge',['../classSVF_1_1PTACallGraphEdge.html#a74692d47f929dc2188eede497acb91b7',1,'SVF::PTACallGraphEdge']]],
-  ['isindirectcallsites_9253',['isIndirectCallSites',['../classSVF_1_1SVFIR.html#a3dbe0b17694daa74f648a70e77efaf23',1,'SVF::SVFIR']]],
-  ['isindirectedge_9254',['isIndirectEdge',['../classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0',1,'SVF::ConstraintNode']]],
-  ['isindirectvfgedge_9255',['isIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#aa8f30d093d4950724a6688707326b57b',1,'SVF::VFGEdge']]],
-  ['isinicfgedge_9256',['isInICFGEdge',['../classSVF_1_1SVFLoop.html#ae8a579b8798cf14ba8c1d9ee9c355267',1,'SVF::SVFLoop']]],
-  ['isinloop_9257',['isInloop',['../classSVF_1_1TCTNode.html#a4541cd85dcde2ce789ea411ebb1d89c7',1,'SVF::TCTNode::isInloop()'],['../classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6',1,'SVF::CxtThread::isInloop()'],['../classSVF_1_1ICFG.html#ae115e70bf53f25c0ca6b1f22acccf5b5',1,'SVF::ICFG::isInLoop(const ICFGNode *node)'],['../classSVF_1_1ICFG.html#ac0600b9ff2521ec2b205dc35c276397d',1,'SVF::ICFG::isInLoop(const SVFInstruction *inst)'],['../classSVF_1_1SVFLoop.html#af2433fcc43f4e22fdf97ca2672a5dfa3',1,'SVF::SVFLoop::isInLoop()']]],
-  ['isinloopinstruction_9258',['isInLoopInstruction',['../classSVF_1_1TCT.html#af1e7f51f9a3540fa73b856def01da77e',1,'SVF::TCT']]],
-  ['isinrecursion_9259',['isInRecursion',['../classSVF_1_1PointerAnalysis.html#aa725a0c9426e8615cbc078c88561f66a',1,'SVF::PointerAnalysis::isInRecursion()'],['../classSVF_1_1TCT.html#a17a478edc9fac3e501202073100549ff',1,'SVF::TCT::isInRecursion()']]],
-  ['isinsamecispan_9260',['isInSameCISpan',['../classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e',1,'SVF::LockAnalysis']]],
-  ['isinsamecsspan_9261',['isInSameCSSpan',['../classSVF_1_1LockAnalysis.html#a1c23ab16b5c7ab5bb482a5828e615bbb',1,'SVF::LockAnalysis::isInSameCSSpan(const SVFInstruction *i1, const SVFInstruction *i2) const'],['../classSVF_1_1LockAnalysis.html#a8595b976bf60d161561e5494257aa179',1,'SVF::LockAnalysis::isInSameCSSpan(const CxtStmt &cxtStmt1, const CxtStmt &cxtStmt2) const']]],
-  ['isinsamespan_9262',['isInSameSpan',['../classSVF_1_1LockAnalysis.html#a1c1b63a8bd7449ebeb2c31b0532e9337',1,'SVF::LockAnalysis']]],
-  ['isinscc_9263',['isInSCC',['../classSVF_1_1SCCDetection.html#aff6c15443edca2559ae3f3d04ff45481',1,'SVF::SCCDetection']]],
-  ['isinsensitivecallret_9264',['isInsensitiveCallRet',['../classSVF_1_1ContextDDA.html#a76487b8b3e3abb8a16b5c4f5c7e79819',1,'SVF::ContextDDA']]],
-  ['isinsidecondintralock_9265',['isInsideCondIntraLock',['../classSVF_1_1LockAnalysis.html#a25446604fac03485a991d28f03e88788',1,'SVF::LockAnalysis']]],
-  ['isinsideintralock_9266',['isInsideIntraLock',['../classSVF_1_1LockAnalysis.html#a3fd595637d248213c650889d6e2d07ad',1,'SVF::LockAnalysis']]],
-  ['isint2ptrconstantexpr_9267',['isInt2PtrConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#adfa4a4e6d13004d14137d9168bd32463',1,'SVF::LLVMUtil']]],
-  ['isinterestedpagnode_9268',['isInterestedPAGNode',['../classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962',1,'SVF::VFG']]],
-  ['isintracfgedge_9269',['isIntraCFGEdge',['../classSVF_1_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c',1,'SVF::ICFGEdge']]],
-  ['isintralock_9270',['isIntraLock',['../classSVF_1_1LockAnalysis.html#aabb4acd61154d3e7fed64ec4e94f2d93',1,'SVF::LockAnalysis']]],
-  ['isintravfgedge_9271',['isIntraVFGEdge',['../classSVF_1_1VFGEdge.html#a5d2668f46a709eb179007a296d94b77b',1,'SVF::VFGEdge']]],
-  ['isintrinsic_9272',['isIntrinsic',['../classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb',1,'SVF::SVFFunction']]],
-  ['isintrinsicfun_9273',['isIntrinsicFun',['../namespaceSVF_1_1LLVMUtil.html#a4638a12f5481dff947b59cf8353e619b',1,'SVF::LLVMUtil']]],
-  ['isintrinsicinst_9274',['isIntrinsicInst',['../namespaceSVF_1_1LLVMUtil.html#a003b769751b93b94bdb011bd704cfde1',1,'SVF::LLVMUtil::isIntrinsicInst()'],['../namespaceSVF_1_1SVFUtil.html#abb2bbf6e0dc5adae2140a519259e6f17',1,'SVF::SVFUtil::isIntrinsicInst()']]],
-  ['isinworklist_9275',['isInWorklist',['../classSVF_1_1CFLSolver.html#a0e112c2290b3ba4e61da6b1fe9ac506d',1,'SVF::CFLSolver::isInWorklist()'],['../classSVF_1_1SrcSnkSolver.html#a1d9e1f15c9670758b9598e848ce5eeed',1,'SVF::SrcSnkSolver::isInWorklist()'],['../classSVF_1_1GraphReachSolver.html#a448dd77a75555479e9c8769c0638af2c',1,'SVF::GraphReachSolver::isInWorklist()'],['../classSVF_1_1WPASolver.html#a09c85e7a12715fc64e05a8448b699ec0',1,'SVF::WPASolver::isInWorklist()']]],
-  ['isirfile_9276',['isIRFile',['../namespaceSVF_1_1LLVMUtil.html#ad8a8c32a09340f491fffffcb07dd7a41',1,'SVF::LLVMUtil']]],
-  ['isisolatednode_9277',['isIsolatedNode',['../classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7',1,'SVF::SVFVar']]],
-  ['isjoinmustexecutedinloop_9278',['isJoinMustExecutedInLoop',['../classSVF_1_1TCT.html#ad7d8760d745f4d8fcd85ccdf876d22a5',1,'SVF::TCT']]],
-  ['isjoinsite_9279',['isJoinsite',['../classSVF_1_1ThreadCallGraph.html#ac75a38384cda8379c32b4d01d4d5d20a',1,'SVF::ThreadCallGraph']]],
-  ['isjoinsiteinrecursion_9280',['isJoinSiteInRecursion',['../classSVF_1_1TCT.html#a78d2419493546ee2f91a6aeb2e778709',1,'SVF::TCT']]],
-  ['isload_9281',['isLoad',['../classSVF_1_1VersionedFlowSensitive.html#a984a4f929a18f97bfefac0102088a7fd',1,'SVF::VersionedFlowSensitive']]],
-  ['isloadvtblinst_9282',['isLoadVtblInst',['../namespaceSVF_1_1LLVMUtil.html#a45da980cb7c085942bb8e6010db9d84f',1,'SVF::LLVMUtil']]],
-  ['islocalcvarinrecursion_9283',['isLocalCVarInRecursion',['../classSVF_1_1DDAVFSolver.html#a20cadb651b41343437e135e985c4e566',1,'SVF::DDAVFSolver']]],
-  ['islocalvarinrecursivefun_9284',['isLocalVarInRecursiveFun',['../classSVF_1_1PointerAnalysis.html#a108380f6f0b67654bb7c7676686096c8',1,'SVF::PointerAnalysis']]],
-  ['islockaquirecall_9285',['isLockAquireCall',['../namespaceSVF_1_1SVFUtil.html#a5f3ecd0770991b6e84afe47a3934f0d2',1,'SVF::SVFUtil::isLockAquireCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a9cf550008fb5f051983003ee105738b1',1,'SVF::SVFUtil::isLockAquireCall(const SVFInstruction *inst)']]],
-  ['islockcandidatefun_9286',['isLockCandidateFun',['../classSVF_1_1LockAnalysis.html#ae2c69e1a6787033a5be2b210134873c3',1,'SVF::LockAnalysis']]],
-  ['islockreleasecall_9287',['isLockReleaseCall',['../namespaceSVF_1_1SVFUtil.html#a1241ef1c19df14f7db0bd62dd68f14f9',1,'SVF::SVFUtil::isLockReleaseCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a5b17fb3f5997e269938a368105592cbf',1,'SVF::SVFUtil::isLockReleaseCall(const SVFInstruction *inst)']]],
-  ['isloopexitofjoinloop_9288',['isLoopExitOfJoinLoop',['../classSVF_1_1TCT.html#ae62f5a928f59e01d15e8fb4fb8f0f100',1,'SVF::TCT']]],
-  ['isloopheader_9289',['isLoopHeader',['../classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43',1,'SVF::SVFLoopAndDomInfo::isLoopHeader()'],['../classSVF_1_1SVFFunction.html#afa469fdfa92b99d1727b8df873c86768',1,'SVF::SVFFunction::isLoopHeader()']]],
-  ['isloopheaderofjoinloop_9290',['isLoopHeaderOfJoinLoop',['../classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389',1,'SVF::TCT']]],
-  ['ismemalloc_9291',['isMemAlloc',['../classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416',1,'SVF::SaberCheckerAPI::isMemAlloc(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#a512741dffe68d4bbb761c5c178ea8c67',1,'SVF::SaberCheckerAPI::isMemAlloc(const SVFInstruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#acd2486bcf4cf413e63afed7884a0719e',1,'SVF::SaberCheckerAPI::isMemAlloc(const CallICFGNode *cs) const']]],
-  ['ismemcpy_9292',['isMemcpy',['../classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898',1,'SVF::MTAAnnotator']]],
-  ['ismemdealloc_9293',['isMemDealloc',['../classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e',1,'SVF::SaberCheckerAPI::isMemDealloc(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#aa6323d60c58b06f94a1645b26d3305ae',1,'SVF::SaberCheckerAPI::isMemDealloc(const SVFInstruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#a6bfc01d7e72b8c587b2e494aa923f908',1,'SVF::SaberCheckerAPI::isMemDealloc(const CallICFGNode *cs) const']]],
-  ['ismemset_9294',['isMemset',['../classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93',1,'SVF::MTAAnnotator']]],
-  ['ismemsetorcpyextfun_9295',['isMemSetOrCpyExtFun',['../namespaceSVF_1_1SVFUtil.html#a4c45df04366c21ee47ac251fbac582cc',1,'SVF::SVFUtil']]],
-  ['ismultiforked_9296',['isMultiforked',['../classSVF_1_1TCTNode.html#a5dd0cf88e381438d191b275314117561',1,'SVF::TCTNode']]],
-  ['ismultiforkedthread_9297',['isMultiForkedThread',['../classSVF_1_1MHP.html#a041392f704690e89d8acf5ec68d8682c',1,'SVF::MHP']]],
-  ['ismultiinheritance_9298',['isMultiInheritance',['../classSVF_1_1DCHNode.html#a42026e30e790bce5be03da3e45353c8d',1,'SVF::DCHNode::isMultiInheritance()'],['../classSVF_1_1CHNode.html#a224a394537fae62e64cf62a0d4fdd430',1,'SVF::CHNode::isMultiInheritance()']]],
-  ['ismultiple_9299',['isMultiple',['../classOptionBase.html#ad6fe65a503048686686ea6ced35a2dfd',1,'OptionBase::isMultiple()'],['../classOptionMultiple.html#aebfc1b172ccde004333d9af7248dca4e',1,'OptionMultiple::isMultiple()']]],
-  ['ismustalias_9300',['isMustAlias',['../classSVF_1_1DDAVFSolver.html#a345e5379f53b618adef014aa6887bfe7',1,'SVF::DDAVFSolver']]],
-  ['ismustjoin_9301',['isMustJoin',['../classSVF_1_1MHP.html#a1c43a0f078f82a3c741de1c4dc2490c0',1,'SVF::MHP']]],
-  ['isnecmp_9302',['isNECmp',['../classSVF_1_1SaberCondAllocator.html#aac5762d9a7d584a9748301acbb31b401',1,'SVF::SaberCondAllocator']]],
-  ['isnegcond_9303',['isNegCond',['../classSVF_1_1SaberCondAllocator.html#ad5d27f65374025b6a105ea7a92cbdb50',1,'SVF::SaberCondAllocator']]],
-  ['isnocallerfunction_9304',['isNoCallerFunction',['../namespaceSVF_1_1LLVMUtil.html#a17cce1a11e1bfc342a9e3e79fe35deef',1,'SVF::LLVMUtil']]],
-  ['isnodehidden_9305',['isNodeHidden',['../structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3',1,'SVF::DefaultDOTGraphTraits::isNodeHidden()'],['../classSVF_1_1GraphWriter.html#a8b1d80caf226c3a619c5fb03f8724f74',1,'SVF::GraphWriter::isNodeHidden()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa89ef1fbbc6ff785a933f45201054af6',1,'SVF::DOTGraphTraits< ConstraintGraph * >::isNodeHidden()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a4157da89f5224f90d19a505131e5a8bf',1,'SVF::DOTGraphTraits< IRGraph * >::isNodeHidden()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aafa70c57c0bbad9c2334b83d88eb1a89',1,'SVF::DOTGraphTraits< SVFG * >::isNodeHidden()']]],
-  ['isnoninstriccallsite_9306',['isNonInstricCallSite',['../namespaceSVF_1_1SVFUtil.html#a4af4db2fe43846609d2ed1d7022b1be1',1,'SVF::SVFUtil']]],
-  ['isnonlocalobject_9307',['isNonLocalObject',['../classSVF_1_1MRGenerator.html#a2cf20660f2fd686fa3cabd046c4a10bf',1,'SVF::MRGenerator']]],
-  ['isnonpointerobj_9308',['isNonPointerObj',['../classSVF_1_1PointerAnalysis.html#a9d3b20c9883d734537fb98b57b5372b9',1,'SVF::PointerAnalysis::isNonPointerObj()'],['../classSVF_1_1SVFIR.html#a980e54129ece0757d7f0373f37428507',1,'SVF::SVFIR::isNonPointerObj()']]],
-  ['isnonptrfieldobj_9309',['isNonPtrFieldObj',['../classSVF_1_1MemObj.html#aef4ed89ab63d6af36e7f291171c150ac',1,'SVF::MemObj::isNonPtrFieldObj()'],['../classSVF_1_1ObjTypeInfo.html#a040ae9ad6cd6b075df6594bb1f706d72',1,'SVF::ObjTypeInfo::isNonPtrFieldObj()']]],
-  ['isnotretfunction_9310',['isNotRetFunction',['../classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347',1,'SVF::SVFFunction']]],
-  ['isnullptr_9311',['isNullPtr',['../classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265',1,'SVF::ExeState::isNullPtr()'],['../classSVF_1_1SVFIR.html#a18ca66c199b910b15f1bfa77dcc98c30',1,'SVF::SVFIR::isNullPtr()'],['../classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177',1,'SVF::SVFValue::isNullPtr()'],['../classSVF_1_1SymbolTableInfo.html#ad095e4a569d399cadc03ce864f61c394',1,'SVF::SymbolTableInfo::isNullPtr()']]],
-  ['isnullptrsym_9312',['isNullPtrSym',['../namespaceSVF_1_1LLVMUtil.html#a847fb0c433b5d3611151636ca4bc5bc5',1,'SVF::LLVMUtil']]],
-  ['isnullstate_9313',['isNullState',['../classSVF_1_1ConsExeState.html#a08f64cf55802c4ddbc1e01b06ce55dec',1,'SVF::ConsExeState']]],
-  ['isnullsymstate_9314',['isNullSymState',['../classSVF_1_1SymState.html#a9817e6ac4387d6a6fe5f67e2ce753a88',1,'SVF::SymState']]],
-  ['isobject_9315',['isObject',['../namespaceSVF_1_1LLVMUtil.html#aca11801ed6ef6ff8d2a1e85bc0fc5794',1,'SVF::LLVMUtil']]],
-  ['isoperoverload_9316',['isOperOverload',['../CppUtil_8cpp.html#a2a7c55fe3b24b913890307e9ac6cb2ba',1,'CppUtil.cpp']]],
-  ['isouticfgedge_9317',['isOutICFGEdge',['../classSVF_1_1SVFLoop.html#a5b2ff96defd83686c2737cafa0e1cc83',1,'SVF::SVFLoop']]],
-  ['isoutofbudgetdpm_9318',['isOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#a0b1f774883adc7d535f8363bf3c8b1e8',1,'SVF::DDAVFSolver']]],
-  ['isoutofbudgetquery_9319',['isOutOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#a7994236bff84ba8244592fdf5e546734',1,'SVF::DDAVFSolver']]],
-  ['isoverwrittenappfunction_9320',['isOverwrittenAppFunction',['../classSVF_1_1ExtAPI.html#a5ef7edb1664ab87f00418e7808d00258',1,'SVF::ExtAPI::isOverwrittenAppFunction(const SVF::SVFFunction *callee)'],['../classSVF_1_1ExtAPI.html#a370b7d654a2f48226a848a5f1d7fb234',1,'SVF::ExtAPI::isOverwrittenAppFunction(const std::string &funcName)']]],
-  ['isparforsite_9321',['isParForSite',['../classSVF_1_1ThreadCallGraph.html#ae18f0b3245694145f6d9262ee28c6453',1,'SVF::ThreadCallGraph']]],
-  ['ispartialreachable_9322',['isPartialReachable',['../classSVF_1_1ProgSlice.html#a3822badbbe9ac808296d5248f2dbf8e2',1,'SVF::ProgSlice']]],
-  ['isphicopyedge_9323',['isPhiCopyEdge',['../classSVF_1_1VFG.html#a8ddf15d89a1b11a7f7720b671f4f0295',1,'SVF::VFG']]],
-  ['isphinode_9324',['isPhiNode',['../classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff',1,'SVF::SVFIR']]],
-  ['ispointer_9325',['isPointer',['../classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271',1,'SVF::SVFVar']]],
-  ['ispointerty_9326',['isPointerTy',['../classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c',1,'SVF::SVFType']]],
-  ['isprogentryfunction_9327',['isProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#ac9d6aff1a5e778e45c51b4f3b6d787e0',1,'SVF::LLVMUtil::isProgEntryFunction()'],['../namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b',1,'SVF::SVFUtil::isProgEntryFunction()']]],
-  ['isprogexitcall_9328',['isProgExitCall',['../namespaceSVF_1_1SVFUtil.html#a6528edf9a1750df4a84d1a60d4d0bbe4',1,'SVF::SVFUtil::isProgExitCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a81e9fe00756a3f42395261c87e64de02',1,'SVF::SVFUtil::isProgExitCall(const SVFInstruction *inst)']]],
-  ['isprogexitfunction_9329',['isProgExitFunction',['../namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57',1,'SVF::SVFUtil']]],
-  ['isprotectedbycommoncilock_9330',['isProtectedByCommonCILock',['../classSVF_1_1LockAnalysis.html#ae912e35cddd4235a663f84f70c3881e7',1,'SVF::LockAnalysis']]],
-  ['isprotectedbycommoncxtlock_9331',['isProtectedByCommonCxtLock',['../classSVF_1_1LockAnalysis.html#a32c0c5bdd676302f1c9e797d540278d8',1,'SVF::LockAnalysis::isProtectedByCommonCxtLock(const SVFInstruction *i1, const SVFInstruction *i2)'],['../classSVF_1_1LockAnalysis.html#a3e2e629a588b44ed39e529babb59a4f9',1,'SVF::LockAnalysis::isProtectedByCommonCxtLock(const CxtStmt &cxtStmt1, const CxtStmt &cxtStmt2)']]],
-  ['isprotectedbycommonlock_9332',['isProtectedByCommonLock',['../classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c',1,'SVF::LockAnalysis']]],
-  ['isptaedge_9333',['isPTAEdge',['../classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951',1,'SVF::SVFStmt']]],
-  ['isptanode_9334',['isPTANode',['../classSVF_1_1StmtVFGNode.html#a88d856dc04d922dc553bc2eae31e88a6',1,'SVF::StmtVFGNode::isPTANode()'],['../classSVF_1_1PHIVFGNode.html#a103e55e670ce614cabc13b8dc5b17b91',1,'SVF::PHIVFGNode::isPTANode()'],['../classSVF_1_1ArgumentVFGNode.html#ab891206b29c1cf7a732f09f5a187928e',1,'SVF::ArgumentVFGNode::isPTANode()'],['../classSVF_1_1NullPtrVFGNode.html#a320a99e99af0c6acf5dadc9e7077f776',1,'SVF::NullPtrVFGNode::isPTANode()']]],
-  ['isptr2intconstantexpr_9335',['isPtr2IntConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a2834d135a2385efff783e6e22d2eff1f',1,'SVF::LLVMUtil']]],
-  ['isptrinuncalledfunction_9336',['isPtrInUncalledFunction',['../namespaceSVF_1_1LLVMUtil.html#a07c785d931cef3c61e3dab4c615770be',1,'SVF::LLVMUtil']]],
-  ['isptronlysvfg_9337',['isPtrOnlySVFG',['../classSVF_1_1VFG.html#a268ec1495cbe4adb51fa50d28a4cba3d',1,'SVF::VFG']]],
-  ['ispureabstract_9338',['isPureAbstract',['../classSVF_1_1DCHNode.html#aed5e8397d43b602b79425acdae5e01f5',1,'SVF::DCHNode::isPureAbstract()'],['../classSVF_1_1CHNode.html#a268ccdfb486cc2efa8581ee7a3b5af39',1,'SVF::CHNode::isPureAbstract()']]],
-  ['ispwcnode_9339',['isPWCNode',['../classSVF_1_1ConstraintGraph.html#a84468bc9355d31e8c3e18369036ddf5c',1,'SVF::ConstraintGraph::isPWCNode()'],['../classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d',1,'SVF::ConstraintNode::isPWCNode()']]],
-  ['isreachablebetweenfunctions_9340',['isReachableBetweenFunctions',['../classSVF_1_1PTACallGraph.html#aa03df6b1ebf7f8356a47fa074d3f91a4',1,'SVF::PTACallGraph']]],
-  ['isreachablefromprogentry_9341',['isReachableFromProgEntry',['../classSVF_1_1PTACallGraphNode.html#ae549769b86088c7c03e416549694ef52',1,'SVF::PTACallGraphNode']]],
-  ['isreachglobal_9342',['isReachGlobal',['../classSVF_1_1ProgSlice.html#a067480a9815fdb728cd259ef9b687e3e',1,'SVF::ProgSlice']]],
-  ['isreallocextcall_9343',['isReallocExtCall',['../namespaceSVF_1_1SVFUtil.html#a6740e7686ba111ae525c6c093cbbaf46',1,'SVF::SVFUtil::isReallocExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a21eb8acf4b7f876507ff02c65fff0869',1,'SVF::SVFUtil::isReallocExtCall(const SVFInstruction *inst)']]],
-  ['isreallocextfun_9344',['isReallocExtFun',['../namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4',1,'SVF::SVFUtil']]],
-  ['isrecurfulljoin_9345',['isRecurFullJoin',['../classSVF_1_1MHP.html#a0356a8ccc53999549fb369f67faad306',1,'SVF::MHP']]],
-  ['isretcfgedge_9346',['isRetCFGEdge',['../classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80',1,'SVF::ICFGEdge']]],
-  ['isretdirectvfgedge_9347',['isRetDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a49cbf2a714c9b965b19452d266cd8bdf',1,'SVF::VFGEdge']]],
-  ['isretindirectvfgedge_9348',['isRetIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ad0df7ea2de8de5607229dfcdd7b70b87',1,'SVF::VFGEdge']]],
-  ['isretinst_9349',['isRetInst',['../classSVF_1_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d',1,'SVF::SVFInstruction']]],
-  ['isretvfgedge_9350',['isRetVFGEdge',['../classSVF_1_1VFGEdge.html#a3937eef974c3953f1d1e7d64c5a24ff3',1,'SVF::VFGEdge']]],
-  ['issamescev_9351',['isSameSCEV',['../classSVF_1_1ForkJoinAnalysis.html#abbff6ea064e7241315932db77dccaad9',1,'SVF::ForkJoinAnalysis']]],
-  ['issamethisptrinconstructor_9352',['isSameThisPtrInConstructor',['../namespaceSVF_1_1LLVMUtil.html#a8873eb1cce9496f9699eab22c4a6d3ce',1,'SVF::LLVMUtil']]],
-  ['issamevar_9353',['isSameVar',['../classSVF_1_1CondPTAImpl.html#a7a1be735c76ba4a6b235264fe8ec6c28',1,'SVF::CondPTAImpl']]],
-  ['issatisfiable_9354',['isSatisfiable',['../classSVF_1_1SaberCondAllocator.html#a7c132cc105a97a5dbf0c9b9d16b4b72a',1,'SVF::SaberCondAllocator']]],
-  ['issatisfiableforall_9355',['isSatisfiableForAll',['../classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed',1,'SVF::ProgSlice']]],
-  ['issatisfiableforpairs_9356',['isSatisfiableForPairs',['../classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4',1,'SVF::ProgSlice']]],
-  ['isscalar_9357',['isScalar',['../classSVF_1_1DCHNode.html#a50cf99ff5cc910512c1ce3987c7395ef',1,'SVF::DCHNode']]],
-  ['isselectconstantexpr_9358',['isSelectConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ae59b0dc7f29dbd2018e819f77465f66e',1,'SVF::LLVMUtil']]],
-  ['issigned_9359',['isSigned',['../classSVF_1_1SVFIntegerType.html#a535874e5c49f686dd6ae99304ecd6821',1,'SVF::SVFIntegerType']]],
-  ['issimple_9360',['isSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77',1,'SVF::DefaultDOTGraphTraits']]],
-  ['issinglefieldobj_9361',['isSingleFieldObj',['../classSVF_1_1ConstraintGraph.html#a38fd07dd86f6187a7671f9f85565fccc',1,'SVF::ConstraintGraph']]],
-  ['issinglevaluetype_9362',['isSingleValueType',['../classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6',1,'SVF::SVFType']]],
-  ['issink_9363',['isSink',['../classSVF_1_1SVFGStat.html#ae905f0d64db3039f8fd3c117c4624e31',1,'SVF::SVFGStat::isSink()'],['../classSVF_1_1SrcSnkDDA.html#a703bfc5c825d66fdb0d74eb89d181581',1,'SVF::SrcSnkDDA::isSink()']]],
-  ['issinklikefun_9364',['isSinkLikeFun',['../classSVF_1_1FileChecker.html#aac61c4566cd79827879f4862664a432e',1,'SVF::FileChecker::isSinkLikeFun()'],['../classSVF_1_1LeakChecker.html#aa45d35a0dc5162e8cef8b27b92ff243d',1,'SVF::LeakChecker::isSinkLikeFun()'],['../classSVF_1_1SrcSnkDDA.html#ab392142d8b4610635aef32c2f7ea8f91',1,'SVF::SrcSnkDDA::isSinkLikeFun()']]],
-  ['issomepathreachable_9365',['isSomePathReachable',['../classSVF_1_1SrcSnkDDA.html#a19ab6f6df2a67b294268cfe7f4287fd7',1,'SVF::SrcSnkDDA']]],
-  ['issource_9366',['isSource',['../classSVF_1_1SVFGStat.html#a72c93b86e95bdbe32ade33f7264f4c0a',1,'SVF::SVFGStat::isSource()'],['../classSVF_1_1SrcSnkDDA.html#a815e39e7c65ed9a250cafe40f74a4ba1',1,'SVF::SrcSnkDDA::isSource()']]],
-  ['issourcelikefun_9367',['isSourceLikeFun',['../classSVF_1_1FileChecker.html#ab2ed4c1d3aa00ac663441f32d9f3115f',1,'SVF::FileChecker::isSourceLikeFun()'],['../classSVF_1_1LeakChecker.html#afeee30f5f0c08d9aed59be3064bcc134',1,'SVF::LeakChecker::isSourceLikeFun()'],['../classSVF_1_1SrcSnkDDA.html#af5a96bfc0f214a14dd2b3e1a46177d3c',1,'SVF::SrcSnkDDA::isSourceLikeFun()']]],
-  ['isspawneefun_9368',['isSpawneeFun',['../classSVF_1_1PCG.html#aa894020740c6d6ad8a179133f628a573',1,'SVF::PCG']]],
-  ['isspawnerfun_9369',['isSpawnerFun',['../classSVF_1_1PCG.html#a49d2755072df3c5012bc602ac1501bdc',1,'SVF::PCG']]],
-  ['isspawnsite_9370',['isSpawnsite',['../classSVF_1_1PCG.html#a7a9d65698363d5f18c2556ead635cdf8',1,'SVF::PCG']]],
-  ['isspuriousvfedgeatindcallsite_9371',['isSpuriousVFEdgeAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#a9e8da6a516ed6598c66d81a0891fbb6e',1,'SVF::SVFGBuilder']]],
-  ['isstack_9372',['isStack',['../classSVF_1_1MemObj.html#af7316c697eafc71d5fc93108da4e2cee',1,'SVF::MemObj::isStack()'],['../classSVF_1_1ObjTypeInfo.html#aa568dc82decd28d2ef40785a4a647602',1,'SVF::ObjTypeInfo::isStack()']]],
-  ['isstaticextcall_9373',['isStaticExtCall',['../namespaceSVF_1_1SVFUtil.html#ae62938f722543d6d7fc201b685be1abf',1,'SVF::SVFUtil::isStaticExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a',1,'SVF::SVFUtil::isStaticExtCall(const SVFInstruction *inst)']]],
-  ['isstaticextfun_9374',['isStaticExtFun',['../namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5',1,'SVF::SVFUtil']]],
-  ['isstaticobj_9375',['isStaticObj',['../classSVF_1_1MemObj.html#a954eba54eda95e6735eb1d32bd8a276e',1,'SVF::MemObj::isStaticObj()'],['../classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523',1,'SVF::ObjTypeInfo::isStaticObj()']]],
-  ['isstore_9376',['isStore',['../classSVF_1_1VersionedFlowSensitive.html#aac920c9a5f13dd147e3c130425e005eb',1,'SVF::VersionedFlowSensitive']]],
-  ['isstrongupdate_9377',['isStrongUpdate',['../classSVF_1_1DDAVFSolver.html#a94bcddbc7b9ccecb3fbb693b13372785',1,'SVF::DDAVFSolver::isStrongUpdate()'],['../classSVF_1_1SaberSVFGBuilder.html#a21c20865a0093192978cec09ce09f20b',1,'SVF::SaberSVFGBuilder::isStrongUpdate()'],['../classSVF_1_1FlowSensitive.html#a42a7e39e0e15576742f8ba7c32579ea2',1,'SVF::FlowSensitive::isStrongUpdate()']]],
-  ['isstruct_9378',['isStruct',['../classSVF_1_1MemObj.html#a132df66e2751e5db6b0ba82d767a3286',1,'SVF::MemObj::isStruct()'],['../classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a',1,'SVF::ObjTypeInfo::isStruct()']]],
-  ['issubset_9379',['isSubset',['../classSVF_1_1CondPointsToSet.html#acefec4fbacde1099d3dc81ab45ab9b8c',1,'SVF::CondPointsToSet']]],
-  ['issvfgnodeincycle_9380',['isSVFGNodeInCycle',['../classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93',1,'SVF::DDAVFSolver']]],
-  ['issym_9381',['isSym',['../classSVF_1_1SingleAbsValue.html#a948aca85133c7045d508b8ee33dabe91',1,'SVF::SingleAbsValue']]],
-  ['issymbolabsvalue_9382',['isSymbolAbsValue',['../classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12',1,'SVF::SingleAbsValue']]],
-  ['istailofspan_9383',['isTailofSpan',['../classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f',1,'SVF::MTASVFGBuilder::isTailofSpan(const StmtSVFGNode *n, LockAnalysis::LockSpan lspan)'],['../classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023',1,'SVF::MTASVFGBuilder::isTailofSpan(const StmtSVFGNode *n, InstSet mergespan)'],['../classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05',1,'SVF::MTASVFGBuilder::isTailofSpan(const StmtSVFGNode *n)']]],
-  ['istdacquire_9384',['isTDAcquire',['../classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3',1,'SVF::LockAnalysis::isTDAcquire()'],['../classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8',1,'SVF::ThreadAPI::isTDAcquire(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837',1,'SVF::ThreadAPI::isTDAcquire(CallSite cs) const']]],
-  ['istdbarwait_9385',['isTDBarWait',['../classSVF_1_1ThreadAPI.html#a62a5d4709eb9f1e4e9dd20b87dac8c42',1,'SVF::ThreadAPI::isTDBarWait(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585',1,'SVF::ThreadAPI::isTDBarWait(CallSite cs) const']]],
-  ['istdexit_9386',['isTDExit',['../classSVF_1_1ThreadAPI.html#a3e175d985de53d0aadb026168e8a1a0e',1,'SVF::ThreadAPI::isTDExit(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f',1,'SVF::ThreadAPI::isTDExit(CallSite cs) const']]],
-  ['istdfork_9387',['isTDFork',['../classSVF_1_1LockAnalysis.html#a6039a72839e5eaf27c4c19c2e8316321',1,'SVF::LockAnalysis::isTDFork()'],['../classSVF_1_1MHP.html#a7af8320c524acaf3cf004ff37f9b4e42',1,'SVF::MHP::isTDFork()'],['../classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7',1,'SVF::ForkJoinAnalysis::isTDFork()'],['../classSVF_1_1ThreadAPI.html#a4bacbfb6648de8196217c83b5d73b876',1,'SVF::ThreadAPI::isTDFork(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a261eb3c2f7e44a81edf4feddfc65a3cc',1,'SVF::ThreadAPI::isTDFork(CallSite cs) const']]],
-  ['istdjoin_9388',['isTDJoin',['../classSVF_1_1MHP.html#a3352c8718f909c9fbed4ef7f5cf050a2',1,'SVF::MHP::isTDJoin()'],['../classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f',1,'SVF::ForkJoinAnalysis::isTDJoin()'],['../classSVF_1_1ThreadAPI.html#a68b10ffa2775fe7d8c1476409c0f54ab',1,'SVF::ThreadAPI::isTDJoin(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b',1,'SVF::ThreadAPI::isTDJoin(CallSite cs) const']]],
-  ['istdrelease_9389',['isTDRelease',['../classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a',1,'SVF::LockAnalysis::isTDRelease()'],['../classSVF_1_1ThreadAPI.html#a1d5c84fd83e120820bfb3458e0231fdf',1,'SVF::ThreadAPI::isTDRelease(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f',1,'SVF::ThreadAPI::isTDRelease(CallSite cs) const']]],
-  ['istemplate_9390',['isTemplate',['../classSVF_1_1DCHNode.html#ada436c7cb9108898c520952a87ebd01d',1,'SVF::DCHNode::isTemplate()'],['../classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749',1,'SVF::CHNode::isTemplate()']]],
-  ['isterminator_9391',['isTerminator',['../classSVF_1_1SVFInstruction.html#afbf703f88da59d2b30c14c7d40e5e22d',1,'SVF::SVFInstruction']]],
-  ['istestcontainsnullandthevalue_9392',['isTestContainsNullAndTheValue',['../classSVF_1_1SaberCondAllocator.html#a34be6721a311d72dcd355eeb41dbd3e1',1,'SVF::SaberCondAllocator']]],
-  ['istestnotnullexpr_9393',['isTestNotNullExpr',['../classSVF_1_1SaberCondAllocator.html#a4fc06192d4f7db305c3414a39e7c2b49',1,'SVF::SaberCondAllocator']]],
-  ['istestnullexpr_9394',['isTestNullExpr',['../classSVF_1_1SaberCondAllocator.html#accf26eb31e7724daa3ba9170feee9644',1,'SVF::SaberCondAllocator']]],
-  ['isthreadexitcall_9395',['isThreadExitCall',['../namespaceSVF_1_1SVFUtil.html#a3af5073a1cdc000678f7e4bbc943f5d5',1,'SVF::SVFUtil::isThreadExitCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a916f308f05ef0711f0aa32a8e6f96986',1,'SVF::SVFUtil::isThreadExitCall(const SVFInstruction *inst)']]],
-  ['isthreadforkcall_9396',['isThreadForkCall',['../namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0',1,'SVF::SVFUtil::isThreadForkCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#ae3abb438b0182c32abfbd6a625a24041',1,'SVF::SVFUtil::isThreadForkCall(const SVFInstruction *inst)']]],
-  ['isthreadjoincall_9397',['isThreadJoinCall',['../namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a',1,'SVF::SVFUtil::isThreadJoinCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#ad96e4550fca39e3edb362326a4cf1913',1,'SVF::SVFUtil::isThreadJoinCall(const SVFInstruction *inst)']]],
-  ['isthreadmhpindirectvfgedge_9398',['isThreadMHPIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ace832abe1ec87e3e2338944061d09ea4',1,'SVF::VFGEdge']]],
-  ['istop_9399',['isTop',['../classSVF_1_1AbstractValue.html#a8f470d727f665e3244b222df1eb724b6',1,'SVF::AbstractValue::isTop()'],['../classSVF_1_1AddressValue.html#a3ead18a9602057bb034f8fc447715a06',1,'SVF::AddressValue::isTop()'],['../classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059',1,'SVF::IntervalValue::isTop()'],['../classSVF_1_1SingleAbsValue.html#aab5acb2ae0dfaa7f50dd32b9d43f9de9',1,'SVF::SingleAbsValue::isTop()']]],
-  ['istopabsvalue_9400',['isTopAbsValue',['../classSVF_1_1SingleAbsValue.html#a5749cbe2d0966e65046ce84a78fcba07',1,'SVF::SingleAbsValue']]],
-  ['istoplevelptrstmt_9401',['isTopLevelPtrStmt',['../classSVF_1_1DDAVFSolver.html#a7b35588de00e322afd742041bf735571',1,'SVF::DDAVFSolver']]],
-  ['istruncconstantexpr_9402',['isTruncConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8',1,'SVF::LLVMUtil']]],
-  ['isunaryconstantexpr_9403',['isUnaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a215cc9fd716798bbb7f96f5b64e01349',1,'SVF::LLVMUtil']]],
-  ['isuncalledfunction_9404',['isUncalledFunction',['../classSVF_1_1SVFFunction.html#a818f626cb8b8063b5f3c8928428095b8',1,'SVF::SVFFunction::isUncalledFunction()'],['../namespaceSVF_1_1LLVMUtil.html#a2c61d741afbcfa853b505cd391f29f9b',1,'SVF::LLVMUtil::isUncalledFunction()']]],
-  ['isunconditional_9405',['isUnconditional',['../classSVF_1_1BranchStmt.html#a038d65e38fe792fec4050d3d1c9c5180',1,'SVF::BranchStmt']]],
-  ['isunreachable_9406',['isUnreachable',['../classSVF_1_1SVFLoopAndDomInfo.html#aac4d533d1c7abfefbd54507357e240f4',1,'SVF::SVFLoopAndDomInfo']]],
-  ['isvalidpointer_9407',['isValidPointer',['../classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3',1,'SVF::SVFIR']]],
-  ['isvalidtoplevelptr_9408',['isValidTopLevelPtr',['../classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139',1,'SVF::SVFIR']]],
-  ['isvalvtbl_9409',['isValVtbl',['../namespaceSVF_1_1LLVMUtil.html#a08fbef6fe3e2af96a49f79ce23accb01',1,'SVF::LLVMUtil']]],
-  ['isvararg_9410',['isVarArg',['../classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58',1,'SVF::SVFFunction::isVarArg()'],['../classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05',1,'SVF::SVFCallInst::isVarArg()'],['../classSVF_1_1CallSite.html#abe38a348db833b797f32ecc05f67100c',1,'SVF::CallSite::isVarArg()']]],
-  ['isvararray_9411',['isVarArray',['../classSVF_1_1MemObj.html#a616e9f4d6f82a253f94391c47668b9a6',1,'SVF::MemObj::isVarArray()'],['../classSVF_1_1ObjTypeInfo.html#aca1e900f9b0a774684af77666cf033e3',1,'SVF::ObjTypeInfo::isVarArray()']]],
-  ['isvariantfieldgep_9412',['isVariantFieldGep',['../classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788',1,'SVF::GepStmt']]],
-  ['isvarstruct_9413',['isVarStruct',['../classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf',1,'SVF::MemObj::isVarStruct()'],['../classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5',1,'SVF::ObjTypeInfo::isVarStruct()']]],
-  ['isvirtualcall_9414',['isVirtualCall',['../classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89',1,'SVF::CallSite']]],
-  ['isvirtualcallsite_9415',['isVirtualCallSite',['../namespaceSVF_1_1LLVMUtil.html#ab1b4c565ae6be788b934defc21a5cfaf',1,'SVF::LLVMUtil']]],
-  ['isvirtualmemaddress_9416',['isVirtualMemAddress',['../classSVF_1_1AddressValue.html#ab76f47f97262d40dbbee12f466f746e8',1,'SVF::AddressValue::isVirtualMemAddress()'],['../classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4',1,'SVF::ExeState::isVirtualMemAddress()'],['../classSVF_1_1RelExeState.html#adc3ed92ba80bb95326cbbe675a278879',1,'SVF::RelExeState::isVirtualMemAddress()'],['../classSVF_1_1SVFIR2ConsExeState.html#a0abd7ac1b44cb8ecf73dc19c9957f502',1,'SVF::SVFIR2ConsExeState::isVirtualMemAddress()'],['../classSVF_1_1SVFIR2ItvExeState.html#ae48cc31474d2c1cbc581b8f7ed433a14',1,'SVF::SVFIR2ItvExeState::isVirtualMemAddress()']]],
-  ['isvisited_9417',['isVisited',['../classSVF_1_1CSC.html#a2913a7a83deae0b91f1f42dc45c4f3b2',1,'SVF::CSC']]],
-  ['isvisitedctps_9418',['isVisitedCTPs',['../classSVF_1_1LockAnalysis.html#ad459afc7dd1e6620739eeee2bc4c570e',1,'SVF::LockAnalysis::isVisitedCTPs()'],['../classSVF_1_1TCT.html#a68d2b1107f9cc2edcc01265298b7307c',1,'SVF::TCT::isVisitedCTPs()']]],
-  ['isworklistempty_9419',['isWorklistEmpty',['../classSVF_1_1CFLSolver.html#ab17e45749a732a0ca29eecf6359e2f2f',1,'SVF::CFLSolver::isWorklistEmpty()'],['../classSVF_1_1SrcSnkSolver.html#a8cf98a877e4190f3886b4020006f6383',1,'SVF::SrcSnkSolver::isWorklistEmpty()'],['../classSVF_1_1GraphReachSolver.html#a7bfeccdf602cf901699e806e6c481f26',1,'SVF::GraphReachSolver::isWorklistEmpty()'],['../classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b',1,'SVF::WPASolver::isWorklistEmpty()']]],
-  ['iszero_9420',['isZero',['../classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c',1,'SVF::BoundedZ3Expr']]],
-  ['iszerooffsettedgepcgedge_9421',['isZeroOffsettedGepCGEdge',['../classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6',1,'SVF::ConstraintGraph']]],
-  ['iter_5fadaptor_5fbase_9422',['iter_adaptor_base',['../classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77',1,'SVF::iter_adaptor_base::iter_adaptor_base()=default'],['../classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611',1,'SVF::iter_adaptor_base::iter_adaptor_base(WrappedIteratorT u)']]],
-  ['iter_5frange_9423',['iter_range',['../classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b',1,'SVF::iter_range::iter_range(Container &&c)'],['../classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319',1,'SVF::iter_range::iter_range(IteratorT begin_iterator, IteratorT end_iterator)']]]
+  ['icfg_9014',['ICFG',['../classSVF_1_1ICFG.html#a683f33b8ad507a33809511954c7c1acb',1,'SVF::ICFG']]],
+  ['icfgbuilder_9015',['ICFGBuilder',['../classSVF_1_1ICFGBuilder.html#a40d50a22a5c2094dbfe5e8516a0deccc',1,'SVF::ICFGBuilder']]],
+  ['icfgedge_9016',['ICFGEdge',['../classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04',1,'SVF::ICFGEdge']]],
+  ['icfgnode_9017',['ICFGNode',['../classSVF_1_1ICFGNode.html#ae6fe836e269ac36f14b2d2b1499a11e6',1,'SVF::ICFGNode']]],
+  ['icfgnodesbegin_9018',['ICFGNodesBegin',['../classSVF_1_1SVFLoop.html#a39d7db54e8dd092fd5420c5332210ed1',1,'SVF::SVFLoop']]],
+  ['icfgnodesend_9019',['ICFGNodesEnd',['../classSVF_1_1SVFLoop.html#a4c96835d38a55423b70b2ce100d76dd2',1,'SVF::SVFLoop']]],
+  ['icfgstat_9020',['ICFGStat',['../classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f',1,'SVF::ICFGStat']]],
+  ['icfgwriter_9021',['ICFGWriter',['../classSVF_1_1ICFGWriter.html#af1e7410c278b429e8466afc8bd8551be',1,'SVF::ICFGWriter']]],
+  ['id_9022',['id',['../classSVF_1_1Z3Expr.html#acdb4fbb53f19bac033e79cfe96ce82ca',1,'SVF::Z3Expr']]],
+  ['identifyfollowers_9023',['identifyFollowers',['../classSVF_1_1PCG.html#ae5ee8cf8cfe42854407190f30f3b6c1b',1,'SVF::PCG']]],
+  ['idtoobjmap_9024',['idToObjMap',['../classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697',1,'SVF::SymbolTableInfo::idToObjMap()'],['../classSVF_1_1SymbolTableInfo.html#adcf3450e3abca33536420271959c56f1',1,'SVF::SymbolTableInfo::idToObjMap() const']]],
+  ['if_9025',['if',['../CFL_2CMakeLists_8txt.html#af5e474e40792dbf4280f768705232f6c',1,'if(DEFINED IN_SOURCE_BUILD) add_llvm_tool(cfl cfl.cpp) else() add_executable(cfl cfl.cpp) target_link_libraries(cfl SvfLLVM $: CMakeLists.txt'],['../DDA_2CMakeLists_8txt.html#af5e0025e6881a606ace3e42d5e4455fe',1,'if(DEFINED IN_SOURCE_BUILD) add_llvm_tool(dvf dda.cpp) else() add_executable(dvf dda.cpp) target_link_libraries(dvf SvfLLVM $: CMakeLists.txt'],['../Example_2CMakeLists_8txt.html#ac929bf2e3f9688be1b4f278d128b1b6e',1,'if(DEFINED IN_SOURCE_BUILD) add_llvm_tool(svf-ex svf-ex.cpp) else() add_executable(svf-ex svf-ex.cpp) target_link_libraries(svf-ex SvfLLVM $: CMakeLists.txt'],['../LLVM2SVF_2CMakeLists_8txt.html#aec34260fa4a64c5565fee1fbb8fcd4d0',1,'if(DEFINED IN_SOURCE_BUILD) add_llvm_tool(llvm2svf llvm2svf.cpp) else() add_executable(llvm2svf llvm2svf.cpp) target_link_libraries(llvm2svf SvfLLVM $: CMakeLists.txt'],['../MTA_2CMakeLists_8txt.html#a7c09e081921defb5c506c63f1f23283b',1,'if(DEFINED IN_SOURCE_BUILD) add_llvm_tool(mta mta.cpp LockResultValidator.cpp MTAResultValidator.cpp MTAAnnotator.cpp) else() add_executable(mta mta.cpp LockResultValidator.cpp MTAResultValidator.cpp MTAAnnotator.cpp) target_link_libraries(mta SvfLLVM $: CMakeLists.txt'],['../SABER_2CMakeLists_8txt.html#a05913f7dca12c1fa26f8d42d76f793e7',1,'if(DEFINED IN_SOURCE_BUILD) add_llvm_tool(saber saber.cpp) else() add_executable(saber saber.cpp) target_link_libraries(saber SvfLLVM $: CMakeLists.txt'],['../cJSON_8cpp.html#a90e6101bee79e6d18c535254695e91e3',1,'if(!(object->type &cJSON_String)||(object->type &cJSON_IsReference)): cJSON.cpp'],['../cJSON_8cpp.html#af00faa2be0e3b87cd54f46adf0f5b799',1,'if(strlen(valuestring)<=strlen(object->valuestring)): cJSON.cpp'],['../cJSON_8cpp.html#ae47a6320597174c09b4b032c600b3f16',1,'if(copy==NULL): cJSON.cpp'],['../cJSON_8cpp.html#a69f85127495f4f14fe9d9d3ed1153c0f',1,'if(object->valuestring !=NULL): cJSON.cpp'],['../cJSON_8cpp.html#abfe73b8e0114278ce0cc7c20a6bacdb9',1,'if(NULL==value): cJSON.cpp'],['../cJSON_8cpp.html#a4453a436aec0254e89bad92c056c196c',1,'if(value==NULL||0==buffer_length): cJSON.cpp'],['../cJSON_8cpp.html#a9a60d8945eee5e6258fce5439e056c55',1,'if(item==NULL): cJSON.cpp'],['../cJSON_8cpp.html#a28f4a33af8f7fcee96d1559e403ff29b',1,'if(!parse_value(item, buffer_skip_whitespace(skip_utf8_bom(&buffer)))): cJSON.cpp'],['../cJSON_8cpp.html#a4593ce107753e9b7b31ddac97a959994',1,'if(require_null_terminated): cJSON.cpp'],['../cJSON_8cpp.html#ad322e1e2bce42db81bab5176fa296c29',1,'if(return_parse_end): cJSON.cpp'],['../cJSON_8cpp.html#a843cfcfecd006b5d1bd0cf91dc070e89',1,'if(value !=NULL): cJSON.cpp'],['../cJSON_8cpp.html#a0aaaa25cc9cc181d709602c445fd2d1c',1,'if(prebuffer< 0): cJSON.cpp'],['../cJSON_8cpp.html#a6f520bf3d4e33963411d1c292d704503',1,'if(!p.buffer): cJSON.cpp'],['../cJSON_8cpp.html#a5dbd74dff02e6d96a1f0a2a631936589',1,'if(!print_value(item, &p)): cJSON.cpp'],['../cJSON_8cpp.html#a71352311b7972f5e6eb5ff3c71e9252f',1,'if((length< 0)||(buffer==NULL)): cJSON.cpp'],['../cJSON_8cpp.html#a190550315572ee2a1b6bbd2d181cca57',1,'if(add_item_to_object(object, name, null, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a57383894ddbf6d141efc4be10cc9c3dc',1,'if(add_item_to_object(object, name, true_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a7c636ab338e0e044d3b117c4c17cd660',1,'if(add_item_to_object(object, name, false_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#add3447abc993c24187f21b06f123ed3b',1,'if(add_item_to_object(object, name, bool_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a50b35cc4ddb9d2f7f7b5b3bba78189dc',1,'if(add_item_to_object(object, name, number_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a04012f31b42f0151ecdbeb031f5fccfc',1,'if(add_item_to_object(object, name, string_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a6b32addfb87777063dd05a293063d338',1,'if(add_item_to_object(object, name, raw_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a0271dd70fe155382d60ed74b73e7a71e',1,'if(add_item_to_object(object, name, object_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#abbf8c9146b5050d37f9b513e3e8ac588',1,'if(add_item_to_object(object, name, array, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a8182cf148f1b59107b476a0512e66c65',1,'if(after_inserted==NULL): cJSON.cpp'],['../cJSON_8cpp.html#a5b6124f94989a9cfe4d79ac40386779d',1,'if(replacement->next !=NULL): cJSON.cpp'],['../cJSON_8cpp.html#a0f57e2720be39caf76124659d10fbb32',1,'if(parent->child==item): cJSON.cpp'],['../cJSON_8cpp.html#a4151c5c0d36dfe24841d4723ac65d6c6',1,'if((count< 0)||(numbers==NULL)): cJSON.cpp'],['../cJSON_8cpp.html#ae39a150ec9a630fd5d4b61d5968c0072',1,'if(a &&a->child): cJSON.cpp'],['../cJSON_8cpp.html#a1f198ce8a758a05c9a99366c38a12f47',1,'if((count< 0)||(strings==NULL)): cJSON.cpp'],['../cJSON_8cpp.html#ad9bc5485a16a60b0824f65b68f3bf53e',1,'if(!item): cJSON.cpp'],['../cJSON_8cpp.html#ac710a9eb697fc89f52a407ce22224d06',1,'if(item->valuestring): cJSON.cpp'],['../cJSON_8cpp.html#a0cde9b5cb05996d1f922f4f7b77a07b4',1,'if(newitem &&newitem->child): cJSON.cpp']]],
+  ['inbackwardslice_9026',['inBackwardSlice',['../classSVF_1_1SVFGStat.html#a6e68486e02db81cbbedc942ace3e9590',1,'SVF::SVFGStat::inBackwardSlice()'],['../classSVF_1_1ProgSlice.html#a066430ffa98a3fa0a5ad48d26e0450f7',1,'SVF::ProgSlice::inBackwardSlice()']]],
+  ['incedgenum_9027',['incEdgeNum',['../classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14',1,'SVF::GenericGraph']]],
+  ['incnodenum_9028',['incNodeNum',['../classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21',1,'SVF::GenericGraph']]],
+  ['incomingaddredges_9029',['incomingAddrEdges',['../classSVF_1_1ConstraintNode.html#ac9bb037a59db6b035c2785cad6ac56aa',1,'SVF::ConstraintNode']]],
+  ['incomingaddrsbegin_9030',['incomingAddrsBegin',['../classSVF_1_1ConstraintNode.html#a19c1ed324f65f4cc58dd2fd21ed4a971',1,'SVF::ConstraintNode']]],
+  ['incomingaddrsend_9031',['incomingAddrsEnd',['../classSVF_1_1ConstraintNode.html#ae8ac9ad8e766b961c7ce06d7219f37af',1,'SVF::ConstraintNode']]],
+  ['incomingloadsbegin_9032',['incomingLoadsBegin',['../classSVF_1_1ConstraintNode.html#a7f591f8eda63abbaaea9a8bfb97f3959',1,'SVF::ConstraintNode']]],
+  ['incomingloadsend_9033',['incomingLoadsEnd',['../classSVF_1_1ConstraintNode.html#a0bfdbe171acd2825055e571f314c0a48',1,'SVF::ConstraintNode']]],
+  ['incomingstoresbegin_9034',['incomingStoresBegin',['../classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714',1,'SVF::ConstraintNode']]],
+  ['incomingstoresend_9035',['incomingStoresEnd',['../classSVF_1_1ConstraintNode.html#a8d58f5224728bb6811f12c94826167f6',1,'SVF::ConstraintNode']]],
+  ['increasestacksize_9036',['increaseStackSize',['../namespaceSVF_1_1SVFUtil.html#a0d7588578735679773493ff2d5e458e1',1,'SVF::SVFUtil']]],
+  ['indent_9037',['indent',['../DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269',1,'DCHG.cpp']]],
+  ['index_9038',['index',['../structSVF_1_1SparseBitVectorElement.html#ae63d6fcc488ad3cdcddf35edb4e9c827',1,'SVF::SparseBitVectorElement']]],
+  ['indexforbit_9039',['indexForBit',['../classSVF_1_1CoreBitVector.html#ad73fca28bd4882eaa70817023a632d35',1,'SVF::CoreBitVector']]],
+  ['indirectcallsbegin_9040',['indirectCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#afbdb582d20ab953b2de1f3efacb74679',1,'SVF::PTACallGraphEdge']]],
+  ['indirectcallsend_9041',['indirectCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#a494bc8bacca5ca8d266286f3fb303495',1,'SVF::PTACallGraphEdge']]],
+  ['indirectsvfgedge_9042',['IndirectSVFGEdge',['../classSVF_1_1IndirectSVFGEdge.html#a6d40ccc9b99aec6515c2ef1df5a7b18f',1,'SVF::IndirectSVFGEdge']]],
+  ['indvfedgeend_9043',['indVFEdgeEnd',['../classSVF_1_1SVFGStat.html#a8b3b9a211f410e67e8fd1a79d3db9023',1,'SVF::SVFGStat']]],
+  ['indvfedgestart_9044',['indVFEdgeStart',['../classSVF_1_1SVFGStat.html#adcb30427bb220dc122ad22030e10eb21',1,'SVF::SVFGStat']]],
+  ['inedgebegin_9045',['InEdgeBegin',['../classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7',1,'SVF::GenericNode::InEdgeBegin()'],['../classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39',1,'SVF::GenericNode::InEdgeBegin() const']]],
+  ['inedgeend_9046',['InEdgeEnd',['../classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900',1,'SVF::GenericNode::InEdgeEnd()'],['../classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07',1,'SVF::GenericNode::InEdgeEnd() const']]],
+  ['inedgesbegin_9047',['inEdgesBegin',['../classSVF_1_1SVFLoop.html#ad23cbd43efdf66427f489cc602ae84cf',1,'SVF::SVFLoop']]],
+  ['inedgesend_9048',['inEdgesEnd',['../classSVF_1_1SVFLoop.html#ae5ba7f837d6ff6e120dd3312bd18566a',1,'SVF::SVFLoop']]],
+  ['inferfieldidxfrombyteoffset_9049',['inferFieldIdxFromByteOffset',['../classSVF_1_1SVFIRBuilder.html#a04d688ae4f93354327a6c0ad4f255ade',1,'SVF::SVFIRBuilder']]],
+  ['inferfromcallgraph_9050',['inferFromCallGraph',['../classSVF_1_1PCG.html#adff1702e1b0a902de7ded742846fe137',1,'SVF::PCG']]],
+  ['infilter_9051',['inFilter',['../classSVF_1_1LockResultValidator.html#a5fca287b181582302c24864c3f397340',1,'SVF::LockResultValidator']]],
+  ['inforwardslice_9052',['inForwardSlice',['../classSVF_1_1SVFGStat.html#adc6a5c3e430bdf942f1462e101ac6917',1,'SVF::SVFGStat::inForwardSlice()'],['../classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6',1,'SVF::ProgSlice::inForwardSlice()']]],
+  ['init_9053',['init',['../classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7',1,'SVF::RaceResultValidator::init(SVFModule *M)'],['../classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7',1,'SVF::RaceResultValidator::init(SVFModule *M)'],['../classSVF_1_1SaberCheckerAPI.html#a5771df69ffa75b6103a32c8bd48ef488',1,'SVF::SaberCheckerAPI::init()'],['../classSVF_1_1ThreadAPI.html#a4535862f26efff9f45236000507932c9',1,'SVF::ThreadAPI::init()']]],
+  ['initcxtinsensitiveedges_9054',['initCxtInsensitiveEdges',['../classSVF_1_1DDAPass.html#add44aee75c9a59327b4eb46774551e2b',1,'SVF::DDAPass']]],
+  ['initdefault_9055',['initDefault',['../classSVF_1_1DDAStat.html#ac7275c99ddd118696853188154ad6fbd',1,'SVF::DDAStat']]],
+  ['initdomtree_9056',['initDomTree',['../classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d',1,'SVF::LLVMModuleSet']]],
+  ['initexestate_9057',['initExeState',['../classSVF_1_1ConsExeState.html#a5a1da3b1c8cdc3b3e07fe20124f6eeea',1,'SVF::ConsExeState']]],
+  ['initfromthreadapi_9058',['initFromThreadAPI',['../classSVF_1_1PCG.html#a23752f0a9fe4f01698808d0a50ccc896',1,'SVF::PCG']]],
+  ['initialglobal_9059',['InitialGlobal',['../classSVF_1_1SVFIRBuilder.html#ae7fcd2050a57a43bfed2c7fd1c41d250',1,'SVF::SVFIRBuilder']]],
+  ['initialise_9060',['initialise',['../classSVF_1_1DDAClient.html#a40f6d8769db41f4c907fe5b615e5df83',1,'SVF::DDAClient']]],
+  ['initialisecandidatepointers_9061',['initialiseCandidatePointers',['../classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5',1,'SVF::SVFIR']]],
+  ['initialisenodes_9062',['initialiseNodes',['../classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71',1,'SVF::SVFIRBuilder']]],
+  ['initialize_9063',['initialize',['../classSVF_1_1MTAAnnotator.html#a108616cc98f15af3010ca45b91f32c04',1,'SVF::MTAAnnotator::initialize()'],['../classSVF_1_1CFLAlias.html#aef129edd61d7f15947c6539f8d0c36a0',1,'SVF::CFLAlias::initialize()'],['../classSVF_1_1CFLSolver.html#a5e94324ee4137610d5513ed11b36f4ba',1,'SVF::CFLSolver::initialize()'],['../classSVF_1_1POCRSolver.html#aee3dd69ba726e194dd31e73d1a9ec8e2',1,'SVF::POCRSolver::initialize()'],['../classSVF_1_1POCRHybridSolver.html#a2e0b2c8c04b5de0822f91490ebffb174',1,'SVF::POCRHybridSolver::initialize()'],['../classSVF_1_1CFLVF.html#a852ed935576ca426287cf4afa6a585e3',1,'SVF::CFLVF::initialize()'],['../classSVF_1_1ContextDDA.html#adb9f21a86daeb2dd79537f3939c393cf',1,'SVF::ContextDDA::initialize()'],['../classSVF_1_1FlowDDA.html#af1fcf058a9feefeda63f07d4189513a1',1,'SVF::FlowDDA::initialize()'],['../classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32',1,'SVF::PointerAnalysis::initialize()'],['../classSVF_1_1FSMPTA.html#acbfb7d2a6d38b54966c98102c1ea6a38',1,'SVF::FSMPTA::initialize()'],['../classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd',1,'SVF::SrcSnkDDA::initialize()'],['../classSVF_1_1AndersenBase.html#a891816407a4c6346f56bc01a67b78aac',1,'SVF::AndersenBase::initialize()'],['../classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548',1,'SVF::Andersen::initialize()'],['../classSVF_1_1AndersenWaveDiff.html#a40514a439869d0c025afb4f6b6fb4071',1,'SVF::AndersenWaveDiff::initialize()'],['../classSVF_1_1AndersenSFR.html#a3b255068b3ea53041af94fd373a53bd4',1,'SVF::AndersenSFR::initialize()'],['../classSVF_1_1FlowSensitive.html#ad3566c57f8456e98542f5a0b765e3cc6',1,'SVF::FlowSensitive::initialize()'],['../classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985',1,'SVF::TypeAnalysis::initialize()'],['../classSVF_1_1VersionedFlowSensitive.html#a81d3528fd082018e4345f0b026bf3584',1,'SVF::VersionedFlowSensitive::initialize()']]],
+  ['initializesolver_9064',['initializeSolver',['../classSVF_1_1CFLAlias.html#a2810ec25dd95212dcc271bbc3e6e3e05',1,'SVF::CFLAlias::initializeSolver()'],['../classSVF_1_1POCRAlias.html#af77378c71bfa41d4cf4a354951da51c7',1,'SVF::POCRAlias::initializeSolver()'],['../classSVF_1_1POCRHybrid.html#a1f9148e4d82dfcfb8ceb713db70c3390',1,'SVF::POCRHybrid::initializeSolver()']]],
+  ['initialworklist_9065',['initialWorkList',['../classSVF_1_1SVFGOPT.html#ae825e01893d3304379f72380d314f09c',1,'SVF::SVFGOPT']]],
+  ['initobjvar_9066',['initObjVar',['../classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0',1,'SVF::SVFIR2ConsExeState::initObjVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d',1,'SVF::SVFIR2ItvExeState::initObjVar()']]],
+  ['initsnks_9067',['initSnks',['../classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c',1,'SVF::LeakChecker::initSnks()'],['../classSVF_1_1SrcSnkDDA.html#a0f6cfa30c346aab1fb03a44e47c32559',1,'SVF::SrcSnkDDA::initSnks()']]],
+  ['initsrcs_9068',['initSrcs',['../classSVF_1_1LeakChecker.html#a273a7bfc3e81505ec971ca1d419bb565',1,'SVF::LeakChecker::initSrcs()'],['../classSVF_1_1SrcSnkDDA.html#a1c8f91ffa0b9f01d51c8cd5e14f076d5',1,'SVF::SrcSnkDDA::initSrcs()']]],
+  ['initstats_9069',['initStats',['../classSVF_1_1PersistentPointsToCache.html#ab19e4e17b1896565e0bada1f161d1266',1,'SVF::PersistentPointsToCache']]],
+  ['initsvfbasicblock_9070',['initSVFBasicBlock',['../classSVF_1_1LLVMModuleSet.html#a20162d2894d6a12ba29410311fba4002',1,'SVF::LLVMModuleSet']]],
+  ['initsvffunction_9071',['initSVFFunction',['../classSVF_1_1LLVMModuleSet.html#ac6a5540354696f4c9170e0a5832ba70e',1,'SVF::LLVMModuleSet']]],
+  ['initsvfvar_9072',['initSVFVar',['../classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857',1,'SVF::SVFIR2ConsExeState::initSVFVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#af5d05c5316127cfe8d975a3a0a23798b',1,'SVF::SVFIR2ItvExeState::initSVFVar()']]],
+  ['inittypeinfo_9073',['initTypeInfo',['../classSVF_1_1SymbolTableBuilder.html#ae938564e6a36848cb848a5badc15a1de',1,'SVF::SymbolTableBuilder']]],
+  ['initvalvar_9074',['initValVar',['../classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8',1,'SVF::SVFIR2ConsExeState::initValVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#a61d288c8dc621a0578faa5ff784f4b6e',1,'SVF::SVFIR2ItvExeState::initValVar()']]],
+  ['initworklist_9075',['initWorklist',['../classSVF_1_1Andersen.html#a9075cd05cb21e0f08a1109b7af6c7480',1,'SVF::Andersen::initWorklist()'],['../classSVF_1_1WPASolver.html#a7195381c3aab04890139b4fe2c561909',1,'SVF::WPASolver::initWorklist()']]],
+  ['inlocalloctoaddrstable_9076',['inLocalLocToAddrsTable',['../classSVF_1_1ConsExeState.html#af8f2b698dd97793b0124cd5a4ac4d035',1,'SVF::ConsExeState::inLocalLocToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb',1,'SVF::IntervalExeState::inLocalLocToAddrsTable()']]],
+  ['inlocalloctoivaltable_9077',['inLocalLocToIValTable',['../classSVF_1_1IntervalExeState.html#a25c1369d7d38469ecde6022cf367c009',1,'SVF::IntervalExeState']]],
+  ['inlocalloctoval_9078',['inLocalLocToVal',['../classSVF_1_1ConsExeState.html#a22eb7b0b38d8df8efae757f4c76b5328',1,'SVF::ConsExeState::inLocalLocToVal(const SingleAbsValue &loc) const'],['../classSVF_1_1ConsExeState.html#a77fc570e6ee986c50cecaa20f06e6f77',1,'SVF::ConsExeState::inLocalLocToVal(u32_t varId) const']]],
+  ['inloctoaddrstable_9079',['inLocToAddrsTable',['../classSVF_1_1ConsExeState.html#a1effca0f87f2180e160600ee5528b12f',1,'SVF::ConsExeState::inLocToAddrsTable()'],['../classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710',1,'SVF::ExeState::inLocToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4',1,'SVF::IntervalExeState::inLocToAddrsTable()'],['../classSVF_1_1SVFIR2ConsExeState.html#a2b04cb226b28d577fa860a4cbf11b5c3',1,'SVF::SVFIR2ConsExeState::inLocToAddrsTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665',1,'SVF::SVFIR2ItvExeState::inLocToAddrsTable()']]],
+  ['inloctoivaltable_9080',['inLocToIValTable',['../classSVF_1_1IntervalExeState.html#aeac953e77360627da7426b2619d509cc',1,'SVF::IntervalExeState::inLocToIValTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab5eebce09b695a3ea1a1c6d5641296e2',1,'SVF::SVFIR2ItvExeState::inLocToIValTable()']]],
+  ['inloctoval_9081',['inLocToVal',['../classSVF_1_1ConsExeState.html#a6cf5a55374178b2d538b79c3efed3f34',1,'SVF::ConsExeState']]],
+  ['inloctovaltable_9082',['inLocToValTable',['../classSVF_1_1SVFIR2ConsExeState.html#a73a8f1354e22d41078abe3466b202df2',1,'SVF::SVFIR2ConsExeState']]],
+  ['innodetocycledepth_9083',['inNodeToCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#a646f67339a7751f0e10ea42143e6894d',1,'SVF::CFBasicBlockGWTO']]],
+  ['insamecallgraphscc_9084',['inSameCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae58c2b25494ec51e714c83c6cfd5dd67',1,'SVF::PointerAnalysis::inSameCallGraphSCC()'],['../classSVF_1_1TCT.html#a95cd490d37f8831edc6910f7ecdf413e',1,'SVF::TCT::inSameCallGraphSCC()']]],
+  ['inscc_9085',['inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af9ee3c8655cd3d5ac7cc3863e6af9af7',1,'SVF::SCCDetection::GNodeSCCInfo::inSCC(void) const'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#afece6206c79adc1c462cff5b9e05f0f2',1,'SVF::SCCDetection::GNodeSCCInfo::inSCC(bool v)'],['../classSVF_1_1SCCDetection.html#a60b977d41c29aa6ea01b94be12792351',1,'SVF::SCCDetection::inSCC()']]],
+  ['insert_9086',['insert',['../classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0',1,'SVF::AddressValue']]],
+  ['insertattribute_9087',['insertAttribute',['../classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20',1,'SVF::GrammarBase']]],
+  ['insertebnfsigns_9088',['insertEBNFSigns',['../classSVF_1_1GrammarBase.html#a2af19122bccb7ca0c7ab44a07a1bdfb1',1,'SVF::GrammarBase']]],
+  ['insertedge_5fh_9089',['insertEdge_h',['../classSVF_1_1POCRHybridSolver.html#a122025228d5ca57e287f7fe85f279765',1,'SVF::POCRHybridSolver']]],
+  ['insertkey_9090',['insertKey',['../namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7',1,'SVF::SVFUtil::insertKey(const Key &key, KeySet &keySet)'],['../namespaceSVF_1_1SVFUtil.html#a4f75b8313eb2b1e5a4c798a01cb99471',1,'SVF::SVFUtil::insertKey(const NodeID &key, NodeBS &keySet)']]],
+  ['insertkeynode_9091',['insertKeyNode',['../classSVF_1_1SymState.html#ad3dd094395543f5459c6cbde859ab775',1,'SVF::SymState']]],
+  ['insertnonterminalkind_9092',['insertNonterminalKind',['../classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0',1,'SVF::GrammarBase']]],
+  ['insertnonterminalsymbol_9093',['insertNonTerminalSymbol',['../classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b',1,'SVF::GrammarBase']]],
+  ['insertphi_9094',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
+  ['insertsymbol_9095',['insertSymbol',['../classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84',1,'SVF::GrammarBase']]],
+  ['insertterminalkind_9096',['insertTerminalKind',['../classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542',1,'SVF::GrammarBase']]],
+  ['insertterminalsymbol_9097',['insertTerminalSymbol',['../classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8',1,'SVF::GrammarBase']]],
+  ['inserttocflgrammar_9098',['insertToCFLGrammar',['../classSVF_1_1CFGNormalizer.html#ad08f183a1b8ca69201f965f224e92950',1,'SVF::CFGNormalizer']]],
+  ['interdisjointmrg_9099',['InterDisjointMRG',['../classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428',1,'SVF::InterDisjointMRG']]],
+  ['interferenceanalysis_9100',['interferenceAnalysis',['../classSVF_1_1PCG.html#a057887f3d5fd3b9b414e573b3f9f4548',1,'SVF::PCG']]],
+  ['intericfgnode_9101',['InterICFGNode',['../classSVF_1_1InterICFGNode.html#a192826ba075a80add6a39a039a32bc05',1,'SVF::InterICFGNode']]],
+  ['intermssaphisvfgnode_9102',['InterMSSAPHISVFGNode',['../classSVF_1_1InterMSSAPHISVFGNode.html#a6deba5e75858c16682d4a21fa851d353',1,'SVF::InterMSSAPHISVFGNode::InterMSSAPHISVFGNode(NodeID id, const FormalINSVFGNode *fi)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#acbc6e934c0ad5a5ad5ca07532702571b',1,'SVF::InterMSSAPHISVFGNode::InterMSSAPHISVFGNode(NodeID id, const ActualOUTSVFGNode *ao)']]],
+  ['interphivfgnode_9103',['InterPHIVFGNode',['../classSVF_1_1InterPHIVFGNode.html#a8fd98ccfe53959fd3cc67070e8d03a43',1,'SVF::InterPHIVFGNode::InterPHIVFGNode(NodeID id, const FormalParmVFGNode *fp)'],['../classSVF_1_1InterPHIVFGNode.html#af303d3f9df95d6d0e844579125be6125',1,'SVF::InterPHIVFGNode::InterPHIVFGNode(NodeID id, const ActualRetVFGNode *ar)']]],
+  ['intersect_9104',['intersect',['../classSVF_1_1LockAnalysis.html#aeb479eeac0fdde1486c78da68fc82383',1,'SVF::LockAnalysis']]],
+  ['intersectpts_9105',['intersectPts',['../classSVF_1_1PersistentPointsToCache.html#a17d33558208c19019e541ee167009494',1,'SVF::PersistentPointsToCache']]],
+  ['intersects_9106',['intersects',['../classSVF_1_1AccessPath.html#a461fe4cddd5d8c8b7017588038c093de',1,'SVF::AccessPath::intersects()'],['../classSVF_1_1CondStdSet.html#ac422c3fb8bce1378d69c234e6b11fdb1',1,'SVF::CondStdSet::intersects()'],['../classSVF_1_1CondPointsToSet.html#a89d24257bd1436286dcbb025dd405b52',1,'SVF::CondPointsToSet::intersects()'],['../classSVF_1_1PointsTo.html#ad78e4109c839914c4f7e37ca78046f1d',1,'SVF::PointsTo::intersects()'],['../classSVF_1_1LockAnalysis.html#af45f3c22edce16913ccbdd7015a06076',1,'SVF::LockAnalysis::intersects()'],['../classSVF_1_1CoreBitVector.html#a15be4ce7e9a07d9b01da0c60d51b22de',1,'SVF::CoreBitVector::intersects()'],['../structSVF_1_1SparseBitVectorElement.html#a2ac6b33e335ac411740c875c6aeb6706',1,'SVF::SparseBitVectorElement::intersects()'],['../classSVF_1_1SparseBitVector.html#a16756e0545fd3d50ab89f45a2e83bb79',1,'SVF::SparseBitVector::intersects(const SparseBitVector< ElementSize > *RHS) const'],['../classSVF_1_1SparseBitVector.html#a704fddd1bf7592e9df9fbc14c3873696',1,'SVF::SparseBitVector::intersects(const SparseBitVector< ElementSize > &RHS) const']]],
+  ['intersectwith_9107',['intersectWith',['../structSVF_1_1SparseBitVectorElement.html#a2f62812b261a83b19aab46c0961bfcb4',1,'SVF::SparseBitVectorElement']]],
+  ['intersectwithcomplement_9108',['intersectWithComplement',['../classSVF_1_1CondPointsToSet.html#a57fdbfc5bc0bc7eb7a8efefdcc689852',1,'SVF::CondPointsToSet::intersectWithComplement(const CondPointsToSet< Cond > &cpts1, const CondPointsToSet< Cond > &cpts2)'],['../classSVF_1_1CondPointsToSet.html#a5a7ab3c22b3726541955b5be8a62aab6',1,'SVF::CondPointsToSet::intersectWithComplement(const CondPointsToSet< Cond > &cpts1)'],['../classSVF_1_1PointsTo.html#af81f9e91eec4bf82ccfb867c2415f9bd',1,'SVF::PointsTo::intersectWithComplement(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#adec2e2fc87c2bb9b3ff8873b04abf31d',1,'SVF::PointsTo::intersectWithComplement(const PointsTo &lhs, const PointsTo &rhs)'],['../classSVF_1_1CoreBitVector.html#a8ba857b68282055e485c441892e39b9b',1,'SVF::CoreBitVector::intersectWithComplement(const CoreBitVector &rhs)'],['../classSVF_1_1CoreBitVector.html#a79121882bc302b9b9188fa0a51c63fb6',1,'SVF::CoreBitVector::intersectWithComplement(const CoreBitVector &lhs, const CoreBitVector &rhs)'],['../structSVF_1_1SparseBitVectorElement.html#ac721b283253b7bd96fedd5f12c079699',1,'SVF::SparseBitVectorElement::intersectWithComplement(const SparseBitVectorElement &RHS, bool &BecameZero)'],['../structSVF_1_1SparseBitVectorElement.html#a6d81176f07f369b38da34e624710b387',1,'SVF::SparseBitVectorElement::intersectWithComplement(const SparseBitVectorElement &RHS1, const SparseBitVectorElement &RHS2, bool &BecameZero)'],['../classSVF_1_1SparseBitVector.html#a8b481ef53a27a351affecab90310b1ef',1,'SVF::SparseBitVector::intersectWithComplement(const SparseBitVector &RHS)'],['../classSVF_1_1SparseBitVector.html#aaab743995d5dd1359b0f541dacc1dcf3',1,'SVF::SparseBitVector::intersectWithComplement(const SparseBitVector< ElementSize > *RHS) const'],['../classSVF_1_1SparseBitVector.html#afee44821475fa31f218fb743b264cb37',1,'SVF::SparseBitVector::intersectWithComplement(const SparseBitVector< ElementSize > &RHS1, const SparseBitVector< ElementSize > &RHS2)'],['../classSVF_1_1SparseBitVector.html#a28d0e5b43ad556d079b5b0ec58e898e4',1,'SVF::SparseBitVector::intersectWithComplement(const SparseBitVector< ElementSize > *RHS1, const SparseBitVector< ElementSize > *RHS2)']]],
+  ['interval2numvalue_9109',['Interval2NumValue',['../classSVF_1_1IntervalExeState.html#a12fe65f05dfe7a01e771e0b9990faba8',1,'SVF::IntervalExeState']]],
+  ['intervalexestate_9110',['IntervalExeState',['../classSVF_1_1IntervalExeState.html#adce87f96e58b25bd6ff046e6608f4d2c',1,'SVF::IntervalExeState::IntervalExeState()'],['../classSVF_1_1IntervalExeState.html#a5803940144915a922af7ddef09fb23c0',1,'SVF::IntervalExeState::IntervalExeState(VarToValMap &_varToValMap, LocToValMap &_locToValMap)'],['../classSVF_1_1IntervalExeState.html#a781dc413b32c33e1c0fd5154d2c50654',1,'SVF::IntervalExeState::IntervalExeState(const IntervalExeState &rhs)'],['../classSVF_1_1IntervalExeState.html#ac1272649c1549d0d942941bd8f4c4b41',1,'SVF::IntervalExeState::IntervalExeState(IntervalExeState &&rhs)']]],
+  ['intervalvalue_9111',['IntervalValue',['../classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0',1,'SVF::IntervalValue::IntervalValue()'],['../classSVF_1_1IntervalValue.html#acb48e1418d1b6beceb30b1513fde5d9a',1,'SVF::IntervalValue::IntervalValue(int64_t n)'],['../classSVF_1_1IntervalValue.html#a926ca60622fdcd225ef7d8b7fd4054b2',1,'SVF::IntervalValue::IntervalValue(s32_t n)'],['../classSVF_1_1IntervalValue.html#a3ac170a902accf8d84b6b77ab88a8fd3',1,'SVF::IntervalValue::IntervalValue(u32_t n)'],['../classSVF_1_1IntervalValue.html#ad1a81f516a61f54a595fa15444e2001b',1,'SVF::IntervalValue::IntervalValue(double n)'],['../classSVF_1_1IntervalValue.html#aa339a88f42bea8c1adfe0db8ba3a5d2a',1,'SVF::IntervalValue::IntervalValue(NumericLiteral n)'],['../classSVF_1_1IntervalValue.html#a73aee65aae0f2ef368d159d29e1d5a30',1,'SVF::IntervalValue::IntervalValue(NumericLiteral lb, NumericLiteral ub)'],['../classSVF_1_1IntervalValue.html#a8aeffab01720d40b72eb96b44c899b70',1,'SVF::IntervalValue::IntervalValue(int64_t lb, int64_t ub)'],['../classSVF_1_1IntervalValue.html#a50d11cbc14f717d679caafe3cf59e0c5',1,'SVF::IntervalValue::IntervalValue(double lb, double ub)'],['../classSVF_1_1IntervalValue.html#ac3736c3e3129cfdb6ee415ef64c2e75c',1,'SVF::IntervalValue::IntervalValue(s32_t lb, s32_t ub)'],['../classSVF_1_1IntervalValue.html#a304db5abb4cc7added56dbcbcd94d905',1,'SVF::IntervalValue::IntervalValue(u32_t lb, u32_t ub)'],['../classSVF_1_1IntervalValue.html#a35e3062c24a13ac4ed50729339408f65',1,'SVF::IntervalValue::IntervalValue(u64_t lb, u64_t ub)'],['../classSVF_1_1IntervalValue.html#af93275fa839a1cfabe32f8b1ece77dff',1,'SVF::IntervalValue::IntervalValue(const IntervalValue &)=default'],['../classSVF_1_1IntervalValue.html#ae3deef6cb5bbac64c02cc51872b489ff',1,'SVF::IntervalValue::IntervalValue(IntervalValue &&)=default']]],
+  ['intrabackwardtraverse_9112',['intraBackwardTraverse',['../classSVF_1_1LockAnalysis.html#a5f693c893f3701e1e025881f91193d53',1,'SVF::LockAnalysis']]],
+  ['intracfgedge_9113',['IntraCFGEdge',['../classSVF_1_1IntraCFGEdge.html#aeab701d63caadf8effabdbd23ac0cd49',1,'SVF::IntraCFGEdge']]],
+  ['intradirsvfgedge_9114',['IntraDirSVFGEdge',['../classSVF_1_1IntraDirSVFGEdge.html#a2157a56f5d707a946e2ad54219fdc69a',1,'SVF::IntraDirSVFGEdge']]],
+  ['intradisjointmrg_9115',['IntraDisjointMRG',['../classSVF_1_1IntraDisjointMRG.html#ae4bc9b653e15ce876579741e91a463ae',1,'SVF::IntraDisjointMRG']]],
+  ['intraforwardtraverse_9116',['intraForwardTraverse',['../classSVF_1_1LockAnalysis.html#a7b943f626a551c0fcd6761fc42728e9d',1,'SVF::LockAnalysis']]],
+  ['intraicfgnode_9117',['IntraICFGNode',['../classSVF_1_1IntraICFGNode.html#a71b3c3ab7b316b6b43d8d72a1a6c5d03',1,'SVF::IntraICFGNode::IntraICFGNode(NodeID id)'],['../classSVF_1_1IntraICFGNode.html#a48718ca0a69f42db2210c79b5fe15cf7',1,'SVF::IntraICFGNode::IntraICFGNode(NodeID id, const SVFInstruction *i)']]],
+  ['intraindsvfgedge_9118',['IntraIndSVFGEdge',['../classSVF_1_1IntraIndSVFGEdge.html#ab2b1f7610737c6f0a5a94b8a7e629110',1,'SVF::IntraIndSVFGEdge']]],
+  ['intramssaphisvfgnode_9119',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d',1,'SVF::IntraMSSAPHISVFGNode']]],
+  ['intraphivfgnode_9120',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3',1,'SVF::IntraPHIVFGNode']]],
+  ['invartoaddrstable_9121',['inVarToAddrsTable',['../classSVF_1_1ConsExeState.html#a755fbe99c6d02b6a7897dad86f46c580',1,'SVF::ConsExeState::inVarToAddrsTable()'],['../classSVF_1_1ExeState.html#a6dfff6d4302faeb80c78a512f32b529f',1,'SVF::ExeState::inVarToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45',1,'SVF::IntervalExeState::inVarToAddrsTable()'],['../classSVF_1_1SVFIR2ConsExeState.html#a849978e7839b365fd2cf335e5840031a',1,'SVF::SVFIR2ConsExeState::inVarToAddrsTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9',1,'SVF::SVFIR2ItvExeState::inVarToAddrsTable()']]],
+  ['invartoivaltable_9122',['inVarToIValTable',['../classSVF_1_1IntervalExeState.html#a884199a26d43d09bc7e33369fceb8274',1,'SVF::IntervalExeState::inVarToIValTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13',1,'SVF::SVFIR2ItvExeState::inVarToIValTable()']]],
+  ['invartoval_9123',['inVarToVal',['../classSVF_1_1ConsExeState.html#af832e1d7a773f6038da356a677a687f2',1,'SVF::ConsExeState']]],
+  ['invartovaltable_9124',['inVarToValTable',['../classSVF_1_1SVFIR2ConsExeState.html#a734006d65a35034fa2d32282c7dce47f',1,'SVF::SVFIR2ConsExeState']]],
+  ['inverse_9125',['Inverse',['../structSVF_1_1Inverse.html#a9bff8acbcb891eeaeb6a9324312358a0',1,'SVF::Inverse']]],
+  ['inverse_5fchildren_9126',['inverse_children',['../namespaceSVF.html#a155eb379cf271ac550333afb13cb36fa',1,'SVF']]],
+  ['inverse_5fnodes_9127',['inverse_nodes',['../namespaceSVF.html#a6506af0b08e86390c0e4786b6ee294ae',1,'SVF']]],
+  ['irgraph_9128',['IRGraph',['../classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28',1,'SVF::IRGraph']]],
+  ['is_5falloc_9129',['is_alloc',['../classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d',1,'SVF::ExtAPI']]],
+  ['is_5farg_5falloc_9130',['is_arg_alloc',['../classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477',1,'SVF::ExtAPI']]],
+  ['is_5fbool_9131',['is_bool',['../classSVF_1_1Z3Expr.html#aa4344471835568e6101780d3aece1900',1,'SVF::Z3Expr']]],
+  ['is_5fdealloc_9132',['is_dealloc',['../classSVF_1_1ExtAPI.html#aeef27a358ba1815760c893bd2d2335b1',1,'SVF::ExtAPI']]],
+  ['is_5fext_9133',['is_ext',['../classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2',1,'SVF::ExtAPI']]],
+  ['is_5finfinite_9134',['is_infinite',['../classSVF_1_1BoundedZ3Expr.html#aaea0231e6991c9463efab58fa802e342',1,'SVF::BoundedZ3Expr::is_infinite()'],['../classSVF_1_1IntervalValue.html#a3dba35c84607bd3ed4e62a90ae2799cf',1,'SVF::IntervalValue::is_infinite(const NumericLiteral &e)'],['../classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a',1,'SVF::IntervalValue::is_infinite() const']]],
+  ['is_5finfinity_9135',['is_infinity',['../classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d',1,'SVF::NumericLiteral']]],
+  ['is_5fmemset_5for_5fmemcpy_9136',['is_memset_or_memcpy',['../classSVF_1_1ExtAPI.html#ac5a4aa1c93ec7f37478fd8a399734cc0',1,'SVF::ExtAPI']]],
+  ['is_5fminus_5finfinite_9137',['is_minus_infinite',['../classSVF_1_1BoundedZ3Expr.html#a90c87bed7210246db310dbecc61326ac',1,'SVF::BoundedZ3Expr']]],
+  ['is_5fminus_5finfinity_9138',['is_minus_infinity',['../classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15',1,'SVF::NumericLiteral']]],
+  ['is_5fnoop_9139',['is_noop',['../classSVF_1_1ExtAPI.html#a82ebf71c5214f891f17e842e0b133b4f',1,'SVF::ExtAPI']]],
+  ['is_5fnumeral_9140',['is_numeral',['../classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0',1,'SVF::IntervalValue::is_numeral()'],['../classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0',1,'SVF::Z3Expr::is_numeral()']]],
+  ['is_5fplus_5finfinite_9141',['is_plus_infinite',['../classSVF_1_1BoundedZ3Expr.html#a1b58a124940bbc4da8c09f2b63b24b0c',1,'SVF::BoundedZ3Expr']]],
+  ['is_5fplus_5finfinity_9142',['is_plus_infinity',['../classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7',1,'SVF::NumericLiteral']]],
+  ['is_5frealloc_9143',['is_realloc',['../classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4',1,'SVF::ExtAPI']]],
+  ['is_5fsamesignature_9144',['is_sameSignature',['../classSVF_1_1ExtAPI.html#a5e8b816a3eb894f6b09403852df0d01b',1,'SVF::ExtAPI']]],
+  ['is_5ftrue_9145',['is_true',['../classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c',1,'SVF::BoundedZ3Expr']]],
+  ['is_5fzero_9146',['is_zero',['../classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be',1,'SVF::BoundedZ3Expr::is_zero()'],['../classSVF_1_1IntervalValue.html#a970b85f66d80cfc8ca56a8846c921afa',1,'SVF::IntervalValue::is_zero()'],['../classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71',1,'SVF::NumericLiteral::is_zero()']]],
+  ['isa_9147',['isa',['../namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737',1,'SVF::SVFUtil::isa(const Y &Val)'],['../namespaceSVF_1_1SVFUtil.html#a13729076054a2977670b05a338a6763d',1,'SVF::SVFUtil::isa(const Y &Val)']]],
+  ['isactualoutphi_9148',['isActualOUTPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301',1,'SVF::InterMSSAPHISVFGNode']]],
+  ['isactualretphi_9149',['isActualRetPHI',['../classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4',1,'SVF::InterPHIVFGNode']]],
+  ['isagg_9150',['isAgg',['../classSVF_1_1DCHGraph.html#a9d2be5aec5216cbc1d1709b41f79c44b',1,'SVF::DCHGraph']]],
+  ['isaliasedforkjoin_9151',['isAliasedForkJoin',['../classSVF_1_1ForkJoinAnalysis.html#a209ab13297e61f980cdf350e8fe2a9b4',1,'SVF::ForkJoinAnalysis']]],
+  ['isaliasedlocks_9152',['isAliasedLocks',['../classSVF_1_1LockAnalysis.html#add9272ead87ca994ee4e08dfa30fa0f4',1,'SVF::LockAnalysis::isAliasedLocks(const CxtLock &cl1, const CxtLock &cl2)'],['../classSVF_1_1LockAnalysis.html#abc5b0e65b46d8c0ce973476dca1c94be',1,'SVF::LockAnalysis::isAliasedLocks(const SVFInstruction *i1, const SVFInstruction *i2)']]],
+  ['isaliasedmr_9153',['isAliasedMR',['../classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a',1,'SVF::MRGenerator']]],
+  ['isallpathreachable_9154',['isAllPathReachable',['../classSVF_1_1SaberCondAllocator.html#a246da0431273c312800459aa85d80a86',1,'SVF::SaberCondAllocator::isAllPathReachable()'],['../classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0',1,'SVF::SrcSnkDDA::isAllPathReachable()']]],
+  ['isallreachable_9155',['isAllReachable',['../classSVF_1_1ProgSlice.html#a2f96f034b7236791fe1d4d351174722e',1,'SVF::ProgSlice']]],
+  ['isanallocationwraper_9156',['isAnAllocationWraper',['../namespaceSVF_1_1SVFUtil.html#a2c47299fdf0ca0d08578ded6348f77c2',1,'SVF::SVFUtil']]],
+  ['isargofuncalledfunction_9157',['isArgOfUncalledFunction',['../classSVF_1_1SVFArgument.html#a3c6f43786b2cb230a02e50c6ab38453e',1,'SVF::SVFArgument::isArgOfUncalledFunction()'],['../namespaceSVF_1_1LLVMUtil.html#a428bd75b33fab60988d8758090712f29',1,'SVF::LLVMUtil::isArgOfUncalledFunction()'],['../namespaceSVF_1_1SVFUtil.html#a1a34958ca60ed98ad228c1d46cf95aeb',1,'SVF::SVFUtil::isArgOfUncalledFunction()']]],
+  ['isarray_9158',['isArray',['../classSVF_1_1MemObj.html#aeba6eeed4843a1a90cf1d4b7deb197af',1,'SVF::MemObj::isArray()'],['../classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1',1,'SVF::ObjTypeInfo::isArray()']]],
+  ['isarraycondmemobj_9159',['isArrayCondMemObj',['../classSVF_1_1DDAVFSolver.html#a9aaa5ee3dc8abc51c4b6e463e1949ee7',1,'SVF::DDAVFSolver']]],
+  ['isarraymemobj_9160',['isArrayMemObj',['../classSVF_1_1PointerAnalysis.html#a89dfeedf8e3e91603a1e9c73e3608a73',1,'SVF::PointerAnalysis']]],
+  ['isbackicfgedge_9161',['isBackICFGEdge',['../classSVF_1_1SVFLoop.html#a7283685960ed98e1a292e3f688d9aa2b',1,'SVF::SVFLoop']]],
+  ['isbarrierwaitcall_9162',['isBarrierWaitCall',['../namespaceSVF_1_1SVFUtil.html#ad09ba410acbbaee2aac9dd406c3cf01a',1,'SVF::SVFUtil::isBarrierWaitCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#ae9a7f272f037cda8dffa225606625398',1,'SVF::SVFUtil::isBarrierWaitCall(const SVFInstruction *inst)']]],
+  ['isbase_9163',['isBase',['../classSVF_1_1DCHGraph.html#ab33f9af6ad22eb99dd0d9950fb0e50e6',1,'SVF::DCHGraph']]],
+  ['isbbcallsprogexit_9164',['isBBCallsProgExit',['../classSVF_1_1SaberCondAllocator.html#a9d626dea5aa694799ec15a3b64021a35',1,'SVF::SaberCondAllocator']]],
+  ['isbinaryconstantexpr_9165',['isBinaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a35b36394af726c679fe2c1b6051db7c4',1,'SVF::LLVMUtil']]],
+  ['isbkvisited_9166',['isbkVisited',['../classSVF_1_1DDAVFSolver.html#a9a9c3a8b5e4ffc89418073110e446f20',1,'SVF::DDAVFSolver']]],
+  ['isblackhole_9167',['isblackHole',['../classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73',1,'SVF::SVFValue']]],
+  ['isblackholeobj_9168',['isBlackHoleObj',['../classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c',1,'SVF::MemObj']]],
+  ['isblackholesym_9169',['isBlackholeSym',['../namespaceSVF_1_1LLVMUtil.html#abf4e75ba6236136399d45c85be2328fe',1,'SVF::LLVMUtil']]],
+  ['isblkobj_9170',['isBlkObj',['../classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad',1,'SVF::SVFIR::isBlkObj()'],['../classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3',1,'SVF::SymbolTableInfo::isBlkObj()']]],
+  ['isblkobjorconstantobj_9171',['isBlkObjOrConstantObj',['../classSVF_1_1ConstraintGraph.html#a8ba74f82c1e796f2888ba34bc8355ce9',1,'SVF::ConstraintGraph::isBlkObjOrConstantObj()'],['../classSVF_1_1PointerAnalysis.html#a45462312a746339fff8b990a093d9a1b',1,'SVF::PointerAnalysis::isBlkObjOrConstantObj()'],['../classSVF_1_1SVFIR.html#ad9895f2d075eb402390e3b01ed68e001',1,'SVF::SVFIR::isBlkObjOrConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a2fc4bfb83b71a4c14e16168382cb8f5d',1,'SVF::SymbolTableInfo::isBlkObjOrConstantObj()']]],
+  ['isblkptr_9172',['isBlkPtr',['../classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997',1,'SVF::SVFIR::isBlkPtr()'],['../classSVF_1_1SymbolTableInfo.html#acba43b6e9cdf07afaf3d30351aa8df7c',1,'SVF::SymbolTableInfo::isBlkPtr()']]],
+  ['isbool_9173',['isBool',['../classOptionBase.html#acd2a32f510c026154665f7d874f3f362',1,'OptionBase::isBool()'],['../classOption.html#a910cf3c0ac5d45ee169cb8750898ea0b',1,'Option::isBool()']]],
+  ['isbottom_9174',['isBottom',['../classSVF_1_1AbstractValue.html#aafe29c4c572b851ce8031f5cd81600c5',1,'SVF::AbstractValue::isBottom()'],['../classSVF_1_1AddressValue.html#a8d723e05901bec417fec967972c6d6f2',1,'SVF::AddressValue::isBottom()'],['../classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001',1,'SVF::IntervalValue::isBottom()'],['../classSVF_1_1SingleAbsValue.html#a6750df64509e3dbaf3d75ed2ebc859ec',1,'SVF::SingleAbsValue::isBottom()']]],
+  ['isbottomabsvalue_9175',['isBottomAbsValue',['../classSVF_1_1SingleAbsValue.html#a5ece7dbaa27e73795a89adb90afe60fe',1,'SVF::SingleAbsValue']]],
+  ['isbuiltfromfile_9176',['isBuiltFromFile',['../classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98',1,'SVF::IRGraph']]],
+  ['iscallcfgedge_9177',['isCallCFGEdge',['../classSVF_1_1ICFGEdge.html#a2ecc0bc3bb3655bf3db3adb732747b49',1,'SVF::ICFGEdge']]],
+  ['iscalldirectvfgedge_9178',['isCallDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a92e3da59f7f5a693945b9a93f169da04',1,'SVF::VFGEdge']]],
+  ['iscallindirectvfgedge_9179',['isCallIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ae14a5f58064e6c08b53a3cffcc050077',1,'SVF::VFGEdge']]],
+  ['iscallop_9180',['isCallOp',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#a23b88769670c5b5984fbcad8803f4dbf',1,'SVF::ExtAPI::ExtOperation']]],
+  ['iscallsite_9181',['isCallSite',['../namespaceSVF_1_1LLVMUtil.html#a5a7dc8680a9714e08b01dd339b85bb20',1,'SVF::LLVMUtil::isCallSite(const Instruction *inst)'],['../namespaceSVF_1_1LLVMUtil.html#aeaa116fd9718c8b31f30d3fe62bb6403',1,'SVF::LLVMUtil::isCallSite(const Value *val)'],['../namespaceSVF_1_1SVFUtil.html#afdc3358522417de9a0d3a181a329f722',1,'SVF::SVFUtil::isCallSite(const SVFInstruction *inst)'],['../namespaceSVF_1_1SVFUtil.html#a8cb755f339ad1650f8ae2155451d9c0d',1,'SVF::SVFUtil::isCallSite(const SVFValue *val)']]],
+  ['iscallsiteretsvfgnode_9182',['isCallSiteRetSVFGNode',['../classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59',1,'SVF::SVFG']]],
+  ['iscallvfgedge_9183',['isCallVFGEdge',['../classSVF_1_1VFGEdge.html#a4352297ef44c4eff1efe2f348cce6fe9',1,'SVF::VFGEdge']]],
+  ['iscandidatefun_9184',['isCandidateFun',['../classSVF_1_1TCT.html#aa69b82c888c8193e97f9e95c62ac99d4',1,'SVF::TCT::isCandidateFun(const PTACallGraph::FunctionSet &callees) const'],['../classSVF_1_1TCT.html#a013f7fa94f9383b3d0e46b79c0a52a8f',1,'SVF::TCT::isCandidateFun(const SVFFunction *fun) const']]],
+  ['iscastconstantexpr_9185',['isCastConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#af983b0e1fbd371d8672e8f03f63084fc',1,'SVF::LLVMUtil']]],
+  ['iscfgedge_9186',['isCFGEdge',['../classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173',1,'SVF::ICFGEdge']]],
+  ['iscmpconstantexpr_9187',['isCmpConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#aa0b3e34188f721ff7145e47cb607c79a',1,'SVF::LLVMUtil']]],
+  ['isconcretecxt_9188',['isConcreteCxt',['../classSVF_1_1ContextCond.html#ac5f7388c0bbcee1878201819b9cd199f',1,'SVF::ContextCond']]],
+  ['iscondcompatible_9189',['isCondCompatible',['../classSVF_1_1ContextDDA.html#a57d309971de00db9bd8c6bfaf237cbff',1,'SVF::ContextDDA::isCondCompatible()'],['../classSVF_1_1CondPTAImpl.html#a6b746c30161c7dab86510895e0032935',1,'SVF::CondPTAImpl::isCondCompatible()']]],
+  ['isconditional_9190',['isConditional',['../classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901',1,'SVF::BranchStmt']]],
+  ['isconnectedfrommain_9191',['isConnectedfromMain',['../classSVF_1_1MHP.html#a90c228214643bb6d37bacffc35b99a3e',1,'SVF::MHP']]],
+  ['isconnectingtwocallsites_9192',['isConnectingTwoCallSites',['../classSVF_1_1SVFGOPT.html#aa23c967a8fcadbaf47e93a5b3610c84d',1,'SVF::SVFGOPT']]],
+  ['isconop_9193',['isConOp',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#a394d6a81c65acabc339a73891994879e',1,'SVF::ExtAPI::ExtOperation']]],
+  ['isconstantarray_9194',['isConstantArray',['../classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb',1,'SVF::MemObj::isConstantArray()'],['../classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212',1,'SVF::ObjTypeInfo::isConstantArray()']]],
+  ['isconstantobj_9195',['isConstantObj',['../classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156',1,'SVF::SVFIR::isConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a704b917b1e1dbaf9cd758fa9acc1083b',1,'SVF::SymbolTableInfo::isConstantObj()']]],
+  ['isconstantobjsym_9196',['isConstantObjSym',['../namespaceSVF_1_1LLVMUtil.html#ad8ee8de153df3f1bbdebb67185a2731c',1,'SVF::LLVMUtil::isConstantObjSym(const SVFValue *val)'],['../namespaceSVF_1_1LLVMUtil.html#a2fd5c626b818ac22a9c845227e1461c4',1,'SVF::LLVMUtil::isConstantObjSym(const Value *val)']]],
+  ['isconstantoffset_9197',['isConstantOffset',['../classSVF_1_1AccessPath.html#a403312192a96a9fd5e7d071481592a7f',1,'SVF::AccessPath::isConstantOffset()'],['../classSVF_1_1GepStmt.html#ab6f37c073e4755c4b8bb3ed6365687f4',1,'SVF::GepStmt::isConstantOffset()']]],
+  ['isconstantstruct_9198',['isConstantStruct',['../classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f',1,'SVF::MemObj::isConstantStruct()'],['../classSVF_1_1ObjTypeInfo.html#a41f916ab4e3a2c163fca636eae948ce7',1,'SVF::ObjTypeInfo::isConstantStruct()']]],
+  ['isconstdataoraggdata_9199',['isConstDataOrAggData',['../classSVF_1_1SVFValue.html#adcd0f90825818ab1de34e58c1a3084a3',1,'SVF::SVFValue::isConstDataOrAggData()'],['../classSVF_1_1MemObj.html#a37b75ada7d18139ac2f2add6c232ea68',1,'SVF::MemObj::isConstDataOrAggData()'],['../classSVF_1_1ObjTypeInfo.html#a6cc6751c847c667d4fc3052a30195e14',1,'SVF::ObjTypeInfo::isConstDataOrAggData()'],['../namespaceSVF_1_1LLVMUtil.html#a8a77403306e97ab4cb31a56d38bba5be',1,'SVF::LLVMUtil::isConstDataOrAggData()']]],
+  ['isconstdataoraggdatabutnotnullptr_9200',['isConstDataOrAggDataButNotNullPtr',['../classSVF_1_1SVFVar.html#a091ef22d4fc428985d604b03f287a941',1,'SVF::SVFVar']]],
+  ['isconstdataorconstglobal_9201',['isConstDataOrConstGlobal',['../classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0',1,'SVF::MemObj::isConstDataOrConstGlobal()'],['../classSVF_1_1ObjTypeInfo.html#a8e6c60978df9828c1dcb54086e83edc1',1,'SVF::ObjTypeInfo::isConstDataOrConstGlobal()']]],
+  ['isconstructor_9202',['isConstructor',['../namespaceSVF_1_1LLVMUtil.html#a6dd1590b82d2bd86766886bd21bc2b72',1,'SVF::LLVMUtil']]],
+  ['iscppthunkfunction_9203',['isCPPThunkFunction',['../namespaceSVF_1_1LLVMUtil.html#a47bbc0527ced570d576ccc2f9df409cb',1,'SVF::LLVMUtil']]],
+  ['isdeallocextcall_9204',['isDeallocExtCall',['../namespaceSVF_1_1SVFUtil.html#a1f52a7f183f1eec7c4db7e4e54fa5e2c',1,'SVF::SVFUtil::isDeallocExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a80da8887c0a6a8becd89495541b88d29',1,'SVF::SVFUtil::isDeallocExtCall(const SVFInstruction *inst)']]],
+  ['isdeallocextfun_9205',['isDeallocExtFun',['../namespaceSVF_1_1SVFUtil.html#a3495236e22e4bc6404b6ac352060439c',1,'SVF::SVFUtil']]],
+  ['isdeclaration_9206',['isDeclaration',['../classSVF_1_1SVFFunction.html#ab672f0255ec8e42d5e414bc8c72b7c76',1,'SVF::SVFFunction']]],
+  ['isdefofainfout_9207',['isDefOfAInFOut',['../classSVF_1_1SVFGOPT.html#a0e78edc04f5e8bfcca7a3f04f7568665',1,'SVF::SVFGOPT']]],
+  ['isdestructor_9208',['isDestructor',['../namespaceSVF_1_1LLVMUtil.html#a206973624fcc58e6044c884dba23a754',1,'SVF::LLVMUtil']]],
+  ['isdirectcalledge_9209',['isDirectCallEdge',['../classSVF_1_1PTACallGraphEdge.html#a8c46ccaa41f6792ca4a31a56548a554a',1,'SVF::PTACallGraphEdge']]],
+  ['isdirectedge_9210',['isdirectEdge',['../classSVF_1_1ConstraintNode.html#a165b41f2849c0f09eb1b15d51a566315',1,'SVF::ConstraintNode']]],
+  ['isdirectvfgedge_9211',['isDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a8777555f00696706de250159b920d14b',1,'SVF::VFGEdge']]],
+  ['isedgeinrecursion_9212',['isEdgeInRecursion',['../classSVF_1_1ContextDDA.html#a525949d1743136466d33bf4dc26ba423',1,'SVF::ContextDDA']]],
+  ['isentryicfgedge_9213',['isEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a3db213cb4aee3308f2dca587ffa1dfd1',1,'SVF::SVFLoop']]],
+  ['iseqcmp_9214',['isEQCmp',['../classSVF_1_1SaberCondAllocator.html#aaa01f2c79866e9eb7818d80b0af2b9f5',1,'SVF::SaberCondAllocator']]],
+  ['isequivalentbranchcond_9215',['isEquivalentBranchCond',['../classSVF_1_1ProgSlice.html#a6c63e9641e4d3d3f2f8c4a73bfba7a07',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71',1,'SVF::SaberCondAllocator::isEquivalentBranchCond()']]],
+  ['isextcall_9216',['isExtCall',['../namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400',1,'SVF::SVFUtil::isExtCall(const SVFFunction *fun)'],['../namespaceSVF_1_1SVFUtil.html#aad27a96075234ad2182a84e0e9d31a45',1,'SVF::SVFUtil::isExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51',1,'SVF::SVFUtil::isExtCall(const SVFInstruction *inst)']]],
+  ['isfclose_9217',['isFClose',['../classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba',1,'SVF::SaberCheckerAPI::isFClose(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#a01b12585cad8b75ce635670cd5c7d874',1,'SVF::SaberCheckerAPI::isFClose(const SVFInstruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#a534bfe077af19b111c1b7bc3c5a065e6',1,'SVF::SaberCheckerAPI::isFClose(const CallICFGNode *cs) const']]],
+  ['isfieldinsencondmemobj_9218',['isFieldInsenCondMemObj',['../classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170',1,'SVF::DDAVFSolver']]],
+  ['isfieldinsensitive_9219',['isFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#a0f71e4cd0948b294c7d33a690bde7dbe',1,'SVF::PointerAnalysis::isFieldInsensitive()'],['../classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc',1,'SVF::MemObj::isFieldInsensitive()']]],
+  ['isfieldof_9220',['isFieldOf',['../classSVF_1_1DCHGraph.html#af0534356b4a8c68507e1237f1d7a8c11',1,'SVF::DCHGraph']]],
+  ['isfiobjnode_9221',['isFIObjNode',['../classSVF_1_1PointerAnalysis.html#af90d2ccb01402c5ca9d7a059f345c816',1,'SVF::PointerAnalysis']]],
+  ['isfirstfield_9222',['isFirstField',['../classSVF_1_1DCHGraph.html#a2b2dbc52089696854a8339f2e83fc333',1,'SVF::DCHGraph']]],
+  ['isflaged_9223',['isFlaged',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a63f574da7298fd47d228592f512891d1',1,'SVF::RaceResultValidator::AccessPair::isFlaged(const RC_FLAG flag) const'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a63f574da7298fd47d228592f512891d1',1,'SVF::RaceResultValidator::AccessPair::isFlaged(const RC_FLAG flag) const']]],
+  ['isfollowerfun_9224',['isFollowerFun',['../classSVF_1_1PCG.html#a767a7ea009067e7f82bb70b29688a144',1,'SVF::PCG']]],
+  ['isfopen_9225',['isFOpen',['../classSVF_1_1SaberCheckerAPI.html#a0977378f6f2a782041c97912762deb5f',1,'SVF::SaberCheckerAPI::isFOpen(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#a50b572a89b800c3520f77d6f1094c066',1,'SVF::SaberCheckerAPI::isFOpen(const SVFInstruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#a5a2f7cb7f46b6edd80e6d4611f07e327',1,'SVF::SaberCheckerAPI::isFOpen(const CallICFGNode *cs) const']]],
+  ['isforksite_9226',['isForksite',['../classSVF_1_1ThreadCallGraph.html#a07d3db6ffe8d75effd6fbc3856c484fe',1,'SVF::ThreadCallGraph']]],
+  ['isformalinphi_9227',['isFormalINPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1',1,'SVF::InterMSSAPHISVFGNode']]],
+  ['isformalparmphi_9228',['isFormalParmPHI',['../classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7',1,'SVF::InterPHIVFGNode']]],
+  ['isfulljoin_9229',['isFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#ab55532eefbcef639ced957ad82fbd340',1,'SVF::ForkJoinAnalysis']]],
+  ['isfunction_9230',['isFunction',['../classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b',1,'SVF::MemObj::isFunction()'],['../classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f',1,'SVF::ObjTypeInfo::isFunction()']]],
+  ['isfunctionretphi_9231',['isFunctionRetPhi',['../classSVF_1_1PhiStmt.html#a8e55ddef627096c78bb2c8b6f9c77140',1,'SVF::PhiStmt']]],
+  ['isfunentrysvfgnode_9232',['isFunEntrySVFGNode',['../classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b',1,'SVF::SVFG']]],
+  ['isfunentryvfgnode_9233',['isFunEntryVFGNode',['../classSVF_1_1VFG.html#a8994194bca2edfd9528880390de795ab',1,'SVF::VFG']]],
+  ['isfunptr_9234',['isFunPtr',['../classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97',1,'SVF::SVFIR']]],
+  ['isgepconstantexpr_9235',['isGepConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685',1,'SVF::LLVMUtil']]],
+  ['isglobalobj_9236',['isGlobalObj',['../classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4',1,'SVF::MemObj::isGlobalObj()'],['../classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f',1,'SVF::ObjTypeInfo::isGlobalObj()']]],
+  ['isglobalsvfgnode_9237',['isGlobalSVFGNode',['../classSVF_1_1SaberSVFGBuilder.html#afbcd75844af51ff51c09c377f80a49cf',1,'SVF::SaberSVFGBuilder::isGlobalSVFGNode()'],['../classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7',1,'SVF::SrcSnkDDA::isGlobalSVFGNode()']]],
+  ['ishareparfor_9238',['isHareParFor',['../classSVF_1_1ThreadAPI.html#ab96065dc1bb1cc29f9c37c885f524b34',1,'SVF::ThreadAPI::isHareParFor(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#adb944c2287cf7686a03b0e53a03ba025',1,'SVF::ThreadAPI::isHareParFor(CallSite cs) const']]],
+  ['ishareparforcall_9239',['isHareParForCall',['../namespaceSVF_1_1SVFUtil.html#a28fbb7cc51eb7e25d88f43e3eb1f30fb',1,'SVF::SVFUtil::isHareParForCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#ad8340531cfb109c792de4edee34d44db',1,'SVF::SVFUtil::isHareParForCall(const SVFInstruction *inst)']]],
+  ['ishbpair_9240',['isHBPair',['../classSVF_1_1MHP.html#a6f07427b45991b2d8a3ff21582121d23',1,'SVF::MHP::isHBPair()'],['../classSVF_1_1ForkJoinAnalysis.html#a86c68ce5fd8825b1593d92a5a5bad389',1,'SVF::ForkJoinAnalysis::isHBPair()']]],
+  ['ishead_9241',['isHead',['../classSVF_1_1CFBasicBlockGWTO.html#ade2b2aa77bba3781ab921d5c36eb881b',1,'SVF::CFBasicBlockGWTO']]],
+  ['isheadofspan_9242',['isHeadofSpan',['../classSVF_1_1MTASVFGBuilder.html#a5c32c2f5038aab15ec2da50c7c99b405',1,'SVF::MTASVFGBuilder::isHeadofSpan(const StmtSVFGNode *n, LockAnalysis::LockSpan lspan)'],['../classSVF_1_1MTASVFGBuilder.html#ad0c3ea19875191721cd466fe85b91a8c',1,'SVF::MTASVFGBuilder::isHeadofSpan(const StmtSVFGNode *n, InstSet mergespan)'],['../classSVF_1_1MTASVFGBuilder.html#a4d36dc553bc87508b78add9b52ce9c2a',1,'SVF::MTASVFGBuilder::isHeadofSpan(const StmtSVFGNode *n)']]],
+  ['isheap_9243',['isHeap',['../classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1',1,'SVF::MemObj::isHeap()'],['../classSVF_1_1ObjTypeInfo.html#a26c179394fbda9a9261d0bf3f52b619d',1,'SVF::ObjTypeInfo::isHeap()']]],
+  ['isheapallocextcall_9244',['isHeapAllocExtCall',['../namespaceSVF_1_1SVFUtil.html#a93ac673b885633849fa484938405ca75',1,'SVF::SVFUtil::isHeapAllocExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a07400bf7b1f50875f3e5123d13cff880',1,'SVF::SVFUtil::isHeapAllocExtCall(const SVFInstruction *inst)']]],
+  ['isheapallocextcallviaarg_9245',['isHeapAllocExtCallViaArg',['../namespaceSVF_1_1SVFUtil.html#aedfa6e9216c6c788c26aef1967689b76',1,'SVF::SVFUtil::isHeapAllocExtCallViaArg(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277',1,'SVF::SVFUtil::isHeapAllocExtCallViaArg(const SVFInstruction *inst)']]],
+  ['isheapallocextcallviaret_9246',['isHeapAllocExtCallViaRet',['../namespaceSVF_1_1SVFUtil.html#ab2064cb70c76f399ce115f2621adea35',1,'SVF::SVFUtil::isHeapAllocExtCallViaRet(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a9f9b3296d2ce69346ac694ad6b04f2b0',1,'SVF::SVFUtil::isHeapAllocExtCallViaRet(const SVFInstruction *inst)']]],
+  ['isheapallocextfunviaarg_9247',['isHeapAllocExtFunViaArg',['../namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245',1,'SVF::SVFUtil']]],
+  ['isheapallocextfunviaret_9248',['isHeapAllocExtFunViaRet',['../namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea',1,'SVF::SVFUtil']]],
+  ['isheapallocorstaticextcall_9249',['isHeapAllocOrStaticExtCall',['../namespaceSVF_1_1SVFUtil.html#a61ed4bb80d88b0f8dbc02535c224fdfb',1,'SVF::SVFUtil::isHeapAllocOrStaticExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a06b824671e2fab0e41a6b84ee9bd8362',1,'SVF::SVFUtil::isHeapAllocOrStaticExtCall(const SVFInstruction *inst)']]],
+  ['isheapcondmemobj_9250',['isHeapCondMemObj',['../classSVF_1_1ContextDDA.html#a02902af9bc4455b994a5da4a9d6cf121',1,'SVF::ContextDDA::isHeapCondMemObj()'],['../classSVF_1_1DDAVFSolver.html#a645c7d0637b49e139898016ff652e1f3',1,'SVF::DDAVFSolver::isHeapCondMemObj()'],['../classSVF_1_1FlowDDA.html#afc3b2b4e0da7a2484ec35c3ce84a9d60',1,'SVF::FlowDDA::isHeapCondMemObj()']]],
+  ['isheapmemobj_9251',['isHeapMemObj',['../classSVF_1_1PointerAnalysis.html#ae6ea391ac44dffeb6899bb44323c5361',1,'SVF::PointerAnalysis']]],
+  ['ishelpname_9252',['isHelpName',['../classOptionBase.html#ae446d8507843235d8fe71d32bc4bd04b',1,'OptionBase']]],
+  ['isinawrapper_9253',['isInAWrapper',['../classSVF_1_1SrcSnkDDA.html#afc75e55af839ef535d80555fd422342c',1,'SVF::SrcSnkDDA']]],
+  ['isincurbackwardslice_9254',['isInCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4cb2c14431fc432e84d382f8eeb24fe2',1,'SVF::SrcSnkDDA']]],
+  ['isincurforwardslice_9255',['isInCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4bde70a5d9dbf5a9234a93aaeaaacb94',1,'SVF::SrcSnkDDA']]],
+  ['isincurrentscc_9256',['isInCurrentSCC',['../classSVF_1_1WPASCCSolver.html#ae1ed4875e706677acf22a776f7285185',1,'SVF::WPASCCSolver']]],
+  ['isincycle_9257',['isIncycle',['../classSVF_1_1TCTNode.html#a42dde4c3714cc5605f7c0e76cfd4a74c',1,'SVF::TCTNode::isIncycle()'],['../classSVF_1_1CxtThread.html#a54c95794963cb5a478db7c49c1b8c428',1,'SVF::CxtThread::isIncycle()'],['../classSVF_1_1SCCDetection.html#a5d699af73b1e7ad4e3a5f6d26b8b6d15',1,'SVF::SCCDetection::isInCycle()']]],
+  ['isindirectcall_9258',['isIndirectCall',['../classSVF_1_1CallICFGNode.html#aa11226a2e4fa6a7b1d78006cc8ca0518',1,'SVF::CallICFGNode']]],
+  ['isindirectcalledge_9259',['isIndirectCallEdge',['../classSVF_1_1PTACallGraphEdge.html#a74692d47f929dc2188eede497acb91b7',1,'SVF::PTACallGraphEdge']]],
+  ['isindirectcallsites_9260',['isIndirectCallSites',['../classSVF_1_1SVFIR.html#a3dbe0b17694daa74f648a70e77efaf23',1,'SVF::SVFIR']]],
+  ['isindirectedge_9261',['isIndirectEdge',['../classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0',1,'SVF::ConstraintNode']]],
+  ['isindirectvfgedge_9262',['isIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#aa8f30d093d4950724a6688707326b57b',1,'SVF::VFGEdge']]],
+  ['isinicfgedge_9263',['isInICFGEdge',['../classSVF_1_1SVFLoop.html#ae8a579b8798cf14ba8c1d9ee9c355267',1,'SVF::SVFLoop']]],
+  ['isinloop_9264',['isInloop',['../classSVF_1_1TCTNode.html#a4541cd85dcde2ce789ea411ebb1d89c7',1,'SVF::TCTNode::isInloop()'],['../classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6',1,'SVF::CxtThread::isInloop()'],['../classSVF_1_1ICFG.html#ae115e70bf53f25c0ca6b1f22acccf5b5',1,'SVF::ICFG::isInLoop(const ICFGNode *node)'],['../classSVF_1_1ICFG.html#ac0600b9ff2521ec2b205dc35c276397d',1,'SVF::ICFG::isInLoop(const SVFInstruction *inst)'],['../classSVF_1_1SVFLoop.html#af2433fcc43f4e22fdf97ca2672a5dfa3',1,'SVF::SVFLoop::isInLoop()']]],
+  ['isinloopinstruction_9265',['isInLoopInstruction',['../classSVF_1_1TCT.html#af1e7f51f9a3540fa73b856def01da77e',1,'SVF::TCT']]],
+  ['isinrecursion_9266',['isInRecursion',['../classSVF_1_1PointerAnalysis.html#aa725a0c9426e8615cbc078c88561f66a',1,'SVF::PointerAnalysis::isInRecursion()'],['../classSVF_1_1TCT.html#a17a478edc9fac3e501202073100549ff',1,'SVF::TCT::isInRecursion()']]],
+  ['isinsamecispan_9267',['isInSameCISpan',['../classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e',1,'SVF::LockAnalysis']]],
+  ['isinsamecsspan_9268',['isInSameCSSpan',['../classSVF_1_1LockAnalysis.html#a1c23ab16b5c7ab5bb482a5828e615bbb',1,'SVF::LockAnalysis::isInSameCSSpan(const SVFInstruction *i1, const SVFInstruction *i2) const'],['../classSVF_1_1LockAnalysis.html#a8595b976bf60d161561e5494257aa179',1,'SVF::LockAnalysis::isInSameCSSpan(const CxtStmt &cxtStmt1, const CxtStmt &cxtStmt2) const']]],
+  ['isinsamespan_9269',['isInSameSpan',['../classSVF_1_1LockAnalysis.html#a1c1b63a8bd7449ebeb2c31b0532e9337',1,'SVF::LockAnalysis']]],
+  ['isinscc_9270',['isInSCC',['../classSVF_1_1SCCDetection.html#aff6c15443edca2559ae3f3d04ff45481',1,'SVF::SCCDetection']]],
+  ['isinsensitivecallret_9271',['isInsensitiveCallRet',['../classSVF_1_1ContextDDA.html#a76487b8b3e3abb8a16b5c4f5c7e79819',1,'SVF::ContextDDA']]],
+  ['isinsidecondintralock_9272',['isInsideCondIntraLock',['../classSVF_1_1LockAnalysis.html#a25446604fac03485a991d28f03e88788',1,'SVF::LockAnalysis']]],
+  ['isinsideintralock_9273',['isInsideIntraLock',['../classSVF_1_1LockAnalysis.html#a3fd595637d248213c650889d6e2d07ad',1,'SVF::LockAnalysis']]],
+  ['isint2ptrconstantexpr_9274',['isInt2PtrConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#adfa4a4e6d13004d14137d9168bd32463',1,'SVF::LLVMUtil']]],
+  ['isinterestedpagnode_9275',['isInterestedPAGNode',['../classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962',1,'SVF::VFG']]],
+  ['isintracfgedge_9276',['isIntraCFGEdge',['../classSVF_1_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c',1,'SVF::ICFGEdge']]],
+  ['isintralock_9277',['isIntraLock',['../classSVF_1_1LockAnalysis.html#aabb4acd61154d3e7fed64ec4e94f2d93',1,'SVF::LockAnalysis']]],
+  ['isintravfgedge_9278',['isIntraVFGEdge',['../classSVF_1_1VFGEdge.html#a5d2668f46a709eb179007a296d94b77b',1,'SVF::VFGEdge']]],
+  ['isintrinsic_9279',['isIntrinsic',['../classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb',1,'SVF::SVFFunction']]],
+  ['isintrinsicfun_9280',['isIntrinsicFun',['../namespaceSVF_1_1LLVMUtil.html#a4638a12f5481dff947b59cf8353e619b',1,'SVF::LLVMUtil']]],
+  ['isintrinsicinst_9281',['isIntrinsicInst',['../namespaceSVF_1_1LLVMUtil.html#a003b769751b93b94bdb011bd704cfde1',1,'SVF::LLVMUtil::isIntrinsicInst()'],['../namespaceSVF_1_1SVFUtil.html#abb2bbf6e0dc5adae2140a519259e6f17',1,'SVF::SVFUtil::isIntrinsicInst()']]],
+  ['isinworklist_9282',['isInWorklist',['../classSVF_1_1CFLSolver.html#a0e112c2290b3ba4e61da6b1fe9ac506d',1,'SVF::CFLSolver::isInWorklist()'],['../classSVF_1_1SrcSnkSolver.html#a1d9e1f15c9670758b9598e848ce5eeed',1,'SVF::SrcSnkSolver::isInWorklist()'],['../classSVF_1_1GraphReachSolver.html#a448dd77a75555479e9c8769c0638af2c',1,'SVF::GraphReachSolver::isInWorklist()'],['../classSVF_1_1WPASolver.html#a09c85e7a12715fc64e05a8448b699ec0',1,'SVF::WPASolver::isInWorklist()']]],
+  ['isirfile_9283',['isIRFile',['../namespaceSVF_1_1LLVMUtil.html#ad8a8c32a09340f491fffffcb07dd7a41',1,'SVF::LLVMUtil']]],
+  ['isisolatednode_9284',['isIsolatedNode',['../classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7',1,'SVF::SVFVar']]],
+  ['isjoinmustexecutedinloop_9285',['isJoinMustExecutedInLoop',['../classSVF_1_1TCT.html#ad7d8760d745f4d8fcd85ccdf876d22a5',1,'SVF::TCT']]],
+  ['isjoinsite_9286',['isJoinsite',['../classSVF_1_1ThreadCallGraph.html#ac75a38384cda8379c32b4d01d4d5d20a',1,'SVF::ThreadCallGraph']]],
+  ['isjoinsiteinrecursion_9287',['isJoinSiteInRecursion',['../classSVF_1_1TCT.html#a78d2419493546ee2f91a6aeb2e778709',1,'SVF::TCT']]],
+  ['isload_9288',['isLoad',['../classSVF_1_1VersionedFlowSensitive.html#a984a4f929a18f97bfefac0102088a7fd',1,'SVF::VersionedFlowSensitive']]],
+  ['isloadvtblinst_9289',['isLoadVtblInst',['../namespaceSVF_1_1LLVMUtil.html#a45da980cb7c085942bb8e6010db9d84f',1,'SVF::LLVMUtil']]],
+  ['islocalcvarinrecursion_9290',['isLocalCVarInRecursion',['../classSVF_1_1DDAVFSolver.html#a20cadb651b41343437e135e985c4e566',1,'SVF::DDAVFSolver']]],
+  ['islocalvarinrecursivefun_9291',['isLocalVarInRecursiveFun',['../classSVF_1_1PointerAnalysis.html#a108380f6f0b67654bb7c7676686096c8',1,'SVF::PointerAnalysis']]],
+  ['islockaquirecall_9292',['isLockAquireCall',['../namespaceSVF_1_1SVFUtil.html#a5f3ecd0770991b6e84afe47a3934f0d2',1,'SVF::SVFUtil::isLockAquireCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a9cf550008fb5f051983003ee105738b1',1,'SVF::SVFUtil::isLockAquireCall(const SVFInstruction *inst)']]],
+  ['islockcandidatefun_9293',['isLockCandidateFun',['../classSVF_1_1LockAnalysis.html#ae2c69e1a6787033a5be2b210134873c3',1,'SVF::LockAnalysis']]],
+  ['islockreleasecall_9294',['isLockReleaseCall',['../namespaceSVF_1_1SVFUtil.html#a1241ef1c19df14f7db0bd62dd68f14f9',1,'SVF::SVFUtil::isLockReleaseCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a5b17fb3f5997e269938a368105592cbf',1,'SVF::SVFUtil::isLockReleaseCall(const SVFInstruction *inst)']]],
+  ['isloopexitofjoinloop_9295',['isLoopExitOfJoinLoop',['../classSVF_1_1TCT.html#ae62f5a928f59e01d15e8fb4fb8f0f100',1,'SVF::TCT']]],
+  ['isloopheader_9296',['isLoopHeader',['../classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43',1,'SVF::SVFLoopAndDomInfo::isLoopHeader()'],['../classSVF_1_1SVFFunction.html#afa469fdfa92b99d1727b8df873c86768',1,'SVF::SVFFunction::isLoopHeader()']]],
+  ['isloopheaderofjoinloop_9297',['isLoopHeaderOfJoinLoop',['../classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389',1,'SVF::TCT']]],
+  ['ismemalloc_9298',['isMemAlloc',['../classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416',1,'SVF::SaberCheckerAPI::isMemAlloc(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#a512741dffe68d4bbb761c5c178ea8c67',1,'SVF::SaberCheckerAPI::isMemAlloc(const SVFInstruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#acd2486bcf4cf413e63afed7884a0719e',1,'SVF::SaberCheckerAPI::isMemAlloc(const CallICFGNode *cs) const']]],
+  ['ismemcpy_9299',['isMemcpy',['../classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898',1,'SVF::MTAAnnotator']]],
+  ['ismemdealloc_9300',['isMemDealloc',['../classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e',1,'SVF::SaberCheckerAPI::isMemDealloc(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#aa6323d60c58b06f94a1645b26d3305ae',1,'SVF::SaberCheckerAPI::isMemDealloc(const SVFInstruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#a6bfc01d7e72b8c587b2e494aa923f908',1,'SVF::SaberCheckerAPI::isMemDealloc(const CallICFGNode *cs) const']]],
+  ['ismemset_9301',['isMemset',['../classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93',1,'SVF::MTAAnnotator']]],
+  ['ismemsetorcpyextfun_9302',['isMemSetOrCpyExtFun',['../namespaceSVF_1_1SVFUtil.html#a4c45df04366c21ee47ac251fbac582cc',1,'SVF::SVFUtil']]],
+  ['ismultiforked_9303',['isMultiforked',['../classSVF_1_1TCTNode.html#a5dd0cf88e381438d191b275314117561',1,'SVF::TCTNode']]],
+  ['ismultiforkedthread_9304',['isMultiForkedThread',['../classSVF_1_1MHP.html#a041392f704690e89d8acf5ec68d8682c',1,'SVF::MHP']]],
+  ['ismultiinheritance_9305',['isMultiInheritance',['../classSVF_1_1DCHNode.html#a42026e30e790bce5be03da3e45353c8d',1,'SVF::DCHNode::isMultiInheritance()'],['../classSVF_1_1CHNode.html#a224a394537fae62e64cf62a0d4fdd430',1,'SVF::CHNode::isMultiInheritance()']]],
+  ['ismultiple_9306',['isMultiple',['../classOptionBase.html#ad6fe65a503048686686ea6ced35a2dfd',1,'OptionBase::isMultiple()'],['../classOptionMultiple.html#aebfc1b172ccde004333d9af7248dca4e',1,'OptionMultiple::isMultiple()']]],
+  ['ismustalias_9307',['isMustAlias',['../classSVF_1_1DDAVFSolver.html#a345e5379f53b618adef014aa6887bfe7',1,'SVF::DDAVFSolver']]],
+  ['ismustjoin_9308',['isMustJoin',['../classSVF_1_1MHP.html#a1c43a0f078f82a3c741de1c4dc2490c0',1,'SVF::MHP']]],
+  ['isnecmp_9309',['isNECmp',['../classSVF_1_1SaberCondAllocator.html#aac5762d9a7d584a9748301acbb31b401',1,'SVF::SaberCondAllocator']]],
+  ['isnegcond_9310',['isNegCond',['../classSVF_1_1SaberCondAllocator.html#ad5d27f65374025b6a105ea7a92cbdb50',1,'SVF::SaberCondAllocator']]],
+  ['isnocallerfunction_9311',['isNoCallerFunction',['../namespaceSVF_1_1LLVMUtil.html#a17cce1a11e1bfc342a9e3e79fe35deef',1,'SVF::LLVMUtil']]],
+  ['isnodehidden_9312',['isNodeHidden',['../structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3',1,'SVF::DefaultDOTGraphTraits::isNodeHidden()'],['../classSVF_1_1GraphWriter.html#a8b1d80caf226c3a619c5fb03f8724f74',1,'SVF::GraphWriter::isNodeHidden()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa89ef1fbbc6ff785a933f45201054af6',1,'SVF::DOTGraphTraits< ConstraintGraph * >::isNodeHidden()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a4157da89f5224f90d19a505131e5a8bf',1,'SVF::DOTGraphTraits< IRGraph * >::isNodeHidden()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aafa70c57c0bbad9c2334b83d88eb1a89',1,'SVF::DOTGraphTraits< SVFG * >::isNodeHidden()']]],
+  ['isnoninstriccallsite_9313',['isNonInstricCallSite',['../namespaceSVF_1_1SVFUtil.html#a4af4db2fe43846609d2ed1d7022b1be1',1,'SVF::SVFUtil']]],
+  ['isnonlocalobject_9314',['isNonLocalObject',['../classSVF_1_1MRGenerator.html#a2cf20660f2fd686fa3cabd046c4a10bf',1,'SVF::MRGenerator']]],
+  ['isnonpointerobj_9315',['isNonPointerObj',['../classSVF_1_1PointerAnalysis.html#a9d3b20c9883d734537fb98b57b5372b9',1,'SVF::PointerAnalysis::isNonPointerObj()'],['../classSVF_1_1SVFIR.html#a980e54129ece0757d7f0373f37428507',1,'SVF::SVFIR::isNonPointerObj()']]],
+  ['isnonptrfieldobj_9316',['isNonPtrFieldObj',['../classSVF_1_1MemObj.html#aef4ed89ab63d6af36e7f291171c150ac',1,'SVF::MemObj::isNonPtrFieldObj()'],['../classSVF_1_1ObjTypeInfo.html#a040ae9ad6cd6b075df6594bb1f706d72',1,'SVF::ObjTypeInfo::isNonPtrFieldObj()']]],
+  ['isnotretfunction_9317',['isNotRetFunction',['../classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347',1,'SVF::SVFFunction']]],
+  ['isnullptr_9318',['isNullPtr',['../classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265',1,'SVF::ExeState::isNullPtr()'],['../classSVF_1_1SVFIR.html#a18ca66c199b910b15f1bfa77dcc98c30',1,'SVF::SVFIR::isNullPtr()'],['../classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177',1,'SVF::SVFValue::isNullPtr()'],['../classSVF_1_1SymbolTableInfo.html#ad095e4a569d399cadc03ce864f61c394',1,'SVF::SymbolTableInfo::isNullPtr()']]],
+  ['isnullptrsym_9319',['isNullPtrSym',['../namespaceSVF_1_1LLVMUtil.html#a847fb0c433b5d3611151636ca4bc5bc5',1,'SVF::LLVMUtil']]],
+  ['isnullstate_9320',['isNullState',['../classSVF_1_1ConsExeState.html#a08f64cf55802c4ddbc1e01b06ce55dec',1,'SVF::ConsExeState']]],
+  ['isnullsymstate_9321',['isNullSymState',['../classSVF_1_1SymState.html#a9817e6ac4387d6a6fe5f67e2ce753a88',1,'SVF::SymState']]],
+  ['isobject_9322',['isObject',['../namespaceSVF_1_1LLVMUtil.html#aca11801ed6ef6ff8d2a1e85bc0fc5794',1,'SVF::LLVMUtil']]],
+  ['isoperoverload_9323',['isOperOverload',['../CppUtil_8cpp.html#a2a7c55fe3b24b913890307e9ac6cb2ba',1,'CppUtil.cpp']]],
+  ['isouticfgedge_9324',['isOutICFGEdge',['../classSVF_1_1SVFLoop.html#a5b2ff96defd83686c2737cafa0e1cc83',1,'SVF::SVFLoop']]],
+  ['isoutofbudgetdpm_9325',['isOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#a0b1f774883adc7d535f8363bf3c8b1e8',1,'SVF::DDAVFSolver']]],
+  ['isoutofbudgetquery_9326',['isOutOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#a7994236bff84ba8244592fdf5e546734',1,'SVF::DDAVFSolver']]],
+  ['isoverwrittenappfunction_9327',['isOverwrittenAppFunction',['../classSVF_1_1ExtAPI.html#a5ef7edb1664ab87f00418e7808d00258',1,'SVF::ExtAPI::isOverwrittenAppFunction(const SVF::SVFFunction *callee)'],['../classSVF_1_1ExtAPI.html#a370b7d654a2f48226a848a5f1d7fb234',1,'SVF::ExtAPI::isOverwrittenAppFunction(const std::string &funcName)']]],
+  ['isparforsite_9328',['isParForSite',['../classSVF_1_1ThreadCallGraph.html#ae18f0b3245694145f6d9262ee28c6453',1,'SVF::ThreadCallGraph']]],
+  ['ispartialreachable_9329',['isPartialReachable',['../classSVF_1_1ProgSlice.html#a3822badbbe9ac808296d5248f2dbf8e2',1,'SVF::ProgSlice']]],
+  ['isphicopyedge_9330',['isPhiCopyEdge',['../classSVF_1_1VFG.html#a8ddf15d89a1b11a7f7720b671f4f0295',1,'SVF::VFG']]],
+  ['isphinode_9331',['isPhiNode',['../classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff',1,'SVF::SVFIR']]],
+  ['ispointer_9332',['isPointer',['../classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271',1,'SVF::SVFVar']]],
+  ['ispointerty_9333',['isPointerTy',['../classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c',1,'SVF::SVFType']]],
+  ['isprogentryfunction_9334',['isProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#ac9d6aff1a5e778e45c51b4f3b6d787e0',1,'SVF::LLVMUtil::isProgEntryFunction()'],['../namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b',1,'SVF::SVFUtil::isProgEntryFunction()']]],
+  ['isprogexitcall_9335',['isProgExitCall',['../namespaceSVF_1_1SVFUtil.html#a6528edf9a1750df4a84d1a60d4d0bbe4',1,'SVF::SVFUtil::isProgExitCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a81e9fe00756a3f42395261c87e64de02',1,'SVF::SVFUtil::isProgExitCall(const SVFInstruction *inst)']]],
+  ['isprogexitfunction_9336',['isProgExitFunction',['../namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57',1,'SVF::SVFUtil']]],
+  ['isprotectedbycommoncilock_9337',['isProtectedByCommonCILock',['../classSVF_1_1LockAnalysis.html#ae912e35cddd4235a663f84f70c3881e7',1,'SVF::LockAnalysis']]],
+  ['isprotectedbycommoncxtlock_9338',['isProtectedByCommonCxtLock',['../classSVF_1_1LockAnalysis.html#a32c0c5bdd676302f1c9e797d540278d8',1,'SVF::LockAnalysis::isProtectedByCommonCxtLock(const SVFInstruction *i1, const SVFInstruction *i2)'],['../classSVF_1_1LockAnalysis.html#a3e2e629a588b44ed39e529babb59a4f9',1,'SVF::LockAnalysis::isProtectedByCommonCxtLock(const CxtStmt &cxtStmt1, const CxtStmt &cxtStmt2)']]],
+  ['isprotectedbycommonlock_9339',['isProtectedByCommonLock',['../classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c',1,'SVF::LockAnalysis']]],
+  ['isptaedge_9340',['isPTAEdge',['../classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951',1,'SVF::SVFStmt']]],
+  ['isptanode_9341',['isPTANode',['../classSVF_1_1StmtVFGNode.html#a88d856dc04d922dc553bc2eae31e88a6',1,'SVF::StmtVFGNode::isPTANode()'],['../classSVF_1_1PHIVFGNode.html#a103e55e670ce614cabc13b8dc5b17b91',1,'SVF::PHIVFGNode::isPTANode()'],['../classSVF_1_1ArgumentVFGNode.html#ab891206b29c1cf7a732f09f5a187928e',1,'SVF::ArgumentVFGNode::isPTANode()'],['../classSVF_1_1NullPtrVFGNode.html#a320a99e99af0c6acf5dadc9e7077f776',1,'SVF::NullPtrVFGNode::isPTANode()']]],
+  ['isptr2intconstantexpr_9342',['isPtr2IntConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a2834d135a2385efff783e6e22d2eff1f',1,'SVF::LLVMUtil']]],
+  ['isptrinuncalledfunction_9343',['isPtrInUncalledFunction',['../namespaceSVF_1_1LLVMUtil.html#a07c785d931cef3c61e3dab4c615770be',1,'SVF::LLVMUtil']]],
+  ['isptronlysvfg_9344',['isPtrOnlySVFG',['../classSVF_1_1VFG.html#a268ec1495cbe4adb51fa50d28a4cba3d',1,'SVF::VFG']]],
+  ['ispureabstract_9345',['isPureAbstract',['../classSVF_1_1DCHNode.html#aed5e8397d43b602b79425acdae5e01f5',1,'SVF::DCHNode::isPureAbstract()'],['../classSVF_1_1CHNode.html#a268ccdfb486cc2efa8581ee7a3b5af39',1,'SVF::CHNode::isPureAbstract()']]],
+  ['ispwcnode_9346',['isPWCNode',['../classSVF_1_1ConstraintGraph.html#a84468bc9355d31e8c3e18369036ddf5c',1,'SVF::ConstraintGraph::isPWCNode()'],['../classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d',1,'SVF::ConstraintNode::isPWCNode()']]],
+  ['isreachablebetweenfunctions_9347',['isReachableBetweenFunctions',['../classSVF_1_1PTACallGraph.html#aa03df6b1ebf7f8356a47fa074d3f91a4',1,'SVF::PTACallGraph']]],
+  ['isreachablefromprogentry_9348',['isReachableFromProgEntry',['../classSVF_1_1PTACallGraphNode.html#ae549769b86088c7c03e416549694ef52',1,'SVF::PTACallGraphNode']]],
+  ['isreachglobal_9349',['isReachGlobal',['../classSVF_1_1ProgSlice.html#a067480a9815fdb728cd259ef9b687e3e',1,'SVF::ProgSlice']]],
+  ['isreallocextcall_9350',['isReallocExtCall',['../namespaceSVF_1_1SVFUtil.html#a6740e7686ba111ae525c6c093cbbaf46',1,'SVF::SVFUtil::isReallocExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a21eb8acf4b7f876507ff02c65fff0869',1,'SVF::SVFUtil::isReallocExtCall(const SVFInstruction *inst)']]],
+  ['isreallocextfun_9351',['isReallocExtFun',['../namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4',1,'SVF::SVFUtil']]],
+  ['isrecurfulljoin_9352',['isRecurFullJoin',['../classSVF_1_1MHP.html#a0356a8ccc53999549fb369f67faad306',1,'SVF::MHP']]],
+  ['isretcfgedge_9353',['isRetCFGEdge',['../classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80',1,'SVF::ICFGEdge']]],
+  ['isretdirectvfgedge_9354',['isRetDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a49cbf2a714c9b965b19452d266cd8bdf',1,'SVF::VFGEdge']]],
+  ['isretindirectvfgedge_9355',['isRetIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ad0df7ea2de8de5607229dfcdd7b70b87',1,'SVF::VFGEdge']]],
+  ['isretinst_9356',['isRetInst',['../classSVF_1_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d',1,'SVF::SVFInstruction']]],
+  ['isretvfgedge_9357',['isRetVFGEdge',['../classSVF_1_1VFGEdge.html#a3937eef974c3953f1d1e7d64c5a24ff3',1,'SVF::VFGEdge']]],
+  ['issamescev_9358',['isSameSCEV',['../classSVF_1_1ForkJoinAnalysis.html#abbff6ea064e7241315932db77dccaad9',1,'SVF::ForkJoinAnalysis']]],
+  ['issamethisptrinconstructor_9359',['isSameThisPtrInConstructor',['../namespaceSVF_1_1LLVMUtil.html#a8873eb1cce9496f9699eab22c4a6d3ce',1,'SVF::LLVMUtil']]],
+  ['issamevar_9360',['isSameVar',['../classSVF_1_1CondPTAImpl.html#a7a1be735c76ba4a6b235264fe8ec6c28',1,'SVF::CondPTAImpl']]],
+  ['issatisfiable_9361',['isSatisfiable',['../classSVF_1_1SaberCondAllocator.html#a7c132cc105a97a5dbf0c9b9d16b4b72a',1,'SVF::SaberCondAllocator']]],
+  ['issatisfiableforall_9362',['isSatisfiableForAll',['../classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed',1,'SVF::ProgSlice']]],
+  ['issatisfiableforpairs_9363',['isSatisfiableForPairs',['../classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4',1,'SVF::ProgSlice']]],
+  ['isscalar_9364',['isScalar',['../classSVF_1_1DCHNode.html#a50cf99ff5cc910512c1ce3987c7395ef',1,'SVF::DCHNode']]],
+  ['isselectconstantexpr_9365',['isSelectConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ae59b0dc7f29dbd2018e819f77465f66e',1,'SVF::LLVMUtil']]],
+  ['issigned_9366',['isSigned',['../classSVF_1_1SVFIntegerType.html#a535874e5c49f686dd6ae99304ecd6821',1,'SVF::SVFIntegerType']]],
+  ['issimple_9367',['isSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77',1,'SVF::DefaultDOTGraphTraits']]],
+  ['issinglefieldobj_9368',['isSingleFieldObj',['../classSVF_1_1ConstraintGraph.html#a38fd07dd86f6187a7671f9f85565fccc',1,'SVF::ConstraintGraph']]],
+  ['issinglevaluetype_9369',['isSingleValueType',['../classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6',1,'SVF::SVFType']]],
+  ['issink_9370',['isSink',['../classSVF_1_1SVFGStat.html#ae905f0d64db3039f8fd3c117c4624e31',1,'SVF::SVFGStat::isSink()'],['../classSVF_1_1SrcSnkDDA.html#a703bfc5c825d66fdb0d74eb89d181581',1,'SVF::SrcSnkDDA::isSink()']]],
+  ['issinklikefun_9371',['isSinkLikeFun',['../classSVF_1_1FileChecker.html#aac61c4566cd79827879f4862664a432e',1,'SVF::FileChecker::isSinkLikeFun()'],['../classSVF_1_1LeakChecker.html#aa45d35a0dc5162e8cef8b27b92ff243d',1,'SVF::LeakChecker::isSinkLikeFun()'],['../classSVF_1_1SrcSnkDDA.html#ab392142d8b4610635aef32c2f7ea8f91',1,'SVF::SrcSnkDDA::isSinkLikeFun()']]],
+  ['issomepathreachable_9372',['isSomePathReachable',['../classSVF_1_1SrcSnkDDA.html#a19ab6f6df2a67b294268cfe7f4287fd7',1,'SVF::SrcSnkDDA']]],
+  ['issource_9373',['isSource',['../classSVF_1_1SVFGStat.html#a72c93b86e95bdbe32ade33f7264f4c0a',1,'SVF::SVFGStat::isSource()'],['../classSVF_1_1SrcSnkDDA.html#a815e39e7c65ed9a250cafe40f74a4ba1',1,'SVF::SrcSnkDDA::isSource()']]],
+  ['issourcelikefun_9374',['isSourceLikeFun',['../classSVF_1_1FileChecker.html#ab2ed4c1d3aa00ac663441f32d9f3115f',1,'SVF::FileChecker::isSourceLikeFun()'],['../classSVF_1_1LeakChecker.html#afeee30f5f0c08d9aed59be3064bcc134',1,'SVF::LeakChecker::isSourceLikeFun()'],['../classSVF_1_1SrcSnkDDA.html#af5a96bfc0f214a14dd2b3e1a46177d3c',1,'SVF::SrcSnkDDA::isSourceLikeFun()']]],
+  ['isspawneefun_9375',['isSpawneeFun',['../classSVF_1_1PCG.html#aa894020740c6d6ad8a179133f628a573',1,'SVF::PCG']]],
+  ['isspawnerfun_9376',['isSpawnerFun',['../classSVF_1_1PCG.html#a49d2755072df3c5012bc602ac1501bdc',1,'SVF::PCG']]],
+  ['isspawnsite_9377',['isSpawnsite',['../classSVF_1_1PCG.html#a7a9d65698363d5f18c2556ead635cdf8',1,'SVF::PCG']]],
+  ['isspuriousvfedgeatindcallsite_9378',['isSpuriousVFEdgeAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#a9e8da6a516ed6598c66d81a0891fbb6e',1,'SVF::SVFGBuilder']]],
+  ['isstack_9379',['isStack',['../classSVF_1_1MemObj.html#af7316c697eafc71d5fc93108da4e2cee',1,'SVF::MemObj::isStack()'],['../classSVF_1_1ObjTypeInfo.html#aa568dc82decd28d2ef40785a4a647602',1,'SVF::ObjTypeInfo::isStack()']]],
+  ['isstaticextcall_9380',['isStaticExtCall',['../namespaceSVF_1_1SVFUtil.html#ae62938f722543d6d7fc201b685be1abf',1,'SVF::SVFUtil::isStaticExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a',1,'SVF::SVFUtil::isStaticExtCall(const SVFInstruction *inst)']]],
+  ['isstaticextfun_9381',['isStaticExtFun',['../namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5',1,'SVF::SVFUtil']]],
+  ['isstaticobj_9382',['isStaticObj',['../classSVF_1_1MemObj.html#a954eba54eda95e6735eb1d32bd8a276e',1,'SVF::MemObj::isStaticObj()'],['../classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523',1,'SVF::ObjTypeInfo::isStaticObj()']]],
+  ['isstore_9383',['isStore',['../classSVF_1_1VersionedFlowSensitive.html#aac920c9a5f13dd147e3c130425e005eb',1,'SVF::VersionedFlowSensitive']]],
+  ['isstrongupdate_9384',['isStrongUpdate',['../classSVF_1_1DDAVFSolver.html#a94bcddbc7b9ccecb3fbb693b13372785',1,'SVF::DDAVFSolver::isStrongUpdate()'],['../classSVF_1_1SaberSVFGBuilder.html#a21c20865a0093192978cec09ce09f20b',1,'SVF::SaberSVFGBuilder::isStrongUpdate()'],['../classSVF_1_1FlowSensitive.html#a42a7e39e0e15576742f8ba7c32579ea2',1,'SVF::FlowSensitive::isStrongUpdate()']]],
+  ['isstruct_9385',['isStruct',['../classSVF_1_1MemObj.html#a132df66e2751e5db6b0ba82d767a3286',1,'SVF::MemObj::isStruct()'],['../classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a',1,'SVF::ObjTypeInfo::isStruct()']]],
+  ['issubset_9386',['isSubset',['../classSVF_1_1CondPointsToSet.html#acefec4fbacde1099d3dc81ab45ab9b8c',1,'SVF::CondPointsToSet']]],
+  ['issvfgnodeincycle_9387',['isSVFGNodeInCycle',['../classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93',1,'SVF::DDAVFSolver']]],
+  ['issym_9388',['isSym',['../classSVF_1_1SingleAbsValue.html#a948aca85133c7045d508b8ee33dabe91',1,'SVF::SingleAbsValue']]],
+  ['issymbolabsvalue_9389',['isSymbolAbsValue',['../classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12',1,'SVF::SingleAbsValue']]],
+  ['istailofspan_9390',['isTailofSpan',['../classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f',1,'SVF::MTASVFGBuilder::isTailofSpan(const StmtSVFGNode *n, LockAnalysis::LockSpan lspan)'],['../classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023',1,'SVF::MTASVFGBuilder::isTailofSpan(const StmtSVFGNode *n, InstSet mergespan)'],['../classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05',1,'SVF::MTASVFGBuilder::isTailofSpan(const StmtSVFGNode *n)']]],
+  ['istdacquire_9391',['isTDAcquire',['../classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3',1,'SVF::LockAnalysis::isTDAcquire()'],['../classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8',1,'SVF::ThreadAPI::isTDAcquire(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837',1,'SVF::ThreadAPI::isTDAcquire(CallSite cs) const']]],
+  ['istdbarwait_9392',['isTDBarWait',['../classSVF_1_1ThreadAPI.html#a62a5d4709eb9f1e4e9dd20b87dac8c42',1,'SVF::ThreadAPI::isTDBarWait(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585',1,'SVF::ThreadAPI::isTDBarWait(CallSite cs) const']]],
+  ['istdexit_9393',['isTDExit',['../classSVF_1_1ThreadAPI.html#a3e175d985de53d0aadb026168e8a1a0e',1,'SVF::ThreadAPI::isTDExit(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f',1,'SVF::ThreadAPI::isTDExit(CallSite cs) const']]],
+  ['istdfork_9394',['isTDFork',['../classSVF_1_1LockAnalysis.html#a6039a72839e5eaf27c4c19c2e8316321',1,'SVF::LockAnalysis::isTDFork()'],['../classSVF_1_1MHP.html#a7af8320c524acaf3cf004ff37f9b4e42',1,'SVF::MHP::isTDFork()'],['../classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7',1,'SVF::ForkJoinAnalysis::isTDFork()'],['../classSVF_1_1ThreadAPI.html#a4bacbfb6648de8196217c83b5d73b876',1,'SVF::ThreadAPI::isTDFork(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a261eb3c2f7e44a81edf4feddfc65a3cc',1,'SVF::ThreadAPI::isTDFork(CallSite cs) const']]],
+  ['istdjoin_9395',['isTDJoin',['../classSVF_1_1MHP.html#a3352c8718f909c9fbed4ef7f5cf050a2',1,'SVF::MHP::isTDJoin()'],['../classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f',1,'SVF::ForkJoinAnalysis::isTDJoin()'],['../classSVF_1_1ThreadAPI.html#a68b10ffa2775fe7d8c1476409c0f54ab',1,'SVF::ThreadAPI::isTDJoin(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b',1,'SVF::ThreadAPI::isTDJoin(CallSite cs) const']]],
+  ['istdrelease_9396',['isTDRelease',['../classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a',1,'SVF::LockAnalysis::isTDRelease()'],['../classSVF_1_1ThreadAPI.html#a1d5c84fd83e120820bfb3458e0231fdf',1,'SVF::ThreadAPI::isTDRelease(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f',1,'SVF::ThreadAPI::isTDRelease(CallSite cs) const']]],
+  ['istemplate_9397',['isTemplate',['../classSVF_1_1DCHNode.html#ada436c7cb9108898c520952a87ebd01d',1,'SVF::DCHNode::isTemplate()'],['../classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749',1,'SVF::CHNode::isTemplate()']]],
+  ['isterminator_9398',['isTerminator',['../classSVF_1_1SVFInstruction.html#afbf703f88da59d2b30c14c7d40e5e22d',1,'SVF::SVFInstruction']]],
+  ['istestcontainsnullandthevalue_9399',['isTestContainsNullAndTheValue',['../classSVF_1_1SaberCondAllocator.html#a34be6721a311d72dcd355eeb41dbd3e1',1,'SVF::SaberCondAllocator']]],
+  ['istestnotnullexpr_9400',['isTestNotNullExpr',['../classSVF_1_1SaberCondAllocator.html#a4fc06192d4f7db305c3414a39e7c2b49',1,'SVF::SaberCondAllocator']]],
+  ['istestnullexpr_9401',['isTestNullExpr',['../classSVF_1_1SaberCondAllocator.html#accf26eb31e7724daa3ba9170feee9644',1,'SVF::SaberCondAllocator']]],
+  ['isthreadexitcall_9402',['isThreadExitCall',['../namespaceSVF_1_1SVFUtil.html#a3af5073a1cdc000678f7e4bbc943f5d5',1,'SVF::SVFUtil::isThreadExitCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a916f308f05ef0711f0aa32a8e6f96986',1,'SVF::SVFUtil::isThreadExitCall(const SVFInstruction *inst)']]],
+  ['isthreadforkcall_9403',['isThreadForkCall',['../namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0',1,'SVF::SVFUtil::isThreadForkCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#ae3abb438b0182c32abfbd6a625a24041',1,'SVF::SVFUtil::isThreadForkCall(const SVFInstruction *inst)']]],
+  ['isthreadjoincall_9404',['isThreadJoinCall',['../namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a',1,'SVF::SVFUtil::isThreadJoinCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#ad96e4550fca39e3edb362326a4cf1913',1,'SVF::SVFUtil::isThreadJoinCall(const SVFInstruction *inst)']]],
+  ['isthreadmhpindirectvfgedge_9405',['isThreadMHPIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ace832abe1ec87e3e2338944061d09ea4',1,'SVF::VFGEdge']]],
+  ['istop_9406',['isTop',['../classSVF_1_1AbstractValue.html#a8f470d727f665e3244b222df1eb724b6',1,'SVF::AbstractValue::isTop()'],['../classSVF_1_1AddressValue.html#a3ead18a9602057bb034f8fc447715a06',1,'SVF::AddressValue::isTop()'],['../classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059',1,'SVF::IntervalValue::isTop()'],['../classSVF_1_1SingleAbsValue.html#aab5acb2ae0dfaa7f50dd32b9d43f9de9',1,'SVF::SingleAbsValue::isTop()']]],
+  ['istopabsvalue_9407',['isTopAbsValue',['../classSVF_1_1SingleAbsValue.html#a5749cbe2d0966e65046ce84a78fcba07',1,'SVF::SingleAbsValue']]],
+  ['istoplevelptrstmt_9408',['isTopLevelPtrStmt',['../classSVF_1_1DDAVFSolver.html#a7b35588de00e322afd742041bf735571',1,'SVF::DDAVFSolver']]],
+  ['istruncconstantexpr_9409',['isTruncConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8',1,'SVF::LLVMUtil']]],
+  ['isunaryconstantexpr_9410',['isUnaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a215cc9fd716798bbb7f96f5b64e01349',1,'SVF::LLVMUtil']]],
+  ['isuncalledfunction_9411',['isUncalledFunction',['../classSVF_1_1SVFFunction.html#a818f626cb8b8063b5f3c8928428095b8',1,'SVF::SVFFunction::isUncalledFunction()'],['../namespaceSVF_1_1LLVMUtil.html#a2c61d741afbcfa853b505cd391f29f9b',1,'SVF::LLVMUtil::isUncalledFunction()']]],
+  ['isunconditional_9412',['isUnconditional',['../classSVF_1_1BranchStmt.html#a038d65e38fe792fec4050d3d1c9c5180',1,'SVF::BranchStmt']]],
+  ['isunreachable_9413',['isUnreachable',['../classSVF_1_1SVFLoopAndDomInfo.html#aac4d533d1c7abfefbd54507357e240f4',1,'SVF::SVFLoopAndDomInfo']]],
+  ['isvalidpointer_9414',['isValidPointer',['../classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3',1,'SVF::SVFIR']]],
+  ['isvalidtoplevelptr_9415',['isValidTopLevelPtr',['../classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139',1,'SVF::SVFIR']]],
+  ['isvalvtbl_9416',['isValVtbl',['../namespaceSVF_1_1LLVMUtil.html#a08fbef6fe3e2af96a49f79ce23accb01',1,'SVF::LLVMUtil']]],
+  ['isvararg_9417',['isVarArg',['../classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58',1,'SVF::SVFFunction::isVarArg()'],['../classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05',1,'SVF::SVFCallInst::isVarArg()'],['../classSVF_1_1CallSite.html#abe38a348db833b797f32ecc05f67100c',1,'SVF::CallSite::isVarArg()']]],
+  ['isvararray_9418',['isVarArray',['../classSVF_1_1MemObj.html#a616e9f4d6f82a253f94391c47668b9a6',1,'SVF::MemObj::isVarArray()'],['../classSVF_1_1ObjTypeInfo.html#aca1e900f9b0a774684af77666cf033e3',1,'SVF::ObjTypeInfo::isVarArray()']]],
+  ['isvariantfieldgep_9419',['isVariantFieldGep',['../classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788',1,'SVF::GepStmt']]],
+  ['isvarstruct_9420',['isVarStruct',['../classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf',1,'SVF::MemObj::isVarStruct()'],['../classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5',1,'SVF::ObjTypeInfo::isVarStruct()']]],
+  ['isvirtualcall_9421',['isVirtualCall',['../classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89',1,'SVF::CallSite']]],
+  ['isvirtualcallsite_9422',['isVirtualCallSite',['../namespaceSVF_1_1LLVMUtil.html#ab1b4c565ae6be788b934defc21a5cfaf',1,'SVF::LLVMUtil']]],
+  ['isvirtualmemaddress_9423',['isVirtualMemAddress',['../classSVF_1_1AddressValue.html#ab76f47f97262d40dbbee12f466f746e8',1,'SVF::AddressValue::isVirtualMemAddress()'],['../classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4',1,'SVF::ExeState::isVirtualMemAddress()'],['../classSVF_1_1RelExeState.html#adc3ed92ba80bb95326cbbe675a278879',1,'SVF::RelExeState::isVirtualMemAddress()'],['../classSVF_1_1SVFIR2ConsExeState.html#a0abd7ac1b44cb8ecf73dc19c9957f502',1,'SVF::SVFIR2ConsExeState::isVirtualMemAddress()'],['../classSVF_1_1SVFIR2ItvExeState.html#ae48cc31474d2c1cbc581b8f7ed433a14',1,'SVF::SVFIR2ItvExeState::isVirtualMemAddress()']]],
+  ['isvisited_9424',['isVisited',['../classSVF_1_1CSC.html#a2913a7a83deae0b91f1f42dc45c4f3b2',1,'SVF::CSC']]],
+  ['isvisitedctps_9425',['isVisitedCTPs',['../classSVF_1_1LockAnalysis.html#ad459afc7dd1e6620739eeee2bc4c570e',1,'SVF::LockAnalysis::isVisitedCTPs()'],['../classSVF_1_1TCT.html#a68d2b1107f9cc2edcc01265298b7307c',1,'SVF::TCT::isVisitedCTPs()']]],
+  ['isworklistempty_9426',['isWorklistEmpty',['../classSVF_1_1CFLSolver.html#ab17e45749a732a0ca29eecf6359e2f2f',1,'SVF::CFLSolver::isWorklistEmpty()'],['../classSVF_1_1SrcSnkSolver.html#a8cf98a877e4190f3886b4020006f6383',1,'SVF::SrcSnkSolver::isWorklistEmpty()'],['../classSVF_1_1GraphReachSolver.html#a7bfeccdf602cf901699e806e6c481f26',1,'SVF::GraphReachSolver::isWorklistEmpty()'],['../classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b',1,'SVF::WPASolver::isWorklistEmpty()']]],
+  ['iszero_9427',['isZero',['../classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c',1,'SVF::BoundedZ3Expr']]],
+  ['iszerooffsettedgepcgedge_9428',['isZeroOffsettedGepCGEdge',['../classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6',1,'SVF::ConstraintGraph']]],
+  ['iter_5fadaptor_5fbase_9429',['iter_adaptor_base',['../classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77',1,'SVF::iter_adaptor_base::iter_adaptor_base()=default'],['../classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611',1,'SVF::iter_adaptor_base::iter_adaptor_base(WrappedIteratorT u)']]],
+  ['iter_5frange_9430',['iter_range',['../classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b',1,'SVF::iter_range::iter_range(Container &&c)'],['../classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319',1,'SVF::iter_range::iter_range(IteratorT begin_iterator, IteratorT end_iterator)']]]
 ];