svf-tools 1.0.830 → 1.0.831

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 (353) hide show
  1. package/SVF-doxygen/html/AccessPath_8cpp_source.html +220 -228
  2. package/SVF-doxygen/html/AccessPath_8h_source.html +9 -9
  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/CFLAlias_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/CFLGraphBuilder_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +7 -7
  8. package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/ConsG_8h_source.html +1 -1
  10. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/ContextDDA_8h_source.html +1 -1
  12. package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
  13. package/SVF-doxygen/html/DDAClient_8cpp_source.html +2 -2
  14. package/SVF-doxygen/html/DDAStat_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +4 -4
  16. package/SVF-doxygen/html/FlowDDA_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/FlowDDA_8h_source.html +1 -1
  18. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/IRGraph_8h_source.html +2 -2
  21. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +4 -4
  22. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +364 -397
  23. package/SVF-doxygen/html/LLVMUtil_8h.html +0 -2
  24. package/SVF-doxygen/html/LLVMUtil_8h_source.html +78 -81
  25. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
  26. package/SVF-doxygen/html/MHP_8cpp_source.html +1 -1
  27. package/SVF-doxygen/html/MemRegion_8cpp_source.html +3 -3
  28. package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +4 -4
  30. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +358 -362
  31. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +13 -13
  32. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +5 -5
  33. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +6 -6
  34. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +3 -3
  35. package/SVF-doxygen/html/SVFIR_8cpp_source.html +1 -1
  36. package/SVF-doxygen/html/SVFIR_8h_source.html +1 -1
  37. package/SVF-doxygen/html/SVFStat_8cpp_source.html +12 -12
  38. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
  39. package/SVF-doxygen/html/SVFStatements_8h_source.html +2 -2
  40. package/SVF-doxygen/html/SVFType_8cpp_source.html +38 -39
  41. package/SVF-doxygen/html/SVFType_8h_source.html +5 -5
  42. package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
  43. package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
  44. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
  45. package/SVF-doxygen/html/SVFVariables_8h_source.html +1 -1
  46. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  47. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +1 -1
  49. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +318 -322
  50. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +33 -33
  51. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +1 -1
  52. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  53. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +200 -209
  54. package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  55. package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  56. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  57. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +1 -1
  58. package/SVF-doxygen/html/classSVF_1_1Andersen.html +1 -1
  59. package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +1 -1
  60. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +4 -4
  61. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
  62. package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  63. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
  64. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +3 -3
  65. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +7 -7
  66. package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +1 -1
  67. package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
  68. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
  69. package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
  70. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +2 -2
  71. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
  72. package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
  73. package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
  74. package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
  75. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
  76. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
  77. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  78. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  79. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +2 -2
  80. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +1 -1
  81. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  82. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +1 -1
  83. package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +1 -1
  84. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +2 -2
  85. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +3 -3
  86. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  87. package/SVF-doxygen/html/classSVF_1_1ICFG.html +1 -1
  88. package/SVF-doxygen/html/classSVF_1_1IRGraph.html +2 -2
  89. package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  90. package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  91. package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +1 -1
  92. package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +1 -1
  93. package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  94. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +4 -4
  95. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +1 -1
  96. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
  97. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
  98. package/SVF-doxygen/html/classSVF_1_1MHP.html +1 -1
  99. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +3 -3
  100. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
  101. package/SVF-doxygen/html/classSVF_1_1MemObj.html +121 -121
  102. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +1 -1
  103. package/SVF-doxygen/html/classSVF_1_1ObjTypeInfo.html +28 -28
  104. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +2 -2
  105. package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
  106. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
  107. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +336 -340
  108. package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +1 -1
  109. package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
  110. package/SVF-doxygen/html/classSVF_1_1SVFArrayType.html +4 -4
  111. package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html +4 -4
  112. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +1 -1
  113. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +4 -4
  114. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +6 -6
  115. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +5 -5
  116. package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html +7 -7
  117. package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html +4 -4
  118. package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html +2 -4
  119. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +12 -12
  120. package/SVF-doxygen/html/classSVF_1_1SVFStructType.html +4 -4
  121. package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
  122. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  123. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
  124. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +1 -1
  125. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
  126. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +2 -2
  127. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +103 -107
  128. package/SVF-doxygen/html/classSVF_1_1TCT.html +1 -1
  129. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
  130. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
  131. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +1 -1
  132. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +2 -2
  133. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
  134. package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  135. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  136. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  137. package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +316 -368
  138. package/SVF-doxygen/html/namespacemembers_func_i.html +4 -7
  139. package/SVF-doxygen/html/namespacemembers_i.html +3 -6
  140. package/SVF-doxygen/html/search/all_10.js +324 -324
  141. package/SVF-doxygen/html/search/all_11.js +223 -223
  142. package/SVF-doxygen/html/search/all_12.js +553 -553
  143. package/SVF-doxygen/html/search/all_13.js +192 -192
  144. package/SVF-doxygen/html/search/all_14.js +67 -67
  145. package/SVF-doxygen/html/search/all_15.js +167 -167
  146. package/SVF-doxygen/html/search/all_16.js +63 -63
  147. package/SVF-doxygen/html/search/all_17.js +1 -1
  148. package/SVF-doxygen/html/search/all_18.js +1 -1
  149. package/SVF-doxygen/html/search/all_19.js +11 -11
  150. package/SVF-doxygen/html/search/all_1a.js +172 -172
  151. package/SVF-doxygen/html/search/all_9.js +168 -169
  152. package/SVF-doxygen/html/search/all_a.js +46 -46
  153. package/SVF-doxygen/html/search/all_b.js +26 -26
  154. package/SVF-doxygen/html/search/all_c.js +115 -115
  155. package/SVF-doxygen/html/search/all_d.js +198 -198
  156. package/SVF-doxygen/html/search/all_e.js +207 -207
  157. package/SVF-doxygen/html/search/all_f.js +116 -116
  158. package/SVF-doxygen/html/search/classes_0.js +26 -26
  159. package/SVF-doxygen/html/search/classes_1.js +9 -9
  160. package/SVF-doxygen/html/search/classes_10.js +73 -73
  161. package/SVF-doxygen/html/search/classes_11.js +15 -15
  162. package/SVF-doxygen/html/search/classes_12.js +2 -2
  163. package/SVF-doxygen/html/search/classes_13.js +10 -10
  164. package/SVF-doxygen/html/search/classes_14.js +14 -14
  165. package/SVF-doxygen/html/search/classes_15.js +1 -1
  166. package/SVF-doxygen/html/search/classes_2.js +80 -80
  167. package/SVF-doxygen/html/search/classes_3.js +37 -37
  168. package/SVF-doxygen/html/search/classes_4.js +9 -9
  169. package/SVF-doxygen/html/search/classes_5.js +28 -28
  170. package/SVF-doxygen/html/search/classes_6.js +104 -104
  171. package/SVF-doxygen/html/search/classes_7.js +34 -34
  172. package/SVF-doxygen/html/search/classes_8.js +56 -56
  173. package/SVF-doxygen/html/search/classes_9.js +1 -1
  174. package/SVF-doxygen/html/search/classes_a.js +12 -12
  175. package/SVF-doxygen/html/search/classes_b.js +29 -29
  176. package/SVF-doxygen/html/search/classes_c.js +6 -6
  177. package/SVF-doxygen/html/search/classes_d.js +18 -18
  178. package/SVF-doxygen/html/search/classes_e.js +36 -36
  179. package/SVF-doxygen/html/search/classes_f.js +25 -25
  180. package/SVF-doxygen/html/search/defines_0.js +3 -3
  181. package/SVF-doxygen/html/search/defines_1.js +2 -2
  182. package/SVF-doxygen/html/search/defines_2.js +30 -30
  183. package/SVF-doxygen/html/search/defines_3.js +21 -21
  184. package/SVF-doxygen/html/search/defines_4.js +2 -2
  185. package/SVF-doxygen/html/search/defines_5.js +4 -4
  186. package/SVF-doxygen/html/search/defines_6.js +2 -2
  187. package/SVF-doxygen/html/search/defines_7.js +5 -5
  188. package/SVF-doxygen/html/search/defines_8.js +11 -11
  189. package/SVF-doxygen/html/search/defines_9.js +9 -9
  190. package/SVF-doxygen/html/search/defines_a.js +2 -2
  191. package/SVF-doxygen/html/search/defines_b.js +1 -1
  192. package/SVF-doxygen/html/search/defines_c.js +3 -3
  193. package/SVF-doxygen/html/search/defines_d.js +2 -2
  194. package/SVF-doxygen/html/search/defines_e.js +7 -7
  195. package/SVF-doxygen/html/search/defines_f.js +3 -3
  196. package/SVF-doxygen/html/search/enums_0.js +3 -3
  197. package/SVF-doxygen/html/search/enums_1.js +2 -2
  198. package/SVF-doxygen/html/search/enums_10.js +1 -1
  199. package/SVF-doxygen/html/search/enums_11.js +1 -1
  200. package/SVF-doxygen/html/search/enums_2.js +8 -8
  201. package/SVF-doxygen/html/search/enums_3.js +1 -1
  202. package/SVF-doxygen/html/search/enums_4.js +3 -3
  203. package/SVF-doxygen/html/search/enums_5.js +1 -1
  204. package/SVF-doxygen/html/search/enums_6.js +2 -2
  205. package/SVF-doxygen/html/search/enums_7.js +2 -2
  206. package/SVF-doxygen/html/search/enums_8.js +4 -4
  207. package/SVF-doxygen/html/search/enums_9.js +1 -1
  208. package/SVF-doxygen/html/search/enums_a.js +1 -1
  209. package/SVF-doxygen/html/search/enums_b.js +7 -7
  210. package/SVF-doxygen/html/search/enums_c.js +1 -1
  211. package/SVF-doxygen/html/search/enums_d.js +4 -4
  212. package/SVF-doxygen/html/search/enums_e.js +2 -2
  213. package/SVF-doxygen/html/search/enums_f.js +4 -4
  214. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  215. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  216. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  217. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  218. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  219. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  220. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  221. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  222. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  223. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  224. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  225. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  226. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  227. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  228. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  229. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  230. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  231. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  232. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  233. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  234. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  235. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  236. package/SVF-doxygen/html/search/files_0.js +13 -13
  237. package/SVF-doxygen/html/search/files_1.js +7 -7
  238. package/SVF-doxygen/html/search/files_10.js +8 -8
  239. package/SVF-doxygen/html/search/files_11.js +8 -8
  240. package/SVF-doxygen/html/search/files_12.js +2 -2
  241. package/SVF-doxygen/html/search/files_2.js +55 -55
  242. package/SVF-doxygen/html/search/files_3.js +14 -14
  243. package/SVF-doxygen/html/search/files_4.js +5 -5
  244. package/SVF-doxygen/html/search/files_5.js +13 -13
  245. package/SVF-doxygen/html/search/files_6.js +9 -9
  246. package/SVF-doxygen/html/search/files_7.js +14 -14
  247. package/SVF-doxygen/html/search/files_8.js +13 -13
  248. package/SVF-doxygen/html/search/files_9.js +18 -18
  249. package/SVF-doxygen/html/search/files_a.js +3 -3
  250. package/SVF-doxygen/html/search/files_b.js +2 -2
  251. package/SVF-doxygen/html/search/files_c.js +20 -20
  252. package/SVF-doxygen/html/search/files_d.js +4 -4
  253. package/SVF-doxygen/html/search/files_e.js +62 -62
  254. package/SVF-doxygen/html/search/files_f.js +8 -8
  255. package/SVF-doxygen/html/search/functions_0.js +13 -13
  256. package/SVF-doxygen/html/search/functions_1.js +360 -360
  257. package/SVF-doxygen/html/search/functions_10.js +140 -140
  258. package/SVF-doxygen/html/search/functions_11.js +139 -139
  259. package/SVF-doxygen/html/search/functions_12.js +288 -288
  260. package/SVF-doxygen/html/search/functions_13.js +59 -59
  261. package/SVF-doxygen/html/search/functions_14.js +39 -39
  262. package/SVF-doxygen/html/search/functions_15.js +71 -71
  263. package/SVF-doxygen/html/search/functions_16.js +32 -32
  264. package/SVF-doxygen/html/search/functions_17.js +3 -3
  265. package/SVF-doxygen/html/search/functions_18.js +172 -172
  266. package/SVF-doxygen/html/search/functions_2.js +89 -89
  267. package/SVF-doxygen/html/search/functions_3.js +258 -258
  268. package/SVF-doxygen/html/search/functions_4.js +78 -78
  269. package/SVF-doxygen/html/search/functions_5.js +53 -53
  270. package/SVF-doxygen/html/search/functions_6.js +60 -60
  271. package/SVF-doxygen/html/search/functions_7.js +857 -857
  272. package/SVF-doxygen/html/search/functions_8.js +149 -149
  273. package/SVF-doxygen/html/search/functions_9.js +422 -423
  274. package/SVF-doxygen/html/search/functions_a.js +30 -30
  275. package/SVF-doxygen/html/search/functions_b.js +2 -2
  276. package/SVF-doxygen/html/search/functions_c.js +25 -25
  277. package/SVF-doxygen/html/search/functions_d.js +79 -79
  278. package/SVF-doxygen/html/search/functions_e.js +35 -35
  279. package/SVF-doxygen/html/search/functions_f.js +56 -56
  280. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  281. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  282. package/SVF-doxygen/html/search/related_0.js +2 -2
  283. package/SVF-doxygen/html/search/related_1.js +2 -2
  284. package/SVF-doxygen/html/search/related_2.js +2 -2
  285. package/SVF-doxygen/html/search/related_3.js +2 -2
  286. package/SVF-doxygen/html/search/related_4.js +2 -2
  287. package/SVF-doxygen/html/search/related_5.js +1 -1
  288. package/SVF-doxygen/html/search/related_6.js +2 -2
  289. package/SVF-doxygen/html/search/related_7.js +4 -4
  290. package/SVF-doxygen/html/search/related_8.js +2 -2
  291. package/SVF-doxygen/html/search/related_9.js +4 -4
  292. package/SVF-doxygen/html/search/related_a.js +19 -19
  293. package/SVF-doxygen/html/search/related_b.js +4 -4
  294. package/SVF-doxygen/html/search/related_c.js +2 -2
  295. package/SVF-doxygen/html/search/related_d.js +12 -12
  296. package/SVF-doxygen/html/search/related_e.js +2 -2
  297. package/SVF-doxygen/html/search/related_f.js +2 -2
  298. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  299. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  300. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  301. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  302. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  303. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  304. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  305. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  306. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  307. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  308. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  309. package/SVF-doxygen/html/search/typedefs_6.js +56 -56
  310. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  311. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  312. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  313. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  314. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  315. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  316. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  317. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  318. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  319. package/SVF-doxygen/html/search/variables_0.js +151 -151
  320. package/SVF-doxygen/html/search/variables_1.js +75 -75
  321. package/SVF-doxygen/html/search/variables_10.js +97 -97
  322. package/SVF-doxygen/html/search/variables_11.js +44 -44
  323. package/SVF-doxygen/html/search/variables_12.js +92 -92
  324. package/SVF-doxygen/html/search/variables_13.js +76 -76
  325. package/SVF-doxygen/html/search/variables_14.js +14 -14
  326. package/SVF-doxygen/html/search/variables_15.js +48 -48
  327. package/SVF-doxygen/html/search/variables_16.js +9 -9
  328. package/SVF-doxygen/html/search/variables_17.js +1 -1
  329. package/SVF-doxygen/html/search/variables_18.js +2 -2
  330. package/SVF-doxygen/html/search/variables_2.js +38 -38
  331. package/SVF-doxygen/html/search/variables_3.js +142 -142
  332. package/SVF-doxygen/html/search/variables_4.js +55 -55
  333. package/SVF-doxygen/html/search/variables_5.js +37 -37
  334. package/SVF-doxygen/html/search/variables_6.js +66 -66
  335. package/SVF-doxygen/html/search/variables_7.js +34 -34
  336. package/SVF-doxygen/html/search/variables_8.js +7 -7
  337. package/SVF-doxygen/html/search/variables_9.js +78 -78
  338. package/SVF-doxygen/html/search/variables_a.js +4 -4
  339. package/SVF-doxygen/html/search/variables_b.js +10 -10
  340. package/SVF-doxygen/html/search/variables_c.js +45 -45
  341. package/SVF-doxygen/html/search/variables_d.js +56 -56
  342. package/SVF-doxygen/html/search/variables_e.js +123 -123
  343. package/SVF-doxygen/html/search/variables_f.js +30 -30
  344. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  345. package/SVF-doxygen/html/svf-ex_8cpp.html +1 -1
  346. package/SVF-doxygen/html/svf-ex_8cpp_source.html +1 -1
  347. package/package.json +1 -1
  348. package/svf/lib/MemoryModel/AccessPath.cpp +3 -12
  349. package/svf/lib/MemoryModel/PointerAnalysis.cpp +0 -3
  350. package/svf/lib/SVFIR/SVFType.cpp +1 -2
  351. package/svf/lib/SVFIR/SymbolTableInfo.cpp +1 -5
  352. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +0 -1
  353. package/svf-llvm/lib/LLVMUtil.cpp +0 -31
package/SVF-doxygen/html/classSVF_1_1ObjTypeInfo.html CHANGED
@@ -807,35 +807,35 @@ Friends</h2></td></tr>
807
807
  </div><div class="memdoc">
808
808
  <p>Whether a location set is a pointer type or not </p>
809
809
 
810
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00372">372</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
811
- <div class="fragment"><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160;{</div>
812
- <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>() == <span class="keyword">false</span>)</div>
813
- <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
814
- <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; </div>
815
- <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* ety = <a class="code" href="classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498">type</a>;</div>
816
- <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; </div>
817
- <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordflow">if</span> (SVFUtil::isa&lt;SVFStructType, SVFArrayType&gt;(ety))</div>
818
- <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; {</div>
819
- <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> sz = 0;</div>
820
- <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">Options::ModelArrays</a>())</div>
821
- <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; sz = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">getTypeInfo</a>(ety)-&gt;<a class="code" href="classSVF_1_1StInfo.html#a03bfeee0406c7e54557e74f3a8e848b7">getFlattenElementTypes</a>().size();</div>
822
- <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <span class="keywordflow">else</span></div>
823
- <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; sz = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">getTypeInfo</a>(ety)-&gt;<a class="code" href="classSVF_1_1StInfo.html#ac0a9f85f90524abfd519d3cd2ac95a56">getFlattenFieldTypes</a>().size();</div>
824
- <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; </div>
825
- <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; <span class="keywordflow">if</span>(sz &lt;= (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>) apOffset)</div>
826
- <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; {</div>
827
- <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24">writeWrnMsg</a>(<span class="stringliteral">&quot;out of bound error when accessing the struct/array&quot;</span>);</div>
828
- <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
829
- <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; }</div>
830
- <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; </div>
831
- <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* elemTy = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a806ae865d29c4b05b69c499284758c6f">getFlatternedElemType</a>(ety, apOffset);</div>
832
- <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; <span class="keywordflow">return</span> (elemTy-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() == <span class="keyword">false</span>);</div>
810
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00368">368</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
811
+ <div class="fragment"><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160;{</div>
812
+ <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>() == <span class="keyword">false</span>)</div>
813
+ <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
814
+ <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; </div>
815
+ <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* ety = <a class="code" href="classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498">type</a>;</div>
816
+ <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; </div>
817
+ <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; <span class="keywordflow">if</span> (SVFUtil::isa&lt;SVFStructType, SVFArrayType&gt;(ety))</div>
818
+ <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; {</div>
819
+ <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> sz = 0;</div>
820
+ <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">Options::ModelArrays</a>())</div>
821
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; sz = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">getTypeInfo</a>(ety)-&gt;<a class="code" href="classSVF_1_1StInfo.html#a03bfeee0406c7e54557e74f3a8e848b7">getFlattenElementTypes</a>().size();</div>
822
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="keywordflow">else</span></div>
823
+ <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; sz = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">getTypeInfo</a>(ety)-&gt;<a class="code" href="classSVF_1_1StInfo.html#ac0a9f85f90524abfd519d3cd2ac95a56">getFlattenFieldTypes</a>().size();</div>
824
+ <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; </div>
825
+ <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; <span class="keywordflow">if</span>(sz &lt;= (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>) apOffset)</div>
826
+ <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; {</div>
827
+ <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24">writeWrnMsg</a>(<span class="stringliteral">&quot;out of bound error when accessing the struct/array&quot;</span>);</div>
828
+ <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
829
+ <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; }</div>
830
+ <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; </div>
831
+ <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* elemTy = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a806ae865d29c4b05b69c499284758c6f">getFlatternedElemType</a>(ety, apOffset);</div>
832
+ <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; <span class="keywordflow">return</span> (elemTy-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() == <span class="keyword">false</span>);</div>
833
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; }</div>
834
+ <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; <span class="keywordflow">else</span></div>
835
+ <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; {</div>
836
+ <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>() == <span class="keyword">false</span>);</div>
833
837
  <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; }</div>
834
- <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <span class="keywordflow">else</span></div>
835
- <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; {</div>
836
- <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>() == <span class="keyword">false</span>);</div>
837
- <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; }</div>
838
- <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160;}</div>
838
+ <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160;}</div>
839
839
  </div><!-- fragment -->
840
840
  </div>
841
841
  </div>
package/SVF-doxygen/html/classSVF_1_1ObjVar.html CHANGED
@@ -742,11 +742,11 @@ Additional Inherited Members</h2></td></tr>
742
742
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
743
743
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdeci">@ DummyObjNode</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
744
744
  <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>
745
- <div class="ttc" id="aclassSVF_1_1MemObj_html_a16dbca26cbb5af9be4a0b0aa04325810"><div class="ttname"><a href="classSVF_1_1MemObj.html#a16dbca26cbb5af9be4a0b0aa04325810">SVF::MemObj::getType</a></div><div class="ttdeci">const SVFType * getType() const</div><div class="ttdoc">Get obj type.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00453">SymbolTableInfo.cpp:453</a></div></div>
745
+ <div class="ttc" id="aclassSVF_1_1MemObj_html_a16dbca26cbb5af9be4a0b0aa04325810"><div class="ttname"><a href="classSVF_1_1MemObj.html#a16dbca26cbb5af9be4a0b0aa04325810">SVF::MemObj::getType</a></div><div class="ttdeci">const SVFType * getType() const</div><div class="ttdoc">Get obj type.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00449">SymbolTableInfo.cpp:449</a></div></div>
746
746
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar::FIObjNode</a></div><div class="ttdeci">@ FIObjNode</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
747
747
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11">SVF::SVFVar::ObjNode</a></div><div class="ttdeci">@ ObjNode</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00066">SVFVariables.h:66</a></div></div>
748
748
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">SVF::SVFVar::GepObjNode</a></div><div class="ttdeci">@ GepObjNode</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00070">SVFVariables.h:70</a></div></div>
749
- <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>
749
+ <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#l01354">LLVMUtil.cpp:1354</a></div></div>
750
750
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_aa72b0f34a0b646751a7b2003d6b9f11e"><div class="ttname"><a href="classSVF_1_1SVFVar.html#aa72b0f34a0b646751a7b2003d6b9f11e">SVF::SVFVar::value</a></div><div class="ttdeci">const SVFValue * value</div><div class="ttdoc">value of this SVFIR node</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00078">SVFVariables.h:78</a></div></div>
751
751
  <!-- start footer part -->
752
752
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html CHANGED
@@ -856,7 +856,7 @@ Protected Attributes</h2></td></tr>
856
856
  <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode::TInterPhi</a></div><div class="ttdeci">@ TInterPhi</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
857
857
  <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">SVF::VFGNode::TIntraPhi</a></div><div class="ttdeci">@ TIntraPhi</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
858
858
  <div class="ttc" id="aclassSVF_1_1PHIVFGNode_html_add18c60773871744123d12a037e78e20"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode::opVerEnd</a></div><div class="ttdeci">OPVers::const_iterator opVerEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00678">VFGNode.h:678</a></div></div>
859
- <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>
859
+ <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#l01354">LLVMUtil.cpp:1354</a></div></div>
860
860
  <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">SVF::VFGNode::TPhi</a></div><div class="ttdeci">@ TPhi</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
861
861
  <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>
862
862
  <div class="ttc" id="aclassSVF_1_1PHIVFGNode_html_a08ccd55d0fb6ce33f69959349008daca"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00642">VFGNode.h:642</a></div></div>
package/SVF-doxygen/html/classSVF_1_1PhiStmt.html CHANGED
@@ -825,7 +825,7 @@ Additional Inherited Members</h2></td></tr>
825
825
  <div class="ttc" id="aclassSVF_1_1PhiStmt_html_a0b97394bc1946c0185d2c11fbc2181f4"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a0b97394bc1946c0185d2c11fbc2181f4">SVF::PhiStmt::getOpICFGNode</a></div><div class="ttdeci">const ICFGNode * getOpICFGNode(u32_t op_idx) const</div><div class="ttdoc">Return the corresponding ICFGNode of this operand.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00801">SVFStatements.h:801</a></div></div>
826
826
  <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>
827
827
  <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a00a14ad8f49912b876fd9d729fea4601"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601">SVF::MultiOpndStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdoc">Result SVFVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00717">SVFStatements.h:717</a></div></div>
828
- <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>
828
+ <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#l01354">LLVMUtil.cpp:1354</a></div></div>
829
829
  <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_af300571886b7aa2d84b0a70851c99bc3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">SVF::MultiOpndStmt::getOpVarNum</a></div><div class="ttdeci">u32_t getOpVarNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00725">SVFStatements.h:725</a></div></div>
830
830
  <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00289">SVFStatements.cpp:289</a></div></div>
831
831
  <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a172025849492f4de8f87564ef08f5880"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt::opVars</a></div><div class="ttdeci">OPVars opVars</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00684">SVFStatements.h:684</a></div></div>