svf-tools 1.0.813 → 1.0.814

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

@@ -1,426 +1,426 @@
 var searchData=
 [
-  ['icfg_9168',['ICFG',['../classSVF_1_1ICFG.html#a683f33b8ad507a33809511954c7c1acb',1,'SVF::ICFG']]],
-  ['icfgbuilder_9169',['ICFGBuilder',['../classSVF_1_1ICFGBuilder.html#a40d50a22a5c2094dbfe5e8516a0deccc',1,'SVF::ICFGBuilder']]],
-  ['icfgedge_9170',['ICFGEdge',['../classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04',1,'SVF::ICFGEdge']]],
-  ['icfgnode_9171',['ICFGNode',['../classSVF_1_1ICFGNode.html#ae6fe836e269ac36f14b2d2b1499a11e6',1,'SVF::ICFGNode']]],
-  ['icfgnodesbegin_9172',['ICFGNodesBegin',['../classSVF_1_1SVFLoop.html#a39d7db54e8dd092fd5420c5332210ed1',1,'SVF::SVFLoop']]],
-  ['icfgnodesend_9173',['ICFGNodesEnd',['../classSVF_1_1SVFLoop.html#a4c96835d38a55423b70b2ce100d76dd2',1,'SVF::SVFLoop']]],
-  ['icfgstat_9174',['ICFGStat',['../classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f',1,'SVF::ICFGStat']]],
-  ['icfgwriter_9175',['ICFGWriter',['../classSVF_1_1ICFGWriter.html#af1e7410c278b429e8466afc8bd8551be',1,'SVF::ICFGWriter']]],
-  ['id_9176',['id',['../classSVF_1_1Z3Expr.html#acdb4fbb53f19bac033e79cfe96ce82ca',1,'SVF::Z3Expr']]],
-  ['identifyfollowers_9177',['identifyFollowers',['../classSVF_1_1PCG.html#ae5ee8cf8cfe42854407190f30f3b6c1b',1,'SVF::PCG']]],
-  ['idtoobjmap_9178',['idToObjMap',['../classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697',1,'SVF::SymbolTableInfo::idToObjMap()'],['../classSVF_1_1SymbolTableInfo.html#adcf3450e3abca33536420271959c56f1',1,'SVF::SymbolTableInfo::idToObjMap() const']]],
-  ['if_9179',['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_9180',['inBackwardSlice',['../classSVF_1_1SVFGStat.html#a6e68486e02db81cbbedc942ace3e9590',1,'SVF::SVFGStat::inBackwardSlice()'],['../classSVF_1_1ProgSlice.html#a066430ffa98a3fa0a5ad48d26e0450f7',1,'SVF::ProgSlice::inBackwardSlice()']]],
-  ['incedgenum_9181',['incEdgeNum',['../classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14',1,'SVF::GenericGraph']]],
-  ['incnodenum_9182',['incNodeNum',['../classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21',1,'SVF::GenericGraph']]],
-  ['incomingaddredges_9183',['incomingAddrEdges',['../classSVF_1_1ConstraintNode.html#ac9bb037a59db6b035c2785cad6ac56aa',1,'SVF::ConstraintNode']]],
-  ['incomingaddrsbegin_9184',['incomingAddrsBegin',['../classSVF_1_1ConstraintNode.html#a19c1ed324f65f4cc58dd2fd21ed4a971',1,'SVF::ConstraintNode']]],
-  ['incomingaddrsend_9185',['incomingAddrsEnd',['../classSVF_1_1ConstraintNode.html#ae8ac9ad8e766b961c7ce06d7219f37af',1,'SVF::ConstraintNode']]],
-  ['incomingloadsbegin_9186',['incomingLoadsBegin',['../classSVF_1_1ConstraintNode.html#a7f591f8eda63abbaaea9a8bfb97f3959',1,'SVF::ConstraintNode']]],
-  ['incomingloadsend_9187',['incomingLoadsEnd',['../classSVF_1_1ConstraintNode.html#a0bfdbe171acd2825055e571f314c0a48',1,'SVF::ConstraintNode']]],
-  ['incomingstoresbegin_9188',['incomingStoresBegin',['../classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714',1,'SVF::ConstraintNode']]],
-  ['incomingstoresend_9189',['incomingStoresEnd',['../classSVF_1_1ConstraintNode.html#a8d58f5224728bb6811f12c94826167f6',1,'SVF::ConstraintNode']]],
-  ['increasenumofobjandnodes_9190',['increaseNumOfObjAndNodes',['../classSVF_1_1NodeIDAllocator.html#a9c45508d535a6c669cfeb150aa4fb71f',1,'SVF::NodeIDAllocator']]],
-  ['increasestacksize_9191',['increaseStackSize',['../namespaceSVF_1_1SVFUtil.html#a0d7588578735679773493ff2d5e458e1',1,'SVF::SVFUtil']]],
-  ['indent_9192',['indent',['../DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269',1,'DCHG.cpp']]],
-  ['index_9193',['index',['../structSVF_1_1SparseBitVectorElement.html#ae63d6fcc488ad3cdcddf35edb4e9c827',1,'SVF::SparseBitVectorElement']]],
-  ['indexforbit_9194',['indexForBit',['../classSVF_1_1CoreBitVector.html#ad73fca28bd4882eaa70817023a632d35',1,'SVF::CoreBitVector']]],
-  ['indirectcallsbegin_9195',['indirectCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#afbdb582d20ab953b2de1f3efacb74679',1,'SVF::PTACallGraphEdge']]],
-  ['indirectcallsend_9196',['indirectCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#a494bc8bacca5ca8d266286f3fb303495',1,'SVF::PTACallGraphEdge']]],
-  ['indirectsvfgedge_9197',['IndirectSVFGEdge',['../classSVF_1_1IndirectSVFGEdge.html#a6d40ccc9b99aec6515c2ef1df5a7b18f',1,'SVF::IndirectSVFGEdge']]],
-  ['indvfedgeend_9198',['indVFEdgeEnd',['../classSVF_1_1SVFGStat.html#a8b3b9a211f410e67e8fd1a79d3db9023',1,'SVF::SVFGStat']]],
-  ['indvfedgestart_9199',['indVFEdgeStart',['../classSVF_1_1SVFGStat.html#adcb30427bb220dc122ad22030e10eb21',1,'SVF::SVFGStat']]],
-  ['inedgebegin_9200',['InEdgeBegin',['../classSVF_1_1CFBasicBlockNode.html#a36e13381f80af68ba51a038314ae8b39',1,'SVF::CFBasicBlockNode::InEdgeBegin()'],['../classSVF_1_1CFBasicBlockNode.html#ad3c5860db2e113dd4142ae3b352cece3',1,'SVF::CFBasicBlockNode::InEdgeBegin() const'],['../classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7',1,'SVF::GenericNode::InEdgeBegin()'],['../classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39',1,'SVF::GenericNode::InEdgeBegin() const']]],
-  ['inedgeend_9201',['InEdgeEnd',['../classSVF_1_1CFBasicBlockNode.html#a8a9df60ba644f5387506c8bec1fea61d',1,'SVF::CFBasicBlockNode::InEdgeEnd()'],['../classSVF_1_1CFBasicBlockNode.html#a61b196ea7066522bac602b16c1862905',1,'SVF::CFBasicBlockNode::InEdgeEnd() const'],['../classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900',1,'SVF::GenericNode::InEdgeEnd()'],['../classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07',1,'SVF::GenericNode::InEdgeEnd() const']]],
-  ['inedgesbegin_9202',['inEdgesBegin',['../classSVF_1_1SVFLoop.html#ad23cbd43efdf66427f489cc602ae84cf',1,'SVF::SVFLoop']]],
-  ['inedgesend_9203',['inEdgesEnd',['../classSVF_1_1SVFLoop.html#ae5ba7f837d6ff6e120dd3312bd18566a',1,'SVF::SVFLoop']]],
-  ['inet_5fntop_9204',['inet_ntop',['../extapi_8c.html#a815550360dffb66bbe62df2586b5bceb',1,'extapi.c']]],
-  ['inferfieldidxfrombyteoffset_9205',['inferFieldIdxFromByteOffset',['../classSVF_1_1SVFIRBuilder.html#a04d688ae4f93354327a6c0ad4f255ade',1,'SVF::SVFIRBuilder']]],
-  ['inferfromcallgraph_9206',['inferFromCallGraph',['../classSVF_1_1PCG.html#adff1702e1b0a902de7ded742846fe137',1,'SVF::PCG']]],
-  ['infilter_9207',['inFilter',['../classSVF_1_1LockResultValidator.html#a5fca287b181582302c24864c3f397340',1,'SVF::LockResultValidator']]],
-  ['inforwardslice_9208',['inForwardSlice',['../classSVF_1_1SVFGStat.html#adc6a5c3e430bdf942f1462e101ac6917',1,'SVF::SVFGStat::inForwardSlice()'],['../classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6',1,'SVF::ProgSlice::inForwardSlice()']]],
-  ['init_9209',['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()']]],
-  ['initcfbasicblockgnodes_9210',['initCFBasicBlockGNodes',['../classSVF_1_1CFBasicBlockGBuilder.html#a43c0cba051306acc6440f60165b835e6',1,'SVF::CFBasicBlockGBuilder']]],
-  ['initcxtinsensitiveedges_9211',['initCxtInsensitiveEdges',['../classSVF_1_1DDAPass.html#add44aee75c9a59327b4eb46774551e2b',1,'SVF::DDAPass']]],
-  ['initdefault_9212',['initDefault',['../classSVF_1_1DDAStat.html#ac7275c99ddd118696853188154ad6fbd',1,'SVF::DDAStat']]],
-  ['initdomtree_9213',['initDomTree',['../classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d',1,'SVF::LLVMModuleSet']]],
-  ['initexestate_9214',['initExeState',['../classSVF_1_1ConsExeState.html#a5a1da3b1c8cdc3b3e07fe20124f6eeea',1,'SVF::ConsExeState']]],
-  ['initfromthreadapi_9215',['initFromThreadAPI',['../classSVF_1_1PCG.html#a23752f0a9fe4f01698808d0a50ccc896',1,'SVF::PCG']]],
-  ['initialglobal_9216',['InitialGlobal',['../classSVF_1_1SVFIRBuilder.html#ae7fcd2050a57a43bfed2c7fd1c41d250',1,'SVF::SVFIRBuilder']]],
-  ['initialise_9217',['initialise',['../classSVF_1_1DDAClient.html#a40f6d8769db41f4c907fe5b615e5df83',1,'SVF::DDAClient']]],
-  ['initialisecandidatepointers_9218',['initialiseCandidatePointers',['../classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5',1,'SVF::SVFIR']]],
-  ['initialisenodes_9219',['initialiseNodes',['../classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71',1,'SVF::SVFIRBuilder']]],
-  ['initialize_9220',['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_9221',['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_9222',['initialWorkList',['../classSVF_1_1SVFGOPT.html#ae825e01893d3304379f72380d314f09c',1,'SVF::SVFGOPT']]],
-  ['initobjvar_9223',['initObjVar',['../classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0',1,'SVF::SVFIR2ConsExeState::initObjVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d',1,'SVF::SVFIR2ItvExeState::initObjVar()']]],
-  ['initsnks_9224',['initSnks',['../classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c',1,'SVF::LeakChecker::initSnks()'],['../classSVF_1_1SrcSnkDDA.html#a0f6cfa30c346aab1fb03a44e47c32559',1,'SVF::SrcSnkDDA::initSnks()']]],
-  ['initsrcs_9225',['initSrcs',['../classSVF_1_1LeakChecker.html#a273a7bfc3e81505ec971ca1d419bb565',1,'SVF::LeakChecker::initSrcs()'],['../classSVF_1_1SrcSnkDDA.html#a1c8f91ffa0b9f01d51c8cd5e14f076d5',1,'SVF::SrcSnkDDA::initSrcs()']]],
-  ['initstats_9226',['initStats',['../classSVF_1_1PersistentPointsToCache.html#ab19e4e17b1896565e0bada1f161d1266',1,'SVF::PersistentPointsToCache']]],
-  ['initsvfbasicblock_9227',['initSVFBasicBlock',['../classSVF_1_1LLVMModuleSet.html#a20162d2894d6a12ba29410311fba4002',1,'SVF::LLVMModuleSet']]],
-  ['initsvffunction_9228',['initSVFFunction',['../classSVF_1_1LLVMModuleSet.html#ac6a5540354696f4c9170e0a5832ba70e',1,'SVF::LLVMModuleSet']]],
-  ['initsvfvar_9229',['initSVFVar',['../classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857',1,'SVF::SVFIR2ConsExeState::initSVFVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#af5d05c5316127cfe8d975a3a0a23798b',1,'SVF::SVFIR2ItvExeState::initSVFVar()']]],
-  ['inittypeinfo_9230',['initTypeInfo',['../classSVF_1_1SymbolTableBuilder.html#ae938564e6a36848cb848a5badc15a1de',1,'SVF::SymbolTableBuilder']]],
-  ['initvalvar_9231',['initValVar',['../classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8',1,'SVF::SVFIR2ConsExeState::initValVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#a61d288c8dc621a0578faa5ff784f4b6e',1,'SVF::SVFIR2ItvExeState::initValVar()']]],
-  ['initworklist_9232',['initWorklist',['../classSVF_1_1Andersen.html#a9075cd05cb21e0f08a1109b7af6c7480',1,'SVF::Andersen::initWorklist()'],['../classSVF_1_1WPASolver.html#a7195381c3aab04890139b4fe2c561909',1,'SVF::WPASolver::initWorklist()']]],
-  ['inlocalloctoaddrstable_9233',['inLocalLocToAddrsTable',['../classSVF_1_1ConsExeState.html#af8f2b698dd97793b0124cd5a4ac4d035',1,'SVF::ConsExeState::inLocalLocToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb',1,'SVF::IntervalExeState::inLocalLocToAddrsTable()']]],
-  ['inlocalloctovaltable_9234',['inLocalLocToValTable',['../classSVF_1_1ConsExeState.html#a8da7bf977911ca6d3bd27f38ef852321',1,'SVF::ConsExeState::inLocalLocToValTable(u32_t varId) const'],['../classSVF_1_1ConsExeState.html#aa4a3abdc9a7fe9af0b82190bf7827efa',1,'SVF::ConsExeState::inLocalLocToValTable(const SingleAbsValue &addr) const'],['../classSVF_1_1IntervalExeState.html#a6fdad70e3a0b39e146f0b93f24f055c6',1,'SVF::IntervalExeState::inLocalLocToValTable()']]],
-  ['inloctoaddrstable_9235',['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()']]],
-  ['inloctovaltable_9236',['inLocToValTable',['../classSVF_1_1ConsExeState.html#a4481c80fcf9c64f23e8a216dfc01869a',1,'SVF::ConsExeState::inLocToValTable()'],['../classSVF_1_1IntervalExeState.html#af278d2193ba8931cce4cf5398cc33b02',1,'SVF::IntervalExeState::inLocToValTable()'],['../classSVF_1_1SVFIR2ConsExeState.html#a73a8f1354e22d41078abe3466b202df2',1,'SVF::SVFIR2ConsExeState::inLocToValTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a808fdc8ff7637d1c9515e71815548983',1,'SVF::SVFIR2ItvExeState::inLocToValTable()']]],
-  ['innodetocycledepth_9237',['inNodeToCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#a646f67339a7751f0e10ea42143e6894d',1,'SVF::CFBasicBlockGWTO']]],
-  ['insamecallgraphscc_9238',['inSameCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae58c2b25494ec51e714c83c6cfd5dd67',1,'SVF::PointerAnalysis::inSameCallGraphSCC()'],['../classSVF_1_1TCT.html#a95cd490d37f8831edc6910f7ecdf413e',1,'SVF::TCT::inSameCallGraphSCC()']]],
-  ['inscc_9239',['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_9240',['insert',['../classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0',1,'SVF::AddressValue']]],
-  ['insertattribute_9241',['insertAttribute',['../classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20',1,'SVF::GrammarBase']]],
-  ['insertbranchcondition_9242',['insertBranchCondition',['../classSVF_1_1CDGEdge.html#ae9624672c9dc368f8ae2a091ca7523c5',1,'SVF::CDGEdge']]],
-  ['insertebnfsigns_9243',['insertEBNFSigns',['../classSVF_1_1GrammarBase.html#a2af19122bccb7ca0c7ab44a07a1bdfb1',1,'SVF::GrammarBase']]],
-  ['insertedge_5fh_9244',['insertEdge_h',['../classSVF_1_1POCRHybridSolver.html#a122025228d5ca57e287f7fe85f279765',1,'SVF::POCRHybridSolver']]],
-  ['insertkey_9245',['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_9246',['insertKeyNode',['../classSVF_1_1SymState.html#ad3dd094395543f5459c6cbde859ab775',1,'SVF::SymState']]],
-  ['insertnonterminalkind_9247',['insertNonterminalKind',['../classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0',1,'SVF::GrammarBase']]],
-  ['insertnonterminalsymbol_9248',['insertNonTerminalSymbol',['../classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b',1,'SVF::GrammarBase']]],
-  ['insertphi_9249',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
-  ['insertsymbol_9250',['insertSymbol',['../classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84',1,'SVF::GrammarBase']]],
-  ['insertterminalkind_9251',['insertTerminalKind',['../classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542',1,'SVF::GrammarBase']]],
-  ['insertterminalsymbol_9252',['insertTerminalSymbol',['../classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8',1,'SVF::GrammarBase']]],
-  ['inserttocflgrammar_9253',['insertToCFLGrammar',['../classSVF_1_1CFGNormalizer.html#a676f99f3af1dfb9e118717913982120d',1,'SVF::CFGNormalizer']]],
-  ['interdisjointmrg_9254',['InterDisjointMRG',['../classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428',1,'SVF::InterDisjointMRG']]],
-  ['interferenceanalysis_9255',['interferenceAnalysis',['../classSVF_1_1PCG.html#a057887f3d5fd3b9b414e573b3f9f4548',1,'SVF::PCG']]],
-  ['intericfgnode_9256',['InterICFGNode',['../classSVF_1_1InterICFGNode.html#a192826ba075a80add6a39a039a32bc05',1,'SVF::InterICFGNode']]],
-  ['intermssaphisvfgnode_9257',['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_9258',['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_9259',['intersect',['../classSVF_1_1LockAnalysis.html#aeb479eeac0fdde1486c78da68fc82383',1,'SVF::LockAnalysis']]],
-  ['intersectpts_9260',['intersectPts',['../classSVF_1_1PersistentPointsToCache.html#a17d33558208c19019e541ee167009494',1,'SVF::PersistentPointsToCache']]],
-  ['intersects_9261',['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_9262',['intersectWith',['../structSVF_1_1SparseBitVectorElement.html#a2f62812b261a83b19aab46c0961bfcb4',1,'SVF::SparseBitVectorElement']]],
-  ['intersectwithcomplement_9263',['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_9264',['Interval2NumValue',['../classSVF_1_1IntervalExeState.html#a12fe65f05dfe7a01e771e0b9990faba8',1,'SVF::IntervalExeState']]],
-  ['intervalexestate_9265',['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_9266',['IntervalValue',['../classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0',1,'SVF::IntervalValue::IntervalValue()'],['../classSVF_1_1IntervalValue.html#a22796c07a495e1af7252b3dcb60d9940',1,'SVF::IntervalValue::IntervalValue(s64_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#a6ec0263a3036734c28cd241007f8a490',1,'SVF::IntervalValue::IntervalValue(s64_t lb, s64_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_9267',['intraBackwardTraverse',['../classSVF_1_1LockAnalysis.html#a5f693c893f3701e1e025881f91193d53',1,'SVF::LockAnalysis']]],
-  ['intracfgedge_9268',['IntraCFGEdge',['../classSVF_1_1IntraCFGEdge.html#aeab701d63caadf8effabdbd23ac0cd49',1,'SVF::IntraCFGEdge']]],
-  ['intradirsvfgedge_9269',['IntraDirSVFGEdge',['../classSVF_1_1IntraDirSVFGEdge.html#a2157a56f5d707a946e2ad54219fdc69a',1,'SVF::IntraDirSVFGEdge']]],
-  ['intradisjointmrg_9270',['IntraDisjointMRG',['../classSVF_1_1IntraDisjointMRG.html#ae4bc9b653e15ce876579741e91a463ae',1,'SVF::IntraDisjointMRG']]],
-  ['intraforwardtraverse_9271',['intraForwardTraverse',['../classSVF_1_1LockAnalysis.html#a7b943f626a551c0fcd6761fc42728e9d',1,'SVF::LockAnalysis']]],
-  ['intraicfgnode_9272',['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_9273',['IntraIndSVFGEdge',['../classSVF_1_1IntraIndSVFGEdge.html#ab2b1f7610737c6f0a5a94b8a7e629110',1,'SVF::IntraIndSVFGEdge']]],
-  ['intramssaphisvfgnode_9274',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d',1,'SVF::IntraMSSAPHISVFGNode']]],
-  ['intraphivfgnode_9275',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3',1,'SVF::IntraPHIVFGNode']]],
-  ['invartoaddrstable_9276',['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()']]],
-  ['invartovaltable_9277',['inVarToValTable',['../classSVF_1_1ConsExeState.html#ad42a15421be927dbb4eb7efb10548850',1,'SVF::ConsExeState::inVarToValTable()'],['../classSVF_1_1IntervalExeState.html#aba57b0f3c813c47c1b69915f145efbd6',1,'SVF::IntervalExeState::inVarToValTable()'],['../classSVF_1_1SVFIR2ConsExeState.html#a734006d65a35034fa2d32282c7dce47f',1,'SVF::SVFIR2ConsExeState::inVarToValTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a8380eb5e2424c8c7bd290962f04a17ba',1,'SVF::SVFIR2ItvExeState::inVarToValTable()']]],
-  ['inverse_9278',['Inverse',['../structSVF_1_1Inverse.html#a9bff8acbcb891eeaeb6a9324312358a0',1,'SVF::Inverse']]],
-  ['inverse_5fchildren_9279',['inverse_children',['../namespaceSVF.html#a155eb379cf271ac550333afb13cb36fa',1,'SVF']]],
-  ['inverse_5fnodes_9280',['inverse_nodes',['../namespaceSVF.html#a6506af0b08e86390c0e4786b6ee294ae',1,'SVF']]],
-  ['irgraph_9281',['IRGraph',['../classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28',1,'SVF::IRGraph']]],
-  ['is_5falloc_9282',['is_alloc',['../classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d',1,'SVF::ExtAPI']]],
-  ['is_5farg_5falloc_9283',['is_arg_alloc',['../classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477',1,'SVF::ExtAPI']]],
-  ['is_5fbool_9284',['is_bool',['../classSVF_1_1Z3Expr.html#aa4344471835568e6101780d3aece1900',1,'SVF::Z3Expr']]],
-  ['is_5fext_9285',['is_ext',['../classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2',1,'SVF::ExtAPI']]],
-  ['is_5finfinite_9286',['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_9287',['is_infinity',['../classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d',1,'SVF::NumericLiteral']]],
-  ['is_5fmemcpy_9288',['is_memcpy',['../classSVF_1_1ExtAPI.html#aadc8f2e0ff777e3f611a7d741def0742',1,'SVF::ExtAPI']]],
-  ['is_5fmemset_9289',['is_memset',['../classSVF_1_1ExtAPI.html#a9f6e5cd617ab57ef9da0bab6c3c9cdc8',1,'SVF::ExtAPI']]],
-  ['is_5fminus_5finfinite_9290',['is_minus_infinite',['../classSVF_1_1BoundedZ3Expr.html#a90c87bed7210246db310dbecc61326ac',1,'SVF::BoundedZ3Expr']]],
-  ['is_5fminus_5finfinity_9291',['is_minus_infinity',['../classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15',1,'SVF::NumericLiteral']]],
-  ['is_5fnumeral_9292',['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_9293',['is_plus_infinite',['../classSVF_1_1BoundedZ3Expr.html#a1b58a124940bbc4da8c09f2b63b24b0c',1,'SVF::BoundedZ3Expr']]],
-  ['is_5fplus_5finfinity_9294',['is_plus_infinity',['../classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7',1,'SVF::NumericLiteral']]],
-  ['is_5frealloc_9295',['is_realloc',['../classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4',1,'SVF::ExtAPI']]],
-  ['is_5ftrue_9296',['is_true',['../classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c',1,'SVF::BoundedZ3Expr']]],
-  ['is_5fzero_9297',['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_9298',['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_9299',['isActualOUTPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301',1,'SVF::InterMSSAPHISVFGNode']]],
-  ['isactualretphi_9300',['isActualRetPHI',['../classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4',1,'SVF::InterPHIVFGNode']]],
-  ['isagg_9301',['isAgg',['../classSVF_1_1DCHGraph.html#a9d2be5aec5216cbc1d1709b41f79c44b',1,'SVF::DCHGraph']]],
-  ['isaliasedforkjoin_9302',['isAliasedForkJoin',['../classSVF_1_1ForkJoinAnalysis.html#a209ab13297e61f980cdf350e8fe2a9b4',1,'SVF::ForkJoinAnalysis']]],
-  ['isaliasedlocks_9303',['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_9304',['isAliasedMR',['../classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a',1,'SVF::MRGenerator']]],
-  ['isallpathreachable_9305',['isAllPathReachable',['../classSVF_1_1SaberCondAllocator.html#a246da0431273c312800459aa85d80a86',1,'SVF::SaberCondAllocator::isAllPathReachable()'],['../classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0',1,'SVF::SrcSnkDDA::isAllPathReachable()']]],
-  ['isallreachable_9306',['isAllReachable',['../classSVF_1_1ProgSlice.html#a2f96f034b7236791fe1d4d351174722e',1,'SVF::ProgSlice']]],
-  ['isalnum_9307',['isalnum',['../extapi_8c.html#abe92a0aebef4717d08c64655ac44c9af',1,'extapi.c']]],
-  ['isalpha_9308',['isalpha',['../extapi_8c.html#af947cbf1ae303e5297c9d68c68a6b9cb',1,'extapi.c']]],
-  ['isanallocationwraper_9309',['isAnAllocationWraper',['../namespaceSVF_1_1SVFUtil.html#a2c47299fdf0ca0d08578ded6348f77c2',1,'SVF::SVFUtil']]],
-  ['isargofuncalledfunction_9310',['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_9311',['isArray',['../classSVF_1_1MemObj.html#aeba6eeed4843a1a90cf1d4b7deb197af',1,'SVF::MemObj::isArray()'],['../classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1',1,'SVF::ObjTypeInfo::isArray()']]],
-  ['isarraycondmemobj_9312',['isArrayCondMemObj',['../classSVF_1_1DDAVFSolver.html#a9aaa5ee3dc8abc51c4b6e463e1949ee7',1,'SVF::DDAVFSolver']]],
-  ['isarraymemobj_9313',['isArrayMemObj',['../classSVF_1_1PointerAnalysis.html#a89dfeedf8e3e91603a1e9c73e3608a73',1,'SVF::PointerAnalysis']]],
-  ['isarrayty_9314',['isArrayTy',['../classSVF_1_1SVFType.html#a330084f9a3deb6e5acb52a8ee3eb7fe4',1,'SVF::SVFType']]],
-  ['isbackicfgedge_9315',['isBackICFGEdge',['../classSVF_1_1SVFLoop.html#a7283685960ed98e1a292e3f688d9aa2b',1,'SVF::SVFLoop']]],
-  ['isbarrierwaitcall_9316',['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_9317',['isBase',['../classSVF_1_1DCHGraph.html#ab33f9af6ad22eb99dd0d9950fb0e50e6',1,'SVF::DCHGraph']]],
-  ['isbbcallsprogexit_9318',['isBBCallsProgExit',['../classSVF_1_1SaberCondAllocator.html#a9d626dea5aa694799ec15a3b64021a35',1,'SVF::SaberCondAllocator']]],
-  ['isbinaryconstantexpr_9319',['isBinaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a35b36394af726c679fe2c1b6051db7c4',1,'SVF::LLVMUtil']]],
-  ['isbkvisited_9320',['isbkVisited',['../classSVF_1_1DDAVFSolver.html#a9a9c3a8b5e4ffc89418073110e446f20',1,'SVF::DDAVFSolver']]],
-  ['isblackhole_9321',['isblackHole',['../classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73',1,'SVF::SVFValue']]],
-  ['isblackholeobj_9322',['isBlackHoleObj',['../classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c',1,'SVF::MemObj']]],
-  ['isblackholesym_9323',['isBlackholeSym',['../namespaceSVF_1_1LLVMUtil.html#abf4e75ba6236136399d45c85be2328fe',1,'SVF::LLVMUtil']]],
-  ['isblank_9324',['isblank',['../extapi_8c.html#aaecd098576b00440124c44580144e8d5',1,'extapi.c']]],
-  ['isblkobj_9325',['isBlkObj',['../classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad',1,'SVF::SVFIR::isBlkObj()'],['../classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3',1,'SVF::SymbolTableInfo::isBlkObj()']]],
-  ['isblkobjorconstantobj_9326',['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_9327',['isBlkPtr',['../classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997',1,'SVF::SVFIR::isBlkPtr()'],['../classSVF_1_1SymbolTableInfo.html#acba43b6e9cdf07afaf3d30351aa8df7c',1,'SVF::SymbolTableInfo::isBlkPtr()']]],
-  ['isbool_9328',['isBool',['../classOptionBase.html#acd2a32f510c026154665f7d874f3f362',1,'OptionBase::isBool()'],['../classOption.html#a910cf3c0ac5d45ee169cb8750898ea0b',1,'Option::isBool()']]],
-  ['isbottom_9329',['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_9330',['isBottomAbsValue',['../classSVF_1_1SingleAbsValue.html#a5ece7dbaa27e73795a89adb90afe60fe',1,'SVF::SingleAbsValue']]],
-  ['isbuiltfromfile_9331',['isBuiltFromFile',['../classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98',1,'SVF::IRGraph']]],
-  ['iscallcfgedge_9332',['isCallCFGEdge',['../classSVF_1_1ICFGEdge.html#a2ecc0bc3bb3655bf3db3adb732747b49',1,'SVF::ICFGEdge']]],
-  ['iscalldirectvfgedge_9333',['isCallDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a92e3da59f7f5a693945b9a93f169da04',1,'SVF::VFGEdge']]],
-  ['iscalledextfunction_9334',['isCalledExtFunction',['../classSVF_1_1LLVMModuleSet.html#abbca1044dc59299224598ec2ba17fe7e',1,'SVF::LLVMModuleSet']]],
-  ['iscallindirectvfgedge_9335',['isCallIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ae14a5f58064e6c08b53a3cffcc050077',1,'SVF::VFGEdge']]],
-  ['iscallsite_9336',['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_9337',['isCallSiteRetSVFGNode',['../classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59',1,'SVF::SVFG']]],
-  ['iscallvfgedge_9338',['isCallVFGEdge',['../classSVF_1_1VFGEdge.html#a4352297ef44c4eff1efe2f348cce6fe9',1,'SVF::VFGEdge']]],
-  ['iscandidatefun_9339',['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_9340',['isCastConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#af983b0e1fbd371d8672e8f03f63084fc',1,'SVF::LLVMUtil']]],
-  ['iscfgedge_9341',['isCFGEdge',['../classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173',1,'SVF::ICFGEdge']]],
-  ['iscmpconstantexpr_9342',['isCmpConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#aa0b3e34188f721ff7145e47cb607c79a',1,'SVF::LLVMUtil']]],
-  ['iscntrl_9343',['iscntrl',['../extapi_8c.html#a0008a4e8e7889734dc1d83297de07158',1,'extapi.c']]],
-  ['isconcretecxt_9344',['isConcreteCxt',['../classSVF_1_1ContextCond.html#ac5f7388c0bbcee1878201819b9cd199f',1,'SVF::ContextCond']]],
-  ['iscondcompatible_9345',['isCondCompatible',['../classSVF_1_1ContextDDA.html#a57d309971de00db9bd8c6bfaf237cbff',1,'SVF::ContextDDA::isCondCompatible()'],['../classSVF_1_1CondPTAImpl.html#a6b746c30161c7dab86510895e0032935',1,'SVF::CondPTAImpl::isCondCompatible()']]],
-  ['isconditional_9346',['isConditional',['../classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901',1,'SVF::BranchStmt']]],
-  ['isconnectedfrommain_9347',['isConnectedfromMain',['../classSVF_1_1MHP.html#a90c228214643bb6d37bacffc35b99a3e',1,'SVF::MHP']]],
-  ['isconnectingtwocallsites_9348',['isConnectingTwoCallSites',['../classSVF_1_1SVFGOPT.html#aa23c967a8fcadbaf47e93a5b3610c84d',1,'SVF::SVFGOPT']]],
-  ['isconstantarray_9349',['isConstantArray',['../classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb',1,'SVF::MemObj::isConstantArray()'],['../classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212',1,'SVF::ObjTypeInfo::isConstantArray()']]],
-  ['isconstantbytesize_9350',['isConstantByteSize',['../classSVF_1_1MemObj.html#ae47fcecc6380a2d5f2fff469f607af1b',1,'SVF::MemObj::isConstantByteSize()'],['../classSVF_1_1ObjTypeInfo.html#a9d791c6c48a323844d7b7aa8600d77f1',1,'SVF::ObjTypeInfo::isConstantByteSize()']]],
-  ['isconstantobj_9351',['isConstantObj',['../classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156',1,'SVF::SVFIR::isConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a704b917b1e1dbaf9cd758fa9acc1083b',1,'SVF::SymbolTableInfo::isConstantObj()']]],
-  ['isconstantobjsym_9352',['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_9353',['isConstantOffset',['../classSVF_1_1AccessPath.html#a403312192a96a9fd5e7d071481592a7f',1,'SVF::AccessPath::isConstantOffset()'],['../classSVF_1_1GepStmt.html#ab6f37c073e4755c4b8bb3ed6365687f4',1,'SVF::GepStmt::isConstantOffset()']]],
-  ['isconstantstruct_9354',['isConstantStruct',['../classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f',1,'SVF::MemObj::isConstantStruct()'],['../classSVF_1_1ObjTypeInfo.html#a41f916ab4e3a2c163fca636eae948ce7',1,'SVF::ObjTypeInfo::isConstantStruct()']]],
-  ['isconstdataoraggdata_9355',['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_9356',['isConstDataOrAggDataButNotNullPtr',['../classSVF_1_1SVFVar.html#a091ef22d4fc428985d604b03f287a941',1,'SVF::SVFVar']]],
-  ['isconstdataorconstglobal_9357',['isConstDataOrConstGlobal',['../classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0',1,'SVF::MemObj::isConstDataOrConstGlobal()'],['../classSVF_1_1ObjTypeInfo.html#a8e6c60978df9828c1dcb54086e83edc1',1,'SVF::ObjTypeInfo::isConstDataOrConstGlobal()']]],
-  ['isconstructor_9358',['isConstructor',['../namespaceSVF_1_1LLVMUtil.html#a6dd1590b82d2bd86766886bd21bc2b72',1,'SVF::LLVMUtil']]],
-  ['iscppthunkfunction_9359',['isCPPThunkFunction',['../namespaceSVF_1_1LLVMUtil.html#a47bbc0527ced570d576ccc2f9df409cb',1,'SVF::LLVMUtil']]],
-  ['isdeclaration_9360',['isDeclaration',['../classSVF_1_1SVFFunction.html#ab672f0255ec8e42d5e414bc8c72b7c76',1,'SVF::SVFFunction']]],
-  ['isdefofainfout_9361',['isDefOfAInFOut',['../classSVF_1_1SVFGOPT.html#a0e78edc04f5e8bfcca7a3f04f7568665',1,'SVF::SVFGOPT']]],
-  ['isdestructor_9362',['isDestructor',['../namespaceSVF_1_1LLVMUtil.html#a206973624fcc58e6044c884dba23a754',1,'SVF::LLVMUtil']]],
-  ['isdigit_9363',['isdigit',['../extapi_8c.html#a3fa45b35c8abf67a950b6d3d4063dede',1,'extapi.c']]],
-  ['isdirectcalledge_9364',['isDirectCallEdge',['../classSVF_1_1PTACallGraphEdge.html#a8c46ccaa41f6792ca4a31a56548a554a',1,'SVF::PTACallGraphEdge']]],
-  ['isdirectedge_9365',['isdirectEdge',['../classSVF_1_1ConstraintNode.html#a165b41f2849c0f09eb1b15d51a566315',1,'SVF::ConstraintNode']]],
-  ['isdirectvfgedge_9366',['isDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a8777555f00696706de250159b920d14b',1,'SVF::VFGEdge']]],
-  ['isedgeinrecursion_9367',['isEdgeInRecursion',['../classSVF_1_1ContextDDA.html#a525949d1743136466d33bf4dc26ba423',1,'SVF::ContextDDA']]],
-  ['isentryicfgedge_9368',['isEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a3db213cb4aee3308f2dca587ffa1dfd1',1,'SVF::SVFLoop']]],
-  ['iseqcmp_9369',['isEQCmp',['../classSVF_1_1SaberCondAllocator.html#aaa01f2c79866e9eb7818d80b0af2b9f5',1,'SVF::SaberCondAllocator']]],
-  ['isequivalentbranchcond_9370',['isEquivalentBranchCond',['../classSVF_1_1ProgSlice.html#a6c63e9641e4d3d3f2f8c4a73bfba7a07',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71',1,'SVF::SaberCondAllocator::isEquivalentBranchCond()']]],
-  ['isextcall_9371',['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_9372',['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_9373',['isFieldInsenCondMemObj',['../classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170',1,'SVF::DDAVFSolver']]],
-  ['isfieldinsensitive_9374',['isFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#a0f71e4cd0948b294c7d33a690bde7dbe',1,'SVF::PointerAnalysis::isFieldInsensitive()'],['../classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc',1,'SVF::MemObj::isFieldInsensitive()']]],
-  ['isfieldof_9375',['isFieldOf',['../classSVF_1_1DCHGraph.html#af0534356b4a8c68507e1237f1d7a8c11',1,'SVF::DCHGraph']]],
-  ['isfiobjnode_9376',['isFIObjNode',['../classSVF_1_1PointerAnalysis.html#af90d2ccb01402c5ca9d7a059f345c816',1,'SVF::PointerAnalysis']]],
-  ['isfirstfield_9377',['isFirstField',['../classSVF_1_1DCHGraph.html#a2b2dbc52089696854a8339f2e83fc333',1,'SVF::DCHGraph']]],
-  ['isflaged_9378',['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_9379',['isFollowerFun',['../classSVF_1_1PCG.html#a767a7ea009067e7f82bb70b29688a144',1,'SVF::PCG']]],
-  ['isfopen_9380',['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_9381',['isForksite',['../classSVF_1_1ThreadCallGraph.html#a07d3db6ffe8d75effd6fbc3856c484fe',1,'SVF::ThreadCallGraph']]],
-  ['isformalinphi_9382',['isFormalINPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1',1,'SVF::InterMSSAPHISVFGNode']]],
-  ['isformalparmphi_9383',['isFormalParmPHI',['../classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7',1,'SVF::InterPHIVFGNode']]],
-  ['isfulljoin_9384',['isFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#ab55532eefbcef639ced957ad82fbd340',1,'SVF::ForkJoinAnalysis']]],
-  ['isfunction_9385',['isFunction',['../classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b',1,'SVF::MemObj::isFunction()'],['../classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f',1,'SVF::ObjTypeInfo::isFunction()']]],
-  ['isfunctionretphi_9386',['isFunctionRetPhi',['../classSVF_1_1PhiStmt.html#a8e55ddef627096c78bb2c8b6f9c77140',1,'SVF::PhiStmt']]],
-  ['isfunentrysvfgnode_9387',['isFunEntrySVFGNode',['../classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b',1,'SVF::SVFG']]],
-  ['isfunentryvfgnode_9388',['isFunEntryVFGNode',['../classSVF_1_1VFG.html#a8994194bca2edfd9528880390de795ab',1,'SVF::VFG']]],
-  ['isfunptr_9389',['isFunPtr',['../classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97',1,'SVF::SVFIR']]],
-  ['isgepconstantexpr_9390',['isGepConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685',1,'SVF::LLVMUtil']]],
-  ['isglobalobj_9391',['isGlobalObj',['../classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4',1,'SVF::MemObj::isGlobalObj()'],['../classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f',1,'SVF::ObjTypeInfo::isGlobalObj()']]],
-  ['isglobalsvfgnode_9392',['isGlobalSVFGNode',['../classSVF_1_1SaberSVFGBuilder.html#afbcd75844af51ff51c09c377f80a49cf',1,'SVF::SaberSVFGBuilder::isGlobalSVFGNode()'],['../classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7',1,'SVF::SrcSnkDDA::isGlobalSVFGNode()']]],
-  ['isgraph_9393',['isgraph',['../extapi_8c.html#a49f40fd869fd0c90e4497fda08c89561',1,'extapi.c']]],
-  ['ishareparfor_9394',['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_9395',['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_9396',['isHBPair',['../classSVF_1_1MHP.html#a6f07427b45991b2d8a3ff21582121d23',1,'SVF::MHP::isHBPair()'],['../classSVF_1_1ForkJoinAnalysis.html#a86c68ce5fd8825b1593d92a5a5bad389',1,'SVF::ForkJoinAnalysis::isHBPair()']]],
-  ['ishead_9397',['isHead',['../classSVF_1_1CFBasicBlockGWTO.html#ade2b2aa77bba3781ab921d5c36eb881b',1,'SVF::CFBasicBlockGWTO']]],
-  ['isheadofspan_9398',['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_9399',['isHeap',['../classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1',1,'SVF::MemObj::isHeap()'],['../classSVF_1_1ObjTypeInfo.html#a26c179394fbda9a9261d0bf3f52b619d',1,'SVF::ObjTypeInfo::isHeap()']]],
-  ['isheapallocextcall_9400',['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_9401',['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_9402',['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_9403',['isHeapAllocExtFunViaArg',['../namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245',1,'SVF::SVFUtil']]],
-  ['isheapallocextfunviaret_9404',['isHeapAllocExtFunViaRet',['../namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea',1,'SVF::SVFUtil']]],
-  ['isheapcondmemobj_9405',['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_9406',['isHeapMemObj',['../classSVF_1_1PointerAnalysis.html#ae6ea391ac44dffeb6899bb44323c5361',1,'SVF::PointerAnalysis']]],
-  ['ishelpname_9407',['isHelpName',['../classOptionBase.html#ae446d8507843235d8fe71d32bc4bd04b',1,'OptionBase']]],
-  ['isinawrapper_9408',['isInAWrapper',['../classSVF_1_1SrcSnkDDA.html#afc75e55af839ef535d80555fd422342c',1,'SVF::SrcSnkDDA']]],
-  ['isincurbackwardslice_9409',['isInCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4cb2c14431fc432e84d382f8eeb24fe2',1,'SVF::SrcSnkDDA']]],
-  ['isincurforwardslice_9410',['isInCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4bde70a5d9dbf5a9234a93aaeaaacb94',1,'SVF::SrcSnkDDA']]],
-  ['isincurrentscc_9411',['isInCurrentSCC',['../classSVF_1_1WPASCCSolver.html#ae1ed4875e706677acf22a776f7285185',1,'SVF::WPASCCSolver']]],
-  ['isincycle_9412',['isInCycle',['../classSVF_1_1SCCDetection.html#a5d699af73b1e7ad4e3a5f6d26b8b6d15',1,'SVF::SCCDetection::isInCycle()'],['../classSVF_1_1TCTNode.html#a42dde4c3714cc5605f7c0e76cfd4a74c',1,'SVF::TCTNode::isIncycle()'],['../classSVF_1_1CxtThread.html#a54c95794963cb5a478db7c49c1b8c428',1,'SVF::CxtThread::isIncycle()']]],
-  ['isindirectcall_9413',['isIndirectCall',['../classSVF_1_1CallICFGNode.html#aa11226a2e4fa6a7b1d78006cc8ca0518',1,'SVF::CallICFGNode']]],
-  ['isindirectcalledge_9414',['isIndirectCallEdge',['../classSVF_1_1PTACallGraphEdge.html#a74692d47f929dc2188eede497acb91b7',1,'SVF::PTACallGraphEdge']]],
-  ['isindirectcallsites_9415',['isIndirectCallSites',['../classSVF_1_1SVFIR.html#a3dbe0b17694daa74f648a70e77efaf23',1,'SVF::SVFIR']]],
-  ['isindirectedge_9416',['isIndirectEdge',['../classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0',1,'SVF::ConstraintNode']]],
-  ['isindirectvfgedge_9417',['isIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#aa8f30d093d4950724a6688707326b57b',1,'SVF::VFGEdge']]],
-  ['isinicfgedge_9418',['isInICFGEdge',['../classSVF_1_1SVFLoop.html#ae8a579b8798cf14ba8c1d9ee9c355267',1,'SVF::SVFLoop']]],
-  ['isinloop_9419',['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()'],['../classSVF_1_1TCTNode.html#a4541cd85dcde2ce789ea411ebb1d89c7',1,'SVF::TCTNode::isInloop()'],['../classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6',1,'SVF::CxtThread::isInloop()']]],
-  ['isinloopinstruction_9420',['isInLoopInstruction',['../classSVF_1_1TCT.html#af1e7f51f9a3540fa73b856def01da77e',1,'SVF::TCT']]],
-  ['isinrecursion_9421',['isInRecursion',['../classSVF_1_1PointerAnalysis.html#aa725a0c9426e8615cbc078c88561f66a',1,'SVF::PointerAnalysis::isInRecursion()'],['../classSVF_1_1TCT.html#a17a478edc9fac3e501202073100549ff',1,'SVF::TCT::isInRecursion()']]],
-  ['isinsamecispan_9422',['isInSameCISpan',['../classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e',1,'SVF::LockAnalysis']]],
-  ['isinsamecsspan_9423',['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_9424',['isInSameSpan',['../classSVF_1_1LockAnalysis.html#a1c1b63a8bd7449ebeb2c31b0532e9337',1,'SVF::LockAnalysis']]],
-  ['isinscc_9425',['isInSCC',['../classSVF_1_1SCCDetection.html#aff6c15443edca2559ae3f3d04ff45481',1,'SVF::SCCDetection']]],
-  ['isinsensitivecallret_9426',['isInsensitiveCallRet',['../classSVF_1_1ContextDDA.html#a76487b8b3e3abb8a16b5c4f5c7e79819',1,'SVF::ContextDDA']]],
-  ['isinsidecondintralock_9427',['isInsideCondIntraLock',['../classSVF_1_1LockAnalysis.html#a25446604fac03485a991d28f03e88788',1,'SVF::LockAnalysis']]],
-  ['isinsideintralock_9428',['isInsideIntraLock',['../classSVF_1_1LockAnalysis.html#a3fd595637d248213c650889d6e2d07ad',1,'SVF::LockAnalysis']]],
-  ['isint2ptrconstantexpr_9429',['isInt2PtrConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#adfa4a4e6d13004d14137d9168bd32463',1,'SVF::LLVMUtil']]],
-  ['isinterestedpagnode_9430',['isInterestedPAGNode',['../classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962',1,'SVF::VFG']]],
-  ['isintracfgedge_9431',['isIntraCFGEdge',['../classSVF_1_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c',1,'SVF::ICFGEdge']]],
-  ['isintralock_9432',['isIntraLock',['../classSVF_1_1LockAnalysis.html#aabb4acd61154d3e7fed64ec4e94f2d93',1,'SVF::LockAnalysis']]],
-  ['isintravfgedge_9433',['isIntraVFGEdge',['../classSVF_1_1VFGEdge.html#a5d2668f46a709eb179007a296d94b77b',1,'SVF::VFGEdge']]],
-  ['isintrinsic_9434',['isIntrinsic',['../classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb',1,'SVF::SVFFunction']]],
-  ['isintrinsicfun_9435',['isIntrinsicFun',['../namespaceSVF_1_1LLVMUtil.html#a4638a12f5481dff947b59cf8353e619b',1,'SVF::LLVMUtil']]],
-  ['isintrinsicinst_9436',['isIntrinsicInst',['../namespaceSVF_1_1LLVMUtil.html#a003b769751b93b94bdb011bd704cfde1',1,'SVF::LLVMUtil::isIntrinsicInst()'],['../namespaceSVF_1_1SVFUtil.html#abb2bbf6e0dc5adae2140a519259e6f17',1,'SVF::SVFUtil::isIntrinsicInst()']]],
-  ['isinworklist_9437',['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_9438',['isIRFile',['../namespaceSVF_1_1LLVMUtil.html#ad8a8c32a09340f491fffffcb07dd7a41',1,'SVF::LLVMUtil']]],
-  ['isisolatednode_9439',['isIsolatedNode',['../classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7',1,'SVF::SVFVar']]],
-  ['isjoinmustexecutedinloop_9440',['isJoinMustExecutedInLoop',['../classSVF_1_1TCT.html#ad7d8760d745f4d8fcd85ccdf876d22a5',1,'SVF::TCT']]],
-  ['isjoinsite_9441',['isJoinsite',['../classSVF_1_1ThreadCallGraph.html#ac75a38384cda8379c32b4d01d4d5d20a',1,'SVF::ThreadCallGraph']]],
-  ['isjoinsiteinrecursion_9442',['isJoinSiteInRecursion',['../classSVF_1_1TCT.html#a78d2419493546ee2f91a6aeb2e778709',1,'SVF::TCT']]],
-  ['isload_9443',['isLoad',['../classSVF_1_1VersionedFlowSensitive.html#a984a4f929a18f97bfefac0102088a7fd',1,'SVF::VersionedFlowSensitive']]],
-  ['isloadvtblinst_9444',['isLoadVtblInst',['../namespaceSVF_1_1LLVMUtil.html#a45da980cb7c085942bb8e6010db9d84f',1,'SVF::LLVMUtil']]],
-  ['islocalcvarinrecursion_9445',['isLocalCVarInRecursion',['../classSVF_1_1DDAVFSolver.html#a20cadb651b41343437e135e985c4e566',1,'SVF::DDAVFSolver']]],
-  ['islocalvarinrecursivefun_9446',['isLocalVarInRecursiveFun',['../classSVF_1_1PointerAnalysis.html#a108380f6f0b67654bb7c7676686096c8',1,'SVF::PointerAnalysis']]],
-  ['islockaquirecall_9447',['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_9448',['isLockCandidateFun',['../classSVF_1_1LockAnalysis.html#ae2c69e1a6787033a5be2b210134873c3',1,'SVF::LockAnalysis']]],
-  ['islockreleasecall_9449',['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_9450',['isLoopExitOfJoinLoop',['../classSVF_1_1TCT.html#ae62f5a928f59e01d15e8fb4fb8f0f100',1,'SVF::TCT']]],
-  ['isloopheader_9451',['isLoopHeader',['../classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43',1,'SVF::SVFLoopAndDomInfo::isLoopHeader()'],['../classSVF_1_1SVFFunction.html#afa469fdfa92b99d1727b8df873c86768',1,'SVF::SVFFunction::isLoopHeader()']]],
-  ['isloopheaderofjoinloop_9452',['isLoopHeaderOfJoinLoop',['../classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389',1,'SVF::TCT']]],
-  ['islower_9453',['islower',['../extapi_8c.html#aa22ae60881e18aa1b9ec1d94210307ed',1,'extapi.c']]],
-  ['ismemalloc_9454',['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_9455',['isMemcpy',['../classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898',1,'SVF::MTAAnnotator']]],
-  ['ismemcpyextfun_9456',['isMemcpyExtFun',['../namespaceSVF_1_1SVFUtil.html#a688bd5e1bf36b3e75bfcea9388871dc4',1,'SVF::SVFUtil']]],
-  ['ismemdealloc_9457',['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_9458',['isMemset',['../classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93',1,'SVF::MTAAnnotator']]],
-  ['ismemsetextfun_9459',['isMemsetExtFun',['../namespaceSVF_1_1SVFUtil.html#a54098ea73555caa682287f8e3c9e8fcb',1,'SVF::SVFUtil']]],
-  ['ismultiforked_9460',['isMultiforked',['../classSVF_1_1TCTNode.html#a5dd0cf88e381438d191b275314117561',1,'SVF::TCTNode']]],
-  ['ismultiforkedthread_9461',['isMultiForkedThread',['../classSVF_1_1MHP.html#a041392f704690e89d8acf5ec68d8682c',1,'SVF::MHP']]],
-  ['ismultiinheritance_9462',['isMultiInheritance',['../classSVF_1_1DCHNode.html#a42026e30e790bce5be03da3e45353c8d',1,'SVF::DCHNode::isMultiInheritance()'],['../classSVF_1_1CHNode.html#a224a394537fae62e64cf62a0d4fdd430',1,'SVF::CHNode::isMultiInheritance()']]],
-  ['ismultiple_9463',['isMultiple',['../classOptionBase.html#ad6fe65a503048686686ea6ced35a2dfd',1,'OptionBase::isMultiple()'],['../classOptionMultiple.html#aebfc1b172ccde004333d9af7248dca4e',1,'OptionMultiple::isMultiple()']]],
-  ['ismustalias_9464',['isMustAlias',['../classSVF_1_1DDAVFSolver.html#a345e5379f53b618adef014aa6887bfe7',1,'SVF::DDAVFSolver']]],
-  ['ismustjoin_9465',['isMustJoin',['../classSVF_1_1MHP.html#a1c43a0f078f82a3c741de1c4dc2490c0',1,'SVF::MHP']]],
-  ['isnecmp_9466',['isNECmp',['../classSVF_1_1SaberCondAllocator.html#aac5762d9a7d584a9748301acbb31b401',1,'SVF::SaberCondAllocator']]],
-  ['isnegcond_9467',['isNegCond',['../classSVF_1_1SaberCondAllocator.html#ad5d27f65374025b6a105ea7a92cbdb50',1,'SVF::SaberCondAllocator']]],
-  ['isnocallerfunction_9468',['isNoCallerFunction',['../namespaceSVF_1_1LLVMUtil.html#a17cce1a11e1bfc342a9e3e79fe35deef',1,'SVF::LLVMUtil']]],
-  ['isnodehidden_9469',['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_9470',['isNonInstricCallSite',['../namespaceSVF_1_1SVFUtil.html#a4af4db2fe43846609d2ed1d7022b1be1',1,'SVF::SVFUtil']]],
-  ['isnonlocalobject_9471',['isNonLocalObject',['../classSVF_1_1MRGenerator.html#a2cf20660f2fd686fa3cabd046c4a10bf',1,'SVF::MRGenerator']]],
-  ['isnonpointerobj_9472',['isNonPointerObj',['../classSVF_1_1PointerAnalysis.html#a9d3b20c9883d734537fb98b57b5372b9',1,'SVF::PointerAnalysis::isNonPointerObj()'],['../classSVF_1_1SVFIR.html#a980e54129ece0757d7f0373f37428507',1,'SVF::SVFIR::isNonPointerObj()']]],
-  ['isnonptrfieldobj_9473',['isNonPtrFieldObj',['../classSVF_1_1MemObj.html#aef4ed89ab63d6af36e7f291171c150ac',1,'SVF::MemObj::isNonPtrFieldObj()'],['../classSVF_1_1ObjTypeInfo.html#a040ae9ad6cd6b075df6594bb1f706d72',1,'SVF::ObjTypeInfo::isNonPtrFieldObj()']]],
-  ['isnullptr_9474',['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_9475',['isNullPtrSym',['../namespaceSVF_1_1LLVMUtil.html#a847fb0c433b5d3611151636ca4bc5bc5',1,'SVF::LLVMUtil']]],
-  ['isnullstate_9476',['isNullState',['../classSVF_1_1ConsExeState.html#a08f64cf55802c4ddbc1e01b06ce55dec',1,'SVF::ConsExeState']]],
-  ['isnullsymstate_9477',['isNullSymState',['../classSVF_1_1SymState.html#a9817e6ac4387d6a6fe5f67e2ce753a88',1,'SVF::SymState']]],
-  ['isobject_9478',['isObject',['../namespaceSVF_1_1LLVMUtil.html#aca11801ed6ef6ff8d2a1e85bc0fc5794',1,'SVF::LLVMUtil']]],
-  ['isoperoverload_9479',['isOperOverload',['../CppUtil_8cpp.html#a2a7c55fe3b24b913890307e9ac6cb2ba',1,'CppUtil.cpp']]],
-  ['isouticfgedge_9480',['isOutICFGEdge',['../classSVF_1_1SVFLoop.html#a5b2ff96defd83686c2737cafa0e1cc83',1,'SVF::SVFLoop']]],
-  ['isoutofbudgetdpm_9481',['isOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#a0b1f774883adc7d535f8363bf3c8b1e8',1,'SVF::DDAVFSolver']]],
-  ['isoutofbudgetquery_9482',['isOutOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#a7994236bff84ba8244592fdf5e546734',1,'SVF::DDAVFSolver']]],
-  ['isparforsite_9483',['isParForSite',['../classSVF_1_1ThreadCallGraph.html#ae18f0b3245694145f6d9262ee28c6453',1,'SVF::ThreadCallGraph']]],
-  ['ispartialreachable_9484',['isPartialReachable',['../classSVF_1_1ProgSlice.html#a3822badbbe9ac808296d5248f2dbf8e2',1,'SVF::ProgSlice']]],
-  ['isphicopyedge_9485',['isPhiCopyEdge',['../classSVF_1_1VFG.html#a8ddf15d89a1b11a7f7720b671f4f0295',1,'SVF::VFG']]],
-  ['isphinode_9486',['isPhiNode',['../classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff',1,'SVF::SVFIR']]],
-  ['ispointer_9487',['isPointer',['../classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271',1,'SVF::SVFVar']]],
-  ['ispointerty_9488',['isPointerTy',['../classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c',1,'SVF::SVFType']]],
-  ['isprint_9489',['isprint',['../extapi_8c.html#a99355d8f0fb41ec43effb95189db0ed4',1,'extapi.c']]],
-  ['isprogentryfunction_9490',['isProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#ac9d6aff1a5e778e45c51b4f3b6d787e0',1,'SVF::LLVMUtil::isProgEntryFunction()'],['../namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b',1,'SVF::SVFUtil::isProgEntryFunction()']]],
-  ['isprogexitcall_9491',['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_9492',['isProgExitFunction',['../namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57',1,'SVF::SVFUtil']]],
-  ['isprotectedbycommoncilock_9493',['isProtectedByCommonCILock',['../classSVF_1_1LockAnalysis.html#ae912e35cddd4235a663f84f70c3881e7',1,'SVF::LockAnalysis']]],
-  ['isprotectedbycommoncxtlock_9494',['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_9495',['isProtectedByCommonLock',['../classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c',1,'SVF::LockAnalysis']]],
-  ['isptaedge_9496',['isPTAEdge',['../classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951',1,'SVF::SVFStmt']]],
-  ['isptanode_9497',['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_9498',['isPtr2IntConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a2834d135a2385efff783e6e22d2eff1f',1,'SVF::LLVMUtil']]],
-  ['isptrinuncalledfunction_9499',['isPtrInUncalledFunction',['../namespaceSVF_1_1LLVMUtil.html#a07c785d931cef3c61e3dab4c615770be',1,'SVF::LLVMUtil']]],
-  ['isptronlysvfg_9500',['isPtrOnlySVFG',['../classSVF_1_1VFG.html#a268ec1495cbe4adb51fa50d28a4cba3d',1,'SVF::VFG']]],
-  ['ispunct_9501',['ispunct',['../extapi_8c.html#a9d60842d6ae065229ba810e6b01110da',1,'extapi.c']]],
-  ['ispureabstract_9502',['isPureAbstract',['../classSVF_1_1DCHNode.html#aed5e8397d43b602b79425acdae5e01f5',1,'SVF::DCHNode::isPureAbstract()'],['../classSVF_1_1CHNode.html#a268ccdfb486cc2efa8581ee7a3b5af39',1,'SVF::CHNode::isPureAbstract()']]],
-  ['ispwcnode_9503',['isPWCNode',['../classSVF_1_1ConstraintGraph.html#a84468bc9355d31e8c3e18369036ddf5c',1,'SVF::ConstraintGraph::isPWCNode()'],['../classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d',1,'SVF::ConstraintNode::isPWCNode()']]],
-  ['isreachablebetweenfunctions_9504',['isReachableBetweenFunctions',['../classSVF_1_1PTACallGraph.html#aa03df6b1ebf7f8356a47fa074d3f91a4',1,'SVF::PTACallGraph']]],
-  ['isreachablefromprogentry_9505',['isReachableFromProgEntry',['../classSVF_1_1PTACallGraphNode.html#ae549769b86088c7c03e416549694ef52',1,'SVF::PTACallGraphNode']]],
-  ['isreachglobal_9506',['isReachGlobal',['../classSVF_1_1ProgSlice.html#a067480a9815fdb728cd259ef9b687e3e',1,'SVF::ProgSlice']]],
-  ['isreallocextcall_9507',['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_9508',['isReallocExtFun',['../namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4',1,'SVF::SVFUtil']]],
-  ['isrecurfulljoin_9509',['isRecurFullJoin',['../classSVF_1_1MHP.html#a0356a8ccc53999549fb369f67faad306',1,'SVF::MHP']]],
-  ['isretcfgedge_9510',['isRetCFGEdge',['../classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80',1,'SVF::ICFGEdge']]],
-  ['isretdirectvfgedge_9511',['isRetDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a49cbf2a714c9b965b19452d266cd8bdf',1,'SVF::VFGEdge']]],
-  ['isretindirectvfgedge_9512',['isRetIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ad0df7ea2de8de5607229dfcdd7b70b87',1,'SVF::VFGEdge']]],
-  ['isretinst_9513',['isRetInst',['../classSVF_1_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d',1,'SVF::SVFInstruction']]],
-  ['isretvfgedge_9514',['isRetVFGEdge',['../classSVF_1_1VFGEdge.html#a3937eef974c3953f1d1e7d64c5a24ff3',1,'SVF::VFGEdge']]],
-  ['issamescev_9515',['isSameSCEV',['../classSVF_1_1ForkJoinAnalysis.html#abbff6ea064e7241315932db77dccaad9',1,'SVF::ForkJoinAnalysis']]],
-  ['issamethisptrinconstructor_9516',['isSameThisPtrInConstructor',['../namespaceSVF_1_1LLVMUtil.html#a8873eb1cce9496f9699eab22c4a6d3ce',1,'SVF::LLVMUtil']]],
-  ['issamevar_9517',['isSameVar',['../classSVF_1_1CondPTAImpl.html#a7a1be735c76ba4a6b235264fe8ec6c28',1,'SVF::CondPTAImpl']]],
-  ['issatisfiable_9518',['isSatisfiable',['../classSVF_1_1SaberCondAllocator.html#a7c132cc105a97a5dbf0c9b9d16b4b72a',1,'SVF::SaberCondAllocator']]],
-  ['issatisfiableforall_9519',['isSatisfiableForAll',['../classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed',1,'SVF::ProgSlice']]],
-  ['issatisfiableforpairs_9520',['isSatisfiableForPairs',['../classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4',1,'SVF::ProgSlice']]],
-  ['isscalar_9521',['isScalar',['../classSVF_1_1DCHNode.html#a50cf99ff5cc910512c1ce3987c7395ef',1,'SVF::DCHNode']]],
-  ['isselectconstantexpr_9522',['isSelectConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ae59b0dc7f29dbd2018e819f77465f66e',1,'SVF::LLVMUtil']]],
-  ['issigned_9523',['isSigned',['../classSVF_1_1SVFIntegerType.html#a535874e5c49f686dd6ae99304ecd6821',1,'SVF::SVFIntegerType']]],
-  ['issimple_9524',['isSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77',1,'SVF::DefaultDOTGraphTraits']]],
-  ['issinglefieldobj_9525',['isSingleFieldObj',['../classSVF_1_1ConstraintGraph.html#a38fd07dd86f6187a7671f9f85565fccc',1,'SVF::ConstraintGraph']]],
-  ['issinglevaluetype_9526',['isSingleValueType',['../classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6',1,'SVF::SVFType']]],
-  ['issink_9527',['isSink',['../classSVF_1_1SVFGStat.html#ae905f0d64db3039f8fd3c117c4624e31',1,'SVF::SVFGStat::isSink()'],['../classSVF_1_1SrcSnkDDA.html#a703bfc5c825d66fdb0d74eb89d181581',1,'SVF::SrcSnkDDA::isSink()']]],
-  ['issinklikefun_9528',['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_9529',['isSomePathReachable',['../classSVF_1_1SrcSnkDDA.html#a19ab6f6df2a67b294268cfe7f4287fd7',1,'SVF::SrcSnkDDA']]],
-  ['issource_9530',['isSource',['../classSVF_1_1SVFGStat.html#a72c93b86e95bdbe32ade33f7264f4c0a',1,'SVF::SVFGStat::isSource()'],['../classSVF_1_1SrcSnkDDA.html#a815e39e7c65ed9a250cafe40f74a4ba1',1,'SVF::SrcSnkDDA::isSource()']]],
-  ['issourcelikefun_9531',['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()']]],
-  ['isspace_9532',['isspace',['../extapi_8c.html#a84b34b0058324ae5c0eae4956cf00cc5',1,'extapi.c']]],
-  ['isspawneefun_9533',['isSpawneeFun',['../classSVF_1_1PCG.html#aa894020740c6d6ad8a179133f628a573',1,'SVF::PCG']]],
-  ['isspawnerfun_9534',['isSpawnerFun',['../classSVF_1_1PCG.html#a49d2755072df3c5012bc602ac1501bdc',1,'SVF::PCG']]],
-  ['isspawnsite_9535',['isSpawnsite',['../classSVF_1_1PCG.html#a7a9d65698363d5f18c2556ead635cdf8',1,'SVF::PCG']]],
-  ['isspuriousvfedgeatindcallsite_9536',['isSpuriousVFEdgeAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#a9e8da6a516ed6598c66d81a0891fbb6e',1,'SVF::SVFGBuilder']]],
-  ['isstack_9537',['isStack',['../classSVF_1_1MemObj.html#af7316c697eafc71d5fc93108da4e2cee',1,'SVF::MemObj::isStack()'],['../classSVF_1_1ObjTypeInfo.html#aa568dc82decd28d2ef40785a4a647602',1,'SVF::ObjTypeInfo::isStack()']]],
-  ['isstaticobj_9538',['isStaticObj',['../classSVF_1_1MemObj.html#a954eba54eda95e6735eb1d32bd8a276e',1,'SVF::MemObj::isStaticObj()'],['../classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523',1,'SVF::ObjTypeInfo::isStaticObj()']]],
-  ['isstore_9539',['isStore',['../classSVF_1_1VersionedFlowSensitive.html#aac920c9a5f13dd147e3c130425e005eb',1,'SVF::VersionedFlowSensitive']]],
-  ['isstrongupdate_9540',['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_9541',['isStruct',['../classSVF_1_1MemObj.html#a132df66e2751e5db6b0ba82d767a3286',1,'SVF::MemObj::isStruct()'],['../classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a',1,'SVF::ObjTypeInfo::isStruct()']]],
-  ['isstructty_9542',['isStructTy',['../classSVF_1_1SVFType.html#af06efda21356fbd3559e11ec7ae1bde5',1,'SVF::SVFType']]],
-  ['issubset_9543',['isSubset',['../classSVF_1_1CondPointsToSet.html#acefec4fbacde1099d3dc81ab45ab9b8c',1,'SVF::CondPointsToSet']]],
-  ['issvfgnodeincycle_9544',['isSVFGNodeInCycle',['../classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93',1,'SVF::DDAVFSolver']]],
-  ['issym_9545',['isSym',['../classSVF_1_1SingleAbsValue.html#a948aca85133c7045d508b8ee33dabe91',1,'SVF::SingleAbsValue']]],
-  ['issymbolabsvalue_9546',['isSymbolAbsValue',['../classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12',1,'SVF::SingleAbsValue']]],
-  ['istailofspan_9547',['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_9548',['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_9549',['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_9550',['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_9551',['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_9552',['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_9553',['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_9554',['isTemplate',['../classSVF_1_1DCHNode.html#ada436c7cb9108898c520952a87ebd01d',1,'SVF::DCHNode::isTemplate()'],['../classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749',1,'SVF::CHNode::isTemplate()']]],
-  ['isterminator_9555',['isTerminator',['../classSVF_1_1SVFInstruction.html#afbf703f88da59d2b30c14c7d40e5e22d',1,'SVF::SVFInstruction']]],
-  ['istestcontainsnullandthevalue_9556',['isTestContainsNullAndTheValue',['../classSVF_1_1SaberCondAllocator.html#a34be6721a311d72dcd355eeb41dbd3e1',1,'SVF::SaberCondAllocator']]],
-  ['istestnotnullexpr_9557',['isTestNotNullExpr',['../classSVF_1_1SaberCondAllocator.html#a4fc06192d4f7db305c3414a39e7c2b49',1,'SVF::SaberCondAllocator']]],
-  ['istestnullexpr_9558',['isTestNullExpr',['../classSVF_1_1SaberCondAllocator.html#accf26eb31e7724daa3ba9170feee9644',1,'SVF::SaberCondAllocator']]],
-  ['isthreadexitcall_9559',['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_9560',['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_9561',['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_9562',['isThreadMHPIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ace832abe1ec87e3e2338944061d09ea4',1,'SVF::VFGEdge']]],
-  ['istop_9563',['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_9564',['isTopAbsValue',['../classSVF_1_1SingleAbsValue.html#a5749cbe2d0966e65046ce84a78fcba07',1,'SVF::SingleAbsValue']]],
-  ['istoplevelptrstmt_9565',['isTopLevelPtrStmt',['../classSVF_1_1DDAVFSolver.html#a7b35588de00e322afd742041bf735571',1,'SVF::DDAVFSolver']]],
-  ['istruncconstantexpr_9566',['isTruncConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8',1,'SVF::LLVMUtil']]],
-  ['isunaryconstantexpr_9567',['isUnaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a215cc9fd716798bbb7f96f5b64e01349',1,'SVF::LLVMUtil']]],
-  ['isuncalledfunction_9568',['isUncalledFunction',['../classSVF_1_1SVFFunction.html#a818f626cb8b8063b5f3c8928428095b8',1,'SVF::SVFFunction::isUncalledFunction()'],['../namespaceSVF_1_1LLVMUtil.html#a2c61d741afbcfa853b505cd391f29f9b',1,'SVF::LLVMUtil::isUncalledFunction()']]],
-  ['isunconditional_9569',['isUnconditional',['../classSVF_1_1BranchStmt.html#a038d65e38fe792fec4050d3d1c9c5180',1,'SVF::BranchStmt']]],
-  ['isunreachable_9570',['isUnreachable',['../classSVF_1_1SVFLoopAndDomInfo.html#aac4d533d1c7abfefbd54507357e240f4',1,'SVF::SVFLoopAndDomInfo']]],
-  ['isunusedglobalvariable_9571',['isUnusedGlobalVariable',['../namespaceSVF_1_1LLVMUtil.html#acee7c2fb08e111eda4d91ce5479de05e',1,'SVF::LLVMUtil']]],
-  ['isupper_9572',['isupper',['../extapi_8c.html#adadd6582d46775aab6a51e29d16d9f77',1,'extapi.c']]],
-  ['isvalidpointer_9573',['isValidPointer',['../classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3',1,'SVF::SVFIR']]],
-  ['isvalidtoplevelptr_9574',['isValidTopLevelPtr',['../classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139',1,'SVF::SVFIR']]],
-  ['isvalvtbl_9575',['isValVtbl',['../namespaceSVF_1_1LLVMUtil.html#a08fbef6fe3e2af96a49f79ce23accb01',1,'SVF::LLVMUtil']]],
-  ['isvararg_9576',['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_9577',['isVarArray',['../classSVF_1_1MemObj.html#a616e9f4d6f82a253f94391c47668b9a6',1,'SVF::MemObj::isVarArray()'],['../classSVF_1_1ObjTypeInfo.html#aca1e900f9b0a774684af77666cf033e3',1,'SVF::ObjTypeInfo::isVarArray()']]],
-  ['isvariantfieldgep_9578',['isVariantFieldGep',['../classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788',1,'SVF::GepStmt']]],
-  ['isvarstruct_9579',['isVarStruct',['../classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf',1,'SVF::MemObj::isVarStruct()'],['../classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5',1,'SVF::ObjTypeInfo::isVarStruct()']]],
-  ['isvirtualcall_9580',['isVirtualCall',['../classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89',1,'SVF::CallSite']]],
-  ['isvirtualcallsite_9581',['isVirtualCallSite',['../namespaceSVF_1_1LLVMUtil.html#ab1b4c565ae6be788b934defc21a5cfaf',1,'SVF::LLVMUtil']]],
-  ['isvirtualmemaddress_9582',['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_9583',['isVisited',['../classSVF_1_1CSC.html#a2913a7a83deae0b91f1f42dc45c4f3b2',1,'SVF::CSC']]],
-  ['isvisitedctps_9584',['isVisitedCTPs',['../classSVF_1_1LockAnalysis.html#ad459afc7dd1e6620739eeee2bc4c570e',1,'SVF::LockAnalysis::isVisitedCTPs()'],['../classSVF_1_1TCT.html#a68d2b1107f9cc2edcc01265298b7307c',1,'SVF::TCT::isVisitedCTPs()']]],
-  ['isworklistempty_9585',['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()']]],
-  ['isxdigit_9586',['isxdigit',['../extapi_8c.html#adaf3aadefe3fc4fb07b6be0d7b880f53',1,'extapi.c']]],
-  ['iszero_9587',['isZero',['../classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c',1,'SVF::BoundedZ3Expr']]],
-  ['iszerooffsettedgepcgedge_9588',['isZeroOffsettedGepCGEdge',['../classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6',1,'SVF::ConstraintGraph']]],
-  ['iter_5fadaptor_5fbase_9589',['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_9590',['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_9170',['ICFG',['../classSVF_1_1ICFG.html#a683f33b8ad507a33809511954c7c1acb',1,'SVF::ICFG']]],
+  ['icfgbuilder_9171',['ICFGBuilder',['../classSVF_1_1ICFGBuilder.html#a40d50a22a5c2094dbfe5e8516a0deccc',1,'SVF::ICFGBuilder']]],
+  ['icfgedge_9172',['ICFGEdge',['../classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04',1,'SVF::ICFGEdge']]],
+  ['icfgnode_9173',['ICFGNode',['../classSVF_1_1ICFGNode.html#ae6fe836e269ac36f14b2d2b1499a11e6',1,'SVF::ICFGNode']]],
+  ['icfgnodesbegin_9174',['ICFGNodesBegin',['../classSVF_1_1SVFLoop.html#a39d7db54e8dd092fd5420c5332210ed1',1,'SVF::SVFLoop']]],
+  ['icfgnodesend_9175',['ICFGNodesEnd',['../classSVF_1_1SVFLoop.html#a4c96835d38a55423b70b2ce100d76dd2',1,'SVF::SVFLoop']]],
+  ['icfgstat_9176',['ICFGStat',['../classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f',1,'SVF::ICFGStat']]],
+  ['icfgwriter_9177',['ICFGWriter',['../classSVF_1_1ICFGWriter.html#af1e7410c278b429e8466afc8bd8551be',1,'SVF::ICFGWriter']]],
+  ['id_9178',['id',['../classSVF_1_1Z3Expr.html#acdb4fbb53f19bac033e79cfe96ce82ca',1,'SVF::Z3Expr']]],
+  ['identifyfollowers_9179',['identifyFollowers',['../classSVF_1_1PCG.html#ae5ee8cf8cfe42854407190f30f3b6c1b',1,'SVF::PCG']]],
+  ['idtoobjmap_9180',['idToObjMap',['../classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697',1,'SVF::SymbolTableInfo::idToObjMap()'],['../classSVF_1_1SymbolTableInfo.html#adcf3450e3abca33536420271959c56f1',1,'SVF::SymbolTableInfo::idToObjMap() const']]],
+  ['if_9181',['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_9182',['inBackwardSlice',['../classSVF_1_1SVFGStat.html#a6e68486e02db81cbbedc942ace3e9590',1,'SVF::SVFGStat::inBackwardSlice()'],['../classSVF_1_1ProgSlice.html#a066430ffa98a3fa0a5ad48d26e0450f7',1,'SVF::ProgSlice::inBackwardSlice()']]],
+  ['incedgenum_9183',['incEdgeNum',['../classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14',1,'SVF::GenericGraph']]],
+  ['incnodenum_9184',['incNodeNum',['../classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21',1,'SVF::GenericGraph']]],
+  ['incomingaddredges_9185',['incomingAddrEdges',['../classSVF_1_1ConstraintNode.html#ac9bb037a59db6b035c2785cad6ac56aa',1,'SVF::ConstraintNode']]],
+  ['incomingaddrsbegin_9186',['incomingAddrsBegin',['../classSVF_1_1ConstraintNode.html#a19c1ed324f65f4cc58dd2fd21ed4a971',1,'SVF::ConstraintNode']]],
+  ['incomingaddrsend_9187',['incomingAddrsEnd',['../classSVF_1_1ConstraintNode.html#ae8ac9ad8e766b961c7ce06d7219f37af',1,'SVF::ConstraintNode']]],
+  ['incomingloadsbegin_9188',['incomingLoadsBegin',['../classSVF_1_1ConstraintNode.html#a7f591f8eda63abbaaea9a8bfb97f3959',1,'SVF::ConstraintNode']]],
+  ['incomingloadsend_9189',['incomingLoadsEnd',['../classSVF_1_1ConstraintNode.html#a0bfdbe171acd2825055e571f314c0a48',1,'SVF::ConstraintNode']]],
+  ['incomingstoresbegin_9190',['incomingStoresBegin',['../classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714',1,'SVF::ConstraintNode']]],
+  ['incomingstoresend_9191',['incomingStoresEnd',['../classSVF_1_1ConstraintNode.html#a8d58f5224728bb6811f12c94826167f6',1,'SVF::ConstraintNode']]],
+  ['increasenumofobjandnodes_9192',['increaseNumOfObjAndNodes',['../classSVF_1_1NodeIDAllocator.html#a9c45508d535a6c669cfeb150aa4fb71f',1,'SVF::NodeIDAllocator']]],
+  ['increasestacksize_9193',['increaseStackSize',['../namespaceSVF_1_1SVFUtil.html#a0d7588578735679773493ff2d5e458e1',1,'SVF::SVFUtil']]],
+  ['indent_9194',['indent',['../DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269',1,'DCHG.cpp']]],
+  ['index_9195',['index',['../structSVF_1_1SparseBitVectorElement.html#ae63d6fcc488ad3cdcddf35edb4e9c827',1,'SVF::SparseBitVectorElement']]],
+  ['indexforbit_9196',['indexForBit',['../classSVF_1_1CoreBitVector.html#ad73fca28bd4882eaa70817023a632d35',1,'SVF::CoreBitVector']]],
+  ['indirectcallsbegin_9197',['indirectCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#afbdb582d20ab953b2de1f3efacb74679',1,'SVF::PTACallGraphEdge']]],
+  ['indirectcallsend_9198',['indirectCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#a494bc8bacca5ca8d266286f3fb303495',1,'SVF::PTACallGraphEdge']]],
+  ['indirectsvfgedge_9199',['IndirectSVFGEdge',['../classSVF_1_1IndirectSVFGEdge.html#a6d40ccc9b99aec6515c2ef1df5a7b18f',1,'SVF::IndirectSVFGEdge']]],
+  ['indvfedgeend_9200',['indVFEdgeEnd',['../classSVF_1_1SVFGStat.html#a8b3b9a211f410e67e8fd1a79d3db9023',1,'SVF::SVFGStat']]],
+  ['indvfedgestart_9201',['indVFEdgeStart',['../classSVF_1_1SVFGStat.html#adcb30427bb220dc122ad22030e10eb21',1,'SVF::SVFGStat']]],
+  ['inedgebegin_9202',['InEdgeBegin',['../classSVF_1_1CFBasicBlockNode.html#a36e13381f80af68ba51a038314ae8b39',1,'SVF::CFBasicBlockNode::InEdgeBegin()'],['../classSVF_1_1CFBasicBlockNode.html#ad3c5860db2e113dd4142ae3b352cece3',1,'SVF::CFBasicBlockNode::InEdgeBegin() const'],['../classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7',1,'SVF::GenericNode::InEdgeBegin()'],['../classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39',1,'SVF::GenericNode::InEdgeBegin() const']]],
+  ['inedgeend_9203',['InEdgeEnd',['../classSVF_1_1CFBasicBlockNode.html#a8a9df60ba644f5387506c8bec1fea61d',1,'SVF::CFBasicBlockNode::InEdgeEnd()'],['../classSVF_1_1CFBasicBlockNode.html#a61b196ea7066522bac602b16c1862905',1,'SVF::CFBasicBlockNode::InEdgeEnd() const'],['../classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900',1,'SVF::GenericNode::InEdgeEnd()'],['../classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07',1,'SVF::GenericNode::InEdgeEnd() const']]],
+  ['inedgesbegin_9204',['inEdgesBegin',['../classSVF_1_1SVFLoop.html#ad23cbd43efdf66427f489cc602ae84cf',1,'SVF::SVFLoop']]],
+  ['inedgesend_9205',['inEdgesEnd',['../classSVF_1_1SVFLoop.html#ae5ba7f837d6ff6e120dd3312bd18566a',1,'SVF::SVFLoop']]],
+  ['inet_5fntop_9206',['inet_ntop',['../extapi_8c.html#a815550360dffb66bbe62df2586b5bceb',1,'extapi.c']]],
+  ['inferfieldidxfrombyteoffset_9207',['inferFieldIdxFromByteOffset',['../classSVF_1_1SVFIRBuilder.html#a04d688ae4f93354327a6c0ad4f255ade',1,'SVF::SVFIRBuilder']]],
+  ['inferfromcallgraph_9208',['inferFromCallGraph',['../classSVF_1_1PCG.html#adff1702e1b0a902de7ded742846fe137',1,'SVF::PCG']]],
+  ['infilter_9209',['inFilter',['../classSVF_1_1LockResultValidator.html#a5fca287b181582302c24864c3f397340',1,'SVF::LockResultValidator']]],
+  ['inforwardslice_9210',['inForwardSlice',['../classSVF_1_1SVFGStat.html#adc6a5c3e430bdf942f1462e101ac6917',1,'SVF::SVFGStat::inForwardSlice()'],['../classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6',1,'SVF::ProgSlice::inForwardSlice()']]],
+  ['init_9211',['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()']]],
+  ['initcfbasicblockgnodes_9212',['initCFBasicBlockGNodes',['../classSVF_1_1CFBasicBlockGBuilder.html#a43c0cba051306acc6440f60165b835e6',1,'SVF::CFBasicBlockGBuilder']]],
+  ['initcxtinsensitiveedges_9213',['initCxtInsensitiveEdges',['../classSVF_1_1DDAPass.html#add44aee75c9a59327b4eb46774551e2b',1,'SVF::DDAPass']]],
+  ['initdefault_9214',['initDefault',['../classSVF_1_1DDAStat.html#ac7275c99ddd118696853188154ad6fbd',1,'SVF::DDAStat']]],
+  ['initdomtree_9215',['initDomTree',['../classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d',1,'SVF::LLVMModuleSet']]],
+  ['initexestate_9216',['initExeState',['../classSVF_1_1ConsExeState.html#a5a1da3b1c8cdc3b3e07fe20124f6eeea',1,'SVF::ConsExeState']]],
+  ['initfromthreadapi_9217',['initFromThreadAPI',['../classSVF_1_1PCG.html#a23752f0a9fe4f01698808d0a50ccc896',1,'SVF::PCG']]],
+  ['initialglobal_9218',['InitialGlobal',['../classSVF_1_1SVFIRBuilder.html#ae7fcd2050a57a43bfed2c7fd1c41d250',1,'SVF::SVFIRBuilder']]],
+  ['initialise_9219',['initialise',['../classSVF_1_1DDAClient.html#a40f6d8769db41f4c907fe5b615e5df83',1,'SVF::DDAClient']]],
+  ['initialisecandidatepointers_9220',['initialiseCandidatePointers',['../classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5',1,'SVF::SVFIR']]],
+  ['initialisenodes_9221',['initialiseNodes',['../classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71',1,'SVF::SVFIRBuilder']]],
+  ['initialize_9222',['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_9223',['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_9224',['initialWorkList',['../classSVF_1_1SVFGOPT.html#ae825e01893d3304379f72380d314f09c',1,'SVF::SVFGOPT']]],
+  ['initobjvar_9225',['initObjVar',['../classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0',1,'SVF::SVFIR2ConsExeState::initObjVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d',1,'SVF::SVFIR2ItvExeState::initObjVar()']]],
+  ['initsnks_9226',['initSnks',['../classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c',1,'SVF::LeakChecker::initSnks()'],['../classSVF_1_1SrcSnkDDA.html#a0f6cfa30c346aab1fb03a44e47c32559',1,'SVF::SrcSnkDDA::initSnks()']]],
+  ['initsrcs_9227',['initSrcs',['../classSVF_1_1LeakChecker.html#a273a7bfc3e81505ec971ca1d419bb565',1,'SVF::LeakChecker::initSrcs()'],['../classSVF_1_1SrcSnkDDA.html#a1c8f91ffa0b9f01d51c8cd5e14f076d5',1,'SVF::SrcSnkDDA::initSrcs()']]],
+  ['initstats_9228',['initStats',['../classSVF_1_1PersistentPointsToCache.html#ab19e4e17b1896565e0bada1f161d1266',1,'SVF::PersistentPointsToCache']]],
+  ['initsvfbasicblock_9229',['initSVFBasicBlock',['../classSVF_1_1LLVMModuleSet.html#a20162d2894d6a12ba29410311fba4002',1,'SVF::LLVMModuleSet']]],
+  ['initsvffunction_9230',['initSVFFunction',['../classSVF_1_1LLVMModuleSet.html#ac6a5540354696f4c9170e0a5832ba70e',1,'SVF::LLVMModuleSet']]],
+  ['initsvfvar_9231',['initSVFVar',['../classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857',1,'SVF::SVFIR2ConsExeState::initSVFVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#af5d05c5316127cfe8d975a3a0a23798b',1,'SVF::SVFIR2ItvExeState::initSVFVar()']]],
+  ['inittypeinfo_9232',['initTypeInfo',['../classSVF_1_1SymbolTableBuilder.html#ae938564e6a36848cb848a5badc15a1de',1,'SVF::SymbolTableBuilder']]],
+  ['initvalvar_9233',['initValVar',['../classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8',1,'SVF::SVFIR2ConsExeState::initValVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#a61d288c8dc621a0578faa5ff784f4b6e',1,'SVF::SVFIR2ItvExeState::initValVar()']]],
+  ['initworklist_9234',['initWorklist',['../classSVF_1_1Andersen.html#a9075cd05cb21e0f08a1109b7af6c7480',1,'SVF::Andersen::initWorklist()'],['../classSVF_1_1WPASolver.html#a7195381c3aab04890139b4fe2c561909',1,'SVF::WPASolver::initWorklist()']]],
+  ['inlocalloctoaddrstable_9235',['inLocalLocToAddrsTable',['../classSVF_1_1ConsExeState.html#af8f2b698dd97793b0124cd5a4ac4d035',1,'SVF::ConsExeState::inLocalLocToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb',1,'SVF::IntervalExeState::inLocalLocToAddrsTable()']]],
+  ['inlocalloctovaltable_9236',['inLocalLocToValTable',['../classSVF_1_1ConsExeState.html#a8da7bf977911ca6d3bd27f38ef852321',1,'SVF::ConsExeState::inLocalLocToValTable(u32_t varId) const'],['../classSVF_1_1ConsExeState.html#aa4a3abdc9a7fe9af0b82190bf7827efa',1,'SVF::ConsExeState::inLocalLocToValTable(const SingleAbsValue &addr) const'],['../classSVF_1_1IntervalExeState.html#a6fdad70e3a0b39e146f0b93f24f055c6',1,'SVF::IntervalExeState::inLocalLocToValTable()']]],
+  ['inloctoaddrstable_9237',['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()']]],
+  ['inloctovaltable_9238',['inLocToValTable',['../classSVF_1_1ConsExeState.html#a4481c80fcf9c64f23e8a216dfc01869a',1,'SVF::ConsExeState::inLocToValTable()'],['../classSVF_1_1IntervalExeState.html#af278d2193ba8931cce4cf5398cc33b02',1,'SVF::IntervalExeState::inLocToValTable()'],['../classSVF_1_1SVFIR2ConsExeState.html#a73a8f1354e22d41078abe3466b202df2',1,'SVF::SVFIR2ConsExeState::inLocToValTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a808fdc8ff7637d1c9515e71815548983',1,'SVF::SVFIR2ItvExeState::inLocToValTable()']]],
+  ['innodetocycledepth_9239',['inNodeToCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#a646f67339a7751f0e10ea42143e6894d',1,'SVF::CFBasicBlockGWTO']]],
+  ['insamecallgraphscc_9240',['inSameCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae58c2b25494ec51e714c83c6cfd5dd67',1,'SVF::PointerAnalysis::inSameCallGraphSCC()'],['../classSVF_1_1TCT.html#a95cd490d37f8831edc6910f7ecdf413e',1,'SVF::TCT::inSameCallGraphSCC()']]],
+  ['inscc_9241',['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_9242',['insert',['../classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0',1,'SVF::AddressValue']]],
+  ['insertattribute_9243',['insertAttribute',['../classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20',1,'SVF::GrammarBase']]],
+  ['insertbranchcondition_9244',['insertBranchCondition',['../classSVF_1_1CDGEdge.html#ae9624672c9dc368f8ae2a091ca7523c5',1,'SVF::CDGEdge']]],
+  ['insertebnfsigns_9245',['insertEBNFSigns',['../classSVF_1_1GrammarBase.html#a2af19122bccb7ca0c7ab44a07a1bdfb1',1,'SVF::GrammarBase']]],
+  ['insertedge_5fh_9246',['insertEdge_h',['../classSVF_1_1POCRHybridSolver.html#a122025228d5ca57e287f7fe85f279765',1,'SVF::POCRHybridSolver']]],
+  ['insertkey_9247',['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_9248',['insertKeyNode',['../classSVF_1_1SymState.html#ad3dd094395543f5459c6cbde859ab775',1,'SVF::SymState']]],
+  ['insertnonterminalkind_9249',['insertNonterminalKind',['../classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0',1,'SVF::GrammarBase']]],
+  ['insertnonterminalsymbol_9250',['insertNonTerminalSymbol',['../classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b',1,'SVF::GrammarBase']]],
+  ['insertphi_9251',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
+  ['insertsymbol_9252',['insertSymbol',['../classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84',1,'SVF::GrammarBase']]],
+  ['insertterminalkind_9253',['insertTerminalKind',['../classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542',1,'SVF::GrammarBase']]],
+  ['insertterminalsymbol_9254',['insertTerminalSymbol',['../classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8',1,'SVF::GrammarBase']]],
+  ['inserttocflgrammar_9255',['insertToCFLGrammar',['../classSVF_1_1CFGNormalizer.html#a676f99f3af1dfb9e118717913982120d',1,'SVF::CFGNormalizer']]],
+  ['interdisjointmrg_9256',['InterDisjointMRG',['../classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428',1,'SVF::InterDisjointMRG']]],
+  ['interferenceanalysis_9257',['interferenceAnalysis',['../classSVF_1_1PCG.html#a057887f3d5fd3b9b414e573b3f9f4548',1,'SVF::PCG']]],
+  ['intericfgnode_9258',['InterICFGNode',['../classSVF_1_1InterICFGNode.html#a192826ba075a80add6a39a039a32bc05',1,'SVF::InterICFGNode']]],
+  ['intermssaphisvfgnode_9259',['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_9260',['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_9261',['intersect',['../classSVF_1_1LockAnalysis.html#aeb479eeac0fdde1486c78da68fc82383',1,'SVF::LockAnalysis']]],
+  ['intersectpts_9262',['intersectPts',['../classSVF_1_1PersistentPointsToCache.html#a17d33558208c19019e541ee167009494',1,'SVF::PersistentPointsToCache']]],
+  ['intersects_9263',['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_9264',['intersectWith',['../structSVF_1_1SparseBitVectorElement.html#a2f62812b261a83b19aab46c0961bfcb4',1,'SVF::SparseBitVectorElement']]],
+  ['intersectwithcomplement_9265',['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_9266',['Interval2NumValue',['../classSVF_1_1IntervalExeState.html#a12fe65f05dfe7a01e771e0b9990faba8',1,'SVF::IntervalExeState']]],
+  ['intervalexestate_9267',['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_9268',['IntervalValue',['../classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0',1,'SVF::IntervalValue::IntervalValue()'],['../classSVF_1_1IntervalValue.html#a22796c07a495e1af7252b3dcb60d9940',1,'SVF::IntervalValue::IntervalValue(s64_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#a6ec0263a3036734c28cd241007f8a490',1,'SVF::IntervalValue::IntervalValue(s64_t lb, s64_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_9269',['intraBackwardTraverse',['../classSVF_1_1LockAnalysis.html#a5f693c893f3701e1e025881f91193d53',1,'SVF::LockAnalysis']]],
+  ['intracfgedge_9270',['IntraCFGEdge',['../classSVF_1_1IntraCFGEdge.html#aeab701d63caadf8effabdbd23ac0cd49',1,'SVF::IntraCFGEdge']]],
+  ['intradirsvfgedge_9271',['IntraDirSVFGEdge',['../classSVF_1_1IntraDirSVFGEdge.html#a2157a56f5d707a946e2ad54219fdc69a',1,'SVF::IntraDirSVFGEdge']]],
+  ['intradisjointmrg_9272',['IntraDisjointMRG',['../classSVF_1_1IntraDisjointMRG.html#ae4bc9b653e15ce876579741e91a463ae',1,'SVF::IntraDisjointMRG']]],
+  ['intraforwardtraverse_9273',['intraForwardTraverse',['../classSVF_1_1LockAnalysis.html#a7b943f626a551c0fcd6761fc42728e9d',1,'SVF::LockAnalysis']]],
+  ['intraicfgnode_9274',['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_9275',['IntraIndSVFGEdge',['../classSVF_1_1IntraIndSVFGEdge.html#ab2b1f7610737c6f0a5a94b8a7e629110',1,'SVF::IntraIndSVFGEdge']]],
+  ['intramssaphisvfgnode_9276',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d',1,'SVF::IntraMSSAPHISVFGNode']]],
+  ['intraphivfgnode_9277',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3',1,'SVF::IntraPHIVFGNode']]],
+  ['invartoaddrstable_9278',['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()']]],
+  ['invartovaltable_9279',['inVarToValTable',['../classSVF_1_1ConsExeState.html#ad42a15421be927dbb4eb7efb10548850',1,'SVF::ConsExeState::inVarToValTable()'],['../classSVF_1_1IntervalExeState.html#aba57b0f3c813c47c1b69915f145efbd6',1,'SVF::IntervalExeState::inVarToValTable()'],['../classSVF_1_1SVFIR2ConsExeState.html#a734006d65a35034fa2d32282c7dce47f',1,'SVF::SVFIR2ConsExeState::inVarToValTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a8380eb5e2424c8c7bd290962f04a17ba',1,'SVF::SVFIR2ItvExeState::inVarToValTable()']]],
+  ['inverse_9280',['Inverse',['../structSVF_1_1Inverse.html#a9bff8acbcb891eeaeb6a9324312358a0',1,'SVF::Inverse']]],
+  ['inverse_5fchildren_9281',['inverse_children',['../namespaceSVF.html#a155eb379cf271ac550333afb13cb36fa',1,'SVF']]],
+  ['inverse_5fnodes_9282',['inverse_nodes',['../namespaceSVF.html#a6506af0b08e86390c0e4786b6ee294ae',1,'SVF']]],
+  ['irgraph_9283',['IRGraph',['../classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28',1,'SVF::IRGraph']]],
+  ['is_5falloc_9284',['is_alloc',['../classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d',1,'SVF::ExtAPI']]],
+  ['is_5farg_5falloc_9285',['is_arg_alloc',['../classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477',1,'SVF::ExtAPI']]],
+  ['is_5fbool_9286',['is_bool',['../classSVF_1_1Z3Expr.html#aa4344471835568e6101780d3aece1900',1,'SVF::Z3Expr']]],
+  ['is_5fext_9287',['is_ext',['../classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2',1,'SVF::ExtAPI']]],
+  ['is_5finfinite_9288',['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_9289',['is_infinity',['../classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d',1,'SVF::NumericLiteral']]],
+  ['is_5fmemcpy_9290',['is_memcpy',['../classSVF_1_1ExtAPI.html#aadc8f2e0ff777e3f611a7d741def0742',1,'SVF::ExtAPI']]],
+  ['is_5fmemset_9291',['is_memset',['../classSVF_1_1ExtAPI.html#a9f6e5cd617ab57ef9da0bab6c3c9cdc8',1,'SVF::ExtAPI']]],
+  ['is_5fminus_5finfinite_9292',['is_minus_infinite',['../classSVF_1_1BoundedZ3Expr.html#a90c87bed7210246db310dbecc61326ac',1,'SVF::BoundedZ3Expr']]],
+  ['is_5fminus_5finfinity_9293',['is_minus_infinity',['../classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15',1,'SVF::NumericLiteral']]],
+  ['is_5fnumeral_9294',['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_9295',['is_plus_infinite',['../classSVF_1_1BoundedZ3Expr.html#a1b58a124940bbc4da8c09f2b63b24b0c',1,'SVF::BoundedZ3Expr']]],
+  ['is_5fplus_5finfinity_9296',['is_plus_infinity',['../classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7',1,'SVF::NumericLiteral']]],
+  ['is_5frealloc_9297',['is_realloc',['../classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4',1,'SVF::ExtAPI']]],
+  ['is_5ftrue_9298',['is_true',['../classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c',1,'SVF::BoundedZ3Expr']]],
+  ['is_5fzero_9299',['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_9300',['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_9301',['isActualOUTPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301',1,'SVF::InterMSSAPHISVFGNode']]],
+  ['isactualretphi_9302',['isActualRetPHI',['../classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4',1,'SVF::InterPHIVFGNode']]],
+  ['isagg_9303',['isAgg',['../classSVF_1_1DCHGraph.html#a9d2be5aec5216cbc1d1709b41f79c44b',1,'SVF::DCHGraph']]],
+  ['isaliasedforkjoin_9304',['isAliasedForkJoin',['../classSVF_1_1ForkJoinAnalysis.html#a209ab13297e61f980cdf350e8fe2a9b4',1,'SVF::ForkJoinAnalysis']]],
+  ['isaliasedlocks_9305',['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_9306',['isAliasedMR',['../classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a',1,'SVF::MRGenerator']]],
+  ['isallpathreachable_9307',['isAllPathReachable',['../classSVF_1_1SaberCondAllocator.html#a246da0431273c312800459aa85d80a86',1,'SVF::SaberCondAllocator::isAllPathReachable()'],['../classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0',1,'SVF::SrcSnkDDA::isAllPathReachable()']]],
+  ['isallreachable_9308',['isAllReachable',['../classSVF_1_1ProgSlice.html#a2f96f034b7236791fe1d4d351174722e',1,'SVF::ProgSlice']]],
+  ['isalnum_9309',['isalnum',['../extapi_8c.html#abe92a0aebef4717d08c64655ac44c9af',1,'extapi.c']]],
+  ['isalpha_9310',['isalpha',['../extapi_8c.html#af947cbf1ae303e5297c9d68c68a6b9cb',1,'extapi.c']]],
+  ['isanallocationwraper_9311',['isAnAllocationWraper',['../namespaceSVF_1_1SVFUtil.html#a2c47299fdf0ca0d08578ded6348f77c2',1,'SVF::SVFUtil']]],
+  ['isargofuncalledfunction_9312',['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_9313',['isArray',['../classSVF_1_1MemObj.html#aeba6eeed4843a1a90cf1d4b7deb197af',1,'SVF::MemObj::isArray()'],['../classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1',1,'SVF::ObjTypeInfo::isArray()']]],
+  ['isarraycondmemobj_9314',['isArrayCondMemObj',['../classSVF_1_1DDAVFSolver.html#a9aaa5ee3dc8abc51c4b6e463e1949ee7',1,'SVF::DDAVFSolver']]],
+  ['isarraymemobj_9315',['isArrayMemObj',['../classSVF_1_1PointerAnalysis.html#a89dfeedf8e3e91603a1e9c73e3608a73',1,'SVF::PointerAnalysis']]],
+  ['isarrayty_9316',['isArrayTy',['../classSVF_1_1SVFType.html#a330084f9a3deb6e5acb52a8ee3eb7fe4',1,'SVF::SVFType']]],
+  ['isbackicfgedge_9317',['isBackICFGEdge',['../classSVF_1_1SVFLoop.html#a7283685960ed98e1a292e3f688d9aa2b',1,'SVF::SVFLoop']]],
+  ['isbarrierwaitcall_9318',['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_9319',['isBase',['../classSVF_1_1DCHGraph.html#ab33f9af6ad22eb99dd0d9950fb0e50e6',1,'SVF::DCHGraph']]],
+  ['isbbcallsprogexit_9320',['isBBCallsProgExit',['../classSVF_1_1SaberCondAllocator.html#a9d626dea5aa694799ec15a3b64021a35',1,'SVF::SaberCondAllocator']]],
+  ['isbinaryconstantexpr_9321',['isBinaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a35b36394af726c679fe2c1b6051db7c4',1,'SVF::LLVMUtil']]],
+  ['isbkvisited_9322',['isbkVisited',['../classSVF_1_1DDAVFSolver.html#a9a9c3a8b5e4ffc89418073110e446f20',1,'SVF::DDAVFSolver']]],
+  ['isblackhole_9323',['isblackHole',['../classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73',1,'SVF::SVFValue']]],
+  ['isblackholeobj_9324',['isBlackHoleObj',['../classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c',1,'SVF::MemObj']]],
+  ['isblackholesym_9325',['isBlackholeSym',['../namespaceSVF_1_1LLVMUtil.html#abf4e75ba6236136399d45c85be2328fe',1,'SVF::LLVMUtil']]],
+  ['isblank_9326',['isblank',['../extapi_8c.html#aaecd098576b00440124c44580144e8d5',1,'extapi.c']]],
+  ['isblkobj_9327',['isBlkObj',['../classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad',1,'SVF::SVFIR::isBlkObj()'],['../classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3',1,'SVF::SymbolTableInfo::isBlkObj()']]],
+  ['isblkobjorconstantobj_9328',['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_9329',['isBlkPtr',['../classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997',1,'SVF::SVFIR::isBlkPtr()'],['../classSVF_1_1SymbolTableInfo.html#acba43b6e9cdf07afaf3d30351aa8df7c',1,'SVF::SymbolTableInfo::isBlkPtr()']]],
+  ['isbool_9330',['isBool',['../classOptionBase.html#acd2a32f510c026154665f7d874f3f362',1,'OptionBase::isBool()'],['../classOption.html#a910cf3c0ac5d45ee169cb8750898ea0b',1,'Option::isBool()']]],
+  ['isbottom_9331',['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_9332',['isBottomAbsValue',['../classSVF_1_1SingleAbsValue.html#a5ece7dbaa27e73795a89adb90afe60fe',1,'SVF::SingleAbsValue']]],
+  ['isbuiltfromfile_9333',['isBuiltFromFile',['../classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98',1,'SVF::IRGraph']]],
+  ['iscallcfgedge_9334',['isCallCFGEdge',['../classSVF_1_1ICFGEdge.html#a2ecc0bc3bb3655bf3db3adb732747b49',1,'SVF::ICFGEdge']]],
+  ['iscalldirectvfgedge_9335',['isCallDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a92e3da59f7f5a693945b9a93f169da04',1,'SVF::VFGEdge']]],
+  ['iscalledextfunction_9336',['isCalledExtFunction',['../classSVF_1_1LLVMModuleSet.html#abbca1044dc59299224598ec2ba17fe7e',1,'SVF::LLVMModuleSet']]],
+  ['iscallindirectvfgedge_9337',['isCallIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ae14a5f58064e6c08b53a3cffcc050077',1,'SVF::VFGEdge']]],
+  ['iscallsite_9338',['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_9339',['isCallSiteRetSVFGNode',['../classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59',1,'SVF::SVFG']]],
+  ['iscallvfgedge_9340',['isCallVFGEdge',['../classSVF_1_1VFGEdge.html#a4352297ef44c4eff1efe2f348cce6fe9',1,'SVF::VFGEdge']]],
+  ['iscandidatefun_9341',['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_9342',['isCastConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#af983b0e1fbd371d8672e8f03f63084fc',1,'SVF::LLVMUtil']]],
+  ['iscfgedge_9343',['isCFGEdge',['../classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173',1,'SVF::ICFGEdge']]],
+  ['iscmpconstantexpr_9344',['isCmpConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#aa0b3e34188f721ff7145e47cb607c79a',1,'SVF::LLVMUtil']]],
+  ['iscntrl_9345',['iscntrl',['../extapi_8c.html#a0008a4e8e7889734dc1d83297de07158',1,'extapi.c']]],
+  ['isconcretecxt_9346',['isConcreteCxt',['../classSVF_1_1ContextCond.html#ac5f7388c0bbcee1878201819b9cd199f',1,'SVF::ContextCond']]],
+  ['iscondcompatible_9347',['isCondCompatible',['../classSVF_1_1ContextDDA.html#a57d309971de00db9bd8c6bfaf237cbff',1,'SVF::ContextDDA::isCondCompatible()'],['../classSVF_1_1CondPTAImpl.html#a6b746c30161c7dab86510895e0032935',1,'SVF::CondPTAImpl::isCondCompatible()']]],
+  ['isconditional_9348',['isConditional',['../classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901',1,'SVF::BranchStmt']]],
+  ['isconnectedfrommain_9349',['isConnectedfromMain',['../classSVF_1_1MHP.html#a90c228214643bb6d37bacffc35b99a3e',1,'SVF::MHP']]],
+  ['isconnectingtwocallsites_9350',['isConnectingTwoCallSites',['../classSVF_1_1SVFGOPT.html#aa23c967a8fcadbaf47e93a5b3610c84d',1,'SVF::SVFGOPT']]],
+  ['isconstantarray_9351',['isConstantArray',['../classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb',1,'SVF::MemObj::isConstantArray()'],['../classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212',1,'SVF::ObjTypeInfo::isConstantArray()']]],
+  ['isconstantbytesize_9352',['isConstantByteSize',['../classSVF_1_1MemObj.html#ae47fcecc6380a2d5f2fff469f607af1b',1,'SVF::MemObj::isConstantByteSize()'],['../classSVF_1_1ObjTypeInfo.html#a9d791c6c48a323844d7b7aa8600d77f1',1,'SVF::ObjTypeInfo::isConstantByteSize()']]],
+  ['isconstantobj_9353',['isConstantObj',['../classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156',1,'SVF::SVFIR::isConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a704b917b1e1dbaf9cd758fa9acc1083b',1,'SVF::SymbolTableInfo::isConstantObj()']]],
+  ['isconstantobjsym_9354',['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_9355',['isConstantOffset',['../classSVF_1_1AccessPath.html#a403312192a96a9fd5e7d071481592a7f',1,'SVF::AccessPath::isConstantOffset()'],['../classSVF_1_1GepStmt.html#ab6f37c073e4755c4b8bb3ed6365687f4',1,'SVF::GepStmt::isConstantOffset()']]],
+  ['isconstantstruct_9356',['isConstantStruct',['../classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f',1,'SVF::MemObj::isConstantStruct()'],['../classSVF_1_1ObjTypeInfo.html#a41f916ab4e3a2c163fca636eae948ce7',1,'SVF::ObjTypeInfo::isConstantStruct()']]],
+  ['isconstdataoraggdata_9357',['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_9358',['isConstDataOrAggDataButNotNullPtr',['../classSVF_1_1SVFVar.html#a091ef22d4fc428985d604b03f287a941',1,'SVF::SVFVar']]],
+  ['isconstdataorconstglobal_9359',['isConstDataOrConstGlobal',['../classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0',1,'SVF::MemObj::isConstDataOrConstGlobal()'],['../classSVF_1_1ObjTypeInfo.html#a8e6c60978df9828c1dcb54086e83edc1',1,'SVF::ObjTypeInfo::isConstDataOrConstGlobal()']]],
+  ['isconstructor_9360',['isConstructor',['../namespaceSVF_1_1LLVMUtil.html#a6dd1590b82d2bd86766886bd21bc2b72',1,'SVF::LLVMUtil']]],
+  ['iscppthunkfunction_9361',['isCPPThunkFunction',['../namespaceSVF_1_1LLVMUtil.html#a47bbc0527ced570d576ccc2f9df409cb',1,'SVF::LLVMUtil']]],
+  ['isdeclaration_9362',['isDeclaration',['../classSVF_1_1SVFFunction.html#ab672f0255ec8e42d5e414bc8c72b7c76',1,'SVF::SVFFunction']]],
+  ['isdefofainfout_9363',['isDefOfAInFOut',['../classSVF_1_1SVFGOPT.html#a0e78edc04f5e8bfcca7a3f04f7568665',1,'SVF::SVFGOPT']]],
+  ['isdestructor_9364',['isDestructor',['../namespaceSVF_1_1LLVMUtil.html#a206973624fcc58e6044c884dba23a754',1,'SVF::LLVMUtil']]],
+  ['isdigit_9365',['isdigit',['../extapi_8c.html#a3fa45b35c8abf67a950b6d3d4063dede',1,'extapi.c']]],
+  ['isdirectcalledge_9366',['isDirectCallEdge',['../classSVF_1_1PTACallGraphEdge.html#a8c46ccaa41f6792ca4a31a56548a554a',1,'SVF::PTACallGraphEdge']]],
+  ['isdirectedge_9367',['isdirectEdge',['../classSVF_1_1ConstraintNode.html#a165b41f2849c0f09eb1b15d51a566315',1,'SVF::ConstraintNode']]],
+  ['isdirectvfgedge_9368',['isDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a8777555f00696706de250159b920d14b',1,'SVF::VFGEdge']]],
+  ['isedgeinrecursion_9369',['isEdgeInRecursion',['../classSVF_1_1ContextDDA.html#a525949d1743136466d33bf4dc26ba423',1,'SVF::ContextDDA']]],
+  ['isentryicfgedge_9370',['isEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a3db213cb4aee3308f2dca587ffa1dfd1',1,'SVF::SVFLoop']]],
+  ['iseqcmp_9371',['isEQCmp',['../classSVF_1_1SaberCondAllocator.html#aaa01f2c79866e9eb7818d80b0af2b9f5',1,'SVF::SaberCondAllocator']]],
+  ['isequivalentbranchcond_9372',['isEquivalentBranchCond',['../classSVF_1_1ProgSlice.html#a6c63e9641e4d3d3f2f8c4a73bfba7a07',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71',1,'SVF::SaberCondAllocator::isEquivalentBranchCond()']]],
+  ['isextcall_9373',['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_9374',['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_9375',['isFieldInsenCondMemObj',['../classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170',1,'SVF::DDAVFSolver']]],
+  ['isfieldinsensitive_9376',['isFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#a0f71e4cd0948b294c7d33a690bde7dbe',1,'SVF::PointerAnalysis::isFieldInsensitive()'],['../classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc',1,'SVF::MemObj::isFieldInsensitive()']]],
+  ['isfieldof_9377',['isFieldOf',['../classSVF_1_1DCHGraph.html#af0534356b4a8c68507e1237f1d7a8c11',1,'SVF::DCHGraph']]],
+  ['isfiobjnode_9378',['isFIObjNode',['../classSVF_1_1PointerAnalysis.html#af90d2ccb01402c5ca9d7a059f345c816',1,'SVF::PointerAnalysis']]],
+  ['isfirstfield_9379',['isFirstField',['../classSVF_1_1DCHGraph.html#a2b2dbc52089696854a8339f2e83fc333',1,'SVF::DCHGraph']]],
+  ['isflaged_9380',['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_9381',['isFollowerFun',['../classSVF_1_1PCG.html#a767a7ea009067e7f82bb70b29688a144',1,'SVF::PCG']]],
+  ['isfopen_9382',['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_9383',['isForksite',['../classSVF_1_1ThreadCallGraph.html#a07d3db6ffe8d75effd6fbc3856c484fe',1,'SVF::ThreadCallGraph']]],
+  ['isformalinphi_9384',['isFormalINPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1',1,'SVF::InterMSSAPHISVFGNode']]],
+  ['isformalparmphi_9385',['isFormalParmPHI',['../classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7',1,'SVF::InterPHIVFGNode']]],
+  ['isfulljoin_9386',['isFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#ab55532eefbcef639ced957ad82fbd340',1,'SVF::ForkJoinAnalysis']]],
+  ['isfunction_9387',['isFunction',['../classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b',1,'SVF::MemObj::isFunction()'],['../classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f',1,'SVF::ObjTypeInfo::isFunction()']]],
+  ['isfunctionretphi_9388',['isFunctionRetPhi',['../classSVF_1_1PhiStmt.html#a8e55ddef627096c78bb2c8b6f9c77140',1,'SVF::PhiStmt']]],
+  ['isfunentrysvfgnode_9389',['isFunEntrySVFGNode',['../classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b',1,'SVF::SVFG']]],
+  ['isfunentryvfgnode_9390',['isFunEntryVFGNode',['../classSVF_1_1VFG.html#a8994194bca2edfd9528880390de795ab',1,'SVF::VFG']]],
+  ['isfunptr_9391',['isFunPtr',['../classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97',1,'SVF::SVFIR']]],
+  ['isgepconstantexpr_9392',['isGepConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685',1,'SVF::LLVMUtil']]],
+  ['isglobalobj_9393',['isGlobalObj',['../classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4',1,'SVF::MemObj::isGlobalObj()'],['../classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f',1,'SVF::ObjTypeInfo::isGlobalObj()']]],
+  ['isglobalsvfgnode_9394',['isGlobalSVFGNode',['../classSVF_1_1SaberSVFGBuilder.html#afbcd75844af51ff51c09c377f80a49cf',1,'SVF::SaberSVFGBuilder::isGlobalSVFGNode()'],['../classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7',1,'SVF::SrcSnkDDA::isGlobalSVFGNode()']]],
+  ['isgraph_9395',['isgraph',['../extapi_8c.html#a49f40fd869fd0c90e4497fda08c89561',1,'extapi.c']]],
+  ['ishareparfor_9396',['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_9397',['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_9398',['isHBPair',['../classSVF_1_1MHP.html#a6f07427b45991b2d8a3ff21582121d23',1,'SVF::MHP::isHBPair()'],['../classSVF_1_1ForkJoinAnalysis.html#a86c68ce5fd8825b1593d92a5a5bad389',1,'SVF::ForkJoinAnalysis::isHBPair()']]],
+  ['ishead_9399',['isHead',['../classSVF_1_1CFBasicBlockGWTO.html#ade2b2aa77bba3781ab921d5c36eb881b',1,'SVF::CFBasicBlockGWTO']]],
+  ['isheadofspan_9400',['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_9401',['isHeap',['../classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1',1,'SVF::MemObj::isHeap()'],['../classSVF_1_1ObjTypeInfo.html#a26c179394fbda9a9261d0bf3f52b619d',1,'SVF::ObjTypeInfo::isHeap()']]],
+  ['isheapallocextcall_9402',['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_9403',['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_9404',['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_9405',['isHeapAllocExtFunViaArg',['../namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245',1,'SVF::SVFUtil']]],
+  ['isheapallocextfunviaret_9406',['isHeapAllocExtFunViaRet',['../namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea',1,'SVF::SVFUtil']]],
+  ['isheapcondmemobj_9407',['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_9408',['isHeapMemObj',['../classSVF_1_1PointerAnalysis.html#ae6ea391ac44dffeb6899bb44323c5361',1,'SVF::PointerAnalysis']]],
+  ['ishelpname_9409',['isHelpName',['../classOptionBase.html#ae446d8507843235d8fe71d32bc4bd04b',1,'OptionBase']]],
+  ['isinawrapper_9410',['isInAWrapper',['../classSVF_1_1SrcSnkDDA.html#afc75e55af839ef535d80555fd422342c',1,'SVF::SrcSnkDDA']]],
+  ['isincurbackwardslice_9411',['isInCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4cb2c14431fc432e84d382f8eeb24fe2',1,'SVF::SrcSnkDDA']]],
+  ['isincurforwardslice_9412',['isInCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4bde70a5d9dbf5a9234a93aaeaaacb94',1,'SVF::SrcSnkDDA']]],
+  ['isincurrentscc_9413',['isInCurrentSCC',['../classSVF_1_1WPASCCSolver.html#ae1ed4875e706677acf22a776f7285185',1,'SVF::WPASCCSolver']]],
+  ['isincycle_9414',['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_9415',['isIndirectCall',['../classSVF_1_1CallICFGNode.html#aa11226a2e4fa6a7b1d78006cc8ca0518',1,'SVF::CallICFGNode']]],
+  ['isindirectcalledge_9416',['isIndirectCallEdge',['../classSVF_1_1PTACallGraphEdge.html#a74692d47f929dc2188eede497acb91b7',1,'SVF::PTACallGraphEdge']]],
+  ['isindirectcallsites_9417',['isIndirectCallSites',['../classSVF_1_1SVFIR.html#a3dbe0b17694daa74f648a70e77efaf23',1,'SVF::SVFIR']]],
+  ['isindirectedge_9418',['isIndirectEdge',['../classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0',1,'SVF::ConstraintNode']]],
+  ['isindirectvfgedge_9419',['isIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#aa8f30d093d4950724a6688707326b57b',1,'SVF::VFGEdge']]],
+  ['isinicfgedge_9420',['isInICFGEdge',['../classSVF_1_1SVFLoop.html#ae8a579b8798cf14ba8c1d9ee9c355267',1,'SVF::SVFLoop']]],
+  ['isinloop_9421',['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_9422',['isInLoopInstruction',['../classSVF_1_1TCT.html#af1e7f51f9a3540fa73b856def01da77e',1,'SVF::TCT']]],
+  ['isinrecursion_9423',['isInRecursion',['../classSVF_1_1PointerAnalysis.html#aa725a0c9426e8615cbc078c88561f66a',1,'SVF::PointerAnalysis::isInRecursion()'],['../classSVF_1_1TCT.html#a17a478edc9fac3e501202073100549ff',1,'SVF::TCT::isInRecursion()']]],
+  ['isinsamecispan_9424',['isInSameCISpan',['../classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e',1,'SVF::LockAnalysis']]],
+  ['isinsamecsspan_9425',['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_9426',['isInSameSpan',['../classSVF_1_1LockAnalysis.html#a1c1b63a8bd7449ebeb2c31b0532e9337',1,'SVF::LockAnalysis']]],
+  ['isinscc_9427',['isInSCC',['../classSVF_1_1SCCDetection.html#aff6c15443edca2559ae3f3d04ff45481',1,'SVF::SCCDetection']]],
+  ['isinsensitivecallret_9428',['isInsensitiveCallRet',['../classSVF_1_1ContextDDA.html#a76487b8b3e3abb8a16b5c4f5c7e79819',1,'SVF::ContextDDA']]],
+  ['isinsidecondintralock_9429',['isInsideCondIntraLock',['../classSVF_1_1LockAnalysis.html#a25446604fac03485a991d28f03e88788',1,'SVF::LockAnalysis']]],
+  ['isinsideintralock_9430',['isInsideIntraLock',['../classSVF_1_1LockAnalysis.html#a3fd595637d248213c650889d6e2d07ad',1,'SVF::LockAnalysis']]],
+  ['isint2ptrconstantexpr_9431',['isInt2PtrConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#adfa4a4e6d13004d14137d9168bd32463',1,'SVF::LLVMUtil']]],
+  ['isinterestedpagnode_9432',['isInterestedPAGNode',['../classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962',1,'SVF::VFG']]],
+  ['isintracfgedge_9433',['isIntraCFGEdge',['../classSVF_1_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c',1,'SVF::ICFGEdge']]],
+  ['isintralock_9434',['isIntraLock',['../classSVF_1_1LockAnalysis.html#aabb4acd61154d3e7fed64ec4e94f2d93',1,'SVF::LockAnalysis']]],
+  ['isintravfgedge_9435',['isIntraVFGEdge',['../classSVF_1_1VFGEdge.html#a5d2668f46a709eb179007a296d94b77b',1,'SVF::VFGEdge']]],
+  ['isintrinsic_9436',['isIntrinsic',['../classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb',1,'SVF::SVFFunction']]],
+  ['isintrinsicfun_9437',['isIntrinsicFun',['../namespaceSVF_1_1LLVMUtil.html#a4638a12f5481dff947b59cf8353e619b',1,'SVF::LLVMUtil']]],
+  ['isintrinsicinst_9438',['isIntrinsicInst',['../namespaceSVF_1_1LLVMUtil.html#a003b769751b93b94bdb011bd704cfde1',1,'SVF::LLVMUtil::isIntrinsicInst()'],['../namespaceSVF_1_1SVFUtil.html#abb2bbf6e0dc5adae2140a519259e6f17',1,'SVF::SVFUtil::isIntrinsicInst()']]],
+  ['isinworklist_9439',['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_9440',['isIRFile',['../namespaceSVF_1_1LLVMUtil.html#ad8a8c32a09340f491fffffcb07dd7a41',1,'SVF::LLVMUtil']]],
+  ['isisolatednode_9441',['isIsolatedNode',['../classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7',1,'SVF::SVFVar']]],
+  ['isjoinmustexecutedinloop_9442',['isJoinMustExecutedInLoop',['../classSVF_1_1TCT.html#ad7d8760d745f4d8fcd85ccdf876d22a5',1,'SVF::TCT']]],
+  ['isjoinsite_9443',['isJoinsite',['../classSVF_1_1ThreadCallGraph.html#ac75a38384cda8379c32b4d01d4d5d20a',1,'SVF::ThreadCallGraph']]],
+  ['isjoinsiteinrecursion_9444',['isJoinSiteInRecursion',['../classSVF_1_1TCT.html#a78d2419493546ee2f91a6aeb2e778709',1,'SVF::TCT']]],
+  ['isload_9445',['isLoad',['../classSVF_1_1VersionedFlowSensitive.html#a984a4f929a18f97bfefac0102088a7fd',1,'SVF::VersionedFlowSensitive']]],
+  ['isloadvtblinst_9446',['isLoadVtblInst',['../namespaceSVF_1_1LLVMUtil.html#a45da980cb7c085942bb8e6010db9d84f',1,'SVF::LLVMUtil']]],
+  ['islocalcvarinrecursion_9447',['isLocalCVarInRecursion',['../classSVF_1_1DDAVFSolver.html#a20cadb651b41343437e135e985c4e566',1,'SVF::DDAVFSolver']]],
+  ['islocalvarinrecursivefun_9448',['isLocalVarInRecursiveFun',['../classSVF_1_1PointerAnalysis.html#a108380f6f0b67654bb7c7676686096c8',1,'SVF::PointerAnalysis']]],
+  ['islockaquirecall_9449',['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_9450',['isLockCandidateFun',['../classSVF_1_1LockAnalysis.html#ae2c69e1a6787033a5be2b210134873c3',1,'SVF::LockAnalysis']]],
+  ['islockreleasecall_9451',['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_9452',['isLoopExitOfJoinLoop',['../classSVF_1_1TCT.html#ae62f5a928f59e01d15e8fb4fb8f0f100',1,'SVF::TCT']]],
+  ['isloopheader_9453',['isLoopHeader',['../classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43',1,'SVF::SVFLoopAndDomInfo::isLoopHeader()'],['../classSVF_1_1SVFFunction.html#afa469fdfa92b99d1727b8df873c86768',1,'SVF::SVFFunction::isLoopHeader()']]],
+  ['isloopheaderofjoinloop_9454',['isLoopHeaderOfJoinLoop',['../classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389',1,'SVF::TCT']]],
+  ['islower_9455',['islower',['../extapi_8c.html#aa22ae60881e18aa1b9ec1d94210307ed',1,'extapi.c']]],
+  ['ismemalloc_9456',['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_9457',['isMemcpy',['../classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898',1,'SVF::MTAAnnotator']]],
+  ['ismemcpyextfun_9458',['isMemcpyExtFun',['../namespaceSVF_1_1SVFUtil.html#a688bd5e1bf36b3e75bfcea9388871dc4',1,'SVF::SVFUtil']]],
+  ['ismemdealloc_9459',['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_9460',['isMemset',['../classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93',1,'SVF::MTAAnnotator']]],
+  ['ismemsetextfun_9461',['isMemsetExtFun',['../namespaceSVF_1_1SVFUtil.html#a54098ea73555caa682287f8e3c9e8fcb',1,'SVF::SVFUtil']]],
+  ['ismultiforked_9462',['isMultiforked',['../classSVF_1_1TCTNode.html#a5dd0cf88e381438d191b275314117561',1,'SVF::TCTNode']]],
+  ['ismultiforkedthread_9463',['isMultiForkedThread',['../classSVF_1_1MHP.html#a041392f704690e89d8acf5ec68d8682c',1,'SVF::MHP']]],
+  ['ismultiinheritance_9464',['isMultiInheritance',['../classSVF_1_1DCHNode.html#a42026e30e790bce5be03da3e45353c8d',1,'SVF::DCHNode::isMultiInheritance()'],['../classSVF_1_1CHNode.html#a224a394537fae62e64cf62a0d4fdd430',1,'SVF::CHNode::isMultiInheritance()']]],
+  ['ismultiple_9465',['isMultiple',['../classOptionBase.html#ad6fe65a503048686686ea6ced35a2dfd',1,'OptionBase::isMultiple()'],['../classOptionMultiple.html#aebfc1b172ccde004333d9af7248dca4e',1,'OptionMultiple::isMultiple()']]],
+  ['ismustalias_9466',['isMustAlias',['../classSVF_1_1DDAVFSolver.html#a345e5379f53b618adef014aa6887bfe7',1,'SVF::DDAVFSolver']]],
+  ['ismustjoin_9467',['isMustJoin',['../classSVF_1_1MHP.html#a1c43a0f078f82a3c741de1c4dc2490c0',1,'SVF::MHP']]],
+  ['isnecmp_9468',['isNECmp',['../classSVF_1_1SaberCondAllocator.html#aac5762d9a7d584a9748301acbb31b401',1,'SVF::SaberCondAllocator']]],
+  ['isnegcond_9469',['isNegCond',['../classSVF_1_1SaberCondAllocator.html#ad5d27f65374025b6a105ea7a92cbdb50',1,'SVF::SaberCondAllocator']]],
+  ['isnocallerfunction_9470',['isNoCallerFunction',['../namespaceSVF_1_1LLVMUtil.html#a17cce1a11e1bfc342a9e3e79fe35deef',1,'SVF::LLVMUtil']]],
+  ['isnodehidden_9471',['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_9472',['isNonInstricCallSite',['../namespaceSVF_1_1SVFUtil.html#a4af4db2fe43846609d2ed1d7022b1be1',1,'SVF::SVFUtil']]],
+  ['isnonlocalobject_9473',['isNonLocalObject',['../classSVF_1_1MRGenerator.html#a2cf20660f2fd686fa3cabd046c4a10bf',1,'SVF::MRGenerator']]],
+  ['isnonpointerobj_9474',['isNonPointerObj',['../classSVF_1_1PointerAnalysis.html#a9d3b20c9883d734537fb98b57b5372b9',1,'SVF::PointerAnalysis::isNonPointerObj()'],['../classSVF_1_1SVFIR.html#a980e54129ece0757d7f0373f37428507',1,'SVF::SVFIR::isNonPointerObj()']]],
+  ['isnonptrfieldobj_9475',['isNonPtrFieldObj',['../classSVF_1_1MemObj.html#aef4ed89ab63d6af36e7f291171c150ac',1,'SVF::MemObj::isNonPtrFieldObj()'],['../classSVF_1_1ObjTypeInfo.html#a040ae9ad6cd6b075df6594bb1f706d72',1,'SVF::ObjTypeInfo::isNonPtrFieldObj()']]],
+  ['isnullptr_9476',['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_9477',['isNullPtrSym',['../namespaceSVF_1_1LLVMUtil.html#a847fb0c433b5d3611151636ca4bc5bc5',1,'SVF::LLVMUtil']]],
+  ['isnullstate_9478',['isNullState',['../classSVF_1_1ConsExeState.html#a08f64cf55802c4ddbc1e01b06ce55dec',1,'SVF::ConsExeState']]],
+  ['isnullsymstate_9479',['isNullSymState',['../classSVF_1_1SymState.html#a9817e6ac4387d6a6fe5f67e2ce753a88',1,'SVF::SymState']]],
+  ['isobject_9480',['isObject',['../namespaceSVF_1_1LLVMUtil.html#aca11801ed6ef6ff8d2a1e85bc0fc5794',1,'SVF::LLVMUtil']]],
+  ['isoperoverload_9481',['isOperOverload',['../CppUtil_8cpp.html#a2a7c55fe3b24b913890307e9ac6cb2ba',1,'CppUtil.cpp']]],
+  ['isouticfgedge_9482',['isOutICFGEdge',['../classSVF_1_1SVFLoop.html#a5b2ff96defd83686c2737cafa0e1cc83',1,'SVF::SVFLoop']]],
+  ['isoutofbudgetdpm_9483',['isOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#a0b1f774883adc7d535f8363bf3c8b1e8',1,'SVF::DDAVFSolver']]],
+  ['isoutofbudgetquery_9484',['isOutOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#a7994236bff84ba8244592fdf5e546734',1,'SVF::DDAVFSolver']]],
+  ['isparforsite_9485',['isParForSite',['../classSVF_1_1ThreadCallGraph.html#ae18f0b3245694145f6d9262ee28c6453',1,'SVF::ThreadCallGraph']]],
+  ['ispartialreachable_9486',['isPartialReachable',['../classSVF_1_1ProgSlice.html#a3822badbbe9ac808296d5248f2dbf8e2',1,'SVF::ProgSlice']]],
+  ['isphicopyedge_9487',['isPhiCopyEdge',['../classSVF_1_1VFG.html#a8ddf15d89a1b11a7f7720b671f4f0295',1,'SVF::VFG']]],
+  ['isphinode_9488',['isPhiNode',['../classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff',1,'SVF::SVFIR']]],
+  ['ispointer_9489',['isPointer',['../classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271',1,'SVF::SVFVar']]],
+  ['ispointerty_9490',['isPointerTy',['../classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c',1,'SVF::SVFType']]],
+  ['isprint_9491',['isprint',['../extapi_8c.html#a99355d8f0fb41ec43effb95189db0ed4',1,'extapi.c']]],
+  ['isprogentryfunction_9492',['isProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#ac9d6aff1a5e778e45c51b4f3b6d787e0',1,'SVF::LLVMUtil::isProgEntryFunction()'],['../namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b',1,'SVF::SVFUtil::isProgEntryFunction()']]],
+  ['isprogexitcall_9493',['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_9494',['isProgExitFunction',['../namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57',1,'SVF::SVFUtil']]],
+  ['isprotectedbycommoncilock_9495',['isProtectedByCommonCILock',['../classSVF_1_1LockAnalysis.html#ae912e35cddd4235a663f84f70c3881e7',1,'SVF::LockAnalysis']]],
+  ['isprotectedbycommoncxtlock_9496',['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_9497',['isProtectedByCommonLock',['../classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c',1,'SVF::LockAnalysis']]],
+  ['isptaedge_9498',['isPTAEdge',['../classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951',1,'SVF::SVFStmt']]],
+  ['isptanode_9499',['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_9500',['isPtr2IntConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a2834d135a2385efff783e6e22d2eff1f',1,'SVF::LLVMUtil']]],
+  ['isptrinuncalledfunction_9501',['isPtrInUncalledFunction',['../namespaceSVF_1_1LLVMUtil.html#a07c785d931cef3c61e3dab4c615770be',1,'SVF::LLVMUtil']]],
+  ['isptronlysvfg_9502',['isPtrOnlySVFG',['../classSVF_1_1VFG.html#a268ec1495cbe4adb51fa50d28a4cba3d',1,'SVF::VFG']]],
+  ['ispunct_9503',['ispunct',['../extapi_8c.html#a9d60842d6ae065229ba810e6b01110da',1,'extapi.c']]],
+  ['ispureabstract_9504',['isPureAbstract',['../classSVF_1_1DCHNode.html#aed5e8397d43b602b79425acdae5e01f5',1,'SVF::DCHNode::isPureAbstract()'],['../classSVF_1_1CHNode.html#a268ccdfb486cc2efa8581ee7a3b5af39',1,'SVF::CHNode::isPureAbstract()']]],
+  ['ispwcnode_9505',['isPWCNode',['../classSVF_1_1ConstraintGraph.html#a84468bc9355d31e8c3e18369036ddf5c',1,'SVF::ConstraintGraph::isPWCNode()'],['../classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d',1,'SVF::ConstraintNode::isPWCNode()']]],
+  ['isreachablebetweenfunctions_9506',['isReachableBetweenFunctions',['../classSVF_1_1PTACallGraph.html#aa03df6b1ebf7f8356a47fa074d3f91a4',1,'SVF::PTACallGraph']]],
+  ['isreachablefromprogentry_9507',['isReachableFromProgEntry',['../classSVF_1_1PTACallGraphNode.html#ae549769b86088c7c03e416549694ef52',1,'SVF::PTACallGraphNode']]],
+  ['isreachglobal_9508',['isReachGlobal',['../classSVF_1_1ProgSlice.html#a067480a9815fdb728cd259ef9b687e3e',1,'SVF::ProgSlice']]],
+  ['isreallocextcall_9509',['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_9510',['isReallocExtFun',['../namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4',1,'SVF::SVFUtil']]],
+  ['isrecurfulljoin_9511',['isRecurFullJoin',['../classSVF_1_1MHP.html#a0356a8ccc53999549fb369f67faad306',1,'SVF::MHP']]],
+  ['isretcfgedge_9512',['isRetCFGEdge',['../classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80',1,'SVF::ICFGEdge']]],
+  ['isretdirectvfgedge_9513',['isRetDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a49cbf2a714c9b965b19452d266cd8bdf',1,'SVF::VFGEdge']]],
+  ['isretindirectvfgedge_9514',['isRetIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ad0df7ea2de8de5607229dfcdd7b70b87',1,'SVF::VFGEdge']]],
+  ['isretinst_9515',['isRetInst',['../classSVF_1_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d',1,'SVF::SVFInstruction']]],
+  ['isretvfgedge_9516',['isRetVFGEdge',['../classSVF_1_1VFGEdge.html#a3937eef974c3953f1d1e7d64c5a24ff3',1,'SVF::VFGEdge']]],
+  ['issamescev_9517',['isSameSCEV',['../classSVF_1_1ForkJoinAnalysis.html#abbff6ea064e7241315932db77dccaad9',1,'SVF::ForkJoinAnalysis']]],
+  ['issamethisptrinconstructor_9518',['isSameThisPtrInConstructor',['../namespaceSVF_1_1LLVMUtil.html#a8873eb1cce9496f9699eab22c4a6d3ce',1,'SVF::LLVMUtil']]],
+  ['issamevar_9519',['isSameVar',['../classSVF_1_1CondPTAImpl.html#a7a1be735c76ba4a6b235264fe8ec6c28',1,'SVF::CondPTAImpl']]],
+  ['issatisfiable_9520',['isSatisfiable',['../classSVF_1_1SaberCondAllocator.html#a7c132cc105a97a5dbf0c9b9d16b4b72a',1,'SVF::SaberCondAllocator']]],
+  ['issatisfiableforall_9521',['isSatisfiableForAll',['../classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed',1,'SVF::ProgSlice']]],
+  ['issatisfiableforpairs_9522',['isSatisfiableForPairs',['../classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4',1,'SVF::ProgSlice']]],
+  ['isscalar_9523',['isScalar',['../classSVF_1_1DCHNode.html#a50cf99ff5cc910512c1ce3987c7395ef',1,'SVF::DCHNode']]],
+  ['isselectconstantexpr_9524',['isSelectConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ae59b0dc7f29dbd2018e819f77465f66e',1,'SVF::LLVMUtil']]],
+  ['issigned_9525',['isSigned',['../classSVF_1_1SVFIntegerType.html#a535874e5c49f686dd6ae99304ecd6821',1,'SVF::SVFIntegerType']]],
+  ['issimple_9526',['isSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77',1,'SVF::DefaultDOTGraphTraits']]],
+  ['issinglefieldobj_9527',['isSingleFieldObj',['../classSVF_1_1ConstraintGraph.html#a38fd07dd86f6187a7671f9f85565fccc',1,'SVF::ConstraintGraph']]],
+  ['issinglevaluetype_9528',['isSingleValueType',['../classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6',1,'SVF::SVFType']]],
+  ['issink_9529',['isSink',['../classSVF_1_1SVFGStat.html#ae905f0d64db3039f8fd3c117c4624e31',1,'SVF::SVFGStat::isSink()'],['../classSVF_1_1SrcSnkDDA.html#a703bfc5c825d66fdb0d74eb89d181581',1,'SVF::SrcSnkDDA::isSink()']]],
+  ['issinklikefun_9530',['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_9531',['isSomePathReachable',['../classSVF_1_1SrcSnkDDA.html#a19ab6f6df2a67b294268cfe7f4287fd7',1,'SVF::SrcSnkDDA']]],
+  ['issource_9532',['isSource',['../classSVF_1_1SVFGStat.html#a72c93b86e95bdbe32ade33f7264f4c0a',1,'SVF::SVFGStat::isSource()'],['../classSVF_1_1SrcSnkDDA.html#a815e39e7c65ed9a250cafe40f74a4ba1',1,'SVF::SrcSnkDDA::isSource()']]],
+  ['issourcelikefun_9533',['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()']]],
+  ['isspace_9534',['isspace',['../extapi_8c.html#a84b34b0058324ae5c0eae4956cf00cc5',1,'extapi.c']]],
+  ['isspawneefun_9535',['isSpawneeFun',['../classSVF_1_1PCG.html#aa894020740c6d6ad8a179133f628a573',1,'SVF::PCG']]],
+  ['isspawnerfun_9536',['isSpawnerFun',['../classSVF_1_1PCG.html#a49d2755072df3c5012bc602ac1501bdc',1,'SVF::PCG']]],
+  ['isspawnsite_9537',['isSpawnsite',['../classSVF_1_1PCG.html#a7a9d65698363d5f18c2556ead635cdf8',1,'SVF::PCG']]],
+  ['isspuriousvfedgeatindcallsite_9538',['isSpuriousVFEdgeAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#a9e8da6a516ed6598c66d81a0891fbb6e',1,'SVF::SVFGBuilder']]],
+  ['isstack_9539',['isStack',['../classSVF_1_1MemObj.html#af7316c697eafc71d5fc93108da4e2cee',1,'SVF::MemObj::isStack()'],['../classSVF_1_1ObjTypeInfo.html#aa568dc82decd28d2ef40785a4a647602',1,'SVF::ObjTypeInfo::isStack()']]],
+  ['isstaticobj_9540',['isStaticObj',['../classSVF_1_1MemObj.html#a954eba54eda95e6735eb1d32bd8a276e',1,'SVF::MemObj::isStaticObj()'],['../classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523',1,'SVF::ObjTypeInfo::isStaticObj()']]],
+  ['isstore_9541',['isStore',['../classSVF_1_1VersionedFlowSensitive.html#aac920c9a5f13dd147e3c130425e005eb',1,'SVF::VersionedFlowSensitive']]],
+  ['isstrongupdate_9542',['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_9543',['isStruct',['../classSVF_1_1MemObj.html#a132df66e2751e5db6b0ba82d767a3286',1,'SVF::MemObj::isStruct()'],['../classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a',1,'SVF::ObjTypeInfo::isStruct()']]],
+  ['isstructty_9544',['isStructTy',['../classSVF_1_1SVFType.html#af06efda21356fbd3559e11ec7ae1bde5',1,'SVF::SVFType']]],
+  ['issubset_9545',['isSubset',['../classSVF_1_1CondPointsToSet.html#acefec4fbacde1099d3dc81ab45ab9b8c',1,'SVF::CondPointsToSet']]],
+  ['issvfgnodeincycle_9546',['isSVFGNodeInCycle',['../classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93',1,'SVF::DDAVFSolver']]],
+  ['issym_9547',['isSym',['../classSVF_1_1SingleAbsValue.html#a948aca85133c7045d508b8ee33dabe91',1,'SVF::SingleAbsValue']]],
+  ['issymbolabsvalue_9548',['isSymbolAbsValue',['../classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12',1,'SVF::SingleAbsValue']]],
+  ['istailofspan_9549',['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_9550',['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_9551',['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_9552',['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_9553',['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_9554',['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_9555',['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_9556',['isTemplate',['../classSVF_1_1DCHNode.html#ada436c7cb9108898c520952a87ebd01d',1,'SVF::DCHNode::isTemplate()'],['../classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749',1,'SVF::CHNode::isTemplate()']]],
+  ['isterminator_9557',['isTerminator',['../classSVF_1_1SVFInstruction.html#afbf703f88da59d2b30c14c7d40e5e22d',1,'SVF::SVFInstruction']]],
+  ['istestcontainsnullandthevalue_9558',['isTestContainsNullAndTheValue',['../classSVF_1_1SaberCondAllocator.html#a34be6721a311d72dcd355eeb41dbd3e1',1,'SVF::SaberCondAllocator']]],
+  ['istestnotnullexpr_9559',['isTestNotNullExpr',['../classSVF_1_1SaberCondAllocator.html#a4fc06192d4f7db305c3414a39e7c2b49',1,'SVF::SaberCondAllocator']]],
+  ['istestnullexpr_9560',['isTestNullExpr',['../classSVF_1_1SaberCondAllocator.html#accf26eb31e7724daa3ba9170feee9644',1,'SVF::SaberCondAllocator']]],
+  ['isthreadexitcall_9561',['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_9562',['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_9563',['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_9564',['isThreadMHPIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ace832abe1ec87e3e2338944061d09ea4',1,'SVF::VFGEdge']]],
+  ['istop_9565',['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_9566',['isTopAbsValue',['../classSVF_1_1SingleAbsValue.html#a5749cbe2d0966e65046ce84a78fcba07',1,'SVF::SingleAbsValue']]],
+  ['istoplevelptrstmt_9567',['isTopLevelPtrStmt',['../classSVF_1_1DDAVFSolver.html#a7b35588de00e322afd742041bf735571',1,'SVF::DDAVFSolver']]],
+  ['istruncconstantexpr_9568',['isTruncConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8',1,'SVF::LLVMUtil']]],
+  ['isunaryconstantexpr_9569',['isUnaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a215cc9fd716798bbb7f96f5b64e01349',1,'SVF::LLVMUtil']]],
+  ['isuncalledfunction_9570',['isUncalledFunction',['../classSVF_1_1SVFFunction.html#a818f626cb8b8063b5f3c8928428095b8',1,'SVF::SVFFunction::isUncalledFunction()'],['../namespaceSVF_1_1LLVMUtil.html#a2c61d741afbcfa853b505cd391f29f9b',1,'SVF::LLVMUtil::isUncalledFunction()']]],
+  ['isunconditional_9571',['isUnconditional',['../classSVF_1_1BranchStmt.html#a038d65e38fe792fec4050d3d1c9c5180',1,'SVF::BranchStmt']]],
+  ['isunreachable_9572',['isUnreachable',['../classSVF_1_1SVFLoopAndDomInfo.html#aac4d533d1c7abfefbd54507357e240f4',1,'SVF::SVFLoopAndDomInfo']]],
+  ['isunusedglobalvariable_9573',['isUnusedGlobalVariable',['../namespaceSVF_1_1LLVMUtil.html#acee7c2fb08e111eda4d91ce5479de05e',1,'SVF::LLVMUtil']]],
+  ['isupper_9574',['isupper',['../extapi_8c.html#adadd6582d46775aab6a51e29d16d9f77',1,'extapi.c']]],
+  ['isvalidpointer_9575',['isValidPointer',['../classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3',1,'SVF::SVFIR']]],
+  ['isvalidtoplevelptr_9576',['isValidTopLevelPtr',['../classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139',1,'SVF::SVFIR']]],
+  ['isvalvtbl_9577',['isValVtbl',['../namespaceSVF_1_1LLVMUtil.html#a08fbef6fe3e2af96a49f79ce23accb01',1,'SVF::LLVMUtil']]],
+  ['isvararg_9578',['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_9579',['isVarArray',['../classSVF_1_1MemObj.html#a616e9f4d6f82a253f94391c47668b9a6',1,'SVF::MemObj::isVarArray()'],['../classSVF_1_1ObjTypeInfo.html#aca1e900f9b0a774684af77666cf033e3',1,'SVF::ObjTypeInfo::isVarArray()']]],
+  ['isvariantfieldgep_9580',['isVariantFieldGep',['../classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788',1,'SVF::GepStmt']]],
+  ['isvarstruct_9581',['isVarStruct',['../classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf',1,'SVF::MemObj::isVarStruct()'],['../classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5',1,'SVF::ObjTypeInfo::isVarStruct()']]],
+  ['isvirtualcall_9582',['isVirtualCall',['../classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89',1,'SVF::CallSite']]],
+  ['isvirtualcallsite_9583',['isVirtualCallSite',['../namespaceSVF_1_1LLVMUtil.html#ab1b4c565ae6be788b934defc21a5cfaf',1,'SVF::LLVMUtil']]],
+  ['isvirtualmemaddress_9584',['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_9585',['isVisited',['../classSVF_1_1CSC.html#a2913a7a83deae0b91f1f42dc45c4f3b2',1,'SVF::CSC']]],
+  ['isvisitedctps_9586',['isVisitedCTPs',['../classSVF_1_1LockAnalysis.html#ad459afc7dd1e6620739eeee2bc4c570e',1,'SVF::LockAnalysis::isVisitedCTPs()'],['../classSVF_1_1TCT.html#a68d2b1107f9cc2edcc01265298b7307c',1,'SVF::TCT::isVisitedCTPs()']]],
+  ['isworklistempty_9587',['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()']]],
+  ['isxdigit_9588',['isxdigit',['../extapi_8c.html#adaf3aadefe3fc4fb07b6be0d7b880f53',1,'extapi.c']]],
+  ['iszero_9589',['isZero',['../classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c',1,'SVF::BoundedZ3Expr']]],
+  ['iszerooffsettedgepcgedge_9590',['isZeroOffsettedGepCGEdge',['../classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6',1,'SVF::ConstraintGraph']]],
+  ['iter_5fadaptor_5fbase_9591',['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_9592',['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)']]]
 ];