svf-tools 1.0.313 → 1.0.314

package/SVF-doxygen/html/html/classSVF_1_1MemObj.html

@@ -450,7 +450,7 @@ Private Attributes</h2></td></tr>
 <p>Whether it is a black hole object </p>
 
 <p class="definition">Definition at line <a class="el" href="MemModel_8cpp_source.html#l00145">145</a> of file <a class="el" href="MemModel_8cpp_source.html">MemModel.cpp</a>.</p>
-<div class="fragment"><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> <a class="code" href="classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3">SymbolTableInfo::isBlkObj</a>(<a class="code" href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">GSymID</a>);</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;}</div><div class="ttc" id="classSVF_1_1SymbolTableInfo_html_ad9cdb21e20182f3bc95f04bbb97712f3"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3">SVF::SymbolTableInfo::isBlkObj</a></div><div class="ttdeci">static bool isBlkObj(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00192">SymbolTableInfo.h:192</a></div></div>
+<div class="fragment"><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> <a class="code" href="classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3">SymbolTableInfo::isBlkObj</a>(<a class="code" href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">GSymID</a>);</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;}</div><div class="ttc" id="classSVF_1_1SymbolTableInfo_html_ad9cdb21e20182f3bc95f04bbb97712f3"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3">SVF::SymbolTableInfo::isBlkObj</a></div><div class="ttdeci">static bool isBlkObj(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00183">SymbolTableInfo.h:183</a></div></div>
 <div class="ttc" id="classSVF_1_1MemObj_html_a93ab11a1150b015bd7f88f70d4c80054"><div class="ttname"><a href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">SVF::MemObj::GSymID</a></div><div class="ttdeci">SymID GSymID</div><div class="ttdoc">The unique id in the graph. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00285">MemModel.h:285</a></div></div>
 </div><!-- fragment -->
 </div>

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

@@ -78,7 +78,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html#a6a300a5b455fe4b8bace2f1d66fb5f9d">constantObjectId</a></td><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html">SVF::NodeIDAllocator</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a06987883653f3b0961962f2cdda3747f">DEBUG</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html">SVF::NodeIDAllocator</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a9df17b1222681bba5e649895deb726f0">DENSE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html">SVF::NodeIDAllocator</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html#ae42c5bb7db4d2142adc2e7e904eb36c7">endSymbolAllocation</a>(void)</td><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html">SVF::NodeIDAllocator</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d">endSymbolAllocation</a>(void)</td><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html">SVF::NodeIDAllocator</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html#a2bd3ca30fc9669d9a0327544bdb4557b">get</a>(void)</td><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html">SVF::NodeIDAllocator</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html#ad63e43c65cb7d7cac7824f5cede5ec89">getNumObjects</a>(void) const</td><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html">SVF::NodeIDAllocator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html#ac8d6abc4ee27ae464f3978e4f4bdc3a6">NodeIDAllocator</a>(void)</td><td class="entry"><a class="el" href="classSVF_1_1NodeIDAllocator.html">SVF::NodeIDAllocator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator.html

@@ -102,9 +102,9 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a26b5e09e10448694435f74a8b622a7e8"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1NodeIDAllocator.html#a26b5e09e10448694435f74a8b622a7e8">allocateValueId</a> (void)</td></tr>
 <tr class="memdesc:a26b5e09e10448694435f74a8b622a7e8"><td class="mdescLeft">&#160;</td><td class="mdescRight">Allocate a value ID as determined by the strategy.  <a href="#a26b5e09e10448694435f74a8b622a7e8">More...</a><br /></td></tr>
 <tr class="separator:a26b5e09e10448694435f74a8b622a7e8"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae42c5bb7db4d2142adc2e7e904eb36c7"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1NodeIDAllocator.html#ae42c5bb7db4d2142adc2e7e904eb36c7">endSymbolAllocation</a> (void)</td></tr>
-<tr class="memdesc:ae42c5bb7db4d2142adc2e7e904eb36c7"><td class="mdescLeft">&#160;</td><td class="mdescRight">Notify the allocator that all symbols have had IDs allocated.  <a href="#ae42c5bb7db4d2142adc2e7e904eb36c7">More...</a><br /></td></tr>
-<tr class="separator:ae42c5bb7db4d2142adc2e7e904eb36c7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a92b053f79cfa1259603836cb0aacad7d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d">endSymbolAllocation</a> (void)</td></tr>
+<tr class="memdesc:a92b053f79cfa1259603836cb0aacad7d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Notify the allocator that all symbols have had IDs allocated.  <a href="#a92b053f79cfa1259603836cb0aacad7d">More...</a><br /></td></tr>
+<tr class="separator:a92b053f79cfa1259603836cb0aacad7d"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad63e43c65cb7d7cac7824f5cede5ec89"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1NodeIDAllocator.html#ad63e43c65cb7d7cac7824f5cede5ec89">getNumObjects</a> (void) const</td></tr>
 <tr class="memdesc:ad63e43c65cb7d7cac7824f5cede5ec89"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns the total number of memory objects.  <a href="#ad63e43c65cb7d7cac7824f5cede5ec89">More...</a><br /></td></tr>
 <tr class="separator:ad63e43c65cb7d7cac7824f5cede5ec89"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -329,14 +329,14 @@ Static Private Attributes</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ae42c5bb7db4d2142adc2e7e904eb36c7"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae42c5bb7db4d2142adc2e7e904eb36c7">&#9670;&nbsp;</a></span>endSymbolAllocation()</h2>
+<a id="a92b053f79cfa1259603836cb0aacad7d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a92b053f79cfa1259603836cb0aacad7d">&#9670;&nbsp;</a></span>endSymbolAllocation()</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">void SVF::NodeIDAllocator::endSymbolAllocation </td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> SVF::NodeIDAllocator::endSymbolAllocation </td>
           <td>(</td>
           <td class="paramtype">void&#160;</td>
           <td class="paramname"></td><td>)</td>
@@ -348,7 +348,7 @@ Static Private Attributes</h2></td></tr>
 <p>Notify the allocator that all symbols have had IDs allocated. </p>
 
 <p class="definition">Definition at line <a class="el" href="NodeIDAllocator_8cpp_source.html#l00151">151</a> of file <a class="el" href="NodeIDAllocator_8cpp_source.html">NodeIDAllocator.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    {</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;        <a class="code" href="classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96">numSymbols</a> = <a class="code" href="classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62">numNodes</a>;</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    }</div><div class="ttc" id="classSVF_1_1NodeIDAllocator_html_a8e76e0da58f0a5bdbd8118ac419cfa62"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62">SVF::NodeIDAllocator::numNodes</a></div><div class="ttdeci">NodeID numNodes</div><div class="ttdoc">Total number of objects and values allocated. </div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00090">NodeIDAllocator.h:90</a></div></div>
+<div class="fragment"><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    {</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;        <a class="code" href="classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96">numSymbols</a> = <a class="code" href="classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62">numNodes</a>;</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96">numSymbols</a>;</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;    }</div><div class="ttc" id="classSVF_1_1NodeIDAllocator_html_a8e76e0da58f0a5bdbd8118ac419cfa62"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62">SVF::NodeIDAllocator::numNodes</a></div><div class="ttdeci">NodeID numNodes</div><div class="ttdoc">Total number of objects and values allocated. </div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00090">NodeIDAllocator.h:90</a></div></div>
 <div class="ttc" id="classSVF_1_1NodeIDAllocator_html_a3a160f4c6e761a130b863a3df0af7f96"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96">SVF::NodeIDAllocator::numSymbols</a></div><div class="ttdeci">NodeID numSymbols</div><div class="ttdoc">Number of explicit symbols allocated (e.g., llvm::Values), including specials. </div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00088">NodeIDAllocator.h:88</a></div></div>
 </div><!-- fragment -->
 </div>