svf-tools 1.0.830 → 1.0.831

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (353) hide show
  1. package/SVF-doxygen/html/AccessPath_8cpp_source.html +220 -228
  2. package/SVF-doxygen/html/AccessPath_8h_source.html +9 -9
  3. package/SVF-doxygen/html/AndersenSFR_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/Andersen_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/CFLGraphBuilder_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +7 -7
  8. package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/ConsG_8h_source.html +1 -1
  10. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/ContextDDA_8h_source.html +1 -1
  12. package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
  13. package/SVF-doxygen/html/DDAClient_8cpp_source.html +2 -2
  14. package/SVF-doxygen/html/DDAStat_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +4 -4
  16. package/SVF-doxygen/html/FlowDDA_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/FlowDDA_8h_source.html +1 -1
  18. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/IRGraph_8h_source.html +2 -2
  21. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +4 -4
  22. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +364 -397
  23. package/SVF-doxygen/html/LLVMUtil_8h.html +0 -2
  24. package/SVF-doxygen/html/LLVMUtil_8h_source.html +78 -81
  25. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
  26. package/SVF-doxygen/html/MHP_8cpp_source.html +1 -1
  27. package/SVF-doxygen/html/MemRegion_8cpp_source.html +3 -3
  28. package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +4 -4
  30. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +358 -362
  31. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +13 -13
  32. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +5 -5
  33. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +6 -6
  34. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +3 -3
  35. package/SVF-doxygen/html/SVFIR_8cpp_source.html +1 -1
  36. package/SVF-doxygen/html/SVFIR_8h_source.html +1 -1
  37. package/SVF-doxygen/html/SVFStat_8cpp_source.html +12 -12
  38. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
  39. package/SVF-doxygen/html/SVFStatements_8h_source.html +2 -2
  40. package/SVF-doxygen/html/SVFType_8cpp_source.html +38 -39
  41. package/SVF-doxygen/html/SVFType_8h_source.html +5 -5
  42. package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
  43. package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
  44. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
  45. package/SVF-doxygen/html/SVFVariables_8h_source.html +1 -1
  46. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  47. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +1 -1
  49. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +318 -322
  50. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +33 -33
  51. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +1 -1
  52. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  53. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +200 -209
  54. package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  55. package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  56. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  57. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +1 -1
  58. package/SVF-doxygen/html/classSVF_1_1Andersen.html +1 -1
  59. package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +1 -1
  60. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +4 -4
  61. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
  62. package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  63. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
  64. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +3 -3
  65. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +7 -7
  66. package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +1 -1
  67. package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
  68. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
  69. package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
  70. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +2 -2
  71. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
  72. package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
  73. package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
  74. package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
  75. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
  76. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
  77. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  78. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  79. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +2 -2
  80. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +1 -1
  81. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  82. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +1 -1
  83. package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +1 -1
  84. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +2 -2
  85. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +3 -3
  86. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  87. package/SVF-doxygen/html/classSVF_1_1ICFG.html +1 -1
  88. package/SVF-doxygen/html/classSVF_1_1IRGraph.html +2 -2
  89. package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  90. package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  91. package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +1 -1
  92. package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +1 -1
  93. package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  94. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +4 -4
  95. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +1 -1
  96. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
  97. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
  98. package/SVF-doxygen/html/classSVF_1_1MHP.html +1 -1
  99. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +3 -3
  100. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
  101. package/SVF-doxygen/html/classSVF_1_1MemObj.html +121 -121
  102. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +1 -1
  103. package/SVF-doxygen/html/classSVF_1_1ObjTypeInfo.html +28 -28
  104. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +2 -2
  105. package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
  106. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
  107. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +336 -340
  108. package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +1 -1
  109. package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
  110. package/SVF-doxygen/html/classSVF_1_1SVFArrayType.html +4 -4
  111. package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html +4 -4
  112. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +1 -1
  113. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +4 -4
  114. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +6 -6
  115. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +5 -5
  116. package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html +7 -7
  117. package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html +4 -4
  118. package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html +2 -4
  119. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +12 -12
  120. package/SVF-doxygen/html/classSVF_1_1SVFStructType.html +4 -4
  121. package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
  122. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  123. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
  124. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +1 -1
  125. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
  126. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +2 -2
  127. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +103 -107
  128. package/SVF-doxygen/html/classSVF_1_1TCT.html +1 -1
  129. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
  130. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
  131. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +1 -1
  132. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +2 -2
  133. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
  134. package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  135. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  136. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  137. package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +316 -368
  138. package/SVF-doxygen/html/namespacemembers_func_i.html +4 -7
  139. package/SVF-doxygen/html/namespacemembers_i.html +3 -6
  140. package/SVF-doxygen/html/search/all_10.js +324 -324
  141. package/SVF-doxygen/html/search/all_11.js +223 -223
  142. package/SVF-doxygen/html/search/all_12.js +553 -553
  143. package/SVF-doxygen/html/search/all_13.js +192 -192
  144. package/SVF-doxygen/html/search/all_14.js +67 -67
  145. package/SVF-doxygen/html/search/all_15.js +167 -167
  146. package/SVF-doxygen/html/search/all_16.js +63 -63
  147. package/SVF-doxygen/html/search/all_17.js +1 -1
  148. package/SVF-doxygen/html/search/all_18.js +1 -1
  149. package/SVF-doxygen/html/search/all_19.js +11 -11
  150. package/SVF-doxygen/html/search/all_1a.js +172 -172
  151. package/SVF-doxygen/html/search/all_9.js +168 -169
  152. package/SVF-doxygen/html/search/all_a.js +46 -46
  153. package/SVF-doxygen/html/search/all_b.js +26 -26
  154. package/SVF-doxygen/html/search/all_c.js +115 -115
  155. package/SVF-doxygen/html/search/all_d.js +198 -198
  156. package/SVF-doxygen/html/search/all_e.js +207 -207
  157. package/SVF-doxygen/html/search/all_f.js +116 -116
  158. package/SVF-doxygen/html/search/classes_0.js +26 -26
  159. package/SVF-doxygen/html/search/classes_1.js +9 -9
  160. package/SVF-doxygen/html/search/classes_10.js +73 -73
  161. package/SVF-doxygen/html/search/classes_11.js +15 -15
  162. package/SVF-doxygen/html/search/classes_12.js +2 -2
  163. package/SVF-doxygen/html/search/classes_13.js +10 -10
  164. package/SVF-doxygen/html/search/classes_14.js +14 -14
  165. package/SVF-doxygen/html/search/classes_15.js +1 -1
  166. package/SVF-doxygen/html/search/classes_2.js +80 -80
  167. package/SVF-doxygen/html/search/classes_3.js +37 -37
  168. package/SVF-doxygen/html/search/classes_4.js +9 -9
  169. package/SVF-doxygen/html/search/classes_5.js +28 -28
  170. package/SVF-doxygen/html/search/classes_6.js +104 -104
  171. package/SVF-doxygen/html/search/classes_7.js +34 -34
  172. package/SVF-doxygen/html/search/classes_8.js +56 -56
  173. package/SVF-doxygen/html/search/classes_9.js +1 -1
  174. package/SVF-doxygen/html/search/classes_a.js +12 -12
  175. package/SVF-doxygen/html/search/classes_b.js +29 -29
  176. package/SVF-doxygen/html/search/classes_c.js +6 -6
  177. package/SVF-doxygen/html/search/classes_d.js +18 -18
  178. package/SVF-doxygen/html/search/classes_e.js +36 -36
  179. package/SVF-doxygen/html/search/classes_f.js +25 -25
  180. package/SVF-doxygen/html/search/defines_0.js +3 -3
  181. package/SVF-doxygen/html/search/defines_1.js +2 -2
  182. package/SVF-doxygen/html/search/defines_2.js +30 -30
  183. package/SVF-doxygen/html/search/defines_3.js +21 -21
  184. package/SVF-doxygen/html/search/defines_4.js +2 -2
  185. package/SVF-doxygen/html/search/defines_5.js +4 -4
  186. package/SVF-doxygen/html/search/defines_6.js +2 -2
  187. package/SVF-doxygen/html/search/defines_7.js +5 -5
  188. package/SVF-doxygen/html/search/defines_8.js +11 -11
  189. package/SVF-doxygen/html/search/defines_9.js +9 -9
  190. package/SVF-doxygen/html/search/defines_a.js +2 -2
  191. package/SVF-doxygen/html/search/defines_b.js +1 -1
  192. package/SVF-doxygen/html/search/defines_c.js +3 -3
  193. package/SVF-doxygen/html/search/defines_d.js +2 -2
  194. package/SVF-doxygen/html/search/defines_e.js +7 -7
  195. package/SVF-doxygen/html/search/defines_f.js +3 -3
  196. package/SVF-doxygen/html/search/enums_0.js +3 -3
  197. package/SVF-doxygen/html/search/enums_1.js +2 -2
  198. package/SVF-doxygen/html/search/enums_10.js +1 -1
  199. package/SVF-doxygen/html/search/enums_11.js +1 -1
  200. package/SVF-doxygen/html/search/enums_2.js +8 -8
  201. package/SVF-doxygen/html/search/enums_3.js +1 -1
  202. package/SVF-doxygen/html/search/enums_4.js +3 -3
  203. package/SVF-doxygen/html/search/enums_5.js +1 -1
  204. package/SVF-doxygen/html/search/enums_6.js +2 -2
  205. package/SVF-doxygen/html/search/enums_7.js +2 -2
  206. package/SVF-doxygen/html/search/enums_8.js +4 -4
  207. package/SVF-doxygen/html/search/enums_9.js +1 -1
  208. package/SVF-doxygen/html/search/enums_a.js +1 -1
  209. package/SVF-doxygen/html/search/enums_b.js +7 -7
  210. package/SVF-doxygen/html/search/enums_c.js +1 -1
  211. package/SVF-doxygen/html/search/enums_d.js +4 -4
  212. package/SVF-doxygen/html/search/enums_e.js +2 -2
  213. package/SVF-doxygen/html/search/enums_f.js +4 -4
  214. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  215. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  216. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  217. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  218. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  219. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  220. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  221. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  222. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  223. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  224. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  225. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  226. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  227. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  228. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  229. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  230. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  231. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  232. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  233. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  234. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  235. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  236. package/SVF-doxygen/html/search/files_0.js +13 -13
  237. package/SVF-doxygen/html/search/files_1.js +7 -7
  238. package/SVF-doxygen/html/search/files_10.js +8 -8
  239. package/SVF-doxygen/html/search/files_11.js +8 -8
  240. package/SVF-doxygen/html/search/files_12.js +2 -2
  241. package/SVF-doxygen/html/search/files_2.js +55 -55
  242. package/SVF-doxygen/html/search/files_3.js +14 -14
  243. package/SVF-doxygen/html/search/files_4.js +5 -5
  244. package/SVF-doxygen/html/search/files_5.js +13 -13
  245. package/SVF-doxygen/html/search/files_6.js +9 -9
  246. package/SVF-doxygen/html/search/files_7.js +14 -14
  247. package/SVF-doxygen/html/search/files_8.js +13 -13
  248. package/SVF-doxygen/html/search/files_9.js +18 -18
  249. package/SVF-doxygen/html/search/files_a.js +3 -3
  250. package/SVF-doxygen/html/search/files_b.js +2 -2
  251. package/SVF-doxygen/html/search/files_c.js +20 -20
  252. package/SVF-doxygen/html/search/files_d.js +4 -4
  253. package/SVF-doxygen/html/search/files_e.js +62 -62
  254. package/SVF-doxygen/html/search/files_f.js +8 -8
  255. package/SVF-doxygen/html/search/functions_0.js +13 -13
  256. package/SVF-doxygen/html/search/functions_1.js +360 -360
  257. package/SVF-doxygen/html/search/functions_10.js +140 -140
  258. package/SVF-doxygen/html/search/functions_11.js +139 -139
  259. package/SVF-doxygen/html/search/functions_12.js +288 -288
  260. package/SVF-doxygen/html/search/functions_13.js +59 -59
  261. package/SVF-doxygen/html/search/functions_14.js +39 -39
  262. package/SVF-doxygen/html/search/functions_15.js +71 -71
  263. package/SVF-doxygen/html/search/functions_16.js +32 -32
  264. package/SVF-doxygen/html/search/functions_17.js +3 -3
  265. package/SVF-doxygen/html/search/functions_18.js +172 -172
  266. package/SVF-doxygen/html/search/functions_2.js +89 -89
  267. package/SVF-doxygen/html/search/functions_3.js +258 -258
  268. package/SVF-doxygen/html/search/functions_4.js +78 -78
  269. package/SVF-doxygen/html/search/functions_5.js +53 -53
  270. package/SVF-doxygen/html/search/functions_6.js +60 -60
  271. package/SVF-doxygen/html/search/functions_7.js +857 -857
  272. package/SVF-doxygen/html/search/functions_8.js +149 -149
  273. package/SVF-doxygen/html/search/functions_9.js +422 -423
  274. package/SVF-doxygen/html/search/functions_a.js +30 -30
  275. package/SVF-doxygen/html/search/functions_b.js +2 -2
  276. package/SVF-doxygen/html/search/functions_c.js +25 -25
  277. package/SVF-doxygen/html/search/functions_d.js +79 -79
  278. package/SVF-doxygen/html/search/functions_e.js +35 -35
  279. package/SVF-doxygen/html/search/functions_f.js +56 -56
  280. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  281. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  282. package/SVF-doxygen/html/search/related_0.js +2 -2
  283. package/SVF-doxygen/html/search/related_1.js +2 -2
  284. package/SVF-doxygen/html/search/related_2.js +2 -2
  285. package/SVF-doxygen/html/search/related_3.js +2 -2
  286. package/SVF-doxygen/html/search/related_4.js +2 -2
  287. package/SVF-doxygen/html/search/related_5.js +1 -1
  288. package/SVF-doxygen/html/search/related_6.js +2 -2
  289. package/SVF-doxygen/html/search/related_7.js +4 -4
  290. package/SVF-doxygen/html/search/related_8.js +2 -2
  291. package/SVF-doxygen/html/search/related_9.js +4 -4
  292. package/SVF-doxygen/html/search/related_a.js +19 -19
  293. package/SVF-doxygen/html/search/related_b.js +4 -4
  294. package/SVF-doxygen/html/search/related_c.js +2 -2
  295. package/SVF-doxygen/html/search/related_d.js +12 -12
  296. package/SVF-doxygen/html/search/related_e.js +2 -2
  297. package/SVF-doxygen/html/search/related_f.js +2 -2
  298. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  299. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  300. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  301. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  302. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  303. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  304. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  305. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  306. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  307. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  308. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  309. package/SVF-doxygen/html/search/typedefs_6.js +56 -56
  310. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  311. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  312. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  313. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  314. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  315. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  316. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  317. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  318. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  319. package/SVF-doxygen/html/search/variables_0.js +151 -151
  320. package/SVF-doxygen/html/search/variables_1.js +75 -75
  321. package/SVF-doxygen/html/search/variables_10.js +97 -97
  322. package/SVF-doxygen/html/search/variables_11.js +44 -44
  323. package/SVF-doxygen/html/search/variables_12.js +92 -92
  324. package/SVF-doxygen/html/search/variables_13.js +76 -76
  325. package/SVF-doxygen/html/search/variables_14.js +14 -14
  326. package/SVF-doxygen/html/search/variables_15.js +48 -48
  327. package/SVF-doxygen/html/search/variables_16.js +9 -9
  328. package/SVF-doxygen/html/search/variables_17.js +1 -1
  329. package/SVF-doxygen/html/search/variables_18.js +2 -2
  330. package/SVF-doxygen/html/search/variables_2.js +38 -38
  331. package/SVF-doxygen/html/search/variables_3.js +142 -142
  332. package/SVF-doxygen/html/search/variables_4.js +55 -55
  333. package/SVF-doxygen/html/search/variables_5.js +37 -37
  334. package/SVF-doxygen/html/search/variables_6.js +66 -66
  335. package/SVF-doxygen/html/search/variables_7.js +34 -34
  336. package/SVF-doxygen/html/search/variables_8.js +7 -7
  337. package/SVF-doxygen/html/search/variables_9.js +78 -78
  338. package/SVF-doxygen/html/search/variables_a.js +4 -4
  339. package/SVF-doxygen/html/search/variables_b.js +10 -10
  340. package/SVF-doxygen/html/search/variables_c.js +45 -45
  341. package/SVF-doxygen/html/search/variables_d.js +56 -56
  342. package/SVF-doxygen/html/search/variables_e.js +123 -123
  343. package/SVF-doxygen/html/search/variables_f.js +30 -30
  344. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  345. package/SVF-doxygen/html/svf-ex_8cpp.html +1 -1
  346. package/SVF-doxygen/html/svf-ex_8cpp_source.html +1 -1
  347. package/package.json +1 -1
  348. package/svf/lib/MemoryModel/AccessPath.cpp +3 -12
  349. package/svf/lib/MemoryModel/PointerAnalysis.cpp +0 -3
  350. package/svf/lib/SVFIR/SVFType.cpp +1 -2
  351. package/svf/lib/SVFIR/SymbolTableInfo.cpp +1 -5
  352. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +0 -1
  353. package/svf-llvm/lib/LLVMUtil.cpp +0 -31
@@ -734,7 +734,7 @@ $(function() {
734
734
  <div class="ttc" id="aclassSVF_1_1IntraICFGNode_html_a85d3e05cb5a95c2f9d678d9f010419a5"><div class="ttname"><a href="classSVF_1_1IntraICFGNode.html#a85d3e05cb5a95c2f9d678d9f010419a5">SVF::IntraICFGNode::toString</a></div><div class="ttdeci">const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00085">ICFG.cpp:85</a></div></div>
735
735
  <div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html_aa73e5a5e577b789842987fec2fb307f9"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html#aa73e5a5e577b789842987fec2fb307f9">SVF::FunExitICFGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00113">ICFG.cpp:113</a></div></div>
736
736
  <div class="ttc" id="aclassSVF_1_1ICFG_html_ac51c8f38efbd2576e150a9fc26a4a41b"><div class="ttname"><a href="classSVF_1_1ICFG.html#ac51c8f38efbd2576e150a9fc26a4a41b">SVF::ICFG::addCallBlock</a></div><div class="ttdeci">CallICFGNode * addCallBlock(const SVFInstruction *cs)</div><div class="ttdoc">Get/Add a call node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00277">ICFG.h:277</a></div></div>
737
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01385">LLVMUtil.cpp:1385</a></div></div>
737
+ <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01354">LLVMUtil.cpp:1354</a></div></div>
738
738
  <div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html">SVF::FunExitICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00324">ICFGNode.h:324</a></div></div>
739
739
  <div class="ttc" id="aclassSVF_1_1GraphPrinter_html_a014217fb0d05c8f2a2f1a6c5b19d3e10"><div class="ttname"><a href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">SVF::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &amp;O, const std::string &amp;GraphName, const GraphType &amp;GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00056">GraphPrinter.h:56</a></div></div>
740
740
  <div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html_a106513578790247f9d96e34c8385b3d8"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a106513578790247f9d96e34c8385b3d8">SVF::IntraCFGEdge::getSuccessorCondValue</a></div><div class="ttdeci">s64_t getSuccessorCondValue() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00145">ICFGEdge.h:145</a></div></div>
@@ -326,7 +326,7 @@ $(function() {
326
326
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a65f49178a948380c2d6105178509a906"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a65f49178a948380c2d6105178509a906">SVF::SymbolTableInfo::getObj</a></div><div class="ttdeci">MemObj * getObj(SymID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00223">SymbolTableInfo.h:223</a></div></div>
327
327
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0a8831a5429005ff9d71adbd6bf3994f"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::addGNode</a></div><div class="ttdeci">void addGNode(NodeID id, NodeType *node)</div><div class="ttdoc">Add a Node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00399">GenericGraph.h:399</a></div></div>
328
328
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a1cb32461439c4dc8d044c2bfadb11307"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307">SVF::IRGraph::dump</a></div><div class="ttdeci">void dump(std::string name)</div><div class="ttdoc">Dump SVFIR.</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8cpp_source.html#l00102">IRGraph.cpp:102</a></div></div>
329
- <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a72be51342f633844f59c5a46b7e01583"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a72be51342f633844f59c5a46b7e01583">SVF::SymbolTableInfo::getValSym</a></div><div class="ttdeci">SymID getValSym(const SVFValue *val)</div><div class="ttdoc">Get different kinds of syms.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00569">SymbolTableInfo.cpp:569</a></div></div>
329
+ <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a72be51342f633844f59c5a46b7e01583"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a72be51342f633844f59c5a46b7e01583">SVF::SymbolTableInfo::getValSym</a></div><div class="ttdeci">SymID getValSym(const SVFValue *val)</div><div class="ttdoc">Get different kinds of syms.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00565">SymbolTableInfo.cpp:565</a></div></div>
330
330
  <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
331
331
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a0212f3fe2f37363e8060f292c8cf7668"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a0212f3fe2f37363e8060f292c8cf7668">SVF::IRGraph::getValueNodeNum</a></div><div class="ttdeci">u32_t getValueNodeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00187">IRGraph.h:187</a></div></div>
332
332
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_ab582424fdb6d9674c1bd4466cdfbe497"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#ab582424fdb6d9674c1bd4466cdfbe497">SVF::SymbolTableInfo::constantSymID</a></div><div class="ttdeci">SymID constantSymID() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00193">SymbolTableInfo.h:193</a></div></div>
@@ -389,7 +389,7 @@ $(function() {
389
389
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a5a34f23fee4f84e74908041efebd6867"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867">SVF::IRGraph::getGraphName</a></div><div class="ttdeci">std::string getGraphName() const</div><div class="ttdoc">Return graph name.</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00217">IRGraph.h:217</a></div></div>
390
390
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html"><div class="ttname"><a href="classSVF_1_1GenericGraph.html">SVF::GenericGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00344">GenericGraph.h:344</a></div></div>
391
391
  <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
392
- <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_af5e91f2ace726b1f05b045681d2bd117"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117">SVF::SymbolTableInfo::hasValSym</a></div><div class="ttdeci">bool hasValSym(const SVFValue *val)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00584">SymbolTableInfo.cpp:584</a></div></div>
392
+ <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_af5e91f2ace726b1f05b045681d2bd117"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117">SVF::SymbolTableInfo::hasValSym</a></div><div class="ttdeci">bool hasValSym(const SVFValue *val)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00580">SymbolTableInfo.cpp:580</a></div></div>
393
393
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a7cf19b236d4e44f8ae8da9b303466b36"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a7cf19b236d4e44f8ae8da9b303466b36">SVF::SymbolTableInfo::getObjSym</a></div><div class="ttdeci">SymID getObjSym(const SVFValue *val) const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00213">SymbolTableInfo.h:213</a></div></div>
394
394
  <!-- start footer part -->
395
395
  <hr class="footer"/><address class="footer"><small>
@@ -1608,7 +1608,7 @@ $(function() {
1608
1608
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_ae64d24569942d7c4b18d2198be4839f3"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">SVF::SVFModule::addConstant</a></div><div class="ttdeci">void addConstant(SVFConstant *cd)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00120">SVFModule.h:120</a></div></div>
1609
1609
  <div class="ttc" id="aclassSVF_1_1SVFBlackHoleValue_html"><div class="ttname"><a href="classSVF_1_1SVFBlackHoleValue.html">SVF::SVFBlackHoleValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01044">SVFValue.h:1044</a></div></div>
1610
1610
  <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_abfe3a1ce5fa364d9db7cd2d0e6a144ff"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#abfe3a1ce5fa364d9db7cd2d0e6a144ff">SVF::SVFBasicBlock::addSuccBasicBlock</a></div><div class="ttdeci">void addSuccBasicBlock(const SVFBasicBlock *succ)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00546">SVFValue.h:546</a></div></div>
1611
- <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a41e64f3318e2bf368eebe9a104ef6ad9"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a41e64f3318e2bf368eebe9a104ef6ad9">SVF::LLVMUtil::getFunNameOfVCallSite</a></div><div class="ttdeci">std::string getFunNameOfVCallSite(const CallBase *cs)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01288">LLVMUtil.cpp:1288</a></div></div>
1611
+ <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a41e64f3318e2bf368eebe9a104ef6ad9"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a41e64f3318e2bf368eebe9a104ef6ad9">SVF::LLVMUtil::getFunNameOfVCallSite</a></div><div class="ttdeci">std::string getFunNameOfVCallSite(const CallBase *cs)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01257">LLVMUtil.cpp:1257</a></div></div>
1612
1612
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ad865b8440a6e0d5d212798d2213e1e9c"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c">SVF::SVFFunction::addArgument</a></div><div class="ttdeci">void addArgument(SVFArgument *arg)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00332">SVFValue.h:332</a></div></div>
1613
1613
  <div class="ttc" id="aclassSVF_1_1StInfo_html_ae5fad367673315da57a604e64b5889f0"><div class="ttname"><a href="classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0">SVF::StInfo::getNumOfFlattenFields</a></div><div class="ttdeci">u32_t getNumOfFlattenFields() const</div><div class="ttdoc">Return the number of fields after flattening (ignoring array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00231">SVFType.h:231</a></div></div>
1614
1614
  <div class="ttc" id="aclassSVF_1_1SVFPointerType_html_aaaa79de3df0f6764bfd3d2e487ea7a09"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#aaaa79de3df0f6764bfd3d2e487ea7a09">SVF::SVFPointerType::setPtrElementType</a></div><div class="ttdeci">void setPtrElementType(SVFType *_ptrElementType)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00375">SVFType.h:375</a></div></div>
@@ -1662,7 +1662,7 @@ $(function() {
1662
1662
  <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#l00436">SVFType.h:436</a></div></div>
1663
1663
  <div class="ttc" id="aclassSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00828">SVFValue.h:828</a></div></div>
1664
1664
  <div class="ttc" id="anamespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00085">BasicTypes.h:85</a></div></div>
1665
- <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a3a23aa54459a068e16c96e5b5eb72f77"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a3a23aa54459a068e16c96e5b5eb72f77">SVF::LLVMUtil::getVCallVtblPtr</a></div><div class="ttdeci">const Value * getVCallVtblPtr(const CallBase *cs)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01211">LLVMUtil.cpp:1211</a></div></div>
1665
+ <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a3a23aa54459a068e16c96e5b5eb72f77"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a3a23aa54459a068e16c96e5b5eb72f77">SVF::LLVMUtil::getVCallVtblPtr</a></div><div class="ttdeci">const Value * getVCallVtblPtr(const CallBase *cs)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01180">LLVMUtil.cpp:1180</a></div></div>
1666
1666
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a8a77403306e97ab4cb31a56d38bba5be"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a8a77403306e97ab4cb31a56d38bba5be">SVF::LLVMUtil::isConstDataOrAggData</a></div><div class="ttdeci">bool isConstDataOrAggData(const Value *val)</div><div class="ttdoc">Return true if the value refers to constant data, e.g., i32 0.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00420">LLVMUtil.h:420</a></div></div>
1667
1667
  <div class="ttc" id="anamespaceSVF_html_a2bf58575ac7d068e0f1a4cf953b9e6cb"><div class="ttname"><a href="namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb">SVF::StructType</a></div><div class="ttdeci">llvm::StructType StructType</div><div class="ttdoc">LLVM types.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00092">BasicTypes.h:92</a></div></div>
1668
1668
  <div class="ttc" id="anamespaceSVF_html_a2b28f48dde0a9a91d251e654ce1f9477"><div class="ttname"><a href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">SVF::ConstantStruct</a></div><div class="ttdeci">llvm::ConstantStruct ConstantStruct</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00104">BasicTypes.h:104</a></div></div>
@@ -1689,7 +1689,7 @@ $(function() {
1689
1689
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a8af6b911b728713f66f7c809d5c0fbf1"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1">SVF::LLVMModuleSet::addSVFMain</a></div><div class="ttdeci">void addSVFMain()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00685">LLVMModule.cpp:685</a></div></div>
1690
1690
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a8ba9092747108e0289014d52465a692d"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d">SVF::LLVMModuleSet::initDomTree</a></div><div class="ttdeci">void initDomTree(SVFFunction *func, const Function *f)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00373">LLVMModule.cpp:373</a></div></div>
1691
1691
  <div class="ttc" id="anamespaceSVF_html_aa7a770b5dd5cd0e37d06a1088f252906"><div class="ttname"><a href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">SVF::Module</a></div><div class="ttdeci">llvm::Module Module</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
1692
- <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_ab1b4c565ae6be788b934defc21a5cfaf"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#ab1b4c565ae6be788b934defc21a5cfaf">SVF::LLVMUtil::isVirtualCallSite</a></div><div class="ttdeci">bool isVirtualCallSite(const CallBase *cs)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01023">LLVMUtil.cpp:1023</a></div></div>
1692
+ <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_ab1b4c565ae6be788b934defc21a5cfaf"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#ab1b4c565ae6be788b934defc21a5cfaf">SVF::LLVMUtil::isVirtualCallSite</a></div><div class="ttdeci">bool isVirtualCallSite(const CallBase *cs)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00992">LLVMUtil.cpp:992</a></div></div>
1693
1693
  <div class="ttc" id="anamespaceSVF_html_a86863d104a3930b3a806935d92ddbf30"><div class="ttname"><a href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">SVF::SMDiagnostic</a></div><div class="ttdeci">llvm::SMDiagnostic SMDiagnostic</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00088">BasicTypes.h:88</a></div></div>
1694
1694
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_ae19e38054c55d5822dfc83a12f12aa60"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#ae19e38054c55d5822dfc83a12f12aa60">SVF::LLVMModuleSet::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00337">LLVMModule.h:337</a></div></div>
1695
1695
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a60797e9e8b9cbd6b32cc71fa5d00d80c"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a60797e9e8b9cbd6b32cc71fa5d00d80c">SVF::SVFFunction::back</a></div><div class="ttdeci">const SVFBasicBlock * back() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00427">SVFValue.h:427</a></div></div>
@@ -1772,7 +1772,7 @@ $(function() {
1772
1772
  <div class="ttc" id="aclassSVF_1_1SVFConstantNullPtr_html"><div class="ttname"><a href="classSVF_1_1SVFConstantNullPtr.html">SVF::SVFConstantNullPtr</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01022">SVFValue.h:1022</a></div></div>
1773
1773
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_abba4111230f6009bbf50518ee36a9870"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#abba4111230f6009bbf50518ee36a9870">SVF::LLVMUtil::getPtrElementType</a></div><div class="ttdeci">static Type * getPtrElementType(const PointerType *pty)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00119">LLVMUtil.h:119</a></div></div>
1774
1774
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a3cbba2eb702a3481478b2590dfffa352"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a3cbba2eb702a3481478b2590dfffa352">SVF::LLVMModuleSet::getSVFGlobalValue</a></div><div class="ttdeci">SVFGlobalValue * getSVFGlobalValue(const GlobalValue *g) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00229">LLVMModule.h:229</a></div></div>
1775
- <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a718c8ec79f36cef5df2f4530541f2770"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a718c8ec79f36cef5df2f4530541f2770">SVF::LLVMUtil::getVCallIdx</a></div><div class="ttdeci">s32_t getVCallIdx(const CallBase *cs)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01299">LLVMUtil.cpp:1299</a></div></div>
1775
+ <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a718c8ec79f36cef5df2f4530541f2770"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a718c8ec79f36cef5df2f4530541f2770">SVF::LLVMUtil::getVCallIdx</a></div><div class="ttdeci">s32_t getVCallIdx(const CallBase *cs)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01268">LLVMUtil.cpp:1268</a></div></div>
1776
1776
  <div class="ttc" id="anamespaceSVF_html_a7332f8059ea95472dcc231de884a5768"><div class="ttname"><a href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">SVF::ConstantData</a></div><div class="ttdeci">llvm::ConstantData ConstantData</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00114">BasicTypes.h:114</a></div></div>
1777
1777
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a172084437a8450314a17f7085a32b5d2"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a172084437a8450314a17f7085a32b5d2">SVF::LLVMModuleSet::addInstructionMap</a></div><div class="ttdeci">void addInstructionMap(const Instruction *inst, SVFInstruction *svfInst)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00161">LLVMModule.h:161</a></div></div>
1778
1778
  <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>