svf-tools 1.0.425 → 1.0.428

package/SVF-doxygen/html/html/VFGEdge_8h_source.html

@@ -106,7 +106,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1VFGEdge_html_ae14a5f58064e6c08b53a3cffcc050077"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#ae14a5f58064e6c08b53a3cffcc050077">SVF::VFGEdge::isCallIndirectVFGEdge</a></div><div class="ttdeci">bool isCallIndirectVFGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00100">VFGEdge.h:100</a></div></div>
 <div class="ttc" id="classSVF_1_1RetDirSVFGEdge_html_a86ef0a34735096e86d3731cd6ecf769a"><div class="ttname"><a href="classSVF_1_1RetDirSVFGEdge.html#a86ef0a34735096e86d3731cd6ecf769a">SVF::RetDirSVFGEdge::getCallSiteId</a></div><div class="ttdeci">CallSiteID getCallSiteId() const</div><div class="ttdoc">Return callsite ID. </div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00266">VFGEdge.h:266</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a8777555f00696706de250159b920d14b"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a8777555f00696706de250159b920d14b">SVF::VFGEdge::isDirectVFGEdge</a></div><div class="ttdeci">bool isDirectVFGEdge() const</div><div class="ttdoc">Get methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00076">VFGEdge.h:76</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00089">SVFBasicTypes.h:89</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a6260283036620da17d8b3686bad691a4"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a6260283036620da17d8b3686bad691a4">SVF::VFGEdge::operator&lt;&lt;</a></div><div class="ttdeci">friend OutStream &amp; operator&lt;&lt;(OutStream &amp;o, const VFGEdge &amp;edge)</div><div class="ttdoc">Overloading operator &lt;&lt; for dumping ICFG node ID. </div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00127">VFGEdge.h:127</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a35e826ecdbdc55cb72aaec6c91419b0d"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a35e826ecdbdc55cb72aaec6c91419b0d">SVF::VFGEdge::~VFGEdge</a></div><div class="ttdeci">~VFGEdge()</div><div class="ttdoc">Destructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00070">VFGEdge.h:70</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraDirSVFGEdge_html_a2157a56f5d707a946e2ad54219fdc69a"><div class="ttname"><a href="classSVF_1_1IntraDirSVFGEdge.html#a2157a56f5d707a946e2ad54219fdc69a">SVF::IntraDirSVFGEdge::IntraDirSVFGEdge</a></div><div class="ttdeci">IntraDirSVFGEdge(VFGNode *s, VFGNode *d)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00181">VFGEdge.h:181</a></div></div>
@@ -126,7 +126,7 @@ $(function() {
 <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_a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668">SVF::VFGEdge::RetIndVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00058">VFGEdge.h:58</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="namespaceSVF_html_a8bd74fdcb0e58d0249003df9c3fb8b31"><div class="ttname"><a href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF::OutStream</a></div><div class="ttdeci">std::ostream OutStream</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00075">SVFBasicTypes.h:75</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8bd74fdcb0e58d0249003df9c3fb8b31"><div class="ttname"><a href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF::OutStream</a></div><div class="ttdeci">std::ostream OutStream</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00079">SVFBasicTypes.h:79</a></div></div>
 <div class="ttc" id="classSVF_1_1RetDirSVFGEdge_html_ad794858b1424836850d55e66376de2c3"><div class="ttname"><a href="classSVF_1_1RetDirSVFGEdge.html#ad794858b1424836850d55e66376de2c3">SVF::RetDirSVFGEdge::classof</a></div><div class="ttdeci">static bool classof(const DirectSVFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00276">VFGEdge.h:276</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_af1c2fd4b5ef1d7b7605572bf2489c298"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">SVF::GenericEdge::EdgeKindMaskBits</a></div><div class="ttdeci">static constexpr unsigned char EdgeKindMaskBits</div><div class="ttdoc">We use the lower 8 bits to denote edge kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00119">GenericGraph.h:119</a></div></div>
 <div class="ttc" id="classSVF_1_1RetDirSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1RetDirSVFGEdge.html">SVF::RetDirSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00254">VFGEdge.h:254</a></div></div>