svf-tools 1.0.462 → 1.0.463

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 (320) hide show
  1. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +5 -5
  4. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  5. package/SVF-doxygen/html/html/Annotator_8h_source.html +1 -1
  6. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp.html +1 -1
  7. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +3 -3
  8. package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +3 -3
  9. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +16 -16
  11. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +5 -5
  12. package/SVF-doxygen/html/html/CHG_8cpp.html +2 -2
  13. package/SVF-doxygen/html/html/CHG_8cpp_source.html +9 -9
  14. package/SVF-doxygen/html/html/CHG_8h_source.html +3 -3
  15. package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +17 -17
  16. package/SVF-doxygen/html/html/CPPUtil_8h_source.html +1 -1
  17. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -3
  18. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +1 -1
  19. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/html/ConsG_8h_source.html +1 -1
  21. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +2 -2
  22. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
  23. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +3 -3
  24. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +23 -23
  25. package/SVF-doxygen/html/html/DCHG_8h_source.html +11 -11
  26. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +2 -2
  27. package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
  28. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +1 -1
  29. package/SVF-doxygen/html/html/DPItem_8h_source.html +1 -1
  30. package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +5 -5
  31. package/SVF-doxygen/html/html/DataFlowUtil_8h_source.html +7 -7
  32. package/SVF-doxygen/html/html/ExeState_8cpp_source.html +2 -2
  33. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +3 -3
  34. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  35. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
  36. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
  37. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +1 -1
  38. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp.html +7 -6
  39. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +50 -49
  40. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8h_source.html +28 -28
  41. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +2 -2
  42. package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +1 -1
  43. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -1
  44. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +6 -6
  45. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
  46. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +1 -1
  47. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +3 -3
  48. package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
  49. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +5 -5
  50. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
  51. package/SVF-doxygen/html/html/IRGraph_8h_source.html +2 -2
  52. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +6 -6
  53. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +5 -5
  54. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +16 -16
  55. package/SVF-doxygen/html/html/LLVMUtil_8h.html +1 -1
  56. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +12 -12
  57. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
  58. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  59. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +3 -3
  60. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +6 -6
  61. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +1 -1
  62. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +10 -10
  63. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +1 -1
  64. package/SVF-doxygen/html/html/MHP_8cpp.html +2 -2
  65. package/SVF-doxygen/html/html/MHP_8cpp_source.html +10 -10
  66. package/SVF-doxygen/html/html/MHP_8h_source.html +2 -2
  67. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +1 -1
  68. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +4 -4
  69. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  70. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +12 -12
  71. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +4 -4
  72. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +3 -3
  73. package/SVF-doxygen/html/html/MTA_8cpp_source.html +5 -5
  74. package/SVF-doxygen/html/html/MTA_8h_source.html +4 -4
  75. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  76. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  77. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +3 -3
  78. package/SVF-doxygen/html/html/MemRegion_8h_source.html +1 -1
  79. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +6 -6
  80. package/SVF-doxygen/html/html/MemSSA_8h_source.html +3 -3
  81. package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +1 -1
  82. package/SVF-doxygen/html/html/PCG_8cpp_source.html +4 -4
  83. package/SVF-doxygen/html/html/PCG_8h_source.html +1 -1
  84. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +2 -2
  85. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  86. package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +6 -6
  87. package/SVF-doxygen/html/html/PathCondAllocator_8h_source.html +4 -4
  88. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +10 -10
  89. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
  90. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +1 -1
  91. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h.html +157 -67
  92. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h_source.html +72 -67
  93. package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +1 -1
  94. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +3 -3
  95. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +2 -2
  96. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  97. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  98. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +3 -3
  99. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  100. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +43 -43
  101. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +40 -40
  102. package/SVF-doxygen/html/html/SVFIR_8h_source.html +1 -1
  103. package/SVF-doxygen/html/html/SVFModule_8h_source.html +3 -3
  104. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
  105. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +7 -7
  106. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +5 -5
  107. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +1 -1
  108. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +2 -2
  109. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +2 -2
  110. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  111. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  112. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  113. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +28 -28
  114. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +2 -2
  115. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +7 -7
  116. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
  117. package/SVF-doxygen/html/html/TCT_8cpp_source.html +11 -11
  118. package/SVF-doxygen/html/html/TCT_8h_source.html +8 -8
  119. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +2 -2
  120. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +4 -4
  121. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  122. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +2 -2
  123. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +2 -2
  124. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp.html +3 -2
  125. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +43 -42
  126. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +33 -33
  127. package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +0 -12
  128. package/SVF-doxygen/html/html/Util_2BasicTypes_8h_source.html +71 -76
  129. package/SVF-doxygen/html/html/VFGNode_8h_source.html +1 -1
  130. package/SVF-doxygen/html/html/VFG_8cpp_source.html +3 -3
  131. package/SVF-doxygen/html/html/VFG_8h_source.html +1 -1
  132. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
  133. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +2 -2
  134. package/SVF-doxygen/html/html/WPAPass_8h_source.html +3 -3
  135. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  136. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  137. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +1 -1
  138. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +1 -1
  139. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
  140. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
  141. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +5 -5
  142. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
  143. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +1 -1
  144. package/SVF-doxygen/html/html/classSVF_1_1Annotator.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
  146. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
  147. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  148. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +1 -1
  149. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +1 -1
  150. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +3 -3
  151. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +26 -26
  152. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +7 -7
  153. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +1 -1
  154. package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +1 -1
  155. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +2 -2
  156. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +1 -1
  158. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  159. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +41 -41
  160. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +1 -1
  161. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +1 -1
  162. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +1 -1
  163. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
  164. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  165. package/SVF-doxygen/html/html/classSVF_1_1CondStdSet.html +1 -1
  166. package/SVF-doxygen/html/html/classSVF_1_1CondVar.html +1 -1
  167. package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +1 -1
  168. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +4 -4
  169. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
  170. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
  171. package/SVF-doxygen/html/html/classSVF_1_1CxtProc.html +1 -1
  172. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +1 -1
  174. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +152 -152
  175. package/SVF-doxygen/html/html/classSVF_1_1DCHNode.html +12 -12
  176. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +2 -2
  177. package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +1 -1
  178. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
  179. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +1 -1
  180. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +1 -1
  181. package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +4 -4
  182. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
  183. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +3 -3
  184. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  185. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +115 -115
  186. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +11 -11
  187. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +1 -1
  188. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +1 -1
  189. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +1 -1
  191. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +2 -2
  192. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +2 -2
  193. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
  194. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
  195. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
  196. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +1 -1
  197. package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +1 -1
  198. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +1 -1
  199. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +9 -9
  200. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +1 -1
  201. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  202. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +1 -1
  203. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +1 -1
  204. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  205. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  206. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  207. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +1 -1
  208. package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +1 -1
  209. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
  210. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +1 -1
  211. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +1 -1
  212. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +1 -1
  213. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  214. package/SVF-doxygen/html/html/classSVF_1_1IteratedDominanceFrontier.html +2 -2
  215. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +11 -11
  216. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +3 -3
  217. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
  218. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
  219. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +4 -4
  220. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +17 -17
  221. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +10 -10
  222. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +15 -15
  223. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +6 -6
  224. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
  225. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  226. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +5 -5
  227. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +7 -7
  228. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +18 -18
  229. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +3 -3
  230. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
  231. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +9 -9
  232. package/SVF-doxygen/html/html/classSVF_1_1MemSSADF.html +1 -1
  233. package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html +1 -1
  234. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +1 -1
  235. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +1 -1
  236. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  237. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +9 -9
  238. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  239. package/SVF-doxygen/html/html/classSVF_1_1PTACFInfoBuilder.html +4 -4
  240. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +1 -1
  241. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +1 -1
  242. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +1 -1
  243. package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html +10 -10
  244. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +1 -1
  245. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +14 -14
  246. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +1 -1
  247. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +4 -4
  248. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +1 -1
  249. package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +1 -1
  250. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +1 -1
  251. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +1 -1
  252. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  253. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +1 -1
  254. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +3 -3
  255. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +27 -27
  256. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +2 -2
  257. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
  258. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobal.html +3 -3
  259. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +55 -55
  260. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +1 -1
  261. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +2 -2
  262. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +5 -5
  263. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  264. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
  265. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +1 -1
  266. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
  267. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +1 -1
  268. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +32 -32
  269. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +9 -9
  270. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +18 -18
  271. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  272. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  273. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
  274. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
  275. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +1 -1
  276. package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +1 -1
  277. package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +1 -1
  278. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +1 -1
  279. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +2 -2
  280. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +125 -125
  281. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +1 -1
  282. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  283. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +4 -4
  284. package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +1 -1
  285. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  286. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
  287. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +1 -1
  288. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +1 -1
  289. package/SVF-doxygen/html/html/globals_d.html +12 -0
  290. package/SVF-doxygen/html/html/globals_g.html +5 -2
  291. package/SVF-doxygen/html/html/globals_s.html +3 -3
  292. package/SVF-doxygen/html/html/globals_type.html +15 -0
  293. package/SVF-doxygen/html/html/namespaceSVF.html +34 -130
  294. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +42 -42
  295. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +29 -29
  296. package/SVF-doxygen/html/html/namespacemembers_d.html +2 -14
  297. package/SVF-doxygen/html/html/namespacemembers_g.html +2 -5
  298. package/SVF-doxygen/html/html/namespacemembers_type.html +0 -15
  299. package/SVF-doxygen/html/html/search/all_13.js +1 -1
  300. package/SVF-doxygen/html/html/search/all_4.js +4 -4
  301. package/SVF-doxygen/html/html/search/all_7.js +1 -1
  302. package/SVF-doxygen/html/html/search/typedefs_3.js +4 -4
  303. package/SVF-doxygen/html/html/search/typedefs_6.js +1 -1
  304. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +3 -3
  305. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  306. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +2 -2
  307. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  308. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +1 -1
  309. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +2 -2
  310. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +4 -4
  311. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +4 -4
  312. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +3 -3
  313. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  314. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  315. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  316. package/include/SVF-FE/BasicTypes.h +6 -1
  317. package/include/Util/BasicTypes.h +1 -9
  318. package/lib/WPA/FlowSensitiveTBHC.cpp +1 -0
  319. package/lib/WPA/TypeBasedHeapCloning.cpp +1 -0
  320. package/package.json +1 -1
@@ -92,6 +92,8 @@ $(function() {
92
92
  Typedefs</h2></td></tr>
93
93
  <tr class="memitem:a9f19a521d06397d1b6dc52c0388513d9"><td class="memItemLeft" align="right" valign="top">typedef llvm::LLVMContext&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a9f19a521d06397d1b6dc52c0388513d9">LLVMContext</a></td></tr>
94
94
  <tr class="separator:a9f19a521d06397d1b6dc52c0388513d9"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
+ <tr class="memitem:a16adea95b46c741a8990d92d29f33bb6"><td class="memItemLeft" align="right" valign="top">typedef llvm::GlobalObject&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a16adea95b46c741a8990d92d29f33bb6">GlobalObject</a></td></tr>
96
+ <tr class="separator:a16adea95b46c741a8990d92d29f33bb6"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
97
  <tr class="memitem:a9c01c67684e99545d8e0403321594977"><td class="memItemLeft" align="right" valign="top">typedef llvm::Use&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a9c01c67684e99545d8e0403321594977">Use</a></td></tr>
96
98
  <tr class="separator:a9c01c67684e99545d8e0403321594977"><td class="memSeparator" colspan="2">&#160;</td></tr>
97
99
  <tr class="memitem:a2e0fa4afbccc902de3ae55c65fb8b007"><td class="memItemLeft" align="right" valign="top">typedef llvm::ModulePass&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a2e0fa4afbccc902de3ae55c65fb8b007">ModulePass</a></td></tr>
@@ -114,6 +116,8 @@ Typedefs</h2></td></tr>
114
116
  <tr class="separator:a39fea8c436d96d2b5a74f5e02cc5d952"><td class="memSeparator" colspan="2">&#160;</td></tr>
115
117
  <tr class="memitem:a8c9721de4c4754decc4f79d9f5b8c756"><td class="memItemLeft" align="right" valign="top">typedef llvm::MemoryLocation&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a8c9721de4c4754decc4f79d9f5b8c756">MemoryLocation</a></td></tr>
116
118
  <tr class="separator:a8c9721de4c4754decc4f79d9f5b8c756"><td class="memSeparator" colspan="2">&#160;</td></tr>
119
+ <tr class="memitem:aa81a27b9c6b2a354437417162220fb14"><td class="memItemLeft" align="right" valign="top">typedef llvm::DataLayout&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#aa81a27b9c6b2a354437417162220fb14">DataLayout</a></td></tr>
120
+ <tr class="separator:aa81a27b9c6b2a354437417162220fb14"><td class="memSeparator" colspan="2">&#160;</td></tr>
117
121
  <tr class="memitem:a586975ac48ba33219a901c5d9453da2c"><td class="memItemLeft" align="right" valign="top">typedef llvm::ConstantAggregate&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a586975ac48ba33219a901c5d9453da2c">ConstantAggregate</a></td></tr>
118
122
  <tr class="separator:a586975ac48ba33219a901c5d9453da2c"><td class="memSeparator" colspan="2">&#160;</td></tr>
119
123
  <tr class="memitem:ae4ed20ab05ea5735549d1ef4367735cd"><td class="memItemLeft" align="right" valign="top">typedef llvm::ConstantAggregateZero&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd">ConstantAggregateZero</a></td></tr>
@@ -190,6 +194,12 @@ Typedefs</h2></td></tr>
190
194
  <tr class="separator:ab6cb332bc04ab932cba29fa9c9d5f3b2"><td class="memSeparator" colspan="2">&#160;</td></tr>
191
195
  <tr class="memitem:a1ab5636908738dc0987bc642604cbb4a"><td class="memItemLeft" align="right" valign="top">typedef llvm::UndefValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a">UndefValue</a></td></tr>
192
196
  <tr class="separator:a1ab5636908738dc0987bc642604cbb4a"><td class="memSeparator" colspan="2">&#160;</td></tr>
197
+ <tr class="memitem:a8e2336cbb1db8aa093afbb3290d5ba05"><td class="memItemLeft" align="right" valign="top">typedef llvm::DIType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a8e2336cbb1db8aa093afbb3290d5ba05">DIType</a></td></tr>
198
+ <tr class="separator:a8e2336cbb1db8aa093afbb3290d5ba05"><td class="memSeparator" colspan="2">&#160;</td></tr>
199
+ <tr class="memitem:a051267a17436de89e185c847afbb8db5"><td class="memItemLeft" align="right" valign="top">typedef llvm::DICompositeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a051267a17436de89e185c847afbb8db5">DICompositeType</a></td></tr>
200
+ <tr class="separator:a051267a17436de89e185c847afbb8db5"><td class="memSeparator" colspan="2">&#160;</td></tr>
201
+ <tr class="memitem:a39d93c8a98813f35c91375d1d40ae953"><td class="memItemLeft" align="right" valign="top">typedef llvm::DIDerivedType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a39d93c8a98813f35c91375d1d40ae953">DIDerivedType</a></td></tr>
202
+ <tr class="separator:a39d93c8a98813f35c91375d1d40ae953"><td class="memSeparator" colspan="2">&#160;</td></tr>
193
203
  <tr class="memitem:a36ec1ba901eeebe7a242f18510831788"><td class="memItemLeft" align="right" valign="top">typedef llvm::DebugInfoFinder&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a36ec1ba901eeebe7a242f18510831788">DebugInfoFinder</a></td></tr>
194
204
  <tr class="separator:a36ec1ba901eeebe7a242f18510831788"><td class="memSeparator" colspan="2">&#160;</td></tr>
195
205
  <tr class="memitem:aad46bd16008ebbc81e632f4fc69b3ea9"><td class="memItemLeft" align="right" valign="top">typedef llvm::DISubroutineType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#aad46bd16008ebbc81e632f4fc69b3ea9">DISubroutineType</a></td></tr>
@@ -240,7 +250,7 @@ Typedefs</h2></td></tr>
240
250
  </table>
241
251
  </div><div class="memdoc">
242
252
 
243
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00060">60</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
253
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00062">62</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
244
254
 
245
255
  </div>
246
256
  </div>
@@ -256,7 +266,7 @@ Typedefs</h2></td></tr>
256
266
  </table>
257
267
  </div><div class="memdoc">
258
268
 
259
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00061">61</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
269
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00063">63</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
260
270
 
261
271
  </div>
262
272
  </div>
@@ -272,7 +282,7 @@ Typedefs</h2></td></tr>
272
282
  </table>
273
283
  </div><div class="memdoc">
274
284
 
275
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00062">62</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
285
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00064">64</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
276
286
 
277
287
  </div>
278
288
  </div>
@@ -288,7 +298,7 @@ Typedefs</h2></td></tr>
288
298
  </table>
289
299
  </div><div class="memdoc">
290
300
 
291
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00089">89</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
301
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00091">91</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
292
302
 
293
303
  </div>
294
304
  </div>
@@ -304,7 +314,7 @@ Typedefs</h2></td></tr>
304
314
  </table>
305
315
  </div><div class="memdoc">
306
316
 
307
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00063">63</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
317
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00065">65</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
308
318
 
309
319
  </div>
310
320
  </div>
@@ -320,7 +330,7 @@ Typedefs</h2></td></tr>
320
330
  </table>
321
331
  </div><div class="memdoc">
322
332
 
323
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00040">40</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
333
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00041">41</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
324
334
 
325
335
  </div>
326
336
  </div>
@@ -336,7 +346,7 @@ Typedefs</h2></td></tr>
336
346
  </table>
337
347
  </div><div class="memdoc">
338
348
 
339
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00064">64</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
349
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00066">66</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
340
350
 
341
351
  </div>
342
352
  </div>
@@ -352,7 +362,7 @@ Typedefs</h2></td></tr>
352
362
  </table>
353
363
  </div><div class="memdoc">
354
364
 
355
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00105">105</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
365
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00111">111</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
356
366
 
357
367
  </div>
358
368
  </div>
@@ -368,7 +378,7 @@ Typedefs</h2></td></tr>
368
378
  </table>
369
379
  </div><div class="memdoc">
370
380
 
371
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00066">66</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
381
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00068">68</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
372
382
 
373
383
  </div>
374
384
  </div>
@@ -384,7 +394,7 @@ Typedefs</h2></td></tr>
384
394
  </table>
385
395
  </div><div class="memdoc">
386
396
 
387
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00068">68</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
397
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00070">70</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
388
398
 
389
399
  </div>
390
400
  </div>
@@ -400,7 +410,7 @@ Typedefs</h2></td></tr>
400
410
  </table>
401
411
  </div><div class="memdoc">
402
412
 
403
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00069">69</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
413
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00071">71</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
404
414
 
405
415
  </div>
406
416
  </div>
@@ -416,7 +426,7 @@ Typedefs</h2></td></tr>
416
426
  </table>
417
427
  </div><div class="memdoc">
418
428
 
419
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00106">106</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
429
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00112">112</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
420
430
 
421
431
  </div>
422
432
  </div>
@@ -432,7 +442,7 @@ Typedefs</h2></td></tr>
432
442
  </table>
433
443
  </div><div class="memdoc">
434
444
 
435
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00107">107</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
445
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00113">113</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
436
446
 
437
447
  </div>
438
448
  </div>
@@ -448,7 +458,7 @@ Typedefs</h2></td></tr>
448
458
  </table>
449
459
  </div><div class="memdoc">
450
460
 
451
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00052">52</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
461
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00054">54</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
452
462
 
453
463
  </div>
454
464
  </div>
@@ -464,7 +474,7 @@ Typedefs</h2></td></tr>
464
474
  </table>
465
475
  </div><div class="memdoc">
466
476
 
467
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00053">53</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
477
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00055">55</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
468
478
 
469
479
  </div>
470
480
  </div>
@@ -480,7 +490,7 @@ Typedefs</h2></td></tr>
480
490
  </table>
481
491
  </div><div class="memdoc">
482
492
 
483
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00057">57</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
493
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00059">59</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
484
494
 
485
495
  </div>
486
496
  </div>
@@ -496,7 +506,7 @@ Typedefs</h2></td></tr>
496
506
  </table>
497
507
  </div><div class="memdoc">
498
508
 
499
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00056">56</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
509
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00058">58</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
500
510
 
501
511
  </div>
502
512
  </div>
@@ -512,7 +522,7 @@ Typedefs</h2></td></tr>
512
522
  </table>
513
523
  </div><div class="memdoc">
514
524
 
515
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00054">54</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
525
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00056">56</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
516
526
 
517
527
  </div>
518
528
  </div>
@@ -528,7 +538,7 @@ Typedefs</h2></td></tr>
528
538
  </table>
529
539
  </div><div class="memdoc">
530
540
 
531
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00055">55</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
541
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00057">57</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
532
542
 
533
543
  </div>
534
544
  </div>
@@ -544,7 +554,23 @@ Typedefs</h2></td></tr>
544
554
  </table>
545
555
  </div><div class="memdoc">
546
556
 
547
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00048">48</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
557
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00049">49</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
558
+
559
+ </div>
560
+ </div>
561
+ <a id="aa81a27b9c6b2a354437417162220fb14"></a>
562
+ <h2 class="memtitle"><span class="permalink"><a href="#aa81a27b9c6b2a354437417162220fb14">&#9670;&nbsp;</a></span>DataLayout</h2>
563
+
564
+ <div class="memitem">
565
+ <div class="memproto">
566
+ <table class="memname">
567
+ <tr>
568
+ <td class="memname">typedef llvm::DataLayout <a class="el" href="SVF-FE_2BasicTypes_8h.html#aa81a27b9c6b2a354437417162220fb14">DataLayout</a></td>
569
+ </tr>
570
+ </table>
571
+ </div><div class="memdoc">
572
+
573
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00051">51</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
548
574
 
549
575
  </div>
550
576
  </div>
@@ -560,7 +586,7 @@ Typedefs</h2></td></tr>
560
586
  </table>
561
587
  </div><div class="memdoc">
562
588
 
563
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00094">94</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
589
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00099">99</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
564
590
 
565
591
  </div>
566
592
  </div>
@@ -576,7 +602,39 @@ Typedefs</h2></td></tr>
576
602
  </table>
577
603
  </div><div class="memdoc">
578
604
 
579
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00096">96</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
605
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
606
+
607
+ </div>
608
+ </div>
609
+ <a id="a051267a17436de89e185c847afbb8db5"></a>
610
+ <h2 class="memtitle"><span class="permalink"><a href="#a051267a17436de89e185c847afbb8db5">&#9670;&nbsp;</a></span>DICompositeType</h2>
611
+
612
+ <div class="memitem">
613
+ <div class="memproto">
614
+ <table class="memname">
615
+ <tr>
616
+ <td class="memname">typedef llvm::DICompositeType <a class="el" href="SVF-FE_2BasicTypes_8h.html#a051267a17436de89e185c847afbb8db5">DICompositeType</a></td>
617
+ </tr>
618
+ </table>
619
+ </div><div class="memdoc">
620
+
621
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
622
+
623
+ </div>
624
+ </div>
625
+ <a id="a39d93c8a98813f35c91375d1d40ae953"></a>
626
+ <h2 class="memtitle"><span class="permalink"><a href="#a39d93c8a98813f35c91375d1d40ae953">&#9670;&nbsp;</a></span>DIDerivedType</h2>
627
+
628
+ <div class="memitem">
629
+ <div class="memproto">
630
+ <table class="memname">
631
+ <tr>
632
+ <td class="memname">typedef llvm::DIDerivedType <a class="el" href="SVF-FE_2BasicTypes_8h.html#a39d93c8a98813f35c91375d1d40ae953">DIDerivedType</a></td>
633
+ </tr>
634
+ </table>
635
+ </div><div class="memdoc">
636
+
637
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00098">98</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
580
638
 
581
639
  </div>
582
640
  </div>
@@ -592,7 +650,7 @@ Typedefs</h2></td></tr>
592
650
  </table>
593
651
  </div><div class="memdoc">
594
652
 
595
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00098">98</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
653
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00103">103</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
596
654
 
597
655
  </div>
598
656
  </div>
@@ -608,7 +666,7 @@ Typedefs</h2></td></tr>
608
666
  </table>
609
667
  </div><div class="memdoc">
610
668
 
611
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00099">99</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
669
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00104">104</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
612
670
 
613
671
  </div>
614
672
  </div>
@@ -624,7 +682,7 @@ Typedefs</h2></td></tr>
624
682
  </table>
625
683
  </div><div class="memdoc">
626
684
 
627
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
685
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00102">102</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
628
686
 
629
687
  </div>
630
688
  </div>
@@ -640,7 +698,23 @@ Typedefs</h2></td></tr>
640
698
  </table>
641
699
  </div><div class="memdoc">
642
700
 
643
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
701
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00100">100</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
702
+
703
+ </div>
704
+ </div>
705
+ <a id="a8e2336cbb1db8aa093afbb3290d5ba05"></a>
706
+ <h2 class="memtitle"><span class="permalink"><a href="#a8e2336cbb1db8aa093afbb3290d5ba05">&#9670;&nbsp;</a></span>DIType</h2>
707
+
708
+ <div class="memitem">
709
+ <div class="memproto">
710
+ <table class="memname">
711
+ <tr>
712
+ <td class="memname">typedef llvm::DIType <a class="el" href="SVF-FE_2BasicTypes_8h.html#a8e2336cbb1db8aa093afbb3290d5ba05">DIType</a></td>
713
+ </tr>
714
+ </table>
715
+ </div><div class="memdoc">
716
+
717
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00096">96</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
644
718
 
645
719
  </div>
646
720
  </div>
@@ -656,7 +730,7 @@ Typedefs</h2></td></tr>
656
730
  </table>
657
731
  </div><div class="memdoc">
658
732
 
659
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00100">100</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
733
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00105">105</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
660
734
 
661
735
  </div>
662
736
  </div>
@@ -672,7 +746,7 @@ Typedefs</h2></td></tr>
672
746
  </table>
673
747
  </div><div class="memdoc">
674
748
 
675
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00071">71</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
749
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00073">73</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
676
750
 
677
751
  </div>
678
752
  </div>
@@ -688,7 +762,7 @@ Typedefs</h2></td></tr>
688
762
  </table>
689
763
  </div><div class="memdoc">
690
764
 
691
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00070">70</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
765
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00072">72</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
692
766
 
693
767
  </div>
694
768
  </div>
@@ -704,7 +778,7 @@ Typedefs</h2></td></tr>
704
778
  </table>
705
779
  </div><div class="memdoc">
706
780
 
707
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00078">78</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
781
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00080">80</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
708
782
 
709
783
  </div>
710
784
  </div>
@@ -720,7 +794,7 @@ Typedefs</h2></td></tr>
720
794
  </table>
721
795
  </div><div class="memdoc">
722
796
 
723
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00079">79</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
797
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00081">81</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
724
798
 
725
799
  </div>
726
800
  </div>
@@ -736,7 +810,7 @@ Typedefs</h2></td></tr>
736
810
  </table>
737
811
  </div><div class="memdoc">
738
812
 
739
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00104">104</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
813
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
740
814
 
741
815
  </div>
742
816
  </div>
@@ -752,7 +826,23 @@ Typedefs</h2></td></tr>
752
826
  </table>
753
827
  </div><div class="memdoc">
754
828
 
755
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00072">72</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
829
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00074">74</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
830
+
831
+ </div>
832
+ </div>
833
+ <a id="a16adea95b46c741a8990d92d29f33bb6"></a>
834
+ <h2 class="memtitle"><span class="permalink"><a href="#a16adea95b46c741a8990d92d29f33bb6">&#9670;&nbsp;</a></span>GlobalObject</h2>
835
+
836
+ <div class="memitem">
837
+ <div class="memproto">
838
+ <table class="memname">
839
+ <tr>
840
+ <td class="memname">typedef llvm::GlobalObject <a class="el" href="SVF-FE_2BasicTypes_8h.html#a16adea95b46c741a8990d92d29f33bb6">GlobalObject</a></td>
841
+ </tr>
842
+ </table>
843
+ </div><div class="memdoc">
844
+
845
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00028">28</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
756
846
 
757
847
  </div>
758
848
  </div>
@@ -768,7 +858,7 @@ Typedefs</h2></td></tr>
768
858
  </table>
769
859
  </div><div class="memdoc">
770
860
 
771
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00081">81</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
861
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00083">83</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
772
862
 
773
863
  </div>
774
864
  </div>
@@ -784,7 +874,7 @@ Typedefs</h2></td></tr>
784
874
  </table>
785
875
  </div><div class="memdoc">
786
876
 
787
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00077">77</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
877
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00079">79</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
788
878
 
789
879
  </div>
790
880
  </div>
@@ -800,7 +890,7 @@ Typedefs</h2></td></tr>
800
890
  </table>
801
891
  </div><div class="memdoc">
802
892
 
803
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00103">103</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
893
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00109">109</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
804
894
 
805
895
  </div>
806
896
  </div>
@@ -816,7 +906,7 @@ Typedefs</h2></td></tr>
816
906
  </table>
817
907
  </div><div class="memdoc">
818
908
 
819
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00076">76</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
909
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00078">78</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
820
910
 
821
911
  </div>
822
912
  </div>
@@ -832,7 +922,7 @@ Typedefs</h2></td></tr>
832
922
  </table>
833
923
  </div><div class="memdoc">
834
924
 
835
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00073">73</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
925
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00075">75</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
836
926
 
837
927
  </div>
838
928
  </div>
@@ -848,7 +938,7 @@ Typedefs</h2></td></tr>
848
938
  </table>
849
939
  </div><div class="memdoc">
850
940
 
851
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00030">30</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
941
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00031">31</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
852
942
 
853
943
  </div>
854
944
  </div>
@@ -864,7 +954,7 @@ Typedefs</h2></td></tr>
864
954
  </table>
865
955
  </div><div class="memdoc">
866
956
 
867
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00082">82</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
957
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
868
958
 
869
959
  </div>
870
960
  </div>
@@ -896,7 +986,7 @@ Typedefs</h2></td></tr>
896
986
  </table>
897
987
  </div><div class="memdoc">
898
988
 
899
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00043">43</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
989
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00044">44</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
900
990
 
901
991
  </div>
902
992
  </div>
@@ -912,7 +1002,7 @@ Typedefs</h2></td></tr>
912
1002
  </table>
913
1003
  </div><div class="memdoc">
914
1004
 
915
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00049">49</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1005
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00050">50</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
916
1006
 
917
1007
  </div>
918
1008
  </div>
@@ -928,7 +1018,7 @@ Typedefs</h2></td></tr>
928
1018
  </table>
929
1019
  </div><div class="memdoc">
930
1020
 
931
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00044">44</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1021
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00045">45</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
932
1022
 
933
1023
  </div>
934
1024
  </div>
@@ -944,7 +1034,7 @@ Typedefs</h2></td></tr>
944
1034
  </table>
945
1035
  </div><div class="memdoc">
946
1036
 
947
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00029">29</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1037
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00030">30</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
948
1038
 
949
1039
  </div>
950
1040
  </div>
@@ -960,7 +1050,7 @@ Typedefs</h2></td></tr>
960
1050
  </table>
961
1051
  </div><div class="memdoc">
962
1052
 
963
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00075">75</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1053
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00077">77</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
964
1054
 
965
1055
  </div>
966
1056
  </div>
@@ -976,7 +1066,7 @@ Typedefs</h2></td></tr>
976
1066
  </table>
977
1067
  </div><div class="memdoc">
978
1068
 
979
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00083">83</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1069
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
980
1070
 
981
1071
  </div>
982
1072
  </div>
@@ -992,7 +1082,7 @@ Typedefs</h2></td></tr>
992
1082
  </table>
993
1083
  </div><div class="memdoc">
994
1084
 
995
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00067">67</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1085
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00069">69</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
996
1086
 
997
1087
  </div>
998
1088
  </div>
@@ -1008,7 +1098,7 @@ Typedefs</h2></td></tr>
1008
1098
  </table>
1009
1099
  </div><div class="memdoc">
1010
1100
 
1011
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00113">113</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1101
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00119">119</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1012
1102
 
1013
1103
  </div>
1014
1104
  </div>
@@ -1024,7 +1114,7 @@ Typedefs</h2></td></tr>
1024
1114
  </table>
1025
1115
  </div><div class="memdoc">
1026
1116
 
1027
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1117
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00116">116</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1028
1118
 
1029
1119
  </div>
1030
1120
  </div>
@@ -1040,7 +1130,7 @@ Typedefs</h2></td></tr>
1040
1130
  </table>
1041
1131
  </div><div class="memdoc">
1042
1132
 
1043
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00114">114</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1133
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00120">120</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1044
1134
 
1045
1135
  </div>
1046
1136
  </div>
@@ -1056,7 +1146,7 @@ Typedefs</h2></td></tr>
1056
1146
  </table>
1057
1147
  </div><div class="memdoc">
1058
1148
 
1059
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00111">111</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1149
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00117">117</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1060
1150
 
1061
1151
  </div>
1062
1152
  </div>
@@ -1072,7 +1162,7 @@ Typedefs</h2></td></tr>
1072
1162
  </table>
1073
1163
  </div><div class="memdoc">
1074
1164
 
1075
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00112">112</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1165
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00118">118</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1076
1166
 
1077
1167
  </div>
1078
1168
  </div>
@@ -1088,7 +1178,7 @@ Typedefs</h2></td></tr>
1088
1178
  </table>
1089
1179
  </div><div class="memdoc">
1090
1180
 
1091
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1181
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1092
1182
 
1093
1183
  </div>
1094
1184
  </div>
@@ -1104,7 +1194,7 @@ Typedefs</h2></td></tr>
1104
1194
  </table>
1105
1195
  </div><div class="memdoc">
1106
1196
 
1107
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00074">74</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1197
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00076">76</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1108
1198
 
1109
1199
  </div>
1110
1200
  </div>
@@ -1120,7 +1210,7 @@ Typedefs</h2></td></tr>
1120
1210
  </table>
1121
1211
  </div><div class="memdoc">
1122
1212
 
1123
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00038">38</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1213
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00039">39</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1124
1214
 
1125
1215
  </div>
1126
1216
  </div>
@@ -1136,7 +1226,7 @@ Typedefs</h2></td></tr>
1136
1226
  </table>
1137
1227
  </div><div class="memdoc">
1138
1228
 
1139
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00047">47</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1229
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00048">48</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1140
1230
 
1141
1231
  </div>
1142
1232
  </div>
@@ -1152,7 +1242,7 @@ Typedefs</h2></td></tr>
1152
1242
  </table>
1153
1243
  </div><div class="memdoc">
1154
1244
 
1155
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00065">65</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1245
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00067">67</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1156
1246
 
1157
1247
  </div>
1158
1248
  </div>
@@ -1168,7 +1258,7 @@ Typedefs</h2></td></tr>
1168
1258
  </table>
1169
1259
  </div><div class="memdoc">
1170
1260
 
1171
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00090">90</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1261
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00092">92</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1172
1262
 
1173
1263
  </div>
1174
1264
  </div>
@@ -1184,7 +1274,7 @@ Typedefs</h2></td></tr>
1184
1274
  </table>
1185
1275
  </div><div class="memdoc">
1186
1276
 
1187
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00091">91</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1277
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00093">93</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1188
1278
 
1189
1279
  </div>
1190
1280
  </div>
@@ -1200,7 +1290,7 @@ Typedefs</h2></td></tr>
1200
1290
  </table>
1201
1291
  </div><div class="memdoc">
1202
1292
 
1203
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00034">34</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1293
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00035">35</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1204
1294
 
1205
1295
  </div>
1206
1296
  </div>
@@ -1216,7 +1306,7 @@ Typedefs</h2></td></tr>
1216
1306
  </table>
1217
1307
  </div><div class="memdoc">
1218
1308
 
1219
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00080">80</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1309
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00082">82</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1220
1310
 
1221
1311
  </div>
1222
1312
  </div>
@@ -1232,7 +1322,7 @@ Typedefs</h2></td></tr>
1232
1322
  </table>
1233
1323
  </div><div class="memdoc">
1234
1324
 
1235
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00028">28</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1325
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00029">29</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1236
1326
 
1237
1327
  </div>
1238
1328
  </div>
@@ -1248,7 +1338,7 @@ Typedefs</h2></td></tr>
1248
1338
  </table>
1249
1339
  </div><div class="memdoc">
1250
1340
 
1251
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1341
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1252
1342
 
1253
1343
  </div>
1254
1344
  </div>
@@ -1264,7 +1354,7 @@ Typedefs</h2></td></tr>
1264
1354
  </table>
1265
1355
  </div><div class="memdoc">
1266
1356
 
1267
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1357
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00088">88</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1268
1358
 
1269
1359
  </div>
1270
1360
  </div>
@@ -1280,7 +1370,7 @@ Typedefs</h2></td></tr>
1280
1370
  </table>
1281
1371
  </div><div class="memdoc">
1282
1372
 
1283
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1373
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00089">89</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1284
1374
 
1285
1375
  </div>
1286
1376
  </div>
@@ -1296,7 +1386,7 @@ Typedefs</h2></td></tr>
1296
1386
  </table>
1297
1387
  </div><div class="memdoc">
1298
1388
 
1299
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00088">88</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1389
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00090">90</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1300
1390
 
1301
1391
  </div>
1302
1392
  </div>
@@ -1312,7 +1402,7 @@ Typedefs</h2></td></tr>
1312
1402
  </table>
1313
1403
  </div><div class="memdoc">
1314
1404
 
1315
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00117">117</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1405
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00123">123</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1316
1406
 
1317
1407
  </div>
1318
1408
  </div>