svf-tools 1.0.849 → 1.0.850

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

@@ -1,33 +1,33 @@
 var searchData=
 [
-  ['join_5fwith_9630',['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()']]],
-  ['joinsitesbegin_9631',['joinsitesBegin',['../classSVF_1_1ThreadCallGraph.html#a98ecfe14be2d38d292b5919716cdd29d',1,'SVF::ThreadCallGraph']]],
-  ['joinsitesend_9632',['joinsitesEnd',['../classSVF_1_1ThreadCallGraph.html#a50502f398e5eac9c6da3e26ea6052057',1,'SVF::ThreadCallGraph']]],
-  ['joinwith_9633',['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_9634',['jpeg_std_error',['../extapi_8c.html#ae94edd22063e2b842d914b31af96b741',1,'extapi.c']]],
-  ['jsonaddcontenttoobject_9635',['jsonAddContentToObject',['../classSVF_1_1SVFIRWriter.html#a65591d58a251b7f7384126aabccd64a1',1,'SVF::SVFIRWriter']]],
-  ['jsonadditemtoarray_9636',['jsonAddItemToArray',['../namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4',1,'SVF']]],
-  ['jsonadditemtoobject_9637',['jsonAddItemToObject',['../namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3',1,'SVF']]],
-  ['jsonaddjsonabletoobject_9638',['jsonAddJsonableToObject',['../classSVF_1_1SVFIRWriter.html#aecae8cb1f180e463d94c68e5a63a1176',1,'SVF::SVFIRWriter']]],
-  ['jsonaddnumbertoobject_9639',['jsonAddNumberToObject',['../namespaceSVF.html#a06374e1eadf264ee1b9285bb3dfd36a2',1,'SVF']]],
-  ['jsonaddpairtomap_9640',['jsonAddPairToMap',['../namespaceSVF.html#a5f83b548002232dc7590f37a3351ad56',1,'SVF']]],
-  ['jsonaddstringtoobject_9641',['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)']]],
-  ['jsoncreatearray_9642',['jsonCreateArray',['../namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14',1,'SVF']]],
-  ['jsoncreatebool_9643',['jsonCreateBool',['../namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555',1,'SVF']]],
-  ['jsoncreateindex_9644',['jsonCreateIndex',['../namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35',1,'SVF']]],
-  ['jsoncreatemap_9645',['jsonCreateMap',['../namespaceSVF.html#a94a4cec5b3ee29a335590943ae30fd65',1,'SVF']]],
-  ['jsoncreatenullid_9646',['jsonCreateNullId',['../namespaceSVF.html#a0f7910523b4290e998024123f594ffb0',1,'SVF']]],
-  ['jsoncreatenumber_9647',['jsonCreateNumber',['../namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e',1,'SVF']]],
-  ['jsoncreateobject_9648',['jsonCreateObject',['../namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4',1,'SVF']]],
-  ['jsoncreatestring_9649',['jsonCreateString',['../namespaceSVF.html#adf8e2485f7cc090ef75c20fff6cf19aa',1,'SVF']]],
-  ['jsongetnumber_9650',['jsonGetNumber',['../namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552',1,'SVF']]],
-  ['jsonisarray_9651',['jsonIsArray',['../namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d',1,'SVF']]],
-  ['jsonisbool_9652',['jsonIsBool',['../namespaceSVF.html#ad830126d4921871b42fc81efbe456509',1,'SVF::jsonIsBool(const cJSON *item)'],['../namespaceSVF.html#a5ac359917fd682d101134ab0b4afdc40',1,'SVF::jsonIsBool(const cJSON *item, bool &flag)']]],
-  ['jsonismap_9653',['jsonIsMap',['../namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac',1,'SVF']]],
-  ['jsonisnullid_9654',['jsonIsNullId',['../namespaceSVF.html#a34a1f3ef61f57ec72a6c202d7a0eaa51',1,'SVF']]],
-  ['jsonisnumber_9655',['jsonIsNumber',['../namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7',1,'SVF']]],
-  ['jsonisobject_9656',['jsonIsObject',['../namespaceSVF.html#ac6a83809ca246bc7a33de3da6b4a4354',1,'SVF']]],
-  ['jsonisstring_9657',['jsonIsString',['../namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49',1,'SVF']]],
-  ['jsonkeyequals_9658',['jsonKeyEquals',['../namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546',1,'SVF']]],
-  ['jsonunpackpair_9659',['jsonUnpackPair',['../namespaceSVF.html#ac5eca7590f00f9cff8824ec739042e0c',1,'SVF']]]
+  ['join_5fwith_9634',['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()']]],
+  ['joinsitesbegin_9635',['joinsitesBegin',['../classSVF_1_1ThreadCallGraph.html#a98ecfe14be2d38d292b5919716cdd29d',1,'SVF::ThreadCallGraph']]],
+  ['joinsitesend_9636',['joinsitesEnd',['../classSVF_1_1ThreadCallGraph.html#a50502f398e5eac9c6da3e26ea6052057',1,'SVF::ThreadCallGraph']]],
+  ['joinwith_9637',['joinWith',['../classSVF_1_1ConsExeState.html#a8f2668196be5ecbc061d5b43caa43cae',1,'SVF::ConsExeState::joinWith()'],['../classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0',1,'SVF::ExeState::joinWith()'],['../classSVF_1_1IntervalESBase.html#adc0db607e4c0f117760535df67b91fbd',1,'SVF::IntervalESBase::joinWith()'],['../classSVF_1_1IntervalExeState.html#a46ef74cd1412790b088f1d7320f57a9f',1,'SVF::IntervalExeState::joinWith()']]],
+  ['jpeg_5fstd_5ferror_9638',['jpeg_std_error',['../extapi_8c.html#ae94edd22063e2b842d914b31af96b741',1,'extapi.c']]],
+  ['jsonaddcontenttoobject_9639',['jsonAddContentToObject',['../classSVF_1_1SVFIRWriter.html#a65591d58a251b7f7384126aabccd64a1',1,'SVF::SVFIRWriter']]],
+  ['jsonadditemtoarray_9640',['jsonAddItemToArray',['../namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4',1,'SVF']]],
+  ['jsonadditemtoobject_9641',['jsonAddItemToObject',['../namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3',1,'SVF']]],
+  ['jsonaddjsonabletoobject_9642',['jsonAddJsonableToObject',['../classSVF_1_1SVFIRWriter.html#aecae8cb1f180e463d94c68e5a63a1176',1,'SVF::SVFIRWriter']]],
+  ['jsonaddnumbertoobject_9643',['jsonAddNumberToObject',['../namespaceSVF.html#a06374e1eadf264ee1b9285bb3dfd36a2',1,'SVF']]],
+  ['jsonaddpairtomap_9644',['jsonAddPairToMap',['../namespaceSVF.html#a5f83b548002232dc7590f37a3351ad56',1,'SVF']]],
+  ['jsonaddstringtoobject_9645',['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)']]],
+  ['jsoncreatearray_9646',['jsonCreateArray',['../namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14',1,'SVF']]],
+  ['jsoncreatebool_9647',['jsonCreateBool',['../namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555',1,'SVF']]],
+  ['jsoncreateindex_9648',['jsonCreateIndex',['../namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35',1,'SVF']]],
+  ['jsoncreatemap_9649',['jsonCreateMap',['../namespaceSVF.html#a94a4cec5b3ee29a335590943ae30fd65',1,'SVF']]],
+  ['jsoncreatenullid_9650',['jsonCreateNullId',['../namespaceSVF.html#a0f7910523b4290e998024123f594ffb0',1,'SVF']]],
+  ['jsoncreatenumber_9651',['jsonCreateNumber',['../namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e',1,'SVF']]],
+  ['jsoncreateobject_9652',['jsonCreateObject',['../namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4',1,'SVF']]],
+  ['jsoncreatestring_9653',['jsonCreateString',['../namespaceSVF.html#adf8e2485f7cc090ef75c20fff6cf19aa',1,'SVF']]],
+  ['jsongetnumber_9654',['jsonGetNumber',['../namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552',1,'SVF']]],
+  ['jsonisarray_9655',['jsonIsArray',['../namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d',1,'SVF']]],
+  ['jsonisbool_9656',['jsonIsBool',['../namespaceSVF.html#ad830126d4921871b42fc81efbe456509',1,'SVF::jsonIsBool(const cJSON *item)'],['../namespaceSVF.html#a5ac359917fd682d101134ab0b4afdc40',1,'SVF::jsonIsBool(const cJSON *item, bool &flag)']]],
+  ['jsonismap_9657',['jsonIsMap',['../namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac',1,'SVF']]],
+  ['jsonisnullid_9658',['jsonIsNullId',['../namespaceSVF.html#a34a1f3ef61f57ec72a6c202d7a0eaa51',1,'SVF']]],
+  ['jsonisnumber_9659',['jsonIsNumber',['../namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7',1,'SVF']]],
+  ['jsonisobject_9660',['jsonIsObject',['../namespaceSVF.html#ac6a83809ca246bc7a33de3da6b4a4354',1,'SVF']]],
+  ['jsonisstring_9661',['jsonIsString',['../namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49',1,'SVF']]],
+  ['jsonkeyequals_9662',['jsonKeyEquals',['../namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546',1,'SVF']]],
+  ['jsonunpackpair_9663',['jsonUnpackPair',['../namespaceSVF.html#ac5eca7590f00f9cff8824ec739042e0c',1,'SVF']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['kind_5fbase_9660',['KIND_BASE',['../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)']]],
-  ['kindtostr_9661',['kindToStr',['../classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3',1,'SVF::GrammarBase']]]
+  ['kind_5fbase_9664',['KIND_BASE',['../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)']]],
+  ['kindtostr_9665',['kindToStr',['../classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3',1,'SVF::GrammarBase']]]
 ];

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

@@ -1,28 +1,28 @@
 var searchData=
 [
-  ['lb_9662',['lb',['../classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264',1,'SVF::IntervalValue']]],
-  ['leakchecker_9663',['LeakChecker',['../classSVF_1_1LeakChecker.html#af1140475e97947d193784d2b90809036',1,'SVF::LeakChecker']]],
-  ['leq_9664',['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_9665',['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_9666',['List',['../classSVF_1_1List.html#aeb697e85085a332e5d593b6f8ee95713',1,'SVF::List']]],
-  ['listnode_9667',['ListNode',['../classSVF_1_1List_1_1ListNode.html#a9a9f6cf03627a5a115c64776039f8dbc',1,'SVF::List::ListNode']]],
-  ['llvmloopanalysis_9668',['LLVMLoopAnalysis',['../classSVF_1_1LLVMLoopAnalysis.html#a93161bbdb47c74fce1d8e54a45df2df8',1,'SVF::LLVMLoopAnalysis']]],
-  ['llvmmoduleset_9669',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#aaa23ad390e9148ba6302fea8d4595080',1,'SVF::LLVMModuleSet']]],
-  ['load_9670',['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)']]],
-  ['loadaddrs_9671',['loadAddrs',['../classSVF_1_1ConsExeState.html#a865998aed7e292ebd15532506eadea55',1,'SVF::ConsExeState::loadAddrs()'],['../classSVF_1_1ExeState.html#a9e0fd700bea1ac741d96b4f52fd4756f',1,'SVF::ExeState::loadAddrs()'],['../classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a',1,'SVF::IntervalExeState::loadAddrs()']]],
-  ['loadcgedge_9672',['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)']]],
-  ['loadextapimodules_9673',['loadExtAPIModules',['../classSVF_1_1LLVMModuleSet.html#a8820d1df9098db6eadf3a9c67e380e55',1,'SVF::LLVMModuleSet']]],
-  ['loadmodules_9674',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
-  ['loadmu_9675',['LoadMU',['../classSVF_1_1LoadMU.html#ae092d4197b966d428d7ffdd9146621b4',1,'SVF::LoadMU']]],
-  ['loadstmt_9676',['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)']]],
-  ['loadvfgnode_9677',['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_9678',['loadWordProductions',['../classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62',1,'SVF::GrammarBuilder']]],
-  ['localeconv_9679',['localeconv',['../extapi_8c.html#a69b40f71a20a7c8bd67b9eeeae7f40c9',1,'extapi.c']]],
-  ['localtime_9680',['localtime',['../extapi_8c.html#adb012b56c91f15a89702bfff38c7e69c',1,'extapi.c']]],
-  ['localtime_5fr_9681',['localtime_r',['../extapi_8c.html#aa8b9c0d3e4e549fa2dc2e654afa1d09a',1,'extapi.c']]],
-  ['lockanalysis_9682',['LockAnalysis',['../classSVF_1_1LockAnalysis.html#af8aff31058caba691c127b8aef297b43',1,'SVF::LockAnalysis']]],
-  ['lockresultvalidator_9683',['LockResultValidator',['../classSVF_1_1LockResultValidator.html#acfe0b43eee73c5e02f5744d8993cb529',1,'SVF::LockResultValidator']]],
-  ['loctoaddrs_9684',['locToAddrs',['../classSVF_1_1ConsExeState.html#a4136ad2172772347e8d6aedc2f8b811e',1,'SVF::ConsExeState::locToAddrs()'],['../classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403',1,'SVF::ExeState::locToAddrs()']]],
-  ['loctostring_9685',['locToString',['../classSVF_1_1ConsExeState.html#a2c4c9f57bf31e8716bbfced40931fe5d',1,'SVF::ConsExeState']]],
-  ['loopcontainsbb_9686',['loopContainsBB',['../classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117',1,'SVF::SVFLoopAndDomInfo::loopContainsBB()'],['../classSVF_1_1SVFFunction.html#a1cf90f3c56ae200bef2a9e6a67ff97bf',1,'SVF::SVFFunction::loopContainsBB()']]]
+  ['lb_9666',['lb',['../classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264',1,'SVF::IntervalValue']]],
+  ['leakchecker_9667',['LeakChecker',['../classSVF_1_1LeakChecker.html#af1140475e97947d193784d2b90809036',1,'SVF::LeakChecker']]],
+  ['leq_9668',['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_9669',['lessThanVarToValMap',['../classSVF_1_1ConsExeState.html#a4878ea0f5c2cc014ac2f5ecbc6534466',1,'SVF::ConsExeState::lessThanVarToValMap()'],['../classSVF_1_1IntervalESBase.html#af1837e907961eb3594b817b62b9ea9a3',1,'SVF::IntervalESBase::lessThanVarToValMap()'],['../classSVF_1_1RelExeState.html#a1bc5dc440ad614fd7b4804bfa88c37c0',1,'SVF::RelExeState::lessThanVarToValMap()']]],
+  ['list_9670',['List',['../classSVF_1_1List.html#aeb697e85085a332e5d593b6f8ee95713',1,'SVF::List']]],
+  ['listnode_9671',['ListNode',['../classSVF_1_1List_1_1ListNode.html#a9a9f6cf03627a5a115c64776039f8dbc',1,'SVF::List::ListNode']]],
+  ['llvmloopanalysis_9672',['LLVMLoopAnalysis',['../classSVF_1_1LLVMLoopAnalysis.html#a93161bbdb47c74fce1d8e54a45df2df8',1,'SVF::LLVMLoopAnalysis']]],
+  ['llvmmoduleset_9673',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#aaa23ad390e9148ba6302fea8d4595080',1,'SVF::LLVMModuleSet']]],
+  ['load_9674',['load',['../classSVF_1_1ConsExeState.html#a2fa6360da2149684a9771fdbfae71a66',1,'SVF::ConsExeState::load(const SingleAbsValue &loc)'],['../classSVF_1_1ConsExeState.html#a1e6120a331c4d129c66f994e86b62a78',1,'SVF::ConsExeState::load(u32_t objId)'],['../classSVF_1_1IntervalESBase.html#a93c2088eacb3859d5e54899d3fa6b45f',1,'SVF::IntervalESBase::load()'],['../classSVF_1_1IntervalExeState.html#a960ec3359dfcb5e89fb66120c868ac5e',1,'SVF::IntervalExeState::load()'],['../classSVF_1_1RelExeState.html#aa550a580be3278d19f759b3a644baea5',1,'SVF::RelExeState::load(const Z3Expr &loc)'],['../classSVF_1_1RelExeState.html#a72ec0766984f31168ad59a4ee23bcc9d',1,'SVF::RelExeState::load(u32_t objId)']]],
+  ['loadaddrs_9675',['loadAddrs',['../classSVF_1_1ConsExeState.html#a865998aed7e292ebd15532506eadea55',1,'SVF::ConsExeState::loadAddrs()'],['../classSVF_1_1ExeState.html#a9e0fd700bea1ac741d96b4f52fd4756f',1,'SVF::ExeState::loadAddrs()'],['../classSVF_1_1IntervalESBase.html#a1a012a83e3c2808e24ba8d5da4fbd85b',1,'SVF::IntervalESBase::loadAddrs()'],['../classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a',1,'SVF::IntervalExeState::loadAddrs()']]],
+  ['loadcgedge_9676',['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)']]],
+  ['loadextapimodules_9677',['loadExtAPIModules',['../classSVF_1_1LLVMModuleSet.html#a8820d1df9098db6eadf3a9c67e380e55',1,'SVF::LLVMModuleSet']]],
+  ['loadmodules_9678',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
+  ['loadmu_9679',['LoadMU',['../classSVF_1_1LoadMU.html#ae092d4197b966d428d7ffdd9146621b4',1,'SVF::LoadMU']]],
+  ['loadstmt_9680',['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)']]],
+  ['loadvfgnode_9681',['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_9682',['loadWordProductions',['../classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62',1,'SVF::GrammarBuilder']]],
+  ['localeconv_9683',['localeconv',['../extapi_8c.html#a69b40f71a20a7c8bd67b9eeeae7f40c9',1,'extapi.c']]],
+  ['localtime_9684',['localtime',['../extapi_8c.html#adb012b56c91f15a89702bfff38c7e69c',1,'extapi.c']]],
+  ['localtime_5fr_9685',['localtime_r',['../extapi_8c.html#aa8b9c0d3e4e549fa2dc2e654afa1d09a',1,'extapi.c']]],
+  ['lockanalysis_9686',['LockAnalysis',['../classSVF_1_1LockAnalysis.html#af8aff31058caba691c127b8aef297b43',1,'SVF::LockAnalysis']]],
+  ['lockresultvalidator_9687',['LockResultValidator',['../classSVF_1_1LockResultValidator.html#acfe0b43eee73c5e02f5744d8993cb529',1,'SVF::LockResultValidator']]],
+  ['loctoaddrs_9688',['locToAddrs',['../classSVF_1_1ConsExeState.html#a4136ad2172772347e8d6aedc2f8b811e',1,'SVF::ConsExeState::locToAddrs()'],['../classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403',1,'SVF::ExeState::locToAddrs()']]],
+  ['loctostring_9689',['locToString',['../classSVF_1_1ConsExeState.html#a2c4c9f57bf31e8716bbfced40931fe5d',1,'SVF::ConsExeState']]],
+  ['loopcontainsbb_9690',['loopContainsBB',['../classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117',1,'SVF::SVFLoopAndDomInfo::loopContainsBB()'],['../classSVF_1_1SVFFunction.html#a1cf90f3c56ae200bef2a9e6a67ff97bf',1,'SVF::SVFFunction::loopContainsBB()']]]
 ];

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

@@ -1,82 +1,82 @@
 var searchData=
 [
-  ['main_9687',['main',['../cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): cfl.cpp'],['../dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): dda.cpp'],['../svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): svf-ex.cpp'],['../llvm2svf_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): llvm2svf.cpp'],['../mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): mta.cpp'],['../saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): saber.cpp'],['../wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): wpa.cpp']]],
-  ['make_5fpointee_5frange_9688',['make_pointee_range',['../namespaceSVF.html#a41ca7c140a3b61d946e8c6338102986e',1,'SVF']]],
-  ['make_5fpointer_5frange_9689',['make_pointer_range',['../namespaceSVF.html#a7a436778318d16678992a3173988afc2',1,'SVF']]],
-  ['make_5frange_9690',['make_range',['../namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124',1,'SVF::make_range(T x, T y)'],['../namespaceSVF.html#a323872e7b86d109057b3ccbdedee7c86',1,'SVF::make_range(std::pair< T, T > p)']]],
-  ['makeedgeflagwithaddionalopnd_9691',['makeEdgeFlagWithAddionalOpnd',['../classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b',1,'SVF::SVFStmt']]],
-  ['makeedgeflagwithcallinst_9692',['makeEdgeFlagWithCallInst',['../classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00',1,'SVF::SVFStmt']]],
-  ['makeedgeflagwithinvokeid_9693',['makeEdgeFlagWithInvokeID',['../classSVF_1_1ICFGEdge.html#a00b2650d7afd8b98c108d6a168299993',1,'SVF::ICFGEdge::makeEdgeFlagWithInvokeID()'],['../classSVF_1_1PTACallGraphEdge.html#a4eaeb2765fdcc455116537dbe2119800',1,'SVF::PTACallGraphEdge::makeEdgeFlagWithInvokeID()'],['../classSVF_1_1VFGEdge.html#a30c07e8afb0853d4b46cfa722d912650',1,'SVF::VFGEdge::makeEdgeFlagWithInvokeID()']]],
-  ['makeedgeflagwithstoreinst_9694',['makeEdgeFlagWithStoreInst',['../classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18',1,'SVF::SVFStmt']]],
-  ['malloc_5ffn_9695',['malloc_fn',['../structcJSON__Hooks.html#a71693d8b277a80a1faf8758b9589d670',1,'cJSON_Hooks']]],
-  ['map_5fiter_9696',['map_iter',['../namespaceSVF.html#a809dcd83e295c61bb54710ba545d8d96',1,'SVF']]],
-  ['mapped_5fiter_9697',['mapped_iter',['../classSVF_1_1mapped__iter.html#a08a4c1e7b455fc3786f6bc7e9929120a',1,'SVF::mapped_iter']]],
-  ['mapvaluetoedge_9698',['mapValueToEdge',['../classSVF_1_1IRGraph.html#a51201a8fce21b56e3f59a31af04c7b76',1,'SVF::IRGraph']]],
-  ['markbkvisited_9699',['markbkVisited',['../classSVF_1_1DDAVFSolver.html#a7112ce6145be0855f8b035bb0d8a331c',1,'SVF::DDAVFSolver']]],
-  ['markcxtstmtflag_9700',['markCxtStmtFlag',['../classSVF_1_1LockAnalysis.html#a375cb175ec0068bacaa64cf40a49d485',1,'SVF::LockAnalysis::markCxtStmtFlag()'],['../classSVF_1_1ForkJoinAnalysis.html#ac483d3b0e9084c2033e177eda9ac9215',1,'SVF::ForkJoinAnalysis::markCxtStmtFlag(const CxtStmt &tgr, ValDomain flag)'],['../classSVF_1_1ForkJoinAnalysis.html#a047fbff4be9f94ab12795cd371f60efa',1,'SVF::ForkJoinAnalysis::markCxtStmtFlag(const CxtStmt &tgr, const CxtStmt &src)']]],
-  ['markrelprocs_9701',['markRelProcs',['../classSVF_1_1TCT.html#a8bb7ffa8dd185c52e6c150f9bc995511',1,'SVF::TCT::markRelProcs()'],['../classSVF_1_1TCT.html#a0938016193057ff47dbd6b8308e804c5',1,'SVF::TCT::markRelProcs(const SVFFunction *fun)']]],
-  ['markvalidvfedge_9702',['markValidVFEdge',['../classSVF_1_1SVFGBuilder.html#a3f8fc56d5190ea59d06906b359640dae',1,'SVF::SVFGBuilder']]],
-  ['match_9703',['match',['../classSVF_1_1LockResultValidator.html#a4134d0a10f039628e3e77ec256cec8ea',1,'SVF::LockResultValidator']]],
-  ['matchargs_9704',['matchArgs',['../namespaceSVF_1_1SVFUtil.html#af6ccc943516cedd7d8cd1de09d8f554e',1,'SVF::SVFUtil']]],
-  ['matchcontext_9705',['matchContext',['../classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af',1,'SVF::ContextCond::matchContext()'],['../classSVF_1_1CxtStmtDPItem.html#a35c0c0d5194983769e313d6e31b3d7ec',1,'SVF::CxtStmtDPItem::matchContext()'],['../classSVF_1_1CxtDPItem.html#ad386861998e54ec754ca62f358f03e6a',1,'SVF::CxtDPItem::matchContext()']]],
-  ['matchcxt_9706',['matchCxt',['../classSVF_1_1MTAResultValidator.html#a6306899b5360e106dd090bea571027bf',1,'SVF::MTAResultValidator::matchCxt()'],['../classSVF_1_1LockAnalysis.html#a78eb13118f947fb1d84e274bb0f46695',1,'SVF::LockAnalysis::matchCxt()'],['../classSVF_1_1MHP.html#a3dc4c80d60039ce5f73583ce32784d82',1,'SVF::MHP::matchCxt()'],['../classSVF_1_1ForkJoinAnalysis.html#ac95b1600aa524c3e607eebcf9d50df0e',1,'SVF::ForkJoinAnalysis::matchCxt()'],['../classSVF_1_1MTAResultValidator.html#a3207f67c8046e64ffd7beb4d5cd6c0e0',1,'SVF::MTAResultValidator::matchCxt()'],['../classSVF_1_1TCT.html#a9b1a5a9feb8cd97b37ee49727536a549',1,'SVF::TCT::matchCxt()']]],
-  ['max_9707',['max',['../classSVF_1_1NumericLiteral.html#abeb6260917a412282ddd174bd835cfa2',1,'SVF::NumericLiteral']]],
-  ['mayaccessaliases_9708',['mayAccessAliases',['../classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662',1,'SVF::RaceResultValidator::mayAccessAliases(const Instruction *I1, const Instruction *I2)'],['../classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662',1,'SVF::RaceResultValidator::mayAccessAliases(const Instruction *I1, const Instruction *I2)']]],
-  ['mayhappeninparallel_9709',['mayHappenInParallel',['../classSVF_1_1MHPValidator.html#a30bd5d21743e7b49201c13a5f7239123',1,'SVF::MHPValidator::mayHappenInParallel()'],['../classSVF_1_1RaceResultValidator.html#aff51b56e5f7173dd8ac053e5d9b1e97d',1,'SVF::RaceResultValidator::mayHappenInParallel()'],['../classSVF_1_1MHP.html#a15b624924254f5362a3d02fa539a24fb',1,'SVF::MHP::mayHappenInParallel()'],['../classSVF_1_1RaceResultValidator.html#aff51b56e5f7173dd8ac053e5d9b1e97d',1,'SVF::RaceResultValidator::mayHappenInParallel()'],['../classSVF_1_1PCG.html#a0c4d2c2648638794a02d890293a2805d',1,'SVF::PCG::mayHappenInParallel()']]],
-  ['mayhappeninparallelbetweenfunctions_9710',['mayHappenInParallelBetweenFunctions',['../classSVF_1_1PCG.html#af3e4194411bb061802afddacab7587b7',1,'SVF::PCG']]],
-  ['mayhappeninparallelcache_9711',['mayHappenInParallelCache',['../classSVF_1_1MHP.html#a843f1fa52625ec9e844307ba51fec202',1,'SVF::MHP']]],
-  ['mayhappeninparallelinst_9712',['mayHappenInParallelInst',['../classSVF_1_1MHP.html#a0cb1db9943ddc0928afa8e370cbf60c6',1,'SVF::MHP']]],
-  ['mayhavedatarace_9713',['mayHaveDataRace',['../classSVF_1_1RaceResultValidator.html#a1df6b00752e373ac7bf08a2cae0b9641',1,'SVF::RaceResultValidator::mayHaveDataRace(const Instruction *I1, const Instruction *I2)'],['../classSVF_1_1RaceResultValidator.html#a1df6b00752e373ac7bf08a2cae0b9641',1,'SVF::RaceResultValidator::mayHaveDataRace(const Instruction *I1, const Instruction *I2)']]],
-  ['meet_5fwith_9714',['meet_with',['../classSVF_1_1AddressValue.html#a02f61a255d2bbbdc36ee1541248fdbfb',1,'SVF::AddressValue::meet_with()'],['../classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f',1,'SVF::IntervalValue::meet_with()']]],
-  ['meetwith_9715',['meetWith',['../classSVF_1_1ExeState.html#a80bcce9b4303d651b27332c2fc0d3bdc',1,'SVF::ExeState::meetWith()'],['../classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d',1,'SVF::IntervalExeState::meetWith(const IntervalExeState &other)'],['../classSVF_1_1IntervalExeState.html#a3cadadfd8c2ce6251855f1aa5f2ac8ce',1,'SVF::IntervalExeState::meetWith(VarToValMap *other)']]],
-  ['meld_9716',['meld',['../classSVF_1_1POCRHybridSolver.html#a403f469326cd3066e6352bf2587f983d',1,'SVF::POCRHybridSolver::meld()'],['../classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4',1,'SVF::VersionedFlowSensitive::meld()']]],
-  ['meld_5fh_9717',['meld_h',['../classSVF_1_1POCRHybridSolver.html#a6d3610151daec1ffa26e6b9fccad4e91',1,'SVF::POCRHybridSolver']]],
-  ['meldlabel_9718',['meldLabel',['../classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a',1,'SVF::VersionedFlowSensitive']]],
-  ['memchr_9719',['memchr',['../extapi_8c.html#a8b9b7da7d0b91e982da9acf6f63cdbc5',1,'extapi.c']]],
-  ['memmem_9720',['memmem',['../extapi_8c.html#af16de4459bf927899e7a81c869d7cbb0',1,'extapi.c']]],
-  ['memobj_9721',['MemObj',['../classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342',1,'SVF::MemObj']]],
-  ['memrchr_9722',['memrchr',['../extapi_8c.html#ac69d59eb6e11058ca74bc9b2d6b39b95',1,'extapi.c']]],
-  ['memregion_9723',['MemRegion',['../classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b',1,'SVF::MemRegion']]],
-  ['memssa_9724',['MemSSA',['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA']]],
-  ['memssastat_9725',['MemSSAStat',['../classSVF_1_1MemSSAStat.html#a53f3d85a8eb63676d3dc47ee648efb66',1,'SVF::MemSSAStat']]],
-  ['mergefunctionrets_9726',['MergeFunctionRets',['../classSVF_1_1MergeFunctionRets.html#a2b989707893cd81dd275be6a3b8c79fc',1,'SVF::MergeFunctionRets']]],
-  ['mergenodetorep_9727',['mergeNodeToRep',['../classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848',1,'SVF::Andersen']]],
-  ['mergeptsoccmaps_9728',['mergePtsOccMaps',['../namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2',1,'SVF::SVFUtil']]],
-  ['mergescccycle_9729',['mergeSccCycle',['../classSVF_1_1Andersen.html#ac86ffd334568e4df5c08b3c827018bef',1,'SVF::Andersen']]],
-  ['mergesccnodes_9730',['mergeSccNodes',['../classSVF_1_1Andersen.html#a1ba1e1e36af289982146de06cf06ab0a',1,'SVF::Andersen']]],
-  ['mergespan_9731',['mergeSpan',['../classSVF_1_1MTASVFGBuilder.html#ae028fe894e3c6e7fd0ad6feeaa64320e',1,'SVF::MTASVFGBuilder']]],
-  ['mergesrctotgt_9732',['mergeSrcToTgt',['../classSVF_1_1Andersen.html#ae6b1e54a389abc68994219e39539127e',1,'SVF::Andersen::mergeSrcToTgt()'],['../classSVF_1_1AndersenSFR.html#ac5f406db5610347564fceff4d36f6a6f',1,'SVF::AndersenSFR::mergeSrcToTgt()']]],
-  ['metasame_9733',['metaSame',['../classSVF_1_1PointsTo.html#aa1e773b7abda97441d6ffe39c668d4ec',1,'SVF::PointsTo']]],
-  ['mhp_9734',['MHP',['../classSVF_1_1MHP.html#abf1f5a7c365dfb95b42015b7b2ad6fbe',1,'SVF::MHP']]],
-  ['mhpvalidator_9735',['MHPValidator',['../classSVF_1_1MHPValidator.html#ab00f7f49e626f55184101acbe28cf3b1',1,'SVF::MHPValidator']]],
-  ['min_9736',['min',['../classSVF_1_1NumericLiteral.html#a96a8e27a0187360eadc2a6821d163ae3',1,'SVF::NumericLiteral']]],
-  ['minify_5fstring_9737',['minify_string',['../cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b',1,'cJSON.cpp']]],
-  ['minus_5finfinity_9738',['minus_infinity',['../classSVF_1_1BoundedZ3Expr.html#a033ae449eba6157a1506f716cecc1a7b',1,'SVF::BoundedZ3Expr::minus_infinity()'],['../classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371',1,'SVF::IntervalValue::minus_infinity()'],['../classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c',1,'SVF::NumericLiteral::minus_infinity()']]],
-  ['modrefanalysis_9739',['modRefAnalysis',['../classSVF_1_1MRGenerator.html#adc9d530e6f010596d91cd3711dc1358b',1,'SVF::MRGenerator']]],
-  ['move_9740',['move',['../namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016',1,'SVF::SVFUtil']]],
-  ['moveedgestorepnode_9741',['moveEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aabe2861fcbc364e2c8aa8114d4879c39',1,'SVF::ConstraintGraph']]],
-  ['moveinedgestorepnode_9742',['moveInEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#a081bf1238121eb52a0c9ad60f77ecbcd',1,'SVF::ConstraintGraph']]],
-  ['moveoutedgestorepnode_9743',['moveOutEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aa436aac95be84d1946169f4984deae59',1,'SVF::ConstraintGraph']]],
-  ['movetoglobal_9744',['moveToGlobal',['../classSVF_1_1SVFIR2ConsExeState.html#a213e6f6dd1ad0e2e0b525f1b55735553',1,'SVF::SVFIR2ConsExeState::moveToGlobal()'],['../classSVF_1_1SVFIR2ItvExeState.html#af80d7665d9815a80ffdba92c3ba029d1',1,'SVF::SVFIR2ItvExeState::moveToGlobal()']]],
-  ['mremap_9745',['mremap',['../extapi_8c.html#aa1540638fbde3dc27844fbd24db1e642',1,'extapi.c']]],
-  ['mrgenerator_9746',['MRGenerator',['../classSVF_1_1MRGenerator.html#ac8fedbb65a582135354c939183d48f46',1,'SVF::MRGenerator']]],
-  ['mrsvfgnode_9747',['MRSVFGNode',['../classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f',1,'SVF::MRSVFGNode']]],
-  ['mrver_9748',['MRVer',['../classSVF_1_1MRVer.html#a15c18c76e5911e472747183f35cd7028',1,'SVF::MRVer']]],
-  ['mssachi_9749',['MSSACHI',['../classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815',1,'SVF::MSSACHI']]],
-  ['mssadef_9750',['MSSADEF',['../classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de',1,'SVF::MSSADEF']]],
-  ['mssamu_9751',['MSSAMU',['../classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f',1,'SVF::MSSAMU']]],
-  ['mssaphi_9752',['MSSAPHI',['../classSVF_1_1MSSAPHI.html#a5bf48995f87393d20bdedc6749c75ae5',1,'SVF::MSSAPHI']]],
-  ['mssaphisvfgnode_9753',['MSSAPHISVFGNode',['../classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d',1,'SVF::MSSAPHISVFGNode']]],
-  ['mta_9754',['MTA',['../classSVF_1_1MTA.html#ab25d605ed6040a9ad6ed6fcec4e8d338',1,'SVF::MTA']]],
-  ['mtaannotator_9755',['MTAAnnotator',['../classSVF_1_1MTAAnnotator.html#a37ae5e04b0f5560d0f6c2f143b325cd4',1,'SVF::MTAAnnotator']]],
-  ['mtaresultvalidator_9756',['MTAResultValidator',['../classSVF_1_1MTAResultValidator.html#af7f90c7a146c085d3b432ab40fb3777e',1,'SVF::MTAResultValidator::MTAResultValidator(MHP *mh)'],['../classSVF_1_1MTAResultValidator.html#af7f90c7a146c085d3b432ab40fb3777e',1,'SVF::MTAResultValidator::MTAResultValidator(MHP *mh)']]],
-  ['mtastat_9757',['MTAStat',['../classSVF_1_1MTAStat.html#a10631a14fd258679f98c17622de4352a',1,'SVF::MTAStat']]],
-  ['mtasvfgbuilder_9758',['MTASVFGBuilder',['../classSVF_1_1MTASVFGBuilder.html#ae0cbe965ddbc511fb10e87fe8ae3912f',1,'SVF::MTASVFGBuilder']]],
-  ['multiopndstmt_9759',['MultiOpndStmt',['../classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3',1,'SVF::MultiOpndStmt::MultiOpndStmt()'],['../classSVF_1_1MultiOpndStmt.html#a6b01d569057dda1783503563c20c74e6',1,'SVF::MultiOpndStmt::MultiOpndStmt(const MultiOpndStmt &)'],['../classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58',1,'SVF::MultiOpndStmt::MultiOpndStmt(SVFVar *r, const OPVars &opnds, GEdgeFlag k)'],['../classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b',1,'SVF::MultiOpndStmt::MultiOpndStmt(GEdgeFlag k)']]],
-  ['mustalias_9760',['mustAlias',['../classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684',1,'SVF::CondPTAImpl']]],
-  ['mutabledfptdata_9761',['MutableDFPTData',['../classSVF_1_1MutableDFPTData.html#aed141fb836cb22e02032ea46e3e5f51b',1,'SVF::MutableDFPTData']]],
-  ['mutablediffptdata_9762',['MutableDiffPTData',['../classSVF_1_1MutableDiffPTData.html#ae087d0307844312710c2d4c05535ea86',1,'SVF::MutableDiffPTData']]],
-  ['mutableincdfptdata_9763',['MutableIncDFPTData',['../classSVF_1_1MutableIncDFPTData.html#a9b06421a9043dc61485acf51cfc26a91',1,'SVF::MutableIncDFPTData']]],
-  ['mutableptdata_9764',['MutablePTData',['../classSVF_1_1MutablePTData.html#a5086e718e98482a7a0330ed05993feaa',1,'SVF::MutablePTData']]],
-  ['mutableversionedptdata_9765',['MutableVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html#ad2f9950ad71a39c400a4835e6e84fcd9',1,'SVF::MutableVersionedPTData']]]
+  ['main_9691',['main',['../cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): cfl.cpp'],['../dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): dda.cpp'],['../svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): svf-ex.cpp'],['../llvm2svf_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): llvm2svf.cpp'],['../mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): mta.cpp'],['../saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): saber.cpp'],['../wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): wpa.cpp']]],
+  ['make_5fpointee_5frange_9692',['make_pointee_range',['../namespaceSVF.html#a41ca7c140a3b61d946e8c6338102986e',1,'SVF']]],
+  ['make_5fpointer_5frange_9693',['make_pointer_range',['../namespaceSVF.html#a7a436778318d16678992a3173988afc2',1,'SVF']]],
+  ['make_5frange_9694',['make_range',['../namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124',1,'SVF::make_range(T x, T y)'],['../namespaceSVF.html#a323872e7b86d109057b3ccbdedee7c86',1,'SVF::make_range(std::pair< T, T > p)']]],
+  ['makeedgeflagwithaddionalopnd_9695',['makeEdgeFlagWithAddionalOpnd',['../classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b',1,'SVF::SVFStmt']]],
+  ['makeedgeflagwithcallinst_9696',['makeEdgeFlagWithCallInst',['../classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00',1,'SVF::SVFStmt']]],
+  ['makeedgeflagwithinvokeid_9697',['makeEdgeFlagWithInvokeID',['../classSVF_1_1ICFGEdge.html#a00b2650d7afd8b98c108d6a168299993',1,'SVF::ICFGEdge::makeEdgeFlagWithInvokeID()'],['../classSVF_1_1PTACallGraphEdge.html#a4eaeb2765fdcc455116537dbe2119800',1,'SVF::PTACallGraphEdge::makeEdgeFlagWithInvokeID()'],['../classSVF_1_1VFGEdge.html#a30c07e8afb0853d4b46cfa722d912650',1,'SVF::VFGEdge::makeEdgeFlagWithInvokeID()']]],
+  ['makeedgeflagwithstoreinst_9698',['makeEdgeFlagWithStoreInst',['../classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18',1,'SVF::SVFStmt']]],
+  ['malloc_5ffn_9699',['malloc_fn',['../structcJSON__Hooks.html#a71693d8b277a80a1faf8758b9589d670',1,'cJSON_Hooks']]],
+  ['map_5fiter_9700',['map_iter',['../namespaceSVF.html#a809dcd83e295c61bb54710ba545d8d96',1,'SVF']]],
+  ['mapped_5fiter_9701',['mapped_iter',['../classSVF_1_1mapped__iter.html#a08a4c1e7b455fc3786f6bc7e9929120a',1,'SVF::mapped_iter']]],
+  ['mapvaluetoedge_9702',['mapValueToEdge',['../classSVF_1_1IRGraph.html#a51201a8fce21b56e3f59a31af04c7b76',1,'SVF::IRGraph']]],
+  ['markbkvisited_9703',['markbkVisited',['../classSVF_1_1DDAVFSolver.html#a7112ce6145be0855f8b035bb0d8a331c',1,'SVF::DDAVFSolver']]],
+  ['markcxtstmtflag_9704',['markCxtStmtFlag',['../classSVF_1_1LockAnalysis.html#a375cb175ec0068bacaa64cf40a49d485',1,'SVF::LockAnalysis::markCxtStmtFlag()'],['../classSVF_1_1ForkJoinAnalysis.html#ac483d3b0e9084c2033e177eda9ac9215',1,'SVF::ForkJoinAnalysis::markCxtStmtFlag(const CxtStmt &tgr, ValDomain flag)'],['../classSVF_1_1ForkJoinAnalysis.html#a047fbff4be9f94ab12795cd371f60efa',1,'SVF::ForkJoinAnalysis::markCxtStmtFlag(const CxtStmt &tgr, const CxtStmt &src)']]],
+  ['markrelprocs_9705',['markRelProcs',['../classSVF_1_1TCT.html#a8bb7ffa8dd185c52e6c150f9bc995511',1,'SVF::TCT::markRelProcs()'],['../classSVF_1_1TCT.html#a0938016193057ff47dbd6b8308e804c5',1,'SVF::TCT::markRelProcs(const SVFFunction *fun)']]],
+  ['markvalidvfedge_9706',['markValidVFEdge',['../classSVF_1_1SVFGBuilder.html#a3f8fc56d5190ea59d06906b359640dae',1,'SVF::SVFGBuilder']]],
+  ['match_9707',['match',['../classSVF_1_1LockResultValidator.html#a4134d0a10f039628e3e77ec256cec8ea',1,'SVF::LockResultValidator']]],
+  ['matchargs_9708',['matchArgs',['../namespaceSVF_1_1SVFUtil.html#af6ccc943516cedd7d8cd1de09d8f554e',1,'SVF::SVFUtil']]],
+  ['matchcontext_9709',['matchContext',['../classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af',1,'SVF::ContextCond::matchContext()'],['../classSVF_1_1CxtStmtDPItem.html#a35c0c0d5194983769e313d6e31b3d7ec',1,'SVF::CxtStmtDPItem::matchContext()'],['../classSVF_1_1CxtDPItem.html#ad386861998e54ec754ca62f358f03e6a',1,'SVF::CxtDPItem::matchContext()']]],
+  ['matchcxt_9710',['matchCxt',['../classSVF_1_1MTAResultValidator.html#a6306899b5360e106dd090bea571027bf',1,'SVF::MTAResultValidator::matchCxt()'],['../classSVF_1_1LockAnalysis.html#a78eb13118f947fb1d84e274bb0f46695',1,'SVF::LockAnalysis::matchCxt()'],['../classSVF_1_1MHP.html#a3dc4c80d60039ce5f73583ce32784d82',1,'SVF::MHP::matchCxt()'],['../classSVF_1_1ForkJoinAnalysis.html#ac95b1600aa524c3e607eebcf9d50df0e',1,'SVF::ForkJoinAnalysis::matchCxt()'],['../classSVF_1_1MTAResultValidator.html#a3207f67c8046e64ffd7beb4d5cd6c0e0',1,'SVF::MTAResultValidator::matchCxt()'],['../classSVF_1_1TCT.html#a9b1a5a9feb8cd97b37ee49727536a549',1,'SVF::TCT::matchCxt()']]],
+  ['max_9711',['max',['../classSVF_1_1NumericLiteral.html#abeb6260917a412282ddd174bd835cfa2',1,'SVF::NumericLiteral']]],
+  ['mayaccessaliases_9712',['mayAccessAliases',['../classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662',1,'SVF::RaceResultValidator::mayAccessAliases(const Instruction *I1, const Instruction *I2)'],['../classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662',1,'SVF::RaceResultValidator::mayAccessAliases(const Instruction *I1, const Instruction *I2)']]],
+  ['mayhappeninparallel_9713',['mayHappenInParallel',['../classSVF_1_1MHPValidator.html#a30bd5d21743e7b49201c13a5f7239123',1,'SVF::MHPValidator::mayHappenInParallel()'],['../classSVF_1_1RaceResultValidator.html#aff51b56e5f7173dd8ac053e5d9b1e97d',1,'SVF::RaceResultValidator::mayHappenInParallel()'],['../classSVF_1_1MHP.html#a15b624924254f5362a3d02fa539a24fb',1,'SVF::MHP::mayHappenInParallel()'],['../classSVF_1_1RaceResultValidator.html#aff51b56e5f7173dd8ac053e5d9b1e97d',1,'SVF::RaceResultValidator::mayHappenInParallel()'],['../classSVF_1_1PCG.html#a0c4d2c2648638794a02d890293a2805d',1,'SVF::PCG::mayHappenInParallel()']]],
+  ['mayhappeninparallelbetweenfunctions_9714',['mayHappenInParallelBetweenFunctions',['../classSVF_1_1PCG.html#af3e4194411bb061802afddacab7587b7',1,'SVF::PCG']]],
+  ['mayhappeninparallelcache_9715',['mayHappenInParallelCache',['../classSVF_1_1MHP.html#a843f1fa52625ec9e844307ba51fec202',1,'SVF::MHP']]],
+  ['mayhappeninparallelinst_9716',['mayHappenInParallelInst',['../classSVF_1_1MHP.html#a0cb1db9943ddc0928afa8e370cbf60c6',1,'SVF::MHP']]],
+  ['mayhavedatarace_9717',['mayHaveDataRace',['../classSVF_1_1RaceResultValidator.html#a1df6b00752e373ac7bf08a2cae0b9641',1,'SVF::RaceResultValidator::mayHaveDataRace(const Instruction *I1, const Instruction *I2)'],['../classSVF_1_1RaceResultValidator.html#a1df6b00752e373ac7bf08a2cae0b9641',1,'SVF::RaceResultValidator::mayHaveDataRace(const Instruction *I1, const Instruction *I2)']]],
+  ['meet_5fwith_9718',['meet_with',['../classSVF_1_1AddressValue.html#a02f61a255d2bbbdc36ee1541248fdbfb',1,'SVF::AddressValue::meet_with()'],['../classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f',1,'SVF::IntervalValue::meet_with()']]],
+  ['meetwith_9719',['meetWith',['../classSVF_1_1ExeState.html#a80bcce9b4303d651b27332c2fc0d3bdc',1,'SVF::ExeState::meetWith()'],['../classSVF_1_1IntervalESBase.html#a92a8531c7f12cc6f9117596aa5e534b6',1,'SVF::IntervalESBase::meetWith()'],['../classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d',1,'SVF::IntervalExeState::meetWith()']]],
+  ['meld_9720',['meld',['../classSVF_1_1POCRHybridSolver.html#a403f469326cd3066e6352bf2587f983d',1,'SVF::POCRHybridSolver::meld()'],['../classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4',1,'SVF::VersionedFlowSensitive::meld()']]],
+  ['meld_5fh_9721',['meld_h',['../classSVF_1_1POCRHybridSolver.html#a6d3610151daec1ffa26e6b9fccad4e91',1,'SVF::POCRHybridSolver']]],
+  ['meldlabel_9722',['meldLabel',['../classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a',1,'SVF::VersionedFlowSensitive']]],
+  ['memchr_9723',['memchr',['../extapi_8c.html#a8b9b7da7d0b91e982da9acf6f63cdbc5',1,'extapi.c']]],
+  ['memmem_9724',['memmem',['../extapi_8c.html#af16de4459bf927899e7a81c869d7cbb0',1,'extapi.c']]],
+  ['memobj_9725',['MemObj',['../classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342',1,'SVF::MemObj']]],
+  ['memrchr_9726',['memrchr',['../extapi_8c.html#ac69d59eb6e11058ca74bc9b2d6b39b95',1,'extapi.c']]],
+  ['memregion_9727',['MemRegion',['../classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b',1,'SVF::MemRegion']]],
+  ['memssa_9728',['MemSSA',['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA']]],
+  ['memssastat_9729',['MemSSAStat',['../classSVF_1_1MemSSAStat.html#a53f3d85a8eb63676d3dc47ee648efb66',1,'SVF::MemSSAStat']]],
+  ['mergefunctionrets_9730',['MergeFunctionRets',['../classSVF_1_1MergeFunctionRets.html#a2b989707893cd81dd275be6a3b8c79fc',1,'SVF::MergeFunctionRets']]],
+  ['mergenodetorep_9731',['mergeNodeToRep',['../classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848',1,'SVF::Andersen']]],
+  ['mergeptsoccmaps_9732',['mergePtsOccMaps',['../namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2',1,'SVF::SVFUtil']]],
+  ['mergescccycle_9733',['mergeSccCycle',['../classSVF_1_1Andersen.html#ac86ffd334568e4df5c08b3c827018bef',1,'SVF::Andersen']]],
+  ['mergesccnodes_9734',['mergeSccNodes',['../classSVF_1_1Andersen.html#a1ba1e1e36af289982146de06cf06ab0a',1,'SVF::Andersen']]],
+  ['mergespan_9735',['mergeSpan',['../classSVF_1_1MTASVFGBuilder.html#ae028fe894e3c6e7fd0ad6feeaa64320e',1,'SVF::MTASVFGBuilder']]],
+  ['mergesrctotgt_9736',['mergeSrcToTgt',['../classSVF_1_1Andersen.html#ae6b1e54a389abc68994219e39539127e',1,'SVF::Andersen::mergeSrcToTgt()'],['../classSVF_1_1AndersenSFR.html#ac5f406db5610347564fceff4d36f6a6f',1,'SVF::AndersenSFR::mergeSrcToTgt()']]],
+  ['metasame_9737',['metaSame',['../classSVF_1_1PointsTo.html#aa1e773b7abda97441d6ffe39c668d4ec',1,'SVF::PointsTo']]],
+  ['mhp_9738',['MHP',['../classSVF_1_1MHP.html#abf1f5a7c365dfb95b42015b7b2ad6fbe',1,'SVF::MHP']]],
+  ['mhpvalidator_9739',['MHPValidator',['../classSVF_1_1MHPValidator.html#ab00f7f49e626f55184101acbe28cf3b1',1,'SVF::MHPValidator']]],
+  ['min_9740',['min',['../classSVF_1_1NumericLiteral.html#a96a8e27a0187360eadc2a6821d163ae3',1,'SVF::NumericLiteral']]],
+  ['minify_5fstring_9741',['minify_string',['../cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b',1,'cJSON.cpp']]],
+  ['minus_5finfinity_9742',['minus_infinity',['../classSVF_1_1BoundedZ3Expr.html#a033ae449eba6157a1506f716cecc1a7b',1,'SVF::BoundedZ3Expr::minus_infinity()'],['../classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371',1,'SVF::IntervalValue::minus_infinity()'],['../classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c',1,'SVF::NumericLiteral::minus_infinity()']]],
+  ['modrefanalysis_9743',['modRefAnalysis',['../classSVF_1_1MRGenerator.html#adc9d530e6f010596d91cd3711dc1358b',1,'SVF::MRGenerator']]],
+  ['move_9744',['move',['../namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016',1,'SVF::SVFUtil']]],
+  ['moveedgestorepnode_9745',['moveEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aabe2861fcbc364e2c8aa8114d4879c39',1,'SVF::ConstraintGraph']]],
+  ['moveinedgestorepnode_9746',['moveInEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#a081bf1238121eb52a0c9ad60f77ecbcd',1,'SVF::ConstraintGraph']]],
+  ['moveoutedgestorepnode_9747',['moveOutEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aa436aac95be84d1946169f4984deae59',1,'SVF::ConstraintGraph']]],
+  ['movetoglobal_9748',['moveToGlobal',['../classSVF_1_1SVFIR2ConsExeState.html#a213e6f6dd1ad0e2e0b525f1b55735553',1,'SVF::SVFIR2ConsExeState::moveToGlobal()'],['../classSVF_1_1SVFIR2ItvExeState.html#af80d7665d9815a80ffdba92c3ba029d1',1,'SVF::SVFIR2ItvExeState::moveToGlobal()']]],
+  ['mremap_9749',['mremap',['../extapi_8c.html#aa1540638fbde3dc27844fbd24db1e642',1,'extapi.c']]],
+  ['mrgenerator_9750',['MRGenerator',['../classSVF_1_1MRGenerator.html#ac8fedbb65a582135354c939183d48f46',1,'SVF::MRGenerator']]],
+  ['mrsvfgnode_9751',['MRSVFGNode',['../classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f',1,'SVF::MRSVFGNode']]],
+  ['mrver_9752',['MRVer',['../classSVF_1_1MRVer.html#a15c18c76e5911e472747183f35cd7028',1,'SVF::MRVer']]],
+  ['mssachi_9753',['MSSACHI',['../classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815',1,'SVF::MSSACHI']]],
+  ['mssadef_9754',['MSSADEF',['../classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de',1,'SVF::MSSADEF']]],
+  ['mssamu_9755',['MSSAMU',['../classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f',1,'SVF::MSSAMU']]],
+  ['mssaphi_9756',['MSSAPHI',['../classSVF_1_1MSSAPHI.html#a5bf48995f87393d20bdedc6749c75ae5',1,'SVF::MSSAPHI']]],
+  ['mssaphisvfgnode_9757',['MSSAPHISVFGNode',['../classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d',1,'SVF::MSSAPHISVFGNode']]],
+  ['mta_9758',['MTA',['../classSVF_1_1MTA.html#ab25d605ed6040a9ad6ed6fcec4e8d338',1,'SVF::MTA']]],
+  ['mtaannotator_9759',['MTAAnnotator',['../classSVF_1_1MTAAnnotator.html#a37ae5e04b0f5560d0f6c2f143b325cd4',1,'SVF::MTAAnnotator']]],
+  ['mtaresultvalidator_9760',['MTAResultValidator',['../classSVF_1_1MTAResultValidator.html#af7f90c7a146c085d3b432ab40fb3777e',1,'SVF::MTAResultValidator::MTAResultValidator(MHP *mh)'],['../classSVF_1_1MTAResultValidator.html#af7f90c7a146c085d3b432ab40fb3777e',1,'SVF::MTAResultValidator::MTAResultValidator(MHP *mh)']]],
+  ['mtastat_9761',['MTAStat',['../classSVF_1_1MTAStat.html#a10631a14fd258679f98c17622de4352a',1,'SVF::MTAStat']]],
+  ['mtasvfgbuilder_9762',['MTASVFGBuilder',['../classSVF_1_1MTASVFGBuilder.html#ae0cbe965ddbc511fb10e87fe8ae3912f',1,'SVF::MTASVFGBuilder']]],
+  ['multiopndstmt_9763',['MultiOpndStmt',['../classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3',1,'SVF::MultiOpndStmt::MultiOpndStmt()'],['../classSVF_1_1MultiOpndStmt.html#a6b01d569057dda1783503563c20c74e6',1,'SVF::MultiOpndStmt::MultiOpndStmt(const MultiOpndStmt &)'],['../classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58',1,'SVF::MultiOpndStmt::MultiOpndStmt(SVFVar *r, const OPVars &opnds, GEdgeFlag k)'],['../classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b',1,'SVF::MultiOpndStmt::MultiOpndStmt(GEdgeFlag k)']]],
+  ['mustalias_9764',['mustAlias',['../classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684',1,'SVF::CondPTAImpl']]],
+  ['mutabledfptdata_9765',['MutableDFPTData',['../classSVF_1_1MutableDFPTData.html#aed141fb836cb22e02032ea46e3e5f51b',1,'SVF::MutableDFPTData']]],
+  ['mutablediffptdata_9766',['MutableDiffPTData',['../classSVF_1_1MutableDiffPTData.html#ae087d0307844312710c2d4c05535ea86',1,'SVF::MutableDiffPTData']]],
+  ['mutableincdfptdata_9767',['MutableIncDFPTData',['../classSVF_1_1MutableIncDFPTData.html#a9b06421a9043dc61485acf51cfc26a91',1,'SVF::MutableIncDFPTData']]],
+  ['mutableptdata_9768',['MutablePTData',['../classSVF_1_1MutablePTData.html#a5086e718e98482a7a0330ed05993feaa',1,'SVF::MutablePTData']]],
+  ['mutableversionedptdata_9769',['MutableVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html#ad2f9950ad71a39c400a4835e6e84fcd9',1,'SVF::MutableVersionedPTData']]]
 ];

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

@@ -1,38 +1,38 @@
 var searchData=
 [
-  ['name_9766',['name',['../classSVF_1_1ConsExeState.html#a5d4061449afa88fcb806cba0adeeac68',1,'SVF::ConsExeState']]],
-  ['narrow_5fwith_9767',['narrow_with',['../classSVF_1_1IntervalValue.html#a6c175067e5573ae7180ae4d872c49c8f',1,'SVF::IntervalValue']]],
-  ['narrowaddrs_9768',['narrowAddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a103b55536f1cec38edb2f169d3f94675',1,'SVF::SVFIR2ItvExeState']]],
-  ['narrowing_9769',['narrowing',['../classSVF_1_1IntervalExeState.html#a1e8f41b502167283ccb87bd128f232bc',1,'SVF::IntervalExeState']]],
-  ['narrowwith_9770',['narrowWith',['../classSVF_1_1IntervalExeState.html#a3d6ccddf8ecfbd7b6348f8c441cceab9',1,'SVF::IntervalExeState']]],
-  ['neg_9771',['NEG',['../classSVF_1_1Z3Expr.html#a9a545e516e6dee37310ad02481a84356',1,'SVF::Z3Expr']]],
-  ['neverfreebug_9772',['NeverFreeBug',['../classSVF_1_1NeverFreeBug.html#a2366068e0e1813c47003e3c072c1ad85',1,'SVF::NeverFreeBug']]],
-  ['newcond_9773',['newCond',['../classSVF_1_1SaberCondAllocator.html#ada4902d6ee3ad2d37e31c710a36dcc74',1,'SVF::SaberCondAllocator']]],
-  ['newcycle_9774',['newCycle',['../classSVF_1_1CFBasicBlockGWTO.html#a01822119935bdbe665743b13b4f2380e',1,'SVF::CFBasicBlockGWTO']]],
-  ['newnode_9775',['newNode',['../classSVF_1_1CFBasicBlockGWTO.html#acab6d0c92dc8e03a97cc78b060a624c4',1,'SVF::CFBasicBlockGWTO']]],
-  ['newpointstoid_9776',['newPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a52ec4a787a199bb4d7553e8bafa9c127',1,'SVF::PersistentPointsToCache']]],
-  ['newssaname_9777',['newSSAName',['../classSVF_1_1MemSSA.html#a381a35d48ce2f8e348ddbbb9ce526ca8',1,'SVF::MemSSA']]],
-  ['nextsetindex_9778',['nextSetIndex',['../classSVF_1_1CoreBitVector.html#a087f69adea5e9e83bd908a1ab0ee1383',1,'SVF::CoreBitVector']]],
-  ['ngettext_9779',['ngettext',['../extapi_8c.html#ac4ffbac192a285f13ba01eeeffd72030',1,'extapi.c']]],
-  ['node_9780',['node',['../classSVF_1_1CFBasicBlockGWTONode.html#ab0b71fd36e24dcc7ff4f5489a5ee1444',1,'SVF::CFBasicBlockGWTONode::node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()']]],
-  ['node_5findex_9781',['Node_Index',['../classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c',1,'SVF::SCCDetection::Node_Index()'],['../classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0',1,'SVF::WPASolver::Node_Index()']]],
-  ['nodeidallocator_9782',['NodeIDAllocator',['../classSVF_1_1NodeIDAllocator.html#ac8d6abc4ee27ae464f3978e4f4bdc3a6',1,'SVF::NodeIDAllocator']]],
-  ['nodeincycle_9783',['nodeInCycle',['../classSVF_1_1SVFGStat.html#a42b67371df87ba647166000912f53243',1,'SVF::SVFGStat']]],
-  ['nodes_9784',['nodes',['../namespaceSVF.html#ae6c7046834fe00382052ece7d06eb0ac',1,'SVF']]],
-  ['nodes_5fbegin_9785',['nodes_begin',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ac330110a7b79adfda646f45433eac3ec',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
-  ['nodes_5fend_9786',['nodes_end',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a8f2d39766fdb761f6ff9a97b41832a9c',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
-  ['normalgepcgedge_9787',['NormalGepCGEdge',['../classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7',1,'SVF::NormalGepCGEdge::NormalGepCGEdge()'],['../classSVF_1_1NormalGepCGEdge.html#a5d81c538e3747a7b760a80129581c49f',1,'SVF::NormalGepCGEdge::NormalGepCGEdge(const NormalGepCGEdge &)'],['../classSVF_1_1NormalGepCGEdge.html#a9e97410a915059752d8ad86fdbd8df7c',1,'SVF::NormalGepCGEdge::NormalGepCGEdge(ConstraintNode *s, ConstraintNode *d, const AccessPath &ap, EdgeID id)']]],
-  ['normalize_9788',['normalize',['../classSVF_1_1CFGNormalizer.html#a937b65bca67692e4c6507d2b6d5fb567',1,'SVF::CFGNormalizer']]],
-  ['normalizecflgrammar_9789',['normalizeCFLGrammar',['../classSVF_1_1CFLBase.html#a462de3facd2a9365d32397d250414ee9',1,'SVF::CFLBase']]],
-  ['normalizepointsto_9790',['normalizePointsTo',['../classSVF_1_1BVDataPTAImpl.html#a2026cffd7043208333083ed1a6603e7b',1,'SVF::BVDataPTAImpl::normalizePointsTo()'],['../classSVF_1_1CondPTAImpl.html#aa945d068c8935fc6926833fdf102e21c',1,'SVF::CondPTAImpl::normalizePointsTo()'],['../classSVF_1_1AndersenBase.html#af37392229dab0a1f2f807a12186c3b39',1,'SVF::AndersenBase::normalizePointsTo()']]],
-  ['nothingset_9791',['nothingSet',['../classOptionMultiple.html#a6de3b01c7773ea6fddf84cd57e7401f8',1,'OptionMultiple']]],
-  ['nullexestate_9792',['nullExeState',['../classSVF_1_1ConsExeState.html#adf54e333c3ad52bd4e0cee17c592e054',1,'SVF::ConsExeState']]],
-  ['nullexpr_9793',['nullExpr',['../classSVF_1_1Z3Expr.html#a9aa800372d57db519d484cc32ea1c5dc',1,'SVF::Z3Expr']]],
-  ['nullptrsymid_9794',['nullPtrSymID',['../classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721',1,'SVF::SymbolTableInfo']]],
-  ['nullptrvfgnode_9795',['NullPtrVFGNode',['../classSVF_1_1NullPtrVFGNode.html#a5bbcd7ba5ac40efefbd1ef99bea86639',1,'SVF::NullPtrVFGNode']]],
-  ['num_5fgenerator_9796',['num_generator',['../classSVF_1_1CFGrammar.html#a4d98bd2fee3d88558ed2b59c3d0d0d57',1,'SVF::CFGrammar']]],
-  ['numedgedestlabels_9797',['numEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b',1,'SVF::DefaultDOTGraphTraits']]],
-  ['numelement_9798',['numElement',['../classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4',1,'SVF::CondPointsToSet']]],
-  ['numericliteral_9799',['NumericLiteral',['../classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee',1,'SVF::NumericLiteral::NumericLiteral()=delete'],['../classSVF_1_1NumericLiteral.html#a85e42942640e81bc8587f9e0ed96f58b',1,'SVF::NumericLiteral::NumericLiteral(const Z3Expr &z3Expr)'],['../classSVF_1_1NumericLiteral.html#a18b2e134e047b2dde1774b93bb5b40dd',1,'SVF::NumericLiteral::NumericLiteral(const z3::expr &e)'],['../classSVF_1_1NumericLiteral.html#a1bf5f9d33d3c10e53537376d22936bdb',1,'SVF::NumericLiteral::NumericLiteral(s32_t i)'],['../classSVF_1_1NumericLiteral.html#a851b5ce5328fd08c1e06ed5ed5883cb9',1,'SVF::NumericLiteral::NumericLiteral(s64_t i)'],['../classSVF_1_1NumericLiteral.html#aad45bcd52d571ca62faa4dd6a9f758d6',1,'SVF::NumericLiteral::NumericLiteral(BoundedZ3Expr z3Expr)'],['../classSVF_1_1NumericLiteral.html#a396018d1b2888b76f83eb233a46905a1',1,'SVF::NumericLiteral::NumericLiteral(const NumericLiteral &)=default'],['../classSVF_1_1NumericLiteral.html#ae017c45c3a5ffd3dd7a4c9b6eff106e9',1,'SVF::NumericLiteral::NumericLiteral(NumericLiteral &&)=default']]],
-  ['numtostr_9800',['numToStr',['../classSVF_1_1SVFIRWriter.html#a10ce46b10bad5f0f3dbcff5bf5818626',1,'SVF::SVFIRWriter']]]
+  ['name_9770',['name',['../classSVF_1_1ConsExeState.html#a5d4061449afa88fcb806cba0adeeac68',1,'SVF::ConsExeState']]],
+  ['narrow_5fwith_9771',['narrow_with',['../classSVF_1_1IntervalValue.html#a6c175067e5573ae7180ae4d872c49c8f',1,'SVF::IntervalValue']]],
+  ['narrowaddrs_9772',['narrowAddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a103b55536f1cec38edb2f169d3f94675',1,'SVF::SVFIR2ItvExeState']]],
+  ['narrowing_9773',['narrowing',['../classSVF_1_1IntervalESBase.html#a3f8da19a79bfdc37c38e659a94371aba',1,'SVF::IntervalESBase::narrowing()'],['../classSVF_1_1IntervalExeState.html#a1e8f41b502167283ccb87bd128f232bc',1,'SVF::IntervalExeState::narrowing()']]],
+  ['narrowwith_9774',['narrowWith',['../classSVF_1_1IntervalESBase.html#a52b590dc437bc01ce116255e699c3c55',1,'SVF::IntervalESBase::narrowWith()'],['../classSVF_1_1IntervalExeState.html#a3d6ccddf8ecfbd7b6348f8c441cceab9',1,'SVF::IntervalExeState::narrowWith()']]],
+  ['neg_9775',['NEG',['../classSVF_1_1Z3Expr.html#a9a545e516e6dee37310ad02481a84356',1,'SVF::Z3Expr']]],
+  ['neverfreebug_9776',['NeverFreeBug',['../classSVF_1_1NeverFreeBug.html#a2366068e0e1813c47003e3c072c1ad85',1,'SVF::NeverFreeBug']]],
+  ['newcond_9777',['newCond',['../classSVF_1_1SaberCondAllocator.html#ada4902d6ee3ad2d37e31c710a36dcc74',1,'SVF::SaberCondAllocator']]],
+  ['newcycle_9778',['newCycle',['../classSVF_1_1CFBasicBlockGWTO.html#a01822119935bdbe665743b13b4f2380e',1,'SVF::CFBasicBlockGWTO']]],
+  ['newnode_9779',['newNode',['../classSVF_1_1CFBasicBlockGWTO.html#acab6d0c92dc8e03a97cc78b060a624c4',1,'SVF::CFBasicBlockGWTO']]],
+  ['newpointstoid_9780',['newPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a52ec4a787a199bb4d7553e8bafa9c127',1,'SVF::PersistentPointsToCache']]],
+  ['newssaname_9781',['newSSAName',['../classSVF_1_1MemSSA.html#a381a35d48ce2f8e348ddbbb9ce526ca8',1,'SVF::MemSSA']]],
+  ['nextsetindex_9782',['nextSetIndex',['../classSVF_1_1CoreBitVector.html#a087f69adea5e9e83bd908a1ab0ee1383',1,'SVF::CoreBitVector']]],
+  ['ngettext_9783',['ngettext',['../extapi_8c.html#ac4ffbac192a285f13ba01eeeffd72030',1,'extapi.c']]],
+  ['node_9784',['node',['../classSVF_1_1CFBasicBlockGWTONode.html#ab0b71fd36e24dcc7ff4f5489a5ee1444',1,'SVF::CFBasicBlockGWTONode::node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()']]],
+  ['node_5findex_9785',['Node_Index',['../classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c',1,'SVF::SCCDetection::Node_Index()'],['../classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0',1,'SVF::WPASolver::Node_Index()']]],
+  ['nodeidallocator_9786',['NodeIDAllocator',['../classSVF_1_1NodeIDAllocator.html#ac8d6abc4ee27ae464f3978e4f4bdc3a6',1,'SVF::NodeIDAllocator']]],
+  ['nodeincycle_9787',['nodeInCycle',['../classSVF_1_1SVFGStat.html#a42b67371df87ba647166000912f53243',1,'SVF::SVFGStat']]],
+  ['nodes_9788',['nodes',['../namespaceSVF.html#ae6c7046834fe00382052ece7d06eb0ac',1,'SVF']]],
+  ['nodes_5fbegin_9789',['nodes_begin',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ac330110a7b79adfda646f45433eac3ec',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
+  ['nodes_5fend_9790',['nodes_end',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a8f2d39766fdb761f6ff9a97b41832a9c',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
+  ['normalgepcgedge_9791',['NormalGepCGEdge',['../classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7',1,'SVF::NormalGepCGEdge::NormalGepCGEdge()'],['../classSVF_1_1NormalGepCGEdge.html#a5d81c538e3747a7b760a80129581c49f',1,'SVF::NormalGepCGEdge::NormalGepCGEdge(const NormalGepCGEdge &)'],['../classSVF_1_1NormalGepCGEdge.html#a9e97410a915059752d8ad86fdbd8df7c',1,'SVF::NormalGepCGEdge::NormalGepCGEdge(ConstraintNode *s, ConstraintNode *d, const AccessPath &ap, EdgeID id)']]],
+  ['normalize_9792',['normalize',['../classSVF_1_1CFGNormalizer.html#a937b65bca67692e4c6507d2b6d5fb567',1,'SVF::CFGNormalizer']]],
+  ['normalizecflgrammar_9793',['normalizeCFLGrammar',['../classSVF_1_1CFLBase.html#a462de3facd2a9365d32397d250414ee9',1,'SVF::CFLBase']]],
+  ['normalizepointsto_9794',['normalizePointsTo',['../classSVF_1_1BVDataPTAImpl.html#a2026cffd7043208333083ed1a6603e7b',1,'SVF::BVDataPTAImpl::normalizePointsTo()'],['../classSVF_1_1CondPTAImpl.html#aa945d068c8935fc6926833fdf102e21c',1,'SVF::CondPTAImpl::normalizePointsTo()'],['../classSVF_1_1AndersenBase.html#af37392229dab0a1f2f807a12186c3b39',1,'SVF::AndersenBase::normalizePointsTo()']]],
+  ['nothingset_9795',['nothingSet',['../classOptionMultiple.html#a6de3b01c7773ea6fddf84cd57e7401f8',1,'OptionMultiple']]],
+  ['nullexestate_9796',['nullExeState',['../classSVF_1_1ConsExeState.html#adf54e333c3ad52bd4e0cee17c592e054',1,'SVF::ConsExeState']]],
+  ['nullexpr_9797',['nullExpr',['../classSVF_1_1Z3Expr.html#a9aa800372d57db519d484cc32ea1c5dc',1,'SVF::Z3Expr']]],
+  ['nullptrsymid_9798',['nullPtrSymID',['../classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721',1,'SVF::SymbolTableInfo']]],
+  ['nullptrvfgnode_9799',['NullPtrVFGNode',['../classSVF_1_1NullPtrVFGNode.html#a5bbcd7ba5ac40efefbd1ef99bea86639',1,'SVF::NullPtrVFGNode']]],
+  ['num_5fgenerator_9800',['num_generator',['../classSVF_1_1CFGrammar.html#a4d98bd2fee3d88558ed2b59c3d0d0d57',1,'SVF::CFGrammar']]],
+  ['numedgedestlabels_9801',['numEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b',1,'SVF::DefaultDOTGraphTraits']]],
+  ['numelement_9802',['numElement',['../classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4',1,'SVF::CondPointsToSet']]],
+  ['numericliteral_9803',['NumericLiteral',['../classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee',1,'SVF::NumericLiteral::NumericLiteral()=delete'],['../classSVF_1_1NumericLiteral.html#a85e42942640e81bc8587f9e0ed96f58b',1,'SVF::NumericLiteral::NumericLiteral(const Z3Expr &z3Expr)'],['../classSVF_1_1NumericLiteral.html#a18b2e134e047b2dde1774b93bb5b40dd',1,'SVF::NumericLiteral::NumericLiteral(const z3::expr &e)'],['../classSVF_1_1NumericLiteral.html#a1bf5f9d33d3c10e53537376d22936bdb',1,'SVF::NumericLiteral::NumericLiteral(s32_t i)'],['../classSVF_1_1NumericLiteral.html#a851b5ce5328fd08c1e06ed5ed5883cb9',1,'SVF::NumericLiteral::NumericLiteral(s64_t i)'],['../classSVF_1_1NumericLiteral.html#aad45bcd52d571ca62faa4dd6a9f758d6',1,'SVF::NumericLiteral::NumericLiteral(BoundedZ3Expr z3Expr)'],['../classSVF_1_1NumericLiteral.html#a396018d1b2888b76f83eb233a46905a1',1,'SVF::NumericLiteral::NumericLiteral(const NumericLiteral &)=default'],['../classSVF_1_1NumericLiteral.html#ae017c45c3a5ffd3dd7a4c9b6eff106e9',1,'SVF::NumericLiteral::NumericLiteral(NumericLiteral &&)=default']]],
+  ['numtostr_9804',['numToStr',['../classSVF_1_1SVFIRWriter.html#a10ce46b10bad5f0f3dbcff5bf5818626',1,'SVF::SVFIRWriter']]]
 ];