svf-tools 1.0.560 → 1.0.561

package/SVF-doxygen/html/html/namespaceSVF.html

@@ -1797,7 +1797,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SrcSnkDDA_8h_source.html#l00042">42</a> of file <a class="el" href="SrcSnkDDA_8h_source.html">SrcSnkDDA.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SrcSnkDDA_8h_source.html#l00049">49</a> of file <a class="el" href="SrcSnkDDA_8h_source.html">SrcSnkDDA.h</a>.</p>
 
 </div>
 </div>
@@ -2101,7 +2101,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ContextDDA_8h_source.html#l00019">19</a> of file <a class="el" href="ContextDDA_8h_source.html">ContextDDA.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ContextDDA_8h_source.html#l00048">48</a> of file <a class="el" href="ContextDDA_8h_source.html">ContextDDA.h</a>.</p>
 
 </div>
 </div>
@@ -3011,7 +3011,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00022">22</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00044">44</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
 
 </div>
 </div>
@@ -3027,7 +3027,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00064">64</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00086">86</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
 
 </div>
 </div>
@@ -3044,7 +3044,7 @@ Functions</h2></td></tr>
 </div><div class="memdoc">
 <p>Pointer Analysis Call Graph used internally for various pointer analysis </p>
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00114">114</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00136">136</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
 
 </div>
 </div>
@@ -3527,7 +3527,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="FlowDDA_8h_source.html#l00018">18</a> of file <a class="el" href="FlowDDA_8h_source.html">FlowDDA.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="FlowDDA_8h_source.html#l00047">47</a> of file <a class="el" href="FlowDDA_8h_source.html">FlowDDA.h</a>.</p>
 
 </div>
 </div>
@@ -3801,7 +3801,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00044">44</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00048">48</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 
 </div>
 </div>
@@ -3817,7 +3817,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00047">47</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00051">51</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 
 </div>
 </div>
@@ -3833,7 +3833,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00048">48</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00052">52</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 
 </div>
 </div>
@@ -5099,7 +5099,7 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 <p>Abstract class of inclusion-based Pointer Analysis</p>
 <p>Equivalence-based Pointer Analysis </p>
 
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00043">43</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00048">48</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
 
 </div>
 </div>
@@ -5670,7 +5670,7 @@ template&lt;typename F , typename S &gt; </div>
 <div class="ttc" id="classSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00354">MSSAMuChi.h:354</a></div></div>
 <div class="ttc" id="classSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</a></div></div>
 <div class="ttc" id="classSVF_1_1MRVer_html_a63bd0641be553860cc5f517634b65825"><div class="ttname"><a href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">SVF::MRVer::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return the memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00063">MSSAMuChi.h:63</a></div></div>
-<div class="ttc" id="classSVF_1_1MemRegion_html_adad8c2b08ab6a512f0c3aa90b4416f60"><div class="ttname"><a href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion::dumpStr</a></div><div class="ttdeci">std::string dumpStr() const</div><div class="ttdoc">Dump string. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00089">MemRegion.h:89</a></div></div>
+<div class="ttc" id="classSVF_1_1MemRegion_html_adad8c2b08ab6a512f0c3aa90b4416f60"><div class="ttname"><a href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion::dumpStr</a></div><div class="ttdeci">std::string dumpStr() const</div><div class="ttdoc">Dump string. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00093">MemRegion.h:93</a></div></div>
 <div class="ttc" id="classSVF_1_1MRVer_html_a492211105abe8af8ed9ad7b30eabb852"><div class="ttname"><a href="classSVF_1_1MRVer.html#a492211105abe8af8ed9ad7b30eabb852">SVF::MRVer::getDef</a></div><div class="ttdeci">MSSADef * getDef() const</div><div class="ttdoc">Get MSSADef. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00075">MSSAMuChi.h:75</a></div></div>
 </div><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/structSVF_1_1MemRegion_1_1equalMemRegion.html

@@ -80,7 +80,7 @@ Public Member Functions</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>add the hash function here to sort elements and remove and remove duplicated element in the set (binary tree comparision) </p>
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00108">108</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00112">112</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a3cd8165dfa543312d2b3bfa798b6154b"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a3cd8165dfa543312d2b3bfa798b6154b">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -116,8 +116,8 @@ Public Member Functions</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00110">110</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        {</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8f749354b7e882ef3e5bf5081fa715b5">SVFUtil::cmpNodeBS</a>(lhs-&gt;getPointsTo(), rhs-&gt;getPointsTo());</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        }</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8f749354b7e882ef3e5bf5081fa715b5"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8f749354b7e882ef3e5bf5081fa715b5">SVF::SVFUtil::cmpNodeBS</a></div><div class="ttdeci">bool cmpNodeBS(const NodeBS &amp;lpts, const NodeBS &amp;rpts)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00123">SVFUtil.h:123</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00114">114</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        {</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8f749354b7e882ef3e5bf5081fa715b5">SVFUtil::cmpNodeBS</a>(lhs-&gt;getPointsTo(), rhs-&gt;getPointsTo());</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        }</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8f749354b7e882ef3e5bf5081fa715b5"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8f749354b7e882ef3e5bf5081fa715b5">SVF::SVFUtil::cmpNodeBS</a></div><div class="ttdeci">bool cmpNodeBS(const NodeBS &amp;lpts, const NodeBS &amp;rpts)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00123">SVFUtil.h:123</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html

@@ -81,7 +81,7 @@ Public Attributes</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="VersionedFlowSensitive_8h_source.html#l00242">242</a> of file <a class="el" href="VersionedFlowSensitive_8h_source.html">VersionedFlowSensitive.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VersionedFlowSensitive_8h_source.html#l00246">246</a> of file <a class="el" href="VersionedFlowSensitive_8h_source.html">VersionedFlowSensitive.h</a>.</p>
 </div><h2 class="groupheader">Member Data Documentation</h2>
 <a id="a823afbcf2b99a38367b7bc8be17ff2ba"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a823afbcf2b99a38367b7bc8be17ff2ba">&#9670;&nbsp;</a></span>index</h2>
@@ -95,7 +95,7 @@ Public Attributes</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VersionedFlowSensitive_8h_source.html#l00244">244</a> of file <a class="el" href="VersionedFlowSensitive_8h_source.html">VersionedFlowSensitive.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VersionedFlowSensitive_8h_source.html#l00248">248</a> of file <a class="el" href="VersionedFlowSensitive_8h_source.html">VersionedFlowSensitive.h</a>.</p>
 
 </div>
 </div>
@@ -111,7 +111,7 @@ Public Attributes</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VersionedFlowSensitive_8h_source.html#l00245">245</a> of file <a class="el" href="VersionedFlowSensitive_8h_source.html">VersionedFlowSensitive.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VersionedFlowSensitive_8h_source.html#l00249">249</a> of file <a class="el" href="VersionedFlowSensitive_8h_source.html">VersionedFlowSensitive.h</a>.</p>
 
 </div>
 </div>
@@ -127,7 +127,7 @@ Public Attributes</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VersionedFlowSensitive_8h_source.html#l00246">246</a> of file <a class="el" href="VersionedFlowSensitive_8h_source.html">VersionedFlowSensitive.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VersionedFlowSensitive_8h_source.html#l00250">250</a> of file <a class="el" href="VersionedFlowSensitive_8h_source.html">VersionedFlowSensitive.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html

@@ -112,7 +112,7 @@ struct llvm::DOTGraphTraits&lt; TCT * &gt;</h3>
 
 <p>Write value flow graph into dot file for debugging </p>
 
-<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00601">601</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00624">624</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a73a500d1bdff303590f9dc8786e1f8c0"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a73a500d1bdff303590f9dc8786e1f8c0">&#9670;&nbsp;</a></span>ChildIteratorType</h2>
@@ -126,7 +126,7 @@ struct llvm::DOTGraphTraits&lt; TCT * &gt;</h3>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00605">605</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00628">628</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
 
 </div>
 </div>
@@ -142,7 +142,7 @@ struct llvm::DOTGraphTraits&lt; TCT * &gt;</h3>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00604">604</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00627">627</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
 
 </div>
 </div>
@@ -171,8 +171,8 @@ struct llvm::DOTGraphTraits&lt; TCT * &gt;</h3>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00606">606</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;                                          :</div><div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;        DefaultDOTGraphTraits(isSimple)</div><div class="line"><a name="l00608"></a><span class="lineno">  608</span>&#160;    {</div><div class="line"><a name="l00609"></a><span class="lineno">  609</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00629">629</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00629"></a><span class="lineno">  629</span>&#160;                                          :</div><div class="line"><a name="l00630"></a><span class="lineno">  630</span>&#160;        DefaultDOTGraphTraits(isSimple)</div><div class="line"><a name="l00631"></a><span class="lineno">  631</span>&#160;    {</div><div class="line"><a name="l00632"></a><span class="lineno">  632</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
@@ -219,9 +219,9 @@ template&lt;class EdgeIter &gt; </div>
 </div><div class="memdoc">
 <p>black edge for direct call while two functions contain indirect calls will be label with red color </p>
 
-<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00637">637</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00638"></a><span class="lineno">  638</span>&#160;    {</div><div class="line"><a name="l00639"></a><span class="lineno">  639</span>&#160;</div><div class="line"><a name="l00640"></a><span class="lineno">  640</span>&#160;        <a class="code" href="classSVF_1_1TCTEdge.html">TCTEdge</a>* edge = csThreadTree-&gt;<a class="code" href="classSVF_1_1TCT.html#a7b40580939dc63f501a32571806c07bc">getGraphEdge</a>(node, *EI, TCTEdge::ThreadCreateEdge);</div><div class="line"><a name="l00641"></a><span class="lineno">  641</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00643"></a><span class="lineno">  643</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l00644"></a><span class="lineno">  644</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCT_html_a7b40580939dc63f501a32571806c07bc"><div class="ttname"><a href="classSVF_1_1TCT.html#a7b40580939dc63f501a32571806c07bc">SVF::TCT::getGraphEdge</a></div><div class="ttdeci">TCTEdge * getGraphEdge(TCTNode *src, TCTNode *dst, TCTEdge::CEDGEK kind)</div><div class="ttdoc">Get call graph edge via nodes. </div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00584">TCT.cpp:584</a></div></div>
-<div class="ttc" id="classSVF_1_1TCTEdge_html"><div class="ttname"><a href="classSVF_1_1TCTEdge.html">SVF::TCTEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00029">TCT.h:29</a></div></div>
+<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00660">660</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;    {</div><div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;</div><div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;        <a class="code" href="classSVF_1_1TCTEdge.html">TCTEdge</a>* edge = csThreadTree-&gt;<a class="code" href="classSVF_1_1TCT.html#a7b40580939dc63f501a32571806c07bc">getGraphEdge</a>(node, *EI, TCTEdge::ThreadCreateEdge);</div><div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCT_html_a7b40580939dc63f501a32571806c07bc"><div class="ttname"><a href="classSVF_1_1TCT.html#a7b40580939dc63f501a32571806c07bc">SVF::TCT::getGraphEdge</a></div><div class="ttdeci">TCTEdge * getGraphEdge(TCTNode *src, TCTNode *dst, TCTEdge::CEDGEK kind)</div><div class="ttdoc">Get call graph edge via nodes. </div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00607">TCT.cpp:607</a></div></div>
+<div class="ttc" id="classSVF_1_1TCTEdge_html"><div class="ttname"><a href="classSVF_1_1TCTEdge.html">SVF::TCTEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00051">TCT.h:51</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -251,8 +251,8 @@ template&lt;class EdgeIter &gt; </div>
 
 <p>Return name of the graph. </p>
 
-<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00612">612</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00613"></a><span class="lineno">  613</span>&#160;    {</div><div class="line"><a name="l00614"></a><span class="lineno">  614</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;Thread Create Tree&quot;</span>;</div><div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00635">635</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00636"></a><span class="lineno">  636</span>&#160;    {</div><div class="line"><a name="l00637"></a><span class="lineno">  637</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;Thread Create Tree&quot;</span>;</div><div class="line"><a name="l00638"></a><span class="lineno">  638</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a2b3151a123d6c22dc5d6fa81b3ea4a83"></a>
@@ -289,9 +289,9 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00622">622</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00623"></a><span class="lineno">  623</span>&#160;    {</div><div class="line"><a name="l00624"></a><span class="lineno">  624</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> attr;</div><div class="line"><a name="l00625"></a><span class="lineno">  625</span>&#160;        <span class="keywordflow">if</span> (node-&gt;<a class="code" href="classSVF_1_1TCTNode.html#a4541cd85dcde2ce789ea411ebb1d89c7">isInloop</a>())</div><div class="line"><a name="l00626"></a><span class="lineno">  626</span>&#160;        {</div><div class="line"><a name="l00627"></a><span class="lineno">  627</span>&#160;            attr.append(<span class="stringliteral">&quot; style=filled fillcolor=red&quot;</span>);</div><div class="line"><a name="l00628"></a><span class="lineno">  628</span>&#160;        }</div><div class="line"><a name="l00629"></a><span class="lineno">  629</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (node-&gt;<a class="code" href="classSVF_1_1TCTNode.html#a42dde4c3714cc5605f7c0e76cfd4a74c">isIncycle</a>())</div><div class="line"><a name="l00630"></a><span class="lineno">  630</span>&#160;        {</div><div class="line"><a name="l00631"></a><span class="lineno">  631</span>&#160;            attr.append(<span class="stringliteral">&quot; style=filled fillcolor=yellow&quot;</span>);</div><div class="line"><a name="l00632"></a><span class="lineno">  632</span>&#160;        }</div><div class="line"><a name="l00633"></a><span class="lineno">  633</span>&#160;        <span class="keywordflow">return</span> attr;</div><div class="line"><a name="l00634"></a><span class="lineno">  634</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a4541cd85dcde2ce789ea411ebb1d89c7"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a4541cd85dcde2ce789ea411ebb1d89c7">SVF::TCTNode::isInloop</a></div><div class="ttdeci">bool isInloop() const</div><div class="ttdoc">inloop, incycle attributes </div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00088">TCT.h:88</a></div></div>
-<div class="ttc" id="classSVF_1_1TCTNode_html_a42dde4c3714cc5605f7c0e76cfd4a74c"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a42dde4c3714cc5605f7c0e76cfd4a74c">SVF::TCTNode::isIncycle</a></div><div class="ttdeci">bool isIncycle() const</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00092">TCT.h:92</a></div></div>
+<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00645">645</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00646"></a><span class="lineno">  646</span>&#160;    {</div><div class="line"><a name="l00647"></a><span class="lineno">  647</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> attr;</div><div class="line"><a name="l00648"></a><span class="lineno">  648</span>&#160;        <span class="keywordflow">if</span> (node-&gt;<a class="code" href="classSVF_1_1TCTNode.html#a4541cd85dcde2ce789ea411ebb1d89c7">isInloop</a>())</div><div class="line"><a name="l00649"></a><span class="lineno">  649</span>&#160;        {</div><div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;            attr.append(<span class="stringliteral">&quot; style=filled fillcolor=red&quot;</span>);</div><div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;        }</div><div class="line"><a name="l00652"></a><span class="lineno">  652</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (node-&gt;<a class="code" href="classSVF_1_1TCTNode.html#a42dde4c3714cc5605f7c0e76cfd4a74c">isIncycle</a>())</div><div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;        {</div><div class="line"><a name="l00654"></a><span class="lineno">  654</span>&#160;            attr.append(<span class="stringliteral">&quot; style=filled fillcolor=yellow&quot;</span>);</div><div class="line"><a name="l00655"></a><span class="lineno">  655</span>&#160;        }</div><div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;        <span class="keywordflow">return</span> attr;</div><div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a4541cd85dcde2ce789ea411ebb1d89c7"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a4541cd85dcde2ce789ea411ebb1d89c7">SVF::TCTNode::isInloop</a></div><div class="ttdeci">bool isInloop() const</div><div class="ttdoc">inloop, incycle attributes </div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00110">TCT.h:110</a></div></div>
+<div class="ttc" id="classSVF_1_1TCTNode_html_a42dde4c3714cc5605f7c0e76cfd4a74c"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a42dde4c3714cc5605f7c0e76cfd4a74c">SVF::TCTNode::isIncycle</a></div><div class="ttdeci">bool isIncycle() const</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00114">TCT.h:114</a></div></div>
 <div class="ttc" id="cJSON_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><!-- fragment -->
 </div>
@@ -332,8 +332,8 @@ template&lt;class EdgeIter &gt; </div>
 
 <p>Return function name;. </p>
 
-<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00617">617</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;    {</div><div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;        <span class="keywordflow">return</span> std::to_string(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00620"></a><span class="lineno">  620</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00169">GenericGraph.h:169</a></div></div>
+<p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00640">640</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00641"></a><span class="lineno">  641</span>&#160;    {</div><div class="line"><a name="l00642"></a><span class="lineno">  642</span>&#160;        <span class="keywordflow">return</span> std::to_string(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00643"></a><span class="lineno">  643</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00169">GenericGraph.h:169</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html

@@ -85,7 +85,7 @@ struct llvm::GraphTraits&lt; Inverse&lt; SVF::TCTNode * &gt; &gt;</h3>
 
 <p>Inverse GraphTraits specializations for Value flow node, it is used for inverse traversal. </p>
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00568">568</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00590">590</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
 </div><hr/>The documentation for this struct was generated from the following file:<ul>
 <li>/home/runner/work/SVF/SVF/include/MTA/<a class="el" href="TCT_8h_source.html">TCT.h</a></li>
 </ul>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html

@@ -81,7 +81,7 @@ Inheritance diagram for llvm::GraphTraits&lt; SVF::TCTNode * &gt;:</div>
 struct llvm::GraphTraits&lt; SVF::TCTNode * &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00562">562</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00584">584</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
 </div><hr/>The documentation for this struct was generated from the following file:<ul>
 <li>/home/runner/work/SVF/SVF/include/MTA/<a class="el" href="TCT_8h_source.html">TCT.h</a></li>
 </ul>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html

@@ -90,7 +90,7 @@ Public Types</h2></td></tr>
 struct llvm::GraphTraits&lt; SVF::TCT * &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00572">572</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00594">594</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a064d2e7841d3ad3fce45f8b99f37001b"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a064d2e7841d3ad3fce45f8b99f37001b">&#9670;&nbsp;</a></span>NodeRef</h2>
@@ -104,7 +104,7 @@ struct llvm::GraphTraits&lt; SVF::TCT * &gt;</h3>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00574">574</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00596">596</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html

@@ -82,7 +82,7 @@ Public Member Functions</h2></td></tr>
 struct std::hash&lt; SVF::SVFGNodeLockSpan &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="FSMPTA_8h_source.html#l00234">234</a> of file <a class="el" href="FSMPTA_8h_source.html">FSMPTA.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="FSMPTA_8h_source.html#l00260">260</a> of file <a class="el" href="FSMPTA_8h_source.html">FSMPTA.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a7854984f902d9a42c6d4e095de8464a7"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a7854984f902d9a42c6d4e095de8464a7">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -108,8 +108,8 @@ struct std::hash&lt; SVF::SVFGNodeLockSpan &gt;</h3>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="FSMPTA_8h_source.html#l00236">236</a> of file <a class="el" href="FSMPTA_8h_source.html">FSMPTA.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;    {</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;        std::hash&lt;SVF::StmtSVFGNode* &gt;h;</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;        <a class="code" href="classSVF_1_1StmtVFGNode.html">SVF::StmtSVFGNode</a>* node = <span class="keyword">const_cast&lt;</span><a class="code" href="classSVF_1_1StmtVFGNode.html">SVF::StmtSVFGNode</a>* <span class="keyword">&gt;</span> (cs.<a class="code" href="classSVF_1_1SVFGNodeLockSpan.html#ac6b8a2fd39afa60cdb8379c0377eb50f">getSVFGNode</a>());</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;        <span class="keywordflow">return</span> h(node);</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFGNodeLockSpan_html_ac6b8a2fd39afa60cdb8379c0377eb50f"><div class="ttname"><a href="classSVF_1_1SVFGNodeLockSpan.html#ac6b8a2fd39afa60cdb8379c0377eb50f">SVF::SVFGNodeLockSpan::getSVFGNode</a></div><div class="ttdeci">const StmtSVFGNode * getSVFGNode() const</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00055">FSMPTA.h:55</a></div></div>
+<p class="definition">Definition at line <a class="el" href="FSMPTA_8h_source.html#l00262">262</a> of file <a class="el" href="FSMPTA_8h_source.html">FSMPTA.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;    {</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;        std::hash&lt;SVF::StmtSVFGNode* &gt;h;</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;        <a class="code" href="classSVF_1_1StmtVFGNode.html">SVF::StmtSVFGNode</a>* node = <span class="keyword">const_cast&lt;</span><a class="code" href="classSVF_1_1StmtVFGNode.html">SVF::StmtSVFGNode</a>* <span class="keyword">&gt;</span> (cs.<a class="code" href="classSVF_1_1SVFGNodeLockSpan.html#ac6b8a2fd39afa60cdb8379c0377eb50f">getSVFGNode</a>());</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        <span class="keywordflow">return</span> h(node);</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFGNodeLockSpan_html_ac6b8a2fd39afa60cdb8379c0377eb50f"><div class="ttname"><a href="classSVF_1_1SVFGNodeLockSpan.html#ac6b8a2fd39afa60cdb8379c0377eb50f">SVF::SVFGNodeLockSpan::getSVFGNode</a></div><div class="ttdeci">const StmtSVFGNode * getSVFGNode() const</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00081">FSMPTA.h:81</a></div></div>
 <div class="ttc" id="classSVF_1_1StmtVFGNode_html"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00116">VFGNode.h:116</a></div></div>
 </div><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/svf-ex_8cpp.html

@@ -220,7 +220,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="classSVF_1_1ICFG_html_a999956500bbd605326531480546db9ba"><div class="ttname"><a href="classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba">SVF::ICFG::dump</a></div><div class="ttdeci">void dump(const std::string &amp;file, bool simple=false)</div><div class="ttdoc">Dump graph into dot file. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00441">ICFG.cpp:441</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html"><div class="ttname"><a href="classSVF_1_1SVFG.html">SVF::SVFG</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00065">SVFG.h:65</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html">SVF::SVFGBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8h_source.html#l00059">SVFGBuilder.h:59</a></div></div>
-<div class="ttc" id="classSVF_1_1Andersen_html"><div class="ttname"><a href="classSVF_1_1Andersen.html">SVF::Andersen</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00145">Andersen.h:145</a></div></div>
+<div class="ttc" id="classSVF_1_1Andersen_html"><div class="ttname"><a href="classSVF_1_1Andersen.html">SVF::Andersen</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00150">Andersen.h:150</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_accdd44093d6d145dc92edeaaff3f5732"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">SVF::LLVMUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00436">LLVMUtil.cpp:436</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html_aa03ab5272652290f30870c6e2d053d98"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">SVF::SVFModule::buildSymbolTableInfo</a></div><div class="ttdeci">void buildSymbolTableInfo()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00030">SVFModule.cpp:30</a></div></div>

package/SVF-doxygen/html/html/svf-ex_8cpp_source.html

@@ -118,7 +118,7 @@ $(function() {
 <div class="ttc" id="SVFIRBuilder_8h_html"><div class="ttname"><a href="SVFIRBuilder_8h.html">SVFIRBuilder.h</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00210">GenericGraph.h:210</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00391">GenericGraph.h:391</a></div></div>
-<div class="ttc" id="classSVF_1_1Andersen_html"><div class="ttname"><a href="classSVF_1_1Andersen.html">SVF::Andersen</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00145">Andersen.h:145</a></div></div>
+<div class="ttc" id="classSVF_1_1Andersen_html"><div class="ttname"><a href="classSVF_1_1Andersen.html">SVF::Andersen</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00150">Andersen.h:150</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_accdd44093d6d145dc92edeaaff3f5732"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">SVF::LLVMUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00436">LLVMUtil.cpp:436</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>

package/include/DDA/ContextDDA.h

@@ -1,8 +1,37 @@
+//===- ContextDDA.h -- Context-sensitive demand-driven analysis-------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * ContextDDA.h
  *
  *  Created on: Aug 17, 2014
  *      Author: Yulei Sui
+ *
+ * The implementation is based on
+ * (1) Yulei Sui and Jingling Xue. "On-Demand Strong Update Analysis via Value-Flow Refinement".
+ * ACM SIGSOFT International Symposium on the Foundation of Software Engineering (FSE'16)
+ *
+ * (2) Yulei Sui and Jingling Xue. "Value-Flow-Based Demand-Driven Pointer Analysis for C and C++".
+ * IEEE Transactions on Software Engineering (TSE'18)
  */
 
 #ifndef ContextDDA_H_

package/include/DDA/DDAClient.h

@@ -1,3 +1,26 @@
+//===- DDAClient.h -- Clients of demand-driven analysis-------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
+
 /*
  * @file: DDAClient.h
  * @author: yesen

package/include/DDA/DDAPass.h

@@ -1,3 +1,25 @@
+//===- DDAPass.h -- Demand-driven analysis driver pass-------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * @file: DDAPass.h
  * @author: Yulei Sui

package/include/DDA/DDAStat.h

@@ -1,3 +1,25 @@
+//===- DDAStat.h -- Statistics for demand-driven pass-------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * DDAStat.h
  *

package/include/DDA/DDAVFSolver.h

@@ -1,3 +1,25 @@
+//===- DDAVFSolver.h -- Demand-driven analysis value-flow solver------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * DDAVFSolver.h
  *

package/include/DDA/FlowDDA.h

@@ -1,8 +1,37 @@
+//===- FlowDDA.h -- Flow-sensitive demand-driven analysis -------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * FlowDDA.h
  *
  *  Created on: Jun 30, 2014
  *      Author: Yulei Sui, Sen Ye
+ *
+ * The implementation is based on
+ * (1) Yulei Sui and Jingling Xue. "On-Demand Strong Update Analysis via Value-Flow Refinement".
+ * ACM SIGSOFT International Symposium on the Foundation of Software Engineering (FSE'16)
+ *
+ * (2) Yulei Sui and Jingling Xue. "Value-Flow-Based Demand-Driven Pointer Analysis for C and C++".
+ * IEEE Transactions on Software Engineering (TSE'18)
  */
 
 #ifndef FlowDDA_H_

package/include/MSSA/MSSAMuChi.h

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify

package/include/MSSA/MemPartition.h

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify