svf-tools 1.0.331 → 1.0.335

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 (293) 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 +3 -3
  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 +7 -7
  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/SymbolTableInfo_8cpp_source.html +2 -2
  46. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  47. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +10 -10
  48. package/SVF-doxygen/html/html/VFGNode_8h_source.html +13 -13
  49. package/SVF-doxygen/html/html/VFG_8cpp_source.html +25 -25
  50. package/SVF-doxygen/html/html/VFG_8h_source.html +18 -17
  51. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  52. package/SVF-doxygen/html/html/annotated.html +271 -270
  53. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt-members.html +16 -10
  54. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +36 -14
  55. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.png +0 -0
  56. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +2 -2
  57. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +1 -1
  58. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +2 -2
  59. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +3 -3
  60. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +4 -4
  61. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +2 -2
  62. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt-members.html +145 -0
  63. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +770 -0
  64. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.png +0 -0
  65. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +4 -4
  66. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt-members.html +7 -11
  67. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +19 -138
  68. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +3 -3
  69. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt-members.html +2 -2
  70. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +39 -39
  71. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
  72. package/SVF-doxygen/html/html/classSVF_1_1CSC.html +2 -2
  73. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode-members.html +4 -4
  74. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +4 -4
  75. package/SVF-doxygen/html/html/classSVF_1_1CallPE-members.html +19 -13
  76. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +43 -21
  77. package/SVF-doxygen/html/html/classSVF_1_1CallPE.png +0 -0
  78. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar-members.html +37 -40
  79. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +14 -22
  80. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar-members.html +37 -40
  81. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +15 -23
  82. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar-members.html +48 -51
  83. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +18 -26
  84. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt-members.html +7 -11
  85. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +20 -139
  86. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +3 -3
  87. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +18 -11
  88. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +2 -2
  89. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt-members.html +16 -10
  90. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +36 -14
  91. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.png +0 -0
  92. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge-members.html +3 -3
  93. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge.html +19 -19
  94. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +2 -2
  95. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar-members.html +37 -40
  96. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +16 -24
  97. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar-members.html +36 -39
  98. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +15 -23
  99. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar-members.html +37 -40
  100. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +21 -29
  101. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
  102. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +1 -1
  103. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +3 -3
  104. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +5 -5
  105. package/SVF-doxygen/html/html/classSVF_1_1FunEntryBlockNode-members.html +2 -2
  106. package/SVF-doxygen/html/html/classSVF_1_1FunEntryBlockNode.html +4 -4
  107. package/SVF-doxygen/html/html/classSVF_1_1FunExitBlockNode-members.html +2 -2
  108. package/SVF-doxygen/html/html/classSVF_1_1FunExitBlockNode.html +4 -4
  109. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +3 -9
  110. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.png +0 -0
  111. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar-members.html +49 -52
  112. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +53 -61
  113. package/SVF-doxygen/html/html/classSVF_1_1GepStmt-members.html +23 -15
  114. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +166 -69
  115. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.png +0 -0
  116. package/SVF-doxygen/html/html/classSVF_1_1GepValVar-members.html +45 -48
  117. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +40 -48
  118. package/SVF-doxygen/html/html/classSVF_1_1GlobalBlockNode-members.html +2 -2
  119. package/SVF-doxygen/html/html/classSVF_1_1GlobalBlockNode.html +4 -4
  120. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode-members.html +2 -2
  121. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +10 -10
  122. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +12 -12
  123. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +1 -1
  124. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +2 -2
  125. package/SVF-doxygen/html/html/classSVF_1_1InterBlockNode-members.html +2 -2
  126. package/SVF-doxygen/html/html/classSVF_1_1InterBlockNode.html +4 -4
  127. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  128. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode-members.html +2 -2
  129. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +4 -4
  130. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +2 -2
  131. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +1 -1
  132. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt-members.html +16 -10
  133. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +36 -14
  134. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.png +0 -0
  135. package/SVF-doxygen/html/html/classSVF_1_1LocationSet-members.html +1 -1
  136. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +12 -12
  137. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +10 -10
  138. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +6 -6
  139. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt-members.html +36 -29
  140. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +250 -31
  141. package/SVF-doxygen/html/html/classSVF_1_1NormalGepCGEdge-members.html +2 -2
  142. package/SVF-doxygen/html/html/classSVF_1_1NormalGepCGEdge.html +14 -14
  143. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt-members.html +51 -46
  144. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +53 -93
  145. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.png +0 -0
  146. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +1 -1
  147. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +1 -1
  148. package/SVF-doxygen/html/html/classSVF_1_1ObjVar-members.html +37 -40
  149. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +34 -42
  150. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +3 -3
  151. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +4 -4
  152. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +1 -1
  153. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt-members.html +5 -9
  154. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +18 -137
  155. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +7 -7
  156. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode-members.html +2 -2
  157. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode.html +4 -4
  158. package/SVF-doxygen/html/html/classSVF_1_1RetPE-members.html +16 -10
  159. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +43 -21
  160. package/SVF-doxygen/html/html/classSVF_1_1RetPE.png +0 -0
  161. package/SVF-doxygen/html/html/classSVF_1_1RetPN-members.html +36 -39
  162. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +16 -24
  163. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +2 -2
  164. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +1 -1
  165. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +61 -53
  166. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +1 -1
  167. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +24 -18
  168. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +12 -8
  169. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.png +0 -0
  170. package/SVF-doxygen/html/html/classSVF_1_1SVFVar-members.html +28 -25
  171. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +185 -107
  172. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +3 -3
  173. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt-members.html +16 -10
  174. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +36 -14
  175. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.png +0 -0
  176. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +2 -2
  177. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html +18 -12
  178. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +35 -13
  179. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.png +0 -0
  180. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html +17 -11
  181. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +35 -13
  182. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.png +0 -0
  183. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
  184. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +17 -17
  185. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt-members.html +2 -2
  186. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +32 -32
  187. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +2 -2
  188. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +34 -34
  189. package/SVF-doxygen/html/html/classSVF_1_1ValVar-members.html +36 -39
  190. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +19 -27
  191. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN-members.html +36 -39
  192. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +16 -24
  193. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt-members.html +52 -45
  194. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +56 -25
  195. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.png +0 -0
  196. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
  197. package/SVF-doxygen/html/html/classes.html +91 -93
  198. package/SVF-doxygen/html/html/functions_a.html +18 -15
  199. package/SVF-doxygen/html/html/functions_c.html +16 -15
  200. package/SVF-doxygen/html/html/functions_func.html +18 -15
  201. package/SVF-doxygen/html/html/functions_func_c.html +24 -23
  202. package/SVF-doxygen/html/html/functions_func_g.html +45 -37
  203. package/SVF-doxygen/html/html/functions_func_o.html +5 -3
  204. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  205. package/SVF-doxygen/html/html/functions_func_t.html +1 -0
  206. package/SVF-doxygen/html/html/functions_g.html +46 -38
  207. package/SVF-doxygen/html/html/functions_i.html +7 -6
  208. package/SVF-doxygen/html/html/functions_l.html +4 -4
  209. package/SVF-doxygen/html/html/functions_m.html +1 -1
  210. package/SVF-doxygen/html/html/functions_o.html +12 -10
  211. package/SVF-doxygen/html/html/functions_p.html +12 -8
  212. package/SVF-doxygen/html/html/functions_rela.html +56 -1
  213. package/SVF-doxygen/html/html/functions_s.html +14 -15
  214. package/SVF-doxygen/html/html/functions_t.html +9 -10
  215. package/SVF-doxygen/html/html/functions_v.html +8 -7
  216. package/SVF-doxygen/html/html/functions_vars_l.html +1 -1
  217. package/SVF-doxygen/html/html/functions_vars_o.html +1 -1
  218. package/SVF-doxygen/html/html/hierarchy.html +17 -16
  219. package/SVF-doxygen/html/html/menudata.js +13 -1
  220. package/SVF-doxygen/html/html/namespaceSVF.html +2 -0
  221. package/SVF-doxygen/html/html/search/all_1.js +5 -4
  222. package/SVF-doxygen/html/html/search/all_10.js +6 -6
  223. package/SVF-doxygen/html/html/search/all_13.js +12 -12
  224. package/SVF-doxygen/html/html/search/all_14.js +7 -7
  225. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  226. package/SVF-doxygen/html/html/search/all_16.js +4 -4
  227. package/SVF-doxygen/html/html/search/all_3.js +2 -2
  228. package/SVF-doxygen/html/html/search/all_7.js +12 -8
  229. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  230. package/SVF-doxygen/html/html/search/all_c.js +2 -2
  231. package/SVF-doxygen/html/html/search/all_d.js +3 -3
  232. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  233. package/SVF-doxygen/html/html/search/all_f.js +3 -3
  234. package/SVF-doxygen/html/html/search/classes_0.js +2 -1
  235. package/SVF-doxygen/html/html/search/functions_0.js +5 -4
  236. package/SVF-doxygen/html/html/search/functions_10.js +2 -2
  237. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  238. package/SVF-doxygen/html/html/search/functions_13.js +1 -1
  239. package/SVF-doxygen/html/html/search/functions_2.js +1 -1
  240. package/SVF-doxygen/html/html/search/functions_6.js +12 -8
  241. package/SVF-doxygen/html/html/search/functions_b.js +1 -1
  242. package/SVF-doxygen/html/html/search/functions_d.js +1 -1
  243. package/SVF-doxygen/html/html/search/related_4.js +1 -2
  244. package/SVF-doxygen/html/html/search/related_5.js +2 -1
  245. package/SVF-doxygen/html/html/search/related_6.js +1 -4
  246. package/SVF-doxygen/html/html/search/related_7.js +4 -1
  247. package/SVF-doxygen/html/html/search/related_8.js +1 -5
  248. package/SVF-doxygen/html/html/search/related_9.js +6 -2
  249. package/SVF-doxygen/html/html/search/related_a.js +2 -1
  250. package/SVF-doxygen/html/html/search/related_b.html +26 -0
  251. package/SVF-doxygen/html/html/search/related_b.js +5 -0
  252. package/SVF-doxygen/html/html/search/searchdata.js +1 -1
  253. package/SVF-doxygen/html/html/search/variables_14.js +3 -3
  254. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  255. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  256. package/SVF-doxygen/html/html/search/variables_e.js +2 -2
  257. package/SVF-doxygen/html/html/search/variables_f.js +1 -1
  258. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  259. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +3 -3
  260. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +1 -1
  261. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html +2 -2
  262. package/SVF-doxygen/html/html/svf-ex_8cpp.html +2 -2
  263. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +2 -2
  264. package/images/svf-stat.pdf +0 -0
  265. package/include/Graphs/ConsG.h +1 -1
  266. package/include/Graphs/ConsGEdge.h +2 -2
  267. package/include/Graphs/ICFGNode.h +2 -2
  268. package/include/Graphs/VFG.h +4 -4
  269. package/include/MemoryModel/LocationSet.h +3 -3
  270. package/include/MemoryModel/SVFIR.h +1 -1
  271. package/include/MemoryModel/SVFStatements.h +378 -308
  272. package/include/MemoryModel/SVFVariables.h +31 -30
  273. package/include/SVF-FE/DCHG.h +3 -3
  274. package/include/SVF-FE/SVFIRBuilder.h +2 -2
  275. package/include/Util/IRAnnotator.h +1 -1
  276. package/lib/Graphs/ConsG.cpp +25 -25
  277. package/lib/Graphs/VFG.cpp +10 -10
  278. package/lib/MSSA/MemRegion.cpp +5 -5
  279. package/lib/MemoryModel/LocationSet.cpp +2 -2
  280. package/lib/MemoryModel/PAGBuilderFromFile.cpp +1 -1
  281. package/lib/MemoryModel/PointerAnalysisImpl.cpp +1 -1
  282. package/lib/MemoryModel/SVFIR.cpp +9 -9
  283. package/lib/MemoryModel/SVFStatements.cpp +11 -11
  284. package/lib/MemoryModel/SVFVariables.cpp +2 -2
  285. package/lib/MemoryModel/SymbolTableInfo.cpp +2 -2
  286. package/lib/SVF-FE/DCHG.cpp +1 -1
  287. package/lib/SVF-FE/Graph2Json.cpp +1 -1
  288. package/lib/SVF-FE/SVFIRBuilder.cpp +4 -4
  289. package/lib/Util/TypeBasedHeapCloning.cpp +5 -5
  290. package/lib/WPA/AndersenSFR.cpp +2 -2
  291. package/lib/WPA/CSC.cpp +2 -2
  292. package/lib/WPA/FlowSensitiveTBHC.cpp +3 -3
  293. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.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>
@@ -323,7 +315,7 @@ Additional Inherited Members</h2></td></tr>
323
315
  </table>
324
316
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
325
317
  <div class="textblock">
326
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00739">739</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
318
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00740">740</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
327
319
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
328
320
  <a id="a2f2a74296d76349d472a71c4ee069aa0"></a>
329
321
  <h2 class="memtitle"><span class="permalink"><a href="#a2f2a74296d76349d472a71c4ee069aa0">&#9670;&nbsp;</a></span>CloneDummyObjVar()</h2>
@@ -367,8 +359,8 @@ Additional Inherited Members</h2></td></tr>
367
359
 
368
360
  <p>Constructor. </p>
369
361
 
370
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00758">758</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
371
- <div class="fragment"><div class="line"><a name="l00759"></a><span class="lineno"> 759</span>&#160; : <a class="code" href="classSVF_1_1DummyObjVar.html#a3dff74bbf50b6a901239d3fd31e0f36c">DummyObjVar</a>(i, m, ty)</div><div class="line"><a name="l00760"></a><span class="lineno"> 760</span>&#160; {</div><div class="line"><a name="l00761"></a><span class="lineno"> 761</span>&#160; }</div><div class="ttc" id="classSVF_1_1DummyObjVar_html_a3dff74bbf50b6a901239d3fd31e0f36c"><div class="ttname"><a href="classSVF_1_1DummyObjVar.html#a3dff74bbf50b6a901239d3fd31e0f36c">SVF::DummyObjVar::DummyObjVar</a></div><div class="ttdeci">DummyObjVar(NodeID i, const MemObj *m, PNODEK ty=DummyObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00722">SVFVariables.h:722</a></div></div>
362
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00759">759</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
363
+ <div class="fragment"><div class="line"><a name="l00760"></a><span class="lineno"> 760</span>&#160; : <a class="code" href="classSVF_1_1DummyObjVar.html#a3dff74bbf50b6a901239d3fd31e0f36c">DummyObjVar</a>(i, m, ty)</div><div class="line"><a name="l00761"></a><span class="lineno"> 761</span>&#160; {</div><div class="line"><a name="l00762"></a><span class="lineno"> 762</span>&#160; }</div><div class="ttc" id="classSVF_1_1DummyObjVar_html_a3dff74bbf50b6a901239d3fd31e0f36c"><div class="ttname"><a href="classSVF_1_1DummyObjVar.html#a3dff74bbf50b6a901239d3fd31e0f36c">SVF::DummyObjVar::DummyObjVar</a></div><div class="ttdeci">DummyObjVar(NodeID i, const MemObj *m, PNODEK ty=DummyObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00723">SVFVariables.h:723</a></div></div>
372
364
  </div><!-- fragment -->
373
365
  </div>
374
366
  </div>
@@ -397,8 +389,8 @@ Additional Inherited Members</h2></td></tr>
397
389
  </table>
398
390
  </div><div class="memdoc">
399
391
 
400
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00743">743</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
401
- <div class="fragment"><div class="line"><a name="l00744"></a><span class="lineno"> 744</span>&#160; {</div><div class="line"><a name="l00745"></a><span class="lineno"> 745</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00746"></a><span class="lineno"> 746</span>&#160; }</div></div><!-- fragment -->
392
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00744">744</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
393
+ <div class="fragment"><div class="line"><a name="l00745"></a><span class="lineno"> 745</span>&#160; {</div><div class="line"><a name="l00746"></a><span class="lineno"> 746</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00747"></a><span class="lineno"> 747</span>&#160; }</div></div><!-- fragment -->
402
394
  </div>
403
395
  </div>
404
396
  <a id="a6eb2439f433fe48a338b09a6ab017f7c"></a>
@@ -425,8 +417,8 @@ Additional Inherited Members</h2></td></tr>
425
417
  </table>
426
418
  </div><div class="memdoc">
427
419
 
428
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00747">747</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
429
- <div class="fragment"><div class="line"><a name="l00748"></a><span class="lineno"> 748</span>&#160; {</div><div class="line"><a name="l00749"></a><span class="lineno"> 749</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00750"></a><span class="lineno"> 750</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
420
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00748">748</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
421
+ <div class="fragment"><div class="line"><a name="l00749"></a><span class="lineno"> 749</span>&#160; {</div><div class="line"><a name="l00750"></a><span class="lineno"> 750</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00751"></a><span class="lineno"> 751</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00076">SVFVariables.h:76</a></div></div>
430
422
  </div><!-- fragment -->
431
423
  </div>
432
424
  </div>
@@ -454,8 +446,8 @@ Additional Inherited Members</h2></td></tr>
454
446
  </table>
455
447
  </div><div class="memdoc">
456
448
 
457
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00751">751</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
458
- <div class="fragment"><div class="line"><a name="l00752"></a><span class="lineno"> 752</span>&#160; {</div><div class="line"><a name="l00753"></a><span class="lineno"> 753</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00754"></a><span class="lineno"> 754</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
449
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00752">752</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
450
+ <div class="fragment"><div class="line"><a name="l00753"></a><span class="lineno"> 753</span>&#160; {</div><div class="line"><a name="l00754"></a><span class="lineno"> 754</span>&#160; <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00755"></a><span class="lineno"> 755</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00076">SVFVariables.h:76</a></div></div>
459
451
  </div><!-- fragment -->
460
452
  </div>
461
453
  </div>
@@ -486,8 +478,8 @@ Additional Inherited Members</h2></td></tr>
486
478
 
487
479
  <p>Reimplemented from <a class="el" href="classSVF_1_1DummyObjVar.html#aec23bc498cf78ed065565681e14dd2dd">SVF::DummyObjVar</a>.</p>
488
480
 
489
- <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00764">764</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
490
- <div class="fragment"><div class="line"><a name="l00765"></a><span class="lineno"> 765</span>&#160; {</div><div class="line"><a name="l00766"></a><span class="lineno"> 766</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;clone of &quot;</span> + <a class="code" href="classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3">ObjVar::getValueName</a>();</div><div class="line"><a name="l00767"></a><span class="lineno"> 767</span>&#160; }</div><div class="ttc" id="classSVF_1_1ObjVar_html_ac1609e2e3b6843c6f7992e425771fce3"><div class="ttname"><a href="classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3">SVF::ObjVar::getValueName</a></div><div class="ttdeci">virtual 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#l00363">SVFVariables.h:363</a></div></div>
481
+ <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00765">765</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
482
+ <div class="fragment"><div class="line"><a name="l00766"></a><span class="lineno"> 766</span>&#160; {</div><div class="line"><a name="l00767"></a><span class="lineno"> 767</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;clone of &quot;</span> + <a class="code" href="classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3">ObjVar::getValueName</a>();</div><div class="line"><a name="l00768"></a><span class="lineno"> 768</span>&#160; }</div><div class="ttc" id="classSVF_1_1ObjVar_html_ac1609e2e3b6843c6f7992e425771fce3"><div class="ttname"><a href="classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3">SVF::ObjVar::getValueName</a></div><div class="ttdeci">virtual 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#l00364">SVFVariables.h:364</a></div></div>
491
483
  </div><!-- fragment -->
492
484
  </div>
493
485
  </div>
package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar-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_1CloneFIObjVar.html">SVF::CloneFIObjVar</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_1CloneFIObjVar.html#a96a659f0a876b417ebdf6057db65c870">classof</a>(const CloneFIObjVar *)</td><td class="entry"><a class="el" href="classSVF_1_1CloneFIObjVar.html">SVF::CloneFIObjVar</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_1CloneFIObjVar.html#a71c3a2f27967bec62f65bed3d38e2c35">classof</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1CloneFIObjVar.html">SVF::CloneFIObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
@@ -120,44 +118,43 @@ $(function() {
120
118
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">hasIncomingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
121
119
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
122
120
  <tr class="even"><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>
123
- <tr><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>
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_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>
155
- <tr><td class="entry"><a class="el" href="classSVF_1_1CloneFIObjVar.html#a336acd6fdf3e6be5ea44435a1576c9fc">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CloneFIObjVar.html">SVF::CloneFIObjVar</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
156
- <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>
157
- <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>
158
- <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>
159
- <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>
160
- <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>
121
+ <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>
122
+ <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>
123
+ <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>
124
+ <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>
125
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
126
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
127
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
128
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
129
+ <tr><td class="entry"><a class="el" href="classSVF_1_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>
130
+ <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>
131
+ <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>
132
+ <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>
133
+ <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>
134
+ <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>
135
+ <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>
136
+ <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>
137
+ <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>
138
+ <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>
139
+ <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>
140
+ <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>
141
+ <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>
142
+ <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>
143
+ <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>
144
+ <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>
145
+ <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>
146
+ <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>
147
+ <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>
148
+ <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>
149
+ <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>
150
+ <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>
151
+ <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>
152
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CloneFIObjVar.html#a336acd6fdf3e6be5ea44435a1576c9fc">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CloneFIObjVar.html">SVF::CloneFIObjVar</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
153
+ <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>
154
+ <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>
155
+ <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>
156
+ <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>
157
+ <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>
161
158
  </table></div><!-- contents -->
162
159
  <!-- start footer part -->
163
160
  <hr class="footer"/><address class="footer"><small>
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>