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_1SVFType.html CHANGED
@@ -126,14 +126,14 @@ Public Member Functions</h2></td></tr>
126
126
  <tr class="separator:a3ddabbd763acaaca28cacbabe5bc7f3b"><td class="memSeparator" colspan="2">&#160;</td></tr>
127
127
  <tr class="memitem:a3672b4797c400aac90c6d36ce29e0e57"><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>
128
128
  <tr class="separator:a3672b4797c400aac90c6d36ce29e0e57"><td class="memSeparator" colspan="2">&#160;</td></tr>
129
- <tr class="memitem:a0091b8b186ad359a1b54ac7e0ee1e5d0"><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>
130
- <tr class="separator:a0091b8b186ad359a1b54ac7e0ee1e5d0"><td class="memSeparator" colspan="2">&#160;</td></tr>
131
129
  <tr class="memitem:aef5999ada62dac3cc946d832ac66948c"><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>
132
130
  <tr class="separator:aef5999ada62dac3cc946d832ac66948c"><td class="memSeparator" colspan="2">&#160;</td></tr>
133
131
  <tr class="memitem:a05850c17c2dbe42e5602dc8c9a70f3bd"><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>
134
132
  <tr class="separator:a05850c17c2dbe42e5602dc8c9a70f3bd"><td class="memSeparator" colspan="2">&#160;</td></tr>
135
133
  <tr class="memitem:af25ae6ae537f65f96917a66ce1bb3cf1"><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>
136
134
  <tr class="separator:af25ae6ae537f65f96917a66ce1bb3cf1"><td class="memSeparator" colspan="2">&#160;</td></tr>
135
+ <tr class="memitem:a95b8031f1e15d49c7d68628be1d05aae"><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>
136
+ <tr class="separator:a95b8031f1e15d49c7d68628be1d05aae"><td class="memSeparator" colspan="2">&#160;</td></tr>
137
137
  <tr class="memitem:a870b63af2bf9fe43cdf1df3d56b20f6c"><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>
138
138
  <tr class="separator:a870b63af2bf9fe43cdf1df3d56b20f6c"><td class="memSeparator" colspan="2">&#160;</td></tr>
139
139
  <tr class="memitem:a330084f9a3deb6e5acb52a8ee3eb7fe4"><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>
@@ -145,8 +145,8 @@ Public Member Functions</h2></td></tr>
145
145
  </table><table class="memberdecls">
146
146
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-methods"></a>
147
147
  Protected Member Functions</h2></td></tr>
148
- <tr class="memitem:ae8c4023976117479f77b9d09edff13b9"><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>
149
- <tr class="separator:ae8c4023976117479f77b9d09edff13b9"><td class="memSeparator" colspan="2">&#160;</td></tr>
148
+ <tr class="memitem:a3afd7c9a47ab7cd96d9bfc5fc8c473a4"><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>
149
+ <tr class="separator:a3afd7c9a47ab7cd96d9bfc5fc8c473a4"><td class="memSeparator" colspan="2">&#160;</td></tr>
150
150
  </table><table class="memberdecls">
151
151
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
152
152
  Private Attributes</h2></td></tr>
@@ -159,8 +159,11 @@ Private Attributes</h2></td></tr>
159
159
  <tr class="memdesc:a86ea48a882823de2e3e906220dc0111e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return a pointer to the current type. <a href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">More...</a><br /></td></tr>
160
160
  <tr class="separator:a86ea48a882823de2e3e906220dc0111e"><td class="memSeparator" colspan="2">&#160;</td></tr>
161
161
  <tr class="memitem:ac26ba9052149b5b792aa8e8c3ccfd350"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a></td></tr>
162
- <tr class="memdesc:ac26ba9052149b5b792aa8e8c3ccfd350"><td class="mdescLeft">&#160;</td><td class="mdescRight">array <a href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">More...</a><br /></td></tr>
162
+ <tr class="memdesc:ac26ba9052149b5b792aa8e8c3ccfd350"><td class="mdescLeft">&#160;</td><td class="mdescRight">The type represents a single value, not struct or. <a href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">More...</a><br /></td></tr>
163
163
  <tr class="separator:ac26ba9052149b5b792aa8e8c3ccfd350"><td class="memSeparator" colspan="2">&#160;</td></tr>
164
+ <tr class="memitem:a517f8bb64d3a2eb9d697e77191f718b6"><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#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a></td></tr>
165
+ <tr class="memdesc:a517f8bb64d3a2eb9d697e77191f718b6"><td class="mdescLeft">&#160;</td><td class="mdescRight">array <a href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">More...</a><br /></td></tr>
166
+ <tr class="separator:a517f8bb64d3a2eb9d697e77191f718b6"><td class="memSeparator" colspan="2">&#160;</td></tr>
164
167
  </table><table class="memberdecls">
165
168
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
166
169
  Friends</h2></td></tr>
@@ -225,8 +228,8 @@ Friends</h2></td></tr>
225
228
  </div>
226
229
  </div>
227
230
  <h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
228
- <a id="ae8c4023976117479f77b9d09edff13b9"></a>
229
- <h2 class="memtitle"><span class="permalink"><a href="#ae8c4023976117479f77b9d09edff13b9">&#9670;&nbsp;</a></span>SVFType() <span class="overload">[1/2]</span></h2>
231
+ <a id="a3afd7c9a47ab7cd96d9bfc5fc8c473a4"></a>
232
+ <h2 class="memtitle"><span class="permalink"><a href="#a3afd7c9a47ab7cd96d9bfc5fc8c473a4">&#9670;&nbsp;</a></span>SVFType() <span class="overload">[1/2]</span></h2>
230
233
 
231
234
  <div class="memitem">
232
235
  <div class="memproto">
@@ -244,7 +247,13 @@ Friends</h2></td></tr>
244
247
  <td class="paramkey"></td>
245
248
  <td></td>
246
249
  <td class="paramtype"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVFTyKind</a>&#160;</td>
247
- <td class="paramname"><em>k</em>&#160;</td>
250
+ <td class="paramname"><em>k</em>, </td>
251
+ </tr>
252
+ <tr>
253
+ <td class="paramkey"></td>
254
+ <td></td>
255
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
256
+ <td class="paramname"><em>Sz</em>&#160;</td>
248
257
  </tr>
249
258
  <tr>
250
259
  <td></td>
@@ -259,11 +268,11 @@ Friends</h2></td></tr>
259
268
  </table>
260
269
  </div><div class="memdoc">
261
270
 
262
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00270">270</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
263
- <div class="fragment"><div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; : <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a>(k), <a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a>(<span class="keyword">nullptr</span>),</div>
264
- <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <a class="code" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a>(svt)</div>
265
- <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; {</div>
266
- <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; }</div>
271
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00271">271</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
272
+ <div class="fragment"><div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; : <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a>(k), <a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a>(<span class="keyword">nullptr</span>),</div>
273
+ <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; <a class="code" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a>(svt), <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>(Sz)</div>
274
+ <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; {</div>
275
+ <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; }</div>
267
276
  </div><!-- fragment -->
268
277
  </div>
269
278
  </div>
@@ -316,14 +325,14 @@ Friends</h2></td></tr>
316
325
  </table>
317
326
  </div><div class="memdoc">
318
327
 
319
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00278">278</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
320
- <div class="fragment"><div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160;{}</div>
328
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00279">279</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
329
+ <div class="fragment"><div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160;{}</div>
321
330
  </div><!-- fragment -->
322
331
  </div>
323
332
  </div>
324
333
  <h2 class="groupheader">Member Function Documentation</h2>
325
- <a id="a4bc7962d519c1c0380b5a6a144c91c51"></a>
326
- <h2 class="memtitle"><span class="permalink"><a href="#a4bc7962d519c1c0380b5a6a144c91c51">&#9670;&nbsp;</a></span>getKind()</h2>
334
+ <a id="a95b8031f1e15d49c7d68628be1d05aae"></a>
335
+ <h2 class="memtitle"><span class="permalink"><a href="#a95b8031f1e15d49c7d68628be1d05aae">&#9670;&nbsp;</a></span>getByteSize()</h2>
327
336
 
328
337
  <div class="memitem">
329
338
  <div class="memproto">
@@ -332,7 +341,7 @@ Friends</h2></td></tr>
332
341
  <td class="mlabels-left">
333
342
  <table class="memname">
334
343
  <tr>
335
- <td class="memname"><a class="el" href="classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0">GNodeK</a> SVF::SVFType::getKind </td>
344
+ <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::SVFType::getByteSize </td>
336
345
  <td>(</td>
337
346
  <td class="paramname"></td><td>)</td>
338
347
  <td> const</td>
@@ -344,37 +353,42 @@ Friends</h2></td></tr>
344
353
  </tr>
345
354
  </table>
346
355
  </div><div class="memdoc">
356
+ <p>if Type is not sized, byteSize is 0 if Type is sized, byteSize is the LLVM Byte Size. </p>
347
357
 
348
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00280">280</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
349
- <div class="fragment"><div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; {</div>
350
- <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a>;</div>
351
- <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; }</div>
358
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00323">323</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
359
+ <div class="fragment"><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; {</div>
360
+ <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>;</div>
361
+ <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; }</div>
352
362
  </div><!-- fragment -->
353
363
  </div>
354
364
  </div>
355
- <a id="a0091b8b186ad359a1b54ac7e0ee1e5d0"></a>
356
- <h2 class="memtitle"><span class="permalink"><a href="#a0091b8b186ad359a1b54ac7e0ee1e5d0">&#9670;&nbsp;</a></span>getLLVMByteSize()</h2>
365
+ <a id="a4bc7962d519c1c0380b5a6a144c91c51"></a>
366
+ <h2 class="memtitle"><span class="permalink"><a href="#a4bc7962d519c1c0380b5a6a144c91c51">&#9670;&nbsp;</a></span>getKind()</h2>
357
367
 
358
368
  <div class="memitem">
359
369
  <div class="memproto">
370
+ <table class="mlabels">
371
+ <tr>
372
+ <td class="mlabels-left">
360
373
  <table class="memname">
361
374
  <tr>
362
- <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::SVFType::getLLVMByteSize </td>
375
+ <td class="memname"><a class="el" href="classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0">GNodeK</a> SVF::SVFType::getKind </td>
363
376
  <td>(</td>
364
377
  <td class="paramname"></td><td>)</td>
365
378
  <td> const</td>
366
379
  </tr>
367
380
  </table>
381
+ </td>
382
+ <td class="mlabels-right">
383
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
384
+ </tr>
385
+ </table>
368
386
  </div><div class="memdoc">
369
387
 
370
- <p class="definition">Definition at line <a class="el" href="LLVMUtil_8cpp_source.html#l01272">1272</a> of file <a class="el" href="LLVMUtil_8cpp_source.html">LLVMUtil.cpp</a>.</p>
371
- <div class="fragment"><div class="line"><a name="l01273"></a><span class="lineno"> 1273</span>&#160;{</div>
372
- <div class="line"><a name="l01274"></a><span class="lineno"> 1274</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">llvm::DataLayout</a> &amp;DL = <a class="code" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">LLVMModuleSet::getLLVMModuleSet</a>()-&gt;</div>
373
- <div class="line"><a name="l01275"></a><span class="lineno"> 1275</span>&#160; getMainLLVMModule()-&gt;getDataLayout();</div>
374
- <div class="line"><a name="l01276"></a><span class="lineno"> 1276</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a>* T = <a class="code" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">LLVMModuleSet::getLLVMModuleSet</a>()-&gt;<a class="code" href="classSVF_1_1LLVMModuleSet.html#a610a7777a48132caadec167c8109f044">getLLVMType</a>(<span class="keyword">this</span>);</div>
375
- <div class="line"><a name="l01277"></a><span class="lineno"> 1277</span>&#160; <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a>* mut_T = <span class="keyword">const_cast&lt;</span><a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a>*<span class="keyword">&gt;</span>(T);</div>
376
- <div class="line"><a name="l01278"></a><span class="lineno"> 1278</span>&#160; <span class="keywordflow">return</span> DL.getTypeAllocSize(mut_T);</div>
377
- <div class="line"><a name="l01279"></a><span class="lineno"> 1279</span>&#160;}</div>
388
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00281">281</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
389
+ <div class="fragment"><div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; {</div>
390
+ <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a>;</div>
391
+ <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; }</div>
378
392
  </div><!-- fragment -->
379
393
  </div>
380
394
  </div>
@@ -401,11 +415,11 @@ Friends</h2></td></tr>
401
415
  </table>
402
416
  </div><div class="memdoc">
403
417
 
404
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00296">296</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
405
- <div class="fragment"><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; {</div>
406
- <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; assert(<a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a> &amp;&amp; <span class="stringliteral">&quot;set the getPointerToTy first&quot;</span>);</div>
407
- <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a>;</div>
408
- <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; }</div>
418
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00297">297</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
419
+ <div class="fragment"><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; {</div>
420
+ <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; assert(<a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a> &amp;&amp; <span class="stringliteral">&quot;set the getPointerToTy first&quot;</span>);</div>
421
+ <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a>;</div>
422
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; }</div>
409
423
  </div><!-- fragment -->
410
424
  </div>
411
425
  </div>
@@ -494,10 +508,10 @@ Friends</h2></td></tr>
494
508
  </table>
495
509
  </div><div class="memdoc">
496
510
 
497
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00326">326</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
498
- <div class="fragment"><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; {</div>
499
- <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a> == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a>;</div>
500
- <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; }</div>
511
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00333">333</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
512
+ <div class="fragment"><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; {</div>
513
+ <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a> == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a>;</div>
514
+ <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; }</div>
501
515
  </div><!-- fragment -->
502
516
  </div>
503
517
  </div>
@@ -524,10 +538,10 @@ Friends</h2></td></tr>
524
538
  </table>
525
539
  </div><div class="memdoc">
526
540
 
527
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00321">321</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
528
- <div class="fragment"><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; {</div>
529
- <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a> == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>;</div>
530
- <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; }</div>
541
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00328">328</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
542
+ <div class="fragment"><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; {</div>
543
+ <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a> == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>;</div>
544
+ <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; }</div>
531
545
  </div><!-- fragment -->
532
546
  </div>
533
547
  </div>
@@ -554,10 +568,10 @@ Friends</h2></td></tr>
554
568
  </table>
555
569
  </div><div class="memdoc">
556
570
 
557
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00336">336</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
558
- <div class="fragment"><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; {</div>
559
- <div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a>;</div>
560
- <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; }</div>
571
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00343">343</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
572
+ <div class="fragment"><div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; {</div>
573
+ <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a>;</div>
574
+ <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; }</div>
561
575
  </div><!-- fragment -->
562
576
  </div>
563
577
  </div>
@@ -584,10 +598,10 @@ Friends</h2></td></tr>
584
598
  </table>
585
599
  </div><div class="memdoc">
586
600
 
587
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00331">331</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
588
- <div class="fragment"><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; {</div>
589
- <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a> == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>;</div>
590
- <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; }</div>
601
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00338">338</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
602
+ <div class="fragment"><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; {</div>
603
+ <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a> == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>;</div>
604
+ <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; }</div>
591
605
  </div><!-- fragment -->
592
606
  </div>
593
607
  </div>
@@ -643,10 +657,10 @@ Friends</h2></td></tr>
643
657
  </table>
644
658
  </div><div class="memdoc">
645
659
 
646
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00291">291</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
647
- <div class="fragment"><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; {</div>
648
- <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; <a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a> = ty;</div>
649
- <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; }</div>
660
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00292">292</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
661
+ <div class="fragment"><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; {</div>
662
+ <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a> = ty;</div>
663
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; }</div>
650
664
  </div><!-- fragment -->
651
665
  </div>
652
666
  </div>
@@ -749,6 +763,33 @@ Friends</h2></td></tr>
749
763
  </div>
750
764
  </div>
751
765
  <h2 class="groupheader">Member Data Documentation</h2>
766
+ <a id="a517f8bb64d3a2eb9d697e77191f718b6"></a>
767
+ <h2 class="memtitle"><span class="permalink"><a href="#a517f8bb64d3a2eb9d697e77191f718b6">&#9670;&nbsp;</a></span>byteSize</h2>
768
+
769
+ <div class="memitem">
770
+ <div class="memproto">
771
+ <table class="mlabels">
772
+ <tr>
773
+ <td class="mlabels-left">
774
+ <table class="memname">
775
+ <tr>
776
+ <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::SVFType::byteSize</td>
777
+ </tr>
778
+ </table>
779
+ </td>
780
+ <td class="mlabels-right">
781
+ <span class="mlabels"><span class="mlabel">private</span></span> </td>
782
+ </tr>
783
+ </table>
784
+ </div><div class="memdoc">
785
+
786
+ <p>array </p>
787
+ <p>LLVM Byte Size </p>
788
+
789
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00267">267</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
790
+
791
+ </div>
792
+ </div>
752
793
  <a id="a25faa037b356801c8c678f8c00dada33"></a>
753
794
  <h2 class="memtitle"><span class="permalink"><a href="#a25faa037b356801c8c678f8c00dada33">&#9670;&nbsp;</a></span>getPointerToTy</h2>
754
795
 
@@ -793,8 +834,7 @@ Friends</h2></td></tr>
793
834
  </table>
794
835
  </div><div class="memdoc">
795
836
 
796
- <p>array </p>
797
- <p>The type represents a single value, not struct or </p>
837
+ <p>The type represents a single value, not struct or. </p>
798
838
 
799
839
  <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00266">266</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
800
840
 
@@ -853,22 +893,18 @@ Friends</h2></td></tr>
853
893
 
854
894
  </div>
855
895
  </div>
856
- <hr/>The documentation for this class was generated from the following files:<ul>
896
+ <hr/>The documentation for this class was generated from the following file:<ul>
857
897
  <li>/home/runner/work/SVF/SVF/svf/include/SVFIR/<a class="el" href="SVFType_8h_source.html">SVFType.h</a></li>
858
- <li>/home/runner/work/SVF/SVF/svf-llvm/lib/<a class="el" href="LLVMUtil_8cpp_source.html">LLVMUtil.cpp</a></li>
859
898
  </ul>
860
899
  </div><!-- contents -->
861
900
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType::SVFArrayTy</a></div><div class="ttdeci">@ SVFArrayTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00257">SVFType.h:257</a></div></div>
862
- <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_acf40310917909e4234282c0695a43160"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">SVF::LLVMModuleSet::getLLVMModuleSet</a></div><div class="ttdeci">static LLVMModuleSet * getLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00101">LLVMModule.h:101</a></div></div>
863
901
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType::SVFIntegerTy</a></div><div class="ttdeci">@ SVFIntegerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00254">SVFType.h:254</a></div></div>
864
- <div class="ttc" id="anamespaceSVF_html_a03db82b8a7914367024723dba4d6ca3c"><div class="ttname"><a href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">SVF::DataLayout</a></div><div class="ttdeci">llvm::DataLayout DataLayout</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00106">BasicTypes.h:106</a></div></div>
865
- <div class="ttc" id="aclassSVF_1_1SVFType_html_ac26ba9052149b5b792aa8e8c3ccfd350"><div class="ttname"><a href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">SVF::SVFType::isSingleValTy</a></div><div class="ttdeci">bool isSingleValTy</div><div class="ttdoc">array</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00266">SVFType.h:266</a></div></div>
902
+ <div class="ttc" id="aclassSVF_1_1SVFType_html_ac26ba9052149b5b792aa8e8c3ccfd350"><div class="ttname"><a href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">SVF::SVFType::isSingleValTy</a></div><div class="ttdeci">bool isSingleValTy</div><div class="ttdoc">The type represents a single value, not struct or.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00266">SVFType.h:266</a></div></div>
866
903
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a86ea48a882823de2e3e906220dc0111e"><div class="ttname"><a href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType::typeinfo</a></div><div class="ttdeci">StInfo * typeinfo</div><div class="ttdoc">Return a pointer to the current type.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00265">SVFType.h:265</a></div></div>
867
- <div class="ttc" id="anamespaceSVF_html_a1d008c0666c145622b81d427be64c52d"><div class="ttname"><a href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">SVF::Type</a></div><div class="ttdeci">llvm::Type Type</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00081">BasicTypes.h:81</a></div></div>
904
+ <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>
868
905
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType::SVFFunctionTy</a></div><div class="ttdeci">@ SVFFunctionTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00255">SVFType.h:255</a></div></div>
869
906
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a428617a1e7addda6094ddd80bdbb62c8"><div class="ttname"><a href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">SVF::SVFType::kind</a></div><div class="ttdeci">GNodeK kind</div><div class="ttdoc">used for classof</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00262">SVFType.h:262</a></div></div>
870
907
  <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>
871
- <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a610a7777a48132caadec167c8109f044"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a610a7777a48132caadec167c8109f044">SVF::LLVMModuleSet::getLLVMType</a></div><div class="ttdeci">const Type * getLLVMType(const SVFType *T) const</div><div class="ttdoc">Get LLVM Type.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01188">LLVMModule.cpp:1188</a></div></div>
872
908
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVF::SVFType::SVFTy</a></div><div class="ttdeci">@ SVFTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00252">SVFType.h:252</a></div></div>
873
909
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a25faa037b356801c8c678f8c00dada33"><div class="ttname"><a href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">SVF::SVFType::getPointerToTy</a></div><div class="ttdeci">const SVFPointerType * getPointerToTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00264">SVFType.h:264</a></div></div>
874
910
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVF::SVFType::SVFOtherTy</a></div><div class="ttdeci">@ SVFOtherTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00258">SVFType.h:258</a></div></div>
package/SVF-doxygen/html/classSVF_1_1SVFValue.html CHANGED
@@ -792,29 +792,29 @@ Friends</h2></td></tr>
792
792
 
793
793
  <p>Needs to be implemented by a <a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a> front end. </p>
794
794
 
795
- <p class="definition">Definition at line <a class="el" href="LLVMUtil_8cpp_source.html#l01281">1281</a> of file <a class="el" href="LLVMUtil_8cpp_source.html">LLVMUtil.cpp</a>.</p>
796
- <div class="fragment"><div class="line"><a name="l01282"></a><span class="lineno"> 1282</span>&#160;{</div>
797
- <div class="line"><a name="l01283"></a><span class="lineno"> 1283</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
798
- <div class="line"><a name="l01284"></a><span class="lineno"> 1284</span>&#160; llvm::raw_string_ostream rawstr(str);</div>
799
- <div class="line"><a name="l01285"></a><span class="lineno"> 1285</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a>* fun = SVFUtil::dyn_cast&lt;SVFFunction&gt;(<span class="keyword">this</span>))</div>
800
- <div class="line"><a name="l01286"></a><span class="lineno"> 1286</span>&#160; {</div>
801
- <div class="line"><a name="l01287"></a><span class="lineno"> 1287</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;Function: &quot;</span> &lt;&lt; fun-&gt;getName() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div>
802
- <div class="line"><a name="l01288"></a><span class="lineno"> 1288</span>&#160; }</div>
803
- <div class="line"><a name="l01289"></a><span class="lineno"> 1289</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb = SVFUtil::dyn_cast&lt;SVFBasicBlock&gt;(<span class="keyword">this</span>))</div>
804
- <div class="line"><a name="l01290"></a><span class="lineno"> 1290</span>&#160; {</div>
805
- <div class="line"><a name="l01291"></a><span class="lineno"> 1291</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;BasicBlock: &quot;</span> &lt;&lt; bb-&gt;getName() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div>
806
- <div class="line"><a name="l01292"></a><span class="lineno"> 1292</span>&#160; }</div>
807
- <div class="line"><a name="l01293"></a><span class="lineno"> 1293</span>&#160; <span class="keywordflow">else</span></div>
808
- <div class="line"><a name="l01294"></a><span class="lineno"> 1294</span>&#160; {</div>
809
- <div class="line"><a name="l01295"></a><span class="lineno"> 1295</span>&#160; <span class="keyword">auto</span> llvmVal = <a class="code" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">LLVMModuleSet::getLLVMModuleSet</a>()-&gt;<a class="code" href="classSVF_1_1LLVMModuleSet.html#aaf9b679407f12b93afc53c157d37b444">getLLVMValue</a>(<span class="keyword">this</span>);</div>
810
- <div class="line"><a name="l01296"></a><span class="lineno"> 1296</span>&#160; <span class="keywordflow">if</span> (llvmVal)</div>
811
- <div class="line"><a name="l01297"></a><span class="lineno"> 1297</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; *llvmVal &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div>
812
- <div class="line"><a name="l01298"></a><span class="lineno"> 1298</span>&#160; <span class="keywordflow">else</span></div>
813
- <div class="line"><a name="l01299"></a><span class="lineno"> 1299</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot; No llvmVal found&quot;</span>;</div>
814
- <div class="line"><a name="l01300"></a><span class="lineno"> 1300</span>&#160; }</div>
815
- <div class="line"><a name="l01301"></a><span class="lineno"> 1301</span>&#160; rawstr &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>();</div>
816
- <div class="line"><a name="l01302"></a><span class="lineno"> 1302</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
817
- <div class="line"><a name="l01303"></a><span class="lineno"> 1303</span>&#160;}</div>
795
+ <p class="definition">Definition at line <a class="el" href="LLVMUtil_8cpp_source.html#l01272">1272</a> of file <a class="el" href="LLVMUtil_8cpp_source.html">LLVMUtil.cpp</a>.</p>
796
+ <div class="fragment"><div class="line"><a name="l01273"></a><span class="lineno"> 1273</span>&#160;{</div>
797
+ <div class="line"><a name="l01274"></a><span class="lineno"> 1274</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
798
+ <div class="line"><a name="l01275"></a><span class="lineno"> 1275</span>&#160; llvm::raw_string_ostream rawstr(str);</div>
799
+ <div class="line"><a name="l01276"></a><span class="lineno"> 1276</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a>* fun = SVFUtil::dyn_cast&lt;SVFFunction&gt;(<span class="keyword">this</span>))</div>
800
+ <div class="line"><a name="l01277"></a><span class="lineno"> 1277</span>&#160; {</div>
801
+ <div class="line"><a name="l01278"></a><span class="lineno"> 1278</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;Function: &quot;</span> &lt;&lt; fun-&gt;getName() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div>
802
+ <div class="line"><a name="l01279"></a><span class="lineno"> 1279</span>&#160; }</div>
803
+ <div class="line"><a name="l01280"></a><span class="lineno"> 1280</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb = SVFUtil::dyn_cast&lt;SVFBasicBlock&gt;(<span class="keyword">this</span>))</div>
804
+ <div class="line"><a name="l01281"></a><span class="lineno"> 1281</span>&#160; {</div>
805
+ <div class="line"><a name="l01282"></a><span class="lineno"> 1282</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;BasicBlock: &quot;</span> &lt;&lt; bb-&gt;getName() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div>
806
+ <div class="line"><a name="l01283"></a><span class="lineno"> 1283</span>&#160; }</div>
807
+ <div class="line"><a name="l01284"></a><span class="lineno"> 1284</span>&#160; <span class="keywordflow">else</span></div>
808
+ <div class="line"><a name="l01285"></a><span class="lineno"> 1285</span>&#160; {</div>
809
+ <div class="line"><a name="l01286"></a><span class="lineno"> 1286</span>&#160; <span class="keyword">auto</span> llvmVal = <a class="code" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">LLVMModuleSet::getLLVMModuleSet</a>()-&gt;<a class="code" href="classSVF_1_1LLVMModuleSet.html#aaf9b679407f12b93afc53c157d37b444">getLLVMValue</a>(<span class="keyword">this</span>);</div>
810
+ <div class="line"><a name="l01287"></a><span class="lineno"> 1287</span>&#160; <span class="keywordflow">if</span> (llvmVal)</div>
811
+ <div class="line"><a name="l01288"></a><span class="lineno"> 1288</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; *llvmVal &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div>
812
+ <div class="line"><a name="l01289"></a><span class="lineno"> 1289</span>&#160; <span class="keywordflow">else</span></div>
813
+ <div class="line"><a name="l01290"></a><span class="lineno"> 1290</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot; No llvmVal found&quot;</span>;</div>
814
+ <div class="line"><a name="l01291"></a><span class="lineno"> 1291</span>&#160; }</div>
815
+ <div class="line"><a name="l01292"></a><span class="lineno"> 1292</span>&#160; rawstr &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>();</div>
816
+ <div class="line"><a name="l01293"></a><span class="lineno"> 1293</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
817
+ <div class="line"><a name="l01294"></a><span class="lineno"> 1294</span>&#160;}</div>
818
818
  </div><!-- fragment -->
819
819
  </div>
820
820
  </div>
package/SVF-doxygen/html/classSVF_1_1SVFVar.html CHANGED
@@ -1503,7 +1503,7 @@ Friends</h2></td></tr>
1503
1503
  <div class="ttc" id="anamespaceSVF_html_a3a6d9f46c74be099070cf858ded43796"><div class="ttname"><a href="namespaceSVF.html#a3a6d9f46c74be099070cf858ded43796">SVF::GenericPAGNodeTy</a></div><div class="ttdeci">GenericNode&lt; SVFVar, SVFStmt &gt; GenericPAGNodeTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00040">SVFVariables.h:40</a></div></div>
1504
1504
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_aa72b0f34a0b646751a7b2003d6b9f11e"><div class="ttname"><a href="classSVF_1_1SVFVar.html#aa72b0f34a0b646751a7b2003d6b9f11e">SVF::SVFVar::value</a></div><div class="ttdeci">const SVFValue * value</div><div class="ttdoc">value of this SVFIR node</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00078">SVFVariables.h:78</a></div></div>
1505
1505
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00112">SVFVariables.h:112</a></div></div>
1506
- <div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00321">SVFType.h:321</a></div></div>
1506
+ <div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00328">SVFType.h:328</a></div></div>
1507
1507
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_a091ef22d4fc428985d604b03f287a941"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a091ef22d4fc428985d604b03f287a941">SVF::SVFVar::isConstDataOrAggDataButNotNullPtr</a></div><div class="ttdeci">bool isConstDataOrAggDataButNotNullPtr() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8cpp_source.html#l00204">SVFVariables.cpp:204</a></div></div>
1508
1508
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00193">GenericGraph.h:193</a></div></div>
1509
1509
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVF::SVFStmt::Gep</a></div><div class="ttdeci">@ Gep</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00069">SVFStatements.h:69</a></div></div>