svf-tools 1.0.807 → 1.0.809

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 (474) hide show
  1. package/SVF-doxygen/html/AccessPath_8cpp_source.html +143 -141
  2. package/SVF-doxygen/html/AccessPath_8h_source.html +36 -35
  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 +14 -14
  12. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +8 -8
  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 +8 -8
  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 +8 -8
  25. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +2 -2
  26. package/SVF-doxygen/html/ICFGEdge_8h_source.html +2 -2
  27. package/SVF-doxygen/html/ICFG_8cpp_source.html +3 -3
  28. package/SVF-doxygen/html/IRGraph_8cpp_source.html +4 -4
  29. package/SVF-doxygen/html/IntervalValue_8h_source.html +3 -3
  30. package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +2 -2
  31. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +190 -177
  32. package/SVF-doxygen/html/LLVMModule_8h_source.html +3 -3
  33. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +26 -38
  34. package/SVF-doxygen/html/LeakChecker_8cpp_source.html +1 -1
  35. package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +5 -5
  36. package/SVF-doxygen/html/LockAnalysis_8h_source.html +2 -2
  37. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
  38. package/SVF-doxygen/html/MHP_8cpp_source.html +6 -6
  39. package/SVF-doxygen/html/MSSAMuChi_8h_source.html +2 -2
  40. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
  41. package/SVF-doxygen/html/MTA_8cpp_source.html +5 -5
  42. package/SVF-doxygen/html/MemRegion_8cpp_source.html +9 -9
  43. package/SVF-doxygen/html/MemRegion_8h_source.html +3 -3
  44. package/SVF-doxygen/html/MemSSA_8cpp_source.html +6 -6
  45. package/SVF-doxygen/html/MemSSA_8h_source.html +2 -2
  46. package/SVF-doxygen/html/NodeIDAllocator_8cpp_source.html +2 -2
  47. package/SVF-doxygen/html/PAGBuilderFromFile_8cpp_source.html +2 -2
  48. package/SVF-doxygen/html/PCG_8cpp_source.html +2 -2
  49. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +3 -3
  50. package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +4 -4
  51. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +7 -7
  52. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +1 -1
  53. package/SVF-doxygen/html/ProgSlice_8cpp_source.html +2 -2
  54. package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +26 -26
  55. package/SVF-doxygen/html/SVFFileSystem_8h_source.html +21 -21
  56. package/SVF-doxygen/html/SVFGBuilder_8cpp_source.html +2 -2
  57. package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +2 -2
  58. package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +1 -1
  59. package/SVF-doxygen/html/SVFGStat_8cpp_source.html +1 -1
  60. package/SVF-doxygen/html/SVFG_8cpp_source.html +3 -3
  61. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +68 -68
  62. package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +10 -10
  63. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +822 -848
  64. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +34 -33
  65. package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +36 -36
  66. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +12 -12
  67. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +15 -15
  68. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +1 -1
  69. package/SVF-doxygen/html/SVFIR_8cpp_source.html +18 -18
  70. package/SVF-doxygen/html/SVFIR_8h_source.html +15 -15
  71. package/SVF-doxygen/html/SVFStat_8cpp_source.html +1 -1
  72. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +21 -21
  73. package/SVF-doxygen/html/SVFStatements_8h_source.html +967 -965
  74. package/SVF-doxygen/html/SVFType_8cpp.html +2 -2
  75. package/SVF-doxygen/html/SVFType_8cpp_source.html +61 -70
  76. package/SVF-doxygen/html/SVFType_8h.html +23 -23
  77. package/SVF-doxygen/html/SVFType_8h_source.html +431 -425
  78. package/SVF-doxygen/html/SVFUtil_8h_source.html +1 -1
  79. package/SVF-doxygen/html/SVFValue_8cpp_source.html +4 -4
  80. package/SVF-doxygen/html/SVFValue_8h_source.html +3 -3
  81. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +2 -2
  82. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +10 -10
  83. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +2 -2
  84. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  85. package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +3 -3
  86. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +5 -5
  87. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +8 -8
  88. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +7 -7
  89. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +1 -1
  90. package/SVF-doxygen/html/TCT_8cpp_source.html +2 -2
  91. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +2 -2
  92. package/SVF-doxygen/html/VFGNode_8h_source.html +11 -11
  93. package/SVF-doxygen/html/VFG_8cpp_source.html +19 -19
  94. package/SVF-doxygen/html/VFG_8h_source.html +14 -14
  95. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  96. package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +1 -1
  97. package/SVF-doxygen/html/WPAPass_8cpp_source.html +4 -4
  98. package/SVF-doxygen/html/WPAPass_8h_source.html +2 -2
  99. package/SVF-doxygen/html/classSVF_1_1AccessPath-members.html +16 -16
  100. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +162 -160
  101. package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  102. package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  103. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  104. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +2 -2
  105. package/SVF-doxygen/html/classSVF_1_1Andersen.html +5 -5
  106. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +2 -2
  107. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
  108. package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +1 -1
  109. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  110. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  111. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +69 -69
  112. package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  113. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +52 -52
  114. package/SVF-doxygen/html/classSVF_1_1BranchVFGNode.html +3 -3
  115. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +7 -7
  116. package/SVF-doxygen/html/classSVF_1_1CFLBase.html +1 -1
  117. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +4 -4
  118. package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +1 -1
  119. package/SVF-doxygen/html/classSVF_1_1CallPE.html +36 -36
  120. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +98 -98
  121. package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
  122. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +3 -3
  123. package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +13 -13
  124. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +8 -8
  125. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +20 -20
  126. package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
  127. package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
  128. package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
  129. package/SVF-doxygen/html/classSVF_1_1DDAClient.html +3 -3
  130. package/SVF-doxygen/html/classSVF_1_1DDAPass.html +1 -1
  131. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
  132. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +4 -4
  133. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  134. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  135. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +8 -8
  136. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +8 -8
  137. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  138. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +3 -3
  139. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
  140. package/SVF-doxygen/html/classSVF_1_1GepStmt-members.html +1 -1
  141. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +64 -64
  142. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  143. package/SVF-doxygen/html/classSVF_1_1ICFG.html +3 -3
  144. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +2 -2
  145. package/SVF-doxygen/html/classSVF_1_1IRGraph.html +2 -2
  146. package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  147. package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  148. package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +1 -1
  149. package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +1 -1
  150. package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  151. package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +2 -2
  152. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +185 -173
  153. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +2 -2
  154. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +20 -20
  155. package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +5 -5
  156. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
  157. package/SVF-doxygen/html/classSVF_1_1MHP.html +6 -6
  158. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +8 -8
  159. package/SVF-doxygen/html/classSVF_1_1MTA.html +5 -5
  160. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
  161. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
  162. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +3 -3
  163. package/SVF-doxygen/html/classSVF_1_1MemObj.html +1 -1
  164. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +6 -6
  165. package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +1 -1
  166. package/SVF-doxygen/html/classSVF_1_1MultiOpndStmt.html +48 -48
  167. package/SVF-doxygen/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
  168. package/SVF-doxygen/html/classSVF_1_1ObjTypeInfo.html +1 -1
  169. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
  170. package/SVF-doxygen/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  171. package/SVF-doxygen/html/classSVF_1_1PCG.html +2 -2
  172. package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
  173. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +47 -47
  174. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +7 -7
  175. package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +2 -2
  176. package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +1 -1
  177. package/SVF-doxygen/html/classSVF_1_1RetPE.html +36 -36
  178. package/SVF-doxygen/html/classSVF_1_1SVFArrayType-members.html +38 -37
  179. package/SVF-doxygen/html/classSVF_1_1SVFArrayType.html +43 -41
  180. package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +1 -1
  181. package/SVF-doxygen/html/classSVF_1_1SVFFunctionType-members.html +35 -34
  182. package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html +26 -26
  183. package/SVF-doxygen/html/classSVF_1_1SVFG.html +3 -3
  184. package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.html +2 -2
  185. package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +2 -2
  186. package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +1 -1
  187. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +17 -17
  188. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +57 -57
  189. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +6 -6
  190. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +908 -893
  191. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +13 -13
  192. package/SVF-doxygen/html/classSVF_1_1SVFIntegerType-members.html +36 -35
  193. package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html +37 -35
  194. package/SVF-doxygen/html/classSVF_1_1SVFOtherType-members.html +37 -36
  195. package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html +48 -37
  196. package/SVF-doxygen/html/classSVF_1_1SVFPointerType-members.html +36 -35
  197. package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html +38 -36
  198. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
  199. package/SVF-doxygen/html/classSVF_1_1SVFStructType-members.html +37 -36
  200. package/SVF-doxygen/html/classSVF_1_1SVFStructType.html +38 -36
  201. package/SVF-doxygen/html/classSVF_1_1SVFType-members.html +31 -30
  202. package/SVF-doxygen/html/classSVF_1_1SVFType.html +103 -67
  203. package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
  204. package/SVF-doxygen/html/classSVF_1_1SVFVar.html +1 -1
  205. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +10 -10
  206. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  207. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +39 -39
  208. package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +3 -3
  209. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +5 -5
  210. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +18 -18
  211. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +8 -8
  212. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +5 -5
  213. package/SVF-doxygen/html/classSVF_1_1TCT.html +3 -3
  214. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +23 -23
  215. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +22 -22
  216. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +2 -2
  217. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +45 -45
  218. package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  219. package/SVF-doxygen/html/classSVF_1_1VFG.html +19 -19
  220. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  221. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +1 -1
  222. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  223. package/SVF-doxygen/html/classSVF_1_1WPAPass.html +3 -3
  224. package/SVF-doxygen/html/functions_b.html +10 -9
  225. package/SVF-doxygen/html/functions_func_g.html +22 -20
  226. package/SVF-doxygen/html/functions_func_i.html +3 -3
  227. package/SVF-doxygen/html/functions_func_s.html +6 -6
  228. package/SVF-doxygen/html/functions_g.html +22 -20
  229. package/SVF-doxygen/html/functions_i.html +22 -16
  230. package/SVF-doxygen/html/functions_n.html +4 -4
  231. package/SVF-doxygen/html/functions_o.html +18 -19
  232. package/SVF-doxygen/html/functions_p.html +7 -7
  233. package/SVF-doxygen/html/functions_s.html +18 -16
  234. package/SVF-doxygen/html/functions_t.html +4 -4
  235. package/SVF-doxygen/html/functions_type_i.html +6 -0
  236. package/SVF-doxygen/html/functions_type_o.html +0 -3
  237. package/SVF-doxygen/html/functions_type_v.html +0 -3
  238. package/SVF-doxygen/html/functions_v.html +9 -12
  239. package/SVF-doxygen/html/functions_vars_b.html +1 -0
  240. package/SVF-doxygen/html/functions_vars_o.html +1 -1
  241. package/SVF-doxygen/html/functions_w.html +8 -8
  242. package/SVF-doxygen/html/namespaceSVF.html +44 -53
  243. package/SVF-doxygen/html/namespacemembers.html +1 -1
  244. package/SVF-doxygen/html/namespacemembers_func.html +1 -1
  245. package/SVF-doxygen/html/search/all_0.js +1 -1
  246. package/SVF-doxygen/html/search/all_10.js +324 -324
  247. package/SVF-doxygen/html/search/all_11.js +222 -222
  248. package/SVF-doxygen/html/search/all_12.js +543 -543
  249. package/SVF-doxygen/html/search/all_13.js +191 -191
  250. package/SVF-doxygen/html/search/all_14.js +67 -67
  251. package/SVF-doxygen/html/search/all_15.js +169 -170
  252. package/SVF-doxygen/html/search/all_16.js +63 -63
  253. package/SVF-doxygen/html/search/all_17.js +1 -1
  254. package/SVF-doxygen/html/search/all_18.js +1 -1
  255. package/SVF-doxygen/html/search/all_19.js +11 -11
  256. package/SVF-doxygen/html/search/all_1a.js +172 -172
  257. package/SVF-doxygen/html/search/all_2.js +1 -1
  258. package/SVF-doxygen/html/search/all_7.js +766 -765
  259. package/SVF-doxygen/html/search/all_8.js +196 -196
  260. package/SVF-doxygen/html/search/all_9.js +613 -611
  261. package/SVF-doxygen/html/search/all_a.js +46 -46
  262. package/SVF-doxygen/html/search/all_b.js +26 -26
  263. package/SVF-doxygen/html/search/all_c.js +116 -116
  264. package/SVF-doxygen/html/search/all_d.js +196 -196
  265. package/SVF-doxygen/html/search/all_e.js +207 -207
  266. package/SVF-doxygen/html/search/all_f.js +116 -116
  267. package/SVF-doxygen/html/search/classes_0.js +26 -26
  268. package/SVF-doxygen/html/search/classes_1.js +9 -9
  269. package/SVF-doxygen/html/search/classes_10.js +73 -73
  270. package/SVF-doxygen/html/search/classes_11.js +15 -15
  271. package/SVF-doxygen/html/search/classes_12.js +2 -2
  272. package/SVF-doxygen/html/search/classes_13.js +10 -10
  273. package/SVF-doxygen/html/search/classes_14.js +14 -14
  274. package/SVF-doxygen/html/search/classes_15.js +1 -1
  275. package/SVF-doxygen/html/search/classes_2.js +80 -80
  276. package/SVF-doxygen/html/search/classes_3.js +37 -37
  277. package/SVF-doxygen/html/search/classes_4.js +9 -9
  278. package/SVF-doxygen/html/search/classes_5.js +28 -28
  279. package/SVF-doxygen/html/search/classes_6.js +104 -104
  280. package/SVF-doxygen/html/search/classes_7.js +33 -33
  281. package/SVF-doxygen/html/search/classes_8.js +56 -56
  282. package/SVF-doxygen/html/search/classes_9.js +1 -1
  283. package/SVF-doxygen/html/search/classes_a.js +12 -12
  284. package/SVF-doxygen/html/search/classes_b.js +29 -29
  285. package/SVF-doxygen/html/search/classes_c.js +6 -6
  286. package/SVF-doxygen/html/search/classes_d.js +18 -18
  287. package/SVF-doxygen/html/search/classes_e.js +36 -36
  288. package/SVF-doxygen/html/search/classes_f.js +25 -25
  289. package/SVF-doxygen/html/search/defines_0.js +3 -3
  290. package/SVF-doxygen/html/search/defines_1.js +2 -2
  291. package/SVF-doxygen/html/search/defines_2.js +30 -30
  292. package/SVF-doxygen/html/search/defines_3.js +21 -21
  293. package/SVF-doxygen/html/search/defines_4.js +2 -2
  294. package/SVF-doxygen/html/search/defines_5.js +4 -4
  295. package/SVF-doxygen/html/search/defines_6.js +2 -2
  296. package/SVF-doxygen/html/search/defines_7.js +5 -5
  297. package/SVF-doxygen/html/search/defines_8.js +11 -11
  298. package/SVF-doxygen/html/search/defines_9.js +9 -9
  299. package/SVF-doxygen/html/search/defines_a.js +2 -2
  300. package/SVF-doxygen/html/search/defines_b.js +1 -1
  301. package/SVF-doxygen/html/search/defines_c.js +3 -3
  302. package/SVF-doxygen/html/search/defines_d.js +2 -2
  303. package/SVF-doxygen/html/search/defines_e.js +7 -7
  304. package/SVF-doxygen/html/search/defines_f.js +3 -3
  305. package/SVF-doxygen/html/search/enums_0.js +3 -3
  306. package/SVF-doxygen/html/search/enums_1.js +2 -2
  307. package/SVF-doxygen/html/search/enums_10.js +1 -1
  308. package/SVF-doxygen/html/search/enums_11.js +1 -1
  309. package/SVF-doxygen/html/search/enums_2.js +8 -8
  310. package/SVF-doxygen/html/search/enums_3.js +1 -1
  311. package/SVF-doxygen/html/search/enums_4.js +3 -3
  312. package/SVF-doxygen/html/search/enums_5.js +1 -1
  313. package/SVF-doxygen/html/search/enums_6.js +2 -2
  314. package/SVF-doxygen/html/search/enums_7.js +2 -2
  315. package/SVF-doxygen/html/search/enums_8.js +4 -4
  316. package/SVF-doxygen/html/search/enums_9.js +1 -1
  317. package/SVF-doxygen/html/search/enums_a.js +1 -1
  318. package/SVF-doxygen/html/search/enums_b.js +7 -7
  319. package/SVF-doxygen/html/search/enums_c.js +1 -1
  320. package/SVF-doxygen/html/search/enums_d.js +4 -4
  321. package/SVF-doxygen/html/search/enums_e.js +2 -2
  322. package/SVF-doxygen/html/search/enums_f.js +4 -4
  323. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  324. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  325. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  326. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  327. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  328. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  329. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  330. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  331. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  332. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  333. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  334. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  335. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  336. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  337. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  338. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  339. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  340. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  341. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  342. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  343. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  344. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  345. package/SVF-doxygen/html/search/files_0.js +13 -13
  346. package/SVF-doxygen/html/search/files_1.js +7 -7
  347. package/SVF-doxygen/html/search/files_10.js +8 -8
  348. package/SVF-doxygen/html/search/files_11.js +8 -8
  349. package/SVF-doxygen/html/search/files_12.js +2 -2
  350. package/SVF-doxygen/html/search/files_2.js +55 -55
  351. package/SVF-doxygen/html/search/files_3.js +14 -14
  352. package/SVF-doxygen/html/search/files_4.js +5 -5
  353. package/SVF-doxygen/html/search/files_5.js +13 -13
  354. package/SVF-doxygen/html/search/files_6.js +9 -9
  355. package/SVF-doxygen/html/search/files_7.js +14 -14
  356. package/SVF-doxygen/html/search/files_8.js +13 -13
  357. package/SVF-doxygen/html/search/files_9.js +18 -18
  358. package/SVF-doxygen/html/search/files_a.js +3 -3
  359. package/SVF-doxygen/html/search/files_b.js +2 -2
  360. package/SVF-doxygen/html/search/files_c.js +20 -20
  361. package/SVF-doxygen/html/search/files_d.js +4 -4
  362. package/SVF-doxygen/html/search/files_e.js +62 -62
  363. package/SVF-doxygen/html/search/files_f.js +8 -8
  364. package/SVF-doxygen/html/search/functions_0.js +12 -12
  365. package/SVF-doxygen/html/search/functions_1.js +360 -360
  366. package/SVF-doxygen/html/search/functions_10.js +140 -140
  367. package/SVF-doxygen/html/search/functions_11.js +138 -138
  368. package/SVF-doxygen/html/search/functions_12.js +278 -278
  369. package/SVF-doxygen/html/search/functions_13.js +59 -59
  370. package/SVF-doxygen/html/search/functions_14.js +39 -39
  371. package/SVF-doxygen/html/search/functions_15.js +71 -71
  372. package/SVF-doxygen/html/search/functions_16.js +32 -32
  373. package/SVF-doxygen/html/search/functions_17.js +3 -3
  374. package/SVF-doxygen/html/search/functions_18.js +172 -172
  375. package/SVF-doxygen/html/search/functions_2.js +86 -86
  376. package/SVF-doxygen/html/search/functions_3.js +257 -257
  377. package/SVF-doxygen/html/search/functions_4.js +75 -75
  378. package/SVF-doxygen/html/search/functions_5.js +53 -53
  379. package/SVF-doxygen/html/search/functions_6.js +59 -59
  380. package/SVF-doxygen/html/search/functions_7.js +852 -851
  381. package/SVF-doxygen/html/search/functions_8.js +148 -148
  382. package/SVF-doxygen/html/search/functions_9.js +429 -429
  383. package/SVF-doxygen/html/search/functions_a.js +30 -30
  384. package/SVF-doxygen/html/search/functions_b.js +2 -2
  385. package/SVF-doxygen/html/search/functions_c.js +26 -26
  386. package/SVF-doxygen/html/search/functions_d.js +77 -77
  387. package/SVF-doxygen/html/search/functions_e.js +35 -35
  388. package/SVF-doxygen/html/search/functions_f.js +56 -56
  389. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  390. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  391. package/SVF-doxygen/html/search/related_0.js +2 -2
  392. package/SVF-doxygen/html/search/related_1.js +2 -2
  393. package/SVF-doxygen/html/search/related_2.js +2 -2
  394. package/SVF-doxygen/html/search/related_3.js +2 -2
  395. package/SVF-doxygen/html/search/related_4.js +2 -2
  396. package/SVF-doxygen/html/search/related_5.js +1 -1
  397. package/SVF-doxygen/html/search/related_6.js +2 -2
  398. package/SVF-doxygen/html/search/related_7.js +4 -4
  399. package/SVF-doxygen/html/search/related_8.js +2 -2
  400. package/SVF-doxygen/html/search/related_9.js +4 -4
  401. package/SVF-doxygen/html/search/related_a.js +19 -19
  402. package/SVF-doxygen/html/search/related_b.js +4 -4
  403. package/SVF-doxygen/html/search/related_c.js +1 -1
  404. package/SVF-doxygen/html/search/related_d.js +11 -11
  405. package/SVF-doxygen/html/search/related_e.js +2 -2
  406. package/SVF-doxygen/html/search/related_f.js +2 -2
  407. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  408. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  409. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  410. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  411. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  412. package/SVF-doxygen/html/search/typedefs_13.js +34 -35
  413. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  414. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  415. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  416. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  417. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  418. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  419. package/SVF-doxygen/html/search/typedefs_7.js +44 -42
  420. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  421. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  422. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  423. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  424. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  425. package/SVF-doxygen/html/search/typedefs_d.js +14 -15
  426. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  427. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  428. package/SVF-doxygen/html/search/variables_0.js +151 -151
  429. package/SVF-doxygen/html/search/variables_1.js +75 -75
  430. package/SVF-doxygen/html/search/variables_10.js +97 -97
  431. package/SVF-doxygen/html/search/variables_11.js +44 -44
  432. package/SVF-doxygen/html/search/variables_12.js +92 -92
  433. package/SVF-doxygen/html/search/variables_13.js +75 -75
  434. package/SVF-doxygen/html/search/variables_14.js +14 -14
  435. package/SVF-doxygen/html/search/variables_15.js +48 -48
  436. package/SVF-doxygen/html/search/variables_16.js +9 -9
  437. package/SVF-doxygen/html/search/variables_17.js +1 -1
  438. package/SVF-doxygen/html/search/variables_18.js +2 -2
  439. package/SVF-doxygen/html/search/variables_2.js +38 -38
  440. package/SVF-doxygen/html/search/variables_3.js +142 -142
  441. package/SVF-doxygen/html/search/variables_4.js +55 -55
  442. package/SVF-doxygen/html/search/variables_5.js +36 -36
  443. package/SVF-doxygen/html/search/variables_6.js +66 -66
  444. package/SVF-doxygen/html/search/variables_7.js +33 -33
  445. package/SVF-doxygen/html/search/variables_8.js +7 -7
  446. package/SVF-doxygen/html/search/variables_9.js +77 -77
  447. package/SVF-doxygen/html/search/variables_a.js +4 -4
  448. package/SVF-doxygen/html/search/variables_b.js +10 -10
  449. package/SVF-doxygen/html/search/variables_c.js +45 -45
  450. package/SVF-doxygen/html/search/variables_d.js +56 -56
  451. package/SVF-doxygen/html/search/variables_e.js +123 -123
  452. package/SVF-doxygen/html/search/variables_f.js +30 -30
  453. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  454. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  455. package/SVF-doxygen/html/structSVF_1_1Hash_3_01NodePair_01_4.html +11 -11
  456. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +9 -9
  457. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +11 -11
  458. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +7 -7
  459. package/SVF-doxygen/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +14 -14
  460. package/SVF-doxygen/html/svf-ex_8cpp.html +22 -22
  461. package/SVF-doxygen/html/svf-ex_8cpp_source.html +23 -23
  462. package/package.json +1 -1
  463. package/svf/include/AbstractExecution/IntervalValue.h +3 -3
  464. package/svf/include/AbstractExecution/SVFIR2ItvExeState.h +5 -5
  465. package/svf/include/MemoryModel/AccessPath.h +6 -5
  466. package/svf/include/SVFIR/SVFStatements.h +3 -1
  467. package/svf/include/SVFIR/SVFType.h +18 -11
  468. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +212 -185
  469. package/svf/lib/MemoryModel/AccessPath.cpp +10 -9
  470. package/svf/lib/SVFIR/SVFFileSystem.cpp +5 -5
  471. package/svf/lib/SVFIR/SVFType.cpp +0 -7
  472. package/svf-llvm/lib/LLVMModule.cpp +16 -5
  473. package/svf-llvm/lib/LLVMUtil.cpp +0 -9
  474. package/svf-llvm/lib/SymbolTableBuilder.cpp +4 -4
package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html CHANGED
@@ -89,8 +89,8 @@ Inheritance diagram for SVF::SVFPointerType:</div>
89
89
  <table class="memberdecls">
90
90
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
91
91
  Public Member Functions</h2></td></tr>
92
- <tr class="memitem:a2f3fc3720ff9c0f3f8bc6f55fd971aab"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFPointerType.html#a2f3fc3720ff9c0f3f8bc6f55fd971aab">SVFPointerType</a> ()</td></tr>
93
- <tr class="separator:a2f3fc3720ff9c0f3f8bc6f55fd971aab"><td class="memSeparator" colspan="2">&#160;</td></tr>
92
+ <tr class="memitem:a2ce46de03df7896cc43e466189ba6ba2"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFPointerType.html#a2ce46de03df7896cc43e466189ba6ba2">SVFPointerType</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="el" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>)</td></tr>
93
+ <tr class="separator:a2ce46de03df7896cc43e466189ba6ba2"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
94
  <tr class="memitem:a067e8f095942e095aa1721dee3a241ea"><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_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea">getPtrElementType</a> () const</td></tr>
95
95
  <tr class="separator:a067e8f095942e095aa1721dee3a241ea"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
96
  <tr class="memitem:aaaa79de3df0f6764bfd3d2e487ea7a09"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFPointerType.html#aaaa79de3df0f6764bfd3d2e487ea7a09">setPtrElementType</a> (<a class="el" href="classSVF_1_1SVFType.html">SVFType</a> *_ptrElementType)</td></tr>
@@ -110,14 +110,14 @@ Public Member Functions</h2></td></tr>
110
110
  <tr class="separator:a3ddabbd763acaaca28cacbabe5bc7f3b inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
111
111
  <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>
112
112
  <tr class="separator:a3672b4797c400aac90c6d36ce29e0e57 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
113
- <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>
114
- <tr class="separator:a0091b8b186ad359a1b54ac7e0ee1e5d0 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
115
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>
116
114
  <tr class="separator:aef5999ada62dac3cc946d832ac66948c inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
117
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>
118
116
  <tr class="separator:a05850c17c2dbe42e5602dc8c9a70f3bd inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
119
117
  <tr class="memitem:af25ae6ae537f65f96917a66ce1bb3cf1 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">const <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#af25ae6ae537f65f96917a66ce1bb3cf1">getTypeInfo</a> () const</td></tr>
120
118
  <tr class="separator:af25ae6ae537f65f96917a66ce1bb3cf1 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
119
+ <tr class="memitem:a95b8031f1e15d49c7d68628be1d05aae 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#a95b8031f1e15d49c7d68628be1d05aae">getByteSize</a> () const</td></tr>
120
+ <tr class="separator:a95b8031f1e15d49c7d68628be1d05aae inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
121
121
  <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>
122
122
  <tr class="separator:a870b63af2bf9fe43cdf1df3d56b20f6c inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
123
123
  <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>
@@ -162,15 +162,15 @@ Additional Inherited Members</h2></td></tr>
162
162
  <tr class="memitem:a503a35534b72dbea065816f42ebfa9f0 inherit pub_types_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0">GNodeK</a></td></tr>
163
163
  <tr class="separator:a503a35534b72dbea065816f42ebfa9f0 inherit pub_types_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
164
164
  <tr class="inherit_header pro_methods_classSVF_1_1SVFType"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1SVFType')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td></tr>
165
- <tr class="memitem:ae8c4023976117479f77b9d09edff13b9 inherit pro_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#ae8c4023976117479f77b9d09edff13b9">SVFType</a> (bool svt, <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVFTyKind</a> k)</td></tr>
166
- <tr class="separator:ae8c4023976117479f77b9d09edff13b9 inherit pro_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
165
+ <tr class="memitem:a3afd7c9a47ab7cd96d9bfc5fc8c473a4 inherit pro_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a3afd7c9a47ab7cd96d9bfc5fc8c473a4">SVFType</a> (bool svt, <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVFTyKind</a> k, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> Sz)</td></tr>
166
+ <tr class="separator:a3afd7c9a47ab7cd96d9bfc5fc8c473a4 inherit pro_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
167
167
  </table>
168
168
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
169
169
  <div class="textblock">
170
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00344">344</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
170
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00351">351</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
171
171
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
172
- <a id="a2f3fc3720ff9c0f3f8bc6f55fd971aab"></a>
173
- <h2 class="memtitle"><span class="permalink"><a href="#a2f3fc3720ff9c0f3f8bc6f55fd971aab">&#9670;&nbsp;</a></span>SVFPointerType()</h2>
172
+ <a id="a2ce46de03df7896cc43e466189ba6ba2"></a>
173
+ <h2 class="memtitle"><span class="permalink"><a href="#a2ce46de03df7896cc43e466189ba6ba2">&#9670;&nbsp;</a></span>SVFPointerType()</h2>
174
174
 
175
175
  <div class="memitem">
176
176
  <div class="memproto">
@@ -181,7 +181,8 @@ Additional Inherited Members</h2></td></tr>
181
181
  <tr>
182
182
  <td class="memname">SVF::SVFPointerType::SVFPointerType </td>
183
183
  <td>(</td>
184
- <td class="paramname"></td><td>)</td>
184
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
185
+ <td class="paramname"><em>byteSize</em></td><td>)</td>
185
186
  <td></td>
186
187
  </tr>
187
188
  </table>
@@ -192,10 +193,10 @@ Additional Inherited Members</h2></td></tr>
192
193
  </table>
193
194
  </div><div class="memdoc">
194
195
 
195
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00353">353</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
196
- <div class="fragment"><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; : <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(<span class="keyword">true</span>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>), <a class="code" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">ptrElementType</a>(<span class="keyword">nullptr</span>)</div>
197
- <div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; {</div>
198
- <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; }</div>
196
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00360">360</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
197
+ <div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; : <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(<span class="keyword">true</span>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>, <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>), <a class="code" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">ptrElementType</a>(<span class="keyword">nullptr</span>)</div>
198
+ <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; {</div>
199
+ <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; }</div>
199
200
  </div><!-- fragment -->
200
201
  </div>
201
202
  </div>
@@ -224,10 +225,10 @@ Additional Inherited Members</h2></td></tr>
224
225
  </table>
225
226
  </div><div class="memdoc">
226
227
 
227
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00358">358</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
228
- <div class="fragment"><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; {</div>
229
- <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>;</div>
230
- <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; }</div>
228
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00365">365</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
229
+ <div class="fragment"><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; {</div>
230
+ <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>;</div>
231
+ <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; }</div>
231
232
  </div><!-- fragment -->
232
233
  </div>
233
234
  </div>
@@ -254,11 +255,11 @@ Additional Inherited Members</h2></td></tr>
254
255
  </table>
255
256
  </div><div class="memdoc">
256
257
 
257
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00362">362</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
258
- <div class="fragment"><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; {</div>
259
- <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; assert(<a class="code" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">ptrElementType</a> &amp;&amp; <span class="stringliteral">&quot;ptrElementType is nullptr&quot;</span>);</div>
260
- <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">ptrElementType</a>;</div>
261
- <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; }</div>
258
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00369">369</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
259
+ <div class="fragment"><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; {</div>
260
+ <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; assert(<a class="code" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">ptrElementType</a> &amp;&amp; <span class="stringliteral">&quot;ptrElementType is nullptr&quot;</span>);</div>
261
+ <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">ptrElementType</a>;</div>
262
+ <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; }</div>
262
263
  </div><!-- fragment -->
263
264
  </div>
264
265
  </div>
@@ -288,10 +289,10 @@ Additional Inherited Members</h2></td></tr>
288
289
 
289
290
  <p>Implements <a class="el" href="classSVF_1_1SVFType.html#af03420fef3b660f998d0a2f09a18a615">SVF::SVFType</a>.</p>
290
291
 
291
- <p class="definition">Definition at line <a class="el" href="SVFType_8cpp_source.html#l00028">28</a> of file <a class="el" href="SVFType_8cpp_source.html">SVFType.cpp</a>.</p>
292
- <div class="fragment"><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160;{</div>
293
- <div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160; os &lt;&lt; *<a class="code" href="classSVF_1_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea">getPtrElementType</a>() &lt;&lt; <span class="charliteral">&#39;*&#39;</span>;</div>
294
- <div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;}</div>
292
+ <p class="definition">Definition at line <a class="el" href="SVFType_8cpp_source.html#l00021">21</a> of file <a class="el" href="SVFType_8cpp_source.html">SVFType.cpp</a>.</p>
293
+ <div class="fragment"><div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160;{</div>
294
+ <div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160; os &lt;&lt; *<a class="code" href="classSVF_1_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea">getPtrElementType</a>() &lt;&lt; <span class="charliteral">&#39;*&#39;</span>;</div>
295
+ <div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160;}</div>
295
296
  </div><!-- fragment -->
296
297
  </div>
297
298
  </div>
@@ -319,10 +320,10 @@ Additional Inherited Members</h2></td></tr>
319
320
  </table>
320
321
  </div><div class="memdoc">
321
322
 
322
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00368">368</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
323
- <div class="fragment"><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; {</div>
324
- <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; <a class="code" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">ptrElementType</a> = _ptrElementType;</div>
325
- <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; }</div>
323
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00375">375</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
324
+ <div class="fragment"><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; {</div>
325
+ <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; <a class="code" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">ptrElementType</a> = _ptrElementType;</div>
326
+ <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; }</div>
326
327
  </div><!-- fragment -->
327
328
  </div>
328
329
  </div>
@@ -347,7 +348,7 @@ Additional Inherited Members</h2></td></tr>
347
348
  </table>
348
349
  </div><div class="memdoc">
349
350
 
350
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00347">347</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
351
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00354">354</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
351
352
 
352
353
  </div>
353
354
  </div>
@@ -371,7 +372,7 @@ Additional Inherited Members</h2></td></tr>
371
372
  </table>
372
373
  </div><div class="memdoc">
373
374
 
374
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00346">346</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
375
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00353">353</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
375
376
 
376
377
  </div>
377
378
  </div>
@@ -396,7 +397,7 @@ Additional Inherited Members</h2></td></tr>
396
397
  </table>
397
398
  </div><div class="memdoc">
398
399
 
399
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00350">350</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
400
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00357">357</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
400
401
 
401
402
  </div>
402
403
  </div>
@@ -406,9 +407,10 @@ Additional Inherited Members</h2></td></tr>
406
407
  </ul>
407
408
  </div><!-- contents -->
408
409
  <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>
409
- <div class="ttc" id="aclassSVF_1_1SVFPointerType_html_a5b2e9e60925b6f45b10e1f54adb23d60"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">SVF::SVFPointerType::ptrElementType</a></div><div class="ttdeci">const SVFType * ptrElementType</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00350">SVFType.h:350</a></div></div>
410
+ <div class="ttc" id="aclassSVF_1_1SVFType_html_a517f8bb64d3a2eb9d697e77191f718b6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">SVF::SVFType::byteSize</a></div><div class="ttdeci">u32_t byteSize</div><div class="ttdoc">array</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00267">SVFType.h:267</a></div></div>
411
+ <div class="ttc" id="aclassSVF_1_1SVFPointerType_html_a5b2e9e60925b6f45b10e1f54adb23d60"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">SVF::SVFPointerType::ptrElementType</a></div><div class="ttdeci">const SVFType * ptrElementType</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00357">SVFType.h:357</a></div></div>
410
412
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType::SVFPointerTy</a></div><div class="ttdeci">@ SVFPointerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00253">SVFType.h:253</a></div></div>
411
- <div class="ttc" id="aclassSVF_1_1SVFPointerType_html_a067e8f095942e095aa1721dee3a241ea"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea">SVF::SVFPointerType::getPtrElementType</a></div><div class="ttdeci">const SVFType * getPtrElementType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00362">SVFType.h:362</a></div></div>
413
+ <div class="ttc" id="aclassSVF_1_1SVFPointerType_html_a067e8f095942e095aa1721dee3a241ea"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea">SVF::SVFPointerType::getPtrElementType</a></div><div class="ttdeci">const SVFType * getPtrElementType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00369">SVFType.h:369</a></div></div>
412
414
  <!-- start footer part -->
413
415
  <hr class="footer"/><address class="footer"><small>
414
416
  Generated by &#160;<a href="http://www.doxygen.org/index.html">
package/SVF-doxygen/html/classSVF_1_1SVFStat.html CHANGED
@@ -959,7 +959,7 @@ Private Attributes</h2></td></tr>
959
959
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_a5486697889c6cca4f9f426650defc255"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">SVF::SVFModule::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00133">SVFModule.h:133</a></div></div>
960
960
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00081">SymbolTableInfo.cpp:81</a></div></div>
961
961
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_afcf2978f32e15127fb093405dc17d7f1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">SVF::SVFModule::const_iterator</a></div><div class="ttdeci">FunctionSetType::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00054">SVFModule.h:54</a></div></div>
962
- <div class="ttc" id="aSVFType_8h_html_af091e361d7961cb895ff2101eceed953"><div class="ttname"><a href="SVFType_8h.html#af091e361d7961cb895ff2101eceed953">CLOCK_IN_MS</a></div><div class="ttdeci">#define CLOCK_IN_MS()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00598">SVFType.h:598</a></div></div>
962
+ <div class="ttc" id="aSVFType_8h_html_af091e361d7961cb895ff2101eceed953"><div class="ttname"><a href="SVFType_8h.html#af091e361d7961cb895ff2101eceed953">CLOCK_IN_MS</a></div><div class="ttdeci">#define CLOCK_IN_MS()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00605">SVFType.h:605</a></div></div>
963
963
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_ad6e18f520f6b559f2304002792f6b701"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ad6e18f520f6b559f2304002792f6b701">SVF::SVFIR::getModule</a></div><div class="ttdeci">SVFModule * getModule()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00160">SVFIR.h:160</a></div></div>
964
964
  <div class="ttc" id="aclassSVF_1_1MemObj_html_af7316c697eafc71d5fc93108da4e2cee"><div class="ttname"><a href="classSVF_1_1MemObj.html#af7316c697eafc71d5fc93108da4e2cee">SVF::MemObj::isStack</a></div><div class="ttdeci">bool isStack() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00498">SymbolTableInfo.cpp:498</a></div></div>
965
965
  <div class="ttc" id="aclassSVF_1_1MemObj_html_a6dae1b3429c6049f0153ec006d329082"><div class="ttname"><a href="classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082">SVF::MemObj::hasPtrObj</a></div><div class="ttdeci">bool hasPtrObj() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00548">SymbolTableInfo.cpp:548</a></div></div>
package/SVF-doxygen/html/classSVF_1_1SVFStructType-members.html CHANGED
@@ -72,43 +72,44 @@ $(function() {
72
72
 
73
73
  <p>This is the complete list of members for <a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a>, including all inherited members.</p>
74
74
  <table class="directory">
75
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#a5551dee67814f75b701ba5e2757f6775">classof</a>(const SVFType *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
75
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</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>
76
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#a5551dee67814f75b701ba5e2757f6775">classof</a>(const SVFType *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
77
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a95b8031f1e15d49c7d68628be1d05aae">getByteSize</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>
76
78
  <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#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_1SVFStructType.html#acf9690a279fb50ff2ac635fbad617da8">getName</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</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#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>
80
- <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>
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>
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>
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_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
91
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b">print</a>(std::ostream &amp;os) const override</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
92
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#a6283d212e48c08c9bcf5ade551a79a50">setName</a>(const std::string &amp;structName)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</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_1SVFStructType.html#ad397c1ef657691c0dae0c093a9b0a5e8">setName</a>(std::string &amp;&amp;structName)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</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#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>
95
- <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>
96
- <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>
97
- <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>
98
- <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>
99
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
100
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
101
- <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>
102
- <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>
103
- <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>
104
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#acb09f35e745bc341d15285d528bc1240">SVFStructType</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
105
- <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>
106
- <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>
107
- <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>
108
- <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>
109
- <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>
110
- <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>
111
- <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>
79
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#acf9690a279fb50ff2ac635fbad617da8">getName</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</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#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>
81
+ <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>
82
+ <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>
83
+ <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>
84
+ <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>
85
+ <tr class="even"><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>
86
+ <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>
87
+ <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>
88
+ <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>
89
+ <tr class="even"><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>
90
+ <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>
91
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
92
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b">print</a>(std::ostream &amp;os) const override</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
93
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#a6283d212e48c08c9bcf5ade551a79a50">setName</a>(const std::string &amp;structName)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
94
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#ad397c1ef657691c0dae0c093a9b0a5e8">setName</a>(std::string &amp;&amp;structName)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
95
+ <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>
96
+ <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>
97
+ <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>
98
+ <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>
99
+ <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>
100
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
101
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
102
+ <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>
103
+ <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>
104
+ <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>
105
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html#adf471a114f91b87ea9bb981441babb24">SVFStructType</a>(u32_t byteSize)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
106
+ <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>
107
+ <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>
108
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3afd7c9a47ab7cd96d9bfc5fc8c473a4">SVFType</a>(bool svt, SVFTyKind k, u32_t Sz)</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>
109
+ <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>
110
+ <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>
111
+ <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>
112
+ <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>
112
113
  </table></div><!-- contents -->
113
114
  <!-- start footer part -->
114
115
  <hr class="footer"/><address class="footer"><small>