svf-tools 1.0.310 → 1.0.314

package/SVF-doxygen/html/html/PTACallGraph_8h_source.html

@@ -91,7 +91,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PTACallGraphNode_html_a57f173a28c2a153d37cb63d451e62973"><div class="ttname"><a href="classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973">SVF::PTACallGraphNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00070">PTACallGraph.cpp:70</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphNode_html_a9cc3b4b46aaf45fd6d08a4995957646c"><div class="ttname"><a href="classSVF_1_1PTACallGraphNode.html#a9cc3b4b46aaf45fd6d08a4995957646c">SVF::PTACallGraphNode::CallGraphEdgeSet</a></div><div class="ttdeci">PTACallGraphEdge::CallGraphEdgeSet CallGraphEdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00178">PTACallGraph.h:178</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_a9738544725458bb022b8d5f2dbd281f7"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7">SVF::PTACallGraphEdge::CEDGEK</a></div><div class="ttdeci">CEDGEK</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00056">PTACallGraph.h:56</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00038">SVFModule.h:38</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraph_html_a7f1ee630caa4ec5e7ad309e1f3865e2e"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a7f1ee630caa4ec5e7ad309e1f3865e2e">SVF::PTACallGraph::~PTACallGraph</a></div><div class="ttdeci">virtual ~PTACallGraph()</div><div class="ttdoc">Destructor. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00267">PTACallGraph.h:267</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00100">SVFBasicTypes.h:100</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_aa34123e6c62c3f152b579510c09984e6"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#aa34123e6c62c3f152b579510c09984e6">SVF::PTACallGraphEdge::PTACallGraphEdge</a></div><div class="ttdeci">PTACallGraphEdge(PTACallGraphNode *s, PTACallGraphNode *d, CEDGEK kind, CallSiteID cs)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00068">PTACallGraph.h:68</a></div></div>
@@ -162,7 +162,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PTACallGraphNode_html_aed9cda1f8347b0078d8cd26691421876"><div class="ttname"><a href="classSVF_1_1PTACallGraphNode.html#aed9cda1f8347b0078d8cd26691421876">SVF::PTACallGraphNode::PTACallGraphNode</a></div><div class="ttdeci">PTACallGraphNode(NodeID i, const SVFFunction *f)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00187">PTACallGraph.h:187</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_a76aa19edf03a4cacfa3e27a21abfcd07"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a76aa19edf03a4cacfa3e27a21abfcd07">SVF::PTACallGraphEdge::getIndirectCalls</a></div><div class="ttdeci">CallInstSet &amp; getIndirectCalls()</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00099">PTACallGraph.h:99</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_a4eaeb2765fdcc455116537dbe2119800"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a4eaeb2765fdcc455116537dbe2119800">SVF::PTACallGraphEdge::makeEdgeFlagWithInvokeID</a></div><div class="ttdeci">static GEdgeFlag makeEdgeFlagWithInvokeID(GEdgeKind k, CallSiteID cs)</div><div class="ttdoc">Compute the unique edgeFlag value from edge kind and CallSiteID. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00077">PTACallGraph.h:77</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericGraph_html"><div class="ttname"><a href="classSVF_1_1GenericGraph.html">SVF::GenericGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00326">GenericGraph.h:326</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html"><div class="ttname"><a href="classSVF_1_1GenericGraph.html">SVF::GenericGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00327">GenericGraph.h:327</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraph_html_ae4e3e5f108bc1e47af8f58d2e43345d2"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#ae4e3e5f108bc1e47af8f58d2e43345d2">SVF::PTACallGraph::CallSiteToIdMap</a></div><div class="ttdeci">Map&lt; CallSitePair, CallSiteID &gt; CallSiteToIdMap</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00226">PTACallGraph.h:226</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphNode_html_a796994541eec90f2b540e24816120aff"><div class="ttname"><a href="classSVF_1_1PTACallGraphNode.html#a796994541eec90f2b540e24816120aff">SVF::PTACallGraphNode::iterator</a></div><div class="ttdeci">PTACallGraphEdge::CallGraphEdgeSet::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00179">PTACallGraph.h:179</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphNode_html"><div class="ttname"><a href="classSVF_1_1PTACallGraphNode.html">SVF::PTACallGraphNode</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00174">PTACallGraph.h:174</a></div></div>