svf-tools 1.0.606 → 1.0.607

package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html

@@ -501,7 +501,7 @@ Additional Inherited Members</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00085">85</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;{</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    std::stringstream rawstr(str);</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;CopyStmt: [Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>)</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    {</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">toString</a>();</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;    }</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;}</div><div class="ttc" id="classSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00261">SVFStatements.h:261</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00681">LLVMUtil.cpp:681</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00680">LLVMUtil.cpp:680</a></div></div>
 <div class="ttc" id="classSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00265">SVFStatements.h:265</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html_abb784290c90d26f35897fa15bae277d2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00120">SVFStatements.h:120</a></div></div>
 <div class="ttc" id="classSVF_1_1Options_html_a63c2ff1420867ea4ef0a94d28b3f0558"><div class="ttname"><a href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html

@@ -291,7 +291,7 @@ Protected Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="CxtStmt_8h_source.html#l00109">109</a> of file <a class="el" href="CxtStmt_8h_source.html">CxtStmt.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;[ Current Stmt: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CxtStmt.html#a355b80cc15a3450c6a34915a99caa028">inst</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>() &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CxtStmt.html#a355b80cc15a3450c6a34915a99caa028">inst</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">toString</a>() &lt;&lt; <span class="stringliteral">&quot;\t Contexts: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CxtStmt.html#a85aa14770cec41503d674958f64c43ee">cxtToStr</a>() &lt;&lt; <span class="stringliteral">&quot;  ]\n&quot;</span>;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CxtStmt_html_a85aa14770cec41503d674958f64c43ee"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#a85aa14770cec41503d674958f64c43ee">SVF::CxtStmt::cxtToStr</a></div><div class="ttdeci">std::string cxtToStr() const</div><div class="ttdoc">Return context in string format. </div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00096">CxtStmt.h:96</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00681">LLVMUtil.cpp:681</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00680">LLVMUtil.cpp:680</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtStmt_html_a355b80cc15a3450c6a34915a99caa028"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#a355b80cc15a3450c6a34915a99caa028">SVF::CxtStmt::inst</a></div><div class="ttdeci">const SVFInstruction * inst</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00116">CxtStmt.h:116</a></div></div>
 <div class="ttc" id="namespaceSVF_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#l00049">SVFUtil.h:49</a></div></div>
 <div class="ttc" id="classSVF_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#l00239">SVFValue.h:239</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html

@@ -299,7 +299,7 @@ Protected Attributes</h2></td></tr>
 <p>Dump <a class="el" href="classSVF_1_1CxtThread.html">CxtThread</a>. </p>
 
 <p class="definition">Definition at line <a class="el" href="CxtStmt_8h_source.html#l00278">278</a> of file <a class="el" href="CxtStmt_8h_source.html">CxtStmt.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;    {</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> loop = <a class="code" href="classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c">inloop</a>?<span class="stringliteral">&quot;, inloop&quot;</span>:<span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> cycle = <a class="code" href="classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32">incycle</a>?<span class="stringliteral">&quot;, incycle&quot;</span>:<span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3">forksite</a>)</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;        {</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;[ Thread: $&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3">forksite</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>() &lt;&lt; <span class="stringliteral">&quot;$ &quot;</span></div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;                            &lt;&lt; <a class="code" href="classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3">forksite</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">toString</a>()  &lt;&lt; <span class="stringliteral">&quot;\t Contexts: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CxtThread.html#aa07c20dee73682364690c3b454084c47">cxtToStr</a>()</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;                            &lt;&lt; loop &lt;&lt; cycle &lt;&lt;<span class="stringliteral">&quot;  ]\n&quot;</span>;</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        }</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        {</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;[ Thread: &quot;</span> &lt;&lt; <span class="stringliteral">&quot;main   &quot;</span>  &lt;&lt; <span class="stringliteral">&quot;\t Contexts: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CxtThread.html#aa07c20dee73682364690c3b454084c47">cxtToStr</a>()</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;                            &lt;&lt; loop &lt;&lt; cycle &lt;&lt;<span class="stringliteral">&quot;  ]\n&quot;</span>;</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;        }</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00681">LLVMUtil.cpp:681</a></div></div>
+<div class="fragment"><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;    {</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> loop = <a class="code" href="classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c">inloop</a>?<span class="stringliteral">&quot;, inloop&quot;</span>:<span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> cycle = <a class="code" href="classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32">incycle</a>?<span class="stringliteral">&quot;, incycle&quot;</span>:<span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3">forksite</a>)</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;        {</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;[ Thread: $&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3">forksite</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>() &lt;&lt; <span class="stringliteral">&quot;$ &quot;</span></div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;                            &lt;&lt; <a class="code" href="classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3">forksite</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">toString</a>()  &lt;&lt; <span class="stringliteral">&quot;\t Contexts: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CxtThread.html#aa07c20dee73682364690c3b454084c47">cxtToStr</a>()</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;                            &lt;&lt; loop &lt;&lt; cycle &lt;&lt;<span class="stringliteral">&quot;  ]\n&quot;</span>;</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        }</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        {</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;[ Thread: &quot;</span> &lt;&lt; <span class="stringliteral">&quot;main   &quot;</span>  &lt;&lt; <span class="stringliteral">&quot;\t Contexts: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CxtThread.html#aa07c20dee73682364690c3b454084c47">cxtToStr</a>()</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;                            &lt;&lt; loop &lt;&lt; cycle &lt;&lt;<span class="stringliteral">&quot;  ]\n&quot;</span>;</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;        }</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00680">LLVMUtil.cpp:680</a></div></div>
 <div class="ttc" id="namespaceSVF_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#l00049">SVFUtil.h:49</a></div></div>
 <div class="ttc" id="classSVF_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#l00239">SVFValue.h:239</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtThread_html_a97d876697e682b23211a8f930fed7f32"><div class="ttname"><a href="classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32">SVF::CxtThread::incycle</a></div><div class="ttdeci">bool incycle</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00299">CxtStmt.h:299</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html

@@ -299,7 +299,7 @@ Additional Inherited Members</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="CxtStmt_8h_source.html#l00175">175</a> of file <a class="el" href="CxtStmt_8h_source.html">CxtStmt.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;    {</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;[ Current Thread id: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269">tid</a> &lt;&lt; <span class="stringliteral">&quot;  Stmt: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CxtStmt.html#a355b80cc15a3450c6a34915a99caa028">inst</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>() &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CxtStmt.html#a355b80cc15a3450c6a34915a99caa028">inst</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">toString</a>() &lt;&lt; <span class="stringliteral">&quot;\t Contexts: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CxtStmt.html#a85aa14770cec41503d674958f64c43ee">cxtToStr</a>() &lt;&lt; <span class="stringliteral">&quot;  ]\n&quot;</span>;</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CxtStmt_html_a85aa14770cec41503d674958f64c43ee"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#a85aa14770cec41503d674958f64c43ee">SVF::CxtStmt::cxtToStr</a></div><div class="ttdeci">std::string cxtToStr() const</div><div class="ttdoc">Return context in string format. </div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00096">CxtStmt.h:96</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00681">LLVMUtil.cpp:681</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00680">LLVMUtil.cpp:680</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtStmt_html_a355b80cc15a3450c6a34915a99caa028"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#a355b80cc15a3450c6a34915a99caa028">SVF::CxtStmt::inst</a></div><div class="ttdeci">const SVFInstruction * inst</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00116">CxtStmt.h:116</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtThreadStmt_html_ad96bacc3de1ce576ad397d19aa99a269"><div class="ttname"><a href="classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269">SVF::CxtThreadStmt::tid</a></div><div class="ttdeci">NodeID tid</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00181">CxtStmt.h:181</a></div></div>
 <div class="ttc" id="namespaceSVF_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#l00049">SVFUtil.h:49</a></div></div>