svf-tools 1.0.795 → 1.0.796

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 (448) hide show
  1. package/SVF-doxygen/html/AccessPath_8cpp_source.html +167 -161
  2. package/SVF-doxygen/html/AccessPath_8h_source.html +51 -51
  3. package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/AndersenStat_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/AndersenWaveDiff_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/Andersen_8cpp_source.html +6 -6
  7. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +5 -5
  8. package/SVF-doxygen/html/CFLAlias_8h_source.html +3 -3
  9. package/SVF-doxygen/html/CFLBase_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +4 -4
  11. package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +5 -5
  13. package/SVF-doxygen/html/ContextDDA_8h_source.html +2 -2
  14. package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
  15. package/SVF-doxygen/html/DDAClient_8cpp_source.html +5 -5
  16. package/SVF-doxygen/html/DDAPass_8cpp_source.html +2 -2
  17. package/SVF-doxygen/html/DDAPass_8h_source.html +1 -1
  18. package/SVF-doxygen/html/DDAStat_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +4 -4
  20. package/SVF-doxygen/html/FSMPTA_8cpp_source.html +3 -3
  21. package/SVF-doxygen/html/FlowDDA_8cpp_source.html +5 -5
  22. package/SVF-doxygen/html/FlowDDA_8h_source.html +2 -2
  23. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +5 -5
  25. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +2 -2
  26. package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
  27. package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
  28. package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +2 -2
  29. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +10 -10
  30. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +40 -27
  31. package/SVF-doxygen/html/LeakChecker_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +5 -5
  33. package/SVF-doxygen/html/LockAnalysis_8h_source.html +2 -2
  34. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
  35. package/SVF-doxygen/html/MHP_8cpp_source.html +6 -6
  36. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
  37. package/SVF-doxygen/html/MTA_8cpp_source.html +5 -5
  38. package/SVF-doxygen/html/MemRegion_8cpp_source.html +7 -7
  39. package/SVF-doxygen/html/MemRegion_8h_source.html +1 -1
  40. package/SVF-doxygen/html/MemSSA_8cpp_source.html +4 -4
  41. package/SVF-doxygen/html/NodeIDAllocator_8cpp_source.html +2 -2
  42. package/SVF-doxygen/html/PCG_8cpp_source.html +2 -2
  43. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +3 -3
  44. package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +4 -4
  45. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +7 -7
  46. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +1 -1
  47. package/SVF-doxygen/html/ProgSlice_8cpp_source.html +2 -2
  48. package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +6 -6
  49. package/SVF-doxygen/html/SVFFileSystem_8h_source.html +6 -6
  50. package/SVF-doxygen/html/SVFGBuilder_8cpp_source.html +2 -2
  51. package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +2 -2
  52. package/SVF-doxygen/html/SVFGStat_8cpp_source.html +1 -1
  53. package/SVF-doxygen/html/SVFG_8cpp_source.html +2 -2
  54. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +3 -3
  55. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +773 -777
  56. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +20 -20
  57. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +5 -5
  58. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +1 -1
  59. package/SVF-doxygen/html/SVFStat_8cpp_source.html +1 -1
  60. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
  61. package/SVF-doxygen/html/SVFStatements_8h_source.html +5 -5
  62. package/SVF-doxygen/html/SVFType_8cpp.html +2 -2
  63. package/SVF-doxygen/html/SVFType_8cpp_source.html +70 -61
  64. package/SVF-doxygen/html/SVFType_8h.html +23 -23
  65. package/SVF-doxygen/html/SVFType_8h_source.html +401 -378
  66. package/SVF-doxygen/html/SVFUtil_8h_source.html +1 -1
  67. package/SVF-doxygen/html/SVFValue_8cpp_source.html +4 -4
  68. package/SVF-doxygen/html/SVFValue_8h_source.html +3 -3
  69. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +2 -2
  70. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +3 -3
  71. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  72. package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +3 -3
  73. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +5 -5
  74. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +4 -4
  75. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +7 -7
  76. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +1 -1
  77. package/SVF-doxygen/html/TCT_8cpp_source.html +2 -2
  78. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +2 -2
  79. package/SVF-doxygen/html/VFG_8cpp_source.html +2 -2
  80. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  81. package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +1 -1
  82. package/SVF-doxygen/html/WPAPass_8cpp_source.html +4 -4
  83. package/SVF-doxygen/html/WPAPass_8h_source.html +2 -2
  84. package/SVF-doxygen/html/classSVF_1_1AccessPath-members.html +1 -1
  85. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +167 -161
  86. package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  87. package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  88. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  89. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +2 -2
  90. package/SVF-doxygen/html/classSVF_1_1Andersen.html +5 -5
  91. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +2 -2
  92. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
  93. package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +1 -1
  94. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  95. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  96. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
  97. package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  98. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
  99. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +7 -7
  100. package/SVF-doxygen/html/classSVF_1_1CFLBase.html +1 -1
  101. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +4 -4
  102. package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +1 -1
  103. package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
  104. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
  105. package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
  106. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +3 -3
  107. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +5 -5
  108. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
  109. package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
  110. package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
  111. package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
  112. package/SVF-doxygen/html/classSVF_1_1DDAClient.html +3 -3
  113. package/SVF-doxygen/html/classSVF_1_1DDAPass.html +1 -1
  114. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
  115. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +4 -4
  116. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  117. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  118. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +5 -5
  119. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +5 -5
  120. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  121. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +3 -3
  122. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
  123. package/SVF-doxygen/html/classSVF_1_1GepStmt-members.html +1 -1
  124. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +9 -10
  125. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  126. package/SVF-doxygen/html/classSVF_1_1ICFG.html +1 -1
  127. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +2 -2
  128. package/SVF-doxygen/html/classSVF_1_1IRGraph.html +2 -2
  129. package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  130. package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  131. package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +1 -1
  132. package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +1 -1
  133. package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  134. package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +2 -2
  135. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +10 -10
  136. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +2 -2
  137. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
  138. package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +5 -5
  139. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
  140. package/SVF-doxygen/html/classSVF_1_1MHP.html +6 -6
  141. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +6 -6
  142. package/SVF-doxygen/html/classSVF_1_1MTA.html +5 -5
  143. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
  144. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
  145. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +3 -3
  146. package/SVF-doxygen/html/classSVF_1_1MemObj.html +1 -1
  147. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +4 -4
  148. package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +1 -1
  149. package/SVF-doxygen/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
  150. package/SVF-doxygen/html/classSVF_1_1ObjTypeInfo.html +1 -1
  151. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
  152. package/SVF-doxygen/html/classSVF_1_1PCG.html +2 -2
  153. package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
  154. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
  155. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +7 -7
  156. package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +2 -2
  157. package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +1 -1
  158. package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
  159. package/SVF-doxygen/html/classSVF_1_1SVFArrayType-members.html +11 -7
  160. package/SVF-doxygen/html/classSVF_1_1SVFArrayType.html +65 -27
  161. package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +1 -1
  162. package/SVF-doxygen/html/classSVF_1_1SVFFunctionType-members.html +30 -27
  163. package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html +28 -22
  164. package/SVF-doxygen/html/classSVF_1_1SVFG.html +2 -2
  165. package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.html +2 -2
  166. package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +2 -2
  167. package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +1 -1
  168. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +2 -2
  169. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +2 -2
  170. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +749 -769
  171. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +6 -6
  172. package/SVF-doxygen/html/classSVF_1_1SVFIntegerType-members.html +30 -27
  173. package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html +32 -26
  174. package/SVF-doxygen/html/classSVF_1_1SVFOtherType-members.html +32 -29
  175. package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html +33 -27
  176. package/SVF-doxygen/html/classSVF_1_1SVFPointerType-members.html +30 -27
  177. package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html +28 -22
  178. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
  179. package/SVF-doxygen/html/classSVF_1_1SVFStructType-members.html +32 -29
  180. package/SVF-doxygen/html/classSVF_1_1SVFStructType.html +33 -27
  181. package/SVF-doxygen/html/classSVF_1_1SVFType-members.html +27 -24
  182. package/SVF-doxygen/html/classSVF_1_1SVFType.html +120 -23
  183. package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
  184. package/SVF-doxygen/html/classSVF_1_1SVFVar.html +1 -1
  185. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +3 -3
  186. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  187. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
  188. package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +3 -3
  189. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +5 -5
  190. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
  191. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +4 -4
  192. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +5 -5
  193. package/SVF-doxygen/html/classSVF_1_1TCT.html +3 -3
  194. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
  195. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
  196. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +2 -2
  197. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
  198. package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  199. package/SVF-doxygen/html/classSVF_1_1VFG.html +2 -2
  200. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  201. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +1 -1
  202. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  203. package/SVF-doxygen/html/classSVF_1_1WPAPass.html +3 -3
  204. package/SVF-doxygen/html/functions_a.html +1 -1
  205. package/SVF-doxygen/html/functions_c.html +1 -1
  206. package/SVF-doxygen/html/functions_func.html +1 -1
  207. package/SVF-doxygen/html/functions_func_c.html +1 -1
  208. package/SVF-doxygen/html/functions_func_g.html +24 -18
  209. package/SVF-doxygen/html/functions_func_i.html +17 -11
  210. package/SVF-doxygen/html/functions_g.html +25 -19
  211. package/SVF-doxygen/html/functions_i.html +16 -10
  212. package/SVF-doxygen/html/functions_p.html +19 -23
  213. package/SVF-doxygen/html/functions_r.html +5 -5
  214. package/SVF-doxygen/html/functions_s.html +14 -12
  215. package/SVF-doxygen/html/functions_t.html +7 -7
  216. package/SVF-doxygen/html/functions_v.html +3 -3
  217. package/SVF-doxygen/html/globals_func_t.html +3 -0
  218. package/SVF-doxygen/html/globals_t.html +3 -0
  219. package/SVF-doxygen/html/namespaceSVF.html +45 -36
  220. package/SVF-doxygen/html/namespacemembers.html +1 -1
  221. package/SVF-doxygen/html/namespacemembers_func.html +1 -1
  222. package/SVF-doxygen/html/search/all_0.js +1 -1
  223. package/SVF-doxygen/html/search/all_1.js +1 -1
  224. package/SVF-doxygen/html/search/all_10.js +324 -324
  225. package/SVF-doxygen/html/search/all_11.js +224 -224
  226. package/SVF-doxygen/html/search/all_12.js +541 -541
  227. package/SVF-doxygen/html/search/all_13.js +191 -190
  228. package/SVF-doxygen/html/search/all_14.js +67 -67
  229. package/SVF-doxygen/html/search/all_15.js +170 -170
  230. package/SVF-doxygen/html/search/all_16.js +63 -63
  231. package/SVF-doxygen/html/search/all_17.js +1 -1
  232. package/SVF-doxygen/html/search/all_18.js +1 -1
  233. package/SVF-doxygen/html/search/all_19.js +11 -11
  234. package/SVF-doxygen/html/search/all_1a.js +172 -172
  235. package/SVF-doxygen/html/search/all_3.js +1 -1
  236. package/SVF-doxygen/html/search/all_7.js +457 -455
  237. package/SVF-doxygen/html/search/all_8.js +194 -194
  238. package/SVF-doxygen/html/search/all_9.js +610 -608
  239. package/SVF-doxygen/html/search/all_a.js +46 -46
  240. package/SVF-doxygen/html/search/all_b.js +26 -26
  241. package/SVF-doxygen/html/search/all_c.js +116 -116
  242. package/SVF-doxygen/html/search/all_d.js +196 -196
  243. package/SVF-doxygen/html/search/all_e.js +207 -207
  244. package/SVF-doxygen/html/search/all_f.js +116 -116
  245. package/SVF-doxygen/html/search/classes_0.js +26 -26
  246. package/SVF-doxygen/html/search/classes_1.js +9 -9
  247. package/SVF-doxygen/html/search/classes_10.js +73 -73
  248. package/SVF-doxygen/html/search/classes_11.js +15 -15
  249. package/SVF-doxygen/html/search/classes_12.js +2 -2
  250. package/SVF-doxygen/html/search/classes_13.js +10 -10
  251. package/SVF-doxygen/html/search/classes_14.js +14 -14
  252. package/SVF-doxygen/html/search/classes_15.js +1 -1
  253. package/SVF-doxygen/html/search/classes_2.js +80 -80
  254. package/SVF-doxygen/html/search/classes_3.js +37 -37
  255. package/SVF-doxygen/html/search/classes_4.js +9 -9
  256. package/SVF-doxygen/html/search/classes_5.js +28 -28
  257. package/SVF-doxygen/html/search/classes_6.js +104 -104
  258. package/SVF-doxygen/html/search/classes_7.js +33 -33
  259. package/SVF-doxygen/html/search/classes_8.js +56 -56
  260. package/SVF-doxygen/html/search/classes_9.js +1 -1
  261. package/SVF-doxygen/html/search/classes_a.js +12 -12
  262. package/SVF-doxygen/html/search/classes_b.js +29 -29
  263. package/SVF-doxygen/html/search/classes_c.js +6 -6
  264. package/SVF-doxygen/html/search/classes_d.js +18 -18
  265. package/SVF-doxygen/html/search/classes_e.js +36 -36
  266. package/SVF-doxygen/html/search/classes_f.js +25 -25
  267. package/SVF-doxygen/html/search/defines_0.js +3 -3
  268. package/SVF-doxygen/html/search/defines_1.js +2 -2
  269. package/SVF-doxygen/html/search/defines_2.js +30 -30
  270. package/SVF-doxygen/html/search/defines_3.js +21 -21
  271. package/SVF-doxygen/html/search/defines_4.js +2 -2
  272. package/SVF-doxygen/html/search/defines_5.js +4 -4
  273. package/SVF-doxygen/html/search/defines_6.js +2 -2
  274. package/SVF-doxygen/html/search/defines_7.js +5 -5
  275. package/SVF-doxygen/html/search/defines_8.js +11 -11
  276. package/SVF-doxygen/html/search/defines_9.js +9 -9
  277. package/SVF-doxygen/html/search/defines_a.js +2 -2
  278. package/SVF-doxygen/html/search/defines_b.js +1 -1
  279. package/SVF-doxygen/html/search/defines_c.js +3 -3
  280. package/SVF-doxygen/html/search/defines_d.js +2 -2
  281. package/SVF-doxygen/html/search/defines_e.js +7 -7
  282. package/SVF-doxygen/html/search/defines_f.js +3 -3
  283. package/SVF-doxygen/html/search/enums_0.js +3 -3
  284. package/SVF-doxygen/html/search/enums_1.js +2 -2
  285. package/SVF-doxygen/html/search/enums_10.js +1 -1
  286. package/SVF-doxygen/html/search/enums_11.js +1 -1
  287. package/SVF-doxygen/html/search/enums_2.js +8 -8
  288. package/SVF-doxygen/html/search/enums_3.js +1 -1
  289. package/SVF-doxygen/html/search/enums_4.js +3 -3
  290. package/SVF-doxygen/html/search/enums_5.js +1 -1
  291. package/SVF-doxygen/html/search/enums_6.js +2 -2
  292. package/SVF-doxygen/html/search/enums_7.js +2 -2
  293. package/SVF-doxygen/html/search/enums_8.js +4 -4
  294. package/SVF-doxygen/html/search/enums_9.js +1 -1
  295. package/SVF-doxygen/html/search/enums_a.js +1 -1
  296. package/SVF-doxygen/html/search/enums_b.js +7 -7
  297. package/SVF-doxygen/html/search/enums_c.js +1 -1
  298. package/SVF-doxygen/html/search/enums_d.js +4 -4
  299. package/SVF-doxygen/html/search/enums_e.js +2 -2
  300. package/SVF-doxygen/html/search/enums_f.js +4 -4
  301. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  302. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  303. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  304. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  305. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  306. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  307. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  308. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  309. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  310. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  311. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  312. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  313. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  314. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  315. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  316. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  317. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  318. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  319. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  320. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  321. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  322. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  323. package/SVF-doxygen/html/search/files_0.js +13 -13
  324. package/SVF-doxygen/html/search/files_1.js +7 -7
  325. package/SVF-doxygen/html/search/files_10.js +8 -8
  326. package/SVF-doxygen/html/search/files_11.js +8 -8
  327. package/SVF-doxygen/html/search/files_12.js +2 -2
  328. package/SVF-doxygen/html/search/files_2.js +55 -55
  329. package/SVF-doxygen/html/search/files_3.js +14 -14
  330. package/SVF-doxygen/html/search/files_4.js +5 -5
  331. package/SVF-doxygen/html/search/files_5.js +13 -13
  332. package/SVF-doxygen/html/search/files_6.js +9 -9
  333. package/SVF-doxygen/html/search/files_7.js +14 -14
  334. package/SVF-doxygen/html/search/files_8.js +13 -13
  335. package/SVF-doxygen/html/search/files_9.js +18 -18
  336. package/SVF-doxygen/html/search/files_a.js +3 -3
  337. package/SVF-doxygen/html/search/files_b.js +2 -2
  338. package/SVF-doxygen/html/search/files_c.js +20 -20
  339. package/SVF-doxygen/html/search/files_d.js +4 -4
  340. package/SVF-doxygen/html/search/files_e.js +62 -62
  341. package/SVF-doxygen/html/search/files_f.js +8 -8
  342. package/SVF-doxygen/html/search/functions_0.js +12 -12
  343. package/SVF-doxygen/html/search/functions_1.js +359 -359
  344. package/SVF-doxygen/html/search/functions_10.js +140 -140
  345. package/SVF-doxygen/html/search/functions_11.js +138 -138
  346. package/SVF-doxygen/html/search/functions_12.js +276 -276
  347. package/SVF-doxygen/html/search/functions_13.js +59 -58
  348. package/SVF-doxygen/html/search/functions_14.js +39 -39
  349. package/SVF-doxygen/html/search/functions_15.js +71 -71
  350. package/SVF-doxygen/html/search/functions_16.js +32 -32
  351. package/SVF-doxygen/html/search/functions_17.js +3 -3
  352. package/SVF-doxygen/html/search/functions_18.js +172 -172
  353. package/SVF-doxygen/html/search/functions_2.js +86 -86
  354. package/SVF-doxygen/html/search/functions_3.js +257 -257
  355. package/SVF-doxygen/html/search/functions_4.js +75 -75
  356. package/SVF-doxygen/html/search/functions_5.js +53 -53
  357. package/SVF-doxygen/html/search/functions_6.js +59 -59
  358. package/SVF-doxygen/html/search/functions_7.js +851 -849
  359. package/SVF-doxygen/html/search/functions_8.js +146 -146
  360. package/SVF-doxygen/html/search/functions_9.js +428 -426
  361. package/SVF-doxygen/html/search/functions_a.js +30 -30
  362. package/SVF-doxygen/html/search/functions_b.js +2 -2
  363. package/SVF-doxygen/html/search/functions_c.js +26 -26
  364. package/SVF-doxygen/html/search/functions_d.js +77 -77
  365. package/SVF-doxygen/html/search/functions_e.js +35 -35
  366. package/SVF-doxygen/html/search/functions_f.js +56 -56
  367. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  368. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  369. package/SVF-doxygen/html/search/related_0.js +2 -2
  370. package/SVF-doxygen/html/search/related_1.js +2 -2
  371. package/SVF-doxygen/html/search/related_2.js +2 -2
  372. package/SVF-doxygen/html/search/related_3.js +2 -2
  373. package/SVF-doxygen/html/search/related_4.js +2 -2
  374. package/SVF-doxygen/html/search/related_5.js +1 -1
  375. package/SVF-doxygen/html/search/related_6.js +2 -2
  376. package/SVF-doxygen/html/search/related_7.js +4 -4
  377. package/SVF-doxygen/html/search/related_8.js +2 -2
  378. package/SVF-doxygen/html/search/related_9.js +4 -4
  379. package/SVF-doxygen/html/search/related_a.js +19 -19
  380. package/SVF-doxygen/html/search/related_b.js +4 -4
  381. package/SVF-doxygen/html/search/related_c.js +1 -1
  382. package/SVF-doxygen/html/search/related_d.js +11 -11
  383. package/SVF-doxygen/html/search/related_e.js +2 -2
  384. package/SVF-doxygen/html/search/related_f.js +2 -2
  385. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  386. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  387. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  388. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  389. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  390. package/SVF-doxygen/html/search/typedefs_13.js +35 -35
  391. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  392. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  393. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  394. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  395. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  396. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  397. package/SVF-doxygen/html/search/typedefs_7.js +42 -42
  398. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  399. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  400. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  401. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  402. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  403. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  404. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  405. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  406. package/SVF-doxygen/html/search/variables_0.js +151 -151
  407. package/SVF-doxygen/html/search/variables_1.js +75 -75
  408. package/SVF-doxygen/html/search/variables_10.js +97 -97
  409. package/SVF-doxygen/html/search/variables_11.js +46 -46
  410. package/SVF-doxygen/html/search/variables_12.js +92 -92
  411. package/SVF-doxygen/html/search/variables_13.js +75 -75
  412. package/SVF-doxygen/html/search/variables_14.js +14 -14
  413. package/SVF-doxygen/html/search/variables_15.js +48 -48
  414. package/SVF-doxygen/html/search/variables_16.js +9 -9
  415. package/SVF-doxygen/html/search/variables_17.js +1 -1
  416. package/SVF-doxygen/html/search/variables_18.js +2 -2
  417. package/SVF-doxygen/html/search/variables_2.js +37 -37
  418. package/SVF-doxygen/html/search/variables_3.js +142 -142
  419. package/SVF-doxygen/html/search/variables_4.js +55 -55
  420. package/SVF-doxygen/html/search/variables_5.js +39 -39
  421. package/SVF-doxygen/html/search/variables_6.js +66 -66
  422. package/SVF-doxygen/html/search/variables_7.js +33 -33
  423. package/SVF-doxygen/html/search/variables_8.js +7 -7
  424. package/SVF-doxygen/html/search/variables_9.js +77 -77
  425. package/SVF-doxygen/html/search/variables_a.js +4 -4
  426. package/SVF-doxygen/html/search/variables_b.js +10 -10
  427. package/SVF-doxygen/html/search/variables_c.js +45 -45
  428. package/SVF-doxygen/html/search/variables_d.js +56 -56
  429. package/SVF-doxygen/html/search/variables_e.js +123 -123
  430. package/SVF-doxygen/html/search/variables_f.js +30 -30
  431. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  432. package/SVF-doxygen/html/structSVF_1_1Hash_3_01NodePair_01_4.html +11 -11
  433. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +8 -8
  434. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +11 -11
  435. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +7 -7
  436. package/SVF-doxygen/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +14 -14
  437. package/SVF-doxygen/html/svf-ex_8cpp.html +235 -125
  438. package/SVF-doxygen/html/svf-ex_8cpp_source.html +234 -144
  439. package/package.json +1 -1
  440. package/svf/include/AbstractExecution/SVFIR2ItvExeState.h +5 -5
  441. package/svf/include/MemoryModel/AccessPath.h +24 -6
  442. package/svf/include/SVFIR/SVFStatements.h +2 -2
  443. package/svf/include/SVFIR/SVFType.h +19 -0
  444. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +16 -21
  445. package/svf/lib/MemoryModel/AccessPath.cpp +15 -14
  446. package/svf/lib/SVFIR/SVFType.cpp +7 -0
  447. package/svf-llvm/lib/LLVMUtil.cpp +10 -0
  448. package/svf-llvm/tools/Example/svf-ex.cpp +65 -0
package/SVF-doxygen/html/SVFType_8cpp_source.html CHANGED
@@ -75,76 +75,85 @@ $(function() {
75
75
  <div class="line"><a name="l00004"></a><span class="lineno"> 4</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
76
76
  <div class="line"><a name="l00005"></a><span class="lineno"> 5</span>&#160;{</div>
77
77
  <div class="line"><a name="l00006"></a><span class="lineno"> 6</span>&#160; </div>
78
- <div class="line"><a name="l00007"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825"> 7</a></span>&#160;<a class="code" href="namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825">__attribute__</a>((weak))</div>
79
- <div class="line"><a name="l00008"></a><span class="lineno"> 8</span>&#160;<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">SVFType::toString</a>()<span class="keyword"> const</span></div>
78
+ <div class="line"><a name="l00007"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a270cea6bd661c951716620537919e157"> 7</a></span>&#160;<a class="code" href="namespaceSVF.html#a270cea6bd661c951716620537919e157">__attribute__</a>((weak))</div>
79
+ <div class="line"><a name="l00008"></a><span class="lineno"> 8</span>&#160;<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">SVFType::getLLVMByteSize</a>()<span class="keyword"> const</span></div>
80
80
  <div class="line"><a name="l00009"></a><span class="lineno"> 9</span>&#160;<span class="keyword"></span>{</div>
81
- <div class="line"><a name="l00010"></a><span class="lineno"> 10</span>&#160; std::ostringstream os;</div>
82
- <div class="line"><a name="l00011"></a><span class="lineno"> 11</span>&#160; <a class="code" href="classSVF_1_1SVFType.html#af03420fef3b660f998d0a2f09a18a615">print</a>(os);</div>
83
- <div class="line"><a name="l00012"></a><span class="lineno"> 12</span>&#160; <span class="keywordflow">return</span> os.str();</div>
84
- <div class="line"><a name="l00013"></a><span class="lineno"> 13</span>&#160;}</div>
85
- <div class="line"><a name="l00014"></a><span class="lineno"> 14</span>&#160; </div>
86
- <div class="line"><a name="l00015"></a><span class="lineno"> 15</span>&#160;std::ostream&amp; <a class="code" href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">operator&lt;&lt;</a>(std::ostream&amp; os, <span class="keyword">const</span> SVFType&amp; <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>)</div>
87
- <div class="line"><a name="l00016"></a><span class="lineno"> 16</span>&#160;{</div>
88
- <div class="line"><a name="l00017"></a><span class="lineno"> 17</span>&#160; <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>.print(os);</div>
89
- <div class="line"><a name="l00018"></a><span class="lineno"> 18</span>&#160; <span class="keywordflow">return</span> os;</div>
90
- <div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160;}</div>
91
- <div class="line"><a name="l00020"></a><span class="lineno"> 20</span>&#160; </div>
92
- <div class="line"><a name="l00021"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFPointerType.html#aedbdf4fca0ff69c5eed5b9d87c8dd85f"> 21</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFPointerType.html#aedbdf4fca0ff69c5eed5b9d87c8dd85f">SVFPointerType::print</a>(std::ostream&amp; os)<span class="keyword"> const</span></div>
93
- <div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160;<span class="keyword"></span>{</div>
94
- <div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160; os &lt;&lt; *<a class="code" href="classSVF_1_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea">getPtrElementType</a>() &lt;&lt; <span class="charliteral">&#39;*&#39;</span>;</div>
95
- <div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160;}</div>
96
- <div class="line"><a name="l00025"></a><span class="lineno"> 25</span>&#160; </div>
97
- <div class="line"><a name="l00026"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIntegerType.html#aa65e56b4206e93fec242eb8db4a979a0"> 26</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIntegerType.html#aa65e56b4206e93fec242eb8db4a979a0">SVFIntegerType::print</a>(std::ostream&amp; os)<span class="keyword"> const</span></div>
98
- <div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;<span class="keyword"></span>{</div>
99
- <div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a> &lt; 0)</div>
100
- <div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160; os &lt;&lt; <span class="charliteral">&#39;i&#39;</span> &lt;&lt; -<a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a>;</div>
101
- <div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160; <span class="keywordflow">else</span></div>
102
- <div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160; os &lt;&lt; <span class="charliteral">&#39;u&#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a>;</div>
103
- <div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160;}</div>
104
- <div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160; </div>
105
- <div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunctionType.html#afed021c0d3027c21807330f5038403cc"> 34</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFFunctionType.html#afed021c0d3027c21807330f5038403cc">SVFFunctionType::print</a>(std::ostream&amp; os)<span class="keyword"> const</span></div>
106
- <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="keyword"></span>{</div>
107
- <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160; os &lt;&lt; *<a class="code" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">getReturnType</a>() &lt;&lt; <span class="stringliteral">&quot;()&quot;</span>;</div>
108
- <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;}</div>
109
- <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160; </div>
110
- <div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b"> 39</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b">SVFStructType::print</a>(std::ostream&amp; os)<span class="keyword"> const</span></div>
111
- <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;<span class="keyword"></span>{</div>
112
- <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;S.&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a>;</div>
113
- <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;}</div>
114
- <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; </div>
115
- <div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html#abdee8157ebfbbf181fbd088bdb8a7349"> 44</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFArrayType.html#abdee8157ebfbbf181fbd088bdb8a7349">SVFArrayType::print</a>(std::ostream&amp; os)<span class="keyword"> const</span></div>
116
- <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160;<span class="keyword"></span>{</div>
117
- <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160; os &lt;&lt; <span class="charliteral">&#39;[&#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">numOfElement</a> &lt;&lt; <span class="charliteral">&#39;x&#39;</span> &lt;&lt; *<a class="code" href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">typeOfElement</a> &lt;&lt; <span class="charliteral">&#39;]&#39;</span>;</div>
118
- <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160;}</div>
119
- <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160; </div>
120
- <div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFOtherType.html#a09ccc6569e4a775e21596511a9c58d97"> 49</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFOtherType.html#a09ccc6569e4a775e21596511a9c58d97">SVFOtherType::print</a>(std::ostream&amp; os)<span class="keyword"> const</span></div>
121
- <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160;<span class="keyword"></span>{</div>
122
- <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; os &lt;&lt; <a class="code" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">repr</a>;</div>
123
- <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160;}</div>
124
- <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; </div>
125
- <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;} <span class="comment">// namespace SVF</span></div>
81
+ <div class="line"><a name="l00010"></a><span class="lineno"> 10</span>&#160; assert(<span class="stringliteral">&quot;SVFType::getLLVMByteSize should be implemented or supported by fronted&quot;</span> &amp;&amp; <span class="keyword">false</span>);</div>
82
+ <div class="line"><a name="l00011"></a><span class="lineno"> 11</span>&#160; abort();</div>
83
+ <div class="line"><a name="l00012"></a><span class="lineno"> 12</span>&#160;}</div>
84
+ <div class="line"><a name="l00013"></a><span class="lineno"> 13</span>&#160; </div>
85
+ <div class="line"><a name="l00014"></a><span class="lineno"> 14</span>&#160;<a class="code" href="namespaceSVF.html#a270cea6bd661c951716620537919e157">__attribute__</a>((weak))</div>
86
+ <div class="line"><a name="l00015"></a><span class="lineno"> 15</span>&#160;<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">SVFType::toString</a>()<span class="keyword"> const</span></div>
87
+ <div class="line"><a name="l00016"></a><span class="lineno"> 16</span>&#160;<span class="keyword"></span>{</div>
88
+ <div class="line"><a name="l00017"></a><span class="lineno"> 17</span>&#160; std::ostringstream os;</div>
89
+ <div class="line"><a name="l00018"></a><span class="lineno"> 18</span>&#160; <a class="code" href="classSVF_1_1SVFType.html#af03420fef3b660f998d0a2f09a18a615">print</a>(os);</div>
90
+ <div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160; <span class="keywordflow">return</span> os.str();</div>
91
+ <div class="line"><a name="l00020"></a><span class="lineno"> 20</span>&#160;}</div>
92
+ <div class="line"><a name="l00021"></a><span class="lineno"> 21</span>&#160; </div>
93
+ <div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160;std::ostream&amp; <a class="code" href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">operator&lt;&lt;</a>(std::ostream&amp; os, <span class="keyword">const</span> SVFType&amp; <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>)</div>
94
+ <div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160;{</div>
95
+ <div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160; <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>.print(os);</div>
96
+ <div class="line"><a name="l00025"></a><span class="lineno"> 25</span>&#160; <span class="keywordflow">return</span> os;</div>
97
+ <div class="line"><a name="l00026"></a><span class="lineno"> 26</span>&#160;}</div>
98
+ <div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160; </div>
99
+ <div class="line"><a name="l00028"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFPointerType.html#aedbdf4fca0ff69c5eed5b9d87c8dd85f"> 28</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFPointerType.html#aedbdf4fca0ff69c5eed5b9d87c8dd85f">SVFPointerType::print</a>(std::ostream&amp; os)<span class="keyword"> const</span></div>
100
+ <div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160;<span class="keyword"></span>{</div>
101
+ <div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160; os &lt;&lt; *<a class="code" href="classSVF_1_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea">getPtrElementType</a>() &lt;&lt; <span class="charliteral">&#39;*&#39;</span>;</div>
102
+ <div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;}</div>
103
+ <div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160; </div>
104
+ <div class="line"><a name="l00033"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIntegerType.html#aa65e56b4206e93fec242eb8db4a979a0"> 33</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIntegerType.html#aa65e56b4206e93fec242eb8db4a979a0">SVFIntegerType::print</a>(std::ostream&amp; os)<span class="keyword"> const</span></div>
105
+ <div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;<span class="keyword"></span>{</div>
106
+ <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a> &lt; 0)</div>
107
+ <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160; os &lt;&lt; <span class="charliteral">&#39;i&#39;</span> &lt;&lt; -<a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a>;</div>
108
+ <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160; <span class="keywordflow">else</span></div>
109
+ <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160; os &lt;&lt; <span class="charliteral">&#39;u&#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a>;</div>
110
+ <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;}</div>
111
+ <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; </div>
112
+ <div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunctionType.html#afed021c0d3027c21807330f5038403cc"> 41</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFFunctionType.html#afed021c0d3027c21807330f5038403cc">SVFFunctionType::print</a>(std::ostream&amp; os)<span class="keyword"> const</span></div>
113
+ <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;<span class="keyword"></span>{</div>
114
+ <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; os &lt;&lt; *<a class="code" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">getReturnType</a>() &lt;&lt; <span class="stringliteral">&quot;()&quot;</span>;</div>
115
+ <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160;}</div>
116
+ <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160; </div>
117
+ <div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b"> 46</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b">SVFStructType::print</a>(std::ostream&amp; os)<span class="keyword"> const</span></div>
118
+ <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160;<span class="keyword"></span>{</div>
119
+ <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;S.&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a>;</div>
120
+ <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160;}</div>
121
+ <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; </div>
122
+ <div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html#abdee8157ebfbbf181fbd088bdb8a7349"> 51</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFArrayType.html#abdee8157ebfbbf181fbd088bdb8a7349">SVFArrayType::print</a>(std::ostream&amp; os)<span class="keyword"> const</span></div>
123
+ <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160;<span class="keyword"></span>{</div>
124
+ <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; os &lt;&lt; <span class="charliteral">&#39;[&#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">numOfElement</a> &lt;&lt; <span class="charliteral">&#39;x&#39;</span> &lt;&lt; *<a class="code" href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">typeOfElement</a> &lt;&lt; <span class="charliteral">&#39;]&#39;</span>;</div>
125
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;}</div>
126
+ <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; </div>
127
+ <div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFOtherType.html#a09ccc6569e4a775e21596511a9c58d97"> 56</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFOtherType.html#a09ccc6569e4a775e21596511a9c58d97">SVFOtherType::print</a>(std::ostream&amp; os)<span class="keyword"> const</span></div>
128
+ <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160;<span class="keyword"></span>{</div>
129
+ <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; os &lt;&lt; <a class="code" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">repr</a>;</div>
130
+ <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160;}</div>
131
+ <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; </div>
132
+ <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160;} <span class="comment">// namespace SVF</span></div>
126
133
  </div><!-- fragment --></div><!-- contents -->
127
- <div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a395841ef9448d7d78df53aff374e6f7a"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">SVF::SVFArrayType::typeOfElement</a></div><div class="ttdeci">const SVFType * typeOfElement</div><div class="ttdoc">For printing &amp; debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00450">SVFType.h:450</a></div></div>
128
- <div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_a887e8255bb19f85d80d737ac753f0a87"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">SVF::SVFIntegerType::signAndWidth</a></div><div class="ttdeci">short signAndWidth</div><div class="ttdoc">For printing.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00363">SVFType.h:363</a></div></div>
129
- <div class="ttc" id="anamespaceSVF_html_a49a1be0ba69daf3b4f695f41ad812825"><div class="ttname"><a href="namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825">SVF::__attribute__</a></div><div class="ttdeci">__attribute__((weak)) std</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00007">SVFType.cpp:7</a></div></div>
130
- <div class="ttc" id="aclassSVF_1_1SVFStructType_html_ab801eeb012f9c462bca9745afdb2c43b"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b">SVF::SVFStructType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00039">SVFType.cpp:39</a></div></div>
134
+ <div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a395841ef9448d7d78df53aff374e6f7a"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">SVF::SVFArrayType::typeOfElement</a></div><div class="ttdeci">const SVFType * typeOfElement</div><div class="ttdoc">For printing &amp; debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00462">SVFType.h:462</a></div></div>
135
+ <div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_a887e8255bb19f85d80d737ac753f0a87"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">SVF::SVFIntegerType::signAndWidth</a></div><div class="ttdeci">short signAndWidth</div><div class="ttdoc">For printing.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00375">SVFType.h:375</a></div></div>
136
+ <div class="ttc" id="aclassSVF_1_1SVFStructType_html_ab801eeb012f9c462bca9745afdb2c43b"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b">SVF::SVFStructType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00046">SVFType.cpp:46</a></div></div>
131
137
  <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#l00065">BasicTypes.h:65</a></div></div>
132
138
  <div class="ttc" id="anamespaceSVF_html_af95793adab8fb9aa19e19027e73372a6"><div class="ttname"><a href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">SVF::operator&lt;&lt;</a></div><div class="ttdeci">IntervalValue operator&lt;&lt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Left binary shift of IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00736">IntervalValue.h:736</a></div></div>
133
139
  <div class="ttc" id="aSVFType_8h_html"><div class="ttname"><a href="SVFType_8h.html">SVFType.h</a></div></div>
134
- <div class="ttc" id="aclassSVF_1_1SVFOtherType_html_a09ccc6569e4a775e21596511a9c58d97"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#a09ccc6569e4a775e21596511a9c58d97">SVF::SVFOtherType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00049">SVFType.cpp:49</a></div></div>
140
+ <div class="ttc" id="aclassSVF_1_1SVFOtherType_html_a09ccc6569e4a775e21596511a9c58d97"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#a09ccc6569e4a775e21596511a9c58d97">SVF::SVFOtherType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00056">SVFType.cpp:56</a></div></div>
135
141
  <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>
136
- <div class="ttc" id="aclassSVF_1_1SVFPointerType_html_aedbdf4fca0ff69c5eed5b9d87c8dd85f"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#aedbdf4fca0ff69c5eed5b9d87c8dd85f">SVF::SVFPointerType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00021">SVFType.cpp:21</a></div></div>
142
+ <div class="ttc" id="aclassSVF_1_1SVFPointerType_html_aedbdf4fca0ff69c5eed5b9d87c8dd85f"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#aedbdf4fca0ff69c5eed5b9d87c8dd85f">SVF::SVFPointerType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00028">SVFType.cpp:28</a></div></div>
143
+ <div class="ttc" id="aclassSVF_1_1SVFType_html_a0091b8b186ad359a1b54ac7e0ee1e5d0"><div class="ttname"><a href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">SVF::SVFType::getLLVMByteSize</a></div><div class="ttdeci">u32_t getLLVMByteSize() const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
137
144
  <div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
138
- <div class="ttc" id="aclassSVF_1_1SVFArrayType_html_abdee8157ebfbbf181fbd088bdb8a7349"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#abdee8157ebfbbf181fbd088bdb8a7349">SVF::SVFArrayType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00044">SVFType.cpp:44</a></div></div>
145
+ <div class="ttc" id="aclassSVF_1_1SVFArrayType_html_abdee8157ebfbbf181fbd088bdb8a7349"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#abdee8157ebfbbf181fbd088bdb8a7349">SVF::SVFArrayType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00051">SVFType.cpp:51</a></div></div>
139
146
  <div class="ttc" id="aclassSVF_1_1SVFType_html_af03420fef3b660f998d0a2f09a18a615"><div class="ttname"><a href="classSVF_1_1SVFType.html#af03420fef3b660f998d0a2f09a18a615">SVF::SVFType::print</a></div><div class="ttdeci">virtual void print(std::ostream &amp;os) const =0</div></div>
140
- <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_afed021c0d3027c21807330f5038403cc"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#afed021c0d3027c21807330f5038403cc">SVF::SVFFunctionType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00034">SVFType.cpp:34</a></div></div>
147
+ <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_afed021c0d3027c21807330f5038403cc"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#afed021c0d3027c21807330f5038403cc">SVF::SVFFunctionType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00041">SVFType.cpp:41</a></div></div>
141
148
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a9035ac13134de4647d63507cd80ca3d6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">SVF::SVFType::toString</a></div><div class="ttdeci">std::string toString() const</div></div>
142
- <div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a5438a991fcd2a1cf1409464125d2c31b"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">SVF::SVFArrayType::numOfElement</a></div><div class="ttdeci">unsigned numOfElement</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00449">SVFType.h:449</a></div></div>
143
- <div class="ttc" id="aclassSVF_1_1SVFPointerType_html_a067e8f095942e095aa1721dee3a241ea"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea">SVF::SVFPointerType::getPtrElementType</a></div><div class="ttdeci">const SVFType * getPtrElementType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00349">SVFType.h:349</a></div></div>
144
- <div class="ttc" id="aclassSVF_1_1SVFStructType_html_a21782d68a616fb955d4988382eea61cf"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">SVF::SVFStructType::name</a></div><div class="ttdeci">std::string name</div><div class="ttdoc">Field for printing &amp; debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00417">SVFType.h:417</a></div></div>
145
- <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a74ce115a0fa958f259469b521468a2b3"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">SVF::SVFFunctionType::getReturnType</a></div><div class="ttdeci">const SVFType * getReturnType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00402">SVFType.h:402</a></div></div>
146
- <div class="ttc" id="aclassSVF_1_1SVFOtherType_html_aff34f4a447b923dbb524c30adcb4aef3"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">SVF::SVFOtherType::repr</a></div><div class="ttdeci">std::string repr</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00482">SVFType.h:482</a></div></div>
147
- <div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_aa65e56b4206e93fec242eb8db4a979a0"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#aa65e56b4206e93fec242eb8db4a979a0">SVF::SVFIntegerType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00026">SVFType.cpp:26</a></div></div>
149
+ <div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a5438a991fcd2a1cf1409464125d2c31b"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">SVF::SVFArrayType::numOfElement</a></div><div class="ttdeci">unsigned numOfElement</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00461">SVFType.h:461</a></div></div>
150
+ <div class="ttc" id="aclassSVF_1_1SVFPointerType_html_a067e8f095942e095aa1721dee3a241ea"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea">SVF::SVFPointerType::getPtrElementType</a></div><div class="ttdeci">const SVFType * getPtrElementType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00361">SVFType.h:361</a></div></div>
151
+ <div class="ttc" id="aclassSVF_1_1SVFStructType_html_a21782d68a616fb955d4988382eea61cf"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">SVF::SVFStructType::name</a></div><div class="ttdeci">std::string name</div><div class="ttdoc">Field for printing &amp; debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00429">SVFType.h:429</a></div></div>
152
+ <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a74ce115a0fa958f259469b521468a2b3"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">SVF::SVFFunctionType::getReturnType</a></div><div class="ttdeci">const SVFType * getReturnType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00414">SVFType.h:414</a></div></div>
153
+ <div class="ttc" id="anamespaceSVF_html_a270cea6bd661c951716620537919e157"><div class="ttname"><a href="namespaceSVF.html#a270cea6bd661c951716620537919e157">SVF::__attribute__</a></div><div class="ttdeci">__attribute__((weak)) u32_t SVFType</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00007">SVFType.cpp:7</a></div></div>
154
+ <div class="ttc" id="aclassSVF_1_1SVFOtherType_html_aff34f4a447b923dbb524c30adcb4aef3"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">SVF::SVFOtherType::repr</a></div><div class="ttdeci">std::string repr</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00501">SVFType.h:501</a></div></div>
155
+ <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="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
156
+ <div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_aa65e56b4206e93fec242eb8db4a979a0"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#aa65e56b4206e93fec242eb8db4a979a0">SVF::SVFIntegerType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00033">SVFType.cpp:33</a></div></div>
148
157
  <!-- start footer part -->
149
158
  <hr class="footer"/><address class="footer"><small>
150
159
  Generated by &#160;<a href="http://www.doxygen.org/index.html">
package/SVF-doxygen/html/SVFType_8h.html CHANGED
@@ -290,7 +290,7 @@ Functions</h2></td></tr>
290
290
  </table>
291
291
  </div><div class="memdoc">
292
292
 
293
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00572">572</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
293
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00591">591</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
294
294
 
295
295
  </div>
296
296
  </div>
@@ -306,7 +306,7 @@ Functions</h2></td></tr>
306
306
  </table>
307
307
  </div><div class="memdoc">
308
308
 
309
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00562">562</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
309
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00581">581</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
310
310
 
311
311
  </div>
312
312
  </div>
@@ -338,7 +338,7 @@ Functions</h2></td></tr>
338
338
 
339
339
  <p>LLVM debug macros, define type of your DBUG model of each pass. </p>
340
340
 
341
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00543">543</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
341
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00562">562</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
342
342
 
343
343
  </div>
344
344
  </div>
@@ -354,7 +354,7 @@ Functions</h2></td></tr>
354
354
  </table>
355
355
  </div><div class="memdoc">
356
356
 
357
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00558">558</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
357
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00577">577</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
358
358
 
359
359
  </div>
360
360
  </div>
@@ -370,7 +370,7 @@ Functions</h2></td></tr>
370
370
  </table>
371
371
  </div><div class="memdoc">
372
372
 
373
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00565">565</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
373
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00584">584</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
374
374
 
375
375
  </div>
376
376
  </div>
@@ -386,7 +386,7 @@ Functions</h2></td></tr>
386
386
  </table>
387
387
  </div><div class="memdoc">
388
388
 
389
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00554">554</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
389
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00573">573</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
390
390
 
391
391
  </div>
392
392
  </div>
@@ -402,7 +402,7 @@ Functions</h2></td></tr>
402
402
  </table>
403
403
  </div><div class="memdoc">
404
404
 
405
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00555">555</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
405
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00574">574</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
406
406
 
407
407
  </div>
408
408
  </div>
@@ -418,7 +418,7 @@ Functions</h2></td></tr>
418
418
  </table>
419
419
  </div><div class="memdoc">
420
420
 
421
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00556">556</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
421
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00575">575</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
422
422
 
423
423
  </div>
424
424
  </div>
@@ -435,7 +435,7 @@ Functions</h2></td></tr>
435
435
  </div><div class="memdoc">
436
436
  <p>General debug flag is for each phase of a pass, it is often in a colorful output format </p>
437
437
 
438
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00549">549</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
438
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00568">568</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
439
439
 
440
440
  </div>
441
441
  </div>
@@ -451,7 +451,7 @@ Functions</h2></td></tr>
451
451
  </table>
452
452
  </div><div class="memdoc">
453
453
 
454
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00561">561</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
454
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00580">580</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
455
455
 
456
456
  </div>
457
457
  </div>
@@ -467,7 +467,7 @@ Functions</h2></td></tr>
467
467
  </table>
468
468
  </div><div class="memdoc">
469
469
 
470
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00552">552</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
470
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00571">571</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
471
471
 
472
472
  </div>
473
473
  </div>
@@ -483,7 +483,7 @@ Functions</h2></td></tr>
483
483
  </table>
484
484
  </div><div class="memdoc">
485
485
 
486
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00553">553</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
486
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00572">572</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
487
487
 
488
488
  </div>
489
489
  </div>
@@ -499,7 +499,7 @@ Functions</h2></td></tr>
499
499
  </table>
500
500
  </div><div class="memdoc">
501
501
 
502
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00560">560</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
502
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00579">579</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
503
503
 
504
504
  </div>
505
505
  </div>
@@ -515,7 +515,7 @@ Functions</h2></td></tr>
515
515
  </table>
516
516
  </div><div class="memdoc">
517
517
 
518
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00564">564</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
518
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00583">583</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
519
519
 
520
520
  </div>
521
521
  </div>
@@ -535,7 +535,7 @@ Functions</h2></td></tr>
535
535
  </table>
536
536
  </div><div class="memdoc">
537
537
 
538
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00544">544</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
538
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00563">563</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
539
539
 
540
540
  </div>
541
541
  </div>
@@ -555,7 +555,7 @@ Functions</h2></td></tr>
555
555
  </table>
556
556
  </div><div class="memdoc">
557
557
 
558
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00545">545</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
558
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00564">564</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
559
559
 
560
560
  </div>
561
561
  </div>
@@ -571,7 +571,7 @@ Functions</h2></td></tr>
571
571
  </table>
572
572
  </div><div class="memdoc">
573
573
 
574
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00551">551</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
574
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00570">570</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
575
575
 
576
576
  </div>
577
577
  </div>
@@ -587,7 +587,7 @@ Functions</h2></td></tr>
587
587
  </table>
588
588
  </div><div class="memdoc">
589
589
 
590
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00557">557</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
590
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00576">576</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
591
591
 
592
592
  </div>
593
593
  </div>
@@ -603,7 +603,7 @@ Functions</h2></td></tr>
603
603
  </table>
604
604
  </div><div class="memdoc">
605
605
 
606
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00563">563</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
606
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00582">582</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
607
607
 
608
608
  </div>
609
609
  </div>
@@ -619,7 +619,7 @@ Functions</h2></td></tr>
619
619
  </table>
620
620
  </div><div class="memdoc">
621
621
 
622
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00559">559</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
622
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00578">578</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
623
623
 
624
624
  </div>
625
625
  </div>
@@ -637,7 +637,7 @@ Functions</h2></td></tr>
637
637
 
638
638
  <p>Size of native integer that we'll use for bit vectors, in bits. </p>
639
639
 
640
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00575">575</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
640
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00594">594</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
641
641
 
642
642
  </div>
643
643
  </div>
@@ -670,7 +670,7 @@ Functions</h2></td></tr>
670
670
  <div class="line"> { \</div>
671
671
  <div class="line"> } <span class="keywordflow">while</span> (<span class="keyword">false</span>)</div>
672
672
  </div><!-- fragment -->
673
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00536">536</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
673
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00555">555</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
674
674
 
675
675
  </div>
676
676
  </div>
@@ -686,7 +686,7 @@ Functions</h2></td></tr>
686
686
  </table>
687
687
  </div><div class="memdoc">
688
688
 
689
- <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00571">571</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
689
+ <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00590">590</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
690
690
 
691
691
  </div>
692
692
  </div>