svf-tools 1.0.460 → 1.0.461
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/FSMPTA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +35 -41
- package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge-members.html +20 -22
- package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +16 -20
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge-members.html +31 -34
- package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +12 -100
- package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge-members.html +17 -19
- package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +11 -15
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge-members.html +19 -21
- package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +17 -21
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge-members.html +17 -19
- package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +12 -16
- package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +1 -1
- package/SVF-doxygen/html/html/functions_a.html +5 -8
- package/SVF-doxygen/html/html/functions_c.html +9 -5
- package/SVF-doxygen/html/html/functions_f.html +6 -4
- package/SVF-doxygen/html/html/functions_func.html +10 -13
- package/SVF-doxygen/html/html/functions_func_g.html +5 -6
- package/SVF-doxygen/html/html/functions_g.html +5 -6
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_m.html +1 -4
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +14 -14
- package/SVF-doxygen/html/html/functions_p.html +11 -11
- package/SVF-doxygen/html/html/functions_r.html +7 -5
- package/SVF-doxygen/html/html/functions_s.html +6 -6
- package/SVF-doxygen/html/html/functions_t.html +6 -4
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_m.html +0 -3
- package/SVF-doxygen/html/html/search/all_1.js +0 -1
- package/SVF-doxygen/html/html/search/all_10.js +8 -8
- package/SVF-doxygen/html/html/search/all_12.js +3 -3
- package/SVF-doxygen/html/html/search/all_13.js +4 -4
- package/SVF-doxygen/html/html/search/all_14.js +6 -6
- package/SVF-doxygen/html/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/all_6.js +1 -1
- package/SVF-doxygen/html/html/search/all_7.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +2 -2
- package/SVF-doxygen/html/html/search/all_d.js +0 -1
- package/SVF-doxygen/html/html/search/all_e.js +6 -6
- package/SVF-doxygen/html/html/search/all_f.js +3 -3
- package/SVF-doxygen/html/html/search/functions_0.js +0 -1
- package/SVF-doxygen/html/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +1 -1
- package/SVF-doxygen/html/html/search/functions_e.js +1 -1
- package/SVF-doxygen/html/html/search/variables_14.js +3 -3
- package/SVF-doxygen/html/html/search/variables_d.js +0 -1
- package/SVF-doxygen/html/html/search/variables_e.js +3 -3
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +2 -2
- package/include/Graphs/SVFGEdge.h +0 -12
- package/package.json +1 -1
|
@@ -136,10 +136,6 @@ Public Member Functions</h2></td></tr>
|
|
|
136
136
|
<tr class="separator:a50ac2e33c6a4a41291c0a476ed07de53"><td class="memSeparator" colspan="2"> </td></tr>
|
|
137
137
|
<tr class="memitem:a30aca718d25924f1babdf348bb0ace71"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71">getPointsTo</a> () const</td></tr>
|
|
138
138
|
<tr class="separator:a30aca718d25924f1babdf348bb0ace71"><td class="memSeparator" colspan="2"> </td></tr>
|
|
139
|
-
<tr class="memitem:ac08d8b88c44881d87c1299d18c943ace"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11">MRVerSet</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace">getMRVer</a> ()</td></tr>
|
|
140
|
-
<tr class="separator:ac08d8b88c44881d87c1299d18c943ace"><td class="memSeparator" colspan="2"> </td></tr>
|
|
141
|
-
<tr class="memitem:a7ac57ccfe31b6cd6bbc6f15ed22a6531"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a7ac57ccfe31b6cd6bbc6f15ed22a6531">addMrVer</a> (const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *mr)</td></tr>
|
|
142
|
-
<tr class="separator:a7ac57ccfe31b6cd6bbc6f15ed22a6531"><td class="memSeparator" colspan="2"> </td></tr>
|
|
143
139
|
<tr class="inherit_header pub_methods_classSVF_1_1VFGEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1VFGEdge')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></td></tr>
|
|
144
140
|
<tr class="memitem:a9a29abd99da3465e07bd62470bd9bb56 inherit pub_methods_classSVF_1_1VFGEdge"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56">VFGEdge</a> (<a class="el" href="classSVF_1_1VFGNode.html">VFGNode</a> *s, <a class="el" href="classSVF_1_1VFGNode.html">VFGNode</a> *d, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
|
|
145
141
|
<tr class="memdesc:a9a29abd99da3465e07bd62470bd9bb56 inherit pub_methods_classSVF_1_1VFGEdge"><td class="mdescLeft"> </td><td class="mdescRight">Constructor. <a href="classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56">More...</a><br /></td></tr>
|
|
@@ -208,8 +204,6 @@ Static Public Member Functions</h2></td></tr>
|
|
|
208
204
|
</table><table class="memberdecls">
|
|
209
205
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
|
|
210
206
|
Private Attributes</h2></td></tr>
|
|
211
|
-
<tr class="memitem:afb265822e2581e4d7fccc47d1b8b2a5c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11">MRVerSet</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#afb265822e2581e4d7fccc47d1b8b2a5c">mrs</a></td></tr>
|
|
212
|
-
<tr class="separator:afb265822e2581e4d7fccc47d1b8b2a5c"><td class="memSeparator" colspan="2"> </td></tr>
|
|
213
207
|
<tr class="memitem:a2d54c1c3567ef6676ba15f88c622e5b7"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7">cpts</a></td></tr>
|
|
214
208
|
<tr class="separator:a2d54c1c3567ef6676ba15f88c622e5b7"><td class="memSeparator" colspan="2"> </td></tr>
|
|
215
209
|
</table><table class="memberdecls">
|
|
@@ -286,42 +280,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
286
280
|
|
|
287
281
|
<p>Constructor. </p>
|
|
288
282
|
|
|
289
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#
|
|
290
|
-
<div class="fragment"><div class="line"><a name="
|
|
283
|
+
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00051">51</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
284
|
+
<div class="fragment"><div class="line"><a name="l00051"></a><span class="lineno"> 51</span>  : <a class="code" href="classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56">VFGEdge</a>(s,d,k)</div><div class="line"><a name="l00052"></a><span class="lineno"> 52</span>  {</div><div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  }</div><div class="ttc" id="classSVF_1_1VFGEdge_html_a9a29abd99da3465e07bd62470bd9bb56"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56">SVF::VFGEdge::VFGEdge</a></div><div class="ttdeci">VFGEdge(VFGNode *s, VFGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00066">VFGEdge.h:66</a></div></div>
|
|
291
285
|
</div><!-- fragment -->
|
|
292
286
|
</div>
|
|
293
287
|
</div>
|
|
294
288
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
295
|
-
<a id="a7ac57ccfe31b6cd6bbc6f15ed22a6531"></a>
|
|
296
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a7ac57ccfe31b6cd6bbc6f15ed22a6531">◆ </a></span>addMrVer()</h2>
|
|
297
|
-
|
|
298
|
-
<div class="memitem">
|
|
299
|
-
<div class="memproto">
|
|
300
|
-
<table class="mlabels">
|
|
301
|
-
<tr>
|
|
302
|
-
<td class="mlabels-left">
|
|
303
|
-
<table class="memname">
|
|
304
|
-
<tr>
|
|
305
|
-
<td class="memname">bool SVF::IndirectSVFGEdge::addMrVer </td>
|
|
306
|
-
<td>(</td>
|
|
307
|
-
<td class="paramtype">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td>
|
|
308
|
-
<td class="paramname"><em>mr</em></td><td>)</td>
|
|
309
|
-
<td></td>
|
|
310
|
-
</tr>
|
|
311
|
-
</table>
|
|
312
|
-
</td>
|
|
313
|
-
<td class="mlabels-right">
|
|
314
|
-
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
315
|
-
</tr>
|
|
316
|
-
</table>
|
|
317
|
-
</div><div class="memdoc">
|
|
318
|
-
|
|
319
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00070">70</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
320
|
-
<div class="fragment"><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  {</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  <span class="comment">// collect memory regions' pts to edge;</span></div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <a class="code" href="classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7">cpts</a> |= mr->getMR()->getPointsTo();</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IndirectSVFGEdge.html#afb265822e2581e4d7fccc47d1b8b2a5c">mrs</a>.insert(mr).second;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  }</div><div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html_a2d54c1c3567ef6676ba15f88c622e5b7"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7">SVF::IndirectSVFGEdge::cpts</a></div><div class="ttdeci">NodeBS cpts</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00049">SVFGEdge.h:49</a></div></div>
|
|
321
|
-
<div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html_afb265822e2581e4d7fccc47d1b8b2a5c"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#afb265822e2581e4d7fccc47d1b8b2a5c">SVF::IndirectSVFGEdge::mrs</a></div><div class="ttdeci">MRVerSet mrs</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00048">SVFGEdge.h:48</a></div></div>
|
|
322
|
-
</div><!-- fragment -->
|
|
323
|
-
</div>
|
|
324
|
-
</div>
|
|
325
289
|
<a id="a50ac2e33c6a4a41291c0a476ed07de53"></a>
|
|
326
290
|
<h2 class="memtitle"><span class="permalink"><a href="#a50ac2e33c6a4a41291c0a476ed07de53">◆ </a></span>addPointsTo()</h2>
|
|
327
291
|
|
|
@@ -348,8 +312,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
348
312
|
|
|
349
313
|
<p>Handle memory region. </p>
|
|
350
314
|
|
|
351
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#
|
|
352
|
-
<div class="fragment"><div class="line"><a name="
|
|
315
|
+
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00056">56</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
316
|
+
<div class="fragment"><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  {</div><div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7">cpts</a> |= c);</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  }</div><div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html_a2d54c1c3567ef6676ba15f88c622e5b7"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7">SVF::IndirectSVFGEdge::cpts</a></div><div class="ttdeci">NodeBS cpts</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00048">SVFGEdge.h:48</a></div></div>
|
|
353
317
|
</div><!-- fragment -->
|
|
354
318
|
</div>
|
|
355
319
|
</div>
|
|
@@ -379,8 +343,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
379
343
|
|
|
380
344
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
381
345
|
|
|
382
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#
|
|
383
|
-
<div class="fragment"><div class="line"><a name="
|
|
346
|
+
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00068">68</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
347
|
+
<div class="fragment"><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  {</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  }</div></div><!-- fragment -->
|
|
384
348
|
</div>
|
|
385
349
|
</div>
|
|
386
350
|
<a id="ad1635bdd79cae91c5a58b5e540f19df1"></a>
|
|
@@ -407,8 +371,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
407
371
|
</table>
|
|
408
372
|
</div><div class="memdoc">
|
|
409
373
|
|
|
410
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#
|
|
411
|
-
<div class="fragment"><div class="line"><a name="
|
|
374
|
+
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00072">72</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
375
|
+
<div class="fragment"><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  {</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">IntraIndirectVF</a> ||</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  edge->getEdgeKind() == <a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145">CallIndVF</a> ||</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  edge->getEdgeKind() == <a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668">RetIndVF</a> ||</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  edge->getEdgeKind() == <a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375">TheadMHPIndirectVF</a>;</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  }</div><div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145">SVF::VFGEdge::CallIndVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00057">VFGEdge.h:57</a></div></div>
|
|
412
376
|
<div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375">SVF::VFGEdge::TheadMHPIndirectVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00059">VFGEdge.h:59</a></div></div>
|
|
413
377
|
<div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">SVF::VFGEdge::IntraIndirectVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00054">VFGEdge.h:54</a></div></div>
|
|
414
378
|
<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>
|
|
@@ -439,42 +403,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
439
403
|
</table>
|
|
440
404
|
</div><div class="memdoc">
|
|
441
405
|
|
|
442
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#
|
|
443
|
-
<div class="fragment"><div class="line"><a name="
|
|
406
|
+
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00079">79</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
407
|
+
<div class="fragment"><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  {</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">IntraIndirectVF</a> ||</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  edge->getEdgeKind() == <a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145">CallIndVF</a> ||</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  edge->getEdgeKind() == <a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668">RetIndVF</a> ||</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  edge->getEdgeKind() == <a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375">TheadMHPIndirectVF</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  }</div><div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145">SVF::VFGEdge::CallIndVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00057">VFGEdge.h:57</a></div></div>
|
|
444
408
|
<div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375">SVF::VFGEdge::TheadMHPIndirectVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00059">VFGEdge.h:59</a></div></div>
|
|
445
409
|
<div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">SVF::VFGEdge::IntraIndirectVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00054">VFGEdge.h:54</a></div></div>
|
|
446
410
|
<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>
|
|
447
411
|
</div><!-- fragment -->
|
|
448
412
|
</div>
|
|
449
413
|
</div>
|
|
450
|
-
<a id="ac08d8b88c44881d87c1299d18c943ace"></a>
|
|
451
|
-
<h2 class="memtitle"><span class="permalink"><a href="#ac08d8b88c44881d87c1299d18c943ace">◆ </a></span>getMRVer()</h2>
|
|
452
|
-
|
|
453
|
-
<div class="memitem">
|
|
454
|
-
<div class="memproto">
|
|
455
|
-
<table class="mlabels">
|
|
456
|
-
<tr>
|
|
457
|
-
<td class="mlabels-left">
|
|
458
|
-
<table class="memname">
|
|
459
|
-
<tr>
|
|
460
|
-
<td class="memname"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11">MRVerSet</a>& SVF::IndirectSVFGEdge::getMRVer </td>
|
|
461
|
-
<td>(</td>
|
|
462
|
-
<td class="paramname"></td><td>)</td>
|
|
463
|
-
<td></td>
|
|
464
|
-
</tr>
|
|
465
|
-
</table>
|
|
466
|
-
</td>
|
|
467
|
-
<td class="mlabels-right">
|
|
468
|
-
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
469
|
-
</tr>
|
|
470
|
-
</table>
|
|
471
|
-
</div><div class="memdoc">
|
|
472
|
-
|
|
473
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00066">66</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
474
|
-
<div class="fragment"><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  {</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IndirectSVFGEdge.html#afb265822e2581e4d7fccc47d1b8b2a5c">mrs</a>;</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  }</div><div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html_afb265822e2581e4d7fccc47d1b8b2a5c"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#afb265822e2581e4d7fccc47d1b8b2a5c">SVF::IndirectSVFGEdge::mrs</a></div><div class="ttdeci">MRVerSet mrs</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00048">SVFGEdge.h:48</a></div></div>
|
|
475
|
-
</div><!-- fragment -->
|
|
476
|
-
</div>
|
|
477
|
-
</div>
|
|
478
414
|
<a id="a30aca718d25924f1babdf348bb0ace71"></a>
|
|
479
415
|
<h2 class="memtitle"><span class="permalink"><a href="#a30aca718d25924f1babdf348bb0ace71">◆ </a></span>getPointsTo()</h2>
|
|
480
416
|
|
|
@@ -498,8 +434,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
498
434
|
</table>
|
|
499
435
|
</div><div class="memdoc">
|
|
500
436
|
|
|
501
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#
|
|
502
|
-
<div class="fragment"><div class="line"><a name="
|
|
437
|
+
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00060">60</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
438
|
+
<div class="fragment"><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  {</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7">cpts</a>;</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  }</div><div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html_a2d54c1c3567ef6676ba15f88c622e5b7"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7">SVF::IndirectSVFGEdge::cpts</a></div><div class="ttdeci">NodeBS cpts</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00048">SVFGEdge.h:48</a></div></div>
|
|
503
439
|
</div><!-- fragment -->
|
|
504
440
|
</div>
|
|
505
441
|
</div>
|
|
@@ -558,30 +494,6 @@ Additional Inherited Members</h2></td></tr>
|
|
|
558
494
|
</table>
|
|
559
495
|
</div><div class="memdoc">
|
|
560
496
|
|
|
561
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00049">49</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
562
|
-
|
|
563
|
-
</div>
|
|
564
|
-
</div>
|
|
565
|
-
<a id="afb265822e2581e4d7fccc47d1b8b2a5c"></a>
|
|
566
|
-
<h2 class="memtitle"><span class="permalink"><a href="#afb265822e2581e4d7fccc47d1b8b2a5c">◆ </a></span>mrs</h2>
|
|
567
|
-
|
|
568
|
-
<div class="memitem">
|
|
569
|
-
<div class="memproto">
|
|
570
|
-
<table class="mlabels">
|
|
571
|
-
<tr>
|
|
572
|
-
<td class="mlabels-left">
|
|
573
|
-
<table class="memname">
|
|
574
|
-
<tr>
|
|
575
|
-
<td class="memname"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11">MRVerSet</a> SVF::IndirectSVFGEdge::mrs</td>
|
|
576
|
-
</tr>
|
|
577
|
-
</table>
|
|
578
|
-
</td>
|
|
579
|
-
<td class="mlabels-right">
|
|
580
|
-
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
581
|
-
</tr>
|
|
582
|
-
</table>
|
|
583
|
-
</div><div class="memdoc">
|
|
584
|
-
|
|
585
497
|
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00048">48</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
586
498
|
|
|
587
499
|
</div>
|
|
@@ -69,25 +69,23 @@ $(function() {
|
|
|
69
69
|
|
|
70
70
|
<p>This is the complete list of members for <a class="el" href="classSVF_1_1IntraIndSVFGEdge.html">SVF::IntraIndSVFGEdge</a>, including all inherited members.</p>
|
|
71
71
|
<table class="directory">
|
|
72
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#
|
|
73
|
-
<tr><td class="entry"><a class="el" href="
|
|
74
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html#
|
|
75
|
-
<tr><td class="entry"><a class="el" href="
|
|
76
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#
|
|
77
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#
|
|
78
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#
|
|
79
|
-
<tr><td class="entry"><a class="el" href="
|
|
80
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#
|
|
81
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#
|
|
82
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#
|
|
83
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#
|
|
84
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#
|
|
85
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#
|
|
86
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#
|
|
87
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#
|
|
88
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#
|
|
89
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">getEdgeKindWithoutMask</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
90
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace">getMRVer</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
72
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53">addPointsTo</a>(const NodeBS &c)</td><td class="entry"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
73
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8383c27feab3f1acc67cacef9744c04a">CallDirVF</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></td><td class="entry"></td></tr>
|
|
74
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145">CallIndVF</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></td><td class="entry"></td></tr>
|
|
75
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#ae1e57e6cc223a06f957c4d6761c35402">classof</a>(const IntraIndSVFGEdge *)</td><td class="entry"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html">SVF::IntraIndSVFGEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
76
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#ac749c96247b6070479ccd597266c1d84">classof</a>(const IndirectSVFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html">SVF::IntraIndSVFGEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
77
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#ad123c668b35ad004f3897565ac69c054">classof</a>(const VFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html">SVF::IntraIndSVFGEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
78
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#a54de415e46849515629ace05fe2afed4">classof</a>(const GenericVFGEdgeTy *edge)</td><td class="entry"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html">SVF::IntraIndSVFGEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
79
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">EdgeKindMask</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
|
|
80
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
|
|
81
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca">equalGEdge</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"></td></tr>
|
|
82
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"></td></tr>
|
|
83
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"></td></tr>
|
|
84
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a6764973569c281d483afab17a75cb4dc">GenericEdge</a>(NodeTy *s, NodeTy *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
85
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
86
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
87
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
88
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">getEdgeKindWithoutMask</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
91
89
|
<tr><td class="entry"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71">getPointsTo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
92
90
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
93
91
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge< NodeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
@@ -98,10 +98,6 @@ Public Member Functions</h2></td></tr>
|
|
|
98
98
|
<tr class="separator:a50ac2e33c6a4a41291c0a476ed07de53 inherit pub_methods_classSVF_1_1IndirectSVFGEdge"><td class="memSeparator" colspan="2"> </td></tr>
|
|
99
99
|
<tr class="memitem:a30aca718d25924f1babdf348bb0ace71 inherit pub_methods_classSVF_1_1IndirectSVFGEdge"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71">getPointsTo</a> () const</td></tr>
|
|
100
100
|
<tr class="separator:a30aca718d25924f1babdf348bb0ace71 inherit pub_methods_classSVF_1_1IndirectSVFGEdge"><td class="memSeparator" colspan="2"> </td></tr>
|
|
101
|
-
<tr class="memitem:ac08d8b88c44881d87c1299d18c943ace inherit pub_methods_classSVF_1_1IndirectSVFGEdge"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11">MRVerSet</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace">getMRVer</a> ()</td></tr>
|
|
102
|
-
<tr class="separator:ac08d8b88c44881d87c1299d18c943ace inherit pub_methods_classSVF_1_1IndirectSVFGEdge"><td class="memSeparator" colspan="2"> </td></tr>
|
|
103
|
-
<tr class="memitem:a7ac57ccfe31b6cd6bbc6f15ed22a6531 inherit pub_methods_classSVF_1_1IndirectSVFGEdge"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a7ac57ccfe31b6cd6bbc6f15ed22a6531">addMrVer</a> (const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *mr)</td></tr>
|
|
104
|
-
<tr class="separator:a7ac57ccfe31b6cd6bbc6f15ed22a6531 inherit pub_methods_classSVF_1_1IndirectSVFGEdge"><td class="memSeparator" colspan="2"> </td></tr>
|
|
105
101
|
<tr class="inherit_header pub_methods_classSVF_1_1VFGEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1VFGEdge')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></td></tr>
|
|
106
102
|
<tr class="memitem:a9a29abd99da3465e07bd62470bd9bb56 inherit pub_methods_classSVF_1_1VFGEdge"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56">VFGEdge</a> (<a class="el" href="classSVF_1_1VFGNode.html">VFGNode</a> *s, <a class="el" href="classSVF_1_1VFGNode.html">VFGNode</a> *d, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
|
|
107
103
|
<tr class="memdesc:a9a29abd99da3465e07bd62470bd9bb56 inherit pub_methods_classSVF_1_1VFGEdge"><td class="mdescLeft"> </td><td class="mdescRight">Constructor. <a href="classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56">More...</a><br /></td></tr>
|
|
@@ -222,7 +218,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
222
218
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
223
219
|
<div class="textblock"><p>Intra <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> edge representing indirect intra-procedural value-flows </p>
|
|
224
220
|
|
|
225
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#
|
|
221
|
+
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00094">94</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
226
222
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
227
223
|
<a id="ab2b1f7610737c6f0a5a94b8a7e629110"></a>
|
|
228
224
|
<h2 class="memtitle"><span class="permalink"><a href="#ab2b1f7610737c6f0a5a94b8a7e629110">◆ </a></span>IntraIndSVFGEdge()</h2>
|
|
@@ -258,8 +254,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
258
254
|
</table>
|
|
259
255
|
</div><div class="memdoc">
|
|
260
256
|
|
|
261
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#
|
|
262
|
-
<div class="fragment"><div class="line"><a name="
|
|
257
|
+
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00098">98</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
258
|
+
<div class="fragment"><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  : <a class="code" href="classSVF_1_1IndirectSVFGEdge.html#a6d40ccc9b99aec6515c2ef1df5a7b18f">IndirectSVFGEdge</a>(s,d,<a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">IntraIndirectVF</a>)</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  {</div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  }</div><div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html_a6d40ccc9b99aec6515c2ef1df5a7b18f"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a6d40ccc9b99aec6515c2ef1df5a7b18f">SVF::IndirectSVFGEdge::IndirectSVFGEdge</a></div><div class="ttdeci">IndirectSVFGEdge(VFGNode *s, VFGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00051">SVFGEdge.h:51</a></div></div>
|
|
263
259
|
<div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">SVF::VFGEdge::IntraIndirectVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00054">VFGEdge.h:54</a></div></div>
|
|
264
260
|
</div><!-- fragment -->
|
|
265
261
|
</div>
|
|
@@ -289,8 +285,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
289
285
|
</table>
|
|
290
286
|
</div><div class="memdoc">
|
|
291
287
|
|
|
292
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#
|
|
293
|
-
<div class="fragment"><div class="line"><a name="
|
|
288
|
+
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00102">102</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
289
|
+
<div class="fragment"><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  {</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  }</div></div><!-- fragment -->
|
|
294
290
|
</div>
|
|
295
291
|
</div>
|
|
296
292
|
<a id="ac749c96247b6070479ccd597266c1d84"></a>
|
|
@@ -317,8 +313,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
317
313
|
</table>
|
|
318
314
|
</div><div class="memdoc">
|
|
319
315
|
|
|
320
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#
|
|
321
|
-
<div class="fragment"><div class="line"><a name="
|
|
316
|
+
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00106">106</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
317
|
+
<div class="fragment"><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  {</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">IntraIndirectVF</a>;</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  }</div><div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">SVF::VFGEdge::IntraIndirectVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00054">VFGEdge.h:54</a></div></div>
|
|
322
318
|
</div><!-- fragment -->
|
|
323
319
|
</div>
|
|
324
320
|
</div>
|
|
@@ -346,8 +342,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
346
342
|
</table>
|
|
347
343
|
</div><div class="memdoc">
|
|
348
344
|
|
|
349
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#
|
|
350
|
-
<div class="fragment"><div class="line"><a name="
|
|
345
|
+
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00110">110</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
346
|
+
<div class="fragment"><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  {</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">IntraIndirectVF</a>;</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  }</div><div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">SVF::VFGEdge::IntraIndirectVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00054">VFGEdge.h:54</a></div></div>
|
|
351
347
|
</div><!-- fragment -->
|
|
352
348
|
</div>
|
|
353
349
|
</div>
|
|
@@ -375,8 +371,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
375
371
|
</table>
|
|
376
372
|
</div><div class="memdoc">
|
|
377
373
|
|
|
378
|
-
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#
|
|
379
|
-
<div class="fragment"><div class="line"><a name="
|
|
374
|
+
<p class="definition">Definition at line <a class="el" href="SVFGEdge_8h_source.html#l00114">114</a> of file <a class="el" href="SVFGEdge_8h_source.html">SVFGEdge.h</a>.</p>
|
|
375
|
+
<div class="fragment"><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  {</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">IntraIndirectVF</a>;</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  }</div><div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">SVF::VFGEdge::IntraIndirectVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00054">VFGEdge.h:54</a></div></div>
|
|
380
376
|
</div><!-- fragment -->
|
|
381
377
|
</div>
|
|
382
378
|
</div>
|
|
@@ -566,10 +566,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
566
566
|
<div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
|
|
567
567
|
<div class="ttc" id="classSVF_1_1SVFG_html_a7ace06b6c893b31f7dec2abe54e33e11"><div class="ttname"><a href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">SVF::SVFG::getSVFGNode</a></div><div class="ttdeci">SVFGNode * getSVFGNode(NodeID id) const</div><div class="ttdoc">Get a SVFG node. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00150">SVFG.h:150</a></div></div>
|
|
568
568
|
<div class="ttc" id="classSVF_1_1VFG_html_aead3b463d9aa2fae5845d97896bd18ba"><div class="ttname"><a href="classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba">SVF::VFG::hasThreadVFGEdge</a></div><div class="ttdeci">VFGEdge * hasThreadVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00875">VFG.cpp:875</a></div></div>
|
|
569
|
-
<div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html_a50ac2e33c6a4a41291c0a476ed07de53"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53">SVF::IndirectSVFGEdge::addPointsTo</a></div><div class="ttdeci">bool addPointsTo(const NodeBS &c)</div><div class="ttdoc">Handle memory region. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#
|
|
569
|
+
<div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html_a50ac2e33c6a4a41291c0a476ed07de53"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53">SVF::IndirectSVFGEdge::addPointsTo</a></div><div class="ttdeci">bool addPointsTo(const NodeBS &c)</div><div class="ttdoc">Handle memory region. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00056">SVFGEdge.h:56</a></div></div>
|
|
570
570
|
<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>
|
|
571
571
|
<div class="ttc" id="classSVF_1_1SVFG_html_a67750c461e3543f6b75d2dd510d67297"><div class="ttname"><a href="classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297">SVF::SVFG::addSVFGEdge</a></div><div class="ttdeci">bool addSVFGEdge(SVFGEdge *edge)</div><div class="ttdoc">Add SVFG edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00243">SVFG.h:243</a></div></div>
|
|
572
|
-
<div class="ttc" id="classSVF_1_1ThreadMHPIndSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1ThreadMHPIndSVFGEdge.html">SVF::ThreadMHPIndSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#
|
|
572
|
+
<div class="ttc" id="classSVF_1_1ThreadMHPIndSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1ThreadMHPIndSVFGEdge.html">SVF::ThreadMHPIndSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00206">SVFGEdge.h:206</a></div></div>
|
|
573
573
|
<div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375">SVF::VFGEdge::TheadMHPIndirectVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00059">VFGEdge.h:59</a></div></div>
|
|
574
574
|
<div class="ttc" id="classSVF_1_1SVFGBuilder_html_a26bc3b9c07472e454bc567cd8746caef"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef">SVF::SVFGBuilder::svfg</a></div><div class="ttdeci">SVFG * svfg</div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8h_source.html#l00117">SVFGBuilder.h:117</a></div></div>
|
|
575
575
|
<div class="ttc" id="classSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00046">VFGNode.h:46</a></div></div>
|
|
@@ -839,7 +839,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
839
839
|
<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00095">SVFBasicTypes.h:95</a></div></div>
|
|
840
840
|
<div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00042">SVFGEdge.h:42</a></div></div>
|
|
841
841
|
<div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00210">GenericGraph.h:210</a></div></div>
|
|
842
|
-
<div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html_a30aca718d25924f1babdf348bb0ace71"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71">SVF::IndirectSVFGEdge::getPointsTo</a></div><div class="ttdeci">const NodeBS & getPointsTo() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#
|
|
842
|
+
<div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html_a30aca718d25924f1babdf348bb0ace71"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71">SVF::IndirectSVFGEdge::getPointsTo</a></div><div class="ttdeci">const NodeBS & getPointsTo() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00060">SVFGEdge.h:60</a></div></div>
|
|
843
843
|
<div class="ttc" id="classSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00046">VFGNode.h:46</a></div></div>
|
|
844
844
|
</div><!-- fragment -->
|
|
845
845
|
</div>
|
|
@@ -1572,7 +1572,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1572
1572
|
<div class="ttc" id="classSVF_1_1SVFGBuilder_html_a26bc3b9c07472e454bc567cd8746caef"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef">SVF::SVFGBuilder::svfg</a></div><div class="ttdeci">SVFG * svfg</div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8h_source.html#l00117">SVFGBuilder.h:117</a></div></div>
|
|
1573
1573
|
<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#l00154">SVFBasicTypes.h:154</a></div></div>
|
|
1574
1574
|
<div class="ttc" id="classSVF_1_1PointsTo_html_a8f741cdffbf3c5fe0f602cdca677dee6"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6">SVF::PointsTo::end</a></div><div class="ttdeci">const_iterator end(void) const</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00131">PointsTo.h:131</a></div></div>
|
|
1575
|
-
<div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html_a30aca718d25924f1babdf348bb0ace71"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71">SVF::IndirectSVFGEdge::getPointsTo</a></div><div class="ttdeci">const NodeBS & getPointsTo() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#
|
|
1575
|
+
<div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html_a30aca718d25924f1babdf348bb0ace71"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71">SVF::IndirectSVFGEdge::getPointsTo</a></div><div class="ttdeci">const NodeBS & getPointsTo() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00060">SVFGEdge.h:60</a></div></div>
|
|
1576
1576
|
</div><!-- fragment -->
|
|
1577
1577
|
</div>
|
|
1578
1578
|
</div>
|
|
@@ -1621,7 +1621,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1621
1621
|
<div class="ttc" id="classSVF_1_1StmtVFGNode_html"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00116">VFGNode.h:116</a></div></div>
|
|
1622
1622
|
<div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00042">SVFGEdge.h:42</a></div></div>
|
|
1623
1623
|
<div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00027">PointsTo.h:27</a></div></div>
|
|
1624
|
-
<div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html_a30aca718d25924f1babdf348bb0ace71"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71">SVF::IndirectSVFGEdge::getPointsTo</a></div><div class="ttdeci">const NodeBS & getPointsTo() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#
|
|
1624
|
+
<div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html_a30aca718d25924f1babdf348bb0ace71"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71">SVF::IndirectSVFGEdge::getPointsTo</a></div><div class="ttdeci">const NodeBS & getPointsTo() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00060">SVFGEdge.h:60</a></div></div>
|
|
1625
1625
|
</div><!-- fragment -->
|
|
1626
1626
|
</div>
|
|
1627
1627
|
</div>
|