svf-tools 1.0.896 → 1.0.898

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (628) hide show
  1. package/SVF-doxygen/html/AbstractExecution_8cpp.html +1 -1
  2. package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +1638 -1659
  3. package/SVF-doxygen/html/AbstractExecution_8h_source.html +49 -49
  4. package/SVF-doxygen/html/AbstractPointsToDS_8h_source.html +1 -1
  5. package/SVF-doxygen/html/AccessPath_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/AccessPath_8h_source.html +2 -2
  7. package/SVF-doxygen/html/AddressValue_8h_source.html +1 -1
  8. package/SVF-doxygen/html/AndersenPWC_8h_source.html +4 -4
  9. package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +3 -3
  10. package/SVF-doxygen/html/AndersenSFR_8cpp_source.html +3 -3
  11. package/SVF-doxygen/html/AndersenStat_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/AndersenWaveDiff_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/Andersen_8cpp_source.html +5 -5
  14. package/SVF-doxygen/html/Andersen_8h_source.html +3 -3
  15. package/SVF-doxygen/html/BoundedZ3Expr_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/BoundedZ3Expr_8h_source.html +59 -43
  17. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +29 -28
  18. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +1 -1
  19. package/SVF-doxygen/html/CDGBuilder_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/CDGBuilder_8h_source.html +1 -1
  21. package/SVF-doxygen/html/CDG_8h_source.html +2 -2
  22. package/SVF-doxygen/html/CFGNormalizer_8cpp_source.html +3 -3
  23. package/SVF-doxygen/html/CFGNormalizer_8h_source.html +3 -3
  24. package/SVF-doxygen/html/CFGrammar_8cpp_source.html +2 -2
  25. package/SVF-doxygen/html/CFGrammar_8h_source.html +3 -3
  26. package/SVF-doxygen/html/CFLAlias_8h_source.html +2 -2
  27. package/SVF-doxygen/html/CFLGraphBuilder_8cpp_source.html +1 -1
  28. package/SVF-doxygen/html/CFLGraphBuilder_8h_source.html +1 -1
  29. package/SVF-doxygen/html/CFLSVFGBuilder_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/CFLSVFGBuilder_8h_source.html +2 -2
  31. package/SVF-doxygen/html/CFLSolver_8h_source.html +1 -1
  32. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +1 -1
  33. package/SVF-doxygen/html/CHG_8h_source.html +2 -2
  34. package/SVF-doxygen/html/CSC_8cpp_source.html +2 -2
  35. package/SVF-doxygen/html/CSC_8h_source.html +3 -3
  36. package/SVF-doxygen/html/ConditionalPT_8h_source.html +3 -3
  37. package/SVF-doxygen/html/ConsExeState_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/ConsExeState_8h_source.html +3 -3
  39. package/SVF-doxygen/html/ConsGEdge_8h_source.html +2 -2
  40. package/SVF-doxygen/html/ConsG_8cpp_source.html +14 -14
  41. package/SVF-doxygen/html/ConsG_8h_source.html +4 -4
  42. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +4 -4
  43. package/SVF-doxygen/html/ContextDDA_8h_source.html +2 -2
  44. package/SVF-doxygen/html/CoreBitVector_8h_source.html +1 -1
  45. package/SVF-doxygen/html/CppUtil_8cpp_source.html +1 -1
  46. package/SVF-doxygen/html/CppUtil_8h_source.html +1 -1
  47. package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
  48. package/SVF-doxygen/html/DCHG_8cpp_source.html +3 -3
  49. package/SVF-doxygen/html/DCHG_8h_source.html +2 -2
  50. package/SVF-doxygen/html/DDAClient_8cpp_source.html +2 -2
  51. package/SVF-doxygen/html/DDAClient_8h_source.html +3 -3
  52. package/SVF-doxygen/html/DDAPass_8cpp_source.html +2 -2
  53. package/SVF-doxygen/html/DDAPass_8h_source.html +1 -1
  54. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +2 -2
  55. package/SVF-doxygen/html/DPItem_8h_source.html +2 -2
  56. package/SVF-doxygen/html/ExeState_8cpp_source.html +1 -1
  57. package/SVF-doxygen/html/ExeState_8h_source.html +1 -1
  58. package/SVF-doxygen/html/FSMPTA_8cpp_source.html +1 -1
  59. package/SVF-doxygen/html/FSMPTA_8h_source.html +2 -2
  60. package/SVF-doxygen/html/FlowDDA_8cpp_source.html +4 -4
  61. package/SVF-doxygen/html/FlowDDA_8h_source.html +1 -1
  62. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +2 -2
  63. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +6 -6
  64. package/SVF-doxygen/html/FlowSensitive_8h_source.html +2 -2
  65. package/SVF-doxygen/html/GeneralType_8h.html +8 -0
  66. package/SVF-doxygen/html/GeneralType_8h_source.html +110 -102
  67. package/SVF-doxygen/html/GenericGraph_8h_source.html +2 -2
  68. package/SVF-doxygen/html/GrammarBuilder_8h_source.html +1 -1
  69. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +1 -1
  70. package/SVF-doxygen/html/ICFGBuilder_8h_source.html +1 -1
  71. package/SVF-doxygen/html/ICFGEdge_8h_source.html +3 -3
  72. package/SVF-doxygen/html/ICFGNode_8h_source.html +1 -1
  73. package/SVF-doxygen/html/ICFGSimplification_8cpp_source.html +2 -2
  74. package/SVF-doxygen/html/ICFGStat_8h_source.html +1 -1
  75. package/SVF-doxygen/html/ICFG_8cpp_source.html +3 -3
  76. package/SVF-doxygen/html/ICFG_8h_source.html +2 -2
  77. package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
  78. package/SVF-doxygen/html/IRGraph_8h_source.html +2 -2
  79. package/SVF-doxygen/html/IntervalExeState_8cpp_source.html +2 -2
  80. package/SVF-doxygen/html/IntervalExeState_8h_source.html +4 -4
  81. package/SVF-doxygen/html/IntervalValue_8h_source.html +862 -801
  82. package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
  83. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +335 -316
  84. package/SVF-doxygen/html/LLVMModule_8h_source.html +11 -11
  85. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +2 -2
  86. package/SVF-doxygen/html/LLVMUtil_8h_source.html +1 -1
  87. package/SVF-doxygen/html/LeakChecker_8h_source.html +1 -1
  88. package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +2 -2
  89. package/SVF-doxygen/html/LockAnalysis_8h_source.html +3 -3
  90. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
  91. package/SVF-doxygen/html/LockResultValidator_8h_source.html +2 -2
  92. package/SVF-doxygen/html/MHP_8cpp_source.html +3 -3
  93. package/SVF-doxygen/html/MHP_8h_source.html +3 -3
  94. package/SVF-doxygen/html/MSSAMuChi_8h_source.html +4 -4
  95. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +1 -1
  96. package/SVF-doxygen/html/MTAAnnotator_8h_source.html +1 -1
  97. package/SVF-doxygen/html/MTAResultValidator_8cpp_source.html +5 -5
  98. package/SVF-doxygen/html/MTAStat_8cpp_source.html +1 -1
  99. package/SVF-doxygen/html/MTAStat_8h_source.html +1 -1
  100. package/SVF-doxygen/html/MTA_8cpp_source.html +1 -1
  101. package/SVF-doxygen/html/MTA_8h_source.html +1 -1
  102. package/SVF-doxygen/html/MemPartition_8h_source.html +2 -2
  103. package/SVF-doxygen/html/MemRegion_8cpp_source.html +4 -4
  104. package/SVF-doxygen/html/MemRegion_8h_source.html +5 -5
  105. package/SVF-doxygen/html/MemSSA_8cpp_source.html +4 -4
  106. package/SVF-doxygen/html/MemSSA_8h_source.html +5 -5
  107. package/SVF-doxygen/html/MutablePointsToDS_8h_source.html +1 -1
  108. package/SVF-doxygen/html/NodeIDAllocator_8cpp_source.html +2 -2
  109. package/SVF-doxygen/html/NodeIDAllocator_8h_source.html +2 -2
  110. package/SVF-doxygen/html/NumericLiteral_8h_source.html +452 -418
  111. package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +3 -3
  112. package/SVF-doxygen/html/ObjTypeInference_8h_source.html +2 -2
  113. package/SVF-doxygen/html/PAGBuilderFromFile_8cpp_source.html +195 -137
  114. package/SVF-doxygen/html/PAGBuilderFromFile_8h_source.html +3 -3
  115. package/SVF-doxygen/html/PCG_8cpp_source.html +1 -1
  116. package/SVF-doxygen/html/PCG_8h_source.html +1 -1
  117. package/SVF-doxygen/html/PTACallGraph_8cpp_source.html +1 -1
  118. package/SVF-doxygen/html/PTACallGraph_8h_source.html +4 -4
  119. package/SVF-doxygen/html/PTAStat_8cpp_source.html +1 -1
  120. package/SVF-doxygen/html/PersistentPointsToCache_8h_source.html +2 -2
  121. package/SVF-doxygen/html/PersistentPointsToDS_8h_source.html +2 -2
  122. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  123. package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +3 -3
  124. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +1 -1
  125. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +5 -5
  126. package/SVF-doxygen/html/PointsTo_8cpp_source.html +3 -3
  127. package/SVF-doxygen/html/PointsTo_8h_source.html +3 -3
  128. package/SVF-doxygen/html/ProgSlice_8cpp_source.html +1 -1
  129. package/SVF-doxygen/html/ProgSlice_8h_source.html +2 -2
  130. package/SVF-doxygen/html/RelExeState_8cpp_source.html +1 -1
  131. package/SVF-doxygen/html/RelExeState_8h_source.html +3 -3
  132. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +4 -4
  133. package/SVF-doxygen/html/RelationSolver_8h_source.html +1 -1
  134. package/SVF-doxygen/html/SCC_8h_source.html +2 -2
  135. package/SVF-doxygen/html/SVFBugReport_8h_source.html +1 -1
  136. package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +1937 -1934
  137. package/SVF-doxygen/html/SVFFileSystem_8h.html +1 -1
  138. package/SVF-doxygen/html/SVFFileSystem_8h_source.html +59 -59
  139. package/SVF-doxygen/html/SVFGEdge_8h_source.html +2 -2
  140. package/SVF-doxygen/html/SVFGNode_8h_source.html +2 -2
  141. package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +1 -1
  142. package/SVF-doxygen/html/SVFGOPT_8h_source.html +3 -3
  143. package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +3 -3
  144. package/SVF-doxygen/html/SVFGStat_8cpp_source.html +1 -1
  145. package/SVF-doxygen/html/SVFGStat_8h_source.html +3 -3
  146. package/SVF-doxygen/html/SVFG_8cpp_source.html +2 -2
  147. package/SVF-doxygen/html/SVFG_8h_source.html +2 -2
  148. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +60 -60
  149. package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +9 -9
  150. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +1101 -886
  151. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +173 -154
  152. package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +35 -35
  153. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +17 -17
  154. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +172 -121
  155. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +5 -5
  156. package/SVF-doxygen/html/SVFIR_8cpp_source.html +24 -22
  157. package/SVF-doxygen/html/SVFIR_8h_source.html +55 -53
  158. package/SVF-doxygen/html/SVFLoop_8h_source.html +1 -1
  159. package/SVF-doxygen/html/SVFStat_8cpp_source.html +1 -1
  160. package/SVF-doxygen/html/SVFStat_8h_source.html +1 -1
  161. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +20 -20
  162. package/SVF-doxygen/html/SVFStatements_8h_source.html +979 -955
  163. package/SVF-doxygen/html/SVFType_8cpp_source.html +1 -1
  164. package/SVF-doxygen/html/SVFType_8h_source.html +4 -4
  165. package/SVF-doxygen/html/SVFUtil_8h_source.html +2 -2
  166. package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
  167. package/SVF-doxygen/html/SVFValue_8h_source.html +3 -3
  168. package/SVF-doxygen/html/SVFVariables_8h_source.html +1 -1
  169. package/SVF-doxygen/html/SaberCheckerAPI_8h_source.html +1 -1
  170. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +8 -8
  171. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +4 -4
  172. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  173. package/SVF-doxygen/html/SaberSVFGBuilder_8h_source.html +2 -2
  174. package/SVF-doxygen/html/SparseBitVector_8h_source.html +3 -3
  175. package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +1 -1
  176. package/SVF-doxygen/html/SrcSnkDDA_8h_source.html +2 -2
  177. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +2 -2
  178. package/SVF-doxygen/html/Steensgaard_8h_source.html +4 -4
  179. package/SVF-doxygen/html/SymState_8h_source.html +2 -2
  180. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +4 -4
  181. package/SVF-doxygen/html/SymbolTableBuilder_8h_source.html +1 -1
  182. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +3 -3
  183. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +4 -4
  184. package/SVF-doxygen/html/TCT_8cpp_source.html +3 -3
  185. package/SVF-doxygen/html/TCT_8h_source.html +4 -4
  186. package/SVF-doxygen/html/ThreadAPI_8cpp_source.html +1 -1
  187. package/SVF-doxygen/html/ThreadAPI_8h_source.html +1 -1
  188. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +1 -1
  189. package/SVF-doxygen/html/ThreadCallGraph_8h_source.html +3 -3
  190. package/SVF-doxygen/html/VFGEdge_8h_source.html +1 -1
  191. package/SVF-doxygen/html/VFGNode_8h_source.html +12 -12
  192. package/SVF-doxygen/html/VFG_8cpp_source.html +18 -18
  193. package/SVF-doxygen/html/VFG_8h_source.html +17 -17
  194. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
  195. package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +4 -4
  196. package/SVF-doxygen/html/VersionedFlowSensitive_8h_source.html +4 -4
  197. package/SVF-doxygen/html/WPAFSSolver_8h_source.html +1 -1
  198. package/SVF-doxygen/html/WPASolver_8h_source.html +2 -2
  199. package/SVF-doxygen/html/WTO_8h_source.html +2 -2
  200. package/SVF-doxygen/html/WorkList_8h_source.html +1 -1
  201. package/SVF-doxygen/html/ae_8cpp_source.html +2 -2
  202. package/SVF-doxygen/html/classSVF_1_1AEStat.html +119 -119
  203. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +1517 -1538
  204. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +1 -1
  205. package/SVF-doxygen/html/classSVF_1_1Andersen.html +5 -5
  206. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +1 -1
  207. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +3 -3
  208. package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +3 -3
  209. package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +1 -1
  210. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  211. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  212. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +68 -68
  213. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr-members.html +8 -4
  214. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.html +149 -28
  215. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +51 -51
  216. package/SVF-doxygen/html/classSVF_1_1BranchVFGNode.html +4 -4
  217. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +7 -7
  218. package/SVF-doxygen/html/classSVF_1_1CDGBuilder.html +1 -1
  219. package/SVF-doxygen/html/classSVF_1_1CFGNormalizer.html +3 -3
  220. package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.html +1 -1
  221. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +1 -1
  222. package/SVF-doxygen/html/classSVF_1_1CSC.html +2 -2
  223. package/SVF-doxygen/html/classSVF_1_1CallPE.html +35 -35
  224. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +97 -97
  225. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +1 -1
  226. package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +1 -1
  227. package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +13 -13
  228. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +5 -5
  229. package/SVF-doxygen/html/classSVF_1_1CopyStmt-members.html +48 -33
  230. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +206 -65
  231. package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +3 -3
  232. package/SVF-doxygen/html/classSVF_1_1DDAPass.html +2 -2
  233. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
  234. package/SVF-doxygen/html/classSVF_1_1ExeState.html +1 -1
  235. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +3 -3
  236. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +5 -5
  237. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  238. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +3 -3
  239. package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +1 -1
  240. package/SVF-doxygen/html/classSVF_1_1GenericGraphReader.html +1 -1
  241. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +56 -56
  242. package/SVF-doxygen/html/classSVF_1_1GrammarBase.html +1 -1
  243. package/SVF-doxygen/html/classSVF_1_1ICFG.html +3 -3
  244. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +1 -1
  245. package/SVF-doxygen/html/classSVF_1_1ICFGWriter.html +11 -11
  246. package/SVF-doxygen/html/classSVF_1_1IntervalESBase.html +2 -2
  247. package/SVF-doxygen/html/classSVF_1_1IntervalValue-members.html +40 -35
  248. package/SVF-doxygen/html/classSVF_1_1IntervalValue.html +511 -306
  249. package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
  250. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +331 -312
  251. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +19 -19
  252. package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +2 -2
  253. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
  254. package/SVF-doxygen/html/classSVF_1_1MHP.html +2 -2
  255. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +3 -3
  256. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +1 -1
  257. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +4 -4
  258. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  259. package/SVF-doxygen/html/classSVF_1_1MTAStat.html +1 -1
  260. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +4 -4
  261. package/SVF-doxygen/html/classSVF_1_1MultiOpndStmt.html +48 -48
  262. package/SVF-doxygen/html/classSVF_1_1MutableDFPTData.html +1 -1
  263. package/SVF-doxygen/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +1 -1
  264. package/SVF-doxygen/html/classSVF_1_1NumericLiteral-members.html +9 -3
  265. package/SVF-doxygen/html/classSVF_1_1NumericLiteral.html +527 -332
  266. package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +3 -3
  267. package/SVF-doxygen/html/classSVF_1_1PAGBuilderFromFile.html +204 -135
  268. package/SVF-doxygen/html/classSVF_1_1PCG.html +1 -1
  269. package/SVF-doxygen/html/classSVF_1_1POCRSolver.html +1 -1
  270. package/SVF-doxygen/html/classSVF_1_1PTACallGraph.html +1 -1
  271. package/SVF-doxygen/html/classSVF_1_1PTAStat.html +1 -1
  272. package/SVF-doxygen/html/classSVF_1_1PersistentDFPTData.html +1 -1
  273. package/SVF-doxygen/html/classSVF_1_1PersistentDiffPTData.html +1 -1
  274. package/SVF-doxygen/html/classSVF_1_1PersistentPTData.html +1 -1
  275. package/SVF-doxygen/html/classSVF_1_1PersistentPointsToCache.html +1 -1
  276. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +46 -46
  277. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +1 -1
  278. package/SVF-doxygen/html/classSVF_1_1PointsTo.html +1 -1
  279. package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +1 -1
  280. package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +1 -1
  281. package/SVF-doxygen/html/classSVF_1_1ReaderIDToObjMap.html +2 -2
  282. package/SVF-doxygen/html/classSVF_1_1ReaderPtrPool.html +2 -2
  283. package/SVF-doxygen/html/classSVF_1_1RelExeState.html +2 -2
  284. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +4 -4
  285. package/SVF-doxygen/html/classSVF_1_1RetPE.html +35 -35
  286. package/SVF-doxygen/html/classSVF_1_1SVFG.html +3 -3
  287. package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +1 -1
  288. package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +1 -1
  289. package/SVF-doxygen/html/classSVF_1_1SVFIR-members.html +1 -1
  290. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +32 -25
  291. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +51 -51
  292. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +49 -40
  293. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1346 -909
  294. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder-members.html +62 -61
  295. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +211 -131
  296. package/SVF-doxygen/html/classSVF_1_1SVFIRReader.html +1122 -1121
  297. package/SVF-doxygen/html/classSVF_1_1SVFIRWriter.html +429 -427
  298. package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html +1 -1
  299. package/SVF-doxygen/html/classSVF_1_1SVFModuleReader.html +1 -1
  300. package/SVF-doxygen/html/classSVF_1_1SVFModuleWriter.html +23 -23
  301. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
  302. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +9 -9
  303. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  304. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +38 -38
  305. package/SVF-doxygen/html/classSVF_1_1SingleAbsValue-members.html +8 -4
  306. package/SVF-doxygen/html/classSVF_1_1SingleAbsValue.html +8 -0
  307. package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +1 -1
  308. package/SVF-doxygen/html/classSVF_1_1StInfo.html +1 -1
  309. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +2 -2
  310. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +17 -17
  311. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +4 -4
  312. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +3 -3
  313. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfoReader.html +1 -1
  314. package/SVF-doxygen/html/classSVF_1_1TCT.html +4 -4
  315. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +22 -22
  316. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +21 -21
  317. package/SVF-doxygen/html/classSVF_1_1ThreadAPI.html +1 -1
  318. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +1 -1
  319. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +44 -44
  320. package/SVF-doxygen/html/classSVF_1_1VFG.html +17 -17
  321. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
  322. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
  323. package/SVF-doxygen/html/classSVF_1_1WPAFSSolver.html +2 -2
  324. package/SVF-doxygen/html/classSVF_1_1WPAMinimumSolver.html +2 -2
  325. package/SVF-doxygen/html/classSVF_1_1WPASCCSolver.html +2 -2
  326. package/SVF-doxygen/html/classSVF_1_1WPASolver.html +1 -1
  327. package/SVF-doxygen/html/classSymblicAbstractionTest.html +2 -2
  328. package/SVF-doxygen/html/fastcluster__dm_8cpp_8inc_source.html +1 -1
  329. package/SVF-doxygen/html/functions_a.html +2 -2
  330. package/SVF-doxygen/html/functions_b.html +12 -9
  331. package/SVF-doxygen/html/functions_c.html +23 -14
  332. package/SVF-doxygen/html/functions_e.html +1 -1
  333. package/SVF-doxygen/html/functions_enum.html +3 -0
  334. package/SVF-doxygen/html/functions_eval_b.html +3 -0
  335. package/SVF-doxygen/html/functions_eval_c.html +3 -0
  336. package/SVF-doxygen/html/functions_eval_f.html +9 -0
  337. package/SVF-doxygen/html/functions_eval_i.html +3 -0
  338. package/SVF-doxygen/html/functions_eval_p.html +3 -0
  339. package/SVF-doxygen/html/functions_eval_s.html +6 -0
  340. package/SVF-doxygen/html/functions_eval_t.html +3 -0
  341. package/SVF-doxygen/html/functions_eval_u.html +3 -0
  342. package/SVF-doxygen/html/functions_eval_z.html +79 -0
  343. package/SVF-doxygen/html/functions_f.html +21 -12
  344. package/SVF-doxygen/html/functions_func.html +2 -2
  345. package/SVF-doxygen/html/functions_func_g.html +45 -11
  346. package/SVF-doxygen/html/functions_func_i.html +21 -11
  347. package/SVF-doxygen/html/functions_func_n.html +1 -1
  348. package/SVF-doxygen/html/functions_func_p.html +1 -1
  349. package/SVF-doxygen/html/functions_g.html +45 -11
  350. package/SVF-doxygen/html/functions_i.html +18 -5
  351. package/SVF-doxygen/html/functions_l.html +5 -5
  352. package/SVF-doxygen/html/functions_o.html +15 -15
  353. package/SVF-doxygen/html/functions_p.html +19 -16
  354. package/SVF-doxygen/html/functions_s.html +18 -14
  355. package/SVF-doxygen/html/functions_t.html +12 -9
  356. package/SVF-doxygen/html/functions_u.html +6 -3
  357. package/SVF-doxygen/html/functions_v.html +4 -6
  358. package/SVF-doxygen/html/functions_vars_c.html +3 -0
  359. package/SVF-doxygen/html/functions_w.html +13 -7
  360. package/SVF-doxygen/html/functions_z.html +3 -0
  361. package/SVF-doxygen/html/globals_a.html +1 -1
  362. package/SVF-doxygen/html/globals_d.html +3 -0
  363. package/SVF-doxygen/html/globals_func_a.html +1 -1
  364. package/SVF-doxygen/html/globals_func_d.html +3 -0
  365. package/SVF-doxygen/html/globals_func_p.html +1 -1
  366. package/SVF-doxygen/html/globals_func_t.html +1 -1
  367. package/SVF-doxygen/html/globals_p.html +1 -1
  368. package/SVF-doxygen/html/globals_t.html +1 -1
  369. package/SVF-doxygen/html/globals_vars.html +3 -3
  370. package/SVF-doxygen/html/globals_z.html +3 -3
  371. package/SVF-doxygen/html/menudata.js +2 -1
  372. package/SVF-doxygen/html/namespaceSVF.html +689 -617
  373. package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +1 -1
  374. package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html +1 -1
  375. package/SVF-doxygen/html/namespaceSVF_1_1cppUtil.html +1 -1
  376. package/SVF-doxygen/html/namespacemembers_s.html +6 -0
  377. package/SVF-doxygen/html/namespacemembers_type_s.html +6 -0
  378. package/SVF-doxygen/html/namespacemembers_type_u.html +6 -0
  379. package/SVF-doxygen/html/namespacemembers_u.html +6 -0
  380. package/SVF-doxygen/html/search/all_1.js +3 -3
  381. package/SVF-doxygen/html/search/all_10.js +326 -325
  382. package/SVF-doxygen/html/search/all_11.js +226 -226
  383. package/SVF-doxygen/html/search/all_12.js +574 -570
  384. package/SVF-doxygen/html/search/all_13.js +208 -207
  385. package/SVF-doxygen/html/search/all_14.js +73 -70
  386. package/SVF-doxygen/html/search/all_15.js +176 -176
  387. package/SVF-doxygen/html/search/all_16.js +77 -77
  388. package/SVF-doxygen/html/search/all_17.js +1 -1
  389. package/SVF-doxygen/html/search/all_18.js +1 -1
  390. package/SVF-doxygen/html/search/all_19.js +27 -26
  391. package/SVF-doxygen/html/search/all_1a.js +179 -179
  392. package/SVF-doxygen/html/search/all_2.js +122 -121
  393. package/SVF-doxygen/html/search/all_3.js +642 -640
  394. package/SVF-doxygen/html/search/all_4.js +236 -235
  395. package/SVF-doxygen/html/search/all_5.js +126 -126
  396. package/SVF-doxygen/html/search/all_6.js +235 -232
  397. package/SVF-doxygen/html/search/all_7.js +1056 -1047
  398. package/SVF-doxygen/html/search/all_8.js +215 -215
  399. package/SVF-doxygen/html/search/all_9.js +632 -629
  400. package/SVF-doxygen/html/search/all_a.js +46 -46
  401. package/SVF-doxygen/html/search/all_b.js +26 -26
  402. package/SVF-doxygen/html/search/all_c.js +115 -115
  403. package/SVF-doxygen/html/search/all_d.js +204 -204
  404. package/SVF-doxygen/html/search/all_e.js +209 -209
  405. package/SVF-doxygen/html/search/all_f.js +122 -122
  406. package/SVF-doxygen/html/search/classes_0.js +28 -28
  407. package/SVF-doxygen/html/search/classes_1.js +11 -11
  408. package/SVF-doxygen/html/search/classes_10.js +74 -74
  409. package/SVF-doxygen/html/search/classes_11.js +14 -14
  410. package/SVF-doxygen/html/search/classes_12.js +2 -2
  411. package/SVF-doxygen/html/search/classes_13.js +10 -10
  412. package/SVF-doxygen/html/search/classes_14.js +19 -19
  413. package/SVF-doxygen/html/search/classes_15.js +1 -1
  414. package/SVF-doxygen/html/search/classes_2.js +73 -73
  415. package/SVF-doxygen/html/search/classes_3.js +35 -35
  416. package/SVF-doxygen/html/search/classes_4.js +8 -8
  417. package/SVF-doxygen/html/search/classes_5.js +28 -28
  418. package/SVF-doxygen/html/search/classes_6.js +98 -98
  419. package/SVF-doxygen/html/search/classes_7.js +38 -38
  420. package/SVF-doxygen/html/search/classes_8.js +59 -59
  421. package/SVF-doxygen/html/search/classes_9.js +1 -1
  422. package/SVF-doxygen/html/search/classes_a.js +12 -12
  423. package/SVF-doxygen/html/search/classes_b.js +29 -29
  424. package/SVF-doxygen/html/search/classes_c.js +6 -6
  425. package/SVF-doxygen/html/search/classes_d.js +19 -19
  426. package/SVF-doxygen/html/search/classes_e.js +36 -36
  427. package/SVF-doxygen/html/search/classes_f.js +25 -25
  428. package/SVF-doxygen/html/search/defines_0.js +3 -3
  429. package/SVF-doxygen/html/search/defines_1.js +3 -3
  430. package/SVF-doxygen/html/search/defines_10.js +2 -2
  431. package/SVF-doxygen/html/search/defines_2.js +30 -30
  432. package/SVF-doxygen/html/search/defines_3.js +20 -20
  433. package/SVF-doxygen/html/search/defines_4.js +3 -3
  434. package/SVF-doxygen/html/search/defines_5.js +4 -4
  435. package/SVF-doxygen/html/search/defines_6.js +2 -2
  436. package/SVF-doxygen/html/search/defines_7.js +5 -5
  437. package/SVF-doxygen/html/search/defines_8.js +11 -11
  438. package/SVF-doxygen/html/search/defines_9.js +9 -9
  439. package/SVF-doxygen/html/search/defines_a.js +2 -2
  440. package/SVF-doxygen/html/search/defines_b.js +1 -1
  441. package/SVF-doxygen/html/search/defines_c.js +4 -4
  442. package/SVF-doxygen/html/search/defines_d.js +2 -2
  443. package/SVF-doxygen/html/search/defines_e.js +8 -8
  444. package/SVF-doxygen/html/search/defines_f.js +4 -4
  445. package/SVF-doxygen/html/search/enums_0.js +4 -4
  446. package/SVF-doxygen/html/search/enums_1.js +2 -2
  447. package/SVF-doxygen/html/search/enums_10.js +1 -1
  448. package/SVF-doxygen/html/search/enums_11.js +1 -1
  449. package/SVF-doxygen/html/search/enums_2.js +9 -8
  450. package/SVF-doxygen/html/search/enums_3.js +1 -1
  451. package/SVF-doxygen/html/search/enums_4.js +4 -4
  452. package/SVF-doxygen/html/search/enums_5.js +1 -1
  453. package/SVF-doxygen/html/search/enums_6.js +2 -2
  454. package/SVF-doxygen/html/search/enums_7.js +2 -2
  455. package/SVF-doxygen/html/search/enums_8.js +4 -4
  456. package/SVF-doxygen/html/search/enums_9.js +1 -1
  457. package/SVF-doxygen/html/search/enums_a.js +1 -1
  458. package/SVF-doxygen/html/search/enums_b.js +7 -7
  459. package/SVF-doxygen/html/search/enums_c.js +1 -1
  460. package/SVF-doxygen/html/search/enums_d.js +4 -4
  461. package/SVF-doxygen/html/search/enums_e.js +2 -2
  462. package/SVF-doxygen/html/search/enums_f.js +4 -4
  463. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  464. package/SVF-doxygen/html/search/enumvalues_1.js +16 -15
  465. package/SVF-doxygen/html/search/enumvalues_10.js +36 -35
  466. package/SVF-doxygen/html/search/enumvalues_11.js +5 -4
  467. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  468. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  469. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  470. package/SVF-doxygen/html/search/enumvalues_15.js +4 -3
  471. package/SVF-doxygen/html/search/enumvalues_2.js +37 -36
  472. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  473. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  474. package/SVF-doxygen/html/search/enumvalues_5.js +50 -47
  475. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  476. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  477. package/SVF-doxygen/html/search/enumvalues_8.js +24 -23
  478. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  479. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  480. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  481. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  482. package/SVF-doxygen/html/search/enumvalues_d.js +19 -18
  483. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  484. package/SVF-doxygen/html/search/enumvalues_f.js +49 -47
  485. package/SVF-doxygen/html/search/files_0.js +16 -16
  486. package/SVF-doxygen/html/search/files_1.js +9 -9
  487. package/SVF-doxygen/html/search/files_10.js +8 -8
  488. package/SVF-doxygen/html/search/files_11.js +8 -8
  489. package/SVF-doxygen/html/search/files_12.js +2 -2
  490. package/SVF-doxygen/html/search/files_2.js +53 -53
  491. package/SVF-doxygen/html/search/files_3.js +14 -14
  492. package/SVF-doxygen/html/search/files_4.js +5 -5
  493. package/SVF-doxygen/html/search/files_5.js +13 -13
  494. package/SVF-doxygen/html/search/files_6.js +10 -10
  495. package/SVF-doxygen/html/search/files_7.js +17 -17
  496. package/SVF-doxygen/html/search/files_8.js +13 -13
  497. package/SVF-doxygen/html/search/files_9.js +18 -18
  498. package/SVF-doxygen/html/search/files_a.js +3 -3
  499. package/SVF-doxygen/html/search/files_b.js +4 -4
  500. package/SVF-doxygen/html/search/files_c.js +20 -20
  501. package/SVF-doxygen/html/search/files_d.js +4 -4
  502. package/SVF-doxygen/html/search/files_e.js +62 -62
  503. package/SVF-doxygen/html/search/files_f.js +8 -8
  504. package/SVF-doxygen/html/search/functions_0.js +13 -13
  505. package/SVF-doxygen/html/search/functions_1.js +368 -368
  506. package/SVF-doxygen/html/search/functions_10.js +140 -140
  507. package/SVF-doxygen/html/search/functions_11.js +140 -140
  508. package/SVF-doxygen/html/search/functions_12.js +299 -299
  509. package/SVF-doxygen/html/search/functions_13.js +73 -73
  510. package/SVF-doxygen/html/search/functions_14.js +41 -41
  511. package/SVF-doxygen/html/search/functions_15.js +72 -72
  512. package/SVF-doxygen/html/search/functions_16.js +38 -38
  513. package/SVF-doxygen/html/search/functions_17.js +3 -3
  514. package/SVF-doxygen/html/search/functions_18.js +179 -179
  515. package/SVF-doxygen/html/search/functions_2.js +94 -94
  516. package/SVF-doxygen/html/search/functions_3.js +261 -261
  517. package/SVF-doxygen/html/search/functions_4.js +85 -84
  518. package/SVF-doxygen/html/search/functions_5.js +57 -57
  519. package/SVF-doxygen/html/search/functions_6.js +65 -65
  520. package/SVF-doxygen/html/search/functions_7.js +872 -863
  521. package/SVF-doxygen/html/search/functions_8.js +162 -162
  522. package/SVF-doxygen/html/search/functions_9.js +440 -438
  523. package/SVF-doxygen/html/search/functions_a.js +30 -30
  524. package/SVF-doxygen/html/search/functions_b.js +2 -2
  525. package/SVF-doxygen/html/search/functions_c.js +25 -25
  526. package/SVF-doxygen/html/search/functions_d.js +82 -82
  527. package/SVF-doxygen/html/search/functions_e.js +36 -36
  528. package/SVF-doxygen/html/search/functions_f.js +58 -58
  529. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  530. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  531. package/SVF-doxygen/html/search/related_0.js +4 -4
  532. package/SVF-doxygen/html/search/related_1.js +2 -2
  533. package/SVF-doxygen/html/search/related_2.js +2 -2
  534. package/SVF-doxygen/html/search/related_3.js +2 -2
  535. package/SVF-doxygen/html/search/related_4.js +2 -2
  536. package/SVF-doxygen/html/search/related_5.js +1 -1
  537. package/SVF-doxygen/html/search/related_6.js +2 -2
  538. package/SVF-doxygen/html/search/related_7.js +5 -5
  539. package/SVF-doxygen/html/search/related_8.js +2 -2
  540. package/SVF-doxygen/html/search/related_9.js +4 -4
  541. package/SVF-doxygen/html/search/related_a.js +19 -19
  542. package/SVF-doxygen/html/search/related_b.js +4 -4
  543. package/SVF-doxygen/html/search/related_c.js +2 -2
  544. package/SVF-doxygen/html/search/related_d.js +12 -12
  545. package/SVF-doxygen/html/search/related_e.js +2 -2
  546. package/SVF-doxygen/html/search/related_f.js +2 -2
  547. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  548. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  549. package/SVF-doxygen/html/search/typedefs_10.js +65 -63
  550. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  551. package/SVF-doxygen/html/search/typedefs_12.js +13 -11
  552. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  553. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  554. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  555. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  556. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  557. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  558. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  559. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  560. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  561. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  562. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  563. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  564. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  565. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  566. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  567. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  568. package/SVF-doxygen/html/search/variables_0.js +177 -177
  569. package/SVF-doxygen/html/search/variables_1.js +76 -76
  570. package/SVF-doxygen/html/search/variables_10.js +98 -98
  571. package/SVF-doxygen/html/search/variables_11.js +46 -46
  572. package/SVF-doxygen/html/search/variables_12.js +93 -93
  573. package/SVF-doxygen/html/search/variables_13.js +76 -76
  574. package/SVF-doxygen/html/search/variables_14.js +14 -14
  575. package/SVF-doxygen/html/search/variables_15.js +49 -49
  576. package/SVF-doxygen/html/search/variables_16.js +11 -11
  577. package/SVF-doxygen/html/search/variables_17.js +1 -1
  578. package/SVF-doxygen/html/search/variables_18.js +17 -17
  579. package/SVF-doxygen/html/search/variables_2.js +40 -40
  580. package/SVF-doxygen/html/search/variables_3.js +143 -142
  581. package/SVF-doxygen/html/search/variables_4.js +51 -51
  582. package/SVF-doxygen/html/search/variables_5.js +39 -39
  583. package/SVF-doxygen/html/search/variables_6.js +66 -66
  584. package/SVF-doxygen/html/search/variables_7.js +34 -34
  585. package/SVF-doxygen/html/search/variables_8.js +8 -8
  586. package/SVF-doxygen/html/search/variables_9.js +79 -79
  587. package/SVF-doxygen/html/search/variables_a.js +4 -4
  588. package/SVF-doxygen/html/search/variables_b.js +10 -10
  589. package/SVF-doxygen/html/search/variables_c.js +45 -45
  590. package/SVF-doxygen/html/search/variables_d.js +57 -57
  591. package/SVF-doxygen/html/search/variables_e.js +123 -123
  592. package/SVF-doxygen/html/search/variables_f.js +31 -31
  593. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  594. package/SVF-doxygen/html/structSVF_1_1Hash.html +6 -6
  595. package/SVF-doxygen/html/structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html +12 -12
  596. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +1 -1
  597. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +5 -5
  598. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html +1 -1
  599. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html +1 -1
  600. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
  601. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NumericLiteral_01_4.html +5 -5
  602. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +1 -1
  603. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
  604. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SymState_01_4.html +1 -1
  605. package/SVF-doxygen/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +1 -1
  606. package/SVF-doxygen/html/svf-ex_8cpp.html +280 -230
  607. package/SVF-doxygen/html/svf-ex_8cpp_source.html +250 -223
  608. package/SVF-doxygen/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +2 -2
  609. package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +3 -3
  610. package/package.json +1 -1
  611. package/svf/include/AE/Core/BoundedZ3Expr.h +31 -20
  612. package/svf/include/AE/Core/IntervalValue.h +56 -4
  613. package/svf/include/AE/Core/NumericLiteral.h +25 -1
  614. package/svf/include/AE/Svfexe/SVFIR2ItvExeState.h +10 -0
  615. package/svf/include/SVFIR/SVFIR.h +2 -1
  616. package/svf/include/SVFIR/SVFStatements.h +12 -2
  617. package/svf/include/Util/GeneralType.h +4 -0
  618. package/svf/lib/AE/Svfexe/AbstractExecution.cpp +13 -34
  619. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +6 -6
  620. package/svf/lib/AE/Svfexe/SVFIR2ItvExeState.cpp +217 -23
  621. package/svf/lib/SVFIR/PAGBuilderFromFile.cpp +62 -3
  622. package/svf/lib/SVFIR/SVFFileSystem.cpp +4 -1
  623. package/svf/lib/SVFIR/SVFIR.cpp +3 -3
  624. package/svf-llvm/include/SVF-LLVM/SVFIRBuilder.h +39 -3
  625. package/svf-llvm/lib/LLVMModule.cpp +21 -2
  626. package/svf-llvm/lib/SVFIRBuilder.cpp +7 -7
  627. package/svf-llvm/lib/SVFIRExtAPI.cpp +3 -3
  628. package/svf-llvm/tools/Example/svf-ex.cpp +49 -30
package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html CHANGED
@@ -298,7 +298,7 @@ Additional Inherited Members</h2></td></tr>
298
298
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
299
299
  <div class="textblock"><p>Thread Join </p>
300
300
 
301
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01238">1238</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
301
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01248">1248</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
302
302
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
303
303
  <a id="a3a7edc9b921598336ff2bbb6412e2160"></a>
304
304
  <h2 class="memtitle"><span class="permalink"><a href="#a3a7edc9b921598336ff2bbb6412e2160">&#9670;&nbsp;</a></span>TDJoinPE() <span class="overload">[1/3]</span></h2>
@@ -325,8 +325,8 @@ Additional Inherited Members</h2></td></tr>
325
325
 
326
326
  <p>Constructs empty <a class="el" href="classSVF_1_1TDJoinPE.html">TDJoinPE</a> (for SVFIRReader/serialization) </p>
327
327
 
328
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01245">1245</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
329
- <div class="fragment"><div class="line"><a name="l01245"></a><span class="lineno"> 1245</span>&#160;: <a class="code" href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">RetPE</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>) {}</div>
328
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01255">1255</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
329
+ <div class="fragment"><div class="line"><a name="l01255"></a><span class="lineno"> 1255</span>&#160;: <a class="code" href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">RetPE</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>) {}</div>
330
330
  </div><!-- fragment -->
331
331
  </div>
332
332
  </div>
@@ -406,10 +406,10 @@ Additional Inherited Members</h2></td></tr>
406
406
 
407
407
  <p>Constructor. </p>
408
408
 
409
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01267">1267</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
410
- <div class="fragment"><div class="line"><a name="l01269"></a><span class="lineno"> 1269</span>&#160; : <a class="code" href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">RetPE</a>(s, d, i, e, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>)</div>
411
- <div class="line"><a name="l01270"></a><span class="lineno"> 1270</span>&#160; {</div>
412
- <div class="line"><a name="l01271"></a><span class="lineno"> 1271</span>&#160; }</div>
409
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01277">1277</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
410
+ <div class="fragment"><div class="line"><a name="l01279"></a><span class="lineno"> 1279</span>&#160; : <a class="code" href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">RetPE</a>(s, d, i, e, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>)</div>
411
+ <div class="line"><a name="l01280"></a><span class="lineno"> 1280</span>&#160; {</div>
412
+ <div class="line"><a name="l01281"></a><span class="lineno"> 1281</span>&#160; }</div>
413
413
  </div><!-- fragment -->
414
414
  </div>
415
415
  </div>
@@ -438,10 +438,10 @@ Additional Inherited Members</h2></td></tr>
438
438
  </table>
439
439
  </div><div class="memdoc">
440
440
 
441
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01260">1260</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
442
- <div class="fragment"><div class="line"><a name="l01261"></a><span class="lineno"> 1261</span>&#160; {</div>
443
- <div class="line"><a name="l01262"></a><span class="lineno"> 1262</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div>
444
- <div class="line"><a name="l01263"></a><span class="lineno"> 1263</span>&#160; }</div>
441
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01270">1270</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
442
+ <div class="fragment"><div class="line"><a name="l01271"></a><span class="lineno"> 1271</span>&#160; {</div>
443
+ <div class="line"><a name="l01272"></a><span class="lineno"> 1272</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div>
444
+ <div class="line"><a name="l01273"></a><span class="lineno"> 1273</span>&#160; }</div>
445
445
  </div><!-- fragment -->
446
446
  </div>
447
447
  </div>
@@ -469,10 +469,10 @@ Additional Inherited Members</h2></td></tr>
469
469
  </table>
470
470
  </div><div class="memdoc">
471
471
 
472
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01256">1256</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
473
- <div class="fragment"><div class="line"><a name="l01257"></a><span class="lineno"> 1257</span>&#160; {</div>
474
- <div class="line"><a name="l01258"></a><span class="lineno"> 1258</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div>
475
- <div class="line"><a name="l01259"></a><span class="lineno"> 1259</span>&#160; }</div>
472
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01266">1266</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
473
+ <div class="fragment"><div class="line"><a name="l01267"></a><span class="lineno"> 1267</span>&#160; {</div>
474
+ <div class="line"><a name="l01268"></a><span class="lineno"> 1268</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div>
475
+ <div class="line"><a name="l01269"></a><span class="lineno"> 1269</span>&#160; }</div>
476
476
  </div><!-- fragment -->
477
477
  </div>
478
478
  </div>
@@ -502,10 +502,10 @@ Additional Inherited Members</h2></td></tr>
502
502
 
503
503
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
504
504
 
505
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01252">1252</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
506
- <div class="fragment"><div class="line"><a name="l01253"></a><span class="lineno"> 1253</span>&#160; {</div>
507
- <div class="line"><a name="l01254"></a><span class="lineno"> 1254</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
508
- <div class="line"><a name="l01255"></a><span class="lineno"> 1255</span>&#160; }</div>
505
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01262">1262</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
506
+ <div class="fragment"><div class="line"><a name="l01263"></a><span class="lineno"> 1263</span>&#160; {</div>
507
+ <div class="line"><a name="l01264"></a><span class="lineno"> 1264</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
508
+ <div class="line"><a name="l01265"></a><span class="lineno"> 1265</span>&#160; }</div>
509
509
  </div><!-- fragment -->
510
510
  </div>
511
511
  </div>
@@ -598,7 +598,7 @@ Additional Inherited Members</h2></td></tr>
598
598
  </table>
599
599
  </div><div class="memdoc">
600
600
 
601
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01241">1241</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
601
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01251">1251</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
602
602
 
603
603
  </div>
604
604
  </div>
@@ -622,7 +622,7 @@ Additional Inherited Members</h2></td></tr>
622
622
  </table>
623
623
  </div><div class="memdoc">
624
624
 
625
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01240">1240</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
625
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01250">1250</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
626
626
 
627
627
  </div>
628
628
  </div>
package/SVF-doxygen/html/classSVF_1_1ThreadAPI.html CHANGED
@@ -1918,7 +1918,7 @@ Static Private Attributes</h2></td></tr>
1918
1918
  <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00631">SVFValue.h:631</a></div></div>
1919
1919
  <div class="ttc" id="aThreadAPI_8cpp_html_aa5c38361a7f02befa83ea45388056ea1"><div class="ttname"><a href="ThreadAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1">ei_pairs</a></div><div class="ttdeci">static const ei_pair ei_pairs[]</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8cpp_source.html#l00060">ThreadAPI.cpp:60</a></div></div>
1920
1920
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_afdc3358522417de9a0d3a181a329f722"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#afdc3358522417de9a0d3a181a329f722">SVF::SVFUtil::isCallSite</a></div><div class="ttdeci">bool isCallSite(const SVFInstruction *inst)</div><div class="ttdoc">Whether an instruction is a call or invoke instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00174">SVFUtil.h:174</a></div></div>
1921
- <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
1921
+ <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
1922
1922
  <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_a9c1e40279cc3b13a3b449b31131d88bc"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a9c1e40279cc3b13a3b449b31131d88bc">SVF::ThreadAPI::getSVFCallSite</a></div><div class="ttdeci">const CallSite getSVFCallSite(const SVFInstruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8cpp_source.html#l00151">ThreadAPI.cpp:151</a></div></div>
1923
1923
  <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_ad5790cf310d1eca46fc8b3d50f942d8a"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#ad5790cf310d1eca46fc8b3d50f942d8a">SVF::ThreadAPI::getJoinedThread</a></div><div class="ttdeci">const SVFValue * getJoinedThread(const SVFInstruction *inst) const</div><div class="ttdoc">Return arguments/attributes of pthread_join.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8cpp_source.html#l00156">ThreadAPI.cpp:156</a></div></div>
1924
1924
  <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_a38a7516702c55ab418167b7c850516b3a1f921d7369e3a00a77394640f887c7ff"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a1f921d7369e3a00a77394640f887c7ff">SVF::ThreadAPI::TD_CONDVAR_INI</a></div><div class="ttdeci">@ TD_CONDVAR_INI</div><div class="ttdoc">initial a mutex variable</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00063">ThreadAPI.h:63</a></div></div>
package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html CHANGED
@@ -2299,7 +2299,7 @@ Additional Inherited Members</h2></td></tr>
2299
2299
  <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_aae1caa7231ab9436db98403d6a175149"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149">SVF::ThreadCallGraph::addHareParForEdgeSetMap</a></div><div class="ttdeci">void addHareParForEdgeSetMap(const CallICFGNode *cs, HareParForEdge *edge)</div><div class="ttdoc">map call instruction to its CallGraphEdge map</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00387">ThreadCallGraph.h:387</a></div></div>
2300
2300
  <div class="ttc" id="aclassSVF_1_1ThreadJoinEdge_html"><div class="ttname"><a href="classSVF_1_1ThreadJoinEdge.html">SVF::ThreadJoinEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00087">ThreadCallGraph.h:87</a></div></div>
2301
2301
  <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a506343bcd23ba71d2db915ff7c58e728"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a506343bcd23ba71d2db915ff7c58e728">SVF::ThreadCallGraph::parForSitesEnd</a></div><div class="ttdeci">CallSiteSet::const_iterator parForSitesEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00301">ThreadCallGraph.h:301</a></div></div>
2302
- <div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00054">GeneralType.h:54</a></div></div>
2302
+ <div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
2303
2303
  <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>
2304
2304
  <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a7100a68c27a965927975e26bb06e061c"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c">SVF::ThreadCallGraph::addThreadJoinEdgeSetMap</a></div><div class="ttdeci">void addThreadJoinEdgeSetMap(const CallICFGNode *cs, ThreadJoinEdge *edge)</div><div class="ttdoc">map call instruction to its CallGraphEdge map</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00377">ThreadCallGraph.h:377</a></div></div>
2305
2305
  <div class="ttc" id="aclassSVF_1_1MemObj_html_ae1d14e2bf0be36cdadebf119822f607b"><div class="ttname"><a href="classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b">SVF::MemObj::isFunction</a></div><div class="ttdeci">bool isFunction() const</div><div class="ttdoc">object attributes methods</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00446">SymbolTableInfo.cpp:446</a></div></div>
package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html CHANGED
@@ -285,7 +285,7 @@ Additional Inherited Members</h2></td></tr>
285
285
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
286
286
  <div class="textblock"><p>Unary statement </p>
287
287
 
288
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01040">1040</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
288
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01050">1050</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
289
289
  </div><h2 class="groupheader">Member Enumeration Documentation</h2>
290
290
  <a id="ad06357c3d2abbd0eae12ba71d5206742"></a>
291
291
  <h2 class="memtitle"><span class="permalink"><a href="#ad06357c3d2abbd0eae12ba71d5206742">&#9670;&nbsp;</a></span>OpCode</h2>
@@ -304,11 +304,11 @@ Additional Inherited Members</h2></td></tr>
304
304
  <tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><a id="ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8"></a>FNeg&#160;</td><td class="fielddoc"></td></tr>
305
305
  </table>
306
306
 
307
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01059">1059</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
308
- <div class="fragment"><div class="line"><a name="l01059"></a><span class="lineno"> 1059</span>&#160; : <span class="keywordtype">unsigned</span></div>
309
- <div class="line"><a name="l01060"></a><span class="lineno"> 1060</span>&#160; {</div>
310
- <div class="line"><a name="l01061"></a><span class="lineno"> 1061</span>&#160; <a class="code" href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8">FNeg</a> = 12</div>
311
- <div class="line"><a name="l01062"></a><span class="lineno"> 1062</span>&#160; };</div>
307
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01069">1069</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
308
+ <div class="fragment"><div class="line"><a name="l01069"></a><span class="lineno"> 1069</span>&#160; : <span class="keywordtype">unsigned</span></div>
309
+ <div class="line"><a name="l01070"></a><span class="lineno"> 1070</span>&#160; {</div>
310
+ <div class="line"><a name="l01071"></a><span class="lineno"> 1071</span>&#160; <a class="code" href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8">FNeg</a> = 12</div>
311
+ <div class="line"><a name="l01072"></a><span class="lineno"> 1072</span>&#160; };</div>
312
312
  </div><!-- fragment -->
313
313
  </div>
314
314
  </div>
@@ -338,8 +338,8 @@ Additional Inherited Members</h2></td></tr>
338
338
 
339
339
  <p>Constructs empty <a class="el" href="classSVF_1_1UnaryOPStmt.html">UnaryOPStmt</a> (for SVFIRReader/serialization) </p>
340
340
 
341
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01047">1047</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
342
- <div class="fragment"><div class="line"><a name="l01047"></a><span class="lineno"> 1047</span>&#160;: <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>) {}</div>
341
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01057">1057</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
342
+ <div class="fragment"><div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>&#160;: <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>) {}</div>
343
343
  </div><!-- fragment -->
344
344
  </div>
345
345
  </div>
@@ -413,10 +413,10 @@ Additional Inherited Members</h2></td></tr>
413
413
 
414
414
  <p>constructor </p>
415
415
 
416
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01081">1081</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
417
- <div class="fragment"><div class="line"><a name="l01082"></a><span class="lineno"> 1082</span>&#160; : <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(s, d, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>), <a class="code" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">opcode</a>(oc)</div>
418
- <div class="line"><a name="l01083"></a><span class="lineno"> 1083</span>&#160; {</div>
419
- <div class="line"><a name="l01084"></a><span class="lineno"> 1084</span>&#160; }</div>
416
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01091">1091</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
417
+ <div class="fragment"><div class="line"><a name="l01092"></a><span class="lineno"> 1092</span>&#160; : <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(s, d, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>), <a class="code" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">opcode</a>(oc)</div>
418
+ <div class="line"><a name="l01093"></a><span class="lineno"> 1093</span>&#160; {</div>
419
+ <div class="line"><a name="l01094"></a><span class="lineno"> 1094</span>&#160; }</div>
420
420
  </div><!-- fragment -->
421
421
  </div>
422
422
  </div>
@@ -445,10 +445,10 @@ Additional Inherited Members</h2></td></tr>
445
445
  </table>
446
446
  </div><div class="memdoc">
447
447
 
448
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01074">1074</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
449
- <div class="fragment"><div class="line"><a name="l01075"></a><span class="lineno"> 1075</span>&#160; {</div>
450
- <div class="line"><a name="l01076"></a><span class="lineno"> 1076</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>;</div>
451
- <div class="line"><a name="l01077"></a><span class="lineno"> 1077</span>&#160; }</div>
448
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01084">1084</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
449
+ <div class="fragment"><div class="line"><a name="l01085"></a><span class="lineno"> 1085</span>&#160; {</div>
450
+ <div class="line"><a name="l01086"></a><span class="lineno"> 1086</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>;</div>
451
+ <div class="line"><a name="l01087"></a><span class="lineno"> 1087</span>&#160; }</div>
452
452
  </div><!-- fragment -->
453
453
  </div>
454
454
  </div>
@@ -476,10 +476,10 @@ Additional Inherited Members</h2></td></tr>
476
476
  </table>
477
477
  </div><div class="memdoc">
478
478
 
479
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01070">1070</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
480
- <div class="fragment"><div class="line"><a name="l01071"></a><span class="lineno"> 1071</span>&#160; {</div>
481
- <div class="line"><a name="l01072"></a><span class="lineno"> 1072</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>;</div>
482
- <div class="line"><a name="l01073"></a><span class="lineno"> 1073</span>&#160; }</div>
479
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01080">1080</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
480
+ <div class="fragment"><div class="line"><a name="l01081"></a><span class="lineno"> 1081</span>&#160; {</div>
481
+ <div class="line"><a name="l01082"></a><span class="lineno"> 1082</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>;</div>
482
+ <div class="line"><a name="l01083"></a><span class="lineno"> 1083</span>&#160; }</div>
483
483
  </div><!-- fragment -->
484
484
  </div>
485
485
  </div>
@@ -509,10 +509,10 @@ Additional Inherited Members</h2></td></tr>
509
509
 
510
510
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
511
511
 
512
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01066">1066</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
513
- <div class="fragment"><div class="line"><a name="l01067"></a><span class="lineno"> 1067</span>&#160; {</div>
514
- <div class="line"><a name="l01068"></a><span class="lineno"> 1068</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
515
- <div class="line"><a name="l01069"></a><span class="lineno"> 1069</span>&#160; }</div>
512
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01076">1076</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
513
+ <div class="fragment"><div class="line"><a name="l01077"></a><span class="lineno"> 1077</span>&#160; {</div>
514
+ <div class="line"><a name="l01078"></a><span class="lineno"> 1078</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
515
+ <div class="line"><a name="l01079"></a><span class="lineno"> 1079</span>&#160; }</div>
516
516
  </div><!-- fragment -->
517
517
  </div>
518
518
  </div>
@@ -593,10 +593,10 @@ Additional Inherited Members</h2></td></tr>
593
593
  </table>
594
594
  </div><div class="memdoc">
595
595
 
596
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01086">1086</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
597
- <div class="fragment"><div class="line"><a name="l01087"></a><span class="lineno"> 1087</span>&#160; {</div>
598
- <div class="line"><a name="l01088"></a><span class="lineno"> 1088</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">opcode</a>;</div>
599
- <div class="line"><a name="l01089"></a><span class="lineno"> 1089</span>&#160; }</div>
596
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01096">1096</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
597
+ <div class="fragment"><div class="line"><a name="l01097"></a><span class="lineno"> 1097</span>&#160; {</div>
598
+ <div class="line"><a name="l01098"></a><span class="lineno"> 1098</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">opcode</a>;</div>
599
+ <div class="line"><a name="l01099"></a><span class="lineno"> 1099</span>&#160; }</div>
600
600
  </div><!-- fragment -->
601
601
  </div>
602
602
  </div>
@@ -623,10 +623,10 @@ Additional Inherited Members</h2></td></tr>
623
623
  </table>
624
624
  </div><div class="memdoc">
625
625
 
626
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01090">1090</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
627
- <div class="fragment"><div class="line"><a name="l01091"></a><span class="lineno"> 1091</span>&#160; {</div>
628
- <div class="line"><a name="l01092"></a><span class="lineno"> 1092</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVFStmt::getSrcNode</a>();</div>
629
- <div class="line"><a name="l01093"></a><span class="lineno"> 1093</span>&#160; }</div>
626
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01100">1100</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
627
+ <div class="fragment"><div class="line"><a name="l01101"></a><span class="lineno"> 1101</span>&#160; {</div>
628
+ <div class="line"><a name="l01102"></a><span class="lineno"> 1102</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVFStmt::getSrcNode</a>();</div>
629
+ <div class="line"><a name="l01103"></a><span class="lineno"> 1103</span>&#160; }</div>
630
630
  </div><!-- fragment -->
631
631
  </div>
632
632
  </div>
@@ -675,10 +675,10 @@ Additional Inherited Members</h2></td></tr>
675
675
  </table>
676
676
  </div><div class="memdoc">
677
677
 
678
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01094">1094</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
679
- <div class="fragment"><div class="line"><a name="l01095"></a><span class="lineno"> 1095</span>&#160; {</div>
680
- <div class="line"><a name="l01096"></a><span class="lineno"> 1096</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVFStmt::getDstNode</a>();</div>
681
- <div class="line"><a name="l01097"></a><span class="lineno"> 1097</span>&#160; }</div>
678
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01104">1104</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
679
+ <div class="fragment"><div class="line"><a name="l01105"></a><span class="lineno"> 1105</span>&#160; {</div>
680
+ <div class="line"><a name="l01106"></a><span class="lineno"> 1106</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVFStmt::getDstNode</a>();</div>
681
+ <div class="line"><a name="l01107"></a><span class="lineno"> 1107</span>&#160; }</div>
682
682
  </div><!-- fragment -->
683
683
  </div>
684
684
  </div>
@@ -847,7 +847,7 @@ Additional Inherited Members</h2></td></tr>
847
847
  </table>
848
848
  </div><div class="memdoc">
849
849
 
850
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01043">1043</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
850
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01053">1053</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
851
851
 
852
852
  </div>
853
853
  </div>
@@ -871,7 +871,7 @@ Additional Inherited Members</h2></td></tr>
871
871
  </table>
872
872
  </div><div class="memdoc">
873
873
 
874
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01042">1042</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
874
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01052">1052</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
875
875
 
876
876
  </div>
877
877
  </div>
@@ -896,7 +896,7 @@ Additional Inherited Members</h2></td></tr>
896
896
  </table>
897
897
  </div><div class="memdoc">
898
898
 
899
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01055">1055</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
899
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01065">1065</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
900
900
 
901
901
  </div>
902
902
  </div>
@@ -908,18 +908,18 @@ Additional Inherited Members</h2></td></tr>
908
908
  <div class="ttc" id="aclassSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00097">GenericGraph.h:97</a></div></div>
909
909
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a4f4159567121416cbe78d124f5c6a8b6"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVF::SVFStmt::SVFStmt</a></div><div class="ttdeci">SVFStmt(GEdgeFlag k)</div><div class="ttdoc">Private constructor for reading SVFIR from file without side-effect.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00088">SVFStatements.h:88</a></div></div>
910
910
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVF::SVFStmt::UnaryOp</a></div><div class="ttdeci">@ UnaryOp</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00074">SVFStatements.h:74</a></div></div>
911
- <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8">SVF::UnaryOPStmt::FNeg</a></div><div class="ttdeci">@ FNeg</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01061">SVFStatements.h:1061</a></div></div>
911
+ <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8">SVF::UnaryOPStmt::FNeg</a></div><div class="ttdeci">@ FNeg</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01071">SVFStatements.h:1071</a></div></div>
912
912
  <div class="ttc" id="aclassSVF_1_1Options_html_a424a44f39a43b22434dbdce26007a353"><div class="ttname"><a href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const Option&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00122">Options.h:122</a></div></div>
913
913
  <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>
914
- <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a099df135a83d28a2e6f344e008fe1cc6"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt::opcode</a></div><div class="ttdeci">u32_t opcode</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01055">SVFStatements.h:1055</a></div></div>
914
+ <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a099df135a83d28a2e6f344e008fe1cc6"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt::opcode</a></div><div class="ttdeci">u32_t opcode</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01065">SVFStatements.h:1065</a></div></div>
915
915
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
916
- <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_abde2b32d5bbd37df0e194b1a4e78483b"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#abde2b32d5bbd37df0e194b1a4e78483b">SVF::UnaryOPStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01090">SVFStatements.h:1090</a></div></div>
916
+ <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_abde2b32d5bbd37df0e194b1a4e78483b"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#abde2b32d5bbd37df0e194b1a4e78483b">SVF::UnaryOPStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01100">SVFStatements.h:1100</a></div></div>
917
917
  <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_ae2ffeaec2d2e4de69826495006c35856"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#ae2ffeaec2d2e4de69826495006c35856">SVF::UnaryOPStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00298">SVFStatements.cpp:298</a></div></div>
918
918
  <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a8029b46bccda153ca2e677686c2655e2"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a8029b46bccda153ca2e677686c2655e2">SVF::UnaryOPStmt::getOpVarID</a></div><div class="ttdeci">NodeID getOpVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00294">SVFStatements.cpp:294</a></div></div>
919
- <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a919db9b8c9287c3802f563840b56c4f1"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1">SVF::UnaryOPStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01094">SVFStatements.h:1094</a></div></div>
919
+ <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a919db9b8c9287c3802f563840b56c4f1"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1">SVF::UnaryOPStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01104">SVFStatements.h:1104</a></div></div>
920
920
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_abb784290c90d26f35897fa15bae277d2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00147">SVFStatements.h:147</a></div></div>
921
921
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00931">LLVMUtil.cpp:931</a></div></div>
922
- <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_af29723d5e777b10d53d48263a786f5b6"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6">SVF::UnaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01086">SVFStatements.h:1086</a></div></div>
922
+ <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_af29723d5e777b10d53d48263a786f5b6"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6">SVF::UnaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01096">SVFStatements.h:1096</a></div></div>
923
923
  <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00101">GenericGraph.h:101</a></div></div>
924
924
  <!-- start footer part -->
925
925
  <hr class="footer"/><address class="footer"><small>