svf-tools 1.0.332 → 1.0.336

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 (289) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +4 -4
  3. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +3 -3
  4. package/SVF-doxygen/html/html/CSC_8cpp_source.html +2 -2
  5. package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +3 -3
  6. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +17 -8
  7. package/SVF-doxygen/html/html/ConsG_8h_source.html +1 -1
  8. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +2 -2
  9. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +2 -2
  10. package/SVF-doxygen/html/html/DCHG_8h_source.html +5 -4
  11. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +2 -2
  12. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
  14. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +3 -3
  15. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +3 -3
  17. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +4 -4
  18. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +4 -4
  19. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +5 -5
  20. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
  21. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +1 -1
  22. package/SVF-doxygen/html/html/LocationSet_8h_source.html +2 -2
  23. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +2 -2
  24. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +6 -6
  25. package/SVF-doxygen/html/html/MemRegion_8h_source.html +2 -2
  26. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +2 -2
  27. package/SVF-doxygen/html/html/MemSSA_8h_source.html +2 -2
  28. package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +3 -3
  30. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +3 -3
  32. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +1 -1
  33. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +3 -3
  34. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +2 -2
  35. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +6 -6
  36. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +18 -18
  37. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +37 -37
  38. package/SVF-doxygen/html/html/SVFIR_8h_source.html +27 -27
  39. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
  40. package/SVF-doxygen/html/html/SVFStatements_8h.html +14 -12
  41. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +131 -123
  42. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +18 -18
  43. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +132 -129
  44. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +3 -3
  45. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +5 -4
  46. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +3 -3
  47. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +2 -2
  48. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  49. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +10 -10
  50. package/SVF-doxygen/html/html/VFGNode_8h_source.html +13 -13
  51. package/SVF-doxygen/html/html/VFG_8cpp_source.html +25 -25
  52. package/SVF-doxygen/html/html/VFG_8h_source.html +18 -17
  53. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  54. package/SVF-doxygen/html/html/annotated.html +271 -270
  55. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt-members.html +16 -10
  56. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +36 -14
  57. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.png +0 -0
  58. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +2 -2
  59. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +1 -1
  60. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +2 -2
  61. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +3 -3
  62. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +4 -4
  63. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +2 -2
  64. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt-members.html +145 -0
  65. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +770 -0
  66. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.png +0 -0
  67. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +4 -4
  68. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt-members.html +7 -11
  69. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +19 -138
  70. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +3 -3
  71. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt-members.html +2 -2
  72. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +39 -39
  73. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
  74. package/SVF-doxygen/html/html/classSVF_1_1CSC.html +2 -2
  75. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode-members.html +3 -3
  76. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +18 -18
  77. package/SVF-doxygen/html/html/classSVF_1_1CallPE-members.html +19 -13
  78. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +43 -21
  79. package/SVF-doxygen/html/html/classSVF_1_1CallPE.png +0 -0
  80. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar-members.html +37 -40
  81. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +14 -22
  82. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar-members.html +37 -40
  83. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +15 -23
  84. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar-members.html +48 -51
  85. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +18 -26
  86. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt-members.html +7 -11
  87. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +20 -139
  88. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +3 -3
  89. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +18 -11
  90. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +2 -2
  91. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt-members.html +16 -10
  92. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +36 -14
  93. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.png +0 -0
  94. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge-members.html +3 -3
  95. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge.html +19 -19
  96. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +2 -2
  97. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar-members.html +37 -40
  98. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +16 -24
  99. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar-members.html +36 -39
  100. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +15 -23
  101. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar-members.html +37 -40
  102. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +21 -29
  103. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
  104. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +1 -1
  105. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +3 -3
  106. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +5 -5
  107. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +3 -9
  108. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.png +0 -0
  109. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar-members.html +49 -52
  110. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +53 -61
  111. package/SVF-doxygen/html/html/classSVF_1_1GepStmt-members.html +23 -15
  112. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +166 -69
  113. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.png +0 -0
  114. package/SVF-doxygen/html/html/classSVF_1_1GepValVar-members.html +45 -48
  115. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +40 -48
  116. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +12 -12
  117. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +1 -1
  118. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +2 -2
  119. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  120. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +2 -2
  121. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +1 -1
  122. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt-members.html +16 -10
  123. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +36 -14
  124. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.png +0 -0
  125. package/SVF-doxygen/html/html/classSVF_1_1LocationSet-members.html +1 -1
  126. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +12 -12
  127. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +10 -10
  128. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +6 -6
  129. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt-members.html +36 -29
  130. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +250 -31
  131. package/SVF-doxygen/html/html/classSVF_1_1NormalGepCGEdge-members.html +2 -2
  132. package/SVF-doxygen/html/html/classSVF_1_1NormalGepCGEdge.html +14 -14
  133. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt-members.html +51 -46
  134. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +53 -93
  135. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.png +0 -0
  136. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +1 -1
  137. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +1 -1
  138. package/SVF-doxygen/html/html/classSVF_1_1ObjVar-members.html +37 -40
  139. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +34 -42
  140. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +3 -3
  141. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +4 -4
  142. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +1 -1
  143. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt-members.html +5 -9
  144. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +18 -137
  145. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +7 -7
  146. package/SVF-doxygen/html/html/classSVF_1_1RetPE-members.html +16 -10
  147. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +43 -21
  148. package/SVF-doxygen/html/html/classSVF_1_1RetPE.png +0 -0
  149. package/SVF-doxygen/html/html/classSVF_1_1RetPN-members.html +36 -39
  150. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +16 -24
  151. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +2 -2
  152. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +1 -1
  153. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +61 -53
  154. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +1 -1
  155. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +22 -16
  156. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +12 -8
  157. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.png +0 -0
  158. package/SVF-doxygen/html/html/classSVF_1_1SVFVar-members.html +28 -25
  159. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +185 -107
  160. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +3 -3
  161. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt-members.html +16 -10
  162. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +36 -14
  163. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.png +0 -0
  164. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +13 -9
  165. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +2 -2
  166. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html +18 -12
  167. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +35 -13
  168. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.png +0 -0
  169. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html +17 -11
  170. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +35 -13
  171. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.png +0 -0
  172. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +17 -17
  174. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt-members.html +2 -2
  175. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +32 -32
  176. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +2 -2
  177. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +34 -34
  178. package/SVF-doxygen/html/html/classSVF_1_1ValVar-members.html +36 -39
  179. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +19 -27
  180. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN-members.html +36 -39
  181. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +16 -24
  182. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt-members.html +52 -45
  183. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +56 -25
  184. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.png +0 -0
  185. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
  186. package/SVF-doxygen/html/html/classes.html +91 -93
  187. package/SVF-doxygen/html/html/functions_a.html +18 -15
  188. package/SVF-doxygen/html/html/functions_c.html +16 -15
  189. package/SVF-doxygen/html/html/functions_func.html +11 -8
  190. package/SVF-doxygen/html/html/functions_func_c.html +24 -23
  191. package/SVF-doxygen/html/html/functions_func_g.html +43 -35
  192. package/SVF-doxygen/html/html/functions_func_o.html +5 -3
  193. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  194. package/SVF-doxygen/html/html/functions_func_t.html +1 -0
  195. package/SVF-doxygen/html/html/functions_g.html +38 -30
  196. package/SVF-doxygen/html/html/functions_i.html +7 -6
  197. package/SVF-doxygen/html/html/functions_l.html +4 -4
  198. package/SVF-doxygen/html/html/functions_m.html +1 -1
  199. package/SVF-doxygen/html/html/functions_o.html +12 -10
  200. package/SVF-doxygen/html/html/functions_p.html +12 -8
  201. package/SVF-doxygen/html/html/functions_r.html +1 -1
  202. package/SVF-doxygen/html/html/functions_rela.html +56 -1
  203. package/SVF-doxygen/html/html/functions_s.html +17 -18
  204. package/SVF-doxygen/html/html/functions_t.html +4 -3
  205. package/SVF-doxygen/html/html/functions_type.html +2 -2
  206. package/SVF-doxygen/html/html/functions_v.html +11 -10
  207. package/SVF-doxygen/html/html/functions_vars_a.html +1 -1
  208. package/SVF-doxygen/html/html/functions_vars_l.html +1 -1
  209. package/SVF-doxygen/html/html/functions_vars_o.html +1 -1
  210. package/SVF-doxygen/html/html/functions_w.html +9 -5
  211. package/SVF-doxygen/html/html/hierarchy.html +17 -16
  212. package/SVF-doxygen/html/html/menudata.js +13 -1
  213. package/SVF-doxygen/html/html/namespaceSVF.html +2 -0
  214. package/SVF-doxygen/html/html/search/all_1.js +6 -5
  215. package/SVF-doxygen/html/html/search/all_10.js +6 -6
  216. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  217. package/SVF-doxygen/html/html/search/all_13.js +11 -11
  218. package/SVF-doxygen/html/html/search/all_14.js +5 -5
  219. package/SVF-doxygen/html/html/search/all_16.js +5 -5
  220. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  221. package/SVF-doxygen/html/html/search/all_3.js +2 -2
  222. package/SVF-doxygen/html/html/search/all_7.js +12 -8
  223. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  224. package/SVF-doxygen/html/html/search/all_c.js +2 -2
  225. package/SVF-doxygen/html/html/search/all_d.js +3 -3
  226. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  227. package/SVF-doxygen/html/html/search/all_f.js +3 -3
  228. package/SVF-doxygen/html/html/search/classes_0.js +2 -1
  229. package/SVF-doxygen/html/html/search/functions_0.js +4 -3
  230. package/SVF-doxygen/html/html/search/functions_10.js +2 -2
  231. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  232. package/SVF-doxygen/html/html/search/functions_13.js +1 -1
  233. package/SVF-doxygen/html/html/search/functions_2.js +1 -1
  234. package/SVF-doxygen/html/html/search/functions_6.js +12 -8
  235. package/SVF-doxygen/html/html/search/functions_b.js +1 -1
  236. package/SVF-doxygen/html/html/search/functions_d.js +1 -1
  237. package/SVF-doxygen/html/html/search/related_4.js +1 -2
  238. package/SVF-doxygen/html/html/search/related_5.js +2 -1
  239. package/SVF-doxygen/html/html/search/related_6.js +1 -4
  240. package/SVF-doxygen/html/html/search/related_7.js +4 -1
  241. package/SVF-doxygen/html/html/search/related_8.js +1 -5
  242. package/SVF-doxygen/html/html/search/related_9.js +6 -2
  243. package/SVF-doxygen/html/html/search/related_a.js +2 -1
  244. package/SVF-doxygen/html/html/search/related_b.html +26 -0
  245. package/SVF-doxygen/html/html/search/related_b.js +5 -0
  246. package/SVF-doxygen/html/html/search/searchdata.js +1 -1
  247. package/SVF-doxygen/html/html/search/typedefs_0.js +1 -1
  248. package/SVF-doxygen/html/html/search/variables_1.js +1 -1
  249. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  250. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  251. package/SVF-doxygen/html/html/search/variables_e.js +2 -2
  252. package/SVF-doxygen/html/html/search/variables_f.js +1 -1
  253. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  254. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +3 -3
  255. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +1 -1
  256. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html +2 -2
  257. package/SVF-doxygen/html/html/svf-ex_8cpp.html +2 -2
  258. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +2 -2
  259. package/images/svf-stat.pdf +0 -0
  260. package/include/Graphs/ConsG.h +1 -1
  261. package/include/Graphs/ConsGEdge.h +2 -2
  262. package/include/Graphs/ICFGNode.h +3 -3
  263. package/include/Graphs/VFG.h +4 -4
  264. package/include/MemoryModel/LocationSet.h +3 -3
  265. package/include/MemoryModel/SVFIR.h +1 -1
  266. package/include/MemoryModel/SVFStatements.h +378 -308
  267. package/include/MemoryModel/SVFVariables.h +31 -30
  268. package/include/SVF-FE/DCHG.h +3 -3
  269. package/include/SVF-FE/SVFIRBuilder.h +2 -2
  270. package/include/Util/IRAnnotator.h +1 -1
  271. package/lib/Graphs/ConsG.cpp +25 -25
  272. package/lib/Graphs/VFG.cpp +10 -10
  273. package/lib/MSSA/MemRegion.cpp +5 -5
  274. package/lib/MemoryModel/LocationSet.cpp +2 -2
  275. package/lib/MemoryModel/PAGBuilderFromFile.cpp +1 -1
  276. package/lib/MemoryModel/PointerAnalysisImpl.cpp +1 -1
  277. package/lib/MemoryModel/SVFIR.cpp +9 -9
  278. package/lib/MemoryModel/SVFStatements.cpp +11 -11
  279. package/lib/MemoryModel/SVFVariables.cpp +2 -2
  280. package/lib/MemoryModel/SymbolTableInfo.cpp +2 -2
  281. package/lib/SVF-FE/DCHG.cpp +1 -1
  282. package/lib/SVF-FE/Graph2Json.cpp +1 -1
  283. package/lib/SVF-FE/SVFIRBuilder.cpp +3 -3
  284. package/lib/SVF-FE/SymbolTableBuilder.cpp +16 -3
  285. package/lib/Util/TypeBasedHeapCloning.cpp +5 -5
  286. package/lib/WPA/AndersenSFR.cpp +2 -2
  287. package/lib/WPA/CSC.cpp +2 -2
  288. package/lib/WPA/FlowSensitiveTBHC.cpp +3 -3
  289. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html CHANGED
@@ -143,29 +143,21 @@ Public Member Functions</h2></td></tr>
143
143
  <tr class="memitem:a747b2c92c81d32fcd357e80d2d8fe7cc inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">hasIncomingEdges</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
144
144
  <tr class="memdesc:a747b2c92c81d32fcd357e80d2d8fe7cc inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has incoming <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> statements (edges) <a href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">More...</a><br /></td></tr>
145
145
  <tr class="separator:a747b2c92c81d32fcd357e80d2d8fe7cc inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
146
- <tr class="memitem:a71e4fd7a1271a17e971ed90044e6da24 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24">hasIncomingVariantGepEdge</a> () const</td></tr>
147
- <tr class="memdesc:a71e4fd7a1271a17e971ed90044e6da24 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has incoming VariantGepEdges. <a href="classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24">More...</a><br /></td></tr>
148
- <tr class="separator:a71e4fd7a1271a17e971ed90044e6da24 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
146
+ <tr class="memitem:a9b00f9b5f8ad2422162f4396e2d8fa42 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">hasOutgoingEdges</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
147
+ <tr class="memdesc:a9b00f9b5f8ad2422162f4396e2d8fa42 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has outgoing <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> statements (edges) <a href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">More...</a><br /></td></tr>
148
+ <tr class="separator:a9b00f9b5f8ad2422162f4396e2d8fa42 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
149
149
  <tr class="memitem:a893890649ae7d8e275dd823e941aa39b inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">SVFStmt::SVFStmtSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a893890649ae7d8e275dd823e941aa39b">getIncomingEdgesBegin</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
150
150
  <tr class="memdesc:a893890649ae7d8e275dd823e941aa39b inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get incoming <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator. <a href="classSVF_1_1SVFVar.html#a893890649ae7d8e275dd823e941aa39b">More...</a><br /></td></tr>
151
151
  <tr class="separator:a893890649ae7d8e275dd823e941aa39b inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
152
152
  <tr class="memitem:af1cf24ab50e0d86c9d0f9bd5744b4c10 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">SVFStmt::SVFStmtSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#af1cf24ab50e0d86c9d0f9bd5744b4c10">getIncomingEdgesEnd</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
153
153
  <tr class="memdesc:af1cf24ab50e0d86c9d0f9bd5744b4c10 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get incoming <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator. <a href="classSVF_1_1SVFVar.html#af1cf24ab50e0d86c9d0f9bd5744b4c10">More...</a><br /></td></tr>
154
154
  <tr class="separator:af1cf24ab50e0d86c9d0f9bd5744b4c10 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
155
- <tr class="memitem:a9b00f9b5f8ad2422162f4396e2d8fa42 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">hasOutgoingEdges</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
156
- <tr class="memdesc:a9b00f9b5f8ad2422162f4396e2d8fa42 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has outgoing <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> statements (edges) <a href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">More...</a><br /></td></tr>
157
- <tr class="separator:a9b00f9b5f8ad2422162f4396e2d8fa42 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
158
155
  <tr class="memitem:a9e40eafe55a2c1448b830b56ae72e17f inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">SVFStmt::SVFStmtSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a9e40eafe55a2c1448b830b56ae72e17f">getOutgoingEdgesBegin</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
159
156
  <tr class="memdesc:a9e40eafe55a2c1448b830b56ae72e17f inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get outgoing <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator. <a href="classSVF_1_1SVFVar.html#a9e40eafe55a2c1448b830b56ae72e17f">More...</a><br /></td></tr>
160
157
  <tr class="separator:a9e40eafe55a2c1448b830b56ae72e17f inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
161
158
  <tr class="memitem:aa5176fce9746bc585d43ebb4c8c824e5 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">SVFStmt::SVFStmtSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#aa5176fce9746bc585d43ebb4c8c824e5">getOutgoingEdgesEnd</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
162
159
  <tr class="memdesc:aa5176fce9746bc585d43ebb4c8c824e5 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get outgoing <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator. <a href="classSVF_1_1SVFVar.html#aa5176fce9746bc585d43ebb4c8c824e5">More...</a><br /></td></tr>
163
160
  <tr class="separator:aa5176fce9746bc585d43ebb4c8c824e5 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
164
- <tr class="memitem:a9376133075b0d44ff09876af933c8618 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618">addInEdge</a> (<a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *inEdge)</td></tr>
165
- <tr class="memdesc:a9376133075b0d44ff09876af933c8618 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">add methods of the components <a href="classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618">More...</a><br /></td></tr>
166
- <tr class="separator:a9376133075b0d44ff09876af933c8618 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
167
- <tr class="memitem:a21a44c7a30e4e3743f6c3186fd7dbe8f inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f">addOutEdge</a> (<a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *outEdge)</td></tr>
168
- <tr class="separator:a21a44c7a30e4e3743f6c3186fd7dbe8f inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
169
161
  <tr class="memitem:aa34b2230655db9c4195e44e1c437bbc6 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#aa34b2230655db9c4195e44e1c437bbc6">dump</a> () const</td></tr>
170
162
  <tr class="memdesc:aa34b2230655db9c4195e44e1c437bbc6 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump to console for debugging. <a href="classSVF_1_1SVFVar.html#aa34b2230655db9c4195e44e1c437bbc6">More...</a><br /></td></tr>
171
163
  <tr class="separator:aa34b2230655db9c4195e44e1c437bbc6 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -326,7 +318,7 @@ Additional Inherited Members</h2></td></tr>
326
318
  </table>
327
319
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
328
320
  <div class="textblock">
329
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00811">811</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
321
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00812">812</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
330
322
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
331
323
  <a id="adeef2b67999d96aab854b25432ebb348"></a>
332
324
  <h2 class="memtitle"><span class="permalink"><a href="#adeef2b67999d96aab854b25432ebb348">&#9670;&nbsp;</a></span>CloneFIObjVar()</h2>
@@ -376,9 +368,9 @@ Additional Inherited Members</h2></td></tr>
376
368
 
377
369
  <p>Constructor. </p>
378
370
 
379
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00830">830</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
380
- <div class="fragment"><div class="line"><a name="l00830"></a><span class="lineno"> 830</span>&#160; :</div><div class="line"><a name="l00831"></a><span class="lineno"> 831</span>&#160; <a class="code" href="classSVF_1_1FIObjVar.html#ae77995bc46e4f7b1b17fa86aa601ffae">FIObjVar</a>(val, i, <a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, ty)</div><div class="line"><a name="l00832"></a><span class="lineno"> 832</span>&#160; {</div><div class="line"><a name="l00833"></a><span class="lineno"> 833</span>&#160; }</div><div class="ttc" id="classSVF_1_1FIObjVar_html_ae77995bc46e4f7b1b17fa86aa601ffae"><div class="ttname"><a href="classSVF_1_1FIObjVar.html#ae77995bc46e4f7b1b17fa86aa601ffae">SVF::FIObjVar::FIObjVar</a></div><div class="ttdeci">FIObjVar(const Value *val, NodeID i, const MemObj *mem, PNODEK ty=FIObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00561">SVFVariables.h:561</a></div></div>
381
- <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>
371
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00831">831</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
372
+ <div class="fragment"><div class="line"><a name="l00831"></a><span class="lineno"> 831</span>&#160; :</div><div class="line"><a name="l00832"></a><span class="lineno"> 832</span>&#160; <a class="code" href="classSVF_1_1FIObjVar.html#ae77995bc46e4f7b1b17fa86aa601ffae">FIObjVar</a>(val, i, <a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, ty)</div><div class="line"><a name="l00833"></a><span class="lineno"> 833</span>&#160; {</div><div class="line"><a name="l00834"></a><span class="lineno"> 834</span>&#160; }</div><div class="ttc" id="classSVF_1_1FIObjVar_html_ae77995bc46e4f7b1b17fa86aa601ffae"><div class="ttname"><a href="classSVF_1_1FIObjVar.html#ae77995bc46e4f7b1b17fa86aa601ffae">SVF::FIObjVar::FIObjVar</a></div><div class="ttdeci">FIObjVar(const Value *val, NodeID i, const MemObj *mem, PNODEK ty=FIObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00562">SVFVariables.h:562</a></div></div>
373
+ <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>
382
374
  </div><!-- fragment -->
383
375
  </div>
384
376
  </div>
@@ -407,8 +399,8 @@ Additional Inherited Members</h2></td></tr>
407
399
  </table>
408
400
  </div><div class="memdoc">
409
401
 
410
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00815">815</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
411
- <div class="fragment"><div class="line"><a name="l00816"></a><span class="lineno"> 816</span>&#160; {</div><div class="line"><a name="l00817"></a><span class="lineno"> 817</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00818"></a><span class="lineno"> 818</span>&#160; }</div></div><!-- fragment -->
402
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00816">816</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
403
+ <div class="fragment"><div class="line"><a name="l00817"></a><span class="lineno"> 817</span>&#160; {</div><div class="line"><a name="l00818"></a><span class="lineno"> 818</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00819"></a><span class="lineno"> 819</span>&#160; }</div></div><!-- fragment -->
412
404
  </div>
413
405
  </div>
414
406
  <a id="a71c3a2f27967bec62f65bed3d38e2c35"></a>
@@ -435,8 +427,8 @@ Additional Inherited Members</h2></td></tr>
435
427
  </table>
436
428
  </div><div class="memdoc">
437
429
 
438
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00819">819</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
439
- <div class="fragment"><div class="line"><a name="l00820"></a><span class="lineno"> 820</span>&#160; {</div><div class="line"><a name="l00821"></a><span class="lineno"> 821</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00822"></a><span class="lineno"> 822</span>&#160; }</div><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#l00072">SVFVariables.h:72</a></div></div>
430
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00820">820</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
431
+ <div class="fragment"><div class="line"><a name="l00821"></a><span class="lineno"> 821</span>&#160; {</div><div class="line"><a name="l00822"></a><span class="lineno"> 822</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00823"></a><span class="lineno"> 823</span>&#160; }</div><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>
440
432
  </div><!-- fragment -->
441
433
  </div>
442
434
  </div>
@@ -464,8 +456,8 @@ Additional Inherited Members</h2></td></tr>
464
456
  </table>
465
457
  </div><div class="memdoc">
466
458
 
467
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00823">823</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
468
- <div class="fragment"><div class="line"><a name="l00824"></a><span class="lineno"> 824</span>&#160; {</div><div class="line"><a name="l00825"></a><span class="lineno"> 825</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00826"></a><span class="lineno"> 826</span>&#160; }</div><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#l00072">SVFVariables.h:72</a></div></div>
459
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00824">824</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
460
+ <div class="fragment"><div class="line"><a name="l00825"></a><span class="lineno"> 825</span>&#160; {</div><div class="line"><a name="l00826"></a><span class="lineno"> 826</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00827"></a><span class="lineno"> 827</span>&#160; }</div><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>
469
461
  </div><!-- fragment -->
470
462
  </div>
471
463
  </div>
@@ -496,8 +488,8 @@ Additional Inherited Members</h2></td></tr>
496
488
 
497
489
  <p>Reimplemented from <a class="el" href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">SVF::FIObjVar</a>.</p>
498
490
 
499
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00836">836</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
500
- <div class="fragment"><div class="line"><a name="l00837"></a><span class="lineno"> 837</span>&#160; {</div><div class="line"><a name="l00838"></a><span class="lineno"> 838</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;clone (FI) of &quot;</span> + <a class="code" href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">FIObjVar::getValueName</a>();</div><div class="line"><a name="l00839"></a><span class="lineno"> 839</span>&#160; }</div><div class="ttc" id="classSVF_1_1FIObjVar_html_a330b28f8488de9e186bedf73e5576a08"><div class="ttname"><a href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">SVF::FIObjVar::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#l00567">SVFVariables.h:567</a></div></div>
491
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00837">837</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
492
+ <div class="fragment"><div class="line"><a name="l00838"></a><span class="lineno"> 838</span>&#160; {</div><div class="line"><a name="l00839"></a><span class="lineno"> 839</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;clone (FI) of &quot;</span> + <a class="code" href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">FIObjVar::getValueName</a>();</div><div class="line"><a name="l00840"></a><span class="lineno"> 840</span>&#160; }</div><div class="ttc" id="classSVF_1_1FIObjVar_html_a330b28f8488de9e186bedf73e5576a08"><div class="ttname"><a href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">SVF::FIObjVar::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#l00568">SVFVariables.h:568</a></div></div>
501
493
  </div><!-- fragment -->
502
494
  </div>
503
495
  </div>
package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar-members.html CHANGED
@@ -70,8 +70,6 @@ $(function() {
70
70
  <p>This is the complete list of members for <a class="el" href="classSVF_1_1CloneGepObjVar.html">SVF::CloneGepObjVar</a>, including all inherited members.</p>
71
71
  <table class="directory">
72
72
  <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>
73
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618">addInEdge</a>(SVFStmt *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
74
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f">addOutEdge</a>(SVFStmt *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
75
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>
76
74
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CloneGepObjVar.html#a5f46eff05b965deeeed531bd9a87b464">classof</a>(const CloneGepObjVar *)</td><td class="entry"><a class="el" href="classSVF_1_1CloneGepObjVar.html">SVF::CloneGepObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
77
75
  <tr><td class="entry"><a class="el" href="classSVF_1_1CloneGepObjVar.html#a2dc4176254a15071a35f8218036cd5bb">classof</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1CloneGepObjVar.html">SVF::CloneGepObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
@@ -102,16 +100,16 @@ $(function() {
102
100
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c">GepObjVar</a>(const MemObj *mem, NodeID i, const LocationSet &amp;l, PNODEK ty=GepObjNode)</td><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
103
101
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">GepValNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
104
102
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html#a4c5e346db61f7e04c15bf8527d8eff3c">getBaseNode</a>(void) const</td><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
105
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a53439a493963d16e5a1b5ed36ab6d33e">getFunction</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
106
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
107
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a76964ef7d4842a469d7720881499d8a6">getIncomingEdges</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
108
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a893890649ae7d8e275dd823e941aa39b">getIncomingEdgesBegin</a>(SVFStmt::PEDGEK kind) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
109
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#af1cf24ab50e0d86c9d0f9bd5744b4c10">getIncomingEdgesEnd</a>(SVFStmt::PEDGEK kind) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
110
- <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>
111
- <tr><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html#a553e648804b39c503e7288dd0434c339">getLocationSet</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
112
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930">getMemObj</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
113
- <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>
114
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html#aae0159e4e93e3607e425933b8ce0a66c">getOffset</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
103
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html#a8daba70e9cc23d2411f5be0b1cd1054d">getFieldOffset</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
104
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a53439a493963d16e5a1b5ed36ab6d33e">getFunction</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
105
+ <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>
106
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a76964ef7d4842a469d7720881499d8a6">getIncomingEdges</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
107
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a893890649ae7d8e275dd823e941aa39b">getIncomingEdgesBegin</a>(SVFStmt::PEDGEK kind) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
108
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#af1cf24ab50e0d86c9d0f9bd5744b4c10">getIncomingEdgesEnd</a>(SVFStmt::PEDGEK kind) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
109
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
110
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html#a553e648804b39c503e7288dd0434c339">getLocationSet</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
111
+ <tr><td class="entry"><a class="el" href="classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930">getMemObj</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
112
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
115
113
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
116
114
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a927733580b47be5ffcfced44ba9fd6c3">getOutgoingEdges</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
115
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a9e40eafe55a2c1448b830b56ae72e17f">getOutgoingEdgesBegin</a>(SVFStmt::PEDGEK kind) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -123,45 +121,44 @@ $(function() {
123
121
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">hasIncomingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
122
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
125
123
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">hasIncomingEdges</a>(SVFStmt::PEDGEK kind) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
126
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24">hasIncomingVariantGepEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</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#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>
128
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">hasOutgoingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
129
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">hasOutgoingEdges</a>(SVFStmt::PEDGEK kind) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</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_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">hasValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</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#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>
132
- <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>
133
- <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>
134
- <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>
135
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">InEdgeKindToSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
136
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a482652e097c8e7921b4db2e75eb71efc">isAddressTakenPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
137
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
138
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#ab51b134720986c39fce7f033a49df6f0">isConstantData</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
139
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7">isIsolatedNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
140
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271">isPointer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
141
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
142
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a60bed99a7fd939873118698b058ccc4a">isTopLevelPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
143
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</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>
144
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a></td><td class="entry"><a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
145
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
146
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11">ObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
147
- <tr><td class="entry"><a class="el" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">ObjVar</a>(const Value *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)</td><td class="entry"><a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
148
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
149
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
150
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
151
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">OutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
152
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">OutEdgeKindToSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
153
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff">PNODEK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
154
- <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>
155
- <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>
156
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98">RetNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
157
- <tr><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4">setBaseNode</a>(NodeID base)</td><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
158
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a24daf5faa4b1d159c193e61951d17414">SVFVar</a>(const Value *val, NodeID i, PNODEK k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
159
- <tr><td class="entry"><a class="el" href="classSVF_1_1CloneGepObjVar.html#a74e6fea7dc651c57de3e06ff356522a5">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CloneGepObjVar.html">SVF::CloneGepObjVar</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
160
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66">ValNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
161
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
162
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">VarargNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
163
- <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>
164
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#ab76f9dea1559bd9b10b870dbc7bb454a">~SVFVar</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
124
+ <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>
125
+ <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>
126
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">hasOutgoingEdges</a>(SVFStmt::PEDGEK kind) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
127
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">hasValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
128
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#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>
129
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
130
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
131
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
132
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">InEdgeKindToSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
133
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a482652e097c8e7921b4db2e75eb71efc">isAddressTakenPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
134
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
135
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#ab51b134720986c39fce7f033a49df6f0">isConstantData</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
136
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7">isIsolatedNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
137
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271">isPointer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
138
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
139
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a60bed99a7fd939873118698b058ccc4a">isTopLevelPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</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#a2f5471985dfe62bc9ded830a693ab153">iterator</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>
141
+ <tr><td class="entry"><a class="el" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a></td><td class="entry"><a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
142
+ <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>
143
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11">ObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
144
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">ObjVar</a>(const Value *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)</td><td class="entry"><a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
145
+ <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>
146
+ <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>
147
+ <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>
148
+ <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>
149
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">OutEdgeKindToSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
150
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff">PNODEK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
151
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">removeIncomingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
152
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
153
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98">RetNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
154
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4">setBaseNode</a>(NodeID base)</td><td class="entry"><a class="el" href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
155
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a24daf5faa4b1d159c193e61951d17414">SVFVar</a>(const Value *val, NodeID i, PNODEK k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
156
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CloneGepObjVar.html#a74e6fea7dc651c57de3e06ff356522a5">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CloneGepObjVar.html">SVF::CloneGepObjVar</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
157
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66">ValNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
158
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
159
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">VarargNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
160
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a48a8d05b81b5c8099c3f3d1f2c4983a9">~GenericNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
161
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#ab76f9dea1559bd9b10b870dbc7bb454a">~SVFVar</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
165
162
  </table></div><!-- contents -->
166
163
  <!-- start footer part -->
167
164
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html CHANGED
@@ -101,9 +101,9 @@ Public Member Functions</h2></td></tr>
101
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
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
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>
104
+ <tr class="memitem:a8daba70e9cc23d2411f5be0b1cd1054d 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#a8daba70e9cc23d2411f5be0b1cd1054d">getFieldOffset</a> () const</td></tr>
105
+ <tr class="memdesc:a8daba70e9cc23d2411f5be0b1cd1054d 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#a8daba70e9cc23d2411f5be0b1cd1054d">More...</a><br /></td></tr>
106
+ <tr class="separator:a8daba70e9cc23d2411f5be0b1cd1054d inherit pub_methods_classSVF_1_1GepObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
107
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
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
109
  <tr class="separator:a5e371fae7592d763661a7cb777107ff4 inherit pub_methods_classSVF_1_1GepObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -155,29 +155,21 @@ Public Member Functions</h2></td></tr>
155
155
  <tr class="memitem:a747b2c92c81d32fcd357e80d2d8fe7cc inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">hasIncomingEdges</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
156
156
  <tr class="memdesc:a747b2c92c81d32fcd357e80d2d8fe7cc inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has incoming <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> statements (edges) <a href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">More...</a><br /></td></tr>
157
157
  <tr class="separator:a747b2c92c81d32fcd357e80d2d8fe7cc inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
158
- <tr class="memitem:a71e4fd7a1271a17e971ed90044e6da24 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24">hasIncomingVariantGepEdge</a> () const</td></tr>
159
- <tr class="memdesc:a71e4fd7a1271a17e971ed90044e6da24 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has incoming VariantGepEdges. <a href="classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24">More...</a><br /></td></tr>
160
- <tr class="separator:a71e4fd7a1271a17e971ed90044e6da24 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
158
+ <tr class="memitem:a9b00f9b5f8ad2422162f4396e2d8fa42 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">hasOutgoingEdges</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
159
+ <tr class="memdesc:a9b00f9b5f8ad2422162f4396e2d8fa42 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has outgoing <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> statements (edges) <a href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">More...</a><br /></td></tr>
160
+ <tr class="separator:a9b00f9b5f8ad2422162f4396e2d8fa42 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
161
161
  <tr class="memitem:a893890649ae7d8e275dd823e941aa39b inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">SVFStmt::SVFStmtSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a893890649ae7d8e275dd823e941aa39b">getIncomingEdgesBegin</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
162
162
  <tr class="memdesc:a893890649ae7d8e275dd823e941aa39b inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get incoming <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator. <a href="classSVF_1_1SVFVar.html#a893890649ae7d8e275dd823e941aa39b">More...</a><br /></td></tr>
163
163
  <tr class="separator:a893890649ae7d8e275dd823e941aa39b inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
164
164
  <tr class="memitem:af1cf24ab50e0d86c9d0f9bd5744b4c10 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">SVFStmt::SVFStmtSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#af1cf24ab50e0d86c9d0f9bd5744b4c10">getIncomingEdgesEnd</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
165
165
  <tr class="memdesc:af1cf24ab50e0d86c9d0f9bd5744b4c10 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get incoming <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator. <a href="classSVF_1_1SVFVar.html#af1cf24ab50e0d86c9d0f9bd5744b4c10">More...</a><br /></td></tr>
166
166
  <tr class="separator:af1cf24ab50e0d86c9d0f9bd5744b4c10 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
167
- <tr class="memitem:a9b00f9b5f8ad2422162f4396e2d8fa42 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">hasOutgoingEdges</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
168
- <tr class="memdesc:a9b00f9b5f8ad2422162f4396e2d8fa42 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has outgoing <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> statements (edges) <a href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">More...</a><br /></td></tr>
169
- <tr class="separator:a9b00f9b5f8ad2422162f4396e2d8fa42 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
170
167
  <tr class="memitem:a9e40eafe55a2c1448b830b56ae72e17f inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">SVFStmt::SVFStmtSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a9e40eafe55a2c1448b830b56ae72e17f">getOutgoingEdgesBegin</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
171
168
  <tr class="memdesc:a9e40eafe55a2c1448b830b56ae72e17f inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get outgoing <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator. <a href="classSVF_1_1SVFVar.html#a9e40eafe55a2c1448b830b56ae72e17f">More...</a><br /></td></tr>
172
169
  <tr class="separator:a9e40eafe55a2c1448b830b56ae72e17f inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
173
170
  <tr class="memitem:aa5176fce9746bc585d43ebb4c8c824e5 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">SVFStmt::SVFStmtSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#aa5176fce9746bc585d43ebb4c8c824e5">getOutgoingEdgesEnd</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
174
171
  <tr class="memdesc:aa5176fce9746bc585d43ebb4c8c824e5 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get outgoing <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator. <a href="classSVF_1_1SVFVar.html#aa5176fce9746bc585d43ebb4c8c824e5">More...</a><br /></td></tr>
175
172
  <tr class="separator:aa5176fce9746bc585d43ebb4c8c824e5 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
176
- <tr class="memitem:a9376133075b0d44ff09876af933c8618 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618">addInEdge</a> (<a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *inEdge)</td></tr>
177
- <tr class="memdesc:a9376133075b0d44ff09876af933c8618 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">add methods of the components <a href="classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618">More...</a><br /></td></tr>
178
- <tr class="separator:a9376133075b0d44ff09876af933c8618 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
179
- <tr class="memitem:a21a44c7a30e4e3743f6c3186fd7dbe8f inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f">addOutEdge</a> (<a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *outEdge)</td></tr>
180
- <tr class="separator:a21a44c7a30e4e3743f6c3186fd7dbe8f inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
181
173
  <tr class="memitem:aa34b2230655db9c4195e44e1c437bbc6 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#aa34b2230655db9c4195e44e1c437bbc6">dump</a> () const</td></tr>
182
174
  <tr class="memdesc:aa34b2230655db9c4195e44e1c437bbc6 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump to console for debugging. <a href="classSVF_1_1SVFVar.html#aa34b2230655db9c4195e44e1c437bbc6">More...</a><br /></td></tr>
183
175
  <tr class="separator:aa34b2230655db9c4195e44e1c437bbc6 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -338,7 +330,7 @@ Additional Inherited Members</h2></td></tr>
338
330
  </table>
339
331
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
340
332
  <div class="textblock">
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>
333
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00776">776</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
342
334
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
343
335
  <a id="ab2b37ac7064e97665c04c778904e9888"></a>
344
336
  <h2 class="memtitle"><span class="permalink"><a href="#ab2b37ac7064e97665c04c778904e9888">&#9670;&nbsp;</a></span>CloneGepObjVar()</h2>
@@ -388,9 +380,9 @@ Additional Inherited Members</h2></td></tr>
388
380
 
389
381
  <p>Constructor. </p>
390
382
 
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>
383
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00795">795</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
384
+ <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; <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="l00797"></a><span class="lineno"> 797</span>&#160; {</div><div class="line"><a name="l00798"></a><span class="lineno"> 798</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#l00483">SVFVariables.h:483</a></div></div>
385
+ <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>
394
386
  </div><!-- fragment -->
395
387
  </div>
396
388
  </div>
@@ -419,8 +411,8 @@ Additional Inherited Members</h2></td></tr>
419
411
  </table>
420
412
  </div><div class="memdoc">
421
413
 
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 -->
414
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00780">780</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
415
+ <div class="fragment"><div class="line"><a name="l00781"></a><span class="lineno"> 781</span>&#160; {</div><div class="line"><a name="l00782"></a><span class="lineno"> 782</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00783"></a><span class="lineno"> 783</span>&#160; }</div></div><!-- fragment -->
424
416
  </div>
425
417
  </div>
426
418
  <a id="a2dc4176254a15071a35f8218036cd5bb"></a>
@@ -447,8 +439,8 @@ Additional Inherited Members</h2></td></tr>
447
439
  </table>
448
440
  </div><div class="memdoc">
449
441
 
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>
442
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00784">784</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
443
+ <div class="fragment"><div class="line"><a name="l00785"></a><span class="lineno"> 785</span>&#160; {</div><div class="line"><a name="l00786"></a><span class="lineno"> 786</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="l00787"></a><span class="lineno"> 787</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#l00074">SVFVariables.h:74</a></div></div>
452
444
  </div><!-- fragment -->
453
445
  </div>
454
446
  </div>
@@ -476,8 +468,8 @@ Additional Inherited Members</h2></td></tr>
476
468
  </table>
477
469
  </div><div class="memdoc">
478
470
 
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>
471
+ <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>
472
+ <div class="fragment"><div class="line"><a name="l00789"></a><span class="lineno"> 789</span>&#160; {</div><div class="line"><a name="l00790"></a><span class="lineno"> 790</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="l00791"></a><span class="lineno"> 791</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#l00074">SVFVariables.h:74</a></div></div>
481
473
  </div><!-- fragment -->
482
474
  </div>
483
475
  </div>
@@ -508,8 +500,8 @@ Additional Inherited Members</h2></td></tr>
508
500
 
509
501
  <p>Reimplemented from <a class="el" href="classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7">SVF::GepObjVar</a>.</p>
510
502
 
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>
503
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00801">801</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
504
+ <div class="fragment"><div class="line"><a name="l00802"></a><span class="lineno"> 802</span>&#160; {</div><div class="line"><a name="l00803"></a><span class="lineno"> 803</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="l00804"></a><span class="lineno"> 804</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#l00520">SVFVariables.h:520</a></div></div>
513
505
  </div><!-- fragment -->
514
506
  </div>
515
507
  </div>