svf-tools 1.0.913 → 1.0.915

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

@@ -1,49 +1,49 @@
 var searchData=
 [
-  ['join_5fwith_3985',['join_with',['../structSVF_1_1AbstractValue.html#a52a8a738896179a148581e1060a2ed66',1,'SVF::AbstractValue::join_with()'],['../classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a',1,'SVF::AddressValue::join_with()'],['../classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99',1,'SVF::IntervalValue::join_with()']]],
-  ['joinedgeset_3986',['JoinEdgeSet',['../classSVF_1_1ThreadJoinEdge.html#acf768ce9925ee75aea865cd9306afda9',1,'SVF::ThreadJoinEdge::JoinEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa9e07204488ec8f0f83f4e218b6ce6bd',1,'SVF::ThreadCallGraph::JoinEdgeSet()']]],
-  ['joinsites_3987',['joinsites',['../classSVF_1_1ThreadCallGraph.html#aab32b67b314b31d67d58efded50e8f45',1,'SVF::ThreadCallGraph']]],
-  ['joinsitesbegin_3988',['joinsitesBegin',['../classSVF_1_1ThreadCallGraph.html#a98ecfe14be2d38d292b5919716cdd29d',1,'SVF::ThreadCallGraph']]],
-  ['joinsitesend_3989',['joinsitesEnd',['../classSVF_1_1ThreadCallGraph.html#a50502f398e5eac9c6da3e26ea6052057',1,'SVF::ThreadCallGraph']]],
-  ['joinsitetoloopmap_3990',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
-  ['joinwith_3991',['joinWith',['../classSVF_1_1AbstractState.html#a413cb1d009e2a080960bb2432e193d0c',1,'SVF::AbstractState']]],
-  ['jpeg_5fstd_5ferror_3992',['jpeg_std_error',['../extapi_8c.html#ae94edd22063e2b842d914b31af96b741',1,'extapi.c']]],
-  ['json_3993',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
-  ['json_5fchild_3994',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
-  ['json_5fdef_5fread_5ffwd_3995',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
-  ['json_5ffield_5for_3996',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
-  ['json_5fkey_3997',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
-  ['json_5fread_5ffield_5ffwd_3998',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_3999',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5ffwd_4000',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_4001',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_5ffwd_4002',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
-  ['json_5fwrite_5ffield_4003',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
-  ['jsonaddcontenttoobject_4004',['jsonAddContentToObject',['../classSVF_1_1SVFIRWriter.html#a65591d58a251b7f7384126aabccd64a1',1,'SVF::SVFIRWriter']]],
-  ['jsonadditemtoarray_4005',['jsonAddItemToArray',['../namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4',1,'SVF']]],
-  ['jsonadditemtoobject_4006',['jsonAddItemToObject',['../namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3',1,'SVF']]],
-  ['jsonaddjsonabletoobject_4007',['jsonAddJsonableToObject',['../classSVF_1_1SVFIRWriter.html#aecae8cb1f180e463d94c68e5a63a1176',1,'SVF::SVFIRWriter']]],
-  ['jsonaddnumbertoobject_4008',['jsonAddNumberToObject',['../namespaceSVF.html#a06374e1eadf264ee1b9285bb3dfd36a2',1,'SVF']]],
-  ['jsonaddpairtomap_4009',['jsonAddPairToMap',['../namespaceSVF.html#a5f83b548002232dc7590f37a3351ad56',1,'SVF']]],
-  ['jsonaddstringtoobject_4010',['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_4011',['jsonArray',['../classSVF_1_1ReaderPtrPool.html#a7c97bb72f8b612fdebed953ccb3d4ad0',1,'SVF::ReaderPtrPool']]],
-  ['jsoncreatearray_4012',['jsonCreateArray',['../namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14',1,'SVF']]],
-  ['jsoncreatebool_4013',['jsonCreateBool',['../namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555',1,'SVF']]],
-  ['jsoncreateindex_4014',['jsonCreateIndex',['../namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35',1,'SVF']]],
-  ['jsoncreatemap_4015',['jsonCreateMap',['../namespaceSVF.html#a94a4cec5b3ee29a335590943ae30fd65',1,'SVF']]],
-  ['jsoncreatenullid_4016',['jsonCreateNullId',['../namespaceSVF.html#a0f7910523b4290e998024123f594ffb0',1,'SVF']]],
-  ['jsoncreatenumber_4017',['jsonCreateNumber',['../namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e',1,'SVF']]],
-  ['jsoncreateobject_4018',['jsonCreateObject',['../namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4',1,'SVF']]],
-  ['jsoncreatestring_4019',['jsonCreateString',['../namespaceSVF.html#adf8e2485f7cc090ef75c20fff6cf19aa',1,'SVF']]],
-  ['jsonforeach_4020',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]],
-  ['jsongetnumber_4021',['jsonGetNumber',['../namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552',1,'SVF']]],
-  ['jsonisarray_4022',['jsonIsArray',['../namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d',1,'SVF']]],
-  ['jsonisbool_4023',['jsonIsBool',['../namespaceSVF.html#ad830126d4921871b42fc81efbe456509',1,'SVF::jsonIsBool(const cJSON *item)'],['../namespaceSVF.html#a5ac359917fd682d101134ab0b4afdc40',1,'SVF::jsonIsBool(const cJSON *item, bool &flag)']]],
-  ['jsonismap_4024',['jsonIsMap',['../namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac',1,'SVF']]],
-  ['jsonisnullid_4025',['jsonIsNullId',['../namespaceSVF.html#a34a1f3ef61f57ec72a6c202d7a0eaa51',1,'SVF']]],
-  ['jsonisnumber_4026',['jsonIsNumber',['../namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7',1,'SVF']]],
-  ['jsonisobject_4027',['jsonIsObject',['../namespaceSVF.html#ac6a83809ca246bc7a33de3da6b4a4354',1,'SVF']]],
-  ['jsonisstring_4028',['jsonIsString',['../namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49',1,'SVF']]],
-  ['jsonkeyequals_4029',['jsonKeyEquals',['../namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546',1,'SVF']]],
-  ['jsonunpackpair_4030',['jsonUnpackPair',['../namespaceSVF.html#ac5eca7590f00f9cff8824ec739042e0c',1,'SVF']]]
+  ['join_5fwith_3975',['join_with',['../structSVF_1_1AbstractValue.html#a52a8a738896179a148581e1060a2ed66',1,'SVF::AbstractValue::join_with()'],['../classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a',1,'SVF::AddressValue::join_with()'],['../classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99',1,'SVF::IntervalValue::join_with()']]],
+  ['joinedgeset_3976',['JoinEdgeSet',['../classSVF_1_1ThreadJoinEdge.html#acf768ce9925ee75aea865cd9306afda9',1,'SVF::ThreadJoinEdge::JoinEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa9e07204488ec8f0f83f4e218b6ce6bd',1,'SVF::ThreadCallGraph::JoinEdgeSet()']]],
+  ['joinsites_3977',['joinsites',['../classSVF_1_1ThreadCallGraph.html#aab32b67b314b31d67d58efded50e8f45',1,'SVF::ThreadCallGraph']]],
+  ['joinsitesbegin_3978',['joinsitesBegin',['../classSVF_1_1ThreadCallGraph.html#a98ecfe14be2d38d292b5919716cdd29d',1,'SVF::ThreadCallGraph']]],
+  ['joinsitesend_3979',['joinsitesEnd',['../classSVF_1_1ThreadCallGraph.html#a50502f398e5eac9c6da3e26ea6052057',1,'SVF::ThreadCallGraph']]],
+  ['joinsitetoloopmap_3980',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
+  ['joinwith_3981',['joinWith',['../classSVF_1_1AbstractState.html#a413cb1d009e2a080960bb2432e193d0c',1,'SVF::AbstractState']]],
+  ['jpeg_5fstd_5ferror_3982',['jpeg_std_error',['../extapi_8c.html#ae94edd22063e2b842d914b31af96b741',1,'extapi.c']]],
+  ['json_3983',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
+  ['json_5fchild_3984',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
+  ['json_5fdef_5fread_5ffwd_3985',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
+  ['json_5ffield_5for_3986',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
+  ['json_5fkey_3987',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
+  ['json_5fread_5ffield_5ffwd_3988',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_3989',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5ffwd_3990',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_3991',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_5ffwd_3992',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
+  ['json_5fwrite_5ffield_3993',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
+  ['jsonaddcontenttoobject_3994',['jsonAddContentToObject',['../classSVF_1_1SVFIRWriter.html#a65591d58a251b7f7384126aabccd64a1',1,'SVF::SVFIRWriter']]],
+  ['jsonadditemtoarray_3995',['jsonAddItemToArray',['../namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4',1,'SVF']]],
+  ['jsonadditemtoobject_3996',['jsonAddItemToObject',['../namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3',1,'SVF']]],
+  ['jsonaddjsonabletoobject_3997',['jsonAddJsonableToObject',['../classSVF_1_1SVFIRWriter.html#aecae8cb1f180e463d94c68e5a63a1176',1,'SVF::SVFIRWriter']]],
+  ['jsonaddnumbertoobject_3998',['jsonAddNumberToObject',['../namespaceSVF.html#a06374e1eadf264ee1b9285bb3dfd36a2',1,'SVF']]],
+  ['jsonaddpairtomap_3999',['jsonAddPairToMap',['../namespaceSVF.html#a5f83b548002232dc7590f37a3351ad56',1,'SVF']]],
+  ['jsonaddstringtoobject_4000',['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_4001',['jsonArray',['../classSVF_1_1ReaderPtrPool.html#a7c97bb72f8b612fdebed953ccb3d4ad0',1,'SVF::ReaderPtrPool']]],
+  ['jsoncreatearray_4002',['jsonCreateArray',['../namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14',1,'SVF']]],
+  ['jsoncreatebool_4003',['jsonCreateBool',['../namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555',1,'SVF']]],
+  ['jsoncreateindex_4004',['jsonCreateIndex',['../namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35',1,'SVF']]],
+  ['jsoncreatemap_4005',['jsonCreateMap',['../namespaceSVF.html#a94a4cec5b3ee29a335590943ae30fd65',1,'SVF']]],
+  ['jsoncreatenullid_4006',['jsonCreateNullId',['../namespaceSVF.html#a0f7910523b4290e998024123f594ffb0',1,'SVF']]],
+  ['jsoncreatenumber_4007',['jsonCreateNumber',['../namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e',1,'SVF']]],
+  ['jsoncreateobject_4008',['jsonCreateObject',['../namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4',1,'SVF']]],
+  ['jsoncreatestring_4009',['jsonCreateString',['../namespaceSVF.html#adf8e2485f7cc090ef75c20fff6cf19aa',1,'SVF']]],
+  ['jsonforeach_4010',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]],
+  ['jsongetnumber_4011',['jsonGetNumber',['../namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552',1,'SVF']]],
+  ['jsonisarray_4012',['jsonIsArray',['../namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d',1,'SVF']]],
+  ['jsonisbool_4013',['jsonIsBool',['../namespaceSVF.html#ad830126d4921871b42fc81efbe456509',1,'SVF::jsonIsBool(const cJSON *item)'],['../namespaceSVF.html#a5ac359917fd682d101134ab0b4afdc40',1,'SVF::jsonIsBool(const cJSON *item, bool &flag)']]],
+  ['jsonismap_4014',['jsonIsMap',['../namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac',1,'SVF']]],
+  ['jsonisnullid_4015',['jsonIsNullId',['../namespaceSVF.html#a34a1f3ef61f57ec72a6c202d7a0eaa51',1,'SVF']]],
+  ['jsonisnumber_4016',['jsonIsNumber',['../namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7',1,'SVF']]],
+  ['jsonisobject_4017',['jsonIsObject',['../namespaceSVF.html#ac6a83809ca246bc7a33de3da6b4a4354',1,'SVF']]],
+  ['jsonisstring_4018',['jsonIsString',['../namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49',1,'SVF']]],
+  ['jsonkeyequals_4019',['jsonKeyEquals',['../namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546',1,'SVF']]],
+  ['jsonunpackpair_4020',['jsonUnpackPair',['../namespaceSVF.html#ac5eca7590f00f9cff8824ec739042e0c',1,'SVF']]]
 ];

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

@@ -1,27 +1,27 @@
 var searchData=
 [
-  ['kblu_4031',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
-  ['kcya_4032',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
-  ['keepactualoutformalin_4033',['keepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#a7e57ca56a587a5b59543b5bab7fe794d',1,'SVF::SVFGOPT']]],
-  ['keepallselfcycle_4034',['keepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d',1,'SVF::SVFGOPT::keepAllSelfCycle()'],['../SVFGOPT_8cpp.html#af213fe89264a55a8ff44872905524f2f',1,'KeepAllSelfCycle(): SVFGOPT.cpp']]],
-  ['keepaofi_4035',['KeepAOFI',['../classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37',1,'SVF::Options']]],
-  ['keepcontextselfcycle_4036',['keepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f',1,'SVF::SVFGOPT::keepContextSelfCycle()'],['../SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935',1,'KeepContextSelfCycle(): SVFGOPT.cpp']]],
-  ['keepnoneselfcycle_4037',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
-  ['keytoidmap_4038',['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_4039',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
-  ['kind_4040',['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_4041',['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_4042',['KindBaseHelper',['../structSVF_1_1KindBaseHelper.html',1,'SVF']]],
-  ['kindbaset_4043',['KindBaseT',['../namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856',1,'SVF']]],
-  ['kindtoattrsmap_4044',['kindToAttrsMap',['../classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c',1,'SVF::GrammarBase::kindToAttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068',1,'SVF::CFLGraphBuilder::kindToAttrsMap()']]],
-  ['kindtolabelmap_4045',['kindToLabelMap',['../classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e',1,'SVF::CFLGraphBuilder']]],
-  ['kindtoptasvfstmtsetmap_4046',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
-  ['kindtostr_4047',['kindToStr',['../classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3',1,'SVF::GrammarBase']]],
-  ['kindtosvfstmtmapty_4048',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]],
-  ['kindtosvfstmtsetmap_4049',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]],
-  ['knrm_4050',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
-  ['kpur_4051',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
-  ['kred_4052',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
-  ['kwht_4053',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
-  ['kyel_4054',['KYEL',['../SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a',1,'SVFUtil.cpp']]]
+  ['kblu_4021',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
+  ['kcya_4022',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
+  ['keepactualoutformalin_4023',['keepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#a7e57ca56a587a5b59543b5bab7fe794d',1,'SVF::SVFGOPT']]],
+  ['keepallselfcycle_4024',['keepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d',1,'SVF::SVFGOPT::keepAllSelfCycle()'],['../SVFGOPT_8cpp.html#af213fe89264a55a8ff44872905524f2f',1,'KeepAllSelfCycle(): SVFGOPT.cpp']]],
+  ['keepaofi_4025',['KeepAOFI',['../classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37',1,'SVF::Options']]],
+  ['keepcontextselfcycle_4026',['keepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f',1,'SVF::SVFGOPT::keepContextSelfCycle()'],['../SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935',1,'KeepContextSelfCycle(): SVFGOPT.cpp']]],
+  ['keepnoneselfcycle_4027',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
+  ['keytoidmap_4028',['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_4029',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
+  ['kind_4030',['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_4031',['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_4032',['KindBaseHelper',['../structSVF_1_1KindBaseHelper.html',1,'SVF']]],
+  ['kindbaset_4033',['KindBaseT',['../namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856',1,'SVF']]],
+  ['kindtoattrsmap_4034',['kindToAttrsMap',['../classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c',1,'SVF::GrammarBase::kindToAttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068',1,'SVF::CFLGraphBuilder::kindToAttrsMap()']]],
+  ['kindtolabelmap_4035',['kindToLabelMap',['../classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e',1,'SVF::CFLGraphBuilder']]],
+  ['kindtoptasvfstmtsetmap_4036',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
+  ['kindtostr_4037',['kindToStr',['../classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3',1,'SVF::GrammarBase']]],
+  ['kindtosvfstmtmapty_4038',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]],
+  ['kindtosvfstmtsetmap_4039',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]],
+  ['knrm_4040',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
+  ['kpur_4041',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
+  ['kred_4042',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
+  ['kwht_4043',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
+  ['kyel_4044',['KYEL',['../SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a',1,'SVFUtil.cpp']]]
 ];

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

@@ -1,114 +1,114 @@
 var searchData=
 [
-  ['label_4055',['Label',['../namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9',1,'SVF']]],
-  ['labeltokindmap_4056',['labelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f',1,'SVF::CFLGraphBuilder']]],
-  ['landingpadinst_4057',['LandingPadInst',['../namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71',1,'SVF']]],
-  ['largestregion_4058',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['last_5ffcmp_5fpredicate_4059',['LAST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69',1,'SVF::CmpStmt']]],
-  ['last_5ficmp_5fpredicate_4060',['LAST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e',1,'SVF::CmpStmt']]],
-  ['lb_4061',['lb',['../structSVF_1_1AbstractValue.html#a6c979397d4efb5b37e3b2bf9feba5648',1,'SVF::AbstractValue::lb()'],['../classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264',1,'SVF::IntervalValue::lb()']]],
-  ['ldnodeset_4062',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
-  ['leadingzeroscounter_4063',['LeadingZerosCounter',['../structSVF_1_1LeadingZerosCounter.html',1,'SVF']]],
-  ['leak_5ftype_4064',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
-  ['leakchecker_4065',['LeakChecker',['../classSVF_1_1LeakChecker.html',1,'SVF::LeakChecker'],['../classSVF_1_1LeakChecker.html#af1140475e97947d193784d2b90809036',1,'SVF::LeakChecker::LeakChecker()']]],
-  ['leakchecker_2ecpp_4066',['LeakChecker.cpp',['../LeakChecker_8cpp.html',1,'']]],
-  ['leakchecker_2eh_4067',['LeakChecker.h',['../LeakChecker_8h.html',1,'']]],
-  ['length_4068',['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_4069',['leq',['../structSVF_1_1AbstractValue.html#aa6e16f5019574480ff3de58509541b31',1,'SVF::AbstractValue::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()']]],
-  ['lessthanvartovalmap_4070',['lessThanVarToValMap',['../classSVF_1_1AbstractState.html#a943e87d9e3bf7332e7dbb3a00aeb996a',1,'SVF::AbstractState::lessThanVarToValMap()'],['../classSVF_1_1RelExeState.html#a1bc5dc440ad614fd7b4804bfa88c37c0',1,'SVF::RelExeState::lessThanVarToValMap()']]],
-  ['list_4071',['List',['../classSVF_1_1List.html',1,'SVF::List< Data >'],['../classSVF_1_1List.html#aeb697e85085a332e5d593b6f8ee95713',1,'SVF::List::List()']]],
-  ['listnode_4072',['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_4073',['llvm',['../namespacellvm.html',1,'']]],
-  ['llvm2svf_2ecpp_4074',['llvm2svf.cpp',['../llvm2svf_8cpp.html',1,'']]],
-  ['llvm_5fhas_5fcpp_5fattribute_4075',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
-  ['llvm_5fnodiscard_4076',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]],
-  ['llvmargument2svfargument_4077',['LLVMArgument2SVFArgument',['../classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480',1,'SVF::LLVMModuleSet']]],
-  ['llvmargument2svfargumentmap_4078',['LLVMArgument2SVFArgumentMap',['../classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0',1,'SVF::LLVMModuleSet']]],
-  ['llvmbb2svfbb_4079',['LLVMBB2SVFBB',['../classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c',1,'SVF::LLVMModuleSet']]],
-  ['llvmbb2svfbbmap_4080',['LLVMBB2SVFBBMap',['../classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911',1,'SVF::LLVMModuleSet']]],
-  ['llvmconst2svfconst_4081',['LLVMConst2SVFConst',['../classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc',1,'SVF::LLVMModuleSet']]],
-  ['llvmconst2svfconstmap_4082',['LLVMConst2SVFConstMap',['../classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede',1,'SVF::LLVMModuleSet']]],
-  ['llvmcontext_4083',['LLVMContext',['../namespaceSVF.html#affba423b674a0aba723e33101826e297',1,'SVF']]],
-  ['llvmfun2svffunmap_4084',['LLVMFun2SVFFunMap',['../classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242',1,'SVF::LLVMModuleSet']]],
-  ['llvmfunc2svffunc_4085',['LLVMFunc2SVFFunc',['../classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15',1,'SVF::LLVMModuleSet']]],
-  ['llvminst2svfinst_4086',['LLVMInst2SVFInst',['../classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0',1,'SVF::LLVMModuleSet']]],
-  ['llvminst2svfinstmap_4087',['LLVMInst2SVFInstMap',['../classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f',1,'SVF::LLVMModuleSet']]],
-  ['llvmloopanalysis_4088',['LLVMLoopAnalysis',['../classSVF_1_1LLVMLoopAnalysis.html',1,'SVF::LLVMLoopAnalysis'],['../classSVF_1_1LLVMLoopAnalysis.html#a93161bbdb47c74fce1d8e54a45df2df8',1,'SVF::LLVMLoopAnalysis::LLVMLoopAnalysis()']]],
-  ['llvmloopanalysis_2ecpp_4089',['LLVMLoopAnalysis.cpp',['../LLVMLoopAnalysis_8cpp.html',1,'']]],
-  ['llvmloopanalysis_2eh_4090',['LLVMLoopAnalysis.h',['../LLVMLoopAnalysis_8h.html',1,'']]],
-  ['llvmmodule_2ecpp_4091',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
-  ['llvmmodule_2eh_4092',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
-  ['llvmmoduleset_4093',['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_4094',['LLVMType2SVFType',['../classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f',1,'SVF::LLVMModuleSet']]],
-  ['llvmtype2svftypemap_4095',['LLVMType2SVFTypeMap',['../classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69',1,'SVF::LLVMModuleSet']]],
-  ['llvmutil_2ecpp_4096',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
-  ['llvmutil_2eh_4097',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
-  ['llvmvalue2svfothervalue_4098',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
-  ['llvmvalue2svfothervaluemap_4099',['LLVMValue2SVFOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f',1,'SVF::LLVMModuleSet']]],
-  ['load_4100',['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_1AbstractState.html#aa057c4c27e613d239161c04daf3a46d0',1,'SVF::AbstractState::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_4101',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
-  ['loadcgedge_4102',['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_4103',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
-  ['loadextapimodules_4104',['loadExtAPIModules',['../classSVF_1_1LLVMModuleSet.html#a8820d1df9098db6eadf3a9c67e380e55',1,'SVF::LLVMModuleSet']]],
-  ['loadinedges_4105',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
-  ['loadinst_4106',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
-  ['loadmodules_4107',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
-  ['loadmssamu_4108',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
-  ['loadmu_4109',['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_4110',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
-  ['loadset_4111',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()'],['../classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e',1,'SVF::MTA::LoadSet()']]],
-  ['loadsrcnodes_4112',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
-  ['loadstmt_4113',['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_4114',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()']]],
-  ['loadstopointstomap_4115',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
-  ['loadsvfgnode_4116',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
-  ['loadtime_4117',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
-  ['loadtomusetmap_4118',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
-  ['loadtoptcvarmap_4119',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
-  ['loadvfgnode_4120',['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_4121',['loadWordProductions',['../classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62',1,'SVF::GrammarBuilder']]],
-  ['localeconv_4122',['localeconv',['../extapi_8c.html#a69b40f71a20a7c8bd67b9eeeae7f40c9',1,'extapi.c']]],
-  ['localtime_4123',['localtime',['../extapi_8c.html#adb012b56c91f15a89702bfff38c7e69c',1,'extapi.c']]],
-  ['localtime_5fr_4124',['localtime_r',['../extapi_8c.html#aa8b9c0d3e4e549fa2dc2e654afa1d09a',1,'extapi.c']]],
-  ['localvarinrecursion_4125',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
-  ['locdpitem_4126',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],
-  ['locid_4127',['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_4128',['LOCK',['../classSVF_1_1LockResultValidator.html#a5423c0cf9624c42bcd8a9a8adaa22dcb',1,'SVF::LockResultValidator']]],
-  ['lock_5fflag_4129',['LOCK_FLAG',['../classSVF_1_1LockResultValidator.html#a3b7d25dfe5251f49afbb733c25eee70f',1,'SVF::LockResultValidator']]],
-  ['lock_5fimprecise_4130',['LOCK_IMPRECISE',['../classSVF_1_1LockResultValidator.html#a760c0f6f891daa4532a44c6594794bb8',1,'SVF::LockResultValidator']]],
-  ['lock_5ftrue_4131',['LOCK_TRUE',['../classSVF_1_1LockResultValidator.html#a005c38dd07eb66d52066fa1927b1e19f',1,'SVF::LockResultValidator']]],
-  ['lock_5funsound_4132',['LOCK_UNSOUND',['../classSVF_1_1LockResultValidator.html#a03589368482d3f7ee7f6734e257dcbdf',1,'SVF::LockResultValidator']]],
-  ['lockana_4133',['lockana',['../classSVF_1_1MTASVFGBuilder.html#a00bf5aaf3095bb271f2cbd3c35749ce2',1,'SVF::MTASVFGBuilder::lockana()'],['../classSVF_1_1FSMPTA.html#abf8f7645c51f3a8c70ca542de5b7d6c9',1,'SVF::FSMPTA::lockana()']]],
-  ['lockanalysis_4134',['LockAnalysis',['../classSVF_1_1LockAnalysis.html',1,'SVF::LockAnalysis'],['../classSVF_1_1LockAnalysis.html#af8aff31058caba691c127b8aef297b43',1,'SVF::LockAnalysis::LockAnalysis()']]],
-  ['lockanalysis_2ecpp_4135',['LockAnalysis.cpp',['../LockAnalysis_8cpp.html',1,'']]],
-  ['lockanalysis_2eh_4136',['LockAnalysis.h',['../LockAnalysis_8h.html',1,'']]],
-  ['lockcandidatefuncset_4137',['lockcandidateFuncSet',['../classSVF_1_1LockAnalysis.html#a484eb7b6f49f47a3e71054c3b798a47a',1,'SVF::LockAnalysis']]],
-  ['lockqueriestime_4138',['lockQueriesTime',['../classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d',1,'SVF::LockAnalysis']]],
-  ['lockresultvalidator_4139',['LockResultValidator',['../classSVF_1_1LockResultValidator.html',1,'SVF::LockResultValidator'],['../classSVF_1_1LockResultValidator.html#acfe0b43eee73c5e02f5744d8993cb529',1,'SVF::LockResultValidator::LockResultValidator()']]],
-  ['lockresultvalidator_2ecpp_4140',['LockResultValidator.cpp',['../LockResultValidator_8cpp.html',1,'']]],
-  ['lockresultvalidator_2eh_4141',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]],
-  ['lockset_4142',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
-  ['locksites_4143',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
-  ['locksitetolockset_4144',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#aaf04c86a10b341a17d035868cd8d1ca7',1,'SVF::LockAnalysis']]],
-  ['lockspan_4145',['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_4146',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
-  ['lockvalid_4147',['LockValid',['../classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec',1,'SVF::Options']]],
-  ['locmemmodel_4148',['LocMemModel',['../classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050',1,'SVF::Options']]],
-  ['loctodpmsetmap_4149',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
-  ['loctodpmvecmap_4150',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
-  ['locversionmap_4151',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
-  ['lookupcomplements_4152',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
-  ['lookupintersections_4153',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
-  ['lookupunions_4154',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
-  ['loop_4155',['Loop',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7',1,'SVF::SVFBugEvent::Loop()'],['../namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314',1,'SVF::Loop()']]],
-  ['loopanalysis_4156',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
-  ['loopanddom_4157',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
-  ['loopbbs_4158',['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_4159',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()']]],
-  ['loopcontainsbb_4160',['loopContainsBB',['../classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117',1,'SVF::SVFLoopAndDomInfo::loopContainsBB()'],['../classSVF_1_1SVFFunction.html#a1cf90f3c56ae200bef2a9e6a67ff97bf',1,'SVF::SVFFunction::loopContainsBB()']]],
-  ['loopinfo_4161',['LoopInfo',['../namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5',1,'SVF']]],
-  ['lowlink_4162',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
-  ['lsa_4163',['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_4164',['lshr',['../classSVF_1_1BoundedZ3Expr.html#adc4486fb78e2efbd67be311903917117',1,'SVF::BoundedZ3Expr::lshr()'],['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1',1,'SVF::BinaryOPStmt::LShr()']]],
-  ['lsrelation_4165',['LSRelation',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245',1,'SVF::AccessPath']]]
+  ['label_4045',['Label',['../namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9',1,'SVF']]],
+  ['labeltokindmap_4046',['labelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f',1,'SVF::CFLGraphBuilder']]],
+  ['landingpadinst_4047',['LandingPadInst',['../namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71',1,'SVF']]],
+  ['largestregion_4048',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['last_5ffcmp_5fpredicate_4049',['LAST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69',1,'SVF::CmpStmt']]],
+  ['last_5ficmp_5fpredicate_4050',['LAST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e',1,'SVF::CmpStmt']]],
+  ['lb_4051',['lb',['../structSVF_1_1AbstractValue.html#a6c979397d4efb5b37e3b2bf9feba5648',1,'SVF::AbstractValue::lb()'],['../classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264',1,'SVF::IntervalValue::lb()']]],
+  ['ldnodeset_4052',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
+  ['leadingzeroscounter_4053',['LeadingZerosCounter',['../structSVF_1_1LeadingZerosCounter.html',1,'SVF']]],
+  ['leak_5ftype_4054',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
+  ['leakchecker_4055',['LeakChecker',['../classSVF_1_1LeakChecker.html',1,'SVF::LeakChecker'],['../classSVF_1_1LeakChecker.html#af1140475e97947d193784d2b90809036',1,'SVF::LeakChecker::LeakChecker()']]],
+  ['leakchecker_2ecpp_4056',['LeakChecker.cpp',['../LeakChecker_8cpp.html',1,'']]],
+  ['leakchecker_2eh_4057',['LeakChecker.h',['../LeakChecker_8h.html',1,'']]],
+  ['length_4058',['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_4059',['leq',['../structSVF_1_1AbstractValue.html#aa6e16f5019574480ff3de58509541b31',1,'SVF::AbstractValue::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()']]],
+  ['lessthanvartovalmap_4060',['lessThanVarToValMap',['../classSVF_1_1AbstractState.html#a943e87d9e3bf7332e7dbb3a00aeb996a',1,'SVF::AbstractState::lessThanVarToValMap()'],['../classSVF_1_1RelExeState.html#a1bc5dc440ad614fd7b4804bfa88c37c0',1,'SVF::RelExeState::lessThanVarToValMap()']]],
+  ['list_4061',['List',['../classSVF_1_1List.html',1,'SVF::List< Data >'],['../classSVF_1_1List.html#aeb697e85085a332e5d593b6f8ee95713',1,'SVF::List::List()']]],
+  ['listnode_4062',['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_4063',['llvm',['../namespacellvm.html',1,'']]],
+  ['llvm2svf_2ecpp_4064',['llvm2svf.cpp',['../llvm2svf_8cpp.html',1,'']]],
+  ['llvm_5fhas_5fcpp_5fattribute_4065',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
+  ['llvm_5fnodiscard_4066',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]],
+  ['llvmargument2svfargument_4067',['LLVMArgument2SVFArgument',['../classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480',1,'SVF::LLVMModuleSet']]],
+  ['llvmargument2svfargumentmap_4068',['LLVMArgument2SVFArgumentMap',['../classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0',1,'SVF::LLVMModuleSet']]],
+  ['llvmbb2svfbb_4069',['LLVMBB2SVFBB',['../classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c',1,'SVF::LLVMModuleSet']]],
+  ['llvmbb2svfbbmap_4070',['LLVMBB2SVFBBMap',['../classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911',1,'SVF::LLVMModuleSet']]],
+  ['llvmconst2svfconst_4071',['LLVMConst2SVFConst',['../classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc',1,'SVF::LLVMModuleSet']]],
+  ['llvmconst2svfconstmap_4072',['LLVMConst2SVFConstMap',['../classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede',1,'SVF::LLVMModuleSet']]],
+  ['llvmcontext_4073',['LLVMContext',['../namespaceSVF.html#affba423b674a0aba723e33101826e297',1,'SVF']]],
+  ['llvmfun2svffunmap_4074',['LLVMFun2SVFFunMap',['../classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242',1,'SVF::LLVMModuleSet']]],
+  ['llvmfunc2svffunc_4075',['LLVMFunc2SVFFunc',['../classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15',1,'SVF::LLVMModuleSet']]],
+  ['llvminst2svfinst_4076',['LLVMInst2SVFInst',['../classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0',1,'SVF::LLVMModuleSet']]],
+  ['llvminst2svfinstmap_4077',['LLVMInst2SVFInstMap',['../classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f',1,'SVF::LLVMModuleSet']]],
+  ['llvmloopanalysis_4078',['LLVMLoopAnalysis',['../classSVF_1_1LLVMLoopAnalysis.html',1,'SVF::LLVMLoopAnalysis'],['../classSVF_1_1LLVMLoopAnalysis.html#a93161bbdb47c74fce1d8e54a45df2df8',1,'SVF::LLVMLoopAnalysis::LLVMLoopAnalysis()']]],
+  ['llvmloopanalysis_2ecpp_4079',['LLVMLoopAnalysis.cpp',['../LLVMLoopAnalysis_8cpp.html',1,'']]],
+  ['llvmloopanalysis_2eh_4080',['LLVMLoopAnalysis.h',['../LLVMLoopAnalysis_8h.html',1,'']]],
+  ['llvmmodule_2ecpp_4081',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
+  ['llvmmodule_2eh_4082',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
+  ['llvmmoduleset_4083',['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_4084',['LLVMType2SVFType',['../classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f',1,'SVF::LLVMModuleSet']]],
+  ['llvmtype2svftypemap_4085',['LLVMType2SVFTypeMap',['../classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69',1,'SVF::LLVMModuleSet']]],
+  ['llvmutil_2ecpp_4086',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
+  ['llvmutil_2eh_4087',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
+  ['llvmvalue2svfothervalue_4088',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
+  ['llvmvalue2svfothervaluemap_4089',['LLVMValue2SVFOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f',1,'SVF::LLVMModuleSet']]],
+  ['load_4090',['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_1AbstractState.html#aa057c4c27e613d239161c04daf3a46d0',1,'SVF::AbstractState::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_4091',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
+  ['loadcgedge_4092',['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_4093',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
+  ['loadextapimodules_4094',['loadExtAPIModules',['../classSVF_1_1LLVMModuleSet.html#a8820d1df9098db6eadf3a9c67e380e55',1,'SVF::LLVMModuleSet']]],
+  ['loadinedges_4095',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
+  ['loadinst_4096',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
+  ['loadmodules_4097',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
+  ['loadmssamu_4098',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
+  ['loadmu_4099',['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_4100',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
+  ['loadset_4101',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()'],['../classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e',1,'SVF::MTA::LoadSet()']]],
+  ['loadsrcnodes_4102',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
+  ['loadstmt_4103',['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_4104',['LoadsToMRsMap',['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()']]],
+  ['loadstopointstomap_4105',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
+  ['loadsvfgnode_4106',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
+  ['loadtime_4107',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
+  ['loadtomusetmap_4108',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
+  ['loadtoptcvarmap_4109',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
+  ['loadvfgnode_4110',['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_4111',['loadWordProductions',['../classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62',1,'SVF::GrammarBuilder']]],
+  ['localeconv_4112',['localeconv',['../extapi_8c.html#a69b40f71a20a7c8bd67b9eeeae7f40c9',1,'extapi.c']]],
+  ['localtime_4113',['localtime',['../extapi_8c.html#adb012b56c91f15a89702bfff38c7e69c',1,'extapi.c']]],
+  ['localtime_5fr_4114',['localtime_r',['../extapi_8c.html#aa8b9c0d3e4e549fa2dc2e654afa1d09a',1,'extapi.c']]],
+  ['localvarinrecursion_4115',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
+  ['locdpitem_4116',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],
+  ['locid_4117',['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_4118',['LOCK',['../classSVF_1_1LockResultValidator.html#a5423c0cf9624c42bcd8a9a8adaa22dcb',1,'SVF::LockResultValidator']]],
+  ['lock_5fflag_4119',['LOCK_FLAG',['../classSVF_1_1LockResultValidator.html#a3b7d25dfe5251f49afbb733c25eee70f',1,'SVF::LockResultValidator']]],
+  ['lock_5fimprecise_4120',['LOCK_IMPRECISE',['../classSVF_1_1LockResultValidator.html#a760c0f6f891daa4532a44c6594794bb8',1,'SVF::LockResultValidator']]],
+  ['lock_5ftrue_4121',['LOCK_TRUE',['../classSVF_1_1LockResultValidator.html#a005c38dd07eb66d52066fa1927b1e19f',1,'SVF::LockResultValidator']]],
+  ['lock_5funsound_4122',['LOCK_UNSOUND',['../classSVF_1_1LockResultValidator.html#a03589368482d3f7ee7f6734e257dcbdf',1,'SVF::LockResultValidator']]],
+  ['lockana_4123',['lockana',['../classSVF_1_1MTASVFGBuilder.html#a00bf5aaf3095bb271f2cbd3c35749ce2',1,'SVF::MTASVFGBuilder::lockana()'],['../classSVF_1_1FSMPTA.html#abf8f7645c51f3a8c70ca542de5b7d6c9',1,'SVF::FSMPTA::lockana()']]],
+  ['lockanalysis_4124',['LockAnalysis',['../classSVF_1_1LockAnalysis.html',1,'SVF::LockAnalysis'],['../classSVF_1_1LockAnalysis.html#af8aff31058caba691c127b8aef297b43',1,'SVF::LockAnalysis::LockAnalysis()']]],
+  ['lockanalysis_2ecpp_4125',['LockAnalysis.cpp',['../LockAnalysis_8cpp.html',1,'']]],
+  ['lockanalysis_2eh_4126',['LockAnalysis.h',['../LockAnalysis_8h.html',1,'']]],
+  ['lockcandidatefuncset_4127',['lockcandidateFuncSet',['../classSVF_1_1LockAnalysis.html#a484eb7b6f49f47a3e71054c3b798a47a',1,'SVF::LockAnalysis']]],
+  ['lockqueriestime_4128',['lockQueriesTime',['../classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d',1,'SVF::LockAnalysis']]],
+  ['lockresultvalidator_4129',['LockResultValidator',['../classSVF_1_1LockResultValidator.html',1,'SVF::LockResultValidator'],['../classSVF_1_1LockResultValidator.html#acfe0b43eee73c5e02f5744d8993cb529',1,'SVF::LockResultValidator::LockResultValidator()']]],
+  ['lockresultvalidator_2ecpp_4130',['LockResultValidator.cpp',['../LockResultValidator_8cpp.html',1,'']]],
+  ['lockresultvalidator_2eh_4131',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]],
+  ['lockset_4132',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
+  ['locksites_4133',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
+  ['locksitetolockset_4134',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#aaf04c86a10b341a17d035868cd8d1ca7',1,'SVF::LockAnalysis']]],
+  ['lockspan_4135',['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_4136',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
+  ['lockvalid_4137',['LockValid',['../classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec',1,'SVF::Options']]],
+  ['locmemmodel_4138',['LocMemModel',['../classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050',1,'SVF::Options']]],
+  ['loctodpmsetmap_4139',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
+  ['loctodpmvecmap_4140',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
+  ['locversionmap_4141',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
+  ['lookupcomplements_4142',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
+  ['lookupintersections_4143',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
+  ['lookupunions_4144',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
+  ['loop_4145',['Loop',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7',1,'SVF::SVFBugEvent::Loop()'],['../namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314',1,'SVF::Loop()']]],
+  ['loopanalysis_4146',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
+  ['loopanddom_4147',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
+  ['loopbbs_4148',['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_4149',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()']]],
+  ['loopcontainsbb_4150',['loopContainsBB',['../classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117',1,'SVF::SVFLoopAndDomInfo::loopContainsBB()'],['../classSVF_1_1SVFFunction.html#a1cf90f3c56ae200bef2a9e6a67ff97bf',1,'SVF::SVFFunction::loopContainsBB()']]],
+  ['loopinfo_4151',['LoopInfo',['../namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5',1,'SVF']]],
+  ['lowlink_4152',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
+  ['lsa_4153',['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_4154',['lshr',['../classSVF_1_1BoundedZ3Expr.html#adc4486fb78e2efbd67be311903917117',1,'SVF::BoundedZ3Expr::lshr()'],['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1',1,'SVF::BinaryOPStmt::LShr()']]],
+  ['lsrelation_4155',['LSRelation',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245',1,'SVF::AccessPath']]]
 ];