svf-tools 1.0.799 → 1.0.800

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 (359) hide show
  1. package/SVF-doxygen/html/AccessPath_8cpp_source.html +145 -144
  2. package/SVF-doxygen/html/AccessPath_8h_source.html +6 -6
  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 +5 -5
  7. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +4 -4
  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/ContextDDA_8cpp_source.html +5 -5
  12. package/SVF-doxygen/html/ContextDDA_8h_source.html +2 -2
  13. package/SVF-doxygen/html/DDAClient_8cpp_source.html +4 -4
  14. package/SVF-doxygen/html/DDAPass_8cpp_source.html +2 -2
  15. package/SVF-doxygen/html/DDAPass_8h_source.html +1 -1
  16. package/SVF-doxygen/html/DDAStat_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +4 -4
  18. package/SVF-doxygen/html/FSMPTA_8cpp_source.html +3 -3
  19. package/SVF-doxygen/html/FlowDDA_8cpp_source.html +5 -5
  20. package/SVF-doxygen/html/FlowDDA_8h_source.html +2 -2
  21. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
  22. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +5 -5
  23. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +2 -2
  24. package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
  25. package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +2 -2
  26. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +175 -165
  27. package/SVF-doxygen/html/LLVMModule_8h_source.html +3 -3
  28. package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +5 -5
  29. package/SVF-doxygen/html/LockAnalysis_8h_source.html +2 -2
  30. package/SVF-doxygen/html/MHP_8cpp_source.html +5 -5
  31. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
  32. package/SVF-doxygen/html/MTA_8cpp_source.html +5 -5
  33. package/SVF-doxygen/html/MemRegion_8cpp_source.html +7 -7
  34. package/SVF-doxygen/html/MemRegion_8h_source.html +1 -1
  35. package/SVF-doxygen/html/MemSSA_8cpp_source.html +3 -3
  36. package/SVF-doxygen/html/NodeIDAllocator_8cpp_source.html +2 -2
  37. package/SVF-doxygen/html/PCG_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +3 -3
  39. package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +4 -4
  40. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +5 -5
  41. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +1 -1
  42. package/SVF-doxygen/html/ProgSlice_8cpp_source.html +2 -2
  43. package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +6 -6
  44. package/SVF-doxygen/html/SVFFileSystem_8h_source.html +5 -5
  45. package/SVF-doxygen/html/SVFGBuilder_8cpp_source.html +2 -2
  46. package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +2 -2
  47. package/SVF-doxygen/html/SVFGStat_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/SVFG_8cpp_source.html +2 -2
  49. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +1 -1
  50. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +4 -4
  51. package/SVF-doxygen/html/SVFStat_8cpp_source.html +1 -1
  52. package/SVF-doxygen/html/SVFStatements_8h_source.html +1 -1
  53. package/SVF-doxygen/html/SVFType_8cpp_source.html +7 -7
  54. package/SVF-doxygen/html/SVFType_8h.html +23 -23
  55. package/SVF-doxygen/html/SVFType_8h_source.html +340 -332
  56. package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
  57. package/SVF-doxygen/html/SVFValue_8h_source.html +2 -2
  58. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +3 -3
  59. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  60. package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +3 -3
  61. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +4 -4
  62. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +3 -3
  63. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +4 -4
  64. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +1 -1
  65. package/SVF-doxygen/html/TCT_8cpp_source.html +2 -2
  66. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +2 -2
  67. package/SVF-doxygen/html/VFG_8cpp_source.html +2 -2
  68. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  69. package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +1 -1
  70. package/SVF-doxygen/html/WPAPass_8cpp_source.html +4 -4
  71. package/SVF-doxygen/html/WPAPass_8h_source.html +2 -2
  72. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +131 -130
  73. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +1 -1
  74. package/SVF-doxygen/html/classSVF_1_1Andersen.html +4 -4
  75. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +2 -2
  76. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
  77. package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +1 -1
  78. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  79. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  80. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +6 -6
  81. package/SVF-doxygen/html/classSVF_1_1CFLBase.html +1 -1
  82. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +4 -4
  83. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +3 -3
  84. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +5 -5
  85. package/SVF-doxygen/html/classSVF_1_1DDAClient.html +3 -3
  86. package/SVF-doxygen/html/classSVF_1_1DDAPass.html +1 -1
  87. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
  88. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +4 -4
  89. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +5 -5
  90. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +5 -5
  91. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  92. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +2 -2
  93. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +1 -1
  94. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +2 -2
  95. package/SVF-doxygen/html/classSVF_1_1IRGraph.html +2 -2
  96. package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +2 -2
  97. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +170 -160
  98. package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +5 -5
  99. package/SVF-doxygen/html/classSVF_1_1MHP.html +5 -5
  100. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +6 -6
  101. package/SVF-doxygen/html/classSVF_1_1MTA.html +5 -5
  102. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
  103. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +3 -3
  104. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +3 -3
  105. package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +1 -1
  106. package/SVF-doxygen/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
  107. package/SVF-doxygen/html/classSVF_1_1PCG.html +2 -2
  108. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +5 -5
  109. package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +2 -2
  110. package/SVF-doxygen/html/classSVF_1_1SVFArrayType.html +27 -27
  111. package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +1 -1
  112. package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html +18 -18
  113. package/SVF-doxygen/html/classSVF_1_1SVFG.html +2 -2
  114. package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.html +2 -2
  115. package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +2 -2
  116. package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +1 -1
  117. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1 -1
  118. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +4 -4
  119. package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html +19 -19
  120. package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html +23 -23
  121. package/SVF-doxygen/html/classSVF_1_1SVFPointerType-members.html +18 -17
  122. package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html +49 -16
  123. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
  124. package/SVF-doxygen/html/classSVF_1_1SVFStructType.html +23 -23
  125. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +3 -3
  126. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  127. package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +3 -3
  128. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +4 -4
  129. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +3 -3
  130. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +4 -4
  131. package/SVF-doxygen/html/classSVF_1_1TCT.html +2 -2
  132. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +2 -2
  133. package/SVF-doxygen/html/classSVF_1_1VFG.html +2 -2
  134. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +1 -1
  135. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  136. package/SVF-doxygen/html/classSVF_1_1WPAPass.html +3 -3
  137. package/SVF-doxygen/html/functions_func_s.html +23 -20
  138. package/SVF-doxygen/html/functions_l.html +5 -5
  139. package/SVF-doxygen/html/functions_n.html +3 -3
  140. package/SVF-doxygen/html/functions_o.html +10 -10
  141. package/SVF-doxygen/html/functions_p.html +9 -5
  142. package/SVF-doxygen/html/functions_r.html +5 -5
  143. package/SVF-doxygen/html/functions_s.html +19 -18
  144. package/SVF-doxygen/html/functions_t.html +3 -3
  145. package/SVF-doxygen/html/functions_v.html +3 -3
  146. package/SVF-doxygen/html/functions_w.html +1 -1
  147. package/SVF-doxygen/html/namespaceSVF.html +23 -23
  148. package/SVF-doxygen/html/search/all_10.js +3 -3
  149. package/SVF-doxygen/html/search/all_11.js +2 -2
  150. package/SVF-doxygen/html/search/all_12.js +396 -395
  151. package/SVF-doxygen/html/search/all_13.js +191 -191
  152. package/SVF-doxygen/html/search/all_14.js +67 -67
  153. package/SVF-doxygen/html/search/all_15.js +170 -170
  154. package/SVF-doxygen/html/search/all_16.js +63 -63
  155. package/SVF-doxygen/html/search/all_17.js +1 -1
  156. package/SVF-doxygen/html/search/all_18.js +1 -1
  157. package/SVF-doxygen/html/search/all_19.js +11 -11
  158. package/SVF-doxygen/html/search/all_1a.js +172 -172
  159. package/SVF-doxygen/html/search/all_9.js +1 -1
  160. package/SVF-doxygen/html/search/all_b.js +1 -1
  161. package/SVF-doxygen/html/search/all_c.js +4 -4
  162. package/SVF-doxygen/html/search/all_e.js +1 -1
  163. package/SVF-doxygen/html/search/all_f.js +4 -4
  164. package/SVF-doxygen/html/search/classes_0.js +26 -26
  165. package/SVF-doxygen/html/search/classes_1.js +9 -9
  166. package/SVF-doxygen/html/search/classes_10.js +73 -73
  167. package/SVF-doxygen/html/search/classes_11.js +15 -15
  168. package/SVF-doxygen/html/search/classes_12.js +2 -2
  169. package/SVF-doxygen/html/search/classes_13.js +10 -10
  170. package/SVF-doxygen/html/search/classes_14.js +14 -14
  171. package/SVF-doxygen/html/search/classes_15.js +1 -1
  172. package/SVF-doxygen/html/search/classes_2.js +80 -80
  173. package/SVF-doxygen/html/search/classes_3.js +37 -37
  174. package/SVF-doxygen/html/search/classes_4.js +9 -9
  175. package/SVF-doxygen/html/search/classes_5.js +28 -28
  176. package/SVF-doxygen/html/search/classes_6.js +104 -104
  177. package/SVF-doxygen/html/search/classes_7.js +33 -33
  178. package/SVF-doxygen/html/search/classes_8.js +56 -56
  179. package/SVF-doxygen/html/search/classes_9.js +1 -1
  180. package/SVF-doxygen/html/search/classes_a.js +12 -12
  181. package/SVF-doxygen/html/search/classes_b.js +29 -29
  182. package/SVF-doxygen/html/search/classes_c.js +6 -6
  183. package/SVF-doxygen/html/search/classes_d.js +18 -18
  184. package/SVF-doxygen/html/search/classes_e.js +36 -36
  185. package/SVF-doxygen/html/search/classes_f.js +25 -25
  186. package/SVF-doxygen/html/search/defines_0.js +3 -3
  187. package/SVF-doxygen/html/search/defines_1.js +2 -2
  188. package/SVF-doxygen/html/search/defines_2.js +30 -30
  189. package/SVF-doxygen/html/search/defines_3.js +21 -21
  190. package/SVF-doxygen/html/search/defines_4.js +2 -2
  191. package/SVF-doxygen/html/search/defines_5.js +4 -4
  192. package/SVF-doxygen/html/search/defines_6.js +2 -2
  193. package/SVF-doxygen/html/search/defines_7.js +5 -5
  194. package/SVF-doxygen/html/search/defines_8.js +11 -11
  195. package/SVF-doxygen/html/search/defines_9.js +9 -9
  196. package/SVF-doxygen/html/search/defines_a.js +2 -2
  197. package/SVF-doxygen/html/search/defines_b.js +1 -1
  198. package/SVF-doxygen/html/search/defines_c.js +3 -3
  199. package/SVF-doxygen/html/search/defines_d.js +2 -2
  200. package/SVF-doxygen/html/search/defines_e.js +7 -7
  201. package/SVF-doxygen/html/search/defines_f.js +3 -3
  202. package/SVF-doxygen/html/search/enums_0.js +3 -3
  203. package/SVF-doxygen/html/search/enums_1.js +2 -2
  204. package/SVF-doxygen/html/search/enums_10.js +1 -1
  205. package/SVF-doxygen/html/search/enums_11.js +1 -1
  206. package/SVF-doxygen/html/search/enums_2.js +8 -8
  207. package/SVF-doxygen/html/search/enums_3.js +1 -1
  208. package/SVF-doxygen/html/search/enums_4.js +3 -3
  209. package/SVF-doxygen/html/search/enums_5.js +1 -1
  210. package/SVF-doxygen/html/search/enums_6.js +2 -2
  211. package/SVF-doxygen/html/search/enums_7.js +2 -2
  212. package/SVF-doxygen/html/search/enums_8.js +4 -4
  213. package/SVF-doxygen/html/search/enums_9.js +1 -1
  214. package/SVF-doxygen/html/search/enums_a.js +1 -1
  215. package/SVF-doxygen/html/search/enums_b.js +7 -7
  216. package/SVF-doxygen/html/search/enums_c.js +1 -1
  217. package/SVF-doxygen/html/search/enums_d.js +4 -4
  218. package/SVF-doxygen/html/search/enums_e.js +2 -2
  219. package/SVF-doxygen/html/search/enums_f.js +4 -4
  220. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  221. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  222. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  223. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  224. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  225. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  226. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  227. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  228. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  229. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  230. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  231. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  232. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  233. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  234. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  235. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  236. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  237. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  238. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  239. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  240. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  241. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  242. package/SVF-doxygen/html/search/files_0.js +13 -13
  243. package/SVF-doxygen/html/search/files_1.js +7 -7
  244. package/SVF-doxygen/html/search/files_10.js +8 -8
  245. package/SVF-doxygen/html/search/files_11.js +8 -8
  246. package/SVF-doxygen/html/search/files_12.js +2 -2
  247. package/SVF-doxygen/html/search/files_2.js +55 -55
  248. package/SVF-doxygen/html/search/files_3.js +14 -14
  249. package/SVF-doxygen/html/search/files_4.js +5 -5
  250. package/SVF-doxygen/html/search/files_5.js +13 -13
  251. package/SVF-doxygen/html/search/files_6.js +9 -9
  252. package/SVF-doxygen/html/search/files_7.js +14 -14
  253. package/SVF-doxygen/html/search/files_8.js +13 -13
  254. package/SVF-doxygen/html/search/files_9.js +18 -18
  255. package/SVF-doxygen/html/search/files_a.js +3 -3
  256. package/SVF-doxygen/html/search/files_b.js +2 -2
  257. package/SVF-doxygen/html/search/files_c.js +20 -20
  258. package/SVF-doxygen/html/search/files_d.js +4 -4
  259. package/SVF-doxygen/html/search/files_e.js +62 -62
  260. package/SVF-doxygen/html/search/files_f.js +8 -8
  261. package/SVF-doxygen/html/search/functions_0.js +12 -12
  262. package/SVF-doxygen/html/search/functions_1.js +359 -359
  263. package/SVF-doxygen/html/search/functions_10.js +140 -140
  264. package/SVF-doxygen/html/search/functions_11.js +138 -138
  265. package/SVF-doxygen/html/search/functions_12.js +277 -276
  266. package/SVF-doxygen/html/search/functions_13.js +59 -59
  267. package/SVF-doxygen/html/search/functions_14.js +39 -39
  268. package/SVF-doxygen/html/search/functions_15.js +71 -71
  269. package/SVF-doxygen/html/search/functions_16.js +32 -32
  270. package/SVF-doxygen/html/search/functions_17.js +3 -3
  271. package/SVF-doxygen/html/search/functions_18.js +172 -172
  272. package/SVF-doxygen/html/search/functions_2.js +86 -86
  273. package/SVF-doxygen/html/search/functions_3.js +257 -257
  274. package/SVF-doxygen/html/search/functions_4.js +75 -75
  275. package/SVF-doxygen/html/search/functions_5.js +53 -53
  276. package/SVF-doxygen/html/search/functions_6.js +59 -59
  277. package/SVF-doxygen/html/search/functions_7.js +851 -851
  278. package/SVF-doxygen/html/search/functions_8.js +146 -146
  279. package/SVF-doxygen/html/search/functions_9.js +428 -428
  280. package/SVF-doxygen/html/search/functions_a.js +30 -30
  281. package/SVF-doxygen/html/search/functions_b.js +2 -2
  282. package/SVF-doxygen/html/search/functions_c.js +26 -26
  283. package/SVF-doxygen/html/search/functions_d.js +77 -77
  284. package/SVF-doxygen/html/search/functions_e.js +35 -35
  285. package/SVF-doxygen/html/search/functions_f.js +56 -56
  286. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  287. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  288. package/SVF-doxygen/html/search/related_0.js +2 -2
  289. package/SVF-doxygen/html/search/related_1.js +2 -2
  290. package/SVF-doxygen/html/search/related_2.js +2 -2
  291. package/SVF-doxygen/html/search/related_3.js +2 -2
  292. package/SVF-doxygen/html/search/related_4.js +2 -2
  293. package/SVF-doxygen/html/search/related_5.js +1 -1
  294. package/SVF-doxygen/html/search/related_6.js +2 -2
  295. package/SVF-doxygen/html/search/related_7.js +4 -4
  296. package/SVF-doxygen/html/search/related_8.js +2 -2
  297. package/SVF-doxygen/html/search/related_9.js +4 -4
  298. package/SVF-doxygen/html/search/related_a.js +19 -19
  299. package/SVF-doxygen/html/search/related_b.js +4 -4
  300. package/SVF-doxygen/html/search/related_c.js +1 -1
  301. package/SVF-doxygen/html/search/related_d.js +11 -11
  302. package/SVF-doxygen/html/search/related_e.js +2 -2
  303. package/SVF-doxygen/html/search/related_f.js +2 -2
  304. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  305. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  306. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  307. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  308. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  309. package/SVF-doxygen/html/search/typedefs_13.js +35 -35
  310. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  311. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  312. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  313. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  314. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  315. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  316. package/SVF-doxygen/html/search/typedefs_7.js +42 -42
  317. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  318. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  319. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  320. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  321. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  322. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  323. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  324. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  325. package/SVF-doxygen/html/search/variables_0.js +151 -151
  326. package/SVF-doxygen/html/search/variables_1.js +75 -75
  327. package/SVF-doxygen/html/search/variables_10.js +97 -97
  328. package/SVF-doxygen/html/search/variables_11.js +46 -46
  329. package/SVF-doxygen/html/search/variables_12.js +92 -92
  330. package/SVF-doxygen/html/search/variables_13.js +75 -75
  331. package/SVF-doxygen/html/search/variables_14.js +14 -14
  332. package/SVF-doxygen/html/search/variables_15.js +48 -48
  333. package/SVF-doxygen/html/search/variables_16.js +9 -9
  334. package/SVF-doxygen/html/search/variables_17.js +1 -1
  335. package/SVF-doxygen/html/search/variables_18.js +2 -2
  336. package/SVF-doxygen/html/search/variables_2.js +37 -37
  337. package/SVF-doxygen/html/search/variables_3.js +142 -142
  338. package/SVF-doxygen/html/search/variables_4.js +55 -55
  339. package/SVF-doxygen/html/search/variables_5.js +39 -39
  340. package/SVF-doxygen/html/search/variables_6.js +66 -66
  341. package/SVF-doxygen/html/search/variables_7.js +33 -33
  342. package/SVF-doxygen/html/search/variables_8.js +7 -7
  343. package/SVF-doxygen/html/search/variables_9.js +77 -77
  344. package/SVF-doxygen/html/search/variables_a.js +4 -4
  345. package/SVF-doxygen/html/search/variables_b.js +10 -10
  346. package/SVF-doxygen/html/search/variables_c.js +45 -45
  347. package/SVF-doxygen/html/search/variables_d.js +56 -56
  348. package/SVF-doxygen/html/search/variables_e.js +123 -123
  349. package/SVF-doxygen/html/search/variables_f.js +30 -30
  350. package/SVF-doxygen/html/structSVF_1_1Hash_3_01NodePair_01_4.html +11 -11
  351. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +11 -11
  352. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +7 -7
  353. package/SVF-doxygen/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +14 -14
  354. package/SVF-doxygen/html/svf-ex_8cpp_source.html +1 -1
  355. package/package.json +1 -1
  356. package/svf/include/SVFIR/SVFType.h +9 -2
  357. package/svf/lib/MemoryModel/AccessPath.cpp +5 -4
  358. package/svf/lib/SVFIR/SVFFileSystem.cpp +1 -1
  359. package/svf-llvm/lib/LLVMModule.cpp +11 -2
package/SVF-doxygen/html/AccessPath_8cpp_source.html CHANGED
@@ -174,142 +174,143 @@ $(function() {
174
174
  <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; {</div>
175
175
  <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> structField = 0; structField &lt; (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>)op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>(); ++structField)</div>
176
176
  <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; {</div>
177
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; type2 = structType-&gt;<a class="code" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">getTypeInfo</a>()-&gt;<a class="code" href="classSVF_1_1StInfo.html#a055697f565cb9d73b41110090fe50159">getOriginalElemType</a>(structField);</div>
178
- <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; totalConstOffset += type2-&gt;<a class="code" href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">getLLVMByteSize</a>();</div>
179
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; }</div>
180
- <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; }</div>
181
- <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <span class="keywordflow">else</span></div>
182
- <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; {</div>
183
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; totalConstOffset += op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>() * type2-&gt;<a class="code" href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">getLLVMByteSize</a>();</div>
184
- <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; }</div>
185
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; }</div>
186
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keywordflow">return</span> totalConstOffset;</div>
187
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160;}</div>
188
- <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; </div>
189
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; </div>
190
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160;<span class="comment">// struct inner{ int rollNumber; float percentage;};</span></div>
191
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160;<span class="comment">// struct Student { struct inner rollNumber; char studentName[10][3];}</span></div>
192
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160;<span class="comment">// char x = studentRecord[1].studentName[3][2];</span></div>
193
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; </div>
194
- <div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651"> 179</a></span>&#160;<a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> <a class="code" href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651">AccessPath::computeConstantOffset</a>()<span class="keyword"> const</span></div>
195
- <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160;<span class="keyword"></span>{</div>
196
- <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; </div>
197
- <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; assert(isConstantOffset() &amp;&amp; <span class="stringliteral">&quot;not a constant offset&quot;</span>);</div>
198
- <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; </div>
199
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <span class="keywordflow">if</span>(offsetVarAndGepTypePairs.empty())</div>
200
- <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">return</span> getConstantFieldIdx();</div>
201
- <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; </div>
202
- <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> totalConstOffset = 0;</div>
203
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <span class="keywordflow">for</span>(<span class="keywordtype">int</span> i = offsetVarAndGepTypePairs.size() - 1; i &gt;= 0; i--)</div>
204
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; {</div>
205
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* value = offsetVarAndGepTypePairs[i].first-&gt;getValue();</div>
206
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> = offsetVarAndGepTypePairs[i].second;</div>
207
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFConstantInt.html">SVFConstantInt</a>* op = SVFUtil::dyn_cast&lt;SVFConstantInt&gt;(value);</div>
208
- <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; assert(op &amp;&amp; <span class="stringliteral">&quot;not a constant offset?&quot;</span>);</div>
209
- <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>==<span class="keyword">nullptr</span>)</div>
210
- <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; {</div>
211
- <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; totalConstOffset += op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>();</div>
212
- <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <span class="keywordflow">continue</span>;</div>
213
- <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; }</div>
214
- <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; </div>
215
- <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFPointerType.html">SVFPointerType</a>* pty = SVFUtil::dyn_cast&lt;SVFPointerType&gt;(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
216
- <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; totalConstOffset += op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>() * getElementNum(pty-&gt;getPtrElementType());</div>
217
- <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; <span class="keywordflow">else</span></div>
218
- <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; {</div>
219
- <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>();</div>
220
- <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> &gt;= 0)</div>
221
- <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; {</div>
222
- <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> flattenOffset =</div>
223
- <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">getFlattenedElemIdx</a>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>,</div>
224
- <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>);</div>
225
- <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; totalConstOffset += flattenOffset;</div>
226
- <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; }</div>
227
- <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="keywordflow">else</span></div>
228
- <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; totalConstOffset += <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>;</div>
229
- <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div>
230
- <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; }</div>
231
- <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; <span class="keywordflow">return</span> totalConstOffset;</div>
232
- <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160;}</div>
233
- <div class="line"><a name="l00221"></a><span class="lineno"><a class="line" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf"> 221</a></span>&#160;<a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> <a class="code" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">AccessPath::computeAllLocations</a>()<span class="keyword"> const</span></div>
234
- <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160;<span class="keyword"></span>{</div>
235
- <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> result;</div>
236
- <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; result.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(getConstantFieldIdx());</div>
237
- <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; <span class="keywordflow">return</span> result;</div>
238
- <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160;}</div>
239
- <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; </div>
240
- <div class="line"><a name="l00228"></a><span class="lineno"><a class="line" href="classSVF_1_1AccessPath.html#a6591b6092a829b0c874754b649087aa2"> 228</a></span>&#160;<a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a> <a class="code" href="classSVF_1_1AccessPath.html#a6591b6092a829b0c874754b649087aa2">AccessPath::operator+</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a>&amp; rhs)<span class="keyword"> const</span></div>
241
- <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160;<span class="keyword"></span>{</div>
242
- <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a> ap(rhs);</div>
243
- <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; ap.<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a> += getConstantFieldIdx();</div>
244
- <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> &amp;<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a> : ap.<a class="code" href="classSVF_1_1AccessPath.html#ab0641554924d44f16c2831cac63ccf8b">getOffsetVarAndGepTypePairVec</a>())</div>
245
- <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; ap.<a class="code" href="classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd">addOffsetVarAndGepTypePair</a>(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.first, <a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.second);</div>
246
- <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; </div>
247
- <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <span class="keywordflow">return</span> ap;</div>
248
- <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160;}</div>
249
- <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; </div>
250
- <div class="line"><a name="l00238"></a><span class="lineno"><a class="line" href="classSVF_1_1AccessPath.html#ae0f38a5f473af89678db2755667c3421"> 238</a></span>&#160;<span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AccessPath.html#ae0f38a5f473af89678db2755667c3421">AccessPath::operator&lt; </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a>&amp; rhs)<span class="keyword"> const</span></div>
251
- <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160;<span class="keyword"></span>{</div>
252
- <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; <span class="keywordflow">if</span> (fldIdx != rhs.<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>)</div>
253
- <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; <span class="keywordflow">return</span> (fldIdx &lt; rhs.<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>);</div>
254
- <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; <span class="keywordflow">else</span></div>
255
- <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; {</div>
256
- <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8">OffsetVarAndGepTypePairs</a>&amp; pairVec = getOffsetVarAndGepTypePairVec();</div>
257
- <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8">OffsetVarAndGepTypePairs</a>&amp; rhsPairVec = rhs.<a class="code" href="classSVF_1_1AccessPath.html#ab0641554924d44f16c2831cac63ccf8b">getOffsetVarAndGepTypePairVec</a>();</div>
258
- <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; <span class="keywordflow">if</span> (pairVec.size() != rhsPairVec.size())</div>
259
- <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; <span class="keywordflow">return</span> (pairVec.size() &lt; rhsPairVec.size());</div>
260
- <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; <span class="keywordflow">else</span></div>
261
- <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; {</div>
262
- <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; OffsetVarAndGepTypePairs::const_iterator it = pairVec.begin();</div>
263
- <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; OffsetVarAndGepTypePairs::const_iterator rhsIt = rhsPairVec.begin();</div>
264
- <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; <span class="keywordflow">for</span> (; it != pairVec.end() &amp;&amp; rhsIt != rhsPairVec.end(); ++it, ++rhsIt)</div>
265
- <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; {</div>
266
- <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; <span class="keywordflow">return</span> (*it) &lt; (*rhsIt);</div>
267
- <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; }</div>
268
- <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; </div>
269
- <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
270
- <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; }</div>
271
- <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; }</div>
272
- <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160;}</div>
273
- <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; </div>
274
- <div class="line"><a name="l00262"></a><span class="lineno"><a class="line" href="classSVF_1_1AccessPath.html#a98b8b3428479259fbafd9e527ecc09bb"> 262</a></span>&#160;<a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245">SVF::AccessPath::LSRelation</a> <a class="code" href="classSVF_1_1AccessPath.html#a98b8b3428479259fbafd9e527ecc09bb">AccessPath::checkRelation</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a>&amp; LHS, <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a>&amp; RHS)</div>
275
- <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160;{</div>
276
- <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> lhsLocations = LHS.<a class="code" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">computeAllLocations</a>();</div>
277
- <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> rhsLocations = RHS.<a class="code" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">computeAllLocations</a>();</div>
278
- <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; <span class="keywordflow">if</span> (lhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#a16756e0545fd3d50ab89f45a2e83bb79">intersects</a>(rhsLocations))</div>
279
- <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; {</div>
280
- <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; <span class="keywordflow">if</span> (lhsLocations == rhsLocations)</div>
281
- <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; <span class="keywordflow">return</span> Same;</div>
282
- <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#abbd0e0cf759fad7858224ed8a63aade8">contains</a>(rhsLocations))</div>
283
- <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; <span class="keywordflow">return</span> Superset;</div>
284
- <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#abbd0e0cf759fad7858224ed8a63aade8">contains</a>(lhsLocations))</div>
285
- <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; <span class="keywordflow">return</span> Subset;</div>
286
- <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <span class="keywordflow">else</span></div>
287
- <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; <span class="keywordflow">return</span> Overlap;</div>
288
- <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; }</div>
289
- <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; <span class="keywordflow">else</span></div>
290
- <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; {</div>
291
- <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <span class="keywordflow">return</span> NonOverlap;</div>
292
- <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; }</div>
293
- <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160;}</div>
294
- <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; </div>
295
- <div class="line"><a name="l00284"></a><span class="lineno"><a class="line" href="classSVF_1_1AccessPath.html#a4519477605a58d5821d05951a88abcd0"> 284</a></span>&#160;<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1AccessPath.html#a4519477605a58d5821d05951a88abcd0">AccessPath::dump</a>()<span class="keyword"> const</span></div>
296
- <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160;<span class="keyword"></span>{</div>
297
- <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
298
- <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; std::stringstream rawstr(str);</div>
299
- <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; </div>
300
- <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;AccessPath\tField_Index: &quot;</span> &lt;&lt; getConstantFieldIdx();</div>
301
- <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;,\tNum-Stride: {&quot;</span>;</div>
302
- <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8">OffsetVarAndGepTypePairs</a>&amp; vec = getOffsetVarAndGepTypePairVec();</div>
303
- <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; OffsetVarAndGepTypePairs::const_iterator it = vec.begin();</div>
304
- <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; OffsetVarAndGepTypePairs::const_iterator eit = vec.end();</div>
305
- <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keywordflow">for</span> (; it != eit; ++it)</div>
306
- <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; {</div>
307
- <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* ty = it-&gt;second;</div>
308
- <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot; (Svf var: &quot;</span> &lt;&lt; it-&gt;first-&gt;<a class="code" href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">toString</a>() &lt;&lt; <span class="stringliteral">&quot;, Iter type: &quot;</span> &lt;&lt; *ty &lt;&lt; <span class="stringliteral">&quot;)&quot;</span>;</div>
309
- <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; }</div>
310
- <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot; }\n&quot;</span>;</div>
311
- <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
312
- <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160;}</div>
177
+ <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> flattenIdx = structType-&gt;getTypeInfo()-&gt;getFlattenedFieldIdxVec()[structField];</div>
178
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; type2 = structType-&gt;<a class="code" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">getTypeInfo</a>()-&gt;<a class="code" href="classSVF_1_1StInfo.html#a055697f565cb9d73b41110090fe50159">getOriginalElemType</a>(flattenIdx);</div>
179
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; totalConstOffset += type2-&gt;<a class="code" href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">getLLVMByteSize</a>();</div>
180
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; }</div>
181
+ <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; }</div>
182
+ <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; <span class="keywordflow">else</span></div>
183
+ <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; {</div>
184
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; totalConstOffset += op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>() * type2-&gt;<a class="code" href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">getLLVMByteSize</a>();</div>
185
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; }</div>
186
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; }</div>
187
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <span class="keywordflow">return</span> totalConstOffset;</div>
188
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160;}</div>
189
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; </div>
190
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; </div>
191
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160;<span class="comment">// struct inner{ int rollNumber; float percentage;};</span></div>
192
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160;<span class="comment">// struct Student { struct inner rollNumber; char studentName[10][3];}</span></div>
193
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160;<span class="comment">// char x = studentRecord[1].studentName[3][2];</span></div>
194
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; </div>
195
+ <div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651"> 180</a></span>&#160;<a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> <a class="code" href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651">AccessPath::computeConstantOffset</a>()<span class="keyword"> const</span></div>
196
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160;<span class="keyword"></span>{</div>
197
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; </div>
198
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; assert(isConstantOffset() &amp;&amp; <span class="stringliteral">&quot;not a constant offset&quot;</span>);</div>
199
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; </div>
200
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">if</span>(offsetVarAndGepTypePairs.empty())</div>
201
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <span class="keywordflow">return</span> getConstantFieldIdx();</div>
202
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; </div>
203
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> totalConstOffset = 0;</div>
204
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <span class="keywordflow">for</span>(<span class="keywordtype">int</span> i = offsetVarAndGepTypePairs.size() - 1; i &gt;= 0; i--)</div>
205
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; {</div>
206
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* value = offsetVarAndGepTypePairs[i].first-&gt;getValue();</div>
207
+ <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> = offsetVarAndGepTypePairs[i].second;</div>
208
+ <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFConstantInt.html">SVFConstantInt</a>* op = SVFUtil::dyn_cast&lt;SVFConstantInt&gt;(value);</div>
209
+ <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; assert(op &amp;&amp; <span class="stringliteral">&quot;not a constant offset?&quot;</span>);</div>
210
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>==<span class="keyword">nullptr</span>)</div>
211
+ <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; {</div>
212
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; totalConstOffset += op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>();</div>
213
+ <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <span class="keywordflow">continue</span>;</div>
214
+ <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; }</div>
215
+ <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; </div>
216
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFPointerType.html">SVFPointerType</a>* pty = SVFUtil::dyn_cast&lt;SVFPointerType&gt;(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
217
+ <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; totalConstOffset += op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>() * getElementNum(pty-&gt;getPtrElementType());</div>
218
+ <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; <span class="keywordflow">else</span></div>
219
+ <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; {</div>
220
+ <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>();</div>
221
+ <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> &gt;= 0)</div>
222
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; {</div>
223
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> flattenOffset =</div>
224
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">getFlattenedElemIdx</a>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>,</div>
225
+ <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>);</div>
226
+ <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; totalConstOffset += flattenOffset;</div>
227
+ <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; }</div>
228
+ <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keywordflow">else</span></div>
229
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; totalConstOffset += <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>;</div>
230
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; }</div>
231
+ <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; }</div>
232
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; <span class="keywordflow">return</span> totalConstOffset;</div>
233
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160;}</div>
234
+ <div class="line"><a name="l00222"></a><span class="lineno"><a class="line" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf"> 222</a></span>&#160;<a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> <a class="code" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">AccessPath::computeAllLocations</a>()<span class="keyword"> const</span></div>
235
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160;<span class="keyword"></span>{</div>
236
+ <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> result;</div>
237
+ <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; result.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(getConstantFieldIdx());</div>
238
+ <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="keywordflow">return</span> result;</div>
239
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160;}</div>
240
+ <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; </div>
241
+ <div class="line"><a name="l00229"></a><span class="lineno"><a class="line" href="classSVF_1_1AccessPath.html#a6591b6092a829b0c874754b649087aa2"> 229</a></span>&#160;<a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a> <a class="code" href="classSVF_1_1AccessPath.html#a6591b6092a829b0c874754b649087aa2">AccessPath::operator+</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a>&amp; rhs)<span class="keyword"> const</span></div>
242
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160;<span class="keyword"></span>{</div>
243
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a> ap(rhs);</div>
244
+ <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; ap.<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a> += getConstantFieldIdx();</div>
245
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> &amp;<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a> : ap.<a class="code" href="classSVF_1_1AccessPath.html#ab0641554924d44f16c2831cac63ccf8b">getOffsetVarAndGepTypePairVec</a>())</div>
246
+ <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; ap.<a class="code" href="classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd">addOffsetVarAndGepTypePair</a>(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.first, <a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.second);</div>
247
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; </div>
248
+ <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; <span class="keywordflow">return</span> ap;</div>
249
+ <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160;}</div>
250
+ <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; </div>
251
+ <div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="classSVF_1_1AccessPath.html#ae0f38a5f473af89678db2755667c3421"> 239</a></span>&#160;<span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AccessPath.html#ae0f38a5f473af89678db2755667c3421">AccessPath::operator&lt; </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a>&amp; rhs)<span class="keyword"> const</span></div>
252
+ <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160;<span class="keyword"></span>{</div>
253
+ <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; <span class="keywordflow">if</span> (fldIdx != rhs.<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>)</div>
254
+ <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; <span class="keywordflow">return</span> (fldIdx &lt; rhs.<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>);</div>
255
+ <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; <span class="keywordflow">else</span></div>
256
+ <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; {</div>
257
+ <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8">OffsetVarAndGepTypePairs</a>&amp; pairVec = getOffsetVarAndGepTypePairVec();</div>
258
+ <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8">OffsetVarAndGepTypePairs</a>&amp; rhsPairVec = rhs.<a class="code" href="classSVF_1_1AccessPath.html#ab0641554924d44f16c2831cac63ccf8b">getOffsetVarAndGepTypePairVec</a>();</div>
259
+ <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; <span class="keywordflow">if</span> (pairVec.size() != rhsPairVec.size())</div>
260
+ <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; <span class="keywordflow">return</span> (pairVec.size() &lt; rhsPairVec.size());</div>
261
+ <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; <span class="keywordflow">else</span></div>
262
+ <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; {</div>
263
+ <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; OffsetVarAndGepTypePairs::const_iterator it = pairVec.begin();</div>
264
+ <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; OffsetVarAndGepTypePairs::const_iterator rhsIt = rhsPairVec.begin();</div>
265
+ <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; <span class="keywordflow">for</span> (; it != pairVec.end() &amp;&amp; rhsIt != rhsPairVec.end(); ++it, ++rhsIt)</div>
266
+ <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; {</div>
267
+ <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <span class="keywordflow">return</span> (*it) &lt; (*rhsIt);</div>
268
+ <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; }</div>
269
+ <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; </div>
270
+ <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
271
+ <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; }</div>
272
+ <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; }</div>
273
+ <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160;}</div>
274
+ <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; </div>
275
+ <div class="line"><a name="l00263"></a><span class="lineno"><a class="line" href="classSVF_1_1AccessPath.html#a98b8b3428479259fbafd9e527ecc09bb"> 263</a></span>&#160;<a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245">SVF::AccessPath::LSRelation</a> <a class="code" href="classSVF_1_1AccessPath.html#a98b8b3428479259fbafd9e527ecc09bb">AccessPath::checkRelation</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a>&amp; LHS, <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a>&amp; RHS)</div>
276
+ <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160;{</div>
277
+ <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> lhsLocations = LHS.<a class="code" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">computeAllLocations</a>();</div>
278
+ <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> rhsLocations = RHS.<a class="code" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">computeAllLocations</a>();</div>
279
+ <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <span class="keywordflow">if</span> (lhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#a16756e0545fd3d50ab89f45a2e83bb79">intersects</a>(rhsLocations))</div>
280
+ <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; {</div>
281
+ <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; <span class="keywordflow">if</span> (lhsLocations == rhsLocations)</div>
282
+ <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; <span class="keywordflow">return</span> Same;</div>
283
+ <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#abbd0e0cf759fad7858224ed8a63aade8">contains</a>(rhsLocations))</div>
284
+ <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <span class="keywordflow">return</span> Superset;</div>
285
+ <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#abbd0e0cf759fad7858224ed8a63aade8">contains</a>(lhsLocations))</div>
286
+ <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <span class="keywordflow">return</span> Subset;</div>
287
+ <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; <span class="keywordflow">else</span></div>
288
+ <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; <span class="keywordflow">return</span> Overlap;</div>
289
+ <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; }</div>
290
+ <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; <span class="keywordflow">else</span></div>
291
+ <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; {</div>
292
+ <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; <span class="keywordflow">return</span> NonOverlap;</div>
293
+ <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; }</div>
294
+ <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160;}</div>
295
+ <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; </div>
296
+ <div class="line"><a name="l00285"></a><span class="lineno"><a class="line" href="classSVF_1_1AccessPath.html#a4519477605a58d5821d05951a88abcd0"> 285</a></span>&#160;<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1AccessPath.html#a4519477605a58d5821d05951a88abcd0">AccessPath::dump</a>()<span class="keyword"> const</span></div>
297
+ <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160;<span class="keyword"></span>{</div>
298
+ <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
299
+ <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; std::stringstream rawstr(str);</div>
300
+ <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; </div>
301
+ <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;AccessPath\tField_Index: &quot;</span> &lt;&lt; getConstantFieldIdx();</div>
302
+ <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;,\tNum-Stride: {&quot;</span>;</div>
303
+ <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8">OffsetVarAndGepTypePairs</a>&amp; vec = getOffsetVarAndGepTypePairVec();</div>
304
+ <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; OffsetVarAndGepTypePairs::const_iterator it = vec.begin();</div>
305
+ <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; OffsetVarAndGepTypePairs::const_iterator eit = vec.end();</div>
306
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <span class="keywordflow">for</span> (; it != eit; ++it)</div>
307
+ <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; {</div>
308
+ <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* ty = it-&gt;second;</div>
309
+ <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot; (Svf var: &quot;</span> &lt;&lt; it-&gt;first-&gt;<a class="code" href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">toString</a>() &lt;&lt; <span class="stringliteral">&quot;, Iter type: &quot;</span> &lt;&lt; *ty &lt;&lt; <span class="stringliteral">&quot;)&quot;</span>;</div>
310
+ <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; }</div>
311
+ <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot; }\n&quot;</span>;</div>
312
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
313
+ <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160;}</div>
313
314
  </div><!-- fragment --></div><!-- contents -->
314
315
  <div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00061">SVFType.h:61</a></div></div>
315
316
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a16756e0545fd3d50ab89f45a2e83bb79"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a16756e0545fd3d50ab89f45a2e83bb79">SVF::SparseBitVector::intersects</a></div><div class="ttdeci">bool intersects(const SparseBitVector&lt; ElementSize &gt; *RHS) const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01031">SparseBitVector.h:1031</a></div></div>
@@ -320,36 +321,36 @@ $(function() {
320
321
  <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
321
322
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
322
323
  <div class="ttc" id="aAccessPath_8h_html"><div class="ttname"><a href="AccessPath_8h.html">AccessPath.h</a></div></div>
323
- <div class="ttc" id="aclassSVF_1_1AccessPath_html_ae0f38a5f473af89678db2755667c3421"><div class="ttname"><a href="classSVF_1_1AccessPath.html#ae0f38a5f473af89678db2755667c3421">SVF::AccessPath::operator&lt;</a></div><div class="ttdeci">bool operator&lt;(const AccessPath &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00238">AccessPath.cpp:238</a></div></div>
324
+ <div class="ttc" id="aclassSVF_1_1AccessPath_html_ae0f38a5f473af89678db2755667c3421"><div class="ttname"><a href="classSVF_1_1AccessPath.html#ae0f38a5f473af89678db2755667c3421">SVF::AccessPath::operator&lt;</a></div><div class="ttdeci">bool operator&lt;(const AccessPath &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00239">AccessPath.cpp:239</a></div></div>
324
325
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_a2358a8194b5e2c4bcbb5218dee7fcbcd"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd">SVF::AccessPath::addOffsetVarAndGepTypePair</a></div><div class="ttdeci">bool addOffsetVarAndGepTypePair(const SVFVar *var, const SVFType *gepIterType)</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00042">AccessPath.cpp:42</a></div></div>
325
326
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
326
- <div class="ttc" id="aclassSVF_1_1AccessPath_html_a76222b6571e46e8a8bd5c8c597c8ffaf"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">SVF::AccessPath::computeAllLocations</a></div><div class="ttdeci">NodeBS computeAllLocations() const</div><div class="ttdoc">Compute all possible locations according to offset and number-stride pairs.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00221">AccessPath.cpp:221</a></div></div>
327
+ <div class="ttc" id="aclassSVF_1_1AccessPath_html_a76222b6571e46e8a8bd5c8c597c8ffaf"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">SVF::AccessPath::computeAllLocations</a></div><div class="ttdeci">NodeBS computeAllLocations() const</div><div class="ttdoc">Compute all possible locations according to offset and number-stride pairs.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00222">AccessPath.cpp:222</a></div></div>
327
328
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_a3c98f0c5f07109f9da0a8a897aa51d18"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a3c98f0c5f07109f9da0a8a897aa51d18">SVF::AccessPath::getElementNum</a></div><div class="ttdeci">u32_t getElementNum(const SVFType *type) const</div><div class="ttdoc">Return element number of a type.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00063">AccessPath.cpp:63</a></div></div>
328
329
  <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
329
330
  <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
330
331
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a24df52313f8093bb651ae9da972cd663"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">SVF::SymbolTableInfo::getFlattenedElemIdx</a></div><div class="ttdeci">u32_t getFlattenedElemIdx(const SVFType *T, u32_t origId)</div><div class="ttdoc">Flattened element idx of an array or struct by considering stride.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00181">SymbolTableInfo.cpp:181</a></div></div>
331
- <div class="ttc" id="aclassSVF_1_1AccessPath_html_a98b8b3428479259fbafd9e527ecc09bb"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a98b8b3428479259fbafd9e527ecc09bb">SVF::AccessPath::checkRelation</a></div><div class="ttdeci">LSRelation checkRelation(const AccessPath &amp;LHS, const AccessPath &amp;RHS)</div><div class="ttdoc">Check relations of two location sets.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00262">AccessPath.cpp:262</a></div></div>
332
+ <div class="ttc" id="aclassSVF_1_1AccessPath_html_a98b8b3428479259fbafd9e527ecc09bb"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a98b8b3428479259fbafd9e527ecc09bb">SVF::AccessPath::checkRelation</a></div><div class="ttdeci">LSRelation checkRelation(const AccessPath &amp;LHS, const AccessPath &amp;RHS)</div><div class="ttdoc">Check relations of two location sets.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00263">AccessPath.cpp:263</a></div></div>
332
333
  <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
333
334
  <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>
334
- <div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00455">SVFType.h:455</a></div></div>
335
+ <div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00462">SVFType.h:462</a></div></div>
335
336
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a0091b8b186ad359a1b54ac7e0ee1e5d0"><div class="ttname"><a href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">SVF::SVFType::getLLVMByteSize</a></div><div class="ttdeci">u32_t getLLVMByteSize() const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
336
337
  <div class="ttc" id="aclassSVF_1_1AccessPath_html"><div class="ttname"><a href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00052">AccessPath.h:52</a></div></div>
337
338
  <div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
338
339
  <div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00242">SVFType.h:242</a></div></div>
339
- <div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00422">SVFType.h:422</a></div></div>
340
- <div class="ttc" id="aclassSVF_1_1AccessPath_html_ae746362c42da05a641ae062658e40651"><div class="ttname"><a href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651">SVF::AccessPath::computeConstantOffset</a></div><div class="ttdeci">APOffset computeConstantOffset() const</div><div class="ttdoc">For example,.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00179">AccessPath.cpp:179</a></div></div>
340
+ <div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00429">SVFType.h:429</a></div></div>
341
+ <div class="ttc" id="aclassSVF_1_1AccessPath_html_ae746362c42da05a641ae062658e40651"><div class="ttname"><a href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651">SVF::AccessPath::computeConstantOffset</a></div><div class="ttdeci">APOffset computeConstantOffset() const</div><div class="ttdoc">For example,.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00180">AccessPath.cpp:180</a></div></div>
341
342
  <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html">SVF::SVFConstantInt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00955">SVFValue.h:955</a></div></div>
342
343
  <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
343
344
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a9035ac13134de4647d63507cd80ca3d6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">SVF::SVFType::toString</a></div><div class="ttdeci">std::string toString() const</div></div>
344
345
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_ab0641554924d44f16c2831cac63ccf8b"><div class="ttname"><a href="classSVF_1_1AccessPath.html#ab0641554924d44f16c2831cac63ccf8b">SVF::AccessPath::getOffsetVarAndGepTypePairVec</a></div><div class="ttdeci">const OffsetVarAndGepTypePairs &amp; getOffsetVarAndGepTypePairVec() const</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00106">AccessPath.h:106</a></div></div>
345
346
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00081">SymbolTableInfo.cpp:81</a></div></div>
346
347
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a05850c17c2dbe42e5602dc8c9a70f3bd"><div class="ttname"><a href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">SVF::SVFType::getTypeInfo</a></div><div class="ttdeci">StInfo * getTypeInfo()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00309">SVFType.h:309</a></div></div>
347
- <div class="ttc" id="aclassSVF_1_1AccessPath_html_a6591b6092a829b0c874754b649087aa2"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a6591b6092a829b0c874754b649087aa2">SVF::AccessPath::operator+</a></div><div class="ttdeci">AccessPath operator+(const AccessPath &amp;rhs) const</div><div class="ttdoc">Overload operators.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00228">AccessPath.cpp:228</a></div></div>
348
+ <div class="ttc" id="aclassSVF_1_1AccessPath_html_a6591b6092a829b0c874754b649087aa2"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a6591b6092a829b0c874754b649087aa2">SVF::AccessPath::operator+</a></div><div class="ttdeci">AccessPath operator+(const AccessPath &amp;rhs) const</div><div class="ttdoc">Overload operators.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00229">AccessPath.cpp:229</a></div></div>
348
349
  <div class="ttc" id="acJSON_8cpp_html_a95bf816579e97b6f33bdb5e25ed6d5de"><div class="ttname"><a href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a></div><div class="ttdeci">buffer offset</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01113">cJSON.cpp:1113</a></div></div>
349
350
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
350
351
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_a403312192a96a9fd5e7d071481592a7f"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a403312192a96a9fd5e7d071481592a7f">SVF::AccessPath::isConstantOffset</a></div><div class="ttdeci">bool isConstantOffset() const</div><div class="ttdoc">Return TRUE if this is a constant location set.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00049">AccessPath.cpp:49</a></div></div>
351
352
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_aa1747064a0833855a5848ebf4a4d65fa"><div class="ttname"><a href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">SVF::AccessPath::fldIdx</a></div><div class="ttdeci">APOffset fldIdx</div><div class="ttdoc">Accumulated Constant Offsets.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00165">AccessPath.h:165</a></div></div>
352
- <div class="ttc" id="aclassSVF_1_1AccessPath_html_a4519477605a58d5821d05951a88abcd0"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a4519477605a58d5821d05951a88abcd0">SVF::AccessPath::dump</a></div><div class="ttdeci">std::string dump() const</div><div class="ttdoc">Dump location set.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00284">AccessPath.cpp:284</a></div></div>
353
+ <div class="ttc" id="aclassSVF_1_1AccessPath_html_a4519477605a58d5821d05951a88abcd0"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a4519477605a58d5821d05951a88abcd0">SVF::AccessPath::dump</a></div><div class="ttdeci">std::string dump() const</div><div class="ttdoc">Dump location set.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00285">AccessPath.cpp:285</a></div></div>
353
354
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_aabb6c9600fac408f36b9fde013597245"><div class="ttname"><a href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245">SVF::AccessPath::LSRelation</a></div><div class="ttdeci">LSRelation</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00059">AccessPath.h:59</a></div></div>
354
355
  <div class="ttc" id="aclassSVF_1_1StInfo_html_a055697f565cb9d73b41110090fe50159"><div class="ttname"><a href="classSVF_1_1StInfo.html#a055697f565cb9d73b41110090fe50159">SVF::StInfo::getOriginalElemType</a></div><div class="ttdeci">const SVFType * getOriginalElemType(u32_t fldIdx) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00026">SVFValue.cpp:26</a></div></div>
355
356
  <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_a73f04bdfc19261b65164b98787bc2ed4"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">SVF::SVFConstantInt::getSExtValue</a></div><div class="ttdeci">s64_t getSExtValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00983">SVFValue.h:983</a></div></div>