svf-tools 1.0.336 → 1.0.340

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 (209) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +3 -3
  3. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +3 -3
  4. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  5. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +3 -3
  6. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +7 -7
  7. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +4 -4
  8. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +2 -2
  10. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +3 -3
  11. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +3 -3
  13. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +5 -5
  14. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +4 -2
  16. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
  17. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +17 -17
  18. package/SVF-doxygen/html/html/ICFG_8h_source.html +38 -37
  19. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +3 -3
  20. package/SVF-doxygen/html/html/MTA_8cpp_source.html +2 -2
  21. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
  22. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +2 -2
  23. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +2 -2
  24. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +9 -9
  25. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +4 -4
  26. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +22 -25
  27. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +42 -43
  28. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp.html +1 -0
  30. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +6 -5
  31. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +40 -40
  32. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +12 -12
  33. package/SVF-doxygen/html/html/SVFIR_8h_source.html +14 -14
  34. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +22 -21
  35. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +47 -47
  36. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +91 -87
  37. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +5 -5
  38. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
  39. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +5 -5
  40. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +5 -5
  41. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +2 -2
  42. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +11 -11
  43. package/SVF-doxygen/html/html/VFGNode_8h_source.html +4 -4
  44. package/SVF-doxygen/html/html/VFG_8cpp_source.html +9 -9
  45. package/SVF-doxygen/html/html/VFG_8h_source.html +8 -8
  46. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
  47. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +187 -188
  49. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +7 -10
  50. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +160 -161
  51. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +4 -7
  52. package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD-members.html +199 -200
  53. package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +0 -3
  54. package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD-members.html +202 -203
  55. package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +0 -3
  56. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD-members.html +195 -196
  57. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +0 -3
  58. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +196 -197
  59. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +0 -3
  60. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +205 -206
  61. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -4
  62. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +3 -3
  63. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +193 -194
  64. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +0 -3
  65. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +116 -117
  66. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +12 -15
  67. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +18 -18
  68. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +32 -32
  69. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +4 -4
  70. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +2 -2
  71. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar-members.html +1 -1
  72. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +13 -11
  73. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +12 -12
  74. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +12 -12
  75. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +19 -19
  76. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl-members.html +104 -105
  77. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +5 -8
  78. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +3 -3
  79. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA-members.html +182 -183
  80. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +12 -15
  81. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +5 -5
  82. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +3 -3
  83. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar-members.html +2 -2
  84. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +46 -14
  85. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar-members.html +2 -2
  86. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +45 -14
  87. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +14 -14
  88. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +219 -220
  89. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +0 -3
  90. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +180 -181
  91. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +9 -12
  92. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +212 -213
  93. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +17 -20
  94. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  95. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC-members.html +244 -245
  96. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +7 -10
  97. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
  98. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +1 -3
  99. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  100. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +32 -32
  101. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +2 -2
  102. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +27 -27
  103. package/SVF-doxygen/html/html/classSVF_1_1ICFG-members.html +27 -26
  104. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +183 -116
  105. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +9 -5
  106. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter-members.html +9 -9
  107. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +26 -25
  108. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +2 -2
  109. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +1 -1
  110. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +2 -2
  111. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  112. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +2 -2
  113. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +4 -4
  114. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +2 -2
  115. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +18 -18
  116. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +2 -2
  117. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt-members.html +37 -36
  118. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +27 -3
  119. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis-members.html +78 -79
  120. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +106 -146
  121. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +2 -2
  122. package/SVF-doxygen/html/html/classSVF_1_1RetPN-members.html +75 -73
  123. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +60 -16
  124. package/SVF-doxygen/html/html/classSVF_1_1RetPN.png +0 -0
  125. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +1 -1
  126. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +14 -14
  127. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +122 -115
  128. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +3 -3
  129. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.png +0 -0
  130. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +5 -5
  131. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
  132. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +171 -172
  133. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +0 -3
  134. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +2 -2
  135. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +5 -5
  136. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +18 -18
  137. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +11 -11
  138. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +11 -11
  139. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +2 -2
  140. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +161 -162
  141. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +3 -6
  142. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +17 -17
  143. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +25 -25
  144. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +11 -11
  145. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +17 -11
  146. package/SVF-doxygen/html/html/classSVF_1_1ValVar.png +0 -0
  147. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN-members.html +74 -72
  148. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +60 -16
  149. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.png +0 -0
  150. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +2 -2
  151. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +254 -255
  152. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -5
  153. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
  154. package/SVF-doxygen/html/html/functions_c.html +12 -12
  155. package/SVF-doxygen/html/html/functions_d.html +0 -3
  156. package/SVF-doxygen/html/html/functions_func_c.html +19 -19
  157. package/SVF-doxygen/html/html/functions_func_d.html +0 -3
  158. package/SVF-doxygen/html/html/functions_func_i.html +13 -10
  159. package/SVF-doxygen/html/html/functions_i.html +10 -6
  160. package/SVF-doxygen/html/html/functions_l.html +6 -6
  161. package/SVF-doxygen/html/html/functions_n.html +3 -3
  162. package/SVF-doxygen/html/html/functions_p.html +9 -9
  163. package/SVF-doxygen/html/html/functions_r.html +1 -1
  164. package/SVF-doxygen/html/html/functions_rela.html +3 -0
  165. package/SVF-doxygen/html/html/functions_s.html +14 -12
  166. package/SVF-doxygen/html/html/functions_t.html +7 -5
  167. package/SVF-doxygen/html/html/functions_v.html +6 -6
  168. package/SVF-doxygen/html/html/hierarchy.html +5 -5
  169. package/SVF-doxygen/html/html/search/all_10.js +7 -7
  170. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  171. package/SVF-doxygen/html/html/search/all_13.js +10 -10
  172. package/SVF-doxygen/html/html/search/all_14.js +3 -3
  173. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  174. package/SVF-doxygen/html/html/search/all_16.js +3 -3
  175. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  176. package/SVF-doxygen/html/html/search/all_4.js +0 -1
  177. package/SVF-doxygen/html/html/search/all_9.js +2 -1
  178. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  179. package/SVF-doxygen/html/html/search/all_d.js +3 -3
  180. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  181. package/SVF-doxygen/html/html/search/functions_10.js +1 -1
  182. package/SVF-doxygen/html/html/search/functions_2.js +1 -1
  183. package/SVF-doxygen/html/html/search/functions_3.js +0 -1
  184. package/SVF-doxygen/html/html/search/functions_8.js +1 -0
  185. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  186. package/SVF-doxygen/html/html/search/related_4.js +1 -0
  187. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  188. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  189. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  190. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  191. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +1 -1
  192. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html +1 -1
  193. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html +1 -1
  194. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html +2 -2
  195. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  196. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  197. package/include/Graphs/ICFG.h +5 -3
  198. package/include/MemoryModel/PointerAnalysis.h +0 -3
  199. package/include/MemoryModel/SVFStatements.h +5 -0
  200. package/include/MemoryModel/SVFVariables.h +25 -4
  201. package/include/MemoryModel/SymbolTableInfo.h +2 -2
  202. package/lib/Graphs/ICFG.cpp +2 -2
  203. package/lib/MSSA/MemSSA.cpp +1 -1
  204. package/lib/MemoryModel/PointerAnalysis.cpp +1 -21
  205. package/lib/MemoryModel/SVFStatements.cpp +10 -1
  206. package/lib/SVF-FE/ICFGBuilder.cpp +16 -2
  207. package/lib/SVF-FE/SVFIRBuilder.cpp +13 -0
  208. package/lib/SVF-FE/SymbolTableBuilder.cpp +8 -8
  209. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html CHANGED
@@ -235,6 +235,8 @@ Static Public Member Functions</h2></td></tr>
235
235
  <tr class="separator:a543ca59bd39740d1080fe4702bc2fd69"><td class="memSeparator" colspan="2">&#160;</td></tr>
236
236
  <tr class="memitem:a9552d717a869b0ec6678843a56fc8695"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyObjVar.html#a9552d717a869b0ec6678843a56fc8695">classof</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node)</td></tr>
237
237
  <tr class="separator:a9552d717a869b0ec6678843a56fc8695"><td class="memSeparator" colspan="2">&#160;</td></tr>
238
+ <tr class="memitem:aabbc9127565b4c336b28d433297fa37f"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyObjVar.html#aabbc9127565b4c336b28d433297fa37f">classof</a> (const <a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a> *node)</td></tr>
239
+ <tr class="separator:aabbc9127565b4c336b28d433297fa37f"><td class="memSeparator" colspan="2">&#160;</td></tr>
238
240
  <tr class="memitem:a6aefb8e6612cb6322e064ac3521fa849"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyObjVar.html#a6aefb8e6612cb6322e064ac3521fa849">classof</a> (const <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a> *node)</td></tr>
239
241
  <tr class="separator:a6aefb8e6612cb6322e064ac3521fa849"><td class="memSeparator" colspan="2">&#160;</td></tr>
240
242
  <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>
@@ -304,7 +306,7 @@ Additional Inherited Members</h2></td></tr>
304
306
  </table>
305
307
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
306
308
  <div class="textblock">
307
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00700">700</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
309
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00716">716</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
308
310
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
309
311
  <a id="a3dff74bbf50b6a901239d3fd31e0f36c"></a>
310
312
  <h2 class="memtitle"><span class="permalink"><a href="#a3dff74bbf50b6a901239d3fd31e0f36c">&#9670;&nbsp;</a></span>DummyObjVar()</h2>
@@ -348,14 +350,14 @@ Additional Inherited Members</h2></td></tr>
348
350
 
349
351
  <p>Constructor. </p>
350
352
 
351
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00723">723</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
352
- <div class="fragment"><div class="line"><a name="l00724"></a><span class="lineno"> 724</span>&#160; : <a class="code" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">ObjVar</a>(<span class="keyword">nullptr</span>, i, m, ty)</div><div class="line"><a name="l00725"></a><span class="lineno"> 725</span>&#160; {</div><div class="line"><a name="l00726"></a><span class="lineno"> 726</span>&#160; }</div><div class="ttc" id="classSVF_1_1ObjVar_html_a3ccbe6bbe3f565641e0cf46c5ecbb6bb"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">SVF::ObjVar::ObjVar</a></div><div class="ttdeci">ObjVar(const Value *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00324">SVFVariables.h:324</a></div></div>
353
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00744">744</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
354
+ <div class="fragment"><div class="line"><a name="l00745"></a><span class="lineno"> 745</span>&#160; : <a class="code" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">ObjVar</a>(<span class="keyword">nullptr</span>, i, m, ty)</div><div class="line"><a name="l00746"></a><span class="lineno"> 746</span>&#160; {</div><div class="line"><a name="l00747"></a><span class="lineno"> 747</span>&#160; }</div><div class="ttc" id="classSVF_1_1ObjVar_html_a3ccbe6bbe3f565641e0cf46c5ecbb6bb"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">SVF::ObjVar::ObjVar</a></div><div class="ttdeci">ObjVar(const Value *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00328">SVFVariables.h:328</a></div></div>
353
355
  </div><!-- fragment -->
354
356
  </div>
355
357
  </div>
356
358
  <h2 class="groupheader">Member Function Documentation</h2>
357
359
  <a id="a543ca59bd39740d1080fe4702bc2fd69"></a>
358
- <h2 class="memtitle"><span class="permalink"><a href="#a543ca59bd39740d1080fe4702bc2fd69">&#9670;&nbsp;</a></span>classof() <span class="overload">[1/3]</span></h2>
360
+ <h2 class="memtitle"><span class="permalink"><a href="#a543ca59bd39740d1080fe4702bc2fd69">&#9670;&nbsp;</a></span>classof() <span class="overload">[1/4]</span></h2>
359
361
 
360
362
  <div class="memitem">
361
363
  <div class="memproto">
@@ -378,12 +380,12 @@ Additional Inherited Members</h2></td></tr>
378
380
  </table>
379
381
  </div><div class="memdoc">
380
382
 
381
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00706">706</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
382
- <div class="fragment"><div class="line"><a name="l00707"></a><span class="lineno"> 707</span>&#160; {</div><div class="line"><a name="l00708"></a><span class="lineno"> 708</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00709"></a><span class="lineno"> 709</span>&#160; }</div></div><!-- fragment -->
383
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00722">722</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
384
+ <div class="fragment"><div class="line"><a name="l00723"></a><span class="lineno"> 723</span>&#160; {</div><div class="line"><a name="l00724"></a><span class="lineno"> 724</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00725"></a><span class="lineno"> 725</span>&#160; }</div></div><!-- fragment -->
383
385
  </div>
384
386
  </div>
385
387
  <a id="a9552d717a869b0ec6678843a56fc8695"></a>
386
- <h2 class="memtitle"><span class="permalink"><a href="#a9552d717a869b0ec6678843a56fc8695">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/3]</span></h2>
388
+ <h2 class="memtitle"><span class="permalink"><a href="#a9552d717a869b0ec6678843a56fc8695">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/4]</span></h2>
387
389
 
388
390
  <div class="memitem">
389
391
  <div class="memproto">
@@ -406,14 +408,44 @@ Additional Inherited Members</h2></td></tr>
406
408
  </table>
407
409
  </div><div class="memdoc">
408
410
 
409
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00710">710</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
410
- <div class="fragment"><div class="line"><a name="l00711"></a><span class="lineno"> 711</span>&#160; {</div><div class="line"><a name="l00712"></a><span class="lineno"> 712</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVFVar::DummyObjNode</a></div><div class="line"><a name="l00713"></a><span class="lineno"> 713</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00714"></a><span class="lineno"> 714</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
411
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00726">726</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
412
+ <div class="fragment"><div class="line"><a name="l00727"></a><span class="lineno"> 727</span>&#160; {</div><div class="line"><a name="l00728"></a><span class="lineno"> 728</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVFVar::DummyObjNode</a></div><div class="line"><a name="l00729"></a><span class="lineno"> 729</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00730"></a><span class="lineno"> 730</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
413
+ <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00076">SVFVariables.h:76</a></div></div>
414
+ </div><!-- fragment -->
415
+ </div>
416
+ </div>
417
+ <a id="aabbc9127565b4c336b28d433297fa37f"></a>
418
+ <h2 class="memtitle"><span class="permalink"><a href="#aabbc9127565b4c336b28d433297fa37f">&#9670;&nbsp;</a></span>classof() <span class="overload">[3/4]</span></h2>
419
+
420
+ <div class="memitem">
421
+ <div class="memproto">
422
+ <table class="mlabels">
423
+ <tr>
424
+ <td class="mlabels-left">
425
+ <table class="memname">
426
+ <tr>
427
+ <td class="memname">static bool SVF::DummyObjVar::classof </td>
428
+ <td>(</td>
429
+ <td class="paramtype">const <a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a> *&#160;</td>
430
+ <td class="paramname"><em>node</em></td><td>)</td>
431
+ <td></td>
432
+ </tr>
433
+ </table>
434
+ </td>
435
+ <td class="mlabels-right">
436
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
437
+ </tr>
438
+ </table>
439
+ </div><div class="memdoc">
440
+
441
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00731">731</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
442
+ <div class="fragment"><div class="line"><a name="l00732"></a><span class="lineno"> 732</span>&#160; {</div><div class="line"><a name="l00733"></a><span class="lineno"> 733</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVFVar::DummyObjNode</a></div><div class="line"><a name="l00734"></a><span class="lineno"> 734</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00735"></a><span class="lineno"> 735</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
411
443
  <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00076">SVFVariables.h:76</a></div></div>
412
444
  </div><!-- fragment -->
413
445
  </div>
414
446
  </div>
415
447
  <a id="a6aefb8e6612cb6322e064ac3521fa849"></a>
416
- <h2 class="memtitle"><span class="permalink"><a href="#a6aefb8e6612cb6322e064ac3521fa849">&#9670;&nbsp;</a></span>classof() <span class="overload">[3/3]</span></h2>
448
+ <h2 class="memtitle"><span class="permalink"><a href="#a6aefb8e6612cb6322e064ac3521fa849">&#9670;&nbsp;</a></span>classof() <span class="overload">[4/4]</span></h2>
417
449
 
418
450
  <div class="memitem">
419
451
  <div class="memproto">
@@ -436,8 +468,8 @@ Additional Inherited Members</h2></td></tr>
436
468
  </table>
437
469
  </div><div class="memdoc">
438
470
 
439
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00715">715</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
440
- <div class="fragment"><div class="line"><a name="l00716"></a><span class="lineno"> 716</span>&#160; {</div><div class="line"><a name="l00717"></a><span class="lineno"> 717</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVFVar::DummyObjNode</a></div><div class="line"><a name="l00718"></a><span class="lineno"> 718</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00719"></a><span class="lineno"> 719</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
471
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00736">736</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
472
+ <div class="fragment"><div class="line"><a name="l00737"></a><span class="lineno"> 737</span>&#160; {</div><div class="line"><a name="l00738"></a><span class="lineno"> 738</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVFVar::DummyObjNode</a></div><div class="line"><a name="l00739"></a><span class="lineno"> 739</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00740"></a><span class="lineno"> 740</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
441
473
  <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00076">SVFVariables.h:76</a></div></div>
442
474
  </div><!-- fragment -->
443
475
  </div>
@@ -471,8 +503,8 @@ Additional Inherited Members</h2></td></tr>
471
503
 
472
504
  <p>Reimplemented in <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a2ddf5e4067c537a7dfd9bf74f7195931">SVF::CloneDummyObjVar</a>.</p>
473
505
 
474
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00729">729</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
475
- <div class="fragment"><div class="line"><a name="l00730"></a><span class="lineno"> 730</span>&#160; {</div><div class="line"><a name="l00731"></a><span class="lineno"> 731</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;dummyObj&quot;</span>;</div><div class="line"><a name="l00732"></a><span class="lineno"> 732</span>&#160; }</div></div><!-- fragment -->
506
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00750">750</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
507
+ <div class="fragment"><div class="line"><a name="l00751"></a><span class="lineno"> 751</span>&#160; {</div><div class="line"><a name="l00752"></a><span class="lineno"> 752</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;dummyObj&quot;</span>;</div><div class="line"><a name="l00753"></a><span class="lineno"> 753</span>&#160; }</div></div><!-- fragment -->
476
508
  </div>
477
509
  </div>
478
510
  <a id="a0888335fe157af01e647b79043c7ae40"></a>
package/SVF-doxygen/html/html/classSVF_1_1DummyValVar-members.html CHANGED
@@ -73,8 +73,8 @@ $(function() {
73
73
  <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>
74
74
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#a06c603907dce56bea44f9a4f9da4d6c7">classof</a>(const DummyValVar *)</td><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
75
75
  <tr><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#ac09e183185b178f16547bb355ccb01f3">classof</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
76
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#abd4bbbbe43db12627923729a9d5a5442">classof</a>(const GenericPAGNodeTy *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
77
- <tr><td class="entry"><a class="el" href="classSVF_1_1ValVar.html#adbbf3c9ff5dcb10ac528d3eb4b69750c">SVF::ValVar::classof</a>(const ValVar *)</td><td class="entry"><a class="el" href="classSVF_1_1ValVar.html">SVF::ValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
76
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#a3fbbb34ccb50e65d6d7aabe7e84e548f">classof</a>(const ValVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
77
+ <tr><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#abd4bbbbe43db12627923729a9d5a5442">classof</a>(const GenericPAGNodeTy *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
78
78
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
79
79
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">CloneFIObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
80
80
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">CloneGepObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html CHANGED
@@ -234,6 +234,8 @@ Static Public Member Functions</h2></td></tr>
234
234
  <tr class="separator:a06c603907dce56bea44f9a4f9da4d6c7"><td class="memSeparator" colspan="2">&#160;</td></tr>
235
235
  <tr class="memitem:ac09e183185b178f16547bb355ccb01f3"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyValVar.html#ac09e183185b178f16547bb355ccb01f3">classof</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node)</td></tr>
236
236
  <tr class="separator:ac09e183185b178f16547bb355ccb01f3"><td class="memSeparator" colspan="2">&#160;</td></tr>
237
+ <tr class="memitem:a3fbbb34ccb50e65d6d7aabe7e84e548f"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyValVar.html#a3fbbb34ccb50e65d6d7aabe7e84e548f">classof</a> (const <a class="el" href="classSVF_1_1ValVar.html">ValVar</a> *node)</td></tr>
238
+ <tr class="separator:a3fbbb34ccb50e65d6d7aabe7e84e548f"><td class="memSeparator" colspan="2">&#160;</td></tr>
237
239
  <tr class="memitem:abd4bbbbe43db12627923729a9d5a5442"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyValVar.html#abd4bbbbe43db12627923729a9d5a5442">classof</a> (const <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a> *node)</td></tr>
238
240
  <tr class="separator:abd4bbbbe43db12627923729a9d5a5442"><td class="memSeparator" colspan="2">&#160;</td></tr>
239
241
  <tr class="inherit_header pub_static_methods_classSVF_1_1ValVar"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1ValVar')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1ValVar.html">SVF::ValVar</a></td></tr>
@@ -296,7 +298,7 @@ Additional Inherited Members</h2></td></tr>
296
298
  </table>
297
299
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
298
300
  <div class="textblock">
299
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00661">661</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
301
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00673">673</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
300
302
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
301
303
  <a id="a39fb5acde002694e91599a67ff3ae99a"></a>
302
304
  <h2 class="memtitle"><span class="permalink"><a href="#a39fb5acde002694e91599a67ff3ae99a">&#9670;&nbsp;</a></span>DummyValVar()</h2>
@@ -324,15 +326,15 @@ Additional Inherited Members</h2></td></tr>
324
326
 
325
327
  <p>Constructor. </p>
326
328
 
327
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00682">682</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
328
- <div class="fragment"><div class="line"><a name="l00682"></a><span class="lineno"> 682</span>&#160; : <a class="code" href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">ValVar</a>(<span class="keyword">nullptr</span>, i, <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">DummyValNode</a>)</div><div class="line"><a name="l00683"></a><span class="lineno"> 683</span>&#160; {</div><div class="line"><a name="l00684"></a><span class="lineno"> 684</span>&#160; }</div><div class="ttc" id="classSVF_1_1ValVar_html_ae5dc21b3327a100ffe3e0e2c876ba1bb"><div class="ttname"><a href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">SVF::ValVar::ValVar</a></div><div class="ttdeci">ValVar(const Value *val, NodeID i, PNODEK ty=ValNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00299">SVFVariables.h:299</a></div></div>
329
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00698">698</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
330
+ <div class="fragment"><div class="line"><a name="l00698"></a><span class="lineno"> 698</span>&#160; : <a class="code" href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">ValVar</a>(<span class="keyword">nullptr</span>, i, <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">DummyValNode</a>)</div><div class="line"><a name="l00699"></a><span class="lineno"> 699</span>&#160; {</div><div class="line"><a name="l00700"></a><span class="lineno"> 700</span>&#160; }</div><div class="ttc" id="classSVF_1_1ValVar_html_ae5dc21b3327a100ffe3e0e2c876ba1bb"><div class="ttname"><a href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">SVF::ValVar::ValVar</a></div><div class="ttdeci">ValVar(const Value *val, NodeID i, PNODEK ty=ValNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00303">SVFVariables.h:303</a></div></div>
329
331
  <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar::DummyValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00072">SVFVariables.h:72</a></div></div>
330
332
  </div><!-- fragment -->
331
333
  </div>
332
334
  </div>
333
335
  <h2 class="groupheader">Member Function Documentation</h2>
334
336
  <a id="a06c603907dce56bea44f9a4f9da4d6c7"></a>
335
- <h2 class="memtitle"><span class="permalink"><a href="#a06c603907dce56bea44f9a4f9da4d6c7">&#9670;&nbsp;</a></span>classof() <span class="overload">[1/3]</span></h2>
337
+ <h2 class="memtitle"><span class="permalink"><a href="#a06c603907dce56bea44f9a4f9da4d6c7">&#9670;&nbsp;</a></span>classof() <span class="overload">[1/4]</span></h2>
336
338
 
337
339
  <div class="memitem">
338
340
  <div class="memproto">
@@ -355,12 +357,12 @@ Additional Inherited Members</h2></td></tr>
355
357
  </table>
356
358
  </div><div class="memdoc">
357
359
 
358
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00667">667</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
359
- <div class="fragment"><div class="line"><a name="l00668"></a><span class="lineno"> 668</span>&#160; {</div><div class="line"><a name="l00669"></a><span class="lineno"> 669</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00670"></a><span class="lineno"> 670</span>&#160; }</div></div><!-- fragment -->
360
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00679">679</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
361
+ <div class="fragment"><div class="line"><a name="l00680"></a><span class="lineno"> 680</span>&#160; {</div><div class="line"><a name="l00681"></a><span class="lineno"> 681</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00682"></a><span class="lineno"> 682</span>&#160; }</div></div><!-- fragment -->
360
362
  </div>
361
363
  </div>
362
364
  <a id="ac09e183185b178f16547bb355ccb01f3"></a>
363
- <h2 class="memtitle"><span class="permalink"><a href="#ac09e183185b178f16547bb355ccb01f3">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/3]</span></h2>
365
+ <h2 class="memtitle"><span class="permalink"><a href="#ac09e183185b178f16547bb355ccb01f3">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/4]</span></h2>
364
366
 
365
367
  <div class="memitem">
366
368
  <div class="memproto">
@@ -383,13 +385,42 @@ Additional Inherited Members</h2></td></tr>
383
385
  </table>
384
386
  </div><div class="memdoc">
385
387
 
386
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00671">671</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
387
- <div class="fragment"><div class="line"><a name="l00672"></a><span class="lineno"> 672</span>&#160; {</div><div class="line"><a name="l00673"></a><span class="lineno"> 673</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVFVar::DummyValNode</a>;</div><div class="line"><a name="l00674"></a><span class="lineno"> 674</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar::DummyValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00072">SVFVariables.h:72</a></div></div>
388
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00683">683</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
389
+ <div class="fragment"><div class="line"><a name="l00684"></a><span class="lineno"> 684</span>&#160; {</div><div class="line"><a name="l00685"></a><span class="lineno"> 685</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVFVar::DummyValNode</a>;</div><div class="line"><a name="l00686"></a><span class="lineno"> 686</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar::DummyValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00072">SVFVariables.h:72</a></div></div>
390
+ </div><!-- fragment -->
391
+ </div>
392
+ </div>
393
+ <a id="a3fbbb34ccb50e65d6d7aabe7e84e548f"></a>
394
+ <h2 class="memtitle"><span class="permalink"><a href="#a3fbbb34ccb50e65d6d7aabe7e84e548f">&#9670;&nbsp;</a></span>classof() <span class="overload">[3/4]</span></h2>
395
+
396
+ <div class="memitem">
397
+ <div class="memproto">
398
+ <table class="mlabels">
399
+ <tr>
400
+ <td class="mlabels-left">
401
+ <table class="memname">
402
+ <tr>
403
+ <td class="memname">static bool SVF::DummyValVar::classof </td>
404
+ <td>(</td>
405
+ <td class="paramtype">const <a class="el" href="classSVF_1_1ValVar.html">ValVar</a> *&#160;</td>
406
+ <td class="paramname"><em>node</em></td><td>)</td>
407
+ <td></td>
408
+ </tr>
409
+ </table>
410
+ </td>
411
+ <td class="mlabels-right">
412
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
413
+ </tr>
414
+ </table>
415
+ </div><div class="memdoc">
416
+
417
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00687">687</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
418
+ <div class="fragment"><div class="line"><a name="l00688"></a><span class="lineno"> 688</span>&#160; {</div><div class="line"><a name="l00689"></a><span class="lineno"> 689</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVFVar::DummyValNode</a>;</div><div class="line"><a name="l00690"></a><span class="lineno"> 690</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar::DummyValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00072">SVFVariables.h:72</a></div></div>
388
419
  </div><!-- fragment -->
389
420
  </div>
390
421
  </div>
391
422
  <a id="abd4bbbbe43db12627923729a9d5a5442"></a>
392
- <h2 class="memtitle"><span class="permalink"><a href="#abd4bbbbe43db12627923729a9d5a5442">&#9670;&nbsp;</a></span>classof() <span class="overload">[3/3]</span></h2>
423
+ <h2 class="memtitle"><span class="permalink"><a href="#abd4bbbbe43db12627923729a9d5a5442">&#9670;&nbsp;</a></span>classof() <span class="overload">[4/4]</span></h2>
393
424
 
394
425
  <div class="memitem">
395
426
  <div class="memproto">
@@ -412,8 +443,8 @@ Additional Inherited Members</h2></td></tr>
412
443
  </table>
413
444
  </div><div class="memdoc">
414
445
 
415
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00675">675</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
416
- <div class="fragment"><div class="line"><a name="l00676"></a><span class="lineno"> 676</span>&#160; {</div><div class="line"><a name="l00677"></a><span class="lineno"> 677</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVFVar::DummyValNode</a>;</div><div class="line"><a name="l00678"></a><span class="lineno"> 678</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar::DummyValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00072">SVFVariables.h:72</a></div></div>
446
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00691">691</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
447
+ <div class="fragment"><div class="line"><a name="l00692"></a><span class="lineno"> 692</span>&#160; {</div><div class="line"><a name="l00693"></a><span class="lineno"> 693</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVFVar::DummyValNode</a>;</div><div class="line"><a name="l00694"></a><span class="lineno"> 694</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar::DummyValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00072">SVFVariables.h:72</a></div></div>
417
448
  </div><!-- fragment -->
418
449
  </div>
419
450
  </div>
@@ -444,8 +475,8 @@ Additional Inherited Members</h2></td></tr>
444
475
 
445
476
  <p>Reimplemented from <a class="el" href="classSVF_1_1ValVar.html#aeaccfd3bf5f968ad12d7e1a2426e5faa">SVF::ValVar</a>.</p>
446
477
 
447
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00688">688</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
448
- <div class="fragment"><div class="line"><a name="l00689"></a><span class="lineno"> 689</span>&#160; {</div><div class="line"><a name="l00690"></a><span class="lineno"> 690</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;dummyVal&quot;</span>;</div><div class="line"><a name="l00691"></a><span class="lineno"> 691</span>&#160; }</div></div><!-- fragment -->
478
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00704">704</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
479
+ <div class="fragment"><div class="line"><a name="l00705"></a><span class="lineno"> 705</span>&#160; {</div><div class="line"><a name="l00706"></a><span class="lineno"> 706</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;dummyVal&quot;</span>;</div><div class="line"><a name="l00707"></a><span class="lineno"> 707</span>&#160; }</div></div><!-- fragment -->
449
480
  </div>
450
481
  </div>
451
482
  <a id="a4da61151fed6a64cc361d69276d00b84"></a>
package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html CHANGED
@@ -307,7 +307,7 @@ Additional Inherited Members</h2></td></tr>
307
307
  </table>
308
308
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
309
309
  <div class="textblock">
310
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00534">534</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
310
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00538">538</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
311
311
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
312
312
  <a id="ae77995bc46e4f7b1b17fa86aa601ffae"></a>
313
313
  <h2 class="memtitle"><span class="permalink"><a href="#ae77995bc46e4f7b1b17fa86aa601ffae">&#9670;&nbsp;</a></span>FIObjVar()</h2>
@@ -357,9 +357,9 @@ Additional Inherited Members</h2></td></tr>
357
357
 
358
358
  <p>Constructor. </p>
359
359
 
360
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00562">562</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
361
- <div class="fragment"><div class="line"><a name="l00562"></a><span class="lineno"> 562</span>&#160; :</div><div class="line"><a name="l00563"></a><span class="lineno"> 563</span>&#160; <a class="code" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">ObjVar</a>(val, i, <a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, ty)</div><div class="line"><a name="l00564"></a><span class="lineno"> 564</span>&#160; {</div><div class="line"><a name="l00565"></a><span class="lineno"> 565</span>&#160; }</div><div class="ttc" id="classSVF_1_1ObjVar_html_a3ccbe6bbe3f565641e0cf46c5ecbb6bb"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">SVF::ObjVar::ObjVar</a></div><div class="ttdeci">ObjVar(const Value *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00324">SVFVariables.h:324</a></div></div>
362
- <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#l00322">SVFVariables.h:322</a></div></div>
360
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00566">566</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
361
+ <div class="fragment"><div class="line"><a name="l00566"></a><span class="lineno"> 566</span>&#160; :</div><div class="line"><a name="l00567"></a><span class="lineno"> 567</span>&#160; <a class="code" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">ObjVar</a>(val, i, <a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, ty)</div><div class="line"><a name="l00568"></a><span class="lineno"> 568</span>&#160; {</div><div class="line"><a name="l00569"></a><span class="lineno"> 569</span>&#160; }</div><div class="ttc" id="classSVF_1_1ObjVar_html_a3ccbe6bbe3f565641e0cf46c5ecbb6bb"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">SVF::ObjVar::ObjVar</a></div><div class="ttdeci">ObjVar(const Value *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00328">SVFVariables.h:328</a></div></div>
362
+ <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#l00326">SVFVariables.h:326</a></div></div>
363
363
  </div><!-- fragment -->
364
364
  </div>
365
365
  </div>
@@ -390,8 +390,8 @@ Additional Inherited Members</h2></td></tr>
390
390
 
391
391
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
392
392
 
393
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00540">540</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
394
- <div class="fragment"><div class="line"><a name="l00541"></a><span class="lineno"> 541</span>&#160; {</div><div class="line"><a name="l00542"></a><span class="lineno"> 542</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00543"></a><span class="lineno"> 543</span>&#160; }</div></div><!-- fragment -->
393
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00544">544</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
394
+ <div class="fragment"><div class="line"><a name="l00545"></a><span class="lineno"> 545</span>&#160; {</div><div class="line"><a name="l00546"></a><span class="lineno"> 546</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00547"></a><span class="lineno"> 547</span>&#160; }</div></div><!-- fragment -->
395
395
  </div>
396
396
  </div>
397
397
  <a id="a07ed7216777acb05861044542cc2fe66"></a>
@@ -418,8 +418,8 @@ Additional Inherited Members</h2></td></tr>
418
418
  </table>
419
419
  </div><div class="memdoc">
420
420
 
421
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00544">544</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
422
- <div class="fragment"><div class="line"><a name="l00545"></a><span class="lineno"> 545</span>&#160; {</div><div class="line"><a name="l00546"></a><span class="lineno"> 546</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVFVar::FIObjNode</a></div><div class="line"><a name="l00547"></a><span class="lineno"> 547</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00548"></a><span class="lineno"> 548</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar::FIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
421
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00548">548</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
422
+ <div class="fragment"><div class="line"><a name="l00549"></a><span class="lineno"> 549</span>&#160; {</div><div class="line"><a name="l00550"></a><span class="lineno"> 550</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVFVar::FIObjNode</a></div><div class="line"><a name="l00551"></a><span class="lineno"> 551</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00552"></a><span class="lineno"> 552</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar::FIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
423
423
  <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVF::SVFVar::CloneFIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00075">SVFVariables.h:75</a></div></div>
424
424
  </div><!-- fragment -->
425
425
  </div>
@@ -448,8 +448,8 @@ Additional Inherited Members</h2></td></tr>
448
448
  </table>
449
449
  </div><div class="memdoc">
450
450
 
451
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00549">549</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
452
- <div class="fragment"><div class="line"><a name="l00550"></a><span class="lineno"> 550</span>&#160; {</div><div class="line"><a name="l00551"></a><span class="lineno"> 551</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVFVar::FIObjNode</a></div><div class="line"><a name="l00552"></a><span class="lineno"> 552</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00553"></a><span class="lineno"> 553</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar::FIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
451
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00553">553</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
452
+ <div class="fragment"><div class="line"><a name="l00554"></a><span class="lineno"> 554</span>&#160; {</div><div class="line"><a name="l00555"></a><span class="lineno"> 555</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVFVar::FIObjNode</a></div><div class="line"><a name="l00556"></a><span class="lineno"> 556</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00557"></a><span class="lineno"> 557</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar::FIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
453
453
  <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVF::SVFVar::CloneFIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00075">SVFVariables.h:75</a></div></div>
454
454
  </div><!-- fragment -->
455
455
  </div>
@@ -478,8 +478,8 @@ Additional Inherited Members</h2></td></tr>
478
478
  </table>
479
479
  </div><div class="memdoc">
480
480
 
481
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00554">554</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
482
- <div class="fragment"><div class="line"><a name="l00555"></a><span class="lineno"> 555</span>&#160; {</div><div class="line"><a name="l00556"></a><span class="lineno"> 556</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVFVar::FIObjNode</a></div><div class="line"><a name="l00557"></a><span class="lineno"> 557</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00558"></a><span class="lineno"> 558</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar::FIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
481
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00558">558</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
482
+ <div class="fragment"><div class="line"><a name="l00559"></a><span class="lineno"> 559</span>&#160; {</div><div class="line"><a name="l00560"></a><span class="lineno"> 560</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVFVar::FIObjNode</a></div><div class="line"><a name="l00561"></a><span class="lineno"> 561</span>&#160; || node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00562"></a><span class="lineno"> 562</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar::FIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
483
483
  <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVF::SVFVar::CloneFIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00075">SVFVariables.h:75</a></div></div>
484
484
  </div><!-- fragment -->
485
485
  </div>
@@ -513,8 +513,8 @@ Additional Inherited Members</h2></td></tr>
513
513
 
514
514
  <p>Reimplemented in <a class="el" href="classSVF_1_1CloneFIObjVar.html#abac4095a6a60c321caa40f837a752803">SVF::CloneFIObjVar</a>.</p>
515
515
 
516
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00568">568</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
517
- <div class="fragment"><div class="line"><a name="l00569"></a><span class="lineno"> 569</span>&#160; {</div><div class="line"><a name="l00570"></a><span class="lineno"> 570</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a> &amp;&amp; <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>-&gt;hasName())</div><div class="line"><a name="l00571"></a><span class="lineno"> 571</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>-&gt;getName().str() + <span class="stringliteral">&quot; (base object)&quot;</span>;</div><div class="line"><a name="l00572"></a><span class="lineno"> 572</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot; (base object)&quot;</span>;</div><div class="line"><a name="l00573"></a><span class="lineno"> 573</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a7deb494ac20ed56fca31a4f1fd92deea"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">SVF::SVFVar::value</a></div><div class="ttdeci">const Value * value</div><div class="ttdoc">value of this SVFIR node </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00081">SVFVariables.h:81</a></div></div>
516
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00572">572</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
517
+ <div class="fragment"><div class="line"><a name="l00573"></a><span class="lineno"> 573</span>&#160; {</div><div class="line"><a name="l00574"></a><span class="lineno"> 574</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a> &amp;&amp; <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>-&gt;hasName())</div><div class="line"><a name="l00575"></a><span class="lineno"> 575</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>-&gt;getName().str() + <span class="stringliteral">&quot; (base object)&quot;</span>;</div><div class="line"><a name="l00576"></a><span class="lineno"> 576</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot; (base object)&quot;</span>;</div><div class="line"><a name="l00577"></a><span class="lineno"> 577</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a7deb494ac20ed56fca31a4f1fd92deea"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">SVF::SVFVar::value</a></div><div class="ttdeci">const Value * value</div><div class="ttdoc">value of this SVFIR node </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00081">SVFVariables.h:81</a></div></div>
518
518
  </div><!-- fragment -->
519
519
  </div>
520
520
  </div>