svf-tools 1.0.795 → 1.0.796

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 (448) hide show
  1. package/SVF-doxygen/html/AccessPath_8cpp_source.html +167 -161
  2. package/SVF-doxygen/html/AccessPath_8h_source.html +51 -51
  3. package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/AndersenStat_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/AndersenWaveDiff_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/Andersen_8cpp_source.html +6 -6
  7. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +5 -5
  8. package/SVF-doxygen/html/CFLAlias_8h_source.html +3 -3
  9. package/SVF-doxygen/html/CFLBase_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +4 -4
  11. package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +5 -5
  13. package/SVF-doxygen/html/ContextDDA_8h_source.html +2 -2
  14. package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
  15. package/SVF-doxygen/html/DDAClient_8cpp_source.html +5 -5
  16. package/SVF-doxygen/html/DDAPass_8cpp_source.html +2 -2
  17. package/SVF-doxygen/html/DDAPass_8h_source.html +1 -1
  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/FSMPTA_8cpp_source.html +3 -3
  21. package/SVF-doxygen/html/FlowDDA_8cpp_source.html +5 -5
  22. package/SVF-doxygen/html/FlowDDA_8h_source.html +2 -2
  23. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +5 -5
  25. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +2 -2
  26. package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
  27. package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
  28. package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +2 -2
  29. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +10 -10
  30. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +40 -27
  31. package/SVF-doxygen/html/LeakChecker_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +5 -5
  33. package/SVF-doxygen/html/LockAnalysis_8h_source.html +2 -2
  34. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
  35. package/SVF-doxygen/html/MHP_8cpp_source.html +6 -6
  36. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
  37. package/SVF-doxygen/html/MTA_8cpp_source.html +5 -5
  38. package/SVF-doxygen/html/MemRegion_8cpp_source.html +7 -7
  39. package/SVF-doxygen/html/MemRegion_8h_source.html +1 -1
  40. package/SVF-doxygen/html/MemSSA_8cpp_source.html +4 -4
  41. package/SVF-doxygen/html/NodeIDAllocator_8cpp_source.html +2 -2
  42. package/SVF-doxygen/html/PCG_8cpp_source.html +2 -2
  43. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +3 -3
  44. package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +4 -4
  45. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +7 -7
  46. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +1 -1
  47. package/SVF-doxygen/html/ProgSlice_8cpp_source.html +2 -2
  48. package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +6 -6
  49. package/SVF-doxygen/html/SVFFileSystem_8h_source.html +6 -6
  50. package/SVF-doxygen/html/SVFGBuilder_8cpp_source.html +2 -2
  51. package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +2 -2
  52. package/SVF-doxygen/html/SVFGStat_8cpp_source.html +1 -1
  53. package/SVF-doxygen/html/SVFG_8cpp_source.html +2 -2
  54. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +3 -3
  55. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +773 -777
  56. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +20 -20
  57. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +5 -5
  58. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +1 -1
  59. package/SVF-doxygen/html/SVFStat_8cpp_source.html +1 -1
  60. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
  61. package/SVF-doxygen/html/SVFStatements_8h_source.html +5 -5
  62. package/SVF-doxygen/html/SVFType_8cpp.html +2 -2
  63. package/SVF-doxygen/html/SVFType_8cpp_source.html +70 -61
  64. package/SVF-doxygen/html/SVFType_8h.html +23 -23
  65. package/SVF-doxygen/html/SVFType_8h_source.html +401 -378
  66. package/SVF-doxygen/html/SVFUtil_8h_source.html +1 -1
  67. package/SVF-doxygen/html/SVFValue_8cpp_source.html +4 -4
  68. package/SVF-doxygen/html/SVFValue_8h_source.html +3 -3
  69. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +2 -2
  70. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +3 -3
  71. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  72. package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +3 -3
  73. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +5 -5
  74. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +4 -4
  75. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +7 -7
  76. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +1 -1
  77. package/SVF-doxygen/html/TCT_8cpp_source.html +2 -2
  78. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +2 -2
  79. package/SVF-doxygen/html/VFG_8cpp_source.html +2 -2
  80. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  81. package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +1 -1
  82. package/SVF-doxygen/html/WPAPass_8cpp_source.html +4 -4
  83. package/SVF-doxygen/html/WPAPass_8h_source.html +2 -2
  84. package/SVF-doxygen/html/classSVF_1_1AccessPath-members.html +1 -1
  85. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +167 -161
  86. package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  87. package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  88. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  89. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +2 -2
  90. package/SVF-doxygen/html/classSVF_1_1Andersen.html +5 -5
  91. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +2 -2
  92. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
  93. package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +1 -1
  94. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  95. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  96. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
  97. package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  98. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
  99. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +7 -7
  100. package/SVF-doxygen/html/classSVF_1_1CFLBase.html +1 -1
  101. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +4 -4
  102. package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +1 -1
  103. package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
  104. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
  105. package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
  106. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +3 -3
  107. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +5 -5
  108. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
  109. package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
  110. package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
  111. package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
  112. package/SVF-doxygen/html/classSVF_1_1DDAClient.html +3 -3
  113. package/SVF-doxygen/html/classSVF_1_1DDAPass.html +1 -1
  114. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
  115. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +4 -4
  116. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  117. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  118. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +5 -5
  119. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +5 -5
  120. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  121. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +3 -3
  122. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
  123. package/SVF-doxygen/html/classSVF_1_1GepStmt-members.html +1 -1
  124. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +9 -10
  125. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  126. package/SVF-doxygen/html/classSVF_1_1ICFG.html +1 -1
  127. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +2 -2
  128. package/SVF-doxygen/html/classSVF_1_1IRGraph.html +2 -2
  129. package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  130. package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  131. package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +1 -1
  132. package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +1 -1
  133. package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  134. package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +2 -2
  135. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +10 -10
  136. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +2 -2
  137. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
  138. package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +5 -5
  139. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
  140. package/SVF-doxygen/html/classSVF_1_1MHP.html +6 -6
  141. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +6 -6
  142. package/SVF-doxygen/html/classSVF_1_1MTA.html +5 -5
  143. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
  144. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
  145. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +3 -3
  146. package/SVF-doxygen/html/classSVF_1_1MemObj.html +1 -1
  147. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +4 -4
  148. package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +1 -1
  149. package/SVF-doxygen/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
  150. package/SVF-doxygen/html/classSVF_1_1ObjTypeInfo.html +1 -1
  151. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
  152. package/SVF-doxygen/html/classSVF_1_1PCG.html +2 -2
  153. package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
  154. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
  155. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +7 -7
  156. package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +2 -2
  157. package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +1 -1
  158. package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
  159. package/SVF-doxygen/html/classSVF_1_1SVFArrayType-members.html +11 -7
  160. package/SVF-doxygen/html/classSVF_1_1SVFArrayType.html +65 -27
  161. package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +1 -1
  162. package/SVF-doxygen/html/classSVF_1_1SVFFunctionType-members.html +30 -27
  163. package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html +28 -22
  164. package/SVF-doxygen/html/classSVF_1_1SVFG.html +2 -2
  165. package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.html +2 -2
  166. package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +2 -2
  167. package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +1 -1
  168. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +2 -2
  169. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +2 -2
  170. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +749 -769
  171. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +6 -6
  172. package/SVF-doxygen/html/classSVF_1_1SVFIntegerType-members.html +30 -27
  173. package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html +32 -26
  174. package/SVF-doxygen/html/classSVF_1_1SVFOtherType-members.html +32 -29
  175. package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html +33 -27
  176. package/SVF-doxygen/html/classSVF_1_1SVFPointerType-members.html +30 -27
  177. package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html +28 -22
  178. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
  179. package/SVF-doxygen/html/classSVF_1_1SVFStructType-members.html +32 -29
  180. package/SVF-doxygen/html/classSVF_1_1SVFStructType.html +33 -27
  181. package/SVF-doxygen/html/classSVF_1_1SVFType-members.html +27 -24
  182. package/SVF-doxygen/html/classSVF_1_1SVFType.html +120 -23
  183. package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
  184. package/SVF-doxygen/html/classSVF_1_1SVFVar.html +1 -1
  185. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +3 -3
  186. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  187. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
  188. package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +3 -3
  189. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +5 -5
  190. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
  191. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +4 -4
  192. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +5 -5
  193. package/SVF-doxygen/html/classSVF_1_1TCT.html +3 -3
  194. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
  195. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
  196. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +2 -2
  197. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
  198. package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  199. package/SVF-doxygen/html/classSVF_1_1VFG.html +2 -2
  200. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  201. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +1 -1
  202. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  203. package/SVF-doxygen/html/classSVF_1_1WPAPass.html +3 -3
  204. package/SVF-doxygen/html/functions_a.html +1 -1
  205. package/SVF-doxygen/html/functions_c.html +1 -1
  206. package/SVF-doxygen/html/functions_func.html +1 -1
  207. package/SVF-doxygen/html/functions_func_c.html +1 -1
  208. package/SVF-doxygen/html/functions_func_g.html +24 -18
  209. package/SVF-doxygen/html/functions_func_i.html +17 -11
  210. package/SVF-doxygen/html/functions_g.html +25 -19
  211. package/SVF-doxygen/html/functions_i.html +16 -10
  212. package/SVF-doxygen/html/functions_p.html +19 -23
  213. package/SVF-doxygen/html/functions_r.html +5 -5
  214. package/SVF-doxygen/html/functions_s.html +14 -12
  215. package/SVF-doxygen/html/functions_t.html +7 -7
  216. package/SVF-doxygen/html/functions_v.html +3 -3
  217. package/SVF-doxygen/html/globals_func_t.html +3 -0
  218. package/SVF-doxygen/html/globals_t.html +3 -0
  219. package/SVF-doxygen/html/namespaceSVF.html +45 -36
  220. package/SVF-doxygen/html/namespacemembers.html +1 -1
  221. package/SVF-doxygen/html/namespacemembers_func.html +1 -1
  222. package/SVF-doxygen/html/search/all_0.js +1 -1
  223. package/SVF-doxygen/html/search/all_1.js +1 -1
  224. package/SVF-doxygen/html/search/all_10.js +324 -324
  225. package/SVF-doxygen/html/search/all_11.js +224 -224
  226. package/SVF-doxygen/html/search/all_12.js +541 -541
  227. package/SVF-doxygen/html/search/all_13.js +191 -190
  228. package/SVF-doxygen/html/search/all_14.js +67 -67
  229. package/SVF-doxygen/html/search/all_15.js +170 -170
  230. package/SVF-doxygen/html/search/all_16.js +63 -63
  231. package/SVF-doxygen/html/search/all_17.js +1 -1
  232. package/SVF-doxygen/html/search/all_18.js +1 -1
  233. package/SVF-doxygen/html/search/all_19.js +11 -11
  234. package/SVF-doxygen/html/search/all_1a.js +172 -172
  235. package/SVF-doxygen/html/search/all_3.js +1 -1
  236. package/SVF-doxygen/html/search/all_7.js +457 -455
  237. package/SVF-doxygen/html/search/all_8.js +194 -194
  238. package/SVF-doxygen/html/search/all_9.js +610 -608
  239. package/SVF-doxygen/html/search/all_a.js +46 -46
  240. package/SVF-doxygen/html/search/all_b.js +26 -26
  241. package/SVF-doxygen/html/search/all_c.js +116 -116
  242. package/SVF-doxygen/html/search/all_d.js +196 -196
  243. package/SVF-doxygen/html/search/all_e.js +207 -207
  244. package/SVF-doxygen/html/search/all_f.js +116 -116
  245. package/SVF-doxygen/html/search/classes_0.js +26 -26
  246. package/SVF-doxygen/html/search/classes_1.js +9 -9
  247. package/SVF-doxygen/html/search/classes_10.js +73 -73
  248. package/SVF-doxygen/html/search/classes_11.js +15 -15
  249. package/SVF-doxygen/html/search/classes_12.js +2 -2
  250. package/SVF-doxygen/html/search/classes_13.js +10 -10
  251. package/SVF-doxygen/html/search/classes_14.js +14 -14
  252. package/SVF-doxygen/html/search/classes_15.js +1 -1
  253. package/SVF-doxygen/html/search/classes_2.js +80 -80
  254. package/SVF-doxygen/html/search/classes_3.js +37 -37
  255. package/SVF-doxygen/html/search/classes_4.js +9 -9
  256. package/SVF-doxygen/html/search/classes_5.js +28 -28
  257. package/SVF-doxygen/html/search/classes_6.js +104 -104
  258. package/SVF-doxygen/html/search/classes_7.js +33 -33
  259. package/SVF-doxygen/html/search/classes_8.js +56 -56
  260. package/SVF-doxygen/html/search/classes_9.js +1 -1
  261. package/SVF-doxygen/html/search/classes_a.js +12 -12
  262. package/SVF-doxygen/html/search/classes_b.js +29 -29
  263. package/SVF-doxygen/html/search/classes_c.js +6 -6
  264. package/SVF-doxygen/html/search/classes_d.js +18 -18
  265. package/SVF-doxygen/html/search/classes_e.js +36 -36
  266. package/SVF-doxygen/html/search/classes_f.js +25 -25
  267. package/SVF-doxygen/html/search/defines_0.js +3 -3
  268. package/SVF-doxygen/html/search/defines_1.js +2 -2
  269. package/SVF-doxygen/html/search/defines_2.js +30 -30
  270. package/SVF-doxygen/html/search/defines_3.js +21 -21
  271. package/SVF-doxygen/html/search/defines_4.js +2 -2
  272. package/SVF-doxygen/html/search/defines_5.js +4 -4
  273. package/SVF-doxygen/html/search/defines_6.js +2 -2
  274. package/SVF-doxygen/html/search/defines_7.js +5 -5
  275. package/SVF-doxygen/html/search/defines_8.js +11 -11
  276. package/SVF-doxygen/html/search/defines_9.js +9 -9
  277. package/SVF-doxygen/html/search/defines_a.js +2 -2
  278. package/SVF-doxygen/html/search/defines_b.js +1 -1
  279. package/SVF-doxygen/html/search/defines_c.js +3 -3
  280. package/SVF-doxygen/html/search/defines_d.js +2 -2
  281. package/SVF-doxygen/html/search/defines_e.js +7 -7
  282. package/SVF-doxygen/html/search/defines_f.js +3 -3
  283. package/SVF-doxygen/html/search/enums_0.js +3 -3
  284. package/SVF-doxygen/html/search/enums_1.js +2 -2
  285. package/SVF-doxygen/html/search/enums_10.js +1 -1
  286. package/SVF-doxygen/html/search/enums_11.js +1 -1
  287. package/SVF-doxygen/html/search/enums_2.js +8 -8
  288. package/SVF-doxygen/html/search/enums_3.js +1 -1
  289. package/SVF-doxygen/html/search/enums_4.js +3 -3
  290. package/SVF-doxygen/html/search/enums_5.js +1 -1
  291. package/SVF-doxygen/html/search/enums_6.js +2 -2
  292. package/SVF-doxygen/html/search/enums_7.js +2 -2
  293. package/SVF-doxygen/html/search/enums_8.js +4 -4
  294. package/SVF-doxygen/html/search/enums_9.js +1 -1
  295. package/SVF-doxygen/html/search/enums_a.js +1 -1
  296. package/SVF-doxygen/html/search/enums_b.js +7 -7
  297. package/SVF-doxygen/html/search/enums_c.js +1 -1
  298. package/SVF-doxygen/html/search/enums_d.js +4 -4
  299. package/SVF-doxygen/html/search/enums_e.js +2 -2
  300. package/SVF-doxygen/html/search/enums_f.js +4 -4
  301. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  302. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  303. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  304. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  305. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  306. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  307. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  308. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  309. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  310. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  311. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  312. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  313. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  314. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  315. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  316. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  317. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  318. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  319. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  320. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  321. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  322. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  323. package/SVF-doxygen/html/search/files_0.js +13 -13
  324. package/SVF-doxygen/html/search/files_1.js +7 -7
  325. package/SVF-doxygen/html/search/files_10.js +8 -8
  326. package/SVF-doxygen/html/search/files_11.js +8 -8
  327. package/SVF-doxygen/html/search/files_12.js +2 -2
  328. package/SVF-doxygen/html/search/files_2.js +55 -55
  329. package/SVF-doxygen/html/search/files_3.js +14 -14
  330. package/SVF-doxygen/html/search/files_4.js +5 -5
  331. package/SVF-doxygen/html/search/files_5.js +13 -13
  332. package/SVF-doxygen/html/search/files_6.js +9 -9
  333. package/SVF-doxygen/html/search/files_7.js +14 -14
  334. package/SVF-doxygen/html/search/files_8.js +13 -13
  335. package/SVF-doxygen/html/search/files_9.js +18 -18
  336. package/SVF-doxygen/html/search/files_a.js +3 -3
  337. package/SVF-doxygen/html/search/files_b.js +2 -2
  338. package/SVF-doxygen/html/search/files_c.js +20 -20
  339. package/SVF-doxygen/html/search/files_d.js +4 -4
  340. package/SVF-doxygen/html/search/files_e.js +62 -62
  341. package/SVF-doxygen/html/search/files_f.js +8 -8
  342. package/SVF-doxygen/html/search/functions_0.js +12 -12
  343. package/SVF-doxygen/html/search/functions_1.js +359 -359
  344. package/SVF-doxygen/html/search/functions_10.js +140 -140
  345. package/SVF-doxygen/html/search/functions_11.js +138 -138
  346. package/SVF-doxygen/html/search/functions_12.js +276 -276
  347. package/SVF-doxygen/html/search/functions_13.js +59 -58
  348. package/SVF-doxygen/html/search/functions_14.js +39 -39
  349. package/SVF-doxygen/html/search/functions_15.js +71 -71
  350. package/SVF-doxygen/html/search/functions_16.js +32 -32
  351. package/SVF-doxygen/html/search/functions_17.js +3 -3
  352. package/SVF-doxygen/html/search/functions_18.js +172 -172
  353. package/SVF-doxygen/html/search/functions_2.js +86 -86
  354. package/SVF-doxygen/html/search/functions_3.js +257 -257
  355. package/SVF-doxygen/html/search/functions_4.js +75 -75
  356. package/SVF-doxygen/html/search/functions_5.js +53 -53
  357. package/SVF-doxygen/html/search/functions_6.js +59 -59
  358. package/SVF-doxygen/html/search/functions_7.js +851 -849
  359. package/SVF-doxygen/html/search/functions_8.js +146 -146
  360. package/SVF-doxygen/html/search/functions_9.js +428 -426
  361. package/SVF-doxygen/html/search/functions_a.js +30 -30
  362. package/SVF-doxygen/html/search/functions_b.js +2 -2
  363. package/SVF-doxygen/html/search/functions_c.js +26 -26
  364. package/SVF-doxygen/html/search/functions_d.js +77 -77
  365. package/SVF-doxygen/html/search/functions_e.js +35 -35
  366. package/SVF-doxygen/html/search/functions_f.js +56 -56
  367. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  368. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  369. package/SVF-doxygen/html/search/related_0.js +2 -2
  370. package/SVF-doxygen/html/search/related_1.js +2 -2
  371. package/SVF-doxygen/html/search/related_2.js +2 -2
  372. package/SVF-doxygen/html/search/related_3.js +2 -2
  373. package/SVF-doxygen/html/search/related_4.js +2 -2
  374. package/SVF-doxygen/html/search/related_5.js +1 -1
  375. package/SVF-doxygen/html/search/related_6.js +2 -2
  376. package/SVF-doxygen/html/search/related_7.js +4 -4
  377. package/SVF-doxygen/html/search/related_8.js +2 -2
  378. package/SVF-doxygen/html/search/related_9.js +4 -4
  379. package/SVF-doxygen/html/search/related_a.js +19 -19
  380. package/SVF-doxygen/html/search/related_b.js +4 -4
  381. package/SVF-doxygen/html/search/related_c.js +1 -1
  382. package/SVF-doxygen/html/search/related_d.js +11 -11
  383. package/SVF-doxygen/html/search/related_e.js +2 -2
  384. package/SVF-doxygen/html/search/related_f.js +2 -2
  385. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  386. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  387. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  388. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  389. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  390. package/SVF-doxygen/html/search/typedefs_13.js +35 -35
  391. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  392. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  393. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  394. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  395. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  396. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  397. package/SVF-doxygen/html/search/typedefs_7.js +42 -42
  398. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  399. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  400. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  401. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  402. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  403. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  404. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  405. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  406. package/SVF-doxygen/html/search/variables_0.js +151 -151
  407. package/SVF-doxygen/html/search/variables_1.js +75 -75
  408. package/SVF-doxygen/html/search/variables_10.js +97 -97
  409. package/SVF-doxygen/html/search/variables_11.js +46 -46
  410. package/SVF-doxygen/html/search/variables_12.js +92 -92
  411. package/SVF-doxygen/html/search/variables_13.js +75 -75
  412. package/SVF-doxygen/html/search/variables_14.js +14 -14
  413. package/SVF-doxygen/html/search/variables_15.js +48 -48
  414. package/SVF-doxygen/html/search/variables_16.js +9 -9
  415. package/SVF-doxygen/html/search/variables_17.js +1 -1
  416. package/SVF-doxygen/html/search/variables_18.js +2 -2
  417. package/SVF-doxygen/html/search/variables_2.js +37 -37
  418. package/SVF-doxygen/html/search/variables_3.js +142 -142
  419. package/SVF-doxygen/html/search/variables_4.js +55 -55
  420. package/SVF-doxygen/html/search/variables_5.js +39 -39
  421. package/SVF-doxygen/html/search/variables_6.js +66 -66
  422. package/SVF-doxygen/html/search/variables_7.js +33 -33
  423. package/SVF-doxygen/html/search/variables_8.js +7 -7
  424. package/SVF-doxygen/html/search/variables_9.js +77 -77
  425. package/SVF-doxygen/html/search/variables_a.js +4 -4
  426. package/SVF-doxygen/html/search/variables_b.js +10 -10
  427. package/SVF-doxygen/html/search/variables_c.js +45 -45
  428. package/SVF-doxygen/html/search/variables_d.js +56 -56
  429. package/SVF-doxygen/html/search/variables_e.js +123 -123
  430. package/SVF-doxygen/html/search/variables_f.js +30 -30
  431. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  432. package/SVF-doxygen/html/structSVF_1_1Hash_3_01NodePair_01_4.html +11 -11
  433. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +8 -8
  434. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +11 -11
  435. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +7 -7
  436. package/SVF-doxygen/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +14 -14
  437. package/SVF-doxygen/html/svf-ex_8cpp.html +235 -125
  438. package/SVF-doxygen/html/svf-ex_8cpp_source.html +234 -144
  439. package/package.json +1 -1
  440. package/svf/include/AbstractExecution/SVFIR2ItvExeState.h +5 -5
  441. package/svf/include/MemoryModel/AccessPath.h +24 -6
  442. package/svf/include/SVFIR/SVFStatements.h +2 -2
  443. package/svf/include/SVFIR/SVFType.h +19 -0
  444. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +16 -21
  445. package/svf/lib/MemoryModel/AccessPath.cpp +15 -14
  446. package/svf/lib/SVFIR/SVFType.cpp +7 -0
  447. package/svf-llvm/lib/LLVMUtil.cpp +10 -0
  448. package/svf-llvm/tools/Example/svf-ex.cpp +65 -0
package/SVF-doxygen/html/functions_func_g.html CHANGED
@@ -380,7 +380,7 @@ $(function() {
380
380
  : <a class="el" href="classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43">SVF::CondPTAImpl&lt; Cond &gt;</a>
381
381
  </li>
382
382
  <li>getBytefromGepTypePair()
383
- : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2f0fe665f2153115be84a143633b6b3b">SVF::SVFIR2ItvExeState</a>
383
+ : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aab58bfb31793026bc54b8996371e90f4">SVF::SVFIR2ItvExeState</a>
384
384
  </li>
385
385
  <li>getCachedADPointsTo()
386
386
  : <a class="el" href="classSVF_1_1DDAVFSolver.html#a2a2b3783074c9f509fc265b97b979704">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -1272,7 +1272,7 @@ $(function() {
1272
1272
  : <a class="el" href="classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a">SVF::MemSSA</a>
1273
1273
  </li>
1274
1274
  <li>getGepByteOffset()
1275
- : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a24f009ea362c4acf1cfa44d4dd80ef8b">SVF::SVFIR2ItvExeState</a>
1275
+ : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ae7d4ea045ddf4d49230065ff3bf07f61">SVF::SVFIR2ItvExeState</a>
1276
1276
  </li>
1277
1277
  <li>getGepInEdges()
1278
1278
  : <a class="el" href="classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5">SVF::ConstraintNode</a>
@@ -1566,6 +1566,9 @@ $(function() {
1566
1566
  <li>getLHSVarID()
1567
1567
  : <a class="el" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt</a>
1568
1568
  </li>
1569
+ <li>getLLVMByteSize()
1570
+ : <a class="el" href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">SVF::SVFType</a>
1571
+ </li>
1569
1572
  <li>getLLVMGlobalFunctions()
1570
1573
  : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a0b46a2a5ff2165d17993a071d9cc82c1">SVF::LLVMModuleSet</a>
1571
1574
  </li>
@@ -1712,7 +1715,7 @@ $(function() {
1712
1715
  </li>
1713
1716
  <li>getModRefInfo()
1714
1717
  : <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
1715
- , <a class="el" href="classSVF_1_1WPAPass.html#af402037fa1a5cffee0db9b97f49d3473">SVF::WPAPass</a>
1718
+ , <a class="el" href="classSVF_1_1WPAPass.html#a2e9bdaf8789eed5af34cc70e7eb0ba01">SVF::WPAPass</a>
1716
1719
  </li>
1717
1720
  <li>getModSideEffectOfCallSite()
1718
1721
  : <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -2058,7 +2061,7 @@ $(function() {
2058
2061
  , <a class="el" href="classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f">SVF::RaceResultValidator</a>
2059
2062
  </li>
2060
2063
  <li>getOutputforInterlevAnalysis()
2061
- : <a class="el" href="classSVF_1_1MTAResultValidator.html#a9f7c30f6bb29630101b034009f7d944c">SVF::MTAResultValidator</a>
2064
+ : <a class="el" href="classSVF_1_1MTAResultValidator.html#ac24a8a6922d9dc9edecab3bc45bc9204">SVF::MTAResultValidator</a>
2062
2065
  </li>
2063
2066
  <li>getPAG()
2064
2067
  : <a class="el" href="classSVF_1_1FSMPTA.html#ad93ee6450a9eb498369bf63acc9f6578">SVF::FSMPTA</a>
@@ -2147,7 +2150,7 @@ $(function() {
2147
2150
  : <a class="el" href="classSVF_1_1WriterPtrPool.html#a5df00a28f394187fee526a96a4065a78">SVF::WriterPtrPool&lt; T &gt;</a>
2148
2151
  </li>
2149
2152
  <li>getPostDomTreeMap()
2150
- : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#ad07f95e790b5c3a50c864155aa20a083">SVF::SVFLoopAndDomInfo</a>
2153
+ : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a6b87fa0530b6d94f201a0989b35c2277">SVF::SVFLoopAndDomInfo</a>
2151
2154
  </li>
2152
2155
  <li>getPredecessors()
2153
2156
  : <a class="el" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">SVF::SVFBasicBlock</a>
@@ -2156,7 +2159,7 @@ $(function() {
2156
2159
  : <a class="el" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt</a>
2157
2160
  </li>
2158
2161
  <li>getPredInstructions()
2159
- : <a class="el" href="classSVF_1_1SVFInstruction.html#acc18d048b6f6b07bf1786980bb2d74f8">SVF::SVFInstruction</a>
2162
+ : <a class="el" href="classSVF_1_1SVFInstruction.html#a51c967b9e808b077562fbf25a04bafdc">SVF::SVFInstruction</a>
2160
2163
  </li>
2161
2164
  <li>getPredMap()
2162
2165
  : <a class="el" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">SVF::POCRSolver</a>
@@ -2166,7 +2169,7 @@ $(function() {
2166
2169
  </li>
2167
2170
  <li>getPreviousMemoryAccessInst()
2168
2171
  : <a class="el" href="classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6">SVF::LockResultValidator</a>
2169
- , <a class="el" href="classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e">SVF::MTAResultValidator</a>
2172
+ , <a class="el" href="classSVF_1_1MTAResultValidator.html#a2ddf3189b3f90986752282b1c6bd003d">SVF::MTAResultValidator</a>
2170
2173
  , <a class="el" href="classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114">SVF::RaceResultValidator</a>
2171
2174
  </li>
2172
2175
  <li>getPrevNodes()
@@ -2239,12 +2242,12 @@ $(function() {
2239
2242
  , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
2240
2243
  , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab1246073bd0e0395528f8ec53281e315">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
2241
2244
  , <a class="el" href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
2242
- , <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#abcfcbbb3fab89b89168409c1f714e1ed">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
2245
+ , <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ae705d46ac78d39f0779c0bf05e39f8b3">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
2243
2246
  , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
2244
2247
  , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
2245
2248
  , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
2246
2249
  , <a class="el" href="classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
2247
- , <a class="el" href="classSVF_1_1WPAPass.html#a4d27be04d38089e86b8b6a1d22e9d8f8">SVF::WPAPass</a>
2250
+ , <a class="el" href="classSVF_1_1WPAPass.html#ab4680948b690b4e04d19a133d825b849">SVF::WPAPass</a>
2248
2251
  </li>
2249
2252
  <li>getPtsMap()
2250
2253
  : <a class="el" href="classSVF_1_1CondPTAImpl.html#a979486e35b529fbc62b2974899627113">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -2320,7 +2323,7 @@ $(function() {
2320
2323
  , <a class="el" href="classSVF_1_1ICFGBuilder.html#a31a2810fe664f45da147f4bd0a0410d6">SVF::ICFGBuilder</a>
2321
2324
  </li>
2322
2325
  <li>getRetParmAtJoinedSite()
2323
- : <a class="el" href="classSVF_1_1ThreadAPI.html#a24e1734230ec053c218d4d4774b9bfd0">SVF::ThreadAPI</a>
2326
+ : <a class="el" href="classSVF_1_1ThreadAPI.html#acbd4d2403cc9ebb01b82844d8c4eeb54">SVF::ThreadAPI</a>
2324
2327
  </li>
2325
2328
  <li>getRetPE()
2326
2329
  : <a class="el" href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">SVF::RetCFGEdge</a>
@@ -2352,7 +2355,7 @@ $(function() {
2352
2355
  <li>getRevPts()
2353
2356
  : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa30608bc36dcfde45c896d4a15a08ca1">SVF::BVDataPTAImpl</a>
2354
2357
  , <a class="el" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">SVF::CFLAlias</a>
2355
- , <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
2358
+ , <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
2356
2359
  , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
2357
2360
  , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
2358
2361
  , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2508,7 +2511,7 @@ $(function() {
2508
2511
  </li>
2509
2512
  <li>getStringArg()
2510
2513
  : <a class="el" href="classSVF_1_1LockResultValidator.html#a1b1b841451fe51cb58417e864a28cbfc">SVF::LockResultValidator</a>
2511
- , <a class="el" href="classSVF_1_1MTAResultValidator.html#a1ac51d2847f9bdee27092ab22211bb61">SVF::MTAResultValidator</a>
2514
+ , <a class="el" href="classSVF_1_1MTAResultValidator.html#a75057911bf08c167ead4232c4a2b25f4">SVF::MTAResultValidator</a>
2512
2515
  </li>
2513
2516
  <li>getStrongUpdateStores()
2514
2517
  : <a class="el" href="classSVF_1_1DDAStat.html#a26b018fc5677e33876bee1200c270e60">SVF::DDAStat</a>
@@ -2533,7 +2536,7 @@ $(function() {
2533
2536
  , <a class="el" href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock</a>
2534
2537
  </li>
2535
2538
  <li>getSuccInstructions()
2536
- : <a class="el" href="classSVF_1_1SVFInstruction.html#a6364671e823166d1192bf791a8dd412b">SVF::SVFInstruction</a>
2539
+ : <a class="el" href="classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f">SVF::SVFInstruction</a>
2537
2540
  </li>
2538
2541
  <li>getSuccMap()
2539
2542
  : <a class="el" href="classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a">SVF::POCRSolver</a>
@@ -2557,7 +2560,7 @@ $(function() {
2557
2560
  : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">SVF::LLVMModuleSet</a>
2558
2561
  </li>
2559
2562
  <li>getSVFFunction()
2560
- : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a6ff4127e778810f613e594782643ad22">SVF::LLVMModuleSet</a>
2563
+ : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet</a>
2561
2564
  , <a class="el" href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">SVF::SVFModule</a>
2562
2565
  </li>
2563
2566
  <li>getSVFG()
@@ -2648,10 +2651,10 @@ $(function() {
2648
2651
  : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a4fb40a0bed7cad99e9be5480455a6a71">SVF::CFBasicBlockGWTO</a>
2649
2652
  </li>
2650
2653
  <li>getTaskDataAtHareParForSite()
2651
- : <a class="el" href="classSVF_1_1ThreadAPI.html#a34ea034a2bd7b7cb51317ed441ca5b38">SVF::ThreadAPI</a>
2654
+ : <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
2652
2655
  </li>
2653
2656
  <li>getTaskFuncAtHareParForSite()
2654
- : <a class="el" href="classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
2657
+ : <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
2655
2658
  </li>
2656
2659
  <li>getTCG()
2657
2660
  : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2742,12 +2745,15 @@ $(function() {
2742
2745
  : <a class="el" href="classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066">SVF::DCHNode</a>
2743
2746
  </li>
2744
2747
  <li>getTypeInfo()
2745
- : <a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">SVF::SVFType</a>
2748
+ : <a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">SVF::SVFType</a>
2746
2749
  , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">SVF::SymbolTableInfo</a>
2747
2750
  </li>
2748
2751
  <li>getTypeLocSetsMap()
2749
2752
  : <a class="el" href="classSVF_1_1SVFIR.html#adb6db6407bdc9a39e5bf8cd941f0ad15">SVF::SVFIR</a>
2750
2753
  </li>
2754
+ <li>getTypeOfElement()
2755
+ : <a class="el" href="classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759">SVF::SVFArrayType</a>
2756
+ </li>
2751
2757
  <li>getTypeSystem()
2752
2758
  : <a class="el" href="classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe">SVF::PointerAnalysis</a>
2753
2759
  </li>
@@ -2911,7 +2917,7 @@ $(function() {
2911
2917
  : <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
2912
2918
  </li>
2913
2919
  <li>global_end()
2914
- : <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
2920
+ : <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
2915
2921
  </li>
2916
2922
  <li>GlobalICFGNode()
2917
2923
  : <a class="el" href="classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7">SVF::GlobalICFGNode</a>
package/SVF-doxygen/html/functions_func_i.html CHANGED
@@ -545,6 +545,9 @@ $(function() {
545
545
  <li>isArrayMemObj()
546
546
  : <a class="el" href="classSVF_1_1PointerAnalysis.html#a89dfeedf8e3e91603a1e9c73e3608a73">SVF::PointerAnalysis</a>
547
547
  </li>
548
+ <li>isArrayTy()
549
+ : <a class="el" href="classSVF_1_1SVFType.html#a330084f9a3deb6e5acb52a8ee3eb7fe4">SVF::SVFType</a>
550
+ </li>
548
551
  <li>isBackICFGEdge()
549
552
  : <a class="el" href="classSVF_1_1SVFLoop.html#a7283685960ed98e1a292e3f688d9aa2b">SVF::SVFLoop</a>
550
553
  </li>
@@ -690,7 +693,7 @@ $(function() {
690
693
  , <a class="el" href="classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71">SVF::SaberCondAllocator</a>
691
694
  </li>
692
695
  <li>isFClose()
693
- : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
696
+ : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a534bfe077af19b111c1b7bc3c5a065e6">SVF::SaberCheckerAPI</a>
694
697
  </li>
695
698
  <li>isFieldInsenCondMemObj()
696
699
  : <a class="el" href="classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -764,7 +767,7 @@ $(function() {
764
767
  : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ade2b2aa77bba3781ab921d5c36eb881b">SVF::CFBasicBlockGWTO</a>
765
768
  </li>
766
769
  <li>isHeadofSpan()
767
- : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5c32c2f5038aab15ec2da50c7c99b405">SVF::MTASVFGBuilder</a>
770
+ : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ad0c3ea19875191721cd466fe85b91a8c">SVF::MTASVFGBuilder</a>
768
771
  </li>
769
772
  <li>isHeap()
770
773
  : <a class="el" href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">SVF::MemObj</a>
@@ -824,7 +827,7 @@ $(function() {
824
827
  : <a class="el" href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">SVF::CxtThread</a>
825
828
  </li>
826
829
  <li>isInLoop()
827
- : <a class="el" href="classSVF_1_1ICFG.html#ac0600b9ff2521ec2b205dc35c276397d">SVF::ICFG</a>
830
+ : <a class="el" href="classSVF_1_1ICFG.html#ae115e70bf53f25c0ca6b1f22acccf5b5">SVF::ICFG</a>
828
831
  , <a class="el" href="classSVF_1_1SVFLoop.html#af2433fcc43f4e22fdf97ca2672a5dfa3">SVF::SVFLoop</a>
829
832
  </li>
830
833
  <li>isInloop()
@@ -841,7 +844,7 @@ $(function() {
841
844
  : <a class="el" href="classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e">SVF::LockAnalysis</a>
842
845
  </li>
843
846
  <li>isInSameCSSpan()
844
- : <a class="el" href="classSVF_1_1LockAnalysis.html#a1c23ab16b5c7ab5bb482a5828e615bbb">SVF::LockAnalysis</a>
847
+ : <a class="el" href="classSVF_1_1LockAnalysis.html#a8595b976bf60d161561e5494257aa179">SVF::LockAnalysis</a>
845
848
  </li>
846
849
  <li>isInSameSpan()
847
850
  : <a class="el" href="classSVF_1_1LockAnalysis.html#a1c1b63a8bd7449ebeb2c31b0532e9337">SVF::LockAnalysis</a>
@@ -914,13 +917,13 @@ $(function() {
914
917
  : <a class="el" href="classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389">SVF::TCT</a>
915
918
  </li>
916
919
  <li>isMemAlloc()
917
- : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a512741dffe68d4bbb761c5c178ea8c67">SVF::SaberCheckerAPI</a>
920
+ : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#acd2486bcf4cf413e63afed7884a0719e">SVF::SaberCheckerAPI</a>
918
921
  </li>
919
922
  <li>isMemcpy()
920
923
  : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
921
924
  </li>
922
925
  <li>isMemDealloc()
923
- : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a6bfc01d7e72b8c587b2e494aa923f908">SVF::SaberCheckerAPI</a>
926
+ : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e">SVF::SaberCheckerAPI</a>
924
927
  </li>
925
928
  <li>isMemset()
926
929
  : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -1015,7 +1018,7 @@ $(function() {
1015
1018
  : <a class="el" href="classSVF_1_1LockAnalysis.html#ae912e35cddd4235a663f84f70c3881e7">SVF::LockAnalysis</a>
1016
1019
  </li>
1017
1020
  <li>isProtectedByCommonCxtLock()
1018
- : <a class="el" href="classSVF_1_1LockAnalysis.html#a32c0c5bdd676302f1c9e797d540278d8">SVF::LockAnalysis</a>
1021
+ : <a class="el" href="classSVF_1_1LockAnalysis.html#a3e2e629a588b44ed39e529babb59a4f9">SVF::LockAnalysis</a>
1019
1022
  </li>
1020
1023
  <li>isProtectedByCommonLock()
1021
1024
  : <a class="el" href="classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c">SVF::LockAnalysis</a>
@@ -1150,6 +1153,9 @@ $(function() {
1150
1153
  : <a class="el" href="classSVF_1_1MemObj.html#a132df66e2751e5db6b0ba82d767a3286">SVF::MemObj</a>
1151
1154
  , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a">SVF::ObjTypeInfo</a>
1152
1155
  </li>
1156
+ <li>isStructTy()
1157
+ : <a class="el" href="classSVF_1_1SVFType.html#af06efda21356fbd3559e11ec7ae1bde5">SVF::SVFType</a>
1158
+ </li>
1153
1159
  <li>isSubset()
1154
1160
  : <a class="el" href="classSVF_1_1CondPointsToSet.html#acefec4fbacde1099d3dc81ab45ab9b8c">SVF::CondPointsToSet&lt; Cond &gt;</a>
1155
1161
  </li>
@@ -1163,7 +1169,7 @@ $(function() {
1163
1169
  : <a class="el" href="classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12">SVF::SingleAbsValue</a>
1164
1170
  </li>
1165
1171
  <li>isTailofSpan()
1166
- : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023">SVF::MTASVFGBuilder</a>
1172
+ : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05">SVF::MTASVFGBuilder</a>
1167
1173
  </li>
1168
1174
  <li>isTDAcquire()
1169
1175
  : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
@@ -1173,7 +1179,7 @@ $(function() {
1173
1179
  : <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
1174
1180
  </li>
1175
1181
  <li>isTDExit()
1176
- : <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
1182
+ : <a class="el" href="classSVF_1_1ThreadAPI.html#a3e175d985de53d0aadb026168e8a1a0e">SVF::ThreadAPI</a>
1177
1183
  </li>
1178
1184
  <li>isTDFork()
1179
1185
  : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
@@ -1184,11 +1190,11 @@ $(function() {
1184
1190
  <li>isTDJoin()
1185
1191
  : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis</a>
1186
1192
  , <a class="el" href="classSVF_1_1MHP.html#a3352c8718f909c9fbed4ef7f5cf050a2">SVF::MHP</a>
1187
- , <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
1193
+ , <a class="el" href="classSVF_1_1ThreadAPI.html#a68b10ffa2775fe7d8c1476409c0f54ab">SVF::ThreadAPI</a>
1188
1194
  </li>
1189
1195
  <li>isTDRelease()
1190
1196
  : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
1191
- , <a class="el" href="classSVF_1_1ThreadAPI.html#a1d5c84fd83e120820bfb3458e0231fdf">SVF::ThreadAPI</a>
1197
+ , <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
1192
1198
  </li>
1193
1199
  <li>isTemplate()
1194
1200
  : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>
package/SVF-doxygen/html/functions_g.html CHANGED
@@ -445,7 +445,7 @@ $(function() {
445
445
  : <a class="el" href="classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43">SVF::CondPTAImpl&lt; Cond &gt;</a>
446
446
  </li>
447
447
  <li>getBytefromGepTypePair()
448
- : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2f0fe665f2153115be84a143633b6b3b">SVF::SVFIR2ItvExeState</a>
448
+ : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aab58bfb31793026bc54b8996371e90f4">SVF::SVFIR2ItvExeState</a>
449
449
  </li>
450
450
  <li>getCachedADPointsTo()
451
451
  : <a class="el" href="classSVF_1_1DDAVFSolver.html#a2a2b3783074c9f509fc265b97b979704">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -1337,7 +1337,7 @@ $(function() {
1337
1337
  : <a class="el" href="classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a">SVF::MemSSA</a>
1338
1338
  </li>
1339
1339
  <li>getGepByteOffset()
1340
- : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a24f009ea362c4acf1cfa44d4dd80ef8b">SVF::SVFIR2ItvExeState</a>
1340
+ : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ae7d4ea045ddf4d49230065ff3bf07f61">SVF::SVFIR2ItvExeState</a>
1341
1341
  </li>
1342
1342
  <li>getGepInEdges()
1343
1343
  : <a class="el" href="classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5">SVF::ConstraintNode</a>
@@ -1631,6 +1631,9 @@ $(function() {
1631
1631
  <li>getLHSVarID()
1632
1632
  : <a class="el" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt</a>
1633
1633
  </li>
1634
+ <li>getLLVMByteSize()
1635
+ : <a class="el" href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">SVF::SVFType</a>
1636
+ </li>
1634
1637
  <li>getLLVMGlobalFunctions()
1635
1638
  : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a0b46a2a5ff2165d17993a071d9cc82c1">SVF::LLVMModuleSet</a>
1636
1639
  </li>
@@ -1708,7 +1711,7 @@ $(function() {
1708
1711
  : <a class="el" href="classSVF_1_1IntervalExeState.html#aea4e2221b11824ac6b37667ac0bf25f3">SVF::IntervalExeState</a>
1709
1712
  </li>
1710
1713
  <li>getLoop()
1711
- : <a class="el" href="classSVF_1_1TCT.html#a35f0fd73e0d752a426284eb4406ecca2">SVF::TCT</a>
1714
+ : <a class="el" href="classSVF_1_1TCT.html#af227b820ee93765e6b5c9eb9aad30c91">SVF::TCT</a>
1712
1715
  </li>
1713
1716
  <li>getLoopAndDomInfo()
1714
1717
  : <a class="el" href="classSVF_1_1SVFFunction.html#a5798ecc742ee74e357d13eea751258c4">SVF::SVFFunction</a>
@@ -1776,7 +1779,7 @@ $(function() {
1776
1779
  : <a class="el" href="classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80">SVF::MRGenerator</a>
1777
1780
  </li>
1778
1781
  <li>getModRefInfo()
1779
- : <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
1782
+ : <a class="el" href="classSVF_1_1MRGenerator.html#a7e1c258e120d89d7b9d6e414f91c6e4a">SVF::MRGenerator</a>
1780
1783
  , <a class="el" href="classSVF_1_1WPAPass.html#a2e9bdaf8789eed5af34cc70e7eb0ba01">SVF::WPAPass</a>
1781
1784
  </li>
1782
1785
  <li>getModSideEffectOfCallSite()
@@ -2000,7 +2003,7 @@ $(function() {
2000
2003
  </li>
2001
2004
  <li>getObject()
2002
2005
  : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f">SVF::DummyVersionPropSVFGNode</a>
2003
- , <a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">SVF::SVFIR</a>
2006
+ , <a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">SVF::SVFIR</a>
2004
2007
  </li>
2005
2008
  <li>getObjectNode()
2006
2009
  : <a class="el" href="classSVF_1_1IRGraph.html#ab1e2f58c350ec14763b4d8a424984d47">SVF::IRGraph</a>
@@ -2215,7 +2218,7 @@ $(function() {
2215
2218
  : <a class="el" href="classSVF_1_1WriterPtrPool.html#a5df00a28f394187fee526a96a4065a78">SVF::WriterPtrPool&lt; T &gt;</a>
2216
2219
  </li>
2217
2220
  <li>getPostDomTreeMap()
2218
- : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#ad07f95e790b5c3a50c864155aa20a083">SVF::SVFLoopAndDomInfo</a>
2221
+ : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a6b87fa0530b6d94f201a0989b35c2277">SVF::SVFLoopAndDomInfo</a>
2219
2222
  </li>
2220
2223
  <li>getPredecessors()
2221
2224
  : <a class="el" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">SVF::SVFBasicBlock</a>
@@ -2224,17 +2227,17 @@ $(function() {
2224
2227
  : <a class="el" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt</a>
2225
2228
  </li>
2226
2229
  <li>getPredInstructions()
2227
- : <a class="el" href="classSVF_1_1SVFInstruction.html#acc18d048b6f6b07bf1786980bb2d74f8">SVF::SVFInstruction</a>
2230
+ : <a class="el" href="classSVF_1_1SVFInstruction.html#a51c967b9e808b077562fbf25a04bafdc">SVF::SVFInstruction</a>
2228
2231
  </li>
2229
2232
  <li>getPredMap()
2230
- : <a class="el" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">SVF::POCRSolver</a>
2233
+ : <a class="el" href="classSVF_1_1POCRSolver.html#a585aa205c1da08d33aac52552a8a1a75">SVF::POCRSolver</a>
2231
2234
  </li>
2232
2235
  <li>getPreds()
2233
2236
  : <a class="el" href="classSVF_1_1POCRSolver.html#a7445cae0169e04f898798a75aa737177">SVF::POCRSolver</a>
2234
2237
  </li>
2235
2238
  <li>getPreviousMemoryAccessInst()
2236
2239
  : <a class="el" href="classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6">SVF::LockResultValidator</a>
2237
- , <a class="el" href="classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e">SVF::MTAResultValidator</a>
2240
+ , <a class="el" href="classSVF_1_1MTAResultValidator.html#a2ddf3189b3f90986752282b1c6bd003d">SVF::MTAResultValidator</a>
2238
2241
  , <a class="el" href="classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114">SVF::RaceResultValidator</a>
2239
2242
  </li>
2240
2243
  <li>getPrevNodes()
@@ -2299,11 +2302,11 @@ $(function() {
2299
2302
  <li>getPts()
2300
2303
  : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
2301
2304
  , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">SVF::BVDataPTAImpl</a>
2302
- , <a class="el" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl&lt; Cond &gt;</a>
2305
+ , <a class="el" href="classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590">SVF::CondPTAImpl&lt; Cond &gt;</a>
2303
2306
  , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
2304
2307
  , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
2305
2308
  , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
2306
- , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
2309
+ , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
2307
2310
  , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
2308
2311
  , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab1246073bd0e0395528f8ec53281e315">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
2309
2312
  , <a class="el" href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2388,7 +2391,7 @@ $(function() {
2388
2391
  , <a class="el" href="classSVF_1_1ICFGBuilder.html#a31a2810fe664f45da147f4bd0a0410d6">SVF::ICFGBuilder</a>
2389
2392
  </li>
2390
2393
  <li>getRetParmAtJoinedSite()
2391
- : <a class="el" href="classSVF_1_1ThreadAPI.html#a24e1734230ec053c218d4d4774b9bfd0">SVF::ThreadAPI</a>
2394
+ : <a class="el" href="classSVF_1_1ThreadAPI.html#acbd4d2403cc9ebb01b82844d8c4eeb54">SVF::ThreadAPI</a>
2392
2395
  </li>
2393
2396
  <li>getRetPE()
2394
2397
  : <a class="el" href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">SVF::RetCFGEdge</a>
@@ -2420,7 +2423,7 @@ $(function() {
2420
2423
  <li>getRevPts()
2421
2424
  : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa30608bc36dcfde45c896d4a15a08ca1">SVF::BVDataPTAImpl</a>
2422
2425
  , <a class="el" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">SVF::CFLAlias</a>
2423
- , <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
2426
+ , <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
2424
2427
  , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
2425
2428
  , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
2426
2429
  , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2576,7 +2579,7 @@ $(function() {
2576
2579
  </li>
2577
2580
  <li>getStringArg()
2578
2581
  : <a class="el" href="classSVF_1_1LockResultValidator.html#a1b1b841451fe51cb58417e864a28cbfc">SVF::LockResultValidator</a>
2579
- , <a class="el" href="classSVF_1_1MTAResultValidator.html#a1ac51d2847f9bdee27092ab22211bb61">SVF::MTAResultValidator</a>
2582
+ , <a class="el" href="classSVF_1_1MTAResultValidator.html#a75057911bf08c167ead4232c4a2b25f4">SVF::MTAResultValidator</a>
2580
2583
  </li>
2581
2584
  <li>getStrongUpdateStores()
2582
2585
  : <a class="el" href="classSVF_1_1DDAStat.html#a26b018fc5677e33876bee1200c270e60">SVF::DDAStat</a>
@@ -2604,10 +2607,10 @@ $(function() {
2604
2607
  : <a class="el" href="classSVF_1_1SVFInstruction.html#a6364671e823166d1192bf791a8dd412b">SVF::SVFInstruction</a>
2605
2608
  </li>
2606
2609
  <li>getSuccMap()
2607
- : <a class="el" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">SVF::POCRSolver</a>
2610
+ : <a class="el" href="classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a">SVF::POCRSolver</a>
2608
2611
  </li>
2609
2612
  <li>getSuccNodes()
2610
- : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
2613
+ : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
2611
2614
  </li>
2612
2615
  <li>getSuccs()
2613
2616
  : <a class="el" href="classSVF_1_1POCRSolver.html#ac3ee0745b684b851c3bac9b55bcbb7b9">SVF::POCRSolver</a>
@@ -2716,10 +2719,10 @@ $(function() {
2716
2719
  : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a4fb40a0bed7cad99e9be5480455a6a71">SVF::CFBasicBlockGWTO</a>
2717
2720
  </li>
2718
2721
  <li>getTaskDataAtHareParForSite()
2719
- : <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
2722
+ : <a class="el" href="classSVF_1_1ThreadAPI.html#a34ea034a2bd7b7cb51317ed441ca5b38">SVF::ThreadAPI</a>
2720
2723
  </li>
2721
2724
  <li>getTaskFuncAtHareParForSite()
2722
- : <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
2725
+ : <a class="el" href="classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
2723
2726
  </li>
2724
2727
  <li>getTCG()
2725
2728
  : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2733,7 +2736,7 @@ $(function() {
2733
2736
  : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
2734
2737
  </li>
2735
2738
  <li>getTCTNode()
2736
- : <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
2739
+ : <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
2737
2740
  </li>
2738
2741
  <li>getTCTNodeNum()
2739
2742
  : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2816,6 +2819,9 @@ $(function() {
2816
2819
  <li>getTypeLocSetsMap()
2817
2820
  : <a class="el" href="classSVF_1_1SVFIR.html#adb6db6407bdc9a39e5bf8cd941f0ad15">SVF::SVFIR</a>
2818
2821
  </li>
2822
+ <li>getTypeOfElement()
2823
+ : <a class="el" href="classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759">SVF::SVFArrayType</a>
2824
+ </li>
2819
2825
  <li>getTypeSystem()
2820
2826
  : <a class="el" href="classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe">SVF::PointerAnalysis</a>
2821
2827
  </li>
package/SVF-doxygen/html/functions_i.html CHANGED
@@ -924,6 +924,9 @@ $(function() {
924
924
  <li>isArrayMemObj()
925
925
  : <a class="el" href="classSVF_1_1PointerAnalysis.html#a89dfeedf8e3e91603a1e9c73e3608a73">SVF::PointerAnalysis</a>
926
926
  </li>
927
+ <li>isArrayTy()
928
+ : <a class="el" href="classSVF_1_1SVFType.html#a330084f9a3deb6e5acb52a8ee3eb7fe4">SVF::SVFType</a>
929
+ </li>
927
930
  <li>isBackICFGEdge()
928
931
  : <a class="el" href="classSVF_1_1SVFLoop.html#a7283685960ed98e1a292e3f688d9aa2b">SVF::SVFLoop</a>
929
932
  </li>
@@ -1079,7 +1082,7 @@ $(function() {
1079
1082
  , <a class="el" href="classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726">OptionMap&lt; T &gt;</a>
1080
1083
  </li>
1081
1084
  <li>isFClose()
1082
- : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a01b12585cad8b75ce635670cd5c7d874">SVF::SaberCheckerAPI</a>
1085
+ : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
1083
1086
  </li>
1084
1087
  <li>isFieldInsenCondMemObj()
1085
1088
  : <a class="el" href="classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -1153,7 +1156,7 @@ $(function() {
1153
1156
  : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ade2b2aa77bba3781ab921d5c36eb881b">SVF::CFBasicBlockGWTO</a>
1154
1157
  </li>
1155
1158
  <li>isHeadofSpan()
1156
- : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5c32c2f5038aab15ec2da50c7c99b405">SVF::MTASVFGBuilder</a>
1159
+ : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a4d36dc553bc87508b78add9b52ce9c2a">SVF::MTASVFGBuilder</a>
1157
1160
  </li>
1158
1161
  <li>isHeap()
1159
1162
  : <a class="el" href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">SVF::MemObj</a>
@@ -1306,13 +1309,13 @@ $(function() {
1306
1309
  : <a class="el" href="classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389">SVF::TCT</a>
1307
1310
  </li>
1308
1311
  <li>isMemAlloc()
1309
- : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416">SVF::SaberCheckerAPI</a>
1312
+ : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#acd2486bcf4cf413e63afed7884a0719e">SVF::SaberCheckerAPI</a>
1310
1313
  </li>
1311
1314
  <li>isMemcpy()
1312
1315
  : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
1313
1316
  </li>
1314
1317
  <li>isMemDealloc()
1315
- : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#aa6323d60c58b06f94a1645b26d3305ae">SVF::SaberCheckerAPI</a>
1318
+ : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e">SVF::SaberCheckerAPI</a>
1316
1319
  </li>
1317
1320
  <li>isMemset()
1318
1321
  : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -1410,7 +1413,7 @@ $(function() {
1410
1413
  : <a class="el" href="classSVF_1_1LockAnalysis.html#ae912e35cddd4235a663f84f70c3881e7">SVF::LockAnalysis</a>
1411
1414
  </li>
1412
1415
  <li>isProtectedByCommonCxtLock()
1413
- : <a class="el" href="classSVF_1_1LockAnalysis.html#a3e2e629a588b44ed39e529babb59a4f9">SVF::LockAnalysis</a>
1416
+ : <a class="el" href="classSVF_1_1LockAnalysis.html#a32c0c5bdd676302f1c9e797d540278d8">SVF::LockAnalysis</a>
1414
1417
  </li>
1415
1418
  <li>isProtectedByCommonLock()
1416
1419
  : <a class="el" href="classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c">SVF::LockAnalysis</a>
@@ -1560,6 +1563,9 @@ $(function() {
1560
1563
  : <a class="el" href="classSVF_1_1MemObj.html#a132df66e2751e5db6b0ba82d767a3286">SVF::MemObj</a>
1561
1564
  , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a06493939f797f122b70b90bbf22cad7a">SVF::ObjTypeInfo</a>
1562
1565
  </li>
1566
+ <li>isStructTy()
1567
+ : <a class="el" href="classSVF_1_1SVFType.html#af06efda21356fbd3559e11ec7ae1bde5">SVF::SVFType</a>
1568
+ </li>
1563
1569
  <li>isSubset()
1564
1570
  : <a class="el" href="classSVF_1_1CondPointsToSet.html#acefec4fbacde1099d3dc81ab45ab9b8c">SVF::CondPointsToSet&lt; Cond &gt;</a>
1565
1571
  </li>
@@ -1573,14 +1579,14 @@ $(function() {
1573
1579
  : <a class="el" href="classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12">SVF::SingleAbsValue</a>
1574
1580
  </li>
1575
1581
  <li>isTailofSpan()
1576
- : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
1582
+ : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05">SVF::MTASVFGBuilder</a>
1577
1583
  </li>
1578
1584
  <li>isTDAcquire()
1579
1585
  : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
1580
1586
  , <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
1581
1587
  </li>
1582
1588
  <li>isTDBarWait()
1583
- : <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
1589
+ : <a class="el" href="classSVF_1_1ThreadAPI.html#a62a5d4709eb9f1e4e9dd20b87dac8c42">SVF::ThreadAPI</a>
1584
1590
  </li>
1585
1591
  <li>isTDExit()
1586
1592
  : <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
@@ -1594,11 +1600,11 @@ $(function() {
1594
1600
  <li>isTDJoin()
1595
1601
  : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis</a>
1596
1602
  , <a class="el" href="classSVF_1_1MHP.html#a3352c8718f909c9fbed4ef7f5cf050a2">SVF::MHP</a>
1597
- , <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
1603
+ , <a class="el" href="classSVF_1_1ThreadAPI.html#a68b10ffa2775fe7d8c1476409c0f54ab">SVF::ThreadAPI</a>
1598
1604
  </li>
1599
1605
  <li>isTDRelease()
1600
1606
  : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
1601
- , <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
1607
+ , <a class="el" href="classSVF_1_1ThreadAPI.html#a1d5c84fd83e120820bfb3458e0231fdf">SVF::ThreadAPI</a>
1602
1608
  </li>
1603
1609
  <li>isTemplate()
1604
1610
  : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>
@@ -1713,7 +1719,7 @@ $(function() {
1713
1719
  : <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
1714
1720
  </li>
1715
1721
  <li>iter_range()
1716
- : <a class="el" href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">SVF::iter_range&lt; IteratorT &gt;</a>
1722
+ : <a class="el" href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">SVF::iter_range&lt; IteratorT &gt;</a>
1717
1723
  </li>
1718
1724
  <li>iterationForPrintStat
1719
1725
  : <a class="el" href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">SVF::WPASolver&lt; GraphType &gt;</a>