npm - svf-tools - Versions diffs - 1.0.595 → 1.0.597 - Mend

svf-tools 1.0.595 → 1.0.597

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 (980) hide show

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

@@ -220,13 +220,13 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00556">556</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;        {</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab">AtEnd</a>)</div><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;                <span class="keywordflow">return</span>;</div><div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f">BitVector</a>-&gt;Elements.empty())</div><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;            {</div><div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;                <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab">AtEnd</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;                <span class="keywordflow">return</span>;</div><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;            }</div><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;            <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a> = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f">BitVector</a>-&gt;Elements.begin();</div><div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;            <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;index() * ElementSize;</div><div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;            <span class="keywordtype">unsigned</span> BitPos = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;find_first();</div><div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;            <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> += BitPos;</div><div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;            <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">WordNumber</a> = (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> % ElementSize) / <a class="code" href="classSVF_1_1SparseBitVector.html#ae6cdfbedeb260d7fc91d83f7c1523be8a887a4856f51078b02a23348b7331453e">BITWORD_SIZE</a>;</div><div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;            <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;word(<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">WordNumber</a>);</div><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;            <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> &gt;&gt;= BitPos % <a class="code" href="classSVF_1_1SparseBitVector.html#ae6cdfbedeb260d7fc91d83f7c1523be8a887a4856f51078b02a23348b7331453e">BITWORD_SIZE</a>;</div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;        }</div><div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_aba51f4b0022c38b89f9fa519cf25fb3f"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f">SVF::SparseBitVector::SparseBitVectorIterator::BitVector</a></div><div class="ttdeci">const SparseBitVector&lt; ElementSize &gt; * BitVector</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00541">SparseBitVector.h:541</a></div></div>
+<div class="fragment"><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;        {</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab">AtEnd</a>)</div><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;                <span class="keywordflow">return</span>;</div><div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f">BitVector</a>-&gt;Elements.empty())</div><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;            {</div><div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;                <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab">AtEnd</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;                <span class="keywordflow">return</span>;</div><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;            }</div><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;            <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a> = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f">BitVector</a>-&gt;Elements.begin();</div><div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;            <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;index() * ElementSize;</div><div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;            <span class="keywordtype">unsigned</span> BitPos = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;find_first();</div><div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;            <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> += BitPos;</div><div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;            <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">WordNumber</a> = (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> % ElementSize) / <a class="code" href="classSVF_1_1SparseBitVector.html#ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e">BITWORD_SIZE</a>;</div><div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;            <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;word(<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">WordNumber</a>);</div><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;            <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> &gt;&gt;= BitPos % <a class="code" href="classSVF_1_1SparseBitVector.html#ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e">BITWORD_SIZE</a>;</div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;        }</div><div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_aba51f4b0022c38b89f9fa519cf25fb3f"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f">SVF::SparseBitVector::SparseBitVectorIterator::BitVector</a></div><div class="ttdeci">const SparseBitVector&lt; ElementSize &gt; * BitVector</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00541">SparseBitVector.h:541</a></div></div>
 <div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_a6b139db78c9cba017df0fa468bee713a"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">SVF::SparseBitVector::SparseBitVectorIterator::WordNumber</a></div><div class="ttdeci">unsigned WordNumber</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00550">SparseBitVector.h:550</a></div></div>
 <div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_abc3768e05459a1d0a2d2220858a7a53d"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">SVF::SparseBitVector::SparseBitVectorIterator::Bits</a></div><div class="ttdeci">SparseBitVectorElement&lt; ElementSize &gt;::BitWord Bits</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00553">SparseBitVector.h:553</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html_ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e">SVF::SparseBitVector::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00469">SparseBitVector.h:469</a></div></div>
 <div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_aae6ff6aada3863feb736619d4f8dba16"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">SVF::SparseBitVector::SparseBitVectorIterator::BitNumber</a></div><div class="ttdeci">unsigned BitNumber</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00547">SparseBitVector.h:547</a></div></div>
 <div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_a3627077086baa18bd0ae25efd981c18f"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">SVF::SparseBitVector::SparseBitVectorIterator::Iter</a></div><div class="ttdeci">ElementListConstIter Iter</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00544">SparseBitVector.h:544</a></div></div>
 <div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_aa28c3c88d66d8bc3dbf96e2f4bd84fab"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab">SVF::SparseBitVector::SparseBitVectorIterator::AtEnd</a></div><div class="ttdeci">bool AtEnd</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00539">SparseBitVector.h:539</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html_ae6cdfbedeb260d7fc91d83f7c1523be8a887a4856f51078b02a23348b7331453e"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#ae6cdfbedeb260d7fc91d83f7c1523be8a887a4856f51078b02a23348b7331453e">SVF::SparseBitVector::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00469">SparseBitVector.h:469</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -256,13 +256,13 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00575">575</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;        {</div><div class="line"><a name="l00577"></a><span class="lineno">  577</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab">AtEnd</a>)</div><div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;                <span class="keywordflow">return</span>;</div><div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;</div><div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;            <span class="keywordflow">while</span> (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> &amp;&amp; !(<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> &amp; 1))</div><div class="line"><a name="l00581"></a><span class="lineno">  581</span>&#160;            {</div><div class="line"><a name="l00582"></a><span class="lineno">  582</span>&#160;                <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> &gt;&gt;= 1;</div><div class="line"><a name="l00583"></a><span class="lineno">  583</span>&#160;                <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> += 1;</div><div class="line"><a name="l00584"></a><span class="lineno">  584</span>&#160;            }</div><div class="line"><a name="l00585"></a><span class="lineno">  585</span>&#160;</div><div class="line"><a name="l00586"></a><span class="lineno">  586</span>&#160;            <span class="comment">// See if we ran out of Bits in this word.</span></div><div class="line"><a name="l00587"></a><span class="lineno">  587</span>&#160;            <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a>)</div><div class="line"><a name="l00588"></a><span class="lineno">  588</span>&#160;            {</div><div class="line"><a name="l00589"></a><span class="lineno">  589</span>&#160;                <span class="keywordtype">int</span> NextSetBitNumber = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;find_next(<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> % ElementSize) ;</div><div class="line"><a name="l00590"></a><span class="lineno">  590</span>&#160;                <span class="comment">// If we ran out of set bits in this element, move to next element.</span></div><div class="line"><a name="l00591"></a><span class="lineno">  591</span>&#160;                <span class="keywordflow">if</span> (NextSetBitNumber == -1 || (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> % ElementSize == 0))</div><div class="line"><a name="l00592"></a><span class="lineno">  592</span>&#160;                {</div><div class="line"><a name="l00593"></a><span class="lineno">  593</span>&#160;                    ++<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>;</div><div class="line"><a name="l00594"></a><span class="lineno">  594</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">WordNumber</a> = 0;</div><div class="line"><a name="l00595"></a><span class="lineno">  595</span>&#160;</div><div class="line"><a name="l00596"></a><span class="lineno">  596</span>&#160;                    <span class="comment">// We may run out of elements in the bitmap.</span></div><div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;                    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a> == <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f">BitVector</a>-&gt;Elements.end())</div><div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;                    {</div><div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;                        <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab">AtEnd</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;                        <span class="keywordflow">return</span>;</div><div class="line"><a name="l00601"></a><span class="lineno">  601</span>&#160;                    }</div><div class="line"><a name="l00602"></a><span class="lineno">  602</span>&#160;                    <span class="comment">// Set up for next non-zero word in bitmap.</span></div><div class="line"><a name="l00603"></a><span class="lineno">  603</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;index() * ElementSize;</div><div class="line"><a name="l00604"></a><span class="lineno">  604</span>&#160;                    NextSetBitNumber = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;find_first();</div><div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> += NextSetBitNumber;</div><div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">WordNumber</a> = (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> % ElementSize) / <a class="code" href="classSVF_1_1SparseBitVector.html#ae6cdfbedeb260d7fc91d83f7c1523be8a887a4856f51078b02a23348b7331453e">BITWORD_SIZE</a>;</div><div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;word(<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">WordNumber</a>);</div><div class="line"><a name="l00608"></a><span class="lineno">  608</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> &gt;&gt;= NextSetBitNumber % <a class="code" href="classSVF_1_1SparseBitVector.html#ae6cdfbedeb260d7fc91d83f7c1523be8a887a4856f51078b02a23348b7331453e">BITWORD_SIZE</a>;</div><div class="line"><a name="l00609"></a><span class="lineno">  609</span>&#160;                }</div><div class="line"><a name="l00610"></a><span class="lineno">  610</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00611"></a><span class="lineno">  611</span>&#160;                {</div><div class="line"><a name="l00612"></a><span class="lineno">  612</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">WordNumber</a> = (NextSetBitNumber % ElementSize) / <a class="code" href="classSVF_1_1SparseBitVector.html#ae6cdfbedeb260d7fc91d83f7c1523be8a887a4856f51078b02a23348b7331453e">BITWORD_SIZE</a>;</div><div class="line"><a name="l00613"></a><span class="lineno">  613</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;word(<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">WordNumber</a>);</div><div class="line"><a name="l00614"></a><span class="lineno">  614</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> &gt;&gt;= NextSetBitNumber % <a class="code" href="classSVF_1_1SparseBitVector.html#ae6cdfbedeb260d7fc91d83f7c1523be8a887a4856f51078b02a23348b7331453e">BITWORD_SIZE</a>;</div><div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;index() * ElementSize;</div><div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> += NextSetBitNumber;</div><div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;                }</div><div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;            }</div><div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;        }</div><div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_aba51f4b0022c38b89f9fa519cf25fb3f"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f">SVF::SparseBitVector::SparseBitVectorIterator::BitVector</a></div><div class="ttdeci">const SparseBitVector&lt; ElementSize &gt; * BitVector</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00541">SparseBitVector.h:541</a></div></div>
+<div class="fragment"><div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;        {</div><div class="line"><a name="l00577"></a><span class="lineno">  577</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab">AtEnd</a>)</div><div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;                <span class="keywordflow">return</span>;</div><div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;</div><div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;            <span class="keywordflow">while</span> (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> &amp;&amp; !(<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> &amp; 1))</div><div class="line"><a name="l00581"></a><span class="lineno">  581</span>&#160;            {</div><div class="line"><a name="l00582"></a><span class="lineno">  582</span>&#160;                <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> &gt;&gt;= 1;</div><div class="line"><a name="l00583"></a><span class="lineno">  583</span>&#160;                <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> += 1;</div><div class="line"><a name="l00584"></a><span class="lineno">  584</span>&#160;            }</div><div class="line"><a name="l00585"></a><span class="lineno">  585</span>&#160;</div><div class="line"><a name="l00586"></a><span class="lineno">  586</span>&#160;            <span class="comment">// See if we ran out of Bits in this word.</span></div><div class="line"><a name="l00587"></a><span class="lineno">  587</span>&#160;            <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a>)</div><div class="line"><a name="l00588"></a><span class="lineno">  588</span>&#160;            {</div><div class="line"><a name="l00589"></a><span class="lineno">  589</span>&#160;                <span class="keywordtype">int</span> NextSetBitNumber = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;find_next(<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> % ElementSize) ;</div><div class="line"><a name="l00590"></a><span class="lineno">  590</span>&#160;                <span class="comment">// If we ran out of set bits in this element, move to next element.</span></div><div class="line"><a name="l00591"></a><span class="lineno">  591</span>&#160;                <span class="keywordflow">if</span> (NextSetBitNumber == -1 || (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> % ElementSize == 0))</div><div class="line"><a name="l00592"></a><span class="lineno">  592</span>&#160;                {</div><div class="line"><a name="l00593"></a><span class="lineno">  593</span>&#160;                    ++<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>;</div><div class="line"><a name="l00594"></a><span class="lineno">  594</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">WordNumber</a> = 0;</div><div class="line"><a name="l00595"></a><span class="lineno">  595</span>&#160;</div><div class="line"><a name="l00596"></a><span class="lineno">  596</span>&#160;                    <span class="comment">// We may run out of elements in the bitmap.</span></div><div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;                    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a> == <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f">BitVector</a>-&gt;Elements.end())</div><div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;                    {</div><div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;                        <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab">AtEnd</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;                        <span class="keywordflow">return</span>;</div><div class="line"><a name="l00601"></a><span class="lineno">  601</span>&#160;                    }</div><div class="line"><a name="l00602"></a><span class="lineno">  602</span>&#160;                    <span class="comment">// Set up for next non-zero word in bitmap.</span></div><div class="line"><a name="l00603"></a><span class="lineno">  603</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;index() * ElementSize;</div><div class="line"><a name="l00604"></a><span class="lineno">  604</span>&#160;                    NextSetBitNumber = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;find_first();</div><div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> += NextSetBitNumber;</div><div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">WordNumber</a> = (<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> % ElementSize) / <a class="code" href="classSVF_1_1SparseBitVector.html#ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e">BITWORD_SIZE</a>;</div><div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;word(<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">WordNumber</a>);</div><div class="line"><a name="l00608"></a><span class="lineno">  608</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> &gt;&gt;= NextSetBitNumber % <a class="code" href="classSVF_1_1SparseBitVector.html#ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e">BITWORD_SIZE</a>;</div><div class="line"><a name="l00609"></a><span class="lineno">  609</span>&#160;                }</div><div class="line"><a name="l00610"></a><span class="lineno">  610</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00611"></a><span class="lineno">  611</span>&#160;                {</div><div class="line"><a name="l00612"></a><span class="lineno">  612</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">WordNumber</a> = (NextSetBitNumber % ElementSize) / <a class="code" href="classSVF_1_1SparseBitVector.html#ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e">BITWORD_SIZE</a>;</div><div class="line"><a name="l00613"></a><span class="lineno">  613</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;word(<a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">WordNumber</a>);</div><div class="line"><a name="l00614"></a><span class="lineno">  614</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">Bits</a> &gt;&gt;= NextSetBitNumber % <a class="code" href="classSVF_1_1SparseBitVector.html#ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e">BITWORD_SIZE</a>;</div><div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> = <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">Iter</a>-&gt;index() * ElementSize;</div><div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;                    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">BitNumber</a> += NextSetBitNumber;</div><div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;                }</div><div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;            }</div><div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;        }</div><div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_aba51f4b0022c38b89f9fa519cf25fb3f"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f">SVF::SparseBitVector::SparseBitVectorIterator::BitVector</a></div><div class="ttdeci">const SparseBitVector&lt; ElementSize &gt; * BitVector</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00541">SparseBitVector.h:541</a></div></div>
 <div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_a6b139db78c9cba017df0fa468bee713a"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">SVF::SparseBitVector::SparseBitVectorIterator::WordNumber</a></div><div class="ttdeci">unsigned WordNumber</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00550">SparseBitVector.h:550</a></div></div>
 <div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_abc3768e05459a1d0a2d2220858a7a53d"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">SVF::SparseBitVector::SparseBitVectorIterator::Bits</a></div><div class="ttdeci">SparseBitVectorElement&lt; ElementSize &gt;::BitWord Bits</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00553">SparseBitVector.h:553</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html_ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e">SVF::SparseBitVector::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00469">SparseBitVector.h:469</a></div></div>
 <div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_aae6ff6aada3863feb736619d4f8dba16"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">SVF::SparseBitVector::SparseBitVectorIterator::BitNumber</a></div><div class="ttdeci">unsigned BitNumber</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00547">SparseBitVector.h:547</a></div></div>
 <div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_a3627077086baa18bd0ae25efd981c18f"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">SVF::SparseBitVector::SparseBitVectorIterator::Iter</a></div><div class="ttdeci">ElementListConstIter Iter</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00544">SparseBitVector.h:544</a></div></div>
 <div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_aa28c3c88d66d8bc3dbf96e2f4bd84fab"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab">SVF::SparseBitVector::SparseBitVectorIterator::AtEnd</a></div><div class="ttdeci">bool AtEnd</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00539">SparseBitVector.h:539</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html_ae6cdfbedeb260d7fc91d83f7c1523be8a887a4856f51078b02a23348b7331453e"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#ae6cdfbedeb260d7fc91d83f7c1523be8a887a4856f51078b02a23348b7331453e">SVF::SparseBitVector::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00469">SparseBitVector.h:469</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA-members.html CHANGED Viewed

@@ -111,12 +111,12 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">GNODE</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a88775eedbbc3039caac1e350b48aa838">graph</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a766dc60e7ce7b24b829ba591d069c174">GraphReachSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a2ede2e8b4c0f44d7f1d5ab7684915556">GTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b">GTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd">initialize</a>(SVFModule *module)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a0f6cfa30c346aab1fb03a44e47c32559">initSnks</a>()=0</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a1c8f91ffa0b9f01d51c8cd5e14f076d5">initSrcs</a>()=0</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91">inv_child_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#aa1542934a87c9edce00355fe2d690b9e">InvGTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5">InvGTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0">isAllPathReachable</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7">isGlobalSVFGNode</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#afc75e55af839ef535d80555fd422342c">isInAWrapper</a>(const SVFGNode *src, CallSiteSet &amp;csIdSet)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"></td></tr>

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

@@ -111,9 +111,9 @@ Public Types</h2></td></tr>
 <tr class="memitem:a3c0d8850c4dae49a760ce5f80fb8822a"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c">ProgSlice::VFWorkList</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">WorkList</a></td></tr>
 <tr class="separator:a3c0d8850c4dae49a760ce5f80fb8822a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_types_classSVF_1_1GraphReachSolver"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GraphReachSolver')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td></tr>
-<tr class="memitem:a2ede2e8b4c0f44d7f1d5ab7684915556 inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memItemLeft" align="right" valign="top">typedef llvm::GraphTraits&lt; GraphType &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a2ede2e8b4c0f44d7f1d5ab7684915556">GTraits</a></td></tr>
-<tr class="memdesc:a2ede2e8b4c0f44d7f1d5ab7684915556 inherit pub_types_classSVF_1_1GraphReachSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define the GTraits and node iterator.  <a href="classSVF_1_1GraphReachSolver.html#a2ede2e8b4c0f44d7f1d5ab7684915556">More...</a><br /></td></tr>
-<tr class="separator:a2ede2e8b4c0f44d7f1d5ab7684915556 inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a70b93c20acbf28603b472d93dd602b7b inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="structSVF_1_1GenericGraphTraits.html">SVF::GenericGraphTraits</a>&lt; GraphType &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b">GTraits</a></td></tr>
+<tr class="memdesc:a70b93c20acbf28603b472d93dd602b7b inherit pub_types_classSVF_1_1GraphReachSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define the GTraits and node iterator.  <a href="classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b">More...</a><br /></td></tr>
+<tr class="separator:a70b93c20acbf28603b472d93dd602b7b inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af499845fe35ebe782f660146808506de inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memItemLeft" align="right" valign="top">typedef GTraits::NodeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">GNODE</a></td></tr>
 <tr class="separator:af499845fe35ebe782f660146808506de inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a8a42bdbb5987d0a340f9935f09e2acd2 inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memItemLeft" align="right" valign="top">typedef GTraits::EdgeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2">GEDGE</a></td></tr>
@@ -122,9 +122,9 @@ Public Types</h2></td></tr>
 <tr class="separator:a4e5126b0e97e490ce65804e2017f0084 inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad3fb81ac5017c6c3dc4b2b3b65b3ca04 inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memItemLeft" align="right" valign="top">typedef GTraits::ChildIteratorType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04">child_iterator</a></td></tr>
 <tr class="separator:ad3fb81ac5017c6c3dc4b2b3b65b3ca04 inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa1542934a87c9edce00355fe2d690b9e inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memItemLeft" align="right" valign="top">typedef llvm::GraphTraits&lt; llvm::Inverse&lt; <a class="el" href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">GNODE</a> * &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#aa1542934a87c9edce00355fe2d690b9e">InvGTraits</a></td></tr>
-<tr class="memdesc:aa1542934a87c9edce00355fe2d690b9e inherit pub_types_classSVF_1_1GraphReachSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define inverse GTraits and note iterator.  <a href="classSVF_1_1GraphReachSolver.html#aa1542934a87c9edce00355fe2d690b9e">More...</a><br /></td></tr>
-<tr class="separator:aa1542934a87c9edce00355fe2d690b9e inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af790a24d4448911584a6a49b9342a8d5 inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="structSVF_1_1GenericGraphTraits.html">SVF::GenericGraphTraits</a>&lt; <a class="el" href="structSVF_1_1Inverse.html">SVF::Inverse</a>&lt; <a class="el" href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">GNODE</a> * &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5">InvGTraits</a></td></tr>
+<tr class="memdesc:af790a24d4448911584a6a49b9342a8d5 inherit pub_types_classSVF_1_1GraphReachSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define inverse GTraits and note iterator.  <a href="classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5">More...</a><br /></td></tr>
+<tr class="separator:af790a24d4448911584a6a49b9342a8d5 inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a40fe9f5863619ee7c11a630e4fd89a91 inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memItemLeft" align="right" valign="top">typedef InvGTraits::ChildIteratorType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91">inv_child_iterator</a></td></tr>
 <tr class="separator:a40fe9f5863619ee7c11a630e4fd89a91 inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a472784c3cb958b4347958f039d2fe054 inherit pub_types_classSVF_1_1GraphReachSolver"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList</a>&lt; DPIm &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">WorkList</a></td></tr>
@@ -970,13 +970,13 @@ Private Attributes</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="SrcSnkDDA_8cpp_source.html#l00257">257</a> of file <a class="el" href="SrcSnkDDA_8cpp_source.html">SrcSnkDDA.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;{</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;    <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a>,<a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot;backward propagate from (&quot;</span> &lt;&lt; edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot; --&gt; &quot;</span> &lt;&lt; edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;)\n&quot;</span>);</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">SVFGNode</a>* srcNode = edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">getSrcNode</a>();</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286">backwardVisited</a>(srcNode))</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;        <span class="keywordflow">return</span>;</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;        <a class="code" href="classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544">addBackwardVisited</a>(srcNode);</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;    <a class="code" href="classSVF_1_1ContextCond.html">ContextCond</a> cxt;</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;    <a class="code" href="classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca">DPIm</a> newItem(srcNode-&gt;getId(), cxt);</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;    <a class="code" href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">pushIntoWorklist</a>(newItem);</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;}</div><div class="ttc" id="classSVF_1_1SrcSnkDDA_html_a32cc8a131b2448b5e8e1fe65d99fd286"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286">SVF::SrcSnkDDA::backwardVisited</a></div><div class="ttdeci">bool backwardVisited(const SVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00288">SrcSnkDDA.h:288</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
-<div class="ttc" id="classSVF_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#l00073">GenericGraph.h:73</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00079">GenericGraph.h:79</a></div></div>
+<div class="ttc" id="classSVF_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#l00075">GenericGraph.h:75</a></div></div>
 <div class="ttc" id="classSVF_1_1SrcSnkDDA_html_a83d5ccf0836f8f751aff078f88328cca"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca">SVF::SrcSnkDDA::DPIm</a></div><div class="ttdeci">CxtDPItem DPIm</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00061">SrcSnkDDA.h:61</a></div></div>
 <div class="ttc" id="classSVF_1_1GraphReachSolver_html_a53564d384938c19980cb138f720e34e9"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">SVF::GraphReachSolver::pushIntoWorklist</a></div><div class="ttdeci">bool pushIntoWorklist(DPIm &amp;item)</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00160">GraphReachSolver.h:160</a></div></div>
 <div class="ttc" id="SVFType_8h_html_a817abc424f7cfcdec5954c7807970f36"><div class="ttname"><a href="SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a></div><div class="ttdeci">#define DSaber</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00438">SVFType.h:438</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00089">GenericGraph.h:89</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00091">GenericGraph.h:91</a></div></div>
 <div class="ttc" id="classSVF_1_1ContextCond_html"><div class="ttname"><a href="classSVF_1_1ContextCond.html">SVF::ContextCond</a></div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00206">DPItem.h:206</a></div></div>
 <div class="ttc" id="classSVF_1_1SrcSnkDDA_html_aa061e2d72d3045c9712512c6df002544"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544">SVF::SrcSnkDDA::addBackwardVisited</a></div><div class="ttdeci">void addBackwardVisited(const SVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00292">SrcSnkDDA.h:292</a></div></div>
 <div class="ttc" id="SVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00419">SVFType.h:419</a></div></div>
@@ -1199,15 +1199,15 @@ Private Attributes</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="SrcSnkDDA_8cpp_source.html#l00192">192</a> of file <a class="el" href="SrcSnkDDA_8cpp_source.html">SrcSnkDDA.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;{</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a>,<a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n##processing source: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SrcSnkDDA.html#ad50e479db8f0733326974709d6ffe653">getCurSlice</a>()-&gt;getSource()-&gt;getId() &lt;&lt;<span class="stringliteral">&quot; forward propagate from (&quot;</span> &lt;&lt; edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>());</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;    <span class="comment">// for indirect SVFGEdge, the propagation should follow the def-use chains</span></div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    <span class="comment">// points-to on the edge indicate whether the object of source node can be propagated</span></div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">SVFGNode</a>* dstNode = edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    <a class="code" href="classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca">DPIm</a> newItem(dstNode-&gt;getId(),<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.getContexts());</div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7">isGlobalSVFGNode</a>(dstNode) || <a class="code" href="classSVF_1_1SrcSnkDDA.html#ad50e479db8f0733326974709d6ffe653">getCurSlice</a>()-&gt;<a class="code" href="classSVF_1_1ProgSlice.html#a067480a9815fdb728cd259ef9b687e3e">isReachGlobal</a>())</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;    {</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;        <a class="code" href="classSVF_1_1SrcSnkDDA.html#ad50e479db8f0733326974709d6ffe653">getCurSlice</a>()-&gt;<a class="code" href="classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d">setReachGlobal</a>();</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;        <span class="keywordflow">return</span>;</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;    }</div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;</div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;    <span class="comment">// push context for calling</span></div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;    <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1VFGEdge.html#a4352297ef44c4eff1efe2f348cce6fe9">isCallVFGEdge</a>())</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;    {</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;        <a class="code" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a> csId = 0;</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallDirSVFGEdge.html">CallDirSVFGEdge</a>* callEdge = SVFUtil::dyn_cast&lt;CallDirSVFGEdge&gt;(edge))</div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;            csId = callEdge-&gt;getCallSiteId();</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;            csId = SVFUtil::cast&lt;CallIndSVFGEdge&gt;(edge)-&gt;getCallSiteId();</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;        newItem.pushContext(csId);</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;        <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot; push cxt [&quot;</span> &lt;&lt; csId &lt;&lt; <span class="stringliteral">&quot;] &quot;</span>);</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;    }</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;    <span class="comment">// match context for return</span></div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1VFGEdge.html#a3937eef974c3953f1d1e7d64c5a24ff3">isRetVFGEdge</a>())</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;    {</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        <a class="code" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a> csId = 0;</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetDirSVFGEdge.html">RetDirSVFGEdge</a>* callEdge = SVFUtil::dyn_cast&lt;RetDirSVFGEdge&gt;(edge))</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;            csId = callEdge-&gt;getCallSiteId();</div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;            csId = SVFUtil::cast&lt;RetIndSVFGEdge&gt;(edge)-&gt;getCallSiteId();</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;        <span class="keywordflow">if</span> (newItem.matchContext(csId) == <span class="keyword">false</span>)</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;        {</div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;            <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot;-|-\n&quot;</span>);</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;            <span class="keywordflow">return</span>;</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        }</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;        <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot; pop cxt [&quot;</span> &lt;&lt; csId &lt;&lt; <span class="stringliteral">&quot;] &quot;</span>);</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;    }</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1SrcSnkDDA.html#a8c86d30498e86745883fbaea4f530eae">forwardVisited</a>(dstNode,newItem))</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    {</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a>,<a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot; node &quot;</span>&lt;&lt; dstNode-&gt;getId() &lt;&lt;<span class="stringliteral">&quot; has been visited\n&quot;</span>);</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;        <span class="keywordflow">return</span>;</div><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;    <span class="keywordflow">else</span></div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <a class="code" href="classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4">addForwardVisited</a>(dstNode, newItem);</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">pushIntoWorklist</a>(newItem))</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;        <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a>,<a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot; --&gt; &quot;</span> &lt;&lt; edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot;, cxt size: &quot;</span> &lt;&lt; newItem.getContexts().cxtSize() &lt;&lt;<span class="stringliteral">&quot;)\n&quot;</span>);</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;}</div><div class="ttc" id="classSVF_1_1SrcSnkDDA_html_a51c65cb4b8ea107161e112a8fd3fb7d4"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4">SVF::SrcSnkDDA::addForwardVisited</a></div><div class="ttdeci">void addForwardVisited(const SVFGNode *node, const DPIm &amp;item)</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00284">SrcSnkDDA.h:284</a></div></div>
 <div class="ttc" id="classSVF_1_1SrcSnkDDA_html_a391bb031b2f244e930b266a29cda0af7"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7">SVF::SrcSnkDDA::isGlobalSVFGNode</a></div><div class="ttdeci">bool isGlobalSVFGNode(const SVFGNode *node) const</div><div class="ttdoc">Whether this svfg node may access global variable. </div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00140">SrcSnkDDA.h:140</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00079">GenericGraph.h:79</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a3937eef974c3953f1d1e7d64c5a24ff3"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a3937eef974c3953f1d1e7d64c5a24ff3">SVF::VFGEdge::isRetVFGEdge</a></div><div class="ttdeci">bool isRetVFGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00088">VFGEdge.h:88</a></div></div>
-<div class="ttc" id="classSVF_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#l00073">GenericGraph.h:73</a></div></div>
+<div class="ttc" id="classSVF_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#l00075">GenericGraph.h:75</a></div></div>
 <div class="ttc" id="classSVF_1_1SrcSnkDDA_html_a83d5ccf0836f8f751aff078f88328cca"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca">SVF::SrcSnkDDA::DPIm</a></div><div class="ttdeci">CxtDPItem DPIm</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00061">SrcSnkDDA.h:61</a></div></div>
 <div class="ttc" id="classSVF_1_1CallDirSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1CallDirSVFGEdge.html">SVF::CallDirSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00211">VFGEdge.h:211</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a397632ce0c523c4a54c5dc578606d14d"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d">SVF::ProgSlice::setReachGlobal</a></div><div class="ttdeci">bool setReachGlobal()</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00147">ProgSlice.h:147</a></div></div>
 <div class="ttc" id="classSVF_1_1GraphReachSolver_html_a53564d384938c19980cb138f720e34e9"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">SVF::GraphReachSolver::pushIntoWorklist</a></div><div class="ttdeci">bool pushIntoWorklist(DPIm &amp;item)</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00160">GraphReachSolver.h:160</a></div></div>
 <div class="ttc" id="classSVF_1_1SrcSnkDDA_html_a8c86d30498e86745883fbaea4f530eae"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a8c86d30498e86745883fbaea4f530eae">SVF::SrcSnkDDA::forwardVisited</a></div><div class="ttdeci">bool forwardVisited(const SVFGNode *node, const DPIm &amp;item)</div><div class="ttdoc">Whether has been visited or not, in order to avoid recursion on SVFG. </div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00276">SrcSnkDDA.h:276</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00093">GenericGraph.h:93</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00095">GenericGraph.h:95</a></div></div>
 <div class="ttc" id="SVFType_8h_html_a817abc424f7cfcdec5954c7807970f36"><div class="ttname"><a href="SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a></div><div class="ttdeci">#define DSaber</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00438">SVFType.h:438</a></div></div>
 <div class="ttc" id="classSVF_1_1SrcSnkDDA_html_ad50e479db8f0733326974709d6ffe653"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#ad50e479db8f0733326974709d6ffe653">SVF::SrcSnkDDA::getCurSlice</a></div><div class="ttdeci">ProgSlice * getCurSlice() const</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00148">SrcSnkDDA.h:148</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a067480a9815fdb728cd259ef9b687e3e"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a067480a9815fdb728cd259ef9b687e3e">SVF::ProgSlice::isReachGlobal</a></div><div class="ttdeci">bool isReachGlobal() const</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00159">ProgSlice.h:159</a></div></div>
@@ -1624,19 +1624,19 @@ Private Attributes</h2></td></tr>
 <p>determine whether a SVFGNode n is in a allocation wrapper function, if so, return all SVFGNodes which receive the value of node n </p>
 <p class="definition">Definition at line <a class="el" href="SrcSnkDDA_8cpp_source.html#l00118">118</a> of file <a class="el" href="SrcSnkDDA_8cpp_source.html">SrcSnkDDA.cpp</a>.</p>
-<div class="fragment"><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;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    <span class="keywordtype">bool</span> reachFunExit = <span class="keyword">false</span>;</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    <a class="code" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">WorkList</a> <a class="code" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">worklist</a>;</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(src);</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;    <a class="code" href="classSVF_1_1SrcSnkDDA.html#a70cff8ea7c033c01400935c9e446f2c6">SVFGNodeBS</a> visited;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> step = 0;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    <span class="keywordflow">while</span> (!worklist.empty())</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;    {</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">SVFGNode</a>* node  = worklist.pop();</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        <span class="keywordflow">if</span>(visited.test(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())==0)</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;            visited.set(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;            <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;        <span class="comment">// reaching maximum steps when traversing on SVFG to identify a memory allocation wrapper</span></div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        <span class="keywordflow">if</span> (step++ &gt; <a class="code" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84">Options::MaxStepInWrapper</a>)</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVFGNode::const_iterator</a> it = node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>(), eit =</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;                    node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>(); it != eit; ++it)</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        {</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGEdge.html">SVFGEdge</a>* edge = (*it);</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;            <span class="comment">//assert(edge-&gt;isDirectVFGEdge() &amp;&amp; &quot;the edge should always be direct VF&quot;);</span></div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;            <span class="comment">// if this is a call edge</span></div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;            <span class="keywordflow">if</span>(edge-&gt;<a class="code" href="classSVF_1_1VFGEdge.html#a92e3da59f7f5a693945b9a93f169da04">isCallDirectVFGEdge</a>())</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;            {</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;            }</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;            <span class="comment">// if this is a return edge</span></div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span>(edge-&gt;<a class="code" href="classSVF_1_1VFGEdge.html#a49cbf2a714c9b965b19452d266cd8bdf">isRetDirectVFGEdge</a>())</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;            {</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;                reachFunExit = <span class="keyword">true</span>;</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;                csIdSet.insert(<a class="code" href="classSVF_1_1SrcSnkDDA.html#a529b40c870c74309440f025e490bb161">getSVFG</a>()-&gt;getCallSite(SVFUtil::cast&lt;RetDirSVFGEdge&gt;(edge)-&gt;getCallSiteId()));</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;            }</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;            <span class="comment">// (1) an intra direct edge, we will keep tracking</span></div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;            <span class="comment">// (2) an intra indirect edge, we only track if the succ SVFGNode is a load, which means we only track one level store-load pair .</span></div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;            <span class="comment">// (3) do not track for all other interprocedural edges.</span></div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;            {</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;                <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">SVFGNode</a>* succ = edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;                <span class="keywordflow">if</span>(SVFUtil::isa&lt;IntraDirSVFGEdge&gt;(edge))</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;                {</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;                    <span class="keywordflow">if</span> (SVFUtil::isa&lt;CopySVFGNode&gt;(succ) || SVFUtil::isa&lt;GepSVFGNode&gt;(succ)</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;                            || SVFUtil::isa&lt;PHISVFGNode&gt;(succ) || SVFUtil::isa&lt;FormalRetSVFGNode&gt;(succ)</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;                            || SVFUtil::isa&lt;ActualRetSVFGNode&gt;(succ) || SVFUtil::isa&lt;StoreSVFGNode&gt;(succ))</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;                    {</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;                        worklist.push(succ);</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;                    }</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;                }</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;IntraIndSVFGEdge&gt;(edge))</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;                {</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;                    <span class="keywordflow">if</span>(SVFUtil::isa&lt;LoadSVFGNode&gt;(succ))</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;                    {</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;                        worklist.push(succ);</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;                    }</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;                }</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;                    <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;            }</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        }</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;    }</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;    <span class="keywordflow">if</span>(reachFunExit)</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00206">GenericGraph.h:206</a></div></div>
+<div class="fragment"><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;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    <span class="keywordtype">bool</span> reachFunExit = <span class="keyword">false</span>;</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    <a class="code" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">WorkList</a> <a class="code" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">worklist</a>;</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(src);</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;    <a class="code" href="classSVF_1_1SrcSnkDDA.html#a70cff8ea7c033c01400935c9e446f2c6">SVFGNodeBS</a> visited;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> step = 0;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    <span class="keywordflow">while</span> (!worklist.empty())</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;    {</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">SVFGNode</a>* node  = worklist.pop();</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        <span class="keywordflow">if</span>(visited.test(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())==0)</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;            visited.set(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;            <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;        <span class="comment">// reaching maximum steps when traversing on SVFG to identify a memory allocation wrapper</span></div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        <span class="keywordflow">if</span> (step++ &gt; <a class="code" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84">Options::MaxStepInWrapper</a>)</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVFGNode::const_iterator</a> it = node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>(), eit =</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;                    node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>(); it != eit; ++it)</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        {</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGEdge.html">SVFGEdge</a>* edge = (*it);</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;            <span class="comment">//assert(edge-&gt;isDirectVFGEdge() &amp;&amp; &quot;the edge should always be direct VF&quot;);</span></div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;            <span class="comment">// if this is a call edge</span></div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;            <span class="keywordflow">if</span>(edge-&gt;<a class="code" href="classSVF_1_1VFGEdge.html#a92e3da59f7f5a693945b9a93f169da04">isCallDirectVFGEdge</a>())</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;            {</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;            }</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;            <span class="comment">// if this is a return edge</span></div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span>(edge-&gt;<a class="code" href="classSVF_1_1VFGEdge.html#a49cbf2a714c9b965b19452d266cd8bdf">isRetDirectVFGEdge</a>())</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;            {</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;                reachFunExit = <span class="keyword">true</span>;</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;                csIdSet.insert(<a class="code" href="classSVF_1_1SrcSnkDDA.html#a529b40c870c74309440f025e490bb161">getSVFG</a>()-&gt;getCallSite(SVFUtil::cast&lt;RetDirSVFGEdge&gt;(edge)-&gt;getCallSiteId()));</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;            }</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;            <span class="comment">// (1) an intra direct edge, we will keep tracking</span></div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;            <span class="comment">// (2) an intra indirect edge, we only track if the succ SVFGNode is a load, which means we only track one level store-load pair .</span></div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;            <span class="comment">// (3) do not track for all other interprocedural edges.</span></div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;            {</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;                <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">SVFGNode</a>* succ = edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;                <span class="keywordflow">if</span>(SVFUtil::isa&lt;IntraDirSVFGEdge&gt;(edge))</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;                {</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;                    <span class="keywordflow">if</span> (SVFUtil::isa&lt;CopySVFGNode&gt;(succ) || SVFUtil::isa&lt;GepSVFGNode&gt;(succ)</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;                            || SVFUtil::isa&lt;PHISVFGNode&gt;(succ) || SVFUtil::isa&lt;FormalRetSVFGNode&gt;(succ)</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;                            || SVFUtil::isa&lt;ActualRetSVFGNode&gt;(succ) || SVFUtil::isa&lt;StoreSVFGNode&gt;(succ))</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;                    {</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;                        worklist.push(succ);</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;                    }</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;                }</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;IntraIndSVFGEdge&gt;(edge))</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;                {</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;                    <span class="keywordflow">if</span>(SVFUtil::isa&lt;LoadSVFGNode&gt;(succ))</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;                    {</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;                        worklist.push(succ);</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;                    }</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;                }</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;                    <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;            }</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        }</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;    }</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;    <span class="keywordflow">if</span>(reachFunExit)</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00208">GenericGraph.h:208</a></div></div>
 <div class="ttc" id="classSVF_1_1GraphReachSolver_html_a5032d3988dbce5a29274c55dc4dbe6bc"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00180">GraphReachSolver.h:180</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="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &amp;data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00165">WorkList.h:165</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html"><div class="ttname"><a href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00044">VFGEdge.h:44</a></div></div>
 <div class="ttc" id="classSVF_1_1Options_html_a0b82f16ee0c7e6566a6ae20662525e84"><div class="ttname"><a href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84">SVF::Options::MaxStepInWrapper</a></div><div class="ttdeci">static const llvm::cl::opt&lt; unsigned &gt; MaxStepInWrapper</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00097">Options.h:97</a></div></div>
 <div class="ttc" id="classSVF_1_1SrcSnkDDA_html_a3c0d8850c4dae49a760ce5f80fb8822a"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">SVF::SrcSnkDDA::WorkList</a></div><div class="ttdeci">ProgSlice::VFWorkList WorkList</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00066">SrcSnkDDA.h:66</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00093">GenericGraph.h:93</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00095">GenericGraph.h:95</a></div></div>
 <div class="ttc" id="classSVF_1_1SrcSnkDDA_html_a70cff8ea7c033c01400935c9e446f2c6"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a70cff8ea7c033c01400935c9e446f2c6">SVF::SrcSnkDDA::SVFGNodeBS</a></div><div class="ttdeci">NodeBS SVFGNodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00065">SrcSnkDDA.h:65</a></div></div>
 <div class="ttc" id="classSVF_1_1SrcSnkDDA_html_a529b40c870c74309440f025e490bb161"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a529b40c870c74309440f025e490bb161">SVF::SrcSnkDDA::getSVFG</a></div><div class="ttdeci">const SVFG * getSVFG() const</div><div class="ttdoc">Get SVFG. </div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00128">SrcSnkDDA.h:128</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a3c558955f60c237c558d8faafed781e8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVF::VFGNode::const_iterator</a></div><div class="ttdeci">VFGEdge::VFGEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00060">VFGNode.h:60</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#l00169">GenericGraph.h:169</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00210">GenericGraph.h:210</a></div></div>
+<div class="ttc" id="classSVF_1_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#l00171">GenericGraph.h:171</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00212">GenericGraph.h:212</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a92e3da59f7f5a693945b9a93f169da04"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a92e3da59f7f5a693945b9a93f169da04">SVF::VFGEdge::isCallDirectVFGEdge</a></div><div class="ttdeci">bool isCallDirectVFGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00092">VFGEdge.h:92</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a49cbf2a714c9b965b19452d266cd8bdf"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a49cbf2a714c9b965b19452d266cd8bdf">SVF::VFGEdge::isRetDirectVFGEdge</a></div><div class="ttdeci">bool isRetDirectVFGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00096">VFGEdge.h:96</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00046">VFGNode.h:46</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver-members.html CHANGED Viewed

@@ -82,9 +82,9 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e">getNodeIDFromItem</a>(const DPIm &amp;item) const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">GNODE</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c">graph</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a40c3ad6a16099d14654d6f59a1bae238">GTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a23cdacd5c5825844d3e28fc79cc924d3">GTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78">inv_child_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae">InvGTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a19a5395fbfdb95d9328337925496d5eb">InvGTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a1d9e1f15c9670758b9598e848ce5eeed">isInWorklist</a>(DPIm &amp;item)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a8cf98a877e4190f3886b4020006f6383">isWorklistEmpty</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3">node_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>

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

@@ -76,9 +76,9 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
 Public Types</h2></td></tr>
-<tr class="memitem:a40c3ad6a16099d14654d6f59a1bae238"><td class="memItemLeft" align="right" valign="top">typedef llvm::GraphTraits&lt; GraphType &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a40c3ad6a16099d14654d6f59a1bae238">GTraits</a></td></tr>
-<tr class="memdesc:a40c3ad6a16099d14654d6f59a1bae238"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define the GTraits and node iterator.  <a href="#a40c3ad6a16099d14654d6f59a1bae238">More...</a><br /></td></tr>
-<tr class="separator:a40c3ad6a16099d14654d6f59a1bae238"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a23cdacd5c5825844d3e28fc79cc924d3"><td class="memItemLeft" align="right" valign="top">typedef SVF::GraphTraits&lt; GraphType &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a23cdacd5c5825844d3e28fc79cc924d3">GTraits</a></td></tr>
+<tr class="memdesc:a23cdacd5c5825844d3e28fc79cc924d3"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define the GTraits and node iterator.  <a href="#a23cdacd5c5825844d3e28fc79cc924d3">More...</a><br /></td></tr>
+<tr class="separator:a23cdacd5c5825844d3e28fc79cc924d3"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aad6cad7d89663ac4466f97dac63ee385"><td class="memItemLeft" align="right" valign="top">typedef GTraits::NodeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">GNODE</a></td></tr>
 <tr class="separator:aad6cad7d89663ac4466f97dac63ee385"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a6007c2d795370bb48ad120af5474a31f"><td class="memItemLeft" align="right" valign="top">typedef GTraits::EdgeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f">GEDGE</a></td></tr>
@@ -87,9 +87,9 @@ Public Types</h2></td></tr>
 <tr class="separator:a14a76b28f06e167bf66e15b336570cd3"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a78684539084301715a665f0aece23c8e"><td class="memItemLeft" align="right" valign="top">typedef GTraits::ChildIteratorType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e">child_iterator</a></td></tr>
 <tr class="separator:a78684539084301715a665f0aece23c8e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad50e99f38fe6569107d0461d96f735ae"><td class="memItemLeft" align="right" valign="top">typedef llvm::GraphTraits&lt; llvm::Inverse&lt; <a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">GNODE</a> * &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae">InvGTraits</a></td></tr>
-<tr class="memdesc:ad50e99f38fe6569107d0461d96f735ae"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define inverse GTraits and note iterator.  <a href="#ad50e99f38fe6569107d0461d96f735ae">More...</a><br /></td></tr>
-<tr class="separator:ad50e99f38fe6569107d0461d96f735ae"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a19a5395fbfdb95d9328337925496d5eb"><td class="memItemLeft" align="right" valign="top">typedef SVF::GraphTraits&lt; <a class="el" href="structSVF_1_1Inverse.html">SVF::Inverse</a>&lt; <a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">GNODE</a> * &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a19a5395fbfdb95d9328337925496d5eb">InvGTraits</a></td></tr>
+<tr class="memdesc:a19a5395fbfdb95d9328337925496d5eb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define inverse GTraits and note iterator.  <a href="#a19a5395fbfdb95d9328337925496d5eb">More...</a><br /></td></tr>
+<tr class="separator:a19a5395fbfdb95d9328337925496d5eb"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:acb3b73c60427a78ad8dd12d651202d78"><td class="memItemLeft" align="right" valign="top">typedef InvGTraits::ChildIteratorType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78">inv_child_iterator</a></td></tr>
 <tr class="separator:acb3b73c60427a78ad8dd12d651202d78"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a19861635c58ef6db7347c22daabf80da"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList</a>&lt; DPIm &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">WorkList</a></td></tr>
@@ -213,8 +213,8 @@ template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
 </div>
 </div>
-<a id="a40c3ad6a16099d14654d6f59a1bae238"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a40c3ad6a16099d14654d6f59a1bae238">&#9670;&nbsp;</a></span>GTraits</h2>
+<a id="a23cdacd5c5825844d3e28fc79cc924d3"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a23cdacd5c5825844d3e28fc79cc924d3">&#9670;&nbsp;</a></span>GTraits</h2>
 <div class="memitem">
 <div class="memproto">
@@ -222,7 +222,7 @@ template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
 template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
       <table class="memname">
         <tr>
-          <td class="memname">typedef llvm::GraphTraits&lt;GraphType&gt; <a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver</a>&lt; GraphType, DPIm &gt;::<a class="el" href="classSVF_1_1SrcSnkSolver.html#a40c3ad6a16099d14654d6f59a1bae238">GTraits</a></td>
+          <td class="memname">typedef SVF::GraphTraits&lt;GraphType&gt; <a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver</a>&lt; GraphType, DPIm &gt;::<a class="el" href="classSVF_1_1SrcSnkSolver.html#a23cdacd5c5825844d3e28fc79cc924d3">GTraits</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -251,8 +251,8 @@ template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
 </div>
 </div>
-<a id="ad50e99f38fe6569107d0461d96f735ae"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad50e99f38fe6569107d0461d96f735ae">&#9670;&nbsp;</a></span>InvGTraits</h2>
+<a id="a19a5395fbfdb95d9328337925496d5eb"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a19a5395fbfdb95d9328337925496d5eb">&#9670;&nbsp;</a></span>InvGTraits</h2>
 <div class="memitem">
 <div class="memproto">
@@ -260,7 +260,7 @@ template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
 template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
       <table class="memname">
         <tr>
-          <td class="memname">typedef llvm::GraphTraits&lt;llvm::Inverse&lt;<a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">GNODE</a> *&gt; &gt; <a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver</a>&lt; GraphType, DPIm &gt;::<a class="el" href="classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae">InvGTraits</a></td>
+          <td class="memname">typedef SVF::GraphTraits&lt;<a class="el" href="structSVF_1_1Inverse.html">SVF::Inverse</a>&lt;<a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">GNODE</a> *&gt; &gt; <a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver</a>&lt; GraphType, DPIm &gt;::<a class="el" href="classSVF_1_1SrcSnkSolver.html#a19a5395fbfdb95d9328337925496d5eb">InvGTraits</a></td>
         </tr>
       </table>
 </div><div class="memdoc">