svf-tools 1.0.747 → 1.0.748
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.
- package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +5 -4
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver.html +12 -12
- package/SVF-doxygen/html/html/functions_g.html +1 -1
- package/SVF-doxygen/html/html/functions_i.html +1 -1
- package/SVF-doxygen/html/html/functions_type_g.html +1 -1
- package/SVF-doxygen/html/html/functions_type_i.html +1 -1
- package/SVF-doxygen/html/html/search/all_7.js +1 -1
- package/SVF-doxygen/html/html/search/all_9.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_6.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_7.js +1 -1
- package/package.json +1 -1
- package/svf/include/SABER/SrcSnkSolver.h +2 -2
|
@@ -116,13 +116,13 @@ $(function() {
|
|
|
116
116
|
<div class="line"><a name="l00045"></a><span class="lineno"> 45</span> {</div>
|
|
117
117
|
<div class="line"><a name="l00046"></a><span class="lineno"> 46</span>  </div>
|
|
118
118
|
<div class="line"><a name="l00047"></a><span class="lineno"> 47</span> <span class="keyword">public</span>:</div>
|
|
119
|
-
<div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1SrcSnkSolver.html#
|
|
119
|
+
<div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6"> 49</a></span>  <span class="keyword">typedef</span> <a class="code" href="structSVF_1_1GenericGraphTraits.html">SVF::GenericGraphTraits<GraphType></a> <a class="code" href="classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6">GTraits</a>;</div>
|
|
120
120
|
<div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385"> 50</a></span>  <span class="keyword">typedef</span> <span class="keyword">typename</span> GTraits::NodeType <a class="code" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">GNODE</a>;</div>
|
|
121
121
|
<div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f"> 51</a></span>  <span class="keyword">typedef</span> <span class="keyword">typename</span> GTraits::EdgeType <a class="code" href="classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f">GEDGE</a>;</div>
|
|
122
122
|
<div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3"> 52</a></span>  <span class="keyword">typedef</span> <span class="keyword">typename</span> GTraits::nodes_iterator <a class="code" href="classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3">node_iterator</a>;</div>
|
|
123
123
|
<div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e"> 53</a></span>  <span class="keyword">typedef</span> <span class="keyword">typename</span> GTraits::ChildIteratorType <a class="code" href="classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e">child_iterator</a>;</div>
|
|
124
124
|
<div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  </div>
|
|
125
|
-
<div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1SrcSnkSolver.html#
|
|
125
|
+
<div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6"> 56</a></span>  <span class="keyword">typedef</span> <a class="code" href="structSVF_1_1GenericGraphTraits.html">SVF::GenericGraphTraits<SVF::Inverse<GNODE *></a> > <a class="code" href="classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6">InvGTraits</a>;</div>
|
|
126
126
|
<div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78"> 57</a></span>  <span class="keyword">typedef</span> <span class="keyword">typename</span> InvGTraits::ChildIteratorType <a class="code" href="classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78">inv_child_iterator</a>;</div>
|
|
127
127
|
<div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  </div>
|
|
128
128
|
<div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da"> 60</a></span>  <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList<DPIm></a> <a class="code" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">WorkList</a>;</div>
|
|
@@ -244,6 +244,7 @@ $(function() {
|
|
|
244
244
|
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_a49cae8f70144639f529956478a8fca2b"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#a49cae8f70144639f529956478a8fca2b">SVF::SrcSnkSolver::setGraph</a></div><div class="ttdeci">void setGraph(GraphType g)</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00078">SrcSnkSolver.h:78</a></div></div>
|
|
245
245
|
<div class="ttc" id="aclassSVF_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#l00200">WorkList.h:200</a></div></div>
|
|
246
246
|
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_ab37d80b1c7a1ebfa0e19c70792c5129e"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e">SVF::SrcSnkSolver::getNodeIDFromItem</a></div><div class="ttdeci">virtual NodeID getNodeIDFromItem(const DPIm &item) const</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00088">SrcSnkSolver.h:88</a></div></div>
|
|
247
|
+
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_aa786e629a4f1f64291a1de168e597ff6"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6">SVF::SrcSnkSolver::GTraits</a></div><div class="ttdeci">SVF::GenericGraphTraits< GraphType > GTraits</div><div class="ttdoc">Define the GTraits and node iterator.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00049">SrcSnkSolver.h:49</a></div></div>
|
|
247
248
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
|
|
248
249
|
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_ab0a1ee24b5899d54b65f0c7a92b7b52d"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#ab0a1ee24b5899d54b65f0c7a92b7b52d">SVF::SrcSnkSolver::forwardTraverse</a></div><div class="ttdeci">virtual void forwardTraverse(DPIm &it)</div><div class="ttdoc">CFL forward traverse solve.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00093">SrcSnkSolver.h:93</a></div></div>
|
|
249
250
|
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_a18008d5496010aa5f54aade230bd64ff"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff">SVF::SrcSnkSolver::getNode</a></div><div class="ttdeci">GNODE * getNode(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00084">SrcSnkSolver.h:84</a></div></div>
|
|
@@ -251,14 +252,14 @@ $(function() {
|
|
|
251
252
|
<div class="ttc" id="aclassSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
|
|
252
253
|
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver</a></div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00044">SrcSnkSolver.h:44</a></div></div>
|
|
253
254
|
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_aeecbd88066567b2f123e84072dd09941"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941">SVF::SrcSnkSolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00180">SrcSnkSolver.h:180</a></div></div>
|
|
254
|
-
<div class="ttc" id="
|
|
255
|
+
<div class="ttc" id="astructSVF_1_1GenericGraphTraits_html"><div class="ttname"><a href="structSVF_1_1GenericGraphTraits.html">SVF::GenericGraphTraits</a></div><div class="ttdef"><b>Definition:</b> <a href="GraphTraits_8h_source.html#l00036">GraphTraits.h:36</a></div></div>
|
|
256
|
+
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_a7920becf918d7b7a0e67063b19c147a6"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6">SVF::SrcSnkSolver::InvGTraits</a></div><div class="ttdeci">SVF::GenericGraphTraits< SVF::Inverse< GNODE * > > InvGTraits</div><div class="ttdoc">Define inverse GTraits and note iterator.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00056">SrcSnkSolver.h:56</a></div></div>
|
|
255
257
|
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_acb3b73c60427a78ad8dd12d651202d78"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78">SVF::SrcSnkSolver::inv_child_iterator</a></div><div class="ttdeci">InvGTraits::ChildIteratorType inv_child_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00057">SrcSnkSolver.h:57</a></div></div>
|
|
256
258
|
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_a87242199e12fce5c5978ed0a4baa6b09"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09">SVF::SrcSnkSolver::_graph</a></div><div class="ttdeci">GraphType _graph</div><div class="ttdoc">Graph.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00177">SrcSnkSolver.h:177</a></div></div>
|
|
257
259
|
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_a9c2fbfa1a4563ce45726ae79f0f34fcc"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc">SVF::SrcSnkSolver::backwardTraverse</a></div><div class="ttdeci">virtual void backwardTraverse(DPIm &it)</div><div class="ttdoc">CFL forward traverse solve.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00112">SrcSnkSolver.h:112</a></div></div>
|
|
258
260
|
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_aa43dbc79bfde3199a73ce0257613f484"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#aa43dbc79bfde3199a73ce0257613f484">SVF::SrcSnkSolver::FWProcessOutgoingEdge</a></div><div class="ttdeci">virtual void FWProcessOutgoingEdge(const DPIm &item, GEDGE *edge)</div><div class="ttdoc">Propagation for the solving, to be implemented in the child class.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00141">SrcSnkSolver.h:141</a></div></div>
|
|
259
261
|
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_a8cf98a877e4190f3886b4020006f6383"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#a8cf98a877e4190f3886b4020006f6383">SVF::SrcSnkSolver::isWorklistEmpty</a></div><div class="ttdeci">bool isWorklistEmpty()</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00164">SrcSnkSolver.h:164</a></div></div>
|
|
260
262
|
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_a9e8b3a956eb5d1ac2aad095eb132c848"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#a9e8b3a956eb5d1ac2aad095eb132c848">SVF::SrcSnkSolver::BWProcessIncomingEdge</a></div><div class="ttdeci">virtual void BWProcessIncomingEdge(const DPIm &item, GEDGE *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00147">SrcSnkSolver.h:147</a></div></div>
|
|
261
|
-
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_a23cdacd5c5825844d3e28fc79cc924d3"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#a23cdacd5c5825844d3e28fc79cc924d3">SVF::SrcSnkSolver::GTraits</a></div><div class="ttdeci">SVF::GraphTraits< GraphType > GTraits</div><div class="ttdoc">Define the GTraits and node iterator.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00049">SrcSnkSolver.h:49</a></div></div>
|
|
262
263
|
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_a14a76b28f06e167bf66e15b336570cd3"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3">SVF::SrcSnkSolver::node_iterator</a></div><div class="ttdeci">GTraits::nodes_iterator node_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00052">SrcSnkSolver.h:52</a></div></div>
|
|
263
264
|
<div class="ttc" id="aclassSVF_1_1FIFOWorkList_html_ab023f3b60ff61d6729d75f4d2942bd83"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#ab023f3b60ff61d6729d75f4d2942bd83">SVF::FIFOWorkList::find</a></div><div class="ttdeci">bool find(const Data &data) const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00157">WorkList.h:157</a></div></div>
|
|
264
265
|
<div class="ttc" id="aclassSVF_1_1SrcSnkSolver_html_aa9e62efa4443fc8a9dfb79d002c5e1ef"><div class="ttname"><a href="classSVF_1_1SrcSnkSolver.html#aa9e62efa4443fc8a9dfb79d002c5e1ef">SVF::SrcSnkSolver::popFromWorklist</a></div><div class="ttdeci">DPIm popFromWorklist()</div><div class="ttdoc">Worklist operations.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkSolver_8h_source.html#l00156">SrcSnkSolver.h:156</a></div></div>
|
|
@@ -85,9 +85,9 @@ $(function() {
|
|
|
85
85
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e">getNodeIDFromItem</a>(const DPIm &item) const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver< GraphType, DPIm ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
86
86
|
<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< GraphType, DPIm ></a></td><td class="entry"></td></tr>
|
|
87
87
|
<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< GraphType, DPIm ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
88
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#
|
|
88
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6">GTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver< GraphType, DPIm ></a></td><td class="entry"></td></tr>
|
|
89
89
|
<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< GraphType, DPIm ></a></td><td class="entry"></td></tr>
|
|
90
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#
|
|
90
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6">InvGTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver< GraphType, DPIm ></a></td><td class="entry"></td></tr>
|
|
91
91
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a1d9e1f15c9670758b9598e848ce5eeed">isInWorklist</a>(DPIm &item)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver< GraphType, DPIm ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
92
92
|
<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< GraphType, DPIm ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
93
93
|
<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< GraphType, DPIm ></a></td><td class="entry"></td></tr>
|
|
@@ -79,9 +79,9 @@ $(function() {
|
|
|
79
79
|
<table class="memberdecls">
|
|
80
80
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
|
|
81
81
|
Public Types</h2></td></tr>
|
|
82
|
-
<tr class="memitem:
|
|
83
|
-
<tr class="memdesc:
|
|
84
|
-
<tr class="separator:
|
|
82
|
+
<tr class="memitem:aa786e629a4f1f64291a1de168e597ff6"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="structSVF_1_1GenericGraphTraits.html">SVF::GenericGraphTraits</a>< GraphType > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6">GTraits</a></td></tr>
|
|
83
|
+
<tr class="memdesc:aa786e629a4f1f64291a1de168e597ff6"><td class="mdescLeft"> </td><td class="mdescRight">Define the GTraits and node iterator. <a href="classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6">More...</a><br /></td></tr>
|
|
84
|
+
<tr class="separator:aa786e629a4f1f64291a1de168e597ff6"><td class="memSeparator" colspan="2"> </td></tr>
|
|
85
85
|
<tr class="memitem:aad6cad7d89663ac4466f97dac63ee385"><td class="memItemLeft" align="right" valign="top">typedef GTraits::NodeType </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">GNODE</a></td></tr>
|
|
86
86
|
<tr class="separator:aad6cad7d89663ac4466f97dac63ee385"><td class="memSeparator" colspan="2"> </td></tr>
|
|
87
87
|
<tr class="memitem:a6007c2d795370bb48ad120af5474a31f"><td class="memItemLeft" align="right" valign="top">typedef GTraits::EdgeType </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f">GEDGE</a></td></tr>
|
|
@@ -90,9 +90,9 @@ Public Types</h2></td></tr>
|
|
|
90
90
|
<tr class="separator:a14a76b28f06e167bf66e15b336570cd3"><td class="memSeparator" colspan="2"> </td></tr>
|
|
91
91
|
<tr class="memitem:a78684539084301715a665f0aece23c8e"><td class="memItemLeft" align="right" valign="top">typedef GTraits::ChildIteratorType </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e">child_iterator</a></td></tr>
|
|
92
92
|
<tr class="separator:a78684539084301715a665f0aece23c8e"><td class="memSeparator" colspan="2"> </td></tr>
|
|
93
|
-
<tr class="memitem:
|
|
94
|
-
<tr class="memdesc:
|
|
95
|
-
<tr class="separator:
|
|
93
|
+
<tr class="memitem:a7920becf918d7b7a0e67063b19c147a6"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="structSVF_1_1GenericGraphTraits.html">SVF::GenericGraphTraits</a>< <a class="el" href="structSVF_1_1Inverse.html">SVF::Inverse</a>< <a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">GNODE</a> * > > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6">InvGTraits</a></td></tr>
|
|
94
|
+
<tr class="memdesc:a7920becf918d7b7a0e67063b19c147a6"><td class="mdescLeft"> </td><td class="mdescRight">Define inverse GTraits and note iterator. <a href="classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6">More...</a><br /></td></tr>
|
|
95
|
+
<tr class="separator:a7920becf918d7b7a0e67063b19c147a6"><td class="memSeparator" colspan="2"> </td></tr>
|
|
96
96
|
<tr class="memitem:acb3b73c60427a78ad8dd12d651202d78"><td class="memItemLeft" align="right" valign="top">typedef InvGTraits::ChildIteratorType </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78">inv_child_iterator</a></td></tr>
|
|
97
97
|
<tr class="separator:acb3b73c60427a78ad8dd12d651202d78"><td class="memSeparator" colspan="2"> </td></tr>
|
|
98
98
|
<tr class="memitem:a19861635c58ef6db7347c22daabf80da"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList</a>< DPIm > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">WorkList</a></td></tr>
|
|
@@ -212,8 +212,8 @@ template<class GraphType , class DPIm = DPItem> </div>
|
|
|
212
212
|
|
|
213
213
|
</div>
|
|
214
214
|
</div>
|
|
215
|
-
<a id="
|
|
216
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
215
|
+
<a id="aa786e629a4f1f64291a1de168e597ff6"></a>
|
|
216
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aa786e629a4f1f64291a1de168e597ff6">◆ </a></span>GTraits</h2>
|
|
217
217
|
|
|
218
218
|
<div class="memitem">
|
|
219
219
|
<div class="memproto">
|
|
@@ -221,7 +221,7 @@ template<class GraphType , class DPIm = DPItem> </div>
|
|
|
221
221
|
template<class GraphType , class DPIm = DPItem> </div>
|
|
222
222
|
<table class="memname">
|
|
223
223
|
<tr>
|
|
224
|
-
<td class="memname">typedef SVF::
|
|
224
|
+
<td class="memname">typedef <a class="el" href="structSVF_1_1GenericGraphTraits.html">SVF::GenericGraphTraits</a><GraphType> <a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver</a>< GraphType, DPIm >::<a class="el" href="classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6">GTraits</a></td>
|
|
225
225
|
</tr>
|
|
226
226
|
</table>
|
|
227
227
|
</div><div class="memdoc">
|
|
@@ -250,8 +250,8 @@ template<class GraphType , class DPIm = DPItem> </div>
|
|
|
250
250
|
|
|
251
251
|
</div>
|
|
252
252
|
</div>
|
|
253
|
-
<a id="
|
|
254
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
253
|
+
<a id="a7920becf918d7b7a0e67063b19c147a6"></a>
|
|
254
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a7920becf918d7b7a0e67063b19c147a6">◆ </a></span>InvGTraits</h2>
|
|
255
255
|
|
|
256
256
|
<div class="memitem">
|
|
257
257
|
<div class="memproto">
|
|
@@ -259,7 +259,7 @@ template<class GraphType , class DPIm = DPItem> </div>
|
|
|
259
259
|
template<class GraphType , class DPIm = DPItem> </div>
|
|
260
260
|
<table class="memname">
|
|
261
261
|
<tr>
|
|
262
|
-
<td class="memname">typedef SVF::
|
|
262
|
+
<td class="memname">typedef <a class="el" href="structSVF_1_1GenericGraphTraits.html">SVF::GenericGraphTraits</a><<a class="el" href="structSVF_1_1Inverse.html">SVF::Inverse</a><<a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">GNODE</a> *> > <a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver</a>< GraphType, DPIm >::<a class="el" href="classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6">InvGTraits</a></td>
|
|
263
263
|
</tr>
|
|
264
264
|
</table>
|
|
265
265
|
</div><div class="memdoc">
|
|
@@ -3136,7 +3136,7 @@ $(function() {
|
|
|
3136
3136
|
: <a class="el" href="classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b">SVF::GraphReachSolver< GraphType, DPIm ></a>
|
|
3137
3137
|
, <a class="el" href="classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f">SVF::GraphWriter< GraphType ></a>
|
|
3138
3138
|
, <a class="el" href="classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12">SVF::SCCDetection< GraphType ></a>
|
|
3139
|
-
, <a class="el" href="classSVF_1_1SrcSnkSolver.html#
|
|
3139
|
+
, <a class="el" href="classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6">SVF::SrcSnkSolver< GraphType, DPIm ></a>
|
|
3140
3140
|
, <a class="el" href="classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324">SVF::WPAMinimumSolver< GraphType ></a>
|
|
3141
3141
|
, <a class="el" href="classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808">SVF::WPASCCSolver< GraphType ></a>
|
|
3142
3142
|
, <a class="el" href="classSVF_1_1WPASolver.html#a6be76c9bcdfc254a8973a444c369bd23">SVF::WPASolver< GraphType ></a>
|
|
@@ -804,7 +804,7 @@ $(function() {
|
|
|
804
804
|
</li>
|
|
805
805
|
<li>InvGTraits
|
|
806
806
|
: <a class="el" href="classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5">SVF::GraphReachSolver< GraphType, DPIm ></a>
|
|
807
|
-
, <a class="el" href="classSVF_1_1SrcSnkSolver.html#
|
|
807
|
+
, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6">SVF::SrcSnkSolver< GraphType, DPIm ></a>
|
|
808
808
|
</li>
|
|
809
809
|
<li>IRGraph()
|
|
810
810
|
: <a class="el" href="classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28">SVF::IRGraph</a>
|
|
@@ -125,7 +125,7 @@ $(function() {
|
|
|
125
125
|
: <a class="el" href="classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b">SVF::GraphReachSolver< GraphType, DPIm ></a>
|
|
126
126
|
, <a class="el" href="classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f">SVF::GraphWriter< GraphType ></a>
|
|
127
127
|
, <a class="el" href="classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12">SVF::SCCDetection< GraphType ></a>
|
|
128
|
-
, <a class="el" href="classSVF_1_1SrcSnkSolver.html#
|
|
128
|
+
, <a class="el" href="classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6">SVF::SrcSnkSolver< GraphType, DPIm ></a>
|
|
129
129
|
, <a class="el" href="classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324">SVF::WPAMinimumSolver< GraphType ></a>
|
|
130
130
|
, <a class="el" href="classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808">SVF::WPASCCSolver< GraphType ></a>
|
|
131
131
|
, <a class="el" href="classSVF_1_1WPASolver.html#a6be76c9bcdfc254a8973a444c369bd23">SVF::WPASolver< GraphType ></a>
|
|
@@ -152,7 +152,7 @@ $(function() {
|
|
|
152
152
|
</li>
|
|
153
153
|
<li>InvGTraits
|
|
154
154
|
: <a class="el" href="classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5">SVF::GraphReachSolver< GraphType, DPIm ></a>
|
|
155
|
-
, <a class="el" href="classSVF_1_1SrcSnkSolver.html#
|
|
155
|
+
, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6">SVF::SrcSnkSolver< GraphType, DPIm ></a>
|
|
156
156
|
</li>
|
|
157
157
|
<li>Iterator
|
|
158
158
|
: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745">SVF::CFBasicBlockGWTO</a>
|
|
@@ -1011,5 +1011,5 @@ var searchData=
|
|
|
1011
1011
|
['graphwriter_3031',['GraphWriter',['../classSVF_1_1GraphWriter.html',1,'SVF::GraphWriter< GraphType >'],['../classSVF_1_1GraphWriter.html#afd8fec784307b919d1cb89b49533600e',1,'SVF::GraphWriter::GraphWriter()']]],
|
|
1012
1012
|
['graphwriter_2ecpp_3032',['GraphWriter.cpp',['../GraphWriter_8cpp.html',1,'']]],
|
|
1013
1013
|
['graphwriter_2eh_3033',['GraphWriter.h',['../GraphWriter_8h.html',1,'']]],
|
|
1014
|
-
['gtraits_3034',['GTraits',['../classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f',1,'SVF::GraphWriter::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#
|
|
1014
|
+
['gtraits_3034',['GTraits',['../classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f',1,'SVF::GraphWriter::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b',1,'SVF::GraphReachSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a6be76c9bcdfc254a8973a444c369bd23',1,'SVF::WPASolver::GTraits()']]]
|
|
1015
1015
|
];
|
|
@@ -232,7 +232,7 @@ var searchData=
|
|
|
232
232
|
['inverse_3456',['Inverse',['../structSVF_1_1Inverse.html',1,'SVF::Inverse< GraphType >'],['../structSVF_1_1Inverse.html#a9bff8acbcb891eeaeb6a9324312358a0',1,'SVF::Inverse::Inverse()']]],
|
|
233
233
|
['inverse_5fchildren_3457',['inverse_children',['../namespaceSVF.html#a155eb379cf271ac550333afb13cb36fa',1,'SVF']]],
|
|
234
234
|
['inverse_5fnodes_3458',['inverse_nodes',['../namespaceSVF.html#a6506af0b08e86390c0e4786b6ee294ae',1,'SVF']]],
|
|
235
|
-
['invgtraits_3459',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#
|
|
235
|
+
['invgtraits_3459',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6',1,'SVF::SrcSnkSolver::InvGTraits()'],['../classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5',1,'SVF::GraphReachSolver::InvGTraits()']]],
|
|
236
236
|
['invokeinst_3460',['InvokeInst',['../namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f',1,'SVF']]],
|
|
237
237
|
['irbuilder_3461',['IRBuilder',['../namespaceSVF.html#a94824519e439aeef1568d415b6f7331c',1,'SVF']]],
|
|
238
238
|
['irgraph_3462',['IRGraph',['../classSVF_1_1IRGraph.html',1,'SVF::IRGraph'],['../classSVF_1_1SVFVar.html#a6755ed387e15f44ffb637f64a0af60bc',1,'SVF::SVFVar::IRGraph()'],['../classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28',1,'SVF::IRGraph::IRGraph()']]],
|
|
@@ -51,5 +51,5 @@ var searchData=
|
|
|
51
51
|
['gnodestack_12207',['GNodeStack',['../classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289',1,'SVF::SCCDetection']]],
|
|
52
52
|
['graphprinter_12208',['GraphPrinter',['../namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9',1,'SVF']]],
|
|
53
53
|
['graphtype_12209',['GraphType',['../classSVF_1_1GenericGraphWriter.html#a2c6d4c492b073f1b11440f606ed3cc92',1,'SVF::GenericGraphWriter']]],
|
|
54
|
-
['gtraits_12210',['GTraits',['../classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f',1,'SVF::GraphWriter::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#
|
|
54
|
+
['gtraits_12210',['GTraits',['../classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f',1,'SVF::GraphWriter::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b',1,'SVF::GraphReachSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a6be76c9bcdfc254a8973a444c369bd23',1,'SVF::WPASolver::GTraits()']]]
|
|
55
55
|
];
|
|
@@ -33,7 +33,7 @@ var searchData=
|
|
|
33
33
|
['intraphisvfgnode_12241',['IntraPHISVFGNode',['../namespaceSVF.html#ad772e1586e369943f37c22641e93e941',1,'SVF']]],
|
|
34
34
|
['inttoptrinst_12242',['IntToPtrInst',['../namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb',1,'SVF']]],
|
|
35
35
|
['inv_5fchild_5fiterator_12243',['inv_child_iterator',['../classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78',1,'SVF::SrcSnkSolver::inv_child_iterator()'],['../classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91',1,'SVF::GraphReachSolver::inv_child_iterator()']]],
|
|
36
|
-
['invgtraits_12244',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#
|
|
36
|
+
['invgtraits_12244',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6',1,'SVF::SrcSnkSolver::InvGTraits()'],['../classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5',1,'SVF::GraphReachSolver::InvGTraits()']]],
|
|
37
37
|
['invokeinst_12245',['InvokeInst',['../namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f',1,'SVF']]],
|
|
38
38
|
['irbuilder_12246',['IRBuilder',['../namespaceSVF.html#a94824519e439aeef1568d415b6f7331c',1,'SVF']]],
|
|
39
39
|
['irgraphreader_12247',['IRGraphReader',['../namespaceSVF.html#a6244a8e4925ec6b34a7d0958dbf5a8f3',1,'SVF']]],
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "svf-tools",
|
|
3
|
-
"version": "1.0.
|
|
3
|
+
"version": "1.0.748",
|
|
4
4
|
"description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
|
|
5
5
|
"main": "index.js",
|
|
6
6
|
"scripts": {
|
|
@@ -46,14 +46,14 @@ class SrcSnkSolver
|
|
|
46
46
|
|
|
47
47
|
public:
|
|
48
48
|
///Define the GTraits and node iterator
|
|
49
|
-
typedef SVF::
|
|
49
|
+
typedef SVF::GenericGraphTraits<GraphType> GTraits;
|
|
50
50
|
typedef typename GTraits::NodeType GNODE;
|
|
51
51
|
typedef typename GTraits::EdgeType GEDGE;
|
|
52
52
|
typedef typename GTraits::nodes_iterator node_iterator;
|
|
53
53
|
typedef typename GTraits::ChildIteratorType child_iterator;
|
|
54
54
|
|
|
55
55
|
/// Define inverse GTraits and note iterator
|
|
56
|
-
typedef SVF::
|
|
56
|
+
typedef SVF::GenericGraphTraits<SVF::Inverse<GNODE *> > InvGTraits;
|
|
57
57
|
typedef typename InvGTraits::ChildIteratorType inv_child_iterator;
|
|
58
58
|
|
|
59
59
|
/// Define worklist
|