svf-tools 1.0.809 → 1.0.810

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 (473) hide show
  1. package/SVF-doxygen/html/AccessPath_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/Andersen_8cpp_source.html +4 -4
  4. package/SVF-doxygen/html/Andersen_8h_source.html +1 -1
  5. package/SVF-doxygen/html/CDGBuilder_8cpp_source.html +6 -6
  6. package/SVF-doxygen/html/CDGBuilder_8h_source.html +1 -1
  7. package/SVF-doxygen/html/CFBasicBlockGBuilder_8cpp_source.html +2 -2
  8. package/SVF-doxygen/html/CFBasicBlockGBuilder_8h_source.html +1 -1
  9. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +6 -6
  10. package/SVF-doxygen/html/CFLAlias_8h_source.html +1 -1
  11. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +13 -13
  12. package/SVF-doxygen/html/CHG_8cpp.html +4 -4
  13. package/SVF-doxygen/html/CHG_8cpp_source.html +10 -10
  14. package/SVF-doxygen/html/CHG_8h_source.html +2 -2
  15. package/SVF-doxygen/html/CallGraphBuilder_8cpp_source.html +2 -2
  16. package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +1 -1
  18. package/SVF-doxygen/html/CxtStmt_8h_source.html +2 -2
  19. package/SVF-doxygen/html/DCHG_8cpp_source.html +8 -8
  20. package/SVF-doxygen/html/DCHG_8h_source.html +2 -2
  21. package/SVF-doxygen/html/DDAClient_8cpp_source.html +3 -3
  22. package/SVF-doxygen/html/ExtAPI_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/FSMPTA_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +7 -7
  25. package/SVF-doxygen/html/ICFGBuilder_8h_source.html +4 -4
  26. package/SVF-doxygen/html/ICFGEdge_8h_source.html +5 -5
  27. package/SVF-doxygen/html/ICFGNode_8h_source.html +12 -12
  28. package/SVF-doxygen/html/ICFG_8cpp_source.html +550 -543
  29. package/SVF-doxygen/html/ICFG_8h_source.html +19 -19
  30. package/SVF-doxygen/html/IRGraph_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +2 -2
  32. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +1160 -1147
  33. package/SVF-doxygen/html/LLVMModule_8h_source.html +29 -29
  34. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +1160 -1150
  35. package/SVF-doxygen/html/LLVMUtil_8h.html +3 -0
  36. package/SVF-doxygen/html/LLVMUtil_8h_source.html +350 -347
  37. package/SVF-doxygen/html/LeakChecker_8cpp_source.html +3 -3
  38. package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +14 -14
  39. package/SVF-doxygen/html/LockAnalysis_8h_source.html +2 -2
  40. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +4 -4
  41. package/SVF-doxygen/html/LockResultValidator_8h_source.html +1 -1
  42. package/SVF-doxygen/html/MHP_8cpp_source.html +12 -12
  43. package/SVF-doxygen/html/MHP_8h_source.html +3 -3
  44. package/SVF-doxygen/html/MSSAMuChi_8h_source.html +2 -2
  45. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
  46. package/SVF-doxygen/html/MTAAnnotator_8h_source.html +1 -1
  47. package/SVF-doxygen/html/MTAResultValidator_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/MTAStat_8cpp_source.html +5 -5
  49. package/SVF-doxygen/html/MTA_8cpp_source.html +2 -2
  50. package/SVF-doxygen/html/MemRegion_8cpp_source.html +10 -10
  51. package/SVF-doxygen/html/MemRegion_8h_source.html +1 -1
  52. package/SVF-doxygen/html/MemSSA_8cpp_source.html +20 -20
  53. package/SVF-doxygen/html/MemSSA_8h_source.html +1 -1
  54. package/SVF-doxygen/html/PCG_8cpp_source.html +10 -10
  55. package/SVF-doxygen/html/PCG_8h_source.html +3 -3
  56. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  57. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +14 -14
  58. package/SVF-doxygen/html/ProgSlice_8cpp_source.html +2 -2
  59. package/SVF-doxygen/html/ProgSlice_8h_source.html +1 -1
  60. package/SVF-doxygen/html/SVFBugReport_8h_source.html +2 -2
  61. package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +17 -17
  62. package/SVF-doxygen/html/SVFFileSystem_8h_source.html +15 -15
  63. package/SVF-doxygen/html/SVFGOPT_8h_source.html +3 -3
  64. package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +1 -1
  65. package/SVF-doxygen/html/SVFG_8cpp_source.html +6 -6
  66. package/SVF-doxygen/html/SVFG_8h_source.html +4 -4
  67. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +4 -4
  68. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +3 -3
  69. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +23 -23
  70. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +4 -4
  71. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +8 -8
  72. package/SVF-doxygen/html/SVFIR_8cpp_source.html +1 -1
  73. package/SVF-doxygen/html/SVFIR_8h_source.html +2 -2
  74. package/SVF-doxygen/html/SVFModule_8cpp_source.html +1 -1
  75. package/SVF-doxygen/html/SVFModule_8h_source.html +3 -3
  76. package/SVF-doxygen/html/SVFStat_8cpp_source.html +4 -4
  77. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
  78. package/SVF-doxygen/html/SVFStatements_8h_source.html +2 -2
  79. package/SVF-doxygen/html/SVFUtil_8cpp_source.html +6 -6
  80. package/SVF-doxygen/html/SVFUtil_8h_source.html +6 -6
  81. package/SVF-doxygen/html/SVFValue_8cpp_source.html +126 -117
  82. package/SVF-doxygen/html/SVFValue_8h_source.html +1010 -1002
  83. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
  84. package/SVF-doxygen/html/SaberCheckerAPI_8h_source.html +1 -1
  85. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +14 -14
  86. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +5 -5
  87. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  88. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +4 -4
  89. package/SVF-doxygen/html/Steensgaard_8h_source.html +1 -1
  90. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +17 -17
  91. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +1 -1
  92. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +1 -1
  93. package/SVF-doxygen/html/TCT_8cpp_source.html +14 -14
  94. package/SVF-doxygen/html/TCT_8h_source.html +7 -7
  95. package/SVF-doxygen/html/ThreadAPI_8cpp_source.html +7 -7
  96. package/SVF-doxygen/html/ThreadAPI_8h_source.html +4 -4
  97. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +1 -1
  98. package/SVF-doxygen/html/TypeAnalysis_8cpp_source.html +4 -4
  99. package/SVF-doxygen/html/VFGNode_8h_source.html +1 -1
  100. package/SVF-doxygen/html/VFG_8cpp_source.html +3 -3
  101. package/SVF-doxygen/html/VFG_8h_source.html +4 -4
  102. package/SVF-doxygen/html/WPAPass_8cpp_source.html +3 -3
  103. package/SVF-doxygen/html/WPAPass_8h_source.html +1 -1
  104. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +2 -2
  105. package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  106. package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  107. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  108. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +1 -1
  109. package/SVF-doxygen/html/classSVF_1_1Andersen.html +6 -6
  110. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
  111. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  112. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
  113. package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  114. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
  115. package/SVF-doxygen/html/classSVF_1_1CDGBuilder.html +6 -6
  116. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +8 -8
  117. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +13 -13
  118. package/SVF-doxygen/html/classSVF_1_1CHGraph.html +7 -7
  119. package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +9 -9
  120. package/SVF-doxygen/html/classSVF_1_1CallCHI.html +1 -1
  121. package/SVF-doxygen/html/classSVF_1_1CallGraphBuilder.html +3 -3
  122. package/SVF-doxygen/html/classSVF_1_1CallICFGNode.html +12 -12
  123. package/SVF-doxygen/html/classSVF_1_1CallMU.html +1 -1
  124. package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
  125. package/SVF-doxygen/html/classSVF_1_1CallSite.html +95 -95
  126. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
  127. package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
  128. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +1 -1
  129. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
  130. package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
  131. package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
  132. package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
  133. package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +7 -7
  134. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  135. package/SVF-doxygen/html/classSVF_1_1ExtAPI.html +1 -1
  136. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  137. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +12 -12
  138. package/SVF-doxygen/html/classSVF_1_1FunEntryICFGNode.html +16 -16
  139. package/SVF-doxygen/html/classSVF_1_1FunExitICFGNode.html +28 -20
  140. package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +2 -2
  141. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
  142. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +1 -1
  143. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  144. package/SVF-doxygen/html/classSVF_1_1GlobalICFGNode.html +9 -9
  145. package/SVF-doxygen/html/classSVF_1_1ICFG.html +271 -271
  146. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +17 -17
  147. package/SVF-doxygen/html/classSVF_1_1ICFGEdge.html +7 -7
  148. package/SVF-doxygen/html/classSVF_1_1ICFGNode.html +12 -12
  149. package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  150. package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  151. package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +12 -12
  152. package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +15 -15
  153. package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  154. package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +2 -2
  155. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +1075 -1061
  156. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +4 -4
  157. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
  158. package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +13 -13
  159. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +4 -4
  160. package/SVF-doxygen/html/classSVF_1_1MHP.html +12 -12
  161. package/SVF-doxygen/html/classSVF_1_1MHPValidator.html +1 -1
  162. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +10 -10
  163. package/SVF-doxygen/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  164. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
  165. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +2 -2
  166. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  167. package/SVF-doxygen/html/classSVF_1_1MTAStat.html +5 -5
  168. package/SVF-doxygen/html/classSVF_1_1MemObj.html +1 -1
  169. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +19 -19
  170. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
  171. package/SVF-doxygen/html/classSVF_1_1PCG.html +11 -11
  172. package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
  173. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
  174. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +13 -13
  175. package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +2 -2
  176. package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +1 -1
  177. package/SVF-doxygen/html/classSVF_1_1RaceValidator.html +1 -1
  178. package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +9 -9
  179. package/SVF-doxygen/html/classSVF_1_1RetICFGNode.html +12 -12
  180. package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
  181. package/SVF-doxygen/html/classSVF_1_1SVFArgument.html +30 -30
  182. package/SVF-doxygen/html/classSVF_1_1SVFBasicBlock-members.html +18 -17
  183. package/SVF-doxygen/html/classSVF_1_1SVFBasicBlock.html +162 -136
  184. package/SVF-doxygen/html/classSVF_1_1SVFBlackHoleValue.html +15 -15
  185. package/SVF-doxygen/html/classSVF_1_1SVFBugEvent.html +1 -1
  186. package/SVF-doxygen/html/classSVF_1_1SVFCallInst.html +67 -67
  187. package/SVF-doxygen/html/classSVF_1_1SVFConstant.html +17 -17
  188. package/SVF-doxygen/html/classSVF_1_1SVFConstantData.html +23 -23
  189. package/SVF-doxygen/html/classSVF_1_1SVFConstantFP.html +21 -21
  190. package/SVF-doxygen/html/classSVF_1_1SVFConstantInt.html +27 -27
  191. package/SVF-doxygen/html/classSVF_1_1SVFConstantNullPtr.html +15 -15
  192. package/SVF-doxygen/html/classSVF_1_1SVFFunction-members.html +52 -50
  193. package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +236 -176
  194. package/SVF-doxygen/html/classSVF_1_1SVFG.html +7 -7
  195. package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +2 -2
  196. package/SVF-doxygen/html/classSVF_1_1SVFGlobalValue.html +33 -33
  197. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +3 -3
  198. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +3 -3
  199. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +3 -3
  200. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +39 -39
  201. package/SVF-doxygen/html/classSVF_1_1SVFInstruction.html +57 -57
  202. package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html +3 -3
  203. package/SVF-doxygen/html/classSVF_1_1SVFMetadataAsValue.html +15 -15
  204. package/SVF-doxygen/html/classSVF_1_1SVFModule.html +1 -1
  205. package/SVF-doxygen/html/classSVF_1_1SVFOtherValue.html +11 -11
  206. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +4 -4
  207. package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
  208. package/SVF-doxygen/html/classSVF_1_1SVFVirtualCallInst.html +53 -53
  209. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +14 -14
  210. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  211. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
  212. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +6 -6
  213. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
  214. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +17 -17
  215. package/SVF-doxygen/html/classSVF_1_1TCT.html +15 -15
  216. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
  217. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
  218. package/SVF-doxygen/html/classSVF_1_1ThreadAPI.html +7 -7
  219. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +1 -1
  220. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  221. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +4 -4
  222. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
  223. package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  224. package/SVF-doxygen/html/classSVF_1_1VFG.html +5 -5
  225. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  226. package/SVF-doxygen/html/classSVF_1_1WPAPass.html +2 -2
  227. package/SVF-doxygen/html/functions_b.html +3 -3
  228. package/SVF-doxygen/html/functions_e.html +3 -0
  229. package/SVF-doxygen/html/functions_func_i.html +3 -3
  230. package/SVF-doxygen/html/functions_func_p.html +1 -1
  231. package/SVF-doxygen/html/functions_func_s.html +22 -19
  232. package/SVF-doxygen/html/functions_i.html +1 -1
  233. package/SVF-doxygen/html/functions_l.html +3 -3
  234. package/SVF-doxygen/html/functions_o.html +15 -15
  235. package/SVF-doxygen/html/functions_p.html +9 -9
  236. package/SVF-doxygen/html/functions_r.html +4 -6
  237. package/SVF-doxygen/html/functions_rela_s.html +3 -0
  238. package/SVF-doxygen/html/functions_s.html +26 -20
  239. package/SVF-doxygen/html/functions_t.html +4 -4
  240. package/SVF-doxygen/html/functions_v.html +3 -3
  241. package/SVF-doxygen/html/functions_vars_e.html +3 -0
  242. package/SVF-doxygen/html/namespaceSVF.html +5 -5
  243. package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +1199 -1165
  244. package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html +5 -5
  245. package/SVF-doxygen/html/namespacemembers_b.html +4 -1
  246. package/SVF-doxygen/html/namespacemembers_func_b.html +4 -1
  247. package/SVF-doxygen/html/search/all_10.js +324 -324
  248. package/SVF-doxygen/html/search/all_11.js +222 -222
  249. package/SVF-doxygen/html/search/all_12.js +544 -543
  250. package/SVF-doxygen/html/search/all_13.js +191 -191
  251. package/SVF-doxygen/html/search/all_14.js +67 -67
  252. package/SVF-doxygen/html/search/all_15.js +169 -169
  253. package/SVF-doxygen/html/search/all_16.js +63 -63
  254. package/SVF-doxygen/html/search/all_17.js +1 -1
  255. package/SVF-doxygen/html/search/all_18.js +1 -1
  256. package/SVF-doxygen/html/search/all_19.js +11 -11
  257. package/SVF-doxygen/html/search/all_1a.js +172 -172
  258. package/SVF-doxygen/html/search/all_2.js +139 -138
  259. package/SVF-doxygen/html/search/all_3.js +642 -642
  260. package/SVF-doxygen/html/search/all_4.js +233 -233
  261. package/SVF-doxygen/html/search/all_5.js +119 -118
  262. package/SVF-doxygen/html/search/all_6.js +225 -225
  263. package/SVF-doxygen/html/search/all_7.js +1041 -1041
  264. package/SVF-doxygen/html/search/all_8.js +196 -196
  265. package/SVF-doxygen/html/search/all_9.js +613 -613
  266. package/SVF-doxygen/html/search/all_a.js +46 -46
  267. package/SVF-doxygen/html/search/all_b.js +26 -26
  268. package/SVF-doxygen/html/search/all_c.js +116 -116
  269. package/SVF-doxygen/html/search/all_d.js +196 -196
  270. package/SVF-doxygen/html/search/all_e.js +207 -207
  271. package/SVF-doxygen/html/search/all_f.js +116 -116
  272. package/SVF-doxygen/html/search/classes_0.js +26 -26
  273. package/SVF-doxygen/html/search/classes_1.js +9 -9
  274. package/SVF-doxygen/html/search/classes_10.js +73 -73
  275. package/SVF-doxygen/html/search/classes_11.js +15 -15
  276. package/SVF-doxygen/html/search/classes_12.js +2 -2
  277. package/SVF-doxygen/html/search/classes_13.js +10 -10
  278. package/SVF-doxygen/html/search/classes_14.js +14 -14
  279. package/SVF-doxygen/html/search/classes_15.js +1 -1
  280. package/SVF-doxygen/html/search/classes_2.js +80 -80
  281. package/SVF-doxygen/html/search/classes_3.js +37 -37
  282. package/SVF-doxygen/html/search/classes_4.js +9 -9
  283. package/SVF-doxygen/html/search/classes_5.js +28 -28
  284. package/SVF-doxygen/html/search/classes_6.js +104 -104
  285. package/SVF-doxygen/html/search/classes_7.js +33 -33
  286. package/SVF-doxygen/html/search/classes_8.js +56 -56
  287. package/SVF-doxygen/html/search/classes_9.js +1 -1
  288. package/SVF-doxygen/html/search/classes_a.js +12 -12
  289. package/SVF-doxygen/html/search/classes_b.js +29 -29
  290. package/SVF-doxygen/html/search/classes_c.js +6 -6
  291. package/SVF-doxygen/html/search/classes_d.js +18 -18
  292. package/SVF-doxygen/html/search/classes_e.js +36 -36
  293. package/SVF-doxygen/html/search/classes_f.js +25 -25
  294. package/SVF-doxygen/html/search/defines_0.js +3 -3
  295. package/SVF-doxygen/html/search/defines_1.js +2 -2
  296. package/SVF-doxygen/html/search/defines_2.js +30 -30
  297. package/SVF-doxygen/html/search/defines_3.js +21 -21
  298. package/SVF-doxygen/html/search/defines_4.js +2 -2
  299. package/SVF-doxygen/html/search/defines_5.js +4 -4
  300. package/SVF-doxygen/html/search/defines_6.js +2 -2
  301. package/SVF-doxygen/html/search/defines_7.js +5 -5
  302. package/SVF-doxygen/html/search/defines_8.js +11 -11
  303. package/SVF-doxygen/html/search/defines_9.js +9 -9
  304. package/SVF-doxygen/html/search/defines_a.js +2 -2
  305. package/SVF-doxygen/html/search/defines_b.js +1 -1
  306. package/SVF-doxygen/html/search/defines_c.js +3 -3
  307. package/SVF-doxygen/html/search/defines_d.js +2 -2
  308. package/SVF-doxygen/html/search/defines_e.js +7 -7
  309. package/SVF-doxygen/html/search/defines_f.js +3 -3
  310. package/SVF-doxygen/html/search/enums_0.js +3 -3
  311. package/SVF-doxygen/html/search/enums_1.js +2 -2
  312. package/SVF-doxygen/html/search/enums_10.js +1 -1
  313. package/SVF-doxygen/html/search/enums_11.js +1 -1
  314. package/SVF-doxygen/html/search/enums_2.js +8 -8
  315. package/SVF-doxygen/html/search/enums_3.js +1 -1
  316. package/SVF-doxygen/html/search/enums_4.js +3 -3
  317. package/SVF-doxygen/html/search/enums_5.js +1 -1
  318. package/SVF-doxygen/html/search/enums_6.js +2 -2
  319. package/SVF-doxygen/html/search/enums_7.js +2 -2
  320. package/SVF-doxygen/html/search/enums_8.js +4 -4
  321. package/SVF-doxygen/html/search/enums_9.js +1 -1
  322. package/SVF-doxygen/html/search/enums_a.js +1 -1
  323. package/SVF-doxygen/html/search/enums_b.js +7 -7
  324. package/SVF-doxygen/html/search/enums_c.js +1 -1
  325. package/SVF-doxygen/html/search/enums_d.js +4 -4
  326. package/SVF-doxygen/html/search/enums_e.js +2 -2
  327. package/SVF-doxygen/html/search/enums_f.js +4 -4
  328. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  329. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  330. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  331. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  332. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  333. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  334. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  335. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  336. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  337. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  338. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  339. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  340. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  341. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  342. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  343. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  344. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  345. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  346. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  347. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  348. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  349. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  350. package/SVF-doxygen/html/search/files_0.js +13 -13
  351. package/SVF-doxygen/html/search/files_1.js +7 -7
  352. package/SVF-doxygen/html/search/files_10.js +8 -8
  353. package/SVF-doxygen/html/search/files_11.js +8 -8
  354. package/SVF-doxygen/html/search/files_12.js +2 -2
  355. package/SVF-doxygen/html/search/files_2.js +55 -55
  356. package/SVF-doxygen/html/search/files_3.js +14 -14
  357. package/SVF-doxygen/html/search/files_4.js +5 -5
  358. package/SVF-doxygen/html/search/files_5.js +13 -13
  359. package/SVF-doxygen/html/search/files_6.js +9 -9
  360. package/SVF-doxygen/html/search/files_7.js +14 -14
  361. package/SVF-doxygen/html/search/files_8.js +13 -13
  362. package/SVF-doxygen/html/search/files_9.js +18 -18
  363. package/SVF-doxygen/html/search/files_a.js +3 -3
  364. package/SVF-doxygen/html/search/files_b.js +2 -2
  365. package/SVF-doxygen/html/search/files_c.js +20 -20
  366. package/SVF-doxygen/html/search/files_d.js +4 -4
  367. package/SVF-doxygen/html/search/files_e.js +62 -62
  368. package/SVF-doxygen/html/search/files_f.js +8 -8
  369. package/SVF-doxygen/html/search/functions_0.js +12 -12
  370. package/SVF-doxygen/html/search/functions_1.js +360 -360
  371. package/SVF-doxygen/html/search/functions_10.js +140 -140
  372. package/SVF-doxygen/html/search/functions_11.js +138 -138
  373. package/SVF-doxygen/html/search/functions_12.js +279 -278
  374. package/SVF-doxygen/html/search/functions_13.js +59 -59
  375. package/SVF-doxygen/html/search/functions_14.js +39 -39
  376. package/SVF-doxygen/html/search/functions_15.js +71 -71
  377. package/SVF-doxygen/html/search/functions_16.js +32 -32
  378. package/SVF-doxygen/html/search/functions_17.js +3 -3
  379. package/SVF-doxygen/html/search/functions_18.js +172 -172
  380. package/SVF-doxygen/html/search/functions_2.js +87 -86
  381. package/SVF-doxygen/html/search/functions_3.js +257 -257
  382. package/SVF-doxygen/html/search/functions_4.js +75 -75
  383. package/SVF-doxygen/html/search/functions_5.js +53 -53
  384. package/SVF-doxygen/html/search/functions_6.js +59 -59
  385. package/SVF-doxygen/html/search/functions_7.js +852 -852
  386. package/SVF-doxygen/html/search/functions_8.js +148 -148
  387. package/SVF-doxygen/html/search/functions_9.js +429 -429
  388. package/SVF-doxygen/html/search/functions_a.js +30 -30
  389. package/SVF-doxygen/html/search/functions_b.js +2 -2
  390. package/SVF-doxygen/html/search/functions_c.js +26 -26
  391. package/SVF-doxygen/html/search/functions_d.js +77 -77
  392. package/SVF-doxygen/html/search/functions_e.js +35 -35
  393. package/SVF-doxygen/html/search/functions_f.js +56 -56
  394. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  395. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  396. package/SVF-doxygen/html/search/related_0.js +2 -2
  397. package/SVF-doxygen/html/search/related_1.js +2 -2
  398. package/SVF-doxygen/html/search/related_2.js +2 -2
  399. package/SVF-doxygen/html/search/related_3.js +2 -2
  400. package/SVF-doxygen/html/search/related_4.js +2 -2
  401. package/SVF-doxygen/html/search/related_5.js +1 -1
  402. package/SVF-doxygen/html/search/related_6.js +2 -2
  403. package/SVF-doxygen/html/search/related_7.js +4 -4
  404. package/SVF-doxygen/html/search/related_8.js +2 -2
  405. package/SVF-doxygen/html/search/related_9.js +4 -4
  406. package/SVF-doxygen/html/search/related_a.js +19 -19
  407. package/SVF-doxygen/html/search/related_b.js +4 -4
  408. package/SVF-doxygen/html/search/related_c.js +1 -1
  409. package/SVF-doxygen/html/search/related_d.js +12 -11
  410. package/SVF-doxygen/html/search/related_e.js +2 -2
  411. package/SVF-doxygen/html/search/related_f.js +2 -2
  412. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  413. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  414. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  415. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  416. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  417. package/SVF-doxygen/html/search/typedefs_13.js +34 -34
  418. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  419. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  420. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  421. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  422. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  423. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  424. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  425. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  426. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  427. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  428. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  429. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  430. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  431. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  432. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  433. package/SVF-doxygen/html/search/variables_0.js +151 -151
  434. package/SVF-doxygen/html/search/variables_1.js +75 -75
  435. package/SVF-doxygen/html/search/variables_10.js +97 -97
  436. package/SVF-doxygen/html/search/variables_11.js +44 -44
  437. package/SVF-doxygen/html/search/variables_12.js +92 -92
  438. package/SVF-doxygen/html/search/variables_13.js +75 -75
  439. package/SVF-doxygen/html/search/variables_14.js +14 -14
  440. package/SVF-doxygen/html/search/variables_15.js +48 -48
  441. package/SVF-doxygen/html/search/variables_16.js +9 -9
  442. package/SVF-doxygen/html/search/variables_17.js +1 -1
  443. package/SVF-doxygen/html/search/variables_18.js +2 -2
  444. package/SVF-doxygen/html/search/variables_2.js +38 -38
  445. package/SVF-doxygen/html/search/variables_3.js +142 -142
  446. package/SVF-doxygen/html/search/variables_4.js +55 -55
  447. package/SVF-doxygen/html/search/variables_5.js +37 -36
  448. package/SVF-doxygen/html/search/variables_6.js +66 -66
  449. package/SVF-doxygen/html/search/variables_7.js +33 -33
  450. package/SVF-doxygen/html/search/variables_8.js +7 -7
  451. package/SVF-doxygen/html/search/variables_9.js +77 -77
  452. package/SVF-doxygen/html/search/variables_a.js +4 -4
  453. package/SVF-doxygen/html/search/variables_b.js +10 -10
  454. package/SVF-doxygen/html/search/variables_c.js +45 -45
  455. package/SVF-doxygen/html/search/variables_d.js +56 -56
  456. package/SVF-doxygen/html/search/variables_e.js +123 -123
  457. package/SVF-doxygen/html/search/variables_f.js +30 -30
  458. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  459. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +82 -82
  460. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  461. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +7 -7
  462. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  463. package/SVF-doxygen/html/svf-ex_8cpp.html +2 -2
  464. package/SVF-doxygen/html/svf-ex_8cpp_source.html +2 -2
  465. package/SVF-doxygen/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +2 -2
  466. package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +2 -2
  467. package/package.json +1 -1
  468. package/svf/include/SVFIR/SVFValue.h +13 -2
  469. package/svf/lib/Graphs/ICFG.cpp +10 -4
  470. package/svf/lib/SVFIR/SVFValue.cpp +8 -1
  471. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +3 -0
  472. package/svf-llvm/lib/LLVMModule.cpp +11 -0
  473. package/svf-llvm/lib/LLVMUtil.cpp +17 -5
package/SVF-doxygen/html/classSVF_1_1SVFFunction.html CHANGED
@@ -161,6 +161,8 @@ Public Member Functions</h2></td></tr>
161
161
  <tr class="separator:a793f485e92d12cf407f2ffa41861eb3d"><td class="memSeparator" colspan="2">&#160;</td></tr>
162
162
  <tr class="memitem:a8ca4fa87f4c26b71c6e03c8f32db1071"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">getExitBB</a> () const</td></tr>
163
163
  <tr class="separator:a8ca4fa87f4c26b71c6e03c8f32db1071"><td class="memSeparator" colspan="2">&#160;</td></tr>
164
+ <tr class="memitem:abd458bb5a035d3f7db32fac5f01b57f3"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#abd458bb5a035d3f7db32fac5f01b57f3">setExitBlock</a> (<a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *bb)</td></tr>
165
+ <tr class="separator:abd458bb5a035d3f7db32fac5f01b57f3"><td class="memSeparator" colspan="2">&#160;</td></tr>
164
166
  <tr class="memitem:a3a482ac970b808b932f9f50f0e0703e5"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a3a482ac970b808b932f9f50f0e0703e5">front</a> () const</td></tr>
165
167
  <tr class="separator:a3a482ac970b808b932f9f50f0e0703e5"><td class="memSeparator" colspan="2">&#160;</td></tr>
166
168
  <tr class="memitem:a60797e9e8b9cbd6b32cc71fa5d00d80c"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a60797e9e8b9cbd6b32cc71fa5d00d80c">back</a> () const</td></tr>
@@ -240,7 +242,7 @@ Static Public Member Functions</h2></td></tr>
240
242
  Protected Member Functions</h2></td></tr>
241
243
  <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
242
244
  <tr class="memitem:a0d5031bd11b6372803082111ec2cb4f6"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6">addBasicBlock</a> (const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *bb)</td></tr>
243
- <tr class="memdesc:a0d5031bd11b6372803082111ec2cb4f6"><td class="mdescLeft">&#160;</td><td class="mdescRight">annotations of this function <a href="classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6">More...</a><br /></td></tr>
245
+ <tr class="memdesc:a0d5031bd11b6372803082111ec2cb4f6"><td class="mdescLeft">&#160;</td><td class="mdescRight">a 'single' basic block having no successors and containing return instruction in a function <a href="classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6">More...</a><br /></td></tr>
244
246
  <tr class="separator:a0d5031bd11b6372803082111ec2cb4f6"><td class="memSeparator" colspan="2">&#160;</td></tr>
245
247
  <tr class="memitem:ad865b8440a6e0d5d212798d2213e1e9c"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c">addArgument</a> (<a class="el" href="classSVF_1_1SVFArgument.html">SVFArgument</a> *arg)</td></tr>
246
248
  <tr class="separator:ad865b8440a6e0d5d212798d2213e1e9c"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -296,6 +298,9 @@ Private Attributes</h2></td></tr>
296
298
  <tr class="memitem:a47169163b5591547e5258dd697c9163a"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">annotations</a></td></tr>
297
299
  <tr class="memdesc:a47169163b5591547e5258dd697c9163a"><td class="mdescLeft">&#160;</td><td class="mdescRight">all formal arguments of this function <a href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">More...</a><br /></td></tr>
298
300
  <tr class="separator:a47169163b5591547e5258dd697c9163a"><td class="memSeparator" colspan="2">&#160;</td></tr>
301
+ <tr class="memitem:a374cbaa780f540cb4b4ccac562a82632"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">exitBlock</a></td></tr>
302
+ <tr class="memdesc:a374cbaa780f540cb4b4ccac562a82632"><td class="mdescLeft">&#160;</td><td class="mdescRight">annotations of this function <a href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">More...</a><br /></td></tr>
303
+ <tr class="separator:a374cbaa780f540cb4b4ccac562a82632"><td class="memSeparator" colspan="2">&#160;</td></tr>
299
304
  </table><table class="memberdecls">
300
305
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
301
306
  Friends</h2></td></tr>
@@ -454,9 +459,10 @@ Additional Inherited Members</h2></td></tr>
454
459
  <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00158">158</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
455
460
  <div class="fragment"><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFValue::SVFFunc</a>), <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>(declare), <a class="code" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>(<a class="code" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>),</div>
456
461
  <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>(adt), <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">varArg</a>(varg),</div>
457
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>(ft), <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>(ld), <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">annotations</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(annos))</div>
458
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160;{</div>
459
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160;}</div>
462
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>(ft), <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>(ld), <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">annotations</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(annos)),</div>
463
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">exitBlock</a>(<span class="keyword">nullptr</span>)</div>
464
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160;{</div>
465
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160;}</div>
460
466
  </div><!-- fragment -->
461
467
  </div>
462
468
  </div>
@@ -509,14 +515,14 @@ Additional Inherited Members</h2></td></tr>
509
515
  </table>
510
516
  </div><div class="memdoc">
511
517
 
512
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00167">167</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
513
- <div class="fragment"><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160;{</div>
514
- <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb : <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>)</div>
515
- <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <span class="keyword">delete</span> bb;</div>
516
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* arg : <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>)</div>
517
- <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keyword">delete</span> arg;</div>
518
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keyword">delete</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div>
519
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160;}</div>
518
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00168">168</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
519
+ <div class="fragment"><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160;{</div>
520
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb : <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>)</div>
521
+ <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <span class="keyword">delete</span> bb;</div>
522
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* arg : <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>)</div>
523
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keyword">delete</span> arg;</div>
524
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; <span class="keyword">delete</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div>
525
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160;}</div>
520
526
  </div><!-- fragment -->
521
527
  </div>
522
528
  </div>
@@ -545,10 +551,10 @@ Additional Inherited Members</h2></td></tr>
545
551
  </table>
546
552
  </div><div class="memdoc">
547
553
 
548
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00331">331</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
549
- <div class="fragment"><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; {</div>
550
- <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.push_back(arg);</div>
551
- <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; }</div>
554
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00332">332</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
555
+ <div class="fragment"><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; {</div>
556
+ <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.push_back(arg);</div>
557
+ <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; }</div>
552
558
  </div><!-- fragment -->
553
559
  </div>
554
560
  </div>
@@ -576,13 +582,13 @@ Additional Inherited Members</h2></td></tr>
576
582
  </table>
577
583
  </div><div class="memdoc">
578
584
 
579
- <p>annotations of this function </p>
585
+ <p>a 'single' basic block having no successors and containing return instruction in a function </p>
580
586
  <p>attributes to be set only through Module builders e.g., LLVMModule </p>
581
587
 
582
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00326">326</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
583
- <div class="fragment"><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; {</div>
584
- <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.push_back(bb);</div>
585
- <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; }</div>
588
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00327">327</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
589
+ <div class="fragment"><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; {</div>
590
+ <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.push_back(bb);</div>
591
+ <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; }</div>
586
592
  </div><!-- fragment -->
587
593
  </div>
588
594
  </div>
@@ -601,10 +607,10 @@ Additional Inherited Members</h2></td></tr>
601
607
  </table>
602
608
  </div><div class="memdoc">
603
609
 
604
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00176">176</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
605
- <div class="fragment"><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160;{</div>
606
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size();</div>
607
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160;}</div>
610
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00177">177</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
611
+ <div class="fragment"><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160;{</div>
612
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size();</div>
613
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160;}</div>
608
614
  </div><!-- fragment -->
609
615
  </div>
610
616
  </div>
@@ -630,11 +636,13 @@ Additional Inherited Members</h2></td></tr>
630
636
  </tr>
631
637
  </table>
632
638
  </div><div class="memdoc">
639
+ <p>Carefully! 'back' is just the last basic block of function, but not necessarily a exit basic block more refer to: <a href="https://github.com/SVF-tools/SVF/pull/1262">https://github.com/SVF-tools/SVF/pull/1262</a></p>
633
640
 
634
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00426">426</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
635
- <div class="fragment"><div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; {</div>
636
- <div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">getExitBB</a>();</div>
637
- <div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; }</div>
641
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00432">432</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
642
+ <div class="fragment"><div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; {</div>
643
+ <div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
644
+ <div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.back();</div>
645
+ <div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; }</div>
638
646
  </div><!-- fragment -->
639
647
  </div>
640
648
  </div>
@@ -661,10 +669,10 @@ Additional Inherited Members</h2></td></tr>
661
669
  </table>
662
670
  </div><div class="memdoc">
663
671
 
664
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00431">431</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
665
- <div class="fragment"><div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160; {</div>
666
- <div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.begin();</div>
667
- <div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; }</div>
672
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00441">441</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
673
+ <div class="fragment"><div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160; {</div>
674
+ <div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.begin();</div>
675
+ <div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; }</div>
668
676
  </div><!-- fragment -->
669
677
  </div>
670
678
  </div>
@@ -692,10 +700,10 @@ Additional Inherited Members</h2></td></tr>
692
700
  </table>
693
701
  </div><div class="memdoc">
694
702
 
695
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00357">357</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
696
- <div class="fragment"><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; {</div>
697
- <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFFunc</a>;</div>
698
- <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; }</div>
703
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00358">358</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
704
+ <div class="fragment"><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; {</div>
705
+ <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFFunc</a>;</div>
706
+ <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; }</div>
699
707
  </div><!-- fragment -->
700
708
  </div>
701
709
  </div>
@@ -733,10 +741,10 @@ Additional Inherited Members</h2></td></tr>
733
741
  </table>
734
742
  </div><div class="memdoc">
735
743
 
736
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00506">506</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
737
- <div class="fragment"><div class="line"><a name="l00507"></a><span class="lineno"> 507</span>&#160; {</div>
738
- <div class="line"><a name="l00508"></a><span class="lineno"> 508</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a342f2825d6b7e3289d0f0f4b7ee8247c">dominate</a>(bbKey,bbValue);</div>
739
- <div class="line"><a name="l00509"></a><span class="lineno"> 509</span>&#160; }</div>
744
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00516">516</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
745
+ <div class="fragment"><div class="line"><a name="l00517"></a><span class="lineno"> 517</span>&#160; {</div>
746
+ <div class="line"><a name="l00518"></a><span class="lineno"> 518</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a342f2825d6b7e3289d0f0f4b7ee8247c">dominate</a>(bbKey,bbValue);</div>
747
+ <div class="line"><a name="l00519"></a><span class="lineno"> 519</span>&#160; }</div>
740
748
  </div><!-- fragment -->
741
749
  </div>
742
750
  </div>
@@ -763,10 +771,10 @@ Additional Inherited Members</h2></td></tr>
763
771
  </table>
764
772
  </div><div class="memdoc">
765
773
 
766
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00436">436</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
767
- <div class="fragment"><div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160; {</div>
768
- <div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.end();</div>
769
- <div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; }</div>
774
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00446">446</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
775
+ <div class="fragment"><div class="line"><a name="l00447"></a><span class="lineno"> 447</span>&#160; {</div>
776
+ <div class="line"><a name="l00448"></a><span class="lineno"> 448</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.end();</div>
777
+ <div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; }</div>
770
778
  </div><!-- fragment -->
771
779
  </div>
772
780
  </div>
@@ -793,10 +801,10 @@ Additional Inherited Members</h2></td></tr>
793
801
  </table>
794
802
  </div><div class="memdoc">
795
803
 
796
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00421">421</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
797
- <div class="fragment"><div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; {</div>
798
- <div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">getEntryBlock</a>();</div>
799
- <div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; }</div>
804
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00427">427</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
805
+ <div class="fragment"><div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; {</div>
806
+ <div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">getEntryBlock</a>();</div>
807
+ <div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; }</div>
800
808
  </div><!-- fragment -->
801
809
  </div>
802
810
  </div>
@@ -823,10 +831,10 @@ Additional Inherited Members</h2></td></tr>
823
831
  </table>
824
832
  </div><div class="memdoc">
825
833
 
826
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00461">461</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
827
- <div class="fragment"><div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160; {</div>
828
- <div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">annotations</a>;</div>
829
- <div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; }</div>
834
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00471">471</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
835
+ <div class="fragment"><div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; {</div>
836
+ <div class="line"><a name="l00473"></a><span class="lineno"> 473</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">annotations</a>;</div>
837
+ <div class="line"><a name="l00474"></a><span class="lineno"> 474</span>&#160; }</div>
830
838
  </div><!-- fragment -->
831
839
  </div>
832
840
  </div>
@@ -846,11 +854,11 @@ Additional Inherited Members</h2></td></tr>
846
854
  </table>
847
855
  </div><div class="memdoc">
848
856
 
849
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00181">181</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
850
- <div class="fragment"><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160;{</div>
851
- <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; assert (idx &lt; <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size() &amp;&amp; <span class="stringliteral">&quot;getArg() out of range!&quot;</span>);</div>
852
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>[idx];</div>
853
- <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160;}</div>
857
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00182">182</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
858
+ <div class="fragment"><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160;{</div>
859
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; assert (idx &lt; <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size() &amp;&amp; <span class="stringliteral">&quot;getArg() out of range!&quot;</span>);</div>
860
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>[idx];</div>
861
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160;}</div>
854
862
  </div><!-- fragment -->
855
863
  </div>
856
864
  </div>
@@ -877,10 +885,10 @@ Additional Inherited Members</h2></td></tr>
877
885
  </table>
878
886
  </div><div class="memdoc">
879
887
 
880
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00441">441</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
881
- <div class="fragment"><div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160; {</div>
882
- <div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>;</div>
883
- <div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; }</div>
888
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00451">451</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
889
+ <div class="fragment"><div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; {</div>
890
+ <div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>;</div>
891
+ <div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; }</div>
884
892
  </div><!-- fragment -->
885
893
  </div>
886
894
  </div>
@@ -907,12 +915,12 @@ Additional Inherited Members</h2></td></tr>
907
915
  </table>
908
916
  </div><div class="memdoc">
909
917
 
910
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00393">393</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
911
- <div class="fragment"><div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; {</div>
912
- <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>==<span class="keyword">nullptr</span>)</div>
913
- <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <span class="keywordflow">return</span> <span class="keyword">this</span>;</div>
914
- <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>;</div>
915
- <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; }</div>
918
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00394">394</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
919
+ <div class="fragment"><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; {</div>
920
+ <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>==<span class="keyword">nullptr</span>)</div>
921
+ <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; <span class="keywordflow">return</span> <span class="keyword">this</span>;</div>
922
+ <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>;</div>
923
+ <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; }</div>
916
924
  </div><!-- fragment -->
917
925
  </div>
918
926
  </div>
@@ -939,10 +947,10 @@ Additional Inherited Members</h2></td></tr>
939
947
  </table>
940
948
  </div><div class="memdoc">
941
949
 
942
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00496">496</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
943
- <div class="fragment"><div class="line"><a name="l00497"></a><span class="lineno"> 497</span>&#160; {</div>
944
- <div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ae37546be7304c66b4eca2654d995eaa7">getDomFrontierMap</a>();</div>
945
- <div class="line"><a name="l00499"></a><span class="lineno"> 499</span>&#160; }</div>
950
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00506">506</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
951
+ <div class="fragment"><div class="line"><a name="l00507"></a><span class="lineno"> 507</span>&#160; {</div>
952
+ <div class="line"><a name="l00508"></a><span class="lineno"> 508</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ae37546be7304c66b4eca2654d995eaa7">getDomFrontierMap</a>();</div>
953
+ <div class="line"><a name="l00509"></a><span class="lineno"> 509</span>&#160; }</div>
946
954
  </div><!-- fragment -->
947
955
  </div>
948
956
  </div>
@@ -969,10 +977,10 @@ Additional Inherited Members</h2></td></tr>
969
977
  </table>
970
978
  </div><div class="memdoc">
971
979
 
972
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00491">491</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
973
- <div class="fragment"><div class="line"><a name="l00492"></a><span class="lineno"> 492</span>&#160; {</div>
974
- <div class="line"><a name="l00493"></a><span class="lineno"> 493</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a2fc6b806a436d8fa65863f6cef99e716">getDomTreeMap</a>();</div>
975
- <div class="line"><a name="l00494"></a><span class="lineno"> 494</span>&#160; }</div>
980
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00501">501</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
981
+ <div class="fragment"><div class="line"><a name="l00502"></a><span class="lineno"> 502</span>&#160; {</div>
982
+ <div class="line"><a name="l00503"></a><span class="lineno"> 503</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a2fc6b806a436d8fa65863f6cef99e716">getDomTreeMap</a>();</div>
983
+ <div class="line"><a name="l00504"></a><span class="lineno"> 504</span>&#160; }</div>
976
984
  </div><!-- fragment -->
977
985
  </div>
978
986
  </div>
@@ -999,11 +1007,11 @@ Additional Inherited Members</h2></td></tr>
999
1007
  </table>
1000
1008
  </div><div class="memdoc">
1001
1009
 
1002
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00409">409</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1003
- <div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; {</div>
1004
- <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
1005
- <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.front();</div>
1006
- <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; }</div>
1010
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00410">410</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1011
+ <div class="fragment"><div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; {</div>
1012
+ <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
1013
+ <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.front();</div>
1014
+ <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; }</div>
1007
1015
  </div><!-- fragment -->
1008
1016
  </div>
1009
1017
  </div>
@@ -1029,12 +1037,14 @@ Additional Inherited Members</h2></td></tr>
1029
1037
  </tr>
1030
1038
  </table>
1031
1039
  </div><div class="memdoc">
1032
-
1033
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00415">415</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1034
- <div class="fragment"><div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; {</div>
1035
- <div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
1036
- <div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.back();</div>
1037
- <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; }</div>
1040
+ <p>Carefully! when you call getExitBB, you need ensure the function has return instruction more refer to: <a href="https://github.com/SVF-tools/SVF/pull/1262">https://github.com/SVF-tools/SVF/pull/1262</a> </p>
1041
+
1042
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00418">418</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1043
+ <div class="fragment"><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; {</div>
1044
+ <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
1045
+ <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; assert((!<a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a> &amp;&amp; <a class="code" href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">exitBlock</a>) &amp;&amp; <span class="stringliteral">&quot;ensure the function has a single basic block containing a return instruction!&quot;</span>);</div>
1046
+ <div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">exitBlock</a>;</div>
1047
+ <div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; }</div>
1038
1048
  </div><!-- fragment -->
1039
1049
  </div>
1040
1050
  </div>
@@ -1072,10 +1082,10 @@ Additional Inherited Members</h2></td></tr>
1072
1082
  </table>
1073
1083
  </div><div class="memdoc">
1074
1084
 
1075
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00466">466</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1076
- <div class="fragment"><div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; {</div>
1077
- <div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a48654f61a84ac5f93b02fb618cd0d045">getExitBlocksOfLoop</a>(bb,exitbbs);</div>
1078
- <div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; }</div>
1085
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00476">476</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1086
+ <div class="fragment"><div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160; {</div>
1087
+ <div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a48654f61a84ac5f93b02fb618cd0d045">getExitBlocksOfLoop</a>(bb,exitbbs);</div>
1088
+ <div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; }</div>
1079
1089
  </div><!-- fragment -->
1080
1090
  </div>
1081
1091
  </div>
@@ -1104,10 +1114,10 @@ Additional Inherited Members</h2></td></tr>
1104
1114
 
1105
1115
  <p>Returns the FunctionType. </p>
1106
1116
 
1107
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00382">382</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1108
- <div class="fragment"><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; {</div>
1109
- <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>;</div>
1110
- <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; }</div>
1117
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00383">383</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1118
+ <div class="fragment"><div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; {</div>
1119
+ <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>;</div>
1120
+ <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; }</div>
1111
1121
  </div><!-- fragment -->
1112
1122
  </div>
1113
1123
  </div>
@@ -1134,10 +1144,10 @@ Additional Inherited Members</h2></td></tr>
1134
1144
  </table>
1135
1145
  </div><div class="memdoc">
1136
1146
 
1137
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00362">362</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1138
- <div class="fragment"><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; {</div>
1139
- <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div>
1140
- <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; }</div>
1147
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00363">363</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1148
+ <div class="fragment"><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; {</div>
1149
+ <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div>
1150
+ <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; }</div>
1141
1151
  </div><!-- fragment -->
1142
1152
  </div>
1143
1153
  </div>
@@ -1165,10 +1175,10 @@ Additional Inherited Members</h2></td></tr>
1165
1175
  </table>
1166
1176
  </div><div class="memdoc">
1167
1177
 
1168
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00481">481</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1169
- <div class="fragment"><div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160; {</div>
1170
- <div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac29e502080635ed47b72d471b48b5a8d">getLoopHeader</a>(lp);</div>
1171
- <div class="line"><a name="l00484"></a><span class="lineno"> 484</span>&#160; }</div>
1178
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00491">491</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1179
+ <div class="fragment"><div class="line"><a name="l00492"></a><span class="lineno"> 492</span>&#160; {</div>
1180
+ <div class="line"><a name="l00493"></a><span class="lineno"> 493</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac29e502080635ed47b72d471b48b5a8d">getLoopHeader</a>(lp);</div>
1181
+ <div class="line"><a name="l00494"></a><span class="lineno"> 494</span>&#160; }</div>
1172
1182
  </div><!-- fragment -->
1173
1183
  </div>
1174
1184
  </div>
@@ -1196,10 +1206,10 @@ Additional Inherited Members</h2></td></tr>
1196
1206
  </table>
1197
1207
  </div><div class="memdoc">
1198
1208
 
1199
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00476">476</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1200
- <div class="fragment"><div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160; {</div>
1201
- <div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">getLoopInfo</a>(bb);</div>
1202
- <div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; }</div>
1209
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00486">486</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1210
+ <div class="fragment"><div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; {</div>
1211
+ <div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">getLoopInfo</a>(bb);</div>
1212
+ <div class="line"><a name="l00489"></a><span class="lineno"> 489</span>&#160; }</div>
1203
1213
  </div><!-- fragment -->
1204
1214
  </div>
1205
1215
  </div>
@@ -1226,10 +1236,10 @@ Additional Inherited Members</h2></td></tr>
1226
1236
  </table>
1227
1237
  </div><div class="memdoc">
1228
1238
 
1229
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00446">446</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1230
- <div class="fragment"><div class="line"><a name="l00447"></a><span class="lineno"> 447</span>&#160; {</div>
1231
- <div class="line"><a name="l00448"></a><span class="lineno"> 448</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a95099f1b621c4f0d6d53798d7eab4e3b">getReachableBBs</a>();</div>
1232
- <div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; }</div>
1239
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00456">456</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1240
+ <div class="fragment"><div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160; {</div>
1241
+ <div class="line"><a name="l00458"></a><span class="lineno"> 458</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a95099f1b621c4f0d6d53798d7eab4e3b">getReachableBBs</a>();</div>
1242
+ <div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; }</div>
1233
1243
  </div><!-- fragment -->
1234
1244
  </div>
1235
1245
  </div>
@@ -1258,10 +1268,10 @@ Additional Inherited Members</h2></td></tr>
1258
1268
 
1259
1269
  <p>Returns the FunctionType. </p>
1260
1270
 
1261
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00388">388</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1262
- <div class="fragment"><div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; {</div>
1263
- <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>-&gt;<a class="code" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">getReturnType</a>();</div>
1264
- <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; }</div>
1271
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00389">389</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1272
+ <div class="fragment"><div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; {</div>
1273
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>-&gt;<a class="code" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">getReturnType</a>();</div>
1274
+ <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; }</div>
1265
1275
  </div><!-- fragment -->
1266
1276
  </div>
1267
1277
  </div>
@@ -1288,10 +1298,10 @@ Additional Inherited Members</h2></td></tr>
1288
1298
  </table>
1289
1299
  </div><div class="memdoc">
1290
1300
 
1291
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00376">376</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1292
- <div class="fragment"><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; {</div>
1293
- <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>;</div>
1294
- <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; }</div>
1301
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00377">377</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1302
+ <div class="fragment"><div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; {</div>
1303
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>;</div>
1304
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; }</div>
1295
1305
  </div><!-- fragment -->
1296
1306
  </div>
1297
1307
  </div>
@@ -1318,10 +1328,10 @@ Additional Inherited Members</h2></td></tr>
1318
1328
  </table>
1319
1329
  </div><div class="memdoc">
1320
1330
 
1321
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00404">404</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1322
- <div class="fragment"><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; {</div>
1323
- <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.empty();</div>
1324
- <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; }</div>
1331
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00405">405</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1332
+ <div class="fragment"><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; {</div>
1333
+ <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.empty();</div>
1334
+ <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; }</div>
1325
1335
  </div><!-- fragment -->
1326
1336
  </div>
1327
1337
  </div>
@@ -1349,10 +1359,10 @@ Additional Inherited Members</h2></td></tr>
1349
1359
  </table>
1350
1360
  </div><div class="memdoc">
1351
1361
 
1352
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00471">471</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1353
- <div class="fragment"><div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; {</div>
1354
- <div class="line"><a name="l00473"></a><span class="lineno"> 473</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c">hasLoopInfo</a>(bb);</div>
1355
- <div class="line"><a name="l00474"></a><span class="lineno"> 474</span>&#160; }</div>
1362
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00481">481</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1363
+ <div class="fragment"><div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160; {</div>
1364
+ <div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c">hasLoopInfo</a>(bb);</div>
1365
+ <div class="line"><a name="l00484"></a><span class="lineno"> 484</span>&#160; }</div>
1356
1366
  </div><!-- fragment -->
1357
1367
  </div>
1358
1368
  </div>
@@ -1379,10 +1389,10 @@ Additional Inherited Members</h2></td></tr>
1379
1389
  </table>
1380
1390
  </div><div class="memdoc">
1381
1391
 
1382
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00366">366</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1383
- <div class="fragment"><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; {</div>
1384
- <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>;</div>
1385
- <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; }</div>
1392
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00367">367</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1393
+ <div class="fragment"><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; {</div>
1394
+ <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>;</div>
1395
+ <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; }</div>
1386
1396
  </div><!-- fragment -->
1387
1397
  </div>
1388
1398
  </div>
@@ -1409,10 +1419,10 @@ Additional Inherited Members</h2></td></tr>
1409
1419
  </table>
1410
1420
  </div><div class="memdoc">
1411
1421
 
1412
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00371">371</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1413
- <div class="fragment"><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; {</div>
1414
- <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>;</div>
1415
- <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; }</div>
1422
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00372">372</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1423
+ <div class="fragment"><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; {</div>
1424
+ <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>;</div>
1425
+ <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; }</div>
1416
1426
  </div><!-- fragment -->
1417
1427
  </div>
1418
1428
  </div>
@@ -1440,10 +1450,10 @@ Additional Inherited Members</h2></td></tr>
1440
1450
  </table>
1441
1451
  </div><div class="memdoc">
1442
1452
 
1443
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00501">501</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1444
- <div class="fragment"><div class="line"><a name="l00502"></a><span class="lineno"> 502</span>&#160; {</div>
1445
- <div class="line"><a name="l00503"></a><span class="lineno"> 503</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43">isLoopHeader</a>(bb);</div>
1446
- <div class="line"><a name="l00504"></a><span class="lineno"> 504</span>&#160; }</div>
1453
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00511">511</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1454
+ <div class="fragment"><div class="line"><a name="l00512"></a><span class="lineno"> 512</span>&#160; {</div>
1455
+ <div class="line"><a name="l00513"></a><span class="lineno"> 513</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43">isLoopHeader</a>(bb);</div>
1456
+ <div class="line"><a name="l00514"></a><span class="lineno"> 514</span>&#160; }</div>
1447
1457
  </div><!-- fragment -->
1448
1458
  </div>
1449
1459
  </div>
@@ -1470,10 +1480,10 @@ Additional Inherited Members</h2></td></tr>
1470
1480
  </table>
1471
1481
  </div><div class="memdoc">
1472
1482
 
1473
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00456">456</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1474
- <div class="fragment"><div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160; {</div>
1475
- <div class="line"><a name="l00458"></a><span class="lineno"> 458</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>;</div>
1476
- <div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; }</div>
1483
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00466">466</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1484
+ <div class="fragment"><div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; {</div>
1485
+ <div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>;</div>
1486
+ <div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; }</div>
1477
1487
  </div><!-- fragment -->
1478
1488
  </div>
1479
1489
  </div>
@@ -1500,10 +1510,10 @@ Additional Inherited Members</h2></td></tr>
1500
1510
  </table>
1501
1511
  </div><div class="memdoc">
1502
1512
 
1503
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00451">451</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1504
- <div class="fragment"><div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; {</div>
1505
- <div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>;</div>
1506
- <div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; }</div>
1513
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00461">461</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1514
+ <div class="fragment"><div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160; {</div>
1515
+ <div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>;</div>
1516
+ <div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; }</div>
1507
1517
  </div><!-- fragment -->
1508
1518
  </div>
1509
1519
  </div>
@@ -1522,10 +1532,10 @@ Additional Inherited Members</h2></td></tr>
1522
1532
  </table>
1523
1533
  </div><div class="memdoc">
1524
1534
 
1525
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00187">187</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
1526
- <div class="fragment"><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160;{</div>
1527
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">varArg</a>;</div>
1528
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160;}</div>
1535
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00188">188</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
1536
+ <div class="fragment"><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160;{</div>
1537
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">varArg</a>;</div>
1538
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160;}</div>
1529
1539
  </div><!-- fragment -->
1530
1540
  </div>
1531
1541
  </div>
@@ -1563,10 +1573,10 @@ Additional Inherited Members</h2></td></tr>
1563
1573
  </table>
1564
1574
  </div><div class="memdoc">
1565
1575
 
1566
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00486">486</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1567
- <div class="fragment"><div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; {</div>
1568
- <div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117">loopContainsBB</a>(lp,bb);</div>
1569
- <div class="line"><a name="l00489"></a><span class="lineno"> 489</span>&#160; }</div>
1576
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00496">496</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1577
+ <div class="fragment"><div class="line"><a name="l00497"></a><span class="lineno"> 497</span>&#160; {</div>
1578
+ <div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117">loopContainsBB</a>(lp,bb);</div>
1579
+ <div class="line"><a name="l00499"></a><span class="lineno"> 499</span>&#160; }</div>
1570
1580
  </div><!-- fragment -->
1571
1581
  </div>
1572
1582
  </div>
@@ -1604,10 +1614,10 @@ Additional Inherited Members</h2></td></tr>
1604
1614
  </table>
1605
1615
  </div><div class="memdoc">
1606
1616
 
1607
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00511">511</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1608
- <div class="fragment"><div class="line"><a name="l00512"></a><span class="lineno"> 512</span>&#160; {</div>
1609
- <div class="line"><a name="l00513"></a><span class="lineno"> 513</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#af66c5a824f9fc2813e2d97e17f9a2e96">postDominate</a>(bbKey,bbValue);</div>
1610
- <div class="line"><a name="l00514"></a><span class="lineno"> 514</span>&#160; }</div>
1617
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00521">521</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1618
+ <div class="fragment"><div class="line"><a name="l00522"></a><span class="lineno"> 522</span>&#160; {</div>
1619
+ <div class="line"><a name="l00523"></a><span class="lineno"> 523</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#af66c5a824f9fc2813e2d97e17f9a2e96">postDominate</a>(bbKey,bbValue);</div>
1620
+ <div class="line"><a name="l00524"></a><span class="lineno"> 524</span>&#160; }</div>
1611
1621
  </div><!-- fragment -->
1612
1622
  </div>
1613
1623
  </div>
@@ -1635,10 +1645,34 @@ Additional Inherited Members</h2></td></tr>
1635
1645
  </table>
1636
1646
  </div><div class="memdoc">
1637
1647
 
1638
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00346">346</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1639
- <div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; {</div>
1640
- <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a> = deffun;</div>
1641
- <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; }</div>
1648
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00347">347</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1649
+ <div class="fragment"><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; {</div>
1650
+ <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a> = deffun;</div>
1651
+ <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; }</div>
1652
+ </div><!-- fragment -->
1653
+ </div>
1654
+ </div>
1655
+ <a id="abd458bb5a035d3f7db32fac5f01b57f3"></a>
1656
+ <h2 class="memtitle"><span class="permalink"><a href="#abd458bb5a035d3f7db32fac5f01b57f3">&#9670;&nbsp;</a></span>setExitBlock()</h2>
1657
+
1658
+ <div class="memitem">
1659
+ <div class="memproto">
1660
+ <table class="memname">
1661
+ <tr>
1662
+ <td class="memname">void SVFFunction::setExitBlock </td>
1663
+ <td>(</td>
1664
+ <td class="paramtype"><a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *&#160;</td>
1665
+ <td class="paramname"><em>bb</em></td><td>)</td>
1666
+ <td></td>
1667
+ </tr>
1668
+ </table>
1669
+ </div><div class="memdoc">
1670
+
1671
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00193">193</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
1672
+ <div class="fragment"><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160;{</div>
1673
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; assert(!<a class="code" href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">exitBlock</a> &amp;&amp; <span class="stringliteral">&quot;have already set exit Basicblock!&quot;</span>);</div>
1674
+ <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">exitBlock</a> = bb;</div>
1675
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160;}</div>
1642
1676
  </div><!-- fragment -->
1643
1677
  </div>
1644
1678
  </div>
@@ -1666,10 +1700,10 @@ Additional Inherited Members</h2></td></tr>
1666
1700
  </table>
1667
1701
  </div><div class="memdoc">
1668
1702
 
1669
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00341">341</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1670
- <div class="fragment"><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; {</div>
1671
- <div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a> = notRet;</div>
1672
- <div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; }</div>
1703
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00342">342</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1704
+ <div class="fragment"><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; {</div>
1705
+ <div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a> = notRet;</div>
1706
+ <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; }</div>
1673
1707
  </div><!-- fragment -->
1674
1708
  </div>
1675
1709
  </div>
@@ -1697,10 +1731,10 @@ Additional Inherited Members</h2></td></tr>
1697
1731
  </table>
1698
1732
  </div><div class="memdoc">
1699
1733
 
1700
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00336">336</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1701
- <div class="fragment"><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; {</div>
1702
- <div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a> = uncalledFunction;</div>
1703
- <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; }</div>
1734
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00337">337</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1735
+ <div class="fragment"><div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; {</div>
1736
+ <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a> = uncalledFunction;</div>
1737
+ <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; }</div>
1704
1738
  </div><!-- fragment -->
1705
1739
  </div>
1706
1740
  </div>
@@ -1904,6 +1938,32 @@ Additional Inherited Members</h2></td></tr>
1904
1938
 
1905
1939
  <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00322">322</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1906
1940
 
1941
+ </div>
1942
+ </div>
1943
+ <a id="a374cbaa780f540cb4b4ccac562a82632"></a>
1944
+ <h2 class="memtitle"><span class="permalink"><a href="#a374cbaa780f540cb4b4ccac562a82632">&#9670;&nbsp;</a></span>exitBlock</h2>
1945
+
1946
+ <div class="memitem">
1947
+ <div class="memproto">
1948
+ <table class="mlabels">
1949
+ <tr>
1950
+ <td class="mlabels-left">
1951
+ <table class="memname">
1952
+ <tr>
1953
+ <td class="memname"><a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* SVF::SVFFunction::exitBlock</td>
1954
+ </tr>
1955
+ </table>
1956
+ </td>
1957
+ <td class="mlabels-right">
1958
+ <span class="mlabels"><span class="mlabel">private</span></span> </td>
1959
+ </tr>
1960
+ </table>
1961
+ </div><div class="memdoc">
1962
+
1963
+ <p>annotations of this function </p>
1964
+
1965
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00323">323</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1966
+
1907
1967
  </div>
1908
1968
  </div>
1909
1969
  <a id="ad1c1ca2a7d4a681f24712345222e9ddc"></a>
@@ -2129,8 +2189,7 @@ Additional Inherited Members</h2></td></tr>
2129
2189
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_aa61307a21647def105677d36bfbaf32f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">SVF::SVFFunction::allBBs</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt; allBBs</div><div class="ttdoc">the definition of a function across multiple modules</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00320">SVFValue.h:320</a></div></div>
2130
2190
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a39257282d3875b5d28c21f6c8b1caf43"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43">SVF::SVFLoopAndDomInfo::isLoopHeader</a></div><div class="ttdeci">bool isLoopHeader(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00147">SVFValue.cpp:147</a></div></div>
2131
2191
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVF::SVFValue::SVFFunc</a></div><div class="ttdeci">@ SVFFunc</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00189">SVFValue.h:189</a></div></div>
2132
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00517">SVFValue.h:517</a></div></div>
2133
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a8ca4fa87f4c26b71c6e03c8f32db1071"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">SVF::SVFFunction::getExitBB</a></div><div class="ttdeci">const SVFBasicBlock * getExitBB() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00415">SVFValue.h:415</a></div></div>
2192
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00527">SVFValue.h:527</a></div></div>
2134
2193
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_adc010d8c6b2a3fe1a99f39552be5b117"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117">SVF::SVFLoopAndDomInfo::loopContainsBB</a></div><div class="ttdeci">bool loopContainsBB(const LoopBBs &amp;lp, const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00098">SVFValue.h:98</a></div></div>
2135
2194
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a625bef2b92c8e62df547bd2758b59c75"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">SVF::SVFFunction::allArgs</a></div><div class="ttdeci">std::vector&lt; const SVFArgument * &gt; allArgs</div><div class="ttdoc">all BasicBlocks of this function</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00321">SVFValue.h:321</a></div></div>
2136
2195
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_af38497e11745949a8a1eeead143efd58"><div class="ttname"><a href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue::SVFValue</a></div><div class="ttdeci">SVFValue()=delete</div></div>
@@ -2141,13 +2200,14 @@ Additional Inherited Members</h2></td></tr>
2141
2200
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ae37546be7304c66b4eca2654d995eaa7"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ae37546be7304c66b4eca2654d995eaa7">SVF::SVFLoopAndDomInfo::getDomFrontierMap</a></div><div class="ttdeci">const Map&lt; const SVFBasicBlock *, BBSet &gt; &amp; getDomFrontierMap() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00075">SVFValue.h:75</a></div></div>
2142
2201
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a0fb893485fc3df088d921762514faf66"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">SVF::SVFLoopAndDomInfo::getLoopInfo</a></div><div class="ttdeci">const LoopBBs &amp; getLoopInfo(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00034">SVFValue.cpp:34</a></div></div>
2143
2202
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a48654f61a84ac5f93b02fb618cd0d045"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a48654f61a84ac5f93b02fb618cd0d045">SVF::SVFLoopAndDomInfo::getExitBlocksOfLoop</a></div><div class="ttdeci">void getExitBlocksOfLoop(const SVFBasicBlock *bb, BBList &amp;exitbbs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00041">SVFValue.cpp:41</a></div></div>
2203
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a374cbaa780f540cb4b4ccac562a82632"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">SVF::SVFFunction::exitBlock</a></div><div class="ttdeci">SVFBasicBlock * exitBlock</div><div class="ttdoc">annotations of this function</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00323">SVFValue.h:323</a></div></div>
2144
2204
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00311">SVFValue.h:311</a></div></div>
2145
- <div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00886">SVFValue.h:886</a></div></div>
2205
+ <div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00897">SVFValue.h:897</a></div></div>
2146
2206
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ac29e502080635ed47b72d471b48b5a8d"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ac29e502080635ed47b72d471b48b5a8d">SVF::SVFLoopAndDomInfo::getLoopHeader</a></div><div class="ttdeci">const SVFBasicBlock * getLoopHeader(const LoopBBs &amp;lp) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00092">SVFValue.h:92</a></div></div>
2147
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a793f485e92d12cf407f2ffa41861eb3d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">SVF::SVFFunction::getEntryBlock</a></div><div class="ttdeci">const SVFBasicBlock * getEntryBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00409">SVFValue.h:409</a></div></div>
2207
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a793f485e92d12cf407f2ffa41861eb3d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">SVF::SVFFunction::getEntryBlock</a></div><div class="ttdeci">const SVFBasicBlock * getEntryBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00410">SVFValue.h:410</a></div></div>
2148
2208
  <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a74ce115a0fa958f259469b521468a2b3"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">SVF::SVFFunctionType::getReturnType</a></div><div class="ttdeci">const SVFType * getReturnType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00428">SVFType.h:428</a></div></div>
2149
2209
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a3b93a04e82233f64b1c463f6cece8ea1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">SVF::SVFFunction::addrTaken</a></div><div class="ttdeci">bool addrTaken</div><div class="ttdoc">return true if this function is an intrinsic function (e.g., llvm.dbg), which does not reside in the ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00313">SVFValue.h:313</a></div></div>
2150
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a9a7f1f56b6cfc33e7fa241286a07fd63"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">SVF::SVFFunction::hasBasicBlock</a></div><div class="ttdeci">bool hasBasicBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00404">SVFValue.h:404</a></div></div>
2210
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a9a7f1f56b6cfc33e7fa241286a07fd63"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">SVF::SVFFunction::hasBasicBlock</a></div><div class="ttdeci">bool hasBasicBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00405">SVFValue.h:405</a></div></div>
2151
2211
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdoc">return true if this function is never called</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00315">SVFValue.h:315</a></div></div>
2152
2212
  <!-- start footer part -->
2153
2213
  <hr class="footer"/><address class="footer"><small>