svf-tools 1.0.758 → 1.0.760

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 (666) hide show
  1. package/CMakeLists.txt +7 -0
  2. package/SVF-doxygen/html/html/AccessPath_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/AddressValue_8h_source.html +1 -1
  4. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +5 -5
  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 +2 -2
  9. package/SVF-doxygen/html/html/CFGrammar_8cpp_source.html +11 -8
  10. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +7 -7
  11. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +1 -1
  12. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +17 -17
  13. package/SVF-doxygen/html/html/CHG_8cpp.html +2 -2
  14. package/SVF-doxygen/html/html/CHG_8cpp_source.html +7 -7
  15. package/SVF-doxygen/html/html/CHG_8h_source.html +3 -3
  16. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +6 -6
  17. package/SVF-doxygen/html/html/CallGraphBuilder_8h_source.html +1 -1
  18. package/SVF-doxygen/html/html/CommandLine_8h_source.html +2 -1
  19. package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/html/ConsExeState_8h_source.html +1 -1
  21. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +2 -2
  22. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/html/CoreBitVector_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +2 -2
  25. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +11 -11
  26. package/SVF-doxygen/html/html/DCHG_8h_source.html +3 -3
  27. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +3 -3
  28. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  29. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/DPItem_8h_source.html +1 -1
  32. package/SVF-doxygen/html/html/ExeState_8h_source.html +1 -1
  33. package/SVF-doxygen/html/html/ExtAPI_8cpp.html +0 -196
  34. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +121 -786
  35. package/SVF-doxygen/html/html/ExtAPI_8h.html +2 -67
  36. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +69 -654
  37. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
  39. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +1 -1
  40. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +1 -1
  41. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +11 -11
  42. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +2 -2
  43. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +1 -1
  44. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +4 -4
  45. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +7 -7
  46. package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
  47. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/html/IntervalExeState_8h_source.html +1 -1
  49. package/SVF-doxygen/html/html/IntervalValue_8h_source.html +1 -1
  50. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +6 -6
  51. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8h_source.html +1 -1
  52. package/SVF-doxygen/html/html/LLVMModule_8cpp.html +3 -4
  53. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1408 -1289
  54. package/SVF-doxygen/html/html/LLVMModule_8h.html +1 -0
  55. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +418 -400
  56. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +744 -616
  57. package/SVF-doxygen/html/html/LLVMUtil_8h.html +9 -1
  58. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +485 -472
  59. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +2 -2
  60. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +14 -14
  61. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +2 -2
  62. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +8 -8
  63. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +5 -5
  64. package/SVF-doxygen/html/html/MHP_8cpp_source.html +14 -14
  65. package/SVF-doxygen/html/html/MHP_8h_source.html +3 -3
  66. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +2 -2
  67. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  68. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +4 -4
  69. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +5 -5
  70. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +7 -7
  71. package/SVF-doxygen/html/html/MTA_8cpp_source.html +4 -4
  72. package/SVF-doxygen/html/html/MTA_8h_source.html +1 -1
  73. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +13 -13
  74. package/SVF-doxygen/html/html/MemRegion_8h_source.html +1 -1
  75. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +20 -20
  76. package/SVF-doxygen/html/html/MemSSA_8h_source.html +1 -1
  77. package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +1 -1
  78. package/SVF-doxygen/html/html/Options_8cpp_source.html +2 -1
  79. package/SVF-doxygen/html/html/PCG_8cpp_source.html +13 -13
  80. package/SVF-doxygen/html/html/PCG_8h_source.html +3 -3
  81. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +2 -2
  82. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  83. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +3 -3
  84. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +12 -12
  85. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
  86. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +1 -1
  87. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +2 -2
  88. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +1 -1
  89. package/SVF-doxygen/html/html/RelExeState_8h_source.html +1 -1
  90. package/SVF-doxygen/html/html/SVFBugReport_8cpp_source.html +362 -365
  91. package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +24 -24
  92. package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +2087 -2084
  93. package/SVF-doxygen/html/html/SVFFileSystem_8h.html +1 -1
  94. package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html +60 -60
  95. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +5 -5
  96. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +2 -2
  97. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +1 -1
  98. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +5 -5
  99. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8cpp_source.html +4 -4
  100. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +4 -4
  101. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +454 -527
  102. package/SVF-doxygen/html/html/SVFIRBuilder_8h.html +1 -1
  103. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +211 -233
  104. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp.html +2 -0
  105. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +286 -682
  106. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +2 -2
  107. package/SVF-doxygen/html/html/SVFIR_8h_source.html +1 -1
  108. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +9 -9
  109. package/SVF-doxygen/html/html/SVFModule_8h.html +0 -1
  110. package/SVF-doxygen/html/html/SVFModule_8h_source.html +258 -260
  111. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +8 -8
  112. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
  113. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +2 -2
  114. package/SVF-doxygen/html/html/SVFType_8h_source.html +1 -1
  115. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +7 -6
  116. package/SVF-doxygen/html/html/SVFUtil_8h.html +4 -9
  117. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +392 -405
  118. package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +11 -10
  119. package/SVF-doxygen/html/html/SVFValue_8h_source.html +1038 -1030
  120. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +1 -1
  121. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  122. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +14 -14
  123. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +6 -6
  124. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  125. package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +1 -1
  126. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
  127. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  128. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +5 -5
  129. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +1 -1
  130. package/SVF-doxygen/html/html/SymState_8cpp_source.html +1 -1
  131. package/SVF-doxygen/html/html/SymState_8h_source.html +1 -1
  132. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +28 -28
  133. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
  134. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +1 -1
  135. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
  136. package/SVF-doxygen/html/html/TCT_8cpp_source.html +15 -15
  137. package/SVF-doxygen/html/html/TCT_8h_source.html +7 -7
  138. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +14 -14
  139. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +5 -5
  140. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  141. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +3 -3
  142. package/SVF-doxygen/html/html/VFGNode_8h_source.html +1 -1
  143. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +2 -2
  144. package/SVF-doxygen/html/html/WPAPass_8h_source.html +1 -1
  145. package/SVF-doxygen/html/html/WTO_8h_source.html +1 -1
  146. package/SVF-doxygen/html/html/annotated.html +1 -4
  147. package/SVF-doxygen/html/html/cJSON_8cpp.html +2 -1
  148. package/SVF-doxygen/html/html/cJSON_8cpp_source.html +2 -1
  149. package/SVF-doxygen/html/html/cfl_8cpp.html +2 -2
  150. package/SVF-doxygen/html/html/cfl_8cpp_source.html +2 -2
  151. package/SVF-doxygen/html/html/classOption.html +2 -1
  152. package/SVF-doxygen/html/html/classSVF_1_1AccessPath.html +2 -2
  153. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  154. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  155. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +1 -1
  156. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1AddressValue.html +1 -1
  158. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +1 -1
  159. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +5 -5
  160. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
  161. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +3 -3
  162. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
  163. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  164. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +1 -1
  165. package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug.html +50 -50
  166. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTO.html +1 -1
  167. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
  168. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +1 -1
  169. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +7 -7
  170. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +18 -18
  171. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +5 -5
  172. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +1 -1
  174. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +6 -6
  175. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +2 -2
  176. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +1 -1
  177. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  178. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +95 -95
  179. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
  180. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  181. package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +1 -1
  182. package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +1 -1
  183. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
  184. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
  185. package/SVF-doxygen/html/html/classSVF_1_1CoreBitVector.html +1 -1
  186. package/SVF-doxygen/html/html/classSVF_1_1CxtDPItem.html +1 -1
  187. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +1 -1
  188. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +1 -1
  189. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +9 -9
  191. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeBug.html +35 -35
  192. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +2 -2
  193. package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +1 -1
  194. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +8 -77
  195. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +130 -1337
  196. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
  197. package/SVF-doxygen/html/html/classSVF_1_1FileNeverCloseBug.html +10 -10
  198. package/SVF-doxygen/html/html/classSVF_1_1FilePartialCloseBug.html +35 -35
  199. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +12 -12
  200. package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug.html +10 -10
  201. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +3 -3
  202. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +4 -4
  203. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +2 -2
  204. package/SVF-doxygen/html/html/classSVF_1_1GenericBug.html +9 -13
  205. package/SVF-doxygen/html/html/classSVF_1_1GenericGraphReader.html +1 -1
  206. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
  207. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
  208. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +1 -1
  209. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +11 -8
  210. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +2 -2
  211. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +11 -11
  212. package/SVF-doxygen/html/html/classSVF_1_1ICFGWriter.html +11 -11
  213. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  214. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  215. package/SVF-doxygen/html/html/classSVF_1_1IntervalExeState.html +1 -1
  216. package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html +1 -1
  217. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +1 -1
  218. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +3 -3
  219. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  220. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +5 -5
  221. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +42 -40
  222. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1583 -1452
  223. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +4 -4
  224. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
  225. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +14 -14
  226. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +8 -8
  227. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +14 -14
  228. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +3 -3
  229. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +13 -13
  230. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  231. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +4 -4
  232. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +6 -6
  233. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  234. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +7 -7
  235. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
  236. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +21 -21
  237. package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug.html +10 -10
  238. package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +1 -1
  239. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  240. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +14 -14
  241. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  242. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +1 -1
  243. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +1 -1
  244. package/SVF-doxygen/html/html/classSVF_1_1PartialLeakBug.html +34 -34
  245. package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug.html +10 -10
  246. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +1 -1
  247. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +11 -11
  248. package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +1 -1
  249. package/SVF-doxygen/html/html/classSVF_1_1PointsTo_1_1PointsToIterator.html +1 -1
  250. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +2 -2
  251. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +7 -7
  252. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +3 -3
  253. package/SVF-doxygen/html/html/classSVF_1_1ReaderIDToObjMap.html +2 -2
  254. package/SVF-doxygen/html/html/classSVF_1_1ReaderPtrPool.html +2 -2
  255. package/SVF-doxygen/html/html/classSVF_1_1RelExeState.html +1 -1
  256. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +1 -1
  257. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +2 -2
  258. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  259. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html +30 -30
  260. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +73 -73
  261. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html +15 -15
  262. package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +50 -50
  263. package/SVF-doxygen/html/html/classSVF_1_1SVFBugReport.html +87 -87
  264. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html +67 -67
  265. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html +17 -17
  266. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html +23 -23
  267. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html +21 -21
  268. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html +27 -27
  269. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html +15 -15
  270. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +15 -13
  271. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +222 -153
  272. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +5 -5
  273. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +5 -5
  274. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +1 -1
  275. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +34 -34
  276. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +2 -2
  277. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ConsExeState.html +3 -3
  278. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +4 -4
  279. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +64 -73
  280. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +905 -1767
  281. package/SVF-doxygen/html/html/classSVF_1_1SVFIRReader.html +1126 -1124
  282. package/SVF-doxygen/html/html/classSVF_1_1SVFIRWriter.html +547 -546
  283. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +53 -53
  284. package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo.html +2 -2
  285. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html +15 -15
  286. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +173 -173
  287. package/SVF-doxygen/html/html/classSVF_1_1SVFModuleReader.html +1 -1
  288. package/SVF-doxygen/html/html/classSVF_1_1SVFModuleWriter.html +23 -23
  289. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherType.html +1 -1
  290. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue.html +11 -11
  291. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +8 -8
  292. package/SVF-doxygen/html/html/classSVF_1_1SVFStructType.html +1 -1
  293. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +27 -27
  294. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html +53 -53
  295. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +13 -13
  296. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  297. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
  298. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +1 -1
  299. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +5 -5
  300. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
  301. package/SVF-doxygen/html/html/classSVF_1_1SymState.html +1 -1
  302. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +27 -27
  303. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfoReader.html +1 -1
  304. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +15 -15
  305. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  306. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  307. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +8 -8
  308. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
  309. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +5 -5
  310. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +3 -3
  311. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +1 -1
  312. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  313. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
  314. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
  315. package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.html +1 -1
  316. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy.html +1 -1
  317. package/SVF-doxygen/html/html/classSVF_1_1iter__range.html +1 -1
  318. package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.html +1 -1
  319. package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator.html +1 -1
  320. package/SVF-doxygen/html/html/classes.html +335 -338
  321. package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
  322. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  323. package/SVF-doxygen/html/html/dir_3bbf4ce25bc1411b817b5643b794c8fb.html +2 -0
  324. package/SVF-doxygen/html/html/extapi_8c.html +1950 -0
  325. package/SVF-doxygen/html/html/extapi_8c_source.html +1488 -0
  326. package/SVF-doxygen/html/html/files.html +29 -28
  327. package/SVF-doxygen/html/html/functions_a.html +17 -27
  328. package/SVF-doxygen/html/html/functions_b.html +9 -12
  329. package/SVF-doxygen/html/html/functions_c.html +26 -70
  330. package/SVF-doxygen/html/html/functions_d.html +3 -7
  331. package/SVF-doxygen/html/html/functions_e.html +4 -121
  332. package/SVF-doxygen/html/html/functions_enum.html +0 -6
  333. package/SVF-doxygen/html/html/functions_eval.html +0 -1
  334. package/SVF-doxygen/html/html/functions_eval_c.html +1 -15
  335. package/SVF-doxygen/html/html/functions_eval_e.html +0 -96
  336. package/SVF-doxygen/html/html/functions_eval_g.html +1 -2
  337. package/SVF-doxygen/html/html/functions_eval_l.html +0 -1
  338. package/SVF-doxygen/html/html/functions_eval_m.html +0 -6
  339. package/SVF-doxygen/html/html/functions_eval_o.html +0 -3
  340. package/SVF-doxygen/html/html/functions_eval_r.html +0 -6
  341. package/SVF-doxygen/html/html/functions_eval_s.html +0 -1
  342. package/SVF-doxygen/html/html/functions_f.html +16 -19
  343. package/SVF-doxygen/html/html/functions_func.html +6 -18
  344. package/SVF-doxygen/html/html/functions_func_e.html +1 -13
  345. package/SVF-doxygen/html/html/functions_func_g.html +24 -91
  346. package/SVF-doxygen/html/html/functions_func_h.html +9 -12
  347. package/SVF-doxygen/html/html/functions_func_i.html +16 -28
  348. package/SVF-doxygen/html/html/functions_func_n.html +0 -3
  349. package/SVF-doxygen/html/html/functions_func_p.html +3 -12
  350. package/SVF-doxygen/html/html/functions_func_s.html +20 -83
  351. package/SVF-doxygen/html/html/functions_g.html +32 -100
  352. package/SVF-doxygen/html/html/functions_h.html +6 -9
  353. package/SVF-doxygen/html/html/functions_i.html +16 -28
  354. package/SVF-doxygen/html/html/functions_l.html +0 -1
  355. package/SVF-doxygen/html/html/functions_m.html +1 -7
  356. package/SVF-doxygen/html/html/functions_n.html +4 -7
  357. package/SVF-doxygen/html/html/functions_o.html +31 -44
  358. package/SVF-doxygen/html/html/functions_p.html +18 -29
  359. package/SVF-doxygen/html/html/functions_r.html +9 -16
  360. package/SVF-doxygen/html/html/functions_s.html +16 -84
  361. package/SVF-doxygen/html/html/functions_t.html +4 -10
  362. package/SVF-doxygen/html/html/functions_v.html +3 -3
  363. package/SVF-doxygen/html/html/functions_vars_a.html +3 -0
  364. package/SVF-doxygen/html/html/functions_vars_b.html +0 -3
  365. package/SVF-doxygen/html/html/functions_vars_c.html +1 -23
  366. package/SVF-doxygen/html/html/functions_vars_d.html +1 -5
  367. package/SVF-doxygen/html/html/functions_vars_e.html +2 -8
  368. package/SVF-doxygen/html/html/functions_vars_f.html +0 -3
  369. package/SVF-doxygen/html/html/functions_vars_o.html +0 -9
  370. package/SVF-doxygen/html/html/functions_vars_r.html +1 -2
  371. package/SVF-doxygen/html/html/functions_vars_s.html +1 -5
  372. package/SVF-doxygen/html/html/functions_vars_t.html +0 -6
  373. package/SVF-doxygen/html/html/globals.html +22 -4
  374. package/SVF-doxygen/html/html/globals_a.html +3 -0
  375. package/SVF-doxygen/html/html/globals_b.html +3 -0
  376. package/SVF-doxygen/html/html/globals_defs.html +3 -9
  377. package/SVF-doxygen/html/html/globals_e.html +0 -3
  378. package/SVF-doxygen/html/html/globals_f.html +11 -2
  379. package/SVF-doxygen/html/html/globals_func.html +159 -15
  380. package/SVF-doxygen/html/html/globals_g.html +13 -4
  381. package/SVF-doxygen/html/html/globals_i.html +41 -2
  382. package/SVF-doxygen/html/html/globals_j.html +3 -6
  383. package/SVF-doxygen/html/html/globals_l.html +3 -0
  384. package/SVF-doxygen/html/html/globals_m.html +8 -2
  385. package/SVF-doxygen/html/html/globals_n.html +2 -1
  386. package/SVF-doxygen/html/html/globals_p.html +1 -4
  387. package/SVF-doxygen/html/html/globals_r.html +12 -6
  388. package/SVF-doxygen/html/html/globals_s.html +33 -0
  389. package/SVF-doxygen/html/html/globals_t.html +3 -0
  390. package/SVF-doxygen/html/html/hierarchy.html +526 -529
  391. package/SVF-doxygen/html/html/iterator_8h_source.html +1 -1
  392. package/SVF-doxygen/html/html/iterator__range_8h_source.html +1 -1
  393. package/SVF-doxygen/html/html/llvm2svf_8cpp.html +1 -1
  394. package/SVF-doxygen/html/html/llvm2svf_8cpp_source.html +1 -1
  395. package/SVF-doxygen/html/html/menudata.js +3 -0
  396. package/SVF-doxygen/html/html/mta_8cpp.html +1 -1
  397. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  398. package/SVF-doxygen/html/html/namespaceSVF.html +152 -151
  399. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +1003 -776
  400. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +298 -368
  401. package/SVF-doxygen/html/html/namespacemembers_func_g.html +11 -5
  402. package/SVF-doxygen/html/html/namespacemembers_func_i.html +11 -14
  403. package/SVF-doxygen/html/html/namespacemembers_func_r.html +6 -0
  404. package/SVF-doxygen/html/html/namespacemembers_g.html +11 -5
  405. package/SVF-doxygen/html/html/namespacemembers_i.html +8 -11
  406. package/SVF-doxygen/html/html/namespacemembers_r.html +6 -0
  407. package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
  408. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  409. package/SVF-doxygen/html/html/search/all_0.js +153 -147
  410. package/SVF-doxygen/html/html/search/all_1.js +476 -478
  411. package/SVF-doxygen/html/html/search/all_10.js +323 -327
  412. package/SVF-doxygen/html/html/search/all_11.js +212 -209
  413. package/SVF-doxygen/html/html/search/all_12.js +536 -547
  414. package/SVF-doxygen/html/html/search/all_13.js +188 -189
  415. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  416. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  417. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  418. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  419. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  420. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  421. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  422. package/SVF-doxygen/html/html/search/all_2.js +159 -159
  423. package/SVF-doxygen/html/html/search/all_3.js +597 -608
  424. package/SVF-doxygen/html/html/search/all_4.js +226 -227
  425. package/SVF-doxygen/html/html/search/all_5.js +116 -156
  426. package/SVF-doxygen/html/html/search/all_6.js +225 -223
  427. package/SVF-doxygen/html/html/search/all_7.js +996 -1012
  428. package/SVF-doxygen/html/html/search/all_8.js +191 -192
  429. package/SVF-doxygen/html/html/search/all_9.js +605 -597
  430. package/SVF-doxygen/html/html/search/all_a.js +46 -47
  431. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  432. package/SVF-doxygen/html/html/search/all_c.js +114 -113
  433. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  434. package/SVF-doxygen/html/html/search/all_e.js +205 -206
  435. package/SVF-doxygen/html/html/search/all_f.js +116 -122
  436. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  437. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  438. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  439. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  440. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  441. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  442. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  443. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  444. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  445. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  446. package/SVF-doxygen/html/html/search/classes_4.js +8 -10
  447. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  448. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  449. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  450. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  451. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  452. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  453. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  454. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  455. package/SVF-doxygen/html/html/search/classes_d.js +18 -19
  456. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  457. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  458. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  459. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  460. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  461. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  462. package/SVF-doxygen/html/html/search/defines_4.js +2 -3
  463. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  464. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  465. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  466. package/SVF-doxygen/html/html/search/defines_8.js +11 -13
  467. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  468. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  469. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  470. package/SVF-doxygen/html/html/search/defines_c.js +3 -2
  471. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  472. package/SVF-doxygen/html/html/search/defines_e.js +6 -6
  473. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  474. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  475. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  476. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  477. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  478. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  479. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  480. package/SVF-doxygen/html/html/search/enums_4.js +3 -4
  481. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  482. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  483. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  484. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  485. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  486. package/SVF-doxygen/html/html/search/enums_a.js +1 -2
  487. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  488. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  489. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  490. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  491. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  492. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  493. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  494. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  495. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  496. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  497. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  498. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  499. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  500. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -40
  501. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  502. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -34
  503. package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -48
  504. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  505. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  506. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  507. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  508. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -17
  509. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  510. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -6
  511. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  512. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -11
  513. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  514. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  515. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  516. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  517. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  518. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  519. package/SVF-doxygen/html/html/search/files_2.js +49 -49
  520. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  521. package/SVF-doxygen/html/html/search/files_4.js +5 -4
  522. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  523. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  524. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  525. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  526. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  527. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  528. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  529. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  530. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  531. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  532. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  533. package/SVF-doxygen/html/html/search/functions_0.js +6 -351
  534. package/SVF-doxygen/html/html/search/functions_1.js +348 -81
  535. package/SVF-doxygen/html/html/search/functions_10.js +139 -122
  536. package/SVF-doxygen/html/html/search/functions_11.js +126 -283
  537. package/SVF-doxygen/html/html/search/functions_12.js +273 -55
  538. package/SVF-doxygen/html/html/search/functions_13.js +56 -38
  539. package/SVF-doxygen/html/html/search/functions_14.js +38 -71
  540. package/SVF-doxygen/html/html/search/functions_15.js +71 -29
  541. package/SVF-doxygen/html/html/search/functions_16.js +29 -2
  542. package/SVF-doxygen/html/html/search/functions_17.js +2 -169
  543. package/SVF-doxygen/html/html/search/functions_18.html +30 -0
  544. package/SVF-doxygen/html/html/search/functions_18.js +172 -0
  545. package/SVF-doxygen/html/html/search/functions_2.js +82 -251
  546. package/SVF-doxygen/html/html/search/functions_3.js +251 -71
  547. package/SVF-doxygen/html/html/search/functions_4.js +71 -55
  548. package/SVF-doxygen/html/html/search/functions_5.js +51 -55
  549. package/SVF-doxygen/html/html/search/functions_6.js +58 -832
  550. package/SVF-doxygen/html/html/search/functions_7.js +816 -144
  551. package/SVF-doxygen/html/html/search/functions_8.js +143 -417
  552. package/SVF-doxygen/html/html/search/functions_9.js +425 -29
  553. package/SVF-doxygen/html/html/search/functions_a.js +30 -2
  554. package/SVF-doxygen/html/html/search/functions_b.js +2 -23
  555. package/SVF-doxygen/html/html/search/functions_c.js +24 -75
  556. package/SVF-doxygen/html/html/search/functions_d.js +77 -35
  557. package/SVF-doxygen/html/html/search/functions_e.js +34 -56
  558. package/SVF-doxygen/html/html/search/functions_f.js +56 -143
  559. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  560. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  561. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  562. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  563. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  564. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  565. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  566. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  567. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  568. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  569. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  570. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  571. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  572. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  573. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  574. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  575. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  576. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  577. package/SVF-doxygen/html/html/search/searchdata.js +1 -1
  578. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  579. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  580. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  581. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  582. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  583. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  584. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  585. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  586. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  587. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  588. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  589. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  590. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  591. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  592. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  593. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  594. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  595. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  596. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  597. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  598. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  599. package/SVF-doxygen/html/html/search/variables_0.js +147 -147
  600. package/SVF-doxygen/html/html/search/variables_1.js +75 -74
  601. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  602. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  603. package/SVF-doxygen/html/html/search/variables_12.js +92 -93
  604. package/SVF-doxygen/html/html/search/variables_13.js +75 -77
  605. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  606. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  607. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  608. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  609. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  610. package/SVF-doxygen/html/html/search/variables_2.js +34 -35
  611. package/SVF-doxygen/html/html/search/variables_3.js +141 -148
  612. package/SVF-doxygen/html/html/search/variables_4.js +55 -56
  613. package/SVF-doxygen/html/html/search/variables_5.js +38 -40
  614. package/SVF-doxygen/html/html/search/variables_6.js +66 -67
  615. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  616. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  617. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  618. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  619. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  620. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  621. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  622. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  623. package/SVF-doxygen/html/html/search/variables_f.js +30 -33
  624. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  625. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  626. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__iterable.html +1 -1
  627. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__iterable_3_01T_00_01void__t_3_01decltype_07std_1_1begin_07std_1_1dec794949348c8e1e00603fd8633b6dd1f3.html +1 -1
  628. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map.html +1 -1
  629. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1map_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  630. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1unordered__map_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  631. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container.html +1 -1
  632. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1deque_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  633. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1list_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  634. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1vector_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  635. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set.html +1 -1
  636. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1set_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  637. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1unordered__set_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  638. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1make__void.html +2 -2
  639. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +7 -7
  640. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  641. package/SVF-doxygen/html/html/svf-ex_8cpp.html +3 -3
  642. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +4 -4
  643. package/SVF-doxygen/html/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +9 -9
  644. package/SVF-doxygen/html/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +9 -9
  645. package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
  646. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  647. package/build.sh +1 -1
  648. package/package.json +1 -1
  649. package/svf/include/SVFIR/SVFModule.h +0 -1
  650. package/svf/include/SVFIR/SVFValue.h +7 -1
  651. package/svf/include/Util/ExtAPI.h +11 -457
  652. package/svf/include/Util/SVFUtil.h +7 -22
  653. package/svf/lib/SVFIR/SVFFileSystem.cpp +3 -1
  654. package/svf/lib/SVFIR/SVFValue.cpp +2 -2
  655. package/svf/lib/Util/ExtAPI.cpp +36 -595
  656. package/svf/lib/Util/Options.cpp +1 -1
  657. package/svf/lib/Util/SVFBugReport.cpp +0 -2
  658. package/svf-llvm/include/SVF-LLVM/LLVMModule.h +17 -0
  659. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +14 -1
  660. package/svf-llvm/include/SVF-LLVM/SVFIRBuilder.h +5 -14
  661. package/svf-llvm/lib/LLVMModule.cpp +157 -43
  662. package/svf-llvm/lib/LLVMUtil.cpp +121 -0
  663. package/svf-llvm/lib/SVFIRBuilder.cpp +7 -76
  664. package/svf-llvm/lib/SVFIRExtAPI.cpp +161 -536
  665. package/svf-llvm/lib/extapi.c +1348 -0
  666. package/svf/include/Util/ExtAPI.json +0 -5853
package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html CHANGED
@@ -127,8 +127,8 @@ Public Types</h2></td></tr>
127
127
  </table><table class="memberdecls">
128
128
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
129
129
  Public Member Functions</h2></td></tr>
130
- <tr class="memitem:a494434af0d933dfd926bedcb8937f0f8"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a494434af0d933dfd926bedcb8937f0f8">SVFFunction</a> (const <a class="el" href="classSVF_1_1SVFType.html">SVFType</a> *ty, const <a class="el" href="classSVF_1_1SVFFunctionType.html">SVFFunctionType</a> *ft, bool declare, bool <a class="el" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>, bool <a class="el" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>, bool varg, <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html">SVFLoopAndDomInfo</a> *ld)</td></tr>
131
- <tr class="separator:a494434af0d933dfd926bedcb8937f0f8"><td class="memSeparator" colspan="2">&#160;</td></tr>
130
+ <tr class="memitem:a0cf5ddbb884a0a99f43b7741f1ce2786"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a0cf5ddbb884a0a99f43b7741f1ce2786">SVFFunction</a> (const <a class="el" href="classSVF_1_1SVFType.html">SVFType</a> *ty, const <a class="el" href="classSVF_1_1SVFFunctionType.html">SVFFunctionType</a> *ft, bool declare, bool <a class="el" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>, bool <a class="el" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>, bool varg, <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html">SVFLoopAndDomInfo</a> *ld, std::vector&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt; annos)</td></tr>
131
+ <tr class="separator:a0cf5ddbb884a0a99f43b7741f1ce2786"><td class="memSeparator" colspan="2">&#160;</td></tr>
132
132
  <tr class="memitem:a7e965c21a8afe7fca32d0f41b16361cf"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf">SVFFunction</a> (void)=delete</td></tr>
133
133
  <tr class="separator:a7e965c21a8afe7fca32d0f41b16361cf"><td class="memSeparator" colspan="2">&#160;</td></tr>
134
134
  <tr class="memitem:a5f6f7bf27f373b16b9c51de310b40686"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a5f6f7bf27f373b16b9c51de310b40686">~SVFFunction</a> ()</td></tr>
@@ -177,6 +177,8 @@ Public Member Functions</h2></td></tr>
177
177
  <tr class="separator:a818f626cb8b8063b5f3c8928428095b8"><td class="memSeparator" colspan="2">&#160;</td></tr>
178
178
  <tr class="memitem:a97b0ad9fd31d7982f44a839605566347"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">isNotRetFunction</a> () const</td></tr>
179
179
  <tr class="separator:a97b0ad9fd31d7982f44a839605566347"><td class="memSeparator" colspan="2">&#160;</td></tr>
180
+ <tr class="memitem:a067bd6dbaf74a028d546fa56b095791b"><td class="memItemLeft" align="right" valign="top">const std::vector&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a067bd6dbaf74a028d546fa56b095791b">getAnnotations</a> () const</td></tr>
181
+ <tr class="separator:a067bd6dbaf74a028d546fa56b095791b"><td class="memSeparator" colspan="2">&#160;</td></tr>
180
182
  <tr class="memitem:a61505b528343c7d728eba3a705930a16"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a61505b528343c7d728eba3a705930a16">getExitBlocksOfLoop</a> (const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *bb, <a class="el" href="classSVF_1_1SVFFunction.html#ad09ea0c680c88732c08d655e0afbead3">BBList</a> &amp;exitbbs) const</td></tr>
181
183
  <tr class="separator:a61505b528343c7d728eba3a705930a16"><td class="memSeparator" colspan="2">&#160;</td></tr>
182
184
  <tr class="memitem:aee05370109d7667c40ca34c454c66714"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714">hasLoopInfo</a> (const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *bb) const</td></tr>
@@ -238,7 +240,7 @@ Static Public Member Functions</h2></td></tr>
238
240
  Protected Member Functions</h2></td></tr>
239
241
  <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
240
242
  <tr class="memitem:a0d5031bd11b6372803082111ec2cb4f6"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6">addBasicBlock</a> (const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *bb)</td></tr>
241
- <tr class="memdesc:a0d5031bd11b6372803082111ec2cb4f6"><td class="mdescLeft">&#160;</td><td class="mdescRight">all formal arguments of this function <a href="classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6">More...</a><br /></td></tr>
243
+ <tr class="memdesc:a0d5031bd11b6372803082111ec2cb4f6"><td class="mdescLeft">&#160;</td><td class="mdescRight">annotations of this function <a href="classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6">More...</a><br /></td></tr>
242
244
  <tr class="separator:a0d5031bd11b6372803082111ec2cb4f6"><td class="memSeparator" colspan="2">&#160;</td></tr>
243
245
  <tr class="memitem:ad865b8440a6e0d5d212798d2213e1e9c"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c">addArgument</a> (<a class="el" href="classSVF_1_1SVFArgument.html">SVFArgument</a> *arg)</td></tr>
244
246
  <tr class="separator:ad865b8440a6e0d5d212798d2213e1e9c"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -291,6 +293,9 @@ Private Attributes</h2></td></tr>
291
293
  <tr class="memitem:a625bef2b92c8e62df547bd2758b59c75"><td class="memItemLeft" align="right" valign="top">std::vector&lt; const <a class="el" href="classSVF_1_1SVFArgument.html">SVFArgument</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a></td></tr>
292
294
  <tr class="memdesc:a625bef2b92c8e62df547bd2758b59c75"><td class="mdescLeft">&#160;</td><td class="mdescRight">all BasicBlocks of this function <a href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">More...</a><br /></td></tr>
293
295
  <tr class="separator:a625bef2b92c8e62df547bd2758b59c75"><td class="memSeparator" colspan="2">&#160;</td></tr>
296
+ <tr class="memitem:a47169163b5591547e5258dd697c9163a"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">annotations</a></td></tr>
297
+ <tr class="memdesc:a47169163b5591547e5258dd697c9163a"><td class="mdescLeft">&#160;</td><td class="mdescRight">all formal arguments of this function <a href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">More...</a><br /></td></tr>
298
+ <tr class="separator:a47169163b5591547e5258dd697c9163a"><td class="memSeparator" colspan="2">&#160;</td></tr>
294
299
  </table><table class="memberdecls">
295
300
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
296
301
  Friends</h2></td></tr>
@@ -384,8 +389,8 @@ Additional Inherited Members</h2></td></tr>
384
389
  </div>
385
390
  </div>
386
391
  <h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
387
- <a id="a494434af0d933dfd926bedcb8937f0f8"></a>
388
- <h2 class="memtitle"><span class="permalink"><a href="#a494434af0d933dfd926bedcb8937f0f8">&#9670;&nbsp;</a></span>SVFFunction() <span class="overload">[1/2]</span></h2>
392
+ <a id="a0cf5ddbb884a0a99f43b7741f1ce2786"></a>
393
+ <h2 class="memtitle"><span class="permalink"><a href="#a0cf5ddbb884a0a99f43b7741f1ce2786">&#9670;&nbsp;</a></span>SVFFunction() <span class="overload">[1/2]</span></h2>
389
394
 
390
395
  <div class="memitem">
391
396
  <div class="memproto">
@@ -430,7 +435,13 @@ Additional Inherited Members</h2></td></tr>
430
435
  <td class="paramkey"></td>
431
436
  <td></td>
432
437
  <td class="paramtype"><a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html">SVFLoopAndDomInfo</a> *&#160;</td>
433
- <td class="paramname"><em>ld</em>&#160;</td>
438
+ <td class="paramname"><em>ld</em>, </td>
439
+ </tr>
440
+ <tr>
441
+ <td class="paramkey"></td>
442
+ <td></td>
443
+ <td class="paramtype">std::vector&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;&#160;</td>
444
+ <td class="paramname"><em>annos</em>&#160;</td>
434
445
  </tr>
435
446
  <tr>
436
447
  <td></td>
@@ -443,7 +454,7 @@ Additional Inherited Members</h2></td></tr>
443
454
  <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00125">125</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
444
455
  <div class="fragment"><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFValue::SVFFunc</a>), <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>(declare), <a class="code" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>(<a class="code" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>),</div>
445
456
  <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>(adt), <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">varArg</a>(varg),</div>
446
- <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>(ft), <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>(ld), <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>(<span class="keyword">nullptr</span>)</div>
457
+ <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>(ft), <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>(ld), <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">annotations</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(annos))</div>
447
458
  <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160;{</div>
448
459
  <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160;}</div>
449
460
  </div><!-- fragment -->
@@ -534,10 +545,10 @@ Additional Inherited Members</h2></td></tr>
534
545
  </table>
535
546
  </div><div class="memdoc">
536
547
 
537
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00303">303</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
538
- <div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; {</div>
539
- <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.push_back(arg);</div>
540
- <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; }</div>
548
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00304">304</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
549
+ <div class="fragment"><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; {</div>
550
+ <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.push_back(arg);</div>
551
+ <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; }</div>
541
552
  </div><!-- fragment -->
542
553
  </div>
543
554
  </div>
@@ -565,13 +576,13 @@ Additional Inherited Members</h2></td></tr>
565
576
  </table>
566
577
  </div><div class="memdoc">
567
578
 
568
- <p>all formal arguments of this function </p>
579
+ <p>annotations of this function </p>
569
580
  <p>attributes to be set only through Module builders e.g., LLVMModule </p>
570
581
 
571
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00298">298</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
572
- <div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; {</div>
573
- <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.push_back(bb);</div>
574
- <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; }</div>
582
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00299">299</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
583
+ <div class="fragment"><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; {</div>
584
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.push_back(bb);</div>
585
+ <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; }</div>
575
586
  </div><!-- fragment -->
576
587
  </div>
577
588
  </div>
@@ -620,10 +631,10 @@ Additional Inherited Members</h2></td></tr>
620
631
  </table>
621
632
  </div><div class="memdoc">
622
633
 
623
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00398">398</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
624
- <div class="fragment"><div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; {</div>
625
- <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">getExitBB</a>();</div>
626
- <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; }</div>
634
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00399">399</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
635
+ <div class="fragment"><div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; {</div>
636
+ <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">getExitBB</a>();</div>
637
+ <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; }</div>
627
638
  </div><!-- fragment -->
628
639
  </div>
629
640
  </div>
@@ -650,10 +661,10 @@ Additional Inherited Members</h2></td></tr>
650
661
  </table>
651
662
  </div><div class="memdoc">
652
663
 
653
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00403">403</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
654
- <div class="fragment"><div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; {</div>
655
- <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.begin();</div>
656
- <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; }</div>
664
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00404">404</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
665
+ <div class="fragment"><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; {</div>
666
+ <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.begin();</div>
667
+ <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; }</div>
657
668
  </div><!-- fragment -->
658
669
  </div>
659
670
  </div>
@@ -681,10 +692,10 @@ Additional Inherited Members</h2></td></tr>
681
692
  </table>
682
693
  </div><div class="memdoc">
683
694
 
684
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00329">329</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
685
- <div class="fragment"><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; {</div>
686
- <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFFunc</a>;</div>
687
- <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; }</div>
695
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00330">330</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
696
+ <div class="fragment"><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; {</div>
697
+ <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFFunc</a>;</div>
698
+ <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; }</div>
688
699
  </div><!-- fragment -->
689
700
  </div>
690
701
  </div>
@@ -722,10 +733,10 @@ Additional Inherited Members</h2></td></tr>
722
733
  </table>
723
734
  </div><div class="memdoc">
724
735
 
725
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00473">473</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
726
- <div class="fragment"><div class="line"><a name="l00474"></a><span class="lineno"> 474</span>&#160; {</div>
727
- <div class="line"><a name="l00475"></a><span class="lineno"> 475</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a342f2825d6b7e3289d0f0f4b7ee8247c">dominate</a>(bbKey,bbValue);</div>
728
- <div class="line"><a name="l00476"></a><span class="lineno"> 476</span>&#160; }</div>
736
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00479">479</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
737
+ <div class="fragment"><div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160; {</div>
738
+ <div class="line"><a name="l00481"></a><span class="lineno"> 481</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a342f2825d6b7e3289d0f0f4b7ee8247c">dominate</a>(bbKey,bbValue);</div>
739
+ <div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160; }</div>
729
740
  </div><!-- fragment -->
730
741
  </div>
731
742
  </div>
@@ -752,10 +763,10 @@ Additional Inherited Members</h2></td></tr>
752
763
  </table>
753
764
  </div><div class="memdoc">
754
765
 
755
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00408">408</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
756
- <div class="fragment"><div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; {</div>
757
- <div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.end();</div>
758
- <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; }</div>
766
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00409">409</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
767
+ <div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; {</div>
768
+ <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.end();</div>
769
+ <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; }</div>
759
770
  </div><!-- fragment -->
760
771
  </div>
761
772
  </div>
@@ -782,10 +793,40 @@ Additional Inherited Members</h2></td></tr>
782
793
  </table>
783
794
  </div><div class="memdoc">
784
795
 
785
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00393">393</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
786
- <div class="fragment"><div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; {</div>
787
- <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">getEntryBlock</a>();</div>
788
- <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; }</div>
796
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00394">394</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
797
+ <div class="fragment"><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; {</div>
798
+ <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">getEntryBlock</a>();</div>
799
+ <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; }</div>
800
+ </div><!-- fragment -->
801
+ </div>
802
+ </div>
803
+ <a id="a067bd6dbaf74a028d546fa56b095791b"></a>
804
+ <h2 class="memtitle"><span class="permalink"><a href="#a067bd6dbaf74a028d546fa56b095791b">&#9670;&nbsp;</a></span>getAnnotations()</h2>
805
+
806
+ <div class="memitem">
807
+ <div class="memproto">
808
+ <table class="mlabels">
809
+ <tr>
810
+ <td class="mlabels-left">
811
+ <table class="memname">
812
+ <tr>
813
+ <td class="memname">const std::vector&lt;<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&gt;&amp; SVF::SVFFunction::getAnnotations </td>
814
+ <td>(</td>
815
+ <td class="paramname"></td><td>)</td>
816
+ <td> const</td>
817
+ </tr>
818
+ </table>
819
+ </td>
820
+ <td class="mlabels-right">
821
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
822
+ </tr>
823
+ </table>
824
+ </div><div class="memdoc">
825
+
826
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00434">434</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
827
+ <div class="fragment"><div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; {</div>
828
+ <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">annotations</a>;</div>
829
+ <div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160; }</div>
789
830
  </div><!-- fragment -->
790
831
  </div>
791
832
  </div>
@@ -836,10 +877,10 @@ Additional Inherited Members</h2></td></tr>
836
877
  </table>
837
878
  </div><div class="memdoc">
838
879
 
839
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00413">413</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
840
- <div class="fragment"><div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; {</div>
841
- <div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>;</div>
842
- <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; }</div>
880
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00414">414</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
881
+ <div class="fragment"><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; {</div>
882
+ <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>;</div>
883
+ <div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; }</div>
843
884
  </div><!-- fragment -->
844
885
  </div>
845
886
  </div>
@@ -866,12 +907,12 @@ Additional Inherited Members</h2></td></tr>
866
907
  </table>
867
908
  </div><div class="memdoc">
868
909
 
869
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00365">365</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
870
- <div class="fragment"><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; {</div>
871
- <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>==<span class="keyword">nullptr</span>)</div>
872
- <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <span class="keywordflow">return</span> <span class="keyword">this</span>;</div>
873
- <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>;</div>
874
- <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; }</div>
910
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00366">366</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
911
+ <div class="fragment"><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; {</div>
912
+ <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>==<span class="keyword">nullptr</span>)</div>
913
+ <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; <span class="keywordflow">return</span> <span class="keyword">this</span>;</div>
914
+ <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>;</div>
915
+ <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; }</div>
875
916
  </div><!-- fragment -->
876
917
  </div>
877
918
  </div>
@@ -898,10 +939,10 @@ Additional Inherited Members</h2></td></tr>
898
939
  </table>
899
940
  </div><div class="memdoc">
900
941
 
901
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00463">463</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
902
- <div class="fragment"><div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; {</div>
903
- <div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ae37546be7304c66b4eca2654d995eaa7">getDomFrontierMap</a>();</div>
904
- <div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160; }</div>
942
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00469">469</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
943
+ <div class="fragment"><div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; {</div>
944
+ <div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ae37546be7304c66b4eca2654d995eaa7">getDomFrontierMap</a>();</div>
945
+ <div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; }</div>
905
946
  </div><!-- fragment -->
906
947
  </div>
907
948
  </div>
@@ -928,10 +969,10 @@ Additional Inherited Members</h2></td></tr>
928
969
  </table>
929
970
  </div><div class="memdoc">
930
971
 
931
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00458">458</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
932
- <div class="fragment"><div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; {</div>
933
- <div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a2fc6b806a436d8fa65863f6cef99e716">getDomTreeMap</a>();</div>
934
- <div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; }</div>
972
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00464">464</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
973
+ <div class="fragment"><div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; {</div>
974
+ <div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a2fc6b806a436d8fa65863f6cef99e716">getDomTreeMap</a>();</div>
975
+ <div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; }</div>
935
976
  </div><!-- fragment -->
936
977
  </div>
937
978
  </div>
@@ -958,11 +999,11 @@ Additional Inherited Members</h2></td></tr>
958
999
  </table>
959
1000
  </div><div class="memdoc">
960
1001
 
961
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00381">381</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
962
- <div class="fragment"><div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; {</div>
963
- <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
964
- <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.front();</div>
965
- <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; }</div>
1002
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00382">382</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1003
+ <div class="fragment"><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; {</div>
1004
+ <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
1005
+ <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.front();</div>
1006
+ <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; }</div>
966
1007
  </div><!-- fragment -->
967
1008
  </div>
968
1009
  </div>
@@ -989,11 +1030,11 @@ Additional Inherited Members</h2></td></tr>
989
1030
  </table>
990
1031
  </div><div class="memdoc">
991
1032
 
992
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00387">387</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
993
- <div class="fragment"><div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; {</div>
994
- <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
995
- <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.back();</div>
996
- <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; }</div>
1033
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00388">388</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1034
+ <div class="fragment"><div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; {</div>
1035
+ <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
1036
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.back();</div>
1037
+ <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; }</div>
997
1038
  </div><!-- fragment -->
998
1039
  </div>
999
1040
  </div>
@@ -1031,10 +1072,10 @@ Additional Inherited Members</h2></td></tr>
1031
1072
  </table>
1032
1073
  </div><div class="memdoc">
1033
1074
 
1034
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00433">433</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1035
- <div class="fragment"><div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; {</div>
1036
- <div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a48654f61a84ac5f93b02fb618cd0d045">getExitBlocksOfLoop</a>(bb,exitbbs);</div>
1037
- <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; }</div>
1075
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00439">439</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1076
+ <div class="fragment"><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; {</div>
1077
+ <div class="line"><a name="l00441"></a><span class="lineno"> 441</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a48654f61a84ac5f93b02fb618cd0d045">getExitBlocksOfLoop</a>(bb,exitbbs);</div>
1078
+ <div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160; }</div>
1038
1079
  </div><!-- fragment -->
1039
1080
  </div>
1040
1081
  </div>
@@ -1063,10 +1104,10 @@ Additional Inherited Members</h2></td></tr>
1063
1104
 
1064
1105
  <p>Returns the FunctionType. </p>
1065
1106
 
1066
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00354">354</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1067
- <div class="fragment"><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; {</div>
1068
- <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>;</div>
1069
- <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; }</div>
1107
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00355">355</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1108
+ <div class="fragment"><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; {</div>
1109
+ <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>;</div>
1110
+ <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; }</div>
1070
1111
  </div><!-- fragment -->
1071
1112
  </div>
1072
1113
  </div>
@@ -1093,10 +1134,10 @@ Additional Inherited Members</h2></td></tr>
1093
1134
  </table>
1094
1135
  </div><div class="memdoc">
1095
1136
 
1096
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00334">334</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1097
- <div class="fragment"><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; {</div>
1098
- <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div>
1099
- <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; }</div>
1137
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00335">335</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1138
+ <div class="fragment"><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; {</div>
1139
+ <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div>
1140
+ <div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; }</div>
1100
1141
  </div><!-- fragment -->
1101
1142
  </div>
1102
1143
  </div>
@@ -1124,10 +1165,10 @@ Additional Inherited Members</h2></td></tr>
1124
1165
  </table>
1125
1166
  </div><div class="memdoc">
1126
1167
 
1127
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00448">448</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1128
- <div class="fragment"><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; {</div>
1129
- <div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac29e502080635ed47b72d471b48b5a8d">getLoopHeader</a>(lp);</div>
1130
- <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; }</div>
1168
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00454">454</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1169
+ <div class="fragment"><div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; {</div>
1170
+ <div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac29e502080635ed47b72d471b48b5a8d">getLoopHeader</a>(lp);</div>
1171
+ <div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160; }</div>
1131
1172
  </div><!-- fragment -->
1132
1173
  </div>
1133
1174
  </div>
@@ -1155,10 +1196,10 @@ Additional Inherited Members</h2></td></tr>
1155
1196
  </table>
1156
1197
  </div><div class="memdoc">
1157
1198
 
1158
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00443">443</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1159
- <div class="fragment"><div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; {</div>
1160
- <div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">getLoopInfo</a>(bb);</div>
1161
- <div class="line"><a name="l00446"></a><span class="lineno"> 446</span>&#160; }</div>
1199
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00449">449</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1200
+ <div class="fragment"><div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; {</div>
1201
+ <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">getLoopInfo</a>(bb);</div>
1202
+ <div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; }</div>
1162
1203
  </div><!-- fragment -->
1163
1204
  </div>
1164
1205
  </div>
@@ -1185,10 +1226,10 @@ Additional Inherited Members</h2></td></tr>
1185
1226
  </table>
1186
1227
  </div><div class="memdoc">
1187
1228
 
1188
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00418">418</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1189
- <div class="fragment"><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; {</div>
1190
- <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a95099f1b621c4f0d6d53798d7eab4e3b">getReachableBBs</a>();</div>
1191
- <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; }</div>
1229
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00419">419</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1230
+ <div class="fragment"><div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; {</div>
1231
+ <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a95099f1b621c4f0d6d53798d7eab4e3b">getReachableBBs</a>();</div>
1232
+ <div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; }</div>
1192
1233
  </div><!-- fragment -->
1193
1234
  </div>
1194
1235
  </div>
@@ -1217,10 +1258,10 @@ Additional Inherited Members</h2></td></tr>
1217
1258
 
1218
1259
  <p>Returns the FunctionType. </p>
1219
1260
 
1220
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00360">360</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1221
- <div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; {</div>
1222
- <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>-&gt;<a class="code" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">getReturnType</a>();</div>
1223
- <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; }</div>
1261
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00361">361</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1262
+ <div class="fragment"><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; {</div>
1263
+ <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>-&gt;<a class="code" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">getReturnType</a>();</div>
1264
+ <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; }</div>
1224
1265
  </div><!-- fragment -->
1225
1266
  </div>
1226
1267
  </div>
@@ -1247,10 +1288,10 @@ Additional Inherited Members</h2></td></tr>
1247
1288
  </table>
1248
1289
  </div><div class="memdoc">
1249
1290
 
1250
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00348">348</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1251
- <div class="fragment"><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; {</div>
1252
- <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>;</div>
1253
- <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; }</div>
1291
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00349">349</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1292
+ <div class="fragment"><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; {</div>
1293
+ <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>;</div>
1294
+ <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; }</div>
1254
1295
  </div><!-- fragment -->
1255
1296
  </div>
1256
1297
  </div>
@@ -1277,10 +1318,10 @@ Additional Inherited Members</h2></td></tr>
1277
1318
  </table>
1278
1319
  </div><div class="memdoc">
1279
1320
 
1280
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00376">376</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1281
- <div class="fragment"><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; {</div>
1282
- <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.empty();</div>
1283
- <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; }</div>
1321
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00377">377</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1322
+ <div class="fragment"><div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; {</div>
1323
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.empty();</div>
1324
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; }</div>
1284
1325
  </div><!-- fragment -->
1285
1326
  </div>
1286
1327
  </div>
@@ -1308,10 +1349,10 @@ Additional Inherited Members</h2></td></tr>
1308
1349
  </table>
1309
1350
  </div><div class="memdoc">
1310
1351
 
1311
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00438">438</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1312
- <div class="fragment"><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; {</div>
1313
- <div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c">hasLoopInfo</a>(bb);</div>
1314
- <div class="line"><a name="l00441"></a><span class="lineno"> 441</span>&#160; }</div>
1352
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00444">444</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1353
+ <div class="fragment"><div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; {</div>
1354
+ <div class="line"><a name="l00446"></a><span class="lineno"> 446</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c">hasLoopInfo</a>(bb);</div>
1355
+ <div class="line"><a name="l00447"></a><span class="lineno"> 447</span>&#160; }</div>
1315
1356
  </div><!-- fragment -->
1316
1357
  </div>
1317
1358
  </div>
@@ -1338,10 +1379,10 @@ Additional Inherited Members</h2></td></tr>
1338
1379
  </table>
1339
1380
  </div><div class="memdoc">
1340
1381
 
1341
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00338">338</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1342
- <div class="fragment"><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; {</div>
1343
- <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>;</div>
1344
- <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; }</div>
1382
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00339">339</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1383
+ <div class="fragment"><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; {</div>
1384
+ <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>;</div>
1385
+ <div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; }</div>
1345
1386
  </div><!-- fragment -->
1346
1387
  </div>
1347
1388
  </div>
@@ -1368,10 +1409,10 @@ Additional Inherited Members</h2></td></tr>
1368
1409
  </table>
1369
1410
  </div><div class="memdoc">
1370
1411
 
1371
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00343">343</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1372
- <div class="fragment"><div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; {</div>
1373
- <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>;</div>
1374
- <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; }</div>
1412
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00344">344</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1413
+ <div class="fragment"><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; {</div>
1414
+ <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>;</div>
1415
+ <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; }</div>
1375
1416
  </div><!-- fragment -->
1376
1417
  </div>
1377
1418
  </div>
@@ -1399,10 +1440,10 @@ Additional Inherited Members</h2></td></tr>
1399
1440
  </table>
1400
1441
  </div><div class="memdoc">
1401
1442
 
1402
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00468">468</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1403
- <div class="fragment"><div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; {</div>
1404
- <div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43">isLoopHeader</a>(bb);</div>
1405
- <div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; }</div>
1443
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00474">474</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1444
+ <div class="fragment"><div class="line"><a name="l00475"></a><span class="lineno"> 475</span>&#160; {</div>
1445
+ <div class="line"><a name="l00476"></a><span class="lineno"> 476</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43">isLoopHeader</a>(bb);</div>
1446
+ <div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160; }</div>
1406
1447
  </div><!-- fragment -->
1407
1448
  </div>
1408
1449
  </div>
@@ -1429,10 +1470,10 @@ Additional Inherited Members</h2></td></tr>
1429
1470
  </table>
1430
1471
  </div><div class="memdoc">
1431
1472
 
1432
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00428">428</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1433
- <div class="fragment"><div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; {</div>
1434
- <div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>;</div>
1435
- <div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; }</div>
1473
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00429">429</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1474
+ <div class="fragment"><div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; {</div>
1475
+ <div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>;</div>
1476
+ <div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160; }</div>
1436
1477
  </div><!-- fragment -->
1437
1478
  </div>
1438
1479
  </div>
@@ -1459,10 +1500,10 @@ Additional Inherited Members</h2></td></tr>
1459
1500
  </table>
1460
1501
  </div><div class="memdoc">
1461
1502
 
1462
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00423">423</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1463
- <div class="fragment"><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; {</div>
1464
- <div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>;</div>
1465
- <div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; }</div>
1503
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00424">424</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1504
+ <div class="fragment"><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; {</div>
1505
+ <div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>;</div>
1506
+ <div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; }</div>
1466
1507
  </div><!-- fragment -->
1467
1508
  </div>
1468
1509
  </div>
@@ -1522,10 +1563,10 @@ Additional Inherited Members</h2></td></tr>
1522
1563
  </table>
1523
1564
  </div><div class="memdoc">
1524
1565
 
1525
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00453">453</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1526
- <div class="fragment"><div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; {</div>
1527
- <div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117">loopContainsBB</a>(lp,bb);</div>
1528
- <div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; }</div>
1566
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00459">459</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1567
+ <div class="fragment"><div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; {</div>
1568
+ <div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117">loopContainsBB</a>(lp,bb);</div>
1569
+ <div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160; }</div>
1529
1570
  </div><!-- fragment -->
1530
1571
  </div>
1531
1572
  </div>
@@ -1563,10 +1604,10 @@ Additional Inherited Members</h2></td></tr>
1563
1604
  </table>
1564
1605
  </div><div class="memdoc">
1565
1606
 
1566
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00478">478</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1567
- <div class="fragment"><div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; {</div>
1568
- <div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#af66c5a824f9fc2813e2d97e17f9a2e96">postDominate</a>(bbKey,bbValue);</div>
1569
- <div class="line"><a name="l00481"></a><span class="lineno"> 481</span>&#160; }</div>
1607
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00484">484</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1608
+ <div class="fragment"><div class="line"><a name="l00485"></a><span class="lineno"> 485</span>&#160; {</div>
1609
+ <div class="line"><a name="l00486"></a><span class="lineno"> 486</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#af66c5a824f9fc2813e2d97e17f9a2e96">postDominate</a>(bbKey,bbValue);</div>
1610
+ <div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; }</div>
1570
1611
  </div><!-- fragment -->
1571
1612
  </div>
1572
1613
  </div>
@@ -1594,10 +1635,10 @@ Additional Inherited Members</h2></td></tr>
1594
1635
  </table>
1595
1636
  </div><div class="memdoc">
1596
1637
 
1597
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00318">318</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1598
- <div class="fragment"><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; {</div>
1599
- <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a> = deffun;</div>
1600
- <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; }</div>
1638
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00319">319</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1639
+ <div class="fragment"><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; {</div>
1640
+ <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a> = deffun;</div>
1641
+ <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; }</div>
1601
1642
  </div><!-- fragment -->
1602
1643
  </div>
1603
1644
  </div>
@@ -1625,10 +1666,10 @@ Additional Inherited Members</h2></td></tr>
1625
1666
  </table>
1626
1667
  </div><div class="memdoc">
1627
1668
 
1628
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00313">313</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1629
- <div class="fragment"><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; {</div>
1630
- <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a> = notRet;</div>
1631
- <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; }</div>
1669
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00314">314</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1670
+ <div class="fragment"><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; {</div>
1671
+ <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a> = notRet;</div>
1672
+ <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; }</div>
1632
1673
  </div><!-- fragment -->
1633
1674
  </div>
1634
1675
  </div>
@@ -1656,10 +1697,10 @@ Additional Inherited Members</h2></td></tr>
1656
1697
  </table>
1657
1698
  </div><div class="memdoc">
1658
1699
 
1659
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00308">308</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1660
- <div class="fragment"><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; {</div>
1661
- <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a> = uncalledFunction;</div>
1662
- <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; }</div>
1700
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00309">309</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1701
+ <div class="fragment"><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; {</div>
1702
+ <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a> = uncalledFunction;</div>
1703
+ <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; }</div>
1663
1704
  </div><!-- fragment -->
1664
1705
  </div>
1665
1706
  </div>
@@ -1837,6 +1878,32 @@ Additional Inherited Members</h2></td></tr>
1837
1878
 
1838
1879
  <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00293">293</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1839
1880
 
1881
+ </div>
1882
+ </div>
1883
+ <a id="a47169163b5591547e5258dd697c9163a"></a>
1884
+ <h2 class="memtitle"><span class="permalink"><a href="#a47169163b5591547e5258dd697c9163a">&#9670;&nbsp;</a></span>annotations</h2>
1885
+
1886
+ <div class="memitem">
1887
+ <div class="memproto">
1888
+ <table class="mlabels">
1889
+ <tr>
1890
+ <td class="mlabels-left">
1891
+ <table class="memname">
1892
+ <tr>
1893
+ <td class="memname">std::vector&lt;<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&gt; SVF::SVFFunction::annotations</td>
1894
+ </tr>
1895
+ </table>
1896
+ </td>
1897
+ <td class="mlabels-right">
1898
+ <span class="mlabels"><span class="mlabel">private</span></span> </td>
1899
+ </tr>
1900
+ </table>
1901
+ </div><div class="memdoc">
1902
+
1903
+ <p>all formal arguments of this function </p>
1904
+
1905
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00295">295</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1906
+
1840
1907
  </div>
1841
1908
  </div>
1842
1909
  <a id="ad1c1ca2a7d4a681f24712345222e9ddc"></a>
@@ -2054,6 +2121,7 @@ Additional Inherited Members</h2></td></tr>
2054
2121
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a78f8e3238be991bf5cc42a84c29b9007"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">SVF::SVFFunction::realDefFun</a></div><div class="ttdeci">const SVFFunction * realDefFun</div><div class="ttdoc">the loop and dominate information</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00292">SVFValue.h:292</a></div></div>
2055
2122
  <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>
2056
2123
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a2fc6b806a436d8fa65863f6cef99e716"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a2fc6b806a436d8fa65863f6cef99e716">SVF::SVFLoopAndDomInfo::getDomTreeMap</a></div><div class="ttdeci">Map&lt; const SVFBasicBlock *, BBSet &gt; &amp; getDomTreeMap()</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00115">SVFValue.h:115</a></div></div>
2124
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a47169163b5591547e5258dd697c9163a"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">SVF::SVFFunction::annotations</a></div><div class="ttdeci">std::vector&lt; std::string &gt; annotations</div><div class="ttdoc">all formal arguments of this function</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00295">SVFValue.h:295</a></div></div>
2057
2125
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a037b2583aa8d15ceeb630eaad41a36a3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">SVF::SVFFunction::intrinsic</a></div><div class="ttdeci">bool intrinsic</div><div class="ttdoc">return true if this function does not have a body</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00285">SVFValue.h:285</a></div></div>
2058
2126
  <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>
2059
2127
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ad1c1ca2a7d4a681f24712345222e9ddc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">SVF::SVFFunction::funcType</a></div><div class="ttdeci">const SVFFunctionType * funcType</div><div class="ttdoc">return true if this function supports variable arguments</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00290">SVFValue.h:290</a></div></div>
@@ -2061,24 +2129,25 @@ Additional Inherited Members</h2></td></tr>
2061
2129
  <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>
2062
2130
  <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>
2063
2131
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVF::SVFValue::SVFFunc</a></div><div class="ttdeci">@ SVFFunc</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00162">SVFValue.h:162</a></div></div>
2064
- <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>
2065
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a8ca4fa87f4c26b71c6e03c8f32db1071"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">SVF::SVFFunction::getExitBB</a></div><div class="ttdeci">const SVFBasicBlock * getExitBB() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00387">SVFValue.h:387</a></div></div>
2132
+ <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>
2133
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a8ca4fa87f4c26b71c6e03c8f32db1071"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">SVF::SVFFunction::getExitBB</a></div><div class="ttdeci">const SVFBasicBlock * getExitBB() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00388">SVFValue.h:388</a></div></div>
2066
2134
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_adc010d8c6b2a3fe1a99f39552be5b117"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117">SVF::SVFLoopAndDomInfo::loopContainsBB</a></div><div class="ttdeci">bool loopContainsBB(const LoopBBs &amp;lp, const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00095">SVFValue.h:95</a></div></div>
2067
2135
  <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>
2068
2136
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_af38497e11745949a8a1eeead143efd58"><div class="ttname"><a href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue::SVFValue</a></div><div class="ttdeci">SVFValue()=delete</div></div>
2069
2137
  <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>
2070
2138
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a95099f1b621c4f0d6d53798d7eab4e3b"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a95099f1b621c4f0d6d53798d7eab4e3b">SVF::SVFLoopAndDomInfo::getReachableBBs</a></div><div class="ttdeci">const BBList &amp; getReachableBBs() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00131">SVFValue.h:131</a></div></div>
2071
2139
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdoc">return true if this function is address-taken (for indirect call purposes)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00287">SVFValue.h:287</a></div></div>
2140
+ <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
2072
2141
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ae37546be7304c66b4eca2654d995eaa7"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ae37546be7304c66b4eca2654d995eaa7">SVF::SVFLoopAndDomInfo::getDomFrontierMap</a></div><div class="ttdeci">const Map&lt; const SVFBasicBlock *, BBSet &gt; &amp; getDomFrontierMap() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00072">SVFValue.h:72</a></div></div>
2073
2142
  <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>
2074
2143
  <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>
2075
2144
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00284">SVFValue.h:284</a></div></div>
2076
- <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>
2145
+ <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#l00859">SVFValue.h:859</a></div></div>
2077
2146
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ac29e502080635ed47b72d471b48b5a8d"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ac29e502080635ed47b72d471b48b5a8d">SVF::SVFLoopAndDomInfo::getLoopHeader</a></div><div class="ttdeci">const SVFBasicBlock * getLoopHeader(const LoopBBs &amp;lp) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00089">SVFValue.h:89</a></div></div>
2078
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a793f485e92d12cf407f2ffa41861eb3d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">SVF::SVFFunction::getEntryBlock</a></div><div class="ttdeci">const SVFBasicBlock * getEntryBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00381">SVFValue.h:381</a></div></div>
2147
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a793f485e92d12cf407f2ffa41861eb3d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">SVF::SVFFunction::getEntryBlock</a></div><div class="ttdeci">const SVFBasicBlock * getEntryBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00382">SVFValue.h:382</a></div></div>
2079
2148
  <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a74ce115a0fa958f259469b521468a2b3"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">SVF::SVFFunctionType::getReturnType</a></div><div class="ttdeci">const SVFType * getReturnType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00402">SVFType.h:402</a></div></div>
2080
2149
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a3b93a04e82233f64b1c463f6cece8ea1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">SVF::SVFFunction::addrTaken</a></div><div class="ttdeci">bool addrTaken</div><div class="ttdoc">return true if this function is an intrinsic function (e.g., llvm.dbg), which does not reside in the ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00286">SVFValue.h:286</a></div></div>
2081
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a9a7f1f56b6cfc33e7fa241286a07fd63"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">SVF::SVFFunction::hasBasicBlock</a></div><div class="ttdeci">bool hasBasicBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00376">SVFValue.h:376</a></div></div>
2150
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a9a7f1f56b6cfc33e7fa241286a07fd63"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">SVF::SVFFunction::hasBasicBlock</a></div><div class="ttdeci">bool hasBasicBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00377">SVFValue.h:377</a></div></div>
2082
2151
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdoc">return true if this function is never called</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00288">SVFValue.h:288</a></div></div>
2083
2152
  <!-- start footer part -->
2084
2153
  <hr class="footer"/><address class="footer"><small>