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_1SVFBasicBlock.html CHANGED
@@ -238,6 +238,8 @@ Friends</h2></td></tr>
238
238
  <tr class="separator:a96821c016c81ee0600ef62fd28298292"><td class="memSeparator" colspan="2">&#160;</td></tr>
239
239
  <tr class="memitem:a46fadea4d08baefc8fbc1d8928da7f6b"><td class="memItemLeft" align="right" valign="top">class&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFBasicBlock.html#a46fadea4d08baefc8fbc1d8928da7f6b">SVFIRBuilder</a></td></tr>
240
240
  <tr class="separator:a46fadea4d08baefc8fbc1d8928da7f6b"><td class="memSeparator" colspan="2">&#160;</td></tr>
241
+ <tr class="memitem:afcfae770b6ed1235cc1aa6c123b3a048"><td class="memItemLeft" align="right" valign="top">class&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFBasicBlock.html#afcfae770b6ed1235cc1aa6c123b3a048">SVFFunction</a></td></tr>
242
+ <tr class="separator:afcfae770b6ed1235cc1aa6c123b3a048"><td class="memSeparator" colspan="2">&#160;</td></tr>
241
243
  </table><table class="memberdecls">
242
244
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
243
245
  Additional Inherited Members</h2></td></tr>
@@ -253,7 +255,7 @@ Additional Inherited Members</h2></td></tr>
253
255
  </table>
254
256
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
255
257
  <div class="textblock">
256
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00517">517</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
258
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00527">527</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
257
259
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
258
260
  <a id="a73b7029f85e3762033f49c953d4b95ca"></a>
259
261
  <h2 class="memtitle"><span class="permalink"><a href="#a73b7029f85e3762033f49c953d4b95ca">&#9670;&nbsp;</a></span>const_iterator</h2>
@@ -267,7 +269,7 @@ Additional Inherited Members</h2></td></tr>
267
269
  </table>
268
270
  </div><div class="memdoc">
269
271
 
270
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00525">525</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
272
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00536">536</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
271
273
 
272
274
  </div>
273
275
  </div>
@@ -300,10 +302,10 @@ Additional Inherited Members</h2></td></tr>
300
302
 
301
303
  <p>Constructor without name. </p>
302
304
 
303
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00192">192</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
304
- <div class="fragment"><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4">SVFValue::SVFBB</a>), <a class="code" href="classSVF_1_1SVFBasicBlock.html#acb3ada4f28d5acd73474e9f626dfd7b7">fun</a>(f)</div>
305
- <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160;{</div>
306
- <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160;}</div>
305
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00199">199</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
306
+ <div class="fragment"><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4">SVFValue::SVFBB</a>), <a class="code" href="classSVF_1_1SVFBasicBlock.html#acb3ada4f28d5acd73474e9f626dfd7b7">fun</a>(f)</div>
307
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160;{</div>
308
+ <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160;}</div>
307
309
  </div><!-- fragment -->
308
310
  </div>
309
311
  </div>
@@ -355,11 +357,11 @@ Additional Inherited Members</h2></td></tr>
355
357
  </table>
356
358
  </div><div class="memdoc">
357
359
 
358
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00197">197</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
359
- <div class="fragment"><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160;{</div>
360
- <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>* inst : <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>)</div>
361
- <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <span class="keyword">delete</span> inst;</div>
362
- <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160;}</div>
360
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00204">204</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
361
+ <div class="fragment"><div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160;{</div>
362
+ <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>* inst : <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>)</div>
363
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; <span class="keyword">delete</span> inst;</div>
364
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160;}</div>
363
365
  </div><!-- fragment -->
364
366
  </div>
365
367
  </div>
@@ -391,10 +393,10 @@ Additional Inherited Members</h2></td></tr>
391
393
  <p>Function where this BasicBlock is. </p>
392
394
  <p>attributes to be set only through Module builders e.g., LLVMModule </p>
393
395
 
394
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00535">535</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
395
- <div class="fragment"><div class="line"><a name="l00536"></a><span class="lineno"> 536</span>&#160; {</div>
396
- <div class="line"><a name="l00537"></a><span class="lineno"> 537</span>&#160; <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.push_back(inst);</div>
397
- <div class="line"><a name="l00538"></a><span class="lineno"> 538</span>&#160; }</div>
396
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00546">546</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
397
+ <div class="fragment"><div class="line"><a name="l00547"></a><span class="lineno"> 547</span>&#160; {</div>
398
+ <div class="line"><a name="l00548"></a><span class="lineno"> 548</span>&#160; <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.push_back(inst);</div>
399
+ <div class="line"><a name="l00549"></a><span class="lineno"> 549</span>&#160; }</div>
398
400
  </div><!-- fragment -->
399
401
  </div>
400
402
  </div>
@@ -422,10 +424,10 @@ Additional Inherited Members</h2></td></tr>
422
424
  </table>
423
425
  </div><div class="memdoc">
424
426
 
425
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00545">545</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
426
- <div class="fragment"><div class="line"><a name="l00546"></a><span class="lineno"> 546</span>&#160; {</div>
427
- <div class="line"><a name="l00547"></a><span class="lineno"> 547</span>&#160; <a class="code" href="classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c">predBBs</a>.push_back(pred);</div>
428
- <div class="line"><a name="l00548"></a><span class="lineno"> 548</span>&#160; }</div>
427
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00556">556</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
428
+ <div class="fragment"><div class="line"><a name="l00557"></a><span class="lineno"> 557</span>&#160; {</div>
429
+ <div class="line"><a name="l00558"></a><span class="lineno"> 558</span>&#160; <a class="code" href="classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c">predBBs</a>.push_back(pred);</div>
430
+ <div class="line"><a name="l00559"></a><span class="lineno"> 559</span>&#160; }</div>
429
431
  </div><!-- fragment -->
430
432
  </div>
431
433
  </div>
@@ -453,10 +455,10 @@ Additional Inherited Members</h2></td></tr>
453
455
  </table>
454
456
  </div><div class="memdoc">
455
457
 
456
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00540">540</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
457
- <div class="fragment"><div class="line"><a name="l00541"></a><span class="lineno"> 541</span>&#160; {</div>
458
- <div class="line"><a name="l00542"></a><span class="lineno"> 542</span>&#160; <a class="code" href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">succBBs</a>.push_back(succ);</div>
459
- <div class="line"><a name="l00543"></a><span class="lineno"> 543</span>&#160; }</div>
458
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00551">551</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
459
+ <div class="fragment"><div class="line"><a name="l00552"></a><span class="lineno"> 552</span>&#160; {</div>
460
+ <div class="line"><a name="l00553"></a><span class="lineno"> 553</span>&#160; <a class="code" href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">succBBs</a>.push_back(succ);</div>
461
+ <div class="line"><a name="l00554"></a><span class="lineno"> 554</span>&#160; }</div>
460
462
  </div><!-- fragment -->
461
463
  </div>
462
464
  </div>
@@ -483,10 +485,10 @@ Additional Inherited Members</h2></td></tr>
483
485
  </table>
484
486
  </div><div class="memdoc">
485
487
 
486
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00592">592</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
487
- <div class="fragment"><div class="line"><a name="l00593"></a><span class="lineno"> 593</span>&#160; {</div>
488
- <div class="line"><a name="l00594"></a><span class="lineno"> 594</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.back();</div>
489
- <div class="line"><a name="l00595"></a><span class="lineno"> 595</span>&#160; }</div>
488
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00603">603</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
489
+ <div class="fragment"><div class="line"><a name="l00604"></a><span class="lineno"> 604</span>&#160; {</div>
490
+ <div class="line"><a name="l00605"></a><span class="lineno"> 605</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.back();</div>
491
+ <div class="line"><a name="l00606"></a><span class="lineno"> 606</span>&#160; }</div>
490
492
  </div><!-- fragment -->
491
493
  </div>
492
494
  </div>
@@ -513,10 +515,10 @@ Additional Inherited Members</h2></td></tr>
513
515
  </table>
514
516
  </div><div class="memdoc">
515
517
 
516
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00567">567</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
517
- <div class="fragment"><div class="line"><a name="l00568"></a><span class="lineno"> 568</span>&#160; {</div>
518
- <div class="line"><a name="l00569"></a><span class="lineno"> 569</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.begin();</div>
519
- <div class="line"><a name="l00570"></a><span class="lineno"> 570</span>&#160; }</div>
518
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00578">578</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
519
+ <div class="fragment"><div class="line"><a name="l00579"></a><span class="lineno"> 579</span>&#160; {</div>
520
+ <div class="line"><a name="l00580"></a><span class="lineno"> 580</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.begin();</div>
521
+ <div class="line"><a name="l00581"></a><span class="lineno"> 581</span>&#160; }</div>
520
522
  </div><!-- fragment -->
521
523
  </div>
522
524
  </div>
@@ -544,10 +546,10 @@ Additional Inherited Members</h2></td></tr>
544
546
  </table>
545
547
  </div><div class="memdoc">
546
548
 
547
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00557">557</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
548
- <div class="fragment"><div class="line"><a name="l00558"></a><span class="lineno"> 558</span>&#160; {</div>
549
- <div class="line"><a name="l00559"></a><span class="lineno"> 559</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4">SVFBB</a>;</div>
550
- <div class="line"><a name="l00560"></a><span class="lineno"> 560</span>&#160; }</div>
549
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00568">568</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
550
+ <div class="fragment"><div class="line"><a name="l00569"></a><span class="lineno"> 569</span>&#160; {</div>
551
+ <div class="line"><a name="l00570"></a><span class="lineno"> 570</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4">SVFBB</a>;</div>
552
+ <div class="line"><a name="l00571"></a><span class="lineno"> 571</span>&#160; }</div>
551
553
  </div><!-- fragment -->
552
554
  </div>
553
555
  </div>
@@ -574,10 +576,10 @@ Additional Inherited Members</h2></td></tr>
574
576
  </table>
575
577
  </div><div class="memdoc">
576
578
 
577
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00572">572</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
578
- <div class="fragment"><div class="line"><a name="l00573"></a><span class="lineno"> 573</span>&#160; {</div>
579
- <div class="line"><a name="l00574"></a><span class="lineno"> 574</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.end();</div>
580
- <div class="line"><a name="l00575"></a><span class="lineno"> 575</span>&#160; }</div>
579
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00583">583</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
580
+ <div class="fragment"><div class="line"><a name="l00584"></a><span class="lineno"> 584</span>&#160; {</div>
581
+ <div class="line"><a name="l00585"></a><span class="lineno"> 585</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.end();</div>
582
+ <div class="line"><a name="l00586"></a><span class="lineno"> 586</span>&#160; }</div>
581
583
  </div><!-- fragment -->
582
584
  </div>
583
585
  </div>
@@ -604,10 +606,10 @@ Additional Inherited Members</h2></td></tr>
604
606
  </table>
605
607
  </div><div class="memdoc">
606
608
 
607
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00587">587</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
608
- <div class="fragment"><div class="line"><a name="l00588"></a><span class="lineno"> 588</span>&#160; {</div>
609
- <div class="line"><a name="l00589"></a><span class="lineno"> 589</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.front();</div>
610
- <div class="line"><a name="l00590"></a><span class="lineno"> 590</span>&#160; }</div>
609
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00598">598</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
610
+ <div class="fragment"><div class="line"><a name="l00599"></a><span class="lineno"> 599</span>&#160; {</div>
611
+ <div class="line"><a name="l00600"></a><span class="lineno"> 600</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.front();</div>
612
+ <div class="line"><a name="l00601"></a><span class="lineno"> 601</span>&#160; }</div>
611
613
  </div><!-- fragment -->
612
614
  </div>
613
615
  </div>
@@ -628,18 +630,18 @@ Additional Inherited Members</h2></td></tr>
628
630
  </div><div class="memdoc">
629
631
  <p>Return a position index from current bb to it successor bb </p>
630
632
 
631
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00242">242</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
632
- <div class="fragment"><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160;{</div>
633
- <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos = 0;</div>
634
- <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* PredBB : succbb-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">getPredecessors</a>())</div>
635
- <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; {</div>
636
- <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; <span class="keywordflow">if</span>(PredBB == <span class="keyword">this</span>)</div>
637
- <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; <span class="keywordflow">return</span> pos;</div>
638
- <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; ++pos;</div>
639
- <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; }</div>
640
- <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find predecessor edge?&quot;</span>);</div>
641
- <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; <span class="keywordflow">return</span> pos;</div>
642
- <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160;}</div>
633
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00249">249</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
634
+ <div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160;{</div>
635
+ <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos = 0;</div>
636
+ <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* PredBB : succbb-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">getPredecessors</a>())</div>
637
+ <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; {</div>
638
+ <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; <span class="keywordflow">if</span>(PredBB == <span class="keyword">this</span>)</div>
639
+ <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <span class="keywordflow">return</span> pos;</div>
640
+ <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; ++pos;</div>
641
+ <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; }</div>
642
+ <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find predecessor edge?&quot;</span>);</div>
643
+ <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; <span class="keywordflow">return</span> pos;</div>
644
+ <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160;}</div>
643
645
  </div><!-- fragment -->
644
646
  </div>
645
647
  </div>
@@ -659,18 +661,18 @@ Additional Inherited Members</h2></td></tr>
659
661
  </table>
660
662
  </div><div class="memdoc">
661
663
 
662
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00254">254</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
663
- <div class="fragment"><div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160;{</div>
664
- <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos = 0;</div>
665
- <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* PredBB : succbb-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">getPredecessors</a>())</div>
666
- <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; {</div>
667
- <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; <span class="keywordflow">if</span>(PredBB == <span class="keyword">this</span>)</div>
668
- <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; <span class="keywordflow">return</span> pos;</div>
669
- <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; ++pos;</div>
670
- <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; }</div>
671
- <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find predecessor edge?&quot;</span>);</div>
672
- <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; <span class="keywordflow">return</span> pos;</div>
673
- <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160;}</div>
664
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00261">261</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
665
+ <div class="fragment"><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160;{</div>
666
+ <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos = 0;</div>
667
+ <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* PredBB : succbb-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">getPredecessors</a>())</div>
668
+ <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; {</div>
669
+ <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; <span class="keywordflow">if</span>(PredBB == <span class="keyword">this</span>)</div>
670
+ <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <span class="keywordflow">return</span> pos;</div>
671
+ <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; ++pos;</div>
672
+ <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; }</div>
673
+ <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find predecessor edge?&quot;</span>);</div>
674
+ <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; <span class="keywordflow">return</span> pos;</div>
675
+ <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160;}</div>
674
676
  </div><!-- fragment -->
675
677
  </div>
676
678
  </div>
@@ -691,18 +693,18 @@ Additional Inherited Members</h2></td></tr>
691
693
  </div><div class="memdoc">
692
694
  <p>Get position of a successor basic block </p>
693
695
 
694
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00206">206</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
695
- <div class="fragment"><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160;{</div>
696
- <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0;</div>
697
- <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* SuccBB: <a class="code" href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">succBBs</a>)</div>
698
- <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; {</div>
699
- <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; <span class="keywordflow">if</span> (SuccBB == Succ)</div>
700
- <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="keywordflow">return</span> i;</div>
701
- <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; i++;</div>
702
- <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div>
703
- <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find successor edge?&quot;</span>);</div>
704
- <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; <span class="keywordflow">return</span> 0;</div>
705
- <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160;}</div>
696
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00213">213</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
697
+ <div class="fragment"><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160;{</div>
698
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0;</div>
699
+ <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* SuccBB: <a class="code" href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">succBBs</a>)</div>
700
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; {</div>
701
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; <span class="keywordflow">if</span> (SuccBB == Succ)</div>
702
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keywordflow">return</span> i;</div>
703
+ <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; i++;</div>
704
+ <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; }</div>
705
+ <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find successor edge?&quot;</span>);</div>
706
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; <span class="keywordflow">return</span> 0;</div>
707
+ <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160;}</div>
706
708
  </div><!-- fragment -->
707
709
  </div>
708
710
  </div>
@@ -722,18 +724,18 @@ Additional Inherited Members</h2></td></tr>
722
724
  </table>
723
725
  </div><div class="memdoc">
724
726
 
725
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00219">219</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
726
- <div class="fragment"><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160;{</div>
727
- <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0;</div>
728
- <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* SuccBB: <a class="code" href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">succBBs</a>)</div>
729
- <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; {</div>
730
- <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; <span class="keywordflow">if</span> (SuccBB == Succ)</div>
731
- <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; <span class="keywordflow">return</span> i;</div>
732
- <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; i++;</div>
733
- <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; }</div>
734
- <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find successor edge?&quot;</span>);</div>
735
- <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; <span class="keywordflow">return</span> 0;</div>
736
- <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160;}</div>
727
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00226">226</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
728
+ <div class="fragment"><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160;{</div>
729
+ <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0;</div>
730
+ <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* SuccBB: <a class="code" href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">succBBs</a>)</div>
731
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; {</div>
732
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <span class="keywordflow">if</span> (SuccBB == Succ)</div>
733
+ <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; <span class="keywordflow">return</span> i;</div>
734
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; i++;</div>
735
+ <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; }</div>
736
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find successor edge?&quot;</span>);</div>
737
+ <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; <span class="keywordflow">return</span> 0;</div>
738
+ <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160;}</div>
737
739
  </div><!-- fragment -->
738
740
  </div>
739
741
  </div>
@@ -760,10 +762,10 @@ Additional Inherited Members</h2></td></tr>
760
762
  </table>
761
763
  </div><div class="memdoc">
762
764
 
763
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00582">582</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
764
- <div class="fragment"><div class="line"><a name="l00583"></a><span class="lineno"> 583</span>&#160; {</div>
765
- <div class="line"><a name="l00584"></a><span class="lineno"> 584</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#acb3ada4f28d5acd73474e9f626dfd7b7">fun</a>;</div>
766
- <div class="line"><a name="l00585"></a><span class="lineno"> 585</span>&#160; }</div>
765
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00593">593</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
766
+ <div class="fragment"><div class="line"><a name="l00594"></a><span class="lineno"> 594</span>&#160; {</div>
767
+ <div class="line"><a name="l00595"></a><span class="lineno"> 595</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#acb3ada4f28d5acd73474e9f626dfd7b7">fun</a>;</div>
768
+ <div class="line"><a name="l00596"></a><span class="lineno"> 596</span>&#160; }</div>
767
769
  </div><!-- fragment -->
768
770
  </div>
769
771
  </div>
@@ -790,10 +792,10 @@ Additional Inherited Members</h2></td></tr>
790
792
  </table>
791
793
  </div><div class="memdoc">
792
794
 
793
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00562">562</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
794
- <div class="fragment"><div class="line"><a name="l00563"></a><span class="lineno"> 563</span>&#160; {</div>
795
- <div class="line"><a name="l00564"></a><span class="lineno"> 564</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>;</div>
796
- <div class="line"><a name="l00565"></a><span class="lineno"> 565</span>&#160; }</div>
795
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00573">573</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
796
+ <div class="fragment"><div class="line"><a name="l00574"></a><span class="lineno"> 574</span>&#160; {</div>
797
+ <div class="line"><a name="l00575"></a><span class="lineno"> 575</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>;</div>
798
+ <div class="line"><a name="l00576"></a><span class="lineno"> 576</span>&#160; }</div>
797
799
  </div><!-- fragment -->
798
800
  </div>
799
801
  </div>
@@ -820,10 +822,10 @@ Additional Inherited Members</h2></td></tr>
820
822
  </table>
821
823
  </div><div class="memdoc">
822
824
 
823
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00610">610</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
824
- <div class="fragment"><div class="line"><a name="l00611"></a><span class="lineno"> 611</span>&#160; {</div>
825
- <div class="line"><a name="l00612"></a><span class="lineno"> 612</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">succBBs</a>.size();</div>
826
- <div class="line"><a name="l00613"></a><span class="lineno"> 613</span>&#160; }</div>
825
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00621">621</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
826
+ <div class="fragment"><div class="line"><a name="l00622"></a><span class="lineno"> 622</span>&#160; {</div>
827
+ <div class="line"><a name="l00623"></a><span class="lineno"> 623</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">succBBs</a>.size();</div>
828
+ <div class="line"><a name="l00624"></a><span class="lineno"> 624</span>&#160; }</div>
827
829
  </div><!-- fragment -->
828
830
  </div>
829
831
  </div>
@@ -850,10 +852,10 @@ Additional Inherited Members</h2></td></tr>
850
852
  </table>
851
853
  </div><div class="memdoc">
852
854
 
853
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00577">577</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
854
- <div class="fragment"><div class="line"><a name="l00578"></a><span class="lineno"> 578</span>&#160; {</div>
855
- <div class="line"><a name="l00579"></a><span class="lineno"> 579</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#acb3ada4f28d5acd73474e9f626dfd7b7">fun</a>;</div>
856
- <div class="line"><a name="l00580"></a><span class="lineno"> 580</span>&#160; }</div>
855
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00588">588</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
856
+ <div class="fragment"><div class="line"><a name="l00589"></a><span class="lineno"> 589</span>&#160; {</div>
857
+ <div class="line"><a name="l00590"></a><span class="lineno"> 590</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#acb3ada4f28d5acd73474e9f626dfd7b7">fun</a>;</div>
858
+ <div class="line"><a name="l00591"></a><span class="lineno"> 591</span>&#160; }</div>
857
859
  </div><!-- fragment -->
858
860
  </div>
859
861
  </div>
@@ -880,10 +882,10 @@ Additional Inherited Members</h2></td></tr>
880
882
  </table>
881
883
  </div><div class="memdoc">
882
884
 
883
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00606">606</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
884
- <div class="fragment"><div class="line"><a name="l00607"></a><span class="lineno"> 607</span>&#160; {</div>
885
- <div class="line"><a name="l00608"></a><span class="lineno"> 608</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c">predBBs</a>;</div>
886
- <div class="line"><a name="l00609"></a><span class="lineno"> 609</span>&#160; }</div>
885
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00617">617</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
886
+ <div class="fragment"><div class="line"><a name="l00618"></a><span class="lineno"> 618</span>&#160; {</div>
887
+ <div class="line"><a name="l00619"></a><span class="lineno"> 619</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c">predBBs</a>;</div>
888
+ <div class="line"><a name="l00620"></a><span class="lineno"> 620</span>&#160; }</div>
887
889
  </div><!-- fragment -->
888
890
  </div>
889
891
  </div>
@@ -910,10 +912,10 @@ Additional Inherited Members</h2></td></tr>
910
912
  </table>
911
913
  </div><div class="memdoc">
912
914
 
913
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00601">601</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
914
- <div class="fragment"><div class="line"><a name="l00602"></a><span class="lineno"> 602</span>&#160; {</div>
915
- <div class="line"><a name="l00603"></a><span class="lineno"> 603</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">succBBs</a>;</div>
916
- <div class="line"><a name="l00604"></a><span class="lineno"> 604</span>&#160; }</div>
915
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00612">612</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
916
+ <div class="fragment"><div class="line"><a name="l00613"></a><span class="lineno"> 613</span>&#160; {</div>
917
+ <div class="line"><a name="l00614"></a><span class="lineno"> 614</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">succBBs</a>;</div>
918
+ <div class="line"><a name="l00615"></a><span class="lineno"> 615</span>&#160; }</div>
917
919
  </div><!-- fragment -->
918
920
  </div>
919
921
  </div>
@@ -933,12 +935,12 @@ Additional Inherited Members</h2></td></tr>
933
935
  </div><div class="memdoc">
934
936
  <p>Returns the terminator instruction if the block is well formed or null if the block is not well formed. </p>
935
937
 
936
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00232">232</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
937
- <div class="fragment"><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160;{</div>
938
- <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.empty() || !<a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.back()-&gt;isTerminator())</div>
939
- <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
940
- <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.back();</div>
941
- <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160;}</div>
938
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00239">239</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
939
+ <div class="fragment"><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160;{</div>
940
+ <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.empty() || !<a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.back()-&gt;isTerminator())</div>
941
+ <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
942
+ <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.back();</div>
943
+ <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160;}</div>
942
944
  </div><!-- fragment -->
943
945
  </div>
944
946
  </div>
@@ -963,7 +965,31 @@ Additional Inherited Members</h2></td></tr>
963
965
  </table>
964
966
  </div><div class="memdoc">
965
967
 
966
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00519">519</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
968
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00529">529</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
969
+
970
+ </div>
971
+ </div>
972
+ <a id="afcfae770b6ed1235cc1aa6c123b3a048"></a>
973
+ <h2 class="memtitle"><span class="permalink"><a href="#afcfae770b6ed1235cc1aa6c123b3a048">&#9670;&nbsp;</a></span>SVFFunction</h2>
974
+
975
+ <div class="memitem">
976
+ <div class="memproto">
977
+ <table class="mlabels">
978
+ <tr>
979
+ <td class="mlabels-left">
980
+ <table class="memname">
981
+ <tr>
982
+ <td class="memname">friend class <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a></td>
983
+ </tr>
984
+ </table>
985
+ </td>
986
+ <td class="mlabels-right">
987
+ <span class="mlabels"><span class="mlabel">friend</span></span> </td>
988
+ </tr>
989
+ </table>
990
+ </div><div class="memdoc">
991
+
992
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00533">533</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
967
993
 
968
994
  </div>
969
995
  </div>
@@ -987,7 +1013,7 @@ Additional Inherited Members</h2></td></tr>
987
1013
  </table>
988
1014
  </div><div class="memdoc">
989
1015
 
990
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00522">522</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1016
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00532">532</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
991
1017
 
992
1018
  </div>
993
1019
  </div>
@@ -1011,7 +1037,7 @@ Additional Inherited Members</h2></td></tr>
1011
1037
  </table>
1012
1038
  </div><div class="memdoc">
1013
1039
 
1014
- <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>
1040
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00531">531</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1015
1041
 
1016
1042
  </div>
1017
1043
  </div>
@@ -1035,7 +1061,7 @@ Additional Inherited Members</h2></td></tr>
1035
1061
  </table>
1036
1062
  </div><div class="memdoc">
1037
1063
 
1038
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00520">520</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1064
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00530">530</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1039
1065
 
1040
1066
  </div>
1041
1067
  </div>
@@ -1062,7 +1088,7 @@ Additional Inherited Members</h2></td></tr>
1062
1088
 
1063
1089
  <p>all Instructions in this BasicBlock </p>
1064
1090
 
1065
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00528">528</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1091
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00539">539</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1066
1092
 
1067
1093
  </div>
1068
1094
  </div>
@@ -1086,7 +1112,7 @@ Additional Inherited Members</h2></td></tr>
1086
1112
  </table>
1087
1113
  </div><div class="memdoc">
1088
1114
 
1089
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00531">531</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1115
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00542">542</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1090
1116
 
1091
1117
  </div>
1092
1118
  </div>
@@ -1112,7 +1138,7 @@ Additional Inherited Members</h2></td></tr>
1112
1138
 
1113
1139
  <p>all predecessor BasicBlocks of this BasicBlock </p>
1114
1140
 
1115
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00530">530</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1141
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00541">541</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1116
1142
 
1117
1143
  </div>
1118
1144
  </div>
@@ -1138,7 +1164,7 @@ Additional Inherited Members</h2></td></tr>
1138
1164
 
1139
1165
  <p>all successor BasicBlocks of this BasicBlock </p>
1140
1166
 
1141
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00529">529</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1167
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00540">540</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1142
1168
 
1143
1169
  </div>
1144
1170
  </div>
@@ -1147,15 +1173,15 @@ Additional Inherited Members</h2></td></tr>
1147
1173
  <li>/home/runner/work/SVF/SVF/svf/lib/SVFIR/<a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a></li>
1148
1174
  </ul>
1149
1175
  </div><!-- contents -->
1150
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ac6fabc508f6b64127bb597f7b2110231"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">SVF::SVFBasicBlock::getPredecessors</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getPredecessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00606">SVFValue.h:606</a></div></div>
1151
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a7c3a69644f5e1351aad5d0ce0048abfd"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">SVF::SVFBasicBlock::succBBs</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt; succBBs</div><div class="ttdoc">all successor BasicBlocks of this BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00529">SVFValue.h:529</a></div></div>
1152
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a2954b0f29cd81083598afb6431b78f2a"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">SVF::SVFBasicBlock::allInsts</a></div><div class="ttdeci">std::vector&lt; const SVFInstruction * &gt; allInsts</div><div class="ttdoc">all Instructions in this BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00528">SVFValue.h:528</a></div></div>
1176
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ac6fabc508f6b64127bb597f7b2110231"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">SVF::SVFBasicBlock::getPredecessors</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getPredecessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00617">SVFValue.h:617</a></div></div>
1177
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a7c3a69644f5e1351aad5d0ce0048abfd"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">SVF::SVFBasicBlock::succBBs</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt; succBBs</div><div class="ttdoc">all successor BasicBlocks of this BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00540">SVFValue.h:540</a></div></div>
1178
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a2954b0f29cd81083598afb6431b78f2a"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">SVF::SVFBasicBlock::allInsts</a></div><div class="ttdeci">std::vector&lt; const SVFInstruction * &gt; allInsts</div><div class="ttdoc">all Instructions in this BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00539">SVFValue.h:539</a></div></div>
1153
1179
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4">SVF::SVFValue::SVFBB</a></div><div class="ttdeci">@ SVFBB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00190">SVFValue.h:190</a></div></div>
1154
- <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>
1180
+ <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>
1155
1181
  <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>
1156
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_aec6be531ef52c960ef1e908fd031e32c"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c">SVF::SVFBasicBlock::predBBs</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt; predBBs</div><div class="ttdoc">all predecessor BasicBlocks of this BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00530">SVFValue.h:530</a></div></div>
1157
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00620">SVFValue.h:620</a></div></div>
1158
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_acb3ada4f28d5acd73474e9f626dfd7b7"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#acb3ada4f28d5acd73474e9f626dfd7b7">SVF::SVFBasicBlock::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00531">SVFValue.h:531</a></div></div>
1182
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_aec6be531ef52c960ef1e908fd031e32c"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c">SVF::SVFBasicBlock::predBBs</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt; predBBs</div><div class="ttdoc">all predecessor BasicBlocks of this BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00541">SVFValue.h:541</a></div></div>
1183
+ <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00631">SVFValue.h:631</a></div></div>
1184
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_acb3ada4f28d5acd73474e9f626dfd7b7"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#acb3ada4f28d5acd73474e9f626dfd7b7">SVF::SVFBasicBlock::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00542">SVFValue.h:542</a></div></div>
1159
1185
  <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
1160
1186
  <!-- start footer part -->
1161
1187
  <hr class="footer"/><address class="footer"><small>