svf-tools 1.0.749 → 1.0.751

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

@@ -1,16 +1,16 @@
 var searchData=
 [
-  ['tctnodeiter_12505',['TCTNodeIter',['../classSVF_1_1TCT.html#a6f4ab4fb901620c733d90b380c9db670',1,'SVF::TCT']]],
-  ['tdapimap_12506',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()']]],
-  ['threadcallgraphscc_12507',['ThreadCallGraphSCC',['../classSVF_1_1TCT.html#a71942c7386d094426ae86633a9b1f755',1,'SVF::TCT']]],
-  ['threadcreateedgeset_12508',['ThreadCreateEdgeSet',['../classSVF_1_1TCTEdge.html#aecd13905b54ae91d938b610be828deb5',1,'SVF::TCTEdge::ThreadCreateEdgeSet()'],['../classSVF_1_1TCT.html#a7c53c7ff773a253976374392d4930d6e',1,'SVF::TCT::ThreadCreateEdgeSet()']]],
-  ['threadid_12509',['ThreadID',['../namespaceSVF.html#a10cddb090690c82a2aab31a480253d35',1,'SVF']]],
-  ['threadpairset_12510',['ThreadPairSet',['../classSVF_1_1ForkJoinAnalysis.html#a7fb8df483e619337e77088e8543a9846',1,'SVF::ForkJoinAnalysis']]],
-  ['threadstmttothreadinterleav_12511',['ThreadStmtToThreadInterleav',['../classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025',1,'SVF::MHP']]],
-  ['timestatmap_12512',['TIMEStatMap',['../classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98',1,'SVF::SVFStat']]],
-  ['type_12513',['type',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
-  ['type2typeinfomap_12514',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
-  ['typelocsetsmap_12515',['TypeLocSetsMap',['../classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150',1,'SVF::SVFIR']]],
-  ['typemap_12516',['TypeMap',['../classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f',1,'SVF::POCRSolver']]],
-  ['typestate_12517',['TypeState',['../classSVF_1_1SymState.html#af41520fdb48700f86231047d1db5d482',1,'SVF::SymState']]]
+  ['tctnodeiter_12501',['TCTNodeIter',['../classSVF_1_1TCT.html#a6f4ab4fb901620c733d90b380c9db670',1,'SVF::TCT']]],
+  ['tdapimap_12502',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()']]],
+  ['threadcallgraphscc_12503',['ThreadCallGraphSCC',['../classSVF_1_1TCT.html#a71942c7386d094426ae86633a9b1f755',1,'SVF::TCT']]],
+  ['threadcreateedgeset_12504',['ThreadCreateEdgeSet',['../classSVF_1_1TCTEdge.html#aecd13905b54ae91d938b610be828deb5',1,'SVF::TCTEdge::ThreadCreateEdgeSet()'],['../classSVF_1_1TCT.html#a7c53c7ff773a253976374392d4930d6e',1,'SVF::TCT::ThreadCreateEdgeSet()']]],
+  ['threadid_12505',['ThreadID',['../namespaceSVF.html#a10cddb090690c82a2aab31a480253d35',1,'SVF']]],
+  ['threadpairset_12506',['ThreadPairSet',['../classSVF_1_1ForkJoinAnalysis.html#a7fb8df483e619337e77088e8543a9846',1,'SVF::ForkJoinAnalysis']]],
+  ['threadstmttothreadinterleav_12507',['ThreadStmtToThreadInterleav',['../classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025',1,'SVF::MHP']]],
+  ['timestatmap_12508',['TIMEStatMap',['../classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98',1,'SVF::SVFStat']]],
+  ['type_12509',['type',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
+  ['type2typeinfomap_12510',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
+  ['typelocsetsmap_12511',['TypeLocSetsMap',['../classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150',1,'SVF::SVFIR']]],
+  ['typemap_12512',['TypeMap',['../classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f',1,'SVF::POCRSolver']]],
+  ['typestate_12513',['TypeState',['../classSVF_1_1SymState.html#af41520fdb48700f86231047d1db5d482',1,'SVF::SymState']]]
 ];

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

@@ -1,14 +1,14 @@
 var searchData=
 [
-  ['u32_5ft_12518',['u32_t',['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF::u32_t()'],['../CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da',1,'u32_t(): CommandLine.h']]],
-  ['u64_5ft_12519',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
-  ['unaryoperator_12520',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
-  ['undefvalue_12521',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
-  ['unifyfunctionexitnodes_12522',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
-  ['unreachableinst_12523',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
-  ['updatedvarconstiter_12524',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
-  ['updatedvarmap_12525',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
-  ['updatedvarmapiter_12526',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
-  ['use_12527',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
-  ['user_12528',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]]
+  ['u32_5ft_12514',['u32_t',['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF::u32_t()'],['../CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da',1,'u32_t(): CommandLine.h']]],
+  ['u64_5ft_12515',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
+  ['unaryoperator_12516',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
+  ['undefvalue_12517',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
+  ['unifyfunctionexitnodes_12518',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
+  ['unreachableinst_12519',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
+  ['updatedvarconstiter_12520',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
+  ['updatedvarmap_12521',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
+  ['updatedvarmapiter_12522',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
+  ['use_12523',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
+  ['user_12524',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]]
 ];

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

@@ -1,38 +1,38 @@
 var searchData=
 [
-  ['vaarginst_12529',['VAArgInst',['../namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4',1,'SVF']]],
-  ['vacopyinst_12530',['VACopyInst',['../namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295',1,'SVF']]],
-  ['vaddrs_12531',['VAddrs',['../classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1',1,'SVF::ExeState::VAddrs()'],['../classSVF_1_1SVFIR2ConsExeState.html#ac0f37bed8d0e8f5cd65b532c1ad727b6',1,'SVF::SVFIR2ConsExeState::VAddrs()'],['../classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8',1,'SVF::SVFIR2ItvExeState::VAddrs()']]],
-  ['vaendinst_12532',['VAEndInst',['../namespaceSVF.html#adb305e32f35af19b870b07711ba5b913',1,'SVF']]],
-  ['value_12533',['Value',['../namespaceSVF.html#a90b263fd2f541eca78135078114cabda',1,'SVF']]],
-  ['value_5ftype_12534',['value_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751',1,'SVF::PointsTo::PointsToIterator::value_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1',1,'SVF::CoreBitVector::CoreBitVectorIterator::value_type()'],['../classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c',1,'SVF::iter_facade_base::value_type()']]],
-  ['valuetoedgemap_12535',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc',1,'SVF::IRGraph']]],
-  ['valuetoidmapty_12536',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af',1,'SVF::SymbolTableInfo']]],
-  ['var2labelmap_12537',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt']]],
-  ['varandgeptypepair_12538',['VarAndGepTypePair',['../classSVF_1_1AccessPath.html#acefbd7faec2833144b07c5bb96eb6f84',1,'SVF::AccessPath']]],
-  ['variableattribute_12539',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase']]],
-  ['vartopropnodemap_12540',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
-  ['vartovaddrs_12541',['VarToVAddrs',['../classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231',1,'SVF::ExeState']]],
-  ['vartovalmap_12542',['VarToValMap',['../classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc',1,'SVF::ConsExeState::VarToValMap()'],['../classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff',1,'SVF::IntervalExeState::VarToValMap()'],['../classSVF_1_1RelExeState.html#afcdf0c842f48a35cf19b2f7887174e98',1,'SVF::RelExeState::VarToValMap()']]],
-  ['vastartinst_12543',['VAStartInst',['../namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc',1,'SVF']]],
-  ['vectortype_12544',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],
-  ['version_12545',['Version',['../namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c',1,'SVF']]],
-  ['versionedkeytoidmap_12546',['VersionedKeyToIDMap',['../classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248',1,'SVF::PersistentVersionedPTData']]],
-  ['versionedptdataty_12547',['VersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a8bc5e039958280b18e5a00a56e0bdc94',1,'SVF::BVDataPTAImpl']]],
-  ['versionedvar_12548',['VersionedVar',['../namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf',1,'SVF']]],
-  ['versionedvarset_12549',['VersionedVarSet',['../namespaceSVF.html#a544021f3075a89ff634b215a0efe3385',1,'SVF']]],
-  ['versionreliancemap_12550',['VersionRelianceMap',['../classSVF_1_1VersionedFlowSensitive.html#ad8108ee0b034877dea5e927d29ca0534',1,'SVF::VersionedFlowSensitive']]],
-  ['versionset_12551',['VersionSet',['../namespaceSVF.html#a046466b2ed3618072fee227b569da6eb',1,'SVF']]],
-  ['vfgedgesetty_12552',['VFGEdgeSetTy',['../classSVF_1_1VFG.html#a0bdac7337a393ad2e21a33ec1978ca3f',1,'SVF::VFG::VFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a54e8b1d339da481222292e3b62d1e765',1,'SVF::VFGEdge::VFGEdgeSetTy()']]],
-  ['vfgnodeidtonodemapty_12553',['VFGNodeIDToNodeMapTy',['../classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8',1,'SVF::VFG']]],
-  ['vfgnodeiter_12554',['VFGNodeIter',['../classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea',1,'SVF::VFG']]],
-  ['vfgnodelist_12555',['VFGNodeList',['../classSVF_1_1ICFGNode.html#a53a4a33b8ea241f46b37111905a48169',1,'SVF::ICFGNode']]],
-  ['vfgnodeset_12556',['VFGNodeSet',['../classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db',1,'SVF::VFG']]],
-  ['vfunset_12557',['VFunSet',['../classSVF_1_1PointerAnalysis.html#aa7f15c74eb438be78fcc028534477478',1,'SVF::PointerAnalysis::VFunSet()'],['../namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7',1,'SVF::VFunSet()']]],
-  ['vfworklist_12558',['VFWorkList',['../classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c',1,'SVF::ProgSlice']]],
-  ['void_5ft_12559',['void_t',['../namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06',1,'SVF::SVFUtil']]],
-  ['vtableptrtocallsitemap_12560',['VTablePtrToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671',1,'SVF::FunptrDDAClient::VTablePtrToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2',1,'SVF::AliasDDAClient::VTablePtrToCallSiteMap()']]],
-  ['vtableset_12561',['VTableSet',['../classSVF_1_1PointerAnalysis.html#a57fabf1408ada10028282deef0b23ec6',1,'SVF::PointerAnalysis::VTableSet()'],['../namespaceSVF.html#a340a9e77adc2bbfdee79e22da9ead234',1,'SVF::VTableSet()']]],
-  ['vthdtocxtmap_12562',['vthdToCxtMap',['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()'],['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()']]],
-  ['vthdtorthdmap_12563',['vthdTorthdMap',['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()'],['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()']]]
+  ['vaarginst_12525',['VAArgInst',['../namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4',1,'SVF']]],
+  ['vacopyinst_12526',['VACopyInst',['../namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295',1,'SVF']]],
+  ['vaddrs_12527',['VAddrs',['../classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1',1,'SVF::ExeState::VAddrs()'],['../classSVF_1_1SVFIR2ConsExeState.html#ac0f37bed8d0e8f5cd65b532c1ad727b6',1,'SVF::SVFIR2ConsExeState::VAddrs()'],['../classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8',1,'SVF::SVFIR2ItvExeState::VAddrs()']]],
+  ['vaendinst_12528',['VAEndInst',['../namespaceSVF.html#adb305e32f35af19b870b07711ba5b913',1,'SVF']]],
+  ['value_12529',['Value',['../namespaceSVF.html#a90b263fd2f541eca78135078114cabda',1,'SVF']]],
+  ['value_5ftype_12530',['value_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751',1,'SVF::PointsTo::PointsToIterator::value_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1',1,'SVF::CoreBitVector::CoreBitVectorIterator::value_type()'],['../classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c',1,'SVF::iter_facade_base::value_type()']]],
+  ['valuetoedgemap_12531',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc',1,'SVF::IRGraph']]],
+  ['valuetoidmapty_12532',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af',1,'SVF::SymbolTableInfo']]],
+  ['var2labelmap_12533',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt']]],
+  ['varandgeptypepair_12534',['VarAndGepTypePair',['../classSVF_1_1AccessPath.html#acefbd7faec2833144b07c5bb96eb6f84',1,'SVF::AccessPath']]],
+  ['variableattribute_12535',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase']]],
+  ['vartopropnodemap_12536',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
+  ['vartovaddrs_12537',['VarToVAddrs',['../classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231',1,'SVF::ExeState']]],
+  ['vartovalmap_12538',['VarToValMap',['../classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc',1,'SVF::ConsExeState::VarToValMap()'],['../classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff',1,'SVF::IntervalExeState::VarToValMap()'],['../classSVF_1_1RelExeState.html#afcdf0c842f48a35cf19b2f7887174e98',1,'SVF::RelExeState::VarToValMap()']]],
+  ['vastartinst_12539',['VAStartInst',['../namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc',1,'SVF']]],
+  ['vectortype_12540',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],
+  ['version_12541',['Version',['../namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c',1,'SVF']]],
+  ['versionedkeytoidmap_12542',['VersionedKeyToIDMap',['../classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248',1,'SVF::PersistentVersionedPTData']]],
+  ['versionedptdataty_12543',['VersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a8bc5e039958280b18e5a00a56e0bdc94',1,'SVF::BVDataPTAImpl']]],
+  ['versionedvar_12544',['VersionedVar',['../namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf',1,'SVF']]],
+  ['versionedvarset_12545',['VersionedVarSet',['../namespaceSVF.html#a544021f3075a89ff634b215a0efe3385',1,'SVF']]],
+  ['versionreliancemap_12546',['VersionRelianceMap',['../classSVF_1_1VersionedFlowSensitive.html#ad8108ee0b034877dea5e927d29ca0534',1,'SVF::VersionedFlowSensitive']]],
+  ['versionset_12547',['VersionSet',['../namespaceSVF.html#a046466b2ed3618072fee227b569da6eb',1,'SVF']]],
+  ['vfgedgesetty_12548',['VFGEdgeSetTy',['../classSVF_1_1VFG.html#a0bdac7337a393ad2e21a33ec1978ca3f',1,'SVF::VFG::VFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a54e8b1d339da481222292e3b62d1e765',1,'SVF::VFGEdge::VFGEdgeSetTy()']]],
+  ['vfgnodeidtonodemapty_12549',['VFGNodeIDToNodeMapTy',['../classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8',1,'SVF::VFG']]],
+  ['vfgnodeiter_12550',['VFGNodeIter',['../classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea',1,'SVF::VFG']]],
+  ['vfgnodelist_12551',['VFGNodeList',['../classSVF_1_1ICFGNode.html#a53a4a33b8ea241f46b37111905a48169',1,'SVF::ICFGNode']]],
+  ['vfgnodeset_12552',['VFGNodeSet',['../classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db',1,'SVF::VFG']]],
+  ['vfunset_12553',['VFunSet',['../classSVF_1_1PointerAnalysis.html#aa7f15c74eb438be78fcc028534477478',1,'SVF::PointerAnalysis::VFunSet()'],['../namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7',1,'SVF::VFunSet()']]],
+  ['vfworklist_12554',['VFWorkList',['../classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c',1,'SVF::ProgSlice']]],
+  ['void_5ft_12555',['void_t',['../namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06',1,'SVF::SVFUtil']]],
+  ['vtableptrtocallsitemap_12556',['VTablePtrToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671',1,'SVF::FunptrDDAClient::VTablePtrToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2',1,'SVF::AliasDDAClient::VTablePtrToCallSiteMap()']]],
+  ['vtableset_12557',['VTableSet',['../classSVF_1_1PointerAnalysis.html#a57fabf1408ada10028282deef0b23ec6',1,'SVF::PointerAnalysis::VTableSet()'],['../namespaceSVF.html#a340a9e77adc2bbfdee79e22da9ead234',1,'SVF::VTableSet()']]],
+  ['vthdtocxtmap_12558',['vthdToCxtMap',['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()'],['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()']]],
+  ['vthdtorthdmap_12559',['vthdTorthdMap',['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()'],['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()']]]
 ];

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

@@ -1,11 +1,11 @@
 var searchData=
 [
-  ['word_12564',['Word',['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector']]],
-  ['worklist_12565',['WorkList',['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da',1,'SVF::SrcSnkSolver::WorkList()'],['../classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054',1,'SVF::GraphReachSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
-  ['workstack_12566',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
-  ['wpaconstraintsolver_12567',['WPAConstraintSolver',['../namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4',1,'SVF']]],
-  ['wpasvfgfssolver_12568',['WPASVFGFSSolver',['../namespaceSVF.html#a221270d70aa99a37738c0f919519a73d',1,'SVF']]],
-  ['wtocomponentreflist_12569',['WtoComponentRefList',['../classSVF_1_1CFBasicBlockGWTOCycle.html#a68cc18d5e3e4be58467f4aa0806dcd59',1,'SVF::CFBasicBlockGWTOCycle']]],
-  ['wtocompreflist_12570',['WTOCompRefList',['../classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38',1,'SVF::CFBasicBlockGWTO']]],
-  ['wtocomprefset_12571',['WTOCompRefSet',['../classSVF_1_1CFBasicBlockGWTO.html#a2a453341c33faac3e74bb54d8da6db18',1,'SVF::CFBasicBlockGWTO']]]
+  ['word_12560',['Word',['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector']]],
+  ['worklist_12561',['WorkList',['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da',1,'SVF::SrcSnkSolver::WorkList()'],['../classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054',1,'SVF::GraphReachSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
+  ['workstack_12562',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
+  ['wpaconstraintsolver_12563',['WPAConstraintSolver',['../namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4',1,'SVF']]],
+  ['wpasvfgfssolver_12564',['WPASVFGFSSolver',['../namespaceSVF.html#a221270d70aa99a37738c0f919519a73d',1,'SVF']]],
+  ['wtocomponentreflist_12565',['WtoComponentRefList',['../classSVF_1_1CFBasicBlockGWTOCycle.html#a68cc18d5e3e4be58467f4aa0806dcd59',1,'SVF::CFBasicBlockGWTOCycle']]],
+  ['wtocompreflist_12566',['WTOCompRefList',['../classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38',1,'SVF::CFBasicBlockGWTO']]],
+  ['wtocomprefset_12567',['WTOCompRefSet',['../classSVF_1_1CFBasicBlockGWTO.html#a2a453341c33faac3e74bb54d8da6db18',1,'SVF::CFBasicBlockGWTO']]]
 ];

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

@@ -1,129 +1,129 @@
 var searchData=
 [
-  ['callbase_11945',['CallBase',['../namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73',1,'SVF']]],
-  ['callbrinst_11946',['CallBrInst',['../namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5',1,'SVF']]],
-  ['callchi_11947',['CALLCHI',['../classSVF_1_1SVFG.html#a5f3e0fbf83621cc661d2c59800756727',1,'SVF::SVFG::CALLCHI()'],['../classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9',1,'SVF::MemSSA::CALLCHI()']]],
-  ['calledgemap_11948',['CallEdgeMap',['../classSVF_1_1FlowDDA.html#a5a5548577e4a3e225185c4001386fc84',1,'SVF::FlowDDA::CallEdgeMap()'],['../classSVF_1_1PTACallGraph.html#a4948c9e7ff7f1c86d0f27c49e7208aa3',1,'SVF::PTACallGraph::CallEdgeMap()'],['../classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062',1,'SVF::PointerAnalysis::CallEdgeMap()'],['../classSVF_1_1SVFGBuilder.html#ae12f803f5ccdb47232043c8c5ae129bf',1,'SVF::SVFGBuilder::CallEdgeMap()'],['../classSVF_1_1MTASVFGBuilder.html#a5bbc071046b2a81bd23ba084d30230e5',1,'SVF::MTASVFGBuilder::CallEdgeMap()']]],
-  ['callgraphedgeconstiter_11949',['CallGraphEdgeConstIter',['../classSVF_1_1PTACallGraph.html#a9b7f6979a95244c620fdb791e053237b',1,'SVF::PTACallGraph']]],
-  ['callgraphedgeiter_11950',['CallGraphEdgeIter',['../classSVF_1_1PTACallGraph.html#a2f28a1ce0c7d6a0bc2fc2627e90acf1c',1,'SVF::PTACallGraph']]],
-  ['callgraphedgeset_11951',['CallGraphEdgeSet',['../classSVF_1_1PTACallGraphEdge.html#aa96d6bc3ffd3a5537b871a4c87c65888',1,'SVF::PTACallGraphEdge::CallGraphEdgeSet()'],['../classSVF_1_1PTACallGraphNode.html#a9cc3b4b46aaf45fd6d08a4995957646c',1,'SVF::PTACallGraphNode::CallGraphEdgeSet()'],['../classSVF_1_1PTACallGraph.html#a1ad288117daa4031e195eb35d805cac6',1,'SVF::PTACallGraph::CallGraphEdgeSet()']]],
-  ['callgraphscc_11952',['CallGraphSCC',['../classSVF_1_1DDAVFSolver.html#af6e05e87ba8d6b6ae65807803b1b0221',1,'SVF::DDAVFSolver::CallGraphSCC()'],['../classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69',1,'SVF::PointerAnalysis::CallGraphSCC()']]],
-  ['callinst_11953',['CallInst',['../namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63',1,'SVF']]],
-  ['callinstset_11954',['CallInstSet',['../classSVF_1_1DDAVFSolver.html#ac227096ad71dfda8bc48c139fccb3af2',1,'SVF::DDAVFSolver::CallInstSet()'],['../classSVF_1_1PTACallGraphEdge.html#adbedb15ac0f9395c5264f087a63bad3b',1,'SVF::PTACallGraphEdge::CallInstSet()'],['../classSVF_1_1PCG.html#ad33f2f6a08fe6ccad9b6f92c8d211565',1,'SVF::PCG::CallInstSet()']]],
-  ['callinsttocallgraphedgesmap_11955',['CallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a09245c929079024095cfe0d6570b70e8',1,'SVF::PTACallGraph']]],
-  ['callinsttoforkedgesmap_11956',['CallInstToForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aec88ec07a721b120290a7dde94ae1b51',1,'SVF::ThreadCallGraph']]],
-  ['callinsttojoinedgesmap_11957',['CallInstToJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#ab446ddd20cf46eeb76fcd5789faef521',1,'SVF::ThreadCallGraph']]],
-  ['callinsttoparforedgesmap_11958',['CallInstToParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aba9d3e04e923cc787ab46a1f7eebb554',1,'SVF::ThreadCallGraph']]],
-  ['callmu_11959',['CALLMU',['../classSVF_1_1SVFG.html#acd9fd6597e5dedf3c14a430830c7dd08',1,'SVF::SVFG::CALLMU()'],['../classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25',1,'SVF::MemSSA::CALLMU()']]],
-  ['callpeset_11960',['CallPESet',['../classSVF_1_1ICFGNode.html#ab1a4b4a8dc600ca375d9f5adbd2a5b59',1,'SVF::ICFGNode::CallPESet()'],['../classSVF_1_1VFG.html#ade3f735b3c7b1a53cab3d67cd9f7b874',1,'SVF::VFG::CallPESet()'],['../classSVF_1_1VFGNode.html#a43b6b3dc747d310f793ca1b3bfa9d05f',1,'SVF::VFGNode::CallPESet()']]],
-  ['callsite2dummyvalpn_11961',['CallSite2DummyValPN',['../classSVF_1_1CFLAlias.html#af8424cab679dae62320c6dec6253036a',1,'SVF::CFLAlias::CallSite2DummyValPN()'],['../classSVF_1_1Andersen.html#a0f65f1881111167bffe1cb2ad05c0a51',1,'SVF::Andersen::CallSite2DummyValPN()'],['../classSVF_1_1Steensgaard.html#a248c51fefff8d65d0ae267a0ce114833',1,'SVF::Steensgaard::CallSite2DummyValPN()']]],
-  ['callsiteid_11962',['CallSiteID',['../namespaceSVF.html#a03d88a0302bcd253387690f13f693f64',1,'SVF']]],
-  ['callsitepair_11963',['CallSitePair',['../classSVF_1_1PTACallGraph.html#a178d9971028e8ce26ab8894c5c6b5784',1,'SVF::PTACallGraph']]],
-  ['callsiteset_11964',['CallSiteSet',['../classSVF_1_1DDAVFSolver.html#a0c590e9d56b6d37cb6e0c9081363a0ef',1,'SVF::DDAVFSolver::CallSiteSet()'],['../classSVF_1_1FlowDDA.html#a5f51c3ba53410fa31225b8ff6fb5e4b4',1,'SVF::FlowDDA::CallSiteSet()'],['../classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155',1,'SVF::ThreadCallGraph::CallSiteSet()'],['../classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0',1,'SVF::PointerAnalysis::CallSiteSet()'],['../classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07',1,'SVF::SVFGBuilder::CallSiteSet()'],['../classSVF_1_1MTASVFGBuilder.html#a6a56d37d832ebe1d98ea32120b58bc1e',1,'SVF::MTASVFGBuilder::CallSiteSet()'],['../classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165',1,'SVF::SrcSnkDDA::CallSiteSet()'],['../classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e',1,'SVF::SVFIR::CallSiteSet()']]],
-  ['callsitetoactualinsmapty_11965',['CallSiteToActualINsMapTy',['../classSVF_1_1SVFG.html#a727af89a305e48f399ad33cc7149dbcb',1,'SVF::SVFG']]],
-  ['callsitetoactualoutsmapty_11966',['CallSiteToActualOUTsMapTy',['../classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec',1,'SVF::SVFG']]],
-  ['callsitetochisetmap_11967',['CallSiteToCHISetMap',['../classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab',1,'SVF::MemSSA']]],
-  ['callsitetochnodesmap_11968',['CallSiteToCHNodesMap',['../classSVF_1_1CHGraph.html#a3740a239432a5c7237109aa72aa28eff',1,'SVF::CHGraph']]],
-  ['callsitetofunptrmap_11969',['CallSiteToFunPtrMap',['../classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585',1,'SVF::PointerAnalysis::CallSiteToFunPtrMap()'],['../classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d',1,'SVF::SVFIR::CallSiteToFunPtrMap()']]],
-  ['callsitetoidmap_11970',['CallSiteToIdMap',['../classSVF_1_1PTACallGraph.html#ae4e3e5f108bc1e47af8f58d2e43345d2',1,'SVF::PTACallGraph']]],
-  ['callsitetomrsmap_11971',['CallSiteToMRsMap',['../classSVF_1_1MRGenerator.html#af9872d1175874a920e6df10268518233',1,'SVF::MRGenerator']]],
-  ['callsitetomusetmap_11972',['CallSiteToMUSetMap',['../classSVF_1_1MemSSA.html#a5d4ba728fb55e615cacfc5278e6bc4b7',1,'SVF::MemSSA']]],
-  ['callsitetonodebsmap_11973',['CallSiteToNodeBSMap',['../classSVF_1_1MRGenerator.html#a934a90164cc1364ea6aba5b4ae3cf2a9',1,'SVF::MRGenerator']]],
-  ['callsitetopointstomap_11974',['CallSiteToPointsToMap',['../classSVF_1_1MRGenerator.html#a255e42c2b2062bbc799517c77ec25336',1,'SVF::MRGenerator']]],
-  ['callsitetovfunsetmap_11975',['CallSiteToVFunSetMap',['../classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74',1,'SVF::CHGraph']]],
-  ['callsitetovtablesetmap_11976',['CallSiteToVTableSetMap',['../classSVF_1_1CHGraph.html#aefdf6c5fe8a26efce200e8225d463cac',1,'SVF::CHGraph']]],
-  ['callstrcxt_11977',['CallStrCxt',['../namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1',1,'SVF']]],
-  ['calltoinstmap_11978',['CallToInstMap',['../classSVF_1_1ThreadCallGraph.html#add85c5647bd0423770fb0fb35426e0cb',1,'SVF::ThreadCallGraph']]],
-  ['castinst_11979',['CastInst',['../namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827',1,'SVF']]],
-  ['cdata_5fiterator_11980',['cdata_iterator',['../classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7',1,'SVF::SVFModule']]],
-  ['cfbasicblockgwtocycledepth_11981',['CFBasicBlockGWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#acc7a69f2e4d44bda34a84ed68667b803',1,'SVF::CFBasicBlockGWTO']]],
-  ['cfbasicblockgwtocycledepthptr_11982',['CFBasicBlockGWTOCycleDepthPtr',['../classSVF_1_1CFBasicBlockGWTO.html#a1cb3ad13956ab175c4c16bd9c856de47',1,'SVF::CFBasicBlockGWTO']]],
-  ['cfbasicblocknodes_11983',['CFBasicBlockNodes',['../classSVF_1_1CFBasicBlockGWTO.html#ae4fd19b6216a43afdac4edae42f22a26',1,'SVF::CFBasicBlockGWTO']]],
-  ['cfledgedataty_11984',['CFLEdgeDataTy',['../classSVF_1_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852',1,'SVF::CFLNode']]],
-  ['cfledgeset_11985',['CFLEdgeSet',['../classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14',1,'SVF::CFLGraph']]],
-  ['cfledgesetty_11986',['CFLEdgeSetTy',['../classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0',1,'SVF::CFLEdge']]],
-  ['cflsrcsnksolver_11987',['CFLSrcSnkSolver',['../namespaceSVF.html#a6bdd04381cb268e6c957a5cc528ebf67',1,'SVF']]],
-  ['cfworklist_11988',['CFWorkList',['../classSVF_1_1ProgSlice.html#a7076e2b7e187a295824189f30ca894e5',1,'SVF::ProgSlice::CFWorkList()'],['../classSVF_1_1SaberCondAllocator.html#aba5226558dcb5c52b12b02ad37b03f34',1,'SVF::SaberCondAllocator::CFWorkList()']]],
-  ['cgscc_11989',['CGSCC',['../classSVF_1_1Andersen.html#a77e7378a3a35622bde2371d7d3ed7013',1,'SVF::Andersen::CGSCC()'],['../namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01',1,'SVF::CGSCC()']]],
-  ['chedgesetty_11990',['CHEdgeSetTy',['../classSVF_1_1CHEdge.html#a3d7de66f220b2e8d36ada5c6369cb797',1,'SVF::CHEdge']]],
-  ['chgraphreader_11991',['CHGraphReader',['../namespaceSVF.html#a9d55225c5bd3bde33638109ba4a8f35d',1,'SVF']]],
-  ['chgraphwriter_11992',['CHGraphWriter',['../namespaceSVF.html#ac09ab90ff076cfac28ff5c4c398a1533',1,'SVF']]],
-  ['chi_11993',['CHI',['../classSVF_1_1SVFG.html#a60df52c14b303562ff5d73c7836e3495',1,'SVF::SVFG::CHI()'],['../classSVF_1_1MemSSA.html#a503f2fda873c330ef2cc5561f396ea6e',1,'SVF::MemSSA::CHI()']]],
-  ['child_5fiterator_11994',['child_iterator',['../classSVF_1_1GraphWriter.html#ad41e952ca114bba64b87478f469b6d56',1,'SVF::GraphWriter::child_iterator()'],['../classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e',1,'SVF::SrcSnkSolver::child_iterator()'],['../classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04',1,'SVF::GraphReachSolver::child_iterator()'],['../classSVF_1_1SCCDetection.html#ac1274a90ddbea6f1f0b539710505d902',1,'SVF::SCCDetection::child_iterator()'],['../classSVF_1_1WPASCCSolver.html#abec9201d60f0bf2724dbe9ad8a0dfc39',1,'SVF::WPASCCSolver::child_iterator()'],['../classSVF_1_1WPAMinimumSolver.html#ab16212294f1dab31215fe113b02f09c6',1,'SVF::WPAMinimumSolver::child_iterator()'],['../classSVF_1_1WPASolver.html#a4d5b605b8932824a7088399305952f12',1,'SVF::WPASolver::child_iterator()']]],
-  ['childiteratortype_11995',['ChildIteratorType',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ab4886d654f7f3678490d09c15b42f79e',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::ChildIteratorType()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a2580185292f7249eb074356cd937cccc',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a72a273d644d002b59a546b047d4bb0dd',1,'SVF::DOTGraphTraits< IRGraph * >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a95fc3b739ccea8d236e5b795b8770787',1,'SVF::DOTGraphTraits< PTACallGraph * >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a4036db1b2c075bd1f2b7249b8e268937',1,'SVF::DOTGraphTraits< TCT * >::ChildIteratorType()']]],
-  ['chiset_11996',['CHISet',['../classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07',1,'SVF::SVFG::CHISet()'],['../classSVF_1_1MemSSA.html#af9cf084e3070456d8cca491e1391b0c4',1,'SVF::MemSSA::CHISet()']]],
-  ['chitype_11997',['CHITYPE',['../classSVF_1_1MSSACHI.html#a21d9218e105987a1f807633ea824e5d3',1,'SVF::MSSACHI']]],
-  ['chnodesetty_11998',['CHNodeSetTy',['../classSVF_1_1CHGBuilder.html#adbff217477a779de9024d9a5777413a7',1,'SVF::CHGBuilder::CHNodeSetTy()'],['../classSVF_1_1CHGraph.html#ad0f60c720b277c60ed8a8966189bb42b',1,'SVF::CHGraph::CHNodeSetTy()']]],
-  ['cilocktospan_11999',['CILockToSpan',['../classSVF_1_1LockAnalysis.html#a88e93e7b9a8e19a7a386ba6b9c83dccb',1,'SVF::LockAnalysis']]],
-  ['cispan_12000',['CISpan',['../classSVF_1_1LockAnalysis.html#ae675d0ebf4eac597487ce83e667a8229',1,'SVF::LockAnalysis']]],
-  ['cjson_12001',['cJSON',['../cJSON_8h.html#a4c146234dfd7b6adbf13b49505e995bc',1,'cJSON.h']]],
-  ['cjson_5fbool_12002',['cJSON_bool',['../cJSON_8h.html#aea0a1491f73d98b7cc4b8b791c408a4a',1,'cJSON.h']]],
-  ['cjson_5fhooks_12003',['cJSON_Hooks',['../cJSON_8h.html#ab67bc592e52110fee68ab8ab4140530d',1,'cJSON.h']]],
-  ['cmpinst_12004',['CmpInst',['../namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4',1,'SVF']]],
-  ['condition_12005',['Condition',['../classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5',1,'SVF::MemRegion::Condition()'],['../classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a',1,'SVF::MemSSA::Condition()'],['../classSVF_1_1ProgSlice.html#aadf1128c0006981dff0d64dd1201e0c7',1,'SVF::ProgSlice::Condition()'],['../classSVF_1_1SaberCondAllocator.html#ab4eba98cf7306c89e40975c766d5bf65',1,'SVF::SaberCondAllocator::Condition()']]],
-  ['condposmap_12006',['CondPosMap',['../classSVF_1_1SaberCondAllocator.html#aa330cc6a1a3c38601ebeb325ffd87221',1,'SVF::SaberCondAllocator']]],
-  ['condpts_12007',['CondPts',['../classSVF_1_1CondPointsToSet.html#aaddc3f78a624de59dda6f078ba63ba52',1,'SVF::CondPointsToSet']]],
-  ['condptsconstiter_12008',['CondPtsConstIter',['../classSVF_1_1CondPointsToSet.html#aa9d3a8c42b6df3fa9c2e7bcd7af75e16',1,'SVF::CondPointsToSet']]],
-  ['condptsiter_12009',['CondPtsIter',['../classSVF_1_1CondPointsToSet.html#ad9e4dea4b65d5f4a903a3cf89a421077',1,'SVF::CondPointsToSet']]],
-  ['const_5falias_5fiterator_12010',['const_alias_iterator',['../classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f',1,'SVF::SVFModule']]],
-  ['const_5fcdata_5fiterator_12011',['const_cdata_iterator',['../classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc',1,'SVF::SVFModule']]],
-  ['const_5fglobal_5fiterator_12012',['const_global_iterator',['../classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57',1,'SVF::SVFModule']]],
-  ['const_5finst_5fiterator_12013',['const_inst_iterator',['../namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91',1,'SVF']]],
-  ['const_5fiterator_12014',['const_iterator',['../classSVF_1_1POCRSolver.html#a08d86d5ab5fa57da6217480611f057a2',1,'SVF::POCRSolver::const_iterator()'],['../classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b',1,'SVF::ConstraintNode::const_iterator()'],['../classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429',1,'SVF::GenericNode::const_iterator()'],['../classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97',1,'SVF::GenericGraph::const_iterator()'],['../classSVF_1_1ICFG.html#a94e4de04d8da10a19ab65c22e257b82b',1,'SVF::ICFG::const_iterator()'],['../classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2',1,'SVF::ICFGNode::const_iterator()'],['../classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec',1,'SVF::PTACallGraphNode::const_iterator()'],['../classSVF_1_1VFG.html#a225a91c04afac6a8fe198e9860890a52',1,'SVF::VFG::const_iterator()'],['../classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8',1,'SVF::VFGNode::const_iterator()'],['../classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650',1,'SVF::CondStdSet::const_iterator()'],['../classSVF_1_1PointsTo.html#ad37fe6c7bb8b509a837348a12cab80c1',1,'SVF::PointsTo::const_iterator()'],['../classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1',1,'SVF::SVFModule::const_iterator()'],['../classSVF_1_1SVFFunction.html#aaec097379a345ab0e80b6a9c50508f48',1,'SVF::SVFFunction::const_iterator()'],['../classSVF_1_1SVFBasicBlock.html#a73b7029f85e3762033f49c953d4b95ca',1,'SVF::SVFBasicBlock::const_iterator()'],['../classSVF_1_1CoreBitVector.html#a45a3bf8465e63f723c0a551f0b0f37ff',1,'SVF::CoreBitVector::const_iterator()'],['../classSVF_1_1ContextCond.html#a101bc917679a9d8ee7badb3c9e8c12e3',1,'SVF::ContextCond::const_iterator()']]],
-  ['const_5fovalue_5fiterator_12015',['const_ovalue_iterator',['../classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912',1,'SVF::SVFModule']]],
-  ['const_5fpred_5fiterator_12016',['const_pred_iterator',['../namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e',1,'SVF']]],
-  ['constant_12017',['Constant',['../namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9',1,'SVF']]],
-  ['constantaggregate_12018',['ConstantAggregate',['../namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597',1,'SVF']]],
-  ['constantaggregatezero_12019',['ConstantAggregateZero',['../namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07',1,'SVF']]],
-  ['constantarray_12020',['ConstantArray',['../namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e',1,'SVF']]],
-  ['constantdata_12021',['ConstantData',['../namespaceSVF.html#a7332f8059ea95472dcc231de884a5768',1,'SVF']]],
-  ['constantdataarray_12022',['ConstantDataArray',['../namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462',1,'SVF']]],
-  ['constantdatasequential_12023',['ConstantDataSequential',['../namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9',1,'SVF']]],
-  ['constantexpr_12024',['ConstantExpr',['../namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d',1,'SVF']]],
-  ['constantfp_12025',['ConstantFP',['../namespaceSVF.html#ad49e4222ba46d9490b87a80df8b46800',1,'SVF']]],
-  ['constantint_12026',['ConstantInt',['../namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7',1,'SVF']]],
-  ['constantpointernull_12027',['ConstantPointerNull',['../namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca',1,'SVF']]],
-  ['constantstruct_12028',['ConstantStruct',['../namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477',1,'SVF']]],
-  ['constanttype_12029',['ConstantType',['../classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499',1,'SVF::SVFModule']]],
-  ['constraintedgesetty_12030',['ConstraintEdgeSetTy',['../classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541',1,'SVF::ConstraintEdge']]],
-  ['constraintnodeidtonodemapty_12031',['ConstraintNodeIDToNodeMapTy',['../classSVF_1_1ConstraintGraph.html#a518b9eee508c8ef9c880f04bacf5df9f',1,'SVF::ConstraintGraph']]],
-  ['constraintnodeiter_12032',['ConstraintNodeIter',['../classSVF_1_1ConstraintGraph.html#a15bc278f76cdfcf38e623cedbc80d025',1,'SVF::ConstraintGraph']]],
-  ['constsvfgedgeset_12033',['ConstSVFGEdgeSet',['../classSVF_1_1DDAVFSolver.html#aef98e8e9144a69bb7481fef5d2dcb303',1,'SVF::DDAVFSolver']]],
-  ['copysvfgnode_12034',['CopySVFGNode',['../namespaceSVF.html#ab98f7c9e6311e649cdfd5d2f3f8e59be',1,'SVF']]],
-  ['cptset_12035',['CPtSet',['../classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966',1,'SVF::CondPTAImpl']]],
-  ['csnumtoinst_12036',['csnumToInst',['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()'],['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()']]],
-  ['cstoargslistmap_12037',['CSToArgsListMap',['../classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca',1,'SVF::SVFIR']]],
-  ['cstocallnodemapty_12038',['CSToCallNodeMapTy',['../classSVF_1_1ICFG.html#a86bfa1131dbd9cc7020f4c016fc33e51',1,'SVF::ICFG']]],
-  ['cstoretmap_12039',['CSToRetMap',['../classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681',1,'SVF::SVFIR']]],
-  ['cstoretnodemapty_12040',['CSToRetNodeMapTy',['../classSVF_1_1ICFG.html#a89c05e53c8388fb053bf6e66fc7c9559',1,'SVF::ICFG']]],
-  ['csworklist_12041',['CSWorkList',['../classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642',1,'SVF::LeakChecker']]],
-  ['ctxset_12042',['CtxSet',['../classSVF_1_1ThreadCallGraph.html#a304ba7ef48068fa019c69af5744842cc',1,'SVF::ThreadCallGraph']]],
-  ['cvar_12043',['CVar',['../classSVF_1_1CondPTAImpl.html#af71b4ec9844701582d997466c2e4d94f',1,'SVF::CondPTAImpl']]],
-  ['cxtlocdpitem_12044',['CxtLocDPItem',['../namespaceSVF.html#aa612d67dfa9b0c2999eeef980ca6c893',1,'SVF']]],
-  ['cxtlock_12045',['CxtLock',['../classSVF_1_1LockAnalysis.html#ab468a6a0f1705c000dc4260097222b06',1,'SVF::LockAnalysis']]],
-  ['cxtlockproc_12046',['CxtLockProc',['../classSVF_1_1LockAnalysis.html#ad855d1de318766ac305a10bfdae4da82',1,'SVF::LockAnalysis']]],
-  ['cxtlockprocset_12047',['CxtLockProcSet',['../classSVF_1_1LockAnalysis.html#a75c8b645bdca401896d731a1af8dc464',1,'SVF::LockAnalysis']]],
-  ['cxtlockprocvec_12048',['CxtLockProcVec',['../classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0',1,'SVF::LockAnalysis']]],
-  ['cxtlockset_12049',['CxtLockSet',['../classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83',1,'SVF::LockAnalysis']]],
-  ['cxtlocksetstr_12050',['CxtLockSetStr',['../classSVF_1_1LockResultValidator.html#afec6058866fe334646db78227fb4d6a6',1,'SVF::LockResultValidator']]],
-  ['cxtlocktolockset_12051',['CxtLockToLockSet',['../classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22',1,'SVF::LockAnalysis']]],
-  ['cxtlocktospan_12052',['CxtLockToSpan',['../classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826',1,'SVF::LockAnalysis']]],
-  ['cxtptset_12053',['CxtPtSet',['../namespaceSVF.html#ae23af66c8962f4a37da0a5a952bd137a',1,'SVF']]],
-  ['cxtstmtset_12054',['CxtStmtSet',['../classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2',1,'SVF::LockAnalysis']]],
-  ['cxtstmttoaliveflagmap_12055',['CxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c',1,'SVF::ForkJoinAnalysis']]],
-  ['cxtstmttocxtlocks_12056',['CxtStmtToCxtLockS',['../classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc',1,'SVF::LockResultValidator']]],
-  ['cxtstmttocxtlockset_12057',['CxtStmtToCxtLockSet',['../classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7',1,'SVF::LockAnalysis']]],
-  ['cxtstmttolockflagmap_12058',['CxtStmtToLockFlagMap',['../classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9',1,'SVF::LockAnalysis']]],
-  ['cxtstmttoloopmap_12059',['CxtStmtToLoopMap',['../classSVF_1_1ForkJoinAnalysis.html#a04e906f76a78db7052f5a0628f665b26',1,'SVF::ForkJoinAnalysis']]],
-  ['cxtstmttotidmap_12060',['CxtStmtToTIDMap',['../classSVF_1_1ForkJoinAnalysis.html#a9b0d25255df73a5d7a0b9d30fe918200',1,'SVF::ForkJoinAnalysis']]],
-  ['cxtstmtworklist_12061',['CxtStmtWorkList',['../classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe',1,'SVF::LockAnalysis::CxtStmtWorkList()'],['../classSVF_1_1ForkJoinAnalysis.html#a0ec0920d324604e3672db4d8dff93b1e',1,'SVF::ForkJoinAnalysis::CxtStmtWorkList()']]],
-  ['cxtthreadprocset_12062',['CxtThreadProcSet',['../classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40',1,'SVF::TCT']]],
-  ['cxtthreadprocvec_12063',['CxtThreadProcVec',['../classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e',1,'SVF::TCT']]],
-  ['cxtthreadstmtset_12064',['CxtThreadStmtSet',['../classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32',1,'SVF::MHP']]],
-  ['cxtthreadstmtworklist_12065',['CxtThreadStmtWorkList',['../classSVF_1_1MHP.html#aeba1145d32693ae7b642f483eeae94ef',1,'SVF::MHP']]],
-  ['cxtthreadtoforkcxt_12066',['CxtThreadToForkCxt',['../classSVF_1_1TCT.html#a334c1e8201fbb5cf4fe03cfccae30af2',1,'SVF::TCT']]],
-  ['cxtthreadtofun_12067',['CxtThreadToFun',['../classSVF_1_1TCT.html#a0e4cac84df98394d0decee3209f6ff88',1,'SVF::TCT']]],
-  ['cxtthreadtonodemap_12068',['CxtThreadToNodeMap',['../classSVF_1_1TCT.html#afdbc317c8db5e8e772221d6f7f9050a4',1,'SVF::TCT']]],
-  ['cxtvar_12069',['CxtVar',['../namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215',1,'SVF']]],
-  ['cycledepthnumber_12070',['CycleDepthNumber',['../classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e',1,'SVF::CFBasicBlockGWTO']]]
+  ['callbase_11941',['CallBase',['../namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73',1,'SVF']]],
+  ['callbrinst_11942',['CallBrInst',['../namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5',1,'SVF']]],
+  ['callchi_11943',['CALLCHI',['../classSVF_1_1SVFG.html#a5f3e0fbf83621cc661d2c59800756727',1,'SVF::SVFG::CALLCHI()'],['../classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9',1,'SVF::MemSSA::CALLCHI()']]],
+  ['calledgemap_11944',['CallEdgeMap',['../classSVF_1_1FlowDDA.html#a5a5548577e4a3e225185c4001386fc84',1,'SVF::FlowDDA::CallEdgeMap()'],['../classSVF_1_1PTACallGraph.html#a4948c9e7ff7f1c86d0f27c49e7208aa3',1,'SVF::PTACallGraph::CallEdgeMap()'],['../classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062',1,'SVF::PointerAnalysis::CallEdgeMap()'],['../classSVF_1_1SVFGBuilder.html#ae12f803f5ccdb47232043c8c5ae129bf',1,'SVF::SVFGBuilder::CallEdgeMap()'],['../classSVF_1_1MTASVFGBuilder.html#a5bbc071046b2a81bd23ba084d30230e5',1,'SVF::MTASVFGBuilder::CallEdgeMap()']]],
+  ['callgraphedgeconstiter_11945',['CallGraphEdgeConstIter',['../classSVF_1_1PTACallGraph.html#a9b7f6979a95244c620fdb791e053237b',1,'SVF::PTACallGraph']]],
+  ['callgraphedgeiter_11946',['CallGraphEdgeIter',['../classSVF_1_1PTACallGraph.html#a2f28a1ce0c7d6a0bc2fc2627e90acf1c',1,'SVF::PTACallGraph']]],
+  ['callgraphedgeset_11947',['CallGraphEdgeSet',['../classSVF_1_1PTACallGraphEdge.html#aa96d6bc3ffd3a5537b871a4c87c65888',1,'SVF::PTACallGraphEdge::CallGraphEdgeSet()'],['../classSVF_1_1PTACallGraphNode.html#a9cc3b4b46aaf45fd6d08a4995957646c',1,'SVF::PTACallGraphNode::CallGraphEdgeSet()'],['../classSVF_1_1PTACallGraph.html#a1ad288117daa4031e195eb35d805cac6',1,'SVF::PTACallGraph::CallGraphEdgeSet()']]],
+  ['callgraphscc_11948',['CallGraphSCC',['../classSVF_1_1DDAVFSolver.html#af6e05e87ba8d6b6ae65807803b1b0221',1,'SVF::DDAVFSolver::CallGraphSCC()'],['../classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69',1,'SVF::PointerAnalysis::CallGraphSCC()']]],
+  ['callinst_11949',['CallInst',['../namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63',1,'SVF']]],
+  ['callinstset_11950',['CallInstSet',['../classSVF_1_1DDAVFSolver.html#ac227096ad71dfda8bc48c139fccb3af2',1,'SVF::DDAVFSolver::CallInstSet()'],['../classSVF_1_1PTACallGraphEdge.html#adbedb15ac0f9395c5264f087a63bad3b',1,'SVF::PTACallGraphEdge::CallInstSet()'],['../classSVF_1_1PCG.html#ad33f2f6a08fe6ccad9b6f92c8d211565',1,'SVF::PCG::CallInstSet()']]],
+  ['callinsttocallgraphedgesmap_11951',['CallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a09245c929079024095cfe0d6570b70e8',1,'SVF::PTACallGraph']]],
+  ['callinsttoforkedgesmap_11952',['CallInstToForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aec88ec07a721b120290a7dde94ae1b51',1,'SVF::ThreadCallGraph']]],
+  ['callinsttojoinedgesmap_11953',['CallInstToJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#ab446ddd20cf46eeb76fcd5789faef521',1,'SVF::ThreadCallGraph']]],
+  ['callinsttoparforedgesmap_11954',['CallInstToParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#aba9d3e04e923cc787ab46a1f7eebb554',1,'SVF::ThreadCallGraph']]],
+  ['callmu_11955',['CALLMU',['../classSVF_1_1SVFG.html#acd9fd6597e5dedf3c14a430830c7dd08',1,'SVF::SVFG::CALLMU()'],['../classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25',1,'SVF::MemSSA::CALLMU()']]],
+  ['callpeset_11956',['CallPESet',['../classSVF_1_1ICFGNode.html#ab1a4b4a8dc600ca375d9f5adbd2a5b59',1,'SVF::ICFGNode::CallPESet()'],['../classSVF_1_1VFG.html#ade3f735b3c7b1a53cab3d67cd9f7b874',1,'SVF::VFG::CallPESet()'],['../classSVF_1_1VFGNode.html#a43b6b3dc747d310f793ca1b3bfa9d05f',1,'SVF::VFGNode::CallPESet()']]],
+  ['callsite2dummyvalpn_11957',['CallSite2DummyValPN',['../classSVF_1_1CFLAlias.html#af8424cab679dae62320c6dec6253036a',1,'SVF::CFLAlias::CallSite2DummyValPN()'],['../classSVF_1_1Andersen.html#a0f65f1881111167bffe1cb2ad05c0a51',1,'SVF::Andersen::CallSite2DummyValPN()'],['../classSVF_1_1Steensgaard.html#a248c51fefff8d65d0ae267a0ce114833',1,'SVF::Steensgaard::CallSite2DummyValPN()']]],
+  ['callsiteid_11958',['CallSiteID',['../namespaceSVF.html#a03d88a0302bcd253387690f13f693f64',1,'SVF']]],
+  ['callsitepair_11959',['CallSitePair',['../classSVF_1_1PTACallGraph.html#a178d9971028e8ce26ab8894c5c6b5784',1,'SVF::PTACallGraph']]],
+  ['callsiteset_11960',['CallSiteSet',['../classSVF_1_1DDAVFSolver.html#a0c590e9d56b6d37cb6e0c9081363a0ef',1,'SVF::DDAVFSolver::CallSiteSet()'],['../classSVF_1_1FlowDDA.html#a5f51c3ba53410fa31225b8ff6fb5e4b4',1,'SVF::FlowDDA::CallSiteSet()'],['../classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155',1,'SVF::ThreadCallGraph::CallSiteSet()'],['../classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0',1,'SVF::PointerAnalysis::CallSiteSet()'],['../classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07',1,'SVF::SVFGBuilder::CallSiteSet()'],['../classSVF_1_1MTASVFGBuilder.html#a6a56d37d832ebe1d98ea32120b58bc1e',1,'SVF::MTASVFGBuilder::CallSiteSet()'],['../classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165',1,'SVF::SrcSnkDDA::CallSiteSet()'],['../classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e',1,'SVF::SVFIR::CallSiteSet()']]],
+  ['callsitetoactualinsmapty_11961',['CallSiteToActualINsMapTy',['../classSVF_1_1SVFG.html#a727af89a305e48f399ad33cc7149dbcb',1,'SVF::SVFG']]],
+  ['callsitetoactualoutsmapty_11962',['CallSiteToActualOUTsMapTy',['../classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec',1,'SVF::SVFG']]],
+  ['callsitetochisetmap_11963',['CallSiteToCHISetMap',['../classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab',1,'SVF::MemSSA']]],
+  ['callsitetochnodesmap_11964',['CallSiteToCHNodesMap',['../classSVF_1_1CHGraph.html#a3740a239432a5c7237109aa72aa28eff',1,'SVF::CHGraph']]],
+  ['callsitetofunptrmap_11965',['CallSiteToFunPtrMap',['../classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585',1,'SVF::PointerAnalysis::CallSiteToFunPtrMap()'],['../classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d',1,'SVF::SVFIR::CallSiteToFunPtrMap()']]],
+  ['callsitetoidmap_11966',['CallSiteToIdMap',['../classSVF_1_1PTACallGraph.html#ae4e3e5f108bc1e47af8f58d2e43345d2',1,'SVF::PTACallGraph']]],
+  ['callsitetomrsmap_11967',['CallSiteToMRsMap',['../classSVF_1_1MRGenerator.html#af9872d1175874a920e6df10268518233',1,'SVF::MRGenerator']]],
+  ['callsitetomusetmap_11968',['CallSiteToMUSetMap',['../classSVF_1_1MemSSA.html#a5d4ba728fb55e615cacfc5278e6bc4b7',1,'SVF::MemSSA']]],
+  ['callsitetonodebsmap_11969',['CallSiteToNodeBSMap',['../classSVF_1_1MRGenerator.html#a934a90164cc1364ea6aba5b4ae3cf2a9',1,'SVF::MRGenerator']]],
+  ['callsitetopointstomap_11970',['CallSiteToPointsToMap',['../classSVF_1_1MRGenerator.html#a255e42c2b2062bbc799517c77ec25336',1,'SVF::MRGenerator']]],
+  ['callsitetovfunsetmap_11971',['CallSiteToVFunSetMap',['../classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74',1,'SVF::CHGraph']]],
+  ['callsitetovtablesetmap_11972',['CallSiteToVTableSetMap',['../classSVF_1_1CHGraph.html#aefdf6c5fe8a26efce200e8225d463cac',1,'SVF::CHGraph']]],
+  ['callstrcxt_11973',['CallStrCxt',['../namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1',1,'SVF']]],
+  ['calltoinstmap_11974',['CallToInstMap',['../classSVF_1_1ThreadCallGraph.html#add85c5647bd0423770fb0fb35426e0cb',1,'SVF::ThreadCallGraph']]],
+  ['castinst_11975',['CastInst',['../namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827',1,'SVF']]],
+  ['cdata_5fiterator_11976',['cdata_iterator',['../classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7',1,'SVF::SVFModule']]],
+  ['cfbasicblockgwtocycledepth_11977',['CFBasicBlockGWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#acc7a69f2e4d44bda34a84ed68667b803',1,'SVF::CFBasicBlockGWTO']]],
+  ['cfbasicblockgwtocycledepthptr_11978',['CFBasicBlockGWTOCycleDepthPtr',['../classSVF_1_1CFBasicBlockGWTO.html#a1cb3ad13956ab175c4c16bd9c856de47',1,'SVF::CFBasicBlockGWTO']]],
+  ['cfbasicblocknodes_11979',['CFBasicBlockNodes',['../classSVF_1_1CFBasicBlockGWTO.html#ae4fd19b6216a43afdac4edae42f22a26',1,'SVF::CFBasicBlockGWTO']]],
+  ['cfledgedataty_11980',['CFLEdgeDataTy',['../classSVF_1_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852',1,'SVF::CFLNode']]],
+  ['cfledgeset_11981',['CFLEdgeSet',['../classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14',1,'SVF::CFLGraph']]],
+  ['cfledgesetty_11982',['CFLEdgeSetTy',['../classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0',1,'SVF::CFLEdge']]],
+  ['cflsrcsnksolver_11983',['CFLSrcSnkSolver',['../namespaceSVF.html#a6bdd04381cb268e6c957a5cc528ebf67',1,'SVF']]],
+  ['cfworklist_11984',['CFWorkList',['../classSVF_1_1ProgSlice.html#a7076e2b7e187a295824189f30ca894e5',1,'SVF::ProgSlice::CFWorkList()'],['../classSVF_1_1SaberCondAllocator.html#aba5226558dcb5c52b12b02ad37b03f34',1,'SVF::SaberCondAllocator::CFWorkList()']]],
+  ['cgscc_11985',['CGSCC',['../classSVF_1_1Andersen.html#a77e7378a3a35622bde2371d7d3ed7013',1,'SVF::Andersen::CGSCC()'],['../namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01',1,'SVF::CGSCC()']]],
+  ['chedgesetty_11986',['CHEdgeSetTy',['../classSVF_1_1CHEdge.html#a3d7de66f220b2e8d36ada5c6369cb797',1,'SVF::CHEdge']]],
+  ['chgraphreader_11987',['CHGraphReader',['../namespaceSVF.html#a9d55225c5bd3bde33638109ba4a8f35d',1,'SVF']]],
+  ['chgraphwriter_11988',['CHGraphWriter',['../namespaceSVF.html#ac09ab90ff076cfac28ff5c4c398a1533',1,'SVF']]],
+  ['chi_11989',['CHI',['../classSVF_1_1SVFG.html#a60df52c14b303562ff5d73c7836e3495',1,'SVF::SVFG::CHI()'],['../classSVF_1_1MemSSA.html#a503f2fda873c330ef2cc5561f396ea6e',1,'SVF::MemSSA::CHI()']]],
+  ['child_5fiterator_11990',['child_iterator',['../classSVF_1_1GraphWriter.html#ad41e952ca114bba64b87478f469b6d56',1,'SVF::GraphWriter::child_iterator()'],['../classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e',1,'SVF::SrcSnkSolver::child_iterator()'],['../classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04',1,'SVF::GraphReachSolver::child_iterator()'],['../classSVF_1_1SCCDetection.html#ac1274a90ddbea6f1f0b539710505d902',1,'SVF::SCCDetection::child_iterator()'],['../classSVF_1_1WPASCCSolver.html#abec9201d60f0bf2724dbe9ad8a0dfc39',1,'SVF::WPASCCSolver::child_iterator()'],['../classSVF_1_1WPAMinimumSolver.html#ab16212294f1dab31215fe113b02f09c6',1,'SVF::WPAMinimumSolver::child_iterator()'],['../classSVF_1_1WPASolver.html#a4d5b605b8932824a7088399305952f12',1,'SVF::WPASolver::child_iterator()']]],
+  ['childiteratortype_11991',['ChildIteratorType',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ab4886d654f7f3678490d09c15b42f79e',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::ChildIteratorType()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a2580185292f7249eb074356cd937cccc',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a72a273d644d002b59a546b047d4bb0dd',1,'SVF::DOTGraphTraits< IRGraph * >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a95fc3b739ccea8d236e5b795b8770787',1,'SVF::DOTGraphTraits< PTACallGraph * >::ChildIteratorType()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a4036db1b2c075bd1f2b7249b8e268937',1,'SVF::DOTGraphTraits< TCT * >::ChildIteratorType()']]],
+  ['chiset_11992',['CHISet',['../classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07',1,'SVF::SVFG::CHISet()'],['../classSVF_1_1MemSSA.html#af9cf084e3070456d8cca491e1391b0c4',1,'SVF::MemSSA::CHISet()']]],
+  ['chitype_11993',['CHITYPE',['../classSVF_1_1MSSACHI.html#a21d9218e105987a1f807633ea824e5d3',1,'SVF::MSSACHI']]],
+  ['chnodesetty_11994',['CHNodeSetTy',['../classSVF_1_1CHGBuilder.html#adbff217477a779de9024d9a5777413a7',1,'SVF::CHGBuilder::CHNodeSetTy()'],['../classSVF_1_1CHGraph.html#ad0f60c720b277c60ed8a8966189bb42b',1,'SVF::CHGraph::CHNodeSetTy()']]],
+  ['cilocktospan_11995',['CILockToSpan',['../classSVF_1_1LockAnalysis.html#a88e93e7b9a8e19a7a386ba6b9c83dccb',1,'SVF::LockAnalysis']]],
+  ['cispan_11996',['CISpan',['../classSVF_1_1LockAnalysis.html#ae675d0ebf4eac597487ce83e667a8229',1,'SVF::LockAnalysis']]],
+  ['cjson_11997',['cJSON',['../cJSON_8h.html#a4c146234dfd7b6adbf13b49505e995bc',1,'cJSON.h']]],
+  ['cjson_5fbool_11998',['cJSON_bool',['../cJSON_8h.html#aea0a1491f73d98b7cc4b8b791c408a4a',1,'cJSON.h']]],
+  ['cjson_5fhooks_11999',['cJSON_Hooks',['../cJSON_8h.html#ab67bc592e52110fee68ab8ab4140530d',1,'cJSON.h']]],
+  ['cmpinst_12000',['CmpInst',['../namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4',1,'SVF']]],
+  ['condition_12001',['Condition',['../classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5',1,'SVF::MemRegion::Condition()'],['../classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a',1,'SVF::MemSSA::Condition()'],['../classSVF_1_1ProgSlice.html#aadf1128c0006981dff0d64dd1201e0c7',1,'SVF::ProgSlice::Condition()'],['../classSVF_1_1SaberCondAllocator.html#ab4eba98cf7306c89e40975c766d5bf65',1,'SVF::SaberCondAllocator::Condition()']]],
+  ['condposmap_12002',['CondPosMap',['../classSVF_1_1SaberCondAllocator.html#aa330cc6a1a3c38601ebeb325ffd87221',1,'SVF::SaberCondAllocator']]],
+  ['condpts_12003',['CondPts',['../classSVF_1_1CondPointsToSet.html#aaddc3f78a624de59dda6f078ba63ba52',1,'SVF::CondPointsToSet']]],
+  ['condptsconstiter_12004',['CondPtsConstIter',['../classSVF_1_1CondPointsToSet.html#aa9d3a8c42b6df3fa9c2e7bcd7af75e16',1,'SVF::CondPointsToSet']]],
+  ['condptsiter_12005',['CondPtsIter',['../classSVF_1_1CondPointsToSet.html#ad9e4dea4b65d5f4a903a3cf89a421077',1,'SVF::CondPointsToSet']]],
+  ['const_5falias_5fiterator_12006',['const_alias_iterator',['../classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f',1,'SVF::SVFModule']]],
+  ['const_5fcdata_5fiterator_12007',['const_cdata_iterator',['../classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc',1,'SVF::SVFModule']]],
+  ['const_5fglobal_5fiterator_12008',['const_global_iterator',['../classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57',1,'SVF::SVFModule']]],
+  ['const_5finst_5fiterator_12009',['const_inst_iterator',['../namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91',1,'SVF']]],
+  ['const_5fiterator_12010',['const_iterator',['../classSVF_1_1POCRSolver.html#a08d86d5ab5fa57da6217480611f057a2',1,'SVF::POCRSolver::const_iterator()'],['../classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b',1,'SVF::ConstraintNode::const_iterator()'],['../classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429',1,'SVF::GenericNode::const_iterator()'],['../classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97',1,'SVF::GenericGraph::const_iterator()'],['../classSVF_1_1ICFG.html#a94e4de04d8da10a19ab65c22e257b82b',1,'SVF::ICFG::const_iterator()'],['../classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2',1,'SVF::ICFGNode::const_iterator()'],['../classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec',1,'SVF::PTACallGraphNode::const_iterator()'],['../classSVF_1_1VFG.html#a225a91c04afac6a8fe198e9860890a52',1,'SVF::VFG::const_iterator()'],['../classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8',1,'SVF::VFGNode::const_iterator()'],['../classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650',1,'SVF::CondStdSet::const_iterator()'],['../classSVF_1_1PointsTo.html#ad37fe6c7bb8b509a837348a12cab80c1',1,'SVF::PointsTo::const_iterator()'],['../classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1',1,'SVF::SVFModule::const_iterator()'],['../classSVF_1_1SVFFunction.html#aaec097379a345ab0e80b6a9c50508f48',1,'SVF::SVFFunction::const_iterator()'],['../classSVF_1_1SVFBasicBlock.html#a73b7029f85e3762033f49c953d4b95ca',1,'SVF::SVFBasicBlock::const_iterator()'],['../classSVF_1_1CoreBitVector.html#a45a3bf8465e63f723c0a551f0b0f37ff',1,'SVF::CoreBitVector::const_iterator()'],['../classSVF_1_1ContextCond.html#a101bc917679a9d8ee7badb3c9e8c12e3',1,'SVF::ContextCond::const_iterator()']]],
+  ['const_5fovalue_5fiterator_12011',['const_ovalue_iterator',['../classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912',1,'SVF::SVFModule']]],
+  ['const_5fpred_5fiterator_12012',['const_pred_iterator',['../namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e',1,'SVF']]],
+  ['constant_12013',['Constant',['../namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9',1,'SVF']]],
+  ['constantaggregate_12014',['ConstantAggregate',['../namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597',1,'SVF']]],
+  ['constantaggregatezero_12015',['ConstantAggregateZero',['../namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07',1,'SVF']]],
+  ['constantarray_12016',['ConstantArray',['../namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e',1,'SVF']]],
+  ['constantdata_12017',['ConstantData',['../namespaceSVF.html#a7332f8059ea95472dcc231de884a5768',1,'SVF']]],
+  ['constantdataarray_12018',['ConstantDataArray',['../namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462',1,'SVF']]],
+  ['constantdatasequential_12019',['ConstantDataSequential',['../namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9',1,'SVF']]],
+  ['constantexpr_12020',['ConstantExpr',['../namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d',1,'SVF']]],
+  ['constantfp_12021',['ConstantFP',['../namespaceSVF.html#ad49e4222ba46d9490b87a80df8b46800',1,'SVF']]],
+  ['constantint_12022',['ConstantInt',['../namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7',1,'SVF']]],
+  ['constantpointernull_12023',['ConstantPointerNull',['../namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca',1,'SVF']]],
+  ['constantstruct_12024',['ConstantStruct',['../namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477',1,'SVF']]],
+  ['constanttype_12025',['ConstantType',['../classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499',1,'SVF::SVFModule']]],
+  ['constraintedgesetty_12026',['ConstraintEdgeSetTy',['../classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541',1,'SVF::ConstraintEdge']]],
+  ['constraintnodeidtonodemapty_12027',['ConstraintNodeIDToNodeMapTy',['../classSVF_1_1ConstraintGraph.html#a518b9eee508c8ef9c880f04bacf5df9f',1,'SVF::ConstraintGraph']]],
+  ['constraintnodeiter_12028',['ConstraintNodeIter',['../classSVF_1_1ConstraintGraph.html#a15bc278f76cdfcf38e623cedbc80d025',1,'SVF::ConstraintGraph']]],
+  ['constsvfgedgeset_12029',['ConstSVFGEdgeSet',['../classSVF_1_1DDAVFSolver.html#aef98e8e9144a69bb7481fef5d2dcb303',1,'SVF::DDAVFSolver']]],
+  ['copysvfgnode_12030',['CopySVFGNode',['../namespaceSVF.html#ab98f7c9e6311e649cdfd5d2f3f8e59be',1,'SVF']]],
+  ['cptset_12031',['CPtSet',['../classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966',1,'SVF::CondPTAImpl']]],
+  ['csnumtoinst_12032',['csnumToInst',['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()'],['../classSVF_1_1MTAResultValidator.html#a432fa7a1a9af82c90583c779e8f63cf4',1,'SVF::MTAResultValidator::csnumToInst()']]],
+  ['cstoargslistmap_12033',['CSToArgsListMap',['../classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca',1,'SVF::SVFIR']]],
+  ['cstocallnodemapty_12034',['CSToCallNodeMapTy',['../classSVF_1_1ICFG.html#a86bfa1131dbd9cc7020f4c016fc33e51',1,'SVF::ICFG']]],
+  ['cstoretmap_12035',['CSToRetMap',['../classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681',1,'SVF::SVFIR']]],
+  ['cstoretnodemapty_12036',['CSToRetNodeMapTy',['../classSVF_1_1ICFG.html#a89c05e53c8388fb053bf6e66fc7c9559',1,'SVF::ICFG']]],
+  ['csworklist_12037',['CSWorkList',['../classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642',1,'SVF::LeakChecker']]],
+  ['ctxset_12038',['CtxSet',['../classSVF_1_1ThreadCallGraph.html#a304ba7ef48068fa019c69af5744842cc',1,'SVF::ThreadCallGraph']]],
+  ['cvar_12039',['CVar',['../classSVF_1_1CondPTAImpl.html#af71b4ec9844701582d997466c2e4d94f',1,'SVF::CondPTAImpl']]],
+  ['cxtlocdpitem_12040',['CxtLocDPItem',['../namespaceSVF.html#aa612d67dfa9b0c2999eeef980ca6c893',1,'SVF']]],
+  ['cxtlock_12041',['CxtLock',['../classSVF_1_1LockAnalysis.html#ab468a6a0f1705c000dc4260097222b06',1,'SVF::LockAnalysis']]],
+  ['cxtlockproc_12042',['CxtLockProc',['../classSVF_1_1LockAnalysis.html#ad855d1de318766ac305a10bfdae4da82',1,'SVF::LockAnalysis']]],
+  ['cxtlockprocset_12043',['CxtLockProcSet',['../classSVF_1_1LockAnalysis.html#a75c8b645bdca401896d731a1af8dc464',1,'SVF::LockAnalysis']]],
+  ['cxtlockprocvec_12044',['CxtLockProcVec',['../classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0',1,'SVF::LockAnalysis']]],
+  ['cxtlockset_12045',['CxtLockSet',['../classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83',1,'SVF::LockAnalysis']]],
+  ['cxtlocksetstr_12046',['CxtLockSetStr',['../classSVF_1_1LockResultValidator.html#afec6058866fe334646db78227fb4d6a6',1,'SVF::LockResultValidator']]],
+  ['cxtlocktolockset_12047',['CxtLockToLockSet',['../classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22',1,'SVF::LockAnalysis']]],
+  ['cxtlocktospan_12048',['CxtLockToSpan',['../classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826',1,'SVF::LockAnalysis']]],
+  ['cxtptset_12049',['CxtPtSet',['../namespaceSVF.html#ae23af66c8962f4a37da0a5a952bd137a',1,'SVF']]],
+  ['cxtstmtset_12050',['CxtStmtSet',['../classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2',1,'SVF::LockAnalysis']]],
+  ['cxtstmttoaliveflagmap_12051',['CxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c',1,'SVF::ForkJoinAnalysis']]],
+  ['cxtstmttocxtlocks_12052',['CxtStmtToCxtLockS',['../classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc',1,'SVF::LockResultValidator']]],
+  ['cxtstmttocxtlockset_12053',['CxtStmtToCxtLockSet',['../classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7',1,'SVF::LockAnalysis']]],
+  ['cxtstmttolockflagmap_12054',['CxtStmtToLockFlagMap',['../classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9',1,'SVF::LockAnalysis']]],
+  ['cxtstmttoloopmap_12055',['CxtStmtToLoopMap',['../classSVF_1_1ForkJoinAnalysis.html#a04e906f76a78db7052f5a0628f665b26',1,'SVF::ForkJoinAnalysis']]],
+  ['cxtstmttotidmap_12056',['CxtStmtToTIDMap',['../classSVF_1_1ForkJoinAnalysis.html#a9b0d25255df73a5d7a0b9d30fe918200',1,'SVF::ForkJoinAnalysis']]],
+  ['cxtstmtworklist_12057',['CxtStmtWorkList',['../classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe',1,'SVF::LockAnalysis::CxtStmtWorkList()'],['../classSVF_1_1ForkJoinAnalysis.html#a0ec0920d324604e3672db4d8dff93b1e',1,'SVF::ForkJoinAnalysis::CxtStmtWorkList()']]],
+  ['cxtthreadprocset_12058',['CxtThreadProcSet',['../classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40',1,'SVF::TCT']]],
+  ['cxtthreadprocvec_12059',['CxtThreadProcVec',['../classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e',1,'SVF::TCT']]],
+  ['cxtthreadstmtset_12060',['CxtThreadStmtSet',['../classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32',1,'SVF::MHP']]],
+  ['cxtthreadstmtworklist_12061',['CxtThreadStmtWorkList',['../classSVF_1_1MHP.html#aeba1145d32693ae7b642f483eeae94ef',1,'SVF::MHP']]],
+  ['cxtthreadtoforkcxt_12062',['CxtThreadToForkCxt',['../classSVF_1_1TCT.html#a334c1e8201fbb5cf4fe03cfccae30af2',1,'SVF::TCT']]],
+  ['cxtthreadtofun_12063',['CxtThreadToFun',['../classSVF_1_1TCT.html#a0e4cac84df98394d0decee3209f6ff88',1,'SVF::TCT']]],
+  ['cxtthreadtonodemap_12064',['CxtThreadToNodeMap',['../classSVF_1_1TCT.html#afdbc317c8db5e8e772221d6f7f9050a4',1,'SVF::TCT']]],
+  ['cxtvar_12065',['CxtVar',['../namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215',1,'SVF']]],
+  ['cycledepthnumber_12066',['CycleDepthNumber',['../classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e',1,'SVF::CFBasicBlockGWTO']]]
 ];