svf-tools 1.0.829 → 1.0.830

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 (386) hide show
  1. package/SVF-doxygen/html/AccessPath_8cpp_source.html +225 -224
  2. package/SVF-doxygen/html/AccessPath_8h_source.html +11 -11
  3. package/SVF-doxygen/html/AndersenSFR_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/Andersen_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/BasicTypes_8h.html +2 -0
  6. package/SVF-doxygen/html/BasicTypes_8h_source.html +123 -121
  7. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/CFLGraphBuilder_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +11 -11
  10. package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/ConsG_8h_source.html +1 -1
  12. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/ContextDDA_8h_source.html +1 -1
  14. package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
  15. package/SVF-doxygen/html/DCHG_8cpp_source.html +12 -12
  16. package/SVF-doxygen/html/DCHG_8h_source.html +5 -5
  17. package/SVF-doxygen/html/DDAClient_8cpp_source.html +2 -2
  18. package/SVF-doxygen/html/DDAStat_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +4 -4
  20. package/SVF-doxygen/html/FlowDDA_8cpp_source.html +1 -1
  21. package/SVF-doxygen/html/FlowDDA_8h_source.html +1 -1
  22. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
  25. package/SVF-doxygen/html/IRGraph_8h_source.html +2 -2
  26. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +145 -144
  27. package/SVF-doxygen/html/LLVMModule_8h_source.html +3 -3
  28. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +1138 -1066
  29. package/SVF-doxygen/html/LLVMUtil_8h.html +2 -0
  30. package/SVF-doxygen/html/LLVMUtil_8h_source.html +419 -414
  31. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/MHP_8cpp_source.html +1 -1
  33. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +1 -1
  34. package/SVF-doxygen/html/MemRegion_8cpp_source.html +3 -3
  35. package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
  36. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +4 -4
  37. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +363 -362
  38. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +13 -13
  39. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +7 -7
  40. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +11 -10
  41. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +927 -924
  42. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +35 -34
  43. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +2 -2
  44. package/SVF-doxygen/html/SVFIR_8cpp_source.html +1 -1
  45. package/SVF-doxygen/html/SVFIR_8h_source.html +1 -1
  46. package/SVF-doxygen/html/SVFStat_8cpp_source.html +12 -12
  47. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/SVFStatements_8h_source.html +2 -2
  49. package/SVF-doxygen/html/SVFType_8cpp_source.html +38 -37
  50. package/SVF-doxygen/html/SVFType_8h_source.html +5 -5
  51. package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
  52. package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
  53. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
  54. package/SVF-doxygen/html/SVFVariables_8h_source.html +1 -1
  55. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  56. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +1 -1
  57. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +653 -651
  58. package/SVF-doxygen/html/SymbolTableBuilder_8h_source.html +17 -17
  59. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +339 -338
  60. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +33 -33
  61. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +1 -1
  62. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  63. package/SVF-doxygen/html/classSVF_1_1AccessPath-members.html +3 -3
  64. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +236 -235
  65. package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  66. package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  67. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  68. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +1 -1
  69. package/SVF-doxygen/html/classSVF_1_1Andersen.html +1 -1
  70. package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +1 -1
  71. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +4 -4
  72. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
  73. package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  74. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
  75. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +3 -3
  76. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +11 -11
  77. package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +1 -1
  78. package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
  79. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
  80. package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
  81. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +2 -2
  82. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
  83. package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
  84. package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
  85. package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
  86. package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +12 -12
  87. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
  88. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
  89. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  90. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  91. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +2 -2
  92. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +1 -1
  93. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  94. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +1 -1
  95. package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +1 -1
  96. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +2 -2
  97. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +3 -3
  98. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  99. package/SVF-doxygen/html/classSVF_1_1ICFG.html +1 -1
  100. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +1 -1
  101. package/SVF-doxygen/html/classSVF_1_1IRGraph.html +2 -2
  102. package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  103. package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  104. package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +1 -1
  105. package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +1 -1
  106. package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  107. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +141 -140
  108. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +1 -1
  109. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
  110. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
  111. package/SVF-doxygen/html/classSVF_1_1MHP.html +1 -1
  112. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +3 -3
  113. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +1 -1
  114. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
  115. package/SVF-doxygen/html/classSVF_1_1MemObj.html +121 -121
  116. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +1 -1
  117. package/SVF-doxygen/html/classSVF_1_1ObjTypeInfo.html +29 -29
  118. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +2 -2
  119. package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
  120. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
  121. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +342 -341
  122. package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +1 -1
  123. package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
  124. package/SVF-doxygen/html/classSVF_1_1SVFArrayType.html +4 -4
  125. package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html +4 -4
  126. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +1 -1
  127. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +6 -6
  128. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +11 -10
  129. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +868 -864
  130. package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html +7 -7
  131. package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html +4 -4
  132. package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html +3 -2
  133. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +12 -12
  134. package/SVF-doxygen/html/classSVF_1_1SVFStructType.html +4 -4
  135. package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
  136. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  137. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
  138. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +1 -1
  139. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
  140. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +634 -631
  141. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +125 -124
  142. package/SVF-doxygen/html/classSVF_1_1TCT.html +1 -1
  143. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
  144. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
  145. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +1 -1
  146. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +2 -2
  147. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
  148. package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  149. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  150. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  151. package/SVF-doxygen/html/functions_func_g.html +10 -10
  152. package/SVF-doxygen/html/functions_func_p.html +1 -1
  153. package/SVF-doxygen/html/functions_g.html +6 -6
  154. package/SVF-doxygen/html/functions_r.html +2 -2
  155. package/SVF-doxygen/html/functions_s.html +5 -5
  156. package/SVF-doxygen/html/functions_t.html +7 -7
  157. package/SVF-doxygen/html/functions_v.html +3 -1
  158. package/SVF-doxygen/html/functions_w.html +8 -8
  159. package/SVF-doxygen/html/namespaceSVF.html +43 -25
  160. package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +1233 -1138
  161. package/SVF-doxygen/html/namespacemembers_func_g.html +6 -3
  162. package/SVF-doxygen/html/namespacemembers_g.html +10 -4
  163. package/SVF-doxygen/html/namespacemembers_type_g.html +3 -0
  164. package/SVF-doxygen/html/search/all_10.js +324 -324
  165. package/SVF-doxygen/html/search/all_11.js +223 -223
  166. package/SVF-doxygen/html/search/all_12.js +553 -553
  167. package/SVF-doxygen/html/search/all_13.js +192 -192
  168. package/SVF-doxygen/html/search/all_14.js +67 -67
  169. package/SVF-doxygen/html/search/all_15.js +167 -167
  170. package/SVF-doxygen/html/search/all_16.js +63 -63
  171. package/SVF-doxygen/html/search/all_17.js +1 -1
  172. package/SVF-doxygen/html/search/all_18.js +1 -1
  173. package/SVF-doxygen/html/search/all_19.js +11 -11
  174. package/SVF-doxygen/html/search/all_1a.js +172 -172
  175. package/SVF-doxygen/html/search/all_7.js +895 -893
  176. package/SVF-doxygen/html/search/all_8.js +198 -198
  177. package/SVF-doxygen/html/search/all_9.js +607 -607
  178. package/SVF-doxygen/html/search/all_a.js +46 -46
  179. package/SVF-doxygen/html/search/all_b.js +26 -26
  180. package/SVF-doxygen/html/search/all_c.js +115 -115
  181. package/SVF-doxygen/html/search/all_d.js +198 -198
  182. package/SVF-doxygen/html/search/all_e.js +207 -207
  183. package/SVF-doxygen/html/search/all_f.js +116 -116
  184. package/SVF-doxygen/html/search/classes_0.js +26 -26
  185. package/SVF-doxygen/html/search/classes_1.js +9 -9
  186. package/SVF-doxygen/html/search/classes_10.js +73 -73
  187. package/SVF-doxygen/html/search/classes_11.js +15 -15
  188. package/SVF-doxygen/html/search/classes_12.js +2 -2
  189. package/SVF-doxygen/html/search/classes_13.js +10 -10
  190. package/SVF-doxygen/html/search/classes_14.js +14 -14
  191. package/SVF-doxygen/html/search/classes_15.js +1 -1
  192. package/SVF-doxygen/html/search/classes_2.js +80 -80
  193. package/SVF-doxygen/html/search/classes_3.js +37 -37
  194. package/SVF-doxygen/html/search/classes_4.js +9 -9
  195. package/SVF-doxygen/html/search/classes_5.js +28 -28
  196. package/SVF-doxygen/html/search/classes_6.js +104 -104
  197. package/SVF-doxygen/html/search/classes_7.js +34 -34
  198. package/SVF-doxygen/html/search/classes_8.js +56 -56
  199. package/SVF-doxygen/html/search/classes_9.js +1 -1
  200. package/SVF-doxygen/html/search/classes_a.js +12 -12
  201. package/SVF-doxygen/html/search/classes_b.js +29 -29
  202. package/SVF-doxygen/html/search/classes_c.js +6 -6
  203. package/SVF-doxygen/html/search/classes_d.js +18 -18
  204. package/SVF-doxygen/html/search/classes_e.js +36 -36
  205. package/SVF-doxygen/html/search/classes_f.js +25 -25
  206. package/SVF-doxygen/html/search/defines_0.js +3 -3
  207. package/SVF-doxygen/html/search/defines_1.js +2 -2
  208. package/SVF-doxygen/html/search/defines_2.js +30 -30
  209. package/SVF-doxygen/html/search/defines_3.js +21 -21
  210. package/SVF-doxygen/html/search/defines_4.js +2 -2
  211. package/SVF-doxygen/html/search/defines_5.js +4 -4
  212. package/SVF-doxygen/html/search/defines_6.js +2 -2
  213. package/SVF-doxygen/html/search/defines_7.js +5 -5
  214. package/SVF-doxygen/html/search/defines_8.js +11 -11
  215. package/SVF-doxygen/html/search/defines_9.js +9 -9
  216. package/SVF-doxygen/html/search/defines_a.js +2 -2
  217. package/SVF-doxygen/html/search/defines_b.js +1 -1
  218. package/SVF-doxygen/html/search/defines_c.js +3 -3
  219. package/SVF-doxygen/html/search/defines_d.js +2 -2
  220. package/SVF-doxygen/html/search/defines_e.js +7 -7
  221. package/SVF-doxygen/html/search/defines_f.js +3 -3
  222. package/SVF-doxygen/html/search/enums_0.js +3 -3
  223. package/SVF-doxygen/html/search/enums_1.js +2 -2
  224. package/SVF-doxygen/html/search/enums_10.js +1 -1
  225. package/SVF-doxygen/html/search/enums_11.js +1 -1
  226. package/SVF-doxygen/html/search/enums_2.js +8 -8
  227. package/SVF-doxygen/html/search/enums_3.js +1 -1
  228. package/SVF-doxygen/html/search/enums_4.js +3 -3
  229. package/SVF-doxygen/html/search/enums_5.js +1 -1
  230. package/SVF-doxygen/html/search/enums_6.js +2 -2
  231. package/SVF-doxygen/html/search/enums_7.js +2 -2
  232. package/SVF-doxygen/html/search/enums_8.js +4 -4
  233. package/SVF-doxygen/html/search/enums_9.js +1 -1
  234. package/SVF-doxygen/html/search/enums_a.js +1 -1
  235. package/SVF-doxygen/html/search/enums_b.js +7 -7
  236. package/SVF-doxygen/html/search/enums_c.js +1 -1
  237. package/SVF-doxygen/html/search/enums_d.js +4 -4
  238. package/SVF-doxygen/html/search/enums_e.js +2 -2
  239. package/SVF-doxygen/html/search/enums_f.js +4 -4
  240. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  241. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  242. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  243. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  244. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  245. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  246. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  247. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  248. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  249. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  250. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  251. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  252. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  253. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  254. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  255. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  256. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  257. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  258. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  259. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  260. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  261. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  262. package/SVF-doxygen/html/search/files_0.js +13 -13
  263. package/SVF-doxygen/html/search/files_1.js +7 -7
  264. package/SVF-doxygen/html/search/files_10.js +8 -8
  265. package/SVF-doxygen/html/search/files_11.js +8 -8
  266. package/SVF-doxygen/html/search/files_12.js +2 -2
  267. package/SVF-doxygen/html/search/files_2.js +55 -55
  268. package/SVF-doxygen/html/search/files_3.js +14 -14
  269. package/SVF-doxygen/html/search/files_4.js +5 -5
  270. package/SVF-doxygen/html/search/files_5.js +13 -13
  271. package/SVF-doxygen/html/search/files_6.js +9 -9
  272. package/SVF-doxygen/html/search/files_7.js +14 -14
  273. package/SVF-doxygen/html/search/files_8.js +13 -13
  274. package/SVF-doxygen/html/search/files_9.js +18 -18
  275. package/SVF-doxygen/html/search/files_a.js +3 -3
  276. package/SVF-doxygen/html/search/files_b.js +2 -2
  277. package/SVF-doxygen/html/search/files_c.js +20 -20
  278. package/SVF-doxygen/html/search/files_d.js +4 -4
  279. package/SVF-doxygen/html/search/files_e.js +62 -62
  280. package/SVF-doxygen/html/search/files_f.js +8 -8
  281. package/SVF-doxygen/html/search/functions_0.js +13 -13
  282. package/SVF-doxygen/html/search/functions_1.js +360 -360
  283. package/SVF-doxygen/html/search/functions_10.js +140 -140
  284. package/SVF-doxygen/html/search/functions_11.js +139 -139
  285. package/SVF-doxygen/html/search/functions_12.js +288 -288
  286. package/SVF-doxygen/html/search/functions_13.js +59 -59
  287. package/SVF-doxygen/html/search/functions_14.js +39 -39
  288. package/SVF-doxygen/html/search/functions_15.js +71 -71
  289. package/SVF-doxygen/html/search/functions_16.js +32 -32
  290. package/SVF-doxygen/html/search/functions_17.js +3 -3
  291. package/SVF-doxygen/html/search/functions_18.js +172 -172
  292. package/SVF-doxygen/html/search/functions_2.js +89 -89
  293. package/SVF-doxygen/html/search/functions_3.js +258 -258
  294. package/SVF-doxygen/html/search/functions_4.js +78 -78
  295. package/SVF-doxygen/html/search/functions_5.js +53 -53
  296. package/SVF-doxygen/html/search/functions_6.js +60 -60
  297. package/SVF-doxygen/html/search/functions_7.js +857 -856
  298. package/SVF-doxygen/html/search/functions_8.js +149 -149
  299. package/SVF-doxygen/html/search/functions_9.js +423 -423
  300. package/SVF-doxygen/html/search/functions_a.js +30 -30
  301. package/SVF-doxygen/html/search/functions_b.js +2 -2
  302. package/SVF-doxygen/html/search/functions_c.js +25 -25
  303. package/SVF-doxygen/html/search/functions_d.js +79 -79
  304. package/SVF-doxygen/html/search/functions_e.js +35 -35
  305. package/SVF-doxygen/html/search/functions_f.js +56 -56
  306. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  307. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  308. package/SVF-doxygen/html/search/related_0.js +2 -2
  309. package/SVF-doxygen/html/search/related_1.js +2 -2
  310. package/SVF-doxygen/html/search/related_2.js +2 -2
  311. package/SVF-doxygen/html/search/related_3.js +2 -2
  312. package/SVF-doxygen/html/search/related_4.js +2 -2
  313. package/SVF-doxygen/html/search/related_5.js +1 -1
  314. package/SVF-doxygen/html/search/related_6.js +2 -2
  315. package/SVF-doxygen/html/search/related_7.js +4 -4
  316. package/SVF-doxygen/html/search/related_8.js +2 -2
  317. package/SVF-doxygen/html/search/related_9.js +4 -4
  318. package/SVF-doxygen/html/search/related_a.js +19 -19
  319. package/SVF-doxygen/html/search/related_b.js +4 -4
  320. package/SVF-doxygen/html/search/related_c.js +2 -2
  321. package/SVF-doxygen/html/search/related_d.js +12 -12
  322. package/SVF-doxygen/html/search/related_e.js +2 -2
  323. package/SVF-doxygen/html/search/related_f.js +2 -2
  324. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  325. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  326. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  327. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  328. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  329. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  330. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  331. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  332. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  333. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  334. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  335. package/SVF-doxygen/html/search/typedefs_6.js +56 -55
  336. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  337. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  338. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  339. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  340. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  341. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  342. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  343. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  344. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  345. package/SVF-doxygen/html/search/variables_0.js +151 -151
  346. package/SVF-doxygen/html/search/variables_1.js +75 -75
  347. package/SVF-doxygen/html/search/variables_10.js +97 -97
  348. package/SVF-doxygen/html/search/variables_11.js +44 -44
  349. package/SVF-doxygen/html/search/variables_12.js +92 -92
  350. package/SVF-doxygen/html/search/variables_13.js +76 -76
  351. package/SVF-doxygen/html/search/variables_14.js +14 -14
  352. package/SVF-doxygen/html/search/variables_15.js +48 -48
  353. package/SVF-doxygen/html/search/variables_16.js +9 -9
  354. package/SVF-doxygen/html/search/variables_17.js +1 -1
  355. package/SVF-doxygen/html/search/variables_18.js +2 -2
  356. package/SVF-doxygen/html/search/variables_2.js +38 -38
  357. package/SVF-doxygen/html/search/variables_3.js +142 -142
  358. package/SVF-doxygen/html/search/variables_4.js +55 -55
  359. package/SVF-doxygen/html/search/variables_5.js +37 -37
  360. package/SVF-doxygen/html/search/variables_6.js +66 -66
  361. package/SVF-doxygen/html/search/variables_7.js +34 -34
  362. package/SVF-doxygen/html/search/variables_8.js +7 -7
  363. package/SVF-doxygen/html/search/variables_9.js +78 -78
  364. package/SVF-doxygen/html/search/variables_a.js +4 -4
  365. package/SVF-doxygen/html/search/variables_b.js +10 -10
  366. package/SVF-doxygen/html/search/variables_c.js +45 -45
  367. package/SVF-doxygen/html/search/variables_d.js +56 -56
  368. package/SVF-doxygen/html/search/variables_e.js +123 -123
  369. package/SVF-doxygen/html/search/variables_f.js +30 -30
  370. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  371. package/SVF-doxygen/html/svf-ex_8cpp.html +1 -1
  372. package/SVF-doxygen/html/svf-ex_8cpp_source.html +1 -1
  373. package/package.json +1 -1
  374. package/svf/include/MemoryModel/AccessPath.h +2 -2
  375. package/svf/lib/AbstractExecution/SVFIR2ConsExeState.cpp +2 -2
  376. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +4 -4
  377. package/svf/lib/MemoryModel/AccessPath.cpp +6 -5
  378. package/svf/lib/MemoryModel/PointerAnalysis.cpp +1 -0
  379. package/svf/lib/SVFIR/SVFType.cpp +1 -0
  380. package/svf/lib/SVFIR/SymbolTableInfo.cpp +1 -0
  381. package/svf-llvm/include/SVF-LLVM/BasicTypes.h +1 -0
  382. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +6 -0
  383. package/svf-llvm/lib/LLVMModule.cpp +1 -0
  384. package/svf-llvm/lib/LLVMUtil.cpp +70 -0
  385. package/svf-llvm/lib/SVFIRBuilder.cpp +3 -1
  386. package/svf-llvm/lib/SymbolTableBuilder.cpp +4 -1
package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html CHANGED
@@ -793,44 +793,44 @@ Friends</h2></td></tr>
793
793
 
794
794
  <p>Another debug method. </p>
795
795
 
796
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00329">329</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
797
- <div class="fragment"><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160;{</div>
798
- <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; <a class="code" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap&lt;SymID, SVFValue*&gt;</a> idmap;</div>
799
- <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <span class="keywordflow">for</span> (ValueToIDMapTy::iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.begin(); iter != <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.end();</div>
800
- <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; ++iter)</div>
801
- <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; {</div>
802
- <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter-&gt;second;</div>
803
- <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val = (<a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>*) iter-&gt;first;</div>
804
- <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; idmap[i] = val;</div>
805
- <div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; }</div>
806
- <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; <span class="keywordflow">for</span> (ValueToIDMapTy::iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec">objSymMap</a>.begin(); iter != <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec">objSymMap</a>.end();</div>
807
- <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; ++iter)</div>
808
- <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; {</div>
809
- <div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter-&gt;second;</div>
810
- <div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val = (<a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>*) iter-&gt;first;</div>
811
- <div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; idmap[i] = val;</div>
812
- <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; }</div>
813
- <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; <span class="keywordflow">for</span> (FunToIDMapTy::iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681">returnSymMap</a>.begin(); iter != <a class="code" href="classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681">returnSymMap</a>.end();</div>
814
- <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; ++iter)</div>
815
- <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; {</div>
816
- <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter-&gt;second;</div>
817
- <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val = (<a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>*) iter-&gt;first;</div>
818
- <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; idmap[i] = val;</div>
819
- <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; }</div>
820
- <div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; <span class="keywordflow">for</span> (FunToIDMapTy::iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9">varargSymMap</a>.begin(); iter != <a class="code" href="classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9">varargSymMap</a>.end();</div>
821
- <div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; ++iter)</div>
822
- <div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; {</div>
823
- <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter-&gt;second;</div>
824
- <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val = (<a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>*) iter-&gt;first;</div>
825
- <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; idmap[i] = val;</div>
826
- <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; }</div>
827
- <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot;{SymbolTableInfo \n&quot;</span>;</div>
828
- <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> iter : idmap)</div>
829
- <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; {</div>
830
- <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; iter.first &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; iter.second-&gt;toString() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
831
- <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; }</div>
832
- <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
833
- <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160;}</div>
796
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00330">330</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
797
+ <div class="fragment"><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160;{</div>
798
+ <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <a class="code" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap&lt;SymID, SVFValue*&gt;</a> idmap;</div>
799
+ <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; <span class="keywordflow">for</span> (ValueToIDMapTy::iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.begin(); iter != <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.end();</div>
800
+ <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; ++iter)</div>
801
+ <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; {</div>
802
+ <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter-&gt;second;</div>
803
+ <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val = (<a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>*) iter-&gt;first;</div>
804
+ <div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; idmap[i] = val;</div>
805
+ <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; }</div>
806
+ <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; <span class="keywordflow">for</span> (ValueToIDMapTy::iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec">objSymMap</a>.begin(); iter != <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec">objSymMap</a>.end();</div>
807
+ <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; ++iter)</div>
808
+ <div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; {</div>
809
+ <div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter-&gt;second;</div>
810
+ <div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val = (<a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>*) iter-&gt;first;</div>
811
+ <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; idmap[i] = val;</div>
812
+ <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; }</div>
813
+ <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; <span class="keywordflow">for</span> (FunToIDMapTy::iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681">returnSymMap</a>.begin(); iter != <a class="code" href="classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681">returnSymMap</a>.end();</div>
814
+ <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; ++iter)</div>
815
+ <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; {</div>
816
+ <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter-&gt;second;</div>
817
+ <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val = (<a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>*) iter-&gt;first;</div>
818
+ <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; idmap[i] = val;</div>
819
+ <div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; }</div>
820
+ <div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; <span class="keywordflow">for</span> (FunToIDMapTy::iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9">varargSymMap</a>.begin(); iter != <a class="code" href="classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9">varargSymMap</a>.end();</div>
821
+ <div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; ++iter)</div>
822
+ <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; {</div>
823
+ <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> i = iter-&gt;second;</div>
824
+ <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* val = (<a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>*) iter-&gt;first;</div>
825
+ <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; idmap[i] = val;</div>
826
+ <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; }</div>
827
+ <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot;{SymbolTableInfo \n&quot;</span>;</div>
828
+ <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> iter : idmap)</div>
829
+ <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; {</div>
830
+ <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; iter.first &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; iter.second-&gt;toString() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
831
+ <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; }</div>
832
+ <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
833
+ <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160;}</div>
834
834
  </div><!-- fragment -->
835
835
  </div>
836
836
  </div>
@@ -1498,20 +1498,20 @@ Friends</h2></td></tr>
1498
1498
 
1499
1499
  <p>Get different kinds of syms. </p>
1500
1500
 
1501
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00568">568</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
1502
- <div class="fragment"><div class="line"><a name="l00569"></a><span class="lineno"> 569</span>&#160;{</div>
1503
- <div class="line"><a name="l00570"></a><span class="lineno"> 570</span>&#160; </div>
1504
- <div class="line"><a name="l00571"></a><span class="lineno"> 571</span>&#160; <span class="keywordflow">if</span>(val-&gt;<a class="code" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a>())</div>
1505
- <div class="line"><a name="l00572"></a><span class="lineno"> 572</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721">nullPtrSymID</a>();</div>
1506
- <div class="line"><a name="l00573"></a><span class="lineno"> 573</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (val-&gt;<a class="code" href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">isblackHole</a>())</div>
1507
- <div class="line"><a name="l00574"></a><span class="lineno"> 574</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72">blkPtrSymID</a>();</div>
1508
- <div class="line"><a name="l00575"></a><span class="lineno"> 575</span>&#160; <span class="keywordflow">else</span></div>
1509
- <div class="line"><a name="l00576"></a><span class="lineno"> 576</span>&#160; {</div>
1510
- <div class="line"><a name="l00577"></a><span class="lineno"> 577</span>&#160; ValueToIDMapTy::const_iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.find(val);</div>
1511
- <div class="line"><a name="l00578"></a><span class="lineno"> 578</span>&#160; assert(iter!=<a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.end() &amp;&amp;<span class="stringliteral">&quot;value sym not found&quot;</span>);</div>
1512
- <div class="line"><a name="l00579"></a><span class="lineno"> 579</span>&#160; <span class="keywordflow">return</span> iter-&gt;second;</div>
1513
- <div class="line"><a name="l00580"></a><span class="lineno"> 580</span>&#160; }</div>
1514
- <div class="line"><a name="l00581"></a><span class="lineno"> 581</span>&#160;}</div>
1501
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00569">569</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
1502
+ <div class="fragment"><div class="line"><a name="l00570"></a><span class="lineno"> 570</span>&#160;{</div>
1503
+ <div class="line"><a name="l00571"></a><span class="lineno"> 571</span>&#160; </div>
1504
+ <div class="line"><a name="l00572"></a><span class="lineno"> 572</span>&#160; <span class="keywordflow">if</span>(val-&gt;<a class="code" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a>())</div>
1505
+ <div class="line"><a name="l00573"></a><span class="lineno"> 573</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721">nullPtrSymID</a>();</div>
1506
+ <div class="line"><a name="l00574"></a><span class="lineno"> 574</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (val-&gt;<a class="code" href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">isblackHole</a>())</div>
1507
+ <div class="line"><a name="l00575"></a><span class="lineno"> 575</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72">blkPtrSymID</a>();</div>
1508
+ <div class="line"><a name="l00576"></a><span class="lineno"> 576</span>&#160; <span class="keywordflow">else</span></div>
1509
+ <div class="line"><a name="l00577"></a><span class="lineno"> 577</span>&#160; {</div>
1510
+ <div class="line"><a name="l00578"></a><span class="lineno"> 578</span>&#160; ValueToIDMapTy::const_iterator iter = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.find(val);</div>
1511
+ <div class="line"><a name="l00579"></a><span class="lineno"> 579</span>&#160; assert(iter!=<a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.end() &amp;&amp;<span class="stringliteral">&quot;value sym not found&quot;</span>);</div>
1512
+ <div class="line"><a name="l00580"></a><span class="lineno"> 580</span>&#160; <span class="keywordflow">return</span> iter-&gt;second;</div>
1513
+ <div class="line"><a name="l00581"></a><span class="lineno"> 581</span>&#160; }</div>
1514
+ <div class="line"><a name="l00582"></a><span class="lineno"> 582</span>&#160;}</div>
1515
1515
  </div><!-- fragment -->
1516
1516
  </div>
1517
1517
  </div>
@@ -1595,13 +1595,13 @@ Friends</h2></td></tr>
1595
1595
  </table>
1596
1596
  </div><div class="memdoc">
1597
1597
 
1598
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00583">583</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
1599
- <div class="fragment"><div class="line"><a name="l00584"></a><span class="lineno"> 584</span>&#160;{</div>
1600
- <div class="line"><a name="l00585"></a><span class="lineno"> 585</span>&#160; <span class="keywordflow">if</span> (val-&gt;<a class="code" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a>() || val-&gt;<a class="code" href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">isblackHole</a>())</div>
1601
- <div class="line"><a name="l00586"></a><span class="lineno"> 586</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
1602
- <div class="line"><a name="l00587"></a><span class="lineno"> 587</span>&#160; <span class="keywordflow">else</span></div>
1603
- <div class="line"><a name="l00588"></a><span class="lineno"> 588</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.find(val) != <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.end());</div>
1604
- <div class="line"><a name="l00589"></a><span class="lineno"> 589</span>&#160;}</div>
1598
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00584">584</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
1599
+ <div class="fragment"><div class="line"><a name="l00585"></a><span class="lineno"> 585</span>&#160;{</div>
1600
+ <div class="line"><a name="l00586"></a><span class="lineno"> 586</span>&#160; <span class="keywordflow">if</span> (val-&gt;<a class="code" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a>() || val-&gt;<a class="code" href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">isblackHole</a>())</div>
1601
+ <div class="line"><a name="l00587"></a><span class="lineno"> 587</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
1602
+ <div class="line"><a name="l00588"></a><span class="lineno"> 588</span>&#160; <span class="keywordflow">else</span></div>
1603
+ <div class="line"><a name="l00589"></a><span class="lineno"> 589</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.find(val) != <a class="code" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">valSymMap</a>.end());</div>
1604
+ <div class="line"><a name="l00590"></a><span class="lineno"> 590</span>&#160;}</div>
1605
1605
  </div><!-- fragment -->
1606
1606
  </div>
1607
1607
  </div>
@@ -1925,29 +1925,30 @@ Friends</h2></td></tr>
1925
1925
  <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; }</div>
1926
1926
  <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFPointerType.html">SVFPointerType</a>* pt= SVFUtil::dyn_cast&lt;SVFPointerType&gt;(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
1927
1927
  <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; {</div>
1928
- <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> eSize = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a811a3489df0f793c7a5482d31d470a4c">getNumOfFlattenElements</a>(pt-&gt;getPtrElementType());</div>
1929
- <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot; {Type: &quot;</span> &lt;&lt; *pt &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span></div>
1930
- <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; &lt;&lt; <span class="stringliteral">&quot;\t [target size = &quot;</span> &lt;&lt; eSize &lt;&lt; <span class="stringliteral">&quot;]\n&quot;</span></div>
1931
- <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
1932
- <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; }</div>
1933
- <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunctionType.html">SVFFunctionType</a>* fu =</div>
1934
- <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; SVFUtil::dyn_cast&lt;SVFFunctionType&gt;(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
1935
- <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; {</div>
1936
- <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot; {Type: &quot;</span> &lt;&lt; *fu &lt;&lt; <span class="stringliteral">&quot;}\n\n&quot;</span>;</div>
1937
- <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; }</div>
1938
- <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFOtherType.html">SVFOtherType</a>* ot = SVFUtil::dyn_cast&lt;SVFOtherType&gt;(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
1939
- <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; {</div>
1940
- <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot; {Type: &quot;</span>&lt;&lt; *ot &lt;&lt; <span class="stringliteral">&quot;(SVFOtherType)}\n\n&quot;</span>;</div>
1941
- <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; }</div>
1942
- <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; <span class="keywordflow">else</span></div>
1943
- <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; {</div>
1944
- <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; assert(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>-&gt;isSingleValueType() &amp;&amp; <span class="stringliteral">&quot;not a single value type, then what else!!&quot;</span>);</div>
1945
- <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> eSize = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a811a3489df0f793c7a5482d31d470a4c">getNumOfFlattenElements</a>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>);</div>
1946
- <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot; {Type: &quot;</span> &lt;&lt; *<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span></div>
1947
- <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; &lt;&lt; <span class="stringliteral">&quot;\t [object size = &quot;</span> &lt;&lt; eSize &lt;&lt; <span class="stringliteral">&quot;]\n&quot;</span></div>
1948
- <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
1949
- <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; }</div>
1950
- <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160;}</div>
1928
+ <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; <span class="comment">// TODO: getPtrElementType to be removed</span></div>
1929
+ <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> eSize = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a811a3489df0f793c7a5482d31d470a4c">getNumOfFlattenElements</a>(pt-&gt;getPtrElementType());</div>
1930
+ <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot; {Type: &quot;</span> &lt;&lt; *pt &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span></div>
1931
+ <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; &lt;&lt; <span class="stringliteral">&quot;\t [target size = &quot;</span> &lt;&lt; eSize &lt;&lt; <span class="stringliteral">&quot;]\n&quot;</span></div>
1932
+ <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
1933
+ <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; }</div>
1934
+ <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunctionType.html">SVFFunctionType</a>* fu =</div>
1935
+ <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; SVFUtil::dyn_cast&lt;SVFFunctionType&gt;(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
1936
+ <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; {</div>
1937
+ <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot; {Type: &quot;</span> &lt;&lt; *fu &lt;&lt; <span class="stringliteral">&quot;}\n\n&quot;</span>;</div>
1938
+ <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; }</div>
1939
+ <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFOtherType.html">SVFOtherType</a>* ot = SVFUtil::dyn_cast&lt;SVFOtherType&gt;(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
1940
+ <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; {</div>
1941
+ <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot; {Type: &quot;</span>&lt;&lt; *ot &lt;&lt; <span class="stringliteral">&quot;(SVFOtherType)}\n\n&quot;</span>;</div>
1942
+ <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; }</div>
1943
+ <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; <span class="keywordflow">else</span></div>
1944
+ <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; {</div>
1945
+ <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; assert(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>-&gt;isSingleValueType() &amp;&amp; <span class="stringliteral">&quot;not a single value type, then what else!!&quot;</span>);</div>
1946
+ <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> eSize = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a811a3489df0f793c7a5482d31d470a4c">getNumOfFlattenElements</a>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>);</div>
1947
+ <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot; {Type: &quot;</span> &lt;&lt; *<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span></div>
1948
+ <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; &lt;&lt; <span class="stringliteral">&quot;\t [object size = &quot;</span> &lt;&lt; eSize &lt;&lt; <span class="stringliteral">&quot;]\n&quot;</span></div>
1949
+ <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
1950
+ <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; }</div>
1951
+ <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160;}</div>
1951
1952
  </div><!-- fragment -->
1952
1953
  </div>
1953
1954
  </div>
@@ -2140,48 +2141,48 @@ Friends</h2></td></tr>
2140
2141
  </table>
2141
2142
  </div><div class="memdoc">
2142
2143
 
2143
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00286">286</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
2144
- <div class="fragment"><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160;{</div>
2145
- <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; <span class="keywordflow">switch</span> (symtype)</div>
2146
- <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; {</div>
2147
- <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; <span class="keywordflow">case</span> SYMTYPE::BlackHole:</div>
2148
- <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; {</div>
2149
- <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;BlackHole&quot;</span>;</div>
2150
- <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; }</div>
2151
- <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keywordflow">case</span> SYMTYPE::ConstantObj:</div>
2152
- <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; {</div>
2153
- <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;ConstantObj&quot;</span>;</div>
2154
- <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div>
2155
- <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; <span class="keywordflow">case</span> SYMTYPE::BlkPtr:</div>
2156
- <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; {</div>
2157
- <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;BlkPtr&quot;</span>;</div>
2158
- <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; }</div>
2159
- <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <span class="keywordflow">case</span> SYMTYPE::NullPtr:</div>
2160
- <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; {</div>
2161
- <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;NullPtr&quot;</span>;</div>
2162
- <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; }</div>
2163
- <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; <span class="keywordflow">case</span> SYMTYPE::ValSymbol:</div>
2164
- <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; {</div>
2165
- <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;ValSym&quot;</span>;</div>
2166
- <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; }</div>
2167
- <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; <span class="keywordflow">case</span> SYMTYPE::ObjSymbol:</div>
2168
- <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; {</div>
2169
- <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;ObjSym&quot;</span>;</div>
2170
- <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; }</div>
2171
- <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <span class="keywordflow">case</span> SYMTYPE::RetSymbol:</div>
2172
- <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; {</div>
2173
- <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;RetSym&quot;</span>;</div>
2174
- <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; }</div>
2175
- <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; <span class="keywordflow">case</span> SYMTYPE::VarargSymbol:</div>
2176
- <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; {</div>
2177
- <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;VarargSym&quot;</span>;</div>
2178
- <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; }</div>
2179
- <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; <span class="keywordflow">default</span>:</div>
2180
- <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; {</div>
2181
- <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;Invalid SYMTYPE&quot;</span>;</div>
2182
- <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; }</div>
2144
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00287">287</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
2145
+ <div class="fragment"><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160;{</div>
2146
+ <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; <span class="keywordflow">switch</span> (symtype)</div>
2147
+ <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; {</div>
2148
+ <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; <span class="keywordflow">case</span> SYMTYPE::BlackHole:</div>
2149
+ <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; {</div>
2150
+ <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;BlackHole&quot;</span>;</div>
2151
+ <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; }</div>
2152
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <span class="keywordflow">case</span> SYMTYPE::ConstantObj:</div>
2153
+ <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; {</div>
2154
+ <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;ConstantObj&quot;</span>;</div>
2155
+ <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; }</div>
2156
+ <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; <span class="keywordflow">case</span> SYMTYPE::BlkPtr:</div>
2157
+ <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; {</div>
2158
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;BlkPtr&quot;</span>;</div>
2159
+ <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; }</div>
2160
+ <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <span class="keywordflow">case</span> SYMTYPE::NullPtr:</div>
2161
+ <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; {</div>
2162
+ <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;NullPtr&quot;</span>;</div>
2163
+ <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; }</div>
2164
+ <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; <span class="keywordflow">case</span> SYMTYPE::ValSymbol:</div>
2165
+ <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; {</div>
2166
+ <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;ValSym&quot;</span>;</div>
2167
+ <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; }</div>
2168
+ <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; <span class="keywordflow">case</span> SYMTYPE::ObjSymbol:</div>
2169
+ <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; {</div>
2170
+ <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;ObjSym&quot;</span>;</div>
2171
+ <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; }</div>
2172
+ <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <span class="keywordflow">case</span> SYMTYPE::RetSymbol:</div>
2173
+ <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; {</div>
2174
+ <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;RetSym&quot;</span>;</div>
2175
+ <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; }</div>
2176
+ <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; <span class="keywordflow">case</span> SYMTYPE::VarargSymbol:</div>
2177
+ <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; {</div>
2178
+ <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;VarargSym&quot;</span>;</div>
2179
+ <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; }</div>
2180
+ <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; <span class="keywordflow">default</span>:</div>
2181
+ <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; {</div>
2182
+ <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;Invalid SYMTYPE&quot;</span>;</div>
2183
2183
  <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; }</div>
2184
- <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160;}</div>
2184
+ <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; }</div>
2185
+ <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160;}</div>
2185
2186
  </div><!-- fragment -->
2186
2187
  </div>
2187
2188
  </div>
@@ -2701,7 +2702,7 @@ Friends</h2></td></tr>
2701
2702
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_acb5d0311477899abb4c222cd44376c73"><div class="ttname"><a href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">SVF::SVFValue::isblackHole</a></div><div class="ttdeci">bool isblackHole() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00268">SVFValue.h:268</a></div></div>
2702
2703
  <div class="ttc" id="aclassSVF_1_1Options_html_aaab923c093730b1670a54f09340b1bd5"><div class="ttname"><a href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</a></div></div>
2703
2704
  <div class="ttc" id="aclassSVF_1_1Options_html_a18dd95e01a50aa82165c46a3801053c5"><div class="ttname"><a href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5">SVF::Options::ModelConsts</a></div><div class="ttdeci">static const Option&lt; bool &gt; ModelConsts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00218">Options.h:218</a></div></div>
2704
- <div class="ttc" id="aclassSVF_1_1MemObj_html_a51be7ad70bc2c6a4230bd2f6b86bdc88"><div class="ttname"><a href="classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88">SVF::MemObj::getMaxFieldOffsetLimit</a></div><div class="ttdeci">u32_t getMaxFieldOffsetLimit() const</div><div class="ttdoc">Get max field offset limit.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00466">SymbolTableInfo.cpp:466</a></div></div>
2705
+ <div class="ttc" id="aclassSVF_1_1MemObj_html_a51be7ad70bc2c6a4230bd2f6b86bdc88"><div class="ttname"><a href="classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88">SVF::MemObj::getMaxFieldOffsetLimit</a></div><div class="ttdeci">u32_t getMaxFieldOffsetLimit() const</div><div class="ttdoc">Get max field offset limit.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00467">SymbolTableInfo.cpp:467</a></div></div>
2705
2706
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a4fbb8ea4b4796d10d13c027b7455505c"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo::symInfo</a></div><div class="ttdeci">static SymbolTableInfo * symInfo</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00089">SymbolTableInfo.h:89</a></div></div>
2706
2707
  <div class="ttc" id="aclassSVF_1_1SVFOtherType_html"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00509">SVFType.h:509</a></div></div>
2707
2708
  <div class="ttc" id="aclassSVF_1_1StInfo_html_a055697f565cb9d73b41110090fe50159"><div class="ttname"><a href="classSVF_1_1StInfo.html#a055697f565cb9d73b41110090fe50159">SVF::StInfo::getOriginalElemType</a></div><div class="ttdeci">const SVFType * getOriginalElemType(u32_t fldIdx) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00026">SVFValue.cpp:26</a></div></div>
package/SVF-doxygen/html/classSVF_1_1TCT.html CHANGED
@@ -3758,7 +3758,7 @@ Additional Inherited Members</h2></td></tr>
3758
3758
  <div class="ttc" id="aclassSVF_1_1TCT_html_a862899f2e5fb35920adf8e763e1dba57"><div class="ttname"><a href="classSVF_1_1TCT.html#a862899f2e5fb35920adf8e763e1dba57">SVF::TCT::TCTEdgeNum</a></div><div class="ttdeci">u32_t TCTEdgeNum</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00419">TCT.h:419</a></div></div>
3759
3759
  <div class="ttc" id="aclassSVF_1_1TCT_html_a11e36f9b58646dee4014e12e55c70508"><div class="ttname"><a href="classSVF_1_1TCT.html#a11e36f9b58646dee4014e12e55c70508">SVF::TCT::setMultiForkedAttrs</a></div><div class="ttdeci">void setMultiForkedAttrs(CxtThread &amp;ct)</div><div class="ttdoc">Set multi-forked thread attributes.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00504">TCT.h:504</a></div></div>
3760
3760
  <div class="ttc" id="aclassSVF_1_1TCT_html_a7b4ad0b052e1f8b6869733eef15f4e4d"><div class="ttname"><a href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT::getTCTNode</a></div><div class="ttdeci">TCTNode * getTCTNode(NodeID id) const</div><div class="ttdoc">Get TCT node.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00192">TCT.h:192</a></div></div>
3761
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01315">LLVMUtil.cpp:1315</a></div></div>
3761
+ <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01385">LLVMUtil.cpp:1385</a></div></div>
3762
3762
  <div class="ttc" id="aclassSVF_1_1PTACallGraphEdge_html_a750e50a9022451e406c4819979edffa5"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a750e50a9022451e406c4819979edffa5">SVF::PTACallGraphEdge::directCallsBegin</a></div><div class="ttdeci">CallInstSet::const_iterator directCallsBegin() const</div><div class="ttdoc">Iterators for direct and indirect callsites.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00122">PTACallGraph.h:122</a></div></div>
3763
3763
  <div class="ttc" id="aclassSVF_1_1GraphPrinter_html_a014217fb0d05c8f2a2f1a6c5b19d3e10"><div class="ttname"><a href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">SVF::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &amp;O, const std::string &amp;GraphName, const GraphType &amp;GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00056">GraphPrinter.h:56</a></div></div>
3764
3764
  <div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00059">SVFType.h:59</a></div></div>
package/SVF-doxygen/html/classSVF_1_1TDForkPE.html CHANGED
@@ -638,7 +638,7 @@ Additional Inherited Members</h2></td></tr>
638
638
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
639
639
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_abb784290c90d26f35897fa15bae277d2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00147">SVFStatements.h:147</a></div></div>
640
640
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVF::SVFStmt::ThreadFork</a></div><div class="ttdeci">@ ThreadFork</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00076">SVFStatements.h:76</a></div></div>
641
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01315">LLVMUtil.cpp:1315</a></div></div>
641
+ <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01385">LLVMUtil.cpp:1385</a></div></div>
642
642
  <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00302">SVFStatements.h:302</a></div></div>
643
643
  <!-- start footer part -->
644
644
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html CHANGED
@@ -637,7 +637,7 @@ Additional Inherited Members</h2></td></tr>
637
637
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
638
638
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVF::SVFStmt::ThreadJoin</a></div><div class="ttdeci">@ ThreadJoin</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00077">SVFStatements.h:77</a></div></div>
639
639
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_abb784290c90d26f35897fa15bae277d2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00147">SVFStatements.h:147</a></div></div>
640
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01315">LLVMUtil.cpp:1315</a></div></div>
640
+ <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01385">LLVMUtil.cpp:1385</a></div></div>
641
641
  <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00302">SVFStatements.h:302</a></div></div>
642
642
  <!-- start footer part -->
643
643
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html CHANGED
@@ -2302,7 +2302,7 @@ Additional Inherited Members</h2></td></tr>
2302
2302
  <div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00059">SVFType.h:59</a></div></div>
2303
2303
  <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
2304
2304
  <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a7100a68c27a965927975e26bb06e061c"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c">SVF::ThreadCallGraph::addThreadJoinEdgeSetMap</a></div><div class="ttdeci">void addThreadJoinEdgeSetMap(const CallICFGNode *cs, ThreadJoinEdge *edge)</div><div class="ttdoc">map call instruction to its CallGraphEdge map</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00377">ThreadCallGraph.h:377</a></div></div>
2305
- <div class="ttc" id="aclassSVF_1_1MemObj_html_ae1d14e2bf0be36cdadebf119822f607b"><div class="ttname"><a href="classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b">SVF::MemObj::isFunction</a></div><div class="ttdeci">bool isFunction() const</div><div class="ttdoc">object attributes methods</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00483">SymbolTableInfo.cpp:483</a></div></div>
2305
+ <div class="ttc" id="aclassSVF_1_1MemObj_html_ae1d14e2bf0be36cdadebf119822f607b"><div class="ttname"><a href="classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b">SVF::MemObj::isFunction</a></div><div class="ttdeci">bool isFunction() const</div><div class="ttdoc">object attributes methods</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00484">SymbolTableInfo.cpp:484</a></div></div>
2306
2306
  <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a5f7c92af1a4ce33e4746f5b65c9c8421"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421">SVF::ThreadCallGraph::hasThreadJoinEdge</a></div><div class="ttdeci">bool hasThreadJoinEdge(const CallICFGNode *cs) const</div><div class="ttdoc">Get call graph edge via call instruction.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00224">ThreadCallGraph.h:224</a></div></div>
2307
2307
  <div class="ttc" id="aclassSVF_1_1PTACallGraphNode_html"><div class="ttname"><a href="classSVF_1_1PTACallGraphNode.html">SVF::PTACallGraphNode</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00174">PTACallGraph.h:174</a></div></div>
2308
2308
  <div class="ttc" id="aclassSVF_1_1PTACallGraphEdge_html_a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838">SVF::PTACallGraphEdge::HareParForEdge</a></div><div class="ttdeci">@ HareParForEdge</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00058">PTACallGraph.h:58</a></div></div>
package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html CHANGED
@@ -1087,7 +1087,7 @@ Additional Inherited Members</h2></td></tr>
1087
1087
  <div class="ttc" id="aclassSVF_1_1Options_html_ae7ccfb3d1308e205e5014849dcc43d9a"><div class="ttname"><a href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options::DumpICFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpICFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00136">Options.h:136</a></div></div>
1088
1088
  <div class="ttc" id="aclassSVF_1_1TypeAnalysis_html_a34177236a41f7a2b432243062f829985"><div class="ttname"><a href="classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985">SVF::TypeAnalysis::initialize</a></div><div class="ttdeci">void initialize()</div><div class="ttdoc">Initialize analysis.</div><div class="ttdef"><b>Definition:</b> <a href="TypeAnalysis_8cpp_source.html#l00045">TypeAnalysis.cpp:45</a></div></div>
1089
1089
  <div class="ttc" id="aclassSVF_1_1CallSite_html_a9b04a0f24be915a6e124106060225a3d"><div class="ttname"><a href="classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d">SVF::CallSite::getVtablePtr</a></div><div class="ttdeci">const SVFValue * getVtablePtr() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01171">SVFValue.h:1171</a></div></div>
1090
- <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a6a5dec067fa2a1babc83f36daa8afcc3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a6a5dec067fa2a1babc83f36daa8afcc3">SVF::PointerAnalysis::connectVCallToVFns</a></div><div class="ttdeci">void connectVCallToVFns(const CallICFGNode *cs, const VFunSet &amp;vfns, CallEdgeMap &amp;newEdges)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00468">PointerAnalysis.cpp:468</a></div></div>
1090
+ <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a6a5dec067fa2a1babc83f36daa8afcc3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a6a5dec067fa2a1babc83f36daa8afcc3">SVF::PointerAnalysis::connectVCallToVFns</a></div><div class="ttdeci">void connectVCallToVFns(const CallICFGNode *cs, const VFunSet &amp;vfns, CallEdgeMap &amp;newEdges)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00469">PointerAnalysis.cpp:469</a></div></div>
1091
1091
  <div class="ttc" id="aclassSVF_1_1TypeAnalysis_html_a8efef079c8b33e2215f92ac3629789e6"><div class="ttname"><a href="classSVF_1_1TypeAnalysis.html#a8efef079c8b33e2215f92ac3629789e6">SVF::TypeAnalysis::finalize</a></div><div class="ttdeci">virtual void finalize()</div><div class="ttdoc">Finalize analysis.</div><div class="ttdef"><b>Definition:</b> <a href="TypeAnalysis_8cpp_source.html#l00062">TypeAnalysis.cpp:62</a></div></div>
1092
1092
  <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
1093
1093
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00114">SVFIR.h:114</a></div></div>
@@ -1109,7 +1109,7 @@ Additional Inherited Members</h2></td></tr>
1109
1109
  <div class="ttc" id="aclassSVF_1_1PTAStat_html_ad6de9d3f25c20705768000c987af0eb6"><div class="ttname"><a href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">SVF::PTAStat::performStat</a></div><div class="ttdeci">void performStat() override</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00043">PTAStat.cpp:43</a></div></div>
1110
1110
  <div class="ttc" id="aclassSVF_1_1CHGraph_html"><div class="ttname"><a href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00215">CHG.h:215</a></div></div>
1111
1111
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a5dfa3f178d4abf37177d0d74ff4c6a97"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">SVF::GenericGraph::const_iterator</a></div><div class="ttdeci">IDToNodeMapTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00360">GenericGraph.h:360</a></div></div>
1112
- <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ade41f3562704d56c7490dcfc941b3437"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ade41f3562704d56c7490dcfc941b3437">SVF::PointerAnalysis::getVFnsFromCHA</a></div><div class="ttdeci">void getVFnsFromCHA(const CallICFGNode *cs, VFunSet &amp;vfns)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00433">PointerAnalysis.cpp:433</a></div></div>
1112
+ <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ade41f3562704d56c7490dcfc941b3437"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ade41f3562704d56c7490dcfc941b3437">SVF::PointerAnalysis::getVFnsFromCHA</a></div><div class="ttdeci">void getVFnsFromCHA(const CallICFGNode *cs, VFunSet &amp;vfns)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00434">PointerAnalysis.cpp:434</a></div></div>
1113
1113
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a999956500bbd605326531480546db9ba"><div class="ttname"><a href="classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba">SVF::ICFG::dump</a></div><div class="ttdeci">void dump(const std::string &amp;file, bool simple=false)</div><div class="ttdoc">Dump graph into dot file.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00443">ICFG.cpp:443</a></div></div>
1114
1114
  <div class="ttc" id="aclassSVF_1_1CHNode_html_a5df1cf4d51bf3406d188c96bc9aae0af"><div class="ttname"><a href="classSVF_1_1CHNode.html#a5df1cf4d51bf3406d188c96bc9aae0af">SVF::CHNode::getVirtualFunctionVectors</a></div><div class="ttdeci">const std::vector&lt; FuncVector &gt; &amp; getVirtualFunctionVectors() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00178">CHG.h:178</a></div></div>
1115
1115
  <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a962cc91e4d68b25ce201072c384d8fc2"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a962cc91e4d68b25ce201072c384d8fc2">SVF::PointerAnalysis::icfg</a></div><div class="ttdeci">ICFG * icfg</div><div class="ttdoc">Interprocedural control-flow graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00156">PointerAnalysis.h:156</a></div></div>
package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html CHANGED
@@ -918,7 +918,7 @@ Additional Inherited Members</h2></td></tr>
918
918
  <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a8029b46bccda153ca2e677686c2655e2"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a8029b46bccda153ca2e677686c2655e2">SVF::UnaryOPStmt::getOpVarID</a></div><div class="ttdeci">NodeID getOpVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00294">SVFStatements.cpp:294</a></div></div>
919
919
  <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a919db9b8c9287c3802f563840b56c4f1"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1">SVF::UnaryOPStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01081">SVFStatements.h:1081</a></div></div>
920
920
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_abb784290c90d26f35897fa15bae277d2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00147">SVFStatements.h:147</a></div></div>
921
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01315">LLVMUtil.cpp:1315</a></div></div>
921
+ <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01385">LLVMUtil.cpp:1385</a></div></div>
922
922
  <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_af29723d5e777b10d53d48263a786f5b6"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6">SVF::UnaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01073">SVFStatements.h:1073</a></div></div>
923
923
  <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00101">GenericGraph.h:101</a></div></div>
924
924
  <!-- start footer part -->
package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html CHANGED
@@ -909,7 +909,7 @@ Private Member Functions</h2></td></tr>
909
909
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
910
910
  <div class="ttc" id="aclassSVF_1_1UnaryOPVFGNode_html_aeb8722a2efdc4bf4e79d65230dc41fd5"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#aeb8722a2efdc4bf4e79d65230dc41fd5">SVF::UnaryOPVFGNode::getOpVerNum</a></div><div class="ttdeci">u32_t getOpVerNum() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00517">VFGNode.h:517</a></div></div>
911
911
  <div class="ttc" id="aclassSVF_1_1UnaryOPVFGNode_html_ae6fdb5759a0dfeb0635ffd758b752dc1"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00471">VFGNode.h:471</a></div></div>
912
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01315">LLVMUtil.cpp:1315</a></div></div>
912
+ <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01385">LLVMUtil.cpp:1385</a></div></div>
913
913
  <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">SVF::VFGNode::UnaryOp</a></div><div class="ttdeci">@ UnaryOp</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
914
914
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00112">SVFVariables.h:112</a></div></div>
915
915
  <div class="ttc" id="aclassSVF_1_1UnaryOPVFGNode_html_ae7947adec032ed072c50cf49f9d12259"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259">SVF::UnaryOPVFGNode::getRes</a></div><div class="ttdeci">const PAGNode * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00508">VFGNode.h:508</a></div></div>