svf-tools 1.0.757 → 1.0.759

package/SVF-doxygen/html/html/IRGraph_8cpp_source.html

@@ -335,7 +335,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IRGraph_html_abe0ab797a3da420e4d2f9136d64fb407"><div class="ttname"><a href="classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407">SVF::IRGraph::hasNonlabeledEdge</a></div><div class="ttdeci">SVFStmt * hasNonlabeledEdge(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8cpp_source.html#l00060">IRGraph.cpp:60</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a4513c6e66b46c36219ba6d7403f3eb00"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">SVF::SVFStmt::makeEdgeFlagWithCallInst</a></div><div class="ttdeci">static GEdgeFlag makeEdgeFlagWithCallInst(GEdgeKind k, const ICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00183">SVFStatements.h:183</a></div></div>
 <div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4_html_a74cb51bbb3d84e7148b2ba368d4982b8"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a74cb51bbb3d84e7148b2ba368d4982b8">SVF::DOTGraphTraits&lt; IRGraph * &gt;::NodeType</a></div><div class="ttdeci">SVFVar NodeType</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8cpp_source.html#l00125">IRGraph.cpp:125</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFVar_html_acf194658d2cbdaf3f26f2af6c325fad7"><div class="ttname"><a href="classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7">SVF::SVFVar::isIsolatedNode</a></div><div class="ttdeci">bool isIsolatedNode() const</div><div class="ttdoc">Whether this is an isoloated node on the SVFIR graph.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8cpp_source.html#l00079">SVFVariables.cpp:79</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFVar_html_acf194658d2cbdaf3f26f2af6c325fad7"><div class="ttname"><a href="classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7">SVF::SVFVar::isIsolatedNode</a></div><div class="ttdeci">bool isIsolatedNode() const</div><div class="ttdoc">Whether this is an isolated node on the SVFIR graph.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8cpp_source.html#l00079">SVFVariables.cpp:79</a></div></div>
 <div class="ttc" id="aIRGraph_8h_html"><div class="ttname"><a href="IRGraph_8h.html">IRGraph.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVF::SVFStmt::PEDGEK</a></div><div class="ttdeci">PEDGEK</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00061">SVFStatements.h:61</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_a391e996d695b114530120723da1d003e"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode::getNodeKind</a></div><div class="ttdeci">GNodeK getNodeKind() const</div><div class="ttdoc">Get node kind.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00186">GenericGraph.h:186</a></div></div>
@@ -378,7 +378,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GraphPrinter_html_a014217fb0d05c8f2a2f1a6c5b19d3e10"><div class="ttname"><a href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">SVF::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &amp;O, const std::string &amp;GraphName, const GraphType &amp;GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00056">GraphPrinter.h:56</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_a2f5471985dfe62bc9ded830a693ab153"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode::iterator</a></div><div class="ttdeci">GEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</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_1IRGraph_html_a5a34f23fee4f84e74908041efebd6867"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867">SVF::IRGraph::getGraphName</a></div><div class="ttdeci">std::string getGraphName() const</div><div class="ttdoc">Return graph name.</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00217">IRGraph.h:217</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>
 <!-- start footer part -->

package/SVF-doxygen/html/html/IRGraph_8h_source.html

@@ -283,7 +283,7 @@ $(function() {
 <div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160; </div>
 <div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;<span class="comment">/* !</span></div>
 <div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;<span class="comment"> * GenericGraphTraits specializations of SVFIR to be used for the generic graph algorithms.</span></div>
-<div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;<span class="comment"> * Provide graph traits for tranversing from a SVFIR node using standard graph traversals.</span></div>
+<div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;<span class="comment"> * Provide graph traits for traversing from a SVFIR node using standard graph traversals.</span></div>
 <div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;<span class="comment"> */</span></div>
 <div class="line"><a name="l00238"></a><span class="lineno"><a class="line" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html">  238</a></span>&#160;<span class="keyword">template</span>&lt;&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt;<a class="code" href="namespaceSVF.html">SVF</a>::<a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>*&gt; : <span class="keyword">public</span> <a class="code" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt;SVF::GenericNode&lt;SVF::SVFVar,SVF::SVFStmt&gt;*  &gt;</div>
 <div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;{</div>

package/SVF-doxygen/html/html/IntervalExeState_8h_source.html

@@ -518,7 +518,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a7420a7637b62d451babadb852c9c2ac2"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a7420a7637b62d451babadb852c9c2ac2">SVF::IntervalExeState::operator[]</a></div><div class="ttdeci">IntervalValue &amp; operator[](u32_t varId)</div><div class="ttdoc">[], call getValueExpr()</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00215">IntervalExeState.h:215</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3b95a08fa7b123549e732819d9371946"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3b95a08fa7b123549e732819d9371946">SVF::IntervalExeState::LocToValMap</a></div><div class="ttdeci">VarToValMap LocToValMap</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00062">IntervalExeState.h:62</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_aa4acf1e8ae7571f527047e36b77dfb58"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#aa4acf1e8ae7571f527047e36b77dfb58">SVF::IntervalExeState::operator&lt;</a></div><div class="ttdeci">bool operator&lt;(const IntervalExeState &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00432">IntervalExeState.h:432</a></div></div>
-<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a73d2e475625f5b9204cdecb94381c558"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a73d2e475625f5b9204cdecb94381c558">SVF::IntervalExeState::createIntervalValue</a></div><div class="ttdeci">IntervalValue createIntervalValue(double lb, double ub, NodeID id)</div><div class="ttdoc">TODO: Create new inteval value.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00268">IntervalExeState.h:268</a></div></div>
+<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a73d2e475625f5b9204cdecb94381c558"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a73d2e475625f5b9204cdecb94381c558">SVF::IntervalExeState::createIntervalValue</a></div><div class="ttdeci">IntervalValue createIntervalValue(double lb, double ub, NodeID id)</div><div class="ttdoc">TODO: Create new interval value.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00268">IntervalExeState.h:268</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="aclassSVF_1_1IntervalValue_html_a0df07a2659cbf3a918de5b0d7c407264"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">SVF::IntervalValue::lb</a></div><div class="ttdeci">const NumericLiteral &amp; lb() const</div><div class="ttdoc">Return the lower bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00218">IntervalValue.h:218</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
@@ -562,7 +562,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_aa6adb9becbc2541198708823e3e35c9d"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#aa6adb9becbc2541198708823e3e35c9d">SVF::IntervalExeState::printExprValues</a></div><div class="ttdeci">void printExprValues(std::ostream &amp;oss) const override</div><div class="ttdoc">Print values of all expressions.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00189">IntervalExeState.cpp:189</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ExeState_html_ab72f3bc855feeda75e11768ab03ad84e"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">SVF::ExeState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00270">ExeState.h:270</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a5ca48cf99bb54008d824d8c475c450f7"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7">SVF::IntervalExeState::operator=</a></div><div class="ttdeci">IntervalExeState &amp; operator=(const IntervalExeState &amp;rhs)</div><div class="ttdoc">check two interval exe state are equal or not. _varToItvVal and _locToItvVal map should be equivalent</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00090">IntervalExeState.h:90</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_1IntervalExeState_html_a25c1369d7d38469ecde6022cf367c009"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a25c1369d7d38469ecde6022cf367c009">SVF::IntervalExeState::inLocalLocToIValTable</a></div><div class="ttdeci">bool inLocalLocToIValTable(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00181">IntervalExeState.h:181</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a052d677fb5ee940ed0686f3d67d10d19"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a052d677fb5ee940ed0686f3d67d10d19">SVF::IntervalExeState::cpyItvToLocal</a></div><div class="ttdeci">void cpyItvToLocal(u32_t varId)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00226">IntervalExeState.h:226</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a637a9c0f06b57e16a7f1afdd25df897f"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a637a9c0f06b57e16a7f1afdd25df897f">SVF::IntervalExeState::operator&gt;=</a></div><div class="ttdeci">bool operator&gt;=(const IntervalExeState &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00438">IntervalExeState.h:438</a></div></div>

package/SVF-doxygen/html/html/IntervalValue_8h.html

@@ -95,7 +95,7 @@ Functions</h2></td></tr>
 <tr class="memdesc:ad9d56b31ab074c813b48da4c2e0742aa"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add IntervalValues.  <a href="namespaceSVF.html#ad9d56b31ab074c813b48da4c2e0742aa">More...</a><br /></td></tr>
 <tr class="separator:ad9d56b31ab074c813b48da4c2e0742aa"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a4bddb7dbd28d3c0deb3cd35e48179a36"><td class="memItemLeft" align="right" valign="top">IntervalValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36">SVF::operator-</a> (const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</td></tr>
-<tr class="memdesc:a4bddb7dbd28d3c0deb3cd35e48179a36"><td class="mdescLeft">&#160;</td><td class="mdescRight">Substract IntervalValues.  <a href="namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36">More...</a><br /></td></tr>
+<tr class="memdesc:a4bddb7dbd28d3c0deb3cd35e48179a36"><td class="mdescLeft">&#160;</td><td class="mdescRight">Subtract IntervalValues.  <a href="namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36">More...</a><br /></td></tr>
 <tr class="separator:a4bddb7dbd28d3c0deb3cd35e48179a36"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:abf0dfb872989751b13069f859ef408e1"><td class="memItemLeft" align="right" valign="top">IntervalValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#abf0dfb872989751b13069f859ef408e1">SVF::operator*</a> (const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</td></tr>
 <tr class="memdesc:abf0dfb872989751b13069f859ef408e1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Multiply IntervalValues.  <a href="namespaceSVF.html#abf0dfb872989751b13069f859ef408e1">More...</a><br /></td></tr>

package/SVF-doxygen/html/html/IntervalValue_8h_source.html

@@ -954,7 +954,7 @@ $(function() {
 <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="anamespaceSVF_html_a8ca7e84917358976240bc88c3cceb0c2"><div class="ttname"><a href="namespaceSVF.html#a8ca7e84917358976240bc88c3cceb0c2">SVF::operator&amp;</a></div><div class="ttdeci">IntervalValue operator&amp;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Bitwise AND of IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00793">IntervalValue.h:793</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a23c136994bc83222e1913d43ec3e7468"><div class="ttname"><a href="namespaceSVF.html#a23c136994bc83222e1913d43ec3e7468">SVF::operator/</a></div><div class="ttdeci">IntervalValue operator/(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Divide IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00515">IntervalValue.h:515</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a4bddb7dbd28d3c0deb3cd35e48179a36"><div class="ttname"><a href="namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36">SVF::operator-</a></div><div class="ttdeci">IntervalValue operator-(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Substract IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00477">IntervalValue.h:477</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a4bddb7dbd28d3c0deb3cd35e48179a36"><div class="ttname"><a href="namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36">SVF::operator-</a></div><div class="ttdeci">IntervalValue operator-(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Subtract IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00477">IntervalValue.h:477</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ab8ea498ca849eb969e721772d432b29d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">SVF::NumericLiteral::geq</a></div><div class="ttdeci">bool geq(const NumericLiteral &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00155">NumericLiteral.h:155</a></div></div>
 <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_1IntervalValue_html_acb48e1418d1b6beceb30b1513fde5d9a"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#acb48e1418d1b6beceb30b1513fde5d9a">SVF::IntervalValue::IntervalValue</a></div><div class="ttdeci">IntervalValue(int64_t n)</div><div class="ttdoc">Create the IntervalValue [n, n].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00098">IntervalValue.h:98</a></div></div>
@@ -966,7 +966,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_afcd424e419fe66750c47df21774bb22c"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#afcd424e419fe66750c47df21774bb22c">SVF::IntervalValue::~IntervalValue</a></div><div class="ttdeci">~IntervalValue() override=default</div><div class="ttdoc">Destructor.</div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a3e10b7d6fd99151cc73b2d942ae75190"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a3e10b7d6fd99151cc73b2d942ae75190">SVF::IntervalValue::operator=</a></div><div class="ttdeci">IntervalValue &amp; operator=(const IntervalValue &amp;a)=default</div><div class="ttdoc">Copy assignment operator.</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_1IntervalValue_html_afcb91d48a79aeba3c78c1a41b0730a73"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#afcb91d48a79aeba3c78c1a41b0730a73">SVF::IntervalValue::contains</a></div><div class="ttdeci">bool contains(int n) const</div><div class="ttdoc">Return true if the IntervalValue contains n.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00424">IntervalValue.h:424</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>

package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html

@@ -229,7 +229,7 @@ $(function() {
 <div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;    }</div>
 <div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;}</div>
 </div><!-- fragment --></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="aLLVMUtil_8h_html"><div class="ttname"><a href="LLVMUtil_8h.html">LLVMUtil.h</a></div></div>
@@ -237,7 +237,7 @@ $(function() {
 <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="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</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="aLLVMLoopAnalysis_8h_html"><div class="ttname"><a href="LLVMLoopAnalysis_8h.html">LLVMLoopAnalysis.h</a></div></div>
@@ -252,21 +252,21 @@ $(function() {
 <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="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</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="aclassSVF_1_1LLVMLoopAnalysis_html_a17e4805c2db146430c58af35625a388d"><div class="ttname"><a href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis::build</a></div><div class="ttdeci">virtual void build(ICFG *icfg)</div><div class="ttdoc">Start from here.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMLoopAnalysis_8cpp_source.html#l00088">LLVMLoopAnalysis.cpp:88</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00047">ICFG.h:47</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/LLVMLoopAnalysis_8h_source.html

@@ -132,7 +132,7 @@ $(function() {
 <div class="ttc" id="aBasicTypes_8h_html"><div class="ttname"><a href="BasicTypes_8h.html">BasicTypes.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMLoopAnalysis_html_aae766534e6dd2141a593b6f07aae6999"><div class="ttname"><a href="classSVF_1_1LLVMLoopAnalysis.html#aae766534e6dd2141a593b6f07aae6999">SVF::LLVMLoopAnalysis::~LLVMLoopAnalysis</a></div><div class="ttdeci">virtual ~LLVMLoopAnalysis()=default</div><div class="ttdoc">Destructor.</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="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMLoopAnalysis_html_a17e4805c2db146430c58af35625a388d"><div class="ttname"><a href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis::build</a></div><div class="ttdeci">virtual void build(ICFG *icfg)</div><div class="ttdoc">Start from here.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMLoopAnalysis_8cpp_source.html#l00088">LLVMLoopAnalysis.cpp:88</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMLoopAnalysis_html_a93161bbdb47c74fce1d8e54a45df2df8"><div class="ttname"><a href="classSVF_1_1LLVMLoopAnalysis.html#a93161bbdb47c74fce1d8e54a45df2df8">SVF::LLVMLoopAnalysis::LLVMLoopAnalysis</a></div><div class="ttdeci">LLVMLoopAnalysis()=default</div><div class="ttdoc">Constructor.</div></div>
 <div class="ttc" id="aclassSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00047">ICFG.h:47</a></div></div>

package/SVF-doxygen/html/html/LLVMModule_8cpp.html

@@ -73,7 +73,6 @@ $(function() {
 <div class="contents">
 <div class="textblock"><code>#include &lt;queue&gt;</code><br />
 <code>#include &lt;algorithm&gt;</code><br />
-<code>#include &quot;<a class="el" href="Options_8h_source.html">Util/Options.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="SVFModule_8h_source.html">SVFIR/SVFModule.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="SVFUtil_8h_source.html">Util/SVFUtil.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="BasicTypes_8h_source.html">SVF-LLVM/BasicTypes.h</a>&quot;</code><br />
@@ -107,7 +106,7 @@ Macros</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="LLVMModule_8cpp_source.html#l00069">69</a> of file <a class="el" href="LLVMModule_8cpp_source.html">LLVMModule.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="LLVMModule_8cpp_source.html#l00068">68</a> of file <a class="el" href="LLVMModule_8cpp_source.html">LLVMModule.cpp</a>.</p>
 
 </div>
 </div>
@@ -123,7 +122,7 @@ Macros</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="LLVMModule_8cpp_source.html#l00070">70</a> of file <a class="el" href="LLVMModule_8cpp_source.html">LLVMModule.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="LLVMModule_8cpp_source.html#l00069">69</a> of file <a class="el" href="LLVMModule_8cpp_source.html">LLVMModule.cpp</a>.</p>
 
 </div>
 </div>
@@ -139,7 +138,7 @@ Macros</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="LLVMModule_8cpp_source.html#l00068">68</a> of file <a class="el" href="LLVMModule_8cpp_source.html">LLVMModule.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="LLVMModule_8cpp_source.html#l00067">67</a> of file <a class="el" href="LLVMModule_8cpp_source.html">LLVMModule.cpp</a>.</p>
 
 </div>
 </div>