svf-tools 1.0.896 → 1.0.898

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 (628) hide show
  1. package/SVF-doxygen/html/AbstractExecution_8cpp.html +1 -1
  2. package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +1638 -1659
  3. package/SVF-doxygen/html/AbstractExecution_8h_source.html +49 -49
  4. package/SVF-doxygen/html/AbstractPointsToDS_8h_source.html +1 -1
  5. package/SVF-doxygen/html/AccessPath_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/AccessPath_8h_source.html +2 -2
  7. package/SVF-doxygen/html/AddressValue_8h_source.html +1 -1
  8. package/SVF-doxygen/html/AndersenPWC_8h_source.html +4 -4
  9. package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +3 -3
  10. package/SVF-doxygen/html/AndersenSFR_8cpp_source.html +3 -3
  11. package/SVF-doxygen/html/AndersenStat_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/AndersenWaveDiff_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/Andersen_8cpp_source.html +5 -5
  14. package/SVF-doxygen/html/Andersen_8h_source.html +3 -3
  15. package/SVF-doxygen/html/BoundedZ3Expr_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/BoundedZ3Expr_8h_source.html +59 -43
  17. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +29 -28
  18. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +1 -1
  19. package/SVF-doxygen/html/CDGBuilder_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/CDGBuilder_8h_source.html +1 -1
  21. package/SVF-doxygen/html/CDG_8h_source.html +2 -2
  22. package/SVF-doxygen/html/CFGNormalizer_8cpp_source.html +3 -3
  23. package/SVF-doxygen/html/CFGNormalizer_8h_source.html +3 -3
  24. package/SVF-doxygen/html/CFGrammar_8cpp_source.html +2 -2
  25. package/SVF-doxygen/html/CFGrammar_8h_source.html +3 -3
  26. package/SVF-doxygen/html/CFLAlias_8h_source.html +2 -2
  27. package/SVF-doxygen/html/CFLGraphBuilder_8cpp_source.html +1 -1
  28. package/SVF-doxygen/html/CFLGraphBuilder_8h_source.html +1 -1
  29. package/SVF-doxygen/html/CFLSVFGBuilder_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/CFLSVFGBuilder_8h_source.html +2 -2
  31. package/SVF-doxygen/html/CFLSolver_8h_source.html +1 -1
  32. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +1 -1
  33. package/SVF-doxygen/html/CHG_8h_source.html +2 -2
  34. package/SVF-doxygen/html/CSC_8cpp_source.html +2 -2
  35. package/SVF-doxygen/html/CSC_8h_source.html +3 -3
  36. package/SVF-doxygen/html/ConditionalPT_8h_source.html +3 -3
  37. package/SVF-doxygen/html/ConsExeState_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/ConsExeState_8h_source.html +3 -3
  39. package/SVF-doxygen/html/ConsGEdge_8h_source.html +2 -2
  40. package/SVF-doxygen/html/ConsG_8cpp_source.html +14 -14
  41. package/SVF-doxygen/html/ConsG_8h_source.html +4 -4
  42. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +4 -4
  43. package/SVF-doxygen/html/ContextDDA_8h_source.html +2 -2
  44. package/SVF-doxygen/html/CoreBitVector_8h_source.html +1 -1
  45. package/SVF-doxygen/html/CppUtil_8cpp_source.html +1 -1
  46. package/SVF-doxygen/html/CppUtil_8h_source.html +1 -1
  47. package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
  48. package/SVF-doxygen/html/DCHG_8cpp_source.html +3 -3
  49. package/SVF-doxygen/html/DCHG_8h_source.html +2 -2
  50. package/SVF-doxygen/html/DDAClient_8cpp_source.html +2 -2
  51. package/SVF-doxygen/html/DDAClient_8h_source.html +3 -3
  52. package/SVF-doxygen/html/DDAPass_8cpp_source.html +2 -2
  53. package/SVF-doxygen/html/DDAPass_8h_source.html +1 -1
  54. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +2 -2
  55. package/SVF-doxygen/html/DPItem_8h_source.html +2 -2
  56. package/SVF-doxygen/html/ExeState_8cpp_source.html +1 -1
  57. package/SVF-doxygen/html/ExeState_8h_source.html +1 -1
  58. package/SVF-doxygen/html/FSMPTA_8cpp_source.html +1 -1
  59. package/SVF-doxygen/html/FSMPTA_8h_source.html +2 -2
  60. package/SVF-doxygen/html/FlowDDA_8cpp_source.html +4 -4
  61. package/SVF-doxygen/html/FlowDDA_8h_source.html +1 -1
  62. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +2 -2
  63. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +6 -6
  64. package/SVF-doxygen/html/FlowSensitive_8h_source.html +2 -2
  65. package/SVF-doxygen/html/GeneralType_8h.html +8 -0
  66. package/SVF-doxygen/html/GeneralType_8h_source.html +110 -102
  67. package/SVF-doxygen/html/GenericGraph_8h_source.html +2 -2
  68. package/SVF-doxygen/html/GrammarBuilder_8h_source.html +1 -1
  69. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +1 -1
  70. package/SVF-doxygen/html/ICFGBuilder_8h_source.html +1 -1
  71. package/SVF-doxygen/html/ICFGEdge_8h_source.html +3 -3
  72. package/SVF-doxygen/html/ICFGNode_8h_source.html +1 -1
  73. package/SVF-doxygen/html/ICFGSimplification_8cpp_source.html +2 -2
  74. package/SVF-doxygen/html/ICFGStat_8h_source.html +1 -1
  75. package/SVF-doxygen/html/ICFG_8cpp_source.html +3 -3
  76. package/SVF-doxygen/html/ICFG_8h_source.html +2 -2
  77. package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
  78. package/SVF-doxygen/html/IRGraph_8h_source.html +2 -2
  79. package/SVF-doxygen/html/IntervalExeState_8cpp_source.html +2 -2
  80. package/SVF-doxygen/html/IntervalExeState_8h_source.html +4 -4
  81. package/SVF-doxygen/html/IntervalValue_8h_source.html +862 -801
  82. package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
  83. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +335 -316
  84. package/SVF-doxygen/html/LLVMModule_8h_source.html +11 -11
  85. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +2 -2
  86. package/SVF-doxygen/html/LLVMUtil_8h_source.html +1 -1
  87. package/SVF-doxygen/html/LeakChecker_8h_source.html +1 -1
  88. package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +2 -2
  89. package/SVF-doxygen/html/LockAnalysis_8h_source.html +3 -3
  90. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
  91. package/SVF-doxygen/html/LockResultValidator_8h_source.html +2 -2
  92. package/SVF-doxygen/html/MHP_8cpp_source.html +3 -3
  93. package/SVF-doxygen/html/MHP_8h_source.html +3 -3
  94. package/SVF-doxygen/html/MSSAMuChi_8h_source.html +4 -4
  95. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +1 -1
  96. package/SVF-doxygen/html/MTAAnnotator_8h_source.html +1 -1
  97. package/SVF-doxygen/html/MTAResultValidator_8cpp_source.html +5 -5
  98. package/SVF-doxygen/html/MTAStat_8cpp_source.html +1 -1
  99. package/SVF-doxygen/html/MTAStat_8h_source.html +1 -1
  100. package/SVF-doxygen/html/MTA_8cpp_source.html +1 -1
  101. package/SVF-doxygen/html/MTA_8h_source.html +1 -1
  102. package/SVF-doxygen/html/MemPartition_8h_source.html +2 -2
  103. package/SVF-doxygen/html/MemRegion_8cpp_source.html +4 -4
  104. package/SVF-doxygen/html/MemRegion_8h_source.html +5 -5
  105. package/SVF-doxygen/html/MemSSA_8cpp_source.html +4 -4
  106. package/SVF-doxygen/html/MemSSA_8h_source.html +5 -5
  107. package/SVF-doxygen/html/MutablePointsToDS_8h_source.html +1 -1
  108. package/SVF-doxygen/html/NodeIDAllocator_8cpp_source.html +2 -2
  109. package/SVF-doxygen/html/NodeIDAllocator_8h_source.html +2 -2
  110. package/SVF-doxygen/html/NumericLiteral_8h_source.html +452 -418
  111. package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +3 -3
  112. package/SVF-doxygen/html/ObjTypeInference_8h_source.html +2 -2
  113. package/SVF-doxygen/html/PAGBuilderFromFile_8cpp_source.html +195 -137
  114. package/SVF-doxygen/html/PAGBuilderFromFile_8h_source.html +3 -3
  115. package/SVF-doxygen/html/PCG_8cpp_source.html +1 -1
  116. package/SVF-doxygen/html/PCG_8h_source.html +1 -1
  117. package/SVF-doxygen/html/PTACallGraph_8cpp_source.html +1 -1
  118. package/SVF-doxygen/html/PTACallGraph_8h_source.html +4 -4
  119. package/SVF-doxygen/html/PTAStat_8cpp_source.html +1 -1
  120. package/SVF-doxygen/html/PersistentPointsToCache_8h_source.html +2 -2
  121. package/SVF-doxygen/html/PersistentPointsToDS_8h_source.html +2 -2
  122. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  123. package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +3 -3
  124. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +1 -1
  125. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +5 -5
  126. package/SVF-doxygen/html/PointsTo_8cpp_source.html +3 -3
  127. package/SVF-doxygen/html/PointsTo_8h_source.html +3 -3
  128. package/SVF-doxygen/html/ProgSlice_8cpp_source.html +1 -1
  129. package/SVF-doxygen/html/ProgSlice_8h_source.html +2 -2
  130. package/SVF-doxygen/html/RelExeState_8cpp_source.html +1 -1
  131. package/SVF-doxygen/html/RelExeState_8h_source.html +3 -3
  132. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +4 -4
  133. package/SVF-doxygen/html/RelationSolver_8h_source.html +1 -1
  134. package/SVF-doxygen/html/SCC_8h_source.html +2 -2
  135. package/SVF-doxygen/html/SVFBugReport_8h_source.html +1 -1
  136. package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +1937 -1934
  137. package/SVF-doxygen/html/SVFFileSystem_8h.html +1 -1
  138. package/SVF-doxygen/html/SVFFileSystem_8h_source.html +59 -59
  139. package/SVF-doxygen/html/SVFGEdge_8h_source.html +2 -2
  140. package/SVF-doxygen/html/SVFGNode_8h_source.html +2 -2
  141. package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +1 -1
  142. package/SVF-doxygen/html/SVFGOPT_8h_source.html +3 -3
  143. package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +3 -3
  144. package/SVF-doxygen/html/SVFGStat_8cpp_source.html +1 -1
  145. package/SVF-doxygen/html/SVFGStat_8h_source.html +3 -3
  146. package/SVF-doxygen/html/SVFG_8cpp_source.html +2 -2
  147. package/SVF-doxygen/html/SVFG_8h_source.html +2 -2
  148. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +60 -60
  149. package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +9 -9
  150. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +1101 -886
  151. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +173 -154
  152. package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +35 -35
  153. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +17 -17
  154. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +172 -121
  155. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +5 -5
  156. package/SVF-doxygen/html/SVFIR_8cpp_source.html +24 -22
  157. package/SVF-doxygen/html/SVFIR_8h_source.html +55 -53
  158. package/SVF-doxygen/html/SVFLoop_8h_source.html +1 -1
  159. package/SVF-doxygen/html/SVFStat_8cpp_source.html +1 -1
  160. package/SVF-doxygen/html/SVFStat_8h_source.html +1 -1
  161. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +20 -20
  162. package/SVF-doxygen/html/SVFStatements_8h_source.html +979 -955
  163. package/SVF-doxygen/html/SVFType_8cpp_source.html +1 -1
  164. package/SVF-doxygen/html/SVFType_8h_source.html +4 -4
  165. package/SVF-doxygen/html/SVFUtil_8h_source.html +2 -2
  166. package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
  167. package/SVF-doxygen/html/SVFValue_8h_source.html +3 -3
  168. package/SVF-doxygen/html/SVFVariables_8h_source.html +1 -1
  169. package/SVF-doxygen/html/SaberCheckerAPI_8h_source.html +1 -1
  170. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +8 -8
  171. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +4 -4
  172. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  173. package/SVF-doxygen/html/SaberSVFGBuilder_8h_source.html +2 -2
  174. package/SVF-doxygen/html/SparseBitVector_8h_source.html +3 -3
  175. package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +1 -1
  176. package/SVF-doxygen/html/SrcSnkDDA_8h_source.html +2 -2
  177. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +2 -2
  178. package/SVF-doxygen/html/Steensgaard_8h_source.html +4 -4
  179. package/SVF-doxygen/html/SymState_8h_source.html +2 -2
  180. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +4 -4
  181. package/SVF-doxygen/html/SymbolTableBuilder_8h_source.html +1 -1
  182. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +3 -3
  183. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +4 -4
  184. package/SVF-doxygen/html/TCT_8cpp_source.html +3 -3
  185. package/SVF-doxygen/html/TCT_8h_source.html +4 -4
  186. package/SVF-doxygen/html/ThreadAPI_8cpp_source.html +1 -1
  187. package/SVF-doxygen/html/ThreadAPI_8h_source.html +1 -1
  188. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +1 -1
  189. package/SVF-doxygen/html/ThreadCallGraph_8h_source.html +3 -3
  190. package/SVF-doxygen/html/VFGEdge_8h_source.html +1 -1
  191. package/SVF-doxygen/html/VFGNode_8h_source.html +12 -12
  192. package/SVF-doxygen/html/VFG_8cpp_source.html +18 -18
  193. package/SVF-doxygen/html/VFG_8h_source.html +17 -17
  194. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
  195. package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +4 -4
  196. package/SVF-doxygen/html/VersionedFlowSensitive_8h_source.html +4 -4
  197. package/SVF-doxygen/html/WPAFSSolver_8h_source.html +1 -1
  198. package/SVF-doxygen/html/WPASolver_8h_source.html +2 -2
  199. package/SVF-doxygen/html/WTO_8h_source.html +2 -2
  200. package/SVF-doxygen/html/WorkList_8h_source.html +1 -1
  201. package/SVF-doxygen/html/ae_8cpp_source.html +2 -2
  202. package/SVF-doxygen/html/classSVF_1_1AEStat.html +119 -119
  203. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +1517 -1538
  204. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +1 -1
  205. package/SVF-doxygen/html/classSVF_1_1Andersen.html +5 -5
  206. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +1 -1
  207. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +3 -3
  208. package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +3 -3
  209. package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +1 -1
  210. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  211. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  212. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +68 -68
  213. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr-members.html +8 -4
  214. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.html +149 -28
  215. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +51 -51
  216. package/SVF-doxygen/html/classSVF_1_1BranchVFGNode.html +4 -4
  217. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +7 -7
  218. package/SVF-doxygen/html/classSVF_1_1CDGBuilder.html +1 -1
  219. package/SVF-doxygen/html/classSVF_1_1CFGNormalizer.html +3 -3
  220. package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.html +1 -1
  221. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +1 -1
  222. package/SVF-doxygen/html/classSVF_1_1CSC.html +2 -2
  223. package/SVF-doxygen/html/classSVF_1_1CallPE.html +35 -35
  224. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +97 -97
  225. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +1 -1
  226. package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +1 -1
  227. package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +13 -13
  228. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +5 -5
  229. package/SVF-doxygen/html/classSVF_1_1CopyStmt-members.html +48 -33
  230. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +206 -65
  231. package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +3 -3
  232. package/SVF-doxygen/html/classSVF_1_1DDAPass.html +2 -2
  233. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
  234. package/SVF-doxygen/html/classSVF_1_1ExeState.html +1 -1
  235. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +3 -3
  236. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +5 -5
  237. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  238. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +3 -3
  239. package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +1 -1
  240. package/SVF-doxygen/html/classSVF_1_1GenericGraphReader.html +1 -1
  241. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +56 -56
  242. package/SVF-doxygen/html/classSVF_1_1GrammarBase.html +1 -1
  243. package/SVF-doxygen/html/classSVF_1_1ICFG.html +3 -3
  244. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +1 -1
  245. package/SVF-doxygen/html/classSVF_1_1ICFGWriter.html +11 -11
  246. package/SVF-doxygen/html/classSVF_1_1IntervalESBase.html +2 -2
  247. package/SVF-doxygen/html/classSVF_1_1IntervalValue-members.html +40 -35
  248. package/SVF-doxygen/html/classSVF_1_1IntervalValue.html +511 -306
  249. package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
  250. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +331 -312
  251. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +19 -19
  252. package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +2 -2
  253. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
  254. package/SVF-doxygen/html/classSVF_1_1MHP.html +2 -2
  255. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +3 -3
  256. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +1 -1
  257. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +4 -4
  258. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  259. package/SVF-doxygen/html/classSVF_1_1MTAStat.html +1 -1
  260. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +4 -4
  261. package/SVF-doxygen/html/classSVF_1_1MultiOpndStmt.html +48 -48
  262. package/SVF-doxygen/html/classSVF_1_1MutableDFPTData.html +1 -1
  263. package/SVF-doxygen/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +1 -1
  264. package/SVF-doxygen/html/classSVF_1_1NumericLiteral-members.html +9 -3
  265. package/SVF-doxygen/html/classSVF_1_1NumericLiteral.html +527 -332
  266. package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +3 -3
  267. package/SVF-doxygen/html/classSVF_1_1PAGBuilderFromFile.html +204 -135
  268. package/SVF-doxygen/html/classSVF_1_1PCG.html +1 -1
  269. package/SVF-doxygen/html/classSVF_1_1POCRSolver.html +1 -1
  270. package/SVF-doxygen/html/classSVF_1_1PTACallGraph.html +1 -1
  271. package/SVF-doxygen/html/classSVF_1_1PTAStat.html +1 -1
  272. package/SVF-doxygen/html/classSVF_1_1PersistentDFPTData.html +1 -1
  273. package/SVF-doxygen/html/classSVF_1_1PersistentDiffPTData.html +1 -1
  274. package/SVF-doxygen/html/classSVF_1_1PersistentPTData.html +1 -1
  275. package/SVF-doxygen/html/classSVF_1_1PersistentPointsToCache.html +1 -1
  276. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +46 -46
  277. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +1 -1
  278. package/SVF-doxygen/html/classSVF_1_1PointsTo.html +1 -1
  279. package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +1 -1
  280. package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +1 -1
  281. package/SVF-doxygen/html/classSVF_1_1ReaderIDToObjMap.html +2 -2
  282. package/SVF-doxygen/html/classSVF_1_1ReaderPtrPool.html +2 -2
  283. package/SVF-doxygen/html/classSVF_1_1RelExeState.html +2 -2
  284. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +4 -4
  285. package/SVF-doxygen/html/classSVF_1_1RetPE.html +35 -35
  286. package/SVF-doxygen/html/classSVF_1_1SVFG.html +3 -3
  287. package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +1 -1
  288. package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +1 -1
  289. package/SVF-doxygen/html/classSVF_1_1SVFIR-members.html +1 -1
  290. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +32 -25
  291. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +51 -51
  292. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +49 -40
  293. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1346 -909
  294. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder-members.html +62 -61
  295. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +211 -131
  296. package/SVF-doxygen/html/classSVF_1_1SVFIRReader.html +1122 -1121
  297. package/SVF-doxygen/html/classSVF_1_1SVFIRWriter.html +429 -427
  298. package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html +1 -1
  299. package/SVF-doxygen/html/classSVF_1_1SVFModuleReader.html +1 -1
  300. package/SVF-doxygen/html/classSVF_1_1SVFModuleWriter.html +23 -23
  301. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
  302. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +9 -9
  303. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  304. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +38 -38
  305. package/SVF-doxygen/html/classSVF_1_1SingleAbsValue-members.html +8 -4
  306. package/SVF-doxygen/html/classSVF_1_1SingleAbsValue.html +8 -0
  307. package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +1 -1
  308. package/SVF-doxygen/html/classSVF_1_1StInfo.html +1 -1
  309. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +2 -2
  310. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +17 -17
  311. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +4 -4
  312. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +3 -3
  313. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfoReader.html +1 -1
  314. package/SVF-doxygen/html/classSVF_1_1TCT.html +4 -4
  315. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +22 -22
  316. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +21 -21
  317. package/SVF-doxygen/html/classSVF_1_1ThreadAPI.html +1 -1
  318. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +1 -1
  319. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +44 -44
  320. package/SVF-doxygen/html/classSVF_1_1VFG.html +17 -17
  321. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
  322. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
  323. package/SVF-doxygen/html/classSVF_1_1WPAFSSolver.html +2 -2
  324. package/SVF-doxygen/html/classSVF_1_1WPAMinimumSolver.html +2 -2
  325. package/SVF-doxygen/html/classSVF_1_1WPASCCSolver.html +2 -2
  326. package/SVF-doxygen/html/classSVF_1_1WPASolver.html +1 -1
  327. package/SVF-doxygen/html/classSymblicAbstractionTest.html +2 -2
  328. package/SVF-doxygen/html/fastcluster__dm_8cpp_8inc_source.html +1 -1
  329. package/SVF-doxygen/html/functions_a.html +2 -2
  330. package/SVF-doxygen/html/functions_b.html +12 -9
  331. package/SVF-doxygen/html/functions_c.html +23 -14
  332. package/SVF-doxygen/html/functions_e.html +1 -1
  333. package/SVF-doxygen/html/functions_enum.html +3 -0
  334. package/SVF-doxygen/html/functions_eval_b.html +3 -0
  335. package/SVF-doxygen/html/functions_eval_c.html +3 -0
  336. package/SVF-doxygen/html/functions_eval_f.html +9 -0
  337. package/SVF-doxygen/html/functions_eval_i.html +3 -0
  338. package/SVF-doxygen/html/functions_eval_p.html +3 -0
  339. package/SVF-doxygen/html/functions_eval_s.html +6 -0
  340. package/SVF-doxygen/html/functions_eval_t.html +3 -0
  341. package/SVF-doxygen/html/functions_eval_u.html +3 -0
  342. package/SVF-doxygen/html/functions_eval_z.html +79 -0
  343. package/SVF-doxygen/html/functions_f.html +21 -12
  344. package/SVF-doxygen/html/functions_func.html +2 -2
  345. package/SVF-doxygen/html/functions_func_g.html +45 -11
  346. package/SVF-doxygen/html/functions_func_i.html +21 -11
  347. package/SVF-doxygen/html/functions_func_n.html +1 -1
  348. package/SVF-doxygen/html/functions_func_p.html +1 -1
  349. package/SVF-doxygen/html/functions_g.html +45 -11
  350. package/SVF-doxygen/html/functions_i.html +18 -5
  351. package/SVF-doxygen/html/functions_l.html +5 -5
  352. package/SVF-doxygen/html/functions_o.html +15 -15
  353. package/SVF-doxygen/html/functions_p.html +19 -16
  354. package/SVF-doxygen/html/functions_s.html +18 -14
  355. package/SVF-doxygen/html/functions_t.html +12 -9
  356. package/SVF-doxygen/html/functions_u.html +6 -3
  357. package/SVF-doxygen/html/functions_v.html +4 -6
  358. package/SVF-doxygen/html/functions_vars_c.html +3 -0
  359. package/SVF-doxygen/html/functions_w.html +13 -7
  360. package/SVF-doxygen/html/functions_z.html +3 -0
  361. package/SVF-doxygen/html/globals_a.html +1 -1
  362. package/SVF-doxygen/html/globals_d.html +3 -0
  363. package/SVF-doxygen/html/globals_func_a.html +1 -1
  364. package/SVF-doxygen/html/globals_func_d.html +3 -0
  365. package/SVF-doxygen/html/globals_func_p.html +1 -1
  366. package/SVF-doxygen/html/globals_func_t.html +1 -1
  367. package/SVF-doxygen/html/globals_p.html +1 -1
  368. package/SVF-doxygen/html/globals_t.html +1 -1
  369. package/SVF-doxygen/html/globals_vars.html +3 -3
  370. package/SVF-doxygen/html/globals_z.html +3 -3
  371. package/SVF-doxygen/html/menudata.js +2 -1
  372. package/SVF-doxygen/html/namespaceSVF.html +689 -617
  373. package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +1 -1
  374. package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html +1 -1
  375. package/SVF-doxygen/html/namespaceSVF_1_1cppUtil.html +1 -1
  376. package/SVF-doxygen/html/namespacemembers_s.html +6 -0
  377. package/SVF-doxygen/html/namespacemembers_type_s.html +6 -0
  378. package/SVF-doxygen/html/namespacemembers_type_u.html +6 -0
  379. package/SVF-doxygen/html/namespacemembers_u.html +6 -0
  380. package/SVF-doxygen/html/search/all_1.js +3 -3
  381. package/SVF-doxygen/html/search/all_10.js +326 -325
  382. package/SVF-doxygen/html/search/all_11.js +226 -226
  383. package/SVF-doxygen/html/search/all_12.js +574 -570
  384. package/SVF-doxygen/html/search/all_13.js +208 -207
  385. package/SVF-doxygen/html/search/all_14.js +73 -70
  386. package/SVF-doxygen/html/search/all_15.js +176 -176
  387. package/SVF-doxygen/html/search/all_16.js +77 -77
  388. package/SVF-doxygen/html/search/all_17.js +1 -1
  389. package/SVF-doxygen/html/search/all_18.js +1 -1
  390. package/SVF-doxygen/html/search/all_19.js +27 -26
  391. package/SVF-doxygen/html/search/all_1a.js +179 -179
  392. package/SVF-doxygen/html/search/all_2.js +122 -121
  393. package/SVF-doxygen/html/search/all_3.js +642 -640
  394. package/SVF-doxygen/html/search/all_4.js +236 -235
  395. package/SVF-doxygen/html/search/all_5.js +126 -126
  396. package/SVF-doxygen/html/search/all_6.js +235 -232
  397. package/SVF-doxygen/html/search/all_7.js +1056 -1047
  398. package/SVF-doxygen/html/search/all_8.js +215 -215
  399. package/SVF-doxygen/html/search/all_9.js +632 -629
  400. package/SVF-doxygen/html/search/all_a.js +46 -46
  401. package/SVF-doxygen/html/search/all_b.js +26 -26
  402. package/SVF-doxygen/html/search/all_c.js +115 -115
  403. package/SVF-doxygen/html/search/all_d.js +204 -204
  404. package/SVF-doxygen/html/search/all_e.js +209 -209
  405. package/SVF-doxygen/html/search/all_f.js +122 -122
  406. package/SVF-doxygen/html/search/classes_0.js +28 -28
  407. package/SVF-doxygen/html/search/classes_1.js +11 -11
  408. package/SVF-doxygen/html/search/classes_10.js +74 -74
  409. package/SVF-doxygen/html/search/classes_11.js +14 -14
  410. package/SVF-doxygen/html/search/classes_12.js +2 -2
  411. package/SVF-doxygen/html/search/classes_13.js +10 -10
  412. package/SVF-doxygen/html/search/classes_14.js +19 -19
  413. package/SVF-doxygen/html/search/classes_15.js +1 -1
  414. package/SVF-doxygen/html/search/classes_2.js +73 -73
  415. package/SVF-doxygen/html/search/classes_3.js +35 -35
  416. package/SVF-doxygen/html/search/classes_4.js +8 -8
  417. package/SVF-doxygen/html/search/classes_5.js +28 -28
  418. package/SVF-doxygen/html/search/classes_6.js +98 -98
  419. package/SVF-doxygen/html/search/classes_7.js +38 -38
  420. package/SVF-doxygen/html/search/classes_8.js +59 -59
  421. package/SVF-doxygen/html/search/classes_9.js +1 -1
  422. package/SVF-doxygen/html/search/classes_a.js +12 -12
  423. package/SVF-doxygen/html/search/classes_b.js +29 -29
  424. package/SVF-doxygen/html/search/classes_c.js +6 -6
  425. package/SVF-doxygen/html/search/classes_d.js +19 -19
  426. package/SVF-doxygen/html/search/classes_e.js +36 -36
  427. package/SVF-doxygen/html/search/classes_f.js +25 -25
  428. package/SVF-doxygen/html/search/defines_0.js +3 -3
  429. package/SVF-doxygen/html/search/defines_1.js +3 -3
  430. package/SVF-doxygen/html/search/defines_10.js +2 -2
  431. package/SVF-doxygen/html/search/defines_2.js +30 -30
  432. package/SVF-doxygen/html/search/defines_3.js +20 -20
  433. package/SVF-doxygen/html/search/defines_4.js +3 -3
  434. package/SVF-doxygen/html/search/defines_5.js +4 -4
  435. package/SVF-doxygen/html/search/defines_6.js +2 -2
  436. package/SVF-doxygen/html/search/defines_7.js +5 -5
  437. package/SVF-doxygen/html/search/defines_8.js +11 -11
  438. package/SVF-doxygen/html/search/defines_9.js +9 -9
  439. package/SVF-doxygen/html/search/defines_a.js +2 -2
  440. package/SVF-doxygen/html/search/defines_b.js +1 -1
  441. package/SVF-doxygen/html/search/defines_c.js +4 -4
  442. package/SVF-doxygen/html/search/defines_d.js +2 -2
  443. package/SVF-doxygen/html/search/defines_e.js +8 -8
  444. package/SVF-doxygen/html/search/defines_f.js +4 -4
  445. package/SVF-doxygen/html/search/enums_0.js +4 -4
  446. package/SVF-doxygen/html/search/enums_1.js +2 -2
  447. package/SVF-doxygen/html/search/enums_10.js +1 -1
  448. package/SVF-doxygen/html/search/enums_11.js +1 -1
  449. package/SVF-doxygen/html/search/enums_2.js +9 -8
  450. package/SVF-doxygen/html/search/enums_3.js +1 -1
  451. package/SVF-doxygen/html/search/enums_4.js +4 -4
  452. package/SVF-doxygen/html/search/enums_5.js +1 -1
  453. package/SVF-doxygen/html/search/enums_6.js +2 -2
  454. package/SVF-doxygen/html/search/enums_7.js +2 -2
  455. package/SVF-doxygen/html/search/enums_8.js +4 -4
  456. package/SVF-doxygen/html/search/enums_9.js +1 -1
  457. package/SVF-doxygen/html/search/enums_a.js +1 -1
  458. package/SVF-doxygen/html/search/enums_b.js +7 -7
  459. package/SVF-doxygen/html/search/enums_c.js +1 -1
  460. package/SVF-doxygen/html/search/enums_d.js +4 -4
  461. package/SVF-doxygen/html/search/enums_e.js +2 -2
  462. package/SVF-doxygen/html/search/enums_f.js +4 -4
  463. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  464. package/SVF-doxygen/html/search/enumvalues_1.js +16 -15
  465. package/SVF-doxygen/html/search/enumvalues_10.js +36 -35
  466. package/SVF-doxygen/html/search/enumvalues_11.js +5 -4
  467. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  468. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  469. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  470. package/SVF-doxygen/html/search/enumvalues_15.js +4 -3
  471. package/SVF-doxygen/html/search/enumvalues_2.js +37 -36
  472. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  473. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  474. package/SVF-doxygen/html/search/enumvalues_5.js +50 -47
  475. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  476. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  477. package/SVF-doxygen/html/search/enumvalues_8.js +24 -23
  478. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  479. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  480. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  481. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  482. package/SVF-doxygen/html/search/enumvalues_d.js +19 -18
  483. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  484. package/SVF-doxygen/html/search/enumvalues_f.js +49 -47
  485. package/SVF-doxygen/html/search/files_0.js +16 -16
  486. package/SVF-doxygen/html/search/files_1.js +9 -9
  487. package/SVF-doxygen/html/search/files_10.js +8 -8
  488. package/SVF-doxygen/html/search/files_11.js +8 -8
  489. package/SVF-doxygen/html/search/files_12.js +2 -2
  490. package/SVF-doxygen/html/search/files_2.js +53 -53
  491. package/SVF-doxygen/html/search/files_3.js +14 -14
  492. package/SVF-doxygen/html/search/files_4.js +5 -5
  493. package/SVF-doxygen/html/search/files_5.js +13 -13
  494. package/SVF-doxygen/html/search/files_6.js +10 -10
  495. package/SVF-doxygen/html/search/files_7.js +17 -17
  496. package/SVF-doxygen/html/search/files_8.js +13 -13
  497. package/SVF-doxygen/html/search/files_9.js +18 -18
  498. package/SVF-doxygen/html/search/files_a.js +3 -3
  499. package/SVF-doxygen/html/search/files_b.js +4 -4
  500. package/SVF-doxygen/html/search/files_c.js +20 -20
  501. package/SVF-doxygen/html/search/files_d.js +4 -4
  502. package/SVF-doxygen/html/search/files_e.js +62 -62
  503. package/SVF-doxygen/html/search/files_f.js +8 -8
  504. package/SVF-doxygen/html/search/functions_0.js +13 -13
  505. package/SVF-doxygen/html/search/functions_1.js +368 -368
  506. package/SVF-doxygen/html/search/functions_10.js +140 -140
  507. package/SVF-doxygen/html/search/functions_11.js +140 -140
  508. package/SVF-doxygen/html/search/functions_12.js +299 -299
  509. package/SVF-doxygen/html/search/functions_13.js +73 -73
  510. package/SVF-doxygen/html/search/functions_14.js +41 -41
  511. package/SVF-doxygen/html/search/functions_15.js +72 -72
  512. package/SVF-doxygen/html/search/functions_16.js +38 -38
  513. package/SVF-doxygen/html/search/functions_17.js +3 -3
  514. package/SVF-doxygen/html/search/functions_18.js +179 -179
  515. package/SVF-doxygen/html/search/functions_2.js +94 -94
  516. package/SVF-doxygen/html/search/functions_3.js +261 -261
  517. package/SVF-doxygen/html/search/functions_4.js +85 -84
  518. package/SVF-doxygen/html/search/functions_5.js +57 -57
  519. package/SVF-doxygen/html/search/functions_6.js +65 -65
  520. package/SVF-doxygen/html/search/functions_7.js +872 -863
  521. package/SVF-doxygen/html/search/functions_8.js +162 -162
  522. package/SVF-doxygen/html/search/functions_9.js +440 -438
  523. package/SVF-doxygen/html/search/functions_a.js +30 -30
  524. package/SVF-doxygen/html/search/functions_b.js +2 -2
  525. package/SVF-doxygen/html/search/functions_c.js +25 -25
  526. package/SVF-doxygen/html/search/functions_d.js +82 -82
  527. package/SVF-doxygen/html/search/functions_e.js +36 -36
  528. package/SVF-doxygen/html/search/functions_f.js +58 -58
  529. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  530. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  531. package/SVF-doxygen/html/search/related_0.js +4 -4
  532. package/SVF-doxygen/html/search/related_1.js +2 -2
  533. package/SVF-doxygen/html/search/related_2.js +2 -2
  534. package/SVF-doxygen/html/search/related_3.js +2 -2
  535. package/SVF-doxygen/html/search/related_4.js +2 -2
  536. package/SVF-doxygen/html/search/related_5.js +1 -1
  537. package/SVF-doxygen/html/search/related_6.js +2 -2
  538. package/SVF-doxygen/html/search/related_7.js +5 -5
  539. package/SVF-doxygen/html/search/related_8.js +2 -2
  540. package/SVF-doxygen/html/search/related_9.js +4 -4
  541. package/SVF-doxygen/html/search/related_a.js +19 -19
  542. package/SVF-doxygen/html/search/related_b.js +4 -4
  543. package/SVF-doxygen/html/search/related_c.js +2 -2
  544. package/SVF-doxygen/html/search/related_d.js +12 -12
  545. package/SVF-doxygen/html/search/related_e.js +2 -2
  546. package/SVF-doxygen/html/search/related_f.js +2 -2
  547. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  548. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  549. package/SVF-doxygen/html/search/typedefs_10.js +65 -63
  550. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  551. package/SVF-doxygen/html/search/typedefs_12.js +13 -11
  552. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  553. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  554. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  555. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  556. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  557. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  558. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  559. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  560. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  561. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  562. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  563. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  564. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  565. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  566. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  567. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  568. package/SVF-doxygen/html/search/variables_0.js +177 -177
  569. package/SVF-doxygen/html/search/variables_1.js +76 -76
  570. package/SVF-doxygen/html/search/variables_10.js +98 -98
  571. package/SVF-doxygen/html/search/variables_11.js +46 -46
  572. package/SVF-doxygen/html/search/variables_12.js +93 -93
  573. package/SVF-doxygen/html/search/variables_13.js +76 -76
  574. package/SVF-doxygen/html/search/variables_14.js +14 -14
  575. package/SVF-doxygen/html/search/variables_15.js +49 -49
  576. package/SVF-doxygen/html/search/variables_16.js +11 -11
  577. package/SVF-doxygen/html/search/variables_17.js +1 -1
  578. package/SVF-doxygen/html/search/variables_18.js +17 -17
  579. package/SVF-doxygen/html/search/variables_2.js +40 -40
  580. package/SVF-doxygen/html/search/variables_3.js +143 -142
  581. package/SVF-doxygen/html/search/variables_4.js +51 -51
  582. package/SVF-doxygen/html/search/variables_5.js +39 -39
  583. package/SVF-doxygen/html/search/variables_6.js +66 -66
  584. package/SVF-doxygen/html/search/variables_7.js +34 -34
  585. package/SVF-doxygen/html/search/variables_8.js +8 -8
  586. package/SVF-doxygen/html/search/variables_9.js +79 -79
  587. package/SVF-doxygen/html/search/variables_a.js +4 -4
  588. package/SVF-doxygen/html/search/variables_b.js +10 -10
  589. package/SVF-doxygen/html/search/variables_c.js +45 -45
  590. package/SVF-doxygen/html/search/variables_d.js +57 -57
  591. package/SVF-doxygen/html/search/variables_e.js +123 -123
  592. package/SVF-doxygen/html/search/variables_f.js +31 -31
  593. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  594. package/SVF-doxygen/html/structSVF_1_1Hash.html +6 -6
  595. package/SVF-doxygen/html/structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html +12 -12
  596. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +1 -1
  597. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +5 -5
  598. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html +1 -1
  599. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html +1 -1
  600. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
  601. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NumericLiteral_01_4.html +5 -5
  602. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +1 -1
  603. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
  604. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SymState_01_4.html +1 -1
  605. package/SVF-doxygen/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +1 -1
  606. package/SVF-doxygen/html/svf-ex_8cpp.html +280 -230
  607. package/SVF-doxygen/html/svf-ex_8cpp_source.html +250 -223
  608. package/SVF-doxygen/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +2 -2
  609. package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +3 -3
  610. package/package.json +1 -1
  611. package/svf/include/AE/Core/BoundedZ3Expr.h +31 -20
  612. package/svf/include/AE/Core/IntervalValue.h +56 -4
  613. package/svf/include/AE/Core/NumericLiteral.h +25 -1
  614. package/svf/include/AE/Svfexe/SVFIR2ItvExeState.h +10 -0
  615. package/svf/include/SVFIR/SVFIR.h +2 -1
  616. package/svf/include/SVFIR/SVFStatements.h +12 -2
  617. package/svf/include/Util/GeneralType.h +4 -0
  618. package/svf/lib/AE/Svfexe/AbstractExecution.cpp +13 -34
  619. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +6 -6
  620. package/svf/lib/AE/Svfexe/SVFIR2ItvExeState.cpp +217 -23
  621. package/svf/lib/SVFIR/PAGBuilderFromFile.cpp +62 -3
  622. package/svf/lib/SVFIR/SVFFileSystem.cpp +4 -1
  623. package/svf/lib/SVFIR/SVFIR.cpp +3 -3
  624. package/svf-llvm/include/SVF-LLVM/SVFIRBuilder.h +39 -3
  625. package/svf-llvm/lib/LLVMModule.cpp +21 -2
  626. package/svf-llvm/lib/SVFIRBuilder.cpp +7 -7
  627. package/svf-llvm/lib/SVFIRExtAPI.cpp +3 -3
  628. package/svf-llvm/tools/Example/svf-ex.cpp +49 -30
package/SVF-doxygen/html/classSVF_1_1CmpStmt.html CHANGED
@@ -348,7 +348,7 @@ Additional Inherited Members</h2></td></tr>
348
348
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
349
349
  <div class="textblock"><p>Comparison statement </p>
350
350
 
351
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00884">884</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
351
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00894">894</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
352
352
  </div><h2 class="groupheader">Member Enumeration Documentation</h2>
353
353
  <a id="ad8e01744bfd98d584661025ce59338ac"></a>
354
354
  <h2 class="memtitle"><span class="permalink"><a href="#ad8e01744bfd98d584661025ce59338ac">&#9670;&nbsp;</a></span>Predicate</h2>
@@ -424,43 +424,43 @@ Additional Inherited Members</h2></td></tr>
424
424
  <tr><td class="fieldname"><a id="ad8e01744bfd98d584661025ce59338aca163b0f2adc52334e5a1083d59d6bc5d9"></a>BAD_ICMP_PREDICATE&#160;</td><td class="fielddoc"></td></tr>
425
425
  </table>
426
426
 
427
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00899">899</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
428
- <div class="fragment"><div class="line"><a name="l00899"></a><span class="lineno"> 899</span>&#160; : <span class="keywordtype">unsigned</span></div>
429
- <div class="line"><a name="l00900"></a><span class="lineno"> 900</span>&#160; {</div>
430
- <div class="line"><a name="l00901"></a><span class="lineno"> 901</span>&#160; <span class="comment">// Opcode U L G E Intuitive operation</span></div>
431
- <div class="line"><a name="l00902"></a><span class="lineno"> 902</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06">FCMP_FALSE</a> = 0, </div>
432
- <div class="line"><a name="l00903"></a><span class="lineno"> 903</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee">FCMP_OEQ</a> = 1, </div>
433
- <div class="line"><a name="l00904"></a><span class="lineno"> 904</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486">FCMP_OGT</a> = 2, </div>
434
- <div class="line"><a name="l00905"></a><span class="lineno"> 905</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c">FCMP_OGE</a> = 3, </div>
435
- <div class="line"><a name="l00906"></a><span class="lineno"> 906</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa">FCMP_OLT</a> = 4, </div>
436
- <div class="line"><a name="l00907"></a><span class="lineno"> 907</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d">FCMP_OLE</a> = 5, </div>
437
- <div class="line"><a name="l00908"></a><span class="lineno"> 908</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193">FCMP_ONE</a> = 6, </div>
438
- <div class="line"><a name="l00909"></a><span class="lineno"> 909</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44">FCMP_ORD</a> = 7, </div>
439
- <div class="line"><a name="l00910"></a><span class="lineno"> 910</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69">FCMP_UNO</a> = 8, </div>
440
- <div class="line"><a name="l00911"></a><span class="lineno"> 911</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021">FCMP_UEQ</a> = 9, </div>
441
- <div class="line"><a name="l00912"></a><span class="lineno"> 912</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c">FCMP_UGT</a> = 10, </div>
442
- <div class="line"><a name="l00913"></a><span class="lineno"> 913</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da">FCMP_UGE</a> = 11, </div>
443
- <div class="line"><a name="l00914"></a><span class="lineno"> 914</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d">FCMP_ULT</a> = 12, </div>
444
- <div class="line"><a name="l00915"></a><span class="lineno"> 915</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb">FCMP_ULE</a> = 13, </div>
445
- <div class="line"><a name="l00916"></a><span class="lineno"> 916</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09">FCMP_UNE</a> = 14, </div>
446
- <div class="line"><a name="l00917"></a><span class="lineno"> 917</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7">FCMP_TRUE</a> = 15, </div>
447
- <div class="line"><a name="l00918"></a><span class="lineno"> 918</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85">FIRST_FCMP_PREDICATE</a> = <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06">FCMP_FALSE</a>,</div>
448
- <div class="line"><a name="l00919"></a><span class="lineno"> 919</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69">LAST_FCMP_PREDICATE</a> = <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7">FCMP_TRUE</a>,</div>
449
- <div class="line"><a name="l00920"></a><span class="lineno"> 920</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca257536bcaeadf76c6172db4d225f3a26">BAD_FCMP_PREDICATE</a> = <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7">FCMP_TRUE</a> + 1,</div>
450
- <div class="line"><a name="l00921"></a><span class="lineno"> 921</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936">ICMP_EQ</a> = 32, </div>
451
- <div class="line"><a name="l00922"></a><span class="lineno"> 922</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f">ICMP_NE</a> = 33, </div>
452
- <div class="line"><a name="l00923"></a><span class="lineno"> 923</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48">ICMP_UGT</a> = 34, </div>
453
- <div class="line"><a name="l00924"></a><span class="lineno"> 924</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128">ICMP_UGE</a> = 35, </div>
454
- <div class="line"><a name="l00925"></a><span class="lineno"> 925</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d">ICMP_ULT</a> = 36, </div>
455
- <div class="line"><a name="l00926"></a><span class="lineno"> 926</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f">ICMP_ULE</a> = 37, </div>
456
- <div class="line"><a name="l00927"></a><span class="lineno"> 927</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee">ICMP_SGT</a> = 38, </div>
457
- <div class="line"><a name="l00928"></a><span class="lineno"> 928</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80">ICMP_SGE</a> = 39, </div>
458
- <div class="line"><a name="l00929"></a><span class="lineno"> 929</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927">ICMP_SLT</a> = 40, </div>
459
- <div class="line"><a name="l00930"></a><span class="lineno"> 930</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">ICMP_SLE</a> = 41, </div>
460
- <div class="line"><a name="l00931"></a><span class="lineno"> 931</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b">FIRST_ICMP_PREDICATE</a> = <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936">ICMP_EQ</a>,</div>
461
- <div class="line"><a name="l00932"></a><span class="lineno"> 932</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e">LAST_ICMP_PREDICATE</a> = <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">ICMP_SLE</a>,</div>
462
- <div class="line"><a name="l00933"></a><span class="lineno"> 933</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca163b0f2adc52334e5a1083d59d6bc5d9">BAD_ICMP_PREDICATE</a> = <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">ICMP_SLE</a> + 1</div>
463
- <div class="line"><a name="l00934"></a><span class="lineno"> 934</span>&#160; };</div>
427
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00909">909</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
428
+ <div class="fragment"><div class="line"><a name="l00909"></a><span class="lineno"> 909</span>&#160; : <span class="keywordtype">unsigned</span></div>
429
+ <div class="line"><a name="l00910"></a><span class="lineno"> 910</span>&#160; {</div>
430
+ <div class="line"><a name="l00911"></a><span class="lineno"> 911</span>&#160; <span class="comment">// Opcode U L G E Intuitive operation</span></div>
431
+ <div class="line"><a name="l00912"></a><span class="lineno"> 912</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06">FCMP_FALSE</a> = 0, </div>
432
+ <div class="line"><a name="l00913"></a><span class="lineno"> 913</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee">FCMP_OEQ</a> = 1, </div>
433
+ <div class="line"><a name="l00914"></a><span class="lineno"> 914</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486">FCMP_OGT</a> = 2, </div>
434
+ <div class="line"><a name="l00915"></a><span class="lineno"> 915</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c">FCMP_OGE</a> = 3, </div>
435
+ <div class="line"><a name="l00916"></a><span class="lineno"> 916</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa">FCMP_OLT</a> = 4, </div>
436
+ <div class="line"><a name="l00917"></a><span class="lineno"> 917</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d">FCMP_OLE</a> = 5, </div>
437
+ <div class="line"><a name="l00918"></a><span class="lineno"> 918</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193">FCMP_ONE</a> = 6, </div>
438
+ <div class="line"><a name="l00919"></a><span class="lineno"> 919</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44">FCMP_ORD</a> = 7, </div>
439
+ <div class="line"><a name="l00920"></a><span class="lineno"> 920</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69">FCMP_UNO</a> = 8, </div>
440
+ <div class="line"><a name="l00921"></a><span class="lineno"> 921</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021">FCMP_UEQ</a> = 9, </div>
441
+ <div class="line"><a name="l00922"></a><span class="lineno"> 922</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c">FCMP_UGT</a> = 10, </div>
442
+ <div class="line"><a name="l00923"></a><span class="lineno"> 923</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da">FCMP_UGE</a> = 11, </div>
443
+ <div class="line"><a name="l00924"></a><span class="lineno"> 924</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d">FCMP_ULT</a> = 12, </div>
444
+ <div class="line"><a name="l00925"></a><span class="lineno"> 925</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb">FCMP_ULE</a> = 13, </div>
445
+ <div class="line"><a name="l00926"></a><span class="lineno"> 926</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09">FCMP_UNE</a> = 14, </div>
446
+ <div class="line"><a name="l00927"></a><span class="lineno"> 927</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7">FCMP_TRUE</a> = 15, </div>
447
+ <div class="line"><a name="l00928"></a><span class="lineno"> 928</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85">FIRST_FCMP_PREDICATE</a> = <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06">FCMP_FALSE</a>,</div>
448
+ <div class="line"><a name="l00929"></a><span class="lineno"> 929</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69">LAST_FCMP_PREDICATE</a> = <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7">FCMP_TRUE</a>,</div>
449
+ <div class="line"><a name="l00930"></a><span class="lineno"> 930</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca257536bcaeadf76c6172db4d225f3a26">BAD_FCMP_PREDICATE</a> = <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7">FCMP_TRUE</a> + 1,</div>
450
+ <div class="line"><a name="l00931"></a><span class="lineno"> 931</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936">ICMP_EQ</a> = 32, </div>
451
+ <div class="line"><a name="l00932"></a><span class="lineno"> 932</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f">ICMP_NE</a> = 33, </div>
452
+ <div class="line"><a name="l00933"></a><span class="lineno"> 933</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48">ICMP_UGT</a> = 34, </div>
453
+ <div class="line"><a name="l00934"></a><span class="lineno"> 934</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128">ICMP_UGE</a> = 35, </div>
454
+ <div class="line"><a name="l00935"></a><span class="lineno"> 935</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d">ICMP_ULT</a> = 36, </div>
455
+ <div class="line"><a name="l00936"></a><span class="lineno"> 936</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f">ICMP_ULE</a> = 37, </div>
456
+ <div class="line"><a name="l00937"></a><span class="lineno"> 937</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee">ICMP_SGT</a> = 38, </div>
457
+ <div class="line"><a name="l00938"></a><span class="lineno"> 938</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80">ICMP_SGE</a> = 39, </div>
458
+ <div class="line"><a name="l00939"></a><span class="lineno"> 939</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927">ICMP_SLT</a> = 40, </div>
459
+ <div class="line"><a name="l00940"></a><span class="lineno"> 940</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">ICMP_SLE</a> = 41, </div>
460
+ <div class="line"><a name="l00941"></a><span class="lineno"> 941</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b">FIRST_ICMP_PREDICATE</a> = <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936">ICMP_EQ</a>,</div>
461
+ <div class="line"><a name="l00942"></a><span class="lineno"> 942</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e">LAST_ICMP_PREDICATE</a> = <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">ICMP_SLE</a>,</div>
462
+ <div class="line"><a name="l00943"></a><span class="lineno"> 943</span>&#160; <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca163b0f2adc52334e5a1083d59d6bc5d9">BAD_ICMP_PREDICATE</a> = <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">ICMP_SLE</a> + 1</div>
463
+ <div class="line"><a name="l00944"></a><span class="lineno"> 944</span>&#160; };</div>
464
464
  </div><!-- fragment -->
465
465
  </div>
466
466
  </div>
@@ -490,8 +490,8 @@ Additional Inherited Members</h2></td></tr>
490
490
 
491
491
  <p>Constructs empty <a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a> (for SVFIRReader/serialization) </p>
492
492
 
493
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00891">891</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
494
- <div class="fragment"><div class="line"><a name="l00891"></a><span class="lineno"> 891</span>&#160;: <a class="code" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">MultiOpndStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>) {}</div>
493
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00901">901</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
494
+ <div class="fragment"><div class="line"><a name="l00901"></a><span class="lineno"> 901</span>&#160;: <a class="code" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">MultiOpndStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>) {}</div>
495
495
  </div><!-- fragment -->
496
496
  </div>
497
497
  </div>
@@ -594,10 +594,10 @@ Additional Inherited Members</h2></td></tr>
594
594
 
595
595
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
596
596
 
597
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00938">938</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
598
- <div class="fragment"><div class="line"><a name="l00939"></a><span class="lineno"> 939</span>&#160; {</div>
599
- <div class="line"><a name="l00940"></a><span class="lineno"> 940</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
600
- <div class="line"><a name="l00941"></a><span class="lineno"> 941</span>&#160; }</div>
597
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00948">948</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
598
+ <div class="fragment"><div class="line"><a name="l00949"></a><span class="lineno"> 949</span>&#160; {</div>
599
+ <div class="line"><a name="l00950"></a><span class="lineno"> 950</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
600
+ <div class="line"><a name="l00951"></a><span class="lineno"> 951</span>&#160; }</div>
601
601
  </div><!-- fragment -->
602
602
  </div>
603
603
  </div>
@@ -625,10 +625,10 @@ Additional Inherited Members</h2></td></tr>
625
625
  </table>
626
626
  </div><div class="memdoc">
627
627
 
628
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00950">950</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
629
- <div class="fragment"><div class="line"><a name="l00951"></a><span class="lineno"> 951</span>&#160; {</div>
630
- <div class="line"><a name="l00952"></a><span class="lineno"> 952</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>;</div>
631
- <div class="line"><a name="l00953"></a><span class="lineno"> 953</span>&#160; }</div>
628
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00960">960</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
629
+ <div class="fragment"><div class="line"><a name="l00961"></a><span class="lineno"> 961</span>&#160; {</div>
630
+ <div class="line"><a name="l00962"></a><span class="lineno"> 962</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>;</div>
631
+ <div class="line"><a name="l00963"></a><span class="lineno"> 963</span>&#160; }</div>
632
632
  </div><!-- fragment -->
633
633
  </div>
634
634
  </div>
@@ -656,10 +656,10 @@ Additional Inherited Members</h2></td></tr>
656
656
  </table>
657
657
  </div><div class="memdoc">
658
658
 
659
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00946">946</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
660
- <div class="fragment"><div class="line"><a name="l00947"></a><span class="lineno"> 947</span>&#160; {</div>
661
- <div class="line"><a name="l00948"></a><span class="lineno"> 948</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>;</div>
662
- <div class="line"><a name="l00949"></a><span class="lineno"> 949</span>&#160; }</div>
659
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00956">956</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
660
+ <div class="fragment"><div class="line"><a name="l00957"></a><span class="lineno"> 957</span>&#160; {</div>
661
+ <div class="line"><a name="l00958"></a><span class="lineno"> 958</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>;</div>
662
+ <div class="line"><a name="l00959"></a><span class="lineno"> 959</span>&#160; }</div>
663
663
  </div><!-- fragment -->
664
664
  </div>
665
665
  </div>
@@ -687,10 +687,10 @@ Additional Inherited Members</h2></td></tr>
687
687
  </table>
688
688
  </div><div class="memdoc">
689
689
 
690
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00942">942</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
691
- <div class="fragment"><div class="line"><a name="l00943"></a><span class="lineno"> 943</span>&#160; {</div>
692
- <div class="line"><a name="l00944"></a><span class="lineno"> 944</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>;</div>
693
- <div class="line"><a name="l00945"></a><span class="lineno"> 945</span>&#160; }</div>
690
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00952">952</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
691
+ <div class="fragment"><div class="line"><a name="l00953"></a><span class="lineno"> 953</span>&#160; {</div>
692
+ <div class="line"><a name="l00954"></a><span class="lineno"> 954</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>;</div>
693
+ <div class="line"><a name="l00955"></a><span class="lineno"> 955</span>&#160; }</div>
694
694
  </div><!-- fragment -->
695
695
  </div>
696
696
  </div>
@@ -717,10 +717,10 @@ Additional Inherited Members</h2></td></tr>
717
717
  </table>
718
718
  </div><div class="memdoc">
719
719
 
720
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00959">959</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
721
- <div class="fragment"><div class="line"><a name="l00960"></a><span class="lineno"> 960</span>&#160; {</div>
722
- <div class="line"><a name="l00961"></a><span class="lineno"> 961</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">predicate</a>;</div>
723
- <div class="line"><a name="l00962"></a><span class="lineno"> 962</span>&#160; }</div>
720
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00969">969</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
721
+ <div class="fragment"><div class="line"><a name="l00970"></a><span class="lineno"> 970</span>&#160; {</div>
722
+ <div class="line"><a name="l00971"></a><span class="lineno"> 971</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">predicate</a>;</div>
723
+ <div class="line"><a name="l00972"></a><span class="lineno"> 972</span>&#160; }</div>
724
724
  </div><!-- fragment -->
725
725
  </div>
726
726
  </div>
@@ -813,7 +813,7 @@ Additional Inherited Members</h2></td></tr>
813
813
  </table>
814
814
  </div><div class="memdoc">
815
815
 
816
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00887">887</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
816
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00897">897</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
817
817
 
818
818
  </div>
819
819
  </div>
@@ -837,7 +837,7 @@ Additional Inherited Members</h2></td></tr>
837
837
  </table>
838
838
  </div><div class="memdoc">
839
839
 
840
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00886">886</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
840
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00896">896</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
841
841
 
842
842
  </div>
843
843
  </div>
@@ -862,7 +862,7 @@ Additional Inherited Members</h2></td></tr>
862
862
  </table>
863
863
  </div><div class="memdoc">
864
864
 
865
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00895">895</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
865
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00905">905</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
866
866
 
867
867
  </div>
868
868
  </div>
@@ -871,48 +871,48 @@ Additional Inherited Members</h2></td></tr>
871
871
  <li>/home/runner/work/SVF/SVF/svf/lib/SVFIR/<a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a></li>
872
872
  </ul>
873
873
  </div><!-- contents -->
874
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09">SVF::CmpStmt::FCMP_UNE</a></div><div class="ttdeci">@ FCMP_UNE</div><div class="ttdoc">1 1 1 0 True if unordered or not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00916">SVFStatements.h:916</a></div></div>
875
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa">SVF::CmpStmt::FCMP_OLT</a></div><div class="ttdeci">@ FCMP_OLT</div><div class="ttdoc">0 1 0 0 True if ordered and less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00906">SVFStatements.h:906</a></div></div>
874
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09">SVF::CmpStmt::FCMP_UNE</a></div><div class="ttdeci">@ FCMP_UNE</div><div class="ttdoc">1 1 1 0 True if unordered or not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00926">SVFStatements.h:926</a></div></div>
875
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa">SVF::CmpStmt::FCMP_OLT</a></div><div class="ttdeci">@ FCMP_OLT</div><div class="ttdoc">0 1 0 0 True if ordered and less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00916">SVFStatements.h:916</a></div></div>
876
876
  <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a5c6efcc023e90ef2e618586091958c59"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">SVF::MultiOpndStmt::getOpVarID</a></div><div class="ttdeci">NodeID getOpVarID(u32_t pos) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00284">SVFStatements.cpp:284</a></div></div>
877
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06">SVF::CmpStmt::FCMP_FALSE</a></div><div class="ttdeci">@ FCMP_FALSE</div><div class="ttdoc">0 0 0 0 Always false (always folded)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00902">SVFStatements.h:902</a></div></div>
878
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d">SVF::CmpStmt::FCMP_OLE</a></div><div class="ttdeci">@ FCMP_OLE</div><div class="ttdoc">0 1 0 1 True if ordered and less than or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00907">SVFStatements.h:907</a></div></div>
879
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d">SVF::CmpStmt::ICMP_ULT</a></div><div class="ttdeci">@ ICMP_ULT</div><div class="ttdoc">unsigned less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00925">SVFStatements.h:925</a></div></div>
880
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e">SVF::CmpStmt::LAST_ICMP_PREDICATE</a></div><div class="ttdeci">@ LAST_ICMP_PREDICATE</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00932">SVFStatements.h:932</a></div></div>
881
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128">SVF::CmpStmt::ICMP_UGE</a></div><div class="ttdeci">@ ICMP_UGE</div><div class="ttdoc">unsigned greater or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00924">SVFStatements.h:924</a></div></div>
882
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b">SVF::CmpStmt::FIRST_ICMP_PREDICATE</a></div><div class="ttdeci">@ FIRST_ICMP_PREDICATE</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00931">SVFStatements.h:931</a></div></div>
877
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06">SVF::CmpStmt::FCMP_FALSE</a></div><div class="ttdeci">@ FCMP_FALSE</div><div class="ttdoc">0 0 0 0 Always false (always folded)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00912">SVFStatements.h:912</a></div></div>
878
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d">SVF::CmpStmt::FCMP_OLE</a></div><div class="ttdeci">@ FCMP_OLE</div><div class="ttdoc">0 1 0 1 True if ordered and less than or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00917">SVFStatements.h:917</a></div></div>
879
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d">SVF::CmpStmt::ICMP_ULT</a></div><div class="ttdeci">@ ICMP_ULT</div><div class="ttdoc">unsigned less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00935">SVFStatements.h:935</a></div></div>
880
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e">SVF::CmpStmt::LAST_ICMP_PREDICATE</a></div><div class="ttdeci">@ LAST_ICMP_PREDICATE</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00942">SVFStatements.h:942</a></div></div>
881
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128">SVF::CmpStmt::ICMP_UGE</a></div><div class="ttdeci">@ ICMP_UGE</div><div class="ttdoc">unsigned greater or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00934">SVFStatements.h:934</a></div></div>
882
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b">SVF::CmpStmt::FIRST_ICMP_PREDICATE</a></div><div class="ttdeci">@ FIRST_ICMP_PREDICATE</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00941">SVFStatements.h:941</a></div></div>
883
883
  <div class="ttc" id="aclassSVF_1_1Options_html_a424a44f39a43b22434dbdce26007a353"><div class="ttname"><a href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const Option&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00122">Options.h:122</a></div></div>
884
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee">SVF::CmpStmt::FCMP_OEQ</a></div><div class="ttdeci">@ FCMP_OEQ</div><div class="ttdoc">0 0 0 1 True if ordered and equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00903">SVFStatements.h:903</a></div></div>
885
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486">SVF::CmpStmt::FCMP_OGT</a></div><div class="ttdeci">@ FCMP_OGT</div><div class="ttdoc">0 0 1 0 True if ordered and greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00904">SVFStatements.h:904</a></div></div>
886
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee">SVF::CmpStmt::ICMP_SGT</a></div><div class="ttdeci">@ ICMP_SGT</div><div class="ttdoc">signed greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00927">SVFStatements.h:927</a></div></div>
887
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69">SVF::CmpStmt::LAST_FCMP_PREDICATE</a></div><div class="ttdeci">@ LAST_FCMP_PREDICATE</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00919">SVFStatements.h:919</a></div></div>
888
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb">SVF::CmpStmt::FCMP_ULE</a></div><div class="ttdeci">@ FCMP_ULE</div><div class="ttdoc">1 1 0 1 True if unordered, less than, or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00915">SVFStatements.h:915</a></div></div>
889
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44">SVF::CmpStmt::FCMP_ORD</a></div><div class="ttdeci">@ FCMP_ORD</div><div class="ttdoc">0 1 1 1 True if ordered (no nans)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00909">SVFStatements.h:909</a></div></div>
884
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee">SVF::CmpStmt::FCMP_OEQ</a></div><div class="ttdeci">@ FCMP_OEQ</div><div class="ttdoc">0 0 0 1 True if ordered and equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00913">SVFStatements.h:913</a></div></div>
885
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486">SVF::CmpStmt::FCMP_OGT</a></div><div class="ttdeci">@ FCMP_OGT</div><div class="ttdoc">0 0 1 0 True if ordered and greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00914">SVFStatements.h:914</a></div></div>
886
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee">SVF::CmpStmt::ICMP_SGT</a></div><div class="ttdeci">@ ICMP_SGT</div><div class="ttdoc">signed greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00937">SVFStatements.h:937</a></div></div>
887
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69">SVF::CmpStmt::LAST_FCMP_PREDICATE</a></div><div class="ttdeci">@ LAST_FCMP_PREDICATE</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00929">SVFStatements.h:929</a></div></div>
888
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb">SVF::CmpStmt::FCMP_ULE</a></div><div class="ttdeci">@ FCMP_ULE</div><div class="ttdoc">1 1 0 1 True if unordered, less than, or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00925">SVFStatements.h:925</a></div></div>
889
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44">SVF::CmpStmt::FCMP_ORD</a></div><div class="ttdeci">@ FCMP_ORD</div><div class="ttdoc">0 1 1 1 True if ordered (no nans)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00919">SVFStatements.h:919</a></div></div>
890
890
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
891
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927">SVF::CmpStmt::ICMP_SLT</a></div><div class="ttdeci">@ ICMP_SLT</div><div class="ttdoc">signed less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00929">SVFStatements.h:929</a></div></div>
892
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca163b0f2adc52334e5a1083d59d6bc5d9"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca163b0f2adc52334e5a1083d59d6bc5d9">SVF::CmpStmt::BAD_ICMP_PREDICATE</a></div><div class="ttdeci">@ BAD_ICMP_PREDICATE</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00933">SVFStatements.h:933</a></div></div>
891
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927">SVF::CmpStmt::ICMP_SLT</a></div><div class="ttdeci">@ ICMP_SLT</div><div class="ttdoc">signed less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00939">SVFStatements.h:939</a></div></div>
892
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca163b0f2adc52334e5a1083d59d6bc5d9"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca163b0f2adc52334e5a1083d59d6bc5d9">SVF::CmpStmt::BAD_ICMP_PREDICATE</a></div><div class="ttdeci">@ BAD_ICMP_PREDICATE</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00943">SVFStatements.h:943</a></div></div>
893
893
  <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a60420a9681df31686eb4a42adf37e1e3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">SVF::MultiOpndStmt::MultiOpndStmt</a></div><div class="ttdeci">MultiOpndStmt()</div><div class="ttdoc">place holder</div></div>
894
894
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a3b20523aed66ac8943d7d00ff777137b"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">SVF::SVFStmt::makeEdgeFlagWithAddionalOpnd</a></div><div class="ttdeci">static GEdgeFlag makeEdgeFlagWithAddionalOpnd(GEdgeKind k, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00171">SVFStatements.h:171</a></div></div>
895
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d">SVF::CmpStmt::FCMP_ULT</a></div><div class="ttdeci">@ FCMP_ULT</div><div class="ttdoc">1 1 0 0 True if unordered or less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00914">SVFStatements.h:914</a></div></div>
896
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f">SVF::CmpStmt::ICMP_ULE</a></div><div class="ttdeci">@ ICMP_ULE</div><div class="ttdoc">unsigned less or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00926">SVFStatements.h:926</a></div></div>
897
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021">SVF::CmpStmt::FCMP_UEQ</a></div><div class="ttdeci">@ FCMP_UEQ</div><div class="ttdoc">1 0 0 1 True if unordered or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00911">SVFStatements.h:911</a></div></div>
898
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69">SVF::CmpStmt::FCMP_UNO</a></div><div class="ttdeci">@ FCMP_UNO</div><div class="ttdoc">1 0 0 0 True if unordered: isnan(X) | isnan(Y)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00910">SVFStatements.h:910</a></div></div>
899
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936">SVF::CmpStmt::ICMP_EQ</a></div><div class="ttdeci">@ ICMP_EQ</div><div class="ttdoc">equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00921">SVFStatements.h:921</a></div></div>
900
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193">SVF::CmpStmt::FCMP_ONE</a></div><div class="ttdeci">@ FCMP_ONE</div><div class="ttdoc">0 1 1 0 True if ordered and operands are unequal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00908">SVFStatements.h:908</a></div></div>
901
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da">SVF::CmpStmt::FCMP_UGE</a></div><div class="ttdeci">@ FCMP_UGE</div><div class="ttdoc">1 0 1 1 True if unordered, greater than, or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00913">SVFStatements.h:913</a></div></div>
902
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85">SVF::CmpStmt::FIRST_FCMP_PREDICATE</a></div><div class="ttdeci">@ FIRST_FCMP_PREDICATE</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00918">SVFStatements.h:918</a></div></div>
903
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c">SVF::CmpStmt::FCMP_OGE</a></div><div class="ttdeci">@ FCMP_OGE</div><div class="ttdoc">0 0 1 1 True if ordered and greater than or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00905">SVFStatements.h:905</a></div></div>
895
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d">SVF::CmpStmt::FCMP_ULT</a></div><div class="ttdeci">@ FCMP_ULT</div><div class="ttdoc">1 1 0 0 True if unordered or less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00924">SVFStatements.h:924</a></div></div>
896
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f">SVF::CmpStmt::ICMP_ULE</a></div><div class="ttdeci">@ ICMP_ULE</div><div class="ttdoc">unsigned less or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00936">SVFStatements.h:936</a></div></div>
897
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021">SVF::CmpStmt::FCMP_UEQ</a></div><div class="ttdeci">@ FCMP_UEQ</div><div class="ttdoc">1 0 0 1 True if unordered or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00921">SVFStatements.h:921</a></div></div>
898
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69">SVF::CmpStmt::FCMP_UNO</a></div><div class="ttdeci">@ FCMP_UNO</div><div class="ttdoc">1 0 0 0 True if unordered: isnan(X) | isnan(Y)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00920">SVFStatements.h:920</a></div></div>
899
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936">SVF::CmpStmt::ICMP_EQ</a></div><div class="ttdeci">@ ICMP_EQ</div><div class="ttdoc">equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00931">SVFStatements.h:931</a></div></div>
900
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193">SVF::CmpStmt::FCMP_ONE</a></div><div class="ttdeci">@ FCMP_ONE</div><div class="ttdoc">0 1 1 0 True if ordered and operands are unequal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00918">SVFStatements.h:918</a></div></div>
901
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da">SVF::CmpStmt::FCMP_UGE</a></div><div class="ttdeci">@ FCMP_UGE</div><div class="ttdoc">1 0 1 1 True if unordered, greater than, or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00923">SVFStatements.h:923</a></div></div>
902
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85">SVF::CmpStmt::FIRST_FCMP_PREDICATE</a></div><div class="ttdeci">@ FIRST_FCMP_PREDICATE</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00928">SVFStatements.h:928</a></div></div>
903
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c">SVF::CmpStmt::FCMP_OGE</a></div><div class="ttdeci">@ FCMP_OGE</div><div class="ttdoc">0 0 1 1 True if ordered and greater than or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00915">SVFStatements.h:915</a></div></div>
904
904
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_abb784290c90d26f35897fa15bae277d2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00147">SVFStatements.h:147</a></div></div>
905
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c">SVF::CmpStmt::FCMP_UGT</a></div><div class="ttdeci">@ FCMP_UGT</div><div class="ttdoc">1 0 1 0 True if unordered or greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00912">SVFStatements.h:912</a></div></div>
906
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca257536bcaeadf76c6172db4d225f3a26"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca257536bcaeadf76c6172db4d225f3a26">SVF::CmpStmt::BAD_FCMP_PREDICATE</a></div><div class="ttdeci">@ BAD_FCMP_PREDICATE</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00920">SVFStatements.h:920</a></div></div>
907
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f">SVF::CmpStmt::ICMP_NE</a></div><div class="ttdeci">@ ICMP_NE</div><div class="ttdoc">not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00922">SVFStatements.h:922</a></div></div>
908
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00959">SVFStatements.h:959</a></div></div>
905
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c">SVF::CmpStmt::FCMP_UGT</a></div><div class="ttdeci">@ FCMP_UGT</div><div class="ttdoc">1 0 1 0 True if unordered or greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00922">SVFStatements.h:922</a></div></div>
906
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca257536bcaeadf76c6172db4d225f3a26"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca257536bcaeadf76c6172db4d225f3a26">SVF::CmpStmt::BAD_FCMP_PREDICATE</a></div><div class="ttdeci">@ BAD_FCMP_PREDICATE</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00930">SVFStatements.h:930</a></div></div>
907
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f">SVF::CmpStmt::ICMP_NE</a></div><div class="ttdeci">@ ICMP_NE</div><div class="ttdoc">not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00932">SVFStatements.h:932</a></div></div>
908
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00969">SVFStatements.h:969</a></div></div>
909
909
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00931">LLVMUtil.cpp:931</a></div></div>
910
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">SVF::CmpStmt::ICMP_SLE</a></div><div class="ttdeci">@ ICMP_SLE</div><div class="ttdoc">signed less or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00930">SVFStatements.h:930</a></div></div>
911
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80">SVF::CmpStmt::ICMP_SGE</a></div><div class="ttdeci">@ ICMP_SGE</div><div class="ttdoc">signed greater or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00928">SVFStatements.h:928</a></div></div>
910
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">SVF::CmpStmt::ICMP_SLE</a></div><div class="ttdeci">@ ICMP_SLE</div><div class="ttdoc">signed less or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00940">SVFStatements.h:940</a></div></div>
911
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80">SVF::CmpStmt::ICMP_SGE</a></div><div class="ttdeci">@ ICMP_SGE</div><div class="ttdoc">signed greater or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00938">SVFStatements.h:938</a></div></div>
912
912
  <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00289">SVFStatements.cpp:289</a></div></div>
913
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48">SVF::CmpStmt::ICMP_UGT</a></div><div class="ttdeci">@ ICMP_UGT</div><div class="ttdoc">unsigned greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00923">SVFStatements.h:923</a></div></div>
914
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_a26fc263da6ab3fee40a335d367419328"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt::predicate</a></div><div class="ttdeci">u32_t predicate</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00895">SVFStatements.h:895</a></div></div>
915
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7">SVF::CmpStmt::FCMP_TRUE</a></div><div class="ttdeci">@ FCMP_TRUE</div><div class="ttdoc">1 1 1 1 Always true (always folded)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00917">SVFStatements.h:917</a></div></div>
913
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48">SVF::CmpStmt::ICMP_UGT</a></div><div class="ttdeci">@ ICMP_UGT</div><div class="ttdoc">unsigned greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00933">SVFStatements.h:933</a></div></div>
914
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_a26fc263da6ab3fee40a335d367419328"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt::predicate</a></div><div class="ttdeci">u32_t predicate</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00905">SVFStatements.h:905</a></div></div>
915
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7">SVF::CmpStmt::FCMP_TRUE</a></div><div class="ttdeci">@ FCMP_TRUE</div><div class="ttdoc">1 1 1 1 Always true (always folded)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00927">SVFStatements.h:927</a></div></div>
916
916
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVF::SVFStmt::Cmp</a></div><div class="ttdeci">@ Cmp</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00072">SVFStatements.h:72</a></div></div>
917
917
  <!-- start footer part -->
918
918
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html CHANGED
@@ -2229,7 +2229,7 @@ template&lt;class Cond &gt; </div>
2229
2229
  </ul>
2230
2230
  </div><!-- contents -->
2231
2231
  <div class="ttc" id="aclassSVF_1_1CondPTAImpl_html_af960c10e49932ea5e9dcdd299ff300ce"><div class="ttname"><a href="classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce">SVF::CondPTAImpl::ptD</a></div><div class="ttdeci">PTDataTy * ptD</div><div class="ttdoc">Points-to data.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00457">PointerAnalysisImpl.h:457</a></div></div>
2232
- <div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
2232
+ <div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00062">GeneralType.h:62</a></div></div>
2233
2233
  <div class="ttc" id="aclassSVF_1_1CondPTAImpl_html_af3ae2748edfdefaa08a73930bd012d6c"><div class="ttname"><a href="classSVF_1_1CondPTAImpl.html#af3ae2748edfdefaa08a73930bd012d6c">SVF::CondPTAImpl::MutPTDataTy</a></div><div class="ttdeci">MutablePTData&lt; CVar, Set&lt; CVar &gt;, CVar, CPtSet &gt; MutPTDataTy</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00247">PointerAnalysisImpl.h:247</a></div></div>
2234
2234
  <div class="ttc" id="aclassSVF_1_1PTData_html_af7aa22f11558c12ff16612174e2221dd"><div class="ttname"><a href="classSVF_1_1PTData.html#af7aa22f11558c12ff16612174e2221dd">SVF::PTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstVar, const Key &amp;srcVar)=0</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar).</div></div>
2235
2235
  <div class="ttc" id="aclassSVF_1_1CondPTAImpl_html_a5fa3d986e4ef710a2148b2854167c3ed"><div class="ttname"><a href="classSVF_1_1CondPTAImpl.html#a5fa3d986e4ef710a2148b2854167c3ed">SVF::CondPTAImpl::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdoc">Release memory.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00275">PointerAnalysisImpl.h:275</a></div></div>
package/SVF-doxygen/html/classSVF_1_1ConsExeState.html CHANGED
@@ -2865,7 +2865,7 @@ Additional Inherited Members</h2></td></tr>
2865
2865
  <div class="ttc" id="aclassSVF_1_1ExeState_html_af1b6335e3ca95d491b0d8dfb95cf3c9b"><div class="ttname"><a href="classSVF_1_1ExeState.html#af1b6335e3ca95d491b0d8dfb95cf3c9b">SVF::ExeState::ExeState</a></div><div class="ttdeci">ExeState(ExeState_TYPE kind)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00064">ExeState.h:64</a></div></div>
2866
2866
  <div class="ttc" id="aclassSVF_1_1Z3Expr_html_a1da8e647e12c0e105271eadbd72f437e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e">SVF::Z3Expr::to_string</a></div><div class="ttdeci">const std::string to_string() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00115">Z3Expr.h:115</a></div></div>
2867
2867
  <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_aee10058065f8c8be04b6e27fb18b4a00"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#aee10058065f8c8be04b6e27fb18b4a00">SVF::SingleAbsValue::join_with</a></div><div class="ttdeci">void join_with(const SingleAbsValue &amp;other)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00063">SingleAbsValue.h:63</a></div></div>
2868
- <div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00062">GeneralType.h:62</a></div></div>
2868
+ <div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00066">GeneralType.h:66</a></div></div>
2869
2869
  <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a70528ca5e4ad67b593104a7b2bba17c6"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SVF::SingleAbsValue::topConstant</a></div><div class="ttdeci">static SingleAbsValue topConstant()</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00053">SingleAbsValue.h:53</a></div></div>
2870
2870
  <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a990f50ae338a2e332d333bb3fc04c520"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520">SVF::ConsExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00164">ConsExeState.h:164</a></div></div>
2871
2871
  <div class="ttc" id="aclassSVF_1_1ConsExeState_html_ac3ea5c4d65fac8934276a1ad12c97d06"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">SVF::ConsExeState::globalConsES</a></div><div class="ttdeci">static ConsExeState globalConsES</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00057">ConsExeState.h:57</a></div></div>