svf-tools 1.0.808 → 1.0.810

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (475) hide show
  1. package/SVF-doxygen/html/AccessPath_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/Andersen_8cpp_source.html +4 -4
  4. package/SVF-doxygen/html/Andersen_8h_source.html +1 -1
  5. package/SVF-doxygen/html/CDGBuilder_8cpp_source.html +6 -6
  6. package/SVF-doxygen/html/CDGBuilder_8h_source.html +1 -1
  7. package/SVF-doxygen/html/CFBasicBlockGBuilder_8cpp_source.html +2 -2
  8. package/SVF-doxygen/html/CFBasicBlockGBuilder_8h_source.html +1 -1
  9. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +6 -6
  10. package/SVF-doxygen/html/CFLAlias_8h_source.html +1 -1
  11. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +13 -13
  12. package/SVF-doxygen/html/CHG_8cpp.html +4 -4
  13. package/SVF-doxygen/html/CHG_8cpp_source.html +10 -10
  14. package/SVF-doxygen/html/CHG_8h_source.html +2 -2
  15. package/SVF-doxygen/html/CallGraphBuilder_8cpp_source.html +2 -2
  16. package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +1 -1
  18. package/SVF-doxygen/html/CxtStmt_8h_source.html +2 -2
  19. package/SVF-doxygen/html/DCHG_8cpp_source.html +8 -8
  20. package/SVF-doxygen/html/DCHG_8h_source.html +2 -2
  21. package/SVF-doxygen/html/DDAClient_8cpp_source.html +3 -3
  22. package/SVF-doxygen/html/ExtAPI_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/FSMPTA_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +7 -7
  25. package/SVF-doxygen/html/ICFGBuilder_8h_source.html +4 -4
  26. package/SVF-doxygen/html/ICFGEdge_8h_source.html +5 -5
  27. package/SVF-doxygen/html/ICFGNode_8h_source.html +12 -12
  28. package/SVF-doxygen/html/ICFG_8cpp_source.html +550 -543
  29. package/SVF-doxygen/html/ICFG_8h_source.html +19 -19
  30. package/SVF-doxygen/html/IRGraph_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +2 -2
  32. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +1160 -1147
  33. package/SVF-doxygen/html/LLVMModule_8h_source.html +29 -29
  34. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +1160 -1150
  35. package/SVF-doxygen/html/LLVMUtil_8h.html +3 -0
  36. package/SVF-doxygen/html/LLVMUtil_8h_source.html +350 -347
  37. package/SVF-doxygen/html/LeakChecker_8cpp_source.html +3 -3
  38. package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +14 -14
  39. package/SVF-doxygen/html/LockAnalysis_8h_source.html +2 -2
  40. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +4 -4
  41. package/SVF-doxygen/html/LockResultValidator_8h_source.html +1 -1
  42. package/SVF-doxygen/html/MHP_8cpp_source.html +12 -12
  43. package/SVF-doxygen/html/MHP_8h_source.html +3 -3
  44. package/SVF-doxygen/html/MSSAMuChi_8h_source.html +2 -2
  45. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
  46. package/SVF-doxygen/html/MTAAnnotator_8h_source.html +1 -1
  47. package/SVF-doxygen/html/MTAResultValidator_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/MTAStat_8cpp_source.html +5 -5
  49. package/SVF-doxygen/html/MTA_8cpp_source.html +2 -2
  50. package/SVF-doxygen/html/MemRegion_8cpp_source.html +10 -10
  51. package/SVF-doxygen/html/MemRegion_8h_source.html +1 -1
  52. package/SVF-doxygen/html/MemSSA_8cpp_source.html +20 -20
  53. package/SVF-doxygen/html/MemSSA_8h_source.html +1 -1
  54. package/SVF-doxygen/html/PCG_8cpp_source.html +10 -10
  55. package/SVF-doxygen/html/PCG_8h_source.html +3 -3
  56. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  57. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +14 -14
  58. package/SVF-doxygen/html/ProgSlice_8cpp_source.html +2 -2
  59. package/SVF-doxygen/html/ProgSlice_8h_source.html +1 -1
  60. package/SVF-doxygen/html/SVFBugReport_8h_source.html +2 -2
  61. package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +17 -17
  62. package/SVF-doxygen/html/SVFFileSystem_8h_source.html +15 -15
  63. package/SVF-doxygen/html/SVFGOPT_8h_source.html +3 -3
  64. package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +1 -1
  65. package/SVF-doxygen/html/SVFG_8cpp_source.html +6 -6
  66. package/SVF-doxygen/html/SVFG_8h_source.html +4 -4
  67. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +4 -4
  68. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +107 -100
  69. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +2 -2
  70. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +23 -23
  71. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +4 -4
  72. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +8 -8
  73. package/SVF-doxygen/html/SVFIR_8cpp_source.html +1 -1
  74. package/SVF-doxygen/html/SVFIR_8h_source.html +2 -2
  75. package/SVF-doxygen/html/SVFModule_8cpp_source.html +1 -1
  76. package/SVF-doxygen/html/SVFModule_8h_source.html +3 -3
  77. package/SVF-doxygen/html/SVFStat_8cpp_source.html +4 -4
  78. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
  79. package/SVF-doxygen/html/SVFStatements_8h_source.html +2 -2
  80. package/SVF-doxygen/html/SVFUtil_8cpp_source.html +6 -6
  81. package/SVF-doxygen/html/SVFUtil_8h_source.html +6 -6
  82. package/SVF-doxygen/html/SVFValue_8cpp_source.html +126 -117
  83. package/SVF-doxygen/html/SVFValue_8h_source.html +1010 -1002
  84. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
  85. package/SVF-doxygen/html/SaberCheckerAPI_8h_source.html +1 -1
  86. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +14 -14
  87. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +5 -5
  88. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  89. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +4 -4
  90. package/SVF-doxygen/html/Steensgaard_8h_source.html +1 -1
  91. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +17 -17
  92. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +1 -1
  93. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +1 -1
  94. package/SVF-doxygen/html/TCT_8cpp_source.html +14 -14
  95. package/SVF-doxygen/html/TCT_8h_source.html +7 -7
  96. package/SVF-doxygen/html/ThreadAPI_8cpp_source.html +7 -7
  97. package/SVF-doxygen/html/ThreadAPI_8h_source.html +4 -4
  98. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +1 -1
  99. package/SVF-doxygen/html/TypeAnalysis_8cpp_source.html +4 -4
  100. package/SVF-doxygen/html/VFGNode_8h_source.html +1 -1
  101. package/SVF-doxygen/html/VFG_8cpp_source.html +3 -3
  102. package/SVF-doxygen/html/VFG_8h_source.html +4 -4
  103. package/SVF-doxygen/html/WPAPass_8cpp_source.html +3 -3
  104. package/SVF-doxygen/html/WPAPass_8h_source.html +1 -1
  105. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +2 -2
  106. package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  107. package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  108. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  109. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +1 -1
  110. package/SVF-doxygen/html/classSVF_1_1Andersen.html +6 -6
  111. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
  112. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  113. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
  114. package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  115. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
  116. package/SVF-doxygen/html/classSVF_1_1CDGBuilder.html +6 -6
  117. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +8 -8
  118. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +13 -13
  119. package/SVF-doxygen/html/classSVF_1_1CHGraph.html +7 -7
  120. package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +9 -9
  121. package/SVF-doxygen/html/classSVF_1_1CallCHI.html +1 -1
  122. package/SVF-doxygen/html/classSVF_1_1CallGraphBuilder.html +3 -3
  123. package/SVF-doxygen/html/classSVF_1_1CallICFGNode.html +12 -12
  124. package/SVF-doxygen/html/classSVF_1_1CallMU.html +1 -1
  125. package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
  126. package/SVF-doxygen/html/classSVF_1_1CallSite.html +95 -95
  127. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
  128. package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
  129. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +1 -1
  130. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
  131. package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
  132. package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
  133. package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
  134. package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +7 -7
  135. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  136. package/SVF-doxygen/html/classSVF_1_1ExtAPI.html +1 -1
  137. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  138. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +12 -12
  139. package/SVF-doxygen/html/classSVF_1_1FunEntryICFGNode.html +16 -16
  140. package/SVF-doxygen/html/classSVF_1_1FunExitICFGNode.html +28 -20
  141. package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +2 -2
  142. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
  143. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +1 -1
  144. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  145. package/SVF-doxygen/html/classSVF_1_1GlobalICFGNode.html +9 -9
  146. package/SVF-doxygen/html/classSVF_1_1ICFG.html +271 -271
  147. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +17 -17
  148. package/SVF-doxygen/html/classSVF_1_1ICFGEdge.html +7 -7
  149. package/SVF-doxygen/html/classSVF_1_1ICFGNode.html +12 -12
  150. package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  151. package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  152. package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +12 -12
  153. package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +15 -15
  154. package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  155. package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +2 -2
  156. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +1075 -1061
  157. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +4 -4
  158. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
  159. package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +13 -13
  160. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +4 -4
  161. package/SVF-doxygen/html/classSVF_1_1MHP.html +12 -12
  162. package/SVF-doxygen/html/classSVF_1_1MHPValidator.html +1 -1
  163. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +10 -10
  164. package/SVF-doxygen/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  165. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
  166. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +2 -2
  167. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  168. package/SVF-doxygen/html/classSVF_1_1MTAStat.html +5 -5
  169. package/SVF-doxygen/html/classSVF_1_1MemObj.html +1 -1
  170. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +19 -19
  171. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
  172. package/SVF-doxygen/html/classSVF_1_1PCG.html +11 -11
  173. package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
  174. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
  175. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +13 -13
  176. package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +2 -2
  177. package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +1 -1
  178. package/SVF-doxygen/html/classSVF_1_1RaceValidator.html +1 -1
  179. package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +9 -9
  180. package/SVF-doxygen/html/classSVF_1_1RetICFGNode.html +12 -12
  181. package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
  182. package/SVF-doxygen/html/classSVF_1_1SVFArgument.html +30 -30
  183. package/SVF-doxygen/html/classSVF_1_1SVFBasicBlock-members.html +18 -17
  184. package/SVF-doxygen/html/classSVF_1_1SVFBasicBlock.html +162 -136
  185. package/SVF-doxygen/html/classSVF_1_1SVFBlackHoleValue.html +15 -15
  186. package/SVF-doxygen/html/classSVF_1_1SVFBugEvent.html +1 -1
  187. package/SVF-doxygen/html/classSVF_1_1SVFCallInst.html +67 -67
  188. package/SVF-doxygen/html/classSVF_1_1SVFConstant.html +17 -17
  189. package/SVF-doxygen/html/classSVF_1_1SVFConstantData.html +23 -23
  190. package/SVF-doxygen/html/classSVF_1_1SVFConstantFP.html +21 -21
  191. package/SVF-doxygen/html/classSVF_1_1SVFConstantInt.html +27 -27
  192. package/SVF-doxygen/html/classSVF_1_1SVFConstantNullPtr.html +15 -15
  193. package/SVF-doxygen/html/classSVF_1_1SVFFunction-members.html +52 -50
  194. package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +236 -176
  195. package/SVF-doxygen/html/classSVF_1_1SVFG.html +7 -7
  196. package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +2 -2
  197. package/SVF-doxygen/html/classSVF_1_1SVFGlobalValue.html +33 -33
  198. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +3 -3
  199. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +3 -3
  200. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +104 -96
  201. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +39 -39
  202. package/SVF-doxygen/html/classSVF_1_1SVFInstruction.html +57 -57
  203. package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html +3 -3
  204. package/SVF-doxygen/html/classSVF_1_1SVFMetadataAsValue.html +15 -15
  205. package/SVF-doxygen/html/classSVF_1_1SVFModule.html +1 -1
  206. package/SVF-doxygen/html/classSVF_1_1SVFOtherValue.html +11 -11
  207. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +4 -4
  208. package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
  209. package/SVF-doxygen/html/classSVF_1_1SVFVirtualCallInst.html +53 -53
  210. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +14 -14
  211. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  212. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
  213. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +6 -6
  214. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
  215. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +17 -17
  216. package/SVF-doxygen/html/classSVF_1_1TCT.html +15 -15
  217. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
  218. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
  219. package/SVF-doxygen/html/classSVF_1_1ThreadAPI.html +7 -7
  220. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +1 -1
  221. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  222. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +4 -4
  223. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
  224. package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  225. package/SVF-doxygen/html/classSVF_1_1VFG.html +5 -5
  226. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  227. package/SVF-doxygen/html/classSVF_1_1WPAPass.html +2 -2
  228. package/SVF-doxygen/html/functions_b.html +3 -3
  229. package/SVF-doxygen/html/functions_e.html +3 -0
  230. package/SVF-doxygen/html/functions_func_i.html +3 -3
  231. package/SVF-doxygen/html/functions_func_p.html +1 -1
  232. package/SVF-doxygen/html/functions_func_s.html +22 -19
  233. package/SVF-doxygen/html/functions_i.html +1 -1
  234. package/SVF-doxygen/html/functions_l.html +3 -3
  235. package/SVF-doxygen/html/functions_o.html +15 -15
  236. package/SVF-doxygen/html/functions_p.html +9 -9
  237. package/SVF-doxygen/html/functions_r.html +4 -6
  238. package/SVF-doxygen/html/functions_rela_s.html +3 -0
  239. package/SVF-doxygen/html/functions_s.html +26 -20
  240. package/SVF-doxygen/html/functions_t.html +4 -4
  241. package/SVF-doxygen/html/functions_v.html +3 -3
  242. package/SVF-doxygen/html/functions_vars_e.html +3 -0
  243. package/SVF-doxygen/html/namespaceSVF.html +5 -5
  244. package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +1199 -1165
  245. package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html +5 -5
  246. package/SVF-doxygen/html/namespacemembers_b.html +4 -1
  247. package/SVF-doxygen/html/namespacemembers_func_b.html +4 -1
  248. package/SVF-doxygen/html/search/all_10.js +324 -324
  249. package/SVF-doxygen/html/search/all_11.js +222 -222
  250. package/SVF-doxygen/html/search/all_12.js +544 -543
  251. package/SVF-doxygen/html/search/all_13.js +191 -191
  252. package/SVF-doxygen/html/search/all_14.js +67 -67
  253. package/SVF-doxygen/html/search/all_15.js +169 -169
  254. package/SVF-doxygen/html/search/all_16.js +63 -63
  255. package/SVF-doxygen/html/search/all_17.js +1 -1
  256. package/SVF-doxygen/html/search/all_18.js +1 -1
  257. package/SVF-doxygen/html/search/all_19.js +11 -11
  258. package/SVF-doxygen/html/search/all_1a.js +172 -172
  259. package/SVF-doxygen/html/search/all_2.js +139 -138
  260. package/SVF-doxygen/html/search/all_3.js +642 -642
  261. package/SVF-doxygen/html/search/all_4.js +233 -233
  262. package/SVF-doxygen/html/search/all_5.js +119 -118
  263. package/SVF-doxygen/html/search/all_6.js +225 -225
  264. package/SVF-doxygen/html/search/all_7.js +1041 -1041
  265. package/SVF-doxygen/html/search/all_8.js +196 -196
  266. package/SVF-doxygen/html/search/all_9.js +613 -613
  267. package/SVF-doxygen/html/search/all_a.js +46 -46
  268. package/SVF-doxygen/html/search/all_b.js +26 -26
  269. package/SVF-doxygen/html/search/all_c.js +116 -116
  270. package/SVF-doxygen/html/search/all_d.js +196 -196
  271. package/SVF-doxygen/html/search/all_e.js +207 -207
  272. package/SVF-doxygen/html/search/all_f.js +116 -116
  273. package/SVF-doxygen/html/search/classes_0.js +26 -26
  274. package/SVF-doxygen/html/search/classes_1.js +9 -9
  275. package/SVF-doxygen/html/search/classes_10.js +73 -73
  276. package/SVF-doxygen/html/search/classes_11.js +15 -15
  277. package/SVF-doxygen/html/search/classes_12.js +2 -2
  278. package/SVF-doxygen/html/search/classes_13.js +10 -10
  279. package/SVF-doxygen/html/search/classes_14.js +14 -14
  280. package/SVF-doxygen/html/search/classes_15.js +1 -1
  281. package/SVF-doxygen/html/search/classes_2.js +80 -80
  282. package/SVF-doxygen/html/search/classes_3.js +37 -37
  283. package/SVF-doxygen/html/search/classes_4.js +9 -9
  284. package/SVF-doxygen/html/search/classes_5.js +28 -28
  285. package/SVF-doxygen/html/search/classes_6.js +104 -104
  286. package/SVF-doxygen/html/search/classes_7.js +33 -33
  287. package/SVF-doxygen/html/search/classes_8.js +56 -56
  288. package/SVF-doxygen/html/search/classes_9.js +1 -1
  289. package/SVF-doxygen/html/search/classes_a.js +12 -12
  290. package/SVF-doxygen/html/search/classes_b.js +29 -29
  291. package/SVF-doxygen/html/search/classes_c.js +6 -6
  292. package/SVF-doxygen/html/search/classes_d.js +18 -18
  293. package/SVF-doxygen/html/search/classes_e.js +36 -36
  294. package/SVF-doxygen/html/search/classes_f.js +25 -25
  295. package/SVF-doxygen/html/search/defines_0.js +3 -3
  296. package/SVF-doxygen/html/search/defines_1.js +2 -2
  297. package/SVF-doxygen/html/search/defines_2.js +30 -30
  298. package/SVF-doxygen/html/search/defines_3.js +21 -21
  299. package/SVF-doxygen/html/search/defines_4.js +2 -2
  300. package/SVF-doxygen/html/search/defines_5.js +4 -4
  301. package/SVF-doxygen/html/search/defines_6.js +2 -2
  302. package/SVF-doxygen/html/search/defines_7.js +5 -5
  303. package/SVF-doxygen/html/search/defines_8.js +11 -11
  304. package/SVF-doxygen/html/search/defines_9.js +9 -9
  305. package/SVF-doxygen/html/search/defines_a.js +2 -2
  306. package/SVF-doxygen/html/search/defines_b.js +1 -1
  307. package/SVF-doxygen/html/search/defines_c.js +3 -3
  308. package/SVF-doxygen/html/search/defines_d.js +2 -2
  309. package/SVF-doxygen/html/search/defines_e.js +7 -7
  310. package/SVF-doxygen/html/search/defines_f.js +3 -3
  311. package/SVF-doxygen/html/search/enums_0.js +3 -3
  312. package/SVF-doxygen/html/search/enums_1.js +2 -2
  313. package/SVF-doxygen/html/search/enums_10.js +1 -1
  314. package/SVF-doxygen/html/search/enums_11.js +1 -1
  315. package/SVF-doxygen/html/search/enums_2.js +8 -8
  316. package/SVF-doxygen/html/search/enums_3.js +1 -1
  317. package/SVF-doxygen/html/search/enums_4.js +3 -3
  318. package/SVF-doxygen/html/search/enums_5.js +1 -1
  319. package/SVF-doxygen/html/search/enums_6.js +2 -2
  320. package/SVF-doxygen/html/search/enums_7.js +2 -2
  321. package/SVF-doxygen/html/search/enums_8.js +4 -4
  322. package/SVF-doxygen/html/search/enums_9.js +1 -1
  323. package/SVF-doxygen/html/search/enums_a.js +1 -1
  324. package/SVF-doxygen/html/search/enums_b.js +7 -7
  325. package/SVF-doxygen/html/search/enums_c.js +1 -1
  326. package/SVF-doxygen/html/search/enums_d.js +4 -4
  327. package/SVF-doxygen/html/search/enums_e.js +2 -2
  328. package/SVF-doxygen/html/search/enums_f.js +4 -4
  329. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  330. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  331. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  332. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  333. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  334. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  335. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  336. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  337. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  338. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  339. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  340. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  341. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  342. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  343. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  344. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  345. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  346. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  347. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  348. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  349. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  350. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  351. package/SVF-doxygen/html/search/files_0.js +13 -13
  352. package/SVF-doxygen/html/search/files_1.js +7 -7
  353. package/SVF-doxygen/html/search/files_10.js +8 -8
  354. package/SVF-doxygen/html/search/files_11.js +8 -8
  355. package/SVF-doxygen/html/search/files_12.js +2 -2
  356. package/SVF-doxygen/html/search/files_2.js +55 -55
  357. package/SVF-doxygen/html/search/files_3.js +14 -14
  358. package/SVF-doxygen/html/search/files_4.js +5 -5
  359. package/SVF-doxygen/html/search/files_5.js +13 -13
  360. package/SVF-doxygen/html/search/files_6.js +9 -9
  361. package/SVF-doxygen/html/search/files_7.js +14 -14
  362. package/SVF-doxygen/html/search/files_8.js +13 -13
  363. package/SVF-doxygen/html/search/files_9.js +18 -18
  364. package/SVF-doxygen/html/search/files_a.js +3 -3
  365. package/SVF-doxygen/html/search/files_b.js +2 -2
  366. package/SVF-doxygen/html/search/files_c.js +20 -20
  367. package/SVF-doxygen/html/search/files_d.js +4 -4
  368. package/SVF-doxygen/html/search/files_e.js +62 -62
  369. package/SVF-doxygen/html/search/files_f.js +8 -8
  370. package/SVF-doxygen/html/search/functions_0.js +12 -12
  371. package/SVF-doxygen/html/search/functions_1.js +360 -360
  372. package/SVF-doxygen/html/search/functions_10.js +140 -140
  373. package/SVF-doxygen/html/search/functions_11.js +138 -138
  374. package/SVF-doxygen/html/search/functions_12.js +279 -278
  375. package/SVF-doxygen/html/search/functions_13.js +59 -59
  376. package/SVF-doxygen/html/search/functions_14.js +39 -39
  377. package/SVF-doxygen/html/search/functions_15.js +71 -71
  378. package/SVF-doxygen/html/search/functions_16.js +32 -32
  379. package/SVF-doxygen/html/search/functions_17.js +3 -3
  380. package/SVF-doxygen/html/search/functions_18.js +172 -172
  381. package/SVF-doxygen/html/search/functions_2.js +87 -86
  382. package/SVF-doxygen/html/search/functions_3.js +257 -257
  383. package/SVF-doxygen/html/search/functions_4.js +75 -75
  384. package/SVF-doxygen/html/search/functions_5.js +53 -53
  385. package/SVF-doxygen/html/search/functions_6.js +59 -59
  386. package/SVF-doxygen/html/search/functions_7.js +852 -852
  387. package/SVF-doxygen/html/search/functions_8.js +148 -148
  388. package/SVF-doxygen/html/search/functions_9.js +429 -429
  389. package/SVF-doxygen/html/search/functions_a.js +30 -30
  390. package/SVF-doxygen/html/search/functions_b.js +2 -2
  391. package/SVF-doxygen/html/search/functions_c.js +26 -26
  392. package/SVF-doxygen/html/search/functions_d.js +77 -77
  393. package/SVF-doxygen/html/search/functions_e.js +35 -35
  394. package/SVF-doxygen/html/search/functions_f.js +56 -56
  395. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  396. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  397. package/SVF-doxygen/html/search/related_0.js +2 -2
  398. package/SVF-doxygen/html/search/related_1.js +2 -2
  399. package/SVF-doxygen/html/search/related_2.js +2 -2
  400. package/SVF-doxygen/html/search/related_3.js +2 -2
  401. package/SVF-doxygen/html/search/related_4.js +2 -2
  402. package/SVF-doxygen/html/search/related_5.js +1 -1
  403. package/SVF-doxygen/html/search/related_6.js +2 -2
  404. package/SVF-doxygen/html/search/related_7.js +4 -4
  405. package/SVF-doxygen/html/search/related_8.js +2 -2
  406. package/SVF-doxygen/html/search/related_9.js +4 -4
  407. package/SVF-doxygen/html/search/related_a.js +19 -19
  408. package/SVF-doxygen/html/search/related_b.js +4 -4
  409. package/SVF-doxygen/html/search/related_c.js +1 -1
  410. package/SVF-doxygen/html/search/related_d.js +12 -11
  411. package/SVF-doxygen/html/search/related_e.js +2 -2
  412. package/SVF-doxygen/html/search/related_f.js +2 -2
  413. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  414. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  415. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  416. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  417. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  418. package/SVF-doxygen/html/search/typedefs_13.js +34 -34
  419. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  420. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  421. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  422. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  423. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  424. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  425. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  426. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  427. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  428. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  429. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  430. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  431. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  432. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  433. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  434. package/SVF-doxygen/html/search/variables_0.js +151 -151
  435. package/SVF-doxygen/html/search/variables_1.js +75 -75
  436. package/SVF-doxygen/html/search/variables_10.js +97 -97
  437. package/SVF-doxygen/html/search/variables_11.js +44 -44
  438. package/SVF-doxygen/html/search/variables_12.js +92 -92
  439. package/SVF-doxygen/html/search/variables_13.js +75 -75
  440. package/SVF-doxygen/html/search/variables_14.js +14 -14
  441. package/SVF-doxygen/html/search/variables_15.js +48 -48
  442. package/SVF-doxygen/html/search/variables_16.js +9 -9
  443. package/SVF-doxygen/html/search/variables_17.js +1 -1
  444. package/SVF-doxygen/html/search/variables_18.js +2 -2
  445. package/SVF-doxygen/html/search/variables_2.js +38 -38
  446. package/SVF-doxygen/html/search/variables_3.js +142 -142
  447. package/SVF-doxygen/html/search/variables_4.js +55 -55
  448. package/SVF-doxygen/html/search/variables_5.js +37 -36
  449. package/SVF-doxygen/html/search/variables_6.js +66 -66
  450. package/SVF-doxygen/html/search/variables_7.js +33 -33
  451. package/SVF-doxygen/html/search/variables_8.js +7 -7
  452. package/SVF-doxygen/html/search/variables_9.js +77 -77
  453. package/SVF-doxygen/html/search/variables_a.js +4 -4
  454. package/SVF-doxygen/html/search/variables_b.js +10 -10
  455. package/SVF-doxygen/html/search/variables_c.js +45 -45
  456. package/SVF-doxygen/html/search/variables_d.js +56 -56
  457. package/SVF-doxygen/html/search/variables_e.js +123 -123
  458. package/SVF-doxygen/html/search/variables_f.js +30 -30
  459. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  460. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +82 -82
  461. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  462. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +7 -7
  463. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  464. package/SVF-doxygen/html/svf-ex_8cpp.html +4 -4
  465. package/SVF-doxygen/html/svf-ex_8cpp_source.html +4 -4
  466. package/SVF-doxygen/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +2 -2
  467. package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +2 -2
  468. package/package.json +1 -1
  469. package/svf/include/SVFIR/SVFValue.h +13 -2
  470. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +50 -43
  471. package/svf/lib/Graphs/ICFG.cpp +10 -4
  472. package/svf/lib/SVFIR/SVFValue.cpp +8 -1
  473. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +3 -0
  474. package/svf-llvm/lib/LLVMModule.cpp +11 -0
  475. package/svf-llvm/lib/LLVMUtil.cpp +17 -5
package/SVF-doxygen/html/classSVF_1_1SVFConstantData.html CHANGED
@@ -199,7 +199,7 @@ Additional Inherited Members</h2></td></tr>
199
199
  </table>
200
200
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
201
201
  <div class="textblock">
202
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00926">926</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
202
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00937">937</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
203
203
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
204
204
  <a id="a1ea9ae8d6d2b29c8357132b40de45bf0"></a>
205
205
  <h2 class="memtitle"><span class="permalink"><a href="#a1ea9ae8d6d2b29c8357132b40de45bf0">&#9670;&nbsp;</a></span>SVFConstantData() <span class="overload">[1/2]</span></h2>
@@ -235,10 +235,10 @@ Additional Inherited Members</h2></td></tr>
235
235
  </table>
236
236
  </div><div class="memdoc">
237
237
 
238
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00931">931</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
239
- <div class="fragment"><div class="line"><a name="l00932"></a><span class="lineno"> 932</span>&#160; : <a class="code" href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVFConstant</a>(ty, k)</div>
240
- <div class="line"><a name="l00933"></a><span class="lineno"> 933</span>&#160; {</div>
241
- <div class="line"><a name="l00934"></a><span class="lineno"> 934</span>&#160; }</div>
238
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00942">942</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
239
+ <div class="fragment"><div class="line"><a name="l00943"></a><span class="lineno"> 943</span>&#160; : <a class="code" href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVFConstant</a>(ty, k)</div>
240
+ <div class="line"><a name="l00944"></a><span class="lineno"> 944</span>&#160; {</div>
241
+ <div class="line"><a name="l00945"></a><span class="lineno"> 945</span>&#160; }</div>
242
242
  </div><!-- fragment -->
243
243
  </div>
244
244
  </div>
@@ -292,14 +292,14 @@ Additional Inherited Members</h2></td></tr>
292
292
  </table>
293
293
  </div><div class="memdoc">
294
294
 
295
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00945">945</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
296
- <div class="fragment"><div class="line"><a name="l00946"></a><span class="lineno"> 946</span>&#160; {</div>
297
- <div class="line"><a name="l00947"></a><span class="lineno"> 947</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> ||</div>
298
- <div class="line"><a name="l00948"></a><span class="lineno"> 948</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> ||</div>
299
- <div class="line"><a name="l00949"></a><span class="lineno"> 949</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> ||</div>
300
- <div class="line"><a name="l00950"></a><span class="lineno"> 950</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> ||</div>
301
- <div class="line"><a name="l00951"></a><span class="lineno"> 951</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
302
- <div class="line"><a name="l00952"></a><span class="lineno"> 952</span>&#160; }</div>
295
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00956">956</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
296
+ <div class="fragment"><div class="line"><a name="l00957"></a><span class="lineno"> 957</span>&#160; {</div>
297
+ <div class="line"><a name="l00958"></a><span class="lineno"> 958</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> ||</div>
298
+ <div class="line"><a name="l00959"></a><span class="lineno"> 959</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> ||</div>
299
+ <div class="line"><a name="l00960"></a><span class="lineno"> 960</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> ||</div>
300
+ <div class="line"><a name="l00961"></a><span class="lineno"> 961</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> ||</div>
301
+ <div class="line"><a name="l00962"></a><span class="lineno"> 962</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
302
+ <div class="line"><a name="l00963"></a><span class="lineno"> 963</span>&#160; }</div>
303
303
  </div><!-- fragment -->
304
304
  </div>
305
305
  </div>
@@ -327,14 +327,14 @@ Additional Inherited Members</h2></td></tr>
327
327
  </table>
328
328
  </div><div class="memdoc">
329
329
 
330
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00937">937</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
331
- <div class="fragment"><div class="line"><a name="l00938"></a><span class="lineno"> 938</span>&#160; {</div>
332
- <div class="line"><a name="l00939"></a><span class="lineno"> 939</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> ||</div>
333
- <div class="line"><a name="l00940"></a><span class="lineno"> 940</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> ||</div>
334
- <div class="line"><a name="l00941"></a><span class="lineno"> 941</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> ||</div>
335
- <div class="line"><a name="l00942"></a><span class="lineno"> 942</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> ||</div>
336
- <div class="line"><a name="l00943"></a><span class="lineno"> 943</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
337
- <div class="line"><a name="l00944"></a><span class="lineno"> 944</span>&#160; }</div>
330
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00948">948</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
331
+ <div class="fragment"><div class="line"><a name="l00949"></a><span class="lineno"> 949</span>&#160; {</div>
332
+ <div class="line"><a name="l00950"></a><span class="lineno"> 950</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> ||</div>
333
+ <div class="line"><a name="l00951"></a><span class="lineno"> 951</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> ||</div>
334
+ <div class="line"><a name="l00952"></a><span class="lineno"> 952</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> ||</div>
335
+ <div class="line"><a name="l00953"></a><span class="lineno"> 953</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> ||</div>
336
+ <div class="line"><a name="l00954"></a><span class="lineno"> 954</span>&#160; node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
337
+ <div class="line"><a name="l00955"></a><span class="lineno"> 955</span>&#160; }</div>
338
338
  </div><!-- fragment -->
339
339
  </div>
340
340
  </div>
@@ -359,7 +359,7 @@ Additional Inherited Members</h2></td></tr>
359
359
  </table>
360
360
  </div><div class="memdoc">
361
361
 
362
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00929">929</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
362
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00940">940</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
363
363
 
364
364
  </div>
365
365
  </div>
@@ -383,7 +383,7 @@ Additional Inherited Members</h2></td></tr>
383
383
  </table>
384
384
  </div><div class="memdoc">
385
385
 
386
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00928">928</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
386
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00939">939</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
387
387
 
388
388
  </div>
389
389
  </div>
package/SVF-doxygen/html/classSVF_1_1SVFConstantFP.html CHANGED
@@ -214,7 +214,7 @@ Additional Inherited Members</h2></td></tr>
214
214
  </table>
215
215
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
216
216
  <div class="textblock">
217
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00989">989</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
217
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01000">1000</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
218
218
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
219
219
  <a id="a85f6c8bd4169c01e46170b001d3a5a80"></a>
220
220
  <h2 class="memtitle"><span class="permalink"><a href="#a85f6c8bd4169c01e46170b001d3a5a80">&#9670;&nbsp;</a></span>SVFConstantFP() <span class="overload">[1/2]</span></h2>
@@ -250,10 +250,10 @@ Additional Inherited Members</h2></td></tr>
250
250
  </table>
251
251
  </div><div class="memdoc">
252
252
 
253
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00996">996</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
254
- <div class="fragment"><div class="line"><a name="l00997"></a><span class="lineno"> 997</span>&#160; : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFValue::SVFConstFP</a>), <a class="code" href="classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9">dval</a>(d)</div>
255
- <div class="line"><a name="l00998"></a><span class="lineno"> 998</span>&#160; {</div>
256
- <div class="line"><a name="l00999"></a><span class="lineno"> 999</span>&#160; }</div>
253
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01007">1007</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
254
+ <div class="fragment"><div class="line"><a name="l01008"></a><span class="lineno"> 1008</span>&#160; : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFValue::SVFConstFP</a>), <a class="code" href="classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9">dval</a>(d)</div>
255
+ <div class="line"><a name="l01009"></a><span class="lineno"> 1009</span>&#160; {</div>
256
+ <div class="line"><a name="l01010"></a><span class="lineno"> 1010</span>&#160; }</div>
257
257
  </div><!-- fragment -->
258
258
  </div>
259
259
  </div>
@@ -307,10 +307,10 @@ Additional Inherited Members</h2></td></tr>
307
307
  </table>
308
308
  </div><div class="memdoc">
309
309
 
310
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01010">1010</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
311
- <div class="fragment"><div class="line"><a name="l01011"></a><span class="lineno"> 1011</span>&#160; {</div>
312
- <div class="line"><a name="l01012"></a><span class="lineno"> 1012</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a>;</div>
313
- <div class="line"><a name="l01013"></a><span class="lineno"> 1013</span>&#160; }</div>
310
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01021">1021</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
311
+ <div class="fragment"><div class="line"><a name="l01022"></a><span class="lineno"> 1022</span>&#160; {</div>
312
+ <div class="line"><a name="l01023"></a><span class="lineno"> 1023</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a>;</div>
313
+ <div class="line"><a name="l01024"></a><span class="lineno"> 1024</span>&#160; }</div>
314
314
  </div><!-- fragment -->
315
315
  </div>
316
316
  </div>
@@ -338,10 +338,10 @@ Additional Inherited Members</h2></td></tr>
338
338
  </table>
339
339
  </div><div class="memdoc">
340
340
 
341
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01006">1006</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
342
- <div class="fragment"><div class="line"><a name="l01007"></a><span class="lineno"> 1007</span>&#160; {</div>
343
- <div class="line"><a name="l01008"></a><span class="lineno"> 1008</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a>;</div>
344
- <div class="line"><a name="l01009"></a><span class="lineno"> 1009</span>&#160; }</div>
341
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01017">1017</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
342
+ <div class="fragment"><div class="line"><a name="l01018"></a><span class="lineno"> 1018</span>&#160; {</div>
343
+ <div class="line"><a name="l01019"></a><span class="lineno"> 1019</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a>;</div>
344
+ <div class="line"><a name="l01020"></a><span class="lineno"> 1020</span>&#160; }</div>
345
345
  </div><!-- fragment -->
346
346
  </div>
347
347
  </div>
@@ -368,10 +368,10 @@ Additional Inherited Members</h2></td></tr>
368
368
  </table>
369
369
  </div><div class="memdoc">
370
370
 
371
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01002">1002</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
372
- <div class="fragment"><div class="line"><a name="l01003"></a><span class="lineno"> 1003</span>&#160; {</div>
373
- <div class="line"><a name="l01004"></a><span class="lineno"> 1004</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9">dval</a>;</div>
374
- <div class="line"><a name="l01005"></a><span class="lineno"> 1005</span>&#160; }</div>
371
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01013">1013</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
372
+ <div class="fragment"><div class="line"><a name="l01014"></a><span class="lineno"> 1014</span>&#160; {</div>
373
+ <div class="line"><a name="l01015"></a><span class="lineno"> 1015</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9">dval</a>;</div>
374
+ <div class="line"><a name="l01016"></a><span class="lineno"> 1016</span>&#160; }</div>
375
375
  </div><!-- fragment -->
376
376
  </div>
377
377
  </div>
@@ -396,7 +396,7 @@ Additional Inherited Members</h2></td></tr>
396
396
  </table>
397
397
  </div><div class="memdoc">
398
398
 
399
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00992">992</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
399
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01003">1003</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
400
400
 
401
401
  </div>
402
402
  </div>
@@ -420,7 +420,7 @@ Additional Inherited Members</h2></td></tr>
420
420
  </table>
421
421
  </div><div class="memdoc">
422
422
 
423
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00991">991</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
423
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01002">1002</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
424
424
 
425
425
  </div>
426
426
  </div>
@@ -445,7 +445,7 @@ Additional Inherited Members</h2></td></tr>
445
445
  </table>
446
446
  </div><div class="memdoc">
447
447
 
448
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00994">994</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
448
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01005">1005</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
449
449
 
450
450
  </div>
451
451
  </div>
@@ -455,7 +455,7 @@ Additional Inherited Members</h2></td></tr>
455
455
  </div><!-- contents -->
456
456
  <div class="ttc" id="aclassSVF_1_1SVFConstantData_html_a057d3aebc842d72d2b89f661d18b6e34"><div class="ttname"><a href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVF::SVFConstantData::SVFConstantData</a></div><div class="ttdeci">SVFConstantData()=delete</div></div>
457
457
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVF::SVFValue::SVFConstFP</a></div><div class="ttdeci">@ SVFConstFP</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00199">SVFValue.h:199</a></div></div>
458
- <div class="ttc" id="aclassSVF_1_1SVFConstantFP_html_aa1d551ad74dd5ce3eb4b7d639aec31a9"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9">SVF::SVFConstantFP::dval</a></div><div class="ttdeci">float dval</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00994">SVFValue.h:994</a></div></div>
458
+ <div class="ttc" id="aclassSVF_1_1SVFConstantFP_html_aa1d551ad74dd5ce3eb4b7d639aec31a9"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9">SVF::SVFConstantFP::dval</a></div><div class="ttdeci">float dval</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01005">SVFValue.h:1005</a></div></div>
459
459
  <!-- start footer part -->
460
460
  <hr class="footer"/><address class="footer"><small>
461
461
  Generated by &#160;<a href="http://www.doxygen.org/index.html">
package/SVF-doxygen/html/classSVF_1_1SVFConstantInt.html CHANGED
@@ -218,7 +218,7 @@ Additional Inherited Members</h2></td></tr>
218
218
  </table>
219
219
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
220
220
  <div class="textblock">
221
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00955">955</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
221
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00966">966</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
222
222
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
223
223
  <a id="a66b861e33c5a3911ecd8e6e4441cb664"></a>
224
224
  <h2 class="memtitle"><span class="permalink"><a href="#a66b861e33c5a3911ecd8e6e4441cb664">&#9670;&nbsp;</a></span>SVFConstantInt() <span class="overload">[1/2]</span></h2>
@@ -260,10 +260,10 @@ Additional Inherited Members</h2></td></tr>
260
260
  </table>
261
261
  </div><div class="memdoc">
262
262
 
263
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00963">963</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
264
- <div class="fragment"><div class="line"><a name="l00964"></a><span class="lineno"> 964</span>&#160; : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFValue::SVFConstInt</a>), <a class="code" href="classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587">zval</a>(z), <a class="code" href="classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671">sval</a>(s)</div>
265
- <div class="line"><a name="l00965"></a><span class="lineno"> 965</span>&#160; {</div>
266
- <div class="line"><a name="l00966"></a><span class="lineno"> 966</span>&#160; }</div>
263
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00974">974</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
264
+ <div class="fragment"><div class="line"><a name="l00975"></a><span class="lineno"> 975</span>&#160; : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFValue::SVFConstInt</a>), <a class="code" href="classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587">zval</a>(z), <a class="code" href="classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671">sval</a>(s)</div>
265
+ <div class="line"><a name="l00976"></a><span class="lineno"> 976</span>&#160; {</div>
266
+ <div class="line"><a name="l00977"></a><span class="lineno"> 977</span>&#160; }</div>
267
267
  </div><!-- fragment -->
268
268
  </div>
269
269
  </div>
@@ -317,10 +317,10 @@ Additional Inherited Members</h2></td></tr>
317
317
  </table>
318
318
  </div><div class="memdoc">
319
319
 
320
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00973">973</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
321
- <div class="fragment"><div class="line"><a name="l00974"></a><span class="lineno"> 974</span>&#160; {</div>
322
- <div class="line"><a name="l00975"></a><span class="lineno"> 975</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a>;</div>
323
- <div class="line"><a name="l00976"></a><span class="lineno"> 976</span>&#160; }</div>
320
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00984">984</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
321
+ <div class="fragment"><div class="line"><a name="l00985"></a><span class="lineno"> 985</span>&#160; {</div>
322
+ <div class="line"><a name="l00986"></a><span class="lineno"> 986</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a>;</div>
323
+ <div class="line"><a name="l00987"></a><span class="lineno"> 987</span>&#160; }</div>
324
324
  </div><!-- fragment -->
325
325
  </div>
326
326
  </div>
@@ -348,10 +348,10 @@ Additional Inherited Members</h2></td></tr>
348
348
  </table>
349
349
  </div><div class="memdoc">
350
350
 
351
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00969">969</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
352
- <div class="fragment"><div class="line"><a name="l00970"></a><span class="lineno"> 970</span>&#160; {</div>
353
- <div class="line"><a name="l00971"></a><span class="lineno"> 971</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a>;</div>
354
- <div class="line"><a name="l00972"></a><span class="lineno"> 972</span>&#160; }</div>
351
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00980">980</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
352
+ <div class="fragment"><div class="line"><a name="l00981"></a><span class="lineno"> 981</span>&#160; {</div>
353
+ <div class="line"><a name="l00982"></a><span class="lineno"> 982</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a>;</div>
354
+ <div class="line"><a name="l00983"></a><span class="lineno"> 983</span>&#160; }</div>
355
355
  </div><!-- fragment -->
356
356
  </div>
357
357
  </div>
@@ -378,10 +378,10 @@ Additional Inherited Members</h2></td></tr>
378
378
  </table>
379
379
  </div><div class="memdoc">
380
380
 
381
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00983">983</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
382
- <div class="fragment"><div class="line"><a name="l00984"></a><span class="lineno"> 984</span>&#160; {</div>
383
- <div class="line"><a name="l00985"></a><span class="lineno"> 985</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671">sval</a>;</div>
384
- <div class="line"><a name="l00986"></a><span class="lineno"> 986</span>&#160; }</div>
381
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00994">994</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
382
+ <div class="fragment"><div class="line"><a name="l00995"></a><span class="lineno"> 995</span>&#160; {</div>
383
+ <div class="line"><a name="l00996"></a><span class="lineno"> 996</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671">sval</a>;</div>
384
+ <div class="line"><a name="l00997"></a><span class="lineno"> 997</span>&#160; }</div>
385
385
  </div><!-- fragment -->
386
386
  </div>
387
387
  </div>
@@ -408,10 +408,10 @@ Additional Inherited Members</h2></td></tr>
408
408
  </table>
409
409
  </div><div class="memdoc">
410
410
 
411
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00978">978</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
412
- <div class="fragment"><div class="line"><a name="l00979"></a><span class="lineno"> 979</span>&#160; {</div>
413
- <div class="line"><a name="l00980"></a><span class="lineno"> 980</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587">zval</a>;</div>
414
- <div class="line"><a name="l00981"></a><span class="lineno"> 981</span>&#160; }</div>
411
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00989">989</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
412
+ <div class="fragment"><div class="line"><a name="l00990"></a><span class="lineno"> 990</span>&#160; {</div>
413
+ <div class="line"><a name="l00991"></a><span class="lineno"> 991</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587">zval</a>;</div>
414
+ <div class="line"><a name="l00992"></a><span class="lineno"> 992</span>&#160; }</div>
415
415
  </div><!-- fragment -->
416
416
  </div>
417
417
  </div>
@@ -436,7 +436,7 @@ Additional Inherited Members</h2></td></tr>
436
436
  </table>
437
437
  </div><div class="memdoc">
438
438
 
439
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00958">958</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
439
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00969">969</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
440
440
 
441
441
  </div>
442
442
  </div>
@@ -460,7 +460,7 @@ Additional Inherited Members</h2></td></tr>
460
460
  </table>
461
461
  </div><div class="memdoc">
462
462
 
463
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00957">957</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
463
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00968">968</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
464
464
 
465
465
  </div>
466
466
  </div>
@@ -485,7 +485,7 @@ Additional Inherited Members</h2></td></tr>
485
485
  </table>
486
486
  </div><div class="memdoc">
487
487
 
488
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00961">961</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
488
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00972">972</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
489
489
 
490
490
  </div>
491
491
  </div>
@@ -509,7 +509,7 @@ Additional Inherited Members</h2></td></tr>
509
509
  </table>
510
510
  </div><div class="memdoc">
511
511
 
512
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00960">960</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
512
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00971">971</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
513
513
 
514
514
  </div>
515
515
  </div>
@@ -518,9 +518,9 @@ Additional Inherited Members</h2></td></tr>
518
518
  </ul>
519
519
  </div><!-- contents -->
520
520
  <div class="ttc" id="aclassSVF_1_1SVFConstantData_html_a057d3aebc842d72d2b89f661d18b6e34"><div class="ttname"><a href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVF::SVFConstantData::SVFConstantData</a></div><div class="ttdeci">SVFConstantData()=delete</div></div>
521
- <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_ab6876d8be0707cbd05b467445a59d587"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587">SVF::SVFConstantInt::zval</a></div><div class="ttdeci">u64_t zval</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00960">SVFValue.h:960</a></div></div>
521
+ <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_ab6876d8be0707cbd05b467445a59d587"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587">SVF::SVFConstantInt::zval</a></div><div class="ttdeci">u64_t zval</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00971">SVFValue.h:971</a></div></div>
522
522
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVF::SVFValue::SVFConstInt</a></div><div class="ttdeci">@ SVFConstInt</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00198">SVFValue.h:198</a></div></div>
523
- <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_a484bcb1494a2c0c946e85f39f7961671"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671">SVF::SVFConstantInt::sval</a></div><div class="ttdeci">s64_t sval</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00961">SVFValue.h:961</a></div></div>
523
+ <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_a484bcb1494a2c0c946e85f39f7961671"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671">SVF::SVFConstantInt::sval</a></div><div class="ttdeci">s64_t sval</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00972">SVFValue.h:972</a></div></div>
524
524
  <!-- start footer part -->
525
525
  <hr class="footer"/><address class="footer"><small>
526
526
  Generated by &#160;<a href="http://www.doxygen.org/index.html">
package/SVF-doxygen/html/classSVF_1_1SVFConstantNullPtr.html CHANGED
@@ -206,7 +206,7 @@ Additional Inherited Members</h2></td></tr>
206
206
  </table>
207
207
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
208
208
  <div class="textblock">
209
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01016">1016</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
209
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01027">1027</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
210
210
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
211
211
  <a id="a299954e2cad5ee41b51fcff4a92439b3"></a>
212
212
  <h2 class="memtitle"><span class="permalink"><a href="#a299954e2cad5ee41b51fcff4a92439b3">&#9670;&nbsp;</a></span>SVFConstantNullPtr() <span class="overload">[1/2]</span></h2>
@@ -232,10 +232,10 @@ Additional Inherited Members</h2></td></tr>
232
232
  </table>
233
233
  </div><div class="memdoc">
234
234
 
235
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01022">1022</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
236
- <div class="fragment"><div class="line"><a name="l01023"></a><span class="lineno"> 1023</span>&#160; : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFValue::SVFNullPtr</a>)</div>
237
- <div class="line"><a name="l01024"></a><span class="lineno"> 1024</span>&#160; {</div>
238
- <div class="line"><a name="l01025"></a><span class="lineno"> 1025</span>&#160; }</div>
235
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01033">1033</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
236
+ <div class="fragment"><div class="line"><a name="l01034"></a><span class="lineno"> 1034</span>&#160; : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFValue::SVFNullPtr</a>)</div>
237
+ <div class="line"><a name="l01035"></a><span class="lineno"> 1035</span>&#160; {</div>
238
+ <div class="line"><a name="l01036"></a><span class="lineno"> 1036</span>&#160; }</div>
239
239
  </div><!-- fragment -->
240
240
  </div>
241
241
  </div>
@@ -289,10 +289,10 @@ Additional Inherited Members</h2></td></tr>
289
289
  </table>
290
290
  </div><div class="memdoc">
291
291
 
292
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01032">1032</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
293
- <div class="fragment"><div class="line"><a name="l01033"></a><span class="lineno"> 1033</span>&#160; {</div>
294
- <div class="line"><a name="l01034"></a><span class="lineno"> 1034</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a>;</div>
295
- <div class="line"><a name="l01035"></a><span class="lineno"> 1035</span>&#160; }</div>
292
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01043">1043</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
293
+ <div class="fragment"><div class="line"><a name="l01044"></a><span class="lineno"> 1044</span>&#160; {</div>
294
+ <div class="line"><a name="l01045"></a><span class="lineno"> 1045</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a>;</div>
295
+ <div class="line"><a name="l01046"></a><span class="lineno"> 1046</span>&#160; }</div>
296
296
  </div><!-- fragment -->
297
297
  </div>
298
298
  </div>
@@ -320,10 +320,10 @@ Additional Inherited Members</h2></td></tr>
320
320
  </table>
321
321
  </div><div class="memdoc">
322
322
 
323
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01028">1028</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
324
- <div class="fragment"><div class="line"><a name="l01029"></a><span class="lineno"> 1029</span>&#160; {</div>
325
- <div class="line"><a name="l01030"></a><span class="lineno"> 1030</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a>;</div>
326
- <div class="line"><a name="l01031"></a><span class="lineno"> 1031</span>&#160; }</div>
323
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01039">1039</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
324
+ <div class="fragment"><div class="line"><a name="l01040"></a><span class="lineno"> 1040</span>&#160; {</div>
325
+ <div class="line"><a name="l01041"></a><span class="lineno"> 1041</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a>;</div>
326
+ <div class="line"><a name="l01042"></a><span class="lineno"> 1042</span>&#160; }</div>
327
327
  </div><!-- fragment -->
328
328
  </div>
329
329
  </div>
@@ -348,7 +348,7 @@ Additional Inherited Members</h2></td></tr>
348
348
  </table>
349
349
  </div><div class="memdoc">
350
350
 
351
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01019">1019</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
351
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01030">1030</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
352
352
 
353
353
  </div>
354
354
  </div>
@@ -372,7 +372,7 @@ Additional Inherited Members</h2></td></tr>
372
372
  </table>
373
373
  </div><div class="memdoc">
374
374
 
375
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01018">1018</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
375
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01029">1029</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
376
376
 
377
377
  </div>
378
378
  </div>