svf-tools 1.0.782 → 1.0.783

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

@@ -1,432 +1,428 @@
 var searchData=
 [
-  ['icfg_9217',['ICFG',['../classSVF_1_1ICFG.html#a683f33b8ad507a33809511954c7c1acb',1,'SVF::ICFG']]],
-  ['icfgbuilder_9218',['ICFGBuilder',['../classSVF_1_1ICFGBuilder.html#a40d50a22a5c2094dbfe5e8516a0deccc',1,'SVF::ICFGBuilder']]],
-  ['icfgedge_9219',['ICFGEdge',['../classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04',1,'SVF::ICFGEdge']]],
-  ['icfgedgewrapper_9220',['ICFGEdgeWrapper',['../classSVF_1_1ICFGEdgeWrapper.html#a7d2ded0d73605918c73b48eba7d54d6f',1,'SVF::ICFGEdgeWrapper']]],
-  ['icfgnode_9221',['ICFGNode',['../classSVF_1_1ICFGNode.html#ae6fe836e269ac36f14b2d2b1499a11e6',1,'SVF::ICFGNode']]],
-  ['icfgnodesbegin_9222',['ICFGNodesBegin',['../classSVF_1_1SVFLoop.html#a39d7db54e8dd092fd5420c5332210ed1',1,'SVF::SVFLoop']]],
-  ['icfgnodesend_9223',['ICFGNodesEnd',['../classSVF_1_1SVFLoop.html#a4c96835d38a55423b70b2ce100d76dd2',1,'SVF::SVFLoop']]],
-  ['icfgnodewrapper_9224',['ICFGNodeWrapper',['../classSVF_1_1ICFGNodeWrapper.html#aeba5968ce7ab2859e69bb78ffc4de975',1,'SVF::ICFGNodeWrapper']]],
-  ['icfgstat_9225',['ICFGStat',['../classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f',1,'SVF::ICFGStat']]],
-  ['icfgwrapper_9226',['ICFGWrapper',['../classSVF_1_1ICFGWrapper.html#a7a7a1a8f9aba659a9fe5ae58c84fd1cd',1,'SVF::ICFGWrapper']]],
-  ['icfgwrapperbuilder_9227',['ICFGWrapperBuilder',['../classSVF_1_1ICFGWrapperBuilder.html#af3c30eab15cb08ec459ac76a64af2577',1,'SVF::ICFGWrapperBuilder']]],
-  ['icfgwriter_9228',['ICFGWriter',['../classSVF_1_1ICFGWriter.html#af1e7410c278b429e8466afc8bd8551be',1,'SVF::ICFGWriter']]],
-  ['id_9229',['id',['../classSVF_1_1Z3Expr.html#acdb4fbb53f19bac033e79cfe96ce82ca',1,'SVF::Z3Expr']]],
-  ['identifyfollowers_9230',['identifyFollowers',['../classSVF_1_1PCG.html#ae5ee8cf8cfe42854407190f30f3b6c1b',1,'SVF::PCG']]],
-  ['idtoobjmap_9231',['idToObjMap',['../classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697',1,'SVF::SymbolTableInfo::idToObjMap()'],['../classSVF_1_1SymbolTableInfo.html#adcf3450e3abca33536420271959c56f1',1,'SVF::SymbolTableInfo::idToObjMap() const']]],
-  ['if_9232',['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_9233',['inBackwardSlice',['../classSVF_1_1SVFGStat.html#a6e68486e02db81cbbedc942ace3e9590',1,'SVF::SVFGStat::inBackwardSlice()'],['../classSVF_1_1ProgSlice.html#a066430ffa98a3fa0a5ad48d26e0450f7',1,'SVF::ProgSlice::inBackwardSlice()']]],
-  ['incedgenum_9234',['incEdgeNum',['../classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14',1,'SVF::GenericGraph']]],
-  ['incnodenum_9235',['incNodeNum',['../classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21',1,'SVF::GenericGraph']]],
-  ['incomingaddredges_9236',['incomingAddrEdges',['../classSVF_1_1ConstraintNode.html#ac9bb037a59db6b035c2785cad6ac56aa',1,'SVF::ConstraintNode']]],
-  ['incomingaddrsbegin_9237',['incomingAddrsBegin',['../classSVF_1_1ConstraintNode.html#a19c1ed324f65f4cc58dd2fd21ed4a971',1,'SVF::ConstraintNode']]],
-  ['incomingaddrsend_9238',['incomingAddrsEnd',['../classSVF_1_1ConstraintNode.html#ae8ac9ad8e766b961c7ce06d7219f37af',1,'SVF::ConstraintNode']]],
-  ['incomingloadsbegin_9239',['incomingLoadsBegin',['../classSVF_1_1ConstraintNode.html#a7f591f8eda63abbaaea9a8bfb97f3959',1,'SVF::ConstraintNode']]],
-  ['incomingloadsend_9240',['incomingLoadsEnd',['../classSVF_1_1ConstraintNode.html#a0bfdbe171acd2825055e571f314c0a48',1,'SVF::ConstraintNode']]],
-  ['incomingstoresbegin_9241',['incomingStoresBegin',['../classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714',1,'SVF::ConstraintNode']]],
-  ['incomingstoresend_9242',['incomingStoresEnd',['../classSVF_1_1ConstraintNode.html#a8d58f5224728bb6811f12c94826167f6',1,'SVF::ConstraintNode']]],
-  ['increasenumofobjandnodes_9243',['increaseNumOfObjAndNodes',['../classSVF_1_1NodeIDAllocator.html#a9c45508d535a6c669cfeb150aa4fb71f',1,'SVF::NodeIDAllocator']]],
-  ['increasestacksize_9244',['increaseStackSize',['../namespaceSVF_1_1SVFUtil.html#a0d7588578735679773493ff2d5e458e1',1,'SVF::SVFUtil']]],
-  ['indent_9245',['indent',['../DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269',1,'DCHG.cpp']]],
-  ['index_9246',['index',['../structSVF_1_1SparseBitVectorElement.html#ae63d6fcc488ad3cdcddf35edb4e9c827',1,'SVF::SparseBitVectorElement']]],
-  ['indexforbit_9247',['indexForBit',['../classSVF_1_1CoreBitVector.html#ad73fca28bd4882eaa70817023a632d35',1,'SVF::CoreBitVector']]],
-  ['indirectcallsbegin_9248',['indirectCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#afbdb582d20ab953b2de1f3efacb74679',1,'SVF::PTACallGraphEdge']]],
-  ['indirectcallsend_9249',['indirectCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#a494bc8bacca5ca8d266286f3fb303495',1,'SVF::PTACallGraphEdge']]],
-  ['indirectsvfgedge_9250',['IndirectSVFGEdge',['../classSVF_1_1IndirectSVFGEdge.html#a6d40ccc9b99aec6515c2ef1df5a7b18f',1,'SVF::IndirectSVFGEdge']]],
-  ['indvfedgeend_9251',['indVFEdgeEnd',['../classSVF_1_1SVFGStat.html#a8b3b9a211f410e67e8fd1a79d3db9023',1,'SVF::SVFGStat']]],
-  ['indvfedgestart_9252',['indVFEdgeStart',['../classSVF_1_1SVFGStat.html#adcb30427bb220dc122ad22030e10eb21',1,'SVF::SVFGStat']]],
-  ['inedgebegin_9253',['InEdgeBegin',['../classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7',1,'SVF::GenericNode::InEdgeBegin()'],['../classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39',1,'SVF::GenericNode::InEdgeBegin() const'],['../classSVF_1_1ICFGNodeWrapper.html#ac6a9670cb97922875a7db0f3cbee2b0b',1,'SVF::ICFGNodeWrapper::InEdgeBegin()'],['../classSVF_1_1ICFGNodeWrapper.html#aeb6fb4bf6b11cbbe8180ff0e85fb4cff',1,'SVF::ICFGNodeWrapper::InEdgeBegin() const']]],
-  ['inedgeend_9254',['InEdgeEnd',['../classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900',1,'SVF::GenericNode::InEdgeEnd()'],['../classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07',1,'SVF::GenericNode::InEdgeEnd() const'],['../classSVF_1_1ICFGNodeWrapper.html#aebccce8861260f448dee3826cfbabf5f',1,'SVF::ICFGNodeWrapper::InEdgeEnd()'],['../classSVF_1_1ICFGNodeWrapper.html#a2e7bc8621e8852d8a7b922ffb7959080',1,'SVF::ICFGNodeWrapper::InEdgeEnd() const']]],
-  ['inedgesbegin_9255',['inEdgesBegin',['../classSVF_1_1SVFLoop.html#ad23cbd43efdf66427f489cc602ae84cf',1,'SVF::SVFLoop']]],
-  ['inedgesend_9256',['inEdgesEnd',['../classSVF_1_1SVFLoop.html#ae5ba7f837d6ff6e120dd3312bd18566a',1,'SVF::SVFLoop']]],
-  ['inet_5fntop_9257',['inet_ntop',['../extapi_8c.html#a815550360dffb66bbe62df2586b5bceb',1,'extapi.c']]],
-  ['inferfieldidxfrombyteoffset_9258',['inferFieldIdxFromByteOffset',['../classSVF_1_1SVFIRBuilder.html#a04d688ae4f93354327a6c0ad4f255ade',1,'SVF::SVFIRBuilder']]],
-  ['inferfromcallgraph_9259',['inferFromCallGraph',['../classSVF_1_1PCG.html#adff1702e1b0a902de7ded742846fe137',1,'SVF::PCG']]],
-  ['infilter_9260',['inFilter',['../classSVF_1_1LockResultValidator.html#a5fca287b181582302c24864c3f397340',1,'SVF::LockResultValidator']]],
-  ['inforwardslice_9261',['inForwardSlice',['../classSVF_1_1SVFGStat.html#adc6a5c3e430bdf942f1462e101ac6917',1,'SVF::SVFGStat::inForwardSlice()'],['../classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6',1,'SVF::ProgSlice::inForwardSlice()']]],
-  ['init_9262',['init',['../classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7',1,'SVF::RaceResultValidator::init(SVFModule *M)'],['../classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7',1,'SVF::RaceResultValidator::init(SVFModule *M)'],['../classSVF_1_1SaberCheckerAPI.html#a5771df69ffa75b6103a32c8bd48ef488',1,'SVF::SaberCheckerAPI::init()'],['../classSVF_1_1ThreadAPI.html#a4535862f26efff9f45236000507932c9',1,'SVF::ThreadAPI::init()']]],
-  ['initcxtinsensitiveedges_9263',['initCxtInsensitiveEdges',['../classSVF_1_1DDAPass.html#add44aee75c9a59327b4eb46774551e2b',1,'SVF::DDAPass']]],
-  ['initdefault_9264',['initDefault',['../classSVF_1_1DDAStat.html#ac7275c99ddd118696853188154ad6fbd',1,'SVF::DDAStat']]],
-  ['initdomtree_9265',['initDomTree',['../classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d',1,'SVF::LLVMModuleSet']]],
-  ['initexestate_9266',['initExeState',['../classSVF_1_1ConsExeState.html#a5a1da3b1c8cdc3b3e07fe20124f6eeea',1,'SVF::ConsExeState']]],
-  ['initfromthreadapi_9267',['initFromThreadAPI',['../classSVF_1_1PCG.html#a23752f0a9fe4f01698808d0a50ccc896',1,'SVF::PCG']]],
-  ['initialglobal_9268',['InitialGlobal',['../classSVF_1_1SVFIRBuilder.html#ae7fcd2050a57a43bfed2c7fd1c41d250',1,'SVF::SVFIRBuilder']]],
-  ['initialise_9269',['initialise',['../classSVF_1_1DDAClient.html#a40f6d8769db41f4c907fe5b615e5df83',1,'SVF::DDAClient']]],
-  ['initialisecandidatepointers_9270',['initialiseCandidatePointers',['../classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5',1,'SVF::SVFIR']]],
-  ['initialisenodes_9271',['initialiseNodes',['../classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71',1,'SVF::SVFIRBuilder']]],
-  ['initialize_9272',['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_9273',['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_9274',['initialWorkList',['../classSVF_1_1SVFGOPT.html#ae825e01893d3304379f72380d314f09c',1,'SVF::SVFGOPT']]],
-  ['initobjvar_9275',['initObjVar',['../classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0',1,'SVF::SVFIR2ConsExeState::initObjVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d',1,'SVF::SVFIR2ItvExeState::initObjVar()']]],
-  ['initsnks_9276',['initSnks',['../classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c',1,'SVF::LeakChecker::initSnks()'],['../classSVF_1_1SrcSnkDDA.html#a0f6cfa30c346aab1fb03a44e47c32559',1,'SVF::SrcSnkDDA::initSnks()']]],
-  ['initsrcs_9277',['initSrcs',['../classSVF_1_1LeakChecker.html#a273a7bfc3e81505ec971ca1d419bb565',1,'SVF::LeakChecker::initSrcs()'],['../classSVF_1_1SrcSnkDDA.html#a1c8f91ffa0b9f01d51c8cd5e14f076d5',1,'SVF::SrcSnkDDA::initSrcs()']]],
-  ['initstats_9278',['initStats',['../classSVF_1_1PersistentPointsToCache.html#ab19e4e17b1896565e0bada1f161d1266',1,'SVF::PersistentPointsToCache']]],
-  ['initsvfbasicblock_9279',['initSVFBasicBlock',['../classSVF_1_1LLVMModuleSet.html#a20162d2894d6a12ba29410311fba4002',1,'SVF::LLVMModuleSet']]],
-  ['initsvffunction_9280',['initSVFFunction',['../classSVF_1_1LLVMModuleSet.html#ac6a5540354696f4c9170e0a5832ba70e',1,'SVF::LLVMModuleSet']]],
-  ['initsvfvar_9281',['initSVFVar',['../classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857',1,'SVF::SVFIR2ConsExeState::initSVFVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#af5d05c5316127cfe8d975a3a0a23798b',1,'SVF::SVFIR2ItvExeState::initSVFVar()']]],
-  ['inittypeinfo_9282',['initTypeInfo',['../classSVF_1_1SymbolTableBuilder.html#ae938564e6a36848cb848a5badc15a1de',1,'SVF::SymbolTableBuilder']]],
-  ['initvalvar_9283',['initValVar',['../classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8',1,'SVF::SVFIR2ConsExeState::initValVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#a61d288c8dc621a0578faa5ff784f4b6e',1,'SVF::SVFIR2ItvExeState::initValVar()']]],
-  ['initworklist_9284',['initWorklist',['../classSVF_1_1Andersen.html#a9075cd05cb21e0f08a1109b7af6c7480',1,'SVF::Andersen::initWorklist()'],['../classSVF_1_1WPASolver.html#a7195381c3aab04890139b4fe2c561909',1,'SVF::WPASolver::initWorklist()']]],
-  ['inlocalloctoaddrstable_9285',['inLocalLocToAddrsTable',['../classSVF_1_1ConsExeState.html#af8f2b698dd97793b0124cd5a4ac4d035',1,'SVF::ConsExeState::inLocalLocToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb',1,'SVF::IntervalExeState::inLocalLocToAddrsTable()']]],
-  ['inlocalloctoivaltable_9286',['inLocalLocToIValTable',['../classSVF_1_1IntervalExeState.html#a25c1369d7d38469ecde6022cf367c009',1,'SVF::IntervalExeState']]],
-  ['inlocalloctoval_9287',['inLocalLocToVal',['../classSVF_1_1ConsExeState.html#a22eb7b0b38d8df8efae757f4c76b5328',1,'SVF::ConsExeState::inLocalLocToVal(const SingleAbsValue &loc) const'],['../classSVF_1_1ConsExeState.html#a77fc570e6ee986c50cecaa20f06e6f77',1,'SVF::ConsExeState::inLocalLocToVal(u32_t varId) const']]],
-  ['inloctoaddrstable_9288',['inLocToAddrsTable',['../classSVF_1_1ConsExeState.html#a1effca0f87f2180e160600ee5528b12f',1,'SVF::ConsExeState::inLocToAddrsTable()'],['../classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710',1,'SVF::ExeState::inLocToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4',1,'SVF::IntervalExeState::inLocToAddrsTable()'],['../classSVF_1_1SVFIR2ConsExeState.html#a2b04cb226b28d577fa860a4cbf11b5c3',1,'SVF::SVFIR2ConsExeState::inLocToAddrsTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665',1,'SVF::SVFIR2ItvExeState::inLocToAddrsTable()']]],
-  ['inloctoivaltable_9289',['inLocToIValTable',['../classSVF_1_1IntervalExeState.html#aeac953e77360627da7426b2619d509cc',1,'SVF::IntervalExeState::inLocToIValTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab5eebce09b695a3ea1a1c6d5641296e2',1,'SVF::SVFIR2ItvExeState::inLocToIValTable()']]],
-  ['inloctoval_9290',['inLocToVal',['../classSVF_1_1ConsExeState.html#a6cf5a55374178b2d538b79c3efed3f34',1,'SVF::ConsExeState']]],
-  ['inloctovaltable_9291',['inLocToValTable',['../classSVF_1_1SVFIR2ConsExeState.html#a73a8f1354e22d41078abe3466b202df2',1,'SVF::SVFIR2ConsExeState']]],
-  ['innodetocycledepth_9292',['inNodeToCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#a646f67339a7751f0e10ea42143e6894d',1,'SVF::CFBasicBlockGWTO']]],
-  ['insamecallgraphscc_9293',['inSameCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae58c2b25494ec51e714c83c6cfd5dd67',1,'SVF::PointerAnalysis::inSameCallGraphSCC()'],['../classSVF_1_1TCT.html#a95cd490d37f8831edc6910f7ecdf413e',1,'SVF::TCT::inSameCallGraphSCC()']]],
-  ['inscc_9294',['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_9295',['insert',['../classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0',1,'SVF::AddressValue']]],
-  ['insertattribute_9296',['insertAttribute',['../classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20',1,'SVF::GrammarBase']]],
-  ['insertbranchcondition_9297',['insertBranchCondition',['../classSVF_1_1CDGEdge.html#ae9624672c9dc368f8ae2a091ca7523c5',1,'SVF::CDGEdge']]],
-  ['insertebnfsigns_9298',['insertEBNFSigns',['../classSVF_1_1GrammarBase.html#a2af19122bccb7ca0c7ab44a07a1bdfb1',1,'SVF::GrammarBase']]],
-  ['insertedge_5fh_9299',['insertEdge_h',['../classSVF_1_1POCRHybridSolver.html#a122025228d5ca57e287f7fe85f279765',1,'SVF::POCRHybridSolver']]],
-  ['insertkey_9300',['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_9301',['insertKeyNode',['../classSVF_1_1SymState.html#ad3dd094395543f5459c6cbde859ab775',1,'SVF::SymState']]],
-  ['insertnonterminalkind_9302',['insertNonterminalKind',['../classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0',1,'SVF::GrammarBase']]],
-  ['insertnonterminalsymbol_9303',['insertNonTerminalSymbol',['../classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b',1,'SVF::GrammarBase']]],
-  ['insertphi_9304',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
-  ['insertsymbol_9305',['insertSymbol',['../classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84',1,'SVF::GrammarBase']]],
-  ['insertterminalkind_9306',['insertTerminalKind',['../classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542',1,'SVF::GrammarBase']]],
-  ['insertterminalsymbol_9307',['insertTerminalSymbol',['../classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8',1,'SVF::GrammarBase']]],
-  ['inserttocflgrammar_9308',['insertToCFLGrammar',['../classSVF_1_1CFGNormalizer.html#a676f99f3af1dfb9e118717913982120d',1,'SVF::CFGNormalizer']]],
-  ['interdisjointmrg_9309',['InterDisjointMRG',['../classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428',1,'SVF::InterDisjointMRG']]],
-  ['interferenceanalysis_9310',['interferenceAnalysis',['../classSVF_1_1PCG.html#a057887f3d5fd3b9b414e573b3f9f4548',1,'SVF::PCG']]],
-  ['intericfgnode_9311',['InterICFGNode',['../classSVF_1_1InterICFGNode.html#a192826ba075a80add6a39a039a32bc05',1,'SVF::InterICFGNode']]],
-  ['intermssaphisvfgnode_9312',['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_9313',['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_9314',['intersect',['../classSVF_1_1LockAnalysis.html#aeb479eeac0fdde1486c78da68fc82383',1,'SVF::LockAnalysis']]],
-  ['intersectpts_9315',['intersectPts',['../classSVF_1_1PersistentPointsToCache.html#a17d33558208c19019e541ee167009494',1,'SVF::PersistentPointsToCache']]],
-  ['intersects_9316',['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_9317',['intersectWith',['../structSVF_1_1SparseBitVectorElement.html#a2f62812b261a83b19aab46c0961bfcb4',1,'SVF::SparseBitVectorElement']]],
-  ['intersectwithcomplement_9318',['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_9319',['Interval2NumValue',['../classSVF_1_1IntervalExeState.html#a12fe65f05dfe7a01e771e0b9990faba8',1,'SVF::IntervalExeState']]],
-  ['intervalexestate_9320',['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_9321',['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_9322',['intraBackwardTraverse',['../classSVF_1_1LockAnalysis.html#a5f693c893f3701e1e025881f91193d53',1,'SVF::LockAnalysis']]],
-  ['intracfgedge_9323',['IntraCFGEdge',['../classSVF_1_1IntraCFGEdge.html#aeab701d63caadf8effabdbd23ac0cd49',1,'SVF::IntraCFGEdge']]],
-  ['intradirsvfgedge_9324',['IntraDirSVFGEdge',['../classSVF_1_1IntraDirSVFGEdge.html#a2157a56f5d707a946e2ad54219fdc69a',1,'SVF::IntraDirSVFGEdge']]],
-  ['intradisjointmrg_9325',['IntraDisjointMRG',['../classSVF_1_1IntraDisjointMRG.html#ae4bc9b653e15ce876579741e91a463ae',1,'SVF::IntraDisjointMRG']]],
-  ['intraforwardtraverse_9326',['intraForwardTraverse',['../classSVF_1_1LockAnalysis.html#a7b943f626a551c0fcd6761fc42728e9d',1,'SVF::LockAnalysis']]],
-  ['intraicfgnode_9327',['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_9328',['IntraIndSVFGEdge',['../classSVF_1_1IntraIndSVFGEdge.html#ab2b1f7610737c6f0a5a94b8a7e629110',1,'SVF::IntraIndSVFGEdge']]],
-  ['intramssaphisvfgnode_9329',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d',1,'SVF::IntraMSSAPHISVFGNode']]],
-  ['intraphivfgnode_9330',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3',1,'SVF::IntraPHIVFGNode']]],
-  ['invartoaddrstable_9331',['inVarToAddrsTable',['../classSVF_1_1ConsExeState.html#a755fbe99c6d02b6a7897dad86f46c580',1,'SVF::ConsExeState::inVarToAddrsTable()'],['../classSVF_1_1ExeState.html#a6dfff6d4302faeb80c78a512f32b529f',1,'SVF::ExeState::inVarToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45',1,'SVF::IntervalExeState::inVarToAddrsTable()'],['../classSVF_1_1SVFIR2ConsExeState.html#a849978e7839b365fd2cf335e5840031a',1,'SVF::SVFIR2ConsExeState::inVarToAddrsTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9',1,'SVF::SVFIR2ItvExeState::inVarToAddrsTable()']]],
-  ['invartoivaltable_9332',['inVarToIValTable',['../classSVF_1_1IntervalExeState.html#a884199a26d43d09bc7e33369fceb8274',1,'SVF::IntervalExeState::inVarToIValTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13',1,'SVF::SVFIR2ItvExeState::inVarToIValTable()']]],
-  ['invartoval_9333',['inVarToVal',['../classSVF_1_1ConsExeState.html#af832e1d7a773f6038da356a677a687f2',1,'SVF::ConsExeState']]],
-  ['invartovaltable_9334',['inVarToValTable',['../classSVF_1_1SVFIR2ConsExeState.html#a734006d65a35034fa2d32282c7dce47f',1,'SVF::SVFIR2ConsExeState']]],
-  ['inverse_9335',['Inverse',['../structSVF_1_1Inverse.html#a9bff8acbcb891eeaeb6a9324312358a0',1,'SVF::Inverse']]],
-  ['inverse_5fchildren_9336',['inverse_children',['../namespaceSVF.html#a155eb379cf271ac550333afb13cb36fa',1,'SVF']]],
-  ['inverse_5fnodes_9337',['inverse_nodes',['../namespaceSVF.html#a6506af0b08e86390c0e4786b6ee294ae',1,'SVF']]],
-  ['irgraph_9338',['IRGraph',['../classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28',1,'SVF::IRGraph']]],
-  ['is_5falloc_9339',['is_alloc',['../classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d',1,'SVF::ExtAPI']]],
-  ['is_5farg_5falloc_9340',['is_arg_alloc',['../classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477',1,'SVF::ExtAPI']]],
-  ['is_5fbool_9341',['is_bool',['../classSVF_1_1Z3Expr.html#aa4344471835568e6101780d3aece1900',1,'SVF::Z3Expr']]],
-  ['is_5fext_9342',['is_ext',['../classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2',1,'SVF::ExtAPI']]],
-  ['is_5finfinite_9343',['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_9344',['is_infinity',['../classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d',1,'SVF::NumericLiteral']]],
-  ['is_5fmemcpy_9345',['is_memcpy',['../classSVF_1_1ExtAPI.html#aadc8f2e0ff777e3f611a7d741def0742',1,'SVF::ExtAPI']]],
-  ['is_5fmemset_9346',['is_memset',['../classSVF_1_1ExtAPI.html#a9f6e5cd617ab57ef9da0bab6c3c9cdc8',1,'SVF::ExtAPI']]],
-  ['is_5fminus_5finfinite_9347',['is_minus_infinite',['../classSVF_1_1BoundedZ3Expr.html#a90c87bed7210246db310dbecc61326ac',1,'SVF::BoundedZ3Expr']]],
-  ['is_5fminus_5finfinity_9348',['is_minus_infinity',['../classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15',1,'SVF::NumericLiteral']]],
-  ['is_5fnumeral_9349',['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_9350',['is_plus_infinite',['../classSVF_1_1BoundedZ3Expr.html#a1b58a124940bbc4da8c09f2b63b24b0c',1,'SVF::BoundedZ3Expr']]],
-  ['is_5fplus_5finfinity_9351',['is_plus_infinity',['../classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7',1,'SVF::NumericLiteral']]],
-  ['is_5frealloc_9352',['is_realloc',['../classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4',1,'SVF::ExtAPI']]],
-  ['is_5ftrue_9353',['is_true',['../classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c',1,'SVF::BoundedZ3Expr']]],
-  ['is_5fzero_9354',['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_9355',['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_9356',['isActualOUTPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301',1,'SVF::InterMSSAPHISVFGNode']]],
-  ['isactualretphi_9357',['isActualRetPHI',['../classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4',1,'SVF::InterPHIVFGNode']]],
-  ['isagg_9358',['isAgg',['../classSVF_1_1DCHGraph.html#a9d2be5aec5216cbc1d1709b41f79c44b',1,'SVF::DCHGraph']]],
-  ['isaliasedforkjoin_9359',['isAliasedForkJoin',['../classSVF_1_1ForkJoinAnalysis.html#a209ab13297e61f980cdf350e8fe2a9b4',1,'SVF::ForkJoinAnalysis']]],
-  ['isaliasedlocks_9360',['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_9361',['isAliasedMR',['../classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a',1,'SVF::MRGenerator']]],
-  ['isallpathreachable_9362',['isAllPathReachable',['../classSVF_1_1SaberCondAllocator.html#a246da0431273c312800459aa85d80a86',1,'SVF::SaberCondAllocator::isAllPathReachable()'],['../classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0',1,'SVF::SrcSnkDDA::isAllPathReachable()']]],
-  ['isallreachable_9363',['isAllReachable',['../classSVF_1_1ProgSlice.html#a2f96f034b7236791fe1d4d351174722e',1,'SVF::ProgSlice']]],
-  ['isalnum_9364',['isalnum',['../extapi_8c.html#abe92a0aebef4717d08c64655ac44c9af',1,'extapi.c']]],
-  ['isalpha_9365',['isalpha',['../extapi_8c.html#af947cbf1ae303e5297c9d68c68a6b9cb',1,'extapi.c']]],
-  ['isanallocationwraper_9366',['isAnAllocationWraper',['../namespaceSVF_1_1SVFUtil.html#a2c47299fdf0ca0d08578ded6348f77c2',1,'SVF::SVFUtil']]],
-  ['isargofuncalledfunction_9367',['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_9368',['isArray',['../classSVF_1_1MemObj.html#aeba6eeed4843a1a90cf1d4b7deb197af',1,'SVF::MemObj::isArray()'],['../classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1',1,'SVF::ObjTypeInfo::isArray()']]],
-  ['isarraycondmemobj_9369',['isArrayCondMemObj',['../classSVF_1_1DDAVFSolver.html#a9aaa5ee3dc8abc51c4b6e463e1949ee7',1,'SVF::DDAVFSolver']]],
-  ['isarraymemobj_9370',['isArrayMemObj',['../classSVF_1_1PointerAnalysis.html#a89dfeedf8e3e91603a1e9c73e3608a73',1,'SVF::PointerAnalysis']]],
-  ['isbackicfgedge_9371',['isBackICFGEdge',['../classSVF_1_1SVFLoop.html#a7283685960ed98e1a292e3f688d9aa2b',1,'SVF::SVFLoop']]],
-  ['isbarrierwaitcall_9372',['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_9373',['isBase',['../classSVF_1_1DCHGraph.html#ab33f9af6ad22eb99dd0d9950fb0e50e6',1,'SVF::DCHGraph']]],
-  ['isbbcallsprogexit_9374',['isBBCallsProgExit',['../classSVF_1_1SaberCondAllocator.html#a9d626dea5aa694799ec15a3b64021a35',1,'SVF::SaberCondAllocator']]],
-  ['isbinaryconstantexpr_9375',['isBinaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a35b36394af726c679fe2c1b6051db7c4',1,'SVF::LLVMUtil']]],
-  ['isbkvisited_9376',['isbkVisited',['../classSVF_1_1DDAVFSolver.html#a9a9c3a8b5e4ffc89418073110e446f20',1,'SVF::DDAVFSolver']]],
-  ['isblackhole_9377',['isblackHole',['../classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73',1,'SVF::SVFValue']]],
-  ['isblackholeobj_9378',['isBlackHoleObj',['../classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c',1,'SVF::MemObj']]],
-  ['isblackholesym_9379',['isBlackholeSym',['../namespaceSVF_1_1LLVMUtil.html#abf4e75ba6236136399d45c85be2328fe',1,'SVF::LLVMUtil']]],
-  ['isblank_9380',['isblank',['../extapi_8c.html#aaecd098576b00440124c44580144e8d5',1,'extapi.c']]],
-  ['isblkobj_9381',['isBlkObj',['../classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad',1,'SVF::SVFIR::isBlkObj()'],['../classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3',1,'SVF::SymbolTableInfo::isBlkObj()']]],
-  ['isblkobjorconstantobj_9382',['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_9383',['isBlkPtr',['../classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997',1,'SVF::SVFIR::isBlkPtr()'],['../classSVF_1_1SymbolTableInfo.html#acba43b6e9cdf07afaf3d30351aa8df7c',1,'SVF::SymbolTableInfo::isBlkPtr()']]],
-  ['isbool_9384',['isBool',['../classOptionBase.html#acd2a32f510c026154665f7d874f3f362',1,'OptionBase::isBool()'],['../classOption.html#a910cf3c0ac5d45ee169cb8750898ea0b',1,'Option::isBool()']]],
-  ['isbottom_9385',['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_9386',['isBottomAbsValue',['../classSVF_1_1SingleAbsValue.html#a5ece7dbaa27e73795a89adb90afe60fe',1,'SVF::SingleAbsValue']]],
-  ['isbuiltfromfile_9387',['isBuiltFromFile',['../classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98',1,'SVF::IRGraph']]],
-  ['iscallcfgedge_9388',['isCallCFGEdge',['../classSVF_1_1ICFGEdge.html#a2ecc0bc3bb3655bf3db3adb732747b49',1,'SVF::ICFGEdge']]],
-  ['iscalldirectvfgedge_9389',['isCallDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a92e3da59f7f5a693945b9a93f169da04',1,'SVF::VFGEdge']]],
-  ['iscalledextfunction_9390',['isCalledExtFunction',['../classSVF_1_1LLVMModuleSet.html#abbca1044dc59299224598ec2ba17fe7e',1,'SVF::LLVMModuleSet']]],
-  ['iscallindirectvfgedge_9391',['isCallIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ae14a5f58064e6c08b53a3cffcc050077',1,'SVF::VFGEdge']]],
-  ['iscallsite_9392',['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_9393',['isCallSiteRetSVFGNode',['../classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59',1,'SVF::SVFG']]],
-  ['iscallvfgedge_9394',['isCallVFGEdge',['../classSVF_1_1VFGEdge.html#a4352297ef44c4eff1efe2f348cce6fe9',1,'SVF::VFGEdge']]],
-  ['iscandidatefun_9395',['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_9396',['isCastConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#af983b0e1fbd371d8672e8f03f63084fc',1,'SVF::LLVMUtil']]],
-  ['iscfgedge_9397',['isCFGEdge',['../classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173',1,'SVF::ICFGEdge']]],
-  ['iscmpconstantexpr_9398',['isCmpConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#aa0b3e34188f721ff7145e47cb607c79a',1,'SVF::LLVMUtil']]],
-  ['iscntrl_9399',['iscntrl',['../extapi_8c.html#a0008a4e8e7889734dc1d83297de07158',1,'extapi.c']]],
-  ['isconcretecxt_9400',['isConcreteCxt',['../classSVF_1_1ContextCond.html#ac5f7388c0bbcee1878201819b9cd199f',1,'SVF::ContextCond']]],
-  ['iscondcompatible_9401',['isCondCompatible',['../classSVF_1_1ContextDDA.html#a57d309971de00db9bd8c6bfaf237cbff',1,'SVF::ContextDDA::isCondCompatible()'],['../classSVF_1_1CondPTAImpl.html#a6b746c30161c7dab86510895e0032935',1,'SVF::CondPTAImpl::isCondCompatible()']]],
-  ['isconditional_9402',['isConditional',['../classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901',1,'SVF::BranchStmt']]],
-  ['isconnectedfrommain_9403',['isConnectedfromMain',['../classSVF_1_1MHP.html#a90c228214643bb6d37bacffc35b99a3e',1,'SVF::MHP']]],
-  ['isconnectingtwocallsites_9404',['isConnectingTwoCallSites',['../classSVF_1_1SVFGOPT.html#aa23c967a8fcadbaf47e93a5b3610c84d',1,'SVF::SVFGOPT']]],
-  ['isconstantarray_9405',['isConstantArray',['../classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb',1,'SVF::MemObj::isConstantArray()'],['../classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212',1,'SVF::ObjTypeInfo::isConstantArray()']]],
-  ['isconstantobj_9406',['isConstantObj',['../classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156',1,'SVF::SVFIR::isConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a704b917b1e1dbaf9cd758fa9acc1083b',1,'SVF::SymbolTableInfo::isConstantObj()']]],
-  ['isconstantobjsym_9407',['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_9408',['isConstantOffset',['../classSVF_1_1AccessPath.html#a403312192a96a9fd5e7d071481592a7f',1,'SVF::AccessPath::isConstantOffset()'],['../classSVF_1_1GepStmt.html#ab6f37c073e4755c4b8bb3ed6365687f4',1,'SVF::GepStmt::isConstantOffset()']]],
-  ['isconstantstruct_9409',['isConstantStruct',['../classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f',1,'SVF::MemObj::isConstantStruct()'],['../classSVF_1_1ObjTypeInfo.html#a41f916ab4e3a2c163fca636eae948ce7',1,'SVF::ObjTypeInfo::isConstantStruct()']]],
-  ['isconstdataoraggdata_9410',['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_9411',['isConstDataOrAggDataButNotNullPtr',['../classSVF_1_1SVFVar.html#a091ef22d4fc428985d604b03f287a941',1,'SVF::SVFVar']]],
-  ['isconstdataorconstglobal_9412',['isConstDataOrConstGlobal',['../classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0',1,'SVF::MemObj::isConstDataOrConstGlobal()'],['../classSVF_1_1ObjTypeInfo.html#a8e6c60978df9828c1dcb54086e83edc1',1,'SVF::ObjTypeInfo::isConstDataOrConstGlobal()']]],
-  ['isconstructor_9413',['isConstructor',['../namespaceSVF_1_1LLVMUtil.html#a6dd1590b82d2bd86766886bd21bc2b72',1,'SVF::LLVMUtil']]],
-  ['iscppthunkfunction_9414',['isCPPThunkFunction',['../namespaceSVF_1_1LLVMUtil.html#a47bbc0527ced570d576ccc2f9df409cb',1,'SVF::LLVMUtil']]],
-  ['isdeclaration_9415',['isDeclaration',['../classSVF_1_1SVFFunction.html#ab672f0255ec8e42d5e414bc8c72b7c76',1,'SVF::SVFFunction']]],
-  ['isdefofainfout_9416',['isDefOfAInFOut',['../classSVF_1_1SVFGOPT.html#a0e78edc04f5e8bfcca7a3f04f7568665',1,'SVF::SVFGOPT']]],
-  ['isdestructor_9417',['isDestructor',['../namespaceSVF_1_1LLVMUtil.html#a206973624fcc58e6044c884dba23a754',1,'SVF::LLVMUtil']]],
-  ['isdigit_9418',['isdigit',['../extapi_8c.html#a3fa45b35c8abf67a950b6d3d4063dede',1,'extapi.c']]],
-  ['isdirectcalledge_9419',['isDirectCallEdge',['../classSVF_1_1PTACallGraphEdge.html#a8c46ccaa41f6792ca4a31a56548a554a',1,'SVF::PTACallGraphEdge']]],
-  ['isdirectedge_9420',['isdirectEdge',['../classSVF_1_1ConstraintNode.html#a165b41f2849c0f09eb1b15d51a566315',1,'SVF::ConstraintNode']]],
-  ['isdirectvfgedge_9421',['isDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a8777555f00696706de250159b920d14b',1,'SVF::VFGEdge']]],
-  ['isedgeinrecursion_9422',['isEdgeInRecursion',['../classSVF_1_1ContextDDA.html#a525949d1743136466d33bf4dc26ba423',1,'SVF::ContextDDA']]],
-  ['isentryicfgedge_9423',['isEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a3db213cb4aee3308f2dca587ffa1dfd1',1,'SVF::SVFLoop']]],
-  ['iseqcmp_9424',['isEQCmp',['../classSVF_1_1SaberCondAllocator.html#aaa01f2c79866e9eb7818d80b0af2b9f5',1,'SVF::SaberCondAllocator']]],
-  ['isequivalentbranchcond_9425',['isEquivalentBranchCond',['../classSVF_1_1ProgSlice.html#a6c63e9641e4d3d3f2f8c4a73bfba7a07',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71',1,'SVF::SaberCondAllocator::isEquivalentBranchCond()']]],
-  ['isextcall_9426',['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_9427',['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_9428',['isFieldInsenCondMemObj',['../classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170',1,'SVF::DDAVFSolver']]],
-  ['isfieldinsensitive_9429',['isFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#a0f71e4cd0948b294c7d33a690bde7dbe',1,'SVF::PointerAnalysis::isFieldInsensitive()'],['../classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc',1,'SVF::MemObj::isFieldInsensitive()']]],
-  ['isfieldof_9430',['isFieldOf',['../classSVF_1_1DCHGraph.html#af0534356b4a8c68507e1237f1d7a8c11',1,'SVF::DCHGraph']]],
-  ['isfiobjnode_9431',['isFIObjNode',['../classSVF_1_1PointerAnalysis.html#af90d2ccb01402c5ca9d7a059f345c816',1,'SVF::PointerAnalysis']]],
-  ['isfirstfield_9432',['isFirstField',['../classSVF_1_1DCHGraph.html#a2b2dbc52089696854a8339f2e83fc333',1,'SVF::DCHGraph']]],
-  ['isflaged_9433',['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_9434',['isFollowerFun',['../classSVF_1_1PCG.html#a767a7ea009067e7f82bb70b29688a144',1,'SVF::PCG']]],
-  ['isfopen_9435',['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_9436',['isForksite',['../classSVF_1_1ThreadCallGraph.html#a07d3db6ffe8d75effd6fbc3856c484fe',1,'SVF::ThreadCallGraph']]],
-  ['isformalinphi_9437',['isFormalINPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1',1,'SVF::InterMSSAPHISVFGNode']]],
-  ['isformalparmphi_9438',['isFormalParmPHI',['../classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7',1,'SVF::InterPHIVFGNode']]],
-  ['isfulljoin_9439',['isFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#ab55532eefbcef639ced957ad82fbd340',1,'SVF::ForkJoinAnalysis']]],
-  ['isfunction_9440',['isFunction',['../classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b',1,'SVF::MemObj::isFunction()'],['../classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f',1,'SVF::ObjTypeInfo::isFunction()']]],
-  ['isfunctionretphi_9441',['isFunctionRetPhi',['../classSVF_1_1PhiStmt.html#a8e55ddef627096c78bb2c8b6f9c77140',1,'SVF::PhiStmt']]],
-  ['isfunentrysvfgnode_9442',['isFunEntrySVFGNode',['../classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b',1,'SVF::SVFG']]],
-  ['isfunentryvfgnode_9443',['isFunEntryVFGNode',['../classSVF_1_1VFG.html#a8994194bca2edfd9528880390de795ab',1,'SVF::VFG']]],
-  ['isfunptr_9444',['isFunPtr',['../classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97',1,'SVF::SVFIR']]],
-  ['isgepconstantexpr_9445',['isGepConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685',1,'SVF::LLVMUtil']]],
-  ['isglobalobj_9446',['isGlobalObj',['../classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4',1,'SVF::MemObj::isGlobalObj()'],['../classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f',1,'SVF::ObjTypeInfo::isGlobalObj()']]],
-  ['isglobalsvfgnode_9447',['isGlobalSVFGNode',['../classSVF_1_1SaberSVFGBuilder.html#afbcd75844af51ff51c09c377f80a49cf',1,'SVF::SaberSVFGBuilder::isGlobalSVFGNode()'],['../classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7',1,'SVF::SrcSnkDDA::isGlobalSVFGNode()']]],
-  ['isgraph_9448',['isgraph',['../extapi_8c.html#a49f40fd869fd0c90e4497fda08c89561',1,'extapi.c']]],
-  ['ishareparfor_9449',['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_9450',['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_9451',['isHBPair',['../classSVF_1_1MHP.html#a6f07427b45991b2d8a3ff21582121d23',1,'SVF::MHP::isHBPair()'],['../classSVF_1_1ForkJoinAnalysis.html#a86c68ce5fd8825b1593d92a5a5bad389',1,'SVF::ForkJoinAnalysis::isHBPair()']]],
-  ['ishead_9452',['isHead',['../classSVF_1_1CFBasicBlockGWTO.html#ade2b2aa77bba3781ab921d5c36eb881b',1,'SVF::CFBasicBlockGWTO']]],
-  ['isheadofspan_9453',['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_9454',['isHeap',['../classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1',1,'SVF::MemObj::isHeap()'],['../classSVF_1_1ObjTypeInfo.html#a26c179394fbda9a9261d0bf3f52b619d',1,'SVF::ObjTypeInfo::isHeap()']]],
-  ['isheapallocextcall_9455',['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_9456',['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_9457',['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_9458',['isHeapAllocExtFunViaArg',['../namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245',1,'SVF::SVFUtil']]],
-  ['isheapallocextfunviaret_9459',['isHeapAllocExtFunViaRet',['../namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea',1,'SVF::SVFUtil']]],
-  ['isheapcondmemobj_9460',['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_9461',['isHeapMemObj',['../classSVF_1_1PointerAnalysis.html#ae6ea391ac44dffeb6899bb44323c5361',1,'SVF::PointerAnalysis']]],
-  ['ishelpname_9462',['isHelpName',['../classOptionBase.html#ae446d8507843235d8fe71d32bc4bd04b',1,'OptionBase']]],
-  ['isinawrapper_9463',['isInAWrapper',['../classSVF_1_1SrcSnkDDA.html#afc75e55af839ef535d80555fd422342c',1,'SVF::SrcSnkDDA']]],
-  ['isincurbackwardslice_9464',['isInCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4cb2c14431fc432e84d382f8eeb24fe2',1,'SVF::SrcSnkDDA']]],
-  ['isincurforwardslice_9465',['isInCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4bde70a5d9dbf5a9234a93aaeaaacb94',1,'SVF::SrcSnkDDA']]],
-  ['isincurrentscc_9466',['isInCurrentSCC',['../classSVF_1_1WPASCCSolver.html#ae1ed4875e706677acf22a776f7285185',1,'SVF::WPASCCSolver']]],
-  ['isincycle_9467',['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_9468',['isIndirectCall',['../classSVF_1_1CallICFGNode.html#aa11226a2e4fa6a7b1d78006cc8ca0518',1,'SVF::CallICFGNode']]],
-  ['isindirectcalledge_9469',['isIndirectCallEdge',['../classSVF_1_1PTACallGraphEdge.html#a74692d47f929dc2188eede497acb91b7',1,'SVF::PTACallGraphEdge']]],
-  ['isindirectcallsites_9470',['isIndirectCallSites',['../classSVF_1_1SVFIR.html#a3dbe0b17694daa74f648a70e77efaf23',1,'SVF::SVFIR']]],
-  ['isindirectedge_9471',['isIndirectEdge',['../classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0',1,'SVF::ConstraintNode']]],
-  ['isindirectvfgedge_9472',['isIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#aa8f30d093d4950724a6688707326b57b',1,'SVF::VFGEdge']]],
-  ['isinicfgedge_9473',['isInICFGEdge',['../classSVF_1_1SVFLoop.html#ae8a579b8798cf14ba8c1d9ee9c355267',1,'SVF::SVFLoop']]],
-  ['isinloop_9474',['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_9475',['isInLoopInstruction',['../classSVF_1_1TCT.html#af1e7f51f9a3540fa73b856def01da77e',1,'SVF::TCT']]],
-  ['isinrecursion_9476',['isInRecursion',['../classSVF_1_1PointerAnalysis.html#aa725a0c9426e8615cbc078c88561f66a',1,'SVF::PointerAnalysis::isInRecursion()'],['../classSVF_1_1TCT.html#a17a478edc9fac3e501202073100549ff',1,'SVF::TCT::isInRecursion()']]],
-  ['isinsamecispan_9477',['isInSameCISpan',['../classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e',1,'SVF::LockAnalysis']]],
-  ['isinsamecsspan_9478',['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_9479',['isInSameSpan',['../classSVF_1_1LockAnalysis.html#a1c1b63a8bd7449ebeb2c31b0532e9337',1,'SVF::LockAnalysis']]],
-  ['isinscc_9480',['isInSCC',['../classSVF_1_1SCCDetection.html#aff6c15443edca2559ae3f3d04ff45481',1,'SVF::SCCDetection']]],
-  ['isinsensitivecallret_9481',['isInsensitiveCallRet',['../classSVF_1_1ContextDDA.html#a76487b8b3e3abb8a16b5c4f5c7e79819',1,'SVF::ContextDDA']]],
-  ['isinsidecondintralock_9482',['isInsideCondIntraLock',['../classSVF_1_1LockAnalysis.html#a25446604fac03485a991d28f03e88788',1,'SVF::LockAnalysis']]],
-  ['isinsideintralock_9483',['isInsideIntraLock',['../classSVF_1_1LockAnalysis.html#a3fd595637d248213c650889d6e2d07ad',1,'SVF::LockAnalysis']]],
-  ['isint2ptrconstantexpr_9484',['isInt2PtrConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#adfa4a4e6d13004d14137d9168bd32463',1,'SVF::LLVMUtil']]],
-  ['isinterestedpagnode_9485',['isInterestedPAGNode',['../classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962',1,'SVF::VFG']]],
-  ['isintracfgedge_9486',['isIntraCFGEdge',['../classSVF_1_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c',1,'SVF::ICFGEdge']]],
-  ['isintralock_9487',['isIntraLock',['../classSVF_1_1LockAnalysis.html#aabb4acd61154d3e7fed64ec4e94f2d93',1,'SVF::LockAnalysis']]],
-  ['isintravfgedge_9488',['isIntraVFGEdge',['../classSVF_1_1VFGEdge.html#a5d2668f46a709eb179007a296d94b77b',1,'SVF::VFGEdge']]],
-  ['isintrinsic_9489',['isIntrinsic',['../classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb',1,'SVF::SVFFunction']]],
-  ['isintrinsicfun_9490',['isIntrinsicFun',['../namespaceSVF_1_1LLVMUtil.html#a4638a12f5481dff947b59cf8353e619b',1,'SVF::LLVMUtil']]],
-  ['isintrinsicinst_9491',['isIntrinsicInst',['../namespaceSVF_1_1LLVMUtil.html#a003b769751b93b94bdb011bd704cfde1',1,'SVF::LLVMUtil::isIntrinsicInst()'],['../namespaceSVF_1_1SVFUtil.html#abb2bbf6e0dc5adae2140a519259e6f17',1,'SVF::SVFUtil::isIntrinsicInst()']]],
-  ['isinworklist_9492',['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_9493',['isIRFile',['../namespaceSVF_1_1LLVMUtil.html#ad8a8c32a09340f491fffffcb07dd7a41',1,'SVF::LLVMUtil']]],
-  ['isisolatednode_9494',['isIsolatedNode',['../classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7',1,'SVF::SVFVar']]],
-  ['isjoinmustexecutedinloop_9495',['isJoinMustExecutedInLoop',['../classSVF_1_1TCT.html#ad7d8760d745f4d8fcd85ccdf876d22a5',1,'SVF::TCT']]],
-  ['isjoinsite_9496',['isJoinsite',['../classSVF_1_1ThreadCallGraph.html#ac75a38384cda8379c32b4d01d4d5d20a',1,'SVF::ThreadCallGraph']]],
-  ['isjoinsiteinrecursion_9497',['isJoinSiteInRecursion',['../classSVF_1_1TCT.html#a78d2419493546ee2f91a6aeb2e778709',1,'SVF::TCT']]],
-  ['isload_9498',['isLoad',['../classSVF_1_1VersionedFlowSensitive.html#a984a4f929a18f97bfefac0102088a7fd',1,'SVF::VersionedFlowSensitive']]],
-  ['isloadvtblinst_9499',['isLoadVtblInst',['../namespaceSVF_1_1LLVMUtil.html#a45da980cb7c085942bb8e6010db9d84f',1,'SVF::LLVMUtil']]],
-  ['islocalcvarinrecursion_9500',['isLocalCVarInRecursion',['../classSVF_1_1DDAVFSolver.html#a20cadb651b41343437e135e985c4e566',1,'SVF::DDAVFSolver']]],
-  ['islocalvarinrecursivefun_9501',['isLocalVarInRecursiveFun',['../classSVF_1_1PointerAnalysis.html#a108380f6f0b67654bb7c7676686096c8',1,'SVF::PointerAnalysis']]],
-  ['islockaquirecall_9502',['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_9503',['isLockCandidateFun',['../classSVF_1_1LockAnalysis.html#ae2c69e1a6787033a5be2b210134873c3',1,'SVF::LockAnalysis']]],
-  ['islockreleasecall_9504',['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_9505',['isLoopExitOfJoinLoop',['../classSVF_1_1TCT.html#ae62f5a928f59e01d15e8fb4fb8f0f100',1,'SVF::TCT']]],
-  ['isloopheader_9506',['isLoopHeader',['../classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43',1,'SVF::SVFLoopAndDomInfo::isLoopHeader()'],['../classSVF_1_1SVFFunction.html#afa469fdfa92b99d1727b8df873c86768',1,'SVF::SVFFunction::isLoopHeader()']]],
-  ['isloopheaderofjoinloop_9507',['isLoopHeaderOfJoinLoop',['../classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389',1,'SVF::TCT']]],
-  ['islower_9508',['islower',['../extapi_8c.html#aa22ae60881e18aa1b9ec1d94210307ed',1,'extapi.c']]],
-  ['ismemalloc_9509',['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_9510',['isMemcpy',['../classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898',1,'SVF::MTAAnnotator']]],
-  ['ismemcpyextfun_9511',['isMemcpyExtFun',['../namespaceSVF_1_1SVFUtil.html#a688bd5e1bf36b3e75bfcea9388871dc4',1,'SVF::SVFUtil']]],
-  ['ismemdealloc_9512',['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_9513',['isMemset',['../classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93',1,'SVF::MTAAnnotator']]],
-  ['ismemsetextfun_9514',['isMemsetExtFun',['../namespaceSVF_1_1SVFUtil.html#a54098ea73555caa682287f8e3c9e8fcb',1,'SVF::SVFUtil']]],
-  ['ismultiforked_9515',['isMultiforked',['../classSVF_1_1TCTNode.html#a5dd0cf88e381438d191b275314117561',1,'SVF::TCTNode']]],
-  ['ismultiforkedthread_9516',['isMultiForkedThread',['../classSVF_1_1MHP.html#a041392f704690e89d8acf5ec68d8682c',1,'SVF::MHP']]],
-  ['ismultiinheritance_9517',['isMultiInheritance',['../classSVF_1_1DCHNode.html#a42026e30e790bce5be03da3e45353c8d',1,'SVF::DCHNode::isMultiInheritance()'],['../classSVF_1_1CHNode.html#a224a394537fae62e64cf62a0d4fdd430',1,'SVF::CHNode::isMultiInheritance()']]],
-  ['ismultiple_9518',['isMultiple',['../classOptionBase.html#ad6fe65a503048686686ea6ced35a2dfd',1,'OptionBase::isMultiple()'],['../classOptionMultiple.html#aebfc1b172ccde004333d9af7248dca4e',1,'OptionMultiple::isMultiple()']]],
-  ['ismustalias_9519',['isMustAlias',['../classSVF_1_1DDAVFSolver.html#a345e5379f53b618adef014aa6887bfe7',1,'SVF::DDAVFSolver']]],
-  ['ismustjoin_9520',['isMustJoin',['../classSVF_1_1MHP.html#a1c43a0f078f82a3c741de1c4dc2490c0',1,'SVF::MHP']]],
-  ['isnecmp_9521',['isNECmp',['../classSVF_1_1SaberCondAllocator.html#aac5762d9a7d584a9748301acbb31b401',1,'SVF::SaberCondAllocator']]],
-  ['isnegcond_9522',['isNegCond',['../classSVF_1_1SaberCondAllocator.html#ad5d27f65374025b6a105ea7a92cbdb50',1,'SVF::SaberCondAllocator']]],
-  ['isnocallerfunction_9523',['isNoCallerFunction',['../namespaceSVF_1_1LLVMUtil.html#a17cce1a11e1bfc342a9e3e79fe35deef',1,'SVF::LLVMUtil']]],
-  ['isnodehidden_9524',['isNodeHidden',['../structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3',1,'SVF::DefaultDOTGraphTraits::isNodeHidden()'],['../classSVF_1_1GraphWriter.html#a8b1d80caf226c3a619c5fb03f8724f74',1,'SVF::GraphWriter::isNodeHidden()'],['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#abf7abdeb19d067867dacbf5384f91488',1,'SVF::DOTGraphTraits< SVF::ICFGWrapper * >::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_9525',['isNonInstricCallSite',['../namespaceSVF_1_1SVFUtil.html#a4af4db2fe43846609d2ed1d7022b1be1',1,'SVF::SVFUtil']]],
-  ['isnonlocalobject_9526',['isNonLocalObject',['../classSVF_1_1MRGenerator.html#a2cf20660f2fd686fa3cabd046c4a10bf',1,'SVF::MRGenerator']]],
-  ['isnonpointerobj_9527',['isNonPointerObj',['../classSVF_1_1PointerAnalysis.html#a9d3b20c9883d734537fb98b57b5372b9',1,'SVF::PointerAnalysis::isNonPointerObj()'],['../classSVF_1_1SVFIR.html#a980e54129ece0757d7f0373f37428507',1,'SVF::SVFIR::isNonPointerObj()']]],
-  ['isnonptrfieldobj_9528',['isNonPtrFieldObj',['../classSVF_1_1MemObj.html#aef4ed89ab63d6af36e7f291171c150ac',1,'SVF::MemObj::isNonPtrFieldObj()'],['../classSVF_1_1ObjTypeInfo.html#a040ae9ad6cd6b075df6594bb1f706d72',1,'SVF::ObjTypeInfo::isNonPtrFieldObj()']]],
-  ['isnotretfunction_9529',['isNotRetFunction',['../classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347',1,'SVF::SVFFunction']]],
-  ['isnullptr_9530',['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_9531',['isNullPtrSym',['../namespaceSVF_1_1LLVMUtil.html#a847fb0c433b5d3611151636ca4bc5bc5',1,'SVF::LLVMUtil']]],
-  ['isnullstate_9532',['isNullState',['../classSVF_1_1ConsExeState.html#a08f64cf55802c4ddbc1e01b06ce55dec',1,'SVF::ConsExeState']]],
-  ['isnullsymstate_9533',['isNullSymState',['../classSVF_1_1SymState.html#a9817e6ac4387d6a6fe5f67e2ce753a88',1,'SVF::SymState']]],
-  ['isobject_9534',['isObject',['../namespaceSVF_1_1LLVMUtil.html#aca11801ed6ef6ff8d2a1e85bc0fc5794',1,'SVF::LLVMUtil']]],
-  ['isoperoverload_9535',['isOperOverload',['../CppUtil_8cpp.html#a2a7c55fe3b24b913890307e9ac6cb2ba',1,'CppUtil.cpp']]],
-  ['isouticfgedge_9536',['isOutICFGEdge',['../classSVF_1_1SVFLoop.html#a5b2ff96defd83686c2737cafa0e1cc83',1,'SVF::SVFLoop']]],
-  ['isoutofbudgetdpm_9537',['isOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#a0b1f774883adc7d535f8363bf3c8b1e8',1,'SVF::DDAVFSolver']]],
-  ['isoutofbudgetquery_9538',['isOutOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#a7994236bff84ba8244592fdf5e546734',1,'SVF::DDAVFSolver']]],
-  ['isparforsite_9539',['isParForSite',['../classSVF_1_1ThreadCallGraph.html#ae18f0b3245694145f6d9262ee28c6453',1,'SVF::ThreadCallGraph']]],
-  ['ispartialreachable_9540',['isPartialReachable',['../classSVF_1_1ProgSlice.html#a3822badbbe9ac808296d5248f2dbf8e2',1,'SVF::ProgSlice']]],
-  ['isphicopyedge_9541',['isPhiCopyEdge',['../classSVF_1_1VFG.html#a8ddf15d89a1b11a7f7720b671f4f0295',1,'SVF::VFG']]],
-  ['isphinode_9542',['isPhiNode',['../classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff',1,'SVF::SVFIR']]],
-  ['ispointer_9543',['isPointer',['../classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271',1,'SVF::SVFVar']]],
-  ['ispointerty_9544',['isPointerTy',['../classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c',1,'SVF::SVFType']]],
-  ['isprint_9545',['isprint',['../extapi_8c.html#a99355d8f0fb41ec43effb95189db0ed4',1,'extapi.c']]],
-  ['isprogentryfunction_9546',['isProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#ac9d6aff1a5e778e45c51b4f3b6d787e0',1,'SVF::LLVMUtil::isProgEntryFunction()'],['../namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b',1,'SVF::SVFUtil::isProgEntryFunction()']]],
-  ['isprogexitcall_9547',['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_9548',['isProgExitFunction',['../namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57',1,'SVF::SVFUtil']]],
-  ['isprotectedbycommoncilock_9549',['isProtectedByCommonCILock',['../classSVF_1_1LockAnalysis.html#ae912e35cddd4235a663f84f70c3881e7',1,'SVF::LockAnalysis']]],
-  ['isprotectedbycommoncxtlock_9550',['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_9551',['isProtectedByCommonLock',['../classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c',1,'SVF::LockAnalysis']]],
-  ['isptaedge_9552',['isPTAEdge',['../classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951',1,'SVF::SVFStmt']]],
-  ['isptanode_9553',['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_9554',['isPtr2IntConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a2834d135a2385efff783e6e22d2eff1f',1,'SVF::LLVMUtil']]],
-  ['isptrinuncalledfunction_9555',['isPtrInUncalledFunction',['../namespaceSVF_1_1LLVMUtil.html#a07c785d931cef3c61e3dab4c615770be',1,'SVF::LLVMUtil']]],
-  ['isptronlysvfg_9556',['isPtrOnlySVFG',['../classSVF_1_1VFG.html#a268ec1495cbe4adb51fa50d28a4cba3d',1,'SVF::VFG']]],
-  ['ispunct_9557',['ispunct',['../extapi_8c.html#a9d60842d6ae065229ba810e6b01110da',1,'extapi.c']]],
-  ['ispureabstract_9558',['isPureAbstract',['../classSVF_1_1DCHNode.html#aed5e8397d43b602b79425acdae5e01f5',1,'SVF::DCHNode::isPureAbstract()'],['../classSVF_1_1CHNode.html#a268ccdfb486cc2efa8581ee7a3b5af39',1,'SVF::CHNode::isPureAbstract()']]],
-  ['ispwcnode_9559',['isPWCNode',['../classSVF_1_1ConstraintGraph.html#a84468bc9355d31e8c3e18369036ddf5c',1,'SVF::ConstraintGraph::isPWCNode()'],['../classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d',1,'SVF::ConstraintNode::isPWCNode()']]],
-  ['isreachablebetweenfunctions_9560',['isReachableBetweenFunctions',['../classSVF_1_1PTACallGraph.html#aa03df6b1ebf7f8356a47fa074d3f91a4',1,'SVF::PTACallGraph']]],
-  ['isreachablefromprogentry_9561',['isReachableFromProgEntry',['../classSVF_1_1PTACallGraphNode.html#ae549769b86088c7c03e416549694ef52',1,'SVF::PTACallGraphNode']]],
-  ['isreachglobal_9562',['isReachGlobal',['../classSVF_1_1ProgSlice.html#a067480a9815fdb728cd259ef9b687e3e',1,'SVF::ProgSlice']]],
-  ['isreallocextcall_9563',['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_9564',['isReallocExtFun',['../namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4',1,'SVF::SVFUtil']]],
-  ['isrecurfulljoin_9565',['isRecurFullJoin',['../classSVF_1_1MHP.html#a0356a8ccc53999549fb369f67faad306',1,'SVF::MHP']]],
-  ['isretcfgedge_9566',['isRetCFGEdge',['../classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80',1,'SVF::ICFGEdge']]],
-  ['isretdirectvfgedge_9567',['isRetDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a49cbf2a714c9b965b19452d266cd8bdf',1,'SVF::VFGEdge']]],
-  ['isretindirectvfgedge_9568',['isRetIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ad0df7ea2de8de5607229dfcdd7b70b87',1,'SVF::VFGEdge']]],
-  ['isretinst_9569',['isRetInst',['../classSVF_1_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d',1,'SVF::SVFInstruction']]],
-  ['isretvfgedge_9570',['isRetVFGEdge',['../classSVF_1_1VFGEdge.html#a3937eef974c3953f1d1e7d64c5a24ff3',1,'SVF::VFGEdge']]],
-  ['issamescev_9571',['isSameSCEV',['../classSVF_1_1ForkJoinAnalysis.html#abbff6ea064e7241315932db77dccaad9',1,'SVF::ForkJoinAnalysis']]],
-  ['issamethisptrinconstructor_9572',['isSameThisPtrInConstructor',['../namespaceSVF_1_1LLVMUtil.html#a8873eb1cce9496f9699eab22c4a6d3ce',1,'SVF::LLVMUtil']]],
-  ['issamevar_9573',['isSameVar',['../classSVF_1_1CondPTAImpl.html#a7a1be735c76ba4a6b235264fe8ec6c28',1,'SVF::CondPTAImpl']]],
-  ['issatisfiable_9574',['isSatisfiable',['../classSVF_1_1SaberCondAllocator.html#a7c132cc105a97a5dbf0c9b9d16b4b72a',1,'SVF::SaberCondAllocator']]],
-  ['issatisfiableforall_9575',['isSatisfiableForAll',['../classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed',1,'SVF::ProgSlice']]],
-  ['issatisfiableforpairs_9576',['isSatisfiableForPairs',['../classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4',1,'SVF::ProgSlice']]],
-  ['isscalar_9577',['isScalar',['../classSVF_1_1DCHNode.html#a50cf99ff5cc910512c1ce3987c7395ef',1,'SVF::DCHNode']]],
-  ['isselectconstantexpr_9578',['isSelectConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ae59b0dc7f29dbd2018e819f77465f66e',1,'SVF::LLVMUtil']]],
-  ['issigned_9579',['isSigned',['../classSVF_1_1SVFIntegerType.html#a535874e5c49f686dd6ae99304ecd6821',1,'SVF::SVFIntegerType']]],
-  ['issimple_9580',['isSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77',1,'SVF::DefaultDOTGraphTraits']]],
-  ['issinglefieldobj_9581',['isSingleFieldObj',['../classSVF_1_1ConstraintGraph.html#a38fd07dd86f6187a7671f9f85565fccc',1,'SVF::ConstraintGraph']]],
-  ['issinglevaluetype_9582',['isSingleValueType',['../classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6',1,'SVF::SVFType']]],
-  ['issink_9583',['isSink',['../classSVF_1_1SVFGStat.html#ae905f0d64db3039f8fd3c117c4624e31',1,'SVF::SVFGStat::isSink()'],['../classSVF_1_1SrcSnkDDA.html#a703bfc5c825d66fdb0d74eb89d181581',1,'SVF::SrcSnkDDA::isSink()']]],
-  ['issinklikefun_9584',['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_9585',['isSomePathReachable',['../classSVF_1_1SrcSnkDDA.html#a19ab6f6df2a67b294268cfe7f4287fd7',1,'SVF::SrcSnkDDA']]],
-  ['issource_9586',['isSource',['../classSVF_1_1SVFGStat.html#a72c93b86e95bdbe32ade33f7264f4c0a',1,'SVF::SVFGStat::isSource()'],['../classSVF_1_1SrcSnkDDA.html#a815e39e7c65ed9a250cafe40f74a4ba1',1,'SVF::SrcSnkDDA::isSource()']]],
-  ['issourcelikefun_9587',['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_9588',['isspace',['../extapi_8c.html#a84b34b0058324ae5c0eae4956cf00cc5',1,'extapi.c']]],
-  ['isspawneefun_9589',['isSpawneeFun',['../classSVF_1_1PCG.html#aa894020740c6d6ad8a179133f628a573',1,'SVF::PCG']]],
-  ['isspawnerfun_9590',['isSpawnerFun',['../classSVF_1_1PCG.html#a49d2755072df3c5012bc602ac1501bdc',1,'SVF::PCG']]],
-  ['isspawnsite_9591',['isSpawnsite',['../classSVF_1_1PCG.html#a7a9d65698363d5f18c2556ead635cdf8',1,'SVF::PCG']]],
-  ['isspuriousvfedgeatindcallsite_9592',['isSpuriousVFEdgeAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#a9e8da6a516ed6598c66d81a0891fbb6e',1,'SVF::SVFGBuilder']]],
-  ['isstack_9593',['isStack',['../classSVF_1_1MemObj.html#af7316c697eafc71d5fc93108da4e2cee',1,'SVF::MemObj::isStack()'],['../classSVF_1_1ObjTypeInfo.html#aa568dc82decd28d2ef40785a4a647602',1,'SVF::ObjTypeInfo::isStack()']]],
-  ['isstaticobj_9594',['isStaticObj',['../classSVF_1_1MemObj.html#a954eba54eda95e6735eb1d32bd8a276e',1,'SVF::MemObj::isStaticObj()'],['../classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523',1,'SVF::ObjTypeInfo::isStaticObj()']]],
-  ['isstore_9595',['isStore',['../classSVF_1_1VersionedFlowSensitive.html#aac920c9a5f13dd147e3c130425e005eb',1,'SVF::VersionedFlowSensitive']]],
-  ['isstrongupdate_9596',['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_9597',['isStruct',['../classSVF_1_1MemObj.html#a132df66e2751e5db6b0ba82d767a3286',1,'SVF::MemObj::isStruct()'],['../classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a',1,'SVF::ObjTypeInfo::isStruct()']]],
-  ['issubset_9598',['isSubset',['../classSVF_1_1CondPointsToSet.html#acefec4fbacde1099d3dc81ab45ab9b8c',1,'SVF::CondPointsToSet']]],
-  ['issvfgnodeincycle_9599',['isSVFGNodeInCycle',['../classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93',1,'SVF::DDAVFSolver']]],
-  ['issym_9600',['isSym',['../classSVF_1_1SingleAbsValue.html#a948aca85133c7045d508b8ee33dabe91',1,'SVF::SingleAbsValue']]],
-  ['issymbolabsvalue_9601',['isSymbolAbsValue',['../classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12',1,'SVF::SingleAbsValue']]],
-  ['istailofspan_9602',['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_9603',['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_9604',['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_9605',['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_9606',['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_9607',['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_9608',['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_9609',['isTemplate',['../classSVF_1_1DCHNode.html#ada436c7cb9108898c520952a87ebd01d',1,'SVF::DCHNode::isTemplate()'],['../classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749',1,'SVF::CHNode::isTemplate()']]],
-  ['isterminator_9610',['isTerminator',['../classSVF_1_1SVFInstruction.html#afbf703f88da59d2b30c14c7d40e5e22d',1,'SVF::SVFInstruction']]],
-  ['istestcontainsnullandthevalue_9611',['isTestContainsNullAndTheValue',['../classSVF_1_1SaberCondAllocator.html#a34be6721a311d72dcd355eeb41dbd3e1',1,'SVF::SaberCondAllocator']]],
-  ['istestnotnullexpr_9612',['isTestNotNullExpr',['../classSVF_1_1SaberCondAllocator.html#a4fc06192d4f7db305c3414a39e7c2b49',1,'SVF::SaberCondAllocator']]],
-  ['istestnullexpr_9613',['isTestNullExpr',['../classSVF_1_1SaberCondAllocator.html#accf26eb31e7724daa3ba9170feee9644',1,'SVF::SaberCondAllocator']]],
-  ['isthreadexitcall_9614',['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_9615',['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_9616',['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_9617',['isThreadMHPIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ace832abe1ec87e3e2338944061d09ea4',1,'SVF::VFGEdge']]],
-  ['istop_9618',['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_9619',['isTopAbsValue',['../classSVF_1_1SingleAbsValue.html#a5749cbe2d0966e65046ce84a78fcba07',1,'SVF::SingleAbsValue']]],
-  ['istoplevelptrstmt_9620',['isTopLevelPtrStmt',['../classSVF_1_1DDAVFSolver.html#a7b35588de00e322afd742041bf735571',1,'SVF::DDAVFSolver']]],
-  ['istruncconstantexpr_9621',['isTruncConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8',1,'SVF::LLVMUtil']]],
-  ['isunaryconstantexpr_9622',['isUnaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a215cc9fd716798bbb7f96f5b64e01349',1,'SVF::LLVMUtil']]],
-  ['isuncalledfunction_9623',['isUncalledFunction',['../classSVF_1_1SVFFunction.html#a818f626cb8b8063b5f3c8928428095b8',1,'SVF::SVFFunction::isUncalledFunction()'],['../namespaceSVF_1_1LLVMUtil.html#a2c61d741afbcfa853b505cd391f29f9b',1,'SVF::LLVMUtil::isUncalledFunction()']]],
-  ['isunconditional_9624',['isUnconditional',['../classSVF_1_1BranchStmt.html#a038d65e38fe792fec4050d3d1c9c5180',1,'SVF::BranchStmt']]],
-  ['isunreachable_9625',['isUnreachable',['../classSVF_1_1SVFLoopAndDomInfo.html#aac4d533d1c7abfefbd54507357e240f4',1,'SVF::SVFLoopAndDomInfo']]],
-  ['isunusedglobalvariable_9626',['isUnusedGlobalVariable',['../namespaceSVF_1_1LLVMUtil.html#acee7c2fb08e111eda4d91ce5479de05e',1,'SVF::LLVMUtil']]],
-  ['isupper_9627',['isupper',['../extapi_8c.html#adadd6582d46775aab6a51e29d16d9f77',1,'extapi.c']]],
-  ['isvalidpointer_9628',['isValidPointer',['../classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3',1,'SVF::SVFIR']]],
-  ['isvalidtoplevelptr_9629',['isValidTopLevelPtr',['../classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139',1,'SVF::SVFIR']]],
-  ['isvalvtbl_9630',['isValVtbl',['../namespaceSVF_1_1LLVMUtil.html#a08fbef6fe3e2af96a49f79ce23accb01',1,'SVF::LLVMUtil']]],
-  ['isvararg_9631',['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_9632',['isVarArray',['../classSVF_1_1MemObj.html#a616e9f4d6f82a253f94391c47668b9a6',1,'SVF::MemObj::isVarArray()'],['../classSVF_1_1ObjTypeInfo.html#aca1e900f9b0a774684af77666cf033e3',1,'SVF::ObjTypeInfo::isVarArray()']]],
-  ['isvariantfieldgep_9633',['isVariantFieldGep',['../classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788',1,'SVF::GepStmt']]],
-  ['isvarstruct_9634',['isVarStruct',['../classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf',1,'SVF::MemObj::isVarStruct()'],['../classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5',1,'SVF::ObjTypeInfo::isVarStruct()']]],
-  ['isvirtualcall_9635',['isVirtualCall',['../classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89',1,'SVF::CallSite']]],
-  ['isvirtualcallsite_9636',['isVirtualCallSite',['../namespaceSVF_1_1LLVMUtil.html#ab1b4c565ae6be788b934defc21a5cfaf',1,'SVF::LLVMUtil']]],
-  ['isvirtualmemaddress_9637',['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_9638',['isVisited',['../classSVF_1_1CSC.html#a2913a7a83deae0b91f1f42dc45c4f3b2',1,'SVF::CSC']]],
-  ['isvisitedctps_9639',['isVisitedCTPs',['../classSVF_1_1LockAnalysis.html#ad459afc7dd1e6620739eeee2bc4c570e',1,'SVF::LockAnalysis::isVisitedCTPs()'],['../classSVF_1_1TCT.html#a68d2b1107f9cc2edcc01265298b7307c',1,'SVF::TCT::isVisitedCTPs()']]],
-  ['isworklistempty_9640',['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_9641',['isxdigit',['../extapi_8c.html#adaf3aadefe3fc4fb07b6be0d7b880f53',1,'extapi.c']]],
-  ['iszero_9642',['isZero',['../classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c',1,'SVF::BoundedZ3Expr']]],
-  ['iszerooffsettedgepcgedge_9643',['isZeroOffsettedGepCGEdge',['../classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6',1,'SVF::ConstraintGraph']]],
-  ['iter_5fadaptor_5fbase_9644',['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_9645',['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_9143',['ICFG',['../classSVF_1_1ICFG.html#a683f33b8ad507a33809511954c7c1acb',1,'SVF::ICFG']]],
+  ['icfgbuilder_9144',['ICFGBuilder',['../classSVF_1_1ICFGBuilder.html#a40d50a22a5c2094dbfe5e8516a0deccc',1,'SVF::ICFGBuilder']]],
+  ['icfgedge_9145',['ICFGEdge',['../classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04',1,'SVF::ICFGEdge']]],
+  ['icfgnode_9146',['ICFGNode',['../classSVF_1_1ICFGNode.html#ae6fe836e269ac36f14b2d2b1499a11e6',1,'SVF::ICFGNode']]],
+  ['icfgnodesbegin_9147',['ICFGNodesBegin',['../classSVF_1_1SVFLoop.html#a39d7db54e8dd092fd5420c5332210ed1',1,'SVF::SVFLoop']]],
+  ['icfgnodesend_9148',['ICFGNodesEnd',['../classSVF_1_1SVFLoop.html#a4c96835d38a55423b70b2ce100d76dd2',1,'SVF::SVFLoop']]],
+  ['icfgstat_9149',['ICFGStat',['../classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f',1,'SVF::ICFGStat']]],
+  ['icfgwriter_9150',['ICFGWriter',['../classSVF_1_1ICFGWriter.html#af1e7410c278b429e8466afc8bd8551be',1,'SVF::ICFGWriter']]],
+  ['id_9151',['id',['../classSVF_1_1Z3Expr.html#acdb4fbb53f19bac033e79cfe96ce82ca',1,'SVF::Z3Expr']]],
+  ['identifyfollowers_9152',['identifyFollowers',['../classSVF_1_1PCG.html#ae5ee8cf8cfe42854407190f30f3b6c1b',1,'SVF::PCG']]],
+  ['idtoobjmap_9153',['idToObjMap',['../classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697',1,'SVF::SymbolTableInfo::idToObjMap()'],['../classSVF_1_1SymbolTableInfo.html#adcf3450e3abca33536420271959c56f1',1,'SVF::SymbolTableInfo::idToObjMap() const']]],
+  ['if_9154',['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_9155',['inBackwardSlice',['../classSVF_1_1SVFGStat.html#a6e68486e02db81cbbedc942ace3e9590',1,'SVF::SVFGStat::inBackwardSlice()'],['../classSVF_1_1ProgSlice.html#a066430ffa98a3fa0a5ad48d26e0450f7',1,'SVF::ProgSlice::inBackwardSlice()']]],
+  ['incedgenum_9156',['incEdgeNum',['../classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14',1,'SVF::GenericGraph']]],
+  ['incnodenum_9157',['incNodeNum',['../classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21',1,'SVF::GenericGraph']]],
+  ['incomingaddredges_9158',['incomingAddrEdges',['../classSVF_1_1ConstraintNode.html#ac9bb037a59db6b035c2785cad6ac56aa',1,'SVF::ConstraintNode']]],
+  ['incomingaddrsbegin_9159',['incomingAddrsBegin',['../classSVF_1_1ConstraintNode.html#a19c1ed324f65f4cc58dd2fd21ed4a971',1,'SVF::ConstraintNode']]],
+  ['incomingaddrsend_9160',['incomingAddrsEnd',['../classSVF_1_1ConstraintNode.html#ae8ac9ad8e766b961c7ce06d7219f37af',1,'SVF::ConstraintNode']]],
+  ['incomingloadsbegin_9161',['incomingLoadsBegin',['../classSVF_1_1ConstraintNode.html#a7f591f8eda63abbaaea9a8bfb97f3959',1,'SVF::ConstraintNode']]],
+  ['incomingloadsend_9162',['incomingLoadsEnd',['../classSVF_1_1ConstraintNode.html#a0bfdbe171acd2825055e571f314c0a48',1,'SVF::ConstraintNode']]],
+  ['incomingstoresbegin_9163',['incomingStoresBegin',['../classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714',1,'SVF::ConstraintNode']]],
+  ['incomingstoresend_9164',['incomingStoresEnd',['../classSVF_1_1ConstraintNode.html#a8d58f5224728bb6811f12c94826167f6',1,'SVF::ConstraintNode']]],
+  ['increasenumofobjandnodes_9165',['increaseNumOfObjAndNodes',['../classSVF_1_1NodeIDAllocator.html#a9c45508d535a6c669cfeb150aa4fb71f',1,'SVF::NodeIDAllocator']]],
+  ['increasestacksize_9166',['increaseStackSize',['../namespaceSVF_1_1SVFUtil.html#a0d7588578735679773493ff2d5e458e1',1,'SVF::SVFUtil']]],
+  ['indent_9167',['indent',['../DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269',1,'DCHG.cpp']]],
+  ['index_9168',['index',['../structSVF_1_1SparseBitVectorElement.html#ae63d6fcc488ad3cdcddf35edb4e9c827',1,'SVF::SparseBitVectorElement']]],
+  ['indexforbit_9169',['indexForBit',['../classSVF_1_1CoreBitVector.html#ad73fca28bd4882eaa70817023a632d35',1,'SVF::CoreBitVector']]],
+  ['indirectcallsbegin_9170',['indirectCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#afbdb582d20ab953b2de1f3efacb74679',1,'SVF::PTACallGraphEdge']]],
+  ['indirectcallsend_9171',['indirectCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#a494bc8bacca5ca8d266286f3fb303495',1,'SVF::PTACallGraphEdge']]],
+  ['indirectsvfgedge_9172',['IndirectSVFGEdge',['../classSVF_1_1IndirectSVFGEdge.html#a6d40ccc9b99aec6515c2ef1df5a7b18f',1,'SVF::IndirectSVFGEdge']]],
+  ['indvfedgeend_9173',['indVFEdgeEnd',['../classSVF_1_1SVFGStat.html#a8b3b9a211f410e67e8fd1a79d3db9023',1,'SVF::SVFGStat']]],
+  ['indvfedgestart_9174',['indVFEdgeStart',['../classSVF_1_1SVFGStat.html#adcb30427bb220dc122ad22030e10eb21',1,'SVF::SVFGStat']]],
+  ['inedgebegin_9175',['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_9176',['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_9177',['inEdgesBegin',['../classSVF_1_1SVFLoop.html#ad23cbd43efdf66427f489cc602ae84cf',1,'SVF::SVFLoop']]],
+  ['inedgesend_9178',['inEdgesEnd',['../classSVF_1_1SVFLoop.html#ae5ba7f837d6ff6e120dd3312bd18566a',1,'SVF::SVFLoop']]],
+  ['inet_5fntop_9179',['inet_ntop',['../extapi_8c.html#a815550360dffb66bbe62df2586b5bceb',1,'extapi.c']]],
+  ['inferfieldidxfrombyteoffset_9180',['inferFieldIdxFromByteOffset',['../classSVF_1_1SVFIRBuilder.html#a04d688ae4f93354327a6c0ad4f255ade',1,'SVF::SVFIRBuilder']]],
+  ['inferfromcallgraph_9181',['inferFromCallGraph',['../classSVF_1_1PCG.html#adff1702e1b0a902de7ded742846fe137',1,'SVF::PCG']]],
+  ['infilter_9182',['inFilter',['../classSVF_1_1LockResultValidator.html#a5fca287b181582302c24864c3f397340',1,'SVF::LockResultValidator']]],
+  ['inforwardslice_9183',['inForwardSlice',['../classSVF_1_1SVFGStat.html#adc6a5c3e430bdf942f1462e101ac6917',1,'SVF::SVFGStat::inForwardSlice()'],['../classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6',1,'SVF::ProgSlice::inForwardSlice()']]],
+  ['init_9184',['init',['../classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7',1,'SVF::RaceResultValidator::init(SVFModule *M)'],['../classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7',1,'SVF::RaceResultValidator::init(SVFModule *M)'],['../classSVF_1_1SaberCheckerAPI.html#a5771df69ffa75b6103a32c8bd48ef488',1,'SVF::SaberCheckerAPI::init()'],['../classSVF_1_1ThreadAPI.html#a4535862f26efff9f45236000507932c9',1,'SVF::ThreadAPI::init()']]],
+  ['initcxtinsensitiveedges_9185',['initCxtInsensitiveEdges',['../classSVF_1_1DDAPass.html#add44aee75c9a59327b4eb46774551e2b',1,'SVF::DDAPass']]],
+  ['initdefault_9186',['initDefault',['../classSVF_1_1DDAStat.html#ac7275c99ddd118696853188154ad6fbd',1,'SVF::DDAStat']]],
+  ['initdomtree_9187',['initDomTree',['../classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d',1,'SVF::LLVMModuleSet']]],
+  ['initexestate_9188',['initExeState',['../classSVF_1_1ConsExeState.html#a5a1da3b1c8cdc3b3e07fe20124f6eeea',1,'SVF::ConsExeState']]],
+  ['initfromthreadapi_9189',['initFromThreadAPI',['../classSVF_1_1PCG.html#a23752f0a9fe4f01698808d0a50ccc896',1,'SVF::PCG']]],
+  ['initialglobal_9190',['InitialGlobal',['../classSVF_1_1SVFIRBuilder.html#ae7fcd2050a57a43bfed2c7fd1c41d250',1,'SVF::SVFIRBuilder']]],
+  ['initialise_9191',['initialise',['../classSVF_1_1DDAClient.html#a40f6d8769db41f4c907fe5b615e5df83',1,'SVF::DDAClient']]],
+  ['initialisecandidatepointers_9192',['initialiseCandidatePointers',['../classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5',1,'SVF::SVFIR']]],
+  ['initialisenodes_9193',['initialiseNodes',['../classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71',1,'SVF::SVFIRBuilder']]],
+  ['initialize_9194',['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_9195',['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_9196',['initialWorkList',['../classSVF_1_1SVFGOPT.html#ae825e01893d3304379f72380d314f09c',1,'SVF::SVFGOPT']]],
+  ['initobjvar_9197',['initObjVar',['../classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0',1,'SVF::SVFIR2ConsExeState::initObjVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d',1,'SVF::SVFIR2ItvExeState::initObjVar()']]],
+  ['initsnks_9198',['initSnks',['../classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c',1,'SVF::LeakChecker::initSnks()'],['../classSVF_1_1SrcSnkDDA.html#a0f6cfa30c346aab1fb03a44e47c32559',1,'SVF::SrcSnkDDA::initSnks()']]],
+  ['initsrcs_9199',['initSrcs',['../classSVF_1_1LeakChecker.html#a273a7bfc3e81505ec971ca1d419bb565',1,'SVF::LeakChecker::initSrcs()'],['../classSVF_1_1SrcSnkDDA.html#a1c8f91ffa0b9f01d51c8cd5e14f076d5',1,'SVF::SrcSnkDDA::initSrcs()']]],
+  ['initstats_9200',['initStats',['../classSVF_1_1PersistentPointsToCache.html#ab19e4e17b1896565e0bada1f161d1266',1,'SVF::PersistentPointsToCache']]],
+  ['initsvfbasicblock_9201',['initSVFBasicBlock',['../classSVF_1_1LLVMModuleSet.html#a20162d2894d6a12ba29410311fba4002',1,'SVF::LLVMModuleSet']]],
+  ['initsvffunction_9202',['initSVFFunction',['../classSVF_1_1LLVMModuleSet.html#ac6a5540354696f4c9170e0a5832ba70e',1,'SVF::LLVMModuleSet']]],
+  ['initsvfvar_9203',['initSVFVar',['../classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857',1,'SVF::SVFIR2ConsExeState::initSVFVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#af5d05c5316127cfe8d975a3a0a23798b',1,'SVF::SVFIR2ItvExeState::initSVFVar()']]],
+  ['inittypeinfo_9204',['initTypeInfo',['../classSVF_1_1SymbolTableBuilder.html#ae938564e6a36848cb848a5badc15a1de',1,'SVF::SymbolTableBuilder']]],
+  ['initvalvar_9205',['initValVar',['../classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8',1,'SVF::SVFIR2ConsExeState::initValVar()'],['../classSVF_1_1SVFIR2ItvExeState.html#a61d288c8dc621a0578faa5ff784f4b6e',1,'SVF::SVFIR2ItvExeState::initValVar()']]],
+  ['initworklist_9206',['initWorklist',['../classSVF_1_1Andersen.html#a9075cd05cb21e0f08a1109b7af6c7480',1,'SVF::Andersen::initWorklist()'],['../classSVF_1_1WPASolver.html#a7195381c3aab04890139b4fe2c561909',1,'SVF::WPASolver::initWorklist()']]],
+  ['inlocalloctoaddrstable_9207',['inLocalLocToAddrsTable',['../classSVF_1_1ConsExeState.html#af8f2b698dd97793b0124cd5a4ac4d035',1,'SVF::ConsExeState::inLocalLocToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb',1,'SVF::IntervalExeState::inLocalLocToAddrsTable()']]],
+  ['inlocalloctoivaltable_9208',['inLocalLocToIValTable',['../classSVF_1_1IntervalExeState.html#a25c1369d7d38469ecde6022cf367c009',1,'SVF::IntervalExeState']]],
+  ['inlocalloctoval_9209',['inLocalLocToVal',['../classSVF_1_1ConsExeState.html#a22eb7b0b38d8df8efae757f4c76b5328',1,'SVF::ConsExeState::inLocalLocToVal(const SingleAbsValue &loc) const'],['../classSVF_1_1ConsExeState.html#a77fc570e6ee986c50cecaa20f06e6f77',1,'SVF::ConsExeState::inLocalLocToVal(u32_t varId) const']]],
+  ['inloctoaddrstable_9210',['inLocToAddrsTable',['../classSVF_1_1ConsExeState.html#a1effca0f87f2180e160600ee5528b12f',1,'SVF::ConsExeState::inLocToAddrsTable()'],['../classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710',1,'SVF::ExeState::inLocToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4',1,'SVF::IntervalExeState::inLocToAddrsTable()'],['../classSVF_1_1SVFIR2ConsExeState.html#a2b04cb226b28d577fa860a4cbf11b5c3',1,'SVF::SVFIR2ConsExeState::inLocToAddrsTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665',1,'SVF::SVFIR2ItvExeState::inLocToAddrsTable()']]],
+  ['inloctoivaltable_9211',['inLocToIValTable',['../classSVF_1_1IntervalExeState.html#aeac953e77360627da7426b2619d509cc',1,'SVF::IntervalExeState::inLocToIValTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab5eebce09b695a3ea1a1c6d5641296e2',1,'SVF::SVFIR2ItvExeState::inLocToIValTable()']]],
+  ['inloctoval_9212',['inLocToVal',['../classSVF_1_1ConsExeState.html#a6cf5a55374178b2d538b79c3efed3f34',1,'SVF::ConsExeState']]],
+  ['inloctovaltable_9213',['inLocToValTable',['../classSVF_1_1SVFIR2ConsExeState.html#a73a8f1354e22d41078abe3466b202df2',1,'SVF::SVFIR2ConsExeState']]],
+  ['innodetocycledepth_9214',['inNodeToCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#a646f67339a7751f0e10ea42143e6894d',1,'SVF::CFBasicBlockGWTO']]],
+  ['insamecallgraphscc_9215',['inSameCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae58c2b25494ec51e714c83c6cfd5dd67',1,'SVF::PointerAnalysis::inSameCallGraphSCC()'],['../classSVF_1_1TCT.html#a95cd490d37f8831edc6910f7ecdf413e',1,'SVF::TCT::inSameCallGraphSCC()']]],
+  ['inscc_9216',['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_9217',['insert',['../classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0',1,'SVF::AddressValue']]],
+  ['insertattribute_9218',['insertAttribute',['../classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20',1,'SVF::GrammarBase']]],
+  ['insertbranchcondition_9219',['insertBranchCondition',['../classSVF_1_1CDGEdge.html#ae9624672c9dc368f8ae2a091ca7523c5',1,'SVF::CDGEdge']]],
+  ['insertebnfsigns_9220',['insertEBNFSigns',['../classSVF_1_1GrammarBase.html#a2af19122bccb7ca0c7ab44a07a1bdfb1',1,'SVF::GrammarBase']]],
+  ['insertedge_5fh_9221',['insertEdge_h',['../classSVF_1_1POCRHybridSolver.html#a122025228d5ca57e287f7fe85f279765',1,'SVF::POCRHybridSolver']]],
+  ['insertkey_9222',['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_9223',['insertKeyNode',['../classSVF_1_1SymState.html#ad3dd094395543f5459c6cbde859ab775',1,'SVF::SymState']]],
+  ['insertnonterminalkind_9224',['insertNonterminalKind',['../classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0',1,'SVF::GrammarBase']]],
+  ['insertnonterminalsymbol_9225',['insertNonTerminalSymbol',['../classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b',1,'SVF::GrammarBase']]],
+  ['insertphi_9226',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
+  ['insertsymbol_9227',['insertSymbol',['../classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84',1,'SVF::GrammarBase']]],
+  ['insertterminalkind_9228',['insertTerminalKind',['../classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542',1,'SVF::GrammarBase']]],
+  ['insertterminalsymbol_9229',['insertTerminalSymbol',['../classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8',1,'SVF::GrammarBase']]],
+  ['inserttocflgrammar_9230',['insertToCFLGrammar',['../classSVF_1_1CFGNormalizer.html#a676f99f3af1dfb9e118717913982120d',1,'SVF::CFGNormalizer']]],
+  ['interdisjointmrg_9231',['InterDisjointMRG',['../classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428',1,'SVF::InterDisjointMRG']]],
+  ['interferenceanalysis_9232',['interferenceAnalysis',['../classSVF_1_1PCG.html#a057887f3d5fd3b9b414e573b3f9f4548',1,'SVF::PCG']]],
+  ['intericfgnode_9233',['InterICFGNode',['../classSVF_1_1InterICFGNode.html#a192826ba075a80add6a39a039a32bc05',1,'SVF::InterICFGNode']]],
+  ['intermssaphisvfgnode_9234',['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_9235',['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_9236',['intersect',['../classSVF_1_1LockAnalysis.html#aeb479eeac0fdde1486c78da68fc82383',1,'SVF::LockAnalysis']]],
+  ['intersectpts_9237',['intersectPts',['../classSVF_1_1PersistentPointsToCache.html#a17d33558208c19019e541ee167009494',1,'SVF::PersistentPointsToCache']]],
+  ['intersects_9238',['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_9239',['intersectWith',['../structSVF_1_1SparseBitVectorElement.html#a2f62812b261a83b19aab46c0961bfcb4',1,'SVF::SparseBitVectorElement']]],
+  ['intersectwithcomplement_9240',['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_9241',['Interval2NumValue',['../classSVF_1_1IntervalExeState.html#a12fe65f05dfe7a01e771e0b9990faba8',1,'SVF::IntervalExeState']]],
+  ['intervalexestate_9242',['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_9243',['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_9244',['intraBackwardTraverse',['../classSVF_1_1LockAnalysis.html#a5f693c893f3701e1e025881f91193d53',1,'SVF::LockAnalysis']]],
+  ['intracfgedge_9245',['IntraCFGEdge',['../classSVF_1_1IntraCFGEdge.html#aeab701d63caadf8effabdbd23ac0cd49',1,'SVF::IntraCFGEdge']]],
+  ['intradirsvfgedge_9246',['IntraDirSVFGEdge',['../classSVF_1_1IntraDirSVFGEdge.html#a2157a56f5d707a946e2ad54219fdc69a',1,'SVF::IntraDirSVFGEdge']]],
+  ['intradisjointmrg_9247',['IntraDisjointMRG',['../classSVF_1_1IntraDisjointMRG.html#ae4bc9b653e15ce876579741e91a463ae',1,'SVF::IntraDisjointMRG']]],
+  ['intraforwardtraverse_9248',['intraForwardTraverse',['../classSVF_1_1LockAnalysis.html#a7b943f626a551c0fcd6761fc42728e9d',1,'SVF::LockAnalysis']]],
+  ['intraicfgnode_9249',['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_9250',['IntraIndSVFGEdge',['../classSVF_1_1IntraIndSVFGEdge.html#ab2b1f7610737c6f0a5a94b8a7e629110',1,'SVF::IntraIndSVFGEdge']]],
+  ['intramssaphisvfgnode_9251',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d',1,'SVF::IntraMSSAPHISVFGNode']]],
+  ['intraphivfgnode_9252',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3',1,'SVF::IntraPHIVFGNode']]],
+  ['invartoaddrstable_9253',['inVarToAddrsTable',['../classSVF_1_1ConsExeState.html#a755fbe99c6d02b6a7897dad86f46c580',1,'SVF::ConsExeState::inVarToAddrsTable()'],['../classSVF_1_1ExeState.html#a6dfff6d4302faeb80c78a512f32b529f',1,'SVF::ExeState::inVarToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45',1,'SVF::IntervalExeState::inVarToAddrsTable()'],['../classSVF_1_1SVFIR2ConsExeState.html#a849978e7839b365fd2cf335e5840031a',1,'SVF::SVFIR2ConsExeState::inVarToAddrsTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9',1,'SVF::SVFIR2ItvExeState::inVarToAddrsTable()']]],
+  ['invartoivaltable_9254',['inVarToIValTable',['../classSVF_1_1IntervalExeState.html#a884199a26d43d09bc7e33369fceb8274',1,'SVF::IntervalExeState::inVarToIValTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13',1,'SVF::SVFIR2ItvExeState::inVarToIValTable()']]],
+  ['invartoval_9255',['inVarToVal',['../classSVF_1_1ConsExeState.html#af832e1d7a773f6038da356a677a687f2',1,'SVF::ConsExeState']]],
+  ['invartovaltable_9256',['inVarToValTable',['../classSVF_1_1SVFIR2ConsExeState.html#a734006d65a35034fa2d32282c7dce47f',1,'SVF::SVFIR2ConsExeState']]],
+  ['inverse_9257',['Inverse',['../structSVF_1_1Inverse.html#a9bff8acbcb891eeaeb6a9324312358a0',1,'SVF::Inverse']]],
+  ['inverse_5fchildren_9258',['inverse_children',['../namespaceSVF.html#a155eb379cf271ac550333afb13cb36fa',1,'SVF']]],
+  ['inverse_5fnodes_9259',['inverse_nodes',['../namespaceSVF.html#a6506af0b08e86390c0e4786b6ee294ae',1,'SVF']]],
+  ['irgraph_9260',['IRGraph',['../classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28',1,'SVF::IRGraph']]],
+  ['is_5falloc_9261',['is_alloc',['../classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d',1,'SVF::ExtAPI']]],
+  ['is_5farg_5falloc_9262',['is_arg_alloc',['../classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477',1,'SVF::ExtAPI']]],
+  ['is_5fbool_9263',['is_bool',['../classSVF_1_1Z3Expr.html#aa4344471835568e6101780d3aece1900',1,'SVF::Z3Expr']]],
+  ['is_5fext_9264',['is_ext',['../classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2',1,'SVF::ExtAPI']]],
+  ['is_5finfinite_9265',['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_9266',['is_infinity',['../classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d',1,'SVF::NumericLiteral']]],
+  ['is_5fmemcpy_9267',['is_memcpy',['../classSVF_1_1ExtAPI.html#aadc8f2e0ff777e3f611a7d741def0742',1,'SVF::ExtAPI']]],
+  ['is_5fmemset_9268',['is_memset',['../classSVF_1_1ExtAPI.html#a9f6e5cd617ab57ef9da0bab6c3c9cdc8',1,'SVF::ExtAPI']]],
+  ['is_5fminus_5finfinite_9269',['is_minus_infinite',['../classSVF_1_1BoundedZ3Expr.html#a90c87bed7210246db310dbecc61326ac',1,'SVF::BoundedZ3Expr']]],
+  ['is_5fminus_5finfinity_9270',['is_minus_infinity',['../classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15',1,'SVF::NumericLiteral']]],
+  ['is_5fnumeral_9271',['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_9272',['is_plus_infinite',['../classSVF_1_1BoundedZ3Expr.html#a1b58a124940bbc4da8c09f2b63b24b0c',1,'SVF::BoundedZ3Expr']]],
+  ['is_5fplus_5finfinity_9273',['is_plus_infinity',['../classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7',1,'SVF::NumericLiteral']]],
+  ['is_5frealloc_9274',['is_realloc',['../classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4',1,'SVF::ExtAPI']]],
+  ['is_5ftrue_9275',['is_true',['../classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c',1,'SVF::BoundedZ3Expr']]],
+  ['is_5fzero_9276',['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_9277',['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_9278',['isActualOUTPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301',1,'SVF::InterMSSAPHISVFGNode']]],
+  ['isactualretphi_9279',['isActualRetPHI',['../classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4',1,'SVF::InterPHIVFGNode']]],
+  ['isagg_9280',['isAgg',['../classSVF_1_1DCHGraph.html#a9d2be5aec5216cbc1d1709b41f79c44b',1,'SVF::DCHGraph']]],
+  ['isaliasedforkjoin_9281',['isAliasedForkJoin',['../classSVF_1_1ForkJoinAnalysis.html#a209ab13297e61f980cdf350e8fe2a9b4',1,'SVF::ForkJoinAnalysis']]],
+  ['isaliasedlocks_9282',['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_9283',['isAliasedMR',['../classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a',1,'SVF::MRGenerator']]],
+  ['isallpathreachable_9284',['isAllPathReachable',['../classSVF_1_1SaberCondAllocator.html#a246da0431273c312800459aa85d80a86',1,'SVF::SaberCondAllocator::isAllPathReachable()'],['../classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0',1,'SVF::SrcSnkDDA::isAllPathReachable()']]],
+  ['isallreachable_9285',['isAllReachable',['../classSVF_1_1ProgSlice.html#a2f96f034b7236791fe1d4d351174722e',1,'SVF::ProgSlice']]],
+  ['isalnum_9286',['isalnum',['../extapi_8c.html#abe92a0aebef4717d08c64655ac44c9af',1,'extapi.c']]],
+  ['isalpha_9287',['isalpha',['../extapi_8c.html#af947cbf1ae303e5297c9d68c68a6b9cb',1,'extapi.c']]],
+  ['isanallocationwraper_9288',['isAnAllocationWraper',['../namespaceSVF_1_1SVFUtil.html#a2c47299fdf0ca0d08578ded6348f77c2',1,'SVF::SVFUtil']]],
+  ['isargofuncalledfunction_9289',['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_9290',['isArray',['../classSVF_1_1MemObj.html#aeba6eeed4843a1a90cf1d4b7deb197af',1,'SVF::MemObj::isArray()'],['../classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1',1,'SVF::ObjTypeInfo::isArray()']]],
+  ['isarraycondmemobj_9291',['isArrayCondMemObj',['../classSVF_1_1DDAVFSolver.html#a9aaa5ee3dc8abc51c4b6e463e1949ee7',1,'SVF::DDAVFSolver']]],
+  ['isarraymemobj_9292',['isArrayMemObj',['../classSVF_1_1PointerAnalysis.html#a89dfeedf8e3e91603a1e9c73e3608a73',1,'SVF::PointerAnalysis']]],
+  ['isbackicfgedge_9293',['isBackICFGEdge',['../classSVF_1_1SVFLoop.html#a7283685960ed98e1a292e3f688d9aa2b',1,'SVF::SVFLoop']]],
+  ['isbarrierwaitcall_9294',['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_9295',['isBase',['../classSVF_1_1DCHGraph.html#ab33f9af6ad22eb99dd0d9950fb0e50e6',1,'SVF::DCHGraph']]],
+  ['isbbcallsprogexit_9296',['isBBCallsProgExit',['../classSVF_1_1SaberCondAllocator.html#a9d626dea5aa694799ec15a3b64021a35',1,'SVF::SaberCondAllocator']]],
+  ['isbinaryconstantexpr_9297',['isBinaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a35b36394af726c679fe2c1b6051db7c4',1,'SVF::LLVMUtil']]],
+  ['isbkvisited_9298',['isbkVisited',['../classSVF_1_1DDAVFSolver.html#a9a9c3a8b5e4ffc89418073110e446f20',1,'SVF::DDAVFSolver']]],
+  ['isblackhole_9299',['isblackHole',['../classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73',1,'SVF::SVFValue']]],
+  ['isblackholeobj_9300',['isBlackHoleObj',['../classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c',1,'SVF::MemObj']]],
+  ['isblackholesym_9301',['isBlackholeSym',['../namespaceSVF_1_1LLVMUtil.html#abf4e75ba6236136399d45c85be2328fe',1,'SVF::LLVMUtil']]],
+  ['isblank_9302',['isblank',['../extapi_8c.html#aaecd098576b00440124c44580144e8d5',1,'extapi.c']]],
+  ['isblkobj_9303',['isBlkObj',['../classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad',1,'SVF::SVFIR::isBlkObj()'],['../classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3',1,'SVF::SymbolTableInfo::isBlkObj()']]],
+  ['isblkobjorconstantobj_9304',['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_9305',['isBlkPtr',['../classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997',1,'SVF::SVFIR::isBlkPtr()'],['../classSVF_1_1SymbolTableInfo.html#acba43b6e9cdf07afaf3d30351aa8df7c',1,'SVF::SymbolTableInfo::isBlkPtr()']]],
+  ['isbool_9306',['isBool',['../classOptionBase.html#acd2a32f510c026154665f7d874f3f362',1,'OptionBase::isBool()'],['../classOption.html#a910cf3c0ac5d45ee169cb8750898ea0b',1,'Option::isBool()']]],
+  ['isbottom_9307',['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_9308',['isBottomAbsValue',['../classSVF_1_1SingleAbsValue.html#a5ece7dbaa27e73795a89adb90afe60fe',1,'SVF::SingleAbsValue']]],
+  ['isbuiltfromfile_9309',['isBuiltFromFile',['../classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98',1,'SVF::IRGraph']]],
+  ['iscallcfgedge_9310',['isCallCFGEdge',['../classSVF_1_1ICFGEdge.html#a2ecc0bc3bb3655bf3db3adb732747b49',1,'SVF::ICFGEdge']]],
+  ['iscalldirectvfgedge_9311',['isCallDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a92e3da59f7f5a693945b9a93f169da04',1,'SVF::VFGEdge']]],
+  ['iscalledextfunction_9312',['isCalledExtFunction',['../classSVF_1_1LLVMModuleSet.html#abbca1044dc59299224598ec2ba17fe7e',1,'SVF::LLVMModuleSet']]],
+  ['iscallindirectvfgedge_9313',['isCallIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ae14a5f58064e6c08b53a3cffcc050077',1,'SVF::VFGEdge']]],
+  ['iscallsite_9314',['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_9315',['isCallSiteRetSVFGNode',['../classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59',1,'SVF::SVFG']]],
+  ['iscallvfgedge_9316',['isCallVFGEdge',['../classSVF_1_1VFGEdge.html#a4352297ef44c4eff1efe2f348cce6fe9',1,'SVF::VFGEdge']]],
+  ['iscandidatefun_9317',['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_9318',['isCastConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#af983b0e1fbd371d8672e8f03f63084fc',1,'SVF::LLVMUtil']]],
+  ['iscfgedge_9319',['isCFGEdge',['../classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173',1,'SVF::ICFGEdge']]],
+  ['iscmpconstantexpr_9320',['isCmpConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#aa0b3e34188f721ff7145e47cb607c79a',1,'SVF::LLVMUtil']]],
+  ['iscntrl_9321',['iscntrl',['../extapi_8c.html#a0008a4e8e7889734dc1d83297de07158',1,'extapi.c']]],
+  ['isconcretecxt_9322',['isConcreteCxt',['../classSVF_1_1ContextCond.html#ac5f7388c0bbcee1878201819b9cd199f',1,'SVF::ContextCond']]],
+  ['iscondcompatible_9323',['isCondCompatible',['../classSVF_1_1ContextDDA.html#a57d309971de00db9bd8c6bfaf237cbff',1,'SVF::ContextDDA::isCondCompatible()'],['../classSVF_1_1CondPTAImpl.html#a6b746c30161c7dab86510895e0032935',1,'SVF::CondPTAImpl::isCondCompatible()']]],
+  ['isconditional_9324',['isConditional',['../classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901',1,'SVF::BranchStmt']]],
+  ['isconnectedfrommain_9325',['isConnectedfromMain',['../classSVF_1_1MHP.html#a90c228214643bb6d37bacffc35b99a3e',1,'SVF::MHP']]],
+  ['isconnectingtwocallsites_9326',['isConnectingTwoCallSites',['../classSVF_1_1SVFGOPT.html#aa23c967a8fcadbaf47e93a5b3610c84d',1,'SVF::SVFGOPT']]],
+  ['isconstantarray_9327',['isConstantArray',['../classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb',1,'SVF::MemObj::isConstantArray()'],['../classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212',1,'SVF::ObjTypeInfo::isConstantArray()']]],
+  ['isconstantobj_9328',['isConstantObj',['../classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156',1,'SVF::SVFIR::isConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a704b917b1e1dbaf9cd758fa9acc1083b',1,'SVF::SymbolTableInfo::isConstantObj()']]],
+  ['isconstantobjsym_9329',['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_9330',['isConstantOffset',['../classSVF_1_1AccessPath.html#a403312192a96a9fd5e7d071481592a7f',1,'SVF::AccessPath::isConstantOffset()'],['../classSVF_1_1GepStmt.html#ab6f37c073e4755c4b8bb3ed6365687f4',1,'SVF::GepStmt::isConstantOffset()']]],
+  ['isconstantstruct_9331',['isConstantStruct',['../classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f',1,'SVF::MemObj::isConstantStruct()'],['../classSVF_1_1ObjTypeInfo.html#a41f916ab4e3a2c163fca636eae948ce7',1,'SVF::ObjTypeInfo::isConstantStruct()']]],
+  ['isconstdataoraggdata_9332',['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_9333',['isConstDataOrAggDataButNotNullPtr',['../classSVF_1_1SVFVar.html#a091ef22d4fc428985d604b03f287a941',1,'SVF::SVFVar']]],
+  ['isconstdataorconstglobal_9334',['isConstDataOrConstGlobal',['../classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0',1,'SVF::MemObj::isConstDataOrConstGlobal()'],['../classSVF_1_1ObjTypeInfo.html#a8e6c60978df9828c1dcb54086e83edc1',1,'SVF::ObjTypeInfo::isConstDataOrConstGlobal()']]],
+  ['isconstructor_9335',['isConstructor',['../namespaceSVF_1_1LLVMUtil.html#a6dd1590b82d2bd86766886bd21bc2b72',1,'SVF::LLVMUtil']]],
+  ['iscppthunkfunction_9336',['isCPPThunkFunction',['../namespaceSVF_1_1LLVMUtil.html#a47bbc0527ced570d576ccc2f9df409cb',1,'SVF::LLVMUtil']]],
+  ['isdeclaration_9337',['isDeclaration',['../classSVF_1_1SVFFunction.html#ab672f0255ec8e42d5e414bc8c72b7c76',1,'SVF::SVFFunction']]],
+  ['isdefofainfout_9338',['isDefOfAInFOut',['../classSVF_1_1SVFGOPT.html#a0e78edc04f5e8bfcca7a3f04f7568665',1,'SVF::SVFGOPT']]],
+  ['isdestructor_9339',['isDestructor',['../namespaceSVF_1_1LLVMUtil.html#a206973624fcc58e6044c884dba23a754',1,'SVF::LLVMUtil']]],
+  ['isdigit_9340',['isdigit',['../extapi_8c.html#a3fa45b35c8abf67a950b6d3d4063dede',1,'extapi.c']]],
+  ['isdirectcalledge_9341',['isDirectCallEdge',['../classSVF_1_1PTACallGraphEdge.html#a8c46ccaa41f6792ca4a31a56548a554a',1,'SVF::PTACallGraphEdge']]],
+  ['isdirectedge_9342',['isdirectEdge',['../classSVF_1_1ConstraintNode.html#a165b41f2849c0f09eb1b15d51a566315',1,'SVF::ConstraintNode']]],
+  ['isdirectvfgedge_9343',['isDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a8777555f00696706de250159b920d14b',1,'SVF::VFGEdge']]],
+  ['isedgeinrecursion_9344',['isEdgeInRecursion',['../classSVF_1_1ContextDDA.html#a525949d1743136466d33bf4dc26ba423',1,'SVF::ContextDDA']]],
+  ['isentryicfgedge_9345',['isEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a3db213cb4aee3308f2dca587ffa1dfd1',1,'SVF::SVFLoop']]],
+  ['iseqcmp_9346',['isEQCmp',['../classSVF_1_1SaberCondAllocator.html#aaa01f2c79866e9eb7818d80b0af2b9f5',1,'SVF::SaberCondAllocator']]],
+  ['isequivalentbranchcond_9347',['isEquivalentBranchCond',['../classSVF_1_1ProgSlice.html#a6c63e9641e4d3d3f2f8c4a73bfba7a07',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71',1,'SVF::SaberCondAllocator::isEquivalentBranchCond()']]],
+  ['isextcall_9348',['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_9349',['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_9350',['isFieldInsenCondMemObj',['../classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170',1,'SVF::DDAVFSolver']]],
+  ['isfieldinsensitive_9351',['isFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#a0f71e4cd0948b294c7d33a690bde7dbe',1,'SVF::PointerAnalysis::isFieldInsensitive()'],['../classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc',1,'SVF::MemObj::isFieldInsensitive()']]],
+  ['isfieldof_9352',['isFieldOf',['../classSVF_1_1DCHGraph.html#af0534356b4a8c68507e1237f1d7a8c11',1,'SVF::DCHGraph']]],
+  ['isfiobjnode_9353',['isFIObjNode',['../classSVF_1_1PointerAnalysis.html#af90d2ccb01402c5ca9d7a059f345c816',1,'SVF::PointerAnalysis']]],
+  ['isfirstfield_9354',['isFirstField',['../classSVF_1_1DCHGraph.html#a2b2dbc52089696854a8339f2e83fc333',1,'SVF::DCHGraph']]],
+  ['isflaged_9355',['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_9356',['isFollowerFun',['../classSVF_1_1PCG.html#a767a7ea009067e7f82bb70b29688a144',1,'SVF::PCG']]],
+  ['isfopen_9357',['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_9358',['isForksite',['../classSVF_1_1ThreadCallGraph.html#a07d3db6ffe8d75effd6fbc3856c484fe',1,'SVF::ThreadCallGraph']]],
+  ['isformalinphi_9359',['isFormalINPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1',1,'SVF::InterMSSAPHISVFGNode']]],
+  ['isformalparmphi_9360',['isFormalParmPHI',['../classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7',1,'SVF::InterPHIVFGNode']]],
+  ['isfulljoin_9361',['isFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#ab55532eefbcef639ced957ad82fbd340',1,'SVF::ForkJoinAnalysis']]],
+  ['isfunction_9362',['isFunction',['../classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b',1,'SVF::MemObj::isFunction()'],['../classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f',1,'SVF::ObjTypeInfo::isFunction()']]],
+  ['isfunctionretphi_9363',['isFunctionRetPhi',['../classSVF_1_1PhiStmt.html#a8e55ddef627096c78bb2c8b6f9c77140',1,'SVF::PhiStmt']]],
+  ['isfunentrysvfgnode_9364',['isFunEntrySVFGNode',['../classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b',1,'SVF::SVFG']]],
+  ['isfunentryvfgnode_9365',['isFunEntryVFGNode',['../classSVF_1_1VFG.html#a8994194bca2edfd9528880390de795ab',1,'SVF::VFG']]],
+  ['isfunptr_9366',['isFunPtr',['../classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97',1,'SVF::SVFIR']]],
+  ['isgepconstantexpr_9367',['isGepConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685',1,'SVF::LLVMUtil']]],
+  ['isglobalobj_9368',['isGlobalObj',['../classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4',1,'SVF::MemObj::isGlobalObj()'],['../classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f',1,'SVF::ObjTypeInfo::isGlobalObj()']]],
+  ['isglobalsvfgnode_9369',['isGlobalSVFGNode',['../classSVF_1_1SaberSVFGBuilder.html#afbcd75844af51ff51c09c377f80a49cf',1,'SVF::SaberSVFGBuilder::isGlobalSVFGNode()'],['../classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7',1,'SVF::SrcSnkDDA::isGlobalSVFGNode()']]],
+  ['isgraph_9370',['isgraph',['../extapi_8c.html#a49f40fd869fd0c90e4497fda08c89561',1,'extapi.c']]],
+  ['ishareparfor_9371',['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_9372',['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_9373',['isHBPair',['../classSVF_1_1MHP.html#a6f07427b45991b2d8a3ff21582121d23',1,'SVF::MHP::isHBPair()'],['../classSVF_1_1ForkJoinAnalysis.html#a86c68ce5fd8825b1593d92a5a5bad389',1,'SVF::ForkJoinAnalysis::isHBPair()']]],
+  ['ishead_9374',['isHead',['../classSVF_1_1CFBasicBlockGWTO.html#ade2b2aa77bba3781ab921d5c36eb881b',1,'SVF::CFBasicBlockGWTO']]],
+  ['isheadofspan_9375',['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_9376',['isHeap',['../classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1',1,'SVF::MemObj::isHeap()'],['../classSVF_1_1ObjTypeInfo.html#a26c179394fbda9a9261d0bf3f52b619d',1,'SVF::ObjTypeInfo::isHeap()']]],
+  ['isheapallocextcall_9377',['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_9378',['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_9379',['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_9380',['isHeapAllocExtFunViaArg',['../namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245',1,'SVF::SVFUtil']]],
+  ['isheapallocextfunviaret_9381',['isHeapAllocExtFunViaRet',['../namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea',1,'SVF::SVFUtil']]],
+  ['isheapcondmemobj_9382',['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_9383',['isHeapMemObj',['../classSVF_1_1PointerAnalysis.html#ae6ea391ac44dffeb6899bb44323c5361',1,'SVF::PointerAnalysis']]],
+  ['ishelpname_9384',['isHelpName',['../classOptionBase.html#ae446d8507843235d8fe71d32bc4bd04b',1,'OptionBase']]],
+  ['isinawrapper_9385',['isInAWrapper',['../classSVF_1_1SrcSnkDDA.html#afc75e55af839ef535d80555fd422342c',1,'SVF::SrcSnkDDA']]],
+  ['isincurbackwardslice_9386',['isInCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4cb2c14431fc432e84d382f8eeb24fe2',1,'SVF::SrcSnkDDA']]],
+  ['isincurforwardslice_9387',['isInCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4bde70a5d9dbf5a9234a93aaeaaacb94',1,'SVF::SrcSnkDDA']]],
+  ['isincurrentscc_9388',['isInCurrentSCC',['../classSVF_1_1WPASCCSolver.html#ae1ed4875e706677acf22a776f7285185',1,'SVF::WPASCCSolver']]],
+  ['isincycle_9389',['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_9390',['isIndirectCall',['../classSVF_1_1CallICFGNode.html#aa11226a2e4fa6a7b1d78006cc8ca0518',1,'SVF::CallICFGNode']]],
+  ['isindirectcalledge_9391',['isIndirectCallEdge',['../classSVF_1_1PTACallGraphEdge.html#a74692d47f929dc2188eede497acb91b7',1,'SVF::PTACallGraphEdge']]],
+  ['isindirectcallsites_9392',['isIndirectCallSites',['../classSVF_1_1SVFIR.html#a3dbe0b17694daa74f648a70e77efaf23',1,'SVF::SVFIR']]],
+  ['isindirectedge_9393',['isIndirectEdge',['../classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0',1,'SVF::ConstraintNode']]],
+  ['isindirectvfgedge_9394',['isIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#aa8f30d093d4950724a6688707326b57b',1,'SVF::VFGEdge']]],
+  ['isinicfgedge_9395',['isInICFGEdge',['../classSVF_1_1SVFLoop.html#ae8a579b8798cf14ba8c1d9ee9c355267',1,'SVF::SVFLoop']]],
+  ['isinloop_9396',['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_9397',['isInLoopInstruction',['../classSVF_1_1TCT.html#af1e7f51f9a3540fa73b856def01da77e',1,'SVF::TCT']]],
+  ['isinrecursion_9398',['isInRecursion',['../classSVF_1_1PointerAnalysis.html#aa725a0c9426e8615cbc078c88561f66a',1,'SVF::PointerAnalysis::isInRecursion()'],['../classSVF_1_1TCT.html#a17a478edc9fac3e501202073100549ff',1,'SVF::TCT::isInRecursion()']]],
+  ['isinsamecispan_9399',['isInSameCISpan',['../classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e',1,'SVF::LockAnalysis']]],
+  ['isinsamecsspan_9400',['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_9401',['isInSameSpan',['../classSVF_1_1LockAnalysis.html#a1c1b63a8bd7449ebeb2c31b0532e9337',1,'SVF::LockAnalysis']]],
+  ['isinscc_9402',['isInSCC',['../classSVF_1_1SCCDetection.html#aff6c15443edca2559ae3f3d04ff45481',1,'SVF::SCCDetection']]],
+  ['isinsensitivecallret_9403',['isInsensitiveCallRet',['../classSVF_1_1ContextDDA.html#a76487b8b3e3abb8a16b5c4f5c7e79819',1,'SVF::ContextDDA']]],
+  ['isinsidecondintralock_9404',['isInsideCondIntraLock',['../classSVF_1_1LockAnalysis.html#a25446604fac03485a991d28f03e88788',1,'SVF::LockAnalysis']]],
+  ['isinsideintralock_9405',['isInsideIntraLock',['../classSVF_1_1LockAnalysis.html#a3fd595637d248213c650889d6e2d07ad',1,'SVF::LockAnalysis']]],
+  ['isint2ptrconstantexpr_9406',['isInt2PtrConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#adfa4a4e6d13004d14137d9168bd32463',1,'SVF::LLVMUtil']]],
+  ['isinterestedpagnode_9407',['isInterestedPAGNode',['../classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962',1,'SVF::VFG']]],
+  ['isintracfgedge_9408',['isIntraCFGEdge',['../classSVF_1_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c',1,'SVF::ICFGEdge']]],
+  ['isintralock_9409',['isIntraLock',['../classSVF_1_1LockAnalysis.html#aabb4acd61154d3e7fed64ec4e94f2d93',1,'SVF::LockAnalysis']]],
+  ['isintravfgedge_9410',['isIntraVFGEdge',['../classSVF_1_1VFGEdge.html#a5d2668f46a709eb179007a296d94b77b',1,'SVF::VFGEdge']]],
+  ['isintrinsic_9411',['isIntrinsic',['../classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb',1,'SVF::SVFFunction']]],
+  ['isintrinsicfun_9412',['isIntrinsicFun',['../namespaceSVF_1_1LLVMUtil.html#a4638a12f5481dff947b59cf8353e619b',1,'SVF::LLVMUtil']]],
+  ['isintrinsicinst_9413',['isIntrinsicInst',['../namespaceSVF_1_1LLVMUtil.html#a003b769751b93b94bdb011bd704cfde1',1,'SVF::LLVMUtil::isIntrinsicInst()'],['../namespaceSVF_1_1SVFUtil.html#abb2bbf6e0dc5adae2140a519259e6f17',1,'SVF::SVFUtil::isIntrinsicInst()']]],
+  ['isinworklist_9414',['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_9415',['isIRFile',['../namespaceSVF_1_1LLVMUtil.html#ad8a8c32a09340f491fffffcb07dd7a41',1,'SVF::LLVMUtil']]],
+  ['isisolatednode_9416',['isIsolatedNode',['../classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7',1,'SVF::SVFVar']]],
+  ['isjoinmustexecutedinloop_9417',['isJoinMustExecutedInLoop',['../classSVF_1_1TCT.html#ad7d8760d745f4d8fcd85ccdf876d22a5',1,'SVF::TCT']]],
+  ['isjoinsite_9418',['isJoinsite',['../classSVF_1_1ThreadCallGraph.html#ac75a38384cda8379c32b4d01d4d5d20a',1,'SVF::ThreadCallGraph']]],
+  ['isjoinsiteinrecursion_9419',['isJoinSiteInRecursion',['../classSVF_1_1TCT.html#a78d2419493546ee2f91a6aeb2e778709',1,'SVF::TCT']]],
+  ['isload_9420',['isLoad',['../classSVF_1_1VersionedFlowSensitive.html#a984a4f929a18f97bfefac0102088a7fd',1,'SVF::VersionedFlowSensitive']]],
+  ['isloadvtblinst_9421',['isLoadVtblInst',['../namespaceSVF_1_1LLVMUtil.html#a45da980cb7c085942bb8e6010db9d84f',1,'SVF::LLVMUtil']]],
+  ['islocalcvarinrecursion_9422',['isLocalCVarInRecursion',['../classSVF_1_1DDAVFSolver.html#a20cadb651b41343437e135e985c4e566',1,'SVF::DDAVFSolver']]],
+  ['islocalvarinrecursivefun_9423',['isLocalVarInRecursiveFun',['../classSVF_1_1PointerAnalysis.html#a108380f6f0b67654bb7c7676686096c8',1,'SVF::PointerAnalysis']]],
+  ['islockaquirecall_9424',['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_9425',['isLockCandidateFun',['../classSVF_1_1LockAnalysis.html#ae2c69e1a6787033a5be2b210134873c3',1,'SVF::LockAnalysis']]],
+  ['islockreleasecall_9426',['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_9427',['isLoopExitOfJoinLoop',['../classSVF_1_1TCT.html#ae62f5a928f59e01d15e8fb4fb8f0f100',1,'SVF::TCT']]],
+  ['isloopheader_9428',['isLoopHeader',['../classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43',1,'SVF::SVFLoopAndDomInfo::isLoopHeader()'],['../classSVF_1_1SVFFunction.html#afa469fdfa92b99d1727b8df873c86768',1,'SVF::SVFFunction::isLoopHeader()']]],
+  ['isloopheaderofjoinloop_9429',['isLoopHeaderOfJoinLoop',['../classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389',1,'SVF::TCT']]],
+  ['islower_9430',['islower',['../extapi_8c.html#aa22ae60881e18aa1b9ec1d94210307ed',1,'extapi.c']]],
+  ['ismemalloc_9431',['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_9432',['isMemcpy',['../classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898',1,'SVF::MTAAnnotator']]],
+  ['ismemcpyextfun_9433',['isMemcpyExtFun',['../namespaceSVF_1_1SVFUtil.html#a688bd5e1bf36b3e75bfcea9388871dc4',1,'SVF::SVFUtil']]],
+  ['ismemdealloc_9434',['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_9435',['isMemset',['../classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93',1,'SVF::MTAAnnotator']]],
+  ['ismemsetextfun_9436',['isMemsetExtFun',['../namespaceSVF_1_1SVFUtil.html#a54098ea73555caa682287f8e3c9e8fcb',1,'SVF::SVFUtil']]],
+  ['ismultiforked_9437',['isMultiforked',['../classSVF_1_1TCTNode.html#a5dd0cf88e381438d191b275314117561',1,'SVF::TCTNode']]],
+  ['ismultiforkedthread_9438',['isMultiForkedThread',['../classSVF_1_1MHP.html#a041392f704690e89d8acf5ec68d8682c',1,'SVF::MHP']]],
+  ['ismultiinheritance_9439',['isMultiInheritance',['../classSVF_1_1DCHNode.html#a42026e30e790bce5be03da3e45353c8d',1,'SVF::DCHNode::isMultiInheritance()'],['../classSVF_1_1CHNode.html#a224a394537fae62e64cf62a0d4fdd430',1,'SVF::CHNode::isMultiInheritance()']]],
+  ['ismultiple_9440',['isMultiple',['../classOptionBase.html#ad6fe65a503048686686ea6ced35a2dfd',1,'OptionBase::isMultiple()'],['../classOptionMultiple.html#aebfc1b172ccde004333d9af7248dca4e',1,'OptionMultiple::isMultiple()']]],
+  ['ismustalias_9441',['isMustAlias',['../classSVF_1_1DDAVFSolver.html#a345e5379f53b618adef014aa6887bfe7',1,'SVF::DDAVFSolver']]],
+  ['ismustjoin_9442',['isMustJoin',['../classSVF_1_1MHP.html#a1c43a0f078f82a3c741de1c4dc2490c0',1,'SVF::MHP']]],
+  ['isnecmp_9443',['isNECmp',['../classSVF_1_1SaberCondAllocator.html#aac5762d9a7d584a9748301acbb31b401',1,'SVF::SaberCondAllocator']]],
+  ['isnegcond_9444',['isNegCond',['../classSVF_1_1SaberCondAllocator.html#ad5d27f65374025b6a105ea7a92cbdb50',1,'SVF::SaberCondAllocator']]],
+  ['isnocallerfunction_9445',['isNoCallerFunction',['../namespaceSVF_1_1LLVMUtil.html#a17cce1a11e1bfc342a9e3e79fe35deef',1,'SVF::LLVMUtil']]],
+  ['isnodehidden_9446',['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_9447',['isNonInstricCallSite',['../namespaceSVF_1_1SVFUtil.html#a4af4db2fe43846609d2ed1d7022b1be1',1,'SVF::SVFUtil']]],
+  ['isnonlocalobject_9448',['isNonLocalObject',['../classSVF_1_1MRGenerator.html#a2cf20660f2fd686fa3cabd046c4a10bf',1,'SVF::MRGenerator']]],
+  ['isnonpointerobj_9449',['isNonPointerObj',['../classSVF_1_1PointerAnalysis.html#a9d3b20c9883d734537fb98b57b5372b9',1,'SVF::PointerAnalysis::isNonPointerObj()'],['../classSVF_1_1SVFIR.html#a980e54129ece0757d7f0373f37428507',1,'SVF::SVFIR::isNonPointerObj()']]],
+  ['isnonptrfieldobj_9450',['isNonPtrFieldObj',['../classSVF_1_1MemObj.html#aef4ed89ab63d6af36e7f291171c150ac',1,'SVF::MemObj::isNonPtrFieldObj()'],['../classSVF_1_1ObjTypeInfo.html#a040ae9ad6cd6b075df6594bb1f706d72',1,'SVF::ObjTypeInfo::isNonPtrFieldObj()']]],
+  ['isnotretfunction_9451',['isNotRetFunction',['../classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347',1,'SVF::SVFFunction']]],
+  ['isnullptr_9452',['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_9453',['isNullPtrSym',['../namespaceSVF_1_1LLVMUtil.html#a847fb0c433b5d3611151636ca4bc5bc5',1,'SVF::LLVMUtil']]],
+  ['isnullstate_9454',['isNullState',['../classSVF_1_1ConsExeState.html#a08f64cf55802c4ddbc1e01b06ce55dec',1,'SVF::ConsExeState']]],
+  ['isnullsymstate_9455',['isNullSymState',['../classSVF_1_1SymState.html#a9817e6ac4387d6a6fe5f67e2ce753a88',1,'SVF::SymState']]],
+  ['isobject_9456',['isObject',['../namespaceSVF_1_1LLVMUtil.html#aca11801ed6ef6ff8d2a1e85bc0fc5794',1,'SVF::LLVMUtil']]],
+  ['isoperoverload_9457',['isOperOverload',['../CppUtil_8cpp.html#a2a7c55fe3b24b913890307e9ac6cb2ba',1,'CppUtil.cpp']]],
+  ['isouticfgedge_9458',['isOutICFGEdge',['../classSVF_1_1SVFLoop.html#a5b2ff96defd83686c2737cafa0e1cc83',1,'SVF::SVFLoop']]],
+  ['isoutofbudgetdpm_9459',['isOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#a0b1f774883adc7d535f8363bf3c8b1e8',1,'SVF::DDAVFSolver']]],
+  ['isoutofbudgetquery_9460',['isOutOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#a7994236bff84ba8244592fdf5e546734',1,'SVF::DDAVFSolver']]],
+  ['isparforsite_9461',['isParForSite',['../classSVF_1_1ThreadCallGraph.html#ae18f0b3245694145f6d9262ee28c6453',1,'SVF::ThreadCallGraph']]],
+  ['ispartialreachable_9462',['isPartialReachable',['../classSVF_1_1ProgSlice.html#a3822badbbe9ac808296d5248f2dbf8e2',1,'SVF::ProgSlice']]],
+  ['isphicopyedge_9463',['isPhiCopyEdge',['../classSVF_1_1VFG.html#a8ddf15d89a1b11a7f7720b671f4f0295',1,'SVF::VFG']]],
+  ['isphinode_9464',['isPhiNode',['../classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff',1,'SVF::SVFIR']]],
+  ['ispointer_9465',['isPointer',['../classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271',1,'SVF::SVFVar']]],
+  ['ispointerty_9466',['isPointerTy',['../classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c',1,'SVF::SVFType']]],
+  ['isprint_9467',['isprint',['../extapi_8c.html#a99355d8f0fb41ec43effb95189db0ed4',1,'extapi.c']]],
+  ['isprogentryfunction_9468',['isProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#ac9d6aff1a5e778e45c51b4f3b6d787e0',1,'SVF::LLVMUtil::isProgEntryFunction()'],['../namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b',1,'SVF::SVFUtil::isProgEntryFunction()']]],
+  ['isprogexitcall_9469',['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_9470',['isProgExitFunction',['../namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57',1,'SVF::SVFUtil']]],
+  ['isprotectedbycommoncilock_9471',['isProtectedByCommonCILock',['../classSVF_1_1LockAnalysis.html#ae912e35cddd4235a663f84f70c3881e7',1,'SVF::LockAnalysis']]],
+  ['isprotectedbycommoncxtlock_9472',['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_9473',['isProtectedByCommonLock',['../classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c',1,'SVF::LockAnalysis']]],
+  ['isptaedge_9474',['isPTAEdge',['../classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951',1,'SVF::SVFStmt']]],
+  ['isptanode_9475',['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_9476',['isPtr2IntConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a2834d135a2385efff783e6e22d2eff1f',1,'SVF::LLVMUtil']]],
+  ['isptrinuncalledfunction_9477',['isPtrInUncalledFunction',['../namespaceSVF_1_1LLVMUtil.html#a07c785d931cef3c61e3dab4c615770be',1,'SVF::LLVMUtil']]],
+  ['isptronlysvfg_9478',['isPtrOnlySVFG',['../classSVF_1_1VFG.html#a268ec1495cbe4adb51fa50d28a4cba3d',1,'SVF::VFG']]],
+  ['ispunct_9479',['ispunct',['../extapi_8c.html#a9d60842d6ae065229ba810e6b01110da',1,'extapi.c']]],
+  ['ispureabstract_9480',['isPureAbstract',['../classSVF_1_1DCHNode.html#aed5e8397d43b602b79425acdae5e01f5',1,'SVF::DCHNode::isPureAbstract()'],['../classSVF_1_1CHNode.html#a268ccdfb486cc2efa8581ee7a3b5af39',1,'SVF::CHNode::isPureAbstract()']]],
+  ['ispwcnode_9481',['isPWCNode',['../classSVF_1_1ConstraintGraph.html#a84468bc9355d31e8c3e18369036ddf5c',1,'SVF::ConstraintGraph::isPWCNode()'],['../classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d',1,'SVF::ConstraintNode::isPWCNode()']]],
+  ['isreachablebetweenfunctions_9482',['isReachableBetweenFunctions',['../classSVF_1_1PTACallGraph.html#aa03df6b1ebf7f8356a47fa074d3f91a4',1,'SVF::PTACallGraph']]],
+  ['isreachablefromprogentry_9483',['isReachableFromProgEntry',['../classSVF_1_1PTACallGraphNode.html#ae549769b86088c7c03e416549694ef52',1,'SVF::PTACallGraphNode']]],
+  ['isreachglobal_9484',['isReachGlobal',['../classSVF_1_1ProgSlice.html#a067480a9815fdb728cd259ef9b687e3e',1,'SVF::ProgSlice']]],
+  ['isreallocextcall_9485',['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_9486',['isReallocExtFun',['../namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4',1,'SVF::SVFUtil']]],
+  ['isrecurfulljoin_9487',['isRecurFullJoin',['../classSVF_1_1MHP.html#a0356a8ccc53999549fb369f67faad306',1,'SVF::MHP']]],
+  ['isretcfgedge_9488',['isRetCFGEdge',['../classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80',1,'SVF::ICFGEdge']]],
+  ['isretdirectvfgedge_9489',['isRetDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a49cbf2a714c9b965b19452d266cd8bdf',1,'SVF::VFGEdge']]],
+  ['isretindirectvfgedge_9490',['isRetIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ad0df7ea2de8de5607229dfcdd7b70b87',1,'SVF::VFGEdge']]],
+  ['isretinst_9491',['isRetInst',['../classSVF_1_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d',1,'SVF::SVFInstruction']]],
+  ['isretvfgedge_9492',['isRetVFGEdge',['../classSVF_1_1VFGEdge.html#a3937eef974c3953f1d1e7d64c5a24ff3',1,'SVF::VFGEdge']]],
+  ['issamescev_9493',['isSameSCEV',['../classSVF_1_1ForkJoinAnalysis.html#abbff6ea064e7241315932db77dccaad9',1,'SVF::ForkJoinAnalysis']]],
+  ['issamethisptrinconstructor_9494',['isSameThisPtrInConstructor',['../namespaceSVF_1_1LLVMUtil.html#a8873eb1cce9496f9699eab22c4a6d3ce',1,'SVF::LLVMUtil']]],
+  ['issamevar_9495',['isSameVar',['../classSVF_1_1CondPTAImpl.html#a7a1be735c76ba4a6b235264fe8ec6c28',1,'SVF::CondPTAImpl']]],
+  ['issatisfiable_9496',['isSatisfiable',['../classSVF_1_1SaberCondAllocator.html#a7c132cc105a97a5dbf0c9b9d16b4b72a',1,'SVF::SaberCondAllocator']]],
+  ['issatisfiableforall_9497',['isSatisfiableForAll',['../classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed',1,'SVF::ProgSlice']]],
+  ['issatisfiableforpairs_9498',['isSatisfiableForPairs',['../classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4',1,'SVF::ProgSlice']]],
+  ['isscalar_9499',['isScalar',['../classSVF_1_1DCHNode.html#a50cf99ff5cc910512c1ce3987c7395ef',1,'SVF::DCHNode']]],
+  ['isselectconstantexpr_9500',['isSelectConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ae59b0dc7f29dbd2018e819f77465f66e',1,'SVF::LLVMUtil']]],
+  ['issigned_9501',['isSigned',['../classSVF_1_1SVFIntegerType.html#a535874e5c49f686dd6ae99304ecd6821',1,'SVF::SVFIntegerType']]],
+  ['issimple_9502',['isSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77',1,'SVF::DefaultDOTGraphTraits']]],
+  ['issinglefieldobj_9503',['isSingleFieldObj',['../classSVF_1_1ConstraintGraph.html#a38fd07dd86f6187a7671f9f85565fccc',1,'SVF::ConstraintGraph']]],
+  ['issinglevaluetype_9504',['isSingleValueType',['../classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6',1,'SVF::SVFType']]],
+  ['issink_9505',['isSink',['../classSVF_1_1SVFGStat.html#ae905f0d64db3039f8fd3c117c4624e31',1,'SVF::SVFGStat::isSink()'],['../classSVF_1_1SrcSnkDDA.html#a703bfc5c825d66fdb0d74eb89d181581',1,'SVF::SrcSnkDDA::isSink()']]],
+  ['issinklikefun_9506',['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_9507',['isSomePathReachable',['../classSVF_1_1SrcSnkDDA.html#a19ab6f6df2a67b294268cfe7f4287fd7',1,'SVF::SrcSnkDDA']]],
+  ['issource_9508',['isSource',['../classSVF_1_1SVFGStat.html#a72c93b86e95bdbe32ade33f7264f4c0a',1,'SVF::SVFGStat::isSource()'],['../classSVF_1_1SrcSnkDDA.html#a815e39e7c65ed9a250cafe40f74a4ba1',1,'SVF::SrcSnkDDA::isSource()']]],
+  ['issourcelikefun_9509',['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_9510',['isspace',['../extapi_8c.html#a84b34b0058324ae5c0eae4956cf00cc5',1,'extapi.c']]],
+  ['isspawneefun_9511',['isSpawneeFun',['../classSVF_1_1PCG.html#aa894020740c6d6ad8a179133f628a573',1,'SVF::PCG']]],
+  ['isspawnerfun_9512',['isSpawnerFun',['../classSVF_1_1PCG.html#a49d2755072df3c5012bc602ac1501bdc',1,'SVF::PCG']]],
+  ['isspawnsite_9513',['isSpawnsite',['../classSVF_1_1PCG.html#a7a9d65698363d5f18c2556ead635cdf8',1,'SVF::PCG']]],
+  ['isspuriousvfedgeatindcallsite_9514',['isSpuriousVFEdgeAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#a9e8da6a516ed6598c66d81a0891fbb6e',1,'SVF::SVFGBuilder']]],
+  ['isstack_9515',['isStack',['../classSVF_1_1MemObj.html#af7316c697eafc71d5fc93108da4e2cee',1,'SVF::MemObj::isStack()'],['../classSVF_1_1ObjTypeInfo.html#aa568dc82decd28d2ef40785a4a647602',1,'SVF::ObjTypeInfo::isStack()']]],
+  ['isstaticobj_9516',['isStaticObj',['../classSVF_1_1MemObj.html#a954eba54eda95e6735eb1d32bd8a276e',1,'SVF::MemObj::isStaticObj()'],['../classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523',1,'SVF::ObjTypeInfo::isStaticObj()']]],
+  ['isstore_9517',['isStore',['../classSVF_1_1VersionedFlowSensitive.html#aac920c9a5f13dd147e3c130425e005eb',1,'SVF::VersionedFlowSensitive']]],
+  ['isstrongupdate_9518',['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_9519',['isStruct',['../classSVF_1_1MemObj.html#a132df66e2751e5db6b0ba82d767a3286',1,'SVF::MemObj::isStruct()'],['../classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a',1,'SVF::ObjTypeInfo::isStruct()']]],
+  ['issubset_9520',['isSubset',['../classSVF_1_1CondPointsToSet.html#acefec4fbacde1099d3dc81ab45ab9b8c',1,'SVF::CondPointsToSet']]],
+  ['issvfgnodeincycle_9521',['isSVFGNodeInCycle',['../classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93',1,'SVF::DDAVFSolver']]],
+  ['issym_9522',['isSym',['../classSVF_1_1SingleAbsValue.html#a948aca85133c7045d508b8ee33dabe91',1,'SVF::SingleAbsValue']]],
+  ['issymbolabsvalue_9523',['isSymbolAbsValue',['../classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12',1,'SVF::SingleAbsValue']]],
+  ['istailofspan_9524',['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_9525',['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_9526',['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_9527',['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_9528',['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_9529',['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_9530',['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_9531',['isTemplate',['../classSVF_1_1DCHNode.html#ada436c7cb9108898c520952a87ebd01d',1,'SVF::DCHNode::isTemplate()'],['../classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749',1,'SVF::CHNode::isTemplate()']]],
+  ['isterminator_9532',['isTerminator',['../classSVF_1_1SVFInstruction.html#afbf703f88da59d2b30c14c7d40e5e22d',1,'SVF::SVFInstruction']]],
+  ['istestcontainsnullandthevalue_9533',['isTestContainsNullAndTheValue',['../classSVF_1_1SaberCondAllocator.html#a34be6721a311d72dcd355eeb41dbd3e1',1,'SVF::SaberCondAllocator']]],
+  ['istestnotnullexpr_9534',['isTestNotNullExpr',['../classSVF_1_1SaberCondAllocator.html#a4fc06192d4f7db305c3414a39e7c2b49',1,'SVF::SaberCondAllocator']]],
+  ['istestnullexpr_9535',['isTestNullExpr',['../classSVF_1_1SaberCondAllocator.html#accf26eb31e7724daa3ba9170feee9644',1,'SVF::SaberCondAllocator']]],
+  ['isthreadexitcall_9536',['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_9537',['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_9538',['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_9539',['isThreadMHPIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ace832abe1ec87e3e2338944061d09ea4',1,'SVF::VFGEdge']]],
+  ['istop_9540',['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_9541',['isTopAbsValue',['../classSVF_1_1SingleAbsValue.html#a5749cbe2d0966e65046ce84a78fcba07',1,'SVF::SingleAbsValue']]],
+  ['istoplevelptrstmt_9542',['isTopLevelPtrStmt',['../classSVF_1_1DDAVFSolver.html#a7b35588de00e322afd742041bf735571',1,'SVF::DDAVFSolver']]],
+  ['istruncconstantexpr_9543',['isTruncConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8',1,'SVF::LLVMUtil']]],
+  ['isunaryconstantexpr_9544',['isUnaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a215cc9fd716798bbb7f96f5b64e01349',1,'SVF::LLVMUtil']]],
+  ['isuncalledfunction_9545',['isUncalledFunction',['../classSVF_1_1SVFFunction.html#a818f626cb8b8063b5f3c8928428095b8',1,'SVF::SVFFunction::isUncalledFunction()'],['../namespaceSVF_1_1LLVMUtil.html#a2c61d741afbcfa853b505cd391f29f9b',1,'SVF::LLVMUtil::isUncalledFunction()']]],
+  ['isunconditional_9546',['isUnconditional',['../classSVF_1_1BranchStmt.html#a038d65e38fe792fec4050d3d1c9c5180',1,'SVF::BranchStmt']]],
+  ['isunreachable_9547',['isUnreachable',['../classSVF_1_1SVFLoopAndDomInfo.html#aac4d533d1c7abfefbd54507357e240f4',1,'SVF::SVFLoopAndDomInfo']]],
+  ['isunusedglobalvariable_9548',['isUnusedGlobalVariable',['../namespaceSVF_1_1LLVMUtil.html#acee7c2fb08e111eda4d91ce5479de05e',1,'SVF::LLVMUtil']]],
+  ['isupper_9549',['isupper',['../extapi_8c.html#adadd6582d46775aab6a51e29d16d9f77',1,'extapi.c']]],
+  ['isvalidpointer_9550',['isValidPointer',['../classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3',1,'SVF::SVFIR']]],
+  ['isvalidtoplevelptr_9551',['isValidTopLevelPtr',['../classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139',1,'SVF::SVFIR']]],
+  ['isvalvtbl_9552',['isValVtbl',['../namespaceSVF_1_1LLVMUtil.html#a08fbef6fe3e2af96a49f79ce23accb01',1,'SVF::LLVMUtil']]],
+  ['isvararg_9553',['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_9554',['isVarArray',['../classSVF_1_1MemObj.html#a616e9f4d6f82a253f94391c47668b9a6',1,'SVF::MemObj::isVarArray()'],['../classSVF_1_1ObjTypeInfo.html#aca1e900f9b0a774684af77666cf033e3',1,'SVF::ObjTypeInfo::isVarArray()']]],
+  ['isvariantfieldgep_9555',['isVariantFieldGep',['../classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788',1,'SVF::GepStmt']]],
+  ['isvarstruct_9556',['isVarStruct',['../classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf',1,'SVF::MemObj::isVarStruct()'],['../classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5',1,'SVF::ObjTypeInfo::isVarStruct()']]],
+  ['isvirtualcall_9557',['isVirtualCall',['../classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89',1,'SVF::CallSite']]],
+  ['isvirtualcallsite_9558',['isVirtualCallSite',['../namespaceSVF_1_1LLVMUtil.html#ab1b4c565ae6be788b934defc21a5cfaf',1,'SVF::LLVMUtil']]],
+  ['isvirtualmemaddress_9559',['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_9560',['isVisited',['../classSVF_1_1CSC.html#a2913a7a83deae0b91f1f42dc45c4f3b2',1,'SVF::CSC']]],
+  ['isvisitedctps_9561',['isVisitedCTPs',['../classSVF_1_1LockAnalysis.html#ad459afc7dd1e6620739eeee2bc4c570e',1,'SVF::LockAnalysis::isVisitedCTPs()'],['../classSVF_1_1TCT.html#a68d2b1107f9cc2edcc01265298b7307c',1,'SVF::TCT::isVisitedCTPs()']]],
+  ['isworklistempty_9562',['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_9563',['isxdigit',['../extapi_8c.html#adaf3aadefe3fc4fb07b6be0d7b880f53',1,'extapi.c']]],
+  ['iszero_9564',['isZero',['../classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c',1,'SVF::BoundedZ3Expr']]],
+  ['iszerooffsettedgepcgedge_9565',['isZeroOffsettedGepCGEdge',['../classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6',1,'SVF::ConstraintGraph']]],
+  ['iter_5fadaptor_5fbase_9566',['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_9567',['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)']]]
 ];