svf-tools 1.0.270 → 1.0.274

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.
Files changed (126) hide show
  1. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
  2. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
  3. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +118 -117
  4. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +5 -5
  5. package/SVF-doxygen/html/html/MemSSA_8h_source.html +17 -17
  6. package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +1 -1
  7. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +88 -87
  8. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +5 -5
  9. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +8 -11
  10. package/SVF-doxygen/html/html/SVFG_8cpp.html +2 -0
  11. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +87 -70
  12. package/SVF-doxygen/html/html/SVFG_8h_source.html +48 -54
  13. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +3 -3
  14. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +24 -24
  15. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +47 -48
  16. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +66 -66
  17. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +50 -52
  18. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +2 -2
  19. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
  20. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +22 -22
  21. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
  22. package/SVF-doxygen/html/html/classSVF_1_1CallMU-members.html +2 -2
  23. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +22 -22
  24. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
  25. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
  26. package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +16 -16
  27. package/SVF-doxygen/html/html/classSVF_1_1EntryCHI.html +20 -20
  28. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
  29. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +2 -2
  30. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +64 -62
  31. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +94 -37
  32. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +29 -27
  33. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +94 -39
  34. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
  35. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +12 -12
  36. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +50 -49
  37. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
  38. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +49 -47
  39. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +145 -30
  40. package/SVF-doxygen/html/html/classSVF_1_1LoadMU-members.html +2 -2
  41. package/SVF-doxygen/html/html/classSVF_1_1LoadMU.html +24 -24
  42. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +2 -2
  43. package/SVF-doxygen/html/html/classSVF_1_1MRVer-members.html +9 -8
  44. package/SVF-doxygen/html/html/classSVF_1_1MRVer.html +33 -0
  45. package/SVF-doxygen/html/html/classSVF_1_1MSSACHI.html +30 -30
  46. package/SVF-doxygen/html/html/classSVF_1_1MSSADEF.html +31 -31
  47. package/SVF-doxygen/html/html/classSVF_1_1MSSAMU-members.html +2 -2
  48. package/SVF-doxygen/html/html/classSVF_1_1MSSAMU.html +47 -47
  49. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHI.html +38 -38
  50. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +12 -12
  51. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +53 -51
  52. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +2 -2
  53. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
  54. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
  55. package/SVF-doxygen/html/html/classSVF_1_1RetMU-members.html +2 -2
  56. package/SVF-doxygen/html/html/classSVF_1_1RetMU.html +20 -20
  57. package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +5 -5
  58. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +237 -136
  59. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
  60. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +5 -5
  61. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +30 -30
  62. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  63. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +2 -2
  64. package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +24 -24
  65. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
  66. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  67. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
  68. package/SVF-doxygen/html/html/functions_a.html +7 -7
  69. package/SVF-doxygen/html/html/functions_c.html +21 -25
  70. package/SVF-doxygen/html/html/functions_f.html +17 -11
  71. package/SVF-doxygen/html/html/functions_func.html +7 -7
  72. package/SVF-doxygen/html/html/functions_func_f.html +2 -2
  73. package/SVF-doxygen/html/html/functions_func_g.html +25 -25
  74. package/SVF-doxygen/html/html/functions_func_i.html +1 -1
  75. package/SVF-doxygen/html/html/functions_func_m.html +1 -1
  76. package/SVF-doxygen/html/html/functions_func_o.html +4 -2
  77. package/SVF-doxygen/html/html/functions_g.html +22 -22
  78. package/SVF-doxygen/html/html/functions_i.html +4 -4
  79. package/SVF-doxygen/html/html/functions_m.html +1 -5
  80. package/SVF-doxygen/html/html/functions_o.html +12 -12
  81. package/SVF-doxygen/html/html/functions_p.html +12 -14
  82. package/SVF-doxygen/html/html/functions_r.html +5 -9
  83. package/SVF-doxygen/html/html/functions_s.html +9 -7
  84. package/SVF-doxygen/html/html/functions_t.html +3 -3
  85. package/SVF-doxygen/html/html/functions_u.html +3 -3
  86. package/SVF-doxygen/html/html/functions_v.html +9 -4
  87. package/SVF-doxygen/html/html/functions_vars_c.html +0 -4
  88. package/SVF-doxygen/html/html/functions_vars_f.html +6 -0
  89. package/SVF-doxygen/html/html/functions_vars_m.html +0 -4
  90. package/SVF-doxygen/html/html/functions_vars_r.html +2 -2
  91. package/SVF-doxygen/html/html/functions_vars_v.html +6 -1
  92. package/SVF-doxygen/html/html/search/all_1.js +7 -7
  93. package/SVF-doxygen/html/html/search/all_10.js +8 -8
  94. package/SVF-doxygen/html/html/search/all_12.js +4 -4
  95. package/SVF-doxygen/html/html/search/all_13.js +5 -5
  96. package/SVF-doxygen/html/html/search/all_14.js +2 -2
  97. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  98. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  99. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  100. package/SVF-doxygen/html/html/search/all_6.js +5 -3
  101. package/SVF-doxygen/html/html/search/all_7.js +6 -9
  102. package/SVF-doxygen/html/html/search/all_9.js +2 -2
  103. package/SVF-doxygen/html/html/search/all_d.js +4 -4
  104. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  105. package/SVF-doxygen/html/html/search/all_f.js +3 -3
  106. package/SVF-doxygen/html/html/search/functions_0.js +7 -7
  107. package/SVF-doxygen/html/html/search/functions_10.js +1 -1
  108. package/SVF-doxygen/html/html/search/functions_5.js +2 -2
  109. package/SVF-doxygen/html/html/search/functions_6.js +6 -9
  110. package/SVF-doxygen/html/html/search/functions_8.js +1 -1
  111. package/SVF-doxygen/html/html/search/functions_b.js +1 -1
  112. package/SVF-doxygen/html/html/search/functions_d.js +2 -2
  113. package/SVF-doxygen/html/html/search/variables_12.js +2 -2
  114. package/SVF-doxygen/html/html/search/variables_16.js +1 -1
  115. package/SVF-doxygen/html/html/search/variables_3.js +0 -1
  116. package/SVF-doxygen/html/html/search/variables_6.js +2 -0
  117. package/SVF-doxygen/html/html/search/variables_d.js +2 -3
  118. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  119. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +28 -28
  120. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
  121. package/include/Graphs/SVFG.h +28 -23
  122. package/include/Graphs/SVFGNode.h +69 -36
  123. package/include/Graphs/SVFGOPT.h +2 -2
  124. package/include/MSSA/MSSAMuChi.h +10 -4
  125. package/lib/Graphs/SVFG.cpp +52 -35
  126. package/package.json +1 -1
@@ -69,7 +69,7 @@ $(function() {
69
69
 
70
70
  <p>This is the complete list of members for <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a>, including all inherited members.</p>
71
71
  <table class="directory">
72
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a179a2aab9b5e81a0aed7611dc89de6ea">ActualOUTSVFGNode</a>(NodeID id, const MemSSA::CALLCHI *c, const CallBlockNode *cal)</td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</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_1ActualOUTSVFGNode.html#acca65d56457f7c4c7f7b30bf4b3e78d0">ActualOUTSVFGNode</a>(NodeID id, const CallBlockNode *cal, const MRVer *resVer)</td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
73
73
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(EdgeType *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
74
74
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(EdgeType *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
75
75
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92">Addr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
@@ -79,76 +79,76 @@ $(function() {
79
79
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb">ARet</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
80
80
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337">BinaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
81
81
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a43b6b3dc747d310f793ca1b3bfa9d05f">CallPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
82
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a0401bc8dfd6f45d3025d2ca1ce32e455">chi</a></td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
83
- <tr><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a810b526c35918ed894c8dc2f95d44cb3">classof</a>(const ActualOUTSVFGNode *)</td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
84
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a12cb923163baad086ca7a6365c74cc6b">classof</a>(const VFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
85
- <tr><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a06dfaac3d2a41fa297a7707fc1240f8f">classof</a>(const GenericVFGNodeTy *node)</td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
86
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html#a22e28a37a013d14964ce832fa23dfb84">SVF::MRSVFGNode::classof</a>(const MRSVFGNode *)</td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
87
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828">Cmp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
88
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
89
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">Copy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
90
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html#a3fc32c474e542ebb3c91adb6b5c1bb1f">cpts</a></td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
91
- <tr><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">cs</a></td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
92
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">directInEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
93
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ab331402aed245c33bad841df2bc21f7b">directInEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
94
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c">directInEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
95
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa7be9ff204bf85bc3bf2fa4e078fcab2">directInEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
96
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
97
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acfae7a2809931cbd62b6f47c4813510d">directOutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
98
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
99
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7f914b128f7839483efc9ad56834e7c2">directOutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
100
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">DummyVProp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
101
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
102
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">FParm</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
103
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5">FPIN</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
104
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09">FPOUT</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
105
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
106
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac8494021a71efb0f6df237ff12561c8d">FunRet</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
107
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
108
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a>(NodeID i, GNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
109
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">Gep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
110
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a83e97bb3480d328b40dd10e2aee16d81">getCallCHI</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
82
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a810b526c35918ed894c8dc2f95d44cb3">classof</a>(const ActualOUTSVFGNode *)</td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
83
+ <tr><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a12cb923163baad086ca7a6365c74cc6b">classof</a>(const VFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
84
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a06dfaac3d2a41fa297a7707fc1240f8f">classof</a>(const GenericVFGNodeTy *node)</td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
85
+ <tr><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html#a22e28a37a013d14964ce832fa23dfb84">SVF::MRSVFGNode::classof</a>(const MRSVFGNode *)</td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
86
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828">Cmp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
87
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
88
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">Copy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
89
+ <tr><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html#a3fc32c474e542ebb3c91adb6b5c1bb1f">cpts</a></td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
90
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">cs</a></td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
91
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">directInEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
92
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ab331402aed245c33bad841df2bc21f7b">directInEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
93
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c">directInEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
94
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa7be9ff204bf85bc3bf2fa4e078fcab2">directInEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
95
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
96
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acfae7a2809931cbd62b6f47c4813510d">directOutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
97
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
98
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7f914b128f7839483efc9ad56834e7c2">directOutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
99
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">DummyVProp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
100
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
101
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">FParm</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
102
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5">FPIN</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
103
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09">FPOUT</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
104
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
105
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac8494021a71efb0f6df237ff12561c8d">FunRet</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
106
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
107
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a>(NodeID i, GNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
108
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">Gep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
111
109
  <tr><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
112
110
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
113
111
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
114
112
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
115
113
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
116
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
118
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html#a59a85a4adee33bc5452996840e30cdd0">getPointsTo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
119
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
120
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
121
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">hasIncomingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
122
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">hasOutgoingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">hasOutgoingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
125
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8">icfgNode</a></td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
126
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
127
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
128
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
129
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
130
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
131
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
132
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
133
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
134
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
135
- <tr><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">MRSVFGNode</a>(NodeID id, VFGNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
136
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
137
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
138
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
139
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
140
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
141
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">OutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
142
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">removeIncomingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
143
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
144
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01">RetPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
145
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de">setICFGNode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
146
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
147
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
148
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">TIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
149
- <tr><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
150
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">TPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
151
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
114
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
115
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
116
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
+ <tr><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html#a59a85a4adee33bc5452996840e30cdd0">getPointsTo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
118
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
119
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
120
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">hasIncomingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
121
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
122
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">hasOutgoingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">hasOutgoingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8">icfgNode</a></td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
125
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
126
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
127
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
128
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
129
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
130
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
131
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
132
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
133
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
134
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">MRSVFGNode</a>(NodeID id, VFGNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
135
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
136
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
137
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
138
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
139
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
140
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">OutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
141
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">removeIncomingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
142
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
143
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01">RetPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
144
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de">setICFGNode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
145
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
146
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
147
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">TIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
148
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
149
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">TPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
150
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
151
+ <tr><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f">ver</a></td><td class="entry"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
152
152
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a>(NodeID i, VFGNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
153
153
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">VFGNodeK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
154
154
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a48a8d05b81b5c8099c3f3d1f2c4983a9">~GenericNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>