svf-tools 1.0.795 → 1.0.796

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (448) hide show
  1. package/SVF-doxygen/html/AccessPath_8cpp_source.html +167 -161
  2. package/SVF-doxygen/html/AccessPath_8h_source.html +51 -51
  3. package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/AndersenStat_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/AndersenWaveDiff_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/Andersen_8cpp_source.html +6 -6
  7. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +5 -5
  8. package/SVF-doxygen/html/CFLAlias_8h_source.html +3 -3
  9. package/SVF-doxygen/html/CFLBase_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +4 -4
  11. package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +5 -5
  13. package/SVF-doxygen/html/ContextDDA_8h_source.html +2 -2
  14. package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
  15. package/SVF-doxygen/html/DDAClient_8cpp_source.html +5 -5
  16. package/SVF-doxygen/html/DDAPass_8cpp_source.html +2 -2
  17. package/SVF-doxygen/html/DDAPass_8h_source.html +1 -1
  18. package/SVF-doxygen/html/DDAStat_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +4 -4
  20. package/SVF-doxygen/html/FSMPTA_8cpp_source.html +3 -3
  21. package/SVF-doxygen/html/FlowDDA_8cpp_source.html +5 -5
  22. package/SVF-doxygen/html/FlowDDA_8h_source.html +2 -2
  23. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +5 -5
  25. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +2 -2
  26. package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
  27. package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
  28. package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +2 -2
  29. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +10 -10
  30. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +40 -27
  31. package/SVF-doxygen/html/LeakChecker_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +5 -5
  33. package/SVF-doxygen/html/LockAnalysis_8h_source.html +2 -2
  34. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
  35. package/SVF-doxygen/html/MHP_8cpp_source.html +6 -6
  36. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
  37. package/SVF-doxygen/html/MTA_8cpp_source.html +5 -5
  38. package/SVF-doxygen/html/MemRegion_8cpp_source.html +7 -7
  39. package/SVF-doxygen/html/MemRegion_8h_source.html +1 -1
  40. package/SVF-doxygen/html/MemSSA_8cpp_source.html +4 -4
  41. package/SVF-doxygen/html/NodeIDAllocator_8cpp_source.html +2 -2
  42. package/SVF-doxygen/html/PCG_8cpp_source.html +2 -2
  43. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +3 -3
  44. package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +4 -4
  45. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +7 -7
  46. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +1 -1
  47. package/SVF-doxygen/html/ProgSlice_8cpp_source.html +2 -2
  48. package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +6 -6
  49. package/SVF-doxygen/html/SVFFileSystem_8h_source.html +6 -6
  50. package/SVF-doxygen/html/SVFGBuilder_8cpp_source.html +2 -2
  51. package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +2 -2
  52. package/SVF-doxygen/html/SVFGStat_8cpp_source.html +1 -1
  53. package/SVF-doxygen/html/SVFG_8cpp_source.html +2 -2
  54. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +3 -3
  55. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +773 -777
  56. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +20 -20
  57. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +5 -5
  58. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +1 -1
  59. package/SVF-doxygen/html/SVFStat_8cpp_source.html +1 -1
  60. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
  61. package/SVF-doxygen/html/SVFStatements_8h_source.html +5 -5
  62. package/SVF-doxygen/html/SVFType_8cpp.html +2 -2
  63. package/SVF-doxygen/html/SVFType_8cpp_source.html +70 -61
  64. package/SVF-doxygen/html/SVFType_8h.html +23 -23
  65. package/SVF-doxygen/html/SVFType_8h_source.html +401 -378
  66. package/SVF-doxygen/html/SVFUtil_8h_source.html +1 -1
  67. package/SVF-doxygen/html/SVFValue_8cpp_source.html +4 -4
  68. package/SVF-doxygen/html/SVFValue_8h_source.html +3 -3
  69. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +2 -2
  70. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +3 -3
  71. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  72. package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +3 -3
  73. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +5 -5
  74. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +4 -4
  75. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +7 -7
  76. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +1 -1
  77. package/SVF-doxygen/html/TCT_8cpp_source.html +2 -2
  78. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +2 -2
  79. package/SVF-doxygen/html/VFG_8cpp_source.html +2 -2
  80. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  81. package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +1 -1
  82. package/SVF-doxygen/html/WPAPass_8cpp_source.html +4 -4
  83. package/SVF-doxygen/html/WPAPass_8h_source.html +2 -2
  84. package/SVF-doxygen/html/classSVF_1_1AccessPath-members.html +1 -1
  85. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +167 -161
  86. package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  87. package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  88. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  89. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +2 -2
  90. package/SVF-doxygen/html/classSVF_1_1Andersen.html +5 -5
  91. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +2 -2
  92. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
  93. package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +1 -1
  94. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  95. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  96. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
  97. package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  98. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
  99. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +7 -7
  100. package/SVF-doxygen/html/classSVF_1_1CFLBase.html +1 -1
  101. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +4 -4
  102. package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +1 -1
  103. package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
  104. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
  105. package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
  106. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +3 -3
  107. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +5 -5
  108. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
  109. package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
  110. package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
  111. package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
  112. package/SVF-doxygen/html/classSVF_1_1DDAClient.html +3 -3
  113. package/SVF-doxygen/html/classSVF_1_1DDAPass.html +1 -1
  114. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
  115. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +4 -4
  116. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  117. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  118. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +5 -5
  119. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +5 -5
  120. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  121. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +3 -3
  122. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
  123. package/SVF-doxygen/html/classSVF_1_1GepStmt-members.html +1 -1
  124. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +9 -10
  125. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  126. package/SVF-doxygen/html/classSVF_1_1ICFG.html +1 -1
  127. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +2 -2
  128. package/SVF-doxygen/html/classSVF_1_1IRGraph.html +2 -2
  129. package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  130. package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  131. package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +1 -1
  132. package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +1 -1
  133. package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  134. package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +2 -2
  135. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +10 -10
  136. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +2 -2
  137. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
  138. package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +5 -5
  139. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
  140. package/SVF-doxygen/html/classSVF_1_1MHP.html +6 -6
  141. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +6 -6
  142. package/SVF-doxygen/html/classSVF_1_1MTA.html +5 -5
  143. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
  144. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
  145. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +3 -3
  146. package/SVF-doxygen/html/classSVF_1_1MemObj.html +1 -1
  147. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +4 -4
  148. package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +1 -1
  149. package/SVF-doxygen/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
  150. package/SVF-doxygen/html/classSVF_1_1ObjTypeInfo.html +1 -1
  151. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
  152. package/SVF-doxygen/html/classSVF_1_1PCG.html +2 -2
  153. package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
  154. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
  155. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +7 -7
  156. package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +2 -2
  157. package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +1 -1
  158. package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
  159. package/SVF-doxygen/html/classSVF_1_1SVFArrayType-members.html +11 -7
  160. package/SVF-doxygen/html/classSVF_1_1SVFArrayType.html +65 -27
  161. package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +1 -1
  162. package/SVF-doxygen/html/classSVF_1_1SVFFunctionType-members.html +30 -27
  163. package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html +28 -22
  164. package/SVF-doxygen/html/classSVF_1_1SVFG.html +2 -2
  165. package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.html +2 -2
  166. package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +2 -2
  167. package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +1 -1
  168. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +2 -2
  169. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +2 -2
  170. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +749 -769
  171. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +6 -6
  172. package/SVF-doxygen/html/classSVF_1_1SVFIntegerType-members.html +30 -27
  173. package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html +32 -26
  174. package/SVF-doxygen/html/classSVF_1_1SVFOtherType-members.html +32 -29
  175. package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html +33 -27
  176. package/SVF-doxygen/html/classSVF_1_1SVFPointerType-members.html +30 -27
  177. package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html +28 -22
  178. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
  179. package/SVF-doxygen/html/classSVF_1_1SVFStructType-members.html +32 -29
  180. package/SVF-doxygen/html/classSVF_1_1SVFStructType.html +33 -27
  181. package/SVF-doxygen/html/classSVF_1_1SVFType-members.html +27 -24
  182. package/SVF-doxygen/html/classSVF_1_1SVFType.html +120 -23
  183. package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
  184. package/SVF-doxygen/html/classSVF_1_1SVFVar.html +1 -1
  185. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +3 -3
  186. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  187. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
  188. package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +3 -3
  189. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +5 -5
  190. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
  191. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +4 -4
  192. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +5 -5
  193. package/SVF-doxygen/html/classSVF_1_1TCT.html +3 -3
  194. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
  195. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
  196. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +2 -2
  197. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
  198. package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  199. package/SVF-doxygen/html/classSVF_1_1VFG.html +2 -2
  200. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  201. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +1 -1
  202. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  203. package/SVF-doxygen/html/classSVF_1_1WPAPass.html +3 -3
  204. package/SVF-doxygen/html/functions_a.html +1 -1
  205. package/SVF-doxygen/html/functions_c.html +1 -1
  206. package/SVF-doxygen/html/functions_func.html +1 -1
  207. package/SVF-doxygen/html/functions_func_c.html +1 -1
  208. package/SVF-doxygen/html/functions_func_g.html +24 -18
  209. package/SVF-doxygen/html/functions_func_i.html +17 -11
  210. package/SVF-doxygen/html/functions_g.html +25 -19
  211. package/SVF-doxygen/html/functions_i.html +16 -10
  212. package/SVF-doxygen/html/functions_p.html +19 -23
  213. package/SVF-doxygen/html/functions_r.html +5 -5
  214. package/SVF-doxygen/html/functions_s.html +14 -12
  215. package/SVF-doxygen/html/functions_t.html +7 -7
  216. package/SVF-doxygen/html/functions_v.html +3 -3
  217. package/SVF-doxygen/html/globals_func_t.html +3 -0
  218. package/SVF-doxygen/html/globals_t.html +3 -0
  219. package/SVF-doxygen/html/namespaceSVF.html +45 -36
  220. package/SVF-doxygen/html/namespacemembers.html +1 -1
  221. package/SVF-doxygen/html/namespacemembers_func.html +1 -1
  222. package/SVF-doxygen/html/search/all_0.js +1 -1
  223. package/SVF-doxygen/html/search/all_1.js +1 -1
  224. package/SVF-doxygen/html/search/all_10.js +324 -324
  225. package/SVF-doxygen/html/search/all_11.js +224 -224
  226. package/SVF-doxygen/html/search/all_12.js +541 -541
  227. package/SVF-doxygen/html/search/all_13.js +191 -190
  228. package/SVF-doxygen/html/search/all_14.js +67 -67
  229. package/SVF-doxygen/html/search/all_15.js +170 -170
  230. package/SVF-doxygen/html/search/all_16.js +63 -63
  231. package/SVF-doxygen/html/search/all_17.js +1 -1
  232. package/SVF-doxygen/html/search/all_18.js +1 -1
  233. package/SVF-doxygen/html/search/all_19.js +11 -11
  234. package/SVF-doxygen/html/search/all_1a.js +172 -172
  235. package/SVF-doxygen/html/search/all_3.js +1 -1
  236. package/SVF-doxygen/html/search/all_7.js +457 -455
  237. package/SVF-doxygen/html/search/all_8.js +194 -194
  238. package/SVF-doxygen/html/search/all_9.js +610 -608
  239. package/SVF-doxygen/html/search/all_a.js +46 -46
  240. package/SVF-doxygen/html/search/all_b.js +26 -26
  241. package/SVF-doxygen/html/search/all_c.js +116 -116
  242. package/SVF-doxygen/html/search/all_d.js +196 -196
  243. package/SVF-doxygen/html/search/all_e.js +207 -207
  244. package/SVF-doxygen/html/search/all_f.js +116 -116
  245. package/SVF-doxygen/html/search/classes_0.js +26 -26
  246. package/SVF-doxygen/html/search/classes_1.js +9 -9
  247. package/SVF-doxygen/html/search/classes_10.js +73 -73
  248. package/SVF-doxygen/html/search/classes_11.js +15 -15
  249. package/SVF-doxygen/html/search/classes_12.js +2 -2
  250. package/SVF-doxygen/html/search/classes_13.js +10 -10
  251. package/SVF-doxygen/html/search/classes_14.js +14 -14
  252. package/SVF-doxygen/html/search/classes_15.js +1 -1
  253. package/SVF-doxygen/html/search/classes_2.js +80 -80
  254. package/SVF-doxygen/html/search/classes_3.js +37 -37
  255. package/SVF-doxygen/html/search/classes_4.js +9 -9
  256. package/SVF-doxygen/html/search/classes_5.js +28 -28
  257. package/SVF-doxygen/html/search/classes_6.js +104 -104
  258. package/SVF-doxygen/html/search/classes_7.js +33 -33
  259. package/SVF-doxygen/html/search/classes_8.js +56 -56
  260. package/SVF-doxygen/html/search/classes_9.js +1 -1
  261. package/SVF-doxygen/html/search/classes_a.js +12 -12
  262. package/SVF-doxygen/html/search/classes_b.js +29 -29
  263. package/SVF-doxygen/html/search/classes_c.js +6 -6
  264. package/SVF-doxygen/html/search/classes_d.js +18 -18
  265. package/SVF-doxygen/html/search/classes_e.js +36 -36
  266. package/SVF-doxygen/html/search/classes_f.js +25 -25
  267. package/SVF-doxygen/html/search/defines_0.js +3 -3
  268. package/SVF-doxygen/html/search/defines_1.js +2 -2
  269. package/SVF-doxygen/html/search/defines_2.js +30 -30
  270. package/SVF-doxygen/html/search/defines_3.js +21 -21
  271. package/SVF-doxygen/html/search/defines_4.js +2 -2
  272. package/SVF-doxygen/html/search/defines_5.js +4 -4
  273. package/SVF-doxygen/html/search/defines_6.js +2 -2
  274. package/SVF-doxygen/html/search/defines_7.js +5 -5
  275. package/SVF-doxygen/html/search/defines_8.js +11 -11
  276. package/SVF-doxygen/html/search/defines_9.js +9 -9
  277. package/SVF-doxygen/html/search/defines_a.js +2 -2
  278. package/SVF-doxygen/html/search/defines_b.js +1 -1
  279. package/SVF-doxygen/html/search/defines_c.js +3 -3
  280. package/SVF-doxygen/html/search/defines_d.js +2 -2
  281. package/SVF-doxygen/html/search/defines_e.js +7 -7
  282. package/SVF-doxygen/html/search/defines_f.js +3 -3
  283. package/SVF-doxygen/html/search/enums_0.js +3 -3
  284. package/SVF-doxygen/html/search/enums_1.js +2 -2
  285. package/SVF-doxygen/html/search/enums_10.js +1 -1
  286. package/SVF-doxygen/html/search/enums_11.js +1 -1
  287. package/SVF-doxygen/html/search/enums_2.js +8 -8
  288. package/SVF-doxygen/html/search/enums_3.js +1 -1
  289. package/SVF-doxygen/html/search/enums_4.js +3 -3
  290. package/SVF-doxygen/html/search/enums_5.js +1 -1
  291. package/SVF-doxygen/html/search/enums_6.js +2 -2
  292. package/SVF-doxygen/html/search/enums_7.js +2 -2
  293. package/SVF-doxygen/html/search/enums_8.js +4 -4
  294. package/SVF-doxygen/html/search/enums_9.js +1 -1
  295. package/SVF-doxygen/html/search/enums_a.js +1 -1
  296. package/SVF-doxygen/html/search/enums_b.js +7 -7
  297. package/SVF-doxygen/html/search/enums_c.js +1 -1
  298. package/SVF-doxygen/html/search/enums_d.js +4 -4
  299. package/SVF-doxygen/html/search/enums_e.js +2 -2
  300. package/SVF-doxygen/html/search/enums_f.js +4 -4
  301. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  302. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  303. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  304. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  305. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  306. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  307. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  308. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  309. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  310. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  311. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  312. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  313. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  314. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  315. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  316. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  317. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  318. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  319. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  320. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  321. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  322. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  323. package/SVF-doxygen/html/search/files_0.js +13 -13
  324. package/SVF-doxygen/html/search/files_1.js +7 -7
  325. package/SVF-doxygen/html/search/files_10.js +8 -8
  326. package/SVF-doxygen/html/search/files_11.js +8 -8
  327. package/SVF-doxygen/html/search/files_12.js +2 -2
  328. package/SVF-doxygen/html/search/files_2.js +55 -55
  329. package/SVF-doxygen/html/search/files_3.js +14 -14
  330. package/SVF-doxygen/html/search/files_4.js +5 -5
  331. package/SVF-doxygen/html/search/files_5.js +13 -13
  332. package/SVF-doxygen/html/search/files_6.js +9 -9
  333. package/SVF-doxygen/html/search/files_7.js +14 -14
  334. package/SVF-doxygen/html/search/files_8.js +13 -13
  335. package/SVF-doxygen/html/search/files_9.js +18 -18
  336. package/SVF-doxygen/html/search/files_a.js +3 -3
  337. package/SVF-doxygen/html/search/files_b.js +2 -2
  338. package/SVF-doxygen/html/search/files_c.js +20 -20
  339. package/SVF-doxygen/html/search/files_d.js +4 -4
  340. package/SVF-doxygen/html/search/files_e.js +62 -62
  341. package/SVF-doxygen/html/search/files_f.js +8 -8
  342. package/SVF-doxygen/html/search/functions_0.js +12 -12
  343. package/SVF-doxygen/html/search/functions_1.js +359 -359
  344. package/SVF-doxygen/html/search/functions_10.js +140 -140
  345. package/SVF-doxygen/html/search/functions_11.js +138 -138
  346. package/SVF-doxygen/html/search/functions_12.js +276 -276
  347. package/SVF-doxygen/html/search/functions_13.js +59 -58
  348. package/SVF-doxygen/html/search/functions_14.js +39 -39
  349. package/SVF-doxygen/html/search/functions_15.js +71 -71
  350. package/SVF-doxygen/html/search/functions_16.js +32 -32
  351. package/SVF-doxygen/html/search/functions_17.js +3 -3
  352. package/SVF-doxygen/html/search/functions_18.js +172 -172
  353. package/SVF-doxygen/html/search/functions_2.js +86 -86
  354. package/SVF-doxygen/html/search/functions_3.js +257 -257
  355. package/SVF-doxygen/html/search/functions_4.js +75 -75
  356. package/SVF-doxygen/html/search/functions_5.js +53 -53
  357. package/SVF-doxygen/html/search/functions_6.js +59 -59
  358. package/SVF-doxygen/html/search/functions_7.js +851 -849
  359. package/SVF-doxygen/html/search/functions_8.js +146 -146
  360. package/SVF-doxygen/html/search/functions_9.js +428 -426
  361. package/SVF-doxygen/html/search/functions_a.js +30 -30
  362. package/SVF-doxygen/html/search/functions_b.js +2 -2
  363. package/SVF-doxygen/html/search/functions_c.js +26 -26
  364. package/SVF-doxygen/html/search/functions_d.js +77 -77
  365. package/SVF-doxygen/html/search/functions_e.js +35 -35
  366. package/SVF-doxygen/html/search/functions_f.js +56 -56
  367. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  368. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  369. package/SVF-doxygen/html/search/related_0.js +2 -2
  370. package/SVF-doxygen/html/search/related_1.js +2 -2
  371. package/SVF-doxygen/html/search/related_2.js +2 -2
  372. package/SVF-doxygen/html/search/related_3.js +2 -2
  373. package/SVF-doxygen/html/search/related_4.js +2 -2
  374. package/SVF-doxygen/html/search/related_5.js +1 -1
  375. package/SVF-doxygen/html/search/related_6.js +2 -2
  376. package/SVF-doxygen/html/search/related_7.js +4 -4
  377. package/SVF-doxygen/html/search/related_8.js +2 -2
  378. package/SVF-doxygen/html/search/related_9.js +4 -4
  379. package/SVF-doxygen/html/search/related_a.js +19 -19
  380. package/SVF-doxygen/html/search/related_b.js +4 -4
  381. package/SVF-doxygen/html/search/related_c.js +1 -1
  382. package/SVF-doxygen/html/search/related_d.js +11 -11
  383. package/SVF-doxygen/html/search/related_e.js +2 -2
  384. package/SVF-doxygen/html/search/related_f.js +2 -2
  385. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  386. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  387. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  388. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  389. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  390. package/SVF-doxygen/html/search/typedefs_13.js +35 -35
  391. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  392. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  393. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  394. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  395. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  396. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  397. package/SVF-doxygen/html/search/typedefs_7.js +42 -42
  398. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  399. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  400. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  401. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  402. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  403. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  404. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  405. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  406. package/SVF-doxygen/html/search/variables_0.js +151 -151
  407. package/SVF-doxygen/html/search/variables_1.js +75 -75
  408. package/SVF-doxygen/html/search/variables_10.js +97 -97
  409. package/SVF-doxygen/html/search/variables_11.js +46 -46
  410. package/SVF-doxygen/html/search/variables_12.js +92 -92
  411. package/SVF-doxygen/html/search/variables_13.js +75 -75
  412. package/SVF-doxygen/html/search/variables_14.js +14 -14
  413. package/SVF-doxygen/html/search/variables_15.js +48 -48
  414. package/SVF-doxygen/html/search/variables_16.js +9 -9
  415. package/SVF-doxygen/html/search/variables_17.js +1 -1
  416. package/SVF-doxygen/html/search/variables_18.js +2 -2
  417. package/SVF-doxygen/html/search/variables_2.js +37 -37
  418. package/SVF-doxygen/html/search/variables_3.js +142 -142
  419. package/SVF-doxygen/html/search/variables_4.js +55 -55
  420. package/SVF-doxygen/html/search/variables_5.js +39 -39
  421. package/SVF-doxygen/html/search/variables_6.js +66 -66
  422. package/SVF-doxygen/html/search/variables_7.js +33 -33
  423. package/SVF-doxygen/html/search/variables_8.js +7 -7
  424. package/SVF-doxygen/html/search/variables_9.js +77 -77
  425. package/SVF-doxygen/html/search/variables_a.js +4 -4
  426. package/SVF-doxygen/html/search/variables_b.js +10 -10
  427. package/SVF-doxygen/html/search/variables_c.js +45 -45
  428. package/SVF-doxygen/html/search/variables_d.js +56 -56
  429. package/SVF-doxygen/html/search/variables_e.js +123 -123
  430. package/SVF-doxygen/html/search/variables_f.js +30 -30
  431. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  432. package/SVF-doxygen/html/structSVF_1_1Hash_3_01NodePair_01_4.html +11 -11
  433. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +8 -8
  434. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +11 -11
  435. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +7 -7
  436. package/SVF-doxygen/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +14 -14
  437. package/SVF-doxygen/html/svf-ex_8cpp.html +235 -125
  438. package/SVF-doxygen/html/svf-ex_8cpp_source.html +234 -144
  439. package/package.json +1 -1
  440. package/svf/include/AbstractExecution/SVFIR2ItvExeState.h +5 -5
  441. package/svf/include/MemoryModel/AccessPath.h +24 -6
  442. package/svf/include/SVFIR/SVFStatements.h +2 -2
  443. package/svf/include/SVFIR/SVFType.h +19 -0
  444. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +16 -21
  445. package/svf/lib/MemoryModel/AccessPath.cpp +15 -14
  446. package/svf/lib/SVFIR/SVFType.cpp +7 -0
  447. package/svf-llvm/lib/LLVMUtil.cpp +10 -0
  448. package/svf-llvm/tools/Example/svf-ex.cpp +65 -0
package/SVF-doxygen/html/classSVF_1_1SVFArrayType-members.html CHANGED
@@ -74,14 +74,18 @@ $(function() {
74
74
  <table class="directory">
75
75
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFArrayType.html#a9b680e5f1995e1fb8f7d17f69f1c32ca">classof</a>(const SVFType *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
76
76
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">getKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
77
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3672b4797c400aac90c6d36ce29e0e57">getPointerTo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
78
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
79
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">getTypeInfo</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
80
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">getTypeInfo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
77
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">getLLVMByteSize</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
78
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3672b4797c400aac90c6d36ce29e0e57">getPointerTo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
79
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
80
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">getTypeInfo</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
81
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">getTypeInfo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
82
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759">getTypeOfElement</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
81
83
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
82
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
83
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
84
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6">isSingleValueType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
84
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a330084f9a3deb6e5acb52a8ee3eb7fe4">isArrayTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
85
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
86
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
87
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6">isSingleValueType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
88
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#af06efda21356fbd3559e11ec7ae1bde5">isStructTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
85
89
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
86
90
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">numOfElement</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
87
91
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFArrayType.html#abdee8157ebfbbf181fbd088bdb8a7349">print</a>(std::ostream &amp;os) const override</td><td class="entry"><a class="el" href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
package/SVF-doxygen/html/classSVF_1_1SVFArrayType.html CHANGED
@@ -94,6 +94,8 @@ Public Member Functions</h2></td></tr>
94
94
  <tr class="separator:a2cbe7feac254dabd3742121bfc871d06"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
95
  <tr class="memitem:abdee8157ebfbbf181fbd088bdb8a7349"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFArrayType.html#abdee8157ebfbbf181fbd088bdb8a7349">print</a> (std::ostream &amp;os) const override</td></tr>
96
96
  <tr class="separator:abdee8157ebfbbf181fbd088bdb8a7349"><td class="memSeparator" colspan="2">&#160;</td></tr>
97
+ <tr class="memitem:a28da1169748e38b891133b76568a2759"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFType.html">SVFType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759">getTypeOfElement</a> () const</td></tr>
98
+ <tr class="separator:a28da1169748e38b891133b76568a2759"><td class="memSeparator" colspan="2">&#160;</td></tr>
97
99
  <tr class="memitem:a56179bc4c145adce210adab80c61be7a"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFArrayType.html#a56179bc4c145adce210adab80c61be7a">setTypeOfElement</a> (const <a class="el" href="classSVF_1_1SVFType.html">SVFType</a> *elemType)</td></tr>
98
100
  <tr class="separator:a56179bc4c145adce210adab80c61be7a"><td class="memSeparator" colspan="2">&#160;</td></tr>
99
101
  <tr class="memitem:a986fc835f2e082796ecf1fd3b7f769b6"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFArrayType.html#a986fc835f2e082796ecf1fd3b7f769b6">setNumOfElement</a> (unsigned elemNum)</td></tr>
@@ -111,6 +113,8 @@ Public Member Functions</h2></td></tr>
111
113
  <tr class="separator:a3ddabbd763acaaca28cacbabe5bc7f3b inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
112
114
  <tr class="memitem:a3672b4797c400aac90c6d36ce29e0e57 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFPointerType.html">SVFPointerType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a3672b4797c400aac90c6d36ce29e0e57">getPointerTo</a> () const</td></tr>
113
115
  <tr class="separator:a3672b4797c400aac90c6d36ce29e0e57 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
116
+ <tr class="memitem:a0091b8b186ad359a1b54ac7e0ee1e5d0 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">getLLVMByteSize</a> () const</td></tr>
117
+ <tr class="separator:a0091b8b186ad359a1b54ac7e0ee1e5d0 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
114
118
  <tr class="memitem:aef5999ada62dac3cc946d832ac66948c inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c">setTypeInfo</a> (<a class="el" href="classSVF_1_1StInfo.html">StInfo</a> *ti)</td></tr>
115
119
  <tr class="separator:aef5999ada62dac3cc946d832ac66948c inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
116
120
  <tr class="memitem:a05850c17c2dbe42e5602dc8c9a70f3bd inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1StInfo.html">StInfo</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">getTypeInfo</a> ()</td></tr>
@@ -119,6 +123,10 @@ Public Member Functions</h2></td></tr>
119
123
  <tr class="separator:af25ae6ae537f65f96917a66ce1bb3cf1 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
120
124
  <tr class="memitem:a870b63af2bf9fe43cdf1df3d56b20f6c inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a> () const</td></tr>
121
125
  <tr class="separator:a870b63af2bf9fe43cdf1df3d56b20f6c inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
126
+ <tr class="memitem:a330084f9a3deb6e5acb52a8ee3eb7fe4 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a330084f9a3deb6e5acb52a8ee3eb7fe4">isArrayTy</a> () const</td></tr>
127
+ <tr class="separator:a330084f9a3deb6e5acb52a8ee3eb7fe4 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
128
+ <tr class="memitem:af06efda21356fbd3559e11ec7ae1bde5 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#af06efda21356fbd3559e11ec7ae1bde5">isStructTy</a> () const</td></tr>
129
+ <tr class="separator:af06efda21356fbd3559e11ec7ae1bde5 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
122
130
  <tr class="memitem:a5d19107cd4bd64c3918419fd7d22d3b6 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6">isSingleValueType</a> () const</td></tr>
123
131
  <tr class="separator:a5d19107cd4bd64c3918419fd7d22d3b6 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
124
132
  </table><table class="memberdecls">
@@ -165,7 +173,7 @@ Additional Inherited Members</h2></td></tr>
165
173
  </table>
166
174
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
167
175
  <div class="textblock">
168
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00443">443</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
176
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00455">455</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
169
177
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
170
178
  <a id="a2cbe7feac254dabd3742121bfc871d06"></a>
171
179
  <h2 class="memtitle"><span class="permalink"><a href="#a2cbe7feac254dabd3742121bfc871d06">&#9670;&nbsp;</a></span>SVFArrayType()</h2>
@@ -192,10 +200,10 @@ Additional Inherited Members</h2></td></tr>
192
200
 
193
201
  <p>For printing &amp; debugging. </p>
194
202
 
195
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00453">453</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
196
- <div class="fragment"><div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; : <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(<span class="keyword">false</span>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a>), <a class="code" href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">numOfElement</a>(0), <a class="code" href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">typeOfElement</a>(<span class="keyword">nullptr</span>)</div>
197
- <div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; {</div>
198
- <div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; }</div>
203
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00465">465</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
204
+ <div class="fragment"><div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160; : <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(<span class="keyword">false</span>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a>), <a class="code" href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">numOfElement</a>(0), <a class="code" href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">typeOfElement</a>(<span class="keyword">nullptr</span>)</div>
205
+ <div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; {</div>
206
+ <div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; }</div>
199
207
  </div><!-- fragment -->
200
208
  </div>
201
209
  </div>
@@ -224,10 +232,40 @@ Additional Inherited Members</h2></td></tr>
224
232
  </table>
225
233
  </div><div class="memdoc">
226
234
 
227
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00458">458</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
228
- <div class="fragment"><div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; {</div>
229
- <div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a>;</div>
230
- <div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; }</div>
235
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00470">470</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
236
+ <div class="fragment"><div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; {</div>
237
+ <div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a>;</div>
238
+ <div class="line"><a name="l00473"></a><span class="lineno"> 473</span>&#160; }</div>
239
+ </div><!-- fragment -->
240
+ </div>
241
+ </div>
242
+ <a id="a28da1169748e38b891133b76568a2759"></a>
243
+ <h2 class="memtitle"><span class="permalink"><a href="#a28da1169748e38b891133b76568a2759">&#9670;&nbsp;</a></span>getTypeOfElement()</h2>
244
+
245
+ <div class="memitem">
246
+ <div class="memproto">
247
+ <table class="mlabels">
248
+ <tr>
249
+ <td class="mlabels-left">
250
+ <table class="memname">
251
+ <tr>
252
+ <td class="memname">const <a class="el" href="classSVF_1_1SVFType.html">SVFType</a>* SVF::SVFArrayType::getTypeOfElement </td>
253
+ <td>(</td>
254
+ <td class="paramname"></td><td>)</td>
255
+ <td> const</td>
256
+ </tr>
257
+ </table>
258
+ </td>
259
+ <td class="mlabels-right">
260
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
261
+ </tr>
262
+ </table>
263
+ </div><div class="memdoc">
264
+
265
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00477">477</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
266
+ <div class="fragment"><div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160; {</div>
267
+ <div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">typeOfElement</a>;</div>
268
+ <div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160; }</div>
231
269
  </div><!-- fragment -->
232
270
  </div>
233
271
  </div>
@@ -257,10 +295,10 @@ Additional Inherited Members</h2></td></tr>
257
295
 
258
296
  <p>Implements <a class="el" href="classSVF_1_1SVFType.html#af03420fef3b660f998d0a2f09a18a615">SVF::SVFType</a>.</p>
259
297
 
260
- <p class="definition">Definition at line <a class="el" href="SVFType_8cpp_source.html#l00044">44</a> of file <a class="el" href="SVFType_8cpp_source.html">SVFType.cpp</a>.</p>
261
- <div class="fragment"><div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160;{</div>
262
- <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160; os &lt;&lt; <span class="charliteral">&#39;[&#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">numOfElement</a> &lt;&lt; <span class="charliteral">&#39;x&#39;</span> &lt;&lt; *<a class="code" href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">typeOfElement</a> &lt;&lt; <span class="charliteral">&#39;]&#39;</span>;</div>
263
- <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160;}</div>
298
+ <p class="definition">Definition at line <a class="el" href="SVFType_8cpp_source.html#l00051">51</a> of file <a class="el" href="SVFType_8cpp_source.html">SVFType.cpp</a>.</p>
299
+ <div class="fragment"><div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160;{</div>
300
+ <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; os &lt;&lt; <span class="charliteral">&#39;[&#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">numOfElement</a> &lt;&lt; <span class="charliteral">&#39;x&#39;</span> &lt;&lt; *<a class="code" href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">typeOfElement</a> &lt;&lt; <span class="charliteral">&#39;]&#39;</span>;</div>
301
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;}</div>
264
302
  </div><!-- fragment -->
265
303
  </div>
266
304
  </div>
@@ -288,10 +326,10 @@ Additional Inherited Members</h2></td></tr>
288
326
  </table>
289
327
  </div><div class="memdoc">
290
328
 
291
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00470">470</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
292
- <div class="fragment"><div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; {</div>
293
- <div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; <a class="code" href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">numOfElement</a> = elemNum;</div>
294
- <div class="line"><a name="l00473"></a><span class="lineno"> 473</span>&#160; }</div>
329
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00487">487</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
330
+ <div class="fragment"><div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160; {</div>
331
+ <div class="line"><a name="l00489"></a><span class="lineno"> 489</span>&#160; <a class="code" href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">numOfElement</a> = elemNum;</div>
332
+ <div class="line"><a name="l00490"></a><span class="lineno"> 490</span>&#160; }</div>
295
333
  </div><!-- fragment -->
296
334
  </div>
297
335
  </div>
@@ -319,10 +357,10 @@ Additional Inherited Members</h2></td></tr>
319
357
  </table>
320
358
  </div><div class="memdoc">
321
359
 
322
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00465">465</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
323
- <div class="fragment"><div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160; {</div>
324
- <div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; <a class="code" href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">typeOfElement</a> = elemType;</div>
325
- <div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; }</div>
360
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00482">482</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
361
+ <div class="fragment"><div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; {</div>
362
+ <div class="line"><a name="l00484"></a><span class="lineno"> 484</span>&#160; <a class="code" href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">typeOfElement</a> = elemType;</div>
363
+ <div class="line"><a name="l00485"></a><span class="lineno"> 485</span>&#160; }</div>
326
364
  </div><!-- fragment -->
327
365
  </div>
328
366
  </div>
@@ -347,7 +385,7 @@ Additional Inherited Members</h2></td></tr>
347
385
  </table>
348
386
  </div><div class="memdoc">
349
387
 
350
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00446">446</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
388
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00458">458</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
351
389
 
352
390
  </div>
353
391
  </div>
@@ -371,7 +409,7 @@ Additional Inherited Members</h2></td></tr>
371
409
  </table>
372
410
  </div><div class="memdoc">
373
411
 
374
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00445">445</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
412
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00457">457</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
375
413
 
376
414
  </div>
377
415
  </div>
@@ -396,7 +434,7 @@ Additional Inherited Members</h2></td></tr>
396
434
  </table>
397
435
  </div><div class="memdoc">
398
436
 
399
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00449">449</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
437
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00461">461</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
400
438
 
401
439
  </div>
402
440
  </div>
@@ -422,7 +460,7 @@ Additional Inherited Members</h2></td></tr>
422
460
 
423
461
  <p>For printing &amp; debugging. </p>
424
462
 
425
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00450">450</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
463
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00462">462</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
426
464
 
427
465
  </div>
428
466
  </div>
@@ -432,9 +470,9 @@ Additional Inherited Members</h2></td></tr>
432
470
  </ul>
433
471
  </div><!-- contents -->
434
472
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType::SVFArrayTy</a></div><div class="ttdeci">@ SVFArrayTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00257">SVFType.h:257</a></div></div>
435
- <div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a395841ef9448d7d78df53aff374e6f7a"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">SVF::SVFArrayType::typeOfElement</a></div><div class="ttdeci">const SVFType * typeOfElement</div><div class="ttdoc">For printing &amp; debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00450">SVFType.h:450</a></div></div>
473
+ <div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a395841ef9448d7d78df53aff374e6f7a"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">SVF::SVFArrayType::typeOfElement</a></div><div class="ttdeci">const SVFType * typeOfElement</div><div class="ttdoc">For printing &amp; debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00462">SVFType.h:462</a></div></div>
436
474
  <div class="ttc" id="aclassSVF_1_1SVFType_html_aaaa5452f32227f5e44ac7665f2945202"><div class="ttname"><a href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType::SVFType</a></div><div class="ttdeci">SVFType(void)=delete</div></div>
437
- <div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a5438a991fcd2a1cf1409464125d2c31b"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">SVF::SVFArrayType::numOfElement</a></div><div class="ttdeci">unsigned numOfElement</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00449">SVFType.h:449</a></div></div>
475
+ <div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a5438a991fcd2a1cf1409464125d2c31b"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">SVF::SVFArrayType::numOfElement</a></div><div class="ttdeci">unsigned numOfElement</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00461">SVFType.h:461</a></div></div>
438
476
  <!-- start footer part -->
439
477
  <hr class="footer"/><address class="footer"><small>
440
478
  Generated by &#160;<a href="http://www.doxygen.org/index.html">
package/SVF-doxygen/html/classSVF_1_1SVFFunction.html CHANGED
@@ -2145,7 +2145,7 @@ Additional Inherited Members</h2></td></tr>
2145
2145
  <div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00886">SVFValue.h:886</a></div></div>
2146
2146
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ac29e502080635ed47b72d471b48b5a8d"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ac29e502080635ed47b72d471b48b5a8d">SVF::SVFLoopAndDomInfo::getLoopHeader</a></div><div class="ttdeci">const SVFBasicBlock * getLoopHeader(const LoopBBs &amp;lp) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00092">SVFValue.h:92</a></div></div>
2147
2147
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a793f485e92d12cf407f2ffa41861eb3d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">SVF::SVFFunction::getEntryBlock</a></div><div class="ttdeci">const SVFBasicBlock * getEntryBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00409">SVFValue.h:409</a></div></div>
2148
- <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a74ce115a0fa958f259469b521468a2b3"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">SVF::SVFFunctionType::getReturnType</a></div><div class="ttdeci">const SVFType * getReturnType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00402">SVFType.h:402</a></div></div>
2148
+ <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a74ce115a0fa958f259469b521468a2b3"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">SVF::SVFFunctionType::getReturnType</a></div><div class="ttdeci">const SVFType * getReturnType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00414">SVFType.h:414</a></div></div>
2149
2149
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a3b93a04e82233f64b1c463f6cece8ea1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">SVF::SVFFunction::addrTaken</a></div><div class="ttdeci">bool addrTaken</div><div class="ttdoc">return true if this function is an intrinsic function (e.g., llvm.dbg), which does not reside in the ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00313">SVFValue.h:313</a></div></div>
2150
2150
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a9a7f1f56b6cfc33e7fa241286a07fd63"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">SVF::SVFFunction::hasBasicBlock</a></div><div class="ttdeci">bool hasBasicBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00404">SVFValue.h:404</a></div></div>
2151
2151
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdoc">return true if this function is never called</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00315">SVFValue.h:315</a></div></div>
package/SVF-doxygen/html/classSVF_1_1SVFFunctionType-members.html CHANGED
@@ -74,36 +74,39 @@ $(function() {
74
74
  <table class="directory">
75
75
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html#a527528ffe8005a3ff56f581f27296a49">classof</a>(const SVFType *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
76
76
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">getKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
77
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3672b4797c400aac90c6d36ce29e0e57">getPointerTo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
78
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
79
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">getReturnType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
80
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">getTypeInfo</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
81
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">getTypeInfo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
82
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
77
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">getLLVMByteSize</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
78
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3672b4797c400aac90c6d36ce29e0e57">getPointerTo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
79
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
80
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">getReturnType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
81
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">getTypeInfo</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
82
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">getTypeInfo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
83
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
84
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a330084f9a3deb6e5acb52a8ee3eb7fe4">isArrayTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
83
85
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
84
86
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
85
87
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6">isSingleValueType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
86
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
87
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html#afed021c0d3027c21807330f5038403cc">print</a>(std::ostream &amp;os) const override</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
88
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186">retTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
89
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3ddabbd763acaaca28cacbabe5bc7f3b">setPointerTo</a>(const SVFPointerType *ty)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
90
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c">setTypeInfo</a>(StInfo *ti)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
91
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
92
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
93
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe">SVFFunctionType</a>(const SVFType *rt)</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
94
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
95
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
96
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
97
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
98
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
99
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
100
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVFTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
101
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVFTyKind</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
102
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#ae8c4023976117479f77b9d09edff13b9">SVFType</a>(bool svt, SVFTyKind k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
103
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(void)=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
104
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
105
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
106
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a058496fa6de00d4244f8901b602bd217">~SVFType</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
88
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#af06efda21356fbd3559e11ec7ae1bde5">isStructTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
89
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
90
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html#afed021c0d3027c21807330f5038403cc">print</a>(std::ostream &amp;os) const override</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
91
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186">retTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
92
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3ddabbd763acaaca28cacbabe5bc7f3b">setPointerTo</a>(const SVFPointerType *ty)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
93
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c">setTypeInfo</a>(StInfo *ti)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
94
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
95
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
96
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe">SVFFunctionType</a>(const SVFType *rt)</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
97
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
98
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
99
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
100
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
101
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
102
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
103
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVFTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
104
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVFTyKind</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
105
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#ae8c4023976117479f77b9d09edff13b9">SVFType</a>(bool svt, SVFTyKind k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
106
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(void)=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
107
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
108
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
109
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a058496fa6de00d4244f8901b602bd217">~SVFType</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
107
110
  </table></div><!-- contents -->
108
111
  <!-- start footer part -->
109
112
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html CHANGED
@@ -108,6 +108,8 @@ Public Member Functions</h2></td></tr>
108
108
  <tr class="separator:a3ddabbd763acaaca28cacbabe5bc7f3b inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
109
109
  <tr class="memitem:a3672b4797c400aac90c6d36ce29e0e57 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFPointerType.html">SVFPointerType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a3672b4797c400aac90c6d36ce29e0e57">getPointerTo</a> () const</td></tr>
110
110
  <tr class="separator:a3672b4797c400aac90c6d36ce29e0e57 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
111
+ <tr class="memitem:a0091b8b186ad359a1b54ac7e0ee1e5d0 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">getLLVMByteSize</a> () const</td></tr>
112
+ <tr class="separator:a0091b8b186ad359a1b54ac7e0ee1e5d0 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
111
113
  <tr class="memitem:aef5999ada62dac3cc946d832ac66948c inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c">setTypeInfo</a> (<a class="el" href="classSVF_1_1StInfo.html">StInfo</a> *ti)</td></tr>
112
114
  <tr class="separator:aef5999ada62dac3cc946d832ac66948c inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
113
115
  <tr class="memitem:a05850c17c2dbe42e5602dc8c9a70f3bd inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1StInfo.html">StInfo</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">getTypeInfo</a> ()</td></tr>
@@ -116,6 +118,10 @@ Public Member Functions</h2></td></tr>
116
118
  <tr class="separator:af25ae6ae537f65f96917a66ce1bb3cf1 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
117
119
  <tr class="memitem:a870b63af2bf9fe43cdf1df3d56b20f6c inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a> () const</td></tr>
118
120
  <tr class="separator:a870b63af2bf9fe43cdf1df3d56b20f6c inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
121
+ <tr class="memitem:a330084f9a3deb6e5acb52a8ee3eb7fe4 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a330084f9a3deb6e5acb52a8ee3eb7fe4">isArrayTy</a> () const</td></tr>
122
+ <tr class="separator:a330084f9a3deb6e5acb52a8ee3eb7fe4 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
123
+ <tr class="memitem:af06efda21356fbd3559e11ec7ae1bde5 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#af06efda21356fbd3559e11ec7ae1bde5">isStructTy</a> () const</td></tr>
124
+ <tr class="separator:af06efda21356fbd3559e11ec7ae1bde5 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
119
125
  <tr class="memitem:a5d19107cd4bd64c3918419fd7d22d3b6 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6">isSingleValueType</a> () const</td></tr>
120
126
  <tr class="separator:a5d19107cd4bd64c3918419fd7d22d3b6 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
121
127
  </table><table class="memberdecls">
@@ -159,7 +165,7 @@ Additional Inherited Members</h2></td></tr>
159
165
  </table>
160
166
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
161
167
  <div class="textblock">
162
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00385">385</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
168
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00397">397</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
163
169
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
164
170
  <a id="af4bacdbcf4867575f6f27fc26aa66bbe"></a>
165
171
  <h2 class="memtitle"><span class="permalink"><a href="#af4bacdbcf4867575f6f27fc26aa66bbe">&#9670;&nbsp;</a></span>SVFFunctionType()</h2>
@@ -185,10 +191,10 @@ Additional Inherited Members</h2></td></tr>
185
191
  </table>
186
192
  </div><div class="memdoc">
187
193
 
188
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00394">394</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
189
- <div class="fragment"><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; : <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(<span class="keyword">false</span>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a>), <a class="code" href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186">retTy</a>(rt)</div>
190
- <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; {</div>
191
- <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; }</div>
194
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00406">406</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
195
+ <div class="fragment"><div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; : <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(<span class="keyword">false</span>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a>), <a class="code" href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186">retTy</a>(rt)</div>
196
+ <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; {</div>
197
+ <div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; }</div>
192
198
  </div><!-- fragment -->
193
199
  </div>
194
200
  </div>
@@ -217,10 +223,10 @@ Additional Inherited Members</h2></td></tr>
217
223
  </table>
218
224
  </div><div class="memdoc">
219
225
 
220
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00398">398</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
221
- <div class="fragment"><div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; {</div>
222
- <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a>;</div>
223
- <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; }</div>
226
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00410">410</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
227
+ <div class="fragment"><div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; {</div>
228
+ <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a>;</div>
229
+ <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; }</div>
224
230
  </div><!-- fragment -->
225
231
  </div>
226
232
  </div>
@@ -247,10 +253,10 @@ Additional Inherited Members</h2></td></tr>
247
253
  </table>
248
254
  </div><div class="memdoc">
249
255
 
250
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00402">402</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
251
- <div class="fragment"><div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; {</div>
252
- <div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186">retTy</a>;</div>
253
- <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; }</div>
256
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00414">414</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
257
+ <div class="fragment"><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; {</div>
258
+ <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186">retTy</a>;</div>
259
+ <div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; }</div>
254
260
  </div><!-- fragment -->
255
261
  </div>
256
262
  </div>
@@ -280,10 +286,10 @@ Additional Inherited Members</h2></td></tr>
280
286
 
281
287
  <p>Implements <a class="el" href="classSVF_1_1SVFType.html#af03420fef3b660f998d0a2f09a18a615">SVF::SVFType</a>.</p>
282
288
 
283
- <p class="definition">Definition at line <a class="el" href="SVFType_8cpp_source.html#l00034">34</a> of file <a class="el" href="SVFType_8cpp_source.html">SVFType.cpp</a>.</p>
284
- <div class="fragment"><div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;{</div>
285
- <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160; os &lt;&lt; *<a class="code" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">getReturnType</a>() &lt;&lt; <span class="stringliteral">&quot;()&quot;</span>;</div>
286
- <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;}</div>
289
+ <p class="definition">Definition at line <a class="el" href="SVFType_8cpp_source.html#l00041">41</a> of file <a class="el" href="SVFType_8cpp_source.html">SVFType.cpp</a>.</p>
290
+ <div class="fragment"><div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;{</div>
291
+ <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; os &lt;&lt; *<a class="code" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">getReturnType</a>() &lt;&lt; <span class="stringliteral">&quot;()&quot;</span>;</div>
292
+ <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160;}</div>
287
293
  </div><!-- fragment -->
288
294
  </div>
289
295
  </div>
@@ -308,7 +314,7 @@ Additional Inherited Members</h2></td></tr>
308
314
  </table>
309
315
  </div><div class="memdoc">
310
316
 
311
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00388">388</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
317
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00400">400</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
312
318
 
313
319
  </div>
314
320
  </div>
@@ -332,7 +338,7 @@ Additional Inherited Members</h2></td></tr>
332
338
  </table>
333
339
  </div><div class="memdoc">
334
340
 
335
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00387">387</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
341
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00399">399</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
336
342
 
337
343
  </div>
338
344
  </div>
@@ -357,7 +363,7 @@ Additional Inherited Members</h2></td></tr>
357
363
  </table>
358
364
  </div><div class="memdoc">
359
365
 
360
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00391">391</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
366
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00403">403</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
361
367
 
362
368
  </div>
363
369
  </div>
@@ -368,8 +374,8 @@ Additional Inherited Members</h2></td></tr>
368
374
  </div><!-- contents -->
369
375
  <div class="ttc" id="aclassSVF_1_1SVFType_html_aaaa5452f32227f5e44ac7665f2945202"><div class="ttname"><a href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType::SVFType</a></div><div class="ttdeci">SVFType(void)=delete</div></div>
370
376
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType::SVFFunctionTy</a></div><div class="ttdeci">@ SVFFunctionTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00255">SVFType.h:255</a></div></div>
371
- <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a2b3c4e21da9ad2bdd8e306192b953186"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186">SVF::SVFFunctionType::retTy</a></div><div class="ttdeci">const SVFType * retTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00391">SVFType.h:391</a></div></div>
372
- <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a74ce115a0fa958f259469b521468a2b3"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">SVF::SVFFunctionType::getReturnType</a></div><div class="ttdeci">const SVFType * getReturnType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00402">SVFType.h:402</a></div></div>
377
+ <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a2b3c4e21da9ad2bdd8e306192b953186"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186">SVF::SVFFunctionType::retTy</a></div><div class="ttdeci">const SVFType * retTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00403">SVFType.h:403</a></div></div>
378
+ <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a74ce115a0fa958f259469b521468a2b3"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">SVF::SVFFunctionType::getReturnType</a></div><div class="ttdeci">const SVFType * getReturnType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00414">SVFType.h:414</a></div></div>
373
379
  <!-- start footer part -->
374
380
  <hr class="footer"/><address class="footer"><small>
375
381
  Generated by &#160;<a href="http://www.doxygen.org/index.html">