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_1SVFStructType.html CHANGED
@@ -89,8 +89,8 @@ Inheritance diagram for SVF::SVFStructType:</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:acb09f35e745bc341d15285d528bc1240"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStructType.html#acb09f35e745bc341d15285d528bc1240">SVFStructType</a> ()</td></tr>
93
- <tr class="separator:acb09f35e745bc341d15285d528bc1240"><td class="memSeparator" colspan="2">&#160;</td></tr>
92
+ <tr class="memitem:adf471a114f91b87ea9bb981441babb24"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStructType.html#adf471a114f91b87ea9bb981441babb24">SVFStructType</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:adf471a114f91b87ea9bb981441babb24"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
94
  <tr class="memitem:ab801eeb012f9c462bca9745afdb2c43b"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b">print</a> (std::ostream &amp;os) const override</td></tr>
95
95
  <tr class="separator:ab801eeb012f9c462bca9745afdb2c43b"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
96
  <tr class="memitem:acf9690a279fb50ff2ac635fbad617da8"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStructType.html#acf9690a279fb50ff2ac635fbad617da8">getName</a> ()</td></tr>
@@ -112,14 +112,14 @@ Public Member Functions</h2></td></tr>
112
112
  <tr class="separator:a3ddabbd763acaaca28cacbabe5bc7f3b inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
113
113
  <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>
114
114
  <tr class="separator:a3672b4797c400aac90c6d36ce29e0e57 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
115
- <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>
116
- <tr class="separator:a0091b8b186ad359a1b54ac7e0ee1e5d0 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
117
115
  <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>
118
116
  <tr class="separator:aef5999ada62dac3cc946d832ac66948c inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
119
117
  <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>
120
118
  <tr class="separator:a05850c17c2dbe42e5602dc8c9a70f3bd inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
121
119
  <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>
122
120
  <tr class="separator:af25ae6ae537f65f96917a66ce1bb3cf1 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
121
+ <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>
122
+ <tr class="separator:a95b8031f1e15d49c7d68628be1d05aae inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
123
123
  <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>
124
124
  <tr class="separator:a870b63af2bf9fe43cdf1df3d56b20f6c inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
125
125
  <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>
@@ -165,15 +165,15 @@ Additional Inherited Members</h2></td></tr>
165
165
  <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>
166
166
  <tr class="separator:a503a35534b72dbea065816f42ebfa9f0 inherit pub_types_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
167
167
  <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>
168
- <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>
169
- <tr class="separator:ae8c4023976117479f77b9d09edff13b9 inherit pro_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
168
+ <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>
169
+ <tr class="separator:a3afd7c9a47ab7cd96d9bfc5fc8c473a4 inherit pro_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
170
170
  </table>
171
171
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
172
172
  <div class="textblock">
173
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00429">429</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
173
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00436">436</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
174
174
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
175
- <a id="acb09f35e745bc341d15285d528bc1240"></a>
176
- <h2 class="memtitle"><span class="permalink"><a href="#acb09f35e745bc341d15285d528bc1240">&#9670;&nbsp;</a></span>SVFStructType()</h2>
175
+ <a id="adf471a114f91b87ea9bb981441babb24"></a>
176
+ <h2 class="memtitle"><span class="permalink"><a href="#adf471a114f91b87ea9bb981441babb24">&#9670;&nbsp;</a></span>SVFStructType()</h2>
177
177
 
178
178
  <div class="memitem">
179
179
  <div class="memproto">
@@ -184,7 +184,8 @@ Additional Inherited Members</h2></td></tr>
184
184
  <tr>
185
185
  <td class="memname">SVF::SVFStructType::SVFStructType </td>
186
186
  <td>(</td>
187
- <td class="paramname"></td><td>)</td>
187
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
188
+ <td class="paramname"><em>byteSize</em></td><td>)</td>
188
189
  <td></td>
189
190
  </tr>
190
191
  </table>
@@ -195,8 +196,8 @@ Additional Inherited Members</h2></td></tr>
195
196
  </table>
196
197
  </div><div class="memdoc">
197
198
 
198
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00439">439</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
199
- <div class="fragment"><div class="line"><a name="l00439"></a><span class="lineno"> 439</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#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>) {}</div>
199
+ <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>
200
+ <div class="fragment"><div class="line"><a name="l00446"></a><span class="lineno"> 446</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#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>, <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>) {}</div>
200
201
  </div><!-- fragment -->
201
202
  </div>
202
203
  </div>
@@ -225,10 +226,10 @@ Additional Inherited Members</h2></td></tr>
225
226
  </table>
226
227
  </div><div class="memdoc">
227
228
 
228
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00441">441</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
229
- <div class="fragment"><div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160; {</div>
230
- <div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>;</div>
231
- <div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; }</div>
229
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00448">448</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
230
+ <div class="fragment"><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; {</div>
231
+ <div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>;</div>
232
+ <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; }</div>
232
233
  </div><!-- fragment -->
233
234
  </div>
234
235
  </div>
@@ -255,10 +256,10 @@ Additional Inherited Members</h2></td></tr>
255
256
  </table>
256
257
  </div><div class="memdoc">
257
258
 
258
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00448">448</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
259
- <div class="fragment"><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; {</div>
260
- <div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a>;</div>
261
- <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; }</div>
259
+ <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>
260
+ <div class="fragment"><div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; {</div>
261
+ <div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a>;</div>
262
+ <div class="line"><a name="l00458"></a><span class="lineno"> 458</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#l00046">46</a> of file <a class="el" href="SVFType_8cpp_source.html">SVFType.cpp</a>.</p>
292
- <div class="fragment"><div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160;{</div>
293
- <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;S.&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a>;</div>
294
- <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160;}</div>
292
+ <p class="definition">Definition at line <a class="el" href="SVFType_8cpp_source.html#l00039">39</a> of file <a class="el" href="SVFType_8cpp_source.html">SVFType.cpp</a>.</p>
293
+ <div class="fragment"><div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;{</div>
294
+ <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;S.&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a>;</div>
295
+ <div class="line"><a name="l00042"></a><span class="lineno"> 42</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#l00452">452</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
323
- <div class="fragment"><div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; {</div>
324
- <div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a> = <a class="code" href="LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a>;</div>
325
- <div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; }</div>
323
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00459">459</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
324
+ <div class="fragment"><div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; {</div>
325
+ <div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a> = <a class="code" href="LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a>;</div>
326
+ <div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160; }</div>
326
327
  </div><!-- fragment -->
327
328
  </div>
328
329
  </div>
@@ -350,10 +351,10 @@ Additional Inherited Members</h2></td></tr>
350
351
  </table>
351
352
  </div><div class="memdoc">
352
353
 
353
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00456">456</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
354
- <div class="fragment"><div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160; {</div>
355
- <div class="line"><a name="l00458"></a><span class="lineno"> 458</span>&#160; <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(<a class="code" href="LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a>);</div>
356
- <div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; }</div>
354
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00463">463</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
355
+ <div class="fragment"><div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; {</div>
356
+ <div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(<a class="code" href="LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a>);</div>
357
+ <div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160; }</div>
357
358
  </div><!-- fragment -->
358
359
  </div>
359
360
  </div>
@@ -378,7 +379,7 @@ Additional Inherited Members</h2></td></tr>
378
379
  </table>
379
380
  </div><div class="memdoc">
380
381
 
381
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00432">432</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
382
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00439">439</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
382
383
 
383
384
  </div>
384
385
  </div>
@@ -402,7 +403,7 @@ Additional Inherited Members</h2></td></tr>
402
403
  </table>
403
404
  </div><div class="memdoc">
404
405
 
405
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00431">431</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
406
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00438">438</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
406
407
 
407
408
  </div>
408
409
  </div>
@@ -429,7 +430,7 @@ Additional Inherited Members</h2></td></tr>
429
430
 
430
431
  <p>Field for printing &amp; debugging. </p>
431
432
 
432
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00436">436</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
433
+ <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>
433
434
 
434
435
  </div>
435
436
  </div>
@@ -439,9 +440,10 @@ Additional Inherited Members</h2></td></tr>
439
440
  </ul>
440
441
  </div><!-- contents -->
441
442
  <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>
443
+ <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>
442
444
  <div class="ttc" id="aLLVMUtil_8cpp_html_a61c158146c07e77234eb4a2f9b940821"><div class="ttname"><a href="LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a></div><div class="ttdeci">const std::string structName</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00044">LLVMUtil.cpp:44</a></div></div>
443
445
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
444
- <div class="ttc" id="aclassSVF_1_1SVFStructType_html_a21782d68a616fb955d4988382eea61cf"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">SVF::SVFStructType::name</a></div><div class="ttdeci">std::string name</div><div class="ttdoc">Field for printing &amp; debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00436">SVFType.h:436</a></div></div>
446
+ <div class="ttc" id="aclassSVF_1_1SVFStructType_html_a21782d68a616fb955d4988382eea61cf"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">SVF::SVFStructType::name</a></div><div class="ttdeci">std::string name</div><div class="ttdoc">Field for printing &amp; debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00443">SVFType.h:443</a></div></div>
445
447
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVF::SVFType::SVFStructTy</a></div><div class="ttdeci">@ SVFStructTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00256">SVFType.h:256</a></div></div>
446
448
  <!-- start footer part -->
447
449
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1SVFType-members.html CHANGED
@@ -72,37 +72,38 @@ $(function() {
72
72
 
73
73
  <p>This is the complete list of members for <a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a>, including all inherited members.</p>
74
74
  <table class="directory">
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_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>
75
77
  <tr class="even"><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>
76
- <tr><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>
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>
81
- <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#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
- <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
- <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
- <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#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>
87
- <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>
88
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#af03420fef3b660f998d0a2f09a18a615">print</a>(std::ostream &amp;os) const =0</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">pure virtual</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_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>
94
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
95
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
96
- <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>
97
- <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>
98
- <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>
99
- <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>
100
- <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>
101
- <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>
102
- <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>
103
- <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>
104
- <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>
105
- <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>
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_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>
83
+ <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>
84
+ <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>
85
+ <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>
86
+ <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>
87
+ <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>
88
+ <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>
89
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#af03420fef3b660f998d0a2f09a18a615">print</a>(std::ostream &amp;os) const =0</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
90
+ <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>
91
+ <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>
92
+ <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>
93
+ <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>
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_1SVFType.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
96
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</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#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>
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>
106
107
  </table></div><!-- contents -->
107
108
  <!-- start footer part -->
108
109
  <hr class="footer"/><address class="footer"><small>