svf-tools 1.0.424 → 1.0.427

package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html

@@ -547,7 +547,7 @@ Additional Inherited Members</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00087">87</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;                                              {</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> nb;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    nb.set(<a class="code" href="classSVF_1_1StmtVFGNode.html#a04986961ad507be9fcf141ab51787da8">getPAGDstNodeID</a>());</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    <span class="keywordflow">return</span> nb;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;}</div><div class="ttc" id="classSVF_1_1StmtVFGNode_html_a04986961ad507be9fcf141ab51787da8"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#a04986961ad507be9fcf141ab51787da8">SVF::StmtVFGNode::getPAGDstNodeID</a></div><div class="ttdeci">NodeID getPAGDstNodeID() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00146">VFGNode.h:146</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00092">SVFBasicTypes.h:92</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -607,7 +607,7 @@ Additional Inherited Members</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00093">93</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;                                            {</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;    std::string str;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;CopyVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    rawstr &lt;&lt; <a class="code" href="classSVF_1_1StmtVFGNode.html#a4dd7615f42971da9b6ec1dc04f0ec4e6">getPAGEdge</a>()-&gt;<a class="code" href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">toString</a>();</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_ad0b4dbe87e009518f22360c48b0d0c22"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">SVF::SVFStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00063">SVFStatements.cpp:63</a></div></div>
 <div class="ttc" id="classSVF_1_1StmtVFGNode_html_a4dd7615f42971da9b6ec1dc04f0ec4e6"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#a4dd7615f42971da9b6ec1dc04f0ec4e6">SVF::StmtVFGNode::getPAGEdge</a></div><div class="ttdeci">const PAGEdge * getPAGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00136">VFGNode.h:136</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></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#l00165">GenericGraph.h:165</a></div></div>
 </div><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/classSVF_1_1CoreBitVector.html

@@ -481,7 +481,7 @@ Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="CoreBitVector_8cpp_source.html#l00056">56</a> of file <a class="el" href="CoreBitVector_8cpp_source.html">CoreBitVector.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;{</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> n = 0;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c">Word</a> &amp;w : <a class="code" href="classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b">words</a>) n += llvm::countPopulation(w);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    <span class="keywordflow">return</span> n;</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;}</div><div class="ttc" id="classSVF_1_1CoreBitVector_html_aaee26ffc13d05cd57f0fd7e4c2ea875c"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c">SVF::CoreBitVector::Word</a></div><div class="ttdeci">unsigned long long Word</div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8h_source.html#l00033">CoreBitVector.h:33</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00077">SVFBasicTypes.h:77</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00081">SVFBasicTypes.h:81</a></div></div>
 <div class="ttc" id="classSVF_1_1CoreBitVector_html_a807283a917e845ef19c4962b1744e98b"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b">SVF::CoreBitVector::words</a></div><div class="ttdeci">std::vector&lt; Word &gt; words</div><div class="ttdoc">Our actual bit vector. </div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8h_source.html#l00200">CoreBitVector.h:200</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -558,7 +558,7 @@ Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="CoreBitVector_8cpp_source.html#l00318">318</a> of file <a class="el" href="CoreBitVector_8cpp_source.html">CoreBitVector.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;{</div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;    <span class="comment">// New offset is the starting bit of the word which contains bit.</span></div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> newOffset = (bit / <a class="code" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">WordSize</a>) * <a class="code" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">WordSize</a>;</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;</div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;    <span class="comment">// TODO: maybe assertions?</span></div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;    <span class="comment">// Check if bit can already be included in this BV or if it&#39;s extendForward&#39;s problem.</span></div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;    <span class="keywordflow">if</span> (newOffset &gt;= <a class="code" href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">offset</a>) <span class="keywordflow">return</span>;</div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;</div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;    <a class="code" href="classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b">words</a>.insert(<a class="code" href="classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b">words</a>.begin(), (<a class="code" href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">offset</a> - newOffset) / <a class="code" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">WordSize</a>, 0);</div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;    <a class="code" href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">offset</a> = newOffset;</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;}</div><div class="ttc" id="classSVF_1_1CoreBitVector_html_a63f5e4a36359ae62401e5f8dfecb86a3"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector::WordSize</a></div><div class="ttdeci">static const size_t WordSize</div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8h_source.html#l00034">CoreBitVector.h:34</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00077">SVFBasicTypes.h:77</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00081">SVFBasicTypes.h:81</a></div></div>
 <div class="ttc" id="classSVF_1_1CoreBitVector_html_a79dfa9f4c2efb6a0a2de18c6359c41bd"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">SVF::CoreBitVector::offset</a></div><div class="ttdeci">u32_t offset</div><div class="ttdoc">The first bit of the first word. </div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8h_source.html#l00198">CoreBitVector.h:198</a></div></div>
 <div class="ttc" id="classSVF_1_1CoreBitVector_html_a807283a917e845ef19c4962b1744e98b"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b">SVF::CoreBitVector::words</a></div><div class="ttdeci">std::vector&lt; Word &gt; words</div><div class="ttdoc">Our actual bit vector. </div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8h_source.html#l00200">CoreBitVector.h:200</a></div></div>
 </div><!-- fragment -->
@@ -592,7 +592,7 @@ Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="CoreBitVector_8cpp_source.html#l00331">331</a> of file <a class="el" href="CoreBitVector_8cpp_source.html">CoreBitVector.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;{</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;    <span class="comment">// TODO: maybe assertions?</span></div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;    <span class="comment">// Not our problem; extendBackward&#39;s problem, or there is nothing to do.</span></div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;    <span class="keywordflow">if</span> (bit &lt; <a class="code" href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">offset</a> || <a class="code" href="classSVF_1_1CoreBitVector.html#a3c85fd2084e52df869cb8fcf2dab6486">canHold</a>(bit)) <span class="keywordflow">return</span>;</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;    <span class="comment">// Starting bit of word which would contain bit.</span></div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> bitsWord = (bit / <a class="code" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">WordSize</a>) * <a class="code" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">WordSize</a>;</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;    <span class="comment">// Add 1 to represent the final word starting at bitsWord.</span></div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> wordsToAdd = 1 + (bitsWord - <a class="code" href="classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b">words</a>.size() * <a class="code" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">WordSize</a> - <a class="code" href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">offset</a>) / <a class="code" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">WordSize</a>;</div><div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;    <a class="code" href="classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b">words</a>.insert(<a class="code" href="classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b">words</a>.end(), wordsToAdd, 0);</div><div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;}</div><div class="ttc" id="classSVF_1_1CoreBitVector_html_a63f5e4a36359ae62401e5f8dfecb86a3"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector::WordSize</a></div><div class="ttdeci">static const size_t WordSize</div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8h_source.html#l00034">CoreBitVector.h:34</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00077">SVFBasicTypes.h:77</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00081">SVFBasicTypes.h:81</a></div></div>
 <div class="ttc" id="classSVF_1_1CoreBitVector_html_a79dfa9f4c2efb6a0a2de18c6359c41bd"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">SVF::CoreBitVector::offset</a></div><div class="ttdeci">u32_t offset</div><div class="ttdoc">The first bit of the first word. </div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8h_source.html#l00198">CoreBitVector.h:198</a></div></div>
 <div class="ttc" id="classSVF_1_1CoreBitVector_html_a807283a917e845ef19c4962b1744e98b"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b">SVF::CoreBitVector::words</a></div><div class="ttdeci">std::vector&lt; Word &gt; words</div><div class="ttdoc">Our actual bit vector. </div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8h_source.html#l00200">CoreBitVector.h:200</a></div></div>
 <div class="ttc" id="classSVF_1_1CoreBitVector_html_a3c85fd2084e52df869cb8fcf2dab6486"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#a3c85fd2084e52df869cb8fcf2dab6486">SVF::CoreBitVector::canHold</a></div><div class="ttdeci">bool canHold(u32_t bit) const</div><div class="ttdoc">Returns true if bit can fit in this CBV without resizing. </div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8cpp_source.html#l00364">CoreBitVector.cpp:364</a></div></div>
@@ -926,7 +926,7 @@ Private Attributes</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="CoreBitVector_8cpp_source.html#l00261">261</a> of file <a class="el" href="CoreBitVector_8cpp_source.html">CoreBitVector.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;{</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;    <span class="comment">// Similar to |= in that we only iterate over rhs within this, but we</span></div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;    <span class="comment">// don&#39;t need to extend anything since nothing from rhs is being added.</span></div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> greaterOffset = std::max(<a class="code" href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">offset</a>, rhs.offset);</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;    <span class="comment">// TODO: calling twice.</span></div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;    <span class="comment">// No overlap if either cannot hold the greater offset.</span></div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;    <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1CoreBitVector.html#a3c85fd2084e52df869cb8fcf2dab6486">canHold</a>(greaterOffset) || !rhs.canHold(greaterOffset)) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;    <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;    <span class="keywordtype">size_t</span> thisIndex = <a class="code" href="classSVF_1_1CoreBitVector.html#ad73fca28bd4882eaa70817023a632d35">indexForBit</a>(greaterOffset);</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;    <span class="keywordtype">size_t</span> rhsIndex = rhs.indexForBit(greaterOffset);</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;    <a class="code" href="classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c">Word</a> oldWord;</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    <span class="keywordflow">for</span> ( ; thisIndex &lt; <a class="code" href="classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b">words</a>.size() &amp;&amp; rhsIndex &lt; rhs.words.size(); ++thisIndex, ++rhsIndex)</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;    {</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;        <span class="keywordflow">if</span> (!changed) oldWord = <a class="code" href="classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b">words</a>[thisIndex];</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        <a class="code" href="classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b">words</a>[thisIndex] &amp;= ~rhs.words[rhsIndex];</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        <span class="keywordflow">if</span> (!changed) changed = oldWord != <a class="code" href="classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b">words</a>[thisIndex];</div><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;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;    <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;}</div><div class="ttc" id="classSVF_1_1CoreBitVector_html_aaee26ffc13d05cd57f0fd7e4c2ea875c"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c">SVF::CoreBitVector::Word</a></div><div class="ttdeci">unsigned long long Word</div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8h_source.html#l00033">CoreBitVector.h:33</a></div></div>
 <div class="ttc" id="classSVF_1_1CoreBitVector_html_ad73fca28bd4882eaa70817023a632d35"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#ad73fca28bd4882eaa70817023a632d35">SVF::CoreBitVector::indexForBit</a></div><div class="ttdeci">size_t indexForBit(u32_t bit) const</div><div class="ttdoc">Returns the index into words which would hold bit. </div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8cpp_source.html#l00356">CoreBitVector.cpp:356</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00077">SVFBasicTypes.h:77</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00081">SVFBasicTypes.h:81</a></div></div>
 <div class="ttc" id="classSVF_1_1CoreBitVector_html_a79dfa9f4c2efb6a0a2de18c6359c41bd"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">SVF::CoreBitVector::offset</a></div><div class="ttdeci">u32_t offset</div><div class="ttdoc">The first bit of the first word. </div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8h_source.html#l00198">CoreBitVector.h:198</a></div></div>
 <div class="ttc" id="classSVF_1_1CoreBitVector_html_a807283a917e845ef19c4962b1744e98b"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b">SVF::CoreBitVector::words</a></div><div class="ttdeci">std::vector&lt; Word &gt; words</div><div class="ttdoc">Our actual bit vector. </div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8h_source.html#l00200">CoreBitVector.h:200</a></div></div>
 <div class="ttc" id="classSVF_1_1CoreBitVector_html_a3c85fd2084e52df869cb8fcf2dab6486"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#a3c85fd2084e52df869cb8fcf2dab6486">SVF::CoreBitVector::canHold</a></div><div class="ttdeci">bool canHold(u32_t bit) const</div><div class="ttdoc">Returns true if bit can fit in this CBV without resizing. </div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8cpp_source.html#l00364">CoreBitVector.cpp:364</a></div></div>

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

@@ -79,7 +79,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aeabc3acd9ce15b8beff0db8a49d8781f">difference_type</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">SVF::CoreBitVector::CoreBitVectorIterator</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a3b33f7857169d26e1b90fbaa593e79ef">iterator_category</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">SVF::CoreBitVector::CoreBitVectorIterator</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aebdb5ddb9b50704f83dc924b7bfac74c">operator!=</a>(const CoreBitVectorIterator &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">SVF::CoreBitVector::CoreBitVectorIterator</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a86bc0a10874af0d43c23cc073d65da07">operator*</a>(void) const</td><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">SVF::CoreBitVector::CoreBitVectorIterator</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aec0b2c6ebcf16734a69a54613a18b33e">operator*</a>(void) const</td><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">SVF::CoreBitVector::CoreBitVectorIterator</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0afff5162af357634e7213e85b5371c7">operator++</a>(void)</td><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">SVF::CoreBitVector::CoreBitVectorIterator</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a943e3e32d7bf7c585ee841f2663992e8">operator++</a>(int)</td><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">SVF::CoreBitVector::CoreBitVectorIterator</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#adb5a17e5916052f49390d6e99ff47b22">operator=</a>(const CoreBitVectorIterator &amp;cbv)=default</td><td class="entry"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">SVF::CoreBitVector::CoreBitVectorIterator</a></td><td class="entry"></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html

@@ -108,9 +108,9 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a943e3e32d7bf7c585ee841f2663992e8"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">CoreBitVectorIterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a943e3e32d7bf7c585ee841f2663992e8">operator++</a> (int)</td></tr>
 <tr class="memdesc:a943e3e32d7bf7c585ee841f2663992e8"><td class="mdescLeft">&#160;</td><td class="mdescRight">Post-increment: it++.  <a href="#a943e3e32d7bf7c585ee841f2663992e8">More...</a><br /></td></tr>
 <tr class="separator:a943e3e32d7bf7c585ee841f2663992e8"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a86bc0a10874af0d43c23cc073d65da07"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a86bc0a10874af0d43c23cc073d65da07">operator*</a> (void) const</td></tr>
-<tr class="memdesc:a86bc0a10874af0d43c23cc073d65da07"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dereference: *it.  <a href="#a86bc0a10874af0d43c23cc073d65da07">More...</a><br /></td></tr>
-<tr class="separator:a86bc0a10874af0d43c23cc073d65da07"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aec0b2c6ebcf16734a69a54613a18b33e"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aec0b2c6ebcf16734a69a54613a18b33e">operator*</a> (void) const</td></tr>
+<tr class="memdesc:aec0b2c6ebcf16734a69a54613a18b33e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dereference: *it.  <a href="#aec0b2c6ebcf16734a69a54613a18b33e">More...</a><br /></td></tr>
+<tr class="separator:aec0b2c6ebcf16734a69a54613a18b33e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7278c27a0ab2096b29a537a8afe0be5e"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a7278c27a0ab2096b29a537a8afe0be5e">operator==</a> (const <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">CoreBitVectorIterator</a> &amp;rhs) const</td></tr>
 <tr class="memdesc:a7278c27a0ab2096b29a537a8afe0be5e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Equality: *this == rhs.  <a href="#a7278c27a0ab2096b29a537a8afe0be5e">More...</a><br /></td></tr>
 <tr class="separator:a7278c27a0ab2096b29a537a8afe0be5e"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -390,14 +390,14 @@ Private Attributes</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a86bc0a10874af0d43c23cc073d65da07"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a86bc0a10874af0d43c23cc073d65da07">&#9670;&nbsp;</a></span>operator*()</h2>
+<a id="aec0b2c6ebcf16734a69a54613a18b33e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aec0b2c6ebcf16734a69a54613a18b33e">&#9670;&nbsp;</a></span>operator*()</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::CoreBitVector::CoreBitVectorIterator::operator* </td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::CoreBitVector::CoreBitVectorIterator::operator* </td>
           <td>(</td>
           <td class="paramtype">void&#160;</td>
           <td class="paramname"></td><td>)</td>

package/SVF-doxygen/html/html/classSVF_1_1CxtProc.html

@@ -84,7 +84,7 @@ Inheritance diagram for SVF::CxtProc:</div>
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:ac1ca3a049f6d0f8a0548a153cc903aa0"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">CxtProc</a> (const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> &amp;c, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *f)</td></tr>
+<tr class="memitem:ac1ca3a049f6d0f8a0548a153cc903aa0"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">CxtProc</a> (const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> &amp;c, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *f)</td></tr>
 <tr class="memdesc:ac1ca3a049f6d0f8a0548a153cc903aa0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#ac1ca3a049f6d0f8a0548a153cc903aa0">More...</a><br /></td></tr>
 <tr class="separator:ac1ca3a049f6d0f8a0548a153cc903aa0"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a25a80c93a6aeb1112a846d6c588364cc"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">CxtProc</a> (const <a class="el" href="classSVF_1_1CxtProc.html">CxtProc</a> &amp;ctm)</td></tr>
@@ -96,7 +96,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:ab9ac6459c90873b7dea35e0a22700189"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189">getProc</a> () const</td></tr>
 <tr class="memdesc:ab9ac6459c90873b7dea35e0a22700189"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return current procedure.  <a href="#ab9ac6459c90873b7dea35e0a22700189">More...</a><br /></td></tr>
 <tr class="separator:ab9ac6459c90873b7dea35e0a22700189"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a99b0f68b4cbd733f91eea33aa3e64eb7"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#a99b0f68b4cbd733f91eea33aa3e64eb7">getContext</a> () const</td></tr>
+<tr class="memitem:a99b0f68b4cbd733f91eea33aa3e64eb7"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#a99b0f68b4cbd733f91eea33aa3e64eb7">getContext</a> () const</td></tr>
 <tr class="memdesc:a99b0f68b4cbd733f91eea33aa3e64eb7"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return current context.  <a href="#a99b0f68b4cbd733f91eea33aa3e64eb7">More...</a><br /></td></tr>
 <tr class="separator:a99b0f68b4cbd733f91eea33aa3e64eb7"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab58a8dc44944ac2ab3280562a8306e7b"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#ab58a8dc44944ac2ab3280562a8306e7b">operator&lt;</a> (const <a class="el" href="classSVF_1_1CxtProc.html">CxtProc</a> &amp;rhs) const</td></tr>
@@ -119,7 +119,7 @@ Public Member Functions</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-attribs"></a>
 Protected Attributes</h2></td></tr>
-<tr class="memitem:af5f186c71d815dabcbfab6bae7c57b59"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">cxt</a></td></tr>
+<tr class="memitem:af5f186c71d815dabcbfab6bae7c57b59"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">cxt</a></td></tr>
 <tr class="separator:af5f186c71d815dabcbfab6bae7c57b59"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a70b6a2ae40bd7e4b08ddcb6d6b0289df"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#a70b6a2ae40bd7e4b08ddcb6d6b0289df">fun</a></td></tr>
 <tr class="separator:a70b6a2ae40bd7e4b08ddcb6d6b0289df"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -141,7 +141,7 @@ Protected Attributes</h2></td></tr>
         <tr>
           <td class="memname">SVF::CxtProc::CxtProc </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> &amp;&#160;</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> &amp;&#160;</td>
           <td class="paramname"><em>c</em>, </td>
         </tr>
         <tr>
@@ -259,7 +259,7 @@ Protected Attributes</h2></td></tr>
 <p>Return context in string format. </p>
 
 <p class="definition">Definition at line <a class="el" href="CxtStmt_8h_source.html#l00364">364</a> of file <a class="el" href="CxtStmt_8h_source.html">CxtStmt.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;    {</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;        std::string str;</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;[:&quot;</span>;</div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;        <span class="keywordflow">for</span> (CallStrCxt::const_iterator it = <a class="code" href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">cxt</a>.begin(), eit = <a class="code" href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">cxt</a>.end(); it != eit; ++it)</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        {</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;            rawstr &lt;&lt; *it &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;        }</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; ]&quot;</span>;</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
+<div class="fragment"><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;    {</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;        std::string str;</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;[:&quot;</span>;</div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;        <span class="keywordflow">for</span> (CallStrCxt::const_iterator it = <a class="code" href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">cxt</a>.begin(), eit = <a class="code" href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">cxt</a>.end(); it != eit; ++it)</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        {</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;            rawstr &lt;&lt; *it &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;        }</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; ]&quot;</span>;</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtProc_html_af5f186c71d815dabcbfab6bae7c57b59"><div class="ttname"><a href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">SVF::CxtProc::cxt</a></div><div class="ttdeci">CallStrCxt cxt</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00383">CxtStmt.h:383</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -307,7 +307,7 @@ Protected Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a>&amp; SVF::CxtProc::getContext </td>
+          <td class="memname">const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a>&amp; SVF::CxtProc::getContext </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -493,7 +493,7 @@ Protected Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> SVF::CxtProc::cxt</td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> SVF::CxtProc::cxt</td>
         </tr>
       </table>
   </td>

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

@@ -84,7 +84,7 @@ Inheritance diagram for SVF::CxtStmt:</div>
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:ac11734a3e0db8415fdf55157b20b56a4"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtStmt.html#ac11734a3e0db8415fdf55157b20b56a4">CxtStmt</a> (const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> &amp;c, const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *f)</td></tr>
+<tr class="memitem:ac11734a3e0db8415fdf55157b20b56a4"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtStmt.html#ac11734a3e0db8415fdf55157b20b56a4">CxtStmt</a> (const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> &amp;c, const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *f)</td></tr>
 <tr class="memdesc:ac11734a3e0db8415fdf55157b20b56a4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#ac11734a3e0db8415fdf55157b20b56a4">More...</a><br /></td></tr>
 <tr class="separator:ac11734a3e0db8415fdf55157b20b56a4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad976db5b794019bb68ccc9a35349fb41"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">CxtStmt</a> (const <a class="el" href="classSVF_1_1CxtStmt.html">CxtStmt</a> &amp;ctm)</td></tr>
@@ -93,7 +93,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a47425e8de39da25ffd9fe5a8e51584f7"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtStmt.html#a47425e8de39da25ffd9fe5a8e51584f7">~CxtStmt</a> ()</td></tr>
 <tr class="memdesc:a47425e8de39da25ffd9fe5a8e51584f7"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="#a47425e8de39da25ffd9fe5a8e51584f7">More...</a><br /></td></tr>
 <tr class="separator:a47425e8de39da25ffd9fe5a8e51584f7"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3ce19b8f2de2e199ed4165dbe9d21f28"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtStmt.html#a3ce19b8f2de2e199ed4165dbe9d21f28">getContext</a> () const</td></tr>
+<tr class="memitem:a3ce19b8f2de2e199ed4165dbe9d21f28"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtStmt.html#a3ce19b8f2de2e199ed4165dbe9d21f28">getContext</a> () const</td></tr>
 <tr class="memdesc:a3ce19b8f2de2e199ed4165dbe9d21f28"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return current context.  <a href="#a3ce19b8f2de2e199ed4165dbe9d21f28">More...</a><br /></td></tr>
 <tr class="separator:a3ce19b8f2de2e199ed4165dbe9d21f28"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5e8c4b10eb5c3240d2e21a020ed834a6"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtStmt.html#a5e8c4b10eb5c3240d2e21a020ed834a6">getStmt</a> () const</td></tr>
@@ -119,7 +119,7 @@ Public Member Functions</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-attribs"></a>
 Protected Attributes</h2></td></tr>
-<tr class="memitem:ae451ee5a61dbdd2367a04cee304bbcb1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1">cxt</a></td></tr>
+<tr class="memitem:ae451ee5a61dbdd2367a04cee304bbcb1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1">cxt</a></td></tr>
 <tr class="separator:ae451ee5a61dbdd2367a04cee304bbcb1"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a237b8738885e57d5a9b984221f611567"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567">inst</a></td></tr>
 <tr class="separator:a237b8738885e57d5a9b984221f611567"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -141,7 +141,7 @@ Protected Attributes</h2></td></tr>
         <tr>
           <td class="memname">SVF::CxtStmt::CxtStmt </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> &amp;&#160;</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> &amp;&#160;</td>
           <td class="paramname"><em>c</em>, </td>
         </tr>
         <tr>
@@ -259,7 +259,7 @@ Protected Attributes</h2></td></tr>
 <p>Return context in string format. </p>
 
 <p class="definition">Definition at line <a class="el" href="CxtStmt_8h_source.html#l00096">96</a> of file <a class="el" href="CxtStmt_8h_source.html">CxtStmt.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    {</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        std::string str;</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;[:&quot;</span>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <span class="keywordflow">for</span>(CallStrCxt::const_iterator it = <a class="code" href="classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1">cxt</a>.begin(), eit = <a class="code" href="classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1">cxt</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        {</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;            rawstr &lt;&lt; *it &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;        }</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; ]&quot;</span>;</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
+<div class="fragment"><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    {</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        std::string str;</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;[:&quot;</span>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <span class="keywordflow">for</span>(CallStrCxt::const_iterator it = <a class="code" href="classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1">cxt</a>.begin(), eit = <a class="code" href="classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1">cxt</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        {</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;            rawstr &lt;&lt; *it &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;        }</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; ]&quot;</span>;</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtStmt_html_ae451ee5a61dbdd2367a04cee304bbcb1"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1">SVF::CxtStmt::cxt</a></div><div class="ttdeci">CallStrCxt cxt</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00115">CxtStmt.h:115</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -308,7 +308,7 @@ Protected Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a>&amp; SVF::CxtStmt::getContext </td>
+          <td class="memname">const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a>&amp; SVF::CxtStmt::getContext </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -494,7 +494,7 @@ Protected Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> SVF::CxtStmt::cxt</td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> SVF::CxtStmt::cxt</td>
         </tr>
       </table>
   </td>

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

@@ -75,7 +75,7 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:a7f842879cad19328575f33220491352a"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtThread.html#a7f842879cad19328575f33220491352a">CxtThread</a> (const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> &amp;c, const <a class="el" href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">CallInst</a> *fork)</td></tr>
+<tr class="memitem:a7f842879cad19328575f33220491352a"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtThread.html#a7f842879cad19328575f33220491352a">CxtThread</a> (const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> &amp;c, const <a class="el" href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">CallInst</a> *fork)</td></tr>
 <tr class="memdesc:a7f842879cad19328575f33220491352a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#a7f842879cad19328575f33220491352a">More...</a><br /></td></tr>
 <tr class="separator:a7f842879cad19328575f33220491352a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac6af46ba08bbad4454358298fd2557d3"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">CxtThread</a> (const <a class="el" href="classSVF_1_1CxtThread.html">CxtThread</a> &amp;ct)</td></tr>
@@ -84,7 +84,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a5792277805336f1c09f4303263521152"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtThread.html#a5792277805336f1c09f4303263521152">~CxtThread</a> ()</td></tr>
 <tr class="memdesc:a5792277805336f1c09f4303263521152"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="#a5792277805336f1c09f4303263521152">More...</a><br /></td></tr>
 <tr class="separator:a5792277805336f1c09f4303263521152"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a93d75593046e26eafcf1af3a596bba4a"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtThread.html#a93d75593046e26eafcf1af3a596bba4a">getContext</a> () const</td></tr>
+<tr class="memitem:a93d75593046e26eafcf1af3a596bba4a"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtThread.html#a93d75593046e26eafcf1af3a596bba4a">getContext</a> () const</td></tr>
 <tr class="memdesc:a93d75593046e26eafcf1af3a596bba4a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return context of the thread.  <a href="#a93d75593046e26eafcf1af3a596bba4a">More...</a><br /></td></tr>
 <tr class="separator:a93d75593046e26eafcf1af3a596bba4a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a066ba29a83edc1042139641ca088b038"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">CallInst</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtThread.html#a066ba29a83edc1042139641ca088b038">getThread</a> () const</td></tr>
@@ -120,7 +120,7 @@ Public Member Functions</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-attribs"></a>
 Protected Attributes</h2></td></tr>
-<tr class="memitem:ae8e5c401e008739bf018f1d618c08ea5"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5">cxt</a></td></tr>
+<tr class="memitem:ae8e5c401e008739bf018f1d618c08ea5"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5">cxt</a></td></tr>
 <tr class="separator:ae8e5c401e008739bf018f1d618c08ea5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a6dc6ddb5399c1ddc53db2155943511fd"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">CallInst</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtThread.html#a6dc6ddb5399c1ddc53db2155943511fd">forksite</a></td></tr>
 <tr class="separator:a6dc6ddb5399c1ddc53db2155943511fd"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -146,7 +146,7 @@ Protected Attributes</h2></td></tr>
         <tr>
           <td class="memname">SVF::CxtThread::CxtThread </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> &amp;&#160;</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> &amp;&#160;</td>
           <td class="paramname"><em>c</em>, </td>
         </tr>
         <tr>
@@ -268,7 +268,7 @@ Protected Attributes</h2></td></tr>
 <p>Return context in string format. </p>
 
 <p class="definition">Definition at line <a class="el" href="CxtStmt_8h_source.html#l00244">244</a> of file <a class="el" href="CxtStmt_8h_source.html">CxtStmt.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;    {</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        std::string str;</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;[:&quot;</span>;</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;        <span class="keywordflow">for</span>(CallStrCxt::const_iterator it = <a class="code" href="classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5">cxt</a>.begin(), eit = <a class="code" href="classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5">cxt</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;        {</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;            rawstr &lt;&lt; *it &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;        }</div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; ]&quot;</span>;</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
+<div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;    {</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        std::string str;</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;[:&quot;</span>;</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;        <span class="keywordflow">for</span>(CallStrCxt::const_iterator it = <a class="code" href="classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5">cxt</a>.begin(), eit = <a class="code" href="classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5">cxt</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;        {</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;            rawstr &lt;&lt; *it &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;        }</div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; ]&quot;</span>;</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtThread_html_ae8e5c401e008739bf018f1d618c08ea5"><div class="ttname"><a href="classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5">SVF::CxtThread::cxt</a></div><div class="ttdeci">CallStrCxt cxt</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00295">CxtStmt.h:295</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -319,7 +319,7 @@ Protected Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a>&amp; SVF::CxtThread::getContext </td>
+          <td class="memname">const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a>&amp; SVF::CxtThread::getContext </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -621,7 +621,7 @@ Protected Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> SVF::CxtThread::cxt</td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> SVF::CxtThread::cxt</td>
         </tr>
       </table>
   </td>

package/SVF-doxygen/html/html/classSVF_1_1CxtThreadProc.html

@@ -84,7 +84,7 @@ Inheritance diagram for SVF::CxtThreadProc:</div>
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:a1c7dd7740266a07d354df537a9167bcc"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">CxtThreadProc</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> t, const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> &amp;c, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *f)</td></tr>
+<tr class="memitem:a1c7dd7740266a07d354df537a9167bcc"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">CxtThreadProc</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> t, const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> &amp;c, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *f)</td></tr>
 <tr class="memdesc:a1c7dd7740266a07d354df537a9167bcc"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#a1c7dd7740266a07d354df537a9167bcc">More...</a><br /></td></tr>
 <tr class="separator:a1c7dd7740266a07d354df537a9167bcc"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:acce14996e41ae55ae8e27b29408ef7c8"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">CxtThreadProc</a> (const <a class="el" href="classSVF_1_1CxtThreadProc.html">CxtThreadProc</a> &amp;ctm)</td></tr>
@@ -111,7 +111,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memdesc:aed801cfecdbfcd690db2d78de5f8e0b5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump <a class="el" href="classSVF_1_1CxtThreadProc.html">CxtThreadProc</a>.  <a href="#aed801cfecdbfcd690db2d78de5f8e0b5">More...</a><br /></td></tr>
 <tr class="separator:aed801cfecdbfcd690db2d78de5f8e0b5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1CxtProc"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1CxtProc')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1CxtProc.html">SVF::CxtProc</a></td></tr>
-<tr class="memitem:ac1ca3a049f6d0f8a0548a153cc903aa0 inherit pub_methods_classSVF_1_1CxtProc"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">CxtProc</a> (const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> &amp;c, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *f)</td></tr>
+<tr class="memitem:ac1ca3a049f6d0f8a0548a153cc903aa0 inherit pub_methods_classSVF_1_1CxtProc"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">CxtProc</a> (const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> &amp;c, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *f)</td></tr>
 <tr class="memdesc:ac1ca3a049f6d0f8a0548a153cc903aa0 inherit pub_methods_classSVF_1_1CxtProc"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">More...</a><br /></td></tr>
 <tr class="separator:ac1ca3a049f6d0f8a0548a153cc903aa0 inherit pub_methods_classSVF_1_1CxtProc"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a25a80c93a6aeb1112a846d6c588364cc inherit pub_methods_classSVF_1_1CxtProc"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">CxtProc</a> (const <a class="el" href="classSVF_1_1CxtProc.html">CxtProc</a> &amp;ctm)</td></tr>
@@ -123,7 +123,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:ab9ac6459c90873b7dea35e0a22700189 inherit pub_methods_classSVF_1_1CxtProc"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189">getProc</a> () const</td></tr>
 <tr class="memdesc:ab9ac6459c90873b7dea35e0a22700189 inherit pub_methods_classSVF_1_1CxtProc"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return current procedure.  <a href="classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189">More...</a><br /></td></tr>
 <tr class="separator:ab9ac6459c90873b7dea35e0a22700189 inherit pub_methods_classSVF_1_1CxtProc"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a99b0f68b4cbd733f91eea33aa3e64eb7 inherit pub_methods_classSVF_1_1CxtProc"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#a99b0f68b4cbd733f91eea33aa3e64eb7">getContext</a> () const</td></tr>
+<tr class="memitem:a99b0f68b4cbd733f91eea33aa3e64eb7 inherit pub_methods_classSVF_1_1CxtProc"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#a99b0f68b4cbd733f91eea33aa3e64eb7">getContext</a> () const</td></tr>
 <tr class="memdesc:a99b0f68b4cbd733f91eea33aa3e64eb7 inherit pub_methods_classSVF_1_1CxtProc"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return current context.  <a href="classSVF_1_1CxtProc.html#a99b0f68b4cbd733f91eea33aa3e64eb7">More...</a><br /></td></tr>
 <tr class="separator:a99b0f68b4cbd733f91eea33aa3e64eb7 inherit pub_methods_classSVF_1_1CxtProc"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab58a8dc44944ac2ab3280562a8306e7b inherit pub_methods_classSVF_1_1CxtProc"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#ab58a8dc44944ac2ab3280562a8306e7b">operator&lt;</a> (const <a class="el" href="classSVF_1_1CxtProc.html">CxtProc</a> &amp;rhs) const</td></tr>
@@ -152,7 +152,7 @@ Private Attributes</h2></td></tr>
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
 Additional Inherited Members</h2></td></tr>
 <tr class="inherit_header pro_attribs_classSVF_1_1CxtProc"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1CxtProc')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1CxtProc.html">SVF::CxtProc</a></td></tr>
-<tr class="memitem:af5f186c71d815dabcbfab6bae7c57b59 inherit pro_attribs_classSVF_1_1CxtProc"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">cxt</a></td></tr>
+<tr class="memitem:af5f186c71d815dabcbfab6bae7c57b59 inherit pro_attribs_classSVF_1_1CxtProc"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">cxt</a></td></tr>
 <tr class="separator:af5f186c71d815dabcbfab6bae7c57b59 inherit pro_attribs_classSVF_1_1CxtProc"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a70b6a2ae40bd7e4b08ddcb6d6b0289df inherit pro_attribs_classSVF_1_1CxtProc"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CxtProc.html#a70b6a2ae40bd7e4b08ddcb6d6b0289df">fun</a></td></tr>
 <tr class="separator:a70b6a2ae40bd7e4b08ddcb6d6b0289df inherit pro_attribs_classSVF_1_1CxtProc"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -180,7 +180,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a> &amp;&#160;</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> &amp;&#160;</td>
           <td class="paramname"><em>c</em>, </td>
         </tr>
         <tr>