svf-tools 1.0.807 → 1.0.809

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

@@ -1,49 +1,49 @@
 var searchData=
 [
-  ['join_5fwith_3884',['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_3885',['JoinEdgeSet',['../classSVF_1_1ThreadJoinEdge.html#acf768ce9925ee75aea865cd9306afda9',1,'SVF::ThreadJoinEdge::JoinEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa9e07204488ec8f0f83f4e218b6ce6bd',1,'SVF::ThreadCallGraph::JoinEdgeSet()']]],
-  ['joinsites_3886',['joinsites',['../classSVF_1_1ThreadCallGraph.html#aab32b67b314b31d67d58efded50e8f45',1,'SVF::ThreadCallGraph']]],
-  ['joinsitesbegin_3887',['joinsitesBegin',['../classSVF_1_1ThreadCallGraph.html#a98ecfe14be2d38d292b5919716cdd29d',1,'SVF::ThreadCallGraph']]],
-  ['joinsitesend_3888',['joinsitesEnd',['../classSVF_1_1ThreadCallGraph.html#a50502f398e5eac9c6da3e26ea6052057',1,'SVF::ThreadCallGraph']]],
-  ['joinsitetoloopmap_3889',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
-  ['joinwith_3890',['joinWith',['../classSVF_1_1ConsExeState.html#a8f2668196be5ecbc061d5b43caa43cae',1,'SVF::ConsExeState::joinWith()'],['../classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0',1,'SVF::ExeState::joinWith()'],['../classSVF_1_1IntervalExeState.html#a46ef74cd1412790b088f1d7320f57a9f',1,'SVF::IntervalExeState::joinWith()']]],
-  ['jpeg_5fstd_5ferror_3891',['jpeg_std_error',['../extapi_8c.html#ae94edd22063e2b842d914b31af96b741',1,'extapi.c']]],
-  ['json_3892',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
-  ['json_5fchild_3893',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
-  ['json_5fdef_5fread_5ffwd_3894',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
-  ['json_5ffield_5for_3895',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
-  ['json_5fkey_3896',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
-  ['json_5fread_5ffield_5ffwd_3897',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_3898',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5ffwd_3899',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_3900',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_5ffwd_3901',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
-  ['json_5fwrite_5ffield_3902',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
-  ['jsonaddcontenttoobject_3903',['jsonAddContentToObject',['../classSVF_1_1SVFIRWriter.html#a65591d58a251b7f7384126aabccd64a1',1,'SVF::SVFIRWriter']]],
-  ['jsonadditemtoarray_3904',['jsonAddItemToArray',['../namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4',1,'SVF']]],
-  ['jsonadditemtoobject_3905',['jsonAddItemToObject',['../namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3',1,'SVF']]],
-  ['jsonaddjsonabletoobject_3906',['jsonAddJsonableToObject',['../classSVF_1_1SVFIRWriter.html#aecae8cb1f180e463d94c68e5a63a1176',1,'SVF::SVFIRWriter']]],
-  ['jsonaddnumbertoobject_3907',['jsonAddNumberToObject',['../namespaceSVF.html#a06374e1eadf264ee1b9285bb3dfd36a2',1,'SVF']]],
-  ['jsonaddpairtomap_3908',['jsonAddPairToMap',['../namespaceSVF.html#a5f83b548002232dc7590f37a3351ad56',1,'SVF']]],
-  ['jsonaddstringtoobject_3909',['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_3910',['jsonArray',['../classSVF_1_1ReaderPtrPool.html#a7c97bb72f8b612fdebed953ccb3d4ad0',1,'SVF::ReaderPtrPool']]],
-  ['jsoncreatearray_3911',['jsonCreateArray',['../namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14',1,'SVF']]],
-  ['jsoncreatebool_3912',['jsonCreateBool',['../namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555',1,'SVF']]],
-  ['jsoncreateindex_3913',['jsonCreateIndex',['../namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35',1,'SVF']]],
-  ['jsoncreatemap_3914',['jsonCreateMap',['../namespaceSVF.html#a94a4cec5b3ee29a335590943ae30fd65',1,'SVF']]],
-  ['jsoncreatenullid_3915',['jsonCreateNullId',['../namespaceSVF.html#a0f7910523b4290e998024123f594ffb0',1,'SVF']]],
-  ['jsoncreatenumber_3916',['jsonCreateNumber',['../namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e',1,'SVF']]],
-  ['jsoncreateobject_3917',['jsonCreateObject',['../namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4',1,'SVF']]],
-  ['jsoncreatestring_3918',['jsonCreateString',['../namespaceSVF.html#adf8e2485f7cc090ef75c20fff6cf19aa',1,'SVF']]],
-  ['jsonforeach_3919',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]],
-  ['jsongetnumber_3920',['jsonGetNumber',['../namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552',1,'SVF']]],
-  ['jsonisarray_3921',['jsonIsArray',['../namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d',1,'SVF']]],
-  ['jsonisbool_3922',['jsonIsBool',['../namespaceSVF.html#ad830126d4921871b42fc81efbe456509',1,'SVF::jsonIsBool(const cJSON *item)'],['../namespaceSVF.html#a5ac359917fd682d101134ab0b4afdc40',1,'SVF::jsonIsBool(const cJSON *item, bool &flag)']]],
-  ['jsonismap_3923',['jsonIsMap',['../namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac',1,'SVF']]],
-  ['jsonisnullid_3924',['jsonIsNullId',['../namespaceSVF.html#a34a1f3ef61f57ec72a6c202d7a0eaa51',1,'SVF']]],
-  ['jsonisnumber_3925',['jsonIsNumber',['../namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7',1,'SVF']]],
-  ['jsonisobject_3926',['jsonIsObject',['../namespaceSVF.html#ac6a83809ca246bc7a33de3da6b4a4354',1,'SVF']]],
-  ['jsonisstring_3927',['jsonIsString',['../namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49',1,'SVF']]],
-  ['jsonkeyequals_3928',['jsonKeyEquals',['../namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546',1,'SVF']]],
-  ['jsonunpackpair_3929',['jsonUnpackPair',['../namespaceSVF.html#ac5eca7590f00f9cff8824ec739042e0c',1,'SVF']]]
+  ['join_5fwith_3887',['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_3888',['JoinEdgeSet',['../classSVF_1_1ThreadJoinEdge.html#acf768ce9925ee75aea865cd9306afda9',1,'SVF::ThreadJoinEdge::JoinEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa9e07204488ec8f0f83f4e218b6ce6bd',1,'SVF::ThreadCallGraph::JoinEdgeSet()']]],
+  ['joinsites_3889',['joinsites',['../classSVF_1_1ThreadCallGraph.html#aab32b67b314b31d67d58efded50e8f45',1,'SVF::ThreadCallGraph']]],
+  ['joinsitesbegin_3890',['joinsitesBegin',['../classSVF_1_1ThreadCallGraph.html#a98ecfe14be2d38d292b5919716cdd29d',1,'SVF::ThreadCallGraph']]],
+  ['joinsitesend_3891',['joinsitesEnd',['../classSVF_1_1ThreadCallGraph.html#a50502f398e5eac9c6da3e26ea6052057',1,'SVF::ThreadCallGraph']]],
+  ['joinsitetoloopmap_3892',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
+  ['joinwith_3893',['joinWith',['../classSVF_1_1ConsExeState.html#a8f2668196be5ecbc061d5b43caa43cae',1,'SVF::ConsExeState::joinWith()'],['../classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0',1,'SVF::ExeState::joinWith()'],['../classSVF_1_1IntervalExeState.html#a46ef74cd1412790b088f1d7320f57a9f',1,'SVF::IntervalExeState::joinWith()']]],
+  ['jpeg_5fstd_5ferror_3894',['jpeg_std_error',['../extapi_8c.html#ae94edd22063e2b842d914b31af96b741',1,'extapi.c']]],
+  ['json_3895',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
+  ['json_5fchild_3896',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
+  ['json_5fdef_5fread_5ffwd_3897',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
+  ['json_5ffield_5for_3898',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
+  ['json_5fkey_3899',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
+  ['json_5fread_5ffield_5ffwd_3900',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_3901',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5ffwd_3902',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_3903',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_5ffwd_3904',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
+  ['json_5fwrite_5ffield_3905',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
+  ['jsonaddcontenttoobject_3906',['jsonAddContentToObject',['../classSVF_1_1SVFIRWriter.html#a65591d58a251b7f7384126aabccd64a1',1,'SVF::SVFIRWriter']]],
+  ['jsonadditemtoarray_3907',['jsonAddItemToArray',['../namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4',1,'SVF']]],
+  ['jsonadditemtoobject_3908',['jsonAddItemToObject',['../namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3',1,'SVF']]],
+  ['jsonaddjsonabletoobject_3909',['jsonAddJsonableToObject',['../classSVF_1_1SVFIRWriter.html#aecae8cb1f180e463d94c68e5a63a1176',1,'SVF::SVFIRWriter']]],
+  ['jsonaddnumbertoobject_3910',['jsonAddNumberToObject',['../namespaceSVF.html#a06374e1eadf264ee1b9285bb3dfd36a2',1,'SVF']]],
+  ['jsonaddpairtomap_3911',['jsonAddPairToMap',['../namespaceSVF.html#a5f83b548002232dc7590f37a3351ad56',1,'SVF']]],
+  ['jsonaddstringtoobject_3912',['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_3913',['jsonArray',['../classSVF_1_1ReaderPtrPool.html#a7c97bb72f8b612fdebed953ccb3d4ad0',1,'SVF::ReaderPtrPool']]],
+  ['jsoncreatearray_3914',['jsonCreateArray',['../namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14',1,'SVF']]],
+  ['jsoncreatebool_3915',['jsonCreateBool',['../namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555',1,'SVF']]],
+  ['jsoncreateindex_3916',['jsonCreateIndex',['../namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35',1,'SVF']]],
+  ['jsoncreatemap_3917',['jsonCreateMap',['../namespaceSVF.html#a94a4cec5b3ee29a335590943ae30fd65',1,'SVF']]],
+  ['jsoncreatenullid_3918',['jsonCreateNullId',['../namespaceSVF.html#a0f7910523b4290e998024123f594ffb0',1,'SVF']]],
+  ['jsoncreatenumber_3919',['jsonCreateNumber',['../namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e',1,'SVF']]],
+  ['jsoncreateobject_3920',['jsonCreateObject',['../namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4',1,'SVF']]],
+  ['jsoncreatestring_3921',['jsonCreateString',['../namespaceSVF.html#adf8e2485f7cc090ef75c20fff6cf19aa',1,'SVF']]],
+  ['jsonforeach_3922',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]],
+  ['jsongetnumber_3923',['jsonGetNumber',['../namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552',1,'SVF']]],
+  ['jsonisarray_3924',['jsonIsArray',['../namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d',1,'SVF']]],
+  ['jsonisbool_3925',['jsonIsBool',['../namespaceSVF.html#ad830126d4921871b42fc81efbe456509',1,'SVF::jsonIsBool(const cJSON *item)'],['../namespaceSVF.html#a5ac359917fd682d101134ab0b4afdc40',1,'SVF::jsonIsBool(const cJSON *item, bool &flag)']]],
+  ['jsonismap_3926',['jsonIsMap',['../namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac',1,'SVF']]],
+  ['jsonisnullid_3927',['jsonIsNullId',['../namespaceSVF.html#a34a1f3ef61f57ec72a6c202d7a0eaa51',1,'SVF']]],
+  ['jsonisnumber_3928',['jsonIsNumber',['../namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7',1,'SVF']]],
+  ['jsonisobject_3929',['jsonIsObject',['../namespaceSVF.html#ac6a83809ca246bc7a33de3da6b4a4354',1,'SVF']]],
+  ['jsonisstring_3930',['jsonIsString',['../namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49',1,'SVF']]],
+  ['jsonkeyequals_3931',['jsonKeyEquals',['../namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546',1,'SVF']]],
+  ['jsonunpackpair_3932',['jsonUnpackPair',['../namespaceSVF.html#ac5eca7590f00f9cff8824ec739042e0c',1,'SVF']]]
 ];

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

@@ -1,29 +1,29 @@
 var searchData=
 [
-  ['kblu_3930',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
-  ['kcya_3931',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
-  ['keepactualoutformalin_3932',['keepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#a7e57ca56a587a5b59543b5bab7fe794d',1,'SVF::SVFGOPT']]],
-  ['keepallselfcycle_3933',['keepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d',1,'SVF::SVFGOPT::keepAllSelfCycle()'],['../SVFGOPT_8cpp.html#af213fe89264a55a8ff44872905524f2f',1,'KeepAllSelfCycle(): SVFGOPT.cpp']]],
-  ['keepaofi_3934',['KeepAOFI',['../classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37',1,'SVF::Options']]],
-  ['keepcontextselfcycle_3935',['keepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f',1,'SVF::SVFGOPT::keepContextSelfCycle()'],['../SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935',1,'KeepContextSelfCycle(): SVFGOPT.cpp']]],
-  ['keepnoneselfcycle_3936',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
-  ['keynodes_3937',['KeyNodes',['../classSVF_1_1SymState.html#a5673a4c91533436a993164aa477ff3d8',1,'SVF::SymState']]],
-  ['keynodesset_3938',['KeyNodesSet',['../classSVF_1_1SymState.html#adb33bdc2c5b70a0f35d29d213ebf7957',1,'SVF::SymState']]],
-  ['keytoidmap_3939',['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_3940',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
-  ['kind_3941',['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()'],['../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()']]],
-  ['kind_5fbase_3942',['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_3943',['KindBaseHelper',['../structSVF_1_1KindBaseHelper.html',1,'SVF']]],
-  ['kindbaset_3944',['KindBaseT',['../namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856',1,'SVF']]],
-  ['kindtoattrsmap_3945',['kindToAttrsMap',['../classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c',1,'SVF::GrammarBase::kindToAttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068',1,'SVF::CFLGraphBuilder::kindToAttrsMap()']]],
-  ['kindtolabelmap_3946',['kindToLabelMap',['../classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e',1,'SVF::CFLGraphBuilder']]],
-  ['kindtoptasvfstmtsetmap_3947',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
-  ['kindtostr_3948',['kindToStr',['../classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3',1,'SVF::GrammarBase']]],
-  ['kindtosvfstmtmapty_3949',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]],
-  ['kindtosvfstmtsetmap_3950',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]],
-  ['knrm_3951',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
-  ['kpur_3952',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
-  ['kred_3953',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
-  ['kwht_3954',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
-  ['kyel_3955',['KYEL',['../SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a',1,'SVFUtil.cpp']]]
+  ['kblu_3933',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
+  ['kcya_3934',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
+  ['keepactualoutformalin_3935',['keepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#a7e57ca56a587a5b59543b5bab7fe794d',1,'SVF::SVFGOPT']]],
+  ['keepallselfcycle_3936',['keepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d',1,'SVF::SVFGOPT::keepAllSelfCycle()'],['../SVFGOPT_8cpp.html#af213fe89264a55a8ff44872905524f2f',1,'KeepAllSelfCycle(): SVFGOPT.cpp']]],
+  ['keepaofi_3937',['KeepAOFI',['../classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37',1,'SVF::Options']]],
+  ['keepcontextselfcycle_3938',['keepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f',1,'SVF::SVFGOPT::keepContextSelfCycle()'],['../SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935',1,'KeepContextSelfCycle(): SVFGOPT.cpp']]],
+  ['keepnoneselfcycle_3939',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
+  ['keynodes_3940',['KeyNodes',['../classSVF_1_1SymState.html#a5673a4c91533436a993164aa477ff3d8',1,'SVF::SymState']]],
+  ['keynodesset_3941',['KeyNodesSet',['../classSVF_1_1SymState.html#adb33bdc2c5b70a0f35d29d213ebf7957',1,'SVF::SymState']]],
+  ['keytoidmap_3942',['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_3943',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
+  ['kind_3944',['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()'],['../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()']]],
+  ['kind_5fbase_3945',['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_3946',['KindBaseHelper',['../structSVF_1_1KindBaseHelper.html',1,'SVF']]],
+  ['kindbaset_3947',['KindBaseT',['../namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856',1,'SVF']]],
+  ['kindtoattrsmap_3948',['kindToAttrsMap',['../classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c',1,'SVF::GrammarBase::kindToAttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068',1,'SVF::CFLGraphBuilder::kindToAttrsMap()']]],
+  ['kindtolabelmap_3949',['kindToLabelMap',['../classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e',1,'SVF::CFLGraphBuilder']]],
+  ['kindtoptasvfstmtsetmap_3950',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
+  ['kindtostr_3951',['kindToStr',['../classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3',1,'SVF::GrammarBase']]],
+  ['kindtosvfstmtmapty_3952',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]],
+  ['kindtosvfstmtsetmap_3953',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]],
+  ['knrm_3954',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
+  ['kpur_3955',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
+  ['kred_3956',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
+  ['kwht_3957',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
+  ['kyel_3958',['KYEL',['../SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a',1,'SVFUtil.cpp']]]
 ];

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

@@ -1,119 +1,119 @@
 var searchData=
 [
-  ['label_3956',['Label',['../namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9',1,'SVF']]],
-  ['labeltokindmap_3957',['labelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f',1,'SVF::CFLGraphBuilder']]],
-  ['landingpadinst_3958',['LandingPadInst',['../namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71',1,'SVF']]],
-  ['largestregion_3959',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['last_5ffcmp_5fpredicate_3960',['LAST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69',1,'SVF::CmpStmt']]],
-  ['last_5ficmp_5fpredicate_3961',['LAST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e',1,'SVF::CmpStmt']]],
-  ['lb_3962',['lb',['../classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264',1,'SVF::IntervalValue']]],
-  ['ldnodeset_3963',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
-  ['leadingzeroscounter_3964',['LeadingZerosCounter',['../structSVF_1_1LeadingZerosCounter.html',1,'SVF']]],
-  ['leak_5ftype_3965',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
-  ['leakchecker_3966',['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_3967',['LeakChecker.cpp',['../LeakChecker_8cpp.html',1,'']]],
-  ['leakchecker_2eh_3968',['LeakChecker.h',['../LeakChecker_8h.html',1,'']]],
-  ['length_3969',['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_3970',['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_3971',['lessThanVarToValMap',['../classSVF_1_1ConsExeState.html#a4878ea0f5c2cc014ac2f5ecbc6534466',1,'SVF::ConsExeState::lessThanVarToValMap()'],['../classSVF_1_1IntervalExeState.html#a7129d3e1901c527f7c4876cb1c54a890',1,'SVF::IntervalExeState::lessThanVarToValMap()'],['../classSVF_1_1RelExeState.html#a1bc5dc440ad614fd7b4804bfa88c37c0',1,'SVF::RelExeState::lessThanVarToValMap()']]],
-  ['list_3972',['List',['../classSVF_1_1List.html',1,'SVF::List< Data >'],['../classSVF_1_1List.html#aeb697e85085a332e5d593b6f8ee95713',1,'SVF::List::List()']]],
-  ['listnode_3973',['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_3974',['llvm',['../namespacellvm.html',1,'']]],
-  ['llvm2svf_2ecpp_3975',['llvm2svf.cpp',['../llvm2svf_8cpp.html',1,'']]],
-  ['llvm_5fhas_5fcpp_5fattribute_3976',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
-  ['llvm_5fnodiscard_3977',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]],
-  ['llvmargument2svfargument_3978',['LLVMArgument2SVFArgument',['../classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480',1,'SVF::LLVMModuleSet']]],
-  ['llvmargument2svfargumentmap_3979',['LLVMArgument2SVFArgumentMap',['../classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0',1,'SVF::LLVMModuleSet']]],
-  ['llvmbb2svfbb_3980',['LLVMBB2SVFBB',['../classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c',1,'SVF::LLVMModuleSet']]],
-  ['llvmbb2svfbbmap_3981',['LLVMBB2SVFBBMap',['../classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911',1,'SVF::LLVMModuleSet']]],
-  ['llvmconst2svfconst_3982',['LLVMConst2SVFConst',['../classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc',1,'SVF::LLVMModuleSet']]],
-  ['llvmconst2svfconstmap_3983',['LLVMConst2SVFConstMap',['../classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede',1,'SVF::LLVMModuleSet']]],
-  ['llvmcontext_3984',['LLVMContext',['../namespaceSVF.html#affba423b674a0aba723e33101826e297',1,'SVF']]],
-  ['llvmfun2svffunmap_3985',['LLVMFun2SVFFunMap',['../classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242',1,'SVF::LLVMModuleSet']]],
-  ['llvmfunc2svffunc_3986',['LLVMFunc2SVFFunc',['../classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15',1,'SVF::LLVMModuleSet']]],
-  ['llvminst2svfinst_3987',['LLVMInst2SVFInst',['../classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0',1,'SVF::LLVMModuleSet']]],
-  ['llvminst2svfinstmap_3988',['LLVMInst2SVFInstMap',['../classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f',1,'SVF::LLVMModuleSet']]],
-  ['llvmloopanalysis_3989',['LLVMLoopAnalysis',['../classSVF_1_1LLVMLoopAnalysis.html',1,'SVF::LLVMLoopAnalysis'],['../classSVF_1_1LLVMLoopAnalysis.html#a93161bbdb47c74fce1d8e54a45df2df8',1,'SVF::LLVMLoopAnalysis::LLVMLoopAnalysis()']]],
-  ['llvmloopanalysis_2ecpp_3990',['LLVMLoopAnalysis.cpp',['../LLVMLoopAnalysis_8cpp.html',1,'']]],
-  ['llvmloopanalysis_2eh_3991',['LLVMLoopAnalysis.h',['../LLVMLoopAnalysis_8h.html',1,'']]],
-  ['llvmmodule_2ecpp_3992',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
-  ['llvmmodule_2eh_3993',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
-  ['llvmmoduleset_3994',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::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()']]],
-  ['llvmtostring_3995',['llvmToString',['../namespaceSVF_1_1LLVMUtil.html#a7b8b93fec1dc8c63c0a5837a85b99129',1,'SVF::LLVMUtil']]],
-  ['llvmtype2svftype_3996',['LLVMType2SVFType',['../classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f',1,'SVF::LLVMModuleSet']]],
-  ['llvmtype2svftypemap_3997',['LLVMType2SVFTypeMap',['../classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69',1,'SVF::LLVMModuleSet']]],
-  ['llvmutil_2ecpp_3998',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
-  ['llvmutil_2eh_3999',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
-  ['llvmvalue2svfothervalue_4000',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
-  ['llvmvalue2svfothervaluemap_4001',['LLVMValue2SVFOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f',1,'SVF::LLVMModuleSet']]],
-  ['load_4002',['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_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab',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_4003',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
-  ['loadcgedge_4004',['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_4005',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
-  ['loadextapimodules_4006',['loadExtAPIModules',['../classSVF_1_1LLVMModuleSet.html#aa7992d03a48ec79bde169ddceb6ef67b',1,'SVF::LLVMModuleSet']]],
-  ['loadinedges_4007',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
-  ['loadinst_4008',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
-  ['loadmodules_4009',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
-  ['loadmssamu_4010',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
-  ['loadmu_4011',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()'],['../classSVF_1_1LoadMU.html#ae092d4197b966d428d7ffdd9146621b4',1,'SVF::LoadMU::LoadMU()']]],
-  ['loadoutedges_4012',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
-  ['loadset_4013',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()'],['../classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e',1,'SVF::MTA::LoadSet()']]],
-  ['loadsrcnodes_4014',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
-  ['loadstmt_4015',['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_4016',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()']]],
-  ['loadstopointstomap_4017',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
-  ['loadsvfgnode_4018',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
-  ['loadtime_4019',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
-  ['loadtomusetmap_4020',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
-  ['loadtoptcvarmap_4021',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
-  ['loadvaddrs_4022',['loadVAddrs',['../classSVF_1_1ConsExeState.html#a6d954f4aef6af30852bdc7ddb67a9d55',1,'SVF::ConsExeState::loadVAddrs()'],['../classSVF_1_1ExeState.html#a3c1ea75e3a97aa18d4d10a85c1829d83',1,'SVF::ExeState::loadVAddrs()'],['../classSVF_1_1IntervalExeState.html#aa9bf42bd6ea06a7e61171244461eb066',1,'SVF::IntervalExeState::loadVAddrs()']]],
-  ['loadvfgnode_4023',['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_4024',['loadWordProductions',['../classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62',1,'SVF::GrammarBuilder']]],
-  ['localeconv_4025',['localeconv',['../extapi_8c.html#a69b40f71a20a7c8bd67b9eeeae7f40c9',1,'extapi.c']]],
-  ['localtime_4026',['localtime',['../extapi_8c.html#adb012b56c91f15a89702bfff38c7e69c',1,'extapi.c']]],
-  ['localtime_5fr_4027',['localtime_r',['../extapi_8c.html#aa8b9c0d3e4e549fa2dc2e654afa1d09a',1,'extapi.c']]],
-  ['localvarinrecursion_4028',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
-  ['locdpitem_4029',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],
-  ['locid_4030',['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_4031',['LOCK',['../classSVF_1_1LockResultValidator.html#a5423c0cf9624c42bcd8a9a8adaa22dcb',1,'SVF::LockResultValidator']]],
-  ['lock_5fflag_4032',['LOCK_FLAG',['../classSVF_1_1LockResultValidator.html#a3b7d25dfe5251f49afbb733c25eee70f',1,'SVF::LockResultValidator']]],
-  ['lock_5fimprecise_4033',['LOCK_IMPRECISE',['../classSVF_1_1LockResultValidator.html#a760c0f6f891daa4532a44c6594794bb8',1,'SVF::LockResultValidator']]],
-  ['lock_5ftrue_4034',['LOCK_TRUE',['../classSVF_1_1LockResultValidator.html#a005c38dd07eb66d52066fa1927b1e19f',1,'SVF::LockResultValidator']]],
-  ['lock_5funsound_4035',['LOCK_UNSOUND',['../classSVF_1_1LockResultValidator.html#a03589368482d3f7ee7f6734e257dcbdf',1,'SVF::LockResultValidator']]],
-  ['lockana_4036',['lockana',['../classSVF_1_1MTASVFGBuilder.html#a00bf5aaf3095bb271f2cbd3c35749ce2',1,'SVF::MTASVFGBuilder::lockana()'],['../classSVF_1_1FSMPTA.html#abf8f7645c51f3a8c70ca542de5b7d6c9',1,'SVF::FSMPTA::lockana()']]],
-  ['lockanalysis_4037',['LockAnalysis',['../classSVF_1_1LockAnalysis.html',1,'SVF::LockAnalysis'],['../classSVF_1_1LockAnalysis.html#af8aff31058caba691c127b8aef297b43',1,'SVF::LockAnalysis::LockAnalysis()']]],
-  ['lockanalysis_2ecpp_4038',['LockAnalysis.cpp',['../LockAnalysis_8cpp.html',1,'']]],
-  ['lockanalysis_2eh_4039',['LockAnalysis.h',['../LockAnalysis_8h.html',1,'']]],
-  ['lockcandidatefuncset_4040',['lockcandidateFuncSet',['../classSVF_1_1LockAnalysis.html#a484eb7b6f49f47a3e71054c3b798a47a',1,'SVF::LockAnalysis']]],
-  ['lockqueriestime_4041',['lockQueriesTime',['../classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d',1,'SVF::LockAnalysis']]],
-  ['lockresultvalidator_4042',['LockResultValidator',['../classSVF_1_1LockResultValidator.html',1,'SVF::LockResultValidator'],['../classSVF_1_1LockResultValidator.html#acfe0b43eee73c5e02f5744d8993cb529',1,'SVF::LockResultValidator::LockResultValidator()']]],
-  ['lockresultvalidator_2ecpp_4043',['LockResultValidator.cpp',['../LockResultValidator_8cpp.html',1,'']]],
-  ['lockresultvalidator_2eh_4044',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]],
-  ['lockset_4045',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
-  ['locksites_4046',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
-  ['locksitetolockset_4047',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#aaf04c86a10b341a17d035868cd8d1ca7',1,'SVF::LockAnalysis']]],
-  ['lockspan_4048',['LockSpan',['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()'],['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan::lockSpan()']]],
-  ['locktime_4049',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
-  ['lockvalid_4050',['LockValid',['../classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec',1,'SVF::Options']]],
-  ['locmemmodel_4051',['LocMemModel',['../classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050',1,'SVF::Options']]],
-  ['loctoaddrs_4052',['locToAddrs',['../classSVF_1_1ConsExeState.html#a4136ad2172772347e8d6aedc2f8b811e',1,'SVF::ConsExeState::locToAddrs()'],['../classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403',1,'SVF::ExeState::locToAddrs()']]],
-  ['loctodpmsetmap_4053',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
-  ['loctodpmvecmap_4054',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
-  ['loctostring_4055',['locToString',['../classSVF_1_1ConsExeState.html#a2c4c9f57bf31e8716bbfced40931fe5d',1,'SVF::ConsExeState']]],
-  ['loctovalmap_4056',['LocToValMap',['../classSVF_1_1ConsExeState.html#a559fb9ebd9c5ca18bb0b9ea062cd27db',1,'SVF::ConsExeState::LocToValMap()'],['../classSVF_1_1IntervalExeState.html#a3b95a08fa7b123549e732819d9371946',1,'SVF::IntervalExeState::LocToValMap()'],['../classSVF_1_1RelExeState.html#aae7d4cc75071ce34d68bd4e1709bd2c8',1,'SVF::RelExeState::LocToValMap()']]],
-  ['locversionmap_4057',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
-  ['lookupcomplements_4058',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
-  ['lookupintersections_4059',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
-  ['lookupunions_4060',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
-  ['loop_4061',['Loop',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7',1,'SVF::SVFBugEvent::Loop()'],['../namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314',1,'SVF::Loop()']]],
-  ['loopanalysis_4062',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
-  ['loopanddom_4063',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
-  ['loopbbs_4064',['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_4065',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()']]],
-  ['loopcontainsbb_4066',['loopContainsBB',['../classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117',1,'SVF::SVFLoopAndDomInfo::loopContainsBB()'],['../classSVF_1_1SVFFunction.html#a1cf90f3c56ae200bef2a9e6a67ff97bf',1,'SVF::SVFFunction::loopContainsBB()']]],
-  ['loopinfo_4067',['LoopInfo',['../namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5',1,'SVF']]],
-  ['lowlink_4068',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
-  ['lsa_4069',['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_4070',['LShr',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1',1,'SVF::BinaryOPStmt::LShr()'],['../classSVF_1_1BoundedZ3Expr.html#adc4486fb78e2efbd67be311903917117',1,'SVF::BoundedZ3Expr::lshr()'],['../classSVF_1_1SingleAbsValue.html#afd0286acbccb8b7630ca2e086ea303b2',1,'SVF::SingleAbsValue::lshr()']]],
-  ['lsrelation_4071',['LSRelation',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245',1,'SVF::AccessPath']]]
+  ['label_3959',['Label',['../namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9',1,'SVF']]],
+  ['labeltokindmap_3960',['labelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f',1,'SVF::CFLGraphBuilder']]],
+  ['landingpadinst_3961',['LandingPadInst',['../namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71',1,'SVF']]],
+  ['largestregion_3962',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['last_5ffcmp_5fpredicate_3963',['LAST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69',1,'SVF::CmpStmt']]],
+  ['last_5ficmp_5fpredicate_3964',['LAST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e',1,'SVF::CmpStmt']]],
+  ['lb_3965',['lb',['../classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264',1,'SVF::IntervalValue']]],
+  ['ldnodeset_3966',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
+  ['leadingzeroscounter_3967',['LeadingZerosCounter',['../structSVF_1_1LeadingZerosCounter.html',1,'SVF']]],
+  ['leak_5ftype_3968',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
+  ['leakchecker_3969',['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_3970',['LeakChecker.cpp',['../LeakChecker_8cpp.html',1,'']]],
+  ['leakchecker_2eh_3971',['LeakChecker.h',['../LeakChecker_8h.html',1,'']]],
+  ['length_3972',['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_3973',['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_3974',['lessThanVarToValMap',['../classSVF_1_1ConsExeState.html#a4878ea0f5c2cc014ac2f5ecbc6534466',1,'SVF::ConsExeState::lessThanVarToValMap()'],['../classSVF_1_1IntervalExeState.html#a7129d3e1901c527f7c4876cb1c54a890',1,'SVF::IntervalExeState::lessThanVarToValMap()'],['../classSVF_1_1RelExeState.html#a1bc5dc440ad614fd7b4804bfa88c37c0',1,'SVF::RelExeState::lessThanVarToValMap()']]],
+  ['list_3975',['List',['../classSVF_1_1List.html',1,'SVF::List< Data >'],['../classSVF_1_1List.html#aeb697e85085a332e5d593b6f8ee95713',1,'SVF::List::List()']]],
+  ['listnode_3976',['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_3977',['llvm',['../namespacellvm.html',1,'']]],
+  ['llvm2svf_2ecpp_3978',['llvm2svf.cpp',['../llvm2svf_8cpp.html',1,'']]],
+  ['llvm_5fhas_5fcpp_5fattribute_3979',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
+  ['llvm_5fnodiscard_3980',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]],
+  ['llvmargument2svfargument_3981',['LLVMArgument2SVFArgument',['../classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480',1,'SVF::LLVMModuleSet']]],
+  ['llvmargument2svfargumentmap_3982',['LLVMArgument2SVFArgumentMap',['../classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0',1,'SVF::LLVMModuleSet']]],
+  ['llvmbb2svfbb_3983',['LLVMBB2SVFBB',['../classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c',1,'SVF::LLVMModuleSet']]],
+  ['llvmbb2svfbbmap_3984',['LLVMBB2SVFBBMap',['../classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911',1,'SVF::LLVMModuleSet']]],
+  ['llvmconst2svfconst_3985',['LLVMConst2SVFConst',['../classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc',1,'SVF::LLVMModuleSet']]],
+  ['llvmconst2svfconstmap_3986',['LLVMConst2SVFConstMap',['../classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede',1,'SVF::LLVMModuleSet']]],
+  ['llvmcontext_3987',['LLVMContext',['../namespaceSVF.html#affba423b674a0aba723e33101826e297',1,'SVF']]],
+  ['llvmfun2svffunmap_3988',['LLVMFun2SVFFunMap',['../classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242',1,'SVF::LLVMModuleSet']]],
+  ['llvmfunc2svffunc_3989',['LLVMFunc2SVFFunc',['../classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15',1,'SVF::LLVMModuleSet']]],
+  ['llvminst2svfinst_3990',['LLVMInst2SVFInst',['../classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0',1,'SVF::LLVMModuleSet']]],
+  ['llvminst2svfinstmap_3991',['LLVMInst2SVFInstMap',['../classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f',1,'SVF::LLVMModuleSet']]],
+  ['llvmloopanalysis_3992',['LLVMLoopAnalysis',['../classSVF_1_1LLVMLoopAnalysis.html',1,'SVF::LLVMLoopAnalysis'],['../classSVF_1_1LLVMLoopAnalysis.html#a93161bbdb47c74fce1d8e54a45df2df8',1,'SVF::LLVMLoopAnalysis::LLVMLoopAnalysis()']]],
+  ['llvmloopanalysis_2ecpp_3993',['LLVMLoopAnalysis.cpp',['../LLVMLoopAnalysis_8cpp.html',1,'']]],
+  ['llvmloopanalysis_2eh_3994',['LLVMLoopAnalysis.h',['../LLVMLoopAnalysis_8h.html',1,'']]],
+  ['llvmmodule_2ecpp_3995',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
+  ['llvmmodule_2eh_3996',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
+  ['llvmmoduleset_3997',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::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()']]],
+  ['llvmtostring_3998',['llvmToString',['../namespaceSVF_1_1LLVMUtil.html#a7b8b93fec1dc8c63c0a5837a85b99129',1,'SVF::LLVMUtil']]],
+  ['llvmtype2svftype_3999',['LLVMType2SVFType',['../classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f',1,'SVF::LLVMModuleSet']]],
+  ['llvmtype2svftypemap_4000',['LLVMType2SVFTypeMap',['../classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69',1,'SVF::LLVMModuleSet']]],
+  ['llvmutil_2ecpp_4001',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
+  ['llvmutil_2eh_4002',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
+  ['llvmvalue2svfothervalue_4003',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
+  ['llvmvalue2svfothervaluemap_4004',['LLVMValue2SVFOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f',1,'SVF::LLVMModuleSet']]],
+  ['load_4005',['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_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab',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_4006',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
+  ['loadcgedge_4007',['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_4008',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
+  ['loadextapimodules_4009',['loadExtAPIModules',['../classSVF_1_1LLVMModuleSet.html#aa7992d03a48ec79bde169ddceb6ef67b',1,'SVF::LLVMModuleSet']]],
+  ['loadinedges_4010',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
+  ['loadinst_4011',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
+  ['loadmodules_4012',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
+  ['loadmssamu_4013',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
+  ['loadmu_4014',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()'],['../classSVF_1_1LoadMU.html#ae092d4197b966d428d7ffdd9146621b4',1,'SVF::LoadMU::LoadMU()']]],
+  ['loadoutedges_4015',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
+  ['loadset_4016',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()'],['../classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e',1,'SVF::MTA::LoadSet()']]],
+  ['loadsrcnodes_4017',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
+  ['loadstmt_4018',['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_4019',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()']]],
+  ['loadstopointstomap_4020',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
+  ['loadsvfgnode_4021',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
+  ['loadtime_4022',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
+  ['loadtomusetmap_4023',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
+  ['loadtoptcvarmap_4024',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
+  ['loadvaddrs_4025',['loadVAddrs',['../classSVF_1_1ConsExeState.html#a6d954f4aef6af30852bdc7ddb67a9d55',1,'SVF::ConsExeState::loadVAddrs()'],['../classSVF_1_1ExeState.html#a3c1ea75e3a97aa18d4d10a85c1829d83',1,'SVF::ExeState::loadVAddrs()'],['../classSVF_1_1IntervalExeState.html#aa9bf42bd6ea06a7e61171244461eb066',1,'SVF::IntervalExeState::loadVAddrs()']]],
+  ['loadvfgnode_4026',['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_4027',['loadWordProductions',['../classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62',1,'SVF::GrammarBuilder']]],
+  ['localeconv_4028',['localeconv',['../extapi_8c.html#a69b40f71a20a7c8bd67b9eeeae7f40c9',1,'extapi.c']]],
+  ['localtime_4029',['localtime',['../extapi_8c.html#adb012b56c91f15a89702bfff38c7e69c',1,'extapi.c']]],
+  ['localtime_5fr_4030',['localtime_r',['../extapi_8c.html#aa8b9c0d3e4e549fa2dc2e654afa1d09a',1,'extapi.c']]],
+  ['localvarinrecursion_4031',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
+  ['locdpitem_4032',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],
+  ['locid_4033',['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_4034',['LOCK',['../classSVF_1_1LockResultValidator.html#a5423c0cf9624c42bcd8a9a8adaa22dcb',1,'SVF::LockResultValidator']]],
+  ['lock_5fflag_4035',['LOCK_FLAG',['../classSVF_1_1LockResultValidator.html#a3b7d25dfe5251f49afbb733c25eee70f',1,'SVF::LockResultValidator']]],
+  ['lock_5fimprecise_4036',['LOCK_IMPRECISE',['../classSVF_1_1LockResultValidator.html#a760c0f6f891daa4532a44c6594794bb8',1,'SVF::LockResultValidator']]],
+  ['lock_5ftrue_4037',['LOCK_TRUE',['../classSVF_1_1LockResultValidator.html#a005c38dd07eb66d52066fa1927b1e19f',1,'SVF::LockResultValidator']]],
+  ['lock_5funsound_4038',['LOCK_UNSOUND',['../classSVF_1_1LockResultValidator.html#a03589368482d3f7ee7f6734e257dcbdf',1,'SVF::LockResultValidator']]],
+  ['lockana_4039',['lockana',['../classSVF_1_1MTASVFGBuilder.html#a00bf5aaf3095bb271f2cbd3c35749ce2',1,'SVF::MTASVFGBuilder::lockana()'],['../classSVF_1_1FSMPTA.html#abf8f7645c51f3a8c70ca542de5b7d6c9',1,'SVF::FSMPTA::lockana()']]],
+  ['lockanalysis_4040',['LockAnalysis',['../classSVF_1_1LockAnalysis.html',1,'SVF::LockAnalysis'],['../classSVF_1_1LockAnalysis.html#af8aff31058caba691c127b8aef297b43',1,'SVF::LockAnalysis::LockAnalysis()']]],
+  ['lockanalysis_2ecpp_4041',['LockAnalysis.cpp',['../LockAnalysis_8cpp.html',1,'']]],
+  ['lockanalysis_2eh_4042',['LockAnalysis.h',['../LockAnalysis_8h.html',1,'']]],
+  ['lockcandidatefuncset_4043',['lockcandidateFuncSet',['../classSVF_1_1LockAnalysis.html#a484eb7b6f49f47a3e71054c3b798a47a',1,'SVF::LockAnalysis']]],
+  ['lockqueriestime_4044',['lockQueriesTime',['../classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d',1,'SVF::LockAnalysis']]],
+  ['lockresultvalidator_4045',['LockResultValidator',['../classSVF_1_1LockResultValidator.html',1,'SVF::LockResultValidator'],['../classSVF_1_1LockResultValidator.html#acfe0b43eee73c5e02f5744d8993cb529',1,'SVF::LockResultValidator::LockResultValidator()']]],
+  ['lockresultvalidator_2ecpp_4046',['LockResultValidator.cpp',['../LockResultValidator_8cpp.html',1,'']]],
+  ['lockresultvalidator_2eh_4047',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]],
+  ['lockset_4048',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
+  ['locksites_4049',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
+  ['locksitetolockset_4050',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#aaf04c86a10b341a17d035868cd8d1ca7',1,'SVF::LockAnalysis']]],
+  ['lockspan_4051',['LockSpan',['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()'],['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan::lockSpan()']]],
+  ['locktime_4052',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
+  ['lockvalid_4053',['LockValid',['../classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec',1,'SVF::Options']]],
+  ['locmemmodel_4054',['LocMemModel',['../classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050',1,'SVF::Options']]],
+  ['loctoaddrs_4055',['locToAddrs',['../classSVF_1_1ConsExeState.html#a4136ad2172772347e8d6aedc2f8b811e',1,'SVF::ConsExeState::locToAddrs()'],['../classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403',1,'SVF::ExeState::locToAddrs()']]],
+  ['loctodpmsetmap_4056',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
+  ['loctodpmvecmap_4057',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
+  ['loctostring_4058',['locToString',['../classSVF_1_1ConsExeState.html#a2c4c9f57bf31e8716bbfced40931fe5d',1,'SVF::ConsExeState']]],
+  ['loctovalmap_4059',['LocToValMap',['../classSVF_1_1ConsExeState.html#a559fb9ebd9c5ca18bb0b9ea062cd27db',1,'SVF::ConsExeState::LocToValMap()'],['../classSVF_1_1IntervalExeState.html#a3b95a08fa7b123549e732819d9371946',1,'SVF::IntervalExeState::LocToValMap()'],['../classSVF_1_1RelExeState.html#aae7d4cc75071ce34d68bd4e1709bd2c8',1,'SVF::RelExeState::LocToValMap()']]],
+  ['locversionmap_4060',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
+  ['lookupcomplements_4061',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
+  ['lookupintersections_4062',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
+  ['lookupunions_4063',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
+  ['loop_4064',['Loop',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7',1,'SVF::SVFBugEvent::Loop()'],['../namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314',1,'SVF::Loop()']]],
+  ['loopanalysis_4065',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
+  ['loopanddom_4066',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
+  ['loopbbs_4067',['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_4068',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()']]],
+  ['loopcontainsbb_4069',['loopContainsBB',['../classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117',1,'SVF::SVFLoopAndDomInfo::loopContainsBB()'],['../classSVF_1_1SVFFunction.html#a1cf90f3c56ae200bef2a9e6a67ff97bf',1,'SVF::SVFFunction::loopContainsBB()']]],
+  ['loopinfo_4070',['LoopInfo',['../namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5',1,'SVF']]],
+  ['lowlink_4071',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
+  ['lsa_4072',['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_4073',['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_4074',['LSRelation',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245',1,'SVF::AccessPath']]]
 ];