svf-tools 1.0.596 → 1.0.598

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 (802) hide show
  1. package/README.md +1 -1
  2. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +4 -4
  3. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +7 -7
  5. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +11 -11
  6. package/SVF-doxygen/html/html/Andersen_8h_source.html +5 -5
  7. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +7 -7
  8. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
  9. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +8 -8
  10. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +4 -4
  11. package/SVF-doxygen/html/html/CFLGraph_8cpp.html +3 -2
  12. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +15 -16
  13. package/SVF-doxygen/html/html/CFLGraph_8h.html +4 -6
  14. package/SVF-doxygen/html/html/CFLGraph_8h_source.html +19 -20
  15. package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +4 -4
  16. package/SVF-doxygen/html/html/CFLStat_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +8 -8
  18. package/SVF-doxygen/html/html/CHG_8cpp.html +6 -5
  19. package/SVF-doxygen/html/html/CHG_8cpp_source.html +26 -27
  20. package/SVF-doxygen/html/html/CHG_8h.html +4 -6
  21. package/SVF-doxygen/html/html/CHG_8h_source.html +13 -14
  22. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -3
  23. package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +3 -3
  24. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +7 -7
  25. package/SVF-doxygen/html/html/ConsG_8cpp.html +3 -2
  26. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +27 -28
  27. package/SVF-doxygen/html/html/ConsG_8h.html +4 -6
  28. package/SVF-doxygen/html/html/ConsG_8h_source.html +10 -11
  29. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +7 -7
  30. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +3 -3
  31. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +4 -4
  32. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +21 -21
  33. package/SVF-doxygen/html/html/DCHG_8h.html +4 -6
  34. package/SVF-doxygen/html/html/DCHG_8h_source.html +15 -16
  35. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +3 -3
  36. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  37. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +9 -9
  38. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
  39. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +8 -8
  40. package/SVF-doxygen/html/html/DOTGraphTraits_8h.html +4 -3
  41. package/SVF-doxygen/html/html/DOTGraphTraits_8h_source.html +24 -24
  42. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +4 -4
  43. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  44. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +5 -5
  45. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +1 -1
  46. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +12 -12
  47. package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  49. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +3 -3
  50. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
  51. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +8 -8
  52. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +6 -6
  53. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +1 -1
  54. package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +2 -2
  55. package/SVF-doxygen/html/html/GenericGraph_8h.html +8 -9
  56. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +125 -125
  57. package/SVF-doxygen/html/html/GraphPrinter_8h.html +3 -2
  58. package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +7 -7
  59. package/SVF-doxygen/html/html/GraphReachSolver_8h_source.html +4 -4
  60. package/SVF-doxygen/html/html/GraphTraits_8h.html +20 -19
  61. package/SVF-doxygen/html/html/GraphTraits_8h_source.html +13 -13
  62. package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html +1 -1
  63. package/SVF-doxygen/html/html/GraphWriter_8h.html +23 -22
  64. package/SVF-doxygen/html/html/GraphWriter_8h_source.html +48 -48
  65. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +7 -7
  66. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +2 -2
  67. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +7 -7
  68. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +7 -7
  69. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +3 -3
  70. package/SVF-doxygen/html/html/ICFG_8cpp.html +3 -2
  71. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +27 -28
  72. package/SVF-doxygen/html/html/ICFG_8h.html +4 -6
  73. package/SVF-doxygen/html/html/ICFG_8h_source.html +14 -15
  74. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +2 -2
  75. package/SVF-doxygen/html/html/IRGraph_8cpp.html +3 -2
  76. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +20 -21
  77. package/SVF-doxygen/html/html/IRGraph_8h.html +4 -6
  78. package/SVF-doxygen/html/html/IRGraph_8h_source.html +9 -10
  79. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +7 -7
  80. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +38 -39
  81. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +19 -19
  82. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +16 -9
  83. package/SVF-doxygen/html/html/LLVMUtil_8h.html +6 -0
  84. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +6 -4
  85. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +6 -6
  86. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  87. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +3 -3
  88. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +23 -23
  89. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +3 -3
  90. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +6 -6
  91. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +3 -3
  92. package/SVF-doxygen/html/html/MHP_8cpp_source.html +23 -23
  93. package/SVF-doxygen/html/html/MHP_8h_source.html +4 -4
  94. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +3 -3
  95. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  96. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +3 -3
  97. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +3 -3
  98. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +8 -8
  99. package/SVF-doxygen/html/html/MTA_8cpp_source.html +3 -3
  100. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  101. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  102. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +18 -18
  103. package/SVF-doxygen/html/html/MemRegion_8h_source.html +2 -2
  104. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +21 -21
  105. package/SVF-doxygen/html/html/MemSSA_8h_source.html +2 -2
  106. package/SVF-doxygen/html/html/PCG_8cpp_source.html +18 -18
  107. package/SVF-doxygen/html/html/PCG_8h_source.html +3 -3
  108. package/SVF-doxygen/html/html/PTACallGraph_8cpp.html +3 -2
  109. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +27 -28
  110. package/SVF-doxygen/html/html/PTACallGraph_8h.html +4 -6
  111. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +17 -18
  112. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +6 -6
  113. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +6 -6
  114. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +3 -3
  115. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +18 -18
  116. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +3 -3
  117. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +7 -7
  118. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +1 -1
  119. package/SVF-doxygen/html/html/SCC_8h_source.html +4 -4
  120. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +1 -1
  121. package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +3 -3
  122. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +3 -3
  123. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +14 -14
  124. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +9 -9
  125. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +3 -3
  126. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +7 -7
  127. package/SVF-doxygen/html/html/SVFG_8cpp.html +3 -2
  128. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +23 -24
  129. package/SVF-doxygen/html/html/SVFG_8h.html +1 -3
  130. package/SVF-doxygen/html/html/SVFG_8h_source.html +13 -14
  131. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +15 -14
  132. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +4 -4
  133. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +8 -8
  134. package/SVF-doxygen/html/html/SVFIR_8h_source.html +4 -4
  135. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +2 -2
  136. package/SVF-doxygen/html/html/SVFModule_8h_source.html +4 -4
  137. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +9 -9
  138. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +9 -9
  139. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +12 -12
  140. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +4 -4
  141. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +9 -9
  142. package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +16 -19
  143. package/SVF-doxygen/html/html/SVFValue_8h.html +3 -3
  144. package/SVF-doxygen/html/html/SVFValue_8h_source.html +210 -213
  145. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +7 -7
  146. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +13 -14
  147. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +3 -3
  148. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +17 -17
  149. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +6 -6
  150. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +8 -8
  151. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +7 -7
  152. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  153. package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +3 -4
  154. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +3 -3
  155. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +7 -10
  156. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +3 -4
  157. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +4 -4
  158. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
  159. package/SVF-doxygen/html/html/TCT_8cpp.html +3 -2
  160. package/SVF-doxygen/html/html/TCT_8cpp_source.html +38 -39
  161. package/SVF-doxygen/html/html/TCT_8h.html +4 -6
  162. package/SVF-doxygen/html/html/TCT_8h_source.html +27 -28
  163. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +10 -10
  164. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +6 -6
  165. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +2 -2
  166. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +7 -7
  167. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +8 -8
  168. package/SVF-doxygen/html/html/VFGEdge_8h_source.html +6 -6
  169. package/SVF-doxygen/html/html/VFGNode_8h_source.html +8 -8
  170. package/SVF-doxygen/html/html/VFG_8cpp.html +3 -2
  171. package/SVF-doxygen/html/html/VFG_8cpp_source.html +20 -21
  172. package/SVF-doxygen/html/html/VFG_8h.html +4 -6
  173. package/SVF-doxygen/html/html/VFG_8h_source.html +14 -15
  174. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +4 -4
  175. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +10 -10
  176. package/SVF-doxygen/html/html/WPAFSSolver_8h_source.html +3 -3
  177. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +8 -8
  178. package/SVF-doxygen/html/html/WPAPass_8h_source.html +1 -1
  179. package/SVF-doxygen/html/html/WPASolver_8h_source.html +4 -4
  180. package/SVF-doxygen/html/html/annotated.html +291 -291
  181. package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
  182. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +4 -4
  183. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +4 -4
  184. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +3 -3
  185. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +3 -3
  186. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +2 -2
  187. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
  188. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
  189. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +3 -3
  191. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +1 -1
  192. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +33 -33
  193. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +1 -1
  194. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +7 -7
  195. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +1 -1
  196. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +10 -10
  197. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +1 -1
  198. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +7 -7
  199. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +17 -17
  200. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +1 -1
  201. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +4 -4
  202. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
  203. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +4 -4
  204. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +12 -12
  205. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
  206. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +3 -3
  207. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +4 -4
  208. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +1 -1
  209. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +11 -11
  210. package/SVF-doxygen/html/html/classSVF_1_1CFLEdge.html +4 -4
  211. package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +4 -4
  212. package/SVF-doxygen/html/html/classSVF_1_1CFLNode-members.html +45 -44
  213. package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +29 -29
  214. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +4 -4
  215. package/SVF-doxygen/html/html/classSVF_1_1CFLStat.html +1 -1
  216. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +16 -16
  217. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +17 -17
  218. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +3 -3
  219. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +1 -1
  220. package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +2 -2
  221. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +3 -3
  222. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +7 -7
  223. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
  224. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +1 -1
  225. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  226. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +56 -56
  227. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
  228. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +3 -3
  229. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  230. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +30 -30
  231. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +18 -18
  232. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +12 -12
  233. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
  234. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
  235. package/SVF-doxygen/html/html/classSVF_1_1CxtProc.html +1 -1
  236. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +2 -2
  237. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +2 -2
  238. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadProc.html +1 -1
  239. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +2 -2
  240. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge.html +2 -2
  241. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +35 -35
  242. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
  243. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +16 -16
  244. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
  245. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
  246. package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +2 -2
  247. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
  248. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker-members.html +2 -2
  249. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +16 -16
  250. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +1 -1
  251. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +1 -1
  252. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +6 -6
  253. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +3 -4
  254. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +1 -1
  255. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +4 -4
  256. package/SVF-doxygen/html/html/classSVF_1_1FileChecker-members.html +2 -2
  257. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +8 -8
  258. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +3 -3
  259. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +1 -1
  260. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +21 -21
  261. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +17 -17
  262. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +29 -29
  263. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +2 -2
  264. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +2 -2
  265. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +3 -3
  266. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +3 -3
  267. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +6 -6
  268. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +8 -8
  269. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +31 -31
  270. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +44 -44
  271. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +98 -97
  272. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  273. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +3 -4
  274. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
  275. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
  276. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +3 -4
  277. package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +1 -1
  278. package/SVF-doxygen/html/html/classSVF_1_1GraphPrinter-members.html +83 -0
  279. package/SVF-doxygen/html/html/classSVF_1_1GraphPrinter.html +236 -0
  280. package/SVF-doxygen/html/html/classSVF_1_1GraphReachSolver-members.html +2 -2
  281. package/SVF-doxygen/html/html/classSVF_1_1GraphReachSolver.html +12 -12
  282. package/SVF-doxygen/html/html/classSVF_1_1GraphWriter-members.html +100 -0
  283. package/SVF-doxygen/html/html/classSVF_1_1GraphWriter.html +882 -0
  284. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +19 -19
  285. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +12 -12
  286. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +7 -7
  287. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  288. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +2 -2
  289. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +11 -11
  290. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
  291. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  292. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +3 -3
  293. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +2 -2
  294. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +3 -3
  295. package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +2 -2
  296. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
  297. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +6 -6
  298. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
  299. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +2 -2
  300. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +2 -2
  301. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +7 -7
  302. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +69 -69
  303. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker-members.html +2 -2
  304. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +22 -22
  305. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
  306. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
  307. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +3 -3
  308. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +50 -50
  309. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +7 -7
  310. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +55 -55
  311. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +1 -1
  312. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +22 -22
  313. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
  314. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +4 -4
  315. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +3 -3
  316. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +6 -6
  317. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +8 -8
  318. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +37 -37
  319. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +9 -9
  320. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
  321. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +36 -36
  322. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +3 -3
  323. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +4 -4
  324. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +3 -4
  325. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +3 -3
  326. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +28 -28
  327. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +3 -3
  328. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +25 -25
  329. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +3 -3
  330. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +7 -7
  331. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +9 -9
  332. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +2 -2
  333. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +40 -40
  334. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +7 -7
  335. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +4 -4
  336. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +1 -1
  337. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +3 -3
  338. package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +2 -2
  339. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +5 -5
  340. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
  341. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  342. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +2 -2
  343. package/SVF-doxygen/html/html/classSVF_1_1SCCDetection-members.html +1 -1
  344. package/SVF-doxygen/html/html/classSVF_1_1SCCDetection.html +8 -8
  345. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument-members.html +7 -9
  346. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html +16 -20
  347. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock-members.html +8 -10
  348. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +56 -63
  349. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue-members.html +6 -8
  350. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html +7 -11
  351. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst-members.html +12 -14
  352. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html +34 -38
  353. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant-members.html +6 -8
  354. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html +5 -9
  355. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData-members.html +6 -8
  356. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html +7 -11
  357. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP-members.html +6 -8
  358. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html +10 -14
  359. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt-members.html +6 -8
  360. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html +14 -18
  361. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr-members.html +6 -8
  362. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html +7 -11
  363. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +23 -25
  364. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +115 -119
  365. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +16 -16
  366. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +1 -1
  367. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +43 -43
  368. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +9 -9
  369. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue-members.html +9 -11
  370. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +14 -18
  371. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +35 -35
  372. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +48 -47
  373. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction-members.html +11 -13
  374. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +31 -35
  375. package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo.html +2 -2
  376. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue-members.html +6 -8
  377. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html +7 -11
  378. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +3 -3
  379. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue-members.html +6 -8
  380. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue.html +5 -9
  381. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +9 -9
  382. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +9 -9
  383. package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +3 -3
  384. package/SVF-doxygen/html/html/classSVF_1_1SVFValue-members.html +25 -28
  385. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +38 -128
  386. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +12 -12
  387. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst-members.html +14 -16
  388. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html +29 -33
  389. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +46 -46
  390. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +13 -13
  391. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +2 -2
  392. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA-members.html +2 -2
  393. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +16 -16
  394. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver-members.html +2 -2
  395. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver.html +12 -12
  396. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +1 -1
  397. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +9 -9
  398. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +5 -5
  399. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
  400. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +2 -2
  401. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder-members.html +2 -3
  402. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +21 -54
  403. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +5 -5
  404. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +72 -72
  405. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +1 -1
  406. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  407. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  408. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +11 -11
  409. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +5 -5
  410. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  411. package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +4 -4
  412. package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +4 -4
  413. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
  414. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +1 -1
  415. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +12 -12
  416. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +5 -5
  417. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +3 -3
  418. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +21 -21
  419. package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +13 -13
  420. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  421. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +3 -4
  422. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +2 -2
  423. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +1 -1
  424. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +35 -35
  425. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +6 -6
  426. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +4 -4
  427. package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver-members.html +1 -1
  428. package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver.html +4 -4
  429. package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver.html +7 -7
  430. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +9 -9
  431. package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver.html +4 -4
  432. package/SVF-doxygen/html/html/classSVF_1_1WPASolver-members.html +1 -1
  433. package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html +8 -8
  434. package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base-members.html +112 -0
  435. package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.html +633 -0
  436. package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.png +0 -0
  437. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base-members.html +102 -0
  438. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base.html +787 -0
  439. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base.png +0 -0
  440. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy-members.html +84 -0
  441. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy.html +229 -0
  442. package/SVF-doxygen/html/html/classSVF_1_1iter__range-members.html +87 -0
  443. package/SVF-doxygen/html/html/classSVF_1_1iter__range.html +342 -0
  444. package/SVF-doxygen/html/html/classSVF_1_1mapped__iter-members.html +112 -0
  445. package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.html +322 -0
  446. package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.png +0 -0
  447. package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator-members.html +113 -0
  448. package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator.html +343 -0
  449. package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator.png +0 -0
  450. package/SVF-doxygen/html/html/classes.html +59 -59
  451. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  452. package/SVF-doxygen/html/html/fastcluster__R__dm_8cpp_8inc_source.html +2 -2
  453. package/SVF-doxygen/html/html/functions_a.html +1 -1
  454. package/SVF-doxygen/html/html/functions_b.html +4 -4
  455. package/SVF-doxygen/html/html/functions_c.html +20 -18
  456. package/SVF-doxygen/html/html/functions_d.html +20 -20
  457. package/SVF-doxygen/html/html/functions_e.html +14 -16
  458. package/SVF-doxygen/html/html/functions_eval_i.html +2 -2
  459. package/SVF-doxygen/html/html/functions_f.html +1 -1
  460. package/SVF-doxygen/html/html/functions_func.html +1 -1
  461. package/SVF-doxygen/html/html/functions_func_b.html +2 -2
  462. package/SVF-doxygen/html/html/functions_func_c.html +4 -4
  463. package/SVF-doxygen/html/html/functions_func_d.html +14 -14
  464. package/SVF-doxygen/html/html/functions_func_e.html +8 -8
  465. package/SVF-doxygen/html/html/functions_func_g.html +72 -72
  466. package/SVF-doxygen/html/html/functions_func_h.html +4 -7
  467. package/SVF-doxygen/html/html/functions_func_i.html +17 -20
  468. package/SVF-doxygen/html/html/functions_func_m.html +1 -1
  469. package/SVF-doxygen/html/html/functions_func_n.html +3 -3
  470. package/SVF-doxygen/html/html/functions_func_o.html +24 -24
  471. package/SVF-doxygen/html/html/functions_func_p.html +4 -4
  472. package/SVF-doxygen/html/html/functions_func_r.html +2 -2
  473. package/SVF-doxygen/html/html/functions_func_s.html +15 -18
  474. package/SVF-doxygen/html/html/functions_func_w.html +8 -8
  475. package/SVF-doxygen/html/html/functions_g.html +84 -82
  476. package/SVF-doxygen/html/html/functions_h.html +6 -12
  477. package/SVF-doxygen/html/html/functions_i.html +40 -43
  478. package/SVF-doxygen/html/html/functions_l.html +3 -3
  479. package/SVF-doxygen/html/html/functions_m.html +1 -1
  480. package/SVF-doxygen/html/html/functions_n.html +30 -30
  481. package/SVF-doxygen/html/html/functions_o.html +39 -43
  482. package/SVF-doxygen/html/html/functions_p.html +16 -16
  483. package/SVF-doxygen/html/html/functions_r.html +8 -6
  484. package/SVF-doxygen/html/html/functions_rela.html +3 -3
  485. package/SVF-doxygen/html/html/functions_s.html +22 -25
  486. package/SVF-doxygen/html/html/functions_t.html +3 -3
  487. package/SVF-doxygen/html/html/functions_type_b.html +1 -1
  488. package/SVF-doxygen/html/html/functions_type_c.html +7 -7
  489. package/SVF-doxygen/html/html/functions_type_d.html +4 -4
  490. package/SVF-doxygen/html/html/functions_type_e.html +4 -4
  491. package/SVF-doxygen/html/html/functions_type_g.html +6 -6
  492. package/SVF-doxygen/html/html/functions_type_i.html +4 -4
  493. package/SVF-doxygen/html/html/functions_type_n.html +27 -27
  494. package/SVF-doxygen/html/html/functions_type_p.html +3 -3
  495. package/SVF-doxygen/html/html/functions_type_r.html +2 -2
  496. package/SVF-doxygen/html/html/functions_type_v.html +2 -2
  497. package/SVF-doxygen/html/html/functions_v.html +5 -5
  498. package/SVF-doxygen/html/html/functions_vars_b.html +1 -1
  499. package/SVF-doxygen/html/html/functions_vars_d.html +1 -1
  500. package/SVF-doxygen/html/html/functions_vars_e.html +1 -1
  501. package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
  502. package/SVF-doxygen/html/html/functions_vars_g.html +7 -5
  503. package/SVF-doxygen/html/html/functions_vars_h.html +0 -3
  504. package/SVF-doxygen/html/html/functions_vars_i.html +6 -6
  505. package/SVF-doxygen/html/html/functions_vars_o.html +1 -1
  506. package/SVF-doxygen/html/html/functions_vars_p.html +1 -1
  507. package/SVF-doxygen/html/html/functions_w.html +17 -17
  508. package/SVF-doxygen/html/html/hierarchy.html +159 -159
  509. package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +4 -4
  510. package/SVF-doxygen/html/html/iterator_8h.html +16 -15
  511. package/SVF-doxygen/html/html/iterator_8h_source.html +53 -53
  512. package/SVF-doxygen/html/html/iterator__range_8h.html +9 -8
  513. package/SVF-doxygen/html/html/iterator__range_8h_source.html +11 -11
  514. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  515. package/SVF-doxygen/html/html/namespaceSVF.html +575 -9
  516. package/SVF-doxygen/html/html/namespaceSVF_1_1DOT.html +107 -0
  517. package/SVF-doxygen/html/html/namespaceSVF_1_1GraphProgram.html +122 -0
  518. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +65 -7
  519. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +3 -3
  520. package/SVF-doxygen/html/html/namespacellvm.html +1 -572
  521. package/SVF-doxygen/html/html/namespacemembers_c.html +3 -3
  522. package/SVF-doxygen/html/html/namespacemembers_d.html +1 -1
  523. package/SVF-doxygen/html/html/namespacemembers_e.html +1 -1
  524. package/SVF-doxygen/html/html/namespacemembers_enum.html +1 -1
  525. package/SVF-doxygen/html/html/namespacemembers_eval.html +5 -5
  526. package/SVF-doxygen/html/html/namespacemembers_f.html +1 -1
  527. package/SVF-doxygen/html/html/namespacemembers_func_c.html +2 -2
  528. package/SVF-doxygen/html/html/namespacemembers_func_e.html +1 -1
  529. package/SVF-doxygen/html/html/namespacemembers_func_i.html +8 -5
  530. package/SVF-doxygen/html/html/namespacemembers_func_m.html +4 -4
  531. package/SVF-doxygen/html/html/namespacemembers_func_n.html +1 -1
  532. package/SVF-doxygen/html/html/namespacemembers_func_v.html +1 -1
  533. package/SVF-doxygen/html/html/namespacemembers_func_w.html +1 -1
  534. package/SVF-doxygen/html/html/namespacemembers_g.html +1 -1
  535. package/SVF-doxygen/html/html/namespacemembers_i.html +6 -3
  536. package/SVF-doxygen/html/html/namespacemembers_m.html +4 -4
  537. package/SVF-doxygen/html/html/namespacemembers_n.html +3 -3
  538. package/SVF-doxygen/html/html/namespacemembers_r.html +1 -1
  539. package/SVF-doxygen/html/html/namespacemembers_t.html +1 -1
  540. package/SVF-doxygen/html/html/namespacemembers_type_g.html +1 -1
  541. package/SVF-doxygen/html/html/namespacemembers_type_r.html +1 -1
  542. package/SVF-doxygen/html/html/namespacemembers_v.html +1 -1
  543. package/SVF-doxygen/html/html/namespacemembers_w.html +1 -1
  544. package/SVF-doxygen/html/html/namespaces.html +5 -5
  545. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  546. package/SVF-doxygen/html/html/search/all_1.js +1 -1
  547. package/SVF-doxygen/html/html/search/all_10.js +12 -12
  548. package/SVF-doxygen/html/html/search/all_11.js +7 -7
  549. package/SVF-doxygen/html/html/search/all_12.js +7 -6
  550. package/SVF-doxygen/html/html/search/all_13.js +7 -7
  551. package/SVF-doxygen/html/html/search/all_15.js +4 -4
  552. package/SVF-doxygen/html/html/search/all_16.js +10 -10
  553. package/SVF-doxygen/html/html/search/all_2.js +3 -3
  554. package/SVF-doxygen/html/html/search/all_3.js +7 -7
  555. package/SVF-doxygen/html/html/search/all_4.js +20 -20
  556. package/SVF-doxygen/html/html/search/all_5.js +9 -9
  557. package/SVF-doxygen/html/html/search/all_6.js +2 -2
  558. package/SVF-doxygen/html/html/search/all_7.js +87 -87
  559. package/SVF-doxygen/html/html/search/all_8.js +1 -3
  560. package/SVF-doxygen/html/html/search/all_9.js +23 -23
  561. package/SVF-doxygen/html/html/search/all_c.js +2 -4
  562. package/SVF-doxygen/html/html/search/all_d.js +5 -5
  563. package/SVF-doxygen/html/html/search/all_e.js +11 -11
  564. package/SVF-doxygen/html/html/search/all_f.js +19 -19
  565. package/SVF-doxygen/html/html/search/classes_3.js +13 -13
  566. package/SVF-doxygen/html/html/search/classes_6.js +64 -64
  567. package/SVF-doxygen/html/html/search/classes_8.js +10 -10
  568. package/SVF-doxygen/html/html/search/classes_a.js +1 -1
  569. package/SVF-doxygen/html/html/search/classes_d.js +2 -2
  570. package/SVF-doxygen/html/html/search/classes_e.js +1 -1
  571. package/SVF-doxygen/html/html/search/enums_8.js +1 -1
  572. package/SVF-doxygen/html/html/search/enumvalues_10.js +1 -1
  573. package/SVF-doxygen/html/html/search/enumvalues_2.js +1 -1
  574. package/SVF-doxygen/html/html/search/enumvalues_3.js +1 -1
  575. package/SVF-doxygen/html/html/search/enumvalues_5.js +1 -1
  576. package/SVF-doxygen/html/html/search/enumvalues_8.js +2 -2
  577. package/SVF-doxygen/html/html/search/enumvalues_b.js +1 -1
  578. package/SVF-doxygen/html/html/search/functions_0.js +1 -1
  579. package/SVF-doxygen/html/html/search/functions_1.js +1 -1
  580. package/SVF-doxygen/html/html/search/functions_10.js +2 -2
  581. package/SVF-doxygen/html/html/search/functions_11.js +1 -2
  582. package/SVF-doxygen/html/html/search/functions_14.js +1 -1
  583. package/SVF-doxygen/html/html/search/functions_15.js +8 -8
  584. package/SVF-doxygen/html/html/search/functions_2.js +4 -4
  585. package/SVF-doxygen/html/html/search/functions_3.js +5 -5
  586. package/SVF-doxygen/html/html/search/functions_4.js +7 -7
  587. package/SVF-doxygen/html/html/search/functions_6.js +21 -21
  588. package/SVF-doxygen/html/html/search/functions_7.js +1 -2
  589. package/SVF-doxygen/html/html/search/functions_8.js +8 -8
  590. package/SVF-doxygen/html/html/search/functions_c.js +5 -5
  591. package/SVF-doxygen/html/html/search/functions_d.js +4 -4
  592. package/SVF-doxygen/html/html/search/functions_e.js +14 -14
  593. package/SVF-doxygen/html/html/search/functions_f.js +4 -4
  594. package/SVF-doxygen/html/html/search/namespaces_0.js +0 -2
  595. package/SVF-doxygen/html/html/search/namespaces_1.js +2 -0
  596. package/SVF-doxygen/html/html/search/related_9.js +3 -3
  597. package/SVF-doxygen/html/html/search/typedefs_1.js +1 -1
  598. package/SVF-doxygen/html/html/search/typedefs_13.js +1 -1
  599. package/SVF-doxygen/html/html/search/typedefs_2.js +2 -2
  600. package/SVF-doxygen/html/html/search/typedefs_3.js +2 -2
  601. package/SVF-doxygen/html/html/search/typedefs_4.js +1 -1
  602. package/SVF-doxygen/html/html/search/typedefs_6.js +3 -3
  603. package/SVF-doxygen/html/html/search/typedefs_7.js +2 -2
  604. package/SVF-doxygen/html/html/search/typedefs_c.js +4 -4
  605. package/SVF-doxygen/html/html/search/typedefs_e.js +2 -2
  606. package/SVF-doxygen/html/html/search/typedefs_f.js +2 -2
  607. package/SVF-doxygen/html/html/search/variables_10.js +1 -1
  608. package/SVF-doxygen/html/html/search/variables_13.js +3 -3
  609. package/SVF-doxygen/html/html/search/variables_2.js +1 -1
  610. package/SVF-doxygen/html/html/search/variables_4.js +1 -1
  611. package/SVF-doxygen/html/html/search/variables_5.js +1 -1
  612. package/SVF-doxygen/html/html/search/variables_6.js +1 -1
  613. package/SVF-doxygen/html/html/search/variables_7.js +2 -2
  614. package/SVF-doxygen/html/html/search/variables_8.js +0 -1
  615. package/SVF-doxygen/html/html/search/variables_9.js +5 -5
  616. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  617. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  618. package/SVF-doxygen/html/html/search/variables_f.js +1 -1
  619. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits-members.html +99 -0
  620. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits.html +193 -0
  621. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits.png +0 -0
  622. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4-members.html +105 -0
  623. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +443 -0
  624. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.png +0 -0
  625. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4-members.html +104 -0
  626. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html +388 -0
  627. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.png +0 -0
  628. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4-members.html +106 -0
  629. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +481 -0
  630. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.png +0 -0
  631. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4-members.html +106 -0
  632. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +475 -0
  633. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.png +0 -0
  634. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4-members.html +107 -0
  635. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +486 -0
  636. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.png +0 -0
  637. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4-members.html +106 -0
  638. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +457 -0
  639. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.png +0 -0
  640. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4-members.html +108 -0
  641. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +595 -0
  642. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.png +0 -0
  643. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4-members.html +105 -0
  644. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +409 -0
  645. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.png +0 -0
  646. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4-members.html +107 -0
  647. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +543 -0
  648. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.png +0 -0
  649. package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits-members.html +99 -0
  650. package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits.html +855 -0
  651. package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits.png +0 -0
  652. package/SVF-doxygen/html/html/structSVF_1_1GenericEdge_1_1equalGEdge.html +3 -3
  653. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits-members.html +81 -0
  654. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits.html +116 -0
  655. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4-members.html +81 -0
  656. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html +106 -0
  657. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.png +0 -0
  658. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4-members.html +81 -0
  659. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html +110 -0
  660. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.png +0 -0
  661. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4-members.html +81 -0
  662. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html +110 -0
  663. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.png +0 -0
  664. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4-members.html +81 -0
  665. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html +110 -0
  666. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.png +0 -0
  667. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4-members.html +81 -0
  668. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html +110 -0
  669. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.png +0 -0
  670. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4-members.html +88 -0
  671. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html +324 -0
  672. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4-members.html +81 -0
  673. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html +110 -0
  674. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.png +0 -0
  675. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4-members.html +81 -0
  676. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html +110 -0
  677. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.png +0 -0
  678. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4-members.html +81 -0
  679. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html +110 -0
  680. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.png +0 -0
  681. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4-members.html +81 -0
  682. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html +110 -0
  683. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.png +0 -0
  684. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4-members.html +81 -0
  685. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html +110 -0
  686. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.png +0 -0
  687. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4-members.html +81 -0
  688. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html +126 -0
  689. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.png +0 -0
  690. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4-members.html +81 -0
  691. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html +106 -0
  692. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.png +0 -0
  693. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4-members.html +81 -0
  694. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html +126 -0
  695. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.png +0 -0
  696. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4-members.html +81 -0
  697. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html +106 -0
  698. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.png +0 -0
  699. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4-members.html +81 -0
  700. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html +126 -0
  701. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.png +0 -0
  702. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4-members.html +81 -0
  703. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html +106 -0
  704. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.png +0 -0
  705. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4-members.html +81 -0
  706. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html +126 -0
  707. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.png +0 -0
  708. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4-members.html +81 -0
  709. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html +106 -0
  710. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.png +0 -0
  711. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4-members.html +99 -0
  712. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html +467 -0
  713. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.png +0 -0
  714. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4-members.html +89 -0
  715. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html +367 -0
  716. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.png +0 -0
  717. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4-members.html +81 -0
  718. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html +106 -0
  719. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.png +0 -0
  720. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4-members.html +81 -0
  721. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html +126 -0
  722. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.png +0 -0
  723. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4-members.html +81 -0
  724. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html +126 -0
  725. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.png +0 -0
  726. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4-members.html +81 -0
  727. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html +106 -0
  728. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.png +0 -0
  729. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4-members.html +81 -0
  730. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html +126 -0
  731. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.png +0 -0
  732. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4-members.html +81 -0
  733. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +126 -0
  734. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.png +0 -0
  735. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4-members.html +81 -0
  736. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html +106 -0
  737. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.png +0 -0
  738. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4-members.html +81 -0
  739. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html +106 -0
  740. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.png +0 -0
  741. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4-members.html +81 -0
  742. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.html +126 -0
  743. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.png +0 -0
  744. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4-members.html +81 -0
  745. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html +106 -0
  746. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.png +0 -0
  747. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4-members.html +81 -0
  748. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.html +126 -0
  749. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.png +0 -0
  750. package/SVF-doxygen/html/html/structSVF_1_1Inverse-members.html +82 -0
  751. package/SVF-doxygen/html/html/structSVF_1_1Inverse.html +154 -0
  752. package/SVF-doxygen/html/html/structSVF_1_1pointee__iter-members.html +111 -0
  753. package/SVF-doxygen/html/html/structSVF_1_1pointee__iter.html +279 -0
  754. package/SVF-doxygen/html/html/structSVF_1_1pointee__iter.png +0 -0
  755. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +3 -3
  756. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  757. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  758. package/SVF-doxygen/html/html/svf-ex_8cpp.html +9 -9
  759. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +7 -7
  760. package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +4 -4
  761. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  762. package/include/Graphs/CFLGraph.h +6 -6
  763. package/include/Graphs/CHG.h +6 -6
  764. package/include/Graphs/ConsG.h +6 -6
  765. package/include/Graphs/DOTGraphTraits.h +3 -3
  766. package/include/Graphs/GenericGraph.h +10 -9
  767. package/include/Graphs/GraphPrinter.h +2 -2
  768. package/include/Graphs/GraphTraits.h +29 -29
  769. package/include/Graphs/GraphWriter.h +6 -6
  770. package/include/Graphs/ICFG.h +6 -6
  771. package/include/Graphs/IRGraph.h +6 -7
  772. package/include/Graphs/PTACallGraph.h +6 -6
  773. package/include/Graphs/SVFG.h +6 -6
  774. package/include/Graphs/VFG.h +6 -6
  775. package/include/MTA/TCT.h +6 -6
  776. package/include/SABER/SrcSnkSolver.h +2 -2
  777. package/include/SVF-LLVM/DCHG.h +6 -6
  778. package/include/SVF-LLVM/LLVMUtil.h +5 -0
  779. package/include/SVF-LLVM/SymbolTableBuilder.h +0 -3
  780. package/include/SVFIR/SVFValue.h +2 -11
  781. package/include/SVFIR/SVFVariables.h +5 -5
  782. package/include/Util/GraphReachSolver.h +2 -2
  783. package/include/Util/SCC.h +1 -1
  784. package/include/Util/iterator.h +32 -32
  785. package/include/Util/iterator_range.h +11 -11
  786. package/include/WPA/WPASolver.h +1 -1
  787. package/lib/Graphs/CFLGraph.cpp +2 -2
  788. package/lib/Graphs/CHG.cpp +2 -2
  789. package/lib/Graphs/ConsG.cpp +2 -2
  790. package/lib/Graphs/GraphWriter.cpp +1 -1
  791. package/lib/Graphs/ICFG.cpp +2 -2
  792. package/lib/Graphs/IRGraph.cpp +2 -2
  793. package/lib/Graphs/PTACallGraph.cpp +2 -2
  794. package/lib/Graphs/SVFG.cpp +1 -1
  795. package/lib/Graphs/VFG.cpp +2 -2
  796. package/lib/MTA/TCT.cpp +1 -1
  797. package/lib/SVF-LLVM/LLVMModule.cpp +0 -2
  798. package/lib/SVF-LLVM/LLVMUtil.cpp +40 -0
  799. package/lib/SVF-LLVM/SVFIRBuilder.cpp +1 -1
  800. package/lib/SVF-LLVM/SymbolTableBuilder.cpp +0 -34
  801. package/lib/SVFIR/SVFValue.cpp +0 -1
  802. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1CallMU.html CHANGED
@@ -374,7 +374,7 @@ template&lt;class Cond &gt; </div>
374
374
  <p>Return basic block. </p>
375
375
 
376
376
  <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00247">247</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
377
- <div class="fragment"><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; {</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374">callsite</a>-&gt;<a class="code" href="classSVF_1_1CallICFGNode.html#a90fd0b8e44fba1a7eb76d15bce085d66">getCallSite</a>()-&gt;<a class="code" href="classSVF_1_1SVFInstruction.html#ae009f41cbf48d949d4325e08fe8d7198">getParent</a>();</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_ae009f41cbf48d949d4325e08fe8d7198"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ae009f41cbf48d949d4325e08fe8d7198">SVF::SVFInstruction::getParent</a></div><div class="ttdeci">const SVFBasicBlock * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00603">SVFValue.h:603</a></div></div>
377
+ <div class="fragment"><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; {</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374">callsite</a>-&gt;<a class="code" href="classSVF_1_1CallICFGNode.html#a90fd0b8e44fba1a7eb76d15bce085d66">getCallSite</a>()-&gt;<a class="code" href="classSVF_1_1SVFInstruction.html#ae009f41cbf48d949d4325e08fe8d7198">getParent</a>();</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_ae009f41cbf48d949d4325e08fe8d7198"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ae009f41cbf48d949d4325e08fe8d7198">SVF::SVFInstruction::getParent</a></div><div class="ttdeci">const SVFBasicBlock * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00594">SVFValue.h:594</a></div></div>
378
378
  <div class="ttc" id="classSVF_1_1CallICFGNode_html_a90fd0b8e44fba1a7eb76d15bce085d66"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html#a90fd0b8e44fba1a7eb76d15bce085d66">SVF::CallICFGNode::getCallSite</a></div><div class="ttdeci">const SVFInstruction * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00380">ICFGNode.h:380</a></div></div>
379
379
  <div class="ttc" id="classSVF_1_1CallMU_html_aa90a06c9e44914a7a8e104aa80bf1374"><div class="ttname"><a href="classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374">SVF::CallMU::callsite</a></div><div class="ttdeci">const CallICFGNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00225">MSSAMuChi.h:225</a></div></div>
380
380
  </div><!-- fragment -->
package/SVF-doxygen/html/html/classSVF_1_1CallPE.html CHANGED
@@ -630,7 +630,7 @@ Additional Inherited Members</h2></td></tr>
630
630
 
631
631
  <p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00229">229</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
632
632
  <div class="fragment"><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160;{</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; std::stringstream rawstr(str);</div><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;CallPE: [Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>)</div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; {</div><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00237"></a><span class="lineno"> 237</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#aa678ca4616a3e69b53726b33d0b9c5a2">toString</a>();</div><div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; }</div><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160;}</div><div class="ttc" id="classSVF_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#l00261">SVFStatements.h:261</a></div></div>
633
- <div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00641">LLVMUtil.cpp:641</a></div></div>
633
+ <div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00681">LLVMUtil.cpp:681</a></div></div>
634
634
  <div class="ttc" id="classSVF_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#l00265">SVFStatements.h:265</a></div></div>
635
635
  <div class="ttc" id="classSVF_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#l00120">SVFStatements.h:120</a></div></div>
636
636
  <div class="ttc" id="classSVF_1_1Options_html_a63c2ff1420867ea4ef0a94d28b3f0558"><div class="ttname"><a href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>
package/SVF-doxygen/html/html/classSVF_1_1CallSite.html CHANGED
@@ -121,7 +121,7 @@ Private Attributes</h2></td></tr>
121
121
  </table>
122
122
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
123
123
  <div class="textblock">
124
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01023">1023</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
124
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01014">1014</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
125
125
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
126
126
  <a id="aa21ead8f8652ef405a86b385837ea910"></a>
127
127
  <h2 class="memtitle"><span class="permalink"><a href="#aa21ead8f8652ef405a86b385837ea910">&#9670;&nbsp;</a></span>CallSite()</h2>
@@ -147,8 +147,8 @@ Private Attributes</h2></td></tr>
147
147
  </table>
148
148
  </div><div class="memdoc">
149
149
 
150
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01028">1028</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
151
- <div class="fragment"><div class="line"><a name="l01028"></a><span class="lineno"> 1028</span>&#160; : <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>(SVFUtil::dyn_cast&lt;SVFCallInst&gt;(I))</div><div class="line"><a name="l01029"></a><span class="lineno"> 1029</span>&#160; {</div><div class="line"><a name="l01030"></a><span class="lineno"> 1030</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> &amp;&amp; <span class="stringliteral">&quot;not a callsite?&quot;</span>);</div><div class="line"><a name="l01031"></a><span class="lineno"> 1031</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
150
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01019">1019</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
151
+ <div class="fragment"><div class="line"><a name="l01019"></a><span class="lineno"> 1019</span>&#160; : <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>(SVFUtil::dyn_cast&lt;SVFCallInst&gt;(I))</div><div class="line"><a name="l01020"></a><span class="lineno"> 1020</span>&#160; {</div><div class="line"><a name="l01021"></a><span class="lineno"> 1021</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> &amp;&amp; <span class="stringliteral">&quot;not a callsite?&quot;</span>);</div><div class="line"><a name="l01022"></a><span class="lineno"> 1022</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
152
152
  </div><!-- fragment -->
153
153
  </div>
154
154
  </div>
@@ -176,9 +176,9 @@ Private Attributes</h2></td></tr>
176
176
  </table>
177
177
  </div><div class="memdoc">
178
178
 
179
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01048">1048</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
180
- <div class="fragment"><div class="line"><a name="l01049"></a><span class="lineno"> 1049</span>&#160; {</div><div class="line"><a name="l01050"></a><span class="lineno"> 1050</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e">arg_empty</a>();</div><div class="line"><a name="l01051"></a><span class="lineno"> 1051</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_af19bc370764b552b5ce55c9967bd5a1e"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e">SVF::SVFCallInst::arg_empty</a></div><div class="ttdeci">bool arg_empty() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00685">SVFValue.h:685</a></div></div>
181
- <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
179
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01039">1039</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
180
+ <div class="fragment"><div class="line"><a name="l01040"></a><span class="lineno"> 1040</span>&#160; {</div><div class="line"><a name="l01041"></a><span class="lineno"> 1041</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e">arg_empty</a>();</div><div class="line"><a name="l01042"></a><span class="lineno"> 1042</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_af19bc370764b552b5ce55c9967bd5a1e"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e">SVF::SVFCallInst::arg_empty</a></div><div class="ttdeci">bool arg_empty() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00676">SVFValue.h:676</a></div></div>
181
+ <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
182
182
  </div><!-- fragment -->
183
183
  </div>
184
184
  </div>
@@ -205,9 +205,9 @@ Private Attributes</h2></td></tr>
205
205
  </table>
206
206
  </div><div class="memdoc">
207
207
 
208
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01044">1044</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
209
- <div class="fragment"><div class="line"><a name="l01045"></a><span class="lineno"> 1045</span>&#160; {</div><div class="line"><a name="l01046"></a><span class="lineno"> 1046</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div><div class="line"><a name="l01047"></a><span class="lineno"> 1047</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_a496d0e963f0f6a4f9c08183fa91792b0"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">SVF::SVFCallInst::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00681">SVFValue.h:681</a></div></div>
210
- <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
208
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01035">1035</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
209
+ <div class="fragment"><div class="line"><a name="l01036"></a><span class="lineno"> 1036</span>&#160; {</div><div class="line"><a name="l01037"></a><span class="lineno"> 1037</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div><div class="line"><a name="l01038"></a><span class="lineno"> 1038</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_a496d0e963f0f6a4f9c08183fa91792b0"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">SVF::SVFCallInst::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00672">SVFValue.h:672</a></div></div>
210
+ <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
211
211
  </div><!-- fragment -->
212
212
  </div>
213
213
  </div>
@@ -235,9 +235,9 @@ Private Attributes</h2></td></tr>
235
235
  </table>
236
236
  </div><div class="memdoc">
237
237
 
238
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01052">1052</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
239
- <div class="fragment"><div class="line"><a name="l01053"></a><span class="lineno"> 1053</span>&#160; {</div><div class="line"><a name="l01054"></a><span class="lineno"> 1054</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(i);</div><div class="line"><a name="l01055"></a><span class="lineno"> 1055</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_a3cbb4b4089c8b27d01da15f2d2f22e14"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">SVF::SVFCallInst::getArgOperand</a></div><div class="ttdeci">const SVFValue * getArgOperand(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00689">SVFValue.h:689</a></div></div>
240
- <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
238
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01043">1043</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
239
+ <div class="fragment"><div class="line"><a name="l01044"></a><span class="lineno"> 1044</span>&#160; {</div><div class="line"><a name="l01045"></a><span class="lineno"> 1045</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(i);</div><div class="line"><a name="l01046"></a><span class="lineno"> 1046</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_a3cbb4b4089c8b27d01da15f2d2f22e14"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">SVF::SVFCallInst::getArgOperand</a></div><div class="ttdeci">const SVFValue * getArgOperand(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00680">SVFValue.h:680</a></div></div>
240
+ <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
241
241
  </div><!-- fragment -->
242
242
  </div>
243
243
  </div>
@@ -265,9 +265,9 @@ Private Attributes</h2></td></tr>
265
265
  </table>
266
266
  </div><div class="memdoc">
267
267
 
268
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01036">1036</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
269
- <div class="fragment"><div class="line"><a name="l01037"></a><span class="lineno"> 1037</span>&#160; {</div><div class="line"><a name="l01038"></a><span class="lineno"> 1038</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(ArgNo);</div><div class="line"><a name="l01039"></a><span class="lineno"> 1039</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_a3cbb4b4089c8b27d01da15f2d2f22e14"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">SVF::SVFCallInst::getArgOperand</a></div><div class="ttdeci">const SVFValue * getArgOperand(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00689">SVFValue.h:689</a></div></div>
270
- <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
268
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01027">1027</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
269
+ <div class="fragment"><div class="line"><a name="l01028"></a><span class="lineno"> 1028</span>&#160; {</div><div class="line"><a name="l01029"></a><span class="lineno"> 1029</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(ArgNo);</div><div class="line"><a name="l01030"></a><span class="lineno"> 1030</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_a3cbb4b4089c8b27d01da15f2d2f22e14"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">SVF::SVFCallInst::getArgOperand</a></div><div class="ttdeci">const SVFValue * getArgOperand(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00680">SVFValue.h:680</a></div></div>
270
+ <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
271
271
  </div><!-- fragment -->
272
272
  </div>
273
273
  </div>
@@ -294,9 +294,9 @@ Private Attributes</h2></td></tr>
294
294
  </table>
295
295
  </div><div class="memdoc">
296
296
 
297
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01060">1060</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
298
- <div class="fragment"><div class="line"><a name="l01061"></a><span class="lineno"> 1061</span>&#160; {</div><div class="line"><a name="l01062"></a><span class="lineno"> 1062</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#ab654651e3117e8480544615fb1574766">getCalledFunction</a>();</div><div class="line"><a name="l01063"></a><span class="lineno"> 1063</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_ab654651e3117e8480544615fb1574766"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#ab654651e3117e8480544615fb1574766">SVF::SVFCallInst::getCalledFunction</a></div><div class="ttdeci">const SVFFunction * getCalledFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00706">SVFValue.h:706</a></div></div>
299
- <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
297
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01051">1051</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
298
+ <div class="fragment"><div class="line"><a name="l01052"></a><span class="lineno"> 1052</span>&#160; {</div><div class="line"><a name="l01053"></a><span class="lineno"> 1053</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#ab654651e3117e8480544615fb1574766">getCalledFunction</a>();</div><div class="line"><a name="l01054"></a><span class="lineno"> 1054</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_ab654651e3117e8480544615fb1574766"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#ab654651e3117e8480544615fb1574766">SVF::SVFCallInst::getCalledFunction</a></div><div class="ttdeci">const SVFFunction * getCalledFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00697">SVFValue.h:697</a></div></div>
299
+ <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
300
300
  </div><!-- fragment -->
301
301
  </div>
302
302
  </div>
@@ -323,9 +323,9 @@ Private Attributes</h2></td></tr>
323
323
  </table>
324
324
  </div><div class="memdoc">
325
325
 
326
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01064">1064</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
327
- <div class="fragment"><div class="line"><a name="l01065"></a><span class="lineno"> 1065</span>&#160; {</div><div class="line"><a name="l01066"></a><span class="lineno"> 1066</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a61f00e0fde32e5dbe78958d172dd9fd3">getCalledOperand</a>();</div><div class="line"><a name="l01067"></a><span class="lineno"> 1067</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_a61f00e0fde32e5dbe78958d172dd9fd3"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a61f00e0fde32e5dbe78958d172dd9fd3">SVF::SVFCallInst::getCalledOperand</a></div><div class="ttdeci">const SVFValue * getCalledOperand() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00698">SVFValue.h:698</a></div></div>
328
- <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
326
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01055">1055</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
327
+ <div class="fragment"><div class="line"><a name="l01056"></a><span class="lineno"> 1056</span>&#160; {</div><div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a61f00e0fde32e5dbe78958d172dd9fd3">getCalledOperand</a>();</div><div class="line"><a name="l01058"></a><span class="lineno"> 1058</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_a61f00e0fde32e5dbe78958d172dd9fd3"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a61f00e0fde32e5dbe78958d172dd9fd3">SVF::SVFCallInst::getCalledOperand</a></div><div class="ttdeci">const SVFValue * getCalledOperand() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00689">SVFValue.h:689</a></div></div>
328
+ <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
329
329
  </div><!-- fragment -->
330
330
  </div>
331
331
  </div>
@@ -352,9 +352,9 @@ Private Attributes</h2></td></tr>
352
352
  </table>
353
353
  </div><div class="memdoc">
354
354
 
355
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01068">1068</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
356
- <div class="fragment"><div class="line"><a name="l01069"></a><span class="lineno"> 1069</span>&#160; {</div><div class="line"><a name="l01070"></a><span class="lineno"> 1070</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a76a8bb676e8c99ca518cbdf704678558">getCaller</a>();</div><div class="line"><a name="l01071"></a><span class="lineno"> 1071</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_a76a8bb676e8c99ca518cbdf704678558"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a76a8bb676e8c99ca518cbdf704678558">SVF::SVFCallInst::getCaller</a></div><div class="ttdeci">const SVFFunction * getCaller() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00710">SVFValue.h:710</a></div></div>
357
- <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
355
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01059">1059</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
356
+ <div class="fragment"><div class="line"><a name="l01060"></a><span class="lineno"> 1060</span>&#160; {</div><div class="line"><a name="l01061"></a><span class="lineno"> 1061</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a76a8bb676e8c99ca518cbdf704678558">getCaller</a>();</div><div class="line"><a name="l01062"></a><span class="lineno"> 1062</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_a76a8bb676e8c99ca518cbdf704678558"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a76a8bb676e8c99ca518cbdf704678558">SVF::SVFCallInst::getCaller</a></div><div class="ttdeci">const SVFFunction * getCaller() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00701">SVFValue.h:701</a></div></div>
357
+ <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
358
358
  </div><!-- fragment -->
359
359
  </div>
360
360
  </div>
@@ -381,10 +381,10 @@ Private Attributes</h2></td></tr>
381
381
  </table>
382
382
  </div><div class="memdoc">
383
383
 
384
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01085">1085</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
385
- <div class="fragment"><div class="line"><a name="l01086"></a><span class="lineno"> 1086</span>&#160; {</div><div class="line"><a name="l01087"></a><span class="lineno"> 1087</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a100235069232bd9940783a31acfd1169">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div><div class="line"><a name="l01088"></a><span class="lineno"> 1088</span>&#160; <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;<a class="code" href="classSVF_1_1CallSite.html#a6d8296c7b29e4ac07531ab36fa2b06e1">getFunIdxInVtable</a>();</div><div class="line"><a name="l01089"></a><span class="lineno"> 1089</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a6d8296c7b29e4ac07531ab36fa2b06e1"><div class="ttname"><a href="classSVF_1_1CallSite.html#a6d8296c7b29e4ac07531ab36fa2b06e1">SVF::CallSite::getFunIdxInVtable</a></div><div class="ttdeci">s32_t getFunIdxInVtable() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01085">SVFValue.h:1085</a></div></div>
386
- <div class="ttc" id="classSVF_1_1CallSite_html_a100235069232bd9940783a31acfd1169"><div class="ttname"><a href="classSVF_1_1CallSite.html#a100235069232bd9940783a31acfd1169">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">const bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01076">SVFValue.h:1076</a></div></div>
387
- <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
384
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01076">1076</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
385
+ <div class="fragment"><div class="line"><a name="l01077"></a><span class="lineno"> 1077</span>&#160; {</div><div class="line"><a name="l01078"></a><span class="lineno"> 1078</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a100235069232bd9940783a31acfd1169">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div><div class="line"><a name="l01079"></a><span class="lineno"> 1079</span>&#160; <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;<a class="code" href="classSVF_1_1CallSite.html#a6d8296c7b29e4ac07531ab36fa2b06e1">getFunIdxInVtable</a>();</div><div class="line"><a name="l01080"></a><span class="lineno"> 1080</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a6d8296c7b29e4ac07531ab36fa2b06e1"><div class="ttname"><a href="classSVF_1_1CallSite.html#a6d8296c7b29e4ac07531ab36fa2b06e1">SVF::CallSite::getFunIdxInVtable</a></div><div class="ttdeci">s32_t getFunIdxInVtable() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01076">SVFValue.h:1076</a></div></div>
386
+ <div class="ttc" id="classSVF_1_1CallSite_html_a100235069232bd9940783a31acfd1169"><div class="ttname"><a href="classSVF_1_1CallSite.html#a100235069232bd9940783a31acfd1169">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">const bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01067">SVFValue.h:1067</a></div></div>
387
+ <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
388
388
  </div><!-- fragment -->
389
389
  </div>
390
390
  </div>
@@ -411,10 +411,10 @@ Private Attributes</h2></td></tr>
411
411
  </table>
412
412
  </div><div class="memdoc">
413
413
 
414
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01090">1090</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
415
- <div class="fragment"><div class="line"><a name="l01091"></a><span class="lineno"> 1091</span>&#160; {</div><div class="line"><a name="l01092"></a><span class="lineno"> 1092</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a100235069232bd9940783a31acfd1169">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div><div class="line"><a name="l01093"></a><span class="lineno"> 1093</span>&#160; <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;<a class="code" href="classSVF_1_1CallSite.html#a8344d90c8f5637f39c45fbc60f381cd9">getFunNameOfVirtualCall</a>();</div><div class="line"><a name="l01094"></a><span class="lineno"> 1094</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a100235069232bd9940783a31acfd1169"><div class="ttname"><a href="classSVF_1_1CallSite.html#a100235069232bd9940783a31acfd1169">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">const bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01076">SVFValue.h:1076</a></div></div>
416
- <div class="ttc" id="classSVF_1_1CallSite_html_a8344d90c8f5637f39c45fbc60f381cd9"><div class="ttname"><a href="classSVF_1_1CallSite.html#a8344d90c8f5637f39c45fbc60f381cd9">SVF::CallSite::getFunNameOfVirtualCall</a></div><div class="ttdeci">const std::string &amp; getFunNameOfVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01090">SVFValue.h:1090</a></div></div>
417
- <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
414
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01081">1081</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
415
+ <div class="fragment"><div class="line"><a name="l01082"></a><span class="lineno"> 1082</span>&#160; {</div><div class="line"><a name="l01083"></a><span class="lineno"> 1083</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a100235069232bd9940783a31acfd1169">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div><div class="line"><a name="l01084"></a><span class="lineno"> 1084</span>&#160; <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;<a class="code" href="classSVF_1_1CallSite.html#a8344d90c8f5637f39c45fbc60f381cd9">getFunNameOfVirtualCall</a>();</div><div class="line"><a name="l01085"></a><span class="lineno"> 1085</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a100235069232bd9940783a31acfd1169"><div class="ttname"><a href="classSVF_1_1CallSite.html#a100235069232bd9940783a31acfd1169">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">const bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01067">SVFValue.h:1067</a></div></div>
416
+ <div class="ttc" id="classSVF_1_1CallSite_html_a8344d90c8f5637f39c45fbc60f381cd9"><div class="ttname"><a href="classSVF_1_1CallSite.html#a8344d90c8f5637f39c45fbc60f381cd9">SVF::CallSite::getFunNameOfVirtualCall</a></div><div class="ttdeci">const std::string &amp; getFunNameOfVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01081">SVFValue.h:1081</a></div></div>
417
+ <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
418
418
  </div><!-- fragment -->
419
419
  </div>
420
420
  </div>
@@ -441,8 +441,8 @@ Private Attributes</h2></td></tr>
441
441
  </table>
442
442
  </div><div class="memdoc">
443
443
 
444
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01032">1032</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
445
- <div class="fragment"><div class="line"><a name="l01033"></a><span class="lineno"> 1033</span>&#160; {</div><div class="line"><a name="l01034"></a><span class="lineno"> 1034</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>;</div><div class="line"><a name="l01035"></a><span class="lineno"> 1035</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
444
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01023">1023</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
445
+ <div class="fragment"><div class="line"><a name="l01024"></a><span class="lineno"> 1024</span>&#160; {</div><div class="line"><a name="l01025"></a><span class="lineno"> 1025</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>;</div><div class="line"><a name="l01026"></a><span class="lineno"> 1026</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
446
446
  </div><!-- fragment -->
447
447
  </div>
448
448
  </div>
@@ -469,9 +469,9 @@ Private Attributes</h2></td></tr>
469
469
  </table>
470
470
  </div><div class="memdoc">
471
471
 
472
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01056">1056</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
473
- <div class="fragment"><div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>&#160; {</div><div class="line"><a name="l01058"></a><span class="lineno"> 1058</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div><div class="line"><a name="l01059"></a><span class="lineno"> 1059</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_a496d0e963f0f6a4f9c08183fa91792b0"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">SVF::SVFCallInst::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00681">SVFValue.h:681</a></div></div>
474
- <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
472
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01047">1047</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
473
+ <div class="fragment"><div class="line"><a name="l01048"></a><span class="lineno"> 1048</span>&#160; {</div><div class="line"><a name="l01049"></a><span class="lineno"> 1049</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div><div class="line"><a name="l01050"></a><span class="lineno"> 1050</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_a496d0e963f0f6a4f9c08183fa91792b0"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">SVF::SVFCallInst::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00672">SVFValue.h:672</a></div></div>
474
+ <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
475
475
  </div><!-- fragment -->
476
476
  </div>
477
477
  </div>
@@ -499,9 +499,9 @@ Private Attributes</h2></td></tr>
499
499
  </table>
500
500
  </div><div class="memdoc">
501
501
 
502
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01040">1040</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
503
- <div class="fragment"><div class="line"><a name="l01041"></a><span class="lineno"> 1041</span>&#160; {</div><div class="line"><a name="l01042"></a><span class="lineno"> 1042</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>();</div><div class="line"><a name="l01043"></a><span class="lineno"> 1043</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFValue_html_a11f2d9b6e969ede6fca2c204cc15b821"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">SVF::SVFValue::getType</a></div><div class="ttdeci">virtual const SVFType * getType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00220">SVFValue.h:220</a></div></div>
504
- <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
502
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01031">1031</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
503
+ <div class="fragment"><div class="line"><a name="l01032"></a><span class="lineno"> 1032</span>&#160; {</div><div class="line"><a name="l01033"></a><span class="lineno"> 1033</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>();</div><div class="line"><a name="l01034"></a><span class="lineno"> 1034</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFValue_html_a11f2d9b6e969ede6fca2c204cc15b821"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">SVF::SVFValue::getType</a></div><div class="ttdeci">virtual const SVFType * getType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00215">SVFValue.h:215</a></div></div>
504
+ <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
505
505
  </div><!-- fragment -->
506
506
  </div>
507
507
  </div>
@@ -528,10 +528,10 @@ Private Attributes</h2></td></tr>
528
528
  </table>
529
529
  </div><div class="memdoc">
530
530
 
531
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01080">1080</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
532
- <div class="fragment"><div class="line"><a name="l01081"></a><span class="lineno"> 1081</span>&#160; {</div><div class="line"><a name="l01082"></a><span class="lineno"> 1082</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a100235069232bd9940783a31acfd1169">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div><div class="line"><a name="l01083"></a><span class="lineno"> 1083</span>&#160; <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;<a class="code" href="classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d">getVtablePtr</a>();</div><div class="line"><a name="l01084"></a><span class="lineno"> 1084</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a9b04a0f24be915a6e124106060225a3d"><div class="ttname"><a href="classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d">SVF::CallSite::getVtablePtr</a></div><div class="ttdeci">const SVFValue * getVtablePtr() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01080">SVFValue.h:1080</a></div></div>
533
- <div class="ttc" id="classSVF_1_1CallSite_html_a100235069232bd9940783a31acfd1169"><div class="ttname"><a href="classSVF_1_1CallSite.html#a100235069232bd9940783a31acfd1169">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">const bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01076">SVFValue.h:1076</a></div></div>
534
- <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
531
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01071">1071</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
532
+ <div class="fragment"><div class="line"><a name="l01072"></a><span class="lineno"> 1072</span>&#160; {</div><div class="line"><a name="l01073"></a><span class="lineno"> 1073</span>&#160; assert(<a class="code" href="classSVF_1_1CallSite.html#a100235069232bd9940783a31acfd1169">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div><div class="line"><a name="l01074"></a><span class="lineno"> 1074</span>&#160; <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;<a class="code" href="classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d">getVtablePtr</a>();</div><div class="line"><a name="l01075"></a><span class="lineno"> 1075</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a9b04a0f24be915a6e124106060225a3d"><div class="ttname"><a href="classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d">SVF::CallSite::getVtablePtr</a></div><div class="ttdeci">const SVFValue * getVtablePtr() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01071">SVFValue.h:1071</a></div></div>
533
+ <div class="ttc" id="classSVF_1_1CallSite_html_a100235069232bd9940783a31acfd1169"><div class="ttname"><a href="classSVF_1_1CallSite.html#a100235069232bd9940783a31acfd1169">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">const bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01067">SVFValue.h:1067</a></div></div>
534
+ <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
535
535
  </div><!-- fragment -->
536
536
  </div>
537
537
  </div>
@@ -558,9 +558,9 @@ Private Attributes</h2></td></tr>
558
558
  </table>
559
559
  </div><div class="memdoc">
560
560
 
561
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01072">1072</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
562
- <div class="fragment"><div class="line"><a name="l01073"></a><span class="lineno"> 1073</span>&#160; {</div><div class="line"><a name="l01074"></a><span class="lineno"> 1074</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05">isVarArg</a>();</div><div class="line"><a name="l01075"></a><span class="lineno"> 1075</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_a292de585e06f0f2fe3278c74630f3c05"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05">SVF::SVFCallInst::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00702">SVFValue.h:702</a></div></div>
563
- <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
561
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01063">1063</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
562
+ <div class="fragment"><div class="line"><a name="l01064"></a><span class="lineno"> 1064</span>&#160; {</div><div class="line"><a name="l01065"></a><span class="lineno"> 1065</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05">isVarArg</a>();</div><div class="line"><a name="l01066"></a><span class="lineno"> 1066</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFCallInst_html_a292de585e06f0f2fe3278c74630f3c05"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05">SVF::SVFCallInst::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00693">SVFValue.h:693</a></div></div>
563
+ <div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
564
564
  </div><!-- fragment -->
565
565
  </div>
566
566
  </div>
@@ -587,8 +587,8 @@ Private Attributes</h2></td></tr>
587
587
  </table>
588
588
  </div><div class="memdoc">
589
589
 
590
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01076">1076</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
591
- <div class="fragment"><div class="line"><a name="l01077"></a><span class="lineno"> 1077</span>&#160; {</div><div class="line"><a name="l01078"></a><span class="lineno"> 1078</span>&#160; <span class="keywordflow">return</span> SVFUtil::isa&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>);</div><div class="line"><a name="l01079"></a><span class="lineno"> 1079</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
590
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01067">1067</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
591
+ <div class="fragment"><div class="line"><a name="l01068"></a><span class="lineno"> 1068</span>&#160; {</div><div class="line"><a name="l01069"></a><span class="lineno"> 1069</span>&#160; <span class="keywordflow">return</span> SVFUtil::isa&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>);</div><div class="line"><a name="l01070"></a><span class="lineno"> 1070</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
592
592
  </div><!-- fragment -->
593
593
  </div>
594
594
  </div>
@@ -616,8 +616,8 @@ Private Attributes</h2></td></tr>
616
616
  </table>
617
617
  </div><div class="memdoc">
618
618
 
619
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01099">1099</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
620
- <div class="fragment"><div class="line"><a name="l01100"></a><span class="lineno"> 1100</span>&#160; {</div><div class="line"><a name="l01101"></a><span class="lineno"> 1101</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> != CS.CB;</div><div class="line"><a name="l01102"></a><span class="lineno"> 1102</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
619
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01090">1090</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
620
+ <div class="fragment"><div class="line"><a name="l01091"></a><span class="lineno"> 1091</span>&#160; {</div><div class="line"><a name="l01092"></a><span class="lineno"> 1092</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> != CS.CB;</div><div class="line"><a name="l01093"></a><span class="lineno"> 1093</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
621
621
  </div><!-- fragment -->
622
622
  </div>
623
623
  </div>
@@ -645,8 +645,8 @@ Private Attributes</h2></td></tr>
645
645
  </table>
646
646
  </div><div class="memdoc">
647
647
 
648
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01103">1103</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
649
- <div class="fragment"><div class="line"><a name="l01104"></a><span class="lineno"> 1104</span>&#160; {</div><div class="line"><a name="l01105"></a><span class="lineno"> 1105</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">getInstruction</a>() &lt; CS.getInstruction();</div><div class="line"><a name="l01106"></a><span class="lineno"> 1106</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01032">SVFValue.h:1032</a></div></div>
648
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01094">1094</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
649
+ <div class="fragment"><div class="line"><a name="l01095"></a><span class="lineno"> 1095</span>&#160; {</div><div class="line"><a name="l01096"></a><span class="lineno"> 1096</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">getInstruction</a>() &lt; CS.getInstruction();</div><div class="line"><a name="l01097"></a><span class="lineno"> 1097</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01023">SVFValue.h:1023</a></div></div>
650
650
  </div><!-- fragment -->
651
651
  </div>
652
652
  </div>
@@ -674,8 +674,8 @@ Private Attributes</h2></td></tr>
674
674
  </table>
675
675
  </div><div class="memdoc">
676
676
 
677
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01095">1095</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
678
- <div class="fragment"><div class="line"><a name="l01096"></a><span class="lineno"> 1096</span>&#160; {</div><div class="line"><a name="l01097"></a><span class="lineno"> 1097</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> == CS.CB;</div><div class="line"><a name="l01098"></a><span class="lineno"> 1098</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01026">SVFValue.h:1026</a></div></div>
677
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01086">1086</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
678
+ <div class="fragment"><div class="line"><a name="l01087"></a><span class="lineno"> 1087</span>&#160; {</div><div class="line"><a name="l01088"></a><span class="lineno"> 1088</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> == CS.CB;</div><div class="line"><a name="l01089"></a><span class="lineno"> 1089</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01017">SVFValue.h:1017</a></div></div>
679
679
  </div><!-- fragment -->
680
680
  </div>
681
681
  </div>
@@ -700,7 +700,7 @@ Private Attributes</h2></td></tr>
700
700
  </table>
701
701
  </div><div class="memdoc">
702
702
 
703
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01026">1026</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
703
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01017">1017</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
704
704
 
705
705
  </div>
706
706
  </div>
package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html CHANGED
@@ -592,7 +592,7 @@ Additional Inherited Members</h2></td></tr>
592
592
 
593
593
  <p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00130">130</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
594
594
  <div class="fragment"><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160;{</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; std::stringstream rawstr(str);</div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;CmpStmt: [Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- (Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(0) &lt;&lt; <span class="stringliteral">&quot; predicate&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">getPredicate</a>() &lt;&lt; <span class="stringliteral">&quot; Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(1) &lt;&lt; <span class="stringliteral">&quot;)]\t&quot;</span>;</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>)</div><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; {</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</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#aa678ca4616a3e69b53726b33d0b9c5a2">toString</a>();</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; }</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160;}</div><div class="ttc" id="classSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00829">SVFStatements.h:829</a></div></div>
595
- <div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00641">LLVMUtil.cpp:641</a></div></div>
595
+ <div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00681">LLVMUtil.cpp:681</a></div></div>
596
596
  <div class="ttc" id="classSVF_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#l00120">SVFStatements.h:120</a></div></div>
597
597
  <div class="ttc" id="classSVF_1_1Options_html_a63c2ff1420867ea4ef0a94d28b3f0558"><div class="ttname"><a href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>
598
598
  <div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00287">SVFStatements.cpp:287</a></div></div>
package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html CHANGED
@@ -532,7 +532,7 @@ Private Member Functions</h2></td></tr>
532
532
  <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00111">111</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
533
533
  <div class="fragment"><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160;{</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> nb;</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; nb.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(<a class="code" href="classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe">getRes</a>()-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; <span class="keywordflow">return</span> nb;</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160;}</div><div class="ttc" id="classSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00462">SparseBitVector.h:462</a></div></div>
534
534
  <div class="ttc" id="classSVF_1_1CmpVFGNode_html_aa972ecfb264d447fecf0326037bbccbe"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe">SVF::CmpVFGNode::getRes</a></div><div class="ttdeci">const PAGNode * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00367">VFGNode.h:367</a></div></div>
535
- <div class="ttc" id="classSVF_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#l00170">GenericGraph.h:170</a></div></div>
535
+ <div class="ttc" id="classSVF_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#l00171">GenericGraph.h:171</a></div></div>
536
536
  <div class="ttc" id="classSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
537
537
  </div><!-- fragment -->
538
538
  </div>
@@ -810,9 +810,9 @@ Private Member Functions</h2></td></tr>
810
810
  <div class="ttc" id="classSVF_1_1CmpVFGNode_html_a78fb624f0ca9ff16e6a8e5fd1c384904"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904">SVF::CmpVFGNode::opVerBegin</a></div><div class="ttdeci">OPVers::const_iterator opVerBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00375">VFGNode.h:375</a></div></div>
811
811
  <div class="ttc" id="classSVF_1_1CmpVFGNode_html_a9a358028cf15ba49b410e0c2a1fafe7c"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#a9a358028cf15ba49b410e0c2a1fafe7c">SVF::CmpVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00329">VFGNode.h:329</a></div></div>
812
812
  <div class="ttc" id="classSVF_1_1SVFVar_html_ac2db6304ea5526fb446ae882983beeb0"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ac2db6304ea5526fb446ae882983beeb0">SVF::SVFVar::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00091">SVFVariables.h:91</a></div></div>
813
- <div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00641">LLVMUtil.cpp:641</a></div></div>
813
+ <div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00681">LLVMUtil.cpp:681</a></div></div>
814
814
  <div class="ttc" id="classSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00107">SVFVariables.h:107</a></div></div>
815
- <div class="ttc" id="classSVF_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#l00170">GenericGraph.h:170</a></div></div>
815
+ <div class="ttc" id="classSVF_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#l00171">GenericGraph.h:171</a></div></div>
816
816
  <div class="ttc" id="cJSON_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>
817
817
  </div><!-- fragment -->
818
818
  </div>
package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html CHANGED
@@ -1235,7 +1235,7 @@ template&lt;class Cond&gt; </div>
1235
1235
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a240219c2dc4f5cc5f85445e18c79b83b"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">SVF::PointerAnalysis::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00201">PointerAnalysis.h:201</a></div></div>
1236
1236
  <div class="ttc" id="namespaceSVF_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#l00049">SVFUtil.h:49</a></div></div>
1237
1237
  <div class="ttc" id="classSVF_1_1PointsTo_html_ab0493cc85f97abeea5b86dee488e5a7f"><div class="ttname"><a href="classSVF_1_1PointsTo.html#ab0493cc85f97abeea5b86dee488e5a7f">SVF::PointsTo::iterator</a></div><div class="ttdeci">const_iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00040">PointsTo.h:40</a></div></div>
1238
- <div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00394">GenericGraph.h:394</a></div></div>
1238
+ <div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00395">GenericGraph.h:395</a></div></div>
1239
1239
  </div><!-- fragment -->
1240
1240
  </div>
1241
1241
  </div>