svf-tools 1.0.808 → 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 (475) 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 +107 -100
  69. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +2 -2
  70. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +23 -23
  71. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +4 -4
  72. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +8 -8
  73. package/SVF-doxygen/html/SVFIR_8cpp_source.html +1 -1
  74. package/SVF-doxygen/html/SVFIR_8h_source.html +2 -2
  75. package/SVF-doxygen/html/SVFModule_8cpp_source.html +1 -1
  76. package/SVF-doxygen/html/SVFModule_8h_source.html +3 -3
  77. package/SVF-doxygen/html/SVFStat_8cpp_source.html +4 -4
  78. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
  79. package/SVF-doxygen/html/SVFStatements_8h_source.html +2 -2
  80. package/SVF-doxygen/html/SVFUtil_8cpp_source.html +6 -6
  81. package/SVF-doxygen/html/SVFUtil_8h_source.html +6 -6
  82. package/SVF-doxygen/html/SVFValue_8cpp_source.html +126 -117
  83. package/SVF-doxygen/html/SVFValue_8h_source.html +1010 -1002
  84. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
  85. package/SVF-doxygen/html/SaberCheckerAPI_8h_source.html +1 -1
  86. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +14 -14
  87. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +5 -5
  88. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  89. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +4 -4
  90. package/SVF-doxygen/html/Steensgaard_8h_source.html +1 -1
  91. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +17 -17
  92. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +1 -1
  93. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +1 -1
  94. package/SVF-doxygen/html/TCT_8cpp_source.html +14 -14
  95. package/SVF-doxygen/html/TCT_8h_source.html +7 -7
  96. package/SVF-doxygen/html/ThreadAPI_8cpp_source.html +7 -7
  97. package/SVF-doxygen/html/ThreadAPI_8h_source.html +4 -4
  98. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +1 -1
  99. package/SVF-doxygen/html/TypeAnalysis_8cpp_source.html +4 -4
  100. package/SVF-doxygen/html/VFGNode_8h_source.html +1 -1
  101. package/SVF-doxygen/html/VFG_8cpp_source.html +3 -3
  102. package/SVF-doxygen/html/VFG_8h_source.html +4 -4
  103. package/SVF-doxygen/html/WPAPass_8cpp_source.html +3 -3
  104. package/SVF-doxygen/html/WPAPass_8h_source.html +1 -1
  105. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +2 -2
  106. package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  107. package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  108. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  109. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +1 -1
  110. package/SVF-doxygen/html/classSVF_1_1Andersen.html +6 -6
  111. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
  112. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  113. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
  114. package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  115. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
  116. package/SVF-doxygen/html/classSVF_1_1CDGBuilder.html +6 -6
  117. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +8 -8
  118. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +13 -13
  119. package/SVF-doxygen/html/classSVF_1_1CHGraph.html +7 -7
  120. package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +9 -9
  121. package/SVF-doxygen/html/classSVF_1_1CallCHI.html +1 -1
  122. package/SVF-doxygen/html/classSVF_1_1CallGraphBuilder.html +3 -3
  123. package/SVF-doxygen/html/classSVF_1_1CallICFGNode.html +12 -12
  124. package/SVF-doxygen/html/classSVF_1_1CallMU.html +1 -1
  125. package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
  126. package/SVF-doxygen/html/classSVF_1_1CallSite.html +95 -95
  127. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
  128. package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
  129. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +1 -1
  130. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
  131. package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
  132. package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
  133. package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
  134. package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +7 -7
  135. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  136. package/SVF-doxygen/html/classSVF_1_1ExtAPI.html +1 -1
  137. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  138. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +12 -12
  139. package/SVF-doxygen/html/classSVF_1_1FunEntryICFGNode.html +16 -16
  140. package/SVF-doxygen/html/classSVF_1_1FunExitICFGNode.html +28 -20
  141. package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +2 -2
  142. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
  143. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +1 -1
  144. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  145. package/SVF-doxygen/html/classSVF_1_1GlobalICFGNode.html +9 -9
  146. package/SVF-doxygen/html/classSVF_1_1ICFG.html +271 -271
  147. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +17 -17
  148. package/SVF-doxygen/html/classSVF_1_1ICFGEdge.html +7 -7
  149. package/SVF-doxygen/html/classSVF_1_1ICFGNode.html +12 -12
  150. package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  151. package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  152. package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +12 -12
  153. package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +15 -15
  154. package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  155. package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +2 -2
  156. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +1075 -1061
  157. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +4 -4
  158. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
  159. package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +13 -13
  160. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +4 -4
  161. package/SVF-doxygen/html/classSVF_1_1MHP.html +12 -12
  162. package/SVF-doxygen/html/classSVF_1_1MHPValidator.html +1 -1
  163. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +10 -10
  164. package/SVF-doxygen/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  165. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
  166. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +2 -2
  167. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  168. package/SVF-doxygen/html/classSVF_1_1MTAStat.html +5 -5
  169. package/SVF-doxygen/html/classSVF_1_1MemObj.html +1 -1
  170. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +19 -19
  171. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
  172. package/SVF-doxygen/html/classSVF_1_1PCG.html +11 -11
  173. package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
  174. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
  175. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +13 -13
  176. package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +2 -2
  177. package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +1 -1
  178. package/SVF-doxygen/html/classSVF_1_1RaceValidator.html +1 -1
  179. package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +9 -9
  180. package/SVF-doxygen/html/classSVF_1_1RetICFGNode.html +12 -12
  181. package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
  182. package/SVF-doxygen/html/classSVF_1_1SVFArgument.html +30 -30
  183. package/SVF-doxygen/html/classSVF_1_1SVFBasicBlock-members.html +18 -17
  184. package/SVF-doxygen/html/classSVF_1_1SVFBasicBlock.html +162 -136
  185. package/SVF-doxygen/html/classSVF_1_1SVFBlackHoleValue.html +15 -15
  186. package/SVF-doxygen/html/classSVF_1_1SVFBugEvent.html +1 -1
  187. package/SVF-doxygen/html/classSVF_1_1SVFCallInst.html +67 -67
  188. package/SVF-doxygen/html/classSVF_1_1SVFConstant.html +17 -17
  189. package/SVF-doxygen/html/classSVF_1_1SVFConstantData.html +23 -23
  190. package/SVF-doxygen/html/classSVF_1_1SVFConstantFP.html +21 -21
  191. package/SVF-doxygen/html/classSVF_1_1SVFConstantInt.html +27 -27
  192. package/SVF-doxygen/html/classSVF_1_1SVFConstantNullPtr.html +15 -15
  193. package/SVF-doxygen/html/classSVF_1_1SVFFunction-members.html +52 -50
  194. package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +236 -176
  195. package/SVF-doxygen/html/classSVF_1_1SVFG.html +7 -7
  196. package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +2 -2
  197. package/SVF-doxygen/html/classSVF_1_1SVFGlobalValue.html +33 -33
  198. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +3 -3
  199. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +3 -3
  200. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +104 -96
  201. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +39 -39
  202. package/SVF-doxygen/html/classSVF_1_1SVFInstruction.html +57 -57
  203. package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html +3 -3
  204. package/SVF-doxygen/html/classSVF_1_1SVFMetadataAsValue.html +15 -15
  205. package/SVF-doxygen/html/classSVF_1_1SVFModule.html +1 -1
  206. package/SVF-doxygen/html/classSVF_1_1SVFOtherValue.html +11 -11
  207. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +4 -4
  208. package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
  209. package/SVF-doxygen/html/classSVF_1_1SVFVirtualCallInst.html +53 -53
  210. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +14 -14
  211. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  212. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
  213. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +6 -6
  214. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
  215. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +17 -17
  216. package/SVF-doxygen/html/classSVF_1_1TCT.html +15 -15
  217. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
  218. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
  219. package/SVF-doxygen/html/classSVF_1_1ThreadAPI.html +7 -7
  220. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +1 -1
  221. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  222. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +4 -4
  223. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
  224. package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  225. package/SVF-doxygen/html/classSVF_1_1VFG.html +5 -5
  226. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  227. package/SVF-doxygen/html/classSVF_1_1WPAPass.html +2 -2
  228. package/SVF-doxygen/html/functions_b.html +3 -3
  229. package/SVF-doxygen/html/functions_e.html +3 -0
  230. package/SVF-doxygen/html/functions_func_i.html +3 -3
  231. package/SVF-doxygen/html/functions_func_p.html +1 -1
  232. package/SVF-doxygen/html/functions_func_s.html +22 -19
  233. package/SVF-doxygen/html/functions_i.html +1 -1
  234. package/SVF-doxygen/html/functions_l.html +3 -3
  235. package/SVF-doxygen/html/functions_o.html +15 -15
  236. package/SVF-doxygen/html/functions_p.html +9 -9
  237. package/SVF-doxygen/html/functions_r.html +4 -6
  238. package/SVF-doxygen/html/functions_rela_s.html +3 -0
  239. package/SVF-doxygen/html/functions_s.html +26 -20
  240. package/SVF-doxygen/html/functions_t.html +4 -4
  241. package/SVF-doxygen/html/functions_v.html +3 -3
  242. package/SVF-doxygen/html/functions_vars_e.html +3 -0
  243. package/SVF-doxygen/html/namespaceSVF.html +5 -5
  244. package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +1199 -1165
  245. package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html +5 -5
  246. package/SVF-doxygen/html/namespacemembers_b.html +4 -1
  247. package/SVF-doxygen/html/namespacemembers_func_b.html +4 -1
  248. package/SVF-doxygen/html/search/all_10.js +324 -324
  249. package/SVF-doxygen/html/search/all_11.js +222 -222
  250. package/SVF-doxygen/html/search/all_12.js +544 -543
  251. package/SVF-doxygen/html/search/all_13.js +191 -191
  252. package/SVF-doxygen/html/search/all_14.js +67 -67
  253. package/SVF-doxygen/html/search/all_15.js +169 -169
  254. package/SVF-doxygen/html/search/all_16.js +63 -63
  255. package/SVF-doxygen/html/search/all_17.js +1 -1
  256. package/SVF-doxygen/html/search/all_18.js +1 -1
  257. package/SVF-doxygen/html/search/all_19.js +11 -11
  258. package/SVF-doxygen/html/search/all_1a.js +172 -172
  259. package/SVF-doxygen/html/search/all_2.js +139 -138
  260. package/SVF-doxygen/html/search/all_3.js +642 -642
  261. package/SVF-doxygen/html/search/all_4.js +233 -233
  262. package/SVF-doxygen/html/search/all_5.js +119 -118
  263. package/SVF-doxygen/html/search/all_6.js +225 -225
  264. package/SVF-doxygen/html/search/all_7.js +1041 -1041
  265. package/SVF-doxygen/html/search/all_8.js +196 -196
  266. package/SVF-doxygen/html/search/all_9.js +613 -613
  267. package/SVF-doxygen/html/search/all_a.js +46 -46
  268. package/SVF-doxygen/html/search/all_b.js +26 -26
  269. package/SVF-doxygen/html/search/all_c.js +116 -116
  270. package/SVF-doxygen/html/search/all_d.js +196 -196
  271. package/SVF-doxygen/html/search/all_e.js +207 -207
  272. package/SVF-doxygen/html/search/all_f.js +116 -116
  273. package/SVF-doxygen/html/search/classes_0.js +26 -26
  274. package/SVF-doxygen/html/search/classes_1.js +9 -9
  275. package/SVF-doxygen/html/search/classes_10.js +73 -73
  276. package/SVF-doxygen/html/search/classes_11.js +15 -15
  277. package/SVF-doxygen/html/search/classes_12.js +2 -2
  278. package/SVF-doxygen/html/search/classes_13.js +10 -10
  279. package/SVF-doxygen/html/search/classes_14.js +14 -14
  280. package/SVF-doxygen/html/search/classes_15.js +1 -1
  281. package/SVF-doxygen/html/search/classes_2.js +80 -80
  282. package/SVF-doxygen/html/search/classes_3.js +37 -37
  283. package/SVF-doxygen/html/search/classes_4.js +9 -9
  284. package/SVF-doxygen/html/search/classes_5.js +28 -28
  285. package/SVF-doxygen/html/search/classes_6.js +104 -104
  286. package/SVF-doxygen/html/search/classes_7.js +33 -33
  287. package/SVF-doxygen/html/search/classes_8.js +56 -56
  288. package/SVF-doxygen/html/search/classes_9.js +1 -1
  289. package/SVF-doxygen/html/search/classes_a.js +12 -12
  290. package/SVF-doxygen/html/search/classes_b.js +29 -29
  291. package/SVF-doxygen/html/search/classes_c.js +6 -6
  292. package/SVF-doxygen/html/search/classes_d.js +18 -18
  293. package/SVF-doxygen/html/search/classes_e.js +36 -36
  294. package/SVF-doxygen/html/search/classes_f.js +25 -25
  295. package/SVF-doxygen/html/search/defines_0.js +3 -3
  296. package/SVF-doxygen/html/search/defines_1.js +2 -2
  297. package/SVF-doxygen/html/search/defines_2.js +30 -30
  298. package/SVF-doxygen/html/search/defines_3.js +21 -21
  299. package/SVF-doxygen/html/search/defines_4.js +2 -2
  300. package/SVF-doxygen/html/search/defines_5.js +4 -4
  301. package/SVF-doxygen/html/search/defines_6.js +2 -2
  302. package/SVF-doxygen/html/search/defines_7.js +5 -5
  303. package/SVF-doxygen/html/search/defines_8.js +11 -11
  304. package/SVF-doxygen/html/search/defines_9.js +9 -9
  305. package/SVF-doxygen/html/search/defines_a.js +2 -2
  306. package/SVF-doxygen/html/search/defines_b.js +1 -1
  307. package/SVF-doxygen/html/search/defines_c.js +3 -3
  308. package/SVF-doxygen/html/search/defines_d.js +2 -2
  309. package/SVF-doxygen/html/search/defines_e.js +7 -7
  310. package/SVF-doxygen/html/search/defines_f.js +3 -3
  311. package/SVF-doxygen/html/search/enums_0.js +3 -3
  312. package/SVF-doxygen/html/search/enums_1.js +2 -2
  313. package/SVF-doxygen/html/search/enums_10.js +1 -1
  314. package/SVF-doxygen/html/search/enums_11.js +1 -1
  315. package/SVF-doxygen/html/search/enums_2.js +8 -8
  316. package/SVF-doxygen/html/search/enums_3.js +1 -1
  317. package/SVF-doxygen/html/search/enums_4.js +3 -3
  318. package/SVF-doxygen/html/search/enums_5.js +1 -1
  319. package/SVF-doxygen/html/search/enums_6.js +2 -2
  320. package/SVF-doxygen/html/search/enums_7.js +2 -2
  321. package/SVF-doxygen/html/search/enums_8.js +4 -4
  322. package/SVF-doxygen/html/search/enums_9.js +1 -1
  323. package/SVF-doxygen/html/search/enums_a.js +1 -1
  324. package/SVF-doxygen/html/search/enums_b.js +7 -7
  325. package/SVF-doxygen/html/search/enums_c.js +1 -1
  326. package/SVF-doxygen/html/search/enums_d.js +4 -4
  327. package/SVF-doxygen/html/search/enums_e.js +2 -2
  328. package/SVF-doxygen/html/search/enums_f.js +4 -4
  329. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  330. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  331. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  332. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  333. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  334. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  335. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  336. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  337. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  338. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  339. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  340. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  341. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  342. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  343. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  344. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  345. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  346. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  347. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  348. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  349. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  350. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  351. package/SVF-doxygen/html/search/files_0.js +13 -13
  352. package/SVF-doxygen/html/search/files_1.js +7 -7
  353. package/SVF-doxygen/html/search/files_10.js +8 -8
  354. package/SVF-doxygen/html/search/files_11.js +8 -8
  355. package/SVF-doxygen/html/search/files_12.js +2 -2
  356. package/SVF-doxygen/html/search/files_2.js +55 -55
  357. package/SVF-doxygen/html/search/files_3.js +14 -14
  358. package/SVF-doxygen/html/search/files_4.js +5 -5
  359. package/SVF-doxygen/html/search/files_5.js +13 -13
  360. package/SVF-doxygen/html/search/files_6.js +9 -9
  361. package/SVF-doxygen/html/search/files_7.js +14 -14
  362. package/SVF-doxygen/html/search/files_8.js +13 -13
  363. package/SVF-doxygen/html/search/files_9.js +18 -18
  364. package/SVF-doxygen/html/search/files_a.js +3 -3
  365. package/SVF-doxygen/html/search/files_b.js +2 -2
  366. package/SVF-doxygen/html/search/files_c.js +20 -20
  367. package/SVF-doxygen/html/search/files_d.js +4 -4
  368. package/SVF-doxygen/html/search/files_e.js +62 -62
  369. package/SVF-doxygen/html/search/files_f.js +8 -8
  370. package/SVF-doxygen/html/search/functions_0.js +12 -12
  371. package/SVF-doxygen/html/search/functions_1.js +360 -360
  372. package/SVF-doxygen/html/search/functions_10.js +140 -140
  373. package/SVF-doxygen/html/search/functions_11.js +138 -138
  374. package/SVF-doxygen/html/search/functions_12.js +279 -278
  375. package/SVF-doxygen/html/search/functions_13.js +59 -59
  376. package/SVF-doxygen/html/search/functions_14.js +39 -39
  377. package/SVF-doxygen/html/search/functions_15.js +71 -71
  378. package/SVF-doxygen/html/search/functions_16.js +32 -32
  379. package/SVF-doxygen/html/search/functions_17.js +3 -3
  380. package/SVF-doxygen/html/search/functions_18.js +172 -172
  381. package/SVF-doxygen/html/search/functions_2.js +87 -86
  382. package/SVF-doxygen/html/search/functions_3.js +257 -257
  383. package/SVF-doxygen/html/search/functions_4.js +75 -75
  384. package/SVF-doxygen/html/search/functions_5.js +53 -53
  385. package/SVF-doxygen/html/search/functions_6.js +59 -59
  386. package/SVF-doxygen/html/search/functions_7.js +852 -852
  387. package/SVF-doxygen/html/search/functions_8.js +148 -148
  388. package/SVF-doxygen/html/search/functions_9.js +429 -429
  389. package/SVF-doxygen/html/search/functions_a.js +30 -30
  390. package/SVF-doxygen/html/search/functions_b.js +2 -2
  391. package/SVF-doxygen/html/search/functions_c.js +26 -26
  392. package/SVF-doxygen/html/search/functions_d.js +77 -77
  393. package/SVF-doxygen/html/search/functions_e.js +35 -35
  394. package/SVF-doxygen/html/search/functions_f.js +56 -56
  395. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  396. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  397. package/SVF-doxygen/html/search/related_0.js +2 -2
  398. package/SVF-doxygen/html/search/related_1.js +2 -2
  399. package/SVF-doxygen/html/search/related_2.js +2 -2
  400. package/SVF-doxygen/html/search/related_3.js +2 -2
  401. package/SVF-doxygen/html/search/related_4.js +2 -2
  402. package/SVF-doxygen/html/search/related_5.js +1 -1
  403. package/SVF-doxygen/html/search/related_6.js +2 -2
  404. package/SVF-doxygen/html/search/related_7.js +4 -4
  405. package/SVF-doxygen/html/search/related_8.js +2 -2
  406. package/SVF-doxygen/html/search/related_9.js +4 -4
  407. package/SVF-doxygen/html/search/related_a.js +19 -19
  408. package/SVF-doxygen/html/search/related_b.js +4 -4
  409. package/SVF-doxygen/html/search/related_c.js +1 -1
  410. package/SVF-doxygen/html/search/related_d.js +12 -11
  411. package/SVF-doxygen/html/search/related_e.js +2 -2
  412. package/SVF-doxygen/html/search/related_f.js +2 -2
  413. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  414. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  415. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  416. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  417. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  418. package/SVF-doxygen/html/search/typedefs_13.js +34 -34
  419. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  420. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  421. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  422. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  423. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  424. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  425. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  426. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  427. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  428. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  429. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  430. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  431. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  432. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  433. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  434. package/SVF-doxygen/html/search/variables_0.js +151 -151
  435. package/SVF-doxygen/html/search/variables_1.js +75 -75
  436. package/SVF-doxygen/html/search/variables_10.js +97 -97
  437. package/SVF-doxygen/html/search/variables_11.js +44 -44
  438. package/SVF-doxygen/html/search/variables_12.js +92 -92
  439. package/SVF-doxygen/html/search/variables_13.js +75 -75
  440. package/SVF-doxygen/html/search/variables_14.js +14 -14
  441. package/SVF-doxygen/html/search/variables_15.js +48 -48
  442. package/SVF-doxygen/html/search/variables_16.js +9 -9
  443. package/SVF-doxygen/html/search/variables_17.js +1 -1
  444. package/SVF-doxygen/html/search/variables_18.js +2 -2
  445. package/SVF-doxygen/html/search/variables_2.js +38 -38
  446. package/SVF-doxygen/html/search/variables_3.js +142 -142
  447. package/SVF-doxygen/html/search/variables_4.js +55 -55
  448. package/SVF-doxygen/html/search/variables_5.js +37 -36
  449. package/SVF-doxygen/html/search/variables_6.js +66 -66
  450. package/SVF-doxygen/html/search/variables_7.js +33 -33
  451. package/SVF-doxygen/html/search/variables_8.js +7 -7
  452. package/SVF-doxygen/html/search/variables_9.js +77 -77
  453. package/SVF-doxygen/html/search/variables_a.js +4 -4
  454. package/SVF-doxygen/html/search/variables_b.js +10 -10
  455. package/SVF-doxygen/html/search/variables_c.js +45 -45
  456. package/SVF-doxygen/html/search/variables_d.js +56 -56
  457. package/SVF-doxygen/html/search/variables_e.js +123 -123
  458. package/SVF-doxygen/html/search/variables_f.js +30 -30
  459. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  460. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +82 -82
  461. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  462. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +7 -7
  463. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  464. package/SVF-doxygen/html/svf-ex_8cpp.html +4 -4
  465. package/SVF-doxygen/html/svf-ex_8cpp_source.html +4 -4
  466. package/SVF-doxygen/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +2 -2
  467. package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +2 -2
  468. package/package.json +1 -1
  469. package/svf/include/SVFIR/SVFValue.h +13 -2
  470. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +50 -43
  471. package/svf/lib/Graphs/ICFG.cpp +10 -4
  472. package/svf/lib/SVFIR/SVFValue.cpp +8 -1
  473. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +3 -0
  474. package/svf-llvm/lib/LLVMModule.cpp +11 -0
  475. package/svf-llvm/lib/LLVMUtil.cpp +17 -5
package/SVF-doxygen/html/classSVF_1_1SVFInstruction.html CHANGED
@@ -227,7 +227,7 @@ Additional Inherited Members</h2></td></tr>
227
227
  </table>
228
228
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
229
229
  <div class="textblock">
230
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00620">620</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
230
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00631">631</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
231
231
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
232
232
  <a id="ab9e1aeffeddda2626cb9330d59631d5b"></a>
233
233
  <h2 class="memtitle"><span class="permalink"><a href="#ab9e1aeffeddda2626cb9330d59631d5b">&#9670;&nbsp;</a></span>InstVec</h2>
@@ -241,7 +241,7 @@ Additional Inherited Members</h2></td></tr>
241
241
  </table>
242
242
  </div><div class="memdoc">
243
243
 
244
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00625">625</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
244
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00636">636</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
245
245
 
246
246
  </div>
247
247
  </div>
@@ -293,10 +293,10 @@ Additional Inherited Members</h2></td></tr>
293
293
  <p>predecessor Instructions </p>
294
294
  <p>Constructor without name, set name with <a class="el" href="classSVF_1_1SVFValue.html#a8325774df9d65d78ef6a66fef59b9a97">setName()</a> </p>
295
295
 
296
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00267">267</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
297
- <div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>(ty, k), <a class="code" href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">bb</a>(<a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>), <a class="code" href="classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3">terminator</a>(tm), <a class="code" href="classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">ret</a>(isRet)</div>
298
- <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160;{</div>
299
- <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160;}</div>
296
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00274">274</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
297
+ <div class="fragment"><div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>(ty, k), <a class="code" href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">bb</a>(<a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>), <a class="code" href="classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3">terminator</a>(tm), <a class="code" href="classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">ret</a>(isRet)</div>
298
+ <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160;{</div>
299
+ <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160;}</div>
300
300
  </div><!-- fragment -->
301
301
  </div>
302
302
  </div>
@@ -351,12 +351,12 @@ Additional Inherited Members</h2></td></tr>
351
351
  </table>
352
352
  </div><div class="memdoc">
353
353
 
354
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00640">640</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
355
- <div class="fragment"><div class="line"><a name="l00641"></a><span class="lineno"> 641</span>&#160; {</div>
356
- <div class="line"><a name="l00642"></a><span class="lineno"> 642</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVFInst</a> ||</div>
357
- <div class="line"><a name="l00643"></a><span class="lineno"> 643</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> ||</div>
358
- <div class="line"><a name="l00644"></a><span class="lineno"> 644</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div>
359
- <div class="line"><a name="l00645"></a><span class="lineno"> 645</span>&#160; }</div>
354
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00651">651</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
355
+ <div class="fragment"><div class="line"><a name="l00652"></a><span class="lineno"> 652</span>&#160; {</div>
356
+ <div class="line"><a name="l00653"></a><span class="lineno"> 653</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVFInst</a> ||</div>
357
+ <div class="line"><a name="l00654"></a><span class="lineno"> 654</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> ||</div>
358
+ <div class="line"><a name="l00655"></a><span class="lineno"> 655</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div>
359
+ <div class="line"><a name="l00656"></a><span class="lineno"> 656</span>&#160; }</div>
360
360
  </div><!-- fragment -->
361
361
  </div>
362
362
  </div>
@@ -383,10 +383,10 @@ Additional Inherited Members</h2></td></tr>
383
383
  </table>
384
384
  </div><div class="memdoc">
385
385
 
386
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00672">672</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
387
- <div class="fragment"><div class="line"><a name="l00673"></a><span class="lineno"> 673</span>&#160; {</div>
388
- <div class="line"><a name="l00674"></a><span class="lineno"> 674</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">bb</a>-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#af48d08d3adf7dd3ed69d97e4df360059">getParent</a>();</div>
389
- <div class="line"><a name="l00675"></a><span class="lineno"> 675</span>&#160; }</div>
386
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00683">683</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
387
+ <div class="fragment"><div class="line"><a name="l00684"></a><span class="lineno"> 684</span>&#160; {</div>
388
+ <div class="line"><a name="l00685"></a><span class="lineno"> 685</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">bb</a>-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#af48d08d3adf7dd3ed69d97e4df360059">getParent</a>();</div>
389
+ <div class="line"><a name="l00686"></a><span class="lineno"> 686</span>&#160; }</div>
390
390
  </div><!-- fragment -->
391
391
  </div>
392
392
  </div>
@@ -413,10 +413,10 @@ Additional Inherited Members</h2></td></tr>
413
413
  </table>
414
414
  </div><div class="memdoc">
415
415
 
416
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00647">647</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
417
- <div class="fragment"><div class="line"><a name="l00648"></a><span class="lineno"> 648</span>&#160; {</div>
418
- <div class="line"><a name="l00649"></a><span class="lineno"> 649</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">bb</a>;</div>
419
- <div class="line"><a name="l00650"></a><span class="lineno"> 650</span>&#160; }</div>
416
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00658">658</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
417
+ <div class="fragment"><div class="line"><a name="l00659"></a><span class="lineno"> 659</span>&#160; {</div>
418
+ <div class="line"><a name="l00660"></a><span class="lineno"> 660</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">bb</a>;</div>
419
+ <div class="line"><a name="l00661"></a><span class="lineno"> 661</span>&#160; }</div>
420
420
  </div><!-- fragment -->
421
421
  </div>
422
422
  </div>
@@ -443,10 +443,10 @@ Additional Inherited Members</h2></td></tr>
443
443
  </table>
444
444
  </div><div class="memdoc">
445
445
 
446
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00657">657</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
447
- <div class="fragment"><div class="line"><a name="l00658"></a><span class="lineno"> 658</span>&#160; {</div>
448
- <div class="line"><a name="l00659"></a><span class="lineno"> 659</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">predInsts</a>;</div>
449
- <div class="line"><a name="l00660"></a><span class="lineno"> 660</span>&#160; }</div>
446
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00668">668</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
447
+ <div class="fragment"><div class="line"><a name="l00669"></a><span class="lineno"> 669</span>&#160; {</div>
448
+ <div class="line"><a name="l00670"></a><span class="lineno"> 670</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">predInsts</a>;</div>
449
+ <div class="line"><a name="l00671"></a><span class="lineno"> 671</span>&#160; }</div>
450
450
  </div><!-- fragment -->
451
451
  </div>
452
452
  </div>
@@ -473,10 +473,10 @@ Additional Inherited Members</h2></td></tr>
473
473
  </table>
474
474
  </div><div class="memdoc">
475
475
 
476
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00667">667</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
477
- <div class="fragment"><div class="line"><a name="l00668"></a><span class="lineno"> 668</span>&#160; {</div>
478
- <div class="line"><a name="l00669"></a><span class="lineno"> 669</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">predInsts</a>;</div>
479
- <div class="line"><a name="l00670"></a><span class="lineno"> 670</span>&#160; }</div>
476
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00678">678</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
477
+ <div class="fragment"><div class="line"><a name="l00679"></a><span class="lineno"> 679</span>&#160; {</div>
478
+ <div class="line"><a name="l00680"></a><span class="lineno"> 680</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">predInsts</a>;</div>
479
+ <div class="line"><a name="l00681"></a><span class="lineno"> 681</span>&#160; }</div>
480
480
  </div><!-- fragment -->
481
481
  </div>
482
482
  </div>
@@ -503,10 +503,10 @@ Additional Inherited Members</h2></td></tr>
503
503
  </table>
504
504
  </div><div class="memdoc">
505
505
 
506
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00652">652</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
507
- <div class="fragment"><div class="line"><a name="l00653"></a><span class="lineno"> 653</span>&#160; {</div>
508
- <div class="line"><a name="l00654"></a><span class="lineno"> 654</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">succInsts</a>;</div>
509
- <div class="line"><a name="l00655"></a><span class="lineno"> 655</span>&#160; }</div>
506
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00663">663</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
507
+ <div class="fragment"><div class="line"><a name="l00664"></a><span class="lineno"> 664</span>&#160; {</div>
508
+ <div class="line"><a name="l00665"></a><span class="lineno"> 665</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">succInsts</a>;</div>
509
+ <div class="line"><a name="l00666"></a><span class="lineno"> 666</span>&#160; }</div>
510
510
  </div><!-- fragment -->
511
511
  </div>
512
512
  </div>
@@ -533,10 +533,10 @@ Additional Inherited Members</h2></td></tr>
533
533
  </table>
534
534
  </div><div class="memdoc">
535
535
 
536
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00662">662</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
537
- <div class="fragment"><div class="line"><a name="l00663"></a><span class="lineno"> 663</span>&#160; {</div>
538
- <div class="line"><a name="l00664"></a><span class="lineno"> 664</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">succInsts</a>;</div>
539
- <div class="line"><a name="l00665"></a><span class="lineno"> 665</span>&#160; }</div>
536
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00673">673</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
537
+ <div class="fragment"><div class="line"><a name="l00674"></a><span class="lineno"> 674</span>&#160; {</div>
538
+ <div class="line"><a name="l00675"></a><span class="lineno"> 675</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">succInsts</a>;</div>
539
+ <div class="line"><a name="l00676"></a><span class="lineno"> 676</span>&#160; }</div>
540
540
  </div><!-- fragment -->
541
541
  </div>
542
542
  </div>
@@ -563,10 +563,10 @@ Additional Inherited Members</h2></td></tr>
563
563
  </table>
564
564
  </div><div class="memdoc">
565
565
 
566
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00682">682</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
567
- <div class="fragment"><div class="line"><a name="l00683"></a><span class="lineno"> 683</span>&#160; {</div>
568
- <div class="line"><a name="l00684"></a><span class="lineno"> 684</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">ret</a>;</div>
569
- <div class="line"><a name="l00685"></a><span class="lineno"> 685</span>&#160; }</div>
566
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00693">693</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
567
+ <div class="fragment"><div class="line"><a name="l00694"></a><span class="lineno"> 694</span>&#160; {</div>
568
+ <div class="line"><a name="l00695"></a><span class="lineno"> 695</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">ret</a>;</div>
569
+ <div class="line"><a name="l00696"></a><span class="lineno"> 696</span>&#160; }</div>
570
570
  </div><!-- fragment -->
571
571
  </div>
572
572
  </div>
@@ -593,10 +593,10 @@ Additional Inherited Members</h2></td></tr>
593
593
  </table>
594
594
  </div><div class="memdoc">
595
595
 
596
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00677">677</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
597
- <div class="fragment"><div class="line"><a name="l00678"></a><span class="lineno"> 678</span>&#160; {</div>
598
- <div class="line"><a name="l00679"></a><span class="lineno"> 679</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3">terminator</a>;</div>
599
- <div class="line"><a name="l00680"></a><span class="lineno"> 680</span>&#160; }</div>
596
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00688">688</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
597
+ <div class="fragment"><div class="line"><a name="l00689"></a><span class="lineno"> 689</span>&#160; {</div>
598
+ <div class="line"><a name="l00690"></a><span class="lineno"> 690</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3">terminator</a>;</div>
599
+ <div class="line"><a name="l00691"></a><span class="lineno"> 691</span>&#160; }</div>
600
600
  </div><!-- fragment -->
601
601
  </div>
602
602
  </div>
@@ -621,7 +621,7 @@ Additional Inherited Members</h2></td></tr>
621
621
  </table>
622
622
  </div><div class="memdoc">
623
623
 
624
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00623">623</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
624
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00634">634</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
625
625
 
626
626
  </div>
627
627
  </div>
@@ -645,7 +645,7 @@ Additional Inherited Members</h2></td></tr>
645
645
  </table>
646
646
  </div><div class="memdoc">
647
647
 
648
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00622">622</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
648
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00633">633</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
649
649
 
650
650
  </div>
651
651
  </div>
@@ -670,7 +670,7 @@ Additional Inherited Members</h2></td></tr>
670
670
  </table>
671
671
  </div><div class="memdoc">
672
672
 
673
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00628">628</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
673
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00639">639</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
674
674
 
675
675
  </div>
676
676
  </div>
@@ -696,7 +696,7 @@ Additional Inherited Members</h2></td></tr>
696
696
 
697
697
  <p>successor Instructions </p>
698
698
 
699
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00632">632</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
699
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00643">643</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
700
700
 
701
701
  </div>
702
702
  </div>
@@ -722,7 +722,7 @@ Additional Inherited Members</h2></td></tr>
722
722
 
723
723
  <p>return true if this is a terminator instruction </p>
724
724
 
725
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00630">630</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
725
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00641">641</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
726
726
 
727
727
  </div>
728
728
  </div>
@@ -748,7 +748,7 @@ Additional Inherited Members</h2></td></tr>
748
748
 
749
749
  <p>return true if this is an return instruction of a function </p>
750
750
 
751
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00631">631</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
751
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00642">642</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
752
752
 
753
753
  </div>
754
754
  </div>
@@ -774,7 +774,7 @@ Additional Inherited Members</h2></td></tr>
774
774
 
775
775
  <p>The BasicBlock where this Instruction resides. </p>
776
776
 
777
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00629">629</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
777
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00640">640</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
778
778
 
779
779
  </div>
780
780
  </div>
@@ -783,16 +783,16 @@ Additional Inherited Members</h2></td></tr>
783
783
  <li>/home/runner/work/SVF/SVF/svf/lib/SVFIR/<a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a></li>
784
784
  </ul>
785
785
  </div><!-- contents -->
786
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ace4dc83c186f5ae888aa210439ae4c34"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">SVF::SVFInstruction::predInsts</a></div><div class="ttdeci">InstVec predInsts</div><div class="ttdoc">successor Instructions</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00632">SVFValue.h:632</a></div></div>
786
+ <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ace4dc83c186f5ae888aa210439ae4c34"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">SVF::SVFInstruction::predInsts</a></div><div class="ttdeci">InstVec predInsts</div><div class="ttdoc">successor Instructions</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00643">SVFValue.h:643</a></div></div>
787
787
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVF::SVFValue::SVFInst</a></div><div class="ttdeci">@ SVFInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00191">SVFValue.h:191</a></div></div>
788
788
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVF::SVFValue::SVFVCall</a></div><div class="ttdeci">@ SVFVCall</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00193">SVFValue.h:193</a></div></div>
789
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ad0e8b1042094fda42346bae211d3e679"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">SVF::SVFInstruction::succInsts</a></div><div class="ttdeci">InstVec succInsts</div><div class="ttdoc">return true if this is an return instruction of a function</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00631">SVFValue.h:631</a></div></div>
789
+ <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ad0e8b1042094fda42346bae211d3e679"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">SVF::SVFInstruction::succInsts</a></div><div class="ttdeci">InstVec succInsts</div><div class="ttdoc">return true if this is an return instruction of a function</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00642">SVFValue.h:642</a></div></div>
790
790
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVF::SVFValue::SVFCall</a></div><div class="ttdeci">@ SVFCall</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00192">SVFValue.h:192</a></div></div>
791
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ade4a9596b2c288f2f74ce813d21fcaa0"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">SVF::SVFInstruction::bb</a></div><div class="ttdeci">const SVFBasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00628">SVFValue.h:628</a></div></div>
791
+ <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ade4a9596b2c288f2f74ce813d21fcaa0"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">SVF::SVFInstruction::bb</a></div><div class="ttdeci">const SVFBasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00639">SVFValue.h:639</a></div></div>
792
792
  <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>
793
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_af48d08d3adf7dd3ed69d97e4df360059"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#af48d08d3adf7dd3ed69d97e4df360059">SVF::SVFBasicBlock::getParent</a></div><div class="ttdeci">const SVFFunction * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00577">SVFValue.h:577</a></div></div>
794
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_a61e04a2e436a4c141980ee06854b74ca"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">SVF::SVFInstruction::ret</a></div><div class="ttdeci">bool ret</div><div class="ttdoc">return true if this is a terminator instruction</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00630">SVFValue.h:630</a></div></div>
795
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ab092c00376cf697bc4a3b7baa9f3a2f3"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3">SVF::SVFInstruction::terminator</a></div><div class="ttdeci">bool terminator</div><div class="ttdoc">The BasicBlock where this Instruction resides.</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00629">SVFValue.h:629</a></div></div>
793
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_af48d08d3adf7dd3ed69d97e4df360059"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#af48d08d3adf7dd3ed69d97e4df360059">SVF::SVFBasicBlock::getParent</a></div><div class="ttdeci">const SVFFunction * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00588">SVFValue.h:588</a></div></div>
794
+ <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_a61e04a2e436a4c141980ee06854b74ca"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">SVF::SVFInstruction::ret</a></div><div class="ttdeci">bool ret</div><div class="ttdoc">return true if this is a terminator instruction</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00641">SVFValue.h:641</a></div></div>
795
+ <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ab092c00376cf697bc4a3b7baa9f3a2f3"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3">SVF::SVFInstruction::terminator</a></div><div class="ttdeci">bool terminator</div><div class="ttdoc">The BasicBlock where this Instruction resides.</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00640">SVFValue.h:640</a></div></div>
796
796
  <div class="ttc" id="acJSON_8h_html_a1a175e87536301df98c805ac0636ad7c"><div class="ttname"><a href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a></div><div class="ttdeci">const cJSON *const b</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00255">cJSON.h:255</a></div></div>
797
797
  <!-- start footer part -->
798
798
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html CHANGED
@@ -1340,10 +1340,10 @@ Friends</h2></td></tr>
1340
1340
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a2fc6b806a436d8fa65863f6cef99e716"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a2fc6b806a436d8fa65863f6cef99e716">SVF::SVFLoopAndDomInfo::getDomTreeMap</a></div><div class="ttdeci">Map&lt; const SVFBasicBlock *, BBSet &gt; &amp; getDomTreeMap()</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00139">SVFValue.h:139</a></div></div>
1341
1341
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ab7bf163ebfd2c43d233c598ed2a25551"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ab7bf163ebfd2c43d233c598ed2a25551">SVF::SVFLoopAndDomInfo::bb2PIdom</a></div><div class="ttdeci">Map&lt; const SVFBasicBlock *, const SVFBasicBlock * &gt; bb2PIdom</div><div class="ttdoc">map a BasicBlock to its immediate dominator in pdom tree, used in findNearestCommonPDominator</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00066">SVFValue.h:66</a></div></div>
1342
1342
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a80acecc52faf9609aeea7e49008f0e01"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a80acecc52faf9609aeea7e49008f0e01">SVF::SVFLoopAndDomInfo::bb2PdomLevel</a></div><div class="ttdeci">Map&lt; const SVFBasicBlock *, u32_t &gt; bb2PdomLevel</div><div class="ttdoc">map a BasicBlock to its level in pdom tree, used in findNearestCommonPDominator</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00065">SVFValue.h:65</a></div></div>
1343
- <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>
1343
+ <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>
1344
1344
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ac285502846c993f149b6bcc3e04f767e"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ac285502846c993f149b6bcc3e04f767e">SVF::SVFLoopAndDomInfo::getBBPDomLevel</a></div><div class="ttdeci">const Map&lt; const SVFBasicBlock *, u32_t &gt; &amp; getBBPDomLevel() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00118">SVFValue.h:118</a></div></div>
1345
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a66f51cd41e93ad055c4a0c2874e73fae"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock::getSuccessors</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00601">SVFValue.h:601</a></div></div>
1346
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_af48d08d3adf7dd3ed69d97e4df360059"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#af48d08d3adf7dd3ed69d97e4df360059">SVF::SVFBasicBlock::getParent</a></div><div class="ttdeci">const SVFFunction * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00577">SVFValue.h:577</a></div></div>
1345
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a66f51cd41e93ad055c4a0c2874e73fae"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock::getSuccessors</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00612">SVFValue.h:612</a></div></div>
1346
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_af48d08d3adf7dd3ed69d97e4df360059"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#af48d08d3adf7dd3ed69d97e4df360059">SVF::SVFBasicBlock::getParent</a></div><div class="ttdeci">const SVFFunction * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00588">SVFValue.h:588</a></div></div>
1347
1347
  <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>
1348
1348
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_aac4d533d1c7abfefbd54507357e240f4"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#aac4d533d1c7abfefbd54507357e240f4">SVF::SVFLoopAndDomInfo::isUnreachable</a></div><div class="ttdeci">bool isUnreachable(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00149">SVFValue.h:149</a></div></div>
1349
1349
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_af3eeabc8b81b2aff27ae3577195a1eff"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff">SVF::SVFLoopAndDomInfo::reachableBBs</a></div><div class="ttdeci">BBList reachableBBs</div><div class="ttdoc">reachable BasicBlocks from the function entry.</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00060">SVFValue.h:60</a></div></div>
package/SVF-doxygen/html/classSVF_1_1SVFMetadataAsValue.html CHANGED
@@ -195,7 +195,7 @@ Additional Inherited Members</h2></td></tr>
195
195
  </table>
196
196
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
197
197
  <div class="textblock">
198
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01080">1080</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
198
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01091">1091</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
199
199
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
200
200
  <a id="a98acb125d1694aa233538de7618739bf"></a>
201
201
  <h2 class="memtitle"><span class="permalink"><a href="#a98acb125d1694aa233538de7618739bf">&#9670;&nbsp;</a></span>SVFMetadataAsValue() <span class="overload">[1/2]</span></h2>
@@ -221,10 +221,10 @@ Additional Inherited Members</h2></td></tr>
221
221
  </table>
222
222
  </div><div class="memdoc">
223
223
 
224
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01085">1085</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
225
- <div class="fragment"><div class="line"><a name="l01086"></a><span class="lineno"> 1086</span>&#160; : <a class="code" href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVFOtherValue</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFValue::SVFMetaAsValue</a>)</div>
226
- <div class="line"><a name="l01087"></a><span class="lineno"> 1087</span>&#160; {</div>
227
- <div class="line"><a name="l01088"></a><span class="lineno"> 1088</span>&#160; }</div>
224
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01096">1096</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
225
+ <div class="fragment"><div class="line"><a name="l01097"></a><span class="lineno"> 1097</span>&#160; : <a class="code" href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVFOtherValue</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFValue::SVFMetaAsValue</a>)</div>
226
+ <div class="line"><a name="l01098"></a><span class="lineno"> 1098</span>&#160; {</div>
227
+ <div class="line"><a name="l01099"></a><span class="lineno"> 1099</span>&#160; }</div>
228
228
  </div><!-- fragment -->
229
229
  </div>
230
230
  </div>
@@ -278,10 +278,10 @@ Additional Inherited Members</h2></td></tr>
278
278
  </table>
279
279
  </div><div class="memdoc">
280
280
 
281
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01095">1095</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
282
- <div class="fragment"><div class="line"><a name="l01096"></a><span class="lineno"> 1096</span>&#160; {</div>
283
- <div class="line"><a name="l01097"></a><span class="lineno"> 1097</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFMetaAsValue</a>;</div>
284
- <div class="line"><a name="l01098"></a><span class="lineno"> 1098</span>&#160; }</div>
281
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01106">1106</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
282
+ <div class="fragment"><div class="line"><a name="l01107"></a><span class="lineno"> 1107</span>&#160; {</div>
283
+ <div class="line"><a name="l01108"></a><span class="lineno"> 1108</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFMetaAsValue</a>;</div>
284
+ <div class="line"><a name="l01109"></a><span class="lineno"> 1109</span>&#160; }</div>
285
285
  </div><!-- fragment -->
286
286
  </div>
287
287
  </div>
@@ -309,10 +309,10 @@ Additional Inherited Members</h2></td></tr>
309
309
  </table>
310
310
  </div><div class="memdoc">
311
311
 
312
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01091">1091</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
313
- <div class="fragment"><div class="line"><a name="l01092"></a><span class="lineno"> 1092</span>&#160; {</div>
314
- <div class="line"><a name="l01093"></a><span class="lineno"> 1093</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFMetaAsValue</a>;</div>
315
- <div class="line"><a name="l01094"></a><span class="lineno"> 1094</span>&#160; }</div>
312
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01102">1102</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
313
+ <div class="fragment"><div class="line"><a name="l01103"></a><span class="lineno"> 1103</span>&#160; {</div>
314
+ <div class="line"><a name="l01104"></a><span class="lineno"> 1104</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFMetaAsValue</a>;</div>
315
+ <div class="line"><a name="l01105"></a><span class="lineno"> 1105</span>&#160; }</div>
316
316
  </div><!-- fragment -->
317
317
  </div>
318
318
  </div>
@@ -337,7 +337,7 @@ Additional Inherited Members</h2></td></tr>
337
337
  </table>
338
338
  </div><div class="memdoc">
339
339
 
340
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01083">1083</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
340
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01094">1094</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
341
341
 
342
342
  </div>
343
343
  </div>
@@ -361,7 +361,7 @@ Additional Inherited Members</h2></td></tr>
361
361
  </table>
362
362
  </div><div class="memdoc">
363
363
 
364
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01082">1082</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
364
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01093">1093</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
365
365
 
366
366
  </div>
367
367
  </div>
package/SVF-doxygen/html/classSVF_1_1SVFModule.html CHANGED
@@ -1852,7 +1852,7 @@ Friends</h2></td></tr>
1852
1852
  <div class="ttc" id="aclassSVF_1_1NodeIDAllocator_html_af7952ef5667039c9be86a589419b35a8"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8">SVF::NodeIDAllocator::unset</a></div><div class="ttdeci">static void unset(void)</div><div class="ttdoc">Deletes the (singleton) allocator.</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8cpp_source.html#l00036">NodeIDAllocator.cpp:36</a></div></div>
1853
1853
  <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
1854
1854
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_a4ff4bbd1771615757fc6575282046e30"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">SVF::SVFModule::GlobalSet</a></div><div class="ttdeci">GlobalSetType GlobalSet</div><div class="ttdoc">The Global Variables in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00069">SVFModule.h:69</a></div></div>
1855
- <div class="ttc" id="aclassSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00822">SVFValue.h:822</a></div></div>
1855
+ <div class="ttc" id="aclassSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00833">SVFValue.h:833</a></div></div>
1856
1856
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
1857
1857
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_af33660b9938a1a78b7ae44bf429c717e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">SVF::SVFModule::FunctionSet</a></div><div class="ttdeci">FunctionSetType FunctionSet</div><div class="ttdoc">The Functions in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00068">SVFModule.h:68</a></div></div>
1858
1858
  <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_af4d921a3a0e5374188f7b6a6427c049d"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#af4d921a3a0e5374188f7b6a6427c049d">SVF::ThreadAPI::destroy</a></div><div class="ttdeci">static void destroy()</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00111">ThreadAPI.h:111</a></div></div>
package/SVF-doxygen/html/classSVF_1_1SVFOtherValue.html CHANGED
@@ -185,7 +185,7 @@ Additional Inherited Members</h2></td></tr>
185
185
  </table>
186
186
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
187
187
  <div class="textblock">
188
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01060">1060</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
188
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01071">1071</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
189
189
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
190
190
  <a id="a81c02b9a60fa577a786250e088b49493"></a>
191
191
  <h2 class="memtitle"><span class="permalink"><a href="#a81c02b9a60fa577a786250e088b49493">&#9670;&nbsp;</a></span>SVFOtherValue() <span class="overload">[1/2]</span></h2>
@@ -221,10 +221,10 @@ Additional Inherited Members</h2></td></tr>
221
221
  </table>
222
222
  </div><div class="memdoc">
223
223
 
224
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01065">1065</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
225
- <div class="fragment"><div class="line"><a name="l01066"></a><span class="lineno"> 1066</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>(ty, k)</div>
226
- <div class="line"><a name="l01067"></a><span class="lineno"> 1067</span>&#160; {</div>
227
- <div class="line"><a name="l01068"></a><span class="lineno"> 1068</span>&#160; }</div>
224
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01076">1076</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
225
+ <div class="fragment"><div class="line"><a name="l01077"></a><span class="lineno"> 1077</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>(ty, k)</div>
226
+ <div class="line"><a name="l01078"></a><span class="lineno"> 1078</span>&#160; {</div>
227
+ <div class="line"><a name="l01079"></a><span class="lineno"> 1079</span>&#160; }</div>
228
228
  </div><!-- fragment -->
229
229
  </div>
230
230
  </div>
@@ -278,10 +278,10 @@ Additional Inherited Members</h2></td></tr>
278
278
  </table>
279
279
  </div><div class="memdoc">
280
280
 
281
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01071">1071</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
282
- <div class="fragment"><div class="line"><a name="l01072"></a><span class="lineno"> 1072</span>&#160; {</div>
283
- <div class="line"><a name="l01073"></a><span class="lineno"> 1073</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea582b0563ca6cb659fe6811b50c5b6ad0">SVFOther</a> || node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFMetaAsValue</a>;</div>
284
- <div class="line"><a name="l01074"></a><span class="lineno"> 1074</span>&#160; }</div>
281
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01082">1082</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
282
+ <div class="fragment"><div class="line"><a name="l01083"></a><span class="lineno"> 1083</span>&#160; {</div>
283
+ <div class="line"><a name="l01084"></a><span class="lineno"> 1084</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea582b0563ca6cb659fe6811b50c5b6ad0">SVFOther</a> || node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFMetaAsValue</a>;</div>
284
+ <div class="line"><a name="l01085"></a><span class="lineno"> 1085</span>&#160; }</div>
285
285
  </div><!-- fragment -->
286
286
  </div>
287
287
  </div>
@@ -306,7 +306,7 @@ Additional Inherited Members</h2></td></tr>
306
306
  </table>
307
307
  </div><div class="memdoc">
308
308
 
309
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01063">1063</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
309
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01074">1074</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
310
310
 
311
311
  </div>
312
312
  </div>
@@ -330,7 +330,7 @@ Additional Inherited Members</h2></td></tr>
330
330
  </table>
331
331
  </div><div class="memdoc">
332
332
 
333
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01062">1062</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
333
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01073">1073</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
334
334
 
335
335
  </div>
336
336
  </div>
package/SVF-doxygen/html/classSVF_1_1SVFStat.html CHANGED
@@ -941,12 +941,12 @@ Private Attributes</h2></td></tr>
941
941
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa">SVF::SVFStat::CPU</a></div><div class="ttdeci">@ CPU</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00051">SVFStat.h:51</a></div></div>
942
942
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_ac9d390c417df6f6af6b274618b87010d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">SVF::SVFStat::getClk</a></div><div class="ttdeci">static double getClk(bool mark=false)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00047">SVFStat.cpp:47</a></div></div>
943
943
  <div class="ttc" id="aclassSVF_1_1MemObj_html_a898c5bb3956402578266a6fb142e02b1"><div class="ttname"><a href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">SVF::MemObj::isHeap</a></div><div class="ttdeci">bool isHeap() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00503">SymbolTableInfo.cpp:503</a></div></div>
944
- <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>
944
+ <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>
945
945
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
946
946
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00114">SVFIR.h:114</a></div></div>
947
947
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_a178fcefed6ffffc78bbe9b23e0e1babe"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">SVF::SVFStat::printStat</a></div><div class="ttdeci">virtual void printStat(std::string str=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00066">SVFStat.cpp:66</a></div></div>
948
948
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_aaec097379a345ab0e80b6a9c50508f48"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aaec097379a345ab0e80b6a9c50508f48">SVF::SVFFunction::const_iterator</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt;::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00305">SVFValue.h:305</a></div></div>
949
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a49a6e9c0661135ceda2dd4d84c4b24ae"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a49a6e9c0661135ceda2dd4d84c4b24ae">SVF::SVFFunction::begin</a></div><div class="ttdeci">const_iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00431">SVFValue.h:431</a></div></div>
949
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a49a6e9c0661135ceda2dd4d84c4b24ae"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a49a6e9c0661135ceda2dd4d84c4b24ae">SVF::SVFFunction::begin</a></div><div class="ttdeci">const_iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00441">SVFValue.h:441</a></div></div>
950
950
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
951
951
  <div class="ttc" id="aclassSVF_1_1MemObj_html_a40462512a99eb258d8cd442c38d812b4"><div class="ttname"><a href="classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4">SVF::MemObj::isGlobalObj</a></div><div class="ttdeci">bool isGlobalObj() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00488">SymbolTableInfo.cpp:488</a></div></div>
952
952
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da">SVF::SVFStmt::Copy</a></div><div class="ttdeci">@ Copy</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00064">SVFStatements.h:64</a></div></div>
@@ -973,11 +973,11 @@ Private Attributes</h2></td></tr>
973
973
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_a3333e45303dcc9c3da00858628cdbbff"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">SVF::SVFStat::moduleName</a></div><div class="ttdeci">std::string moduleName</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00096">SVFStat.h:96</a></div></div>
974
974
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_ac213302cf5c7cdf3b66f7b18649d0fbc"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::iterator</a></div><div class="ttdeci">IDToNodeMapTy::iterator iterator</div><div class="ttdoc">Node Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00359">GenericGraph.h:359</a></div></div>
975
975
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_a8b01f1564408b51f28c107454bf9068d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d">SVF::SVFStat::endTime</a></div><div class="ttdeci">double endTime</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00078">SVFStat.h:78</a></div></div>
976
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_aebc0d1aa674dec207a99c7fc148c9c36"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#aebc0d1aa674dec207a99c7fc148c9c36">SVF::SVFBasicBlock::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00610">SVFValue.h:610</a></div></div>
976
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_aebc0d1aa674dec207a99c7fc148c9c36"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#aebc0d1aa674dec207a99c7fc148c9c36">SVF::SVFBasicBlock::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00621">SVFValue.h:621</a></div></div>
977
977
  <div class="ttc" id="aclassSVF_1_1Options_html_a28af43961cb29a7dea50be2ab332cc75"><div class="ttname"><a href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">SVF::Options::ClockType</a></div><div class="ttdeci">static const OptionMap&lt; enum PTAStat::ClockType &gt; ClockType</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00024">Options.h:24</a></div></div>
978
978
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_ae2006820c0d00482b85e7ae3adcb5744"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">SVF::SVFIR::getSVFStmtSet</a></div><div class="ttdeci">SVFStmt::SVFStmtSetTy &amp; getSVFStmtSet(SVFStmt::PEDGEK kind)</div><div class="ttdoc">Get/set methods to get SVFStmts based on their kinds and ICFGNodes.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00188">SVFIR.h:188</a></div></div>
979
979
  <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
980
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a2f274c3af098ae6a5919246b1b88e7b7"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7">SVF::SVFFunction::end</a></div><div class="ttdeci">const_iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00436">SVFValue.h:436</a></div></div>
980
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a2f274c3af098ae6a5919246b1b88e7b7"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7">SVF::SVFFunction::end</a></div><div class="ttdeci">const_iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00446">SVFValue.h:446</a></div></div>
981
981
  <div class="ttc" id="aclassSVF_1_1MemObj_html_ae1d14e2bf0be36cdadebf119822f607b"><div class="ttname"><a href="classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b">SVF::MemObj::isFunction</a></div><div class="ttdeci">bool isFunction() const</div><div class="ttdoc">object attributes methods</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00483">SymbolTableInfo.cpp:483</a></div></div>
982
982
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVF::SVFStmt::Store</a></div><div class="ttdeci">@ Store</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00065">SVFStatements.h:65</a></div></div>
983
983
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ae18227f257c9881541b84ca186680dfd"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ae18227f257c9881541b84ca186680dfd">SVF::SVFUtil::split</a></div><div class="ttdeci">std::vector&lt; std::string &gt; split(const std::string &amp;s, char separator)</div><div class="ttdoc">Split into two substrings around the first occurrence of a separator string.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00218">SVFUtil.h:218</a></div></div>