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_1SVFBlackHoleValue.html CHANGED
@@ -206,7 +206,7 @@ Additional Inherited Members</h2></td></tr>
206
206
  </table>
207
207
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
208
208
  <div class="textblock">
209
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01038">1038</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
209
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01049">1049</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
210
210
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
211
211
  <a id="ac057a29cad0944d1b359e6cd23adcec2"></a>
212
212
  <h2 class="memtitle"><span class="permalink"><a href="#ac057a29cad0944d1b359e6cd23adcec2">&#9670;&nbsp;</a></span>SVFBlackHoleValue() <span class="overload">[1/2]</span></h2>
@@ -232,10 +232,10 @@ Additional Inherited Members</h2></td></tr>
232
232
  </table>
233
233
  </div><div class="memdoc">
234
234
 
235
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01044">1044</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
236
- <div class="fragment"><div class="line"><a name="l01045"></a><span class="lineno"> 1045</span>&#160; : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFValue::SVFBlackHole</a>)</div>
237
- <div class="line"><a name="l01046"></a><span class="lineno"> 1046</span>&#160; {</div>
238
- <div class="line"><a name="l01047"></a><span class="lineno"> 1047</span>&#160; }</div>
235
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01055">1055</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
236
+ <div class="fragment"><div class="line"><a name="l01056"></a><span class="lineno"> 1056</span>&#160; : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFValue::SVFBlackHole</a>)</div>
237
+ <div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>&#160; {</div>
238
+ <div class="line"><a name="l01058"></a><span class="lineno"> 1058</span>&#160; }</div>
239
239
  </div><!-- fragment -->
240
240
  </div>
241
241
  </div>
@@ -289,10 +289,10 @@ Additional Inherited Members</h2></td></tr>
289
289
  </table>
290
290
  </div><div class="memdoc">
291
291
 
292
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01054">1054</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
293
- <div class="fragment"><div class="line"><a name="l01055"></a><span class="lineno"> 1055</span>&#160; {</div>
294
- <div class="line"><a name="l01056"></a><span class="lineno"> 1056</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
295
- <div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>&#160; }</div>
292
+ <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>
293
+ <div class="fragment"><div class="line"><a name="l01066"></a><span class="lineno"> 1066</span>&#160; {</div>
294
+ <div class="line"><a name="l01067"></a><span class="lineno"> 1067</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
295
+ <div class="line"><a name="l01068"></a><span class="lineno"> 1068</span>&#160; }</div>
296
296
  </div><!-- fragment -->
297
297
  </div>
298
298
  </div>
@@ -320,10 +320,10 @@ Additional Inherited Members</h2></td></tr>
320
320
  </table>
321
321
  </div><div class="memdoc">
322
322
 
323
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01050">1050</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
324
- <div class="fragment"><div class="line"><a name="l01051"></a><span class="lineno"> 1051</span>&#160; {</div>
325
- <div class="line"><a name="l01052"></a><span class="lineno"> 1052</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
326
- <div class="line"><a name="l01053"></a><span class="lineno"> 1053</span>&#160; }</div>
323
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01061">1061</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
324
+ <div class="fragment"><div class="line"><a name="l01062"></a><span class="lineno"> 1062</span>&#160; {</div>
325
+ <div class="line"><a name="l01063"></a><span class="lineno"> 1063</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
326
+ <div class="line"><a name="l01064"></a><span class="lineno"> 1064</span>&#160; }</div>
327
327
  </div><!-- fragment -->
328
328
  </div>
329
329
  </div>
@@ -348,7 +348,7 @@ Additional Inherited Members</h2></td></tr>
348
348
  </table>
349
349
  </div><div class="memdoc">
350
350
 
351
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01041">1041</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
351
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01052">1052</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
352
352
 
353
353
  </div>
354
354
  </div>
@@ -372,7 +372,7 @@ Additional Inherited Members</h2></td></tr>
372
372
  </table>
373
373
  </div><div class="memdoc">
374
374
 
375
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01040">1040</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
375
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01051">1051</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
376
376
 
377
377
  </div>
378
378
  </div>
package/SVF-doxygen/html/classSVF_1_1SVFBugEvent.html CHANGED
@@ -429,7 +429,7 @@ Protected Attributes</h2></td></tr>
429
429
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_ac550e02b8d1d7713c53a29dab5a78c6d"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">SVF::SVFBugEvent::eventInst</a></div><div class="ttdeci">const SVFInstruction * eventInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00065">SVFBugReport.h:65</a></div></div>
430
430
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a33496918c5f2adaf48a64f39d9c49567"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567">SVF::SVFBugEvent::typeAndInfoFlag</a></div><div class="ttdeci">u32_t typeAndInfoFlag</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00064">SVFBugReport.h:64</a></div></div>
431
431
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999">SVF::SVFBugEvent::SourceInst</a></div><div class="ttdeci">@ SourceInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00060">SVFBugReport.h:60</a></div></div>
432
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_aef7ad257ea809101df33779463907f3e"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">SVF::SVFInstruction::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00672">SVFValue.h:672</a></div></div>
432
+ <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_aef7ad257ea809101df33779463907f3e"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">SVF::SVFInstruction::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00683">SVFValue.h:683</a></div></div>
433
433
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7">SVF::SVFBugEvent::Loop</a></div><div class="ttdeci">@ Loop</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00059">SVFBugReport.h:59</a></div></div>
434
434
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6">SVF::SVFBugEvent::Caller</a></div><div class="ttdeci">@ Caller</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00057">SVFBugReport.h:57</a></div></div>
435
435
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a145abbd2958629718fbca41d25c3124d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const CallSite cs)</div><div class="ttdoc">Return callee of a callsite. Return null if this is an indirect call.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00241">SVFUtil.h:241</a></div></div>
package/SVF-doxygen/html/classSVF_1_1SVFCallInst.html CHANGED
@@ -255,7 +255,7 @@ Additional Inherited Members</h2></td></tr>
255
255
  </table>
256
256
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
257
257
  <div class="textblock">
258
- <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>
258
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00699">699</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
259
259
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
260
260
  <a id="a6cdb5b727c559d3c041aba94e6f64596"></a>
261
261
  <h2 class="memtitle"><span class="permalink"><a href="#a6cdb5b727c559d3c041aba94e6f64596">&#9670;&nbsp;</a></span>SVFCallInst() <span class="overload">[1/2]</span></h2>
@@ -309,11 +309,11 @@ 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#l00713">713</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
313
- <div class="fragment"><div class="line"><a name="l00713"></a><span class="lineno"> 713</span>&#160; :</div>
314
- <div class="line"><a name="l00714"></a><span class="lineno"> 714</span>&#160; <a class="code" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVFInstruction</a>(ty, <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>, tm, <span class="keyword">false</span>, k), <a class="code" href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">varArg</a>(va), <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>(<span class="keyword">nullptr</span>)</div>
315
- <div class="line"><a name="l00715"></a><span class="lineno"> 715</span>&#160; {</div>
316
- <div class="line"><a name="l00716"></a><span class="lineno"> 716</span>&#160; }</div>
312
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00724">724</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
313
+ <div class="fragment"><div class="line"><a name="l00724"></a><span class="lineno"> 724</span>&#160; :</div>
314
+ <div class="line"><a name="l00725"></a><span class="lineno"> 725</span>&#160; <a class="code" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVFInstruction</a>(ty, <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>, tm, <span class="keyword">false</span>, k), <a class="code" href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">varArg</a>(va), <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>(<span class="keyword">nullptr</span>)</div>
315
+ <div class="line"><a name="l00726"></a><span class="lineno"> 726</span>&#160; {</div>
316
+ <div class="line"><a name="l00727"></a><span class="lineno"> 727</span>&#160; }</div>
317
317
  </div><!-- fragment -->
318
318
  </div>
319
319
  </div>
@@ -370,10 +370,10 @@ Additional Inherited Members</h2></td></tr>
370
370
 
371
371
  <p>attributes to be set only through Module builders e.g., LLVMModule </p>
372
372
 
373
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00702">702</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
374
- <div class="fragment"><div class="line"><a name="l00703"></a><span class="lineno"> 703</span>&#160; {</div>
375
- <div class="line"><a name="l00704"></a><span class="lineno"> 704</span>&#160; <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.push_back(<a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>);</div>
376
- <div class="line"><a name="l00705"></a><span class="lineno"> 705</span>&#160; }</div>
373
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00713">713</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
374
+ <div class="fragment"><div class="line"><a name="l00714"></a><span class="lineno"> 714</span>&#160; {</div>
375
+ <div class="line"><a name="l00715"></a><span class="lineno"> 715</span>&#160; <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.push_back(<a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>);</div>
376
+ <div class="line"><a name="l00716"></a><span class="lineno"> 716</span>&#160; }</div>
377
377
  </div><!-- fragment -->
378
378
  </div>
379
379
  </div>
@@ -400,10 +400,10 @@ Additional Inherited Members</h2></td></tr>
400
400
  </table>
401
401
  </div><div class="memdoc">
402
402
 
403
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00731">731</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
404
- <div class="fragment"><div class="line"><a name="l00732"></a><span class="lineno"> 732</span>&#160; {</div>
405
- <div class="line"><a name="l00733"></a><span class="lineno"> 733</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.empty();</div>
406
- <div class="line"><a name="l00734"></a><span class="lineno"> 734</span>&#160; }</div>
403
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00742">742</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
404
+ <div class="fragment"><div class="line"><a name="l00743"></a><span class="lineno"> 743</span>&#160; {</div>
405
+ <div class="line"><a name="l00744"></a><span class="lineno"> 744</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.empty();</div>
406
+ <div class="line"><a name="l00745"></a><span class="lineno"> 745</span>&#160; }</div>
407
407
  </div><!-- fragment -->
408
408
  </div>
409
409
  </div>
@@ -430,10 +430,10 @@ Additional Inherited Members</h2></td></tr>
430
430
  </table>
431
431
  </div><div class="memdoc">
432
432
 
433
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00727">727</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
434
- <div class="fragment"><div class="line"><a name="l00728"></a><span class="lineno"> 728</span>&#160; {</div>
435
- <div class="line"><a name="l00729"></a><span class="lineno"> 729</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.size();</div>
436
- <div class="line"><a name="l00730"></a><span class="lineno"> 730</span>&#160; }</div>
433
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00738">738</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
434
+ <div class="fragment"><div class="line"><a name="l00739"></a><span class="lineno"> 739</span>&#160; {</div>
435
+ <div class="line"><a name="l00740"></a><span class="lineno"> 740</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.size();</div>
436
+ <div class="line"><a name="l00741"></a><span class="lineno"> 741</span>&#160; }</div>
437
437
  </div><!-- fragment -->
438
438
  </div>
439
439
  </div>
@@ -461,10 +461,10 @@ Additional Inherited Members</h2></td></tr>
461
461
  </table>
462
462
  </div><div class="memdoc">
463
463
 
464
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00723">723</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
465
- <div class="fragment"><div class="line"><a name="l00724"></a><span class="lineno"> 724</span>&#160; {</div>
466
- <div class="line"><a name="l00725"></a><span class="lineno"> 725</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> || node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div>
467
- <div class="line"><a name="l00726"></a><span class="lineno"> 726</span>&#160; }</div>
464
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00734">734</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
465
+ <div class="fragment"><div class="line"><a name="l00735"></a><span class="lineno"> 735</span>&#160; {</div>
466
+ <div class="line"><a name="l00736"></a><span class="lineno"> 736</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> || node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div>
467
+ <div class="line"><a name="l00737"></a><span class="lineno"> 737</span>&#160; }</div>
468
468
  </div><!-- fragment -->
469
469
  </div>
470
470
  </div>
@@ -492,10 +492,10 @@ Additional Inherited Members</h2></td></tr>
492
492
  </table>
493
493
  </div><div class="memdoc">
494
494
 
495
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00719">719</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
496
- <div class="fragment"><div class="line"><a name="l00720"></a><span class="lineno"> 720</span>&#160; {</div>
497
- <div class="line"><a name="l00721"></a><span class="lineno"> 721</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> || node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div>
498
- <div class="line"><a name="l00722"></a><span class="lineno"> 722</span>&#160; }</div>
495
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00730">730</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
496
+ <div class="fragment"><div class="line"><a name="l00731"></a><span class="lineno"> 731</span>&#160; {</div>
497
+ <div class="line"><a name="l00732"></a><span class="lineno"> 732</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> || node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div>
498
+ <div class="line"><a name="l00733"></a><span class="lineno"> 733</span>&#160; }</div>
499
499
  </div><!-- fragment -->
500
500
  </div>
501
501
  </div>
@@ -523,11 +523,11 @@ Additional Inherited Members</h2></td></tr>
523
523
  </table>
524
524
  </div><div class="memdoc">
525
525
 
526
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00735">735</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
527
- <div class="fragment"><div class="line"><a name="l00736"></a><span class="lineno"> 736</span>&#160; {</div>
528
- <div class="line"><a name="l00737"></a><span class="lineno"> 737</span>&#160; assert(i &lt; <a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>() &amp;&amp; <span class="stringliteral">&quot;out of bound access of the argument&quot;</span>);</div>
529
- <div class="line"><a name="l00738"></a><span class="lineno"> 738</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>[i];</div>
530
- <div class="line"><a name="l00739"></a><span class="lineno"> 739</span>&#160; }</div>
526
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00746">746</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
527
+ <div class="fragment"><div class="line"><a name="l00747"></a><span class="lineno"> 747</span>&#160; {</div>
528
+ <div class="line"><a name="l00748"></a><span class="lineno"> 748</span>&#160; assert(i &lt; <a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>() &amp;&amp; <span class="stringliteral">&quot;out of bound access of the argument&quot;</span>);</div>
529
+ <div class="line"><a name="l00749"></a><span class="lineno"> 749</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>[i];</div>
530
+ <div class="line"><a name="l00750"></a><span class="lineno"> 750</span>&#160; }</div>
531
531
  </div><!-- fragment -->
532
532
  </div>
533
533
  </div>
@@ -554,10 +554,10 @@ Additional Inherited Members</h2></td></tr>
554
554
  </table>
555
555
  </div><div class="memdoc">
556
556
 
557
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00752">752</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
558
- <div class="fragment"><div class="line"><a name="l00753"></a><span class="lineno"> 753</span>&#160; {</div>
559
- <div class="line"><a name="l00754"></a><span class="lineno"> 754</span>&#160; <span class="keywordflow">return</span> SVFUtil::dyn_cast&lt;SVFFunction&gt;(<a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>);</div>
560
- <div class="line"><a name="l00755"></a><span class="lineno"> 755</span>&#160; }</div>
557
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00763">763</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
558
+ <div class="fragment"><div class="line"><a name="l00764"></a><span class="lineno"> 764</span>&#160; {</div>
559
+ <div class="line"><a name="l00765"></a><span class="lineno"> 765</span>&#160; <span class="keywordflow">return</span> SVFUtil::dyn_cast&lt;SVFFunction&gt;(<a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>);</div>
560
+ <div class="line"><a name="l00766"></a><span class="lineno"> 766</span>&#160; }</div>
561
561
  </div><!-- fragment -->
562
562
  </div>
563
563
  </div>
@@ -584,10 +584,10 @@ Additional Inherited Members</h2></td></tr>
584
584
  </table>
585
585
  </div><div class="memdoc">
586
586
 
587
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00744">744</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
588
- <div class="fragment"><div class="line"><a name="l00745"></a><span class="lineno"> 745</span>&#160; {</div>
589
- <div class="line"><a name="l00746"></a><span class="lineno"> 746</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>;</div>
590
- <div class="line"><a name="l00747"></a><span class="lineno"> 747</span>&#160; }</div>
587
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00755">755</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
588
+ <div class="fragment"><div class="line"><a name="l00756"></a><span class="lineno"> 756</span>&#160; {</div>
589
+ <div class="line"><a name="l00757"></a><span class="lineno"> 757</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>;</div>
590
+ <div class="line"><a name="l00758"></a><span class="lineno"> 758</span>&#160; }</div>
591
591
  </div><!-- fragment -->
592
592
  </div>
593
593
  </div>
@@ -614,10 +614,10 @@ Additional Inherited Members</h2></td></tr>
614
614
  </table>
615
615
  </div><div class="memdoc">
616
616
 
617
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00756">756</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
618
- <div class="fragment"><div class="line"><a name="l00757"></a><span class="lineno"> 757</span>&#160; {</div>
619
- <div class="line"><a name="l00758"></a><span class="lineno"> 758</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">getFunction</a>();</div>
620
- <div class="line"><a name="l00759"></a><span class="lineno"> 759</span>&#160; }</div>
617
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00767">767</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
618
+ <div class="fragment"><div class="line"><a name="l00768"></a><span class="lineno"> 768</span>&#160; {</div>
619
+ <div class="line"><a name="l00769"></a><span class="lineno"> 769</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">getFunction</a>();</div>
620
+ <div class="line"><a name="l00770"></a><span class="lineno"> 770</span>&#160; }</div>
621
621
  </div><!-- fragment -->
622
622
  </div>
623
623
  </div>
@@ -644,10 +644,10 @@ Additional Inherited Members</h2></td></tr>
644
644
  </table>
645
645
  </div><div class="memdoc">
646
646
 
647
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00740">740</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
648
- <div class="fragment"><div class="line"><a name="l00741"></a><span class="lineno"> 741</span>&#160; {</div>
649
- <div class="line"><a name="l00742"></a><span class="lineno"> 742</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div>
650
- <div class="line"><a name="l00743"></a><span class="lineno"> 743</span>&#160; }</div>
647
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00751">751</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
648
+ <div class="fragment"><div class="line"><a name="l00752"></a><span class="lineno"> 752</span>&#160; {</div>
649
+ <div class="line"><a name="l00753"></a><span class="lineno"> 753</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div>
650
+ <div class="line"><a name="l00754"></a><span class="lineno"> 754</span>&#160; }</div>
651
651
  </div><!-- fragment -->
652
652
  </div>
653
653
  </div>
@@ -674,10 +674,10 @@ Additional Inherited Members</h2></td></tr>
674
674
  </table>
675
675
  </div><div class="memdoc">
676
676
 
677
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00748">748</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
678
- <div class="fragment"><div class="line"><a name="l00749"></a><span class="lineno"> 749</span>&#160; {</div>
679
- <div class="line"><a name="l00750"></a><span class="lineno"> 750</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">varArg</a>;</div>
680
- <div class="line"><a name="l00751"></a><span class="lineno"> 751</span>&#160; }</div>
677
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00759">759</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
678
+ <div class="fragment"><div class="line"><a name="l00760"></a><span class="lineno"> 760</span>&#160; {</div>
679
+ <div class="line"><a name="l00761"></a><span class="lineno"> 761</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">varArg</a>;</div>
680
+ <div class="line"><a name="l00762"></a><span class="lineno"> 762</span>&#160; }</div>
681
681
  </div><!-- fragment -->
682
682
  </div>
683
683
  </div>
@@ -705,10 +705,10 @@ Additional Inherited Members</h2></td></tr>
705
705
  </table>
706
706
  </div><div class="memdoc">
707
707
 
708
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00706">706</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
709
- <div class="fragment"><div class="line"><a name="l00707"></a><span class="lineno"> 707</span>&#160; {</div>
710
- <div class="line"><a name="l00708"></a><span class="lineno"> 708</span>&#160; <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a> = v;</div>
711
- <div class="line"><a name="l00709"></a><span class="lineno"> 709</span>&#160; }</div>
708
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00717">717</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
709
+ <div class="fragment"><div class="line"><a name="l00718"></a><span class="lineno"> 718</span>&#160; {</div>
710
+ <div class="line"><a name="l00719"></a><span class="lineno"> 719</span>&#160; <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a> = v;</div>
711
+ <div class="line"><a name="l00720"></a><span class="lineno"> 720</span>&#160; }</div>
712
712
  </div><!-- fragment -->
713
713
  </div>
714
714
  </div>
@@ -733,7 +733,7 @@ Additional Inherited Members</h2></td></tr>
733
733
  </table>
734
734
  </div><div class="memdoc">
735
735
 
736
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00692">692</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
736
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00703">703</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
737
737
 
738
738
  </div>
739
739
  </div>
@@ -757,7 +757,7 @@ Additional Inherited Members</h2></td></tr>
757
757
  </table>
758
758
  </div><div class="memdoc">
759
759
 
760
- <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>
760
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00704">704</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
761
761
 
762
762
  </div>
763
763
  </div>
@@ -781,7 +781,7 @@ Additional Inherited Members</h2></td></tr>
781
781
  </table>
782
782
  </div><div class="memdoc">
783
783
 
784
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00691">691</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
784
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00702">702</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
785
785
 
786
786
  </div>
787
787
  </div>
@@ -805,7 +805,7 @@ Additional Inherited Members</h2></td></tr>
805
805
  </table>
806
806
  </div><div class="memdoc">
807
807
 
808
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00690">690</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
808
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00701">701</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
809
809
 
810
810
  </div>
811
811
  </div>
@@ -830,7 +830,7 @@ Additional Inherited Members</h2></td></tr>
830
830
  </table>
831
831
  </div><div class="memdoc">
832
832
 
833
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00696">696</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
833
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00707">707</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
834
834
 
835
835
  </div>
836
836
  </div>
@@ -854,7 +854,7 @@ Additional Inherited Members</h2></td></tr>
854
854
  </table>
855
855
  </div><div class="memdoc">
856
856
 
857
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00698">698</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
857
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00709">709</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
858
858
 
859
859
  </div>
860
860
  </div>
@@ -878,7 +878,7 @@ Additional Inherited Members</h2></td></tr>
878
878
  </table>
879
879
  </div><div class="memdoc">
880
880
 
881
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00697">697</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
881
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00708">708</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
882
882
 
883
883
  </div>
884
884
  </div>
@@ -886,15 +886,15 @@ Additional Inherited Members</h2></td></tr>
886
886
  <li>/home/runner/work/SVF/SVF/svf/include/SVFIR/<a class="el" href="SVFValue_8h_source.html">SVFValue.h</a></li>
887
887
  </ul>
888
888
  </div><!-- contents -->
889
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_aef7ad257ea809101df33779463907f3e"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">SVF::SVFInstruction::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00672">SVFValue.h:672</a></div></div>
889
+ <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_aef7ad257ea809101df33779463907f3e"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">SVF::SVFInstruction::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00683">SVFValue.h:683</a></div></div>
890
890
  <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>
891
891
  <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>
892
- <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_affe1e1d74a71c17a7fb8a9a145bd9524"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">SVF::SVFCallInst::args</a></div><div class="ttdeci">std::vector&lt; const SVFValue * &gt; args</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00696">SVFValue.h:696</a></div></div>
893
- <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a23ee9dbaa0052ef41ce2d75f1dc36491"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">SVF::SVFCallInst::calledVal</a></div><div class="ttdeci">const SVFValue * calledVal</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00698">SVFValue.h:698</a></div></div>
894
- <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a4280d986cfa4ebd0a1c4b6c63bb13eb6"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">SVF::SVFCallInst::varArg</a></div><div class="ttdeci">bool varArg</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00697">SVFValue.h:697</a></div></div>
892
+ <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_affe1e1d74a71c17a7fb8a9a145bd9524"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">SVF::SVFCallInst::args</a></div><div class="ttdeci">std::vector&lt; const SVFValue * &gt; args</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00707">SVFValue.h:707</a></div></div>
893
+ <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a23ee9dbaa0052ef41ce2d75f1dc36491"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">SVF::SVFCallInst::calledVal</a></div><div class="ttdeci">const SVFValue * calledVal</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00709">SVFValue.h:709</a></div></div>
894
+ <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a4280d986cfa4ebd0a1c4b6c63bb13eb6"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">SVF::SVFCallInst::varArg</a></div><div class="ttdeci">bool varArg</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00708">SVFValue.h:708</a></div></div>
895
895
  <div class="ttc" id="acJSON_8cpp_html_a8a1a0a26c50cc4becfc754bb68d1dc6b"><div class="ttname"><a href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a></div><div class="ttdeci">cJSON * a</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02560">cJSON.cpp:2560</a></div></div>
896
896
  <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_a7d81c86ea5e1f8e313457862e19c2a3c"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction::SVFInstruction</a></div><div class="ttdeci">SVFInstruction(void)=delete</div></div>
897
- <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a496d0e963f0f6a4f9c08183fa91792b0"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">SVF::SVFCallInst::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00727">SVFValue.h:727</a></div></div>
897
+ <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a496d0e963f0f6a4f9c08183fa91792b0"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">SVF::SVFCallInst::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00738">SVFValue.h:738</a></div></div>
898
898
  <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>
899
899
  <!-- start footer part -->
900
900
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1SVFConstant.html CHANGED
@@ -190,7 +190,7 @@ Additional Inherited Members</h2></td></tr>
190
190
  </table>
191
191
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
192
192
  <div class="textblock">
193
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00822">822</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
193
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00833">833</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
194
194
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
195
195
  <a id="a3aacbc8f43aec414af229be6a9622a08"></a>
196
196
  <h2 class="memtitle"><span class="permalink"><a href="#a3aacbc8f43aec414af229be6a9622a08">&#9670;&nbsp;</a></span>SVFConstant() <span class="overload">[1/2]</span></h2>
@@ -226,10 +226,10 @@ Additional Inherited Members</h2></td></tr>
226
226
  </table>
227
227
  </div><div class="memdoc">
228
228
 
229
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00827">827</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
230
- <div class="fragment"><div class="line"><a name="l00827"></a><span class="lineno"> 827</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>(ty, k)</div>
231
- <div class="line"><a name="l00828"></a><span class="lineno"> 828</span>&#160; {</div>
232
- <div class="line"><a name="l00829"></a><span class="lineno"> 829</span>&#160; }</div>
229
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00838">838</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
230
+ <div class="fragment"><div class="line"><a name="l00838"></a><span class="lineno"> 838</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>(ty, k)</div>
231
+ <div class="line"><a name="l00839"></a><span class="lineno"> 839</span>&#160; {</div>
232
+ <div class="line"><a name="l00840"></a><span class="lineno"> 840</span>&#160; }</div>
233
233
  </div><!-- fragment -->
234
234
  </div>
235
235
  </div>
@@ -283,16 +283,16 @@ Additional Inherited Members</h2></td></tr>
283
283
  </table>
284
284
  </div><div class="memdoc">
285
285
 
286
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00832">832</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
287
- <div class="fragment"><div class="line"><a name="l00833"></a><span class="lineno"> 833</span>&#160; {</div>
288
- <div class="line"><a name="l00834"></a><span class="lineno"> 834</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea6dc72702914085c82deb38699b5a6f66">SVFConst</a> ||</div>
289
- <div class="line"><a name="l00835"></a><span class="lineno"> 835</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a">SVFGlob</a> ||</div>
290
- <div class="line"><a name="l00836"></a><span class="lineno"> 836</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> ||</div>
291
- <div class="line"><a name="l00837"></a><span class="lineno"> 837</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> ||</div>
292
- <div class="line"><a name="l00838"></a><span class="lineno"> 838</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> ||</div>
293
- <div class="line"><a name="l00839"></a><span class="lineno"> 839</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> ||</div>
294
- <div class="line"><a name="l00840"></a><span class="lineno"> 840</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
295
- <div class="line"><a name="l00841"></a><span class="lineno"> 841</span>&#160; }</div>
286
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00843">843</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
287
+ <div class="fragment"><div class="line"><a name="l00844"></a><span class="lineno"> 844</span>&#160; {</div>
288
+ <div class="line"><a name="l00845"></a><span class="lineno"> 845</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea6dc72702914085c82deb38699b5a6f66">SVFConst</a> ||</div>
289
+ <div class="line"><a name="l00846"></a><span class="lineno"> 846</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a">SVFGlob</a> ||</div>
290
+ <div class="line"><a name="l00847"></a><span class="lineno"> 847</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> ||</div>
291
+ <div class="line"><a name="l00848"></a><span class="lineno"> 848</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> ||</div>
292
+ <div class="line"><a name="l00849"></a><span class="lineno"> 849</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> ||</div>
293
+ <div class="line"><a name="l00850"></a><span class="lineno"> 850</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> ||</div>
294
+ <div class="line"><a name="l00851"></a><span class="lineno"> 851</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
295
+ <div class="line"><a name="l00852"></a><span class="lineno"> 852</span>&#160; }</div>
296
296
  </div><!-- fragment -->
297
297
  </div>
298
298
  </div>
@@ -317,7 +317,7 @@ Additional Inherited Members</h2></td></tr>
317
317
  </table>
318
318
  </div><div class="memdoc">
319
319
 
320
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00825">825</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
320
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00836">836</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
321
321
 
322
322
  </div>
323
323
  </div>
@@ -341,7 +341,7 @@ Additional Inherited Members</h2></td></tr>
341
341
  </table>
342
342
  </div><div class="memdoc">
343
343
 
344
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00824">824</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
344
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00835">835</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
345
345
 
346
346
  </div>
347
347
  </div>