svf-tools 1.0.758 → 1.0.760

package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html

@@ -2102,7 +2102,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_adac2dc2c9f744a071ad3f0175ed40cd9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue::ub</a></div><div class="ttdeci">const NumericLiteral &amp; ub() const</div><div class="ttdoc">Return the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00225">IntervalValue.h:225</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a42f5bdc956614b4c431f7045f744ac7d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">SVF::NumericLiteral::plus_infinity</a></div><div class="ttdeci">static NumericLiteral plus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00075">NumericLiteral.h:75</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a1e693e837e8d67ce76a03ec243c94f15"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">SVF::NumericLiteral::is_minus_infinity</a></div><div class="ttdeci">bool is_minus_infinity() const</div><div class="ttdoc">Check if this is minus infinity.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00096">NumericLiteral.h:96</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00670">SVFUtil.h:670</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_aa027be2f9243ce4cae799b265b019443"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">SVF::IntervalValue::bottom</a></div><div class="ttdeci">static IntervalValue bottom()</div><div class="ttdoc">Create the bottom IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00089">IntervalValue.h:89</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac0872619aefd1f680d08d3ec4360537c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">SVF::NumericLiteral::minus_infinity</a></div><div class="ttdeci">static NumericLiteral minus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00080">NumericLiteral.h:80</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AbstractValue_html_afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">SVF::AbstractValue::IntervalK</a></div><div class="ttdeci">@ IntervalK</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00051">AbstractValue.h:51</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html

@@ -596,7 +596,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html_a2657751b285cb6db8084da38b00dcab9"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a2657751b285cb6db8084da38b00dcab9">SVF::IntraCFGEdge::getCondition</a></div><div class="ttdeci">const SVFValue * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00140">ICFGEdge.h:140</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html_a4c6975e82794958aecb2013c0941777d"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a4c6975e82794958aecb2013c0941777d">SVF::IntraCFGEdge::conditionVar</a></div><div class="ttdeci">const SVFValue * conditionVar</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00169">ICFGEdge.h:169</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html_a8ba42f12f31c5f7ff633f60856f973b3"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3">SVF::IntraCFGEdge::branchCondVal</a></div><div class="ttdeci">s64_t branchCondVal</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00170">ICFGEdge.h:170</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01038">LLVMUtil.cpp:1038</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01159">LLVMUtil.cpp:1159</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html_a106513578790247f9d96e34c8385b3d8"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a106513578790247f9d96e34c8385b3d8">SVF::IntraCFGEdge::getSuccessorCondValue</a></div><div class="ttdeci">s64_t getSuccessorCondValue() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00145">ICFGEdge.h:145</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">SVF::ICFGEdge::IntraCF</a></div><div class="ttdeci">@ IntraCF</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00055">ICFGEdge.h:55</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGEdge_html_a9b8f369727bd03106bafacd4eee3dd04"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04">SVF::ICFGEdge::ICFGEdge</a></div><div class="ttdeci">ICFGEdge(ICFGNode *s, ICFGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00064">ICFGEdge.h:64</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html

@@ -594,15 +594,15 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1ICFGNode_html_a0cd08725df3e8665762ee37b5d4c138a"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#a0cd08725df3e8665762ee37b5d4c138a">SVF::ICFGNode::bb</a></div><div class="ttdeci">const SVFBasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00139">ICFGNode.h:139</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGNode_html_a6c68f52dd90728073fb79141df9b0661"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661">SVF::ICFGNode::getSVFStmts</a></div><div class="ttdeci">const SVFStmtList &amp; getSVFStmts() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00127">ICFGNode.h:127</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGNode_html_a74f598c1c86b023680bb2685aa8ab376a0df20ce0cced8193d3f194ee5985c8c4"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a0df20ce0cced8193d3f194ee5985c8c4">SVF::ICFGNode::IntraBlock</a></div><div class="ttdeci">@ IntraBlock</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00064">ICFGNode.h:64</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFInstruction_html_aef7ad257ea809101df33779463907f3e"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">SVF::SVFInstruction::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00639">SVFValue.h:639</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFInstruction_html_aef7ad257ea809101df33779463907f3e"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">SVF::SVFInstruction::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00645">SVFValue.h:645</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGNode_html_ae526280cca2d6cbb2868c80461bc16da"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da">SVF::ICFGNode::getFun</a></div><div class="ttdeci">virtual const SVFFunction * getFun() const</div><div class="ttdoc">Return the function of this ICFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00086">ICFGNode.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00051">SVFStatements.h:51</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01038">LLVMUtil.cpp:1038</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01159">LLVMUtil.cpp:1159</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGNode_html_a03587dbd558d8fffe25307b42e3195be"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">SVF::ICFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00138">ICFGNode.h:138</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraICFGNode_html_aee81d1ab3eb9584b34efbe1f821371b7"><div class="ttname"><a href="classSVF_1_1IntraICFGNode.html#aee81d1ab3eb9584b34efbe1f821371b7">SVF::IntraICFGNode::getInst</a></div><div class="ttdeci">const SVFInstruction * getInst() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00197">ICFGNode.h:197</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ae009f41cbf48d949d4325e08fe8d7198"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ae009f41cbf48d949d4325e08fe8d7198">SVF::SVFInstruction::getParent</a></div><div class="ttdeci">const SVFBasicBlock * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00614">SVFValue.h:614</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ae009f41cbf48d949d4325e08fe8d7198"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ae009f41cbf48d949d4325e08fe8d7198">SVF::SVFInstruction::getParent</a></div><div class="ttdeci">const SVFBasicBlock * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00620">SVFValue.h:620</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGNode_html_ae6fe836e269ac36f14b2d2b1499a11e6"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#ae6fe836e269ac36f14b2d2b1499a11e6">SVF::ICFGNode::ICFGNode</a></div><div class="ttdeci">ICFGNode(NodeID i, ICFGNodeK k)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00081">ICFGNode.h:81</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_a7effb0f37f486745e0cdc3ae5e9c732b"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">SVF::SVFValue::getSourceLoc</a></div><div class="ttdeci">virtual const std::string getSourceLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00253">SVFValue.h:253</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraICFGNode_html_a49610f7e8c912b3a825e34fa8d34af02"><div class="ttname"><a href="classSVF_1_1IntraICFGNode.html#a49610f7e8c912b3a825e34fa8d34af02">SVF::IntraICFGNode::inst</a></div><div class="ttdeci">const SVFInstruction * inst</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00185">ICFGNode.h:185</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html

@@ -668,7 +668,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1PHIVFGNode_html_a513b2636967a86902f4243dc0d2e0e3f"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">SVF::PHIVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00641">VFGNode.h:641</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">SVF::VFGNode::TIntraPhi</a></div><div class="ttdeci">@ TIntraPhi</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PHIVFGNode_html_add18c60773871744123d12a037e78e20"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode::opVerEnd</a></div><div class="ttdeci">OPVers::const_iterator opVerEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00678">VFGNode.h:678</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01038">LLVMUtil.cpp:1038</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01159">LLVMUtil.cpp:1159</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00112">SVFVariables.h:112</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PHIVFGNode_html_a08ccd55d0fb6ce33f69959349008daca"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00642">VFGNode.h:642</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html

@@ -400,13 +400,13 @@ Public Member Functions</h2></td></tr>
 <li>/home/runner/work/SVF/SVF/svf-llvm/lib/<a class="el" href="LLVMLoopAnalysis_8cpp_source.html">LLVMLoopAnalysis.cpp</a></li>
 </ul>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_acf40310917909e4234282c0695a43160"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">SVF::LLVMModuleSet::getLLVMModuleSet</a></div><div class="ttdeci">static LLVMModuleSet * getLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00098">LLVMModule.h:98</a></div></div>
+<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_acf40310917909e4234282c0695a43160"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">SVF::LLVMModuleSet::getLLVMModuleSet</a></div><div class="ttdeci">static LLVMModuleSet * getLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00101">LLVMModule.h:101</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aecbb42b8e9d17fa0189c50dda9fd5fdd"><div class="ttname"><a href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">SVF::DominatorTree</a></div><div class="ttdeci">llvm::DominatorTree DominatorTree</div><div class="ttdoc">LLVM Dominators.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00131">BasicTypes.h:131</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoop_html_a03c6de676a1d8f99687ea973b9b25d58"><div class="ttname"><a href="classSVF_1_1SVFLoop.html#a03c6de676a1d8f99687ea973b9b25d58">SVF::SVFLoop::addBackICFGEdge</a></div><div class="ttdeci">void addBackICFGEdge(const ICFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFLoop_8h_source.html#l00124">SVFLoop.h:124</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a23bf614858f168b6ad76e0233cec9965"><div class="ttname"><a href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF::BasicBlock</a></div><div class="ttdeci">llvm::BasicBlock BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00084">BasicTypes.h:84</a></div></div>
 <div class="ttc" id="aSVFType_8h_html_a7a295e02c56a93cf9206dd9d3b18dd17"><div class="ttname"><a href="SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17">DPAGBuild</a></div><div class="ttdeci">#define DPAGBuild</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00551">SVFType.h:551</a></div></div>
-<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a50fc24901350df9db890ba16a9b87e33"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet::getSVFFunction</a></div><div class="ttdeci">SVFFunction * getSVFFunction(const Function *fun) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00195">LLVMModule.h:195</a></div></div>
+<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a50fc24901350df9db890ba16a9b87e33"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet::getSVFFunction</a></div><div class="ttdeci">SVFFunction * getSVFFunction(const Function *fun) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00198">LLVMModule.h:198</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a5faee14fa1dd41447bc73ac365fe33c1"><div class="ttname"><a href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a></div><div class="ttdeci">llvm::Function Function</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00083">BasicTypes.h:83</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a17f11eb3e9a3178395e8574a027b181e"><div class="ttname"><a href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">SVF::Options::LoopBound</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; LoopBound</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00274">Options.h:274</a></div></div>
@@ -419,18 +419,18 @@ Public Member Functions</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1ICFG_html_a8cecaf4341ad2f943dc040c8e6d0dec4"><div class="ttname"><a href="classSVF_1_1ICFG.html#a8cecaf4341ad2f943dc040c8e6d0dec4">SVF::ICFG::addNodeToSVFLoop</a></div><div class="ttdeci">void addNodeToSVFLoop(const ICFGNode *node, const SVFLoop *loop)</div><div class="ttdoc">Insert (node, loop) to icfgNodeToSVFLoopVec.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00132">ICFG.h:132</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoop_html"><div class="ttname"><a href="classSVF_1_1SVFLoop.html">SVF::SVFLoop</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFLoop_8h_source.html#l00038">SVFLoop.h:38</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aa7a770b5dd5cd0e37d06a1088f252906"><div class="ttname"><a href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">SVF::Module</a></div><div class="ttdeci">llvm::Module Module</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a60797e9e8b9cbd6b32cc71fa5d00d80c"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a60797e9e8b9cbd6b32cc71fa5d00d80c">SVF::SVFFunction::back</a></div><div class="ttdeci">const SVFBasicBlock * back() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00398">SVFValue.h:398</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a60797e9e8b9cbd6b32cc71fa5d00d80c"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a60797e9e8b9cbd6b32cc71fa5d00d80c">SVF::SVFFunction::back</a></div><div class="ttdeci">const SVFBasicBlock * back() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00399">SVFValue.h:399</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a22ef185e767ff76c098e75126c885400"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00309">SVFUtil.h:309</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_afc8b5f86d7795b6a0dfc0687d942d79b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">SVF::GenericNode::getInEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getInEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00197">GenericGraph.h:197</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMLoopAnalysis_html_ad036bf2b7354dd106edce47939b64c78"><div class="ttname"><a href="classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78">SVF::LLVMLoopAnalysis::buildSVFLoops</a></div><div class="ttdeci">virtual void buildSVFLoops(ICFG *icfg, std::vector&lt; const Loop * &gt; &amp;llvmLoops)</div><div class="ttdoc">Build SVF loops based on llvm loops.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMLoopAnalysis_8cpp_source.html#l00099">LLVMLoopAnalysis.cpp:99</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoop_html_ae55b0dee93fb4298a1544d09312a258d"><div class="ttname"><a href="classSVF_1_1SVFLoop.html#ae55b0dee93fb4298a1544d09312a258d">SVF::SVFLoop::addInICFGEdge</a></div><div class="ttdeci">void addInICFGEdge(const ICFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFLoop_8h_source.html#l00139">SVFLoop.h:139</a></div></div>
-<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_ae74f307b6f96950ceedb2c375ef1c3a3"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#ae74f307b6f96950ceedb2c375ef1c3a3">SVF::LLVMModuleSet::getSVFInstruction</a></div><div class="ttdeci">SVFInstruction * getSVFInstruction(const Instruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00209">LLVMModule.h:209</a></div></div>
+<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_ae74f307b6f96950ceedb2c375ef1c3a3"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#ae74f307b6f96950ceedb2c375ef1c3a3">SVF::LLVMModuleSet::getSVFInstruction</a></div><div class="ttdeci">SVFInstruction * getSVFInstruction(const Instruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00212">LLVMModule.h:212</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_abf85e29310b2e4df8925d00a5c081314"><div class="ttname"><a href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">SVF::Loop</a></div><div class="ttdeci">llvm::Loop Loop</div><div class="ttdoc">LLVM Loop.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00138">BasicTypes.h:138</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMLoopAnalysis_html_abb501d497067af4365e5108d27387623"><div class="ttname"><a href="classSVF_1_1LLVMLoopAnalysis.html#abb501d497067af4365e5108d27387623">SVF::LLVMLoopAnalysis::buildLLVMLoops</a></div><div class="ttdeci">virtual void buildLLVMLoops(SVFModule *mod, ICFG *icfg)</div><div class="ttdoc">Build llvm loops based on LoopInfo analysis.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMLoopAnalysis_8cpp_source.html#l00047">LLVMLoopAnalysis.cpp:47</a></div></div>
 <div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00543">SVFType.h:543</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00587">SVFValue.h:587</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00593">SVFValue.h:593</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00193">GenericGraph.h:193</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoop_html_a774d05838ad9b3cac8d2fb6d7b7edd00"><div class="ttname"><a href="classSVF_1_1SVFLoop.html#a774d05838ad9b3cac8d2fb6d7b7edd00">SVF::SVFLoop::addEntryICFGEdge</a></div><div class="ttdeci">void addEntryICFGEdge(const ICFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFLoop_8h_source.html#l00094">SVFLoop.h:94</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html

@@ -97,44 +97,46 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe">cxts</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af37b9976b282c875cac7bb1777da635c">dumpModulesToFile</a>(const std::string &amp;suffix)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae19e38054c55d5822dfc83a12f12aa60">empty</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181">FunctionSetType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f">FunDeclToDefMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a">FunDeclToDefMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee">FunDefToDeclsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed">FunDefToDeclsMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac1a9d20d62066ec4e181fad223669e32">getContext</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa4a604e47daaaf95babc7aca68991000">getDeclaration</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a6e670254385050b9a5e612f881b07b9c">getDefinition</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12">getGlobalRep</a>(const GlobalVariable *val) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0b46a2a5ff2165d17993a071d9cc82c1">getLLVMGlobalFunctions</a>(const GlobalVariable *global)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4091b12bdfe4423d8114612a199bc480">getLLVMModules</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">getLLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a610a7777a48132caadec167c8109f044">getLLVMType</a>(const SVFType *T) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aaf9b679407f12b93afc53c157d37b444">getLLVMValue</a>(const SVFValue *value) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a9fe3fa15a6a0ec25864cb8439a45596e">getMainLLVMModule</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8afb7ab3ee4632e78d546e549110e74c">getModule</a>(u32_t idx) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae265a7f3cc7367d62013e0f15cf3d233">getModuleNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad647d73d2e1bda61348eff658e32f481">getModuleRef</a>(u32_t idx) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a74256f36f0fdc242df9729906c34efbc">getOtherSVFConstant</a>(const Constant *oc)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad3f66b40ad360003845253f452d6a711">getSVFArgument</a>(const Argument *arg) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ab0c0f321b6bfbfab2e4ff06d81920ab9">getSVFBasicBlock</a>(const BasicBlock *bb) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">getSVFConstantData</a>(const ConstantData *cd)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">getSVFFunction</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a6ff4127e778810f613e594782643ad22">getSVFFunction</a>(const std::string &amp;name)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a3cbba2eb702a3481478b2590dfffa352">getSVFGlobalValue</a>(const GlobalValue *g) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae74f307b6f96950ceedb2c375ef1c3a3">getSVFInstruction</a>(const Instruction *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a16572a3d7639fa65c699b6c3982fa20e">getSVFModule</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0ef17c1d5e6a95c597d2334ea577a965">getSVFOtherValue</a>(const Value *ov)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">getSVFType</a>(const Type *T)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">getSVFValue</a>(const Value *value)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b">GlobalDefToRepMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459">GlobalDefToRepMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620">hasDeclaration</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427">hasDefinition</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b">hasGlobalRep</a>(const GlobalVariable *val) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d">initDomTree</a>(SVFFunction *func, const Function *f)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a20162d2894d6a12ba29410311fba4002">initSVFBasicBlock</a>(const Function *func)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac6a5540354696f4c9170e0a5832ba70e">initSVFFunction</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ab932917041e1b1d8b461bfef464330fd">ExtFuncsVec</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181">FunctionSetType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f">FunDeclToDefMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a">FunDeclToDefMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee">FunDefToDeclsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed">FunDefToDeclsMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac1a9d20d62066ec4e181fad223669e32">getContext</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa4a604e47daaaf95babc7aca68991000">getDeclaration</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a6e670254385050b9a5e612f881b07b9c">getDefinition</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12">getGlobalRep</a>(const GlobalVariable *val) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0b46a2a5ff2165d17993a071d9cc82c1">getLLVMGlobalFunctions</a>(const GlobalVariable *global)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4091b12bdfe4423d8114612a199bc480">getLLVMModules</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">getLLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a610a7777a48132caadec167c8109f044">getLLVMType</a>(const SVFType *T) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aaf9b679407f12b93afc53c157d37b444">getLLVMValue</a>(const SVFValue *value) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a9fe3fa15a6a0ec25864cb8439a45596e">getMainLLVMModule</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8afb7ab3ee4632e78d546e549110e74c">getModule</a>(u32_t idx) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae265a7f3cc7367d62013e0f15cf3d233">getModuleNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad647d73d2e1bda61348eff658e32f481">getModuleRef</a>(u32_t idx) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a74256f36f0fdc242df9729906c34efbc">getOtherSVFConstant</a>(const Constant *oc)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad3f66b40ad360003845253f452d6a711">getSVFArgument</a>(const Argument *arg) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ab0c0f321b6bfbfab2e4ff06d81920ab9">getSVFBasicBlock</a>(const BasicBlock *bb) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">getSVFConstantData</a>(const ConstantData *cd)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">getSVFFunction</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a6ff4127e778810f613e594782643ad22">getSVFFunction</a>(const std::string &amp;name)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a3cbba2eb702a3481478b2590dfffa352">getSVFGlobalValue</a>(const GlobalValue *g) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae74f307b6f96950ceedb2c375ef1c3a3">getSVFInstruction</a>(const Instruction *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a16572a3d7639fa65c699b6c3982fa20e">getSVFModule</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0ef17c1d5e6a95c597d2334ea577a965">getSVFOtherValue</a>(const Value *ov)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">getSVFType</a>(const Type *T)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">getSVFValue</a>(const Value *value)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b">GlobalDefToRepMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459">GlobalDefToRepMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620">hasDeclaration</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427">hasDefinition</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b">hasGlobalRep</a>(const GlobalVariable *val) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d">initDomTree</a>(SVFFunction *func, const Function *f)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a20162d2894d6a12ba29410311fba4002">initSVFBasicBlock</a>(const Function *func)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac6a5540354696f4c9170e0a5832ba70e">initSVFFunction</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa259d688db36387c824ebfa741d4692d">isUsedExtFunction</a>(Function *func)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480">LLVMArgument2SVFArgument</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0">LLVMArgument2SVFArgumentMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c">LLVMBB2SVFBB</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
@@ -145,8 +147,8 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15">LLVMFunc2SVFFunc</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0">LLVMInst2SVFInst</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f">LLVMInst2SVFInstMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aaa23ad390e9148ba6302fea8d4595080">LLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63">llvmModuleSet</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63">llvmModuleSet</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aaa23ad390e9148ba6302fea8d4595080">LLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f">LLVMType2SVFType</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69">LLVMType2SVFTypeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3">LLVMValue2SVFOtherValue</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>