svf-tools 1.0.461 → 1.0.464

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 (382) hide show
  1. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -2
  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/CFLAlias_8h_source.html +3 -3
  10. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +16 -16
  13. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +5 -5
  14. package/SVF-doxygen/html/html/CHG_8cpp.html +2 -2
  15. package/SVF-doxygen/html/html/CHG_8cpp_source.html +9 -9
  16. package/SVF-doxygen/html/html/CHG_8h_source.html +3 -3
  17. package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +17 -17
  18. package/SVF-doxygen/html/html/CPPUtil_8h_source.html +1 -1
  19. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -3
  20. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +1 -1
  21. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +2 -2
  22. package/SVF-doxygen/html/html/ConsG_8h_source.html +5 -5
  23. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +2 -2
  24. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
  25. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +3 -3
  26. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +23 -23
  27. package/SVF-doxygen/html/html/DCHG_8h_source.html +11 -11
  28. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  30. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +3 -3
  31. package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
  32. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +3 -3
  33. package/SVF-doxygen/html/html/DPItem_8h_source.html +1 -1
  34. package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +5 -5
  35. package/SVF-doxygen/html/html/DataFlowUtil_8h_source.html +7 -7
  36. package/SVF-doxygen/html/html/ExeState_8cpp_source.html +2 -2
  37. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +3 -3
  38. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  39. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
  40. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
  41. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -2
  42. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp.html +7 -6
  43. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +51 -50
  44. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8h_source.html +28 -28
  45. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +2 -2
  46. package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +1 -1
  47. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +6 -6
  49. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
  50. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +1 -1
  51. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +3 -3
  52. package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
  53. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +6 -6
  54. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +2 -2
  55. package/SVF-doxygen/html/html/IRGraph_8h_source.html +2 -2
  56. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +6 -6
  57. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +5 -5
  58. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +16 -16
  59. package/SVF-doxygen/html/html/LLVMUtil_8h.html +1 -1
  60. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +12 -12
  61. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
  62. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  63. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +3 -3
  64. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +6 -6
  65. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +1 -1
  66. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +10 -10
  67. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +1 -1
  68. package/SVF-doxygen/html/html/MHP_8cpp.html +2 -2
  69. package/SVF-doxygen/html/html/MHP_8cpp_source.html +10 -10
  70. package/SVF-doxygen/html/html/MHP_8h_source.html +2 -2
  71. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +1 -1
  72. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  73. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  74. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +12 -12
  75. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +4 -4
  76. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +3 -3
  77. package/SVF-doxygen/html/html/MTA_8cpp_source.html +5 -5
  78. package/SVF-doxygen/html/html/MTA_8h_source.html +4 -4
  79. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  80. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  81. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +5 -5
  82. package/SVF-doxygen/html/html/MemRegion_8h_source.html +1 -1
  83. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +6 -6
  84. package/SVF-doxygen/html/html/MemSSA_8h_source.html +3 -3
  85. package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +1 -1
  86. package/SVF-doxygen/html/html/Options_8cpp_source.html +11 -12
  87. package/SVF-doxygen/html/html/Options_8h_source.html +11 -12
  88. package/SVF-doxygen/html/html/PCG_8cpp_source.html +4 -4
  89. package/SVF-doxygen/html/html/PCG_8h_source.html +1 -1
  90. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +2 -2
  91. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  92. package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +6 -6
  93. package/SVF-doxygen/html/html/PathCondAllocator_8h_source.html +4 -4
  94. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +3 -3
  95. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +2 -2
  96. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +10 -10
  97. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +6 -6
  98. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +1 -1
  99. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h.html +157 -67
  100. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h_source.html +72 -67
  101. package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +1 -1
  102. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +3 -3
  103. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +2 -2
  104. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  105. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  106. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +4 -4
  107. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  108. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +50 -43
  109. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +43 -42
  110. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +20 -22
  111. package/SVF-doxygen/html/html/SVFIR_8h_source.html +45 -46
  112. package/SVF-doxygen/html/html/SVFModule_8h_source.html +3 -3
  113. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
  114. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +7 -7
  115. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +5 -5
  116. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +1 -1
  117. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +2 -2
  118. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +2 -2
  119. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  120. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +4 -4
  121. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
  122. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  123. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +28 -28
  124. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +2 -2
  125. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +7 -7
  126. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
  127. package/SVF-doxygen/html/html/TCT_8cpp_source.html +11 -11
  128. package/SVF-doxygen/html/html/TCT_8h_source.html +8 -8
  129. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +2 -2
  130. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +4 -4
  131. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  132. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +2 -2
  133. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +4 -4
  134. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp.html +3 -2
  135. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +45 -44
  136. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +33 -33
  137. package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +0 -12
  138. package/SVF-doxygen/html/html/Util_2BasicTypes_8h_source.html +71 -76
  139. package/SVF-doxygen/html/html/VFGNode_8h_source.html +1 -1
  140. package/SVF-doxygen/html/html/VFG_8cpp_source.html +3 -3
  141. package/SVF-doxygen/html/html/VFG_8h_source.html +1 -1
  142. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  143. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
  144. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +6 -6
  145. package/SVF-doxygen/html/html/WPAPass_8h_source.html +3 -3
  146. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  147. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  148. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +1 -1
  149. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +1 -1
  150. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
  151. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
  152. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +7 -7
  153. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +1 -1
  154. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
  155. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
  156. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +2 -2
  157. package/SVF-doxygen/html/html/classSVF_1_1Annotator.html +1 -1
  158. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
  159. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +7 -7
  160. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
  161. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  162. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +1 -1
  163. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +1 -1
  164. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +3 -3
  165. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +3 -3
  166. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +1 -1
  167. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +26 -26
  168. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +7 -7
  169. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +1 -1
  170. package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +1 -1
  171. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +2 -2
  172. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +1 -1
  174. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  175. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +41 -41
  176. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +1 -1
  177. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +1 -1
  178. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +1 -1
  179. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
  180. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  181. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +2 -2
  182. package/SVF-doxygen/html/html/classSVF_1_1CondStdSet.html +1 -1
  183. package/SVF-doxygen/html/html/classSVF_1_1CondVar.html +1 -1
  184. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +4 -4
  185. package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +1 -1
  186. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +4 -4
  187. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
  188. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
  189. package/SVF-doxygen/html/html/classSVF_1_1CxtProc.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +1 -1
  191. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +1 -1
  192. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +152 -152
  193. package/SVF-doxygen/html/html/classSVF_1_1DCHNode.html +12 -12
  194. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +2 -2
  195. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +4 -4
  196. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +2 -2
  197. package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +1 -1
  198. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
  199. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +1 -1
  200. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +1 -1
  201. package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +4 -4
  202. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
  203. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +6 -6
  204. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +3 -3
  205. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +117 -117
  206. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +11 -11
  207. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +1 -1
  208. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +1 -1
  209. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +1 -1
  210. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +1 -1
  211. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +2 -2
  212. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +2 -2
  213. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
  214. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
  215. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
  216. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +1 -1
  217. package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +1 -1
  218. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +1 -1
  219. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +9 -9
  220. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +1 -1
  221. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  222. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +1 -1
  223. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +1 -1
  224. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  225. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  226. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  227. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +1 -1
  228. package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +1 -1
  229. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
  230. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +1 -1
  231. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +1 -1
  232. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +1 -1
  233. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  234. package/SVF-doxygen/html/html/classSVF_1_1IteratedDominanceFrontier.html +2 -2
  235. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +11 -11
  236. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +3 -3
  237. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
  238. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
  239. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +4 -4
  240. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +17 -17
  241. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +10 -10
  242. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +15 -15
  243. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +8 -8
  244. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
  245. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  246. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +5 -5
  247. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +8 -8
  248. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +18 -18
  249. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +3 -3
  250. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
  251. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +9 -9
  252. package/SVF-doxygen/html/html/classSVF_1_1MemSSADF.html +1 -1
  253. package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html +1 -1
  254. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +1 -1
  255. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +1 -1
  256. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  257. package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG.html +1 -1
  258. package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +79 -80
  259. package/SVF-doxygen/html/html/classSVF_1_1Options.html +11 -37
  260. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +4 -4
  261. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +9 -9
  262. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  263. package/SVF-doxygen/html/html/classSVF_1_1PTACFInfoBuilder.html +4 -4
  264. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +1 -1
  265. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +1 -1
  266. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +1 -1
  267. package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html +10 -10
  268. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +1 -1
  269. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +20 -20
  270. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +1 -1
  271. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +4 -4
  272. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +1 -1
  273. package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +1 -1
  274. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +1 -1
  275. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +1 -1
  276. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  277. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +1 -1
  278. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +3 -3
  279. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +27 -27
  280. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +2 -2
  281. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
  282. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobal.html +3 -3
  283. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +94 -95
  284. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +119 -160
  285. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +56 -55
  286. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +125 -81
  287. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +1 -1
  288. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +2 -2
  289. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +5 -5
  290. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +4 -4
  291. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
  292. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
  293. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +1 -1
  294. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
  295. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +1 -1
  296. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +32 -32
  297. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +9 -9
  298. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +18 -18
  299. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  300. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  301. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
  302. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
  303. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +1 -1
  304. package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +1 -1
  305. package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +1 -1
  306. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +1 -1
  307. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +4 -4
  308. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +129 -129
  309. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +1 -1
  310. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  311. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +4 -4
  312. package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +1 -1
  313. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  314. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
  315. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +1 -1
  316. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +3 -3
  317. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +2 -2
  318. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +11 -11
  319. package/SVF-doxygen/html/html/functions_func_g.html +1 -1
  320. package/SVF-doxygen/html/html/functions_g.html +12 -15
  321. package/SVF-doxygen/html/html/functions_i.html +3 -3
  322. package/SVF-doxygen/html/html/functions_l.html +6 -6
  323. package/SVF-doxygen/html/html/functions_n.html +3 -3
  324. package/SVF-doxygen/html/html/functions_p.html +18 -14
  325. package/SVF-doxygen/html/html/functions_s.html +13 -15
  326. package/SVF-doxygen/html/html/functions_t.html +1 -3
  327. package/SVF-doxygen/html/html/functions_v.html +3 -3
  328. package/SVF-doxygen/html/html/functions_vars_g.html +0 -3
  329. package/SVF-doxygen/html/html/functions_w.html +10 -6
  330. package/SVF-doxygen/html/html/globals_d.html +12 -0
  331. package/SVF-doxygen/html/html/globals_g.html +5 -2
  332. package/SVF-doxygen/html/html/globals_s.html +3 -3
  333. package/SVF-doxygen/html/html/globals_type.html +15 -0
  334. package/SVF-doxygen/html/html/namespaceSVF.html +35 -131
  335. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +42 -42
  336. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +29 -29
  337. package/SVF-doxygen/html/html/namespacemembers_d.html +2 -14
  338. package/SVF-doxygen/html/html/namespacemembers_g.html +2 -5
  339. package/SVF-doxygen/html/html/namespacemembers_type.html +0 -15
  340. package/SVF-doxygen/html/html/search/all_10.js +6 -6
  341. package/SVF-doxygen/html/html/search/all_13.js +12 -12
  342. package/SVF-doxygen/html/html/search/all_14.js +3 -3
  343. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  344. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  345. package/SVF-doxygen/html/html/search/all_4.js +4 -4
  346. package/SVF-doxygen/html/html/search/all_7.js +2 -3
  347. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  348. package/SVF-doxygen/html/html/search/all_b.js +1 -1
  349. package/SVF-doxygen/html/html/search/all_c.js +2 -2
  350. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  351. package/SVF-doxygen/html/html/search/all_e.js +3 -3
  352. package/SVF-doxygen/html/html/search/functions_10.js +1 -1
  353. package/SVF-doxygen/html/html/search/functions_6.js +1 -1
  354. package/SVF-doxygen/html/html/search/typedefs_3.js +4 -4
  355. package/SVF-doxygen/html/html/search/typedefs_6.js +1 -1
  356. package/SVF-doxygen/html/html/search/variables_14.js +3 -3
  357. package/SVF-doxygen/html/html/search/variables_7.js +0 -1
  358. package/SVF-doxygen/html/html/search/variables_e.js +2 -2
  359. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +3 -3
  360. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  361. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +2 -2
  362. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  363. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +1 -1
  364. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +2 -2
  365. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +4 -4
  366. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +4 -4
  367. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +3 -3
  368. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  369. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  370. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  371. package/include/MemoryModel/SVFIR.h +0 -1
  372. package/include/SVF-FE/BasicTypes.h +6 -1
  373. package/include/SVF-FE/SVFIRBuilder.h +1 -0
  374. package/include/Util/BasicTypes.h +1 -9
  375. package/include/Util/Options.h +0 -3
  376. package/lib/MemoryModel/SVFIR.cpp +4 -28
  377. package/lib/SVF-FE/SVFIRBuilder.cpp +25 -2
  378. package/lib/Util/Options.cpp +0 -8
  379. package/lib/WPA/FlowSensitiveTBHC.cpp +1 -0
  380. package/lib/WPA/TypeAnalysis.cpp +1 -1
  381. package/lib/WPA/TypeBasedHeapCloning.cpp +1 -0
  382. package/package.json +1 -1
@@ -784,8 +784,6 @@ Typedefs</h2></td></tr>
784
784
  <tr class="separator:a7875172ff434b2210eea7cecfbbd959e"><td class="memSeparator" colspan="2">&#160;</td></tr>
785
785
  <tr class="memitem:a1f4624771922dc8c2447ad7433588c73"><td class="memItemLeft" align="right" valign="top">typedef llvm::CallBase&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73">CallBase</a></td></tr>
786
786
  <tr class="separator:a1f4624771922dc8c2447ad7433588c73"><td class="memSeparator" colspan="2">&#160;</td></tr>
787
- <tr class="memitem:af157dc77830b6cc804338df7430cbbb3"><td class="memItemLeft" align="right" valign="top">typedef llvm::GlobalObject&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">GlobalObject</a></td></tr>
788
- <tr class="separator:af157dc77830b6cc804338df7430cbbb3"><td class="memSeparator" colspan="2">&#160;</td></tr>
789
787
  <tr class="memitem:a67f3f86344f028cacfbeb08caaf7bb0f"><td class="memItemLeft" align="right" valign="top">typedef llvm::GlobalValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f">GlobalValue</a></td></tr>
790
788
  <tr class="separator:a67f3f86344f028cacfbeb08caaf7bb0f"><td class="memSeparator" colspan="2">&#160;</td></tr>
791
789
  <tr class="memitem:a09f5fa3bc44bf53612a085e3a611cc4e"><td class="memItemLeft" align="right" valign="top">typedef llvm::GlobalVariable&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">GlobalVariable</a></td></tr>
@@ -812,9 +810,6 @@ Typedefs</h2></td></tr>
812
810
  <tr class="separator:aa962cc1d782cc46553251e96b64a754b"><td class="memSeparator" colspan="2">&#160;</td></tr>
813
811
  <tr class="memitem:a6ec0236303089a01fd9da36a8bb84e0a"><td class="memItemLeft" align="right" valign="top">typedef llvm::FunctionType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a">FunctionType</a></td></tr>
814
812
  <tr class="separator:a6ec0236303089a01fd9da36a8bb84e0a"><td class="memSeparator" colspan="2">&#160;</td></tr>
815
- <tr class="memitem:a03db82b8a7914367024723dba4d6ca3c"><td class="memItemLeft" align="right" valign="top">typedef llvm::DataLayout&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">DataLayout</a></td></tr>
816
- <tr class="memdesc:a03db82b8a7914367024723dba4d6ca3c"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM data layout. <a href="#a03db82b8a7914367024723dba4d6ca3c">More...</a><br /></td></tr>
817
- <tr class="separator:a03db82b8a7914367024723dba4d6ca3c"><td class="memSeparator" colspan="2">&#160;</td></tr>
818
813
  <tr class="memitem:a58cdfbc4160cae08745b67844ac29801"><td class="memItemLeft" align="right" valign="top">typedef llvm::Argument&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801">Argument</a></td></tr>
819
814
  <tr class="memdesc:a58cdfbc4160cae08745b67844ac29801"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM Aliases and constants. <a href="#a58cdfbc4160cae08745b67844ac29801">More...</a><br /></td></tr>
820
815
  <tr class="separator:a58cdfbc4160cae08745b67844ac29801"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -858,13 +853,6 @@ Typedefs</h2></td></tr>
858
853
  <tr class="separator:a2eae2d6648dd6715421bd7af67d57637"><td class="memSeparator" colspan="2">&#160;</td></tr>
859
854
  <tr class="memitem:a3d9e7f32dc17fe8d40f8d6a011403b91"><td class="memItemLeft" align="right" valign="top">typedef llvm::IntegerType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91">IntegerType</a></td></tr>
860
855
  <tr class="separator:a3d9e7f32dc17fe8d40f8d6a011403b91"><td class="memSeparator" colspan="2">&#160;</td></tr>
861
- <tr class="memitem:ad127b0ad478640ede3d426e3a58d2632"><td class="memItemLeft" align="right" valign="top">typedef llvm::DIType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">DIType</a></td></tr>
862
- <tr class="memdesc:ad127b0ad478640ede3d426e3a58d2632"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM debug information. <a href="#ad127b0ad478640ede3d426e3a58d2632">More...</a><br /></td></tr>
863
- <tr class="separator:ad127b0ad478640ede3d426e3a58d2632"><td class="memSeparator" colspan="2">&#160;</td></tr>
864
- <tr class="memitem:aded9b991c77acc5284ccead0739e84f1"><td class="memItemLeft" align="right" valign="top">typedef llvm::DICompositeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">DICompositeType</a></td></tr>
865
- <tr class="separator:aded9b991c77acc5284ccead0739e84f1"><td class="memSeparator" colspan="2">&#160;</td></tr>
866
- <tr class="memitem:a852e75c562139237fcc754c7461533e6"><td class="memItemLeft" align="right" valign="top">typedef llvm::DIDerivedType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">DIDerivedType</a></td></tr>
867
- <tr class="separator:a852e75c562139237fcc754c7461533e6"><td class="memSeparator" colspan="2">&#160;</td></tr>
868
856
  <tr class="memitem:a89c7208bfc0b57873dfa574f52050295"><td class="memItemLeft" align="right" valign="top">typedef llvm::DISubprogram&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295">DISubprogram</a></td></tr>
869
857
  <tr class="separator:a89c7208bfc0b57873dfa574f52050295"><td class="memSeparator" colspan="2">&#160;</td></tr>
870
858
  <tr class="memitem:ab3532a31724d8719d29aa4c3521ca215"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1CondVar.html">CondVar</a>&lt; <a class="el" href="classSVF_1_1ContextCond.html">ContextCond</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215">CxtVar</a></td></tr>
@@ -1072,7 +1060,7 @@ Functions</h2></td></tr>
1072
1060
 
1073
1061
  <p>LLVM Aliases and constants. </p>
1074
1062
 
1075
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00093">93</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1063
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00089">89</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1076
1064
 
1077
1065
  </div>
1078
1066
  </div>
@@ -1088,7 +1076,7 @@ Functions</h2></td></tr>
1088
1076
  </table>
1089
1077
  </div><div class="memdoc">
1090
1078
 
1091
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1079
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1092
1080
 
1093
1081
  </div>
1094
1082
  </div>
@@ -1138,7 +1126,7 @@ Functions</h2></td></tr>
1138
1126
 
1139
1127
  <p>LLVM Instructions. </p>
1140
1128
 
1141
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00105">105</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1129
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1142
1130
 
1143
1131
  </div>
1144
1132
  </div>
@@ -1218,7 +1206,7 @@ Functions</h2></td></tr>
1218
1206
  </table>
1219
1207
  </div><div class="memdoc">
1220
1208
 
1221
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00094">94</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1209
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00090">90</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1222
1210
 
1223
1211
  </div>
1224
1212
  </div>
@@ -1234,7 +1222,7 @@ Functions</h2></td></tr>
1234
1222
  </table>
1235
1223
  </div><div class="memdoc">
1236
1224
 
1237
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1225
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00093">93</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1238
1226
 
1239
1227
  </div>
1240
1228
  </div>
@@ -1250,7 +1238,7 @@ Functions</h2></td></tr>
1250
1238
  </table>
1251
1239
  </div><div class="memdoc">
1252
1240
 
1253
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1241
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00091">91</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1254
1242
 
1255
1243
  </div>
1256
1244
  </div>
@@ -1266,7 +1254,7 @@ Functions</h2></td></tr>
1266
1254
  </table>
1267
1255
  </div><div class="memdoc">
1268
1256
 
1269
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00096">96</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1257
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00092">92</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1270
1258
 
1271
1259
  </div>
1272
1260
  </div>
@@ -1334,56 +1322,6 @@ Functions</h2></td></tr>
1334
1322
 
1335
1323
  <p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00360">360</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
1336
1324
 
1337
- </div>
1338
- </div>
1339
- <a id="a03db82b8a7914367024723dba4d6ca3c"></a>
1340
- <h2 class="memtitle"><span class="permalink"><a href="#a03db82b8a7914367024723dba4d6ca3c">&#9670;&nbsp;</a></span>DataLayout</h2>
1341
-
1342
- <div class="memitem">
1343
- <div class="memproto">
1344
- <table class="memname">
1345
- <tr>
1346
- <td class="memname">typedef llvm::DataLayout <a class="el" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">SVF::DataLayout</a></td>
1347
- </tr>
1348
- </table>
1349
- </div><div class="memdoc">
1350
-
1351
- <p>LLVM data layout. </p>
1352
-
1353
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00090">90</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1354
-
1355
- </div>
1356
- </div>
1357
- <a id="aded9b991c77acc5284ccead0739e84f1"></a>
1358
- <h2 class="memtitle"><span class="permalink"><a href="#aded9b991c77acc5284ccead0739e84f1">&#9670;&nbsp;</a></span>DICompositeType</h2>
1359
-
1360
- <div class="memitem">
1361
- <div class="memproto">
1362
- <table class="memname">
1363
- <tr>
1364
- <td class="memname">typedef llvm::DICompositeType <a class="el" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">SVF::DICompositeType</a></td>
1365
- </tr>
1366
- </table>
1367
- </div><div class="memdoc">
1368
-
1369
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00127">127</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1370
-
1371
- </div>
1372
- </div>
1373
- <a id="a852e75c562139237fcc754c7461533e6"></a>
1374
- <h2 class="memtitle"><span class="permalink"><a href="#a852e75c562139237fcc754c7461533e6">&#9670;&nbsp;</a></span>DIDerivedType</h2>
1375
-
1376
- <div class="memitem">
1377
- <div class="memproto">
1378
- <table class="memname">
1379
- <tr>
1380
- <td class="memname">typedef llvm::DIDerivedType <a class="el" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">SVF::DIDerivedType</a></td>
1381
- </tr>
1382
- </table>
1383
- </div><div class="memdoc">
1384
-
1385
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00128">128</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1386
-
1387
1325
  </div>
1388
1326
  </div>
1389
1327
  <a id="a89c7208bfc0b57873dfa574f52050295"></a>
@@ -1398,25 +1336,7 @@ Functions</h2></td></tr>
1398
1336
  </table>
1399
1337
  </div><div class="memdoc">
1400
1338
 
1401
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00129">129</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1402
-
1403
- </div>
1404
- </div>
1405
- <a id="ad127b0ad478640ede3d426e3a58d2632"></a>
1406
- <h2 class="memtitle"><span class="permalink"><a href="#ad127b0ad478640ede3d426e3a58d2632">&#9670;&nbsp;</a></span>DIType</h2>
1407
-
1408
- <div class="memitem">
1409
- <div class="memproto">
1410
- <table class="memname">
1411
- <tr>
1412
- <td class="memname">typedef llvm::DIType <a class="el" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">SVF::DIType</a></td>
1413
- </tr>
1414
- </table>
1415
- </div><div class="memdoc">
1416
-
1417
- <p>LLVM debug information. </p>
1418
-
1419
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00126">126</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1339
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00122">122</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1420
1340
 
1421
1341
  </div>
1422
1342
  </div>
@@ -1434,7 +1354,7 @@ Functions</h2></td></tr>
1434
1354
 
1435
1355
  <p>LLVM Dominators. </p>
1436
1356
 
1437
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1357
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00106">106</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1438
1358
 
1439
1359
  </div>
1440
1360
  </div>
@@ -1450,7 +1370,7 @@ Functions</h2></td></tr>
1450
1370
  </table>
1451
1371
  </div><div class="memdoc">
1452
1372
 
1453
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00114">114</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1373
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1454
1374
 
1455
1375
  </div>
1456
1376
  </div>
@@ -1466,7 +1386,7 @@ Functions</h2></td></tr>
1466
1386
  </table>
1467
1387
  </div><div class="memdoc">
1468
1388
 
1469
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00111">111</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1389
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00107">107</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1470
1390
 
1471
1391
  </div>
1472
1392
  </div>
@@ -1482,7 +1402,7 @@ Functions</h2></td></tr>
1482
1402
  </table>
1483
1403
  </div><div class="memdoc">
1484
1404
 
1485
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00113">113</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1405
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00109">109</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1486
1406
 
1487
1407
  </div>
1488
1408
  </div>
@@ -1594,7 +1514,7 @@ Functions</h2></td></tr>
1594
1514
  </table>
1595
1515
  </div><div class="memdoc">
1596
1516
 
1597
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1517
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1598
1518
 
1599
1519
  </div>
1600
1520
  </div>
@@ -1992,23 +1912,7 @@ Functions</h2></td></tr>
1992
1912
  </table>
1993
1913
  </div><div class="memdoc">
1994
1914
 
1995
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00098">98</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1996
-
1997
- </div>
1998
- </div>
1999
- <a id="af157dc77830b6cc804338df7430cbbb3"></a>
2000
- <h2 class="memtitle"><span class="permalink"><a href="#af157dc77830b6cc804338df7430cbbb3">&#9670;&nbsp;</a></span>GlobalObject</h2>
2001
-
2002
- <div class="memitem">
2003
- <div class="memproto">
2004
- <table class="memname">
2005
- <tr>
2006
- <td class="memname">typedef llvm::GlobalObject <a class="el" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">SVF::GlobalObject</a></td>
2007
- </tr>
2008
- </table>
2009
- </div><div class="memdoc">
2010
-
2011
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00071">71</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1915
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00094">94</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2012
1916
 
2013
1917
  </div>
2014
1918
  </div>
@@ -2024,7 +1928,7 @@ Functions</h2></td></tr>
2024
1928
  </table>
2025
1929
  </div><div class="memdoc">
2026
1930
 
2027
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00072">72</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1931
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00071">71</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2028
1932
 
2029
1933
  </div>
2030
1934
  </div>
@@ -2040,7 +1944,7 @@ Functions</h2></td></tr>
2040
1944
  </table>
2041
1945
  </div><div class="memdoc">
2042
1946
 
2043
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00073">73</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1947
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00072">72</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2044
1948
 
2045
1949
  </div>
2046
1950
  </div>
@@ -2056,7 +1960,7 @@ Functions</h2></td></tr>
2056
1960
  </table>
2057
1961
  </div><div class="memdoc">
2058
1962
 
2059
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00122">122</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1963
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00118">118</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2060
1964
 
2061
1965
  </div>
2062
1966
  </div>
@@ -2088,7 +1992,7 @@ Functions</h2></td></tr>
2088
1992
  </table>
2089
1993
  </div><div class="memdoc">
2090
1994
 
2091
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00123">123</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1995
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00119">119</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2092
1996
 
2093
1997
  </div>
2094
1998
  </div>
@@ -2136,7 +2040,7 @@ Functions</h2></td></tr>
2136
2040
  </table>
2137
2041
  </div><div class="memdoc">
2138
2042
 
2139
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00107">107</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2043
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00103">103</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2140
2044
 
2141
2045
  </div>
2142
2046
  </div>
@@ -2184,7 +2088,7 @@ Functions</h2></td></tr>
2184
2088
  </table>
2185
2089
  </div><div class="memdoc">
2186
2090
 
2187
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00076">76</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2091
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00075">75</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2188
2092
 
2189
2093
  </div>
2190
2094
  </div>
@@ -2200,7 +2104,7 @@ Functions</h2></td></tr>
2200
2104
  </table>
2201
2105
  </div><div class="memdoc">
2202
2106
 
2203
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00077">77</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2107
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00076">76</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2204
2108
 
2205
2109
  </div>
2206
2110
  </div>
@@ -2234,7 +2138,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
2234
2138
  </table>
2235
2139
  </div><div class="memdoc">
2236
2140
 
2237
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00102">102</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2141
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00098">98</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2238
2142
 
2239
2143
  </div>
2240
2144
  </div>
@@ -2250,7 +2154,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
2250
2154
  </table>
2251
2155
  </div><div class="memdoc">
2252
2156
 
2253
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00074">74</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2157
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00073">73</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2254
2158
 
2255
2159
  </div>
2256
2160
  </div>
@@ -2316,7 +2220,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
2316
2220
 
2317
2221
  <p>LLVM metadata. </p>
2318
2222
 
2319
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2223
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2320
2224
 
2321
2225
  </div>
2322
2226
  </div>
@@ -2576,7 +2480,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
2576
2480
  </table>
2577
2481
  </div><div class="memdoc">
2578
2482
 
2579
- <p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00636">636</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
2483
+ <p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00635">635</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
2580
2484
 
2581
2485
  </div>
2582
2486
  </div>
@@ -2640,7 +2544,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
2640
2544
  </table>
2641
2545
  </div><div class="memdoc">
2642
2546
 
2643
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2547
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2644
2548
 
2645
2549
  </div>
2646
2550
  </div>
@@ -2672,7 +2576,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
2672
2576
  </table>
2673
2577
  </div><div class="memdoc">
2674
2578
 
2675
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00112">112</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2579
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00108">108</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2676
2580
 
2677
2581
  </div>
2678
2582
  </div>
@@ -2688,7 +2592,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
2688
2592
  </table>
2689
2593
  </div><div class="memdoc">
2690
2594
 
2691
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00081">81</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2595
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00080">80</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2692
2596
 
2693
2597
  </div>
2694
2598
  </div>
@@ -2706,7 +2610,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
2706
2610
 
2707
2611
  <p>LLVM outputs. </p>
2708
2612
 
2709
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00080">80</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2613
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00079">79</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2710
2614
 
2711
2615
  </div>
2712
2616
  </div>
@@ -2820,7 +2724,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
2820
2724
  </table>
2821
2725
  </div><div class="memdoc">
2822
2726
 
2823
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00106">106</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2727
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00102">102</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2824
2728
 
2825
2729
  </div>
2826
2730
  </div>
@@ -2854,7 +2758,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
2854
2758
 
2855
2759
  <p>LLVM types. </p>
2856
2760
 
2857
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2761
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00083">83</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2858
2762
 
2859
2763
  </div>
2860
2764
  </div>
@@ -2872,7 +2776,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
2872
2776
 
2873
2777
  <p>LLVM Iterators. </p>
2874
2778
 
2875
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00120">120</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2779
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00116">116</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2876
2780
 
2877
2781
  </div>
2878
2782
  </div>
@@ -3002,7 +2906,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
3002
2906
  </table>
3003
2907
  </div><div class="memdoc">
3004
2908
 
3005
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00075">75</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2909
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00074">74</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3006
2910
 
3007
2911
  </div>
3008
2912
  </div>
@@ -3334,8 +3238,8 @@ template&lt;typename F , typename S &gt; </div>
3334
3238
  </table>
3335
3239
  </div><div class="memdoc">
3336
3240
 
3337
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00289">289</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3338
- <div class="fragment"><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160;{</div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; o &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var.first &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; var.second &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160;}</div></div><!-- fragment -->
3241
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00281">281</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3242
+ <div class="fragment"><div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160;{</div><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; o &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var.first &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; var.second &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160;}</div></div><!-- fragment -->
3339
3243
  </div>
3340
3244
  </div>
3341
3245
  <a id="aa01b96d5bc6c3930b0bfca789acf75c4"></a>