svf-tools 1.0.896 → 1.0.898

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

@@ -1,49 +1,49 @@
 var searchData=
 [
-  ['join_5fwith_3997',['join_with',['../classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a',1,'SVF::AddressValue::join_with()'],['../classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99',1,'SVF::IntervalValue::join_with()'],['../classSVF_1_1SingleAbsValue.html#aee10058065f8c8be04b6e27fb18b4a00',1,'SVF::SingleAbsValue::join_with()']]],
-  ['joinedgeset_3998',['JoinEdgeSet',['../classSVF_1_1ThreadJoinEdge.html#acf768ce9925ee75aea865cd9306afda9',1,'SVF::ThreadJoinEdge::JoinEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa9e07204488ec8f0f83f4e218b6ce6bd',1,'SVF::ThreadCallGraph::JoinEdgeSet()']]],
-  ['joinsites_3999',['joinsites',['../classSVF_1_1ThreadCallGraph.html#aab32b67b314b31d67d58efded50e8f45',1,'SVF::ThreadCallGraph']]],
-  ['joinsitesbegin_4000',['joinsitesBegin',['../classSVF_1_1ThreadCallGraph.html#a98ecfe14be2d38d292b5919716cdd29d',1,'SVF::ThreadCallGraph']]],
-  ['joinsitesend_4001',['joinsitesEnd',['../classSVF_1_1ThreadCallGraph.html#a50502f398e5eac9c6da3e26ea6052057',1,'SVF::ThreadCallGraph']]],
-  ['joinsitetoloopmap_4002',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
-  ['joinwith_4003',['joinWith',['../classSVF_1_1ConsExeState.html#a8f2668196be5ecbc061d5b43caa43cae',1,'SVF::ConsExeState::joinWith()'],['../classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0',1,'SVF::ExeState::joinWith()'],['../classSVF_1_1IntervalESBase.html#adc0db607e4c0f117760535df67b91fbd',1,'SVF::IntervalESBase::joinWith()'],['../classSVF_1_1IntervalExeState.html#a46ef74cd1412790b088f1d7320f57a9f',1,'SVF::IntervalExeState::joinWith()']]],
-  ['jpeg_5fstd_5ferror_4004',['jpeg_std_error',['../extapi_8c.html#ae94edd22063e2b842d914b31af96b741',1,'extapi.c']]],
-  ['json_4005',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
-  ['json_5fchild_4006',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
-  ['json_5fdef_5fread_5ffwd_4007',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
-  ['json_5ffield_5for_4008',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
-  ['json_5fkey_4009',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
-  ['json_5fread_5ffield_5ffwd_4010',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_4011',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5ffwd_4012',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_4013',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_5ffwd_4014',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
-  ['json_5fwrite_5ffield_4015',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
-  ['jsonaddcontenttoobject_4016',['jsonAddContentToObject',['../classSVF_1_1SVFIRWriter.html#a65591d58a251b7f7384126aabccd64a1',1,'SVF::SVFIRWriter']]],
-  ['jsonadditemtoarray_4017',['jsonAddItemToArray',['../namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4',1,'SVF']]],
-  ['jsonadditemtoobject_4018',['jsonAddItemToObject',['../namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3',1,'SVF']]],
-  ['jsonaddjsonabletoobject_4019',['jsonAddJsonableToObject',['../classSVF_1_1SVFIRWriter.html#aecae8cb1f180e463d94c68e5a63a1176',1,'SVF::SVFIRWriter']]],
-  ['jsonaddnumbertoobject_4020',['jsonAddNumberToObject',['../namespaceSVF.html#a06374e1eadf264ee1b9285bb3dfd36a2',1,'SVF']]],
-  ['jsonaddpairtomap_4021',['jsonAddPairToMap',['../namespaceSVF.html#a5f83b548002232dc7590f37a3351ad56',1,'SVF']]],
-  ['jsonaddstringtoobject_4022',['jsonAddStringToObject',['../namespaceSVF.html#ac2917bc796cc783e838d9fcca83b9631',1,'SVF::jsonAddStringToObject(cJSON *obj, const char *name, const char *str)'],['../namespaceSVF.html#a3db5e87b7a441477f78be379c67f88bf',1,'SVF::jsonAddStringToObject(cJSON *obj, const char *name, const std::string &s)']]],
-  ['jsonarray_4023',['jsonArray',['../classSVF_1_1ReaderPtrPool.html#a7c97bb72f8b612fdebed953ccb3d4ad0',1,'SVF::ReaderPtrPool']]],
-  ['jsoncreatearray_4024',['jsonCreateArray',['../namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14',1,'SVF']]],
-  ['jsoncreatebool_4025',['jsonCreateBool',['../namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555',1,'SVF']]],
-  ['jsoncreateindex_4026',['jsonCreateIndex',['../namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35',1,'SVF']]],
-  ['jsoncreatemap_4027',['jsonCreateMap',['../namespaceSVF.html#a94a4cec5b3ee29a335590943ae30fd65',1,'SVF']]],
-  ['jsoncreatenullid_4028',['jsonCreateNullId',['../namespaceSVF.html#a0f7910523b4290e998024123f594ffb0',1,'SVF']]],
-  ['jsoncreatenumber_4029',['jsonCreateNumber',['../namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e',1,'SVF']]],
-  ['jsoncreateobject_4030',['jsonCreateObject',['../namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4',1,'SVF']]],
-  ['jsoncreatestring_4031',['jsonCreateString',['../namespaceSVF.html#adf8e2485f7cc090ef75c20fff6cf19aa',1,'SVF']]],
-  ['jsonforeach_4032',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]],
-  ['jsongetnumber_4033',['jsonGetNumber',['../namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552',1,'SVF']]],
-  ['jsonisarray_4034',['jsonIsArray',['../namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d',1,'SVF']]],
-  ['jsonisbool_4035',['jsonIsBool',['../namespaceSVF.html#ad830126d4921871b42fc81efbe456509',1,'SVF::jsonIsBool(const cJSON *item)'],['../namespaceSVF.html#a5ac359917fd682d101134ab0b4afdc40',1,'SVF::jsonIsBool(const cJSON *item, bool &flag)']]],
-  ['jsonismap_4036',['jsonIsMap',['../namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac',1,'SVF']]],
-  ['jsonisnullid_4037',['jsonIsNullId',['../namespaceSVF.html#a34a1f3ef61f57ec72a6c202d7a0eaa51',1,'SVF']]],
-  ['jsonisnumber_4038',['jsonIsNumber',['../namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7',1,'SVF']]],
-  ['jsonisobject_4039',['jsonIsObject',['../namespaceSVF.html#ac6a83809ca246bc7a33de3da6b4a4354',1,'SVF']]],
-  ['jsonisstring_4040',['jsonIsString',['../namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49',1,'SVF']]],
-  ['jsonkeyequals_4041',['jsonKeyEquals',['../namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546',1,'SVF']]],
-  ['jsonunpackpair_4042',['jsonUnpackPair',['../namespaceSVF.html#ac5eca7590f00f9cff8824ec739042e0c',1,'SVF']]]
+  ['join_5fwith_4016',['join_with',['../classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a',1,'SVF::AddressValue::join_with()'],['../classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99',1,'SVF::IntervalValue::join_with()'],['../classSVF_1_1SingleAbsValue.html#aee10058065f8c8be04b6e27fb18b4a00',1,'SVF::SingleAbsValue::join_with()']]],
+  ['joinedgeset_4017',['JoinEdgeSet',['../classSVF_1_1ThreadJoinEdge.html#acf768ce9925ee75aea865cd9306afda9',1,'SVF::ThreadJoinEdge::JoinEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa9e07204488ec8f0f83f4e218b6ce6bd',1,'SVF::ThreadCallGraph::JoinEdgeSet()']]],
+  ['joinsites_4018',['joinsites',['../classSVF_1_1ThreadCallGraph.html#aab32b67b314b31d67d58efded50e8f45',1,'SVF::ThreadCallGraph']]],
+  ['joinsitesbegin_4019',['joinsitesBegin',['../classSVF_1_1ThreadCallGraph.html#a98ecfe14be2d38d292b5919716cdd29d',1,'SVF::ThreadCallGraph']]],
+  ['joinsitesend_4020',['joinsitesEnd',['../classSVF_1_1ThreadCallGraph.html#a50502f398e5eac9c6da3e26ea6052057',1,'SVF::ThreadCallGraph']]],
+  ['joinsitetoloopmap_4021',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
+  ['joinwith_4022',['joinWith',['../classSVF_1_1ConsExeState.html#a8f2668196be5ecbc061d5b43caa43cae',1,'SVF::ConsExeState::joinWith()'],['../classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0',1,'SVF::ExeState::joinWith()'],['../classSVF_1_1IntervalESBase.html#adc0db607e4c0f117760535df67b91fbd',1,'SVF::IntervalESBase::joinWith()'],['../classSVF_1_1IntervalExeState.html#a46ef74cd1412790b088f1d7320f57a9f',1,'SVF::IntervalExeState::joinWith()']]],
+  ['jpeg_5fstd_5ferror_4023',['jpeg_std_error',['../extapi_8c.html#ae94edd22063e2b842d914b31af96b741',1,'extapi.c']]],
+  ['json_4024',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
+  ['json_5fchild_4025',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
+  ['json_5fdef_5fread_5ffwd_4026',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
+  ['json_5ffield_5for_4027',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
+  ['json_5fkey_4028',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
+  ['json_5fread_5ffield_5ffwd_4029',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_4030',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5ffwd_4031',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_4032',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_5ffwd_4033',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
+  ['json_5fwrite_5ffield_4034',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
+  ['jsonaddcontenttoobject_4035',['jsonAddContentToObject',['../classSVF_1_1SVFIRWriter.html#a65591d58a251b7f7384126aabccd64a1',1,'SVF::SVFIRWriter']]],
+  ['jsonadditemtoarray_4036',['jsonAddItemToArray',['../namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4',1,'SVF']]],
+  ['jsonadditemtoobject_4037',['jsonAddItemToObject',['../namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3',1,'SVF']]],
+  ['jsonaddjsonabletoobject_4038',['jsonAddJsonableToObject',['../classSVF_1_1SVFIRWriter.html#aecae8cb1f180e463d94c68e5a63a1176',1,'SVF::SVFIRWriter']]],
+  ['jsonaddnumbertoobject_4039',['jsonAddNumberToObject',['../namespaceSVF.html#a06374e1eadf264ee1b9285bb3dfd36a2',1,'SVF']]],
+  ['jsonaddpairtomap_4040',['jsonAddPairToMap',['../namespaceSVF.html#a5f83b548002232dc7590f37a3351ad56',1,'SVF']]],
+  ['jsonaddstringtoobject_4041',['jsonAddStringToObject',['../namespaceSVF.html#ac2917bc796cc783e838d9fcca83b9631',1,'SVF::jsonAddStringToObject(cJSON *obj, const char *name, const char *str)'],['../namespaceSVF.html#a3db5e87b7a441477f78be379c67f88bf',1,'SVF::jsonAddStringToObject(cJSON *obj, const char *name, const std::string &s)']]],
+  ['jsonarray_4042',['jsonArray',['../classSVF_1_1ReaderPtrPool.html#a7c97bb72f8b612fdebed953ccb3d4ad0',1,'SVF::ReaderPtrPool']]],
+  ['jsoncreatearray_4043',['jsonCreateArray',['../namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14',1,'SVF']]],
+  ['jsoncreatebool_4044',['jsonCreateBool',['../namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555',1,'SVF']]],
+  ['jsoncreateindex_4045',['jsonCreateIndex',['../namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35',1,'SVF']]],
+  ['jsoncreatemap_4046',['jsonCreateMap',['../namespaceSVF.html#a94a4cec5b3ee29a335590943ae30fd65',1,'SVF']]],
+  ['jsoncreatenullid_4047',['jsonCreateNullId',['../namespaceSVF.html#a0f7910523b4290e998024123f594ffb0',1,'SVF']]],
+  ['jsoncreatenumber_4048',['jsonCreateNumber',['../namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e',1,'SVF']]],
+  ['jsoncreateobject_4049',['jsonCreateObject',['../namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4',1,'SVF']]],
+  ['jsoncreatestring_4050',['jsonCreateString',['../namespaceSVF.html#adf8e2485f7cc090ef75c20fff6cf19aa',1,'SVF']]],
+  ['jsonforeach_4051',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]],
+  ['jsongetnumber_4052',['jsonGetNumber',['../namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552',1,'SVF']]],
+  ['jsonisarray_4053',['jsonIsArray',['../namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d',1,'SVF']]],
+  ['jsonisbool_4054',['jsonIsBool',['../namespaceSVF.html#ad830126d4921871b42fc81efbe456509',1,'SVF::jsonIsBool(const cJSON *item)'],['../namespaceSVF.html#a5ac359917fd682d101134ab0b4afdc40',1,'SVF::jsonIsBool(const cJSON *item, bool &flag)']]],
+  ['jsonismap_4055',['jsonIsMap',['../namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac',1,'SVF']]],
+  ['jsonisnullid_4056',['jsonIsNullId',['../namespaceSVF.html#a34a1f3ef61f57ec72a6c202d7a0eaa51',1,'SVF']]],
+  ['jsonisnumber_4057',['jsonIsNumber',['../namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7',1,'SVF']]],
+  ['jsonisobject_4058',['jsonIsObject',['../namespaceSVF.html#ac6a83809ca246bc7a33de3da6b4a4354',1,'SVF']]],
+  ['jsonisstring_4059',['jsonIsString',['../namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49',1,'SVF']]],
+  ['jsonkeyequals_4060',['jsonKeyEquals',['../namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546',1,'SVF']]],
+  ['jsonunpackpair_4061',['jsonUnpackPair',['../namespaceSVF.html#ac5eca7590f00f9cff8824ec739042e0c',1,'SVF']]]
 ];

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

@@ -1,29 +1,29 @@
 var searchData=
 [
-  ['kblu_4043',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
-  ['kcya_4044',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
-  ['keepactualoutformalin_4045',['keepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#a7e57ca56a587a5b59543b5bab7fe794d',1,'SVF::SVFGOPT']]],
-  ['keepallselfcycle_4046',['keepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d',1,'SVF::SVFGOPT::keepAllSelfCycle()'],['../SVFGOPT_8cpp.html#af213fe89264a55a8ff44872905524f2f',1,'KeepAllSelfCycle(): SVFGOPT.cpp']]],
-  ['keepaofi_4047',['KeepAOFI',['../classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37',1,'SVF::Options']]],
-  ['keepcontextselfcycle_4048',['keepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f',1,'SVF::SVFGOPT::keepContextSelfCycle()'],['../SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935',1,'KeepContextSelfCycle(): SVFGOPT.cpp']]],
-  ['keepnoneselfcycle_4049',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
-  ['keynodes_4050',['KeyNodes',['../classSVF_1_1SymState.html#a5673a4c91533436a993164aa477ff3d8',1,'SVF::SymState']]],
-  ['keynodesset_4051',['KeyNodesSet',['../classSVF_1_1SymState.html#adb33bdc2c5b70a0f35d29d213ebf7957',1,'SVF::SymState']]],
-  ['keytoidmap_4052',['KeyToIDMap',['../classSVF_1_1PersistentPTData.html#aa4660a55bee52fc51248d694d475811f',1,'SVF::PersistentPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDiffPTData.html#a4e706309fe4bb40b4424251888363215',1,'SVF::PersistentDiffPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f',1,'SVF::PersistentDFPTData::KeyToIDMap()'],['../classSVF_1_1PersistentVersionedPTData.html#a1927ccf9bb74b698f540f683e7f0d0f2',1,'SVF::PersistentVersionedPTData::KeyToIDMap()']]],
-  ['kgrn_4053',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
-  ['kind_4054',['kind',['../structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71',1,'SVF::GrammarBase::Symbol::kind()'],['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8',1,'SVF::SVFType::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()'],['../classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187',1,'SVF::GrammarBase::Kind()'],['../classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48',1,'SVF::CFLGraphBuilder::Kind()'],['../classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b',1,'SVF::CFLGraph::Kind()']]],
-  ['kind_5fbase_4055',['KIND_BASE',['../SVFFileSystem_8h.html#acd86635235837daec1e66a538e45a4fb',1,'KIND_BASE(): SVFFileSystem.h'],['../namespaceSVF.html#aa81412ec5448c62dc58da70b9273ef91',1,'SVF::KIND_BASE(SVFType, getKind)'],['../namespaceSVF.html#a28b5404a75ba04062cabecaf4fca7085',1,'SVF::KIND_BASE(SVFValue, getKind)'],['../namespaceSVF.html#aefb308b807c4269535bfe6b02c2120c5',1,'SVF::KIND_BASE(SVFVar, getNodeKind)'],['../namespaceSVF.html#a3981f20e4370c813ff5e6cdfd11f755b',1,'SVF::KIND_BASE(SVFStmt, getEdgeKind)'],['../namespaceSVF.html#af9c942a1636ef3aec3f8514860afa62a',1,'SVF::KIND_BASE(ICFGNode, getNodeKind)'],['../namespaceSVF.html#ac3fd2f7f44855f359f9076cd6d7385f6',1,'SVF::KIND_BASE(ICFGEdge, getEdgeKind)'],['../namespaceSVF.html#a114452eb86b8c4b9c40bdd56ad0882ad',1,'SVF::KIND_BASE(CHNode, getNodeKind)'],['../namespaceSVF.html#a8a53cabf0a8859e69e8662652fcd9bd5',1,'SVF::KIND_BASE(CHEdge, getEdgeKind)']]],
-  ['kindbasehelper_4056',['KindBaseHelper',['../structSVF_1_1KindBaseHelper.html',1,'SVF']]],
-  ['kindbaset_4057',['KindBaseT',['../namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856',1,'SVF']]],
-  ['kindtoattrsmap_4058',['kindToAttrsMap',['../classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c',1,'SVF::GrammarBase::kindToAttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068',1,'SVF::CFLGraphBuilder::kindToAttrsMap()']]],
-  ['kindtolabelmap_4059',['kindToLabelMap',['../classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e',1,'SVF::CFLGraphBuilder']]],
-  ['kindtoptasvfstmtsetmap_4060',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
-  ['kindtostr_4061',['kindToStr',['../classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3',1,'SVF::GrammarBase']]],
-  ['kindtosvfstmtmapty_4062',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]],
-  ['kindtosvfstmtsetmap_4063',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]],
-  ['knrm_4064',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
-  ['kpur_4065',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
-  ['kred_4066',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
-  ['kwht_4067',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
-  ['kyel_4068',['KYEL',['../SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a',1,'SVFUtil.cpp']]]
+  ['kblu_4062',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
+  ['kcya_4063',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
+  ['keepactualoutformalin_4064',['keepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#a7e57ca56a587a5b59543b5bab7fe794d',1,'SVF::SVFGOPT']]],
+  ['keepallselfcycle_4065',['keepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d',1,'SVF::SVFGOPT::keepAllSelfCycle()'],['../SVFGOPT_8cpp.html#af213fe89264a55a8ff44872905524f2f',1,'KeepAllSelfCycle(): SVFGOPT.cpp']]],
+  ['keepaofi_4066',['KeepAOFI',['../classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37',1,'SVF::Options']]],
+  ['keepcontextselfcycle_4067',['keepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f',1,'SVF::SVFGOPT::keepContextSelfCycle()'],['../SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935',1,'KeepContextSelfCycle(): SVFGOPT.cpp']]],
+  ['keepnoneselfcycle_4068',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
+  ['keynodes_4069',['KeyNodes',['../classSVF_1_1SymState.html#a5673a4c91533436a993164aa477ff3d8',1,'SVF::SymState']]],
+  ['keynodesset_4070',['KeyNodesSet',['../classSVF_1_1SymState.html#adb33bdc2c5b70a0f35d29d213ebf7957',1,'SVF::SymState']]],
+  ['keytoidmap_4071',['KeyToIDMap',['../classSVF_1_1PersistentPTData.html#aa4660a55bee52fc51248d694d475811f',1,'SVF::PersistentPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDiffPTData.html#a4e706309fe4bb40b4424251888363215',1,'SVF::PersistentDiffPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f',1,'SVF::PersistentDFPTData::KeyToIDMap()'],['../classSVF_1_1PersistentVersionedPTData.html#a1927ccf9bb74b698f540f683e7f0d0f2',1,'SVF::PersistentVersionedPTData::KeyToIDMap()']]],
+  ['kgrn_4072',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
+  ['kind_4073',['kind',['../structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71',1,'SVF::GrammarBase::Symbol::kind()'],['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8',1,'SVF::SVFType::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()'],['../classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187',1,'SVF::GrammarBase::Kind()'],['../classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48',1,'SVF::CFLGraphBuilder::Kind()'],['../classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b',1,'SVF::CFLGraph::Kind()']]],
+  ['kind_5fbase_4074',['KIND_BASE',['../SVFFileSystem_8h.html#acd86635235837daec1e66a538e45a4fb',1,'KIND_BASE(): SVFFileSystem.h'],['../namespaceSVF.html#aa81412ec5448c62dc58da70b9273ef91',1,'SVF::KIND_BASE(SVFType, getKind)'],['../namespaceSVF.html#a28b5404a75ba04062cabecaf4fca7085',1,'SVF::KIND_BASE(SVFValue, getKind)'],['../namespaceSVF.html#aefb308b807c4269535bfe6b02c2120c5',1,'SVF::KIND_BASE(SVFVar, getNodeKind)'],['../namespaceSVF.html#a3981f20e4370c813ff5e6cdfd11f755b',1,'SVF::KIND_BASE(SVFStmt, getEdgeKind)'],['../namespaceSVF.html#af9c942a1636ef3aec3f8514860afa62a',1,'SVF::KIND_BASE(ICFGNode, getNodeKind)'],['../namespaceSVF.html#ac3fd2f7f44855f359f9076cd6d7385f6',1,'SVF::KIND_BASE(ICFGEdge, getEdgeKind)'],['../namespaceSVF.html#a114452eb86b8c4b9c40bdd56ad0882ad',1,'SVF::KIND_BASE(CHNode, getNodeKind)'],['../namespaceSVF.html#a8a53cabf0a8859e69e8662652fcd9bd5',1,'SVF::KIND_BASE(CHEdge, getEdgeKind)']]],
+  ['kindbasehelper_4075',['KindBaseHelper',['../structSVF_1_1KindBaseHelper.html',1,'SVF']]],
+  ['kindbaset_4076',['KindBaseT',['../namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856',1,'SVF']]],
+  ['kindtoattrsmap_4077',['kindToAttrsMap',['../classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c',1,'SVF::GrammarBase::kindToAttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068',1,'SVF::CFLGraphBuilder::kindToAttrsMap()']]],
+  ['kindtolabelmap_4078',['kindToLabelMap',['../classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e',1,'SVF::CFLGraphBuilder']]],
+  ['kindtoptasvfstmtsetmap_4079',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
+  ['kindtostr_4080',['kindToStr',['../classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3',1,'SVF::GrammarBase']]],
+  ['kindtosvfstmtmapty_4081',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]],
+  ['kindtosvfstmtsetmap_4082',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]],
+  ['knrm_4083',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
+  ['kpur_4084',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
+  ['kred_4085',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
+  ['kwht_4086',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
+  ['kyel_4087',['KYEL',['../SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a',1,'SVFUtil.cpp']]]
 ];

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

@@ -1,118 +1,118 @@
 var searchData=
 [
-  ['label_4069',['Label',['../namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9',1,'SVF']]],
-  ['labeltokindmap_4070',['labelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f',1,'SVF::CFLGraphBuilder']]],
-  ['landingpadinst_4071',['LandingPadInst',['../namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71',1,'SVF']]],
-  ['largestregion_4072',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['last_5ffcmp_5fpredicate_4073',['LAST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69',1,'SVF::CmpStmt']]],
-  ['last_5ficmp_5fpredicate_4074',['LAST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e',1,'SVF::CmpStmt']]],
-  ['lb_4075',['lb',['../classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264',1,'SVF::IntervalValue']]],
-  ['ldnodeset_4076',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
-  ['leadingzeroscounter_4077',['LeadingZerosCounter',['../structSVF_1_1LeadingZerosCounter.html',1,'SVF']]],
-  ['leak_5ftype_4078',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
-  ['leakchecker_4079',['LeakChecker',['../classSVF_1_1LeakChecker.html',1,'SVF::LeakChecker'],['../classSVF_1_1LeakChecker.html#af1140475e97947d193784d2b90809036',1,'SVF::LeakChecker::LeakChecker()'],['../saber_8cpp.html#a789415bb7081a399af0d4218ead5e6a5',1,'LEAKCHECKER(): saber.cpp']]],
-  ['leakchecker_2ecpp_4080',['LeakChecker.cpp',['../LeakChecker_8cpp.html',1,'']]],
-  ['leakchecker_2eh_4081',['LeakChecker.h',['../LeakChecker_8h.html',1,'']]],
-  ['length_4082',['length',['../structparse__buffer.html#a036970e9335896d3cee8459eda9e2eb9',1,'parse_buffer::length()'],['../structprintbuffer.html#a1a679f8b6fe9b413fb3a87203b0f5bc8',1,'printbuffer::length()'],['../cJSON_8h.html#a9f237f17f4e79d5b89149e09152edabe',1,'length(): cJSON.h'],['../cJSON_8cpp.html#a9f237f17f4e79d5b89149e09152edabe',1,'length(): cJSON.cpp']]],
-  ['leq_4083',['leq',['../classSVF_1_1BoundedZ3Expr.html#af962942fbf3341f0679959cfd810d3a5',1,'SVF::BoundedZ3Expr::leq()'],['../classSVF_1_1IntervalValue.html#a2dd004dda59ee5271081afd082374039',1,'SVF::IntervalValue::leq()'],['../classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b',1,'SVF::NumericLiteral::leq()'],['../classSVF_1_1SingleAbsValue.html#aea878187748d809fdcc2568273a8d65b',1,'SVF::SingleAbsValue::leq()']]],
-  ['lessthanvartovalmap_4084',['lessThanVarToValMap',['../classSVF_1_1ConsExeState.html#a4878ea0f5c2cc014ac2f5ecbc6534466',1,'SVF::ConsExeState::lessThanVarToValMap()'],['../classSVF_1_1IntervalESBase.html#af1837e907961eb3594b817b62b9ea9a3',1,'SVF::IntervalESBase::lessThanVarToValMap()'],['../classSVF_1_1RelExeState.html#a1bc5dc440ad614fd7b4804bfa88c37c0',1,'SVF::RelExeState::lessThanVarToValMap()']]],
-  ['list_4085',['List',['../classSVF_1_1List.html',1,'SVF::List< Data >'],['../classSVF_1_1List.html#aeb697e85085a332e5d593b6f8ee95713',1,'SVF::List::List()']]],
-  ['listnode_4086',['ListNode',['../classSVF_1_1List_1_1ListNode.html',1,'SVF::List< Data >::ListNode'],['../classSVF_1_1List_1_1ListNode.html#a9a9f6cf03627a5a115c64776039f8dbc',1,'SVF::List::ListNode::ListNode()']]],
-  ['llvm_4087',['llvm',['../namespacellvm.html',1,'']]],
-  ['llvm2svf_2ecpp_4088',['llvm2svf.cpp',['../llvm2svf_8cpp.html',1,'']]],
-  ['llvm_5fhas_5fcpp_5fattribute_4089',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
-  ['llvm_5fnodiscard_4090',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]],
-  ['llvmargument2svfargument_4091',['LLVMArgument2SVFArgument',['../classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480',1,'SVF::LLVMModuleSet']]],
-  ['llvmargument2svfargumentmap_4092',['LLVMArgument2SVFArgumentMap',['../classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0',1,'SVF::LLVMModuleSet']]],
-  ['llvmbb2svfbb_4093',['LLVMBB2SVFBB',['../classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c',1,'SVF::LLVMModuleSet']]],
-  ['llvmbb2svfbbmap_4094',['LLVMBB2SVFBBMap',['../classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911',1,'SVF::LLVMModuleSet']]],
-  ['llvmconst2svfconst_4095',['LLVMConst2SVFConst',['../classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc',1,'SVF::LLVMModuleSet']]],
-  ['llvmconst2svfconstmap_4096',['LLVMConst2SVFConstMap',['../classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede',1,'SVF::LLVMModuleSet']]],
-  ['llvmcontext_4097',['LLVMContext',['../namespaceSVF.html#affba423b674a0aba723e33101826e297',1,'SVF']]],
-  ['llvmfun2svffunmap_4098',['LLVMFun2SVFFunMap',['../classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242',1,'SVF::LLVMModuleSet']]],
-  ['llvmfunc2svffunc_4099',['LLVMFunc2SVFFunc',['../classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15',1,'SVF::LLVMModuleSet']]],
-  ['llvminst2svfinst_4100',['LLVMInst2SVFInst',['../classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0',1,'SVF::LLVMModuleSet']]],
-  ['llvminst2svfinstmap_4101',['LLVMInst2SVFInstMap',['../classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f',1,'SVF::LLVMModuleSet']]],
-  ['llvmloopanalysis_4102',['LLVMLoopAnalysis',['../classSVF_1_1LLVMLoopAnalysis.html',1,'SVF::LLVMLoopAnalysis'],['../classSVF_1_1LLVMLoopAnalysis.html#a93161bbdb47c74fce1d8e54a45df2df8',1,'SVF::LLVMLoopAnalysis::LLVMLoopAnalysis()']]],
-  ['llvmloopanalysis_2ecpp_4103',['LLVMLoopAnalysis.cpp',['../LLVMLoopAnalysis_8cpp.html',1,'']]],
-  ['llvmloopanalysis_2eh_4104',['LLVMLoopAnalysis.h',['../LLVMLoopAnalysis_8h.html',1,'']]],
-  ['llvmmodule_2ecpp_4105',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
-  ['llvmmodule_2eh_4106',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
-  ['llvmmoduleset_4107',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1SVFType.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFType::LLVMModuleSet()'],['../classSVF_1_1SVFValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFValue::LLVMModuleSet()'],['../classSVF_1_1SVFFunction.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFFunction::LLVMModuleSet()'],['../classSVF_1_1SVFBasicBlock.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFBasicBlock::LLVMModuleSet()'],['../classSVF_1_1SVFCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFVirtualCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFVirtualCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFGlobalValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFGlobalValue::LLVMModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#aaa23ad390e9148ba6302fea8d4595080',1,'SVF::LLVMModuleSet::LLVMModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()']]],
-  ['llvmtype2svftype_4108',['LLVMType2SVFType',['../classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f',1,'SVF::LLVMModuleSet']]],
-  ['llvmtype2svftypemap_4109',['LLVMType2SVFTypeMap',['../classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69',1,'SVF::LLVMModuleSet']]],
-  ['llvmutil_2ecpp_4110',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
-  ['llvmutil_2eh_4111',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
-  ['llvmvalue2svfothervalue_4112',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
-  ['llvmvalue2svfothervaluemap_4113',['LLVMValue2SVFOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f',1,'SVF::LLVMModuleSet']]],
-  ['load_4114',['load',['../classSVF_1_1ConsExeState.html#a2fa6360da2149684a9771fdbfae71a66',1,'SVF::ConsExeState::load(const SingleAbsValue &loc)'],['../classSVF_1_1ConsExeState.html#a1e6120a331c4d129c66f994e86b62a78',1,'SVF::ConsExeState::load(u32_t objId)'],['../classSVF_1_1IntervalESBase.html#a93c2088eacb3859d5e54899d3fa6b45f',1,'SVF::IntervalESBase::load()'],['../classSVF_1_1IntervalExeState.html#a960ec3359dfcb5e89fb66120c868ac5e',1,'SVF::IntervalExeState::load()'],['../classSVF_1_1RelExeState.html#aa550a580be3278d19f759b3a644baea5',1,'SVF::RelExeState::load(const Z3Expr &loc)'],['../classSVF_1_1RelExeState.html#a72ec0766984f31168ad59a4ee23bcc9d',1,'SVF::RelExeState::load(u32_t objId)'],['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()']]],
-  ['load2musetmap_4115',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
-  ['loadaddrs_4116',['loadAddrs',['../classSVF_1_1ConsExeState.html#a865998aed7e292ebd15532506eadea55',1,'SVF::ConsExeState::loadAddrs()'],['../classSVF_1_1ExeState.html#a9e0fd700bea1ac741d96b4f52fd4756f',1,'SVF::ExeState::loadAddrs()'],['../classSVF_1_1IntervalESBase.html#a1a012a83e3c2808e24ba8d5da4fbd85b',1,'SVF::IntervalESBase::loadAddrs()'],['../classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a',1,'SVF::IntervalExeState::loadAddrs()']]],
-  ['loadcgedge_4117',['LoadCGEdge',['../classSVF_1_1LoadCGEdge.html',1,'SVF::LoadCGEdge'],['../classSVF_1_1LoadCGEdge.html#a74ccf27a1e90fb8f47e9cecf7bd38cf7',1,'SVF::LoadCGEdge::LoadCGEdge()'],['../classSVF_1_1LoadCGEdge.html#a7dd1e2dd057e0985fd837222f8042019',1,'SVF::LoadCGEdge::LoadCGEdge(const LoadCGEdge &)'],['../classSVF_1_1LoadCGEdge.html#a36a21551732bbe3f7ff4babc0804bff2',1,'SVF::LoadCGEdge::LoadCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
-  ['loadcgedgeset_4118',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
-  ['loadextapimodules_4119',['loadExtAPIModules',['../classSVF_1_1LLVMModuleSet.html#a8820d1df9098db6eadf3a9c67e380e55',1,'SVF::LLVMModuleSet']]],
-  ['loadinedges_4120',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
-  ['loadinst_4121',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
-  ['loadmodules_4122',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
-  ['loadmssamu_4123',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
-  ['loadmu_4124',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1LoadMU.html#ae092d4197b966d428d7ffdd9146621b4',1,'SVF::LoadMU::LoadMU()'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()']]],
-  ['loadoutedges_4125',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
-  ['loadset_4126',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()'],['../classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e',1,'SVF::MTA::LoadSet()']]],
-  ['loadsrcnodes_4127',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
-  ['loadstmt_4128',['LoadStmt',['../classSVF_1_1LoadStmt.html',1,'SVF::LoadStmt'],['../classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22',1,'SVF::LoadStmt::LoadStmt()'],['../classSVF_1_1LoadStmt.html#a2efafa925a30de73735ca73b1632b5f8',1,'SVF::LoadStmt::LoadStmt(const LoadStmt &)'],['../classSVF_1_1LoadStmt.html#a92c5817abfaa1f6fbc9ee911f458dfb2',1,'SVF::LoadStmt::LoadStmt(SVFVar *s, SVFVar *d)']]],
-  ['loadstomrsmap_4129',['LoadsToMRsMap',['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()']]],
-  ['loadstopointstomap_4130',['LoadsToPointsToMap',['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()']]],
-  ['loadsvfgnode_4131',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
-  ['loadtime_4132',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
-  ['loadtomusetmap_4133',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
-  ['loadtoptcvarmap_4134',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
-  ['loadvfgnode_4135',['LoadVFGNode',['../classSVF_1_1LoadVFGNode.html',1,'SVF::LoadVFGNode'],['../classSVF_1_1LoadVFGNode.html#aca72f4582e33a2d4ef3a96dd2936f567',1,'SVF::LoadVFGNode::LoadVFGNode()'],['../classSVF_1_1LoadVFGNode.html#afe482a8a05b0efc45ceb4052ea87a039',1,'SVF::LoadVFGNode::LoadVFGNode(const LoadVFGNode &)'],['../classSVF_1_1LoadVFGNode.html#a8ae07c41215e9c7544c45e581c18c29b',1,'SVF::LoadVFGNode::LoadVFGNode(NodeID id, const LoadStmt *edge)']]],
-  ['loadwordproductions_4136',['loadWordProductions',['../classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62',1,'SVF::GrammarBuilder']]],
-  ['localeconv_4137',['localeconv',['../extapi_8c.html#a69b40f71a20a7c8bd67b9eeeae7f40c9',1,'extapi.c']]],
-  ['localtime_4138',['localtime',['../extapi_8c.html#adb012b56c91f15a89702bfff38c7e69c',1,'extapi.c']]],
-  ['localtime_5fr_4139',['localtime_r',['../extapi_8c.html#aa8b9c0d3e4e549fa2dc2e654afa1d09a',1,'extapi.c']]],
-  ['localvarinrecursion_4140',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
-  ['locdpitem_4141',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],
-  ['locid_4142',['LocID',['../classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786',1,'SVF::DFPTData::LocID()'],['../classSVF_1_1MutableDFPTData.html#ae847b982baec8115ede5d7d28cd91d34',1,'SVF::MutableDFPTData::LocID()'],['../classSVF_1_1MutableIncDFPTData.html#a74d9f271ea0fa69e56ddbe16f10f3241',1,'SVF::MutableIncDFPTData::LocID()'],['../classSVF_1_1PersistentDFPTData.html#a76d8a4f907269e9980f39c531806e96b',1,'SVF::PersistentDFPTData::LocID()'],['../classSVF_1_1PersistentIncDFPTData.html#a77bdc80a999296bcfa8d9f1f92c933d1',1,'SVF::PersistentIncDFPTData::LocID()']]],
-  ['lock_4143',['LOCK',['../classSVF_1_1LockResultValidator.html#a5423c0cf9624c42bcd8a9a8adaa22dcb',1,'SVF::LockResultValidator']]],
-  ['lock_5fflag_4144',['LOCK_FLAG',['../classSVF_1_1LockResultValidator.html#a3b7d25dfe5251f49afbb733c25eee70f',1,'SVF::LockResultValidator']]],
-  ['lock_5fimprecise_4145',['LOCK_IMPRECISE',['../classSVF_1_1LockResultValidator.html#a760c0f6f891daa4532a44c6594794bb8',1,'SVF::LockResultValidator']]],
-  ['lock_5ftrue_4146',['LOCK_TRUE',['../classSVF_1_1LockResultValidator.html#a005c38dd07eb66d52066fa1927b1e19f',1,'SVF::LockResultValidator']]],
-  ['lock_5funsound_4147',['LOCK_UNSOUND',['../classSVF_1_1LockResultValidator.html#a03589368482d3f7ee7f6734e257dcbdf',1,'SVF::LockResultValidator']]],
-  ['lockana_4148',['lockana',['../classSVF_1_1MTASVFGBuilder.html#a00bf5aaf3095bb271f2cbd3c35749ce2',1,'SVF::MTASVFGBuilder::lockana()'],['../classSVF_1_1FSMPTA.html#abf8f7645c51f3a8c70ca542de5b7d6c9',1,'SVF::FSMPTA::lockana()']]],
-  ['lockanalysis_4149',['LockAnalysis',['../classSVF_1_1LockAnalysis.html',1,'SVF::LockAnalysis'],['../classSVF_1_1LockAnalysis.html#af8aff31058caba691c127b8aef297b43',1,'SVF::LockAnalysis::LockAnalysis()']]],
-  ['lockanalysis_2ecpp_4150',['LockAnalysis.cpp',['../LockAnalysis_8cpp.html',1,'']]],
-  ['lockanalysis_2eh_4151',['LockAnalysis.h',['../LockAnalysis_8h.html',1,'']]],
-  ['lockcandidatefuncset_4152',['lockcandidateFuncSet',['../classSVF_1_1LockAnalysis.html#a484eb7b6f49f47a3e71054c3b798a47a',1,'SVF::LockAnalysis']]],
-  ['lockqueriestime_4153',['lockQueriesTime',['../classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d',1,'SVF::LockAnalysis']]],
-  ['lockresultvalidator_4154',['LockResultValidator',['../classSVF_1_1LockResultValidator.html',1,'SVF::LockResultValidator'],['../classSVF_1_1LockResultValidator.html#acfe0b43eee73c5e02f5744d8993cb529',1,'SVF::LockResultValidator::LockResultValidator()']]],
-  ['lockresultvalidator_2ecpp_4155',['LockResultValidator.cpp',['../LockResultValidator_8cpp.html',1,'']]],
-  ['lockresultvalidator_2eh_4156',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]],
-  ['lockset_4157',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
-  ['locksites_4158',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
-  ['locksitetolockset_4159',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#aaf04c86a10b341a17d035868cd8d1ca7',1,'SVF::LockAnalysis']]],
-  ['lockspan_4160',['lockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan::lockSpan()'],['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()']]],
-  ['locktime_4161',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
-  ['lockvalid_4162',['LockValid',['../classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec',1,'SVF::Options']]],
-  ['locmemmodel_4163',['LocMemModel',['../classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050',1,'SVF::Options']]],
-  ['loctoaddrs_4164',['locToAddrs',['../classSVF_1_1ConsExeState.html#a4136ad2172772347e8d6aedc2f8b811e',1,'SVF::ConsExeState::locToAddrs()'],['../classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403',1,'SVF::ExeState::locToAddrs()']]],
-  ['loctodpmsetmap_4165',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
-  ['loctodpmvecmap_4166',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
-  ['loctostring_4167',['locToString',['../classSVF_1_1ConsExeState.html#a2c4c9f57bf31e8716bbfced40931fe5d',1,'SVF::ConsExeState']]],
-  ['loctovalmap_4168',['LocToValMap',['../classSVF_1_1ConsExeState.html#a559fb9ebd9c5ca18bb0b9ea062cd27db',1,'SVF::ConsExeState::LocToValMap()'],['../classSVF_1_1IntervalESBase.html#a2c8cf00ffaa36fed2e634adbaff7b412',1,'SVF::IntervalESBase::LocToValMap()'],['../classSVF_1_1RelExeState.html#aae7d4cc75071ce34d68bd4e1709bd2c8',1,'SVF::RelExeState::LocToValMap()']]],
-  ['locversionmap_4169',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
-  ['lookupcomplements_4170',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
-  ['lookupintersections_4171',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
-  ['lookupunions_4172',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
-  ['loop_4173',['Loop',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7',1,'SVF::SVFBugEvent::Loop()'],['../namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314',1,'SVF::Loop()']]],
-  ['loopanalysis_4174',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
-  ['loopanddom_4175',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
-  ['loopbbs_4176',['LoopBBs',['../classSVF_1_1MHP.html#a2c3dcb480ef332bd4aff991df39f3e34',1,'SVF::MHP::LoopBBs()'],['../classSVF_1_1ForkJoinAnalysis.html#a159bbd4352fcffa93c97281ab9d229b1',1,'SVF::ForkJoinAnalysis::LoopBBs()'],['../classSVF_1_1TCT.html#aeb61fffa4861cb1146676869d85d3773',1,'SVF::TCT::LoopBBs()'],['../classSVF_1_1SVFLoopAndDomInfo.html#ae5e2b154313b4330bb015050aec72a1f',1,'SVF::SVFLoopAndDomInfo::LoopBBs()'],['../classSVF_1_1SVFFunction.html#a837e67c823d5323c5462e78f5bbe6e64',1,'SVF::SVFFunction::LoopBBs()']]],
-  ['loopbound_4177',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()']]],
-  ['loopcontainsbb_4178',['loopContainsBB',['../classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117',1,'SVF::SVFLoopAndDomInfo::loopContainsBB()'],['../classSVF_1_1SVFFunction.html#a1cf90f3c56ae200bef2a9e6a67ff97bf',1,'SVF::SVFFunction::loopContainsBB()']]],
-  ['loopinfo_4179',['LoopInfo',['../namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5',1,'SVF']]],
-  ['lowlink_4180',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
-  ['lsa_4181',['lsa',['../classSVF_1_1RaceValidator.html#a6982b72e3e2551deab80d9e3fefaab64',1,'SVF::RaceValidator::lsa()'],['../classSVF_1_1MTAAnnotator.html#a42a5c0eac879be5e300583aa7d07beb0',1,'SVF::MTAAnnotator::lsa()'],['../classSVF_1_1MTA.html#a80a44f3aa41d4259523c94044983c509',1,'SVF::MTA::lsa()']]],
-  ['lshr_4182',['lshr',['../classSVF_1_1BoundedZ3Expr.html#adc4486fb78e2efbd67be311903917117',1,'SVF::BoundedZ3Expr::lshr()'],['../classSVF_1_1SingleAbsValue.html#afd0286acbccb8b7630ca2e086ea303b2',1,'SVF::SingleAbsValue::lshr()'],['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1',1,'SVF::BinaryOPStmt::LShr()']]],
-  ['lsrelation_4183',['LSRelation',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245',1,'SVF::AccessPath']]]
+  ['label_4088',['Label',['../namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9',1,'SVF']]],
+  ['labeltokindmap_4089',['labelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f',1,'SVF::CFLGraphBuilder']]],
+  ['landingpadinst_4090',['LandingPadInst',['../namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71',1,'SVF']]],
+  ['largestregion_4091',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['last_5ffcmp_5fpredicate_4092',['LAST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69',1,'SVF::CmpStmt']]],
+  ['last_5ficmp_5fpredicate_4093',['LAST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e',1,'SVF::CmpStmt']]],
+  ['lb_4094',['lb',['../classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264',1,'SVF::IntervalValue']]],
+  ['ldnodeset_4095',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
+  ['leadingzeroscounter_4096',['LeadingZerosCounter',['../structSVF_1_1LeadingZerosCounter.html',1,'SVF']]],
+  ['leak_5ftype_4097',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
+  ['leakchecker_4098',['LeakChecker',['../classSVF_1_1LeakChecker.html',1,'SVF::LeakChecker'],['../classSVF_1_1LeakChecker.html#af1140475e97947d193784d2b90809036',1,'SVF::LeakChecker::LeakChecker()'],['../saber_8cpp.html#a789415bb7081a399af0d4218ead5e6a5',1,'LEAKCHECKER(): saber.cpp']]],
+  ['leakchecker_2ecpp_4099',['LeakChecker.cpp',['../LeakChecker_8cpp.html',1,'']]],
+  ['leakchecker_2eh_4100',['LeakChecker.h',['../LeakChecker_8h.html',1,'']]],
+  ['length_4101',['length',['../structparse__buffer.html#a036970e9335896d3cee8459eda9e2eb9',1,'parse_buffer::length()'],['../structprintbuffer.html#a1a679f8b6fe9b413fb3a87203b0f5bc8',1,'printbuffer::length()'],['../cJSON_8h.html#a9f237f17f4e79d5b89149e09152edabe',1,'length(): cJSON.h'],['../cJSON_8cpp.html#a9f237f17f4e79d5b89149e09152edabe',1,'length(): cJSON.cpp']]],
+  ['leq_4102',['leq',['../classSVF_1_1BoundedZ3Expr.html#af962942fbf3341f0679959cfd810d3a5',1,'SVF::BoundedZ3Expr::leq()'],['../classSVF_1_1IntervalValue.html#a2dd004dda59ee5271081afd082374039',1,'SVF::IntervalValue::leq()'],['../classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b',1,'SVF::NumericLiteral::leq()'],['../classSVF_1_1SingleAbsValue.html#aea878187748d809fdcc2568273a8d65b',1,'SVF::SingleAbsValue::leq()']]],
+  ['lessthanvartovalmap_4103',['lessThanVarToValMap',['../classSVF_1_1ConsExeState.html#a4878ea0f5c2cc014ac2f5ecbc6534466',1,'SVF::ConsExeState::lessThanVarToValMap()'],['../classSVF_1_1IntervalESBase.html#af1837e907961eb3594b817b62b9ea9a3',1,'SVF::IntervalESBase::lessThanVarToValMap()'],['../classSVF_1_1RelExeState.html#a1bc5dc440ad614fd7b4804bfa88c37c0',1,'SVF::RelExeState::lessThanVarToValMap()']]],
+  ['list_4104',['List',['../classSVF_1_1List.html',1,'SVF::List< Data >'],['../classSVF_1_1List.html#aeb697e85085a332e5d593b6f8ee95713',1,'SVF::List::List()']]],
+  ['listnode_4105',['ListNode',['../classSVF_1_1List_1_1ListNode.html',1,'SVF::List< Data >::ListNode'],['../classSVF_1_1List_1_1ListNode.html#a9a9f6cf03627a5a115c64776039f8dbc',1,'SVF::List::ListNode::ListNode()']]],
+  ['llvm_4106',['llvm',['../namespacellvm.html',1,'']]],
+  ['llvm2svf_2ecpp_4107',['llvm2svf.cpp',['../llvm2svf_8cpp.html',1,'']]],
+  ['llvm_5fhas_5fcpp_5fattribute_4108',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
+  ['llvm_5fnodiscard_4109',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]],
+  ['llvmargument2svfargument_4110',['LLVMArgument2SVFArgument',['../classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480',1,'SVF::LLVMModuleSet']]],
+  ['llvmargument2svfargumentmap_4111',['LLVMArgument2SVFArgumentMap',['../classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0',1,'SVF::LLVMModuleSet']]],
+  ['llvmbb2svfbb_4112',['LLVMBB2SVFBB',['../classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c',1,'SVF::LLVMModuleSet']]],
+  ['llvmbb2svfbbmap_4113',['LLVMBB2SVFBBMap',['../classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911',1,'SVF::LLVMModuleSet']]],
+  ['llvmconst2svfconst_4114',['LLVMConst2SVFConst',['../classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc',1,'SVF::LLVMModuleSet']]],
+  ['llvmconst2svfconstmap_4115',['LLVMConst2SVFConstMap',['../classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede',1,'SVF::LLVMModuleSet']]],
+  ['llvmcontext_4116',['LLVMContext',['../namespaceSVF.html#affba423b674a0aba723e33101826e297',1,'SVF']]],
+  ['llvmfun2svffunmap_4117',['LLVMFun2SVFFunMap',['../classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242',1,'SVF::LLVMModuleSet']]],
+  ['llvmfunc2svffunc_4118',['LLVMFunc2SVFFunc',['../classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15',1,'SVF::LLVMModuleSet']]],
+  ['llvminst2svfinst_4119',['LLVMInst2SVFInst',['../classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0',1,'SVF::LLVMModuleSet']]],
+  ['llvminst2svfinstmap_4120',['LLVMInst2SVFInstMap',['../classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f',1,'SVF::LLVMModuleSet']]],
+  ['llvmloopanalysis_4121',['LLVMLoopAnalysis',['../classSVF_1_1LLVMLoopAnalysis.html',1,'SVF::LLVMLoopAnalysis'],['../classSVF_1_1LLVMLoopAnalysis.html#a93161bbdb47c74fce1d8e54a45df2df8',1,'SVF::LLVMLoopAnalysis::LLVMLoopAnalysis()']]],
+  ['llvmloopanalysis_2ecpp_4122',['LLVMLoopAnalysis.cpp',['../LLVMLoopAnalysis_8cpp.html',1,'']]],
+  ['llvmloopanalysis_2eh_4123',['LLVMLoopAnalysis.h',['../LLVMLoopAnalysis_8h.html',1,'']]],
+  ['llvmmodule_2ecpp_4124',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
+  ['llvmmodule_2eh_4125',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
+  ['llvmmoduleset_4126',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()'],['../classSVF_1_1SVFType.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFType::LLVMModuleSet()'],['../classSVF_1_1SVFValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFValue::LLVMModuleSet()'],['../classSVF_1_1SVFFunction.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFFunction::LLVMModuleSet()'],['../classSVF_1_1SVFBasicBlock.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFBasicBlock::LLVMModuleSet()'],['../classSVF_1_1SVFCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFVirtualCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFVirtualCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFGlobalValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFGlobalValue::LLVMModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#aaa23ad390e9148ba6302fea8d4595080',1,'SVF::LLVMModuleSet::LLVMModuleSet()']]],
+  ['llvmtype2svftype_4127',['LLVMType2SVFType',['../classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f',1,'SVF::LLVMModuleSet']]],
+  ['llvmtype2svftypemap_4128',['LLVMType2SVFTypeMap',['../classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69',1,'SVF::LLVMModuleSet']]],
+  ['llvmutil_2ecpp_4129',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
+  ['llvmutil_2eh_4130',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
+  ['llvmvalue2svfothervalue_4131',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
+  ['llvmvalue2svfothervaluemap_4132',['LLVMValue2SVFOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f',1,'SVF::LLVMModuleSet']]],
+  ['load_4133',['load',['../classSVF_1_1ConsExeState.html#a2fa6360da2149684a9771fdbfae71a66',1,'SVF::ConsExeState::load(const SingleAbsValue &loc)'],['../classSVF_1_1ConsExeState.html#a1e6120a331c4d129c66f994e86b62a78',1,'SVF::ConsExeState::load(u32_t objId)'],['../classSVF_1_1IntervalESBase.html#a93c2088eacb3859d5e54899d3fa6b45f',1,'SVF::IntervalESBase::load()'],['../classSVF_1_1IntervalExeState.html#a960ec3359dfcb5e89fb66120c868ac5e',1,'SVF::IntervalExeState::load()'],['../classSVF_1_1RelExeState.html#aa550a580be3278d19f759b3a644baea5',1,'SVF::RelExeState::load(const Z3Expr &loc)'],['../classSVF_1_1RelExeState.html#a72ec0766984f31168ad59a4ee23bcc9d',1,'SVF::RelExeState::load(u32_t objId)'],['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()']]],
+  ['load2musetmap_4134',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
+  ['loadaddrs_4135',['loadAddrs',['../classSVF_1_1ConsExeState.html#a865998aed7e292ebd15532506eadea55',1,'SVF::ConsExeState::loadAddrs()'],['../classSVF_1_1ExeState.html#a9e0fd700bea1ac741d96b4f52fd4756f',1,'SVF::ExeState::loadAddrs()'],['../classSVF_1_1IntervalESBase.html#a1a012a83e3c2808e24ba8d5da4fbd85b',1,'SVF::IntervalESBase::loadAddrs()'],['../classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a',1,'SVF::IntervalExeState::loadAddrs()']]],
+  ['loadcgedge_4136',['LoadCGEdge',['../classSVF_1_1LoadCGEdge.html',1,'SVF::LoadCGEdge'],['../classSVF_1_1LoadCGEdge.html#a74ccf27a1e90fb8f47e9cecf7bd38cf7',1,'SVF::LoadCGEdge::LoadCGEdge()'],['../classSVF_1_1LoadCGEdge.html#a7dd1e2dd057e0985fd837222f8042019',1,'SVF::LoadCGEdge::LoadCGEdge(const LoadCGEdge &)'],['../classSVF_1_1LoadCGEdge.html#a36a21551732bbe3f7ff4babc0804bff2',1,'SVF::LoadCGEdge::LoadCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
+  ['loadcgedgeset_4137',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
+  ['loadextapimodules_4138',['loadExtAPIModules',['../classSVF_1_1LLVMModuleSet.html#a8820d1df9098db6eadf3a9c67e380e55',1,'SVF::LLVMModuleSet']]],
+  ['loadinedges_4139',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
+  ['loadinst_4140',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
+  ['loadmodules_4141',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
+  ['loadmssamu_4142',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
+  ['loadmu_4143',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1LoadMU.html#ae092d4197b966d428d7ffdd9146621b4',1,'SVF::LoadMU::LoadMU()'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()']]],
+  ['loadoutedges_4144',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
+  ['loadset_4145',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()'],['../classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e',1,'SVF::MTA::LoadSet()']]],
+  ['loadsrcnodes_4146',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
+  ['loadstmt_4147',['LoadStmt',['../classSVF_1_1LoadStmt.html',1,'SVF::LoadStmt'],['../classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22',1,'SVF::LoadStmt::LoadStmt()'],['../classSVF_1_1LoadStmt.html#a2efafa925a30de73735ca73b1632b5f8',1,'SVF::LoadStmt::LoadStmt(const LoadStmt &)'],['../classSVF_1_1LoadStmt.html#a92c5817abfaa1f6fbc9ee911f458dfb2',1,'SVF::LoadStmt::LoadStmt(SVFVar *s, SVFVar *d)']]],
+  ['loadstomrsmap_4148',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()']]],
+  ['loadstopointstomap_4149',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
+  ['loadsvfgnode_4150',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
+  ['loadtime_4151',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
+  ['loadtomusetmap_4152',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
+  ['loadtoptcvarmap_4153',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
+  ['loadvfgnode_4154',['LoadVFGNode',['../classSVF_1_1LoadVFGNode.html',1,'SVF::LoadVFGNode'],['../classSVF_1_1LoadVFGNode.html#aca72f4582e33a2d4ef3a96dd2936f567',1,'SVF::LoadVFGNode::LoadVFGNode()'],['../classSVF_1_1LoadVFGNode.html#afe482a8a05b0efc45ceb4052ea87a039',1,'SVF::LoadVFGNode::LoadVFGNode(const LoadVFGNode &)'],['../classSVF_1_1LoadVFGNode.html#a8ae07c41215e9c7544c45e581c18c29b',1,'SVF::LoadVFGNode::LoadVFGNode(NodeID id, const LoadStmt *edge)']]],
+  ['loadwordproductions_4155',['loadWordProductions',['../classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62',1,'SVF::GrammarBuilder']]],
+  ['localeconv_4156',['localeconv',['../extapi_8c.html#a69b40f71a20a7c8bd67b9eeeae7f40c9',1,'extapi.c']]],
+  ['localtime_4157',['localtime',['../extapi_8c.html#adb012b56c91f15a89702bfff38c7e69c',1,'extapi.c']]],
+  ['localtime_5fr_4158',['localtime_r',['../extapi_8c.html#aa8b9c0d3e4e549fa2dc2e654afa1d09a',1,'extapi.c']]],
+  ['localvarinrecursion_4159',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
+  ['locdpitem_4160',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],
+  ['locid_4161',['LocID',['../classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786',1,'SVF::DFPTData::LocID()'],['../classSVF_1_1MutableDFPTData.html#ae847b982baec8115ede5d7d28cd91d34',1,'SVF::MutableDFPTData::LocID()'],['../classSVF_1_1MutableIncDFPTData.html#a74d9f271ea0fa69e56ddbe16f10f3241',1,'SVF::MutableIncDFPTData::LocID()'],['../classSVF_1_1PersistentDFPTData.html#a76d8a4f907269e9980f39c531806e96b',1,'SVF::PersistentDFPTData::LocID()'],['../classSVF_1_1PersistentIncDFPTData.html#a77bdc80a999296bcfa8d9f1f92c933d1',1,'SVF::PersistentIncDFPTData::LocID()']]],
+  ['lock_4162',['LOCK',['../classSVF_1_1LockResultValidator.html#a5423c0cf9624c42bcd8a9a8adaa22dcb',1,'SVF::LockResultValidator']]],
+  ['lock_5fflag_4163',['LOCK_FLAG',['../classSVF_1_1LockResultValidator.html#a3b7d25dfe5251f49afbb733c25eee70f',1,'SVF::LockResultValidator']]],
+  ['lock_5fimprecise_4164',['LOCK_IMPRECISE',['../classSVF_1_1LockResultValidator.html#a760c0f6f891daa4532a44c6594794bb8',1,'SVF::LockResultValidator']]],
+  ['lock_5ftrue_4165',['LOCK_TRUE',['../classSVF_1_1LockResultValidator.html#a005c38dd07eb66d52066fa1927b1e19f',1,'SVF::LockResultValidator']]],
+  ['lock_5funsound_4166',['LOCK_UNSOUND',['../classSVF_1_1LockResultValidator.html#a03589368482d3f7ee7f6734e257dcbdf',1,'SVF::LockResultValidator']]],
+  ['lockana_4167',['lockana',['../classSVF_1_1MTASVFGBuilder.html#a00bf5aaf3095bb271f2cbd3c35749ce2',1,'SVF::MTASVFGBuilder::lockana()'],['../classSVF_1_1FSMPTA.html#abf8f7645c51f3a8c70ca542de5b7d6c9',1,'SVF::FSMPTA::lockana()']]],
+  ['lockanalysis_4168',['LockAnalysis',['../classSVF_1_1LockAnalysis.html',1,'SVF::LockAnalysis'],['../classSVF_1_1LockAnalysis.html#af8aff31058caba691c127b8aef297b43',1,'SVF::LockAnalysis::LockAnalysis()']]],
+  ['lockanalysis_2ecpp_4169',['LockAnalysis.cpp',['../LockAnalysis_8cpp.html',1,'']]],
+  ['lockanalysis_2eh_4170',['LockAnalysis.h',['../LockAnalysis_8h.html',1,'']]],
+  ['lockcandidatefuncset_4171',['lockcandidateFuncSet',['../classSVF_1_1LockAnalysis.html#a484eb7b6f49f47a3e71054c3b798a47a',1,'SVF::LockAnalysis']]],
+  ['lockqueriestime_4172',['lockQueriesTime',['../classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d',1,'SVF::LockAnalysis']]],
+  ['lockresultvalidator_4173',['LockResultValidator',['../classSVF_1_1LockResultValidator.html',1,'SVF::LockResultValidator'],['../classSVF_1_1LockResultValidator.html#acfe0b43eee73c5e02f5744d8993cb529',1,'SVF::LockResultValidator::LockResultValidator()']]],
+  ['lockresultvalidator_2ecpp_4174',['LockResultValidator.cpp',['../LockResultValidator_8cpp.html',1,'']]],
+  ['lockresultvalidator_2eh_4175',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]],
+  ['lockset_4176',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
+  ['locksites_4177',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
+  ['locksitetolockset_4178',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#aaf04c86a10b341a17d035868cd8d1ca7',1,'SVF::LockAnalysis']]],
+  ['lockspan_4179',['lockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan::lockSpan()'],['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()']]],
+  ['locktime_4180',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
+  ['lockvalid_4181',['LockValid',['../classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec',1,'SVF::Options']]],
+  ['locmemmodel_4182',['LocMemModel',['../classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050',1,'SVF::Options']]],
+  ['loctoaddrs_4183',['locToAddrs',['../classSVF_1_1ConsExeState.html#a4136ad2172772347e8d6aedc2f8b811e',1,'SVF::ConsExeState::locToAddrs()'],['../classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403',1,'SVF::ExeState::locToAddrs()']]],
+  ['loctodpmsetmap_4184',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
+  ['loctodpmvecmap_4185',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
+  ['loctostring_4186',['locToString',['../classSVF_1_1ConsExeState.html#a2c4c9f57bf31e8716bbfced40931fe5d',1,'SVF::ConsExeState']]],
+  ['loctovalmap_4187',['LocToValMap',['../classSVF_1_1ConsExeState.html#a559fb9ebd9c5ca18bb0b9ea062cd27db',1,'SVF::ConsExeState::LocToValMap()'],['../classSVF_1_1IntervalESBase.html#a2c8cf00ffaa36fed2e634adbaff7b412',1,'SVF::IntervalESBase::LocToValMap()'],['../classSVF_1_1RelExeState.html#aae7d4cc75071ce34d68bd4e1709bd2c8',1,'SVF::RelExeState::LocToValMap()']]],
+  ['locversionmap_4188',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
+  ['lookupcomplements_4189',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
+  ['lookupintersections_4190',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
+  ['lookupunions_4191',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
+  ['loop_4192',['Loop',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7',1,'SVF::SVFBugEvent::Loop()'],['../namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314',1,'SVF::Loop()']]],
+  ['loopanalysis_4193',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
+  ['loopanddom_4194',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
+  ['loopbbs_4195',['LoopBBs',['../classSVF_1_1MHP.html#a2c3dcb480ef332bd4aff991df39f3e34',1,'SVF::MHP::LoopBBs()'],['../classSVF_1_1ForkJoinAnalysis.html#a159bbd4352fcffa93c97281ab9d229b1',1,'SVF::ForkJoinAnalysis::LoopBBs()'],['../classSVF_1_1TCT.html#aeb61fffa4861cb1146676869d85d3773',1,'SVF::TCT::LoopBBs()'],['../classSVF_1_1SVFLoopAndDomInfo.html#ae5e2b154313b4330bb015050aec72a1f',1,'SVF::SVFLoopAndDomInfo::LoopBBs()'],['../classSVF_1_1SVFFunction.html#a837e67c823d5323c5462e78f5bbe6e64',1,'SVF::SVFFunction::LoopBBs()']]],
+  ['loopbound_4196',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()']]],
+  ['loopcontainsbb_4197',['loopContainsBB',['../classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117',1,'SVF::SVFLoopAndDomInfo::loopContainsBB()'],['../classSVF_1_1SVFFunction.html#a1cf90f3c56ae200bef2a9e6a67ff97bf',1,'SVF::SVFFunction::loopContainsBB()']]],
+  ['loopinfo_4198',['LoopInfo',['../namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5',1,'SVF']]],
+  ['lowlink_4199',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
+  ['lsa_4200',['lsa',['../classSVF_1_1RaceValidator.html#a6982b72e3e2551deab80d9e3fefaab64',1,'SVF::RaceValidator::lsa()'],['../classSVF_1_1MTAAnnotator.html#a42a5c0eac879be5e300583aa7d07beb0',1,'SVF::MTAAnnotator::lsa()'],['../classSVF_1_1MTA.html#a80a44f3aa41d4259523c94044983c509',1,'SVF::MTA::lsa()']]],
+  ['lshr_4201',['lshr',['../classSVF_1_1BoundedZ3Expr.html#adc4486fb78e2efbd67be311903917117',1,'SVF::BoundedZ3Expr::lshr()'],['../classSVF_1_1SingleAbsValue.html#afd0286acbccb8b7630ca2e086ea303b2',1,'SVF::SingleAbsValue::lshr()'],['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1',1,'SVF::BinaryOPStmt::LShr()']]],
+  ['lsrelation_4202',['LSRelation',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245',1,'SVF::AccessPath']]]
 ];