svf-tools 1.0.749 → 1.0.751

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 (550) hide show
  1. package/SVF-doxygen/html/html/AccessPath_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +11 -11
  6. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  7. package/SVF-doxygen/html/html/CFBasicBlockG_8cpp_source.html +4 -4
  8. package/SVF-doxygen/html/html/CFBasicBlockG_8h_source.html +3 -3
  9. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +12 -12
  10. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
  11. package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +8 -8
  13. package/SVF-doxygen/html/html/CHG_8cpp.html +4 -4
  14. package/SVF-doxygen/html/html/CHG_8cpp_source.html +11 -11
  15. package/SVF-doxygen/html/html/CHG_8h_source.html +3 -3
  16. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -3
  17. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +19 -19
  18. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  19. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +10 -10
  20. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +3 -3
  21. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +6 -6
  22. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +6 -6
  23. package/SVF-doxygen/html/html/DCHG_8h_source.html +2 -2
  24. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +10 -10
  25. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +3 -3
  26. package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
  27. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
  28. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +5 -5
  29. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +22 -22
  32. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +1 -1
  33. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +4 -4
  34. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  35. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +9 -9
  36. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +3 -3
  37. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +9 -9
  39. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +9 -9
  40. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +2 -2
  41. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +3 -3
  42. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +5 -5
  43. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +15 -15
  44. package/SVF-doxygen/html/html/ICFG_8h_source.html +2 -2
  45. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +6 -6
  46. package/SVF-doxygen/html/html/IRGraph_8h_source.html +2 -2
  47. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +5 -5
  48. package/SVF-doxygen/html/html/LLVMModule_8cpp.html +1 -60
  49. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1194 -1254
  50. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +38 -38
  51. package/SVF-doxygen/html/html/LLVMUtil_8cpp.html +0 -8
  52. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +25 -44
  53. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +3 -3
  54. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +4 -4
  55. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  56. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +20 -20
  57. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +5 -5
  58. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +8 -8
  59. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +2 -2
  60. package/SVF-doxygen/html/html/MHP_8cpp_source.html +20 -20
  61. package/SVF-doxygen/html/html/MHP_8h_source.html +4 -4
  62. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +5 -5
  63. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  64. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  65. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +2 -2
  66. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +7 -7
  67. package/SVF-doxygen/html/html/MTA_8cpp_source.html +8 -8
  68. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  69. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  70. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +20 -20
  71. package/SVF-doxygen/html/html/MemRegion_8h_source.html +5 -5
  72. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +27 -27
  73. package/SVF-doxygen/html/html/MemSSA_8h_source.html +4 -4
  74. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +2 -2
  75. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
  76. package/SVF-doxygen/html/html/PCG_8cpp_source.html +13 -13
  77. package/SVF-doxygen/html/html/PCG_8h_source.html +3 -3
  78. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +1 -1
  79. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  80. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +5 -5
  81. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +4 -4
  82. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +21 -21
  83. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +2 -2
  84. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +4 -4
  85. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +1 -1
  86. package/SVF-doxygen/html/html/SVFBugReport_8cpp_source.html +1 -1
  87. package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +2 -2
  88. package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +35 -35
  89. package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html +33 -33
  90. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +3 -3
  91. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  92. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +2 -2
  93. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  94. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +3 -3
  95. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +1 -1
  96. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +8 -8
  97. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  98. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8cpp_source.html +70 -70
  99. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8h_source.html +11 -11
  100. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +69 -69
  101. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8h_source.html +11 -11
  102. package/SVF-doxygen/html/html/SVFIR2Relation_8cpp_source.html +38 -38
  103. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +22 -22
  104. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +21 -21
  105. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +21 -21
  106. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +23 -23
  107. package/SVF-doxygen/html/html/SVFIR_8h_source.html +18 -18
  108. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +2 -2
  109. package/SVF-doxygen/html/html/SVFModule_8h_source.html +4 -4
  110. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +7 -7
  111. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +46 -46
  112. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +1116 -1114
  113. package/SVF-doxygen/html/html/SVFType_8h.html +23 -25
  114. package/SVF-doxygen/html/html/SVFType_8h_source.html +134 -137
  115. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +7 -7
  116. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
  117. package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +126 -247
  118. package/SVF-doxygen/html/html/SVFValue_8h.html +1 -1
  119. package/SVF-doxygen/html/html/SVFValue_8h_source.html +1061 -1103
  120. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +6 -6
  121. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +3 -3
  122. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +2 -2
  123. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +26 -26
  124. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +8 -8
  125. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +4 -4
  126. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +3 -3
  127. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  128. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +10 -10
  129. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +2 -2
  130. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +6 -6
  131. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +2 -2
  132. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
  133. package/SVF-doxygen/html/html/TCT_8cpp_source.html +17 -17
  134. package/SVF-doxygen/html/html/TCT_8h_source.html +7 -7
  135. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +9 -9
  136. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +5 -5
  137. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +4 -4
  138. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +1 -1
  139. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +4 -4
  140. package/SVF-doxygen/html/html/VFGNode_8h_source.html +14 -14
  141. package/SVF-doxygen/html/html/VFG_8cpp_source.html +24 -24
  142. package/SVF-doxygen/html/html/VFG_8h_source.html +18 -18
  143. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  144. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
  145. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +7 -7
  146. package/SVF-doxygen/html/html/WPAPass_8h_source.html +3 -3
  147. package/SVF-doxygen/html/html/classSVF_1_1AccessPath.html +2 -2
  148. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +2 -2
  149. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +2 -2
  150. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +23 -23
  151. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +5 -5
  152. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +9 -9
  153. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +2 -2
  154. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +2 -2
  155. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +2 -2
  156. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +51 -51
  158. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +4 -4
  159. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +70 -70
  160. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
  161. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +53 -53
  162. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
  163. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +1 -1
  164. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +13 -13
  165. package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +1 -1
  166. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +8 -8
  167. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +8 -8
  168. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +2 -2
  169. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +1 -1
  170. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +3 -3
  171. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +2 -2
  172. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +40 -40
  174. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +95 -95
  175. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +99 -99
  176. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
  177. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +3 -3
  178. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +17 -17
  179. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +10 -10
  180. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +23 -23
  181. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +2 -2
  182. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +2 -2
  183. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +2 -2
  184. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +5 -5
  185. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
  186. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +2 -2
  187. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
  188. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +4 -4
  189. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +6 -6
  191. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +21 -21
  192. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +2 -2
  193. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +8 -8
  194. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +9 -9
  195. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  196. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +16 -16
  197. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +3 -3
  198. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +4 -4
  199. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +2 -2
  200. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +2 -2
  201. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +56 -56
  202. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +2 -2
  203. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +6 -6
  204. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +9 -9
  205. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +3 -3
  206. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  207. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +2 -2
  208. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +3 -3
  209. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +2 -2
  210. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
  211. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +4 -4
  212. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +2 -2
  213. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +5 -5
  214. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1168 -1215
  215. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +9 -9
  216. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +23 -23
  217. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +19 -19
  218. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +8 -8
  219. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +19 -19
  220. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +1 -1
  221. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +19 -19
  222. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  223. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +5 -5
  224. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +5 -5
  225. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +4 -4
  226. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +4 -4
  227. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +7 -7
  228. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +2 -2
  229. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +26 -26
  230. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +1 -1
  231. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +48 -48
  232. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
  233. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +2 -2
  234. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  235. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +13 -13
  236. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
  237. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +1 -1
  238. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +48 -48
  239. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +20 -20
  240. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +4 -4
  241. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +1 -1
  242. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +1 -1
  243. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +2 -2
  244. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +2 -2
  245. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +40 -40
  246. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument-members.html +35 -36
  247. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html +34 -71
  248. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock-members.html +37 -38
  249. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +139 -178
  250. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue-members.html +38 -39
  251. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html +19 -58
  252. package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +2 -2
  253. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst-members.html +42 -43
  254. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html +70 -71
  255. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant-members.html +34 -35
  256. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html +21 -59
  257. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData-members.html +36 -37
  258. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html +27 -66
  259. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP-members.html +38 -39
  260. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html +25 -66
  261. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt-members.html +40 -41
  262. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html +31 -79
  263. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr-members.html +38 -39
  264. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html +19 -58
  265. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +41 -42
  266. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +206 -241
  267. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +9 -9
  268. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
  269. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +2 -2
  270. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +1 -1
  271. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue-members.html +39 -40
  272. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +37 -73
  273. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +22 -22
  274. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ConsExeState.html +57 -57
  275. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +59 -59
  276. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +39 -39
  277. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction-members.html +37 -38
  278. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +60 -101
  279. package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo.html +2 -2
  280. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue-members.html +36 -37
  281. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html +19 -55
  282. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +2 -2
  283. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue-members.html +34 -35
  284. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue.html +15 -53
  285. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +7 -7
  286. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +43 -41
  287. package/SVF-doxygen/html/html/classSVF_1_1SVFValue-members.html +32 -33
  288. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +44 -51
  289. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst-members.html +47 -48
  290. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html +56 -57
  291. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +26 -26
  292. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +4 -4
  293. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +40 -40
  294. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +3 -3
  295. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +9 -9
  296. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +22 -22
  297. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +6 -6
  298. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +18 -18
  299. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +26 -26
  300. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +25 -25
  301. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +9 -9
  302. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +4 -4
  303. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  304. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +4 -4
  305. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +46 -46
  306. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +2 -2
  307. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +24 -24
  308. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +2 -2
  309. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -2
  310. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  311. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +5 -5
  312. package/SVF-doxygen/html/html/functions_func_p.html +2 -16
  313. package/SVF-doxygen/html/html/functions_func_t.html +1 -1
  314. package/SVF-doxygen/html/html/functions_p.html +0 -14
  315. package/SVF-doxygen/html/html/functions_t.html +1 -1
  316. package/SVF-doxygen/html/html/globals_func.html +0 -3
  317. package/SVF-doxygen/html/html/globals_s.html +3 -6
  318. package/SVF-doxygen/html/html/namespaceSVF.html +29 -96
  319. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +4 -4
  320. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +6 -6
  321. package/SVF-doxygen/html/html/namespacemembers_d.html +2 -5
  322. package/SVF-doxygen/html/html/namespacemembers_func_d.html +2 -5
  323. package/SVF-doxygen/html/html/search/all_10.js +325 -325
  324. package/SVF-doxygen/html/html/search/all_11.js +208 -208
  325. package/SVF-doxygen/html/html/search/all_12.js +545 -546
  326. package/SVF-doxygen/html/html/search/all_13.js +189 -189
  327. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  328. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  329. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  330. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  331. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  332. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  333. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  334. package/SVF-doxygen/html/html/search/all_4.js +26 -27
  335. package/SVF-doxygen/html/html/search/all_5.js +156 -156
  336. package/SVF-doxygen/html/html/search/all_6.js +223 -223
  337. package/SVF-doxygen/html/html/search/all_7.js +1012 -1012
  338. package/SVF-doxygen/html/html/search/all_8.js +192 -192
  339. package/SVF-doxygen/html/html/search/all_9.js +597 -597
  340. package/SVF-doxygen/html/html/search/all_a.js +47 -47
  341. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  342. package/SVF-doxygen/html/html/search/all_c.js +113 -113
  343. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  344. package/SVF-doxygen/html/html/search/all_e.js +206 -206
  345. package/SVF-doxygen/html/html/search/all_f.js +122 -122
  346. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  347. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  348. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  349. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  350. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  351. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  352. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  353. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  354. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  355. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  356. package/SVF-doxygen/html/html/search/classes_4.js +10 -10
  357. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  358. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  359. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  360. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  361. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  362. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  363. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  364. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  365. package/SVF-doxygen/html/html/search/classes_d.js +19 -19
  366. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  367. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  368. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  369. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  370. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  371. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  372. package/SVF-doxygen/html/html/search/defines_4.js +3 -3
  373. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  374. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  375. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  376. package/SVF-doxygen/html/html/search/defines_8.js +13 -13
  377. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  378. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  379. package/SVF-doxygen/html/html/search/defines_b.js +2 -2
  380. package/SVF-doxygen/html/html/search/defines_c.js +2 -2
  381. package/SVF-doxygen/html/html/search/defines_d.js +6 -6
  382. package/SVF-doxygen/html/html/search/defines_e.js +3 -3
  383. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  384. package/SVF-doxygen/html/html/search/enums_1.js +1 -1
  385. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  386. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  387. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  388. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  389. package/SVF-doxygen/html/html/search/enums_4.js +4 -4
  390. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  391. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  392. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  393. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  394. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  395. package/SVF-doxygen/html/html/search/enums_a.js +2 -2
  396. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  397. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  398. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  399. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  400. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  401. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  402. package/SVF-doxygen/html/html/search/enumvalues_1.js +13 -13
  403. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  404. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  405. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  406. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  407. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  408. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  409. package/SVF-doxygen/html/html/search/enumvalues_2.js +40 -40
  410. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  411. package/SVF-doxygen/html/html/search/enumvalues_4.js +34 -34
  412. package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -48
  413. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  414. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  415. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  416. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  417. package/SVF-doxygen/html/html/search/enumvalues_a.js +17 -17
  418. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  419. package/SVF-doxygen/html/html/search/enumvalues_c.js +6 -6
  420. package/SVF-doxygen/html/html/search/enumvalues_d.js +17 -17
  421. package/SVF-doxygen/html/html/search/enumvalues_e.js +11 -11
  422. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  423. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  424. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  425. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  426. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  427. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  428. package/SVF-doxygen/html/html/search/files_2.js +50 -50
  429. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  430. package/SVF-doxygen/html/html/search/files_4.js +4 -4
  431. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  432. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  433. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  434. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  435. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  436. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  437. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  438. package/SVF-doxygen/html/html/search/files_c.js +19 -19
  439. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  440. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  441. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  442. package/SVF-doxygen/html/html/search/functions_0.js +351 -351
  443. package/SVF-doxygen/html/html/search/functions_1.js +80 -80
  444. package/SVF-doxygen/html/html/search/functions_10.js +121 -121
  445. package/SVF-doxygen/html/html/search/functions_11.js +281 -282
  446. package/SVF-doxygen/html/html/search/functions_12.js +55 -55
  447. package/SVF-doxygen/html/html/search/functions_13.js +38 -38
  448. package/SVF-doxygen/html/html/search/functions_14.js +71 -71
  449. package/SVF-doxygen/html/html/search/functions_15.js +29 -29
  450. package/SVF-doxygen/html/html/search/functions_16.js +2 -2
  451. package/SVF-doxygen/html/html/search/functions_17.js +169 -169
  452. package/SVF-doxygen/html/html/search/functions_2.js +251 -251
  453. package/SVF-doxygen/html/html/search/functions_3.js +71 -72
  454. package/SVF-doxygen/html/html/search/functions_4.js +55 -55
  455. package/SVF-doxygen/html/html/search/functions_5.js +55 -55
  456. package/SVF-doxygen/html/html/search/functions_6.js +832 -832
  457. package/SVF-doxygen/html/html/search/functions_7.js +144 -144
  458. package/SVF-doxygen/html/html/search/functions_8.js +417 -417
  459. package/SVF-doxygen/html/html/search/functions_9.js +29 -29
  460. package/SVF-doxygen/html/html/search/functions_a.js +2 -2
  461. package/SVF-doxygen/html/html/search/functions_b.js +23 -23
  462. package/SVF-doxygen/html/html/search/functions_c.js +75 -75
  463. package/SVF-doxygen/html/html/search/functions_d.js +35 -35
  464. package/SVF-doxygen/html/html/search/functions_e.js +56 -56
  465. package/SVF-doxygen/html/html/search/functions_f.js +143 -143
  466. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  467. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  468. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  469. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  470. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  471. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  472. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  473. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  474. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  475. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  476. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  477. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  478. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  479. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  480. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  481. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  482. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  483. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  484. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  485. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  486. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  487. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  488. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  489. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  490. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  491. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  492. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  493. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  494. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  495. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  496. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  497. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  498. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  499. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  500. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  501. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  502. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  503. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  504. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  505. package/SVF-doxygen/html/html/search/variables_0.js +146 -146
  506. package/SVF-doxygen/html/html/search/variables_1.js +74 -74
  507. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  508. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  509. package/SVF-doxygen/html/html/search/variables_12.js +93 -93
  510. package/SVF-doxygen/html/html/search/variables_13.js +77 -77
  511. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  512. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  513. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  514. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  515. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  516. package/SVF-doxygen/html/html/search/variables_2.js +35 -35
  517. package/SVF-doxygen/html/html/search/variables_3.js +148 -148
  518. package/SVF-doxygen/html/html/search/variables_4.js +56 -56
  519. package/SVF-doxygen/html/html/search/variables_5.js +40 -40
  520. package/SVF-doxygen/html/html/search/variables_6.js +67 -67
  521. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  522. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  523. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  524. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  525. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  526. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  527. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  528. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  529. package/SVF-doxygen/html/html/search/variables_f.js +33 -33
  530. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +2 -2
  531. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +3 -3
  532. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +1 -1
  533. package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01NodePair_01_4.html +11 -11
  534. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +7 -7
  535. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  536. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  537. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +11 -11
  538. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +7 -7
  539. package/SVF-doxygen/html/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +13 -13
  540. package/SVF-doxygen/html/html/svf-ex_8cpp.html +2 -2
  541. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +4 -4
  542. package/SVF-doxygen/html/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +3 -3
  543. package/SVF-doxygen/html/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +3 -3
  544. package/package.json +1 -1
  545. package/svf/include/SVFIR/SVFStatements.h +12 -9
  546. package/svf/include/SVFIR/SVFType.h +0 -6
  547. package/svf/include/SVFIR/SVFValue.h +2 -31
  548. package/svf/lib/SVFIR/SVFValue.cpp +0 -95
  549. package/svf-llvm/lib/LLVMModule.cpp +0 -58
  550. package/svf-llvm/lib/LLVMUtil.cpp +13 -28
package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html CHANGED
@@ -300,7 +300,7 @@ Additional Inherited Members</h2></td></tr>
300
300
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
301
301
  <div class="textblock"><p>Gep statement for struct field access, array access and pointer arithmetic </p>
302
302
 
303
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00457">457</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
303
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00460">460</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
304
304
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
305
305
  <a id="a9877729d1b82317d6e5d28bea9741586"></a>
306
306
  <h2 class="memtitle"><span class="permalink"><a href="#a9877729d1b82317d6e5d28bea9741586">&#9670;&nbsp;</a></span>GepStmt() <span class="overload">[1/3]</span></h2>
@@ -327,8 +327,8 @@ Additional Inherited Members</h2></td></tr>
327
327
 
328
328
  <p>Constructs empty <a class="el" href="classSVF_1_1GepStmt.html">GepStmt</a> (for SVFIRReader/serilization) </p>
329
329
 
330
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00464">464</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
331
- <div class="fragment"><div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160;: <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVFStmt::Gep</a>) {}</div>
330
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00467">467</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
331
+ <div class="fragment"><div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160;: <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVFStmt::Gep</a>) {}</div>
332
332
  </div><!-- fragment -->
333
333
  </div>
334
334
  </div>
@@ -408,10 +408,10 @@ Additional Inherited Members</h2></td></tr>
408
408
 
409
409
  <p>constructor </p>
410
410
 
411
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00518">518</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
412
- <div class="fragment"><div class="line"><a name="l00519"></a><span class="lineno"> 519</span>&#160; : <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(s, d, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVFStmt::Gep</a>), <a class="code" href="classSVF_1_1GepStmt.html#ad7cfa816936d38d1d022e2cfdb1c7c44">ap</a>(<a class="code" href="classSVF_1_1GepStmt.html#ad7cfa816936d38d1d022e2cfdb1c7c44">ap</a>), <a class="code" href="classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757">variantField</a>(varfld)</div>
413
- <div class="line"><a name="l00520"></a><span class="lineno"> 520</span>&#160; {</div>
414
- <div class="line"><a name="l00521"></a><span class="lineno"> 521</span>&#160; }</div>
411
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00521">521</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
412
+ <div class="fragment"><div class="line"><a name="l00522"></a><span class="lineno"> 522</span>&#160; : <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(s, d, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVFStmt::Gep</a>), <a class="code" href="classSVF_1_1GepStmt.html#ad7cfa816936d38d1d022e2cfdb1c7c44">ap</a>(<a class="code" href="classSVF_1_1GepStmt.html#ad7cfa816936d38d1d022e2cfdb1c7c44">ap</a>), <a class="code" href="classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757">variantField</a>(varfld)</div>
413
+ <div class="line"><a name="l00523"></a><span class="lineno"> 523</span>&#160; {</div>
414
+ <div class="line"><a name="l00524"></a><span class="lineno"> 524</span>&#160; }</div>
415
415
  </div><!-- fragment -->
416
416
  </div>
417
417
  </div>
@@ -441,10 +441,10 @@ Additional Inherited Members</h2></td></tr>
441
441
 
442
442
  <p>Return accumulated constant offset (when accessing array or struct) if this offset is a constant. </p>
443
443
 
444
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00501">501</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
445
- <div class="fragment"><div class="line"><a name="l00502"></a><span class="lineno"> 502</span>&#160; {</div>
446
- <div class="line"><a name="l00503"></a><span class="lineno"> 503</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">getAccessPath</a>().<a class="code" href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651">computeConstantOffset</a>();</div>
447
- <div class="line"><a name="l00504"></a><span class="lineno"> 504</span>&#160; }</div>
444
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00504">504</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
445
+ <div class="fragment"><div class="line"><a name="l00505"></a><span class="lineno"> 505</span>&#160; {</div>
446
+ <div class="line"><a name="l00506"></a><span class="lineno"> 506</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">getAccessPath</a>().<a class="code" href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651">computeConstantOffset</a>();</div>
447
+ <div class="line"><a name="l00507"></a><span class="lineno"> 507</span>&#160; }</div>
448
448
  </div><!-- fragment -->
449
449
  </div>
450
450
  </div>
@@ -472,10 +472,10 @@ Additional Inherited Members</h2></td></tr>
472
472
  </table>
473
473
  </div><div class="memdoc">
474
474
 
475
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00481">481</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
476
- <div class="fragment"><div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160; {</div>
477
- <div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVFStmt::Gep</a>;</div>
478
- <div class="line"><a name="l00484"></a><span class="lineno"> 484</span>&#160; }</div>
475
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00484">484</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
476
+ <div class="fragment"><div class="line"><a name="l00485"></a><span class="lineno"> 485</span>&#160; {</div>
477
+ <div class="line"><a name="l00486"></a><span class="lineno"> 486</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVFStmt::Gep</a>;</div>
478
+ <div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; }</div>
479
479
  </div><!-- fragment -->
480
480
  </div>
481
481
  </div>
@@ -505,10 +505,10 @@ Additional Inherited Members</h2></td></tr>
505
505
 
506
506
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
507
507
 
508
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00473">473</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
509
- <div class="fragment"><div class="line"><a name="l00474"></a><span class="lineno"> 474</span>&#160; {</div>
510
- <div class="line"><a name="l00475"></a><span class="lineno"> 475</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
511
- <div class="line"><a name="l00476"></a><span class="lineno"> 476</span>&#160; }</div>
508
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00476">476</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
509
+ <div class="fragment"><div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160; {</div>
510
+ <div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
511
+ <div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; }</div>
512
512
  </div><!-- fragment -->
513
513
  </div>
514
514
  </div>
@@ -536,10 +536,10 @@ Additional Inherited Members</h2></td></tr>
536
536
  </table>
537
537
  </div><div class="memdoc">
538
538
 
539
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00477">477</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
540
- <div class="fragment"><div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160; {</div>
541
- <div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVFStmt::Gep</a>;</div>
542
- <div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160; }</div>
539
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00480">480</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
540
+ <div class="fragment"><div class="line"><a name="l00481"></a><span class="lineno"> 481</span>&#160; {</div>
541
+ <div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVFStmt::Gep</a>;</div>
542
+ <div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; }</div>
543
543
  </div><!-- fragment -->
544
544
  </div>
545
545
  </div>
@@ -566,10 +566,10 @@ Additional Inherited Members</h2></td></tr>
566
566
  </table>
567
567
  </div><div class="memdoc">
568
568
 
569
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00487">487</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
570
- <div class="fragment"><div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160; {</div>
571
- <div class="line"><a name="l00489"></a><span class="lineno"> 489</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepStmt.html#ad7cfa816936d38d1d022e2cfdb1c7c44">ap</a>;</div>
572
- <div class="line"><a name="l00490"></a><span class="lineno"> 490</span>&#160; }</div>
569
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00490">490</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
570
+ <div class="fragment"><div class="line"><a name="l00491"></a><span class="lineno"> 491</span>&#160; {</div>
571
+ <div class="line"><a name="l00492"></a><span class="lineno"> 492</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepStmt.html#ad7cfa816936d38d1d022e2cfdb1c7c44">ap</a>;</div>
572
+ <div class="line"><a name="l00493"></a><span class="lineno"> 493</span>&#160; }</div>
573
573
  </div><!-- fragment -->
574
574
  </div>
575
575
  </div>
@@ -598,11 +598,11 @@ Additional Inherited Members</h2></td></tr>
598
598
 
599
599
  <p>Field index of the gep statement if it access the field of a struct. </p>
600
600
 
601
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00506">506</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
602
- <div class="fragment"><div class="line"><a name="l00507"></a><span class="lineno"> 507</span>&#160; {</div>
603
- <div class="line"><a name="l00508"></a><span class="lineno"> 508</span>&#160; assert(<a class="code" href="classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788">isVariantFieldGep</a>()==<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Can&#39;t retrieve the AccessPath if using a variable field index (pointer arithmetic) for struct field access &quot;</span>);</div>
604
- <div class="line"><a name="l00509"></a><span class="lineno"> 509</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">getAccessPath</a>().<a class="code" href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">getConstantFieldIdx</a>();</div>
605
- <div class="line"><a name="l00510"></a><span class="lineno"> 510</span>&#160; }</div>
601
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00509">509</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
602
+ <div class="fragment"><div class="line"><a name="l00510"></a><span class="lineno"> 510</span>&#160; {</div>
603
+ <div class="line"><a name="l00511"></a><span class="lineno"> 511</span>&#160; assert(<a class="code" href="classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788">isVariantFieldGep</a>()==<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Can&#39;t retrieve the AccessPath if using a variable field index (pointer arithmetic) for struct field access &quot;</span>);</div>
604
+ <div class="line"><a name="l00512"></a><span class="lineno"> 512</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">getAccessPath</a>().<a class="code" href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">getConstantFieldIdx</a>();</div>
605
+ <div class="line"><a name="l00513"></a><span class="lineno"> 513</span>&#160; }</div>
606
606
  </div><!-- fragment -->
607
607
  </div>
608
608
  </div>
@@ -629,10 +629,10 @@ Additional Inherited Members</h2></td></tr>
629
629
  </table>
630
630
  </div><div class="memdoc">
631
631
 
632
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00491">491</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
633
- <div class="fragment"><div class="line"><a name="l00492"></a><span class="lineno"> 492</span>&#160; {</div>
634
- <div class="line"><a name="l00493"></a><span class="lineno"> 493</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">getAccessPath</a>().<a class="code" href="classSVF_1_1AccessPath.html#ab0641554924d44f16c2831cac63ccf8b">getOffsetVarAndGepTypePairVec</a>();</div>
635
- <div class="line"><a name="l00494"></a><span class="lineno"> 494</span>&#160; }</div>
632
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00494">494</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
633
+ <div class="fragment"><div class="line"><a name="l00495"></a><span class="lineno"> 495</span>&#160; {</div>
634
+ <div class="line"><a name="l00496"></a><span class="lineno"> 496</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">getAccessPath</a>().<a class="code" href="classSVF_1_1AccessPath.html#ab0641554924d44f16c2831cac63ccf8b">getOffsetVarAndGepTypePairVec</a>();</div>
635
+ <div class="line"><a name="l00497"></a><span class="lineno"> 497</span>&#160; }</div>
636
636
  </div><!-- fragment -->
637
637
  </div>
638
638
  </div>
@@ -661,10 +661,10 @@ Additional Inherited Members</h2></td></tr>
661
661
 
662
662
  <p>Return TRUE if this is a constant location set. </p>
663
663
 
664
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00496">496</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
665
- <div class="fragment"><div class="line"><a name="l00497"></a><span class="lineno"> 497</span>&#160; {</div>
666
- <div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">getAccessPath</a>().<a class="code" href="classSVF_1_1AccessPath.html#a403312192a96a9fd5e7d071481592a7f">isConstantOffset</a>();</div>
667
- <div class="line"><a name="l00499"></a><span class="lineno"> 499</span>&#160; }</div>
664
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00499">499</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
665
+ <div class="fragment"><div class="line"><a name="l00500"></a><span class="lineno"> 500</span>&#160; {</div>
666
+ <div class="line"><a name="l00501"></a><span class="lineno"> 501</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">getAccessPath</a>().<a class="code" href="classSVF_1_1AccessPath.html#a403312192a96a9fd5e7d071481592a7f">isConstantOffset</a>();</div>
667
+ <div class="line"><a name="l00502"></a><span class="lineno"> 502</span>&#160; }</div>
668
668
  </div><!-- fragment -->
669
669
  </div>
670
670
  </div>
@@ -693,10 +693,10 @@ Additional Inherited Members</h2></td></tr>
693
693
 
694
694
  <p>Gep statement with a variant field index (pointer arithmetic) for struct field access. </p>
695
695
 
696
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00512">512</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
697
- <div class="fragment"><div class="line"><a name="l00513"></a><span class="lineno"> 513</span>&#160; {</div>
698
- <div class="line"><a name="l00514"></a><span class="lineno"> 514</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757">variantField</a>;</div>
699
- <div class="line"><a name="l00515"></a><span class="lineno"> 515</span>&#160; }</div>
696
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00515">515</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
697
+ <div class="fragment"><div class="line"><a name="l00516"></a><span class="lineno"> 516</span>&#160; {</div>
698
+ <div class="line"><a name="l00517"></a><span class="lineno"> 517</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757">variantField</a>;</div>
699
+ <div class="line"><a name="l00518"></a><span class="lineno"> 518</span>&#160; }</div>
700
700
  </div><!-- fragment -->
701
701
  </div>
702
702
  </div>
@@ -761,7 +761,7 @@ Additional Inherited Members</h2></td></tr>
761
761
  <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div>
762
762
  <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; {</div>
763
763
  <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
764
- <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
764
+ <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
765
765
  <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; }</div>
766
766
  <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
767
767
  <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160;}</div>
@@ -789,7 +789,7 @@ Additional Inherited Members</h2></td></tr>
789
789
  </table>
790
790
  </div><div class="memdoc">
791
791
 
792
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00460">460</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
792
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00463">463</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
793
793
 
794
794
  </div>
795
795
  </div>
@@ -813,7 +813,7 @@ Additional Inherited Members</h2></td></tr>
813
813
  </table>
814
814
  </div><div class="memdoc">
815
815
 
816
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00459">459</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
816
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00462">462</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
817
817
 
818
818
  </div>
819
819
  </div>
@@ -840,7 +840,7 @@ Additional Inherited Members</h2></td></tr>
840
840
 
841
841
  <p>Access path of the GEP edge. </p>
842
842
 
843
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00468">468</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
843
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00471">471</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
844
844
 
845
845
  </div>
846
846
  </div>
@@ -866,7 +866,7 @@ Additional Inherited Members</h2></td></tr>
866
866
 
867
867
  <p>Gep statement with a variant field index (pointer arithmetic) for struct field access (e.g., p = &amp;(q + f), where f is a variable) </p>
868
868
 
869
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00469">469</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
869
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00472">472</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
870
870
 
871
871
  </div>
872
872
  </div>
@@ -875,21 +875,21 @@ Additional Inherited Members</h2></td></tr>
875
875
  <li>/home/runner/work/SVF/SVF/svf/lib/SVFIR/<a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a></li>
876
876
  </ul>
877
877
  </div><!-- contents -->
878
- <div class="ttc" id="aclassSVF_1_1GepStmt_html_a0ddf180a0f7ba64fc8655687910e3788"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788">SVF::GepStmt::isVariantFieldGep</a></div><div class="ttdeci">bool isVariantFieldGep() const</div><div class="ttdoc">Gep statement with a variant field index (pointer arithmetic) for struct field access.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00512">SVFStatements.h:512</a></div></div>
878
+ <div class="ttc" id="aclassSVF_1_1GepStmt_html_a0ddf180a0f7ba64fc8655687910e3788"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788">SVF::GepStmt::isVariantFieldGep</a></div><div class="ttdeci">bool isVariantFieldGep() const</div><div class="ttdoc">Gep statement with a variant field index (pointer arithmetic) for struct field access.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00515">SVFStatements.h:515</a></div></div>
879
879
  <div class="ttc" id="aclassSVF_1_1Options_html_a424a44f39a43b22434dbdce26007a353"><div class="ttname"><a href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const Option&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>
880
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a1222d0800de27d27078e6b4a5371beb3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00125">SVFValue.cpp:125</a></div></div>
881
- <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00295">SVFStatements.h:295</a></div></div>
880
+ <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00298">SVFStatements.h:298</a></div></div>
882
881
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_a68e49bb797a84ea035ea338549f2e054"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">SVF::AccessPath::getConstantFieldIdx</a></div><div class="ttdeci">APOffset getConstantFieldIdx() const</div><div class="ttdoc">Get methods.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00098">AccessPath.h:98</a></div></div>
883
882
  <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>
884
- <div class="ttc" id="aclassSVF_1_1GepStmt_html_a6c74f234a6b40bc5292bb14874c2e600"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">SVF::GepStmt::getAccessPath</a></div><div class="ttdeci">const AccessPath &amp; getAccessPath() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00487">SVFStatements.h:487</a></div></div>
883
+ <div class="ttc" id="aclassSVF_1_1GepStmt_html_a6c74f234a6b40bc5292bb14874c2e600"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">SVF::GepStmt::getAccessPath</a></div><div class="ttdeci">const AccessPath &amp; getAccessPath() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00490">SVFStatements.h:490</a></div></div>
885
884
  <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>
886
885
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_ae746362c42da05a641ae062658e40651"><div class="ttname"><a href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651">SVF::AccessPath::computeConstantOffset</a></div><div class="ttdeci">APOffset computeConstantOffset() const</div><div class="ttdoc">Return accumulated constant offset given OffsetVarVec.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00118">AccessPath.cpp:118</a></div></div>
887
886
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_ab0641554924d44f16c2831cac63ccf8b"><div class="ttname"><a href="classSVF_1_1AccessPath.html#ab0641554924d44f16c2831cac63ccf8b">SVF::AccessPath::getOffsetVarAndGepTypePairVec</a></div><div class="ttdeci">const OffsetVarAndGepTypePairs &amp; getOffsetVarAndGepTypePairVec() const</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00106">AccessPath.h:106</a></div></div>
888
887
  <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>
889
888
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_a403312192a96a9fd5e7d071481592a7f"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a403312192a96a9fd5e7d071481592a7f">SVF::AccessPath::isConstantOffset</a></div><div class="ttdeci">bool isConstantOffset() const</div><div class="ttdoc">Return TRUE if this is a constant location set.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00049">AccessPath.cpp:49</a></div></div>
890
- <div class="ttc" id="aclassSVF_1_1GepStmt_html_ad7cfa816936d38d1d022e2cfdb1c7c44"><div class="ttname"><a href="classSVF_1_1GepStmt.html#ad7cfa816936d38d1d022e2cfdb1c7c44">SVF::GepStmt::ap</a></div><div class="ttdeci">AccessPath ap</div><div class="ttdoc">Access path of the GEP edge.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00468">SVFStatements.h:468</a></div></div>
891
- <div class="ttc" id="aclassSVF_1_1GepStmt_html_af8eefbd002ec36f36612b8e9ccdbc757"><div class="ttname"><a href="classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757">SVF::GepStmt::variantField</a></div><div class="ttdeci">bool variantField</div><div class="ttdoc">Gep statement with a variant field index (pointer arithmetic) for struct field access (e....</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00469">SVFStatements.h:469</a></div></div>
892
- <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#l00299">SVFStatements.h:299</a></div></div>
889
+ <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#l01038">LLVMUtil.cpp:1038</a></div></div>
890
+ <div class="ttc" id="aclassSVF_1_1GepStmt_html_ad7cfa816936d38d1d022e2cfdb1c7c44"><div class="ttname"><a href="classSVF_1_1GepStmt.html#ad7cfa816936d38d1d022e2cfdb1c7c44">SVF::GepStmt::ap</a></div><div class="ttdeci">AccessPath ap</div><div class="ttdoc">Access path of the GEP edge.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00471">SVFStatements.h:471</a></div></div>
891
+ <div class="ttc" id="aclassSVF_1_1GepStmt_html_af8eefbd002ec36f36612b8e9ccdbc757"><div class="ttname"><a href="classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757">SVF::GepStmt::variantField</a></div><div class="ttdeci">bool variantField</div><div class="ttdoc">Gep statement with a variant field index (pointer arithmetic) for struct field access (e....</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00472">SVFStatements.h:472</a></div></div>
892
+ <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>
893
893
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVF::SVFStmt::Gep</a></div><div class="ttdeci">@ Gep</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00069">SVFStatements.h:69</a></div></div>
894
894
  <!-- start footer part -->
895
895
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html CHANGED
@@ -675,7 +675,7 @@ Additional Inherited Members</h2></td></tr>
675
675
  <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div>
676
676
  <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; {</div>
677
677
  <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
678
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFVar.html#aa72b0f34a0b646751a7b2003d6b9f11e">value</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
678
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFVar.html#aa72b0f34a0b646751a7b2003d6b9f11e">value</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
679
679
  <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; }</div>
680
680
  <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
681
681
  <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160;}</div>
@@ -787,13 +787,13 @@ Additional Inherited Members</h2></td></tr>
787
787
  </div><!-- contents -->
788
788
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string &amp; getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00216">SVFValue.h:216</a></div></div>
789
789
  <div class="ttc" id="aclassSVF_1_1Options_html_a424a44f39a43b22434dbdce26007a353"><div class="ttname"><a href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const Option&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>
790
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a1222d0800de27d27078e6b4a5371beb3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00125">SVFValue.cpp:125</a></div></div>
791
790
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
792
791
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">SVF::SVFVar::GepValNode</a></div><div class="ttdeci">@ GepValNode</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00069">SVFVariables.h:69</a></div></div>
793
792
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_a68e49bb797a84ea035ea338549f2e054"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">SVF::AccessPath::getConstantFieldIdx</a></div><div class="ttdeci">APOffset getConstantFieldIdx() const</div><div class="ttdoc">Get methods.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00098">AccessPath.h:98</a></div></div>
794
793
  <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>
795
794
  <div class="ttc" id="aclassSVF_1_1GepValVar_html_a4aa450bce36b4b9f65b769eae649771a"><div class="ttname"><a href="classSVF_1_1GepValVar.html#a4aa450bce36b4b9f65b769eae649771a">SVF::GepValVar::gepValType</a></div><div class="ttdeci">const SVFType * gepValType</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00387">SVFVariables.h:387</a></div></div>
796
795
  <div class="ttc" id="aclassSVF_1_1GepValVar_html_ada19ed60cb6623867b00b0f59cf0453a"><div class="ttname"><a href="classSVF_1_1GepValVar.html#ada19ed60cb6623867b00b0f59cf0453a">SVF::GepValVar::getConstantFieldIdx</a></div><div class="ttdeci">APOffset getConstantFieldIdx() const</div><div class="ttdoc">offset of the base value variable</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00421">SVFVariables.h:421</a></div></div>
796
+ <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#l01038">LLVMUtil.cpp:1038</a></div></div>
797
797
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_aa72b0f34a0b646751a7b2003d6b9f11e"><div class="ttname"><a href="classSVF_1_1SVFVar.html#aa72b0f34a0b646751a7b2003d6b9f11e">SVF::SVFVar::value</a></div><div class="ttdeci">const SVFValue * value</div><div class="ttdoc">value of this SVFIR node</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00078">SVFVariables.h:78</a></div></div>
798
798
  <div class="ttc" id="aclassSVF_1_1GepValVar_html_a07b41362e4699c930af7bbe178e0b252"><div class="ttname"><a href="classSVF_1_1GepValVar.html#a07b41362e4699c930af7bbe178e0b252">SVF::GepValVar::ap</a></div><div class="ttdeci">AccessPath ap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00386">SVFVariables.h:386</a></div></div>
799
799
  <div class="ttc" id="aclassSVF_1_1ValVar_html_a5c097c0686df4897325bbdbb4067d6e5"><div class="ttname"><a href="classSVF_1_1ValVar.html#a5c097c0686df4897325bbdbb4067d6e5">SVF::ValVar::ValVar</a></div><div class="ttdeci">ValVar(NodeID i, PNODEK ty=ValNode)</div><div class="ttdoc">Constructor to create an empty ValVar (for SVFIRReader/deserialization)</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00269">SVFVariables.h:269</a></div></div>
package/SVF-doxygen/html/html/classSVF_1_1ICFG.html CHANGED
@@ -1290,7 +1290,7 @@ Additional Inherited Members</h2></td></tr>
1290
1290
  <p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00235">235</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
1291
1291
  <div class="fragment"><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160;{</div>
1292
1292
  <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#afdc3358522417de9a0d3a181a329f722">SVFUtil::isCallSite</a>(inst) ==<span class="keyword">false</span>)</div>
1293
- <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; inst-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
1293
+ <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; inst-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
1294
1294
  <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; assert(<a class="code" href="namespaceSVF_1_1SVFUtil.html#afdc3358522417de9a0d3a181a329f722">SVFUtil::isCallSite</a>(inst) &amp;&amp; <span class="stringliteral">&quot;not a call instruction?&quot;</span>);</div>
1295
1295
  <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; assert(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a4af4db2fe43846609d2ed1d7022b1be1">SVFUtil::isNonInstricCallSite</a>(inst) &amp;&amp; <span class="stringliteral">&quot;associating an intrinsic debug instruction with an ICFGNode!&quot;</span>);</div>
1296
1296
  <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* node = <a class="code" href="classSVF_1_1ICFG.html#a1490b28446b9d8efee567ec02e2abcf3">getCallBlock</a>(inst);</div>
@@ -2494,18 +2494,17 @@ Additional Inherited Members</h2></td></tr>
2494
2494
  <div class="ttc" id="aclassSVF_1_1ICFGNode_html_a6c68f52dd90728073fb79141df9b0661"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661">SVF::ICFGNode::getSVFStmts</a></div><div class="ttdeci">const SVFStmtList &amp; getSVFStmts() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00127">ICFGNode.h:127</a></div></div>
2495
2495
  <div class="ttc" id="aclassSVF_1_1ICFG_html_af0434d6ffd247eeaf73b9294e659a3f9"><div class="ttname"><a href="classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9">SVF::ICFG::CSToCallNodeMap</a></div><div class="ttdeci">CSToCallNodeMapTy CSToCallNodeMap</div><div class="ttdoc">map a callsite to its CallICFGNode</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00073">ICFG.h:73</a></div></div>
2496
2496
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a5df6061b65d021cd73c66592ec79f052"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052">SVF::ICFG::totalICFGNode</a></div><div class="ttdeci">NodeID totalICFGNode</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00068">ICFG.h:68</a></div></div>
2497
- <div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00591">SVFStatements.h:591</a></div></div>
2497
+ <div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00594">SVFStatements.h:594</a></div></div>
2498
2498
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a1af9ae1c2efb4cb7897d5234d035c06b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a1af9ae1c2efb4cb7897d5234d035c06b">SVF::ICFG::addFunEntryBlock</a></div><div class="ttdeci">FunEntryICFGNode * addFunEntryBlock(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00252">ICFG.h:252</a></div></div>
2499
2499
  <div class="ttc" id="aclassSVF_1_1ICFG_html_ad0183e8975e7190a121d8cb2aeec3d94"><div class="ttname"><a href="classSVF_1_1ICFG.html#ad0183e8975e7190a121d8cb2aeec3d94">SVF::ICFG::addIntraBlock</a></div><div class="ttdeci">IntraICFGNode * addIntraBlock(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00236">ICFG.h:236</a></div></div>
2500
2500
  <div class="ttc" id="aclassSVF_1_1Options_html_ae7ccfb3d1308e205e5014849dcc43d9a"><div class="ttname"><a href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options::DumpICFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpICFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00136">Options.h:136</a></div></div>
2501
2501
  <div class="ttc" id="aclassSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
2502
2502
  <div class="ttc" id="aclassSVF_1_1RetCFGEdge_html"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html">SVF::RetCFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00227">ICFGEdge.h:227</a></div></div>
2503
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a1222d0800de27d27078e6b4a5371beb3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00125">SVFValue.cpp:125</a></div></div>
2504
2503
  <div class="ttc" id="aclassSVF_1_1ICFG_html_acc261924103bd0c357acd3acfa6cf38a"><div class="ttname"><a href="classSVF_1_1ICFG.html#acc261924103bd0c357acd3acfa6cf38a">SVF::ICFG::getFunEntryBlock</a></div><div class="ttdeci">FunEntryICFGNode * getFunEntryBlock(const SVFFunction *fun)</div><div class="ttdoc">Get/Add a function entry node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00245">ICFG.h:245</a></div></div>
2505
2504
  <div class="ttc" id="aclassSVF_1_1ICFG_html_aa41516cdd2be5066adf22798a4fe2213"><div class="ttname"><a href="classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213">SVF::ICFG::getCallICFGNode</a></div><div class="ttdeci">CallICFGNode * getCallICFGNode(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00235">ICFG.cpp:235</a></div></div>
2506
2505
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a2ad6c1e49cc847df18342cbbe6224863"><div class="ttname"><a href="classSVF_1_1ICFG.html#a2ad6c1e49cc847df18342cbbe6224863">SVF::ICFG::addCallEdge</a></div><div class="ttdeci">ICFGEdge * addCallEdge(ICFGNode *srcNode, ICFGNode *dstNode, const SVFInstruction *cs)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00404">ICFG.cpp:404</a></div></div>
2507
2506
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a881fe977f3a6fde223bd786121e35fcf"><div class="ttname"><a href="classSVF_1_1ICFG.html#a881fe977f3a6fde223bd786121e35fcf">SVF::ICFG::getRetICFGNode</a></div><div class="ttdeci">RetICFGNode * getRetICFGNode(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00248">ICFG.cpp:248</a></div></div>
2508
- <div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00531">SVFStatements.h:531</a></div></div>
2507
+ <div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00534">SVFStatements.h:534</a></div></div>
2509
2508
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
2510
2509
  <div class="ttc" id="aclassSVF_1_1ICFGEdge_html_a4e6d228dfc678618a423e8293877f04c"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c">SVF::ICFGEdge::isIntraCFGEdge</a></div><div class="ttdeci">bool isIntraCFGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00085">ICFGEdge.h:85</a></div></div>
2511
2510
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0a8831a5429005ff9d71adbd6bf3994f"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">SVF::GenericGraph::addGNode</a></div><div class="ttdeci">void addGNode(NodeID id, NodeType *node)</div><div class="ttdoc">Add a Node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00399">GenericGraph.h:399</a></div></div>
@@ -2523,7 +2522,7 @@ Additional Inherited Members</h2></td></tr>
2523
2522
  <div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html">SVF::IntraCFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00113">ICFGEdge.h:113</a></div></div>
2524
2523
  <div class="ttc" id="aclassSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541">SVF::ICFGEdge::RetCF</a></div><div class="ttdeci">@ RetCF</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00057">ICFGEdge.h:57</a></div></div>
2525
2524
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a8e43b27d4484a4acb575e4c1c6c8fd02"><div class="ttname"><a href="classSVF_1_1ICFG.html#a8e43b27d4484a4acb575e4c1c6c8fd02">SVF::ICFG::globalBlockNode</a></div><div class="ttdeci">GlobalICFGNode * globalBlockNode</div><div class="ttdoc">unique basic block for all globals</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00076">ICFG.h:76</a></div></div>
2526
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00274">SVFValue.h:274</a></div></div>
2525
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00270">SVFValue.h:270</a></div></div>
2527
2526
  <div class="ttc" id="aclassSVF_1_1CallICFGNode_html_aa11226a2e4fa6a7b1d78006cc8ca0518"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html#aa11226a2e4fa6a7b1d78006cc8ca0518">SVF::CallICFGNode::isIndirectCall</a></div><div class="ttdeci">bool isIndirectCall() const</div><div class="ttdoc">Return true if this is an indirect call.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00440">ICFGNode.h:440</a></div></div>
2528
2527
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a534625b10673efe5b0f344bfebf9b3cf"><div class="ttname"><a href="classSVF_1_1ICFG.html#a534625b10673efe5b0f344bfebf9b3cf">SVF::ICFG::removeICFGEdge</a></div><div class="ttdeci">void removeICFGEdge(ICFGEdge *edge)</div><div class="ttdoc">Remove a SVFG edge.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00152">ICFG.h:152</a></div></div>
2529
2528
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a15816a82d8c33a066009440dce6ee973"><div class="ttname"><a href="classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973">SVF::ICFG::addICFGNode</a></div><div class="ttdeci">virtual void addICFGNode(ICFGNode *node)</div><div class="ttdoc">Add a ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00194">ICFG.h:194</a></div></div>
@@ -2541,6 +2540,7 @@ Additional Inherited Members</h2></td></tr>
2541
2540
  <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>
2542
2541
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a6885064afa211958af7b73f0233284e5"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">SVF::GenericGraph::hasGNode</a></div><div class="ttdeci">bool hasGNode(NodeID id) const</div><div class="ttdoc">Has a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00414">GenericGraph.h:414</a></div></div>
2543
2542
  <div class="ttc" id="aclassSVF_1_1ICFG_html_ac51c8f38efbd2576e150a9fc26a4a41b"><div class="ttname"><a href="classSVF_1_1ICFG.html#ac51c8f38efbd2576e150a9fc26a4a41b">SVF::ICFG::addCallBlock</a></div><div class="ttdeci">CallICFGNode * addCallBlock(const SVFInstruction *cs)</div><div class="ttdoc">Get/Add a call node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00277">ICFG.h:277</a></div></div>
2543
+ <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#l01038">LLVMUtil.cpp:1038</a></div></div>
2544
2544
  <div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html">SVF::FunExitICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00324">ICFGNode.h:324</a></div></div>
2545
2545
  <div class="ttc" id="aclassSVF_1_1GraphPrinter_html_a014217fb0d05c8f2a2f1a6c5b19d3e10"><div class="ttname"><a href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">SVF::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &amp;O, const std::string &amp;GraphName, const GraphType &amp;GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00056">GraphPrinter.h:56</a></div></div>
2546
2546
  <div class="ttc" id="aclassSVF_1_1ICFG_html_aa662baae5682ef6ec5084fa4147c9709"><div class="ttname"><a href="classSVF_1_1ICFG.html#aa662baae5682ef6ec5084fa4147c9709">SVF::ICFG::hasIntraICFGEdge</a></div><div class="ttdeci">ICFGEdge * hasIntraICFGEdge(ICFGNode *src, ICFGNode *dst, ICFGEdge::ICFGEdgeK kind)</div><div class="ttdoc">Whether we has a SVFG edge.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00289">ICFG.cpp:289</a></div></div>
@@ -2552,7 +2552,7 @@ Additional Inherited Members</h2></td></tr>
2552
2552
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a22d7f37a0cb2df90f73c1f2e3eaa71c6"><div class="ttname"><a href="classSVF_1_1ICFG.html#a22d7f37a0cb2df90f73c1f2e3eaa71c6">SVF::ICFG::getFunExitBlock</a></div><div class="ttdeci">FunExitICFGNode * getFunExitBlock(const SVFFunction *fun)</div><div class="ttdoc">Get/Add a function exit node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00261">ICFG.h:261</a></div></div>
2553
2553
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a999956500bbd605326531480546db9ba"><div class="ttname"><a href="classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba">SVF::ICFG::dump</a></div><div class="ttdeci">void dump(const std::string &amp;file, bool simple=false)</div><div class="ttdoc">Dump graph into dot file.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00441">ICFG.cpp:441</a></div></div>
2554
2554
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a8a5e7571e804702a2d0af7d420f21b33"><div class="ttname"><a href="classSVF_1_1ICFG.html#a8a5e7571e804702a2d0af7d420f21b33">SVF::ICFG::addRetEdge</a></div><div class="ttdeci">ICFGEdge * addRetEdge(ICFGNode *srcNode, ICFGNode *dstNode, const SVFInstruction *cs)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00422">ICFG.cpp:422</a></div></div>
2555
- <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#l00595">SVFValue.h:595</a></div></div>
2555
+ <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#l00587">SVFValue.h:587</a></div></div>
2556
2556
  <div class="ttc" id="aclassSVF_1_1ICFG_html_adafd8bbb91507a9a78a3f16305812afc"><div class="ttname"><a href="classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc">SVF::ICFG::addIntraEdge</a></div><div class="ttdeci">ICFGEdge * addIntraEdge(ICFGNode *srcNode, ICFGNode *dstNode)</div><div class="ttdoc">Add control-flow edges for top level pointers.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00363">ICFG.cpp:363</a></div></div>
2557
2557
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_afdc3358522417de9a0d3a181a329f722"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#afdc3358522417de9a0d3a181a329f722">SVF::SVFUtil::isCallSite</a></div><div class="ttdeci">bool isCallSite(const SVFInstruction *inst)</div><div class="ttdoc">Whether an instruction is a call or invoke instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00174">SVFUtil.h:174</a></div></div>
2558
2558
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a0e43308038663c10667177238b23ab3e"><div class="ttname"><a href="classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e">SVF::ICFG::CSToRetNodeMap</a></div><div class="ttdeci">CSToRetNodeMapTy CSToRetNodeMap</div><div class="ttdoc">map a callsite to its RetICFGNode</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00074">ICFG.h:74</a></div></div>
package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html CHANGED
@@ -760,7 +760,7 @@ Private Attributes</h2></td></tr>
760
760
  </div><!-- contents -->
761
761
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_acf40310917909e4234282c0695a43160"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">SVF::LLVMModuleSet::getLLVMModuleSet</a></div><div class="ttdeci">static LLVMModuleSet * getLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00098">LLVMModule.h:98</a></div></div>
762
762
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4af4db2fe43846609d2ed1d7022b1be1"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4af4db2fe43846609d2ed1d7022b1be1">SVF::SVFUtil::isNonInstricCallSite</a></div><div class="ttdeci">bool isNonInstricCallSite(const SVFInstruction *inst)</div><div class="ttdoc">Whether an instruction is a callsite in the application code, excluding llvm intrinsic calls.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00188">SVFUtil.h:188</a></div></div>
763
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a8f2aced2df91bf97d644d9a2de449c38"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8f2aced2df91bf97d644d9a2de449c38">SVF::SVFFunction::getBasicBlockList</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getBasicBlockList() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00419">SVFValue.h:419</a></div></div>
763
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a8f2aced2df91bf97d644d9a2de449c38"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8f2aced2df91bf97d644d9a2de449c38">SVF::SVFFunction::getBasicBlockList</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getBasicBlockList() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00413">SVFValue.h:413</a></div></div>
764
764
  <div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_acb5253395384d36767173aa4aa39576b"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#acb5253395384d36767173aa4aa39576b">SVF::ICFGBuilder::processFunEntry</a></div><div class="ttdeci">void processFunEntry(const Function *fun, WorkList &amp;worklist)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8cpp_source.html#l00068">ICFGBuilder.cpp:68</a></div></div>
765
765
  <div class="ttc" id="aclassSVF_1_1FunEntryICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunEntryICFGNode.html">SVF::FunEntryICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00261">ICFGNode.h:261</a></div></div>
766
766
  <div class="ttc" id="aclassSVF_1_1RetICFGNode_html"><div class="ttname"><a href="classSVF_1_1RetICFGNode.html">SVF::RetICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00487">ICFGNode.h:487</a></div></div>
@@ -773,23 +773,23 @@ Private Attributes</h2></td></tr>
773
773
  <div class="ttc" id="anamespaceSVF_html_a412280b134578905248ce0122c5db7c9"><div class="ttname"><a href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SVF::SwitchInst</a></div><div class="ttdeci">llvm::SwitchInst SwitchInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00153">BasicTypes.h:153</a></div></div>
774
774
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a50fc24901350df9db890ba16a9b87e33"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet::getSVFFunction</a></div><div class="ttdeci">SVFFunction * getSVFFunction(const Function *fun) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00195">LLVMModule.h:195</a></div></div>
775
775
  <div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_a237840a1fd5ba598cc8c1843bad86f86"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#a237840a1fd5ba598cc8c1843bad86f86">SVF::ICFGBuilder::getCallICFGNode</a></div><div class="ttdeci">CallICFGNode * getCallICFGNode(const SVFInstruction *cs)</div><div class="ttdoc">Add a call node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8h_source.html#l00087">ICFGBuilder.h:87</a></div></div>
776
- <div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00555">SVFType.h:555</a></div></div>
776
+ <div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00549">SVFType.h:549</a></div></div>
777
777
  <div class="ttc" id="aclassSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
778
778
  <div class="ttc" id="anamespaceSVF_html_a5faee14fa1dd41447bc73ac365fe33c1"><div class="ttname"><a href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a></div><div class="ttdeci">llvm::Function Function</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00083">BasicTypes.h:83</a></div></div>
779
779
  <div class="ttc" id="aclassSVF_1_1ICFG_html_aa41516cdd2be5066adf22798a4fe2213"><div class="ttname"><a href="classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213">SVF::ICFG::getCallICFGNode</a></div><div class="ttdeci">CallICFGNode * getCallICFGNode(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00235">ICFG.cpp:235</a></div></div>
780
780
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a2ad6c1e49cc847df18342cbbe6224863"><div class="ttname"><a href="classSVF_1_1ICFG.html#a2ad6c1e49cc847df18342cbbe6224863">SVF::ICFG::addCallEdge</a></div><div class="ttdeci">ICFGEdge * addCallEdge(ICFGNode *srcNode, ICFGNode *dstNode, const SVFInstruction *cs)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00404">ICFG.cpp:404</a></div></div>
781
781
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a881fe977f3a6fde223bd786121e35fcf"><div class="ttname"><a href="classSVF_1_1ICFG.html#a881fe977f3a6fde223bd786121e35fcf">SVF::ICFG::getRetICFGNode</a></div><div class="ttdeci">RetICFGNode * getRetICFGNode(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00248">ICFG.cpp:248</a></div></div>
782
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_aef7ad257ea809101df33779463907f3e"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">SVF::SVFInstruction::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00649">SVFValue.h:649</a></div></div>
782
+ <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_aef7ad257ea809101df33779463907f3e"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">SVF::SVFInstruction::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00639">SVFValue.h:639</a></div></div>
783
783
  <div class="ttc" id="anamespaceSVF_html_ac9a05dd7ab16e998625037aa242cd30f"><div class="ttname"><a href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">SVF::BranchInst</a></div><div class="ttdeci">llvm::BranchInst BranchInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00152">BasicTypes.h:152</a></div></div>
784
784
  <div class="ttc" id="aclassSVF_1_1ICFG_html_aaf521832909781894659725300cf4f49"><div class="ttname"><a href="classSVF_1_1ICFG.html#aaf521832909781894659725300cf4f49">SVF::ICFG::getIntraICFGNode</a></div><div class="ttdeci">IntraICFGNode * getIntraICFGNode(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00259">ICFG.cpp:259</a></div></div>
785
785
  <div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_a05539eb12b22886ea4b5b4275f601641"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#a05539eb12b22886ea4b5b4275f601641">SVF::ICFGBuilder::connectGlobalToProgEntry</a></div><div class="ttdeci">void connectGlobalToProgEntry(SVFModule *svfModule)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8cpp_source.html#l00225">ICFGBuilder.cpp:225</a></div></div>
786
786
  <div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_adefeaad9c02000f263430dfee7149ea6"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#adefeaad9c02000f263430dfee7149ea6">SVF::ICFGBuilder::icfg</a></div><div class="ttdeci">ICFG * icfg</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8h_source.html#l00048">ICFGBuilder.h:48</a></div></div>
787
787
  <div class="ttc" id="aclassSVF_1_1ICFG_html_af1b2d2839f811a00103df87342dfc919"><div class="ttname"><a href="classSVF_1_1ICFG.html#af1b2d2839f811a00103df87342dfc919">SVF::ICFG::getFunExitICFGNode</a></div><div class="ttdeci">FunExitICFGNode * getFunExitICFGNode(const SVFFunction *fun)</div><div class="ttdoc">Add a function exit node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00277">ICFG.cpp:277</a></div></div>
788
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00490">SVFValue.h:490</a></div></div>
788
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00484">SVFValue.h:484</a></div></div>
789
789
  <div class="ttc" id="aclassSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00385">ICFGNode.h:385</a></div></div>
790
790
  <div class="ttc" id="anamespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00085">BasicTypes.h:85</a></div></div>
791
791
  <div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html">SVF::IntraCFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00113">ICFGEdge.h:113</a></div></div>
792
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00274">SVFValue.h:274</a></div></div>
792
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00270">SVFValue.h:270</a></div></div>
793
793
  <div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_a57af1044422b3c3860aa6fb033f8111e"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#a57af1044422b3c3860aa6fb033f8111e">SVF::ICFGBuilder::InstVec</a></div><div class="ttdeci">std::vector&lt; const Instruction * &gt; InstVec</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8h_source.html#l00044">ICFGBuilder.h:44</a></div></div>
794
794
  <div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_a1dcbf68690a010d9128bfe2d0c137783"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#a1dcbf68690a010d9128bfe2d0c137783">SVF::ICFGBuilder::addICFGInterEdges</a></div><div class="ttdeci">void addICFGInterEdges(const SVFInstruction *cs, const SVFFunction *callee)</div><div class="ttdoc">Create edges between ICFG nodes across functions.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8cpp_source.html#l00194">ICFGBuilder.cpp:194</a></div></div>
795
795
  <div class="ttc" id="aclassSVF_1_1ICFG_html_ae0b05ce161d62362642803158228e5d0"><div class="ttname"><a href="classSVF_1_1ICFG.html#ae0b05ce161d62362642803158228e5d0">SVF::ICFG::getGlobalICFGNode</a></div><div class="ttdeci">GlobalICFGNode * getGlobalICFGNode() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00215">ICFG.h:215</a></div></div>
@@ -807,17 +807,17 @@ Private Attributes</h2></td></tr>
807
807
  <div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html">SVF::FunExitICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00324">ICFGNode.h:324</a></div></div>
808
808
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4550f2fb815882edfb666ac818792064"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(const std::string &amp;msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00099">SVFUtil.cpp:99</a></div></div>
809
809
  <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
810
- <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01066">LLVMModule.cpp:1066</a></div></div>
810
+ <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01008">LLVMModule.cpp:1008</a></div></div>
811
811
  <div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_af46638008b796fdb491624f32b31d8a3"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#af46638008b796fdb491624f32b31d8a3">SVF::ICFGBuilder::processFunExit</a></div><div class="ttdeci">void processFunExit(const Function *fun)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8cpp_source.html#l00157">ICFGBuilder.cpp:157</a></div></div>
812
812
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a8a5e7571e804702a2d0af7d420f21b33"><div class="ttname"><a href="classSVF_1_1ICFG.html#a8a5e7571e804702a2d0af7d420f21b33">SVF::ICFG::addRetEdge</a></div><div class="ttdeci">ICFGEdge * addRetEdge(ICFGNode *srcNode, ICFGNode *dstNode, const SVFInstruction *cs)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00422">ICFG.cpp:422</a></div></div>
813
813
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_afbd60d5443c7fa1448813d00bb5d0fa7"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#afbd60d5443c7fa1448813d00bb5d0fa7">SVF::LLVMUtil::getNextInsts</a></div><div class="ttdeci">void getNextInsts(const Instruction *curInst, std::vector&lt; const SVFInstruction * &gt; &amp;instList)</div><div class="ttdoc">Get the next instructions following control flow.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00277">LLVMUtil.cpp:277</a></div></div>
814
- <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#l00549">SVFType.h:549</a></div></div>
815
- <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#l00595">SVFValue.h:595</a></div></div>
814
+ <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#l00543">SVFType.h:543</a></div></div>
815
+ <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#l00587">SVFValue.h:587</a></div></div>
816
816
  <div class="ttc" id="aclassSVF_1_1ICFG_html_adafd8bbb91507a9a78a3f16305812afc"><div class="ttname"><a href="classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc">SVF::ICFG::addIntraEdge</a></div><div class="ttdeci">ICFGEdge * addIntraEdge(ICFGNode *srcNode, ICFGNode *dstNode)</div><div class="ttdoc">Add control-flow edges for top level pointers.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00363">ICFG.cpp:363</a></div></div>
817
817
  <div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00054">SVFType.h:54</a></div></div>
818
818
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a003b769751b93b94bdb011bd704cfde1"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a003b769751b93b94bdb011bd704cfde1">SVF::LLVMUtil::isIntrinsicInst</a></div><div class="ttdeci">bool isIntrinsicInst(const Instruction *inst)</div><div class="ttdoc">Return true if it is an intrinsic instruction.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00206">LLVMUtil.cpp:206</a></div></div>
819
819
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_afdc3358522417de9a0d3a181a329f722"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#afdc3358522417de9a0d3a181a329f722">SVF::SVFUtil::isCallSite</a></div><div class="ttdeci">bool isCallSite(const SVFInstruction *inst)</div><div class="ttdoc">Whether an instruction is a call or invoke instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00174">SVFUtil.h:174</a></div></div>
820
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_a454f676881eecf4b7399649a81180b5d"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d">SVF::SVFInstruction::isRetInst</a></div><div class="ttdeci">bool isRetInst() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00659">SVFValue.h:659</a></div></div>
820
+ <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_a454f676881eecf4b7399649a81180b5d"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d">SVF::SVFInstruction::isRetInst</a></div><div class="ttdeci">bool isRetInst() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00649">SVFValue.h:649</a></div></div>
821
821
  <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
822
822
  <div class="ttc" id="aclassSVF_1_1GlobalICFGNode_html"><div class="ttname"><a href="classSVF_1_1GlobalICFGNode.html">SVF::GlobalICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00148">ICFGNode.h:148</a></div></div>
823
823
  <div class="ttc" id="aclassSVF_1_1ICFG_html_adce53ce7392af67e1c6764ecba6fe774"><div class="ttname"><a href="classSVF_1_1ICFG.html#adce53ce7392af67e1c6764ecba6fe774">SVF::ICFG::addGlobalICFGNode</a></div><div class="ttdeci">void addGlobalICFGNode()</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00219">ICFG.h:219</a></div></div>