svf-tools 1.0.772 → 1.0.774

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 (421) hide show
  1. package/SVF-doxygen/html/html/AddressValue_8h_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +3 -3
  3. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +8 -9
  4. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  5. package/SVF-doxygen/html/html/BoundedZ3Expr_8cpp_source.html +10 -9
  6. package/SVF-doxygen/html/html/BoundedZ3Expr_8h_source.html +380 -380
  7. package/SVF-doxygen/html/html/CFBasicBlockG_8cpp_source.html +2 -2
  8. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +1 -1
  10. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +3 -3
  11. package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/ConsExeState_8h_source.html +1 -1
  13. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/ConsG_8h_source.html +8 -8
  15. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +7 -7
  16. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +4 -4
  17. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +2 -2
  18. package/SVF-doxygen/html/html/DDAClient_8h_source.html +2 -2
  19. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +3 -3
  20. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +4 -4
  21. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +9 -9
  22. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  23. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  24. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +4 -4
  25. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +4 -4
  26. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +2 -2
  27. package/SVF-doxygen/html/html/IntervalExeState_8h_source.html +2 -2
  28. package/SVF-doxygen/html/html/IntervalValue_8h_source.html +35 -35
  29. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +5 -5
  31. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  32. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +3 -3
  33. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +3 -3
  34. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +3 -3
  35. package/SVF-doxygen/html/html/MTA_8cpp_source.html +4 -4
  36. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +15 -15
  37. package/SVF-doxygen/html/html/MemRegion_8h_source.html +1 -1
  38. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +2 -2
  39. package/SVF-doxygen/html/html/MemSSA_8h_source.html +1 -1
  40. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +670 -671
  41. package/SVF-doxygen/html/html/NodeIDAllocator_8h_source.html +114 -107
  42. package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +19 -18
  43. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +1 -1
  44. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +395 -350
  45. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +443 -433
  46. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +6 -6
  47. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +12 -12
  48. package/SVF-doxygen/html/html/RelationSolver_8cpp_source.html +3 -3
  49. package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +6 -6
  50. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +3 -3
  51. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +10 -10
  52. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  53. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8cpp_source.html +1 -1
  54. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +324 -328
  55. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8h_source.html +8 -8
  56. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +2 -2
  57. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +288 -286
  58. package/SVF-doxygen/html/html/SVFIR_8h_source.html +667 -665
  59. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +7 -7
  60. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
  61. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +1 -1
  62. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +2 -2
  63. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +6 -6
  64. package/SVF-doxygen/html/html/SingleAbsValue_8h_source.html +3 -3
  65. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
  66. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  67. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +1 -1
  68. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +1 -1
  69. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +2 -2
  70. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  71. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +2 -2
  72. package/SVF-doxygen/html/html/VFG_8cpp_source.html +15 -15
  73. package/SVF-doxygen/html/html/VFG_8h_source.html +5 -5
  74. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +4 -4
  75. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +284 -124
  76. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +108 -95
  77. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  78. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +1 -1
  79. package/SVF-doxygen/html/html/classSVF_1_1AddressValue.html +1 -1
  80. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +1 -1
  81. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +59 -54
  82. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +30 -20
  83. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +52 -47
  84. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +18 -9
  85. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +64 -59
  86. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +11 -1
  87. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +65 -60
  88. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +11 -1
  89. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +3 -3
  90. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +60 -55
  91. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +10 -0
  92. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +31 -26
  93. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +573 -379
  94. package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr-members.html +3 -3
  95. package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr.html +306 -305
  96. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +2 -2
  97. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +37 -32
  98. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +24 -14
  99. package/SVF-doxygen/html/html/classSVF_1_1CFLBase-members.html +39 -34
  100. package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +10 -0
  101. package/SVF-doxygen/html/html/classSVF_1_1CFLVF-members.html +40 -35
  102. package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +10 -0
  103. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +305 -305
  104. package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +2 -2
  105. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +7 -7
  106. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +8 -8
  107. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +2 -2
  108. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +1 -1
  109. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +4 -4
  110. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +8 -8
  111. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +66 -61
  112. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +10 -0
  113. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +54 -49
  114. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +11 -1
  115. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +65 -60
  116. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +28 -14
  117. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +5 -5
  118. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
  119. package/SVF-doxygen/html/html/classSVF_1_1IntervalValue-members.html +3 -3
  120. package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html +28 -27
  121. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
  122. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +5 -5
  123. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +3 -3
  124. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +14 -14
  125. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +2 -2
  126. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +3 -3
  127. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +3 -3
  128. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +1 -1
  129. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator-members.html +14 -13
  130. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator.html +131 -99
  131. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +554 -554
  132. package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral-members.html +2 -2
  133. package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +25 -25
  134. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +4 -4
  135. package/SVF-doxygen/html/html/classSVF_1_1POCRAlias-members.html +41 -36
  136. package/SVF-doxygen/html/html/classSVF_1_1POCRAlias.html +10 -0
  137. package/SVF-doxygen/html/html/classSVF_1_1POCRHybrid-members.html +41 -36
  138. package/SVF-doxygen/html/html/classSVF_1_1POCRHybrid.html +10 -0
  139. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +1 -1
  140. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +15 -15
  141. package/SVF-doxygen/html/html/classSVF_1_1RelationSolver.html +3 -3
  142. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +10 -10
  143. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +3 -3
  144. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +175 -174
  145. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +754 -720
  146. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ConsExeState.html +1 -1
  147. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +308 -312
  148. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +29 -29
  149. package/SVF-doxygen/html/html/classSVF_1_1SVFIRReader.html +3 -3
  150. package/SVF-doxygen/html/html/classSVF_1_1SVFIRWriter.html +2 -2
  151. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +7 -7
  152. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +1 -1
  153. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +2 -2
  154. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +6 -6
  155. package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue-members.html +3 -3
  156. package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue.html +10 -10
  157. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
  158. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +55 -50
  159. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +24 -14
  160. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +2 -2
  161. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
  162. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
  163. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +55 -50
  164. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +12 -2
  165. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +18 -18
  166. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +21 -14
  167. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +339 -49
  168. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +10 -10
  169. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +86 -86
  170. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
  171. package/SVF-doxygen/html/html/functions_a.html +1 -1
  172. package/SVF-doxygen/html/html/functions_b.html +2 -1
  173. package/SVF-doxygen/html/html/functions_f.html +6 -6
  174. package/SVF-doxygen/html/html/functions_func.html +1 -1
  175. package/SVF-doxygen/html/html/functions_func_b.html +1 -1
  176. package/SVF-doxygen/html/html/functions_func_g.html +3 -3
  177. package/SVF-doxygen/html/html/functions_func_i.html +14 -11
  178. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  179. package/SVF-doxygen/html/html/functions_func_r.html +16 -3
  180. package/SVF-doxygen/html/html/functions_func_s.html +21 -20
  181. package/SVF-doxygen/html/html/functions_func_w.html +11 -2
  182. package/SVF-doxygen/html/html/functions_g.html +3 -3
  183. package/SVF-doxygen/html/html/functions_i.html +22 -19
  184. package/SVF-doxygen/html/html/functions_l.html +3 -3
  185. package/SVF-doxygen/html/html/functions_o.html +12 -12
  186. package/SVF-doxygen/html/html/functions_p.html +13 -13
  187. package/SVF-doxygen/html/html/functions_r.html +20 -11
  188. package/SVF-doxygen/html/html/functions_rela_b.html +3 -0
  189. package/SVF-doxygen/html/html/functions_s.html +23 -24
  190. package/SVF-doxygen/html/html/functions_t.html +5 -5
  191. package/SVF-doxygen/html/html/functions_v.html +6 -6
  192. package/SVF-doxygen/html/html/functions_w.html +17 -8
  193. package/SVF-doxygen/html/html/namespaceSVF.html +10 -10
  194. package/SVF-doxygen/html/html/search/all_1.js +1 -1
  195. package/SVF-doxygen/html/html/search/all_10.js +324 -324
  196. package/SVF-doxygen/html/html/search/all_11.js +217 -213
  197. package/SVF-doxygen/html/html/search/all_12.js +541 -541
  198. package/SVF-doxygen/html/html/search/all_13.js +190 -190
  199. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  200. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  201. package/SVF-doxygen/html/html/search/all_16.js +63 -60
  202. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  203. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  204. package/SVF-doxygen/html/html/search/all_19.js +11 -11
  205. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  206. package/SVF-doxygen/html/html/search/all_2.js +3 -3
  207. package/SVF-doxygen/html/html/search/all_6.js +2 -2
  208. package/SVF-doxygen/html/html/search/all_7.js +1 -1
  209. package/SVF-doxygen/html/html/search/all_9.js +535 -534
  210. package/SVF-doxygen/html/html/search/all_a.js +46 -46
  211. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  212. package/SVF-doxygen/html/html/search/all_c.js +116 -116
  213. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  214. package/SVF-doxygen/html/html/search/all_e.js +206 -206
  215. package/SVF-doxygen/html/html/search/all_f.js +116 -116
  216. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  217. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  218. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  219. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  220. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  221. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  222. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  223. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  224. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  225. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  226. package/SVF-doxygen/html/html/search/classes_4.js +8 -8
  227. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  228. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  229. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  230. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  231. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  232. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  233. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  234. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  235. package/SVF-doxygen/html/html/search/classes_d.js +18 -18
  236. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  237. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  238. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  239. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  240. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  241. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  242. package/SVF-doxygen/html/html/search/defines_4.js +3 -3
  243. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  244. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  245. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  246. package/SVF-doxygen/html/html/search/defines_8.js +11 -11
  247. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  248. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  249. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  250. package/SVF-doxygen/html/html/search/defines_c.js +3 -3
  251. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  252. package/SVF-doxygen/html/html/search/defines_e.js +7 -7
  253. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  254. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  255. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  256. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  257. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  258. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  259. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  260. package/SVF-doxygen/html/html/search/enums_4.js +3 -3
  261. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  262. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  263. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  264. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  265. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  266. package/SVF-doxygen/html/html/search/enums_a.js +1 -1
  267. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  268. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  269. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  270. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  271. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  272. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  273. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  274. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  275. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  276. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  277. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  278. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  279. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  280. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -36
  281. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  282. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -2
  283. package/SVF-doxygen/html/html/search/enumvalues_5.js +47 -47
  284. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  285. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  286. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  287. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  288. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -15
  289. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  290. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -5
  291. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  292. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -9
  293. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  294. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  295. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  296. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  297. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  298. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  299. package/SVF-doxygen/html/html/search/files_2.js +49 -49
  300. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  301. package/SVF-doxygen/html/html/search/files_4.js +5 -5
  302. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  303. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  304. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  305. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  306. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  307. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  308. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  309. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  310. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  311. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  312. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  313. package/SVF-doxygen/html/html/search/functions_0.js +12 -12
  314. package/SVF-doxygen/html/html/search/functions_1.js +350 -350
  315. package/SVF-doxygen/html/html/search/functions_10.js +140 -140
  316. package/SVF-doxygen/html/html/search/functions_11.js +131 -127
  317. package/SVF-doxygen/html/html/search/functions_12.js +275 -275
  318. package/SVF-doxygen/html/html/search/functions_13.js +58 -58
  319. package/SVF-doxygen/html/html/search/functions_14.js +38 -38
  320. package/SVF-doxygen/html/html/search/functions_15.js +71 -71
  321. package/SVF-doxygen/html/html/search/functions_16.js +32 -29
  322. package/SVF-doxygen/html/html/search/functions_17.js +3 -3
  323. package/SVF-doxygen/html/html/search/functions_18.js +169 -169
  324. package/SVF-doxygen/html/html/search/functions_2.js +84 -84
  325. package/SVF-doxygen/html/html/search/functions_3.js +253 -253
  326. package/SVF-doxygen/html/html/search/functions_4.js +74 -74
  327. package/SVF-doxygen/html/html/search/functions_5.js +51 -51
  328. package/SVF-doxygen/html/html/search/functions_6.js +58 -58
  329. package/SVF-doxygen/html/html/search/functions_7.js +842 -842
  330. package/SVF-doxygen/html/html/search/functions_8.js +143 -143
  331. package/SVF-doxygen/html/html/search/functions_9.js +423 -422
  332. package/SVF-doxygen/html/html/search/functions_a.js +30 -30
  333. package/SVF-doxygen/html/html/search/functions_b.js +2 -2
  334. package/SVF-doxygen/html/html/search/functions_c.js +26 -26
  335. package/SVF-doxygen/html/html/search/functions_d.js +77 -77
  336. package/SVF-doxygen/html/html/search/functions_e.js +35 -35
  337. package/SVF-doxygen/html/html/search/functions_f.js +56 -56
  338. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  339. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  340. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  341. package/SVF-doxygen/html/html/search/related_1.js +2 -1
  342. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  343. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  344. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  345. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  346. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  347. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  348. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  349. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  350. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  351. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  352. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  353. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  354. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  355. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  356. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  357. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  358. package/SVF-doxygen/html/html/search/typedefs_10.js +62 -62
  359. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  360. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  361. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  362. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  363. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  364. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  365. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  366. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  367. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  368. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  369. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  370. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  371. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  372. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  373. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  374. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  375. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  376. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  377. package/SVF-doxygen/html/html/search/variables_0.js +147 -147
  378. package/SVF-doxygen/html/html/search/variables_1.js +75 -75
  379. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  380. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  381. package/SVF-doxygen/html/html/search/variables_12.js +92 -92
  382. package/SVF-doxygen/html/html/search/variables_13.js +75 -75
  383. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  384. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  385. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  386. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  387. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  388. package/SVF-doxygen/html/html/search/variables_2.js +34 -34
  389. package/SVF-doxygen/html/html/search/variables_3.js +141 -141
  390. package/SVF-doxygen/html/html/search/variables_4.js +55 -55
  391. package/SVF-doxygen/html/html/search/variables_5.js +38 -38
  392. package/SVF-doxygen/html/html/search/variables_6.js +66 -66
  393. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  394. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  395. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  396. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  397. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  398. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  399. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  400. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  401. package/SVF-doxygen/html/html/search/variables_f.js +30 -30
  402. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  403. package/SVF-doxygen/html/html/structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html +4 -4
  404. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +5 -5
  405. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  406. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  407. package/package.json +1 -1
  408. package/svf/include/AbstractExecution/BoundedZ3Expr.h +4 -5
  409. package/svf/include/AbstractExecution/IntervalValue.h +19 -19
  410. package/svf/include/AbstractExecution/NumericLiteral.h +2 -2
  411. package/svf/include/MemoryModel/PointerAnalysisImpl.h +5 -0
  412. package/svf/include/SVFIR/SVFIR.h +2 -1
  413. package/svf/include/Util/NodeIDAllocator.h +6 -0
  414. package/svf/include/WPA/VersionedFlowSensitive.h +8 -0
  415. package/svf/lib/AbstractExecution/BoundedZ3Expr.cpp +5 -5
  416. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +0 -4
  417. package/svf/lib/MemoryModel/PointerAnalysisImpl.cpp +101 -66
  418. package/svf/lib/SVFIR/SVFIR.cpp +5 -3
  419. package/svf/lib/Util/NodeIDAllocator.cpp +2 -4
  420. package/svf/lib/WPA/Andersen.cpp +1 -1
  421. package/svf/lib/WPA/VersionedFlowSensitive.cpp +148 -0
package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html CHANGED
@@ -94,7 +94,7 @@ $(function() {
94
94
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242">addFIObjNode</a>(const MemObj *obj)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
95
95
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae">addFunArgs</a>(const SVFFunction *fun, const SVFVar *arg)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
96
96
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69">addFunRet</a>(const SVFFunction *fun, const SVFVar *ret)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
97
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aba63798e93490f257574c24d3c03507d">addGepObjNode</a>(const MemObj *obj, const APOffset &amp;apOffset)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
97
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a685991a5dec8a17fe73b3161fdb9ea7e">addGepObjNode</a>(const MemObj *obj, const APOffset &amp;apOffset, const NodeID gepId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
98
98
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a1f77275b24345164f30d519238121f92">addGepStmt</a>(NodeID src, NodeID dst, const AccessPath &amp;ap, bool constGep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
99
99
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a555e6d530c37b23e1e43925aa188385f">addGepValNode</a>(const SVFValue *curInst, const SVFValue *val, const AccessPath &amp;ap, NodeID i, const SVFType *type)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
100
100
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a">addGlobalPAGEdge</a>(const SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
@@ -124,182 +124,183 @@ $(function() {
124
124
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a0814a6a71c4a8f08253bf16ad1ba5dc5">addVariantGepStmt</a>(NodeID src, NodeID dst, const AccessPath &amp;ap)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
125
125
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
126
126
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6">begin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
127
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2">callSiteArgsListMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
128
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa79dba26cb34b40eee682713db299d5f">callsiteHasRet</a>(const RetICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
129
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1">callSiteRetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
130
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">CallSiteSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
127
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abab304aade6559906d047cdc992acb7f">BVDataPTAImpl</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
128
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2">callSiteArgsListMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
129
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa79dba26cb34b40eee682713db299d5f">callsiteHasRet</a>(const RetICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
130
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1">callSiteRetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
131
131
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450">callSiteSet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
132
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d">CallSiteToFunPtrMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
133
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abd9f622b55839d6796ca2576f2323498">candidatePointers</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
134
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a31c54c878be428cc92cf08970fef422b">chgraph</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
135
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
136
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca">CSToArgsListMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
137
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681">CSToRetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
138
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6834558be6987c91a3732154482c9567">destroy</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
139
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307">dump</a>(std::string name)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
140
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">edgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
141
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">EdgeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
142
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
143
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
144
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3">ExternalPAG</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
145
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379">fromFile</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
146
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903">funArgsListMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
147
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046">funHasRet</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
148
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">funPtrToCallSitesMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
149
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">FunPtrToCallSitesMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
150
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5">funRetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
151
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63">FunToArgsListMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
152
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005">FunToPAGEdgeSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
153
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3">FunToRetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
154
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
155
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a09a604cf6a7708f4391fcf807fec1453">GepObjVarMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
156
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad7bbe1abea55ed03c9b6c81891c0bd67">GepValObjMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
157
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af7cc6d471b5ab6db0bdc69cffa19fbf5">GepValueVarMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
158
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089">getAllFieldsObjVars</a>(const MemObj *obj)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
159
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a942072d153928e478c76e4b7f1fafa29">getAllFieldsObjVars</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
160
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a7990c72dd6d645d713f19ed973841484">getAllValidPtrs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
161
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">getBaseObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
162
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08">getBaseObjVar</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
163
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5298f34143ec3a2e6bb74ebad668cbbc">getBaseValVar</a>(NodeID nodeId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
164
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3ce34b9fcb651689bce44ab48fbcdff0">getBlackHoleNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
165
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aafe9544b07a8c40bf915613df11df48e">getBlackHoleObj</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
166
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3b417ee79560fd00f4cf80906044c198">getBlkPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
167
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2a1e8ce39bf8deace3c344d5f05fe6ac">getCallSiteArgsList</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
168
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7">getCallSiteArgsMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
169
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3145677c7a3763fc0d6aa7e21b264ab6">getCallSiteRet</a>(const RetICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
170
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a650b3931af337a92ffcb5dad5ab47b22">getCallSiteRets</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
171
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa530e33657f68fc2e8eae9435ce430cb">getCallSiteSet</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
172
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a7e8059ebd9bdeed8891fb231d148316d">getCHG</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
173
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ac5da3a0cbe040a45d719b6f6a23aed91">getConstantNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
174
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aceae1e4e49a1d2e63ef3d71a7e5ef3eb">getConstantObj</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
175
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3bbaafd80dfcae6ccc82c3d8b9d303ea">getFieldObjNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
176
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a42d1e2f0213fb6e54c56cc0695b57cb0">getFieldsAfterCollapse</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
177
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a8a24e0bf9f95fc1519d4013e0e82dec9">getFieldValNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
178
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">getFIObjVar</a>(const MemObj *obj) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
179
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac9f860028c8cbd364720888084701628">getFIObjVar</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
180
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa148e3e14ebad8460e32079f2f44413a">getFunArgsList</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
181
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a615c056c876b59d1fd174a2ac9ade27c">getFunArgsMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
182
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a17c5d9fa7c0bd3cd03c06b5ff0906eb6">getFunPtr</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
183
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a34e27b8bcfeaafda190dcdb9169a346f">getFunRet</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
184
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abd1bb12776dc9a17863a52ce2cd31958">getFunRets</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
185
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac1674bd25a17cae24141e6bff24a411e">getGepObjNodeMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
186
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae18425df0631aefca7dd4b799f6f524a">getGepObjVar</a>(const MemObj *obj, const APOffset &amp;ap)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
187
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a7abc062d05db516ece2805949aa45c46">getGepObjVar</a>(NodeID id, const APOffset &amp;ap)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
188
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad0977d55d947bdccd98d61c66d3f0cc7">getGepValVar</a>(const SVFValue *curInst, NodeID base, const AccessPath &amp;ap) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
189
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5c5adab1f68520a304fbf70ca40f7687">getGlobalSVFStmtSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
190
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
191
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867">getGraphName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
192
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
193
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abf209739a97b96ae0d1c8451fdc684e8">getIndCallSites</a>(NodeID funPtr) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
194
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2d2131128ceb3362b5dc89317cfd88a0">getIndirectCallsites</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
195
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6f41676ae91ba7fad38cc7387dd1c255">getIntraPAGEdge</a>(NodeID src, NodeID dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
196
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac1dbd64071f9822b0404f4ed9c8bd2cd">getIntraPAGEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
197
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ad5a06a57d64c54ec6e7e92b7e0acfad8">getMemObj</a>(const SVFValue *val) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
198
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6f46446d667258b32ddc1ccab48f651c">getMemToFieldsMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
199
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad6e18f520f6b559f2304002792f6b701">getModule</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
200
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a0a18bca50f7cd3a1882754f19303d257">getNodeNumAfterPAGBuild</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
201
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">getNullPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
202
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">getObject</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
203
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">getObject</a>(const ObjVar *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
204
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ab1e2f58c350ec14763b4d8a424984d47">getObjectNode</a>(const SVFValue *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
205
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a82528aff779ccf8f723f57507dd2d991">getObjectNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
206
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">getPAG</a>(bool buildFromFile=false)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
207
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a821df0fcb66e4f0a5b10c295c24b7c2c">getPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
208
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#afa015e79aa68b102db44b5a0fd653dc6">getPAGNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
209
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a51485004eb28aab6620801205d13ef1b">getPTAPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
210
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abb91ed47d5c13d0ad7eec35164e37988">getPTASVFStmtList</a>(const ICFGNode *inst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
211
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576">getPTASVFStmtSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
212
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910">getReturnNode</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
213
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b">getSVFStmtList</a>(const ICFGNode *inst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
214
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">getSVFStmtSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
215
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a9f7c24325d897b598d6b989fdc4aae1e">getSymbolInfo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
216
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
217
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
218
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#adb6db6407bdc9a39e5bf8cd941f0ad15">getTypeLocSetsMap</a>(NodeID argId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
219
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a617f328b84d09974c81563cca3938b84">getValueEdges</a>(const SVFValue *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
220
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(const SVFValue *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
221
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a0212f3fe2f37363e8060f292c8cf7668">getValueNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
222
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b">getVarargNode</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
223
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323">globSVFStmtSet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
224
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f">handleBlackHole</a>(bool b)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
225
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138">hasCallSiteArgsMap</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
226
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410">hasFunArgsList</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
227
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
228
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">hasLabeledEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind, const ICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
229
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">hasLabeledEdge</a>(SVFVar *src, SVFVar *op1, SVFStmt::PEDGEK kind, const SVFVar *op2)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
230
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407">hasNonlabeledEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
231
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0">hasPTASVFStmtList</a>(const ICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
232
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654">hasSVFStmtList</a>(const ICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
233
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a401ec65771a3d2dcc8eb60574aadd354">hasValueNode</a>(const SVFValue *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
234
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51">icfg</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
235
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2">icfgNode2PTASVFStmtsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
236
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0">ICFGNode2SVFStmtsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
237
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7">icfgNode2SVFStmtsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
238
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
239
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">IDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
240
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
241
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">incNodeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
242
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc">indCallSiteToFunPtrMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
243
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5">initialiseCandidatePointers</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
244
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28">IRGraph</a>(bool buildFromFile)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
245
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad">isBlkObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
246
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad9895f2d075eb402390e3b01ed68e001">isBlkObjOrConstantObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
247
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997">isBlkPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
248
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98">isBuiltFromFile</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
249
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156">isConstantObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
250
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97">isFunPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
251
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3dbe0b17694daa74f648a70e77efaf23">isIndirectCallSites</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
252
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a980e54129ece0757d7f0373f37428507">isNonPointerObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
253
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a18ca66c199b910b15f1bfa77dcc98c30">isNullPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
254
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff">isPhiNode</a>(const SVFVar *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
255
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3">isValidPointer</a>(NodeID nodeId) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
256
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">isValidTopLevelPtr</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
257
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
258
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d">KindToPTASVFStmtSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
259
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">KindToSVFStmtSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
260
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a51201a8fce21b56e3f59a31af04c7b76">mapValueToEdge</a>(const SVFValue *V, SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
261
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940">MemObjToFieldsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
262
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252">memToFieldsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
263
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a742bfce4295566ec054f8d5e5f7440d8">NodeAccessPath</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
264
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a77b75d80a1af46aed3b6130d206ad236">NodeAccessPathMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
265
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
266
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598">nodeNumAfterPAGBuild</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
267
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a43ffcccfd81f5400c2d4c8e4bd71bdde">NodeOffset</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
268
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae683914bce36e2d387bc0bc97dfcb14d">NodeOffsetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
269
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab715a8e83a4ec45fb86298fef3eda95a">NodePairSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
270
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a654236d64abc2ca95982da7b4408b52d">NodeToNodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
271
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
272
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a98fa25e2b185365e8f1162610c96db4e">pag</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
273
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827">PAGBuilderFromFile</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
274
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">phiNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
275
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">PHINodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
276
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a236b4fefd16e9c793c5bd6d576290841">print</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
277
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e">releaseSVFIR</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
278
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
279
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa14f6cde41bcac27ce2f66c6b33ee410">setCHG</a>(CommonCHGraph *c)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
280
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a756ae2b40ec29f2f92c95919f615e5ec">setICFG</a>(ICFG *i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
281
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a52bea4a99022b036104751cafa9152b1">setModule</a>(SVFModule *mod)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
282
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0">setNodeNumAfterPAGBuild</a>(u32_t num)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
283
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636">SVFIR</a>(bool buildFromFile)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
284
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a46fadea4d08baefc8fbc1d8928da7f6b">SVFIRBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
285
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
286
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
287
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9">svfModule</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
288
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9">SVFStmtList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
289
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVFStmtSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
290
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a9062fc3ed889f8971fb2ea49b8de3674">SVFTypeLocSetsPair</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
291
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFVarList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
292
- <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">symInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
293
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27">totalPTAPAGEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
294
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446">TypeBasedHeapCloning</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
295
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150">TypeLocSetsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
132
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">CallSiteSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
133
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d">CallSiteToFunPtrMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
134
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abd9f622b55839d6796ca2576f2323498">candidatePointers</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
135
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a31c54c878be428cc92cf08970fef422b">chgraph</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
136
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
137
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca">CSToArgsListMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
138
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681">CSToRetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
139
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6834558be6987c91a3732154482c9567">destroy</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
140
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307">dump</a>(std::string name)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
141
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">edgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
142
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">EdgeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
143
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
144
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
145
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3">ExternalPAG</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
146
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379">fromFile</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
147
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903">funArgsListMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
148
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046">funHasRet</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
149
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">funPtrToCallSitesMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
150
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">FunPtrToCallSitesMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
151
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5">funRetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
152
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63">FunToArgsListMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
153
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005">FunToPAGEdgeSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
154
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3">FunToRetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
155
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
156
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a09a604cf6a7708f4391fcf807fec1453">GepObjVarMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
157
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad7bbe1abea55ed03c9b6c81891c0bd67">GepValObjMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
158
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af7cc6d471b5ab6db0bdc69cffa19fbf5">GepValueVarMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
159
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089">getAllFieldsObjVars</a>(const MemObj *obj)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
160
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a942072d153928e478c76e4b7f1fafa29">getAllFieldsObjVars</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
161
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a7990c72dd6d645d713f19ed973841484">getAllValidPtrs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
162
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">getBaseObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
163
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08">getBaseObjVar</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
164
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5298f34143ec3a2e6bb74ebad668cbbc">getBaseValVar</a>(NodeID nodeId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
165
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3ce34b9fcb651689bce44ab48fbcdff0">getBlackHoleNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
166
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aafe9544b07a8c40bf915613df11df48e">getBlackHoleObj</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
167
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3b417ee79560fd00f4cf80906044c198">getBlkPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
168
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2a1e8ce39bf8deace3c344d5f05fe6ac">getCallSiteArgsList</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
169
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7">getCallSiteArgsMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
170
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3145677c7a3763fc0d6aa7e21b264ab6">getCallSiteRet</a>(const RetICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
171
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a650b3931af337a92ffcb5dad5ab47b22">getCallSiteRets</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
172
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa530e33657f68fc2e8eae9435ce430cb">getCallSiteSet</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
173
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a7e8059ebd9bdeed8891fb231d148316d">getCHG</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
174
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ac5da3a0cbe040a45d719b6f6a23aed91">getConstantNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
175
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aceae1e4e49a1d2e63ef3d71a7e5ef3eb">getConstantObj</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
176
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3bbaafd80dfcae6ccc82c3d8b9d303ea">getFieldObjNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
177
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a42d1e2f0213fb6e54c56cc0695b57cb0">getFieldsAfterCollapse</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
178
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a8a24e0bf9f95fc1519d4013e0e82dec9">getFieldValNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
179
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">getFIObjVar</a>(const MemObj *obj) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
180
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac9f860028c8cbd364720888084701628">getFIObjVar</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
181
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa148e3e14ebad8460e32079f2f44413a">getFunArgsList</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
182
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a615c056c876b59d1fd174a2ac9ade27c">getFunArgsMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
183
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a17c5d9fa7c0bd3cd03c06b5ff0906eb6">getFunPtr</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
184
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a34e27b8bcfeaafda190dcdb9169a346f">getFunRet</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
185
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abd1bb12776dc9a17863a52ce2cd31958">getFunRets</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
186
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac1674bd25a17cae24141e6bff24a411e">getGepObjNodeMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
187
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae18425df0631aefca7dd4b799f6f524a">getGepObjVar</a>(const MemObj *obj, const APOffset &amp;ap)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
188
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a7abc062d05db516ece2805949aa45c46">getGepObjVar</a>(NodeID id, const APOffset &amp;ap)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
189
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad0977d55d947bdccd98d61c66d3f0cc7">getGepValVar</a>(const SVFValue *curInst, NodeID base, const AccessPath &amp;ap) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
190
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5c5adab1f68520a304fbf70ca40f7687">getGlobalSVFStmtSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
191
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
192
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867">getGraphName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
193
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
194
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abf209739a97b96ae0d1c8451fdc684e8">getIndCallSites</a>(NodeID funPtr) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
195
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2d2131128ceb3362b5dc89317cfd88a0">getIndirectCallsites</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
196
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6f41676ae91ba7fad38cc7387dd1c255">getIntraPAGEdge</a>(NodeID src, NodeID dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
197
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac1dbd64071f9822b0404f4ed9c8bd2cd">getIntraPAGEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
198
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ad5a06a57d64c54ec6e7e92b7e0acfad8">getMemObj</a>(const SVFValue *val) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
199
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6f46446d667258b32ddc1ccab48f651c">getMemToFieldsMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
200
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad6e18f520f6b559f2304002792f6b701">getModule</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
201
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a0a18bca50f7cd3a1882754f19303d257">getNodeNumAfterPAGBuild</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
202
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">getNullPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
203
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">getObject</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
204
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">getObject</a>(const ObjVar *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
205
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ab1e2f58c350ec14763b4d8a424984d47">getObjectNode</a>(const SVFValue *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
206
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a82528aff779ccf8f723f57507dd2d991">getObjectNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
207
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">getPAG</a>(bool buildFromFile=false)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
208
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a821df0fcb66e4f0a5b10c295c24b7c2c">getPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
209
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#afa015e79aa68b102db44b5a0fd653dc6">getPAGNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
210
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a51485004eb28aab6620801205d13ef1b">getPTAPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
211
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abb91ed47d5c13d0ad7eec35164e37988">getPTASVFStmtList</a>(const ICFGNode *inst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
212
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576">getPTASVFStmtSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
213
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910">getReturnNode</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
214
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b">getSVFStmtList</a>(const ICFGNode *inst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
215
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">getSVFStmtSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
216
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a9f7c24325d897b598d6b989fdc4aae1e">getSymbolInfo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
217
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
218
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
219
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#adb6db6407bdc9a39e5bf8cd941f0ad15">getTypeLocSetsMap</a>(NodeID argId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
220
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a617f328b84d09974c81563cca3938b84">getValueEdges</a>(const SVFValue *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
221
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(const SVFValue *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
222
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a0212f3fe2f37363e8060f292c8cf7668">getValueNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
223
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b">getVarargNode</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
224
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323">globSVFStmtSet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
225
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f">handleBlackHole</a>(bool b)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
226
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138">hasCallSiteArgsMap</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
227
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410">hasFunArgsList</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
228
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
229
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">hasLabeledEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind, const ICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
230
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">hasLabeledEdge</a>(SVFVar *src, SVFVar *op1, SVFStmt::PEDGEK kind, const SVFVar *op2)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
231
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407">hasNonlabeledEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
232
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0">hasPTASVFStmtList</a>(const ICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
233
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654">hasSVFStmtList</a>(const ICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
234
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a401ec65771a3d2dcc8eb60574aadd354">hasValueNode</a>(const SVFValue *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
235
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51">icfg</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
236
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2">icfgNode2PTASVFStmtsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
237
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0">ICFGNode2SVFStmtsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
238
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7">icfgNode2SVFStmtsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
239
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
240
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">IDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
241
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
242
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">incNodeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
243
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc">indCallSiteToFunPtrMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
244
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5">initialiseCandidatePointers</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
245
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28">IRGraph</a>(bool buildFromFile)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
246
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad">isBlkObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
247
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad9895f2d075eb402390e3b01ed68e001">isBlkObjOrConstantObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
248
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997">isBlkPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
249
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98">isBuiltFromFile</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
250
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156">isConstantObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
251
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97">isFunPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
252
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3dbe0b17694daa74f648a70e77efaf23">isIndirectCallSites</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
253
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a980e54129ece0757d7f0373f37428507">isNonPointerObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
254
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a18ca66c199b910b15f1bfa77dcc98c30">isNullPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
255
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff">isPhiNode</a>(const SVFVar *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
256
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3">isValidPointer</a>(NodeID nodeId) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
257
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">isValidTopLevelPtr</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
258
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
259
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d">KindToPTASVFStmtSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
260
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">KindToSVFStmtSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
261
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a51201a8fce21b56e3f59a31af04c7b76">mapValueToEdge</a>(const SVFValue *V, SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
262
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940">MemObjToFieldsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
263
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252">memToFieldsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
264
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a742bfce4295566ec054f8d5e5f7440d8">NodeAccessPath</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
265
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a77b75d80a1af46aed3b6130d206ad236">NodeAccessPathMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
266
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
267
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598">nodeNumAfterPAGBuild</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
268
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a43ffcccfd81f5400c2d4c8e4bd71bdde">NodeOffset</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
269
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae683914bce36e2d387bc0bc97dfcb14d">NodeOffsetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
270
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab715a8e83a4ec45fb86298fef3eda95a">NodePairSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
271
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a654236d64abc2ca95982da7b4408b52d">NodeToNodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
272
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
273
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a98fa25e2b185365e8f1162610c96db4e">pag</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
274
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827">PAGBuilderFromFile</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
275
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">phiNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
276
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">PHINodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
277
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a236b4fefd16e9c793c5bd6d576290841">print</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
278
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e">releaseSVFIR</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
279
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
280
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa14f6cde41bcac27ce2f66c6b33ee410">setCHG</a>(CommonCHGraph *c)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
281
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a756ae2b40ec29f2f92c95919f615e5ec">setICFG</a>(ICFG *i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
282
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a52bea4a99022b036104751cafa9152b1">setModule</a>(SVFModule *mod)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
283
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0">setNodeNumAfterPAGBuild</a>(u32_t num)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
284
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636">SVFIR</a>(bool buildFromFile)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
285
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a46fadea4d08baefc8fbc1d8928da7f6b">SVFIRBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
286
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
287
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
288
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9">svfModule</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
289
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9">SVFStmtList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
290
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVFStmtSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
291
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a9062fc3ed889f8971fb2ea49b8de3674">SVFTypeLocSetsPair</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
292
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFVarList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
293
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">symInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
294
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27">totalPTAPAGEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
295
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446">TypeBasedHeapCloning</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
296
296
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288">typeLocSetsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
297
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">ValueToEdgeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
297
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150">TypeLocSetsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
298
298
  <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">valueToEdgeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
299
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67">view</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
300
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">~GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
301
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a2085d6895363c2ff7b757eb58f3f4cea">~IRGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
302
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3d62b2a06fe1ec531cbde12131fa31df">~SVFIR</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
299
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">ValueToEdgeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
300
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67">view</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
301
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">~GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
302
+ <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a2085d6895363c2ff7b757eb58f3f4cea">~IRGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
303
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3d62b2a06fe1ec531cbde12131fa31df">~SVFIR</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
303
304
  </table></div><!-- contents -->
304
305
  <!-- start footer part -->
305
306
  <hr class="footer"/><address class="footer"><small>