svf-tools 1.0.897 → 1.0.899

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

@@ -1,49 +1,49 @@
 var searchData=
 [
-  ['join_5fwith_3998',['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_3999',['JoinEdgeSet',['../classSVF_1_1ThreadJoinEdge.html#acf768ce9925ee75aea865cd9306afda9',1,'SVF::ThreadJoinEdge::JoinEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa9e07204488ec8f0f83f4e218b6ce6bd',1,'SVF::ThreadCallGraph::JoinEdgeSet()']]],
-  ['joinsites_4000',['joinsites',['../classSVF_1_1ThreadCallGraph.html#aab32b67b314b31d67d58efded50e8f45',1,'SVF::ThreadCallGraph']]],
-  ['joinsitesbegin_4001',['joinsitesBegin',['../classSVF_1_1ThreadCallGraph.html#a98ecfe14be2d38d292b5919716cdd29d',1,'SVF::ThreadCallGraph']]],
-  ['joinsitesend_4002',['joinsitesEnd',['../classSVF_1_1ThreadCallGraph.html#a50502f398e5eac9c6da3e26ea6052057',1,'SVF::ThreadCallGraph']]],
-  ['joinsitetoloopmap_4003',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
-  ['joinwith_4004',['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_4005',['jpeg_std_error',['../extapi_8c.html#ae94edd22063e2b842d914b31af96b741',1,'extapi.c']]],
-  ['json_4006',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
-  ['json_5fchild_4007',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
-  ['json_5fdef_5fread_5ffwd_4008',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
-  ['json_5ffield_5for_4009',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
-  ['json_5fkey_4010',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
-  ['json_5fread_5ffield_5ffwd_4011',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_4012',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5ffwd_4013',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_4014',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_5ffwd_4015',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
-  ['json_5fwrite_5ffield_4016',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
-  ['jsonaddcontenttoobject_4017',['jsonAddContentToObject',['../classSVF_1_1SVFIRWriter.html#a65591d58a251b7f7384126aabccd64a1',1,'SVF::SVFIRWriter']]],
-  ['jsonadditemtoarray_4018',['jsonAddItemToArray',['../namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4',1,'SVF']]],
-  ['jsonadditemtoobject_4019',['jsonAddItemToObject',['../namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3',1,'SVF']]],
-  ['jsonaddjsonabletoobject_4020',['jsonAddJsonableToObject',['../classSVF_1_1SVFIRWriter.html#aecae8cb1f180e463d94c68e5a63a1176',1,'SVF::SVFIRWriter']]],
-  ['jsonaddnumbertoobject_4021',['jsonAddNumberToObject',['../namespaceSVF.html#a06374e1eadf264ee1b9285bb3dfd36a2',1,'SVF']]],
-  ['jsonaddpairtomap_4022',['jsonAddPairToMap',['../namespaceSVF.html#a5f83b548002232dc7590f37a3351ad56',1,'SVF']]],
-  ['jsonaddstringtoobject_4023',['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_4024',['jsonArray',['../classSVF_1_1ReaderPtrPool.html#a7c97bb72f8b612fdebed953ccb3d4ad0',1,'SVF::ReaderPtrPool']]],
-  ['jsoncreatearray_4025',['jsonCreateArray',['../namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14',1,'SVF']]],
-  ['jsoncreatebool_4026',['jsonCreateBool',['../namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555',1,'SVF']]],
-  ['jsoncreateindex_4027',['jsonCreateIndex',['../namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35',1,'SVF']]],
-  ['jsoncreatemap_4028',['jsonCreateMap',['../namespaceSVF.html#a94a4cec5b3ee29a335590943ae30fd65',1,'SVF']]],
-  ['jsoncreatenullid_4029',['jsonCreateNullId',['../namespaceSVF.html#a0f7910523b4290e998024123f594ffb0',1,'SVF']]],
-  ['jsoncreatenumber_4030',['jsonCreateNumber',['../namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e',1,'SVF']]],
-  ['jsoncreateobject_4031',['jsonCreateObject',['../namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4',1,'SVF']]],
-  ['jsoncreatestring_4032',['jsonCreateString',['../namespaceSVF.html#adf8e2485f7cc090ef75c20fff6cf19aa',1,'SVF']]],
-  ['jsonforeach_4033',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]],
-  ['jsongetnumber_4034',['jsonGetNumber',['../namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552',1,'SVF']]],
-  ['jsonisarray_4035',['jsonIsArray',['../namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d',1,'SVF']]],
-  ['jsonisbool_4036',['jsonIsBool',['../namespaceSVF.html#ad830126d4921871b42fc81efbe456509',1,'SVF::jsonIsBool(const cJSON *item)'],['../namespaceSVF.html#a5ac359917fd682d101134ab0b4afdc40',1,'SVF::jsonIsBool(const cJSON *item, bool &flag)']]],
-  ['jsonismap_4037',['jsonIsMap',['../namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac',1,'SVF']]],
-  ['jsonisnullid_4038',['jsonIsNullId',['../namespaceSVF.html#a34a1f3ef61f57ec72a6c202d7a0eaa51',1,'SVF']]],
-  ['jsonisnumber_4039',['jsonIsNumber',['../namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7',1,'SVF']]],
-  ['jsonisobject_4040',['jsonIsObject',['../namespaceSVF.html#ac6a83809ca246bc7a33de3da6b4a4354',1,'SVF']]],
-  ['jsonisstring_4041',['jsonIsString',['../namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49',1,'SVF']]],
-  ['jsonkeyequals_4042',['jsonKeyEquals',['../namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546',1,'SVF']]],
-  ['jsonunpackpair_4043',['jsonUnpackPair',['../namespaceSVF.html#ac5eca7590f00f9cff8824ec739042e0c',1,'SVF']]]
+  ['join_5fwith_4017',['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_4018',['JoinEdgeSet',['../classSVF_1_1ThreadJoinEdge.html#acf768ce9925ee75aea865cd9306afda9',1,'SVF::ThreadJoinEdge::JoinEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa9e07204488ec8f0f83f4e218b6ce6bd',1,'SVF::ThreadCallGraph::JoinEdgeSet()']]],
+  ['joinsites_4019',['joinsites',['../classSVF_1_1ThreadCallGraph.html#aab32b67b314b31d67d58efded50e8f45',1,'SVF::ThreadCallGraph']]],
+  ['joinsitesbegin_4020',['joinsitesBegin',['../classSVF_1_1ThreadCallGraph.html#a98ecfe14be2d38d292b5919716cdd29d',1,'SVF::ThreadCallGraph']]],
+  ['joinsitesend_4021',['joinsitesEnd',['../classSVF_1_1ThreadCallGraph.html#a50502f398e5eac9c6da3e26ea6052057',1,'SVF::ThreadCallGraph']]],
+  ['joinsitetoloopmap_4022',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
+  ['joinwith_4023',['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_4024',['jpeg_std_error',['../extapi_8c.html#ae94edd22063e2b842d914b31af96b741',1,'extapi.c']]],
+  ['json_4025',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
+  ['json_5fchild_4026',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
+  ['json_5fdef_5fread_5ffwd_4027',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
+  ['json_5ffield_5for_4028',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
+  ['json_5fkey_4029',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
+  ['json_5fread_5ffield_5ffwd_4030',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_4031',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5ffwd_4032',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_4033',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_5ffwd_4034',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
+  ['json_5fwrite_5ffield_4035',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
+  ['jsonaddcontenttoobject_4036',['jsonAddContentToObject',['../classSVF_1_1SVFIRWriter.html#a65591d58a251b7f7384126aabccd64a1',1,'SVF::SVFIRWriter']]],
+  ['jsonadditemtoarray_4037',['jsonAddItemToArray',['../namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4',1,'SVF']]],
+  ['jsonadditemtoobject_4038',['jsonAddItemToObject',['../namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3',1,'SVF']]],
+  ['jsonaddjsonabletoobject_4039',['jsonAddJsonableToObject',['../classSVF_1_1SVFIRWriter.html#aecae8cb1f180e463d94c68e5a63a1176',1,'SVF::SVFIRWriter']]],
+  ['jsonaddnumbertoobject_4040',['jsonAddNumberToObject',['../namespaceSVF.html#a06374e1eadf264ee1b9285bb3dfd36a2',1,'SVF']]],
+  ['jsonaddpairtomap_4041',['jsonAddPairToMap',['../namespaceSVF.html#a5f83b548002232dc7590f37a3351ad56',1,'SVF']]],
+  ['jsonaddstringtoobject_4042',['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_4043',['jsonArray',['../classSVF_1_1ReaderPtrPool.html#a7c97bb72f8b612fdebed953ccb3d4ad0',1,'SVF::ReaderPtrPool']]],
+  ['jsoncreatearray_4044',['jsonCreateArray',['../namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14',1,'SVF']]],
+  ['jsoncreatebool_4045',['jsonCreateBool',['../namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555',1,'SVF']]],
+  ['jsoncreateindex_4046',['jsonCreateIndex',['../namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35',1,'SVF']]],
+  ['jsoncreatemap_4047',['jsonCreateMap',['../namespaceSVF.html#a94a4cec5b3ee29a335590943ae30fd65',1,'SVF']]],
+  ['jsoncreatenullid_4048',['jsonCreateNullId',['../namespaceSVF.html#a0f7910523b4290e998024123f594ffb0',1,'SVF']]],
+  ['jsoncreatenumber_4049',['jsonCreateNumber',['../namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e',1,'SVF']]],
+  ['jsoncreateobject_4050',['jsonCreateObject',['../namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4',1,'SVF']]],
+  ['jsoncreatestring_4051',['jsonCreateString',['../namespaceSVF.html#adf8e2485f7cc090ef75c20fff6cf19aa',1,'SVF']]],
+  ['jsonforeach_4052',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]],
+  ['jsongetnumber_4053',['jsonGetNumber',['../namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552',1,'SVF']]],
+  ['jsonisarray_4054',['jsonIsArray',['../namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d',1,'SVF']]],
+  ['jsonisbool_4055',['jsonIsBool',['../namespaceSVF.html#ad830126d4921871b42fc81efbe456509',1,'SVF::jsonIsBool(const cJSON *item)'],['../namespaceSVF.html#a5ac359917fd682d101134ab0b4afdc40',1,'SVF::jsonIsBool(const cJSON *item, bool &flag)']]],
+  ['jsonismap_4056',['jsonIsMap',['../namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac',1,'SVF']]],
+  ['jsonisnullid_4057',['jsonIsNullId',['../namespaceSVF.html#a34a1f3ef61f57ec72a6c202d7a0eaa51',1,'SVF']]],
+  ['jsonisnumber_4058',['jsonIsNumber',['../namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7',1,'SVF']]],
+  ['jsonisobject_4059',['jsonIsObject',['../namespaceSVF.html#ac6a83809ca246bc7a33de3da6b4a4354',1,'SVF']]],
+  ['jsonisstring_4060',['jsonIsString',['../namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49',1,'SVF']]],
+  ['jsonkeyequals_4061',['jsonKeyEquals',['../namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546',1,'SVF']]],
+  ['jsonunpackpair_4062',['jsonUnpackPair',['../namespaceSVF.html#ac5eca7590f00f9cff8824ec739042e0c',1,'SVF']]]
 ];

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

@@ -1,29 +1,29 @@
 var searchData=
 [
-  ['kblu_4044',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
-  ['kcya_4045',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
-  ['keepactualoutformalin_4046',['keepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#a7e57ca56a587a5b59543b5bab7fe794d',1,'SVF::SVFGOPT']]],
-  ['keepallselfcycle_4047',['keepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d',1,'SVF::SVFGOPT::keepAllSelfCycle()'],['../SVFGOPT_8cpp.html#af213fe89264a55a8ff44872905524f2f',1,'KeepAllSelfCycle(): SVFGOPT.cpp']]],
-  ['keepaofi_4048',['KeepAOFI',['../classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37',1,'SVF::Options']]],
-  ['keepcontextselfcycle_4049',['keepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f',1,'SVF::SVFGOPT::keepContextSelfCycle()'],['../SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935',1,'KeepContextSelfCycle(): SVFGOPT.cpp']]],
-  ['keepnoneselfcycle_4050',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
-  ['keynodes_4051',['KeyNodes',['../classSVF_1_1SymState.html#a5673a4c91533436a993164aa477ff3d8',1,'SVF::SymState']]],
-  ['keynodesset_4052',['KeyNodesSet',['../classSVF_1_1SymState.html#adb33bdc2c5b70a0f35d29d213ebf7957',1,'SVF::SymState']]],
-  ['keytoidmap_4053',['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_4054',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
-  ['kind_4055',['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_4056',['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_4057',['KindBaseHelper',['../structSVF_1_1KindBaseHelper.html',1,'SVF']]],
-  ['kindbaset_4058',['KindBaseT',['../namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856',1,'SVF']]],
-  ['kindtoattrsmap_4059',['kindToAttrsMap',['../classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c',1,'SVF::GrammarBase::kindToAttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068',1,'SVF::CFLGraphBuilder::kindToAttrsMap()']]],
-  ['kindtolabelmap_4060',['kindToLabelMap',['../classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e',1,'SVF::CFLGraphBuilder']]],
-  ['kindtoptasvfstmtsetmap_4061',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
-  ['kindtostr_4062',['kindToStr',['../classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3',1,'SVF::GrammarBase']]],
-  ['kindtosvfstmtmapty_4063',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]],
-  ['kindtosvfstmtsetmap_4064',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]],
-  ['knrm_4065',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
-  ['kpur_4066',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
-  ['kred_4067',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
-  ['kwht_4068',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
-  ['kyel_4069',['KYEL',['../SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a',1,'SVFUtil.cpp']]]
+  ['kblu_4063',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
+  ['kcya_4064',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
+  ['keepactualoutformalin_4065',['keepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#a7e57ca56a587a5b59543b5bab7fe794d',1,'SVF::SVFGOPT']]],
+  ['keepallselfcycle_4066',['keepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d',1,'SVF::SVFGOPT::keepAllSelfCycle()'],['../SVFGOPT_8cpp.html#af213fe89264a55a8ff44872905524f2f',1,'KeepAllSelfCycle(): SVFGOPT.cpp']]],
+  ['keepaofi_4067',['KeepAOFI',['../classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37',1,'SVF::Options']]],
+  ['keepcontextselfcycle_4068',['keepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f',1,'SVF::SVFGOPT::keepContextSelfCycle()'],['../SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935',1,'KeepContextSelfCycle(): SVFGOPT.cpp']]],
+  ['keepnoneselfcycle_4069',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
+  ['keynodes_4070',['KeyNodes',['../classSVF_1_1SymState.html#a5673a4c91533436a993164aa477ff3d8',1,'SVF::SymState']]],
+  ['keynodesset_4071',['KeyNodesSet',['../classSVF_1_1SymState.html#adb33bdc2c5b70a0f35d29d213ebf7957',1,'SVF::SymState']]],
+  ['keytoidmap_4072',['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_4073',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
+  ['kind_4074',['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_4075',['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_4076',['KindBaseHelper',['../structSVF_1_1KindBaseHelper.html',1,'SVF']]],
+  ['kindbaset_4077',['KindBaseT',['../namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856',1,'SVF']]],
+  ['kindtoattrsmap_4078',['kindToAttrsMap',['../classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c',1,'SVF::GrammarBase::kindToAttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068',1,'SVF::CFLGraphBuilder::kindToAttrsMap()']]],
+  ['kindtolabelmap_4079',['kindToLabelMap',['../classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e',1,'SVF::CFLGraphBuilder']]],
+  ['kindtoptasvfstmtsetmap_4080',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
+  ['kindtostr_4081',['kindToStr',['../classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3',1,'SVF::GrammarBase']]],
+  ['kindtosvfstmtmapty_4082',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]],
+  ['kindtosvfstmtsetmap_4083',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]],
+  ['knrm_4084',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
+  ['kpur_4085',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
+  ['kred_4086',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
+  ['kwht_4087',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
+  ['kyel_4088',['KYEL',['../SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a',1,'SVFUtil.cpp']]]
 ];

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

@@ -1,118 +1,118 @@
 var searchData=
 [
-  ['label_4070',['Label',['../namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9',1,'SVF']]],
-  ['labeltokindmap_4071',['labelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f',1,'SVF::CFLGraphBuilder']]],
-  ['landingpadinst_4072',['LandingPadInst',['../namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71',1,'SVF']]],
-  ['largestregion_4073',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['last_5ffcmp_5fpredicate_4074',['LAST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69',1,'SVF::CmpStmt']]],
-  ['last_5ficmp_5fpredicate_4075',['LAST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e',1,'SVF::CmpStmt']]],
-  ['lb_4076',['lb',['../classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264',1,'SVF::IntervalValue']]],
-  ['ldnodeset_4077',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
-  ['leadingzeroscounter_4078',['LeadingZerosCounter',['../structSVF_1_1LeadingZerosCounter.html',1,'SVF']]],
-  ['leak_5ftype_4079',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
-  ['leakchecker_4080',['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_4081',['LeakChecker.cpp',['../LeakChecker_8cpp.html',1,'']]],
-  ['leakchecker_2eh_4082',['LeakChecker.h',['../LeakChecker_8h.html',1,'']]],
-  ['length_4083',['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_4084',['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_4085',['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_4086',['List',['../classSVF_1_1List.html',1,'SVF::List< Data >'],['../classSVF_1_1List.html#aeb697e85085a332e5d593b6f8ee95713',1,'SVF::List::List()']]],
-  ['listnode_4087',['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_4088',['llvm',['../namespacellvm.html',1,'']]],
-  ['llvm2svf_2ecpp_4089',['llvm2svf.cpp',['../llvm2svf_8cpp.html',1,'']]],
-  ['llvm_5fhas_5fcpp_5fattribute_4090',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
-  ['llvm_5fnodiscard_4091',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]],
-  ['llvmargument2svfargument_4092',['LLVMArgument2SVFArgument',['../classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480',1,'SVF::LLVMModuleSet']]],
-  ['llvmargument2svfargumentmap_4093',['LLVMArgument2SVFArgumentMap',['../classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0',1,'SVF::LLVMModuleSet']]],
-  ['llvmbb2svfbb_4094',['LLVMBB2SVFBB',['../classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c',1,'SVF::LLVMModuleSet']]],
-  ['llvmbb2svfbbmap_4095',['LLVMBB2SVFBBMap',['../classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911',1,'SVF::LLVMModuleSet']]],
-  ['llvmconst2svfconst_4096',['LLVMConst2SVFConst',['../classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc',1,'SVF::LLVMModuleSet']]],
-  ['llvmconst2svfconstmap_4097',['LLVMConst2SVFConstMap',['../classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede',1,'SVF::LLVMModuleSet']]],
-  ['llvmcontext_4098',['LLVMContext',['../namespaceSVF.html#affba423b674a0aba723e33101826e297',1,'SVF']]],
-  ['llvmfun2svffunmap_4099',['LLVMFun2SVFFunMap',['../classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242',1,'SVF::LLVMModuleSet']]],
-  ['llvmfunc2svffunc_4100',['LLVMFunc2SVFFunc',['../classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15',1,'SVF::LLVMModuleSet']]],
-  ['llvminst2svfinst_4101',['LLVMInst2SVFInst',['../classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0',1,'SVF::LLVMModuleSet']]],
-  ['llvminst2svfinstmap_4102',['LLVMInst2SVFInstMap',['../classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f',1,'SVF::LLVMModuleSet']]],
-  ['llvmloopanalysis_4103',['LLVMLoopAnalysis',['../classSVF_1_1LLVMLoopAnalysis.html',1,'SVF::LLVMLoopAnalysis'],['../classSVF_1_1LLVMLoopAnalysis.html#a93161bbdb47c74fce1d8e54a45df2df8',1,'SVF::LLVMLoopAnalysis::LLVMLoopAnalysis()']]],
-  ['llvmloopanalysis_2ecpp_4104',['LLVMLoopAnalysis.cpp',['../LLVMLoopAnalysis_8cpp.html',1,'']]],
-  ['llvmloopanalysis_2eh_4105',['LLVMLoopAnalysis.h',['../LLVMLoopAnalysis_8h.html',1,'']]],
-  ['llvmmodule_2ecpp_4106',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
-  ['llvmmodule_2eh_4107',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
-  ['llvmmoduleset_4108',['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_4109',['LLVMType2SVFType',['../classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f',1,'SVF::LLVMModuleSet']]],
-  ['llvmtype2svftypemap_4110',['LLVMType2SVFTypeMap',['../classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69',1,'SVF::LLVMModuleSet']]],
-  ['llvmutil_2ecpp_4111',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
-  ['llvmutil_2eh_4112',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
-  ['llvmvalue2svfothervalue_4113',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
-  ['llvmvalue2svfothervaluemap_4114',['LLVMValue2SVFOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f',1,'SVF::LLVMModuleSet']]],
-  ['load_4115',['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_4116',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
-  ['loadaddrs_4117',['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_4118',['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_4119',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
-  ['loadextapimodules_4120',['loadExtAPIModules',['../classSVF_1_1LLVMModuleSet.html#a8820d1df9098db6eadf3a9c67e380e55',1,'SVF::LLVMModuleSet']]],
-  ['loadinedges_4121',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
-  ['loadinst_4122',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
-  ['loadmodules_4123',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
-  ['loadmssamu_4124',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
-  ['loadmu_4125',['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_4126',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
-  ['loadset_4127',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()'],['../classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e',1,'SVF::MTA::LoadSet()']]],
-  ['loadsrcnodes_4128',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
-  ['loadstmt_4129',['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_4130',['LoadsToMRsMap',['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()']]],
-  ['loadstopointstomap_4131',['LoadsToPointsToMap',['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()']]],
-  ['loadsvfgnode_4132',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
-  ['loadtime_4133',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
-  ['loadtomusetmap_4134',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
-  ['loadtoptcvarmap_4135',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
-  ['loadvfgnode_4136',['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_4137',['loadWordProductions',['../classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62',1,'SVF::GrammarBuilder']]],
-  ['localeconv_4138',['localeconv',['../extapi_8c.html#a69b40f71a20a7c8bd67b9eeeae7f40c9',1,'extapi.c']]],
-  ['localtime_4139',['localtime',['../extapi_8c.html#adb012b56c91f15a89702bfff38c7e69c',1,'extapi.c']]],
-  ['localtime_5fr_4140',['localtime_r',['../extapi_8c.html#aa8b9c0d3e4e549fa2dc2e654afa1d09a',1,'extapi.c']]],
-  ['localvarinrecursion_4141',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
-  ['locdpitem_4142',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],
-  ['locid_4143',['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_4144',['LOCK',['../classSVF_1_1LockResultValidator.html#a5423c0cf9624c42bcd8a9a8adaa22dcb',1,'SVF::LockResultValidator']]],
-  ['lock_5fflag_4145',['LOCK_FLAG',['../classSVF_1_1LockResultValidator.html#a3b7d25dfe5251f49afbb733c25eee70f',1,'SVF::LockResultValidator']]],
-  ['lock_5fimprecise_4146',['LOCK_IMPRECISE',['../classSVF_1_1LockResultValidator.html#a760c0f6f891daa4532a44c6594794bb8',1,'SVF::LockResultValidator']]],
-  ['lock_5ftrue_4147',['LOCK_TRUE',['../classSVF_1_1LockResultValidator.html#a005c38dd07eb66d52066fa1927b1e19f',1,'SVF::LockResultValidator']]],
-  ['lock_5funsound_4148',['LOCK_UNSOUND',['../classSVF_1_1LockResultValidator.html#a03589368482d3f7ee7f6734e257dcbdf',1,'SVF::LockResultValidator']]],
-  ['lockana_4149',['lockana',['../classSVF_1_1MTASVFGBuilder.html#a00bf5aaf3095bb271f2cbd3c35749ce2',1,'SVF::MTASVFGBuilder::lockana()'],['../classSVF_1_1FSMPTA.html#abf8f7645c51f3a8c70ca542de5b7d6c9',1,'SVF::FSMPTA::lockana()']]],
-  ['lockanalysis_4150',['LockAnalysis',['../classSVF_1_1LockAnalysis.html',1,'SVF::LockAnalysis'],['../classSVF_1_1LockAnalysis.html#af8aff31058caba691c127b8aef297b43',1,'SVF::LockAnalysis::LockAnalysis()']]],
-  ['lockanalysis_2ecpp_4151',['LockAnalysis.cpp',['../LockAnalysis_8cpp.html',1,'']]],
-  ['lockanalysis_2eh_4152',['LockAnalysis.h',['../LockAnalysis_8h.html',1,'']]],
-  ['lockcandidatefuncset_4153',['lockcandidateFuncSet',['../classSVF_1_1LockAnalysis.html#a484eb7b6f49f47a3e71054c3b798a47a',1,'SVF::LockAnalysis']]],
-  ['lockqueriestime_4154',['lockQueriesTime',['../classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d',1,'SVF::LockAnalysis']]],
-  ['lockresultvalidator_4155',['LockResultValidator',['../classSVF_1_1LockResultValidator.html',1,'SVF::LockResultValidator'],['../classSVF_1_1LockResultValidator.html#acfe0b43eee73c5e02f5744d8993cb529',1,'SVF::LockResultValidator::LockResultValidator()']]],
-  ['lockresultvalidator_2ecpp_4156',['LockResultValidator.cpp',['../LockResultValidator_8cpp.html',1,'']]],
-  ['lockresultvalidator_2eh_4157',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]],
-  ['lockset_4158',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
-  ['locksites_4159',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
-  ['locksitetolockset_4160',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#aaf04c86a10b341a17d035868cd8d1ca7',1,'SVF::LockAnalysis']]],
-  ['lockspan_4161',['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_4162',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
-  ['lockvalid_4163',['LockValid',['../classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec',1,'SVF::Options']]],
-  ['locmemmodel_4164',['LocMemModel',['../classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050',1,'SVF::Options']]],
-  ['loctoaddrs_4165',['locToAddrs',['../classSVF_1_1ConsExeState.html#a4136ad2172772347e8d6aedc2f8b811e',1,'SVF::ConsExeState::locToAddrs()'],['../classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403',1,'SVF::ExeState::locToAddrs()']]],
-  ['loctodpmsetmap_4166',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
-  ['loctodpmvecmap_4167',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
-  ['loctostring_4168',['locToString',['../classSVF_1_1ConsExeState.html#a2c4c9f57bf31e8716bbfced40931fe5d',1,'SVF::ConsExeState']]],
-  ['loctovalmap_4169',['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_4170',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
-  ['lookupcomplements_4171',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
-  ['lookupintersections_4172',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
-  ['lookupunions_4173',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
-  ['loop_4174',['Loop',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7',1,'SVF::SVFBugEvent::Loop()'],['../namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314',1,'SVF::Loop()']]],
-  ['loopanalysis_4175',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
-  ['loopanddom_4176',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
-  ['loopbbs_4177',['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_4178',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()']]],
-  ['loopcontainsbb_4179',['loopContainsBB',['../classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117',1,'SVF::SVFLoopAndDomInfo::loopContainsBB()'],['../classSVF_1_1SVFFunction.html#a1cf90f3c56ae200bef2a9e6a67ff97bf',1,'SVF::SVFFunction::loopContainsBB()']]],
-  ['loopinfo_4180',['LoopInfo',['../namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5',1,'SVF']]],
-  ['lowlink_4181',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
-  ['lsa_4182',['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_4183',['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_4184',['LSRelation',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245',1,'SVF::AccessPath']]]
+  ['label_4089',['Label',['../namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9',1,'SVF']]],
+  ['labeltokindmap_4090',['labelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f',1,'SVF::CFLGraphBuilder']]],
+  ['landingpadinst_4091',['LandingPadInst',['../namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71',1,'SVF']]],
+  ['largestregion_4092',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['last_5ffcmp_5fpredicate_4093',['LAST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69',1,'SVF::CmpStmt']]],
+  ['last_5ficmp_5fpredicate_4094',['LAST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e',1,'SVF::CmpStmt']]],
+  ['lb_4095',['lb',['../classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264',1,'SVF::IntervalValue']]],
+  ['ldnodeset_4096',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
+  ['leadingzeroscounter_4097',['LeadingZerosCounter',['../structSVF_1_1LeadingZerosCounter.html',1,'SVF']]],
+  ['leak_5ftype_4098',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
+  ['leakchecker_4099',['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_4100',['LeakChecker.cpp',['../LeakChecker_8cpp.html',1,'']]],
+  ['leakchecker_2eh_4101',['LeakChecker.h',['../LeakChecker_8h.html',1,'']]],
+  ['length_4102',['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_4103',['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_4104',['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_4105',['List',['../classSVF_1_1List.html',1,'SVF::List< Data >'],['../classSVF_1_1List.html#aeb697e85085a332e5d593b6f8ee95713',1,'SVF::List::List()']]],
+  ['listnode_4106',['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_4107',['llvm',['../namespacellvm.html',1,'']]],
+  ['llvm2svf_2ecpp_4108',['llvm2svf.cpp',['../llvm2svf_8cpp.html',1,'']]],
+  ['llvm_5fhas_5fcpp_5fattribute_4109',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
+  ['llvm_5fnodiscard_4110',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]],
+  ['llvmargument2svfargument_4111',['LLVMArgument2SVFArgument',['../classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480',1,'SVF::LLVMModuleSet']]],
+  ['llvmargument2svfargumentmap_4112',['LLVMArgument2SVFArgumentMap',['../classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0',1,'SVF::LLVMModuleSet']]],
+  ['llvmbb2svfbb_4113',['LLVMBB2SVFBB',['../classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c',1,'SVF::LLVMModuleSet']]],
+  ['llvmbb2svfbbmap_4114',['LLVMBB2SVFBBMap',['../classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911',1,'SVF::LLVMModuleSet']]],
+  ['llvmconst2svfconst_4115',['LLVMConst2SVFConst',['../classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc',1,'SVF::LLVMModuleSet']]],
+  ['llvmconst2svfconstmap_4116',['LLVMConst2SVFConstMap',['../classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede',1,'SVF::LLVMModuleSet']]],
+  ['llvmcontext_4117',['LLVMContext',['../namespaceSVF.html#affba423b674a0aba723e33101826e297',1,'SVF']]],
+  ['llvmfun2svffunmap_4118',['LLVMFun2SVFFunMap',['../classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242',1,'SVF::LLVMModuleSet']]],
+  ['llvmfunc2svffunc_4119',['LLVMFunc2SVFFunc',['../classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15',1,'SVF::LLVMModuleSet']]],
+  ['llvminst2svfinst_4120',['LLVMInst2SVFInst',['../classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0',1,'SVF::LLVMModuleSet']]],
+  ['llvminst2svfinstmap_4121',['LLVMInst2SVFInstMap',['../classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f',1,'SVF::LLVMModuleSet']]],
+  ['llvmloopanalysis_4122',['LLVMLoopAnalysis',['../classSVF_1_1LLVMLoopAnalysis.html',1,'SVF::LLVMLoopAnalysis'],['../classSVF_1_1LLVMLoopAnalysis.html#a93161bbdb47c74fce1d8e54a45df2df8',1,'SVF::LLVMLoopAnalysis::LLVMLoopAnalysis()']]],
+  ['llvmloopanalysis_2ecpp_4123',['LLVMLoopAnalysis.cpp',['../LLVMLoopAnalysis_8cpp.html',1,'']]],
+  ['llvmloopanalysis_2eh_4124',['LLVMLoopAnalysis.h',['../LLVMLoopAnalysis_8h.html',1,'']]],
+  ['llvmmodule_2ecpp_4125',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
+  ['llvmmodule_2eh_4126',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
+  ['llvmmoduleset_4127',['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_4128',['LLVMType2SVFType',['../classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f',1,'SVF::LLVMModuleSet']]],
+  ['llvmtype2svftypemap_4129',['LLVMType2SVFTypeMap',['../classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69',1,'SVF::LLVMModuleSet']]],
+  ['llvmutil_2ecpp_4130',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
+  ['llvmutil_2eh_4131',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
+  ['llvmvalue2svfothervalue_4132',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
+  ['llvmvalue2svfothervaluemap_4133',['LLVMValue2SVFOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f',1,'SVF::LLVMModuleSet']]],
+  ['load_4134',['Load',['../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()'],['../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)']]],
+  ['load2musetmap_4135',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
+  ['loadaddrs_4136',['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_4137',['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_4138',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
+  ['loadextapimodules_4139',['loadExtAPIModules',['../classSVF_1_1LLVMModuleSet.html#a8820d1df9098db6eadf3a9c67e380e55',1,'SVF::LLVMModuleSet']]],
+  ['loadinedges_4140',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
+  ['loadinst_4141',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
+  ['loadmodules_4142',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
+  ['loadmssamu_4143',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
+  ['loadmu_4144',['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_4145',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
+  ['loadset_4146',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()'],['../classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e',1,'SVF::MTA::LoadSet()']]],
+  ['loadsrcnodes_4147',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
+  ['loadstmt_4148',['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_4149',['LoadsToMRsMap',['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()']]],
+  ['loadstopointstomap_4150',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
+  ['loadsvfgnode_4151',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
+  ['loadtime_4152',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
+  ['loadtomusetmap_4153',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
+  ['loadtoptcvarmap_4154',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
+  ['loadvfgnode_4155',['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_4156',['loadWordProductions',['../classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62',1,'SVF::GrammarBuilder']]],
+  ['localeconv_4157',['localeconv',['../extapi_8c.html#a69b40f71a20a7c8bd67b9eeeae7f40c9',1,'extapi.c']]],
+  ['localtime_4158',['localtime',['../extapi_8c.html#adb012b56c91f15a89702bfff38c7e69c',1,'extapi.c']]],
+  ['localtime_5fr_4159',['localtime_r',['../extapi_8c.html#aa8b9c0d3e4e549fa2dc2e654afa1d09a',1,'extapi.c']]],
+  ['localvarinrecursion_4160',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
+  ['locdpitem_4161',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],
+  ['locid_4162',['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_4163',['LOCK',['../classSVF_1_1LockResultValidator.html#a5423c0cf9624c42bcd8a9a8adaa22dcb',1,'SVF::LockResultValidator']]],
+  ['lock_5fflag_4164',['LOCK_FLAG',['../classSVF_1_1LockResultValidator.html#a3b7d25dfe5251f49afbb733c25eee70f',1,'SVF::LockResultValidator']]],
+  ['lock_5fimprecise_4165',['LOCK_IMPRECISE',['../classSVF_1_1LockResultValidator.html#a760c0f6f891daa4532a44c6594794bb8',1,'SVF::LockResultValidator']]],
+  ['lock_5ftrue_4166',['LOCK_TRUE',['../classSVF_1_1LockResultValidator.html#a005c38dd07eb66d52066fa1927b1e19f',1,'SVF::LockResultValidator']]],
+  ['lock_5funsound_4167',['LOCK_UNSOUND',['../classSVF_1_1LockResultValidator.html#a03589368482d3f7ee7f6734e257dcbdf',1,'SVF::LockResultValidator']]],
+  ['lockana_4168',['lockana',['../classSVF_1_1MTASVFGBuilder.html#a00bf5aaf3095bb271f2cbd3c35749ce2',1,'SVF::MTASVFGBuilder::lockana()'],['../classSVF_1_1FSMPTA.html#abf8f7645c51f3a8c70ca542de5b7d6c9',1,'SVF::FSMPTA::lockana()']]],
+  ['lockanalysis_4169',['LockAnalysis',['../classSVF_1_1LockAnalysis.html',1,'SVF::LockAnalysis'],['../classSVF_1_1LockAnalysis.html#af8aff31058caba691c127b8aef297b43',1,'SVF::LockAnalysis::LockAnalysis()']]],
+  ['lockanalysis_2ecpp_4170',['LockAnalysis.cpp',['../LockAnalysis_8cpp.html',1,'']]],
+  ['lockanalysis_2eh_4171',['LockAnalysis.h',['../LockAnalysis_8h.html',1,'']]],
+  ['lockcandidatefuncset_4172',['lockcandidateFuncSet',['../classSVF_1_1LockAnalysis.html#a484eb7b6f49f47a3e71054c3b798a47a',1,'SVF::LockAnalysis']]],
+  ['lockqueriestime_4173',['lockQueriesTime',['../classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d',1,'SVF::LockAnalysis']]],
+  ['lockresultvalidator_4174',['LockResultValidator',['../classSVF_1_1LockResultValidator.html',1,'SVF::LockResultValidator'],['../classSVF_1_1LockResultValidator.html#acfe0b43eee73c5e02f5744d8993cb529',1,'SVF::LockResultValidator::LockResultValidator()']]],
+  ['lockresultvalidator_2ecpp_4175',['LockResultValidator.cpp',['../LockResultValidator_8cpp.html',1,'']]],
+  ['lockresultvalidator_2eh_4176',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]],
+  ['lockset_4177',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
+  ['locksites_4178',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
+  ['locksitetolockset_4179',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#aaf04c86a10b341a17d035868cd8d1ca7',1,'SVF::LockAnalysis']]],
+  ['lockspan_4180',['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_4181',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
+  ['lockvalid_4182',['LockValid',['../classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec',1,'SVF::Options']]],
+  ['locmemmodel_4183',['LocMemModel',['../classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050',1,'SVF::Options']]],
+  ['loctoaddrs_4184',['locToAddrs',['../classSVF_1_1ConsExeState.html#a4136ad2172772347e8d6aedc2f8b811e',1,'SVF::ConsExeState::locToAddrs()'],['../classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403',1,'SVF::ExeState::locToAddrs()']]],
+  ['loctodpmsetmap_4185',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
+  ['loctodpmvecmap_4186',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
+  ['loctostring_4187',['locToString',['../classSVF_1_1ConsExeState.html#a2c4c9f57bf31e8716bbfced40931fe5d',1,'SVF::ConsExeState']]],
+  ['loctovalmap_4188',['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_4189',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
+  ['lookupcomplements_4190',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
+  ['lookupintersections_4191',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
+  ['lookupunions_4192',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
+  ['loop_4193',['Loop',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7',1,'SVF::SVFBugEvent::Loop()'],['../namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314',1,'SVF::Loop()']]],
+  ['loopanalysis_4194',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
+  ['loopanddom_4195',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
+  ['loopbbs_4196',['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_4197',['LoopBound',['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()'],['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()']]],
+  ['loopcontainsbb_4198',['loopContainsBB',['../classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117',1,'SVF::SVFLoopAndDomInfo::loopContainsBB()'],['../classSVF_1_1SVFFunction.html#a1cf90f3c56ae200bef2a9e6a67ff97bf',1,'SVF::SVFFunction::loopContainsBB()']]],
+  ['loopinfo_4199',['LoopInfo',['../namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5',1,'SVF']]],
+  ['lowlink_4200',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
+  ['lsa_4201',['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_4202',['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_4203',['LSRelation',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245',1,'SVF::AccessPath']]]
 ];