svf-tools 1.0.330 → 1.0.331

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 (212) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +4 -4
  2. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +4 -4
  3. package/SVF-doxygen/html/html/CSC_8cpp_source.html +2 -3
  4. package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +3 -3
  5. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +5 -5
  6. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +2 -2
  7. package/SVF-doxygen/html/html/ConsG_8h_source.html +4 -4
  8. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +5 -5
  9. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +6 -6
  10. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
  11. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
  12. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +2 -2
  13. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +6 -7
  14. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/html/IRGraph_8h_source.html +1 -1
  16. package/SVF-doxygen/html/html/LocationSet_8cpp.html +1 -0
  17. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +12 -15
  18. package/SVF-doxygen/html/html/LocationSet_8h.html +1 -1
  19. package/SVF-doxygen/html/html/LocationSet_8h_source.html +26 -40
  20. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +5 -5
  21. package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +1 -1
  22. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
  23. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +14 -14
  24. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +6 -6
  25. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +5 -5
  26. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +6 -6
  27. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +6 -7
  28. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +32 -32
  29. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +12 -12
  30. package/SVF-doxygen/html/html/SVFIR_8h_source.html +12 -12
  31. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +3 -3
  32. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +2 -2
  33. package/SVF-doxygen/html/html/SVFVariables_8h.html +1 -1
  34. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +69 -69
  35. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +3 -3
  36. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +21 -21
  37. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
  38. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +52 -53
  39. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +72 -75
  40. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +3 -3
  41. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +13 -13
  42. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +2 -2
  43. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
  44. package/SVF-doxygen/html/html/annotated.html +6 -6
  45. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +4 -4
  46. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +5 -5
  47. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +9 -9
  48. package/SVF-doxygen/html/html/classSVF_1_1CSC.html +2 -3
  49. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +11 -11
  50. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +11 -11
  51. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar-members.html +56 -55
  52. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +44 -41
  53. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.png +0 -0
  54. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +3 -3
  55. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
  56. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +43 -43
  57. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +4 -4
  58. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +1 -1
  59. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +11 -11
  60. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +11 -11
  61. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +13 -13
  62. package/SVF-doxygen/html/html/classSVF_1_1FlattenedFieldInfo-members.html +85 -0
  63. package/SVF-doxygen/html/html/classSVF_1_1FlattenedFieldInfo.html +254 -0
  64. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +2 -2
  65. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +1 -1
  66. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +3 -3
  67. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +6 -6
  68. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +22 -23
  69. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  70. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar-members.html +173 -0
  71. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +813 -0
  72. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.png +0 -0
  73. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +2 -2
  74. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator-members.html +1 -1
  75. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +8 -8
  76. package/SVF-doxygen/html/html/classSVF_1_1LocationSet-members.html +17 -21
  77. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +150 -326
  78. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +6 -6
  79. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +84 -84
  80. package/SVF-doxygen/html/html/classSVF_1_1NormalGepCGEdge.html +2 -2
  81. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +2 -2
  82. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +96 -96
  83. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +5 -5
  84. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.png +0 -0
  85. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  86. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +14 -14
  87. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +8 -8
  88. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +11 -11
  89. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +26 -26
  90. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +114 -115
  91. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +4 -4
  92. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.png +0 -0
  93. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +3 -3
  94. package/SVF-doxygen/html/html/classSVF_1_1StInfo-members.html +11 -14
  95. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +70 -168
  96. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +30 -30
  97. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo-members.html +59 -60
  98. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +118 -146
  99. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
  100. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +18 -18
  101. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +11 -11
  102. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
  103. package/SVF-doxygen/html/html/classes.html +6 -6
  104. package/SVF-doxygen/html/html/functions_a.html +13 -10
  105. package/SVF-doxygen/html/html/functions_b.html +1 -5
  106. package/SVF-doxygen/html/html/functions_c.html +6 -8
  107. package/SVF-doxygen/html/html/functions_d.html +1 -1
  108. package/SVF-doxygen/html/html/functions_e.html +0 -16
  109. package/SVF-doxygen/html/html/functions_f.html +21 -19
  110. package/SVF-doxygen/html/html/functions_func.html +15 -12
  111. package/SVF-doxygen/html/html/functions_func_c.html +2 -2
  112. package/SVF-doxygen/html/html/functions_func_d.html +1 -1
  113. package/SVF-doxygen/html/html/functions_func_e.html +2 -8
  114. package/SVF-doxygen/html/html/functions_func_f.html +4 -4
  115. package/SVF-doxygen/html/html/functions_func_g.html +39 -60
  116. package/SVF-doxygen/html/html/functions_func_i.html +11 -14
  117. package/SVF-doxygen/html/html/functions_func_s.html +6 -9
  118. package/SVF-doxygen/html/html/functions_func_t.html +1 -1
  119. package/SVF-doxygen/html/html/functions_func_w.html +1 -1
  120. package/SVF-doxygen/html/html/functions_g.html +38 -59
  121. package/SVF-doxygen/html/html/functions_i.html +6 -9
  122. package/SVF-doxygen/html/html/functions_l.html +1 -1
  123. package/SVF-doxygen/html/html/functions_n.html +4 -7
  124. package/SVF-doxygen/html/html/functions_o.html +21 -16
  125. package/SVF-doxygen/html/html/functions_p.html +16 -14
  126. package/SVF-doxygen/html/html/functions_s.html +15 -18
  127. package/SVF-doxygen/html/html/functions_t.html +4 -4
  128. package/SVF-doxygen/html/html/functions_type_e.html +0 -4
  129. package/SVF-doxygen/html/html/functions_type_o.html +3 -0
  130. package/SVF-doxygen/html/html/functions_v.html +3 -3
  131. package/SVF-doxygen/html/html/functions_vars_b.html +1 -5
  132. package/SVF-doxygen/html/html/functions_vars_e.html +0 -6
  133. package/SVF-doxygen/html/html/functions_vars_f.html +9 -7
  134. package/SVF-doxygen/html/html/functions_vars_l.html +1 -1
  135. package/SVF-doxygen/html/html/functions_vars_n.html +0 -3
  136. package/SVF-doxygen/html/html/functions_vars_o.html +2 -2
  137. package/SVF-doxygen/html/html/functions_w.html +1 -1
  138. package/SVF-doxygen/html/html/hierarchy.html +64 -64
  139. package/SVF-doxygen/html/html/namespaceSVF.html +3 -3
  140. package/SVF-doxygen/html/html/search/all_1.js +3 -2
  141. package/SVF-doxygen/html/html/search/all_10.js +8 -8
  142. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  143. package/SVF-doxygen/html/html/search/all_13.js +9 -10
  144. package/SVF-doxygen/html/html/search/all_14.js +7 -7
  145. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  146. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  147. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  148. package/SVF-doxygen/html/html/search/all_2.js +2 -3
  149. package/SVF-doxygen/html/html/search/all_3.js +3 -3
  150. package/SVF-doxygen/html/html/search/all_4.js +1 -1
  151. package/SVF-doxygen/html/html/search/all_5.js +0 -5
  152. package/SVF-doxygen/html/html/search/all_6.js +6 -5
  153. package/SVF-doxygen/html/html/search/all_7.js +13 -21
  154. package/SVF-doxygen/html/html/search/all_9.js +1 -2
  155. package/SVF-doxygen/html/html/search/all_c.js +2 -2
  156. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  157. package/SVF-doxygen/html/html/search/all_e.js +1 -2
  158. package/SVF-doxygen/html/html/search/all_f.js +4 -3
  159. package/SVF-doxygen/html/html/search/classes_5.js +1 -1
  160. package/SVF-doxygen/html/html/search/classes_6.js +1 -1
  161. package/SVF-doxygen/html/html/search/functions_0.js +3 -2
  162. package/SVF-doxygen/html/html/search/functions_10.js +2 -3
  163. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  164. package/SVF-doxygen/html/html/search/functions_14.js +1 -1
  165. package/SVF-doxygen/html/html/search/functions_2.js +2 -2
  166. package/SVF-doxygen/html/html/search/functions_3.js +1 -1
  167. package/SVF-doxygen/html/html/search/functions_4.js +0 -2
  168. package/SVF-doxygen/html/html/search/functions_5.js +1 -1
  169. package/SVF-doxygen/html/html/search/functions_6.js +13 -21
  170. package/SVF-doxygen/html/html/search/functions_8.js +1 -2
  171. package/SVF-doxygen/html/html/search/functions_a.js +1 -1
  172. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  173. package/SVF-doxygen/html/html/search/typedefs_4.js +0 -1
  174. package/SVF-doxygen/html/html/search/typedefs_e.js +1 -0
  175. package/SVF-doxygen/html/html/search/variables_14.js +3 -3
  176. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  177. package/SVF-doxygen/html/html/search/variables_2.js +2 -3
  178. package/SVF-doxygen/html/html/search/variables_5.js +0 -2
  179. package/SVF-doxygen/html/html/search/variables_6.js +5 -4
  180. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  181. package/SVF-doxygen/html/html/search/variables_e.js +0 -1
  182. package/SVF-doxygen/html/html/search/variables_f.js +1 -1
  183. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  184. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  185. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +1 -1
  186. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html +5 -5
  187. package/include/Graphs/ConsG.h +1 -1
  188. package/include/Graphs/ConsGEdge.h +1 -1
  189. package/include/MemoryModel/LocationSet.h +39 -126
  190. package/include/MemoryModel/SVFIR.h +1 -1
  191. package/include/MemoryModel/SVFStatements.h +1 -1
  192. package/include/MemoryModel/SVFVariables.h +17 -11
  193. package/include/MemoryModel/SymbolTableInfo.h +27 -25
  194. package/include/Util/IRAnnotator.h +3 -3
  195. package/lib/DDA/ContextDDA.cpp +1 -1
  196. package/lib/Graphs/ConsG.cpp +1 -1
  197. package/lib/Graphs/IRGraph.cpp +1 -1
  198. package/lib/Graphs/OfflineConsG.cpp +1 -1
  199. package/lib/MemoryModel/LocationSet.cpp +53 -95
  200. package/lib/MemoryModel/PointerAnalysisImpl.cpp +4 -4
  201. package/lib/MemoryModel/SVFIR.cpp +4 -4
  202. package/lib/MemoryModel/SVFVariables.cpp +2 -2
  203. package/lib/MemoryModel/SymbolTableInfo.cpp +36 -63
  204. package/lib/SABER/SaberSVFGBuilder.cpp +1 -1
  205. package/lib/SVF-FE/SVFIRBuilder.cpp +9 -10
  206. package/lib/SVF-FE/SymbolTableBuilder.cpp +4 -4
  207. package/lib/Util/TypeBasedHeapCloning.cpp +10 -10
  208. package/lib/WPA/Andersen.cpp +1 -1
  209. package/lib/WPA/AndersenSFR.cpp +2 -2
  210. package/lib/WPA/CSC.cpp +1 -1
  211. package/lib/WPA/FlowSensitiveTBHC.cpp +6 -6
  212. package/package.json +1 -1
@@ -77,7 +77,7 @@ Inheritance diagram for SVF::CloneGepObjVar:</div>
77
77
  <div class="center">
78
78
  <img src="classSVF_1_1CloneGepObjVar.png" usemap="#SVF::CloneGepObjVar_map" alt=""/>
79
79
  <map id="SVF::CloneGepObjVar_map" name="SVF::CloneGepObjVar_map">
80
- <area href="classSVF_1_1GepObjPN.html" alt="SVF::GepObjPN" shape="rect" coords="0,168,245,192"/>
80
+ <area href="classSVF_1_1GepObjVar.html" alt="SVF::GepObjVar" shape="rect" coords="0,168,245,192"/>
81
81
  <area href="classSVF_1_1ObjVar.html" alt="SVF::ObjVar" shape="rect" coords="0,112,245,136"/>
82
82
  <area href="classSVF_1_1SVFVar.html" alt="SVF::SVFVar" shape="rect" coords="0,56,245,80"/>
83
83
  <area href="classSVF_1_1GenericNode.html" alt="SVF::GenericNode&lt; NodeTy, EdgeTy &gt;" shape="rect" coords="0,0,245,24"/>
@@ -94,22 +94,25 @@ Public Member Functions</h2></td></tr>
94
94
  <tr class="separator:a9d4cf31155950c889b5965566ab3d45e"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
95
  <tr class="memitem:a74e6fea7dc651c57de3e06ff356522a5"><td class="memItemLeft" align="right" valign="top">virtual const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CloneGepObjVar.html#a74e6fea7dc651c57de3e06ff356522a5">toString</a> () const</td></tr>
96
96
  <tr class="separator:a74e6fea7dc651c57de3e06ff356522a5"><td class="memSeparator" colspan="2">&#160;</td></tr>
97
- <tr class="inherit_header pub_methods_classSVF_1_1GepObjPN"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1GepObjPN')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1GepObjPN.html">SVF::GepObjPN</a></td></tr>
98
- <tr class="memitem:aadf56cdc45296514f142306e2556dcc1 inherit pub_methods_classSVF_1_1GepObjPN"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#aadf56cdc45296514f142306e2556dcc1">GepObjPN</a> (const <a class="el" href="classSVF_1_1MemObj.html">MemObj</a> *<a class="el" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i, const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;l, <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff">PNODEK</a> ty=<a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">GepObjNode</a>)</td></tr>
99
- <tr class="memdesc:aadf56cdc45296514f142306e2556dcc1 inherit pub_methods_classSVF_1_1GepObjPN"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor. <a href="classSVF_1_1GepObjPN.html#aadf56cdc45296514f142306e2556dcc1">More...</a><br /></td></tr>
100
- <tr class="separator:aadf56cdc45296514f142306e2556dcc1 inherit pub_methods_classSVF_1_1GepObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
101
- <tr class="memitem:aeb05e3a512e89c7af36c675e0efeec7e inherit pub_methods_classSVF_1_1GepObjPN"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#aeb05e3a512e89c7af36c675e0efeec7e">getLocationSet</a> () const</td></tr>
102
- <tr class="memdesc:aeb05e3a512e89c7af36c675e0efeec7e inherit pub_methods_classSVF_1_1GepObjPN"><td class="mdescLeft">&#160;</td><td class="mdescRight">offset of the mem object <a href="classSVF_1_1GepObjPN.html#aeb05e3a512e89c7af36c675e0efeec7e">More...</a><br /></td></tr>
103
- <tr class="separator:aeb05e3a512e89c7af36c675e0efeec7e inherit pub_methods_classSVF_1_1GepObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
104
- <tr class="memitem:acf31acd60973d04b047fbc2e8d4ad4bf inherit pub_methods_classSVF_1_1GepObjPN"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#acf31acd60973d04b047fbc2e8d4ad4bf">setBaseNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GepObjPN.html#ae67e495253fc881c24ef21e1f87e2fa6">base</a>)</td></tr>
105
- <tr class="memdesc:acf31acd60973d04b047fbc2e8d4ad4bf inherit pub_methods_classSVF_1_1GepObjPN"><td class="mdescLeft">&#160;</td><td class="mdescRight">Set the base object from which this GEP node came from. <a href="classSVF_1_1GepObjPN.html#acf31acd60973d04b047fbc2e8d4ad4bf">More...</a><br /></td></tr>
106
- <tr class="separator:acf31acd60973d04b047fbc2e8d4ad4bf inherit pub_methods_classSVF_1_1GepObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
107
- <tr class="memitem:aefa0383972a9c68e487ccf989a7e500c inherit pub_methods_classSVF_1_1GepObjPN"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#aefa0383972a9c68e487ccf989a7e500c">getBaseNode</a> (void) const</td></tr>
108
- <tr class="memdesc:aefa0383972a9c68e487ccf989a7e500c inherit pub_methods_classSVF_1_1GepObjPN"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the base object from which this GEP node came from. <a href="classSVF_1_1GepObjPN.html#aefa0383972a9c68e487ccf989a7e500c">More...</a><br /></td></tr>
109
- <tr class="separator:aefa0383972a9c68e487ccf989a7e500c inherit pub_methods_classSVF_1_1GepObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
110
- <tr class="memitem:a685d6a3464890ba08d8d018ce2e8e3ff inherit pub_methods_classSVF_1_1GepObjPN"><td class="memItemLeft" align="right" valign="top">virtual const llvm::Type *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff">getType</a> () const</td></tr>
111
- <tr class="memdesc:a685d6a3464890ba08d8d018ce2e8e3ff inherit pub_methods_classSVF_1_1GepObjPN"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the type of this gep object. <a href="classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff">More...</a><br /></td></tr>
112
- <tr class="separator:a685d6a3464890ba08d8d018ce2e8e3ff inherit pub_methods_classSVF_1_1GepObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
97
+ <tr class="inherit_header pub_methods_classSVF_1_1GepObjVar"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1GepObjVar')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></td></tr>
98
+ <tr class="memitem:ae80d95a4d90ca64eca819e140445004c inherit pub_methods_classSVF_1_1GepObjVar"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c">GepObjVar</a> (const <a class="el" href="classSVF_1_1MemObj.html">MemObj</a> *<a class="el" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i, const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;l, <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff">PNODEK</a> ty=<a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">GepObjNode</a>)</td></tr>
99
+ <tr class="memdesc:ae80d95a4d90ca64eca819e140445004c inherit pub_methods_classSVF_1_1GepObjVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor. <a href="classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c">More...</a><br /></td></tr>
100
+ <tr class="separator:ae80d95a4d90ca64eca819e140445004c inherit pub_methods_classSVF_1_1GepObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
101
+ <tr class="memitem:a553e648804b39c503e7288dd0434c339 inherit pub_methods_classSVF_1_1GepObjVar"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjVar.html#a553e648804b39c503e7288dd0434c339">getLocationSet</a> () const</td></tr>
102
+ <tr class="memdesc:a553e648804b39c503e7288dd0434c339 inherit pub_methods_classSVF_1_1GepObjVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">offset of the mem object <a href="classSVF_1_1GepObjVar.html#a553e648804b39c503e7288dd0434c339">More...</a><br /></td></tr>
103
+ <tr class="separator:a553e648804b39c503e7288dd0434c339 inherit pub_methods_classSVF_1_1GepObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
104
+ <tr class="memitem:aae0159e4e93e3607e425933b8ce0a66c inherit pub_methods_classSVF_1_1GepObjVar"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjVar.html#aae0159e4e93e3607e425933b8ce0a66c">getOffset</a> () const</td></tr>
105
+ <tr class="memdesc:aae0159e4e93e3607e425933b8ce0a66c inherit pub_methods_classSVF_1_1GepObjVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">offset of the mem object <a href="classSVF_1_1GepObjVar.html#aae0159e4e93e3607e425933b8ce0a66c">More...</a><br /></td></tr>
106
+ <tr class="separator:aae0159e4e93e3607e425933b8ce0a66c inherit pub_methods_classSVF_1_1GepObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
107
+ <tr class="memitem:a5e371fae7592d763661a7cb777107ff4 inherit pub_methods_classSVF_1_1GepObjVar"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4">setBaseNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5">base</a>)</td></tr>
108
+ <tr class="memdesc:a5e371fae7592d763661a7cb777107ff4 inherit pub_methods_classSVF_1_1GepObjVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Set the base object from which this GEP node came from. <a href="classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4">More...</a><br /></td></tr>
109
+ <tr class="separator:a5e371fae7592d763661a7cb777107ff4 inherit pub_methods_classSVF_1_1GepObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
110
+ <tr class="memitem:a4c5e346db61f7e04c15bf8527d8eff3c inherit pub_methods_classSVF_1_1GepObjVar"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjVar.html#a4c5e346db61f7e04c15bf8527d8eff3c">getBaseNode</a> (void) const</td></tr>
111
+ <tr class="memdesc:a4c5e346db61f7e04c15bf8527d8eff3c inherit pub_methods_classSVF_1_1GepObjVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the base object from which this GEP node came from. <a href="classSVF_1_1GepObjVar.html#a4c5e346db61f7e04c15bf8527d8eff3c">More...</a><br /></td></tr>
112
+ <tr class="separator:a4c5e346db61f7e04c15bf8527d8eff3c inherit pub_methods_classSVF_1_1GepObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
113
+ <tr class="memitem:ab2348a9378f1c64cf5c176b21a655d14 inherit pub_methods_classSVF_1_1GepObjVar"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjVar.html#ab2348a9378f1c64cf5c176b21a655d14">getType</a> () const</td></tr>
114
+ <tr class="memdesc:ab2348a9378f1c64cf5c176b21a655d14 inherit pub_methods_classSVF_1_1GepObjVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the type of this gep object. <a href="classSVF_1_1GepObjVar.html#ab2348a9378f1c64cf5c176b21a655d14">More...</a><br /></td></tr>
115
+ <tr class="separator:ab2348a9378f1c64cf5c176b21a655d14 inherit pub_methods_classSVF_1_1GepObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
113
116
  <tr class="inherit_header pub_methods_classSVF_1_1ObjVar"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1ObjVar')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td></tr>
114
117
  <tr class="memitem:a6a4feb73b54e602407e35eeb09f55930 inherit pub_methods_classSVF_1_1ObjVar"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MemObj.html">MemObj</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930">getMemObj</a> () const</td></tr>
115
118
  <tr class="memdesc:a6a4feb73b54e602407e35eeb09f55930 inherit pub_methods_classSVF_1_1ObjVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return memory object. <a href="classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930">More...</a><br /></td></tr>
@@ -258,16 +261,16 @@ Static Public Member Functions</h2></td></tr>
258
261
  <tr class="separator:a2dc4176254a15071a35f8218036cd5bb"><td class="memSeparator" colspan="2">&#160;</td></tr>
259
262
  <tr class="memitem:a705b0eaaa7875c6e059cecd2d77f6968"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CloneGepObjVar.html#a705b0eaaa7875c6e059cecd2d77f6968">classof</a> (const <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a> *node)</td></tr>
260
263
  <tr class="separator:a705b0eaaa7875c6e059cecd2d77f6968"><td class="memSeparator" colspan="2">&#160;</td></tr>
261
- <tr class="inherit_header pub_static_methods_classSVF_1_1GepObjPN"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1GepObjPN')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1GepObjPN.html">SVF::GepObjPN</a></td></tr>
262
- <tr class="memitem:a3962464274d0c15ceb0206ebf6fa2b55 inherit pub_static_methods_classSVF_1_1GepObjPN"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#a3962464274d0c15ceb0206ebf6fa2b55">classof</a> (const <a class="el" href="classSVF_1_1GepObjPN.html">GepObjPN</a> *)</td></tr>
263
- <tr class="memdesc:a3962464274d0c15ceb0206ebf6fa2b55 inherit pub_static_methods_classSVF_1_1GepObjPN"><td class="mdescLeft">&#160;</td><td class="mdescRight">Methods for support type inquiry through isa, cast, and dyn_cast: <a href="classSVF_1_1GepObjPN.html#a3962464274d0c15ceb0206ebf6fa2b55">More...</a><br /></td></tr>
264
- <tr class="separator:a3962464274d0c15ceb0206ebf6fa2b55 inherit pub_static_methods_classSVF_1_1GepObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
265
- <tr class="memitem:afab6d5a895e3c93776e4e05fd94ec747 inherit pub_static_methods_classSVF_1_1GepObjPN"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#afab6d5a895e3c93776e4e05fd94ec747">classof</a> (const <a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a> *node)</td></tr>
266
- <tr class="separator:afab6d5a895e3c93776e4e05fd94ec747 inherit pub_static_methods_classSVF_1_1GepObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
267
- <tr class="memitem:acc3f9fa7564f419bf6a4ed75cf103eb1 inherit pub_static_methods_classSVF_1_1GepObjPN"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#acc3f9fa7564f419bf6a4ed75cf103eb1">classof</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node)</td></tr>
268
- <tr class="separator:acc3f9fa7564f419bf6a4ed75cf103eb1 inherit pub_static_methods_classSVF_1_1GepObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
269
- <tr class="memitem:aff84e3e6702f0e04ef41aae90d297009 inherit pub_static_methods_classSVF_1_1GepObjPN"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#aff84e3e6702f0e04ef41aae90d297009">classof</a> (const <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a> *node)</td></tr>
270
- <tr class="separator:aff84e3e6702f0e04ef41aae90d297009 inherit pub_static_methods_classSVF_1_1GepObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
264
+ <tr class="inherit_header pub_static_methods_classSVF_1_1GepObjVar"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1GepObjVar')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></td></tr>
265
+ <tr class="memitem:ab3129ad98687e6352675d84373d96ffe inherit pub_static_methods_classSVF_1_1GepObjVar"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjVar.html#ab3129ad98687e6352675d84373d96ffe">classof</a> (const <a class="el" href="classSVF_1_1GepObjVar.html">GepObjVar</a> *)</td></tr>
266
+ <tr class="memdesc:ab3129ad98687e6352675d84373d96ffe inherit pub_static_methods_classSVF_1_1GepObjVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Methods for support type inquiry through isa, cast, and dyn_cast: <a href="classSVF_1_1GepObjVar.html#ab3129ad98687e6352675d84373d96ffe">More...</a><br /></td></tr>
267
+ <tr class="separator:ab3129ad98687e6352675d84373d96ffe inherit pub_static_methods_classSVF_1_1GepObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
268
+ <tr class="memitem:ab6105a2f7bbd9a4e611d96f0bcac0e6c inherit pub_static_methods_classSVF_1_1GepObjVar"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjVar.html#ab6105a2f7bbd9a4e611d96f0bcac0e6c">classof</a> (const <a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a> *node)</td></tr>
269
+ <tr class="separator:ab6105a2f7bbd9a4e611d96f0bcac0e6c inherit pub_static_methods_classSVF_1_1GepObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
270
+ <tr class="memitem:ad7fc6e6ed6fca8641c44b91ab29524bd inherit pub_static_methods_classSVF_1_1GepObjVar"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjVar.html#ad7fc6e6ed6fca8641c44b91ab29524bd">classof</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node)</td></tr>
271
+ <tr class="separator:ad7fc6e6ed6fca8641c44b91ab29524bd inherit pub_static_methods_classSVF_1_1GepObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
272
+ <tr class="memitem:ac3583a2d4d4ceaf820d23b43a893ac92 inherit pub_static_methods_classSVF_1_1GepObjVar"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjVar.html#ac3583a2d4d4ceaf820d23b43a893ac92">classof</a> (const <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a> *node)</td></tr>
273
+ <tr class="separator:ac3583a2d4d4ceaf820d23b43a893ac92 inherit pub_static_methods_classSVF_1_1GepObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
271
274
  <tr class="inherit_header pub_static_methods_classSVF_1_1ObjVar"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1ObjVar')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td></tr>
272
275
  <tr class="memitem:ac127d3ee00a6bed2bdba2f24b389eb4b inherit pub_static_methods_classSVF_1_1ObjVar"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjVar.html#ac127d3ee00a6bed2bdba2f24b389eb4b">classof</a> (const <a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a> *)</td></tr>
273
276
  <tr class="memdesc:ac127d3ee00a6bed2bdba2f24b389eb4b inherit pub_static_methods_classSVF_1_1ObjVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Methods for support type inquiry through isa, cast, and dyn_cast: <a href="classSVF_1_1ObjVar.html#ac127d3ee00a6bed2bdba2f24b389eb4b">More...</a><br /></td></tr>
@@ -335,7 +338,7 @@ Additional Inherited Members</h2></td></tr>
335
338
  </table>
336
339
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
337
340
  <div class="textblock">
338
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00769">769</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
341
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00775">775</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
339
342
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
340
343
  <a id="ab2b37ac7064e97665c04c778904e9888"></a>
341
344
  <h2 class="memtitle"><span class="permalink"><a href="#ab2b37ac7064e97665c04c778904e9888">&#9670;&nbsp;</a></span>CloneGepObjVar()</h2>
@@ -385,9 +388,9 @@ Additional Inherited Members</h2></td></tr>
385
388
 
386
389
  <p>Constructor. </p>
387
390
 
388
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00788">788</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
389
- <div class="fragment"><div class="line"><a name="l00788"></a><span class="lineno"> 788</span>&#160; :</div><div class="line"><a name="l00789"></a><span class="lineno"> 789</span>&#160; <a class="code" href="classSVF_1_1GepObjPN.html#aadf56cdc45296514f142306e2556dcc1">GepObjPN</a>(<a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, i, l, ty)</div><div class="line"><a name="l00790"></a><span class="lineno"> 790</span>&#160; {</div><div class="line"><a name="l00791"></a><span class="lineno"> 791</span>&#160; }</div><div class="ttc" id="classSVF_1_1ObjVar_html_a3d08dc1d15a449ff4b7018da4bfdcb88"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00321">SVFVariables.h:321</a></div></div>
390
- <div class="ttc" id="classSVF_1_1GepObjPN_html_aadf56cdc45296514f142306e2556dcc1"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#aadf56cdc45296514f142306e2556dcc1">SVF::GepObjPN::GepObjPN</a></div><div class="ttdeci">GepObjPN(const MemObj *mem, NodeID i, const LocationSet &amp;l, PNODEK ty=GepObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00482">SVFVariables.h:482</a></div></div>
391
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00794">794</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
392
+ <div class="fragment"><div class="line"><a name="l00794"></a><span class="lineno"> 794</span>&#160; :</div><div class="line"><a name="l00795"></a><span class="lineno"> 795</span>&#160; <a class="code" href="classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c">GepObjVar</a>(<a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, i, l, ty)</div><div class="line"><a name="l00796"></a><span class="lineno"> 796</span>&#160; {</div><div class="line"><a name="l00797"></a><span class="lineno"> 797</span>&#160; }</div><div class="ttc" id="classSVF_1_1GepObjVar_html_ae80d95a4d90ca64eca819e140445004c"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c">SVF::GepObjVar::GepObjVar</a></div><div class="ttdeci">GepObjVar(const MemObj *mem, NodeID i, const LocationSet &amp;l, PNODEK ty=GepObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00482">SVFVariables.h:482</a></div></div>
393
+ <div class="ttc" id="classSVF_1_1ObjVar_html_a3d08dc1d15a449ff4b7018da4bfdcb88"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00321">SVFVariables.h:321</a></div></div>
391
394
  </div><!-- fragment -->
392
395
  </div>
393
396
  </div>
@@ -416,8 +419,8 @@ Additional Inherited Members</h2></td></tr>
416
419
  </table>
417
420
  </div><div class="memdoc">
418
421
 
419
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00773">773</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
420
- <div class="fragment"><div class="line"><a name="l00774"></a><span class="lineno"> 774</span>&#160; {</div><div class="line"><a name="l00775"></a><span class="lineno"> 775</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00776"></a><span class="lineno"> 776</span>&#160; }</div></div><!-- fragment -->
422
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00779">779</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
423
+ <div class="fragment"><div class="line"><a name="l00780"></a><span class="lineno"> 780</span>&#160; {</div><div class="line"><a name="l00781"></a><span class="lineno"> 781</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00782"></a><span class="lineno"> 782</span>&#160; }</div></div><!-- fragment -->
421
424
  </div>
422
425
  </div>
423
426
  <a id="a2dc4176254a15071a35f8218036cd5bb"></a>
@@ -444,8 +447,8 @@ Additional Inherited Members</h2></td></tr>
444
447
  </table>
445
448
  </div><div class="memdoc">
446
449
 
447
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00777">777</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
448
- <div class="fragment"><div class="line"><a name="l00778"></a><span class="lineno"> 778</span>&#160; {</div><div class="line"><a name="l00779"></a><span class="lineno"> 779</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVFVar::CloneGepObjNode</a>;</div><div class="line"><a name="l00780"></a><span class="lineno"> 780</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar::CloneGepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
450
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00783">783</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
451
+ <div class="fragment"><div class="line"><a name="l00784"></a><span class="lineno"> 784</span>&#160; {</div><div class="line"><a name="l00785"></a><span class="lineno"> 785</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVFVar::CloneGepObjNode</a>;</div><div class="line"><a name="l00786"></a><span class="lineno"> 786</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar::CloneGepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
449
452
  </div><!-- fragment -->
450
453
  </div>
451
454
  </div>
@@ -473,8 +476,8 @@ Additional Inherited Members</h2></td></tr>
473
476
  </table>
474
477
  </div><div class="memdoc">
475
478
 
476
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00781">781</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
477
- <div class="fragment"><div class="line"><a name="l00782"></a><span class="lineno"> 782</span>&#160; {</div><div class="line"><a name="l00783"></a><span class="lineno"> 783</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVFVar::CloneGepObjNode</a>;</div><div class="line"><a name="l00784"></a><span class="lineno"> 784</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar::CloneGepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
479
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00787">787</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
480
+ <div class="fragment"><div class="line"><a name="l00788"></a><span class="lineno"> 788</span>&#160; {</div><div class="line"><a name="l00789"></a><span class="lineno"> 789</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVFVar::CloneGepObjNode</a>;</div><div class="line"><a name="l00790"></a><span class="lineno"> 790</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar::CloneGepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
478
481
  </div><!-- fragment -->
479
482
  </div>
480
483
  </div>
@@ -503,10 +506,10 @@ Additional Inherited Members</h2></td></tr>
503
506
 
504
507
  <p>Return name of this node. </p>
505
508
 
506
- <p>Reimplemented from <a class="el" href="classSVF_1_1GepObjPN.html#a498b7ee3cf8d26fa18062f2bae0749c5">SVF::GepObjPN</a>.</p>
509
+ <p>Reimplemented from <a class="el" href="classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7">SVF::GepObjVar</a>.</p>
507
510
 
508
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00794">794</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
509
- <div class="fragment"><div class="line"><a name="l00795"></a><span class="lineno"> 795</span>&#160; {</div><div class="line"><a name="l00796"></a><span class="lineno"> 796</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;clone (gep) of &quot;</span> + <a class="code" href="classSVF_1_1GepObjPN.html#a498b7ee3cf8d26fa18062f2bae0749c5">GepObjPN::getValueName</a>();</div><div class="line"><a name="l00797"></a><span class="lineno"> 797</span>&#160; }</div><div class="ttc" id="classSVF_1_1GepObjPN_html_a498b7ee3cf8d26fa18062f2bae0749c5"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#a498b7ee3cf8d26fa18062f2bae0749c5">SVF::GepObjPN::getValueName</a></div><div class="ttdeci">const std::string getValueName() const</div><div class="ttdoc">Return name of a LLVM value. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00513">SVFVariables.h:513</a></div></div>
511
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00800">800</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
512
+ <div class="fragment"><div class="line"><a name="l00801"></a><span class="lineno"> 801</span>&#160; {</div><div class="line"><a name="l00802"></a><span class="lineno"> 802</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;clone (gep) of &quot;</span> + <a class="code" href="classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7">GepObjVar::getValueName</a>();</div><div class="line"><a name="l00803"></a><span class="lineno"> 803</span>&#160; }</div><div class="ttc" id="classSVF_1_1GepObjVar_html_a88f86fe8abcb0550d838e5de11ae3ef7"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7">SVF::GepObjVar::getValueName</a></div><div class="ttdeci">const std::string getValueName() const</div><div class="ttdoc">Return name of a LLVM value. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00519">SVFVariables.h:519</a></div></div>
510
513
  </div><!-- fragment -->
511
514
  </div>
512
515
  </div>
@@ -533,7 +536,7 @@ Additional Inherited Members</h2></td></tr>
533
536
  </table>
534
537
  </div><div class="memdoc">
535
538
 
536
- <p>Reimplemented from <a class="el" href="classSVF_1_1GepObjPN.html#ab7229c3e69880a6872fddac805bd6ee8">SVF::GepObjPN</a>.</p>
539
+ <p>Reimplemented from <a class="el" href="classSVF_1_1GepObjVar.html#aa7bfd42a92e9ebc34613818e70689218">SVF::GepObjVar</a>.</p>
537
540
 
538
541
  <p class="definition">Definition at line <a class="el" href="SVFVariables_8cpp_source.html#l00201">201</a> of file <a class="el" href="SVFVariables_8cpp_source.html">SVFVariables.cpp</a>.</p>
539
542
  <div class="fragment"><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; {</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; std::string str;</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;CloneGepObjVar ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
@@ -1804,7 +1804,7 @@ Additional Inherited Members</h2></td></tr>
1804
1804
  <p>Check if a given edge is a <a class="el" href="classSVF_1_1NormalGepCGEdge.html">NormalGepCGEdge</a> with 0 offset. </p>
1805
1805
 
1806
1806
  <p class="definition">Definition at line <a class="el" href="ConsG_8h_source.html#l00291">291</a> of file <a class="el" href="ConsG_8h_source.html">ConsG.h</a>.</p>
1807
- <div class="fragment"><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; {</div><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; <span class="keywordflow">if</span> (NormalGepCGEdge *normalGepCGEdge = SVFUtil::dyn_cast&lt;NormalGepCGEdge&gt;(edge))</div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keywordflow">if</span> (0 == normalGepCGEdge-&gt;getLocationSet().getOffset())</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div></div><!-- fragment -->
1807
+ <div class="fragment"><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; {</div><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; <span class="keywordflow">if</span> (NormalGepCGEdge *normalGepCGEdge = SVFUtil::dyn_cast&lt;NormalGepCGEdge&gt;(edge))</div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keywordflow">if</span> (0 == normalGepCGEdge-&gt;getOffset())</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div></div><!-- fragment -->
1808
1808
  </div>
1809
1809
  </div>
1810
1810
  <a id="aabe2861fcbc364e2c8aa8114d4879c39"></a>
@@ -2223,7 +2223,7 @@ Additional Inherited Members</h2></td></tr>
2223
2223
  <div class="ttc" id="classSVF_1_1ConstraintGraph_html_a9fc73676ea133651604e2528fe1d8244"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a9fc73676ea133651604e2528fe1d8244">SVF::ConstraintGraph::removeDirectEdge</a></div><div class="ttdeci">void removeDirectEdge(ConstraintEdge *edge)</div><div class="ttdoc">Remove direct edge from their src and dst edge sets. </div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00401">ConsG.cpp:401</a></div></div>
2224
2224
  <div class="ttc" id="classSVF_1_1ConstraintGraph_html_a5aac453464955185ca0d47e91db9df7b"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a5aac453464955185ca0d47e91db9df7b">SVF::ConstraintGraph::addNormalGepCGEdge</a></div><div class="ttdeci">NormalGepCGEdge * addNormalGepCGEdge(NodeID src, NodeID dst, const LocationSet &amp;ls)</div><div class="ttdoc">Add Gep edge. </div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00203">ConsG.cpp:203</a></div></div>
2225
2225
  <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
2226
- <div class="ttc" id="classSVF_1_1LocationSet_html"><div class="ttname"><a href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00093">LocationSet.h:93</a></div></div>
2226
+ <div class="ttc" id="classSVF_1_1LocationSet_html"><div class="ttname"><a href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00072">LocationSet.h:72</a></div></div>
2227
2227
  <div class="ttc" id="classSVF_1_1ConstraintGraph_html_aa4bca2422049413439cb0c3400f2ce28"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28">SVF::ConstraintGraph::removeLoadEdge</a></div><div class="ttdeci">void removeLoadEdge(LoadCGEdge *edge)</div><div class="ttdoc">Remove load edge from their src and dst edge sets. </div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00377">ConsG.cpp:377</a></div></div>
2228
2228
  <div class="ttc" id="classSVF_1_1AddrCGEdge_html"><div class="ttname"><a href="classSVF_1_1AddrCGEdge.html">SVF::AddrCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00093">ConsGEdge.h:93</a></div></div>
2229
2229
  <div class="ttc" id="classSVF_1_1ConstraintGraph_html_a6902cabb252b1eaadb3c8220b4581a2f"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph::addVariantGepCGEdge</a></div><div class="ttdeci">VariantGepCGEdge * addVariantGepCGEdge(NodeID src, NodeID dst)</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00221">ConsG.cpp:221</a></div></div>
@@ -2276,7 +2276,7 @@ Additional Inherited Members</h2></td></tr>
2276
2276
  <div class="ttc" id="classSVF_1_1ConstraintGraph_html_a9fc73676ea133651604e2528fe1d8244"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a9fc73676ea133651604e2528fe1d8244">SVF::ConstraintGraph::removeDirectEdge</a></div><div class="ttdeci">void removeDirectEdge(ConstraintEdge *edge)</div><div class="ttdoc">Remove direct edge from their src and dst edge sets. </div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00401">ConsG.cpp:401</a></div></div>
2277
2277
  <div class="ttc" id="classSVF_1_1ConstraintGraph_html_a5aac453464955185ca0d47e91db9df7b"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a5aac453464955185ca0d47e91db9df7b">SVF::ConstraintGraph::addNormalGepCGEdge</a></div><div class="ttdeci">NormalGepCGEdge * addNormalGepCGEdge(NodeID src, NodeID dst, const LocationSet &amp;ls)</div><div class="ttdoc">Add Gep edge. </div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00203">ConsG.cpp:203</a></div></div>
2278
2278
  <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
2279
- <div class="ttc" id="classSVF_1_1LocationSet_html"><div class="ttname"><a href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00093">LocationSet.h:93</a></div></div>
2279
+ <div class="ttc" id="classSVF_1_1LocationSet_html"><div class="ttname"><a href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00072">LocationSet.h:72</a></div></div>
2280
2280
  <div class="ttc" id="classSVF_1_1ConstraintGraph_html_aa4bca2422049413439cb0c3400f2ce28"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28">SVF::ConstraintGraph::removeLoadEdge</a></div><div class="ttdeci">void removeLoadEdge(LoadCGEdge *edge)</div><div class="ttdoc">Remove load edge from their src and dst edge sets. </div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00377">ConsG.cpp:377</a></div></div>
2281
2281
  <div class="ttc" id="classSVF_1_1AddrCGEdge_html"><div class="ttname"><a href="classSVF_1_1AddrCGEdge.html">SVF::AddrCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00093">ConsGEdge.h:93</a></div></div>
2282
2282
  <div class="ttc" id="classSVF_1_1ConstraintGraph_html_a6902cabb252b1eaadb3c8220b4581a2f"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph::addVariantGepCGEdge</a></div><div class="ttdeci">VariantGepCGEdge * addVariantGepCGEdge(NodeID src, NodeID dst)</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00221">ConsG.cpp:221</a></div></div>
@@ -73,14 +73,14 @@ $(function() {
73
73
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe">addIncomingAddrEdge</a>(AddrCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</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_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2">addIncomingCopyEdge</a>(CopyCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
75
75
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a0d9d6ba3359b481b872f2c1f68950fd6">addIncomingDirectEdge</a>(ConstraintEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
76
- <tr class="even"><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>
76
+ <tr class="even"><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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
77
77
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5">addIncomingGepEdge</a>(GepCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
78
78
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2">addIncomingLoadEdge</a>(LoadCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
79
79
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504">addIncomingStoreEdge</a>(StoreCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
80
80
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a">addOutgoingAddrEdge</a>(AddrCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
81
81
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f">addOutgoingCopyEdge</a>(CopyCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
82
82
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a230e89618c562c7aed63b4457ec69637">addOutgoingDirectEdge</a>(ConstraintEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
83
- <tr><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>
83
+ <tr><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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
84
84
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6">addOutgoingGepEdge</a>(GepCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
85
85
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#abcab7a3b98dc0cfeecaed279ca74ea53">addOutgoingLoadEdge</a>(LoadCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
86
86
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a349b8c461adfa2a0bd1376ecb81d36d5">addOutgoingStoreEdge</a>(StoreCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -103,9 +103,9 @@ $(function() {
103
103
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a7bf8a1955d6f19b8d0ae5bdeb9a0897f">directOutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
104
104
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41">directOutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
105
105
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">directOutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
106
- <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>
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>
106
+ <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; ConstraintNode, ConstraintEdge &gt;</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; ConstraintNode, ConstraintEdge &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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
109
109
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938">gepInEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
110
110
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024">gepOutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
111
111
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ae6a98932b0f0732d4af1ca8266d58077">getAddrInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -116,19 +116,19 @@ $(function() {
116
116
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a06c9db0dcc96af4707ba29b9a959ae28">getDirectOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
117
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5">getGepInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
118
118
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8">getGepOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
119
- <tr><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>
120
- <tr class="even"><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>
119
+ <tr><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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
120
+ <tr class="even"><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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
121
121
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#abd8d146e9b30b6d9757021a84bcab158">getLoadInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
122
122
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a59ab1cea514100c63ee179e3e9a5aa0a">getLoadOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</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#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>
124
- <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>
123
+ <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; ConstraintNode, ConstraintEdge &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#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
125
125
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#aed5e1f0345aab58031daecfa0c6aac0b">getStoreInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
126
126
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a85e67f52e9cda75704e6b5a46af289e7">getStoreOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</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#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>
128
- <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>
129
- <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>
130
- <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>
131
- <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>
127
+ <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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"></td></tr>
128
+ <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; ConstraintNode, ConstraintEdge &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#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &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_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">hasOutgoingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
131
+ <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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
132
132
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ac9bb037a59db6b035c2785cad6ac56aa">incomingAddrEdges</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
133
133
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a19c1ed324f65f4cc58dd2fd21ed4a971">incomingAddrsBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
134
134
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ae8ac9ad8e766b961c7ce06d7219f37af">incomingAddrsEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -136,10 +136,10 @@ $(function() {
136
136
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a0bfdbe171acd2825055e571f314c0a48">incomingLoadsEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
137
137
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714">incomingStoresBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
138
138
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a8d58f5224728bb6811f12c94826167f6">incomingStoresEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</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#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>
140
- <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>
141
- <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>
142
- <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>
139
+ <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; ConstraintNode, ConstraintEdge &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#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &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#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &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#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
143
143
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a165b41f2849c0f09eb1b15d51a566315">isdirectEdge</a>(ConstraintEdge::ConstraintEdgeK kind)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
144
144
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0">isIndirectEdge</a>(ConstraintEdge::ConstraintEdgeK kind)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
145
145
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d">isPWCNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -147,11 +147,11 @@ $(function() {
147
147
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418">loadInEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
148
148
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">loadOutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
149
149
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#af760652ba65eb5a0d0d2731b6e1961b8">newExpand</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"></td></tr>
150
- <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>
151
- <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>
152
- <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>
153
- <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>
154
- <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>
150
+ <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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"></td></tr>
151
+ <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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
152
+ <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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
153
+ <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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
154
+ <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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
155
155
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea">outgoingAddrEdges</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
156
156
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a849e0a16332d4ecbce0848ca104f597b">outgoingAddrsBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
157
157
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ad079ae4d9257be6f84ce66077d053908">outgoingAddrsEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -161,12 +161,12 @@ $(function() {
161
161
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a5ee086dfa49e82309dfe37f167bcb8b4">outgoingStoresEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
162
162
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a2f1179fa3290274218b7a58ce8d31507">removeIncomingAddrEdge</a>(AddrCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
163
163
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a2f3ba283779cbb388d903a6a7a0d0108">removeIncomingDirectEdge</a>(ConstraintEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
164
- <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>
164
+ <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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
165
165
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#aaf84d10aaa0baabb8387fd8ccfdcfa9d">removeIncomingLoadEdge</a>(LoadCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
166
166
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a59425dc6ed586a6c36b3ab15b1399b2a">removeIncomingStoreEdge</a>(StoreCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
167
167
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ac1a860858359a385bc8d64b44b7d11f0">removeOutgoingAddrEdge</a>(AddrCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
168
168
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#adeb6adc882fe3470fff5483773070d19">removeOutgoingDirectEdge</a>(ConstraintEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
169
- <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>
169
+ <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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
170
170
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a7df4be1a889fdfb2240394304fcf1a1f">removeOutgoingLoadEdge</a>(LoadCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
171
171
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a676c053b087a404c8d3dca3b9976b2c1">removeOutgoingStoreEdge</a>(StoreCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
172
172
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a">sccEdgeFlag</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
@@ -176,7 +176,7 @@ $(function() {
176
176
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57">storeInEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
177
177
  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">storeOutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
178
178
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278">strides</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"></td></tr>
179
- <tr><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>
179
+ <tr><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; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
180
180
  </table></div><!-- contents -->
181
181
  <!-- start footer part -->
182
182
  <hr class="footer"/><address class="footer"><small>