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_1CallSite.html CHANGED
@@ -137,7 +137,7 @@ Friends</h2></td></tr>
137
137
  </table>
138
138
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
139
139
  <div class="textblock">
140
- <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>
140
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01113">1113</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
141
141
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
142
142
  <a id="a78cb1b17796c2a696c61dece024a876f"></a>
143
143
  <h2 class="memtitle"><span class="permalink"><a href="#a78cb1b17796c2a696c61dece024a876f">&#9670;&nbsp;</a></span>CallSite() <span class="overload">[1/2]</span></h2>
@@ -164,8 +164,8 @@ Friends</h2></td></tr>
164
164
 
165
165
  <p>Constructs empty <a class="el" href="classSVF_1_1CallSite.html">CallSite</a> (for SVFIRReader/deserialization) </p>
166
166
 
167
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01110">1110</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
168
- <div class="fragment"><div class="line"><a name="l01110"></a><span class="lineno"> 1110</span>&#160;: <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>{} {}</div>
167
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01121">1121</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
168
+ <div class="fragment"><div class="line"><a name="l01121"></a><span class="lineno"> 1121</span>&#160;: <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>{} {}</div>
169
169
  </div><!-- fragment -->
170
170
  </div>
171
171
  </div>
@@ -193,11 +193,11 @@ Friends</h2></td></tr>
193
193
  </table>
194
194
  </div><div class="memdoc">
195
195
 
196
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01113">1113</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
197
- <div class="fragment"><div class="line"><a name="l01113"></a><span class="lineno"> 1113</span>&#160; : <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>(SVFUtil::dyn_cast&lt;SVFCallInst&gt;(I))</div>
198
- <div class="line"><a name="l01114"></a><span class="lineno"> 1114</span>&#160; {</div>
199
- <div class="line"><a name="l01115"></a><span class="lineno"> 1115</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> &amp;&amp; <span class="stringliteral">&quot;not a callsite?&quot;</span>);</div>
200
- <div class="line"><a name="l01116"></a><span class="lineno"> 1116</span>&#160; }</div>
196
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01124">1124</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
197
+ <div class="fragment"><div class="line"><a name="l01124"></a><span class="lineno"> 1124</span>&#160; : <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>(SVFUtil::dyn_cast&lt;SVFCallInst&gt;(I))</div>
198
+ <div class="line"><a name="l01125"></a><span class="lineno"> 1125</span>&#160; {</div>
199
+ <div class="line"><a name="l01126"></a><span class="lineno"> 1126</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> &amp;&amp; <span class="stringliteral">&quot;not a callsite?&quot;</span>);</div>
200
+ <div class="line"><a name="l01127"></a><span class="lineno"> 1127</span>&#160; }</div>
201
201
  </div><!-- fragment -->
202
202
  </div>
203
203
  </div>
@@ -225,10 +225,10 @@ Friends</h2></td></tr>
225
225
  </table>
226
226
  </div><div class="memdoc">
227
227
 
228
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01133">1133</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
229
- <div class="fragment"><div class="line"><a name="l01134"></a><span class="lineno"> 1134</span>&#160; {</div>
230
- <div class="line"><a name="l01135"></a><span class="lineno"> 1135</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e">arg_empty</a>();</div>
231
- <div class="line"><a name="l01136"></a><span class="lineno"> 1136</span>&#160; }</div>
228
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01144">1144</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
229
+ <div class="fragment"><div class="line"><a name="l01145"></a><span class="lineno"> 1145</span>&#160; {</div>
230
+ <div class="line"><a name="l01146"></a><span class="lineno"> 1146</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e">arg_empty</a>();</div>
231
+ <div class="line"><a name="l01147"></a><span class="lineno"> 1147</span>&#160; }</div>
232
232
  </div><!-- fragment -->
233
233
  </div>
234
234
  </div>
@@ -255,10 +255,10 @@ Friends</h2></td></tr>
255
255
  </table>
256
256
  </div><div class="memdoc">
257
257
 
258
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01129">1129</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
259
- <div class="fragment"><div class="line"><a name="l01130"></a><span class="lineno"> 1130</span>&#160; {</div>
260
- <div class="line"><a name="l01131"></a><span class="lineno"> 1131</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div>
261
- <div class="line"><a name="l01132"></a><span class="lineno"> 1132</span>&#160; }</div>
258
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01140">1140</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
259
+ <div class="fragment"><div class="line"><a name="l01141"></a><span class="lineno"> 1141</span>&#160; {</div>
260
+ <div class="line"><a name="l01142"></a><span class="lineno"> 1142</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div>
261
+ <div class="line"><a name="l01143"></a><span class="lineno"> 1143</span>&#160; }</div>
262
262
  </div><!-- fragment -->
263
263
  </div>
264
264
  </div>
@@ -286,10 +286,10 @@ Friends</h2></td></tr>
286
286
  </table>
287
287
  </div><div class="memdoc">
288
288
 
289
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01137">1137</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
290
- <div class="fragment"><div class="line"><a name="l01138"></a><span class="lineno"> 1138</span>&#160; {</div>
291
- <div class="line"><a name="l01139"></a><span class="lineno"> 1139</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(i);</div>
292
- <div class="line"><a name="l01140"></a><span class="lineno"> 1140</span>&#160; }</div>
289
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01148">1148</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
290
+ <div class="fragment"><div class="line"><a name="l01149"></a><span class="lineno"> 1149</span>&#160; {</div>
291
+ <div class="line"><a name="l01150"></a><span class="lineno"> 1150</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(i);</div>
292
+ <div class="line"><a name="l01151"></a><span class="lineno"> 1151</span>&#160; }</div>
293
293
  </div><!-- fragment -->
294
294
  </div>
295
295
  </div>
@@ -317,10 +317,10 @@ Friends</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#l01121">1121</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
321
- <div class="fragment"><div class="line"><a name="l01122"></a><span class="lineno"> 1122</span>&#160; {</div>
322
- <div class="line"><a name="l01123"></a><span class="lineno"> 1123</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(ArgNo);</div>
323
- <div class="line"><a name="l01124"></a><span class="lineno"> 1124</span>&#160; }</div>
320
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01132">1132</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
321
+ <div class="fragment"><div class="line"><a name="l01133"></a><span class="lineno"> 1133</span>&#160; {</div>
322
+ <div class="line"><a name="l01134"></a><span class="lineno"> 1134</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(ArgNo);</div>
323
+ <div class="line"><a name="l01135"></a><span class="lineno"> 1135</span>&#160; }</div>
324
324
  </div><!-- fragment -->
325
325
  </div>
326
326
  </div>
@@ -347,10 +347,10 @@ Friends</h2></td></tr>
347
347
  </table>
348
348
  </div><div class="memdoc">
349
349
 
350
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01145">1145</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
351
- <div class="fragment"><div class="line"><a name="l01146"></a><span class="lineno"> 1146</span>&#160; {</div>
352
- <div class="line"><a name="l01147"></a><span class="lineno"> 1147</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#ab654651e3117e8480544615fb1574766">getCalledFunction</a>();</div>
353
- <div class="line"><a name="l01148"></a><span class="lineno"> 1148</span>&#160; }</div>
350
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01156">1156</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
351
+ <div class="fragment"><div class="line"><a name="l01157"></a><span class="lineno"> 1157</span>&#160; {</div>
352
+ <div class="line"><a name="l01158"></a><span class="lineno"> 1158</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#ab654651e3117e8480544615fb1574766">getCalledFunction</a>();</div>
353
+ <div class="line"><a name="l01159"></a><span class="lineno"> 1159</span>&#160; }</div>
354
354
  </div><!-- fragment -->
355
355
  </div>
356
356
  </div>
@@ -377,10 +377,10 @@ Friends</h2></td></tr>
377
377
  </table>
378
378
  </div><div class="memdoc">
379
379
 
380
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01149">1149</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
381
- <div class="fragment"><div class="line"><a name="l01150"></a><span class="lineno"> 1150</span>&#160; {</div>
382
- <div class="line"><a name="l01151"></a><span class="lineno"> 1151</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a61f00e0fde32e5dbe78958d172dd9fd3">getCalledOperand</a>();</div>
383
- <div class="line"><a name="l01152"></a><span class="lineno"> 1152</span>&#160; }</div>
380
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01160">1160</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
381
+ <div class="fragment"><div class="line"><a name="l01161"></a><span class="lineno"> 1161</span>&#160; {</div>
382
+ <div class="line"><a name="l01162"></a><span class="lineno"> 1162</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a61f00e0fde32e5dbe78958d172dd9fd3">getCalledOperand</a>();</div>
383
+ <div class="line"><a name="l01163"></a><span class="lineno"> 1163</span>&#160; }</div>
384
384
  </div><!-- fragment -->
385
385
  </div>
386
386
  </div>
@@ -407,10 +407,10 @@ Friends</h2></td></tr>
407
407
  </table>
408
408
  </div><div class="memdoc">
409
409
 
410
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01153">1153</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
411
- <div class="fragment"><div class="line"><a name="l01154"></a><span class="lineno"> 1154</span>&#160; {</div>
412
- <div class="line"><a name="l01155"></a><span class="lineno"> 1155</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a76a8bb676e8c99ca518cbdf704678558">getCaller</a>();</div>
413
- <div class="line"><a name="l01156"></a><span class="lineno"> 1156</span>&#160; }</div>
410
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01164">1164</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
411
+ <div class="fragment"><div class="line"><a name="l01165"></a><span class="lineno"> 1165</span>&#160; {</div>
412
+ <div class="line"><a name="l01166"></a><span class="lineno"> 1166</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a76a8bb676e8c99ca518cbdf704678558">getCaller</a>();</div>
413
+ <div class="line"><a name="l01167"></a><span class="lineno"> 1167</span>&#160; }</div>
414
414
  </div><!-- fragment -->
415
415
  </div>
416
416
  </div>
@@ -437,11 +437,11 @@ Friends</h2></td></tr>
437
437
  </table>
438
438
  </div><div class="memdoc">
439
439
 
440
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01170">1170</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
441
- <div class="fragment"><div class="line"><a name="l01171"></a><span class="lineno"> 1171</span>&#160; {</div>
442
- <div class="line"><a name="l01172"></a><span class="lineno"> 1172</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div>
443
- <div class="line"><a name="l01173"></a><span class="lineno"> 1173</span>&#160; <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;getFunIdxInVtable();</div>
444
- <div class="line"><a name="l01174"></a><span class="lineno"> 1174</span>&#160; }</div>
440
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01181">1181</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
441
+ <div class="fragment"><div class="line"><a name="l01182"></a><span class="lineno"> 1182</span>&#160; {</div>
442
+ <div class="line"><a name="l01183"></a><span class="lineno"> 1183</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div>
443
+ <div class="line"><a name="l01184"></a><span class="lineno"> 1184</span>&#160; <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;getFunIdxInVtable();</div>
444
+ <div class="line"><a name="l01185"></a><span class="lineno"> 1185</span>&#160; }</div>
445
445
  </div><!-- fragment -->
446
446
  </div>
447
447
  </div>
@@ -468,11 +468,11 @@ Friends</h2></td></tr>
468
468
  </table>
469
469
  </div><div class="memdoc">
470
470
 
471
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01175">1175</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
472
- <div class="fragment"><div class="line"><a name="l01176"></a><span class="lineno"> 1176</span>&#160; {</div>
473
- <div class="line"><a name="l01177"></a><span class="lineno"> 1177</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div>
474
- <div class="line"><a name="l01178"></a><span class="lineno"> 1178</span>&#160; <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;getFunNameOfVirtualCall();</div>
475
- <div class="line"><a name="l01179"></a><span class="lineno"> 1179</span>&#160; }</div>
471
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01186">1186</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
472
+ <div class="fragment"><div class="line"><a name="l01187"></a><span class="lineno"> 1187</span>&#160; {</div>
473
+ <div class="line"><a name="l01188"></a><span class="lineno"> 1188</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div>
474
+ <div class="line"><a name="l01189"></a><span class="lineno"> 1189</span>&#160; <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;getFunNameOfVirtualCall();</div>
475
+ <div class="line"><a name="l01190"></a><span class="lineno"> 1190</span>&#160; }</div>
476
476
  </div><!-- fragment -->
477
477
  </div>
478
478
  </div>
@@ -499,10 +499,10 @@ Friends</h2></td></tr>
499
499
  </table>
500
500
  </div><div class="memdoc">
501
501
 
502
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01117">1117</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
503
- <div class="fragment"><div class="line"><a name="l01118"></a><span class="lineno"> 1118</span>&#160; {</div>
504
- <div class="line"><a name="l01119"></a><span class="lineno"> 1119</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>;</div>
505
- <div class="line"><a name="l01120"></a><span class="lineno"> 1120</span>&#160; }</div>
502
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01128">1128</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
503
+ <div class="fragment"><div class="line"><a name="l01129"></a><span class="lineno"> 1129</span>&#160; {</div>
504
+ <div class="line"><a name="l01130"></a><span class="lineno"> 1130</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>;</div>
505
+ <div class="line"><a name="l01131"></a><span class="lineno"> 1131</span>&#160; }</div>
506
506
  </div><!-- fragment -->
507
507
  </div>
508
508
  </div>
@@ -529,10 +529,10 @@ Friends</h2></td></tr>
529
529
  </table>
530
530
  </div><div class="memdoc">
531
531
 
532
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01141">1141</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
533
- <div class="fragment"><div class="line"><a name="l01142"></a><span class="lineno"> 1142</span>&#160; {</div>
534
- <div class="line"><a name="l01143"></a><span class="lineno"> 1143</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div>
535
- <div class="line"><a name="l01144"></a><span class="lineno"> 1144</span>&#160; }</div>
532
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01152">1152</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
533
+ <div class="fragment"><div class="line"><a name="l01153"></a><span class="lineno"> 1153</span>&#160; {</div>
534
+ <div class="line"><a name="l01154"></a><span class="lineno"> 1154</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div>
535
+ <div class="line"><a name="l01155"></a><span class="lineno"> 1155</span>&#160; }</div>
536
536
  </div><!-- fragment -->
537
537
  </div>
538
538
  </div>
@@ -559,10 +559,10 @@ Friends</h2></td></tr>
559
559
  </table>
560
560
  </div><div class="memdoc">
561
561
 
562
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01125">1125</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
563
- <div class="fragment"><div class="line"><a name="l01126"></a><span class="lineno"> 1126</span>&#160; {</div>
564
- <div class="line"><a name="l01127"></a><span class="lineno"> 1127</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>();</div>
565
- <div class="line"><a name="l01128"></a><span class="lineno"> 1128</span>&#160; }</div>
562
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01136">1136</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
563
+ <div class="fragment"><div class="line"><a name="l01137"></a><span class="lineno"> 1137</span>&#160; {</div>
564
+ <div class="line"><a name="l01138"></a><span class="lineno"> 1138</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>();</div>
565
+ <div class="line"><a name="l01139"></a><span class="lineno"> 1139</span>&#160; }</div>
566
566
  </div><!-- fragment -->
567
567
  </div>
568
568
  </div>
@@ -589,11 +589,11 @@ Friends</h2></td></tr>
589
589
  </table>
590
590
  </div><div class="memdoc">
591
591
 
592
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01165">1165</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
593
- <div class="fragment"><div class="line"><a name="l01166"></a><span class="lineno"> 1166</span>&#160; {</div>
594
- <div class="line"><a name="l01167"></a><span class="lineno"> 1167</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div>
595
- <div class="line"><a name="l01168"></a><span class="lineno"> 1168</span>&#160; <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;getVtablePtr();</div>
596
- <div class="line"><a name="l01169"></a><span class="lineno"> 1169</span>&#160; }</div>
592
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01176">1176</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
593
+ <div class="fragment"><div class="line"><a name="l01177"></a><span class="lineno"> 1177</span>&#160; {</div>
594
+ <div class="line"><a name="l01178"></a><span class="lineno"> 1178</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div>
595
+ <div class="line"><a name="l01179"></a><span class="lineno"> 1179</span>&#160; <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;getVtablePtr();</div>
596
+ <div class="line"><a name="l01180"></a><span class="lineno"> 1180</span>&#160; }</div>
597
597
  </div><!-- fragment -->
598
598
  </div>
599
599
  </div>
@@ -620,10 +620,10 @@ Friends</h2></td></tr>
620
620
  </table>
621
621
  </div><div class="memdoc">
622
622
 
623
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01157">1157</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
624
- <div class="fragment"><div class="line"><a name="l01158"></a><span class="lineno"> 1158</span>&#160; {</div>
625
- <div class="line"><a name="l01159"></a><span class="lineno"> 1159</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05">isVarArg</a>();</div>
626
- <div class="line"><a name="l01160"></a><span class="lineno"> 1160</span>&#160; }</div>
623
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01168">1168</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
624
+ <div class="fragment"><div class="line"><a name="l01169"></a><span class="lineno"> 1169</span>&#160; {</div>
625
+ <div class="line"><a name="l01170"></a><span class="lineno"> 1170</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05">isVarArg</a>();</div>
626
+ <div class="line"><a name="l01171"></a><span class="lineno"> 1171</span>&#160; }</div>
627
627
  </div><!-- fragment -->
628
628
  </div>
629
629
  </div>
@@ -650,10 +650,10 @@ Friends</h2></td></tr>
650
650
  </table>
651
651
  </div><div class="memdoc">
652
652
 
653
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01161">1161</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
654
- <div class="fragment"><div class="line"><a name="l01162"></a><span class="lineno"> 1162</span>&#160; {</div>
655
- <div class="line"><a name="l01163"></a><span class="lineno"> 1163</span>&#160; <span class="keywordflow">return</span> SVFUtil::isa&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>);</div>
656
- <div class="line"><a name="l01164"></a><span class="lineno"> 1164</span>&#160; }</div>
653
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01172">1172</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
654
+ <div class="fragment"><div class="line"><a name="l01173"></a><span class="lineno"> 1173</span>&#160; {</div>
655
+ <div class="line"><a name="l01174"></a><span class="lineno"> 1174</span>&#160; <span class="keywordflow">return</span> SVFUtil::isa&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>);</div>
656
+ <div class="line"><a name="l01175"></a><span class="lineno"> 1175</span>&#160; }</div>
657
657
  </div><!-- fragment -->
658
658
  </div>
659
659
  </div>
@@ -681,10 +681,10 @@ Friends</h2></td></tr>
681
681
  </table>
682
682
  </div><div class="memdoc">
683
683
 
684
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01184">1184</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
685
- <div class="fragment"><div class="line"><a name="l01185"></a><span class="lineno"> 1185</span>&#160; {</div>
686
- <div class="line"><a name="l01186"></a><span class="lineno"> 1186</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> != CS.CB;</div>
687
- <div class="line"><a name="l01187"></a><span class="lineno"> 1187</span>&#160; }</div>
684
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01195">1195</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
685
+ <div class="fragment"><div class="line"><a name="l01196"></a><span class="lineno"> 1196</span>&#160; {</div>
686
+ <div class="line"><a name="l01197"></a><span class="lineno"> 1197</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> != CS.CB;</div>
687
+ <div class="line"><a name="l01198"></a><span class="lineno"> 1198</span>&#160; }</div>
688
688
  </div><!-- fragment -->
689
689
  </div>
690
690
  </div>
@@ -712,10 +712,10 @@ Friends</h2></td></tr>
712
712
  </table>
713
713
  </div><div class="memdoc">
714
714
 
715
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01188">1188</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
716
- <div class="fragment"><div class="line"><a name="l01189"></a><span class="lineno"> 1189</span>&#160; {</div>
717
- <div class="line"><a name="l01190"></a><span class="lineno"> 1190</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">getInstruction</a>() &lt; CS.getInstruction();</div>
718
- <div class="line"><a name="l01191"></a><span class="lineno"> 1191</span>&#160; }</div>
715
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01199">1199</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
716
+ <div class="fragment"><div class="line"><a name="l01200"></a><span class="lineno"> 1200</span>&#160; {</div>
717
+ <div class="line"><a name="l01201"></a><span class="lineno"> 1201</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">getInstruction</a>() &lt; CS.getInstruction();</div>
718
+ <div class="line"><a name="l01202"></a><span class="lineno"> 1202</span>&#160; }</div>
719
719
  </div><!-- fragment -->
720
720
  </div>
721
721
  </div>
@@ -743,10 +743,10 @@ Friends</h2></td></tr>
743
743
  </table>
744
744
  </div><div class="memdoc">
745
745
 
746
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01180">1180</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
747
- <div class="fragment"><div class="line"><a name="l01181"></a><span class="lineno"> 1181</span>&#160; {</div>
748
- <div class="line"><a name="l01182"></a><span class="lineno"> 1182</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> == CS.CB;</div>
749
- <div class="line"><a name="l01183"></a><span class="lineno"> 1183</span>&#160; }</div>
746
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01191">1191</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
747
+ <div class="fragment"><div class="line"><a name="l01192"></a><span class="lineno"> 1192</span>&#160; {</div>
748
+ <div class="line"><a name="l01193"></a><span class="lineno"> 1193</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> == CS.CB;</div>
749
+ <div class="line"><a name="l01194"></a><span class="lineno"> 1194</span>&#160; }</div>
750
750
  </div><!-- fragment -->
751
751
  </div>
752
752
  </div>
@@ -771,7 +771,7 @@ Friends</h2></td></tr>
771
771
  </table>
772
772
  </div><div class="memdoc">
773
773
 
774
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01104">1104</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
774
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01115">1115</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
775
775
 
776
776
  </div>
777
777
  </div>
@@ -796,7 +796,7 @@ Friends</h2></td></tr>
796
796
  </table>
797
797
  </div><div class="memdoc">
798
798
 
799
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01107">1107</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
799
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01118">1118</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
800
800
 
801
801
  </div>
802
802
  </div>
@@ -804,17 +804,17 @@ Friends</h2></td></tr>
804
804
  <li>/home/runner/work/SVF/SVF/svf/include/SVFIR/<a class="el" href="SVFValue_8h_source.html">SVFValue.h</a></li>
805
805
  </ul>
806
806
  </div><!-- contents -->
807
- <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a3cbb4b4089c8b27d01da15f2d2f22e14"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">SVF::SVFCallInst::getArgOperand</a></div><div class="ttdeci">const SVFValue * getArgOperand(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00735">SVFValue.h:735</a></div></div>
808
- <div class="ttc" id="aclassSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01107">SVFValue.h:1107</a></div></div>
807
+ <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a3cbb4b4089c8b27d01da15f2d2f22e14"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">SVF::SVFCallInst::getArgOperand</a></div><div class="ttdeci">const SVFValue * getArgOperand(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00746">SVFValue.h:746</a></div></div>
808
+ <div class="ttc" id="aclassSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01118">SVFValue.h:1118</a></div></div>
809
809
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a11f2d9b6e969ede6fca2c204cc15b821"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">SVF::SVFValue::getType</a></div><div class="ttdeci">virtual const SVFType * getType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00256">SVFValue.h:256</a></div></div>
810
- <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a76a8bb676e8c99ca518cbdf704678558"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a76a8bb676e8c99ca518cbdf704678558">SVF::SVFCallInst::getCaller</a></div><div class="ttdeci">const SVFFunction * getCaller() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00756">SVFValue.h:756</a></div></div>
811
- <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_af19bc370764b552b5ce55c9967bd5a1e"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e">SVF::SVFCallInst::arg_empty</a></div><div class="ttdeci">bool arg_empty() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00731">SVFValue.h:731</a></div></div>
812
- <div class="ttc" id="aclassSVF_1_1CallSite_html_a427a38e580db4bf04c9d716762243c89"><div class="ttname"><a href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01161">SVFValue.h:1161</a></div></div>
813
- <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a61f00e0fde32e5dbe78958d172dd9fd3"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a61f00e0fde32e5dbe78958d172dd9fd3">SVF::SVFCallInst::getCalledOperand</a></div><div class="ttdeci">const SVFValue * getCalledOperand() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00744">SVFValue.h:744</a></div></div>
814
- <div class="ttc" id="aclassSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01117">SVFValue.h:1117</a></div></div>
815
- <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a292de585e06f0f2fe3278c74630f3c05"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05">SVF::SVFCallInst::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00748">SVFValue.h:748</a></div></div>
816
- <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_ab654651e3117e8480544615fb1574766"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#ab654651e3117e8480544615fb1574766">SVF::SVFCallInst::getCalledFunction</a></div><div class="ttdeci">const SVFFunction * getCalledFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00752">SVFValue.h:752</a></div></div>
817
- <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>
810
+ <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a76a8bb676e8c99ca518cbdf704678558"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a76a8bb676e8c99ca518cbdf704678558">SVF::SVFCallInst::getCaller</a></div><div class="ttdeci">const SVFFunction * getCaller() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00767">SVFValue.h:767</a></div></div>
811
+ <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_af19bc370764b552b5ce55c9967bd5a1e"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e">SVF::SVFCallInst::arg_empty</a></div><div class="ttdeci">bool arg_empty() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00742">SVFValue.h:742</a></div></div>
812
+ <div class="ttc" id="aclassSVF_1_1CallSite_html_a427a38e580db4bf04c9d716762243c89"><div class="ttname"><a href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01172">SVFValue.h:1172</a></div></div>
813
+ <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a61f00e0fde32e5dbe78958d172dd9fd3"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a61f00e0fde32e5dbe78958d172dd9fd3">SVF::SVFCallInst::getCalledOperand</a></div><div class="ttdeci">const SVFValue * getCalledOperand() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00755">SVFValue.h:755</a></div></div>
814
+ <div class="ttc" id="aclassSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01128">SVFValue.h:1128</a></div></div>
815
+ <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a292de585e06f0f2fe3278c74630f3c05"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05">SVF::SVFCallInst::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00759">SVFValue.h:759</a></div></div>
816
+ <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_ab654651e3117e8480544615fb1574766"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#ab654651e3117e8480544615fb1574766">SVF::SVFCallInst::getCalledFunction</a></div><div class="ttdeci">const SVFFunction * getCalledFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00763">SVFValue.h:763</a></div></div>
817
+ <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>
818
818
  <!-- start footer part -->
819
819
  <hr class="footer"/><address class="footer"><small>
820
820
  Generated by &#160;<a href="http://www.doxygen.org/index.html">
package/SVF-doxygen/html/classSVF_1_1CmpStmt.html CHANGED
@@ -906,7 +906,7 @@ Additional Inherited Members</h2></td></tr>
906
906
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca257536bcaeadf76c6172db4d225f3a26"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca257536bcaeadf76c6172db4d225f3a26">SVF::CmpStmt::BAD_FCMP_PREDICATE</a></div><div class="ttdeci">@ BAD_FCMP_PREDICATE</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00908">SVFStatements.h:908</a></div></div>
907
907
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f">SVF::CmpStmt::ICMP_NE</a></div><div class="ttdeci">@ ICMP_NE</div><div class="ttdoc">not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00910">SVFStatements.h:910</a></div></div>
908
908
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00947">SVFStatements.h:947</a></div></div>
909
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
909
+ <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01284">LLVMUtil.cpp:1284</a></div></div>
910
910
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">SVF::CmpStmt::ICMP_SLE</a></div><div class="ttdeci">@ ICMP_SLE</div><div class="ttdoc">signed less or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00918">SVFStatements.h:918</a></div></div>
911
911
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80">SVF::CmpStmt::ICMP_SGE</a></div><div class="ttdeci">@ ICMP_SGE</div><div class="ttdoc">signed greater or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00916">SVFStatements.h:916</a></div></div>
912
912
  <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00289">SVFStatements.cpp:289</a></div></div>
package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html CHANGED
@@ -911,7 +911,7 @@ Private Member Functions</h2></td></tr>
911
911
  <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>
912
912
  <div class="ttc" id="aclassSVF_1_1CmpVFGNode_html_aae30d80fd848d62467476d21c691573c"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00330">VFGNode.h:330</a></div></div>
913
913
  <div class="ttc" id="aclassSVF_1_1CmpVFGNode_html_aa972ecfb264d447fecf0326037bbccbe"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe">SVF::CmpVFGNode::getRes</a></div><div class="ttdeci">const PAGNode * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00367">VFGNode.h:367</a></div></div>
914
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
914
+ <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01284">LLVMUtil.cpp:1284</a></div></div>
915
915
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00112">SVFVariables.h:112</a></div></div>
916
916
  <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828">SVF::VFGNode::Cmp</a></div><div class="ttdeci">@ Cmp</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
917
917
  <!-- start footer part -->
package/SVF-doxygen/html/classSVF_1_1ContextDDA.html CHANGED
@@ -2303,7 +2303,7 @@ Additional Inherited Members</h2></td></tr>
2303
2303
  <div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html_ac9897a09cad8a99169f2da2116807b1b"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">SVF::BVDataPTAImpl::getPts</a></div><div class="ttdeci">const PointsTo &amp; getPts(NodeID id) override</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00088">PointerAnalysisImpl.h:88</a></div></div>
2304
2304
  <div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00576">SVFType.h:576</a></div></div>
2305
2305
  <div class="ttc" id="aclassSVF_1_1Andersen_html_a187285a5bdf9422d9188b2b11b667639"><div class="ttname"><a href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen::getPts</a></div><div class="ttdeci">virtual const PointsTo &amp; getPts(NodeID id)</div><div class="ttdoc">Operation of points-to set.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00219">Andersen.h:219</a></div></div>
2306
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00620">SVFValue.h:620</a></div></div>
2306
+ <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00631">SVFValue.h:631</a></div></div>
2307
2307
  <div class="ttc" id="anamespaceSVF_html_ae23af66c8962f4a37da0a5a952bd137a"><div class="ttname"><a href="namespaceSVF.html#ae23af66c8962f4a37da0a5a952bd137a">SVF::CxtPtSet</a></div><div class="ttdeci">CondStdSet&lt; CxtVar &gt; CxtPtSet</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00386">DPItem.h:386</a></div></div>
2308
2308
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a17c5d9fa7c0bd3cd03c06b5ff0906eb6"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a17c5d9fa7c0bd3cd03c06b5ff0906eb6">SVF::SVFIR::getFunPtr</a></div><div class="ttdeci">NodeID getFunPtr(const CallICFGNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00341">SVFIR.h:341</a></div></div>
2309
2309
  <div class="ttc" id="aclassSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00380">SymbolTableInfo.h:380</a></div></div>
package/SVF-doxygen/html/classSVF_1_1CopyStmt.html CHANGED
@@ -599,7 +599,7 @@ Additional Inherited Members</h2></td></tr>
599
599
  <div class="ttc" id="aclassSVF_1_1AssignStmt_html_abc65520cc2b9608c97374829eb475c57"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt::AssignStmt</a></div><div class="ttdeci">AssignStmt()</div><div class="ttdoc">place holder</div></div>
600
600
  <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>
601
601
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_abb784290c90d26f35897fa15bae277d2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00147">SVFStatements.h:147</a></div></div>
602
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
602
+ <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01284">LLVMUtil.cpp:1284</a></div></div>
603
603
  <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00302">SVFStatements.h:302</a></div></div>
604
604
  <!-- start footer part -->
605
605
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1CxtStmt.html CHANGED
@@ -573,7 +573,7 @@ Protected Attributes</h2></td></tr>
573
573
  <div class="ttc" id="aclassSVF_1_1CxtStmt_html_a355b80cc15a3450c6a34915a99caa028"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#a355b80cc15a3450c6a34915a99caa028">SVF::CxtStmt::inst</a></div><div class="ttdeci">const SVFInstruction * inst</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00116">CxtStmt.h:116</a></div></div>
574
574
  <div class="ttc" id="aclassSVF_1_1CxtStmt_html_a85aa14770cec41503d674958f64c43ee"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#a85aa14770cec41503d674958f64c43ee">SVF::CxtStmt::cxtToStr</a></div><div class="ttdeci">std::string cxtToStr() const</div><div class="ttdoc">Return context in string format.</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00096">CxtStmt.h:96</a></div></div>
575
575
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
576
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
576
+ <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01284">LLVMUtil.cpp:1284</a></div></div>
577
577
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a7effb0f37f486745e0cdc3ae5e9c732b"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">SVF::SVFValue::getSourceLoc</a></div><div class="ttdeci">virtual const std::string getSourceLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00280">SVFValue.h:280</a></div></div>
578
578
  <!-- start footer part -->
579
579
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1CxtThread.html CHANGED
@@ -765,7 +765,7 @@ Protected Attributes</h2></td></tr>
765
765
  <div class="ttc" id="aclassSVF_1_1CxtThread_html_aa07c20dee73682364690c3b454084c47"><div class="ttname"><a href="classSVF_1_1CxtThread.html#aa07c20dee73682364690c3b454084c47">SVF::CxtThread::cxtToStr</a></div><div class="ttdeci">std::string cxtToStr() const</div><div class="ttdoc">Return context in string format.</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00244">CxtStmt.h:244</a></div></div>
766
766
  <div class="ttc" id="aclassSVF_1_1CxtThread_html_a2066520689094db3c4a88f5a7fc4ec0c"><div class="ttname"><a href="classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c">SVF::CxtThread::inloop</a></div><div class="ttdeci">bool inloop</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00298">CxtStmt.h:298</a></div></div>
767
767
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
768
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
768
+ <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01284">LLVMUtil.cpp:1284</a></div></div>
769
769
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a7effb0f37f486745e0cdc3ae5e9c732b"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">SVF::SVFValue::getSourceLoc</a></div><div class="ttdeci">virtual const std::string getSourceLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00280">SVFValue.h:280</a></div></div>
770
770
  <!-- start footer part -->
771
771
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html CHANGED
@@ -519,7 +519,7 @@ Additional Inherited Members</h2></td></tr>
519
519
  <div class="ttc" id="aclassSVF_1_1CxtStmt_html_a1fa357ea71dee45deac94141ef8cdd32"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32">SVF::CxtStmt::CxtStmt</a></div><div class="ttdeci">CxtStmt(const CallStrCxt &amp;c, const SVFInstruction *f)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00045">CxtStmt.h:45</a></div></div>
520
520
  <div class="ttc" id="aclassSVF_1_1CxtStmt_html_a85aa14770cec41503d674958f64c43ee"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#a85aa14770cec41503d674958f64c43ee">SVF::CxtStmt::cxtToStr</a></div><div class="ttdeci">std::string cxtToStr() const</div><div class="ttdoc">Return context in string format.</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00096">CxtStmt.h:96</a></div></div>
521
521
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
522
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
522
+ <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01284">LLVMUtil.cpp:1284</a></div></div>
523
523
  <div class="ttc" id="aclassSVF_1_1CxtStmt_html_a4f431c7b6f3434eff34b4cea6853066b"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#a4f431c7b6f3434eff34b4cea6853066b">SVF::CxtStmt::operator=</a></div><div class="ttdeci">CxtStmt &amp; operator=(const CxtStmt &amp;rhs)</div><div class="ttdoc">Overloading operator=.</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00076">CxtStmt.h:76</a></div></div>
524
524
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a7effb0f37f486745e0cdc3ae5e9c732b"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">SVF::SVFValue::getSourceLoc</a></div><div class="ttdeci">virtual const std::string getSourceLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00280">SVFValue.h:280</a></div></div>
525
525
  <!-- start footer part -->