svf-tools 1.0.306 → 1.0.310

package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html

@@ -79,7 +79,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a899332b210414ac991b57e83851ee5be"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a899332b210414ac991b57e83851ee5be">SVF::ProgSlice::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdoc">Release memory. </div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00206">ProgSlice.cpp:206</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_1CondExpr_html"><div class="ttname"><a href="classSVF_1_1CondExpr.html">SVF::CondExpr</a></div><div class="ttdef"><b>Definition:</b> <a href="Conditions_8h_source.html#l00042">Conditions.h:42</a></div></div>
-<div class="ttc" id="SVFBasicTypes_8h_html_a817abc424f7cfcdec5954c7807970f36"><div class="ttname"><a href="SVFBasicTypes_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a></div><div class="ttdeci">#define DSaber</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00166">SVFBasicTypes.h:166</a></div></div>
+<div class="ttc" id="SVFBasicTypes_8h_html_a817abc424f7cfcdec5954c7807970f36"><div class="ttname"><a href="SVFBasicTypes_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a></div><div class="ttdeci">#define DSaber</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00168">SVFBasicTypes.h:168</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_1ProgSlice_html_af41c438baa739406a35bcb2e9ba431dd"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice::SVFGNodeSetIter</a></div><div class="ttdeci">SVFGNodeSet::const_iterator SVFGNodeSetIter</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00046">ProgSlice.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a62a9f2c107f27d6c04c30ef153ffb8ed"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed">SVF::ProgSlice::isSatisfiableForAll</a></div><div class="ttdeci">bool isSatisfiableForAll()</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00096">ProgSlice.cpp:96</a></div></div>
@@ -103,7 +103,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SaberAnnotator_html_abec0f249cc64d3588e83a68ed12271bf"><div class="ttname"><a href="classSVF_1_1SaberAnnotator.html#abec0f249cc64d3588e83a68ed12271bf">SVF::SaberAnnotator::annotateSinks</a></div><div class="ttdeci">void annotateSinks()</div><div class="ttdef"><b>Definition:</b> <a href="SaberAnnotator_8cpp_source.html#l00055">SaberAnnotator.cpp:55</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a40ca6247fde5e973298e8383f2180203"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a40ca6247fde5e973298e8383f2180203">SVF::ProgSlice::getCallSite</a></div><div class="ttdeci">const CallBlockNode * getCallSite(const SVFGEdge *edge) const</div><div class="ttdoc">Get callsite ID and get returnsiteID from SVFGEdge. </div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00133">ProgSlice.cpp:133</a></div></div>
 <div class="ttc" id="classSVF_1_1CallBlockNode_html"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html">SVF::CallBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
-<div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_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="SVFBasicTypes_8h_source.html#l00147">SVFBasicTypes.h:147</a></div></div>
+<div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_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="SVFBasicTypes_8h_source.html#l00149">SVFBasicTypes.h:149</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00174">WorkList.h:174</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_ab1fdec8d39c9890324718607d7464eab"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#ab1fdec8d39c9890324718607d7464eab">SVF::ProgSlice::annotatePaths</a></div><div class="ttdeci">void annotatePaths()</div><div class="ttdoc">Annotate program according to final condition. </div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00185">ProgSlice.cpp:185</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberAnnotator_html"><div class="ttname"><a href="classSVF_1_1SaberAnnotator.html">SVF::SaberAnnotator</a></div><div class="ttdef"><b>Definition:</b> <a href="SaberAnnotator_8h_source.html#l00043">SaberAnnotator.h:43</a></div></div>

package/SVF-doxygen/html/html/SVFBasicTypes_8h.html

@@ -200,7 +200,7 @@ Typedefs</h2></td></tr>
 <tr class="memitem:a8234d4b959abc9123993bcff4eee34c1"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a> = std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt;</td></tr>
 <tr class="separator:a8234d4b959abc9123993bcff4eee34c1"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a4f21e91ff8eaea5207afe5c60dbd78d7"><td class="memTemplParams" colspan="2">template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Allocator  = std::allocator&lt;Key&gt;&gt; </td></tr>
-<tr class="memitem:a4f21e91ff8eaea5207afe5c60dbd78d7"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a> = <a class="el" href="lib_2CUDD_2CMakeLists_8txt.html#a97d8d30dc013aa2acba4c146fdcb1acf">std::set</a>&lt; Key, Compare, Allocator &gt;</td></tr>
+<tr class="memitem:a4f21e91ff8eaea5207afe5c60dbd78d7"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a> = <a class="el" href="tools_2WPA_2CMakeLists_8txt.html#ae7f9c126d87731a942268db0cad0ac75">std::set</a>&lt; Key, Compare, Allocator &gt;</td></tr>
 <tr class="separator:a4f21e91ff8eaea5207afe5c60dbd78d7"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aedf0d6718ca176e0b9e17ab4b30729c6"><td class="memTemplParams" colspan="2">template&lt;typename Key , typename Value , typename Compare  = std::less&lt;Key&gt;, typename Allocator  = std::allocator&lt;std::pair&lt;const Key, Value&gt;&gt;&gt; </td></tr>
 <tr class="memitem:aedf0d6718ca176e0b9e17ab4b30729c6"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a> = std::map&lt; Key, Value, Compare, Allocator &gt;</td></tr>
@@ -263,7 +263,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00175">175</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00177">177</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -279,7 +279,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00165">165</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00167">167</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -311,7 +311,7 @@ Typedefs</h2></td></tr>
 
 <p>LLVM debug macros, define type of your DEBUG model of each pass. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00147">147</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00149">149</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -327,7 +327,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00161">161</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00163">163</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -343,7 +343,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00168">168</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00170">170</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -359,7 +359,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00157">157</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00159">159</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -375,7 +375,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00158">158</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00160">160</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -391,7 +391,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00159">159</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00161">161</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -409,7 +409,7 @@ Typedefs</h2></td></tr>
 
 <p>General debug flag is for each phase of a pass, it is often in a colorful output format. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00152">152</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00154">154</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -425,7 +425,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00164">164</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00166">166</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -441,7 +441,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00155">155</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00157">157</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -457,7 +457,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00156">156</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00158">158</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -473,7 +473,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00163">163</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00165">165</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -489,7 +489,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00167">167</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00169">169</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -509,7 +509,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00148">148</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00150">150</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -529,7 +529,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00149">149</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00151">151</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -545,7 +545,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00154">154</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00156">156</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -561,7 +561,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00160">160</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00162">162</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -577,7 +577,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00166">166</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00168">168</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -593,7 +593,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00162">162</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00164">164</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -611,7 +611,7 @@ Typedefs</h2></td></tr>
 
 <p>Size of native integer that we'll use for bit vectors, in bits. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00178">178</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00180">180</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -627,7 +627,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00174">174</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00176">176</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>