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/SVFIR2Relation_8cpp_source.html CHANGED
@@ -263,62 +263,62 @@ $(function() {
263
263
  <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; </div>
264
264
  </div><!-- fragment --></div><!-- contents -->
265
265
  <div class="ttc" id="aclassSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00364">SVFStatements.h:364</a></div></div>
266
- <div class="ttc" id="aclassSVF_1_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00761">SVFStatements.h:761</a></div></div>
266
+ <div class="ttc" id="aclassSVF_1_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00771">SVFStatements.h:771</a></div></div>
267
267
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a2b03588d7d74af8818ddac6596a0f384"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a2b03588d7d74af8818ddac6596a0f384">SVF::SVFIR2ItvExeState::translateCallRel</a></div><div class="ttdeci">void translateCallRel(const CallPE *callPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00178">SVFIR2Relation.cpp:178</a></div></div>
268
- <div class="ttc" id="aclassSVF_1_1SelectStmt_html_af64d7855e352a0afb5d2e98a8622a4ad"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#af64d7855e352a0afb5d2e98a8622a4ad">SVF::SelectStmt::getFalseValue</a></div><div class="ttdeci">const SVFVar * getFalseValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00875">SVFStatements.h:875</a></div></div>
268
+ <div class="ttc" id="aclassSVF_1_1SelectStmt_html_af64d7855e352a0afb5d2e98a8622a4ad"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#af64d7855e352a0afb5d2e98a8622a4ad">SVF::SelectStmt::getFalseValue</a></div><div class="ttdeci">const SVFVar * getFalseValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00885">SVFStatements.h:885</a></div></div>
269
269
  <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>
270
- <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>
270
+ <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>
271
271
  <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
272
- <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6">SVF::BinaryOPStmt::Xor</a></div><div class="ttdeci">@ Xor</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01003">SVFStatements.h:1003</a></div></div>
272
+ <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6">SVF::BinaryOPStmt::Xor</a></div><div class="ttdeci">@ Xor</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01013">SVFStatements.h:1013</a></div></div>
273
273
  <div class="ttc" id="aSVFIR2ItvExeState_8h_html"><div class="ttname"><a href="SVFIR2ItvExeState_8h.html">SVFIR2ItvExeState.h</a></div></div>
274
- <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f">SVF::BinaryOPStmt::Sub</a></div><div class="ttdeci">@ Sub</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00988">SVFStatements.h:988</a></div></div>
275
- <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>
276
- <div class="ttc" id="aclassSVF_1_1SelectStmt_html"><div class="ttname"><a href="classSVF_1_1SelectStmt.html">SVF::SelectStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00829">SVFStatements.h:829</a></div></div>
274
+ <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f">SVF::BinaryOPStmt::Sub</a></div><div class="ttdeci">@ Sub</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00998">SVFStatements.h:998</a></div></div>
275
+ <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>
276
+ <div class="ttc" id="aclassSVF_1_1SelectStmt_html"><div class="ttname"><a href="classSVF_1_1SelectStmt.html">SVF::SelectStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00839">SVFStatements.h:839</a></div></div>
277
277
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a8a20d2bafff92a5b8983a1566ed598d6"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a8a20d2bafff92a5b8983a1566ed598d6">SVF::SVFIR2ItvExeState::translateRetRel</a></div><div class="ttdeci">void translateRetRel(const RetPE *retPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00185">SVFIR2Relation.cpp:185</a></div></div>
278
278
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_af00e05b7e479cf79c2bd71dea212799d"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#af00e05b7e479cf79c2bd71dea212799d">SVF::SVFIR2ItvExeState::translatePhiRel</a></div><div class="ttdeci">void translatePhiRel(const PhiStmt *phi, const ICFGNode *srcNode, const std::vector&lt; const ICFGEdge * &gt; &amp;path)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00150">SVFIR2Relation.cpp:150</a></div></div>
279
- <div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00618">SVFStatements.h:618</a></div></div>
280
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00884">SVFStatements.h:884</a></div></div>
281
- <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe">SVF::BinaryOPStmt::Or</a></div><div class="ttdeci">@ Or</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01002">SVFStatements.h:1002</a></div></div>
282
- <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b">SVF::BinaryOPStmt::Shl</a></div><div class="ttdeci">@ Shl</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00998">SVFStatements.h:998</a></div></div>
279
+ <div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00628">SVFStatements.h:628</a></div></div>
280
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00894">SVFStatements.h:894</a></div></div>
281
+ <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe">SVF::BinaryOPStmt::Or</a></div><div class="ttdeci">@ Or</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01012">SVFStatements.h:1012</a></div></div>
282
+ <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b">SVF::BinaryOPStmt::Shl</a></div><div class="ttdeci">@ Shl</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01008">SVFStatements.h:1008</a></div></div>
283
283
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_aca887785abc037c61cca1eaad9613339"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#aca887785abc037c61cca1eaad9613339">SVF::SVFIR2ItvExeState::translateBinaryRel</a></div><div class="ttdeci">void translateBinaryRel(const BinaryOPStmt *binary)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00010">SVFIR2Relation.cpp:10</a></div></div>
284
284
  <div class="ttc" id="aclassSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
285
- <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>
286
- <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576">SVF::BinaryOPStmt::AShr</a></div><div class="ttdeci">@ AShr</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01000">SVFStatements.h:1000</a></div></div>
287
- <div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00558">SVFStatements.h:558</a></div></div>
285
+ <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>
286
+ <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576">SVF::BinaryOPStmt::AShr</a></div><div class="ttdeci">@ AShr</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01010">SVFStatements.h:1010</a></div></div>
287
+ <div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00568">SVFStatements.h:568</a></div></div>
288
288
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
289
289
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a9a971203ef834c8e8591fc745ae5a17d"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a9a971203ef834c8e8591fc745ae5a17d">SVF::SVFIR2ItvExeState::translateCopyRel</a></div><div class="ttdeci">void translateCopyRel(const CopyStmt *copy)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00127">SVFIR2Relation.cpp:127</a></div></div>
290
290
  <div class="ttc" id="aclassSVF_1_1Z3Expr_html"><div class="ttname"><a href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00038">Z3Expr.h:38</a></div></div>
291
291
  <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00298">SVFStatements.h:298</a></div></div>
292
- <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html">SVF::BinaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00970">SVFStatements.h:970</a></div></div>
293
- <div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00400">SVFStatements.h:400</a></div></div>
294
- <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>
295
- <div class="ttc" id="aclassSVF_1_1SelectStmt_html_ad4c3e9529176478bb726279a76050e8c"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">SVF::SelectStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00867">SVFStatements.h:867</a></div></div>
292
+ <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html">SVF::BinaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00980">SVFStatements.h:980</a></div></div>
293
+ <div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00410">SVFStatements.h:410</a></div></div>
294
+ <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>
295
+ <div class="ttc" id="aclassSVF_1_1SelectStmt_html_ad4c3e9529176478bb726279a76050e8c"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">SVF::SelectStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00877">SVFStatements.h:877</a></div></div>
296
296
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_ac57d2a609c1159b4f653965eadce58cc"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#ac57d2a609c1159b4f653965eadce58cc">SVF::SVFIR2ItvExeState::translateStoreRel</a></div><div class="ttdeci">void translateStoreRel(const StoreStmt *store)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00118">SVFIR2Relation.cpp:118</a></div></div>
297
- <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>
298
- <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a">SVF::BinaryOPStmt::Mul</a></div><div class="ttdeci">@ Mul</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00990">SVFStatements.h:990</a></div></div>
299
- <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>
300
- <div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00437">SVFStatements.h:437</a></div></div>
301
- <div class="ttc" id="aclassSVF_1_1PhiStmt_html_a0b97394bc1946c0185d2c11fbc2181f4"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a0b97394bc1946c0185d2c11fbc2181f4">SVF::PhiStmt::getOpICFGNode</a></div><div class="ttdeci">const ICFGNode * getOpICFGNode(u32_t op_idx) const</div><div class="ttdoc">Return the corresponding ICFGNode of this operand.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00814">SVFStatements.h:814</a></div></div>
297
+ <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>
298
+ <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a">SVF::BinaryOPStmt::Mul</a></div><div class="ttdeci">@ Mul</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01000">SVFStatements.h:1000</a></div></div>
299
+ <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>
300
+ <div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00447">SVFStatements.h:447</a></div></div>
301
+ <div class="ttc" id="aclassSVF_1_1PhiStmt_html_a0b97394bc1946c0185d2c11fbc2181f4"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a0b97394bc1946c0185d2c11fbc2181f4">SVF::PhiStmt::getOpICFGNode</a></div><div class="ttdeci">const ICFGNode * getOpICFGNode(u32_t op_idx) const</div><div class="ttdoc">Return the corresponding ICFGNode of this operand.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00824">SVFStatements.h:824</a></div></div>
302
302
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a3d9eeed61b6ef79b65c5c52c9ae82c04"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a3d9eeed61b6ef79b65c5c52c9ae82c04">SVF::SVFIR2ItvExeState::translateLoadRel</a></div><div class="ttdeci">void translateLoadRel(const LoadStmt *load)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00111">SVFIR2Relation.cpp:111</a></div></div>
303
- <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448">SVF::BinaryOPStmt::SRem</a></div><div class="ttdeci">@ SRem</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00996">SVFStatements.h:996</a></div></div>
304
- <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>
305
- <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>
306
- <div class="ttc" id="aclassSVF_1_1SelectStmt_html_a537c03b08444da34c26b9e989bb0e568"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568">SVF::SelectStmt::getTrueValue</a></div><div class="ttdeci">const SVFVar * getTrueValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00871">SVFStatements.h:871</a></div></div>
303
+ <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448">SVF::BinaryOPStmt::SRem</a></div><div class="ttdeci">@ SRem</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01006">SVFStatements.h:1006</a></div></div>
304
+ <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>
305
+ <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>
306
+ <div class="ttc" id="aclassSVF_1_1SelectStmt_html_a537c03b08444da34c26b9e989bb0e568"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568">SVF::SelectStmt::getTrueValue</a></div><div class="ttdeci">const SVFVar * getTrueValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00881">SVFStatements.h:881</a></div></div>
307
307
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a4a5e92df30da02bdb396fc6daad591fb"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a4a5e92df30da02bdb396fc6daad591fb">SVF::SVFIR2ItvExeState::translateSelectRel</a></div><div class="ttdeci">void translateSelectRel(const SelectStmt *select)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00134">SVFIR2Relation.cpp:134</a></div></div>
308
308
  <div class="ttc" id="acJSON_8cpp_html_a7669ee67a0563250c1efaa24d130e1ac"><div class="ttname"><a href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a></div><div class="ttdeci">copy</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00414">cJSON.cpp:414</a></div></div>
309
- <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_ad0a7c5e87355d7a83176343322db448f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01029">SVFStatements.h:1029</a></div></div>
310
- <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552">SVF::BinaryOPStmt::SDiv</a></div><div class="ttdeci">@ SDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00993">SVFStatements.h:993</a></div></div>
309
+ <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_ad0a7c5e87355d7a83176343322db448f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01039">SVFStatements.h:1039</a></div></div>
310
+ <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552">SVF::BinaryOPStmt::SDiv</a></div><div class="ttdeci">@ SDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01003">SVFStatements.h:1003</a></div></div>
311
311
  <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00302">SVFStatements.h:302</a></div></div>
312
- <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_af300571886b7aa2d84b0a70851c99bc3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">SVF::MultiOpndStmt::getOpVarNum</a></div><div class="ttdeci">u32_t getOpVarNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00738">SVFStatements.h:738</a></div></div>
313
- <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>
312
+ <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_af300571886b7aa2d84b0a70851c99bc3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">SVF::MultiOpndStmt::getOpVarNum</a></div><div class="ttdeci">u32_t getOpVarNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00748">SVFStatements.h:748</a></div></div>
313
+ <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>
314
314
  <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
315
- <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>
315
+ <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>
316
316
  <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>
317
- <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>
317
+ <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>
318
318
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a89e3c835e16459e8b90e4a67127fa5da"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a89e3c835e16459e8b90e4a67127fa5da">SVF::SVFIR2ItvExeState::translateCmpRel</a></div><div class="ttdeci">void translateCmpRel(const CmpStmt *cmp)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00060">SVFIR2Relation.cpp:60</a></div></div>
319
- <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856">SVF::BinaryOPStmt::And</a></div><div class="ttdeci">@ And</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01001">SVFStatements.h:1001</a></div></div>
319
+ <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856">SVF::BinaryOPStmt::And</a></div><div class="ttdeci">@ And</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01011">SVFStatements.h:1011</a></div></div>
320
320
  <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
321
- <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862">SVF::BinaryOPStmt::Add</a></div><div class="ttdeci">@ Add</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00986">SVFStatements.h:986</a></div></div>
321
+ <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862">SVF::BinaryOPStmt::Add</a></div><div class="ttdeci">@ Add</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00996">SVFStatements.h:996</a></div></div>
322
322
  <!-- start footer part -->
323
323
  <hr class="footer"/><address class="footer"><small>
324
324
  Generated by &#160;<a href="http://www.doxygen.org/index.html">
package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html CHANGED
@@ -418,7 +418,7 @@ $(function() {
418
418
  <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* cval = getCurrentValue();</div>
419
419
  <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* cbb = getCurrentBB();</div>
420
420
  <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; setCurrentLocation(castce, <span class="keyword">nullptr</span>);</div>
421
- <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; addCopyEdge(pag-&gt;getValueNode(LLVMModuleSet::getLLVMModuleSet()-&gt;getSVFValue(opnd)), pag-&gt;getValueNode(LLVMModuleSet::getLLVMModuleSet()-&gt;getSVFValue(castce)));</div>
421
+ <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; addCopyEdge(pag-&gt;getValueNode(LLVMModuleSet::getLLVMModuleSet()-&gt;getSVFValue(opnd)), pag-&gt;getValueNode(LLVMModuleSet::getLLVMModuleSet()-&gt;getSVFValue(castce)), CopyStmt::BITCAST);</div>
422
422
  <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; setCurrentLocation(cval, cbb);</div>
423
423
  <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; }</div>
424
424
  <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a>* selectce = <a class="code" href="namespaceSVF_1_1LLVMUtil.html#ae59b0dc7f29dbd2018e819f77465f66e">isSelectConstantExpr</a>(ref))</div>
@@ -450,7 +450,7 @@ $(function() {
450
450
  <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* cbb = getCurrentBB();</div>
451
451
  <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* cval = getCurrentValue();</div>
452
452
  <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; setCurrentLocation(ptr2Intce, <span class="keyword">nullptr</span>);</div>
453
- <div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; addCopyEdge(pag-&gt;getValueNode(LLVMModuleSet::getLLVMModuleSet()-&gt;getSVFValue(opnd)), pag-&gt;getValueNode(LLVMModuleSet::getLLVMModuleSet()-&gt;getSVFValue(ptr2Intce)));</div>
453
+ <div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; addCopyEdge(pag-&gt;getValueNode(LLVMModuleSet::getLLVMModuleSet()-&gt;getSVFValue(opnd)), pag-&gt;getValueNode(LLVMModuleSet::getLLVMModuleSet()-&gt;getSVFValue(ptr2Intce)), CopyStmt::PTRTOINT);</div>
454
454
  <div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; setCurrentLocation(cval, cbb);</div>
455
455
  <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; }</div>
456
456
  <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8">isTruncConstantExpr</a>(ref) || <a class="code" href="namespaceSVF_1_1LLVMUtil.html#aa0b3e34188f721ff7145e47cb607c79a">isCmpConstantExpr</a>(ref))</div>
@@ -566,7 +566,7 @@ $(function() {
566
566
  <div class="line"><a name="l00529"></a><span class="lineno"> 529</span>&#160; setCurrentLocation(C, <span class="keyword">nullptr</span>);</div>
567
567
  <div class="line"><a name="l00530"></a><span class="lineno"> 530</span>&#160; addStoreEdge(src, field);</div>
568
568
  <div class="line"><a name="l00532"></a><span class="lineno"> 532</span>&#160; <span class="keywordflow">if</span> (C-&gt;getType()-&gt;isPtrOrPtrVectorTy() &amp;&amp; src != pag-&gt;getNullPtr())</div>
569
- <div class="line"><a name="l00533"></a><span class="lineno"> 533</span>&#160; addCopyEdge(pag-&gt;getNullPtr(), src);</div>
569
+ <div class="line"><a name="l00533"></a><span class="lineno"> 533</span>&#160; addCopyEdge(pag-&gt;getNullPtr(), src, CopyStmt::COPYVAL);</div>
570
570
  <div class="line"><a name="l00534"></a><span class="lineno"> 534</span>&#160; }</div>
571
571
  <div class="line"><a name="l00535"></a><span class="lineno"> 535</span>&#160; }</div>
572
572
  <div class="line"><a name="l00536"></a><span class="lineno"> 536</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;ConstantArray, ConstantStruct&gt;(C))</div>
@@ -646,7 +646,7 @@ $(function() {
646
646
  <div class="line"><a name="l00615"></a><span class="lineno"> 615</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src = pag-&gt;getValueNode(LLVMModuleSet::getLLVMModuleSet()-&gt;getSVFValue(alias-&gt;getAliasee()));</div>
647
647
  <div class="line"><a name="l00616"></a><span class="lineno"> 616</span>&#160; processCE(alias-&gt;getAliasee());</div>
648
648
  <div class="line"><a name="l00617"></a><span class="lineno"> 617</span>&#160; setCurrentLocation(alias, <span class="keyword">nullptr</span>);</div>
649
- <div class="line"><a name="l00618"></a><span class="lineno"> 618</span>&#160; addCopyEdge(src,dst);</div>
649
+ <div class="line"><a name="l00618"></a><span class="lineno"> 618</span>&#160; addCopyEdge(src, dst, CopyStmt::COPYVAL);</div>
650
650
  <div class="line"><a name="l00619"></a><span class="lineno"> 619</span>&#160; }</div>
651
651
  <div class="line"><a name="l00620"></a><span class="lineno"> 620</span>&#160; }</div>
652
652
  <div class="line"><a name="l00621"></a><span class="lineno"> 621</span>&#160;}</div>
@@ -761,7 +761,7 @@ $(function() {
761
761
  <div class="line"><a name="l00743"></a><span class="lineno"> 743</span>&#160; opnd = <a class="code" href="namespaceSVF_1_1LLVMUtil.html#a38ce45ae5f017c90115ce444b44d478c">stripAllCasts</a>(opnd);</div>
762
762
  <div class="line"><a name="l00744"></a><span class="lineno"> 744</span>&#160; </div>
763
763
  <div class="line"><a name="l00745"></a><span class="lineno"> 745</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src = getValueNode(opnd);</div>
764
- <div class="line"><a name="l00746"></a><span class="lineno"> 746</span>&#160; addCopyEdge(src, dst);</div>
764
+ <div class="line"><a name="l00746"></a><span class="lineno"> 746</span>&#160; addCopyEdge(src, dst, getCopyKind(&amp;inst));</div>
765
765
  <div class="line"><a name="l00747"></a><span class="lineno"> 747</span>&#160; }</div>
766
766
  <div class="line"><a name="l00748"></a><span class="lineno"> 748</span>&#160;}</div>
767
767
  <div class="line"><a name="l00749"></a><span class="lineno"> 749</span>&#160; </div>
@@ -956,7 +956,7 @@ $(function() {
956
956
  <div class="line"><a name="l00980"></a><span class="lineno"> 980</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst = getValueNode(&amp;inst);</div>
957
957
  <div class="line"><a name="l00981"></a><span class="lineno"> 981</span>&#160; <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* opnd = inst.getPointerOperand();</div>
958
958
  <div class="line"><a name="l00982"></a><span class="lineno"> 982</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src = getValueNode(opnd);</div>
959
- <div class="line"><a name="l00983"></a><span class="lineno"> 983</span>&#160; addCopyEdge(src,dst);</div>
959
+ <div class="line"><a name="l00983"></a><span class="lineno"> 983</span>&#160; addCopyEdge(src, dst, CopyStmt::COPYVAL);</div>
960
960
  <div class="line"><a name="l00984"></a><span class="lineno"> 984</span>&#160;}</div>
961
961
  <div class="line"><a name="l00985"></a><span class="lineno"> 985</span>&#160; </div>
962
962
  <div class="line"><a name="l00990"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22"> 990</a></span>&#160;<span class="keywordtype">void</span> SVFIRBuilder::visitFreezeInst(<a class="code" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">FreezeInst</a> &amp;inst)</div>
@@ -966,7 +966,7 @@ $(function() {
966
966
  <div class="line"><a name="l00994"></a><span class="lineno"> 994</span>&#160; {</div>
967
967
  <div class="line"><a name="l00995"></a><span class="lineno"> 995</span>&#160; <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* opnd = inst.getOperand(i);</div>
968
968
  <div class="line"><a name="l00996"></a><span class="lineno"> 996</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src = getValueNode(opnd);</div>
969
- <div class="line"><a name="l00997"></a><span class="lineno"> 997</span>&#160; addCopyEdge(src,dst);</div>
969
+ <div class="line"><a name="l00997"></a><span class="lineno"> 997</span>&#160; addCopyEdge(src, dst, CopyStmt::COPYVAL);</div>
970
970
  <div class="line"><a name="l00998"></a><span class="lineno"> 998</span>&#160; }</div>
971
971
  <div class="line"><a name="l00999"></a><span class="lineno"> 999</span>&#160;}</div>
972
972
  <div class="line"><a name="l01000"></a><span class="lineno"> 1000</span>&#160; </div>
@@ -1263,7 +1263,7 @@ $(function() {
1263
1263
  <div class="line"><a name="l01312"></a><span class="lineno"> 1312</span>&#160; <span class="keywordflow">return</span> gepEdge-&gt;<a class="code" href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">getAccessPath</a>();</div>
1264
1264
  <div class="line"><a name="l01313"></a><span class="lineno"> 1313</span>&#160;}</div>
1265
1265
  </div><!-- fragment --></div><!-- contents -->
1266
- <div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00056">GeneralType.h:56</a></div></div>
1266
+ <div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00060">GeneralType.h:60</a></div></div>
1267
1267
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a38ce45ae5f017c90115ce444b44d478c"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a38ce45ae5f017c90115ce444b44d478c">SVF::LLVMUtil::stripAllCasts</a></div><div class="ttdeci">const Value * stripAllCasts(const Value *val)</div><div class="ttdoc">Strip off the all casts.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00278">LLVMUtil.cpp:278</a></div></div>
1268
1268
  <div class="ttc" id="anamespaceSVF_html_a8de26e1810ea0c3b1e8ad62f1c8a864d"><div class="ttname"><a href="namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d">SVF::SuccBBAndCondValPairVec</a></div><div class="ttdeci">std::vector&lt; SuccBBAndCondValPair &gt; SuccBBAndCondValPairVec</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00186">BasicTypes.h:186</a></div></div>
1269
1269
  <div class="ttc" id="anamespaceSVF_1_1cppUtil_html_aeef0f5c6486379043a7d47b0635f2667"><div class="ttname"><a href="namespaceSVF_1_1cppUtil.html#aeef0f5c6486379043a7d47b0635f2667">SVF::cppUtil::isValVtbl</a></div><div class="ttdeci">bool isValVtbl(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8cpp_source.html#l00271">CppUtil.cpp:271</a></div></div>
@@ -1271,7 +1271,7 @@ $(function() {
1271
1271
  <div class="ttc" id="aclassSVF_1_1CHGBuilder_html_aa5c672ac426ad4085d64d97f8cb14ace"><div class="ttname"><a href="classSVF_1_1CHGBuilder.html#aa5c672ac426ad4085d64d97f8cb14ace">SVF::CHGBuilder::buildCHG</a></div><div class="ttdeci">void buildCHG()</div><div class="ttdef"><b>Definition:</b> <a href="CHGBuilder_8cpp_source.html#l00061">CHGBuilder.cpp:61</a></div></div>
1272
1272
  <div class="ttc" id="anamespaceSVF_html_ab696aab940eb187dc81217efe8649af5"><div class="ttname"><a href="namespaceSVF.html#ab696aab940eb187dc81217efe8649af5">SVF::StoreInst</a></div><div class="ttdeci">llvm::StoreInst StoreInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00148">BasicTypes.h:148</a></div></div>
1273
1273
  <div class="ttc" id="aclassSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00044">ICFGEdge.h:44</a></div></div>
1274
- <div class="ttc" id="aclassSVF_1_1GepStmt_html_a0ddf180a0f7ba64fc8655687910e3788"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788">SVF::GepStmt::isVariantFieldGep</a></div><div class="ttdeci">bool isVariantFieldGep() const</div><div class="ttdoc">Gep statement with a variant field index (pointer arithmetic) for struct field access.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00539">SVFStatements.h:539</a></div></div>
1274
+ <div class="ttc" id="aclassSVF_1_1GepStmt_html_a0ddf180a0f7ba64fc8655687910e3788"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788">SVF::GepStmt::isVariantFieldGep</a></div><div class="ttdeci">bool isVariantFieldGep() const</div><div class="ttdoc">Gep statement with a variant field index (pointer arithmetic) for struct field access.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00549">SVFStatements.h:549</a></div></div>
1275
1275
  <div class="ttc" id="anamespaceSVF_html_a292a6e8c5b4f2023b5575879c57eca62"><div class="ttname"><a href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">SVF::UnaryOperator</a></div><div class="ttdeci">llvm::UnaryOperator UnaryOperator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00180">BasicTypes.h:180</a></div></div>
1276
1276
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a35b36394af726c679fe2c1b6051db7c4"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a35b36394af726c679fe2c1b6051db7c4">SVF::LLVMUtil::isBinaryConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isBinaryConstantExpr(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00259">LLVMUtil.h:259</a></div></div>
1277
1277
  <div class="ttc" id="aclassSVF_1_1FunEntryICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunEntryICFGNode.html">SVF::FunEntryICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00261">ICFGNode.h:261</a></div></div>
@@ -1295,11 +1295,11 @@ $(function() {
1295
1295
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a8f3cb8a1db34dd692ee04561f4edeebf"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a8f3cb8a1db34dd692ee04561f4edeebf">SVF::SymbolTableInfo::valSyms</a></div><div class="ttdeci">ValueToIDMapTy &amp; valSyms()</div><div class="ttdoc">Get different kinds of syms maps.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00260">SymbolTableInfo.h:260</a></div></div>
1296
1296
  <div class="ttc" id="anamespaceSVF_html_a412280b134578905248ce0122c5db7c9"><div class="ttname"><a href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SVF::SwitchInst</a></div><div class="ttdeci">llvm::SwitchInst SwitchInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00155">BasicTypes.h:155</a></div></div>
1297
1297
  <div class="ttc" id="aclassSVF_1_1LLVMLoopAnalysis_html"><div class="ttname"><a href="classSVF_1_1LLVMLoopAnalysis.html">SVF::LLVMLoopAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="LLVMLoopAnalysis_8h_source.html#l00039">LLVMLoopAnalysis.h:39</a></div></div>
1298
- <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a5f0bd932f3129a9c565f3a09711f7b99"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">SVF::LLVMModuleSet::getSVFType</a></div><div class="ttdeci">SVFType * getSVFType(const Type *T)</div><div class="ttdoc">Get or create SVFType and typeinfo.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01358">LLVMModule.cpp:1358</a></div></div>
1298
+ <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a5f0bd932f3129a9c565f3a09711f7b99"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">SVF::LLVMModuleSet::getSVFType</a></div><div class="ttdeci">SVFType * getSVFType(const Type *T)</div><div class="ttdoc">Get or create SVFType and typeinfo.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01377">LLVMModule.cpp:1377</a></div></div>
1299
1299
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_ad8ee8de153df3f1bbdebb67185a2731c"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#ad8ee8de153df3f1bbdebb67185a2731c">SVF::LLVMUtil::isConstantObjSym</a></div><div class="ttdeci">bool isConstantObjSym(const SVFValue *val)</div><div class="ttdoc">Check whether this value points-to a constant object.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00852">LLVMUtil.cpp:852</a></div></div>
1300
1300
  <div class="ttc" id="anamespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdoc">LLVM Basic classes.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
1301
1301
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_a2358a8194b5e2c4bcbb5218dee7fcbcd"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd">SVF::AccessPath::addOffsetVarAndGepTypePair</a></div><div class="ttdeci">bool addOffsetVarAndGepTypePair(const SVFVar *var, const SVFType *gepIterType)</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00042">AccessPath.cpp:42</a></div></div>
1302
- <div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00618">SVFStatements.h:618</a></div></div>
1302
+ <div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00628">SVFStatements.h:628</a></div></div>
1303
1303
  <div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00490">SVFType.h:490</a></div></div>
1304
1304
  <div class="ttc" id="aSVFFileSystem_8h_html"><div class="ttname"><a href="SVFFileSystem_8h.html">SVFFileSystem.h</a></div></div>
1305
1305
  <div class="ttc" id="anamespacellvm_html_acfe99e9d441434240c79f6d76b73fe0a"><div class="ttname"><a href="namespacellvm.html#acfe99e9d441434240c79f6d76b73fe0a">llvm::bridge_gep_begin</a></div><div class="ttdeci">bridge_gep_iterator bridge_gep_begin(const User *GEP)</div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00149">GEPTypeBridgeIterator.h:149</a></div></div>
@@ -1314,8 +1314,8 @@ $(function() {
1314
1314
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_a5427d08c9eb9d86e66c2bff6aeba6bac"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a5427d08c9eb9d86e66c2bff6aeba6bac">SVF::AccessPath::getConstantStructFldIdx</a></div><div class="ttdeci">APOffset getConstantStructFldIdx() const</div><div class="ttdoc">Get methods.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00100">AccessPath.h:100</a></div></div>
1315
1315
  <div class="ttc" id="anamespaceSVF_html_a1d008c0666c145622b81d427be64c52d"><div class="ttname"><a href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">SVF::Type</a></div><div class="ttdeci">llvm::Type Type</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00083">BasicTypes.h:83</a></div></div>
1316
1316
  <div class="ttc" id="anamespaceSVF_html_afb88c4d723dd7c51bdfc7ba5893cb356"><div class="ttname"><a href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">SVF::ExtractElementInst</a></div><div class="ttdeci">llvm::ExtractElementInst ExtractElementInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00161">BasicTypes.h:161</a></div></div>
1317
- <div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00558">SVFStatements.h:558</a></div></div>
1318
- <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a6a0e64824777f04be4c169125dd4f666"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a6a0e64824777f04be4c169125dd4f666">SVF::BranchStmt::SuccAndCondPairVec</a></div><div class="ttdeci">std::vector&lt; std::pair&lt; const ICFGNode *, s32_t &gt; &gt; SuccAndCondPairVec</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01113">SVFStatements.h:1113</a></div></div>
1317
+ <div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00568">SVFStatements.h:568</a></div></div>
1318
+ <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a6a0e64824777f04be4c169125dd4f666"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a6a0e64824777f04be4c169125dd4f666">SVF::BranchStmt::SuccAndCondPairVec</a></div><div class="ttdeci">std::vector&lt; std::pair&lt; const ICFGNode *, s32_t &gt; &gt; SuccAndCondPairVec</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01123">SVFStatements.h:1123</a></div></div>
1319
1319
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_adaed6e68c2f53260ed4c4fc38b5c4721"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721">SVF::SymbolTableInfo::nullPtrSymID</a></div><div class="ttdeci">SymID nullPtrSymID() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00188">SymbolTableInfo.h:188</a></div></div>
1320
1320
  <div class="ttc" id="anamespaceSVF_html_a9868a60a9cc7b78965a23b5034100f88"><div class="ttname"><a href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">SVF::FreezeInst</a></div><div class="ttdeci">llvm::FreezeInst FreezeInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00169">BasicTypes.h:169</a></div></div>
1321
1321
  <div class="ttc" id="anamespaceSVF_html_a5a6e8ab900d5cd17ef72661006a7fbe0"><div class="ttname"><a href="namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0">SVF::LoadInst</a></div><div class="ttdeci">llvm::LoadInst LoadInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00149">BasicTypes.h:149</a></div></div>
@@ -1340,7 +1340,7 @@ $(function() {
1340
1340
  <div class="ttc" id="aclassSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00385">ICFGNode.h:385</a></div></div>
1341
1341
  <div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00156">SVFType.h:156</a></div></div>
1342
1342
  <div class="ttc" id="anamespaceSVF_html_ac8d4990439af7a2ecca7e15383119674"><div class="ttname"><a href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">SVF::PHINode</a></div><div class="ttdeci">llvm::PHINode PHINode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00165">BasicTypes.h:165</a></div></div>
1343
- <div class="ttc" id="aclassSVF_1_1GepStmt_html_a6c74f234a6b40bc5292bb14874c2e600"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">SVF::GepStmt::getAccessPath</a></div><div class="ttdeci">const AccessPath &amp; getAccessPath() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00504">SVFStatements.h:504</a></div></div>
1343
+ <div class="ttc" id="aclassSVF_1_1GepStmt_html_a6c74f234a6b40bc5292bb14874c2e600"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">SVF::GepStmt::getAccessPath</a></div><div class="ttdeci">const AccessPath &amp; getAccessPath() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00514">SVFStatements.h:514</a></div></div>
1344
1344
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_ab95df74c97fba13206df48e00131e15f"><div class="ttname"><a href="classSVF_1_1AccessPath.html#ab95df74c97fba13206df48e00131e15f">SVF::AccessPath::setFldIdx</a></div><div class="ttdeci">void setFldIdx(APOffset idx)</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00104">AccessPath.h:104</a></div></div>
1345
1345
  <div class="ttc" id="anamespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00087">BasicTypes.h:87</a></div></div>
1346
1346
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a946a2b51b848c45c6c52f03581ee05b8"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8">SVF::LLVMUtil::isTruncConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isTruncConstantExpr(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00234">LLVMUtil.h:234</a></div></div>
@@ -1364,7 +1364,7 @@ $(function() {
1364
1364
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a2834d135a2385efff783e6e22d2eff1f"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a2834d135a2385efff783e6e22d2eff1f">SVF::LLVMUtil::isPtr2IntConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isPtr2IntConstantExpr(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00204">LLVMUtil.h:204</a></div></div>
1365
1365
  <div class="ttc" id="anamespaceSVF_html_ace1fd4c32134018e2f6d5da193524986"><div class="ttname"><a href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">SVF::ExtractValueInst</a></div><div class="ttdeci">llvm::ExtractValueInst ExtractValueInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00160">BasicTypes.h:160</a></div></div>
1366
1366
  <div class="ttc" id="anamespaceSVF_html_aa7a770b5dd5cd0e37d06a1088f252906"><div class="ttname"><a href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">SVF::Module</a></div><div class="ttdeci">llvm::Module Module</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00084">BasicTypes.h:84</a></div></div>
1367
- <div class="ttc" id="aclassSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00474">SVFStatements.h:474</a></div></div>
1367
+ <div class="ttc" id="aclassSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00484">SVFStatements.h:484</a></div></div>
1368
1368
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_ac449cd925dc05758c990179c0748e1d5"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5">SVF::SymbolTableInfo::varargSyms</a></div><div class="ttdeci">FunToIDMapTy &amp; varargSyms()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00285">SymbolTableInfo.h:285</a></div></div>
1369
1369
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a22ef185e767ff76c098e75126c885400"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00309">SVFUtil.h:309</a></div></div>
1370
1370
  <div class="ttc" id="anamespaceSVF_html_ac4e93e1fec646ff222940a663843921b"><div class="ttname"><a href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">SVF::GetElementPtrInst</a></div><div class="ttdeci">llvm::GetElementPtrInst GetElementPtrInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00162">BasicTypes.h:162</a></div></div>
@@ -1394,8 +1394,8 @@ $(function() {
1394
1394
  <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
1395
1395
  <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
1396
1396
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_a2f5471985dfe62bc9ded830a693ab153"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode::iterator</a></div><div class="ttdeci">GEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
1397
- <div class="ttc" id="aclassSVF_1_1PAGBuilderFromFile_html_ac5a5058088d03fc9e0e8a0ed8b4367aa"><div class="ttname"><a href="classSVF_1_1PAGBuilderFromFile.html#ac5a5058088d03fc9e0e8a0ed8b4367aa">SVF::PAGBuilderFromFile::build</a></div><div class="ttdeci">SVFIR * build()</div><div class="ttdoc">Start building.</div><div class="ttdef"><b>Definition:</b> <a href="PAGBuilderFromFile_8cpp_source.html#l00059">PAGBuilderFromFile.cpp:59</a></div></div>
1398
- <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01321">LLVMModule.cpp:1321</a></div></div>
1397
+ <div class="ttc" id="aclassSVF_1_1PAGBuilderFromFile_html_ac5a5058088d03fc9e0e8a0ed8b4367aa"><div class="ttname"><a href="classSVF_1_1PAGBuilderFromFile.html#ac5a5058088d03fc9e0e8a0ed8b4367aa">SVF::PAGBuilderFromFile::build</a></div><div class="ttdeci">SVFIR * build()</div><div class="ttdoc">Start building.</div><div class="ttdef"><b>Definition:</b> <a href="PAGBuilderFromFile_8cpp_source.html#l00061">PAGBuilderFromFile.cpp:61</a></div></div>
1398
+ <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01340">LLVMModule.cpp:1340</a></div></div>
1399
1399
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_ab5fc50624b5fe83b676b14bec4b99685"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685">SVF::LLVMUtil::isGepConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isGepConstantExpr(const Value *val)</div><div class="ttdoc">Return corresponding constant expression, otherwise return nullptr.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00184">LLVMUtil.h:184</a></div></div>
1400
1400
  <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
1401
1401
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a215cc9fd716798bbb7f96f5b64e01349"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a215cc9fd716798bbb7f96f5b64e01349">SVF::LLVMUtil::isUnaryConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isUnaryConstantExpr(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00270">LLVMUtil.h:270</a></div></div>