svf-tools 1.0.321 → 1.0.322

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 (319) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +5 -5
  4. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +5 -5
  5. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +2 -2
  6. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
  8. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +2 -2
  10. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +2 -2
  11. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +3 -3
  12. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +9 -9
  14. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +7 -7
  15. package/SVF-doxygen/html/html/MemRegion_8h_source.html +11 -11
  16. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +9 -9
  17. package/SVF-doxygen/html/html/MemSSA_8h_source.html +11 -11
  18. package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +2 -2
  21. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +1 -1
  22. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +1 -1
  23. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +2 -2
  24. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
  25. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +4 -4
  26. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +4 -4
  27. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +33 -33
  28. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +31 -31
  29. package/SVF-doxygen/html/html/SVFIR_8h_source.html +32 -32
  30. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +14 -14
  31. package/SVF-doxygen/html/html/SVFStatements_8h.html +11 -11
  32. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +72 -72
  33. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +9 -9
  34. package/SVF-doxygen/html/html/SVFVariables_8h.html +9 -9
  35. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +66 -66
  36. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +8 -8
  39. package/SVF-doxygen/html/html/VFGNode_8h_source.html +11 -11
  40. package/SVF-doxygen/html/html/VFG_8cpp_source.html +16 -16
  41. package/SVF-doxygen/html/html/VFG_8h_source.html +21 -21
  42. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  43. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
  44. package/SVF-doxygen/html/html/annotated.html +21 -21
  45. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +1 -1
  46. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt-members.html +136 -0
  47. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +498 -0
  48. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.png +0 -0
  49. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode-members.html +1 -1
  50. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +7 -7
  51. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
  52. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +3 -3
  53. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  54. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt-members.html +154 -0
  55. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +754 -0
  56. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.png +0 -0
  57. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar-members.html +169 -0
  58. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +537 -0
  59. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.png +0 -0
  60. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar-members.html +169 -0
  61. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +547 -0
  62. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.png +0 -0
  63. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar-members.html +172 -0
  64. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +556 -0
  65. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.png +0 -0
  66. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt-members.html +74 -22
  67. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +477 -93
  68. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.png +0 -0
  69. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  70. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +5 -5
  71. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
  72. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +43 -43
  73. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +3 -3
  74. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt-members.html +56 -21
  75. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +251 -89
  76. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.png +0 -0
  77. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode-members.html +1 -1
  78. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +7 -7
  79. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
  80. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG-members.html +8 -8
  81. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +18 -18
  82. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar-members.html +167 -0
  83. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +531 -0
  84. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.png +0 -0
  85. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar-members.html +165 -0
  86. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +502 -0
  87. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.png +0 -0
  88. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar-members.html +167 -0
  89. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +577 -0
  90. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.png +0 -0
  91. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +2 -2
  92. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +2 -2
  93. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  94. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +3 -3
  95. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +6 -6
  96. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.png +0 -0
  97. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +23 -22
  98. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  99. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN-members.html +4 -4
  100. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html +37 -37
  101. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.png +0 -0
  102. package/SVF-doxygen/html/html/classSVF_1_1GepStmt-members.html +56 -22
  103. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +257 -118
  104. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.png +0 -0
  105. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode-members.html +1 -1
  106. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +7 -7
  107. package/SVF-doxygen/html/html/classSVF_1_1GepValVar-members.html +170 -0
  108. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +752 -0
  109. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.png +0 -0
  110. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +3 -3
  111. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG-members.html +8 -8
  112. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +18 -18
  113. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG-members.html +8 -8
  114. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +18 -18
  115. package/SVF-doxygen/html/html/classSVF_1_1LoadMU-members.html +3 -3
  116. package/SVF-doxygen/html/html/classSVF_1_1LoadMU.html +20 -20
  117. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt-members.html +56 -21
  118. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +251 -89
  119. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.png +0 -0
  120. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode-members.html +1 -1
  121. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +7 -7
  122. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator-members.html +8 -8
  123. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +63 -63
  124. package/SVF-doxygen/html/html/classSVF_1_1MemSSA-members.html +8 -8
  125. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +71 -71
  126. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +3 -3
  127. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.png +0 -0
  128. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt-members.html +141 -0
  129. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +647 -0
  130. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.png +0 -0
  131. package/SVF-doxygen/html/html/classSVF_1_1ObjVar-members.html +165 -0
  132. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +644 -0
  133. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.png +0 -0
  134. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +10 -10
  135. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +2 -2
  136. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt-members.html +73 -22
  137. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +445 -98
  138. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.png +0 -0
  139. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +8 -8
  140. package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +9 -9
  141. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +32 -32
  142. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +9 -9
  143. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +26 -26
  144. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +14 -14
  145. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +142 -142
  146. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +11 -11
  147. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +137 -137
  148. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +7 -7
  149. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.png +0 -0
  150. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +13 -13
  151. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.png +0 -0
  152. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  153. package/SVF-doxygen/html/html/classSVF_1_1StoreCHI-members.html +3 -3
  154. package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +20 -20
  155. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt-members.html +56 -21
  156. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +258 -89
  157. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.png +0 -0
  158. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode-members.html +1 -1
  159. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +7 -7
  160. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +2 -2
  161. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +20 -20
  162. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt-members.html +146 -0
  163. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +792 -0
  164. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.png +0 -0
  165. package/SVF-doxygen/html/html/classSVF_1_1VFG-members.html +9 -9
  166. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +69 -69
  167. package/SVF-doxygen/html/html/classSVF_1_1ValVar-members.html +163 -0
  168. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +521 -0
  169. package/SVF-doxygen/html/html/classSVF_1_1ValVar.png +0 -0
  170. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt-members.html +138 -0
  171. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +542 -0
  172. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.png +0 -0
  173. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +1 -1
  174. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  175. package/SVF-doxygen/html/html/classes.html +18 -18
  176. package/SVF-doxygen/html/html/functions_a.html +39 -39
  177. package/SVF-doxygen/html/html/functions_b.html +2 -2
  178. package/SVF-doxygen/html/html/functions_c.html +34 -34
  179. package/SVF-doxygen/html/html/functions_d.html +4 -4
  180. package/SVF-doxygen/html/html/functions_f.html +3 -3
  181. package/SVF-doxygen/html/html/functions_func.html +38 -38
  182. package/SVF-doxygen/html/html/functions_func_b.html +2 -2
  183. package/SVF-doxygen/html/html/functions_func_c.html +30 -30
  184. package/SVF-doxygen/html/html/functions_func_d.html +4 -4
  185. package/SVF-doxygen/html/html/functions_func_f.html +2 -2
  186. package/SVF-doxygen/html/html/functions_func_g.html +49 -49
  187. package/SVF-doxygen/html/html/functions_func_l.html +3 -3
  188. package/SVF-doxygen/html/html/functions_func_n.html +2 -2
  189. package/SVF-doxygen/html/html/functions_func_o.html +15 -15
  190. package/SVF-doxygen/html/html/functions_func_p.html +2 -2
  191. package/SVF-doxygen/html/html/functions_func_s.html +4 -4
  192. package/SVF-doxygen/html/html/functions_func_t.html +20 -20
  193. package/SVF-doxygen/html/html/functions_func_u.html +2 -2
  194. package/SVF-doxygen/html/html/functions_func_v.html +5 -5
  195. package/SVF-doxygen/html/html/functions_g.html +52 -52
  196. package/SVF-doxygen/html/html/functions_i.html +2 -2
  197. package/SVF-doxygen/html/html/functions_l.html +9 -9
  198. package/SVF-doxygen/html/html/functions_m.html +1 -1
  199. package/SVF-doxygen/html/html/functions_n.html +2 -2
  200. package/SVF-doxygen/html/html/functions_o.html +17 -17
  201. package/SVF-doxygen/html/html/functions_p.html +4 -4
  202. package/SVF-doxygen/html/html/functions_s.html +7 -7
  203. package/SVF-doxygen/html/html/functions_t.html +20 -20
  204. package/SVF-doxygen/html/html/functions_type_c.html +1 -1
  205. package/SVF-doxygen/html/html/functions_type_l.html +3 -3
  206. package/SVF-doxygen/html/html/functions_type_p.html +1 -1
  207. package/SVF-doxygen/html/html/functions_type_s.html +3 -3
  208. package/SVF-doxygen/html/html/functions_u.html +2 -2
  209. package/SVF-doxygen/html/html/functions_v.html +5 -5
  210. package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
  211. package/SVF-doxygen/html/html/functions_vars_g.html +1 -1
  212. package/SVF-doxygen/html/html/functions_vars_i.html +2 -2
  213. package/SVF-doxygen/html/html/functions_vars_l.html +2 -2
  214. package/SVF-doxygen/html/html/functions_vars_m.html +1 -1
  215. package/SVF-doxygen/html/html/functions_vars_o.html +3 -3
  216. package/SVF-doxygen/html/html/functions_w.html +5 -9
  217. package/SVF-doxygen/html/html/hierarchy.html +65 -65
  218. package/SVF-doxygen/html/html/namespaceSVF.html +23 -23
  219. package/SVF-doxygen/html/html/search/all_1.js +37 -37
  220. package/SVF-doxygen/html/html/search/all_10.js +2 -2
  221. package/SVF-doxygen/html/html/search/all_13.js +6 -6
  222. package/SVF-doxygen/html/html/search/all_14.js +1 -1
  223. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  224. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  225. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  226. package/SVF-doxygen/html/html/search/all_2.js +1 -1
  227. package/SVF-doxygen/html/html/search/all_3.js +8 -8
  228. package/SVF-doxygen/html/html/search/all_4.js +2 -2
  229. package/SVF-doxygen/html/html/search/all_6.js +2 -2
  230. package/SVF-doxygen/html/html/search/all_7.js +26 -26
  231. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  232. package/SVF-doxygen/html/html/search/all_c.js +7 -7
  233. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  234. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  235. package/SVF-doxygen/html/html/search/all_f.js +3 -3
  236. package/SVF-doxygen/html/html/search/classes_0.js +1 -1
  237. package/SVF-doxygen/html/html/search/classes_1.js +1 -1
  238. package/SVF-doxygen/html/html/search/classes_11.js +1 -1
  239. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  240. package/SVF-doxygen/html/html/search/classes_2.js +5 -5
  241. package/SVF-doxygen/html/html/search/classes_3.js +2 -2
  242. package/SVF-doxygen/html/html/search/classes_5.js +1 -1
  243. package/SVF-doxygen/html/html/search/classes_6.js +2 -2
  244. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  245. package/SVF-doxygen/html/html/search/classes_b.js +1 -1
  246. package/SVF-doxygen/html/html/search/classes_c.js +1 -1
  247. package/SVF-doxygen/html/html/search/classes_d.js +1 -1
  248. package/SVF-doxygen/html/html/search/classes_f.js +1 -1
  249. package/SVF-doxygen/html/html/search/functions_0.js +37 -37
  250. package/SVF-doxygen/html/html/search/functions_1.js +1 -1
  251. package/SVF-doxygen/html/html/search/functions_10.js +3 -3
  252. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  253. package/SVF-doxygen/html/html/search/functions_12.js +1 -1
  254. package/SVF-doxygen/html/html/search/functions_13.js +2 -2
  255. package/SVF-doxygen/html/html/search/functions_2.js +7 -7
  256. package/SVF-doxygen/html/html/search/functions_3.js +2 -2
  257. package/SVF-doxygen/html/html/search/functions_5.js +1 -1
  258. package/SVF-doxygen/html/html/search/functions_6.js +25 -25
  259. package/SVF-doxygen/html/html/search/functions_a.js +3 -3
  260. package/SVF-doxygen/html/html/search/functions_c.js +1 -1
  261. package/SVF-doxygen/html/html/search/functions_d.js +2 -2
  262. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  263. package/SVF-doxygen/html/html/search/typedefs_11.js +3 -3
  264. package/SVF-doxygen/html/html/search/typedefs_2.js +1 -1
  265. package/SVF-doxygen/html/html/search/typedefs_b.js +3 -3
  266. package/SVF-doxygen/html/html/search/typedefs_f.js +1 -1
  267. package/SVF-doxygen/html/html/search/variables_6.js +1 -1
  268. package/SVF-doxygen/html/html/search/variables_7.js +1 -1
  269. package/SVF-doxygen/html/html/search/variables_9.js +1 -1
  270. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  271. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  272. package/SVF-doxygen/html/html/search/variables_f.js +1 -1
  273. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +2 -2
  274. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  275. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +2 -2
  276. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +1 -1
  277. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +1 -1
  278. package/include/Graphs/ICFGNode.h +1 -1
  279. package/include/Graphs/VFG.h +9 -9
  280. package/include/Graphs/VFGNode.h +6 -6
  281. package/include/MSSA/MSSAMuChi.h +6 -6
  282. package/include/MSSA/MemRegion.h +8 -8
  283. package/include/MSSA/MemSSA.h +10 -10
  284. package/include/MemoryModel/PointerAnalysis.h +1 -1
  285. package/include/MemoryModel/PointerAnalysisImpl.h +2 -2
  286. package/include/MemoryModel/SVFIR.h +28 -28
  287. package/include/MemoryModel/SVFStatements.h +68 -68
  288. package/include/MemoryModel/SVFVariables.h +39 -39
  289. package/include/SVF-FE/SVFIRBuilder.h +22 -22
  290. package/lib/DDA/ContextDDA.cpp +4 -4
  291. package/lib/DDA/DDAStat.cpp +1 -1
  292. package/lib/DDA/FlowDDA.cpp +2 -2
  293. package/lib/Graphs/ConsG.cpp +12 -12
  294. package/lib/Graphs/IRGraph.cpp +15 -15
  295. package/lib/Graphs/OfflineConsG.cpp +8 -8
  296. package/lib/Graphs/SVFG.cpp +8 -8
  297. package/lib/Graphs/ThreadCallGraph.cpp +2 -2
  298. package/lib/Graphs/VFG.cpp +15 -15
  299. package/lib/MSSA/MemRegion.cpp +6 -6
  300. package/lib/MSSA/MemSSA.cpp +6 -6
  301. package/lib/MemoryModel/PAGBuilderFromFile.cpp +3 -3
  302. package/lib/MemoryModel/PointerAnalysis.cpp +9 -9
  303. package/lib/MemoryModel/PointerAnalysisImpl.cpp +2 -2
  304. package/lib/MemoryModel/SVFIR.cpp +44 -44
  305. package/lib/MemoryModel/SVFStatements.cpp +24 -24
  306. package/lib/MemoryModel/SVFVariables.cpp +19 -19
  307. package/lib/SABER/SaberSVFGBuilder.cpp +2 -2
  308. package/lib/SVF-FE/Graph2Json.cpp +1 -1
  309. package/lib/SVF-FE/SVFIRBuilder.cpp +5 -5
  310. package/lib/Util/PTAStat.cpp +1 -1
  311. package/lib/Util/TypeBasedHeapCloning.cpp +19 -19
  312. package/lib/WPA/AndersenSFR.cpp +1 -1
  313. package/lib/WPA/AndersenStat.cpp +3 -3
  314. package/lib/WPA/FlowSensitive.cpp +2 -2
  315. package/lib/WPA/FlowSensitiveStat.cpp +2 -2
  316. package/lib/WPA/FlowSensitiveTBHC.cpp +4 -4
  317. package/lib/WPA/VersionedFlowSensitive.cpp +1 -1
  318. package/lib/WPA/VersionedFlowSensitiveStat.cpp +1 -1
  319. package/package.json +1 -1
@@ -106,7 +106,7 @@ $(function() {
106
106
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">Gep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
107
107
  <tr><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html#a0c5d942e163a732ce78af81327e73ab2">GepVFGNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html">SVF::GepVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
108
108
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html#a1edc695ae4d62a0fe19ecba74a1db3e4">GepVFGNode</a>(const GepVFGNode &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html">SVF::GepVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
109
- <tr><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html#af918342cc39f2e4a91f5bc2d8b028a5d">GepVFGNode</a>(NodeID id, const GepPE *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html">SVF::GepVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
109
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html#a4877548499e779b09a0cb29ad9ec0f43">GepVFGNode</a>(NodeID id, const GepStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GepVFGNode.html">SVF::GepVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
110
110
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
111
111
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
112
112
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -86,9 +86,9 @@ Inheritance diagram for SVF::GepVFGNode:</div>
86
86
  <table class="memberdecls">
87
87
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
88
88
  Public Member Functions</h2></td></tr>
89
- <tr class="memitem:af918342cc39f2e4a91f5bc2d8b028a5d"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepVFGNode.html#af918342cc39f2e4a91f5bc2d8b028a5d">GepVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>, const <a class="el" href="classSVF_1_1GepPE.html">GepPE</a> *edge)</td></tr>
90
- <tr class="memdesc:af918342cc39f2e4a91f5bc2d8b028a5d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor. <a href="#af918342cc39f2e4a91f5bc2d8b028a5d">More...</a><br /></td></tr>
91
- <tr class="separator:af918342cc39f2e4a91f5bc2d8b028a5d"><td class="memSeparator" colspan="2">&#160;</td></tr>
89
+ <tr class="memitem:a4877548499e779b09a0cb29ad9ec0f43"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepVFGNode.html#a4877548499e779b09a0cb29ad9ec0f43">GepVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>, const <a class="el" href="classSVF_1_1GepStmt.html">GepStmt</a> *edge)</td></tr>
90
+ <tr class="memdesc:a4877548499e779b09a0cb29ad9ec0f43"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor. <a href="#a4877548499e779b09a0cb29ad9ec0f43">More...</a><br /></td></tr>
91
+ <tr class="separator:a4877548499e779b09a0cb29ad9ec0f43"><td class="memSeparator" colspan="2">&#160;</td></tr>
92
92
  <tr class="memitem:ad27376633c939952878d5d73621ec638"><td class="memItemLeft" align="right" valign="top">const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638">toString</a> () const override</td></tr>
93
93
  <tr class="separator:ad27376633c939952878d5d73621ec638"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
94
  <tr class="inherit_header pub_methods_classSVF_1_1StmtVFGNode"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1StmtVFGNode')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></td></tr>
@@ -355,8 +355,8 @@ Additional Inherited Members</h2></td></tr>
355
355
 
356
356
  </div>
357
357
  </div>
358
- <a id="af918342cc39f2e4a91f5bc2d8b028a5d"></a>
359
- <h2 class="memtitle"><span class="permalink"><a href="#af918342cc39f2e4a91f5bc2d8b028a5d">&#9670;&nbsp;</a></span>GepVFGNode() <span class="overload">[3/3]</span></h2>
358
+ <a id="a4877548499e779b09a0cb29ad9ec0f43"></a>
359
+ <h2 class="memtitle"><span class="permalink"><a href="#a4877548499e779b09a0cb29ad9ec0f43">&#9670;&nbsp;</a></span>GepVFGNode() <span class="overload">[3/3]</span></h2>
360
360
 
361
361
  <div class="memitem">
362
362
  <div class="memproto">
@@ -373,7 +373,7 @@ Additional Inherited Members</h2></td></tr>
373
373
  <tr>
374
374
  <td class="paramkey"></td>
375
375
  <td></td>
376
- <td class="paramtype">const <a class="el" href="classSVF_1_1GepPE.html">GepPE</a> *&#160;</td>
376
+ <td class="paramtype">const <a class="el" href="classSVF_1_1GepStmt.html">GepStmt</a> *&#160;</td>
377
377
  <td class="paramname"><em>edge</em>&#160;</td>
378
378
  </tr>
379
379
  <tr>
@@ -392,7 +392,7 @@ Additional Inherited Members</h2></td></tr>
392
392
  <p>Constructor. </p>
393
393
 
394
394
  <p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00594">594</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
395
- <div class="fragment"><div class="line"><a name="l00594"></a><span class="lineno"> 594</span>&#160; : <a class="code" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">StmtVFGNode</a>(<span class="keywordtype">id</span>,edge,<a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">Gep</a>)</div><div class="line"><a name="l00595"></a><span class="lineno"> 595</span>&#160; {</div><div class="line"><a name="l00596"></a><span class="lineno"> 596</span>&#160;</div><div class="line"><a name="l00597"></a><span class="lineno"> 597</span>&#160; }</div><div class="ttc" id="classSVF_1_1StmtVFGNode_html_a03c4e0a31d2377ef4ffe46fe183ccd9d"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode::StmtVFGNode</a></div><div class="ttdeci">StmtVFGNode(NodeID id, const PAGEdge *e, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00121">VFGNode.h:121</a></div></div>
395
+ <div class="fragment"><div class="line"><a name="l00594"></a><span class="lineno"> 594</span>&#160; : <a class="code" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">StmtVFGNode</a>(<span class="keywordtype">id</span>,edge,<a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">Gep</a>)</div><div class="line"><a name="l00595"></a><span class="lineno"> 595</span>&#160; {</div><div class="line"><a name="l00596"></a><span class="lineno"> 596</span>&#160;</div><div class="line"><a name="l00597"></a><span class="lineno"> 597</span>&#160; }</div><div class="ttc" id="classSVF_1_1StmtVFGNode_html_a03c4e0a31d2377ef4ffe46fe183ccd9d"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode::StmtVFGNode</a></div><div class="ttdeci">StmtVFGNode(NodeID id, const PAGEdge *e, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00121">VFGNode.h:121</a></div></div>
396
396
  <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">SVF::VFGNode::Gep</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
397
397
  </div><!-- fragment -->
398
398
  </div>
@@ -0,0 +1,170 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.13"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: Member List</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.13 -->
33
+ <script type="text/javascript">
34
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
35
+ </script>
36
+ <script type="text/javascript" src="menudata.js"></script>
37
+ <script type="text/javascript" src="menu.js"></script>
38
+ <script type="text/javascript">
39
+ $(function() {
40
+ initMenu('',true,false,'search.php','Search');
41
+ $(document).ready(function() { init_search(); });
42
+ });
43
+ </script>
44
+ <div id="main-nav"></div>
45
+ <!-- window showing the filter options -->
46
+ <div id="MSearchSelectWindow"
47
+ onmouseover="return searchBox.OnSearchSelectShow()"
48
+ onmouseout="return searchBox.OnSearchSelectHide()"
49
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
50
+ </div>
51
+
52
+ <!-- iframe showing the search results (closed by default) -->
53
+ <div id="MSearchResultsWindow">
54
+ <iframe src="javascript:void(0)" frameborder="0"
55
+ name="MSearchResults" id="MSearchResults">
56
+ </iframe>
57
+ </div>
58
+
59
+ <div id="nav-path" class="navpath">
60
+ <ul>
61
+ <li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1GepValVar.html">GepValVar</a></li> </ul>
62
+ </div>
63
+ </div><!-- top -->
64
+ <div class="header">
65
+ <div class="headertitle">
66
+ <div class="title">SVF::GepValVar Member List</div> </div>
67
+ </div><!--header-->
68
+ <div class="contents">
69
+
70
+ <p>This is the complete list of members for <a class="el" href="classSVF_1_1GepValVar.html">SVF::GepValVar</a>, including all inherited members.</p>
71
+ <table class="directory">
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
+ <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
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html#a28e42f01110a2d0a5f1f90bca14c5035">classof</a>(const GepValVar *)</td><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html">SVF::GepValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
77
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html#aea2c58dc4124157a23c2cc0fe050f158">classof</a>(const ValVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html">SVF::GepValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
78
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html#a8f8f8e21cdfcccd7523dc2371c696ad8">classof</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html">SVF::GepValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
79
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html#a0aab756122dcce24faf556f0b7057dc1">classof</a>(const GenericPAGNodeTy *node)</td><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html">SVF::GepValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
80
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
81
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">CloneFIObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
82
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">CloneGepObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
83
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_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>
84
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">directInEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
85
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ab331402aed245c33bad841df2bc21f7b">directInEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
86
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c">directInEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
87
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa7be9ff204bf85bc3bf2fa4e078fcab2">directInEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
88
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
89
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acfae7a2809931cbd62b6f47c4813510d">directOutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
90
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
91
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7f914b128f7839483efc9ad56834e7c2">directOutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
92
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">DummyObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
93
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">DummyValNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
94
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#aa34b2230655db9c4195e44e1c437bbc6">dump</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
95
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
96
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html#a3a808d2401dd62833236b3466de6215d">fieldIdx</a></td><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html">SVF::GepValVar</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
97
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">FIObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
98
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
99
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a>(NodeID i, GNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
100
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">GepObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
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>
102
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html#aaf5f5d3734e1db83c6d4f38d560b2f45">gepValType</a></td><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html">SVF::GepValVar</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
103
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html#a9bad2709e0d82d2d4a8578cc57bdf9f5">GepValVar</a>(const Value *val, NodeID i, const LocationSet &amp;l, const Type *ty, u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html">SVF::GepValVar</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_1GepValVar.html#ae6965dc3d70ff6d1877d29b8e7aa4af8">getFieldIdx</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html">SVF::GepValVar</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#a0deeb2f08b7681c63ad91a04a4b4c6c9">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#ab137b1def56c6539b5048c84dfd92c7b">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#ab6cfd409bdb445cc1a7e50ed958b7d25">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_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>
112
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html#a149d738115af2bcd815306ee6eb91bb3">getOffset</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html">SVF::GepValVar</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#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>
114
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#af41e3da7f7d6918f58785446d715fec6">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>
115
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#adb1f35a6f8db19c48cf7fd6c8f4a8ff3">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>
116
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#adec782d2f9d055b0dbcb56f511e75c24">getOutgoingEdgesEnd</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>
117
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html#a2760700f067c6a2fbc4e6e626b603bc4">getType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html">SVF::GepValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
118
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">getValue</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>
119
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html#ae89482e674768298f49e51df4ebe63e3">getValueName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html">SVF::GepValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
120
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
121
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">hasIncomingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
122
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
+ <tr><td class="entry"><a class="el" href="classSVF_1_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>
124
+ <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>
125
+ <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>
126
+ <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>
127
+ <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>
128
+ <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>
129
+ <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>
130
+ <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>
131
+ <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>
132
+ <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>
133
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">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>
134
+ <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>
135
+ <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>
136
+ <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>
137
+ <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>
138
+ <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>
139
+ <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>
140
+ <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>
141
+ <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>
142
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6">ls</a></td><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html">SVF::GepValVar</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
143
+ <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>
144
+ <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>
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#a08ef88f516402ce512eb3cb7dab9271d">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_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GepValVar.html">SVF::GepValVar</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_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">ValVar</a>(const Value *val, NodeID i, PNODEK ty=ValNode)</td><td class="entry"><a class="el" href="classSVF_1_1ValVar.html">SVF::ValVar</a></td><td class="entry"><span class="mlabel">inline</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>
162
+ </table></div><!-- contents -->
163
+ <!-- start footer part -->
164
+ <hr class="footer"/><address class="footer"><small>
165
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
166
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
167
+ </a> 1.8.13
168
+ </small></address>
169
+ </body>
170
+ </html>