svf-tools 1.0.749 → 1.0.751

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (550) hide show
  1. package/SVF-doxygen/html/html/AccessPath_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +11 -11
  6. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  7. package/SVF-doxygen/html/html/CFBasicBlockG_8cpp_source.html +4 -4
  8. package/SVF-doxygen/html/html/CFBasicBlockG_8h_source.html +3 -3
  9. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +12 -12
  10. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
  11. package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +8 -8
  13. package/SVF-doxygen/html/html/CHG_8cpp.html +4 -4
  14. package/SVF-doxygen/html/html/CHG_8cpp_source.html +11 -11
  15. package/SVF-doxygen/html/html/CHG_8h_source.html +3 -3
  16. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -3
  17. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +19 -19
  18. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  19. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +10 -10
  20. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +3 -3
  21. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +6 -6
  22. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +6 -6
  23. package/SVF-doxygen/html/html/DCHG_8h_source.html +2 -2
  24. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +10 -10
  25. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +3 -3
  26. package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
  27. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
  28. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +5 -5
  29. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +22 -22
  32. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +1 -1
  33. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +4 -4
  34. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  35. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +9 -9
  36. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +3 -3
  37. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +9 -9
  39. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +9 -9
  40. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +2 -2
  41. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +3 -3
  42. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +5 -5
  43. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +15 -15
  44. package/SVF-doxygen/html/html/ICFG_8h_source.html +2 -2
  45. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +6 -6
  46. package/SVF-doxygen/html/html/IRGraph_8h_source.html +2 -2
  47. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +5 -5
  48. package/SVF-doxygen/html/html/LLVMModule_8cpp.html +1 -60
  49. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1194 -1254
  50. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +38 -38
  51. package/SVF-doxygen/html/html/LLVMUtil_8cpp.html +0 -8
  52. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +25 -44
  53. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +3 -3
  54. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +4 -4
  55. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  56. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +20 -20
  57. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +5 -5
  58. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +8 -8
  59. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +2 -2
  60. package/SVF-doxygen/html/html/MHP_8cpp_source.html +20 -20
  61. package/SVF-doxygen/html/html/MHP_8h_source.html +4 -4
  62. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +5 -5
  63. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  64. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  65. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +2 -2
  66. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +7 -7
  67. package/SVF-doxygen/html/html/MTA_8cpp_source.html +8 -8
  68. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  69. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  70. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +20 -20
  71. package/SVF-doxygen/html/html/MemRegion_8h_source.html +5 -5
  72. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +27 -27
  73. package/SVF-doxygen/html/html/MemSSA_8h_source.html +4 -4
  74. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +2 -2
  75. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
  76. package/SVF-doxygen/html/html/PCG_8cpp_source.html +13 -13
  77. package/SVF-doxygen/html/html/PCG_8h_source.html +3 -3
  78. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +1 -1
  79. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  80. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +5 -5
  81. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +4 -4
  82. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +21 -21
  83. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +2 -2
  84. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +4 -4
  85. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +1 -1
  86. package/SVF-doxygen/html/html/SVFBugReport_8cpp_source.html +1 -1
  87. package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +2 -2
  88. package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +35 -35
  89. package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html +33 -33
  90. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +3 -3
  91. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  92. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +2 -2
  93. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  94. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +3 -3
  95. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +1 -1
  96. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +8 -8
  97. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  98. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8cpp_source.html +70 -70
  99. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8h_source.html +11 -11
  100. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +69 -69
  101. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8h_source.html +11 -11
  102. package/SVF-doxygen/html/html/SVFIR2Relation_8cpp_source.html +38 -38
  103. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +22 -22
  104. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +21 -21
  105. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +21 -21
  106. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +23 -23
  107. package/SVF-doxygen/html/html/SVFIR_8h_source.html +18 -18
  108. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +2 -2
  109. package/SVF-doxygen/html/html/SVFModule_8h_source.html +4 -4
  110. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +7 -7
  111. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +46 -46
  112. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +1116 -1114
  113. package/SVF-doxygen/html/html/SVFType_8h.html +23 -25
  114. package/SVF-doxygen/html/html/SVFType_8h_source.html +134 -137
  115. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +7 -7
  116. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
  117. package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +126 -247
  118. package/SVF-doxygen/html/html/SVFValue_8h.html +1 -1
  119. package/SVF-doxygen/html/html/SVFValue_8h_source.html +1061 -1103
  120. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +6 -6
  121. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +3 -3
  122. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +2 -2
  123. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +26 -26
  124. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +8 -8
  125. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +4 -4
  126. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +3 -3
  127. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  128. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +10 -10
  129. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +2 -2
  130. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +6 -6
  131. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +2 -2
  132. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
  133. package/SVF-doxygen/html/html/TCT_8cpp_source.html +17 -17
  134. package/SVF-doxygen/html/html/TCT_8h_source.html +7 -7
  135. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +9 -9
  136. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +5 -5
  137. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +4 -4
  138. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +1 -1
  139. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +4 -4
  140. package/SVF-doxygen/html/html/VFGNode_8h_source.html +14 -14
  141. package/SVF-doxygen/html/html/VFG_8cpp_source.html +24 -24
  142. package/SVF-doxygen/html/html/VFG_8h_source.html +18 -18
  143. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  144. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
  145. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +7 -7
  146. package/SVF-doxygen/html/html/WPAPass_8h_source.html +3 -3
  147. package/SVF-doxygen/html/html/classSVF_1_1AccessPath.html +2 -2
  148. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +2 -2
  149. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +2 -2
  150. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +23 -23
  151. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +5 -5
  152. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +9 -9
  153. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +2 -2
  154. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +2 -2
  155. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +2 -2
  156. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +51 -51
  158. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +4 -4
  159. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +70 -70
  160. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
  161. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +53 -53
  162. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
  163. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +1 -1
  164. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +13 -13
  165. package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +1 -1
  166. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +8 -8
  167. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +8 -8
  168. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +2 -2
  169. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +1 -1
  170. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +3 -3
  171. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +2 -2
  172. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +40 -40
  174. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +95 -95
  175. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +99 -99
  176. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
  177. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +3 -3
  178. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +17 -17
  179. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +10 -10
  180. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +23 -23
  181. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +2 -2
  182. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +2 -2
  183. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +2 -2
  184. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +5 -5
  185. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
  186. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +2 -2
  187. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
  188. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +4 -4
  189. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +6 -6
  191. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +21 -21
  192. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +2 -2
  193. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +8 -8
  194. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +9 -9
  195. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  196. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +16 -16
  197. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +3 -3
  198. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +4 -4
  199. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +2 -2
  200. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +2 -2
  201. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +56 -56
  202. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +2 -2
  203. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +6 -6
  204. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +9 -9
  205. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +3 -3
  206. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  207. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +2 -2
  208. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +3 -3
  209. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +2 -2
  210. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
  211. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +4 -4
  212. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +2 -2
  213. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +5 -5
  214. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1168 -1215
  215. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +9 -9
  216. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +23 -23
  217. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +19 -19
  218. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +8 -8
  219. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +19 -19
  220. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +1 -1
  221. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +19 -19
  222. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  223. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +5 -5
  224. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +5 -5
  225. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +4 -4
  226. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +4 -4
  227. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +7 -7
  228. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +2 -2
  229. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +26 -26
  230. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +1 -1
  231. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +48 -48
  232. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
  233. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +2 -2
  234. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  235. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +13 -13
  236. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
  237. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +1 -1
  238. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +48 -48
  239. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +20 -20
  240. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +4 -4
  241. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +1 -1
  242. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +1 -1
  243. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +2 -2
  244. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +2 -2
  245. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +40 -40
  246. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument-members.html +35 -36
  247. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html +34 -71
  248. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock-members.html +37 -38
  249. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +139 -178
  250. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue-members.html +38 -39
  251. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html +19 -58
  252. package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +2 -2
  253. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst-members.html +42 -43
  254. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html +70 -71
  255. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant-members.html +34 -35
  256. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html +21 -59
  257. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData-members.html +36 -37
  258. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html +27 -66
  259. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP-members.html +38 -39
  260. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html +25 -66
  261. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt-members.html +40 -41
  262. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html +31 -79
  263. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr-members.html +38 -39
  264. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html +19 -58
  265. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +41 -42
  266. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +206 -241
  267. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +9 -9
  268. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
  269. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +2 -2
  270. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +1 -1
  271. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue-members.html +39 -40
  272. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +37 -73
  273. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +22 -22
  274. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ConsExeState.html +57 -57
  275. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +59 -59
  276. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +39 -39
  277. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction-members.html +37 -38
  278. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +60 -101
  279. package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo.html +2 -2
  280. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue-members.html +36 -37
  281. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html +19 -55
  282. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +2 -2
  283. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue-members.html +34 -35
  284. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue.html +15 -53
  285. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +7 -7
  286. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +43 -41
  287. package/SVF-doxygen/html/html/classSVF_1_1SVFValue-members.html +32 -33
  288. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +44 -51
  289. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst-members.html +47 -48
  290. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html +56 -57
  291. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +26 -26
  292. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +4 -4
  293. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +40 -40
  294. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +3 -3
  295. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +9 -9
  296. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +22 -22
  297. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +6 -6
  298. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +18 -18
  299. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +26 -26
  300. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +25 -25
  301. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +9 -9
  302. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +4 -4
  303. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  304. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +4 -4
  305. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +46 -46
  306. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +2 -2
  307. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +24 -24
  308. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +2 -2
  309. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -2
  310. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  311. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +5 -5
  312. package/SVF-doxygen/html/html/functions_func_p.html +2 -16
  313. package/SVF-doxygen/html/html/functions_func_t.html +1 -1
  314. package/SVF-doxygen/html/html/functions_p.html +0 -14
  315. package/SVF-doxygen/html/html/functions_t.html +1 -1
  316. package/SVF-doxygen/html/html/globals_func.html +0 -3
  317. package/SVF-doxygen/html/html/globals_s.html +3 -6
  318. package/SVF-doxygen/html/html/namespaceSVF.html +29 -96
  319. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +4 -4
  320. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +6 -6
  321. package/SVF-doxygen/html/html/namespacemembers_d.html +2 -5
  322. package/SVF-doxygen/html/html/namespacemembers_func_d.html +2 -5
  323. package/SVF-doxygen/html/html/search/all_10.js +325 -325
  324. package/SVF-doxygen/html/html/search/all_11.js +208 -208
  325. package/SVF-doxygen/html/html/search/all_12.js +545 -546
  326. package/SVF-doxygen/html/html/search/all_13.js +189 -189
  327. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  328. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  329. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  330. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  331. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  332. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  333. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  334. package/SVF-doxygen/html/html/search/all_4.js +26 -27
  335. package/SVF-doxygen/html/html/search/all_5.js +156 -156
  336. package/SVF-doxygen/html/html/search/all_6.js +223 -223
  337. package/SVF-doxygen/html/html/search/all_7.js +1012 -1012
  338. package/SVF-doxygen/html/html/search/all_8.js +192 -192
  339. package/SVF-doxygen/html/html/search/all_9.js +597 -597
  340. package/SVF-doxygen/html/html/search/all_a.js +47 -47
  341. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  342. package/SVF-doxygen/html/html/search/all_c.js +113 -113
  343. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  344. package/SVF-doxygen/html/html/search/all_e.js +206 -206
  345. package/SVF-doxygen/html/html/search/all_f.js +122 -122
  346. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  347. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  348. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  349. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  350. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  351. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  352. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  353. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  354. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  355. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  356. package/SVF-doxygen/html/html/search/classes_4.js +10 -10
  357. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  358. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  359. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  360. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  361. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  362. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  363. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  364. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  365. package/SVF-doxygen/html/html/search/classes_d.js +19 -19
  366. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  367. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  368. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  369. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  370. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  371. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  372. package/SVF-doxygen/html/html/search/defines_4.js +3 -3
  373. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  374. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  375. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  376. package/SVF-doxygen/html/html/search/defines_8.js +13 -13
  377. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  378. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  379. package/SVF-doxygen/html/html/search/defines_b.js +2 -2
  380. package/SVF-doxygen/html/html/search/defines_c.js +2 -2
  381. package/SVF-doxygen/html/html/search/defines_d.js +6 -6
  382. package/SVF-doxygen/html/html/search/defines_e.js +3 -3
  383. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  384. package/SVF-doxygen/html/html/search/enums_1.js +1 -1
  385. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  386. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  387. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  388. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  389. package/SVF-doxygen/html/html/search/enums_4.js +4 -4
  390. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  391. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  392. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  393. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  394. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  395. package/SVF-doxygen/html/html/search/enums_a.js +2 -2
  396. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  397. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  398. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  399. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  400. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  401. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  402. package/SVF-doxygen/html/html/search/enumvalues_1.js +13 -13
  403. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  404. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  405. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  406. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  407. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  408. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  409. package/SVF-doxygen/html/html/search/enumvalues_2.js +40 -40
  410. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  411. package/SVF-doxygen/html/html/search/enumvalues_4.js +34 -34
  412. package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -48
  413. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  414. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  415. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  416. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  417. package/SVF-doxygen/html/html/search/enumvalues_a.js +17 -17
  418. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  419. package/SVF-doxygen/html/html/search/enumvalues_c.js +6 -6
  420. package/SVF-doxygen/html/html/search/enumvalues_d.js +17 -17
  421. package/SVF-doxygen/html/html/search/enumvalues_e.js +11 -11
  422. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  423. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  424. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  425. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  426. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  427. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  428. package/SVF-doxygen/html/html/search/files_2.js +50 -50
  429. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  430. package/SVF-doxygen/html/html/search/files_4.js +4 -4
  431. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  432. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  433. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  434. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  435. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  436. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  437. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  438. package/SVF-doxygen/html/html/search/files_c.js +19 -19
  439. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  440. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  441. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  442. package/SVF-doxygen/html/html/search/functions_0.js +351 -351
  443. package/SVF-doxygen/html/html/search/functions_1.js +80 -80
  444. package/SVF-doxygen/html/html/search/functions_10.js +121 -121
  445. package/SVF-doxygen/html/html/search/functions_11.js +281 -282
  446. package/SVF-doxygen/html/html/search/functions_12.js +55 -55
  447. package/SVF-doxygen/html/html/search/functions_13.js +38 -38
  448. package/SVF-doxygen/html/html/search/functions_14.js +71 -71
  449. package/SVF-doxygen/html/html/search/functions_15.js +29 -29
  450. package/SVF-doxygen/html/html/search/functions_16.js +2 -2
  451. package/SVF-doxygen/html/html/search/functions_17.js +169 -169
  452. package/SVF-doxygen/html/html/search/functions_2.js +251 -251
  453. package/SVF-doxygen/html/html/search/functions_3.js +71 -72
  454. package/SVF-doxygen/html/html/search/functions_4.js +55 -55
  455. package/SVF-doxygen/html/html/search/functions_5.js +55 -55
  456. package/SVF-doxygen/html/html/search/functions_6.js +832 -832
  457. package/SVF-doxygen/html/html/search/functions_7.js +144 -144
  458. package/SVF-doxygen/html/html/search/functions_8.js +417 -417
  459. package/SVF-doxygen/html/html/search/functions_9.js +29 -29
  460. package/SVF-doxygen/html/html/search/functions_a.js +2 -2
  461. package/SVF-doxygen/html/html/search/functions_b.js +23 -23
  462. package/SVF-doxygen/html/html/search/functions_c.js +75 -75
  463. package/SVF-doxygen/html/html/search/functions_d.js +35 -35
  464. package/SVF-doxygen/html/html/search/functions_e.js +56 -56
  465. package/SVF-doxygen/html/html/search/functions_f.js +143 -143
  466. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  467. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  468. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  469. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  470. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  471. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  472. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  473. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  474. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  475. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  476. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  477. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  478. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  479. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  480. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  481. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  482. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  483. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  484. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  485. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  486. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  487. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  488. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  489. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  490. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  491. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  492. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  493. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  494. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  495. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  496. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  497. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  498. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  499. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  500. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  501. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  502. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  503. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  504. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  505. package/SVF-doxygen/html/html/search/variables_0.js +146 -146
  506. package/SVF-doxygen/html/html/search/variables_1.js +74 -74
  507. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  508. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  509. package/SVF-doxygen/html/html/search/variables_12.js +93 -93
  510. package/SVF-doxygen/html/html/search/variables_13.js +77 -77
  511. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  512. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  513. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  514. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  515. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  516. package/SVF-doxygen/html/html/search/variables_2.js +35 -35
  517. package/SVF-doxygen/html/html/search/variables_3.js +148 -148
  518. package/SVF-doxygen/html/html/search/variables_4.js +56 -56
  519. package/SVF-doxygen/html/html/search/variables_5.js +40 -40
  520. package/SVF-doxygen/html/html/search/variables_6.js +67 -67
  521. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  522. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  523. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  524. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  525. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  526. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  527. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  528. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  529. package/SVF-doxygen/html/html/search/variables_f.js +33 -33
  530. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +2 -2
  531. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +3 -3
  532. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +1 -1
  533. package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01NodePair_01_4.html +11 -11
  534. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +7 -7
  535. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  536. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  537. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +11 -11
  538. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +7 -7
  539. package/SVF-doxygen/html/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +13 -13
  540. package/SVF-doxygen/html/html/svf-ex_8cpp.html +2 -2
  541. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +4 -4
  542. package/SVF-doxygen/html/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +3 -3
  543. package/SVF-doxygen/html/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +3 -3
  544. package/package.json +1 -1
  545. package/svf/include/SVFIR/SVFStatements.h +12 -9
  546. package/svf/include/SVFIR/SVFType.h +0 -6
  547. package/svf/include/SVFIR/SVFValue.h +2 -31
  548. package/svf/lib/SVFIR/SVFValue.cpp +0 -95
  549. package/svf-llvm/lib/LLVMModule.cpp +0 -58
  550. package/svf-llvm/lib/LLVMUtil.cpp +13 -28
package/SVF-doxygen/html/html/SVFValue_8cpp_source.html CHANGED
@@ -189,282 +189,161 @@ $(function() {
189
189
  <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
190
190
  <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160;}</div>
191
191
  <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; </div>
192
- <div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3"> 125</a></span>&#160;<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">SVFValue::toString</a>()<span class="keyword"> const</span></div>
193
- <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160;<span class="keyword"></span>{</div>
194
- <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; std::ostringstream os;</div>
195
- <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <a class="code" href="cJSON_8cpp.html#ae71e2aec89bf140e6430cb7d5ca417c5">print</a>(os);</div>
196
- <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; <span class="keywordflow">return</span> os.str();</div>
197
- <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160;}</div>
198
- <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; </div>
199
- <div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#a494434af0d933dfd926bedcb8937f0f8"> 132</a></span>&#160;<a class="code" href="classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf">SVFFunction::SVFFunction</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* ty, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunctionType.html">SVFFunctionType</a>* ft,</div>
200
- <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; <span class="keywordtype">bool</span> declare, <span class="keywordtype">bool</span> intrinsic, <span class="keywordtype">bool</span> adt, <span class="keywordtype">bool</span> varg,</div>
201
- <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html">SVFLoopAndDomInfo</a>* ld)</div>
202
- <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>::SVFFunc), isDecl(declare), intrinsic(intrinsic),</div>
203
- <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; addrTaken(adt), isUncalled(<a class="code" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>), isNotRet(<a class="code" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>), varArg(varg),</div>
204
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; funcType(ft), loopAndDom(ld), realDefFun(nullptr)</div>
205
- <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160;{</div>
206
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160;}</div>
207
- <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; </div>
208
- <div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#a5f6f7bf27f373b16b9c51de310b40686"> 141</a></span>&#160;<a class="code" href="classSVF_1_1SVFFunction.html#a5f6f7bf27f373b16b9c51de310b40686">SVFFunction::~SVFFunction</a>()</div>
209
- <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160;{</div>
210
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb : <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>)</div>
211
- <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="keyword">delete</span> bb;</div>
212
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* arg : <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>)</div>
213
- <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keyword">delete</span> arg;</div>
214
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keyword">delete</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div>
215
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160;}</div>
216
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; </div>
217
- <div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e"> 150</a></span>&#160;<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e">SVFFunction::arg_size</a>()<span class="keyword"> const</span></div>
218
- <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160;<span class="keyword"></span>{</div>
219
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size();</div>
220
- <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160;}</div>
221
- <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; </div>
222
- <div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#a10d9481ae41dce4f266dad5e64fffcee"> 155</a></span>&#160;<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* <a class="code" href="classSVF_1_1SVFFunction.html#a10d9481ae41dce4f266dad5e64fffcee">SVFFunction::getArg</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> idx)<span class="keyword"> const</span></div>
223
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160;<span class="keyword"></span>{</div>
224
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; assert (idx &lt; <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size() &amp;&amp; <span class="stringliteral">&quot;getArg() out of range!&quot;</span>);</div>
225
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>[idx];</div>
226
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160;}</div>
227
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; </div>
228
- <div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58"> 161</a></span>&#160;<span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVFFunction::isVarArg</a>()<span class="keyword"> const</span></div>
229
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160;<span class="keyword"></span>{</div>
230
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">varArg</a>;</div>
231
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160;}</div>
232
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; </div>
233
- <div class="line"><a name="l00166"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#a2f21fd47b023a9786f8ab39faaca0a27"> 166</a></span>&#160;<a class="code" href="classSVF_1_1SVFBasicBlock.html#ae017f9a00c523585718bde13665275b3">SVFBasicBlock::SVFBasicBlock</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* ty, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* f)</div>
234
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>::SVFBB), fun(f)</div>
235
- <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160;{</div>
236
- <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160;}</div>
237
- <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; </div>
238
- <div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#abd5adb119af2024fe4702ba25394d5ac"> 171</a></span>&#160;<a class="code" href="classSVF_1_1SVFBasicBlock.html#abd5adb119af2024fe4702ba25394d5ac">SVFBasicBlock::~SVFBasicBlock</a>()</div>
239
- <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160;{</div>
240
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>* inst : <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>)</div>
241
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; <span class="keyword">delete</span> inst;</div>
242
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160;}</div>
243
- <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; </div>
244
- <div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#ab8a735b5d183f5190c4c45b313f1b174"> 180</a></span>&#160;<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1SVFBasicBlock.html#ab8a735b5d183f5190c4c45b313f1b174">SVFBasicBlock::getBBSuccessorPos</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* Succ)</div>
245
- <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160;{</div>
246
- <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0;</div>
247
- <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* SuccBB: <a class="code" href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">succBBs</a>)</div>
248
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; {</div>
249
- <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">if</span> (SuccBB == Succ)</div>
250
- <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <span class="keywordflow">return</span> i;</div>
251
- <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; i++;</div>
252
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; }</div>
253
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find succesor edge?&quot;</span>);</div>
254
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keywordflow">return</span> 0;</div>
255
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160;}</div>
256
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; </div>
257
- <div class="line"><a name="l00193"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#a104c66cdd4d88ba90eefd32bc9eef389"> 193</a></span>&#160;<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1SVFBasicBlock.html#ab8a735b5d183f5190c4c45b313f1b174">SVFBasicBlock::getBBSuccessorPos</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* Succ)<span class="keyword"> const</span></div>
258
- <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160;<span class="keyword"></span>{</div>
259
- <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0;</div>
260
- <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* SuccBB: <a class="code" href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">succBBs</a>)</div>
261
- <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; {</div>
262
- <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <span class="keywordflow">if</span> (SuccBB == Succ)</div>
263
- <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keywordflow">return</span> i;</div>
264
- <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; i++;</div>
265
- <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; }</div>
266
- <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find succesor edge?&quot;</span>);</div>
267
- <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; <span class="keywordflow">return</span> 0;</div>
192
+ <div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#a494434af0d933dfd926bedcb8937f0f8"> 125</a></span>&#160;<a class="code" href="classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf">SVFFunction::SVFFunction</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* ty, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunctionType.html">SVFFunctionType</a>* ft,</div>
193
+ <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; <span class="keywordtype">bool</span> declare, <span class="keywordtype">bool</span> intrinsic, <span class="keywordtype">bool</span> adt, <span class="keywordtype">bool</span> varg,</div>
194
+ <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html">SVFLoopAndDomInfo</a>* ld)</div>
195
+ <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>::SVFFunc), isDecl(declare), intrinsic(intrinsic),</div>
196
+ <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; addrTaken(adt), isUncalled(<a class="code" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>), isNotRet(<a class="code" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>), varArg(varg),</div>
197
+ <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; funcType(ft), loopAndDom(ld), realDefFun(nullptr)</div>
198
+ <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160;{</div>
199
+ <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160;}</div>
200
+ <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; </div>
201
+ <div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#a5f6f7bf27f373b16b9c51de310b40686"> 134</a></span>&#160;<a class="code" href="classSVF_1_1SVFFunction.html#a5f6f7bf27f373b16b9c51de310b40686">SVFFunction::~SVFFunction</a>()</div>
202
+ <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160;{</div>
203
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb : <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>)</div>
204
+ <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <span class="keyword">delete</span> bb;</div>
205
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* arg : <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>)</div>
206
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <span class="keyword">delete</span> arg;</div>
207
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keyword">delete</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div>
208
+ <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160;}</div>
209
+ <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; </div>
210
+ <div class="line"><a name="l00143"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e"> 143</a></span>&#160;<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e">SVFFunction::arg_size</a>()<span class="keyword"> const</span></div>
211
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160;<span class="keyword"></span>{</div>
212
+ <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size();</div>
213
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160;}</div>
214
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; </div>
215
+ <div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#a10d9481ae41dce4f266dad5e64fffcee"> 148</a></span>&#160;<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* <a class="code" href="classSVF_1_1SVFFunction.html#a10d9481ae41dce4f266dad5e64fffcee">SVFFunction::getArg</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> idx)<span class="keyword"> const</span></div>
216
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160;<span class="keyword"></span>{</div>
217
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; assert (idx &lt; <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size() &amp;&amp; <span class="stringliteral">&quot;getArg() out of range!&quot;</span>);</div>
218
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>[idx];</div>
219
+ <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160;}</div>
220
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; </div>
221
+ <div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58"> 154</a></span>&#160;<span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVFFunction::isVarArg</a>()<span class="keyword"> const</span></div>
222
+ <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160;<span class="keyword"></span>{</div>
223
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">varArg</a>;</div>
224
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160;}</div>
225
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; </div>
226
+ <div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#a2f21fd47b023a9786f8ab39faaca0a27"> 159</a></span>&#160;<a class="code" href="classSVF_1_1SVFBasicBlock.html#ae017f9a00c523585718bde13665275b3">SVFBasicBlock::SVFBasicBlock</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* ty, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* f)</div>
227
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>::SVFBB), fun(f)</div>
228
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160;{</div>
229
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160;}</div>
230
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; </div>
231
+ <div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#abd5adb119af2024fe4702ba25394d5ac"> 164</a></span>&#160;<a class="code" href="classSVF_1_1SVFBasicBlock.html#abd5adb119af2024fe4702ba25394d5ac">SVFBasicBlock::~SVFBasicBlock</a>()</div>
232
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160;{</div>
233
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>* inst : <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>)</div>
234
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keyword">delete</span> inst;</div>
235
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160;}</div>
236
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; </div>
237
+ <div class="line"><a name="l00173"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#ab8a735b5d183f5190c4c45b313f1b174"> 173</a></span>&#160;<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1SVFBasicBlock.html#ab8a735b5d183f5190c4c45b313f1b174">SVFBasicBlock::getBBSuccessorPos</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* Succ)</div>
238
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160;{</div>
239
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0;</div>
240
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* SuccBB: <a class="code" href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">succBBs</a>)</div>
241
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; {</div>
242
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">if</span> (SuccBB == Succ)</div>
243
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <span class="keywordflow">return</span> i;</div>
244
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; i++;</div>
245
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; }</div>
246
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find succesor edge?&quot;</span>);</div>
247
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keywordflow">return</span> 0;</div>
248
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160;}</div>
249
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; </div>
250
+ <div class="line"><a name="l00186"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#a104c66cdd4d88ba90eefd32bc9eef389"> 186</a></span>&#160;<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1SVFBasicBlock.html#ab8a735b5d183f5190c4c45b313f1b174">SVFBasicBlock::getBBSuccessorPos</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* Succ)<span class="keyword"> const</span></div>
251
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160;<span class="keyword"></span>{</div>
252
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0;</div>
253
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* SuccBB: <a class="code" href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">succBBs</a>)</div>
254
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; {</div>
255
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="keywordflow">if</span> (SuccBB == Succ)</div>
256
+ <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="keywordflow">return</span> i;</div>
257
+ <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; i++;</div>
258
+ <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; }</div>
259
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find succesor edge?&quot;</span>);</div>
260
+ <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <span class="keywordflow">return</span> 0;</div>
261
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160;}</div>
262
+ <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; </div>
263
+ <div class="line"><a name="l00199"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#a10707086ce21999f415c479706abbd38"> 199</a></span>&#160;<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>* <a class="code" href="classSVF_1_1SVFBasicBlock.html#a10707086ce21999f415c479706abbd38">SVFBasicBlock::getTerminator</a>()<span class="keyword"> const</span></div>
264
+ <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160;<span class="keyword"></span>{</div>
265
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.empty() || !<a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.back()-&gt;isTerminator())</div>
266
+ <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
267
+ <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.back();</div>
268
268
  <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160;}</div>
269
269
  <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; </div>
270
- <div class="line"><a name="l00206"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#a10707086ce21999f415c479706abbd38"> 206</a></span>&#160;<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>* <a class="code" href="classSVF_1_1SVFBasicBlock.html#a10707086ce21999f415c479706abbd38">SVFBasicBlock::getTerminator</a>()<span class="keyword"> const</span></div>
271
- <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160;<span class="keyword"></span>{</div>
272
- <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.empty() || !<a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.back()-&gt;isTerminator())</div>
273
- <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
274
- <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">allInsts</a>.back();</div>
275
- <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160;}</div>
276
- <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; </div>
277
- <div class="line"><a name="l00216"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#a59a4b7d815f624e448afe3ac0e9d18f5"> 216</a></span>&#160;<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a59a4b7d815f624e448afe3ac0e9d18f5">SVFBasicBlock::getBBPredecessorPos</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* succbb)</div>
278
- <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160;{</div>
279
- <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos = 0;</div>
280
- <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* PredBB : succbb-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">getPredecessors</a>())</div>
281
- <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; {</div>
282
- <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; <span class="keywordflow">if</span>(PredBB == <span class="keyword">this</span>)</div>
283
- <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <span class="keywordflow">return</span> pos;</div>
284
- <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; ++pos;</div>
285
- <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; }</div>
286
- <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find predecessor edge?&quot;</span>);</div>
287
- <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="keywordflow">return</span> pos;</div>
288
- <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160;}</div>
289
- <div class="line"><a name="l00228"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#a5fe2dae55581ff1cd6ef251a351d5c4f"> 228</a></span>&#160;<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a59a4b7d815f624e448afe3ac0e9d18f5">SVFBasicBlock::getBBPredecessorPos</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* succbb)<span class="keyword"> const</span></div>
290
- <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160;<span class="keyword"></span>{</div>
291
- <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos = 0;</div>
292
- <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* PredBB : succbb-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">getPredecessors</a>())</div>
293
- <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; {</div>
294
- <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <span class="keywordflow">if</span>(PredBB == <span class="keyword">this</span>)</div>
295
- <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="keywordflow">return</span> pos;</div>
296
- <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; ++pos;</div>
297
- <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; }</div>
298
- <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find predecessor edge?&quot;</span>);</div>
299
- <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; <span class="keywordflow">return</span> pos;</div>
300
- <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160;}</div>
301
- <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; </div>
302
- <div class="line"><a name="l00241"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFInstruction.html#a976cc9df05994e7e1b11fcdd22febcc5"> 241</a></span>&#160;<a class="code" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVFInstruction::SVFInstruction</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* ty, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>,</div>
303
- <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; <span class="keywordtype">bool</span> tm, <span class="keywordtype">bool</span> isRet, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVFValKind</a> k)</div>
304
- <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>(ty, k), bb(<a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>), terminator(tm), ret(isRet)</div>
305
- <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160;{</div>
306
- <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160;}</div>
307
- <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; </div>
308
- <div class="line"><a name="l00247"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#a200007869f6137b379157dd1383de8e0"> 247</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFFunction.html#a200007869f6137b379157dd1383de8e0">SVFFunction::print</a>(<a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a>&amp; os)<span class="keyword"> const</span></div>
309
- <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160;<span class="keyword"></span>{</div>
310
- <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;fun &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
311
- <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160;}</div>
312
- <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; </div>
313
- <div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#a38dd04c0450e13c3825cbbd9ed708e86"> 252</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a38dd04c0450e13c3825cbbd9ed708e86">SVFBasicBlock::print</a>(<a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a>&amp; os)<span class="keyword"> const</span></div>
314
- <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160;<span class="keyword"></span>{</div>
315
- <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;BB&quot;</span>;</div>
316
- <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().empty())</div>
317
- <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; os &lt;&lt; <span class="charliteral">&#39; &#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
318
- <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; os &lt;&lt; <span class="stringliteral">&quot; in &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFBasicBlock.html#aeaa9b2b4e802d9e6bed138eaf3186d09">getFunction</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
319
- <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160;}</div>
320
- <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; </div>
321
- <div class="line"><a name="l00260"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFInstruction.html#a1c957a51460975ffe0834e782d12c8aa"> 260</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFInstruction.html#a1c957a51460975ffe0834e782d12c8aa">SVFInstruction::print</a>(<a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a>&amp; os)<span class="keyword"> const</span></div>
322
- <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160;<span class="keyword"></span>{</div>
323
- <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; os &lt;&lt; <span class="charliteral">&#39;`&#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>() &lt;&lt; <span class="stringliteral">&quot;` in &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">getFunction</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
324
- <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; bbName = <a class="code" href="classSVF_1_1SVFInstruction.html#ae009f41cbf48d949d4325e08fe8d7198">getParent</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
325
- <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; <span class="keywordflow">if</span> (bbName.size())</div>
326
- <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; os &lt;&lt; <span class="stringliteral">&quot; BB &quot;</span> &lt;&lt; bbName;</div>
327
- <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160;}</div>
328
- <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; </div>
329
- <div class="line"><a name="l00268"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFConstant.html#af0a0450734cd29e46d56a16b369d8e01"> 268</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFConstant.html#af0a0450734cd29e46d56a16b369d8e01">SVFConstant::print</a>(<a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a>&amp; os)<span class="keyword"> const</span></div>
330
- <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160;<span class="keyword"></span>{</div>
331
- <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;Const &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
332
- <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160;}</div>
333
- <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; </div>
334
- <div class="line"><a name="l00273"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFGlobalValue.html#a77dacce02ff4424dcd4fdf057a50b7a1"> 273</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFGlobalValue.html#a77dacce02ff4424dcd4fdf057a50b7a1">SVFGlobalValue::print</a>(<a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a>&amp; os)<span class="keyword"> const</span></div>
335
- <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160;<span class="keyword"></span>{</div>
336
- <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;@&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
337
- <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160;}</div>
338
- <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; </div>
339
- <div class="line"><a name="l00278"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArgument.html#a0aec4adc3b582945b25b0fd16c5e0bb9"> 278</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFArgument.html#a0aec4adc3b582945b25b0fd16c5e0bb9">SVFArgument::print</a>(<a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a>&amp; os)<span class="keyword"> const</span></div>
340
- <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160;<span class="keyword"></span>{</div>
341
- <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;arg %&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>() &lt;&lt; <span class="stringliteral">&quot; of &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFArgument.html#a59d1389a296abc4bf17434c1cd7b6f57">getParent</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
342
- <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160;}</div>
343
- <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; </div>
344
- <div class="line"><a name="l00283"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFConstantData.html#a3a2a656f333bd91e0f595efd42f99ce0"> 283</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFConstantData.html#a3a2a656f333bd91e0f595efd42f99ce0">SVFConstantData::print</a>(<a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a>&amp; os)<span class="keyword"> const</span></div>
345
- <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160;<span class="keyword"></span>{</div>
346
- <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; <span class="comment">// N.B. Haven&#39;t found instance of this class so far</span></div>
347
- <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;ConstData &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
348
- <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160;}</div>
349
- <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; </div>
350
- <div class="line"><a name="l00289"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFConstantInt.html#af1f12b1a6f7c1c8c9ac356870ea2a6d7"> 289</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFConstantInt.html#af1f12b1a6f7c1c8c9ac356870ea2a6d7">SVFConstantInt::print</a>(<a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a>&amp; os)<span class="keyword"> const</span></div>
351
- <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160;<span class="keyword"></span>{</div>
352
- <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;ConstInt &quot;</span>;</div>
353
- <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().empty())</div>
354
- <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; os &lt;&lt; <a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>() &lt;&lt; <span class="charliteral">&#39; &#39;</span>;</div>
355
- <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keyword">auto</span> ty = dyn_cast&lt;SVFIntegerType&gt;(<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>());</div>
356
- <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; assert(ty &amp;&amp; <span class="stringliteral">&quot;ConstantInt has non-integer type?&quot;</span>);</div>
357
- <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; os &lt;&lt; *ty &lt;&lt; <span class="charliteral">&#39; &#39;</span>;</div>
358
- <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keywordflow">if</span> (ty-&gt;isSigned())</div>
359
- <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; os &lt;&lt; <a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>();</div>
360
- <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; <span class="keywordflow">else</span></div>
361
- <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; os &lt;&lt; <a class="code" href="classSVF_1_1SVFConstantInt.html#aabc3c47a6e4036bf993fe29fa195bf1e">getZExtValue</a>();</div>
362
- <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160;}</div>
363
- <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; </div>
364
- <div class="line"><a name="l00303"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFConstantFP.html#ac5e886b6804a5a798511c0ddeef05bb9"> 303</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFConstantFP.html#ac5e886b6804a5a798511c0ddeef05bb9">SVFConstantFP::print</a>(<a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a>&amp; os)<span class="keyword"> const</span></div>
365
- <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160;<span class="keyword"></span>{</div>
366
- <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;ConstFP &quot;</span>;</div>
367
- <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().empty())</div>
368
- <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; os &lt;&lt; <a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>() &lt;&lt; <span class="charliteral">&#39; &#39;</span>;</div>
369
- <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; os &lt;&lt; *<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>() &lt;&lt; <span class="charliteral">&#39; &#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFConstantFP.html#aeb4e17aacb17c53ff5663175dd762abc">getFPValue</a>();</div>
370
- <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160;}</div>
371
- <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; </div>
372
- <div class="line"><a name="l00311"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFConstantNullPtr.html#a64dcebad79e83de2d3f46e16b9c76f1b"> 311</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFConstantNullPtr.html#a64dcebad79e83de2d3f46e16b9c76f1b">SVFConstantNullPtr::print</a>(<a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a>&amp; os)<span class="keyword"> const</span></div>
373
- <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160;<span class="keyword"></span>{</div>
374
- <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;ConstNull &quot;</span> &lt;&lt; *<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>();</div>
375
- <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().empty())</div>
376
- <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; os &lt;&lt; <span class="charliteral">&#39; &#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
377
- <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160;}</div>
378
- <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; </div>
379
- <div class="line"><a name="l00318"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBlackHoleValue.html#a17ac0f5d75363f526eb680f6adf23e0a"> 318</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBlackHoleValue.html#a17ac0f5d75363f526eb680f6adf23e0a">SVFBlackHoleValue::print</a>(<a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a>&amp; os)<span class="keyword"> const</span></div>
380
- <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160;<span class="keyword"></span>{</div>
381
- <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;BlackHole &quot;</span> &lt;&lt; *<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>();</div>
382
- <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().empty())</div>
383
- <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; os &lt;&lt; <span class="charliteral">&#39; &#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
384
- <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160;}</div>
385
- <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; </div>
386
- <div class="line"><a name="l00325"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFOtherValue.html#a3b17e4740fe82ea02d91bf1f55f130ec"> 325</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFOtherValue.html#a3b17e4740fe82ea02d91bf1f55f130ec">SVFOtherValue::print</a>(<a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a>&amp; os)<span class="keyword"> const</span></div>
387
- <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160;<span class="keyword"></span>{</div>
388
- <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;OtherVal &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
389
- <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160;}</div>
390
- <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; </div>
391
- <div class="line"><a name="l00330"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFMetadataAsValue.html#a92c7e01f14f5dfda7ebfad9295733989"> 330</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFMetadataAsValue.html#a92c7e01f14f5dfda7ebfad9295733989">SVFMetadataAsValue::print</a>(<a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a>&amp; os)<span class="keyword"> const</span></div>
392
- <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160;<span class="keyword"></span>{</div>
393
- <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;MetaDataVal &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
394
- <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160;}</div>
270
+ <div class="line"><a name="l00209"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#a59a4b7d815f624e448afe3ac0e9d18f5"> 209</a></span>&#160;<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a59a4b7d815f624e448afe3ac0e9d18f5">SVFBasicBlock::getBBPredecessorPos</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* succbb)</div>
271
+ <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160;{</div>
272
+ <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos = 0;</div>
273
+ <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* PredBB : succbb-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">getPredecessors</a>())</div>
274
+ <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; {</div>
275
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; <span class="keywordflow">if</span>(PredBB == <span class="keyword">this</span>)</div>
276
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; <span class="keywordflow">return</span> pos;</div>
277
+ <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; ++pos;</div>
278
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; }</div>
279
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find predecessor edge?&quot;</span>);</div>
280
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keywordflow">return</span> pos;</div>
281
+ <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160;}</div>
282
+ <div class="line"><a name="l00221"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBasicBlock.html#a5fe2dae55581ff1cd6ef251a351d5c4f"> 221</a></span>&#160;<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1SVFBasicBlock.html#a59a4b7d815f624e448afe3ac0e9d18f5">SVFBasicBlock::getBBPredecessorPos</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* succbb)<span class="keyword"> const</span></div>
283
+ <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160;<span class="keyword"></span>{</div>
284
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos = 0;</div>
285
+ <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* PredBB : succbb-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">getPredecessors</a>())</div>
286
+ <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; {</div>
287
+ <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="keywordflow">if</span>(PredBB == <span class="keyword">this</span>)</div>
288
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; <span class="keywordflow">return</span> pos;</div>
289
+ <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; ++pos;</div>
290
+ <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; }</div>
291
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find predecessor edge?&quot;</span>);</div>
292
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <span class="keywordflow">return</span> pos;</div>
293
+ <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160;}</div>
294
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; </div>
295
+ <div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFInstruction.html#a976cc9df05994e7e1b11fcdd22febcc5"> 234</a></span>&#160;<a class="code" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVFInstruction::SVFInstruction</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* ty, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>,</div>
296
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <span class="keywordtype">bool</span> tm, <span class="keywordtype">bool</span> isRet, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVFValKind</a> k)</div>
297
+ <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>(ty, k), bb(<a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>), terminator(tm), ret(isRet)</div>
298
+ <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160;{</div>
299
+ <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160;}</div>
395
300
  </div><!-- fragment --></div><!-- contents -->
396
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string &amp; getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00216">SVFValue.h:216</a></div></div>
397
301
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html">SVF::SVFLoopAndDomInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00050">SVFValue.h:50</a></div></div>
398
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ab8a735b5d183f5190c4c45b313f1b174"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ab8a735b5d183f5190c4c45b313f1b174">SVF::SVFBasicBlock::getBBSuccessorPos</a></div><div class="ttdeci">u32_t getBBSuccessorPos(const SVFBasicBlock *succbb)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00180">SVFValue.cpp:180</a></div></div>
399
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_a1c957a51460975ffe0834e782d12c8aa"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a1c957a51460975ffe0834e782d12c8aa">SVF::SVFInstruction::print</a></div><div class="ttdeci">void print(OutStream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00260">SVFValue.cpp:260</a></div></div>
400
- <div class="ttc" id="aclassSVF_1_1SVFBlackHoleValue_html_a17ac0f5d75363f526eb680f6adf23e0a"><div class="ttname"><a href="classSVF_1_1SVFBlackHoleValue.html#a17ac0f5d75363f526eb680f6adf23e0a">SVF::SVFBlackHoleValue::print</a></div><div class="ttdeci">void print(OutStream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00318">SVFValue.cpp:318</a></div></div>
401
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ac6fabc508f6b64127bb597f7b2110231"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">SVF::SVFBasicBlock::getPredecessors</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getPredecessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00581">SVFValue.h:581</a></div></div>
402
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a10d9481ae41dce4f266dad5e64fffcee"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a10d9481ae41dce4f266dad5e64fffcee">SVF::SVFFunction::getArg</a></div><div class="ttdeci">const SVFArgument * getArg(u32_t idx) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00155">SVFValue.cpp:155</a></div></div>
403
- <div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html_a77dacce02ff4424dcd4fdf057a50b7a1"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html#a77dacce02ff4424dcd4fdf057a50b7a1">SVF::SVFGlobalValue::print</a></div><div class="ttdeci">void print(OutStream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00273">SVFValue.cpp:273</a></div></div>
404
- <div class="ttc" id="aclassSVF_1_1SVFArgument_html_a0aec4adc3b582945b25b0fd16c5e0bb9"><div class="ttname"><a href="classSVF_1_1SVFArgument.html#a0aec4adc3b582945b25b0fd16c5e0bb9">SVF::SVFArgument::print</a></div><div class="ttdeci">void print(OutStream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00278">SVFValue.cpp:278</a></div></div>
405
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_aeaa9b2b4e802d9e6bed138eaf3186d09"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#aeaa9b2b4e802d9e6bed138eaf3186d09">SVF::SVFBasicBlock::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00557">SVFValue.h:557</a></div></div>
406
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a200007869f6137b379157dd1383de8e0"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a200007869f6137b379157dd1383de8e0">SVF::SVFFunction::print</a></div><div class="ttdeci">void print(OutStream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00247">SVFValue.cpp:247</a></div></div>
302
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ab8a735b5d183f5190c4c45b313f1b174"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ab8a735b5d183f5190c4c45b313f1b174">SVF::SVFBasicBlock::getBBSuccessorPos</a></div><div class="ttdeci">u32_t getBBSuccessorPos(const SVFBasicBlock *succbb)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00173">SVFValue.cpp:173</a></div></div>
303
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ac6fabc508f6b64127bb597f7b2110231"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">SVF::SVFBasicBlock::getPredecessors</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getPredecessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00573">SVFValue.h:573</a></div></div>
304
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a10d9481ae41dce4f266dad5e64fffcee"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a10d9481ae41dce4f266dad5e64fffcee">SVF::SVFFunction::getArg</a></div><div class="ttdeci">const SVFArgument * getArg(u32_t idx) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00148">SVFValue.cpp:148</a></div></div>
407
305
  <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
408
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a7c3a69644f5e1351aad5d0ce0048abfd"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">SVF::SVFBasicBlock::succBBs</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt; succBBs</div><div class="ttdoc">all successor BasicBlocks of this BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00502">SVFValue.h:502</a></div></div>
409
- <div class="ttc" id="acJSON_8cpp_html_ae71e2aec89bf140e6430cb7d5ca417c5"><div class="ttname"><a href="cJSON_8cpp.html#ae71e2aec89bf140e6430cb7d5ca417c5">print</a></div><div class="ttdeci">static unsigned char * print(const cJSON *const item, cJSON_bool format, const internal_hooks *const hooks)</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01189">cJSON.cpp:1189</a></div></div>
306
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a7c3a69644f5e1351aad5d0ce0048abfd"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd">SVF::SVFBasicBlock::succBBs</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt; succBBs</div><div class="ttdoc">all successor BasicBlocks of this BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00496">SVFValue.h:496</a></div></div>
410
307
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a342f2825d6b7e3289d0f0f4b7ee8247c"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a342f2825d6b7e3289d0f0f4b7ee8247c">SVF::SVFLoopAndDomInfo::dominate</a></div><div class="ttdeci">bool dominate(const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00053">SVFValue.cpp:53</a></div></div>
411
- <div class="ttc" id="aclassSVF_1_1SVFConstantFP_html_aeb4e17aacb17c53ff5663175dd762abc"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html#aeb4e17aacb17c53ff5663175dd762abc">SVF::SVFConstantFP::getFPValue</a></div><div class="ttdeci">double getFPValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00990">SVFValue.h:990</a></div></div>
412
308
  <div class="ttc" id="acJSON_8cpp_html_a65e9886d74aaee76545e83dd09011727"><div class="ttname"><a href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></div><div class="ttdeci">#define false</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00070">cJSON.cpp:70</a></div></div>
413
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a2954b0f29cd81083598afb6431b78f2a"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">SVF::SVFBasicBlock::allInsts</a></div><div class="ttdeci">std::vector&lt; const SVFInstruction * &gt; allInsts</div><div class="ttdoc">all Instructions in this BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00501">SVFValue.h:501</a></div></div>
414
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ab8c7a9c79b0668aae604bbe54e34e46e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e">SVF::SVFFunction::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00150">SVFValue.cpp:150</a></div></div>
415
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a11f2d9b6e969ede6fca2c204cc15b821"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">SVF::SVFValue::getType</a></div><div class="ttdeci">virtual const SVFType * getType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00229">SVFValue.h:229</a></div></div>
416
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a1222d0800de27d27078e6b4a5371beb3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00125">SVFValue.cpp:125</a></div></div>
417
- <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_af1f12b1a6f7c1c8c9ac356870ea2a6d7"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#af1f12b1a6f7c1c8c9ac356870ea2a6d7">SVF::SVFConstantInt::print</a></div><div class="ttdeci">void print(OutStream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00289">SVFValue.cpp:289</a></div></div>
418
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_aef7ad257ea809101df33779463907f3e"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">SVF::SVFInstruction::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00649">SVFValue.h:649</a></div></div>
309
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a2954b0f29cd81083598afb6431b78f2a"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a">SVF::SVFBasicBlock::allInsts</a></div><div class="ttdeci">std::vector&lt; const SVFInstruction * &gt; allInsts</div><div class="ttdoc">all Instructions in this BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00495">SVFValue.h:495</a></div></div>
310
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ab8c7a9c79b0668aae604bbe54e34e46e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e">SVF::SVFFunction::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00143">SVFValue.cpp:143</a></div></div>
419
311
  <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ae017f9a00c523585718bde13665275b3"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ae017f9a00c523585718bde13665275b3">SVF::SVFBasicBlock::SVFBasicBlock</a></div><div class="ttdeci">SVFBasicBlock()=delete</div></div>
420
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a11aaa0ffaf7fa3d220c9af5d4537eaad"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">SVF::SVFFunction::varArg</a></div><div class="ttdeci">bool varArg</div><div class="ttdoc">return true if this function never returns</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00293">SVFValue.h:293</a></div></div>
421
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a5f6f7bf27f373b16b9c51de310b40686"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a5f6f7bf27f373b16b9c51de310b40686">SVF::SVFFunction::~SVFFunction</a></div><div class="ttdeci">virtual ~SVFFunction()</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00141">SVFValue.cpp:141</a></div></div>
312
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a11aaa0ffaf7fa3d220c9af5d4537eaad"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">SVF::SVFFunction::varArg</a></div><div class="ttdeci">bool varArg</div><div class="ttdoc">return true if this function never returns</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00289">SVFValue.h:289</a></div></div>
313
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a5f6f7bf27f373b16b9c51de310b40686"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a5f6f7bf27f373b16b9c51de310b40686">SVF::SVFFunction::~SVFFunction</a></div><div class="ttdeci">virtual ~SVFFunction()</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00134">SVFValue.cpp:134</a></div></div>
422
314
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_af66c5a824f9fc2813e2d97e17f9a2e96"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#af66c5a824f9fc2813e2d97e17f9a2e96">SVF::SVFLoopAndDomInfo::postDominate</a></div><div class="ttdeci">bool postDominate(const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00084">SVFValue.cpp:84</a></div></div>
423
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_aa61307a21647def105677d36bfbaf32f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">SVF::SVFFunction::allBBs</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt; allBBs</div><div class="ttdoc">the definition of a function across multiple modules</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
315
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_aa61307a21647def105677d36bfbaf32f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">SVF::SVFFunction::allBBs</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt; allBBs</div><div class="ttdoc">the definition of a function across multiple modules</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00293">SVFValue.h:293</a></div></div>
424
316
  <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
425
317
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a39257282d3875b5d28c21f6c8b1caf43"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43">SVF::SVFLoopAndDomInfo::isLoopHeader</a></div><div class="ttdeci">bool isLoopHeader(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00114">SVFValue.cpp:114</a></div></div>
426
- <div class="ttc" id="aclassSVF_1_1SVFConstantNullPtr_html_a64dcebad79e83de2d3f46e16b9c76f1b"><div class="ttname"><a href="classSVF_1_1SVFConstantNullPtr.html#a64dcebad79e83de2d3f46e16b9c76f1b">SVF::SVFConstantNullPtr::print</a></div><div class="ttdeci">void print(OutStream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00311">SVFValue.cpp:311</a></div></div>
427
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00490">SVFValue.h:490</a></div></div>
318
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00484">SVFValue.h:484</a></div></div>
428
319
  <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00150">SVFValue.h:150</a></div></div>
429
320
  <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00385">SVFType.h:385</a></div></div>
430
- <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
431
- <div class="ttc" id="aclassSVF_1_1SVFMetadataAsValue_html_a92c7e01f14f5dfda7ebfad9295733989"><div class="ttname"><a href="classSVF_1_1SVFMetadataAsValue.html#a92c7e01f14f5dfda7ebfad9295733989">SVF::SVFMetadataAsValue::print</a></div><div class="ttdeci">void print(OutStream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00330">SVFValue.cpp:330</a></div></div>
432
321
  <div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
433
322
  <div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00242">SVFType.h:242</a></div></div>
434
323
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a33b96ce50eb1d3caab2b20c19a60b2cc"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a33b96ce50eb1d3caab2b20c19a60b2cc">SVF::SVFLoopAndDomInfo::BBList</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt; BBList</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00056">SVFValue.h:56</a></div></div>
435
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a10707086ce21999f415c479706abbd38"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a10707086ce21999f415c479706abbd38">SVF::SVFBasicBlock::getTerminator</a></div><div class="ttdeci">const SVFInstruction * getTerminator() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00206">SVFValue.cpp:206</a></div></div>
436
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00274">SVFValue.h:274</a></div></div>
437
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a625bef2b92c8e62df547bd2758b59c75"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">SVF::SVFFunction::allArgs</a></div><div class="ttdeci">std::vector&lt; const SVFArgument * &gt; allArgs</div><div class="ttdoc">all BasicBlocks of this function</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00298">SVFValue.h:298</a></div></div>
324
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a10707086ce21999f415c479706abbd38"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a10707086ce21999f415c479706abbd38">SVF::SVFBasicBlock::getTerminator</a></div><div class="ttdeci">const SVFInstruction * getTerminator() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00199">SVFValue.cpp:199</a></div></div>
325
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00270">SVFValue.h:270</a></div></div>
326
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a625bef2b92c8e62df547bd2758b59c75"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">SVF::SVFFunction::allArgs</a></div><div class="ttdeci">std::vector&lt; const SVFArgument * &gt; allArgs</div><div class="ttdoc">all BasicBlocks of this function</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00294">SVFValue.h:294</a></div></div>
438
327
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a7e965c21a8afe7fca32d0f41b16361cf"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf">SVF::SVFFunction::SVFFunction</a></div><div class="ttdeci">SVFFunction(void)=delete</div></div>
439
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00295">SVFValue.h:295</a></div></div>
440
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_abd5adb119af2024fe4702ba25394d5ac"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#abd5adb119af2024fe4702ba25394d5ac">SVF::SVFBasicBlock::~SVFBasicBlock</a></div><div class="ttdeci">~SVFBasicBlock() override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00171">SVFValue.cpp:171</a></div></div>
328
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00291">SVFValue.h:291</a></div></div>
329
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_abd5adb119af2024fe4702ba25394d5ac"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#abd5adb119af2024fe4702ba25394d5ac">SVF::SVFBasicBlock::~SVFBasicBlock</a></div><div class="ttdeci">~SVFBasicBlock() override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00164">SVFValue.cpp:164</a></div></div>
441
330
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVF::SVFValue::SVFValKind</a></div><div class="ttdeci">SVFValKind</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00159">SVFValue.h:159</a></div></div>
442
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a66f51cd41e93ad055c4a0c2874e73fae"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock::getSuccessors</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00576">SVFValue.h:576</a></div></div>
443
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ae578002917b4ccbf28f172dba30d1d58"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVF::SVFFunction::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00161">SVFValue.cpp:161</a></div></div>
444
- <div class="ttc" id="aclassSVF_1_1SVFArgument_html_a59d1389a296abc4bf17434c1cd7b6f57"><div class="ttname"><a href="classSVF_1_1SVFArgument.html#a59d1389a296abc4bf17434c1cd7b6f57">SVF::SVFArgument::getParent</a></div><div class="ttdeci">const SVFFunction * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00885">SVFValue.h:885</a></div></div>
331
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a66f51cd41e93ad055c4a0c2874e73fae"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock::getSuccessors</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00568">SVFValue.h:568</a></div></div>
332
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ae578002917b4ccbf28f172dba30d1d58"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVF::SVFFunction::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00154">SVFValue.cpp:154</a></div></div>
445
333
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a0fb893485fc3df088d921762514faf66"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">SVF::SVFLoopAndDomInfo::getLoopInfo</a></div><div class="ttdeci">const LoopBBs &amp; getLoopInfo(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00027">SVFValue.cpp:27</a></div></div>
446
334
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a48654f61a84ac5f93b02fb618cd0d045"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a48654f61a84ac5f93b02fb618cd0d045">SVF::SVFLoopAndDomInfo::getExitBlocksOfLoop</a></div><div class="ttdeci">void getExitBlocksOfLoop(const SVFBasicBlock *bb, BBList &amp;exitbbs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00034">SVFValue.cpp:34</a></div></div>
447
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a59a4b7d815f624e448afe3ac0e9d18f5"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a59a4b7d815f624e448afe3ac0e9d18f5">SVF::SVFBasicBlock::getBBPredecessorPos</a></div><div class="ttdeci">u32_t getBBPredecessorPos(const SVFBasicBlock *succbb)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00216">SVFValue.cpp:216</a></div></div>
448
- <div class="ttc" id="aclassSVF_1_1SVFConstantFP_html_ac5e886b6804a5a798511c0ddeef05bb9"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html#ac5e886b6804a5a798511c0ddeef05bb9">SVF::SVFConstantFP::print</a></div><div class="ttdeci">void print(OutStream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00303">SVFValue.cpp:303</a></div></div>
449
- <div class="ttc" id="aclassSVF_1_1SVFConstantData_html_a3a2a656f333bd91e0f595efd42f99ce0"><div class="ttname"><a href="classSVF_1_1SVFConstantData.html#a3a2a656f333bd91e0f595efd42f99ce0">SVF::SVFConstantData::print</a></div><div class="ttdeci">void print(OutStream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00283">SVFValue.cpp:283</a></div></div>
450
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a38dd04c0450e13c3825cbbd9ed708e86"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a38dd04c0450e13c3825cbbd9ed708e86">SVF::SVFBasicBlock::print</a></div><div class="ttdeci">void print(OutStream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00252">SVFValue.cpp:252</a></div></div>
335
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a59a4b7d815f624e448afe3ac0e9d18f5"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a59a4b7d815f624e448afe3ac0e9d18f5">SVF::SVFBasicBlock::getBBPredecessorPos</a></div><div class="ttdeci">u32_t getBBPredecessorPos(const SVFBasicBlock *succbb)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00209">SVFValue.cpp:209</a></div></div>
451
336
  <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_a7d81c86ea5e1f8e313457862e19c2a3c"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction::SVFInstruction</a></div><div class="ttdeci">SVFInstruction(void)=delete</div></div>
452
- <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_aabc3c47a6e4036bf993fe29fa195bf1e"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#aabc3c47a6e4036bf993fe29fa195bf1e">SVF::SVFConstantInt::getZExtValue</a></div><div class="ttdeci">u64_t getZExtValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00964">SVFValue.h:964</a></div></div>
453
337
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ad478ac88bc07cf4d6d0ad3517b2c4ab3"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ad478ac88bc07cf4d6d0ad3517b2c4ab3">SVF::SVFLoopAndDomInfo::BBSet</a></div><div class="ttdeci">Set&lt; const SVFBasicBlock * &gt; BBSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00055">SVFValue.h:55</a></div></div>
454
338
  <div class="ttc" id="aclassSVF_1_1StInfo_html_aae0736a5e99b11571af52e28500a6f9c"><div class="ttname"><a href="classSVF_1_1StInfo.html#aae0736a5e99b11571af52e28500a6f9c">SVF::StInfo::addFldWithType</a></div><div class="ttdeci">void addFldWithType(u32_t fldIdx, const SVFType *type, u32_t elemIdx)</div><div class="ttdoc">Add field index and element index and their corresponding type.</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00008">SVFValue.cpp:8</a></div></div>
455
- <div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00866">SVFValue.h:866</a></div></div>
339
+ <div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00853">SVFValue.h:853</a></div></div>
456
340
  <div class="ttc" id="aclassSVF_1_1StInfo_html_a055697f565cb9d73b41110090fe50159"><div class="ttname"><a href="classSVF_1_1StInfo.html#a055697f565cb9d73b41110090fe50159">SVF::StInfo::getOriginalElemType</a></div><div class="ttdeci">const SVFType * getOriginalElemType(u32_t fldIdx) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00019">SVFValue.cpp:19</a></div></div>
457
- <div class="ttc" id="aclassSVF_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#l00624">SVFValue.h:624</a></div></div>
458
341
  <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
459
- <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00595">SVFValue.h:595</a></div></div>
460
- <div class="ttc" id="anamespaceSVF_html_a8bd74fdcb0e58d0249003df9c3fb8b31"><div class="ttname"><a href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF::OutStream</a></div><div class="ttdeci">std::ostream OutStream</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00048">SVFType.h:48</a></div></div>
342
+ <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00587">SVFValue.h:587</a></div></div>
461
343
  <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
462
- <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_a73f04bdfc19261b65164b98787bc2ed4"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">SVF::SVFConstantInt::getSExtValue</a></div><div class="ttdeci">s64_t getSExtValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00969">SVFValue.h:969</a></div></div>
463
- <div class="ttc" id="aclassSVF_1_1SVFOtherValue_html_a3b17e4740fe82ea02d91bf1f55f130ec"><div class="ttname"><a href="classSVF_1_1SVFOtherValue.html#a3b17e4740fe82ea02d91bf1f55f130ec">SVF::SVFOtherValue::print</a></div><div class="ttdeci">void print(OutStream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00325">SVFValue.cpp:325</a></div></div>
464
344
  <div class="ttc" id="acJSON_8h_html_a1a175e87536301df98c805ac0636ad7c"><div class="ttname"><a href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a></div><div class="ttdeci">const cJSON *const b</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00255">cJSON.h:255</a></div></div>
465
345
  <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
466
346
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ae5e2b154313b4330bb015050aec72a1f"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ae5e2b154313b4330bb015050aec72a1f">SVF::SVFLoopAndDomInfo::LoopBBs</a></div><div class="ttdeci">BBList LoopBBs</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00057">SVFValue.h:57</a></div></div>
467
- <div class="ttc" id="aclassSVF_1_1SVFConstant_html_af0a0450734cd29e46d56a16b369d8e01"><div class="ttname"><a href="classSVF_1_1SVFConstant.html#af0a0450734cd29e46d56a16b369d8e01">SVF::SVFConstant::print</a></div><div class="ttdeci">void print(OutStream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00268">SVFValue.cpp:268</a></div></div>
468
347
  <!-- start footer part -->
469
348
  <hr class="footer"/><address class="footer"><small>
470
349
  Generated by &#160;<a href="http://www.doxygen.org/index.html">