npm - svf-tools - Versions diffs - 1.0.757 → 1.0.758 - Mend

svf-tools 1.0.757 → 1.0.758

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (321) hide show

package/SVF-doxygen/html/html/classSVF_1_1MSSAPHI.html CHANGED Viewed

@@ -135,7 +135,7 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a15c687ef4286532a5856270bf6f9e11a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1MSSADEF"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1MSSADEF')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1MSSADEF.html">SVF::MSSADEF</a></td></tr>
 <tr class="memitem:a1b1c7cbc293182a5ded43efa522990de inherit pub_methods_classSVF_1_1MSSADEF"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">MSSADEF</a> (<a class="el" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18">DEFTYPE</a> t, const <a class="el" href="classSVF_1_1MemRegion.html">MemRegion</a> *m)</td></tr>
-<tr class="memdesc:a1b1c7cbc293182a5ded43efa522990de inherit pub_methods_classSVF_1_1MSSADEF"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor/Destructer for <a class="el" href="classSVF_1_1MSSADEF.html">MSSADEF</a>.  <a href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">More...</a><br /></td></tr>
+<tr class="memdesc:a1b1c7cbc293182a5ded43efa522990de inherit pub_methods_classSVF_1_1MSSADEF"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor/Destructor for <a class="el" href="classSVF_1_1MSSADEF.html">MSSADEF</a>.  <a href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">More...</a><br /></td></tr>
 <tr class="separator:a1b1c7cbc293182a5ded43efa522990de inherit pub_methods_classSVF_1_1MSSADEF"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:add2262289cdad5d5e14c0082b40c45d9 inherit pub_methods_classSVF_1_1MSSADEF"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSADEF.html#add2262289cdad5d5e14c0082b40c45d9">~MSSADEF</a> ()</td></tr>
 <tr class="separator:add2262289cdad5d5e14c0082b40c45d9 inherit pub_methods_classSVF_1_1MSSADEF"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -735,7 +735,7 @@ template&lt;class Cond &gt; </div>
 <li>/home/runner/work/SVF/SVF/svf/include/MSSA/<a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a></li>
 </ul>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1MSSADEF_html_a1b1c7cbc293182a5ded43efa522990de"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">SVF::MSSADEF::MSSADEF</a></div><div class="ttdeci">MSSADEF(DEFTYPE t, const MemRegion *m)</div><div class="ttdoc">Constructor/Destructer for MSSADEF.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00346">MSSAMuChi.h:346</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MSSADEF_html_a1b1c7cbc293182a5ded43efa522990de"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">SVF::MSSADEF::MSSADEF</a></div><div class="ttdeci">MSSADEF(DEFTYPE t, const MemRegion *m)</div><div class="ttdoc">Constructor/Destructor for MSSADEF.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00346">MSSAMuChi.h:346</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00354">MSSAMuChi.h:354</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MSSAPHI_html_a348e69bf48ee7a959cd0bb117ba1dc9f"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f">SVF::MSSAPHI::cond</a></div><div class="ttdeci">Cond cond</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00637">MSSAMuChi.h:637</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MSSADEF_html_a21cb532396180e0b6bab515c52bec282"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF::getResVer</a></div><div class="ttdeci">MRVer * getResVer() const</div><div class="ttdoc">Set operand vers.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00373">MSSAMuChi.h:373</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html CHANGED Viewed

@@ -235,7 +235,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html CHANGED Viewed

@@ -1278,7 +1278,7 @@ Static Private Attributes</h2></td></tr>
 <div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <a class="code" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> cxt;</div>
 <div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    <span class="keywordflow">if</span> (0 == x.size())</div>
 <div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;        <span class="keywordflow">return</span> cxt;</div>
-<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <span class="comment">// Deal with the the second argument that records all callsites</span></div>
+<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <span class="comment">// Deal with the second argument that records all callsites</span></div>
 <div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    <span class="keywordflow">for</span> (std::vector&lt;std::string&gt;::iterator i = x.begin(); i != x.end(); i++)</div>
 <div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    {</div>
 <div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        std::vector&lt;std::string&gt; y = <a class="code" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">split</a>((*i), <span class="charliteral">&#39;.&#39;</span>);</div>
@@ -2893,7 +2893,7 @@ Static Private Attributes</h2></td></tr>
 <div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_a73db9ad234b263b6e644e4b38be14fe6"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator::split</a></div><div class="ttdeci">std::vector&lt; std::string &gt; &amp; split(const std::string &amp;s, char delim, std::vector&lt; std::string &gt; &amp;elems)</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00068">MTAResultValidator.cpp:68</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCTEdge_html_a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8"><div class="ttname"><a href="classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8">SVF::TCTEdge::ThreadCreateEdge</a></div><div class="ttdeci">@ ThreadCreateEdge</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00055">TCT.h:55</a></div></div>
-<div class="ttc" id="aclassSVF_1_1TCT_html_adb2025048dc69f0689f526c58df29802"><div class="ttname"><a href="classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802">SVF::TCT::hasGraphEdge</a></div><div class="ttdeci">TCTEdge * hasGraphEdge(TCTNode *src, TCTNode *dst, TCTEdge::CEDGEK kind) const</div><div class="ttdoc">Whether we have aleady created this call graph edge.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00533">TCT.cpp:533</a></div></div>
+<div class="ttc" id="aclassSVF_1_1TCT_html_adb2025048dc69f0689f526c58df29802"><div class="ttname"><a href="classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802">SVF::TCT::hasGraphEdge</a></div><div class="ttdeci">TCTEdge * hasGraphEdge(TCTNode *src, TCTNode *dst, TCTEdge::CEDGEK kind) const</div><div class="ttdoc">Whether we have already created this call graph edge.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00533">TCT.cpp:533</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_ab3ba3c6d9c40e97febdab0e7d4ad9a3e"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e">SVF::MTAResultValidator::getPreviousMemoryAccessInst</a></div><div class="ttdeci">const Instruction * getPreviousMemoryAccessInst(const Instruction *I)</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00133">MTAResultValidator.cpp:133</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_afa01b108b67ec2ac05a6444b55dbfe01"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01">SVF::MTAResultValidator::validateCxtThread</a></div><div class="ttdeci">bool validateCxtThread()</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00368">MTAResultValidator.cpp:368</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html CHANGED Viewed

@@ -1024,7 +1024,7 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 <p><a class="el" href="classSVF_1_1MHP.html">MHP</a></p>
 <p>Alias</p>
-<p>Lock todo: we only consider all cxtstmt of one instruction in one lock span, otherwise we think this instruction is not locked This constrait is too strong. All cxt lock under different cxt cannot be identified.</p>
+<p>Lock todo: we only consider all cxtstmt of one instruction in one lock span, otherwise we think this instruction is not locked This constraint is too strong. All cxt lock under different cxt cannot be identified.</p>
 <p class="definition">Definition at line <a class="el" href="FSMPTA_8cpp_source.html#l00484">484</a> of file <a class="el" href="FSMPTA_8cpp_source.html">FSMPTA.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;{</div>

package/SVF-doxygen/html/html/classSVF_1_1MemRegion.html CHANGED Viewed

@@ -163,7 +163,7 @@ Static Private Attributes</h2></td></tr>
         </tr>
       </table>
 </div><div class="memdoc">
-<p>add the hash function here to sort elements and remove and remove duplicated element in the set (binary tree comparision) </p>
+<p>add the hash function here to sort elements and remove and remove duplicated element in the set (binary tree comparison) </p>
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html CHANGED Viewed

@@ -172,7 +172,7 @@ Protected Member Functions</h2></td></tr>
 <tr class="memdesc:a695adf83e8c40b9628b1866053f68033"><td class="mdescLeft">&#160;</td><td class="mdescRight">Create mu chi for candidate regions in a function.  <a href="classSVF_1_1MemSSA.html#a695adf83e8c40b9628b1866053f68033">More...</a><br /></td></tr>
 <tr class="separator:a695adf83e8c40b9628b1866053f68033"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:acc6f72d96cf29e36093ba08ea86b8983"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983">insertPHI</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> &amp;fun)</td></tr>
-<tr class="memdesc:acc6f72d96cf29e36093ba08ea86b8983"><td class="mdescLeft">&#160;</td><td class="mdescRight">Insert phi for candidate regions in a fucntion.  <a href="classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983">More...</a><br /></td></tr>
+<tr class="memdesc:acc6f72d96cf29e36093ba08ea86b8983"><td class="mdescLeft">&#160;</td><td class="mdescRight">Insert phi for candidate regions in a function.  <a href="classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983">More...</a><br /></td></tr>
 <tr class="separator:acc6f72d96cf29e36093ba08ea86b8983"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a16114eb55775f6ee812c1648dcaede0c"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSA.html#a16114eb55775f6ee812c1648dcaede0c">SSARename</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> &amp;fun)</td></tr>
 <tr class="memdesc:a16114eb55775f6ee812c1648dcaede0c"><td class="mdescLeft">&#160;</td><td class="mdescRight">SSA rename for a function.  <a href="classSVF_1_1MemSSA.html#a16114eb55775f6ee812c1648dcaede0c">More...</a><br /></td></tr>
@@ -2951,7 +2951,7 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p>Insert phi for candidate regions in a fucntion. </p>
+<p>Insert phi for candidate regions in a function. </p>
 <p class="definition">Definition at line <a class="el" href="MemSSA_8cpp_source.html#l00202">202</a> of file <a class="el" href="MemSSA_8cpp_source.html">MemSSA.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;{</div>
@@ -3967,7 +3967,7 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1MemSSA_html_a6a20da24d82ace1888be49a2ae0f6bd5"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5">SVF::MemSSA::ENTRYCHI</a></div><div class="ttdeci">EntryCHI&lt; Condition &gt; ENTRYCHI</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00064">MemSSA.h:64</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00142">SVFModule.h:142</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFG_html_aa41516cdd2be5066adf22798a4fe2213"><div class="ttname"><a href="classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213">SVF::ICFG::getCallICFGNode</a></div><div class="ttdeci">CallICFGNode * getCallICFGNode(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00235">ICFG.cpp:235</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MemSSA_html_acc6f72d96cf29e36093ba08ea86b8983"><div class="ttname"><a href="classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983">SVF::MemSSA::insertPHI</a></div><div class="ttdeci">virtual void insertPHI(const SVFFunction &amp;fun)</div><div class="ttdoc">Insert phi for candidate regions in a fucntion.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00202">MemSSA.cpp:202</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MemSSA_html_acc6f72d96cf29e36093ba08ea86b8983"><div class="ttname"><a href="classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983">SVF::MemSSA::insertPHI</a></div><div class="ttdeci">virtual void insertPHI(const SVFFunction &amp;fun)</div><div class="ttdoc">Insert phi for candidate regions in a function.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00202">MemSSA.cpp:202</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemSSA_html_ad8011273feaf046bf7f3a3f3b904a91d"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ad8011273feaf046bf7f3a3f3b904a91d">SVF::MemSSA::AddCallSiteCHI</a></div><div class="ttdeci">void AddCallSiteCHI(const CallICFGNode *cs, const MRSet &amp;mrSet)</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00204">MemSSA.h:204</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemSSA_html_ad550a453d5b2daa6c72e7752f6b5ea79"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ad550a453d5b2daa6c72e7752f6b5ea79">SVF::MemSSA::getTopStackVer</a></div><div class="ttdeci">MRVer * getTopStackVer(const MemRegion *mr)</div><div class="ttdoc">Get the last version of the SSA ver of memory region.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00166">MemSSA.h:166</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ad05f85ce931d4479f71d1947a25599dc"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ad05f85ce931d4479f71d1947a25599dc">SVF::SVFBasicBlock::back</a></div><div class="ttdeci">const SVFInstruction * back() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00559">SVFValue.h:559</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html CHANGED Viewed

@@ -240,10 +240,10 @@ Static Public Member Functions</h2></td></tr>
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-methods"></a>
 Protected Member Functions</h2></td></tr>
 <tr class="memitem:aaa85920507005b39a670b6d226159e58"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58">MultiOpndStmt</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *r, const <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">OPVars</a> &amp;opnds, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
-<tr class="memdesc:aaa85920507005b39a670b6d226159e58"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor, only used by subclassess but not external users.  <a href="classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58">More...</a><br /></td></tr>
+<tr class="memdesc:aaa85920507005b39a670b6d226159e58"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor, only used by subclasses but not external users.  <a href="classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58">More...</a><br /></td></tr>
 <tr class="separator:aaa85920507005b39a670b6d226159e58"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9f08a5f30b79e3448b1788e4b087d04b"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b">MultiOpndStmt</a> (<a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
-<tr class="memdesc:a9f08a5f30b79e3448b1788e4b087d04b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> (for SVFIRReader/serilization)  <a href="classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b">More...</a><br /></td></tr>
+<tr class="memdesc:a9f08a5f30b79e3448b1788e4b087d04b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> (for SVFIRReader/serialization)  <a href="classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b">More...</a><br /></td></tr>
 <tr class="separator:a9f08a5f30b79e3448b1788e4b087d04b"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_methods_classSVF_1_1SVFStmt"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1SVFStmt')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td></tr>
 <tr class="memitem:a4f4159567121416cbe78d124f5c6a8b6 inherit pro_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a> (<a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
@@ -415,7 +415,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p>Constructor, only used by subclassess but not external users. </p>
+<p>Constructor, only used by subclasses but not external users. </p>
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00345">345</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;    : <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(opnds.at(0), r, k), <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>(opnds)</div>
@@ -448,7 +448,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p>Constructs empty <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> (for SVFIRReader/serilization) </p>
+<p>Constructs empty <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> (for SVFIRReader/serialization) </p>
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00677">677</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00677"></a><span class="lineno">  677</span>&#160;: <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(k) {}</div>

package/SVF-doxygen/html/html/classSVF_1_1MutableIncDFPTData.html CHANGED Viewed

@@ -239,7 +239,7 @@ Private Member Functions</h2></td></tr>
 <tr class="memdesc:ae7ed810cf4de695072ba5c4d0c882353"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return TRUE if var has new pts in loc's IN set.  <a href="classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353">More...</a><br /></td></tr>
 <tr class="separator:ae7ed810cf4de695072ba5c4d0c882353"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae4d0989cb98814f943bd4dfd09a37017"><td class="memItemLeft" align="right" valign="top">const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MutableIncDFPTData.html#ae4d0989cb98814f943bd4dfd09a37017">getDFInUpdatedVar</a> (<a class="el" href="classSVF_1_1MutableDFPTData.html#ae847b982baec8115ede5d7d28cd91d34">LocID</a> loc)</td></tr>
-<tr class="memdesc:ae4d0989cb98814f943bd4dfd09a37017"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get all var which have new pts informationin loc's IN set.  <a href="classSVF_1_1MutableIncDFPTData.html#ae4d0989cb98814f943bd4dfd09a37017">More...</a><br /></td></tr>
+<tr class="memdesc:ae4d0989cb98814f943bd4dfd09a37017"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get all var which have new pts information in loc's IN set.  <a href="classSVF_1_1MutableIncDFPTData.html#ae4d0989cb98814f943bd4dfd09a37017">More...</a><br /></td></tr>
 <tr class="separator:ae4d0989cb98814f943bd4dfd09a37017"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a851947de9ccbe51239b76d2d93fcd4c4"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4">setVarDFOutSetUpdated</a> (<a class="el" href="classSVF_1_1MutableDFPTData.html#ae847b982baec8115ede5d7d28cd91d34">LocID</a> loc, const Key &amp;var)</td></tr>
 <tr class="memdesc:a851947de9ccbe51239b76d2d93fcd4c4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Handle address-taken variables whose OUT pts changed.  <a href="classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4">More...</a><br /></td></tr>
@@ -251,7 +251,7 @@ Private Member Functions</h2></td></tr>
 <tr class="memdesc:a55b19f617d11dfc6632b690694f264ab"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return TRUE if var has new pts in loc's OUT set.  <a href="classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab">More...</a><br /></td></tr>
 <tr class="separator:a55b19f617d11dfc6632b690694f264ab"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad1ae7faf04ba10ac4ac6a6f1cc498547"><td class="memItemLeft" align="right" valign="top">const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MutableIncDFPTData.html#ad1ae7faf04ba10ac4ac6a6f1cc498547">getDFOutUpdatedVar</a> (<a class="el" href="classSVF_1_1MutableDFPTData.html#ae847b982baec8115ede5d7d28cd91d34">LocID</a> loc)</td></tr>
-<tr class="memdesc:ad1ae7faf04ba10ac4ac6a6f1cc498547"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get all var which have new pts informationin loc's OUT set.  <a href="classSVF_1_1MutableIncDFPTData.html#ad1ae7faf04ba10ac4ac6a6f1cc498547">More...</a><br /></td></tr>
+<tr class="memdesc:ad1ae7faf04ba10ac4ac6a6f1cc498547"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get all var which have new pts information in loc's OUT set.  <a href="classSVF_1_1MutableIncDFPTData.html#ad1ae7faf04ba10ac4ac6a6f1cc498547">More...</a><br /></td></tr>
 <tr class="separator:ad1ae7faf04ba10ac4ac6a6f1cc498547"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
@@ -679,7 +679,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </table>
 </div><div class="memdoc">
-<p>Get all var which have new pts informationin loc's IN set. </p>
+<p>Get all var which have new pts information in loc's IN set. </p>
 <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00852">852</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00853"></a><span class="lineno">  853</span>&#160;    {</div>
@@ -714,7 +714,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </table>
 </div><div class="memdoc">
-<p>Get all var which have new pts informationin loc's OUT set. </p>
+<p>Get all var which have new pts information in loc's OUT set. </p>
 <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00881">881</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00882"></a><span class="lineno">  882</span>&#160;    {</div>
@@ -1565,11 +1565,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_af5f7db6c55037a0e117a36982736039e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">SVF::MutableIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00698">MutablePointsToDS.h:698</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_a8b30326d3fa3f4054e67268f512aec9e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">SVF::MutableIncDFPTData::UpdatedVarMapIter</a></div><div class="ttdeci">UpdatedVarMap::iterator UpdatedVarMapIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00693">MutablePointsToDS.h:693</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_a55b19f617d11dfc6632b690694f264ab"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab">SVF::MutableIncDFPTData::varHasNewDFOutPts</a></div><div class="ttdeci">bool varHasNewDFOutPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has new pts in loc's OUT set.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00873">MutablePointsToDS.h:873</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_ad1ae7faf04ba10ac4ac6a6f1cc498547"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ad1ae7faf04ba10ac4ac6a6f1cc498547">SVF::MutableIncDFPTData::getDFOutUpdatedVar</a></div><div class="ttdeci">const DataSet &amp; getDFOutUpdatedVar(LocID loc)</div><div class="ttdoc">Get all var which have new pts informationin loc's OUT set.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00881">MutablePointsToDS.h:881</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_ad1ae7faf04ba10ac4ac6a6f1cc498547"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ad1ae7faf04ba10ac4ac6a6f1cc498547">SVF::MutableIncDFPTData::getDFOutUpdatedVar</a></div><div class="ttdeci">const DataSet &amp; getDFOutUpdatedVar(LocID loc)</div><div class="ttdoc">Get all var which have new pts information in loc's OUT set.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00881">MutablePointsToDS.h:881</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_a1fc4dff28f9044234fdfeede6f4b1cb0"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0">SVF::MutableIncDFPTData::DataIter</a></div><div class="ttdeci">DataSet::iterator DataIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00695">MutablePointsToDS.h:695</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_ae7ed810cf4de695072ba5c4d0c882353"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353">SVF::MutableIncDFPTData::varHasNewDFInPts</a></div><div class="ttdeci">bool varHasNewDFInPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has new pts in loc's IN set.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00844">MutablePointsToDS.h:844</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableDFPTData_html_a9a9641305c9d670e09f02b71a3e384a9"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">SVF::MutableDFPTData::hasDFInSet</a></div><div class="ttdeci">virtual bool hasDFInSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00404">MutablePointsToDS.h:404</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_ae4d0989cb98814f943bd4dfd09a37017"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ae4d0989cb98814f943bd4dfd09a37017">SVF::MutableIncDFPTData::getDFInUpdatedVar</a></div><div class="ttdeci">const DataSet &amp; getDFInUpdatedVar(LocID loc)</div><div class="ttdoc">Get all var which have new pts informationin loc's IN set.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00852">MutablePointsToDS.h:852</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_ae4d0989cb98814f943bd4dfd09a37017"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ae4d0989cb98814f943bd4dfd09a37017">SVF::MutableIncDFPTData::getDFInUpdatedVar</a></div><div class="ttdeci">const DataSet &amp; getDFInUpdatedVar(LocID loc)</div><div class="ttdoc">Get all var which have new pts information in loc's IN set.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00852">MutablePointsToDS.h:852</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_a913c1a2c48526160eeecd028bd22cfc4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4">SVF::MutableIncDFPTData::removeVarFromDFInUpdatedSet</a></div><div class="ttdeci">void removeVarFromDFInUpdatedSet(LocID loc, const Key &amp;var)</div><div class="ttdoc">Remove var from loc's IN updated set.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00837">MutablePointsToDS.h:837</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_ac055ad77582b36083ca1950c39207f5e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e">SVF::MutableIncDFPTData::removeVarFromDFOutUpdatedSet</a></div><div class="ttdeci">void removeVarFromDFOutUpdatedSet(LocID loc, const Key &amp;var)</div><div class="ttdoc">Remove var from loc's OUT updated set.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00866">MutablePointsToDS.h:866</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableDFPTData_html_ac6d487a4af529ecb30366be54b29260a"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a">SVF::MutableDFPTData::hasDFOutSet</a></div><div class="ttdeci">virtual bool hasDFOutSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00409">MutablePointsToDS.h:409</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html CHANGED Viewed

@@ -330,7 +330,7 @@ Static Private Attributes</h2></td></tr>
 <div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;    }</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="comment">// Points-to sets which are relevant to a region, i.e., those whose elements</span></div>
-<div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;    <span class="comment">// belong to that region. Pair is for occurences.</span></div>
+<div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;    <span class="comment">// belong to that region. Pair is for occurrences.</span></div>
 <div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;    std::vector&lt;std::vector&lt;std::pair&lt;const PointsTo *, unsigned&gt;&gt;&gt; regionsPointsTos(numRegions);</div>
 <div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> Map&lt;PointsTo, unsigned&gt;::value_type &amp;ptocc : pointsToSets)</div>
 <div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;    {</div>
@@ -795,7 +795,7 @@ Static Private Attributes</h2></td></tr>
 <div class="line"><a name="l00476"></a><span class="lineno">  476</span>&#160;                    <span class="comment">// We have something like distance == x, existingDistance == x - e, for some e &lt; 1</span></div>
 <div class="line"><a name="l00477"></a><span class="lineno">  477</span>&#160;                    <span class="comment">// (potentially even set during this iteration).</span></div>
 <div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;                    <span class="comment">// So, the new distance is an occurrence the existingDistance being tracked, it just</span></div>
-<div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;                    <span class="comment">// had some reductions because of multiple occurences.</span></div>
+<div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;                    <span class="comment">// had some reductions because of multiple occurrences.</span></div>
 <div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;                    <span class="comment">// If there is not room within this distance to reduce more (increase priority),</span></div>
 <div class="line"><a name="l00481"></a><span class="lineno">  481</span>&#160;                    <span class="comment">// just ignore it. TODO: maybe warn?</span></div>
 <div class="line"><a name="l00482"></a><span class="lineno">  482</span>&#160;                    <span class="keywordflow">if</span> (existingDistance - occ * occurrenceEpsilon &gt; std::floor(existingDistance))</div>

package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html CHANGED Viewed

@@ -155,7 +155,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html CHANGED Viewed

@@ -123,7 +123,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a091ef22d4fc428985d604b03f287a941 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a091ef22d4fc428985d604b03f287a941">isConstDataOrAggDataButNotNullPtr</a> () const</td></tr>
 <tr class="separator:a091ef22d4fc428985d604b03f287a941 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:acf194658d2cbdaf3f26f2af6c325fad7 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7">isIsolatedNode</a> () const</td></tr>
-<tr class="memdesc:acf194658d2cbdaf3f26f2af6c325fad7 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this is an isoloated node on the <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> graph.  <a href="classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7">More...</a><br /></td></tr>
+<tr class="memdesc:acf194658d2cbdaf3f26f2af6c325fad7 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this is an isolated node on the <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> graph.  <a href="classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7">More...</a><br /></td></tr>
 <tr class="separator:acf194658d2cbdaf3f26f2af6c325fad7 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a79b35a312248e96a89a28cbf1b99b6fe inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a79b35a312248e96a89a28cbf1b99b6fe">getFunction</a> () const</td></tr>
 <tr class="memdesc:a79b35a312248e96a89a28cbf1b99b6fe inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the function that this <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> resides in. Return nullptr if it is a global or constantexpr node.  <a href="classSVF_1_1SVFVar.html#a79b35a312248e96a89a28cbf1b99b6fe">More...</a><br /></td></tr>
@@ -191,7 +191,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/classSVF_1_1Options.html CHANGED Viewed

@@ -2441,7 +2441,7 @@ Static Public Attributes</h2></td></tr>
   </tr>
 </table>
 </div><div class="memdoc">
-<p>Predict occurences of points-to sets in the staged points-to set to weigh more common points-to sets as more important. </p>
+<p>Predict occurrences of points-to sets in the staged points-to set to weigh more common points-to sets as more important. </p>
 <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00066">66</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>

package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html CHANGED Viewed

@@ -232,7 +232,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html CHANGED Viewed

@@ -181,7 +181,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:aacd5f35171717cb4d758c17bef828a0f"><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_1PTACallGraph.html#aacd5f35171717cb4d758c17bef828a0f">getCalleeOfCallSite</a> (<a class="el" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a> id) const</td></tr>
 <tr class="separator:aacd5f35171717cb4d758c17bef828a0f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a6d29a39440d8f6290e2e8b7322b965fb"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1PTACallGraphEdge.html">PTACallGraphEdge</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb">hasGraphEdge</a> (<a class="el" href="classSVF_1_1PTACallGraphNode.html">PTACallGraphNode</a> *src, <a class="el" href="classSVF_1_1PTACallGraphNode.html">PTACallGraphNode</a> *dst, <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7">PTACallGraphEdge::CEDGEK</a> <a class="el" href="classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1">kind</a>, <a class="el" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a> csId) const</td></tr>
-<tr class="memdesc:a6d29a39440d8f6290e2e8b7322b965fb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether we have aleady created this call graph edge.  <a href="classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb">More...</a><br /></td></tr>
+<tr class="memdesc:a6d29a39440d8f6290e2e8b7322b965fb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether we have already created this call graph edge.  <a href="classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb">More...</a><br /></td></tr>
 <tr class="separator:a6d29a39440d8f6290e2e8b7322b965fb"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a2634a24621ab93fae7ec1cf94a8cba0b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1PTACallGraphEdge.html">PTACallGraphEdge</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTACallGraph.html#a2634a24621ab93fae7ec1cf94a8cba0b">getGraphEdge</a> (<a class="el" href="classSVF_1_1PTACallGraphNode.html">PTACallGraphNode</a> *src, <a class="el" href="classSVF_1_1PTACallGraphNode.html">PTACallGraphNode</a> *dst, <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7">PTACallGraphEdge::CEDGEK</a> <a class="el" href="classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1">kind</a>, <a class="el" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a> csId)</td></tr>
 <tr class="memdesc:a2634a24621ab93fae7ec1cf94a8cba0b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get call graph edge via nodes.  <a href="classSVF_1_1PTACallGraph.html#a2634a24621ab93fae7ec1cf94a8cba0b">More...</a><br /></td></tr>
@@ -1694,7 +1694,7 @@ Additional Inherited Members</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p>Whether we have aleady created this call graph edge. </p>
+<p>Whether we have already created this call graph edge. </p>
 <p>Whether we have already created this call graph edge </p>
 <p class="definition">Definition at line <a class="el" href="PTACallGraph_8cpp_source.html#l00136">136</a> of file <a class="el" href="PTACallGraph_8cpp_source.html">PTACallGraph.cpp</a>.</p>
@@ -2121,7 +2121,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="anamespaceSVF_html_a4582a7d33a5631a5a38973f50035327e"><div class="ttname"><a href="namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e">SVF::ViewGraph</a></div><div class="ttdeci">void ViewGraph(const GraphType &amp;G, const std::string &amp;name, bool ShortNames=false, GraphProgram::Name Program=GraphProgram::DOT)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00371">GraphWriter.h:371</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a9155629ddc58f71c6a6f2aec978e4610"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a9155629ddc58f71c6a6f2aec978e4610">SVF::PTACallGraph::getCallSitePair</a></div><div class="ttdeci">const CallSitePair &amp; getCallSitePair(CallSiteID id) const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00357">PTACallGraph.h:357</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallICFGNode_html_a18f4077d42b23c3fed35efc793b6102e"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html#a18f4077d42b23c3fed35efc793b6102e">SVF::CallICFGNode::getCaller</a></div><div class="ttdeci">const SVFFunction * getCaller() const</div><div class="ttdoc">Return callsite.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00428">ICFGNode.h:428</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a6d29a39440d8f6290e2e8b7322b965fb"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb">SVF::PTACallGraph::hasGraphEdge</a></div><div class="ttdeci">PTACallGraphEdge * hasGraphEdge(PTACallGraphNode *src, PTACallGraphNode *dst, PTACallGraphEdge::CEDGEK kind, CallSiteID csId) const</div><div class="ttdoc">Whether we have aleady created this call graph edge.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00136">PTACallGraph.cpp:136</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a6d29a39440d8f6290e2e8b7322b965fb"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb">SVF::PTACallGraph::hasGraphEdge</a></div><div class="ttdeci">PTACallGraphEdge * hasGraphEdge(PTACallGraphNode *src, PTACallGraphNode *dst, PTACallGraphEdge::CEDGEK kind, CallSiteID csId) const</div><div class="ttdoc">Whether we have already created this call graph edge.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00136">PTACallGraph.cpp:136</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00081">GenericGraph.h:81</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a5b1fe2b2314db947cd5e709b7285fe1ca4fe819bb1488afc48b04c1b7bef04bc2"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca4fe819bb1488afc48b04c1b7bef04bc2">SVF::PTACallGraph::ThdCallGraph</a></div><div class="ttdeci">@ ThdCallGraph</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00235">PTACallGraph.h:235</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a979359fc784e647c574de90c7af2cf40"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40">SVF::PTACallGraph::addCallSite</a></div><div class="ttdeci">CallSiteID addCallSite(const CallICFGNode *cs, const SVFFunction *callee)</div><div class="ttdoc">Add/Get CallSiteID.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00330">PTACallGraph.h:330</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html CHANGED Viewed

@@ -159,7 +159,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/classSVF_1_1PersistentIncDFPTData.html CHANGED Viewed

@@ -146,7 +146,7 @@ Private Member Functions</h2></td></tr>
 <tr class="memdesc:a56764f78042a2a9229d3b76861b54952"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return TRUE if var has a new pts in loc's IN set.  <a href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">More...</a><br /></td></tr>
 <tr class="separator:a56764f78042a2a9229d3b76861b54952"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a1bd459f50c328974294930698fc61b8e"><td class="memItemLeft" align="right" valign="top">const KeySet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">getDFInUpdatedVar</a> (<a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a77bdc80a999296bcfa8d9f1f92c933d1">LocID</a> loc)</td></tr>
-<tr class="memdesc:a1bd459f50c328974294930698fc61b8e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get all variables which have new pts informationin loc's IN set.  <a href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">More...</a><br /></td></tr>
+<tr class="memdesc:a1bd459f50c328974294930698fc61b8e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get all variables which have new pts information in loc's IN set.  <a href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">More...</a><br /></td></tr>
 <tr class="separator:a1bd459f50c328974294930698fc61b8e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
 <tr class="memitem:aa9f6b38595cabbb583c52217188457e8"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8">setVarDFOutSetUpdated</a> (<a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a77bdc80a999296bcfa8d9f1f92c933d1">LocID</a> loc, const Key &amp;var)</td></tr>
@@ -547,7 +547,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </table>
 </div><div class="memdoc">
-<p>Get all variables which have new pts informationin loc's IN set. </p>
+<p>Get all variables which have new pts information in loc's IN set. </p>
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00758">758</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00759"></a><span class="lineno">  759</span>&#160;    {</div>
@@ -1412,7 +1412,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <div class="ttc" id="aclassSVF_1_1PersistentIncDFPTData_html_a3b42e65b301c1e2cf7976e2780cb6fd2"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">SVF::PersistentIncDFPTData::setVarDFInSetUpdated</a></div><div class="ttdeci">void setVarDFInSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdoc">Handle address-taken variables whose IN pts changed.</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00737">PersistentPointsToDS.h:737</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PersistentIncDFPTData_html_ad449df82589efb4c40affb5fdc46f479"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479">SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet</a></div><div class="ttdeci">void removeVarFromDFInUpdatedSet(LocID loc, const Key &amp;var)</div><div class="ttdoc">Remove var from loc's IN updated set.</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00743">PersistentPointsToDS.h:743</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PersistentIncDFPTData_html_a054f8e2a0668387c092b2802e64a4df0"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">SVF::PersistentIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00796">PersistentPointsToDS.h:796</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PersistentIncDFPTData_html_a1bd459f50c328974294930698fc61b8e"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">SVF::PersistentIncDFPTData::getDFInUpdatedVar</a></div><div class="ttdeci">const KeySet &amp; getDFInUpdatedVar(LocID loc)</div><div class="ttdoc">Get all variables which have new pts informationin loc's IN set.</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00758">PersistentPointsToDS.h:758</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PersistentIncDFPTData_html_a1bd459f50c328974294930698fc61b8e"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">SVF::PersistentIncDFPTData::getDFInUpdatedVar</a></div><div class="ttdeci">const KeySet &amp; getDFInUpdatedVar(LocID loc)</div><div class="ttdoc">Get all variables which have new pts information in loc's IN set.</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00758">PersistentPointsToDS.h:758</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTData_html_a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a"><div class="ttname"><a href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a">SVF::PTData::PersIncDataFlow</a></div><div class="ttdeci">@ PersIncDataFlow</div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00092">AbstractPointsToDS.h:92</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PersistentIncDFPTData_html_ae44f71f2ff837fbdf9b6e77f609c0c53"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53">SVF::PersistentIncDFPTData::varHasNewDFOutPts</a></div><div class="ttdeci">bool varHasNewDFOutPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has a new pts in loc's OUT set.</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00780">PersistentPointsToDS.h:780</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PersistentIncDFPTData_html_ad1a2cd17519912b1d7571eeddcdc0060"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060">SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet</a></div><div class="ttdeci">void removeVarFromDFOutUpdatedSet(LocID loc, const Key &amp;var)</div><div class="ttdoc">Remove var from loc's OUT updated set.</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00773">PersistentPointsToDS.h:773</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html CHANGED Viewed

@@ -260,7 +260,7 @@ Static Public Member Functions</h2></td></tr>
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
 Private Member Functions</h2></td></tr>
 <tr class="memitem:a74e4c9a108d70aff8acaf3f32a16335f"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#a74e4c9a108d70aff8acaf3f32a16335f">PhiStmt</a> ()</td></tr>
-<tr class="memdesc:a74e4c9a108d70aff8acaf3f32a16335f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> (for SVFIRReader/serilization)  <a href="classSVF_1_1PhiStmt.html#a74e4c9a108d70aff8acaf3f32a16335f">More...</a><br /></td></tr>
+<tr class="memdesc:a74e4c9a108d70aff8acaf3f32a16335f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> (for SVFIRReader/serialization)  <a href="classSVF_1_1PhiStmt.html#a74e4c9a108d70aff8acaf3f32a16335f">More...</a><br /></td></tr>
 <tr class="separator:a74e4c9a108d70aff8acaf3f32a16335f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7ac7cc8a4fd0c692b45df02fc5166b3b"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#a7ac7cc8a4fd0c692b45df02fc5166b3b">PhiStmt</a> (const <a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> &amp;)</td></tr>
 <tr class="memdesc:a7ac7cc8a4fd0c692b45df02fc5166b3b"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="classSVF_1_1PhiStmt.html#a7ac7cc8a4fd0c692b45df02fc5166b3b">More...</a><br /></td></tr>
@@ -289,10 +289,10 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:af1a9c2a18805560e46425bd98a35dea9 inherit pub_static_attribs_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_methods_classSVF_1_1MultiOpndStmt"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1MultiOpndStmt')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td></tr>
 <tr class="memitem:aaa85920507005b39a670b6d226159e58 inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58">MultiOpndStmt</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *r, const <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">OPVars</a> &amp;opnds, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
-<tr class="memdesc:aaa85920507005b39a670b6d226159e58 inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor, only used by subclassess but not external users.  <a href="classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58">More...</a><br /></td></tr>
+<tr class="memdesc:aaa85920507005b39a670b6d226159e58 inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor, only used by subclasses but not external users.  <a href="classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58">More...</a><br /></td></tr>
 <tr class="separator:aaa85920507005b39a670b6d226159e58 inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9f08a5f30b79e3448b1788e4b087d04b inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b">MultiOpndStmt</a> (<a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
-<tr class="memdesc:a9f08a5f30b79e3448b1788e4b087d04b inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> (for SVFIRReader/serilization)  <a href="classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b">More...</a><br /></td></tr>
+<tr class="memdesc:a9f08a5f30b79e3448b1788e4b087d04b inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> (for SVFIRReader/serialization)  <a href="classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b">More...</a><br /></td></tr>
 <tr class="separator:a9f08a5f30b79e3448b1788e4b087d04b inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_methods_classSVF_1_1SVFStmt"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1SVFStmt')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td></tr>
 <tr class="memitem:a4f4159567121416cbe78d124f5c6a8b6 inherit pro_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a> (<a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
@@ -353,7 +353,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p>Constructs empty <a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> (for SVFIRReader/serilization) </p>
+<p>Constructs empty <a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> (for SVFIRReader/serialization) </p>
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00747">747</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00747"></a><span class="lineno">  747</span>&#160;: <a class="code" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">MultiOpndStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>) {}</div>

package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html CHANGED Viewed

@@ -164,7 +164,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:af81f9e91eec4bf82ccfb867c2415f9bd"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PointsTo.html#af81f9e91eec4bf82ccfb867c2415f9bd">intersectWithComplement</a> (const <a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> &amp;rhs)</td></tr>
 <tr class="separator:af81f9e91eec4bf82ccfb867c2415f9bd"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:adec2e2fc87c2bb9b3ff8873b04abf31d"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PointsTo.html#adec2e2fc87c2bb9b3ff8873b04abf31d">intersectWithComplement</a> (const <a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> &amp;lhs, const <a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> &amp;rhs)</td></tr>
-<tr class="memdesc:adec2e2fc87c2bb9b3ff8873b04abf31d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Put intersection of lhs with complemenet of rhs into this set (overwrites).  <a href="classSVF_1_1PointsTo.html#adec2e2fc87c2bb9b3ff8873b04abf31d">More...</a><br /></td></tr>
+<tr class="memdesc:adec2e2fc87c2bb9b3ff8873b04abf31d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Put intersection of lhs with complement of rhs into this set (overwrites).  <a href="classSVF_1_1PointsTo.html#adec2e2fc87c2bb9b3ff8873b04abf31d">More...</a><br /></td></tr>
 <tr class="separator:adec2e2fc87c2bb9b3ff8873b04abf31d"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad1d19d52800341484a136c6d5e0112ea"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">NodeBS</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea">toNodeBS</a> () const</td></tr>
 <tr class="memdesc:ad1d19d52800341484a136c6d5e0112ea"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns this points-to set as a NodeBS.  <a href="classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea">More...</a><br /></td></tr>
@@ -925,7 +925,7 @@ Static Private Attributes</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p>Put intersection of lhs with complemenet of rhs into this set (overwrites). </p>
+<p>Put intersection of lhs with complement of rhs into this set (overwrites). </p>
 <p class="definition">Definition at line <a class="el" href="PointsTo_8cpp_source.html#l00298">298</a> of file <a class="el" href="PointsTo_8cpp_source.html">PointsTo.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;{</div>

package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html CHANGED Viewed

@@ -1034,7 +1034,7 @@ Private Attributes</h2></td></tr>
 <p>Evaluate final condition. </p>
 <p>Evaluate Atoms of a condition TODO: for now we only evaluate one path, evaluate every single path</p>
-<p>Atom &ndash; a propositional valirable: a, b, c Literal &ndash; an atom or its negation: a, ~a Clause &ndash; A disjunction of some literals: a \vee b CNF formula &ndash; a conjunction of some clauses: (a \vee b ) \wedge (c \vee d) </p>
+<p>Atom &ndash; a propositional variable: a, b, c Literal &ndash; an atom or its negation: a, ~a Clause &ndash; A disjunction of some literals: a \vee b CNF formula &ndash; a conjunction of some clauses: (a \vee b ) \wedge (c \vee d) </p>
 <p>print leak path after eliminating duplicated element</p>
 <p class="definition">Definition at line <a class="el" href="ProgSlice_8cpp_source.html#l00173">173</a> of file <a class="el" href="ProgSlice_8cpp_source.html">ProgSlice.cpp</a>.</p>

package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html CHANGED Viewed

@@ -167,7 +167,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>