svf-tools 1.0.757 → 1.0.759

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 (844) hide show
  1. package/CMakeLists.txt +7 -0
  2. package/README.md +2 -2
  3. package/SVF-doxygen/html/html/AccessPath_8cpp_source.html +4 -4
  4. package/SVF-doxygen/html/html/AddressValue_8h_source.html +1 -1
  5. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +8 -8
  8. package/SVF-doxygen/html/html/Andersen_8h_source.html +3 -3
  9. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/html/CFBasicBlockG_8cpp_source.html +4 -4
  11. package/SVF-doxygen/html/html/CFBasicBlockG_8h_source.html +2 -2
  12. package/SVF-doxygen/html/html/CFGrammar_8cpp_source.html +11 -8
  13. package/SVF-doxygen/html/html/CFGrammar_8h_source.html +1 -1
  14. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +9 -9
  15. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +1 -1
  16. package/SVF-doxygen/html/html/CFLVF_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +17 -17
  18. package/SVF-doxygen/html/html/CHG_8cpp.html +2 -2
  19. package/SVF-doxygen/html/html/CHG_8cpp_source.html +7 -7
  20. package/SVF-doxygen/html/html/CHG_8h_source.html +4 -4
  21. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +6 -6
  22. package/SVF-doxygen/html/html/CallGraphBuilder_8h_source.html +1 -1
  23. package/SVF-doxygen/html/html/Casting_8h_source.html +1 -1
  24. package/SVF-doxygen/html/html/CommandLine_8h_source.html +2 -1
  25. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +1 -1
  26. package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
  27. package/SVF-doxygen/html/html/ConsExeState_8h_source.html +1 -1
  28. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +3 -3
  29. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  30. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +2 -2
  31. package/SVF-doxygen/html/html/CoreBitVector_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +2 -2
  33. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +11 -11
  34. package/SVF-doxygen/html/html/DCHG_8h_source.html +3 -3
  35. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +3 -3
  36. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  37. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
  38. package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
  39. package/SVF-doxygen/html/html/DPItem_8h_source.html +1 -1
  40. package/SVF-doxygen/html/html/ExeState_8h_source.html +1 -1
  41. package/SVF-doxygen/html/html/ExtAPI_8cpp.html +0 -196
  42. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +121 -786
  43. package/SVF-doxygen/html/html/ExtAPI_8h.html +2 -67
  44. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +69 -654
  45. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +2 -2
  46. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +2 -2
  47. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +2 -2
  48. package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +1 -1
  49. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +3 -3
  50. package/SVF-doxygen/html/html/GraphTraits_8h_source.html +1 -1
  51. package/SVF-doxygen/html/html/GraphWriter_8h_source.html +1 -1
  52. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +13 -13
  53. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +2 -2
  54. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +1 -1
  55. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +4 -4
  56. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +7 -7
  57. package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
  58. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +2 -2
  59. package/SVF-doxygen/html/html/IRGraph_8h_source.html +1 -1
  60. package/SVF-doxygen/html/html/IntervalExeState_8h_source.html +2 -2
  61. package/SVF-doxygen/html/html/IntervalValue_8h.html +1 -1
  62. package/SVF-doxygen/html/html/IntervalValue_8h_source.html +2 -2
  63. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +6 -6
  64. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8h_source.html +1 -1
  65. package/SVF-doxygen/html/html/LLVMModule_8cpp.html +3 -4
  66. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1411 -1292
  67. package/SVF-doxygen/html/html/LLVMModule_8h.html +1 -0
  68. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +418 -400
  69. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +744 -616
  70. package/SVF-doxygen/html/html/LLVMUtil_8h.html +9 -1
  71. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +485 -472
  72. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +2 -2
  73. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +14 -14
  74. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +2 -2
  75. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +8 -8
  76. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +5 -5
  77. package/SVF-doxygen/html/html/MHP_8cpp_source.html +15 -15
  78. package/SVF-doxygen/html/html/MHP_8h_source.html +4 -4
  79. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +4 -4
  80. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  81. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +4 -4
  82. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +7 -7
  83. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +7 -7
  84. package/SVF-doxygen/html/html/MTA_8cpp_source.html +4 -4
  85. package/SVF-doxygen/html/html/MTA_8h_source.html +1 -1
  86. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +13 -13
  87. package/SVF-doxygen/html/html/MemRegion_8h_source.html +1 -1
  88. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +21 -21
  89. package/SVF-doxygen/html/html/MemSSA_8h_source.html +2 -2
  90. package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html +2 -2
  91. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +2 -2
  92. package/SVF-doxygen/html/html/NodeIDAllocator_8h_source.html +1 -1
  93. package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +1 -1
  94. package/SVF-doxygen/html/html/Options_8cpp_source.html +9 -8
  95. package/SVF-doxygen/html/html/PCG_8cpp_source.html +13 -13
  96. package/SVF-doxygen/html/html/PCG_8h_source.html +3 -3
  97. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +3 -3
  98. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +2 -2
  99. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +1 -1
  100. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +3 -3
  101. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +12 -12
  102. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
  103. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +2 -2
  104. package/SVF-doxygen/html/html/PointsTo_8h_source.html +1 -1
  105. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +2 -2
  106. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +1 -1
  107. package/SVF-doxygen/html/html/RelExeState_8h_source.html +1 -1
  108. package/SVF-doxygen/html/html/SVFBugReport_8cpp_source.html +362 -365
  109. package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +25 -25
  110. package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +2087 -2084
  111. package/SVF-doxygen/html/html/SVFFileSystem_8h.html +1 -1
  112. package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html +62 -62
  113. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +5 -5
  114. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +2 -2
  115. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +1 -1
  116. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +5 -5
  117. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8cpp_source.html +6 -6
  118. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +5 -5
  119. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +458 -531
  120. package/SVF-doxygen/html/html/SVFIRBuilder_8h.html +1 -1
  121. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +211 -233
  122. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp.html +2 -0
  123. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +286 -682
  124. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +4 -4
  125. package/SVF-doxygen/html/html/SVFIR_8h_source.html +3 -3
  126. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +9 -9
  127. package/SVF-doxygen/html/html/SVFModule_8h.html +0 -1
  128. package/SVF-doxygen/html/html/SVFModule_8h_source.html +258 -260
  129. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +8 -8
  130. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +5 -5
  131. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +18 -18
  132. package/SVF-doxygen/html/html/SVFType_8h_source.html +6 -6
  133. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +8 -7
  134. package/SVF-doxygen/html/html/SVFUtil_8h.html +6 -11
  135. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +392 -405
  136. package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +14 -13
  137. package/SVF-doxygen/html/html/SVFValue_8h_source.html +1038 -1030
  138. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +2 -2
  139. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +1 -1
  140. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  141. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +14 -14
  142. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +6 -6
  143. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  144. package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +2 -2
  145. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +2 -2
  146. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +2 -2
  147. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +5 -5
  148. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +1 -1
  149. package/SVF-doxygen/html/html/SymState_8cpp_source.html +1 -1
  150. package/SVF-doxygen/html/html/SymState_8h_source.html +2 -2
  151. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +30 -30
  152. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +2 -2
  153. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +6 -6
  154. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +5 -5
  155. package/SVF-doxygen/html/html/TCT_8cpp_source.html +16 -16
  156. package/SVF-doxygen/html/html/TCT_8h_source.html +8 -8
  157. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +14 -14
  158. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +5 -5
  159. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +2 -2
  160. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +3 -3
  161. package/SVF-doxygen/html/html/VFGNode_8h_source.html +2 -2
  162. package/SVF-doxygen/html/html/VFG_8cpp_source.html +2 -2
  163. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
  164. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +2 -2
  165. package/SVF-doxygen/html/html/WPAPass_8h_source.html +1 -1
  166. package/SVF-doxygen/html/html/WPASolver_8h_source.html +1 -1
  167. package/SVF-doxygen/html/html/WTO_8h_source.html +1 -1
  168. package/SVF-doxygen/html/html/annotated.html +2 -5
  169. package/SVF-doxygen/html/html/cJSON_8cpp.html +2 -1
  170. package/SVF-doxygen/html/html/cJSON_8cpp_source.html +2 -1
  171. package/SVF-doxygen/html/html/cJSON_8h_source.html +1 -1
  172. package/SVF-doxygen/html/html/cfl_8cpp.html +2 -2
  173. package/SVF-doxygen/html/html/cfl_8cpp_source.html +2 -2
  174. package/SVF-doxygen/html/html/classOption.html +2 -1
  175. package/SVF-doxygen/html/html/classSVF_1_1AccessPath.html +6 -6
  176. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +2 -2
  177. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +2 -2
  178. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +1 -1
  179. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +2 -2
  180. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +1 -1
  181. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +4 -4
  182. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
  183. package/SVF-doxygen/html/html/classSVF_1_1AddressValue.html +1 -1
  184. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +1 -1
  185. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +1 -1
  186. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +13 -13
  187. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +3 -3
  188. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +4 -4
  189. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +3 -3
  190. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +1 -1
  191. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +3 -3
  192. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
  193. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +2 -2
  194. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +3 -3
  195. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +5 -5
  196. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
  197. package/SVF-doxygen/html/html/classSVF_1_1BitVector.html +1 -1
  198. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +3 -3
  199. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +1 -1
  200. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
  201. package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug.html +50 -50
  202. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTO.html +1 -1
  203. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
  204. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +2 -2
  205. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +2 -2
  206. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +9 -9
  207. package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +1 -1
  208. package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +1 -1
  209. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +18 -18
  210. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +5 -5
  211. package/SVF-doxygen/html/html/classSVF_1_1CHNode.html +1 -1
  212. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +1 -1
  213. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +3 -3
  214. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +6 -6
  215. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +3 -3
  216. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +1 -1
  217. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +3 -3
  218. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +95 -95
  219. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +5 -5
  220. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
  221. package/SVF-doxygen/html/html/classSVF_1_1CondPointsToSet.html +3 -3
  222. package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +2 -2
  223. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +7 -7
  224. package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +1 -1
  225. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +2 -2
  226. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +4 -4
  227. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
  228. package/SVF-doxygen/html/html/classSVF_1_1CoreBitVector.html +4 -4
  229. package/SVF-doxygen/html/html/classSVF_1_1CxtDPItem.html +1 -1
  230. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +1 -1
  231. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +1 -1
  232. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +1 -1
  233. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +9 -9
  234. package/SVF-doxygen/html/html/classSVF_1_1DCHNode.html +1 -1
  235. package/SVF-doxygen/html/html/classSVF_1_1DPItem.html +1 -1
  236. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeBug.html +35 -35
  237. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +3 -3
  238. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +2 -2
  239. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +2 -2
  240. package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +1 -1
  241. package/SVF-doxygen/html/html/classSVF_1_1EntryCHI.html +2 -2
  242. package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +1 -1
  243. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +8 -77
  244. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +130 -1337
  245. package/SVF-doxygen/html/html/classSVF_1_1FILOWorkList.html +1 -1
  246. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +3 -3
  247. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +4 -4
  248. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +1 -1
  249. package/SVF-doxygen/html/html/classSVF_1_1FileNeverCloseBug.html +10 -10
  250. package/SVF-doxygen/html/html/classSVF_1_1FilePartialCloseBug.html +35 -35
  251. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +4 -4
  252. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  253. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +12 -12
  254. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +1 -1
  255. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +1 -1
  256. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +1 -1
  257. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +1 -1
  258. package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug.html +10 -10
  259. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +4 -4
  260. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +5 -5
  261. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +2 -2
  262. package/SVF-doxygen/html/html/classSVF_1_1GenericBug.html +9 -13
  263. package/SVF-doxygen/html/html/classSVF_1_1GenericGraphReader.html +1 -1
  264. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +2 -2
  265. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +3 -3
  266. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +4 -4
  267. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
  268. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +3 -3
  269. package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +1 -1
  270. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +11 -8
  271. package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +2 -2
  272. package/SVF-doxygen/html/html/classSVF_1_1GraphWriter.html +1 -1
  273. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +2 -2
  274. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +13 -13
  275. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  276. package/SVF-doxygen/html/html/classSVF_1_1ICFGWriter.html +11 -11
  277. package/SVF-doxygen/html/html/classSVF_1_1InterICFGNode.html +1 -1
  278. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +2 -2
  279. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +2 -2
  280. package/SVF-doxygen/html/html/classSVF_1_1IntervalExeState.html +3 -3
  281. package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html +1 -1
  282. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +1 -1
  283. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +4 -4
  284. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +1 -1
  285. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +2 -2
  286. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +5 -5
  287. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +42 -40
  288. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1586 -1455
  289. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +5 -5
  290. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +4 -4
  291. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
  292. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +15 -15
  293. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +8 -8
  294. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +18 -18
  295. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +3 -3
  296. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +14 -14
  297. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
  298. package/SVF-doxygen/html/html/classSVF_1_1MSSACHI.html +4 -4
  299. package/SVF-doxygen/html/html/classSVF_1_1MSSADEF.html +2 -2
  300. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHI.html +2 -2
  301. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +2 -2
  302. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +4 -4
  303. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +8 -8
  304. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +2 -2
  305. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +7 -7
  306. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
  307. package/SVF-doxygen/html/html/classSVF_1_1MemRegion.html +1 -1
  308. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +24 -24
  309. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +4 -4
  310. package/SVF-doxygen/html/html/classSVF_1_1MutableIncDFPTData.html +6 -6
  311. package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug.html +10 -10
  312. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
  313. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +1 -1
  314. package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +1 -1
  315. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +3 -3
  316. package/SVF-doxygen/html/html/classSVF_1_1Options.html +1 -1
  317. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +14 -14
  318. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
  319. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +3 -3
  320. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +1 -1
  321. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +2 -2
  322. package/SVF-doxygen/html/html/classSVF_1_1PartialLeakBug.html +34 -34
  323. package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug.html +10 -10
  324. package/SVF-doxygen/html/html/classSVF_1_1PersistentIncDFPTData.html +3 -3
  325. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +5 -5
  326. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +11 -11
  327. package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +3 -3
  328. package/SVF-doxygen/html/html/classSVF_1_1PointsTo_1_1PointsToIterator.html +1 -1
  329. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +3 -3
  330. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +7 -7
  331. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +3 -3
  332. package/SVF-doxygen/html/html/classSVF_1_1ReaderIDToObjMap.html +2 -2
  333. package/SVF-doxygen/html/html/classSVF_1_1ReaderPtrPool.html +2 -2
  334. package/SVF-doxygen/html/html/classSVF_1_1RelExeState.html +1 -1
  335. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +1 -1
  336. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +3 -3
  337. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +3 -3
  338. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +2 -2
  339. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html +30 -30
  340. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +75 -75
  341. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html +15 -15
  342. package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +50 -50
  343. package/SVF-doxygen/html/html/classSVF_1_1SVFBugReport.html +88 -88
  344. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html +67 -67
  345. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html +17 -17
  346. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html +23 -23
  347. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html +21 -21
  348. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html +27 -27
  349. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html +15 -15
  350. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +15 -13
  351. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +222 -153
  352. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +5 -5
  353. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +5 -5
  354. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +3 -3
  355. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +34 -34
  356. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +7 -7
  357. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ConsExeState.html +5 -5
  358. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +5 -5
  359. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +64 -73
  360. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +915 -1777
  361. package/SVF-doxygen/html/html/classSVF_1_1SVFIRReader.html +1128 -1126
  362. package/SVF-doxygen/html/html/classSVF_1_1SVFIRWriter.html +548 -547
  363. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +53 -53
  364. package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo.html +3 -3
  365. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html +15 -15
  366. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +173 -173
  367. package/SVF-doxygen/html/html/classSVF_1_1SVFModuleReader.html +1 -1
  368. package/SVF-doxygen/html/html/classSVF_1_1SVFModuleWriter.html +23 -23
  369. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherType.html +1 -1
  370. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue.html +11 -11
  371. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +8 -8
  372. package/SVF-doxygen/html/html/classSVF_1_1SVFStructType.html +1 -1
  373. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +27 -27
  374. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +4 -4
  375. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html +53 -53
  376. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +15 -15
  377. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  378. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +5 -5
  379. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +1 -1
  380. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +3 -3
  381. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +12 -12
  382. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +6 -6
  383. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +1 -1
  384. package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +2 -2
  385. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +4 -4
  386. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +1 -1
  387. package/SVF-doxygen/html/html/classSVF_1_1SymState.html +3 -3
  388. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +34 -34
  389. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +11 -11
  390. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfoReader.html +1 -1
  391. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +18 -18
  392. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +1 -1
  393. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +4 -4
  394. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +4 -4
  395. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +8 -8
  396. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
  397. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +5 -5
  398. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +4 -4
  399. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +3 -3
  400. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +2 -2
  401. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +2 -2
  402. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  403. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +3 -3
  404. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +2 -2
  405. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
  406. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  407. package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver.html +1 -1
  408. package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver.html +1 -1
  409. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
  410. package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver.html +1 -1
  411. package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html +3 -3
  412. package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.html +1 -1
  413. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy.html +1 -1
  414. package/SVF-doxygen/html/html/classSVF_1_1iter__range.html +1 -1
  415. package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.html +1 -1
  416. package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator.html +1 -1
  417. package/SVF-doxygen/html/html/classes.html +335 -338
  418. package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
  419. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  420. package/SVF-doxygen/html/html/dir_fee120689dee99ef16f8bfcaa7a76083.html +2 -0
  421. package/SVF-doxygen/html/html/extapi_8c.html +1950 -0
  422. package/SVF-doxygen/html/html/extapi_8c_source.html +1488 -0
  423. package/SVF-doxygen/html/html/fastcluster_8cpp.html +1 -1
  424. package/SVF-doxygen/html/html/fastcluster_8cpp_source.html +3 -3
  425. package/SVF-doxygen/html/html/fastcluster_8h.html +2 -2
  426. package/SVF-doxygen/html/html/fastcluster_8h_source.html +4 -4
  427. package/SVF-doxygen/html/html/files.html +10 -9
  428. package/SVF-doxygen/html/html/functions_a.html +17 -27
  429. package/SVF-doxygen/html/html/functions_b.html +9 -12
  430. package/SVF-doxygen/html/html/functions_c.html +26 -70
  431. package/SVF-doxygen/html/html/functions_d.html +3 -7
  432. package/SVF-doxygen/html/html/functions_e.html +4 -121
  433. package/SVF-doxygen/html/html/functions_enum.html +0 -6
  434. package/SVF-doxygen/html/html/functions_eval.html +0 -1
  435. package/SVF-doxygen/html/html/functions_eval_c.html +1 -15
  436. package/SVF-doxygen/html/html/functions_eval_e.html +0 -96
  437. package/SVF-doxygen/html/html/functions_eval_g.html +1 -2
  438. package/SVF-doxygen/html/html/functions_eval_l.html +0 -1
  439. package/SVF-doxygen/html/html/functions_eval_m.html +0 -6
  440. package/SVF-doxygen/html/html/functions_eval_o.html +0 -3
  441. package/SVF-doxygen/html/html/functions_eval_r.html +0 -6
  442. package/SVF-doxygen/html/html/functions_eval_s.html +0 -1
  443. package/SVF-doxygen/html/html/functions_f.html +16 -19
  444. package/SVF-doxygen/html/html/functions_func.html +6 -18
  445. package/SVF-doxygen/html/html/functions_func_e.html +1 -13
  446. package/SVF-doxygen/html/html/functions_func_g.html +24 -91
  447. package/SVF-doxygen/html/html/functions_func_h.html +9 -12
  448. package/SVF-doxygen/html/html/functions_func_i.html +16 -28
  449. package/SVF-doxygen/html/html/functions_func_n.html +0 -3
  450. package/SVF-doxygen/html/html/functions_func_p.html +3 -12
  451. package/SVF-doxygen/html/html/functions_func_s.html +20 -83
  452. package/SVF-doxygen/html/html/functions_g.html +32 -100
  453. package/SVF-doxygen/html/html/functions_h.html +6 -9
  454. package/SVF-doxygen/html/html/functions_i.html +16 -28
  455. package/SVF-doxygen/html/html/functions_l.html +0 -1
  456. package/SVF-doxygen/html/html/functions_m.html +1 -7
  457. package/SVF-doxygen/html/html/functions_n.html +4 -7
  458. package/SVF-doxygen/html/html/functions_o.html +31 -44
  459. package/SVF-doxygen/html/html/functions_p.html +18 -29
  460. package/SVF-doxygen/html/html/functions_r.html +9 -16
  461. package/SVF-doxygen/html/html/functions_s.html +16 -84
  462. package/SVF-doxygen/html/html/functions_t.html +4 -10
  463. package/SVF-doxygen/html/html/functions_v.html +3 -3
  464. package/SVF-doxygen/html/html/functions_vars_a.html +3 -0
  465. package/SVF-doxygen/html/html/functions_vars_b.html +0 -3
  466. package/SVF-doxygen/html/html/functions_vars_c.html +1 -23
  467. package/SVF-doxygen/html/html/functions_vars_d.html +1 -5
  468. package/SVF-doxygen/html/html/functions_vars_e.html +2 -8
  469. package/SVF-doxygen/html/html/functions_vars_f.html +0 -3
  470. package/SVF-doxygen/html/html/functions_vars_o.html +0 -9
  471. package/SVF-doxygen/html/html/functions_vars_r.html +1 -2
  472. package/SVF-doxygen/html/html/functions_vars_s.html +1 -5
  473. package/SVF-doxygen/html/html/functions_vars_t.html +0 -6
  474. package/SVF-doxygen/html/html/globals.html +22 -4
  475. package/SVF-doxygen/html/html/globals_a.html +3 -0
  476. package/SVF-doxygen/html/html/globals_b.html +3 -0
  477. package/SVF-doxygen/html/html/globals_defs.html +3 -9
  478. package/SVF-doxygen/html/html/globals_e.html +0 -3
  479. package/SVF-doxygen/html/html/globals_f.html +11 -2
  480. package/SVF-doxygen/html/html/globals_func.html +159 -15
  481. package/SVF-doxygen/html/html/globals_g.html +13 -4
  482. package/SVF-doxygen/html/html/globals_i.html +41 -2
  483. package/SVF-doxygen/html/html/globals_j.html +3 -6
  484. package/SVF-doxygen/html/html/globals_l.html +3 -0
  485. package/SVF-doxygen/html/html/globals_m.html +8 -2
  486. package/SVF-doxygen/html/html/globals_n.html +2 -1
  487. package/SVF-doxygen/html/html/globals_p.html +1 -4
  488. package/SVF-doxygen/html/html/globals_r.html +12 -6
  489. package/SVF-doxygen/html/html/globals_s.html +33 -0
  490. package/SVF-doxygen/html/html/globals_t.html +3 -0
  491. package/SVF-doxygen/html/html/hierarchy.html +526 -529
  492. package/SVF-doxygen/html/html/iterator_8h_source.html +1 -1
  493. package/SVF-doxygen/html/html/iterator__range_8h_source.html +1 -1
  494. package/SVF-doxygen/html/html/llvm2svf_8cpp.html +1 -1
  495. package/SVF-doxygen/html/html/llvm2svf_8cpp_source.html +1 -1
  496. package/SVF-doxygen/html/html/menudata.js +3 -0
  497. package/SVF-doxygen/html/html/mta_8cpp.html +1 -1
  498. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  499. package/SVF-doxygen/html/html/namespaceSVF.html +154 -153
  500. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +1003 -776
  501. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +305 -375
  502. package/SVF-doxygen/html/html/namespacemembers_func_g.html +11 -5
  503. package/SVF-doxygen/html/html/namespacemembers_func_i.html +11 -14
  504. package/SVF-doxygen/html/html/namespacemembers_func_r.html +6 -0
  505. package/SVF-doxygen/html/html/namespacemembers_g.html +11 -5
  506. package/SVF-doxygen/html/html/namespacemembers_i.html +8 -11
  507. package/SVF-doxygen/html/html/namespacemembers_r.html +6 -0
  508. package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
  509. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  510. package/SVF-doxygen/html/html/search/all_0.js +153 -147
  511. package/SVF-doxygen/html/html/search/all_1.js +476 -478
  512. package/SVF-doxygen/html/html/search/all_10.js +323 -327
  513. package/SVF-doxygen/html/html/search/all_11.js +212 -209
  514. package/SVF-doxygen/html/html/search/all_12.js +536 -547
  515. package/SVF-doxygen/html/html/search/all_13.js +188 -189
  516. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  517. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  518. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  519. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  520. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  521. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  522. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  523. package/SVF-doxygen/html/html/search/all_2.js +159 -159
  524. package/SVF-doxygen/html/html/search/all_3.js +597 -608
  525. package/SVF-doxygen/html/html/search/all_4.js +226 -227
  526. package/SVF-doxygen/html/html/search/all_5.js +116 -156
  527. package/SVF-doxygen/html/html/search/all_6.js +225 -223
  528. package/SVF-doxygen/html/html/search/all_7.js +996 -1012
  529. package/SVF-doxygen/html/html/search/all_8.js +191 -192
  530. package/SVF-doxygen/html/html/search/all_9.js +605 -597
  531. package/SVF-doxygen/html/html/search/all_a.js +46 -47
  532. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  533. package/SVF-doxygen/html/html/search/all_c.js +114 -113
  534. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  535. package/SVF-doxygen/html/html/search/all_e.js +205 -206
  536. package/SVF-doxygen/html/html/search/all_f.js +116 -122
  537. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  538. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  539. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  540. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  541. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  542. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  543. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  544. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  545. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  546. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  547. package/SVF-doxygen/html/html/search/classes_4.js +8 -10
  548. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  549. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  550. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  551. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  552. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  553. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  554. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  555. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  556. package/SVF-doxygen/html/html/search/classes_d.js +18 -19
  557. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  558. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  559. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  560. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  561. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  562. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  563. package/SVF-doxygen/html/html/search/defines_4.js +2 -3
  564. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  565. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  566. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  567. package/SVF-doxygen/html/html/search/defines_8.js +11 -13
  568. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  569. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  570. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  571. package/SVF-doxygen/html/html/search/defines_c.js +3 -2
  572. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  573. package/SVF-doxygen/html/html/search/defines_e.js +6 -6
  574. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  575. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  576. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  577. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  578. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  579. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  580. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  581. package/SVF-doxygen/html/html/search/enums_4.js +3 -4
  582. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  583. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  584. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  585. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  586. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  587. package/SVF-doxygen/html/html/search/enums_a.js +1 -2
  588. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  589. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  590. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  591. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  592. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  593. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  594. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  595. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  596. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  597. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  598. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  599. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  600. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  601. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -40
  602. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  603. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -34
  604. package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -48
  605. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  606. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  607. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  608. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  609. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -17
  610. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  611. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -6
  612. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  613. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -11
  614. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  615. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  616. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  617. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  618. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  619. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  620. package/SVF-doxygen/html/html/search/files_2.js +49 -49
  621. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  622. package/SVF-doxygen/html/html/search/files_4.js +5 -4
  623. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  624. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  625. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  626. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  627. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  628. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  629. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  630. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  631. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  632. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  633. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  634. package/SVF-doxygen/html/html/search/functions_0.js +6 -351
  635. package/SVF-doxygen/html/html/search/functions_1.js +348 -81
  636. package/SVF-doxygen/html/html/search/functions_10.js +139 -122
  637. package/SVF-doxygen/html/html/search/functions_11.js +126 -283
  638. package/SVF-doxygen/html/html/search/functions_12.js +273 -55
  639. package/SVF-doxygen/html/html/search/functions_13.js +56 -38
  640. package/SVF-doxygen/html/html/search/functions_14.js +38 -71
  641. package/SVF-doxygen/html/html/search/functions_15.js +71 -29
  642. package/SVF-doxygen/html/html/search/functions_16.js +29 -2
  643. package/SVF-doxygen/html/html/search/functions_17.js +2 -169
  644. package/SVF-doxygen/html/html/search/functions_18.html +30 -0
  645. package/SVF-doxygen/html/html/search/functions_18.js +172 -0
  646. package/SVF-doxygen/html/html/search/functions_2.js +82 -251
  647. package/SVF-doxygen/html/html/search/functions_3.js +251 -71
  648. package/SVF-doxygen/html/html/search/functions_4.js +71 -55
  649. package/SVF-doxygen/html/html/search/functions_5.js +51 -55
  650. package/SVF-doxygen/html/html/search/functions_6.js +58 -832
  651. package/SVF-doxygen/html/html/search/functions_7.js +816 -144
  652. package/SVF-doxygen/html/html/search/functions_8.js +143 -417
  653. package/SVF-doxygen/html/html/search/functions_9.js +425 -29
  654. package/SVF-doxygen/html/html/search/functions_a.js +30 -2
  655. package/SVF-doxygen/html/html/search/functions_b.js +2 -23
  656. package/SVF-doxygen/html/html/search/functions_c.js +24 -75
  657. package/SVF-doxygen/html/html/search/functions_d.js +77 -35
  658. package/SVF-doxygen/html/html/search/functions_e.js +34 -56
  659. package/SVF-doxygen/html/html/search/functions_f.js +56 -143
  660. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  661. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  662. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  663. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  664. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  665. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  666. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  667. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  668. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  669. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  670. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  671. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  672. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  673. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  674. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  675. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  676. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  677. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  678. package/SVF-doxygen/html/html/search/searchdata.js +1 -1
  679. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  680. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  681. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  682. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  683. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  684. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  685. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  686. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  687. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  688. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  689. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  690. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  691. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  692. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  693. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  694. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  695. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  696. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  697. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  698. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  699. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  700. package/SVF-doxygen/html/html/search/variables_0.js +147 -147
  701. package/SVF-doxygen/html/html/search/variables_1.js +75 -74
  702. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  703. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  704. package/SVF-doxygen/html/html/search/variables_12.js +92 -93
  705. package/SVF-doxygen/html/html/search/variables_13.js +75 -77
  706. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  707. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  708. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  709. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  710. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  711. package/SVF-doxygen/html/html/search/variables_2.js +34 -35
  712. package/SVF-doxygen/html/html/search/variables_3.js +141 -148
  713. package/SVF-doxygen/html/html/search/variables_4.js +55 -56
  714. package/SVF-doxygen/html/html/search/variables_5.js +38 -40
  715. package/SVF-doxygen/html/html/search/variables_6.js +66 -67
  716. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  717. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  718. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  719. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  720. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  721. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  722. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  723. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  724. package/SVF-doxygen/html/html/search/variables_f.js +30 -33
  725. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  726. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  727. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +2 -2
  728. package/SVF-doxygen/html/html/structSVF_1_1MemRegion_1_1equalMemRegion.html +1 -1
  729. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__iterable.html +1 -1
  730. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__iterable_3_01T_00_01void__t_3_01decltype_07std_1_1begin_07std_1_1dec794949348c8e1e00603fd8633b6dd1f3.html +1 -1
  731. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map.html +1 -1
  732. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1map_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  733. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1unordered__map_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  734. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container.html +1 -1
  735. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1deque_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  736. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1list_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  737. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1vector_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  738. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set.html +1 -1
  739. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1set_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  740. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1unordered__set_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  741. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1make__void.html +4 -4
  742. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +7 -7
  743. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  744. package/SVF-doxygen/html/html/svf-ex_8cpp.html +3 -3
  745. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +4 -4
  746. package/SVF-doxygen/html/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +9 -9
  747. package/SVF-doxygen/html/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +9 -9
  748. package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
  749. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  750. package/build.sh +1 -1
  751. package/package.json +1 -1
  752. package/svf/include/AbstractExecution/ConsExeState.h +1 -1
  753. package/svf/include/AbstractExecution/IntervalExeState.h +1 -1
  754. package/svf/include/AbstractExecution/IntervalValue.h +1 -1
  755. package/svf/include/AbstractExecution/SymState.h +1 -1
  756. package/svf/include/CFL/CFGrammar.h +1 -1
  757. package/svf/include/CFL/GrammarBuilder.h +3 -3
  758. package/svf/include/FastCluster/fastcluster.h +4 -4
  759. package/svf/include/Graphs/CHG.h +1 -1
  760. package/svf/include/Graphs/ConsG.h +3 -3
  761. package/svf/include/Graphs/GenericGraph.h +2 -2
  762. package/svf/include/Graphs/GraphTraits.h +1 -1
  763. package/svf/include/Graphs/GraphWriter.h +1 -1
  764. package/svf/include/Graphs/IRGraph.h +1 -1
  765. package/svf/include/Graphs/PTACallGraph.h +1 -1
  766. package/svf/include/Graphs/VFGNode.h +2 -2
  767. package/svf/include/MSSA/MSSAMuChi.h +2 -2
  768. package/svf/include/MSSA/MemRegion.h +1 -1
  769. package/svf/include/MSSA/MemSSA.h +1 -1
  770. package/svf/include/MTA/FSMPTA.h +1 -1
  771. package/svf/include/MTA/MHP.h +1 -1
  772. package/svf/include/MTA/TCT.h +1 -1
  773. package/svf/include/MemoryModel/ConditionalPT.h +1 -1
  774. package/svf/include/MemoryModel/MutablePointsToDS.h +2 -2
  775. package/svf/include/MemoryModel/PersistentPointsToDS.h +1 -1
  776. package/svf/include/MemoryModel/PointerAnalysis.h +1 -1
  777. package/svf/include/MemoryModel/PointsTo.h +1 -1
  778. package/svf/include/SABER/SaberCondAllocator.h +1 -1
  779. package/svf/include/SABER/SrcSnkDDA.h +1 -1
  780. package/svf/include/SVFIR/SVFFileSystem.h +3 -3
  781. package/svf/include/SVFIR/SVFIR.h +1 -1
  782. package/svf/include/SVFIR/SVFModule.h +0 -1
  783. package/svf/include/SVFIR/SVFStatements.h +19 -19
  784. package/svf/include/SVFIR/SVFType.h +5 -5
  785. package/svf/include/SVFIR/SVFValue.h +8 -2
  786. package/svf/include/SVFIR/SVFVariables.h +3 -3
  787. package/svf/include/SVFIR/SymbolTableInfo.h +3 -3
  788. package/svf/include/Util/Casting.h +1 -1
  789. package/svf/include/Util/CoreBitVector.h +2 -2
  790. package/svf/include/Util/DPItem.h +1 -1
  791. package/svf/include/Util/ExtAPI.h +11 -457
  792. package/svf/include/Util/NodeIDAllocator.h +1 -1
  793. package/svf/include/Util/Options.h +1 -1
  794. package/svf/include/Util/SVFBugReport.h +1 -1
  795. package/svf/include/Util/SVFUtil.h +11 -26
  796. package/svf/include/Util/WorkList.h +1 -1
  797. package/svf/include/Util/cJSON.h +1 -1
  798. package/svf/include/WPA/Andersen.h +1 -1
  799. package/svf/include/WPA/FlowSensitive.h +1 -1
  800. package/svf/include/WPA/WPASolver.h +1 -1
  801. package/svf/lib/AbstractExecution/SVFIR2ConsExeState.cpp +1 -1
  802. package/svf/lib/CFL/CFGNormalizer.cpp +2 -2
  803. package/svf/lib/CFL/CFLAlias.cpp +2 -2
  804. package/svf/lib/CFL/CFLGraphBuilder.cpp +2 -2
  805. package/svf/lib/CFL/CFLVF.cpp +1 -1
  806. package/svf/lib/DDA/ContextDDA.cpp +1 -1
  807. package/svf/lib/FastCluster/fastcluster.cpp +3 -3
  808. package/svf/lib/Graphs/ConsG.cpp +1 -1
  809. package/svf/lib/Graphs/SVFGOPT.cpp +2 -2
  810. package/svf/lib/Graphs/VFG.cpp +2 -2
  811. package/svf/lib/MSSA/MemRegion.cpp +1 -1
  812. package/svf/lib/MTA/FSMPTA.cpp +1 -1
  813. package/svf/lib/MTA/LockAnalysis.cpp +1 -1
  814. package/svf/lib/MTA/MHP.cpp +1 -1
  815. package/svf/lib/MemoryModel/AccessPath.cpp +2 -2
  816. package/svf/lib/SABER/ProgSlice.cpp +1 -1
  817. package/svf/lib/SABER/SaberCondAllocator.cpp +1 -1
  818. package/svf/lib/SVFIR/SVFFileSystem.cpp +3 -1
  819. package/svf/lib/SVFIR/SVFIR.cpp +3 -3
  820. package/svf/lib/SVFIR/SVFValue.cpp +5 -5
  821. package/svf/lib/SVFIR/SymbolTableInfo.cpp +2 -2
  822. package/svf/lib/Util/ExtAPI.cpp +36 -595
  823. package/svf/lib/Util/NodeIDAllocator.cpp +2 -2
  824. package/svf/lib/Util/Options.cpp +8 -8
  825. package/svf/lib/Util/SVFBugReport.cpp +0 -2
  826. package/svf/lib/Util/SVFUtil.cpp +2 -2
  827. package/svf/lib/Util/extapi.c +1348 -0
  828. package/svf/lib/WPA/Andersen.cpp +6 -6
  829. package/svf/lib/WPA/VersionedFlowSensitive.cpp +2 -2
  830. package/svf-llvm/CMakeLists.txt +1 -1
  831. package/svf-llvm/include/SVF-LLVM/GEPTypeBridgeIterator.h +1 -1
  832. package/svf-llvm/include/SVF-LLVM/LLVMModule.h +17 -0
  833. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +14 -1
  834. package/svf-llvm/include/SVF-LLVM/SVFIRBuilder.h +5 -14
  835. package/svf-llvm/include/SVF-LLVM/SymbolTableBuilder.h +1 -1
  836. package/svf-llvm/lib/BreakConstantExpr.cpp +1 -1
  837. package/svf-llvm/lib/ICFGBuilder.cpp +2 -2
  838. package/svf-llvm/lib/LLVMModule.cpp +160 -46
  839. package/svf-llvm/lib/LLVMUtil.cpp +121 -0
  840. package/svf-llvm/lib/SVFIRBuilder.cpp +12 -81
  841. package/svf-llvm/lib/SVFIRExtAPI.cpp +161 -536
  842. package/svf-llvm/lib/SymbolTableBuilder.cpp +2 -2
  843. package/svf-llvm/tools/MTA/MTAResultValidator.cpp +1 -1
  844. package/svf/include/Util/ExtAPI.json +0 -5853
package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html CHANGED
@@ -235,7 +235,7 @@ Friends</h2></td></tr>
235
235
  </table>
236
236
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
237
237
  <div class="textblock">
238
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00041">41</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
238
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00040">40</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
239
239
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
240
240
  <a id="abee99d29b7d4c4915a386895c755009c"></a>
241
241
  <h2 class="memtitle"><span class="permalink"><a href="#abee99d29b7d4c4915a386895c755009c">&#9670;&nbsp;</a></span>alias_iterator</h2>
@@ -249,7 +249,7 @@ Friends</h2></td></tr>
249
249
  </table>
250
250
  </div><div class="memdoc">
251
251
 
252
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00058">58</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
252
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00057">57</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
253
253
 
254
254
  </div>
255
255
  </div>
@@ -265,7 +265,7 @@ Friends</h2></td></tr>
265
265
  </table>
266
266
  </div><div class="memdoc">
267
267
 
268
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00049">49</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
268
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00048">48</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
269
269
 
270
270
  </div>
271
271
  </div>
@@ -281,7 +281,7 @@ Friends</h2></td></tr>
281
281
  </table>
282
282
  </div><div class="memdoc">
283
283
 
284
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00060">60</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
284
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00059">59</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
285
285
 
286
286
  </div>
287
287
  </div>
@@ -297,7 +297,7 @@ Friends</h2></td></tr>
297
297
  </table>
298
298
  </div><div class="memdoc">
299
299
 
300
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00059">59</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
300
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00058">58</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
301
301
 
302
302
  </div>
303
303
  </div>
@@ -313,7 +313,7 @@ Friends</h2></td></tr>
313
313
  </table>
314
314
  </div><div class="memdoc">
315
315
 
316
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00061">61</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
316
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00060">60</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
317
317
 
318
318
  </div>
319
319
  </div>
@@ -329,7 +329,7 @@ Friends</h2></td></tr>
329
329
  </table>
330
330
  </div><div class="memdoc">
331
331
 
332
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00057">57</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
332
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00056">56</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
333
333
 
334
334
  </div>
335
335
  </div>
@@ -345,7 +345,7 @@ Friends</h2></td></tr>
345
345
  </table>
346
346
  </div><div class="memdoc">
347
347
 
348
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00055">55</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
348
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00054">54</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
349
349
 
350
350
  </div>
351
351
  </div>
@@ -361,7 +361,7 @@ Friends</h2></td></tr>
361
361
  </table>
362
362
  </div><div class="memdoc">
363
363
 
364
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00063">63</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
364
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00062">62</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
365
365
 
366
366
  </div>
367
367
  </div>
@@ -377,7 +377,7 @@ Friends</h2></td></tr>
377
377
  </table>
378
378
  </div><div class="memdoc">
379
379
 
380
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00050">50</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
380
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00049">49</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
381
381
 
382
382
  </div>
383
383
  </div>
@@ -393,7 +393,7 @@ Friends</h2></td></tr>
393
393
  </table>
394
394
  </div><div class="memdoc">
395
395
 
396
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00047">47</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
396
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00046">46</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
397
397
 
398
398
  </div>
399
399
  </div>
@@ -409,7 +409,7 @@ Friends</h2></td></tr>
409
409
  </table>
410
410
  </div><div class="memdoc">
411
411
 
412
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00056">56</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
412
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00055">55</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
413
413
 
414
414
  </div>
415
415
  </div>
@@ -425,7 +425,7 @@ Friends</h2></td></tr>
425
425
  </table>
426
426
  </div><div class="memdoc">
427
427
 
428
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00048">48</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
428
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00047">47</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
429
429
 
430
430
  </div>
431
431
  </div>
@@ -443,7 +443,7 @@ Friends</h2></td></tr>
443
443
 
444
444
  <p>Iterators type def. </p>
445
445
 
446
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00054">54</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
446
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00053">53</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
447
447
 
448
448
  </div>
449
449
  </div>
@@ -459,7 +459,7 @@ Friends</h2></td></tr>
459
459
  </table>
460
460
  </div><div class="memdoc">
461
461
 
462
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00051">51</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
462
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00050">50</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
463
463
 
464
464
  </div>
465
465
  </div>
@@ -475,7 +475,7 @@ Friends</h2></td></tr>
475
475
  </table>
476
476
  </div><div class="memdoc">
477
477
 
478
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00062">62</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
478
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00061">61</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
479
479
 
480
480
  </div>
481
481
  </div>
@@ -562,11 +562,11 @@ Friends</h2></td></tr>
562
562
  </table>
563
563
  </div><div class="memdoc">
564
564
 
565
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00116">116</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
566
- <div class="fragment"><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; {</div>
567
- <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.push_back(alias);</div>
568
- <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">addConstant</a>(alias);</div>
569
- <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; }</div>
565
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00115">115</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
566
+ <div class="fragment"><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; {</div>
567
+ <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.push_back(alias);</div>
568
+ <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">addConstant</a>(alias);</div>
569
+ <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; }</div>
570
570
  </div><!-- fragment -->
571
571
  </div>
572
572
  </div>
@@ -594,10 +594,10 @@ Friends</h2></td></tr>
594
594
  </table>
595
595
  </div><div class="memdoc">
596
596
 
597
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00121">121</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
598
- <div class="fragment"><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; {</div>
599
- <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.push_back(cd);</div>
600
- <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; }</div>
597
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00120">120</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
598
+ <div class="fragment"><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; {</div>
599
+ <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.push_back(cd);</div>
600
+ <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; }</div>
601
601
  </div><!-- fragment -->
602
602
  </div>
603
603
  </div>
@@ -625,10 +625,10 @@ Friends</h2></td></tr>
625
625
  </table>
626
626
  </div><div class="memdoc">
627
627
 
628
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00107">107</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
629
- <div class="fragment"><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; {</div>
630
- <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.push_back(svfFunc);</div>
631
- <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; }</div>
628
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00106">106</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
629
+ <div class="fragment"><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; {</div>
630
+ <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.push_back(svfFunc);</div>
631
+ <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; }</div>
632
632
  </div><!-- fragment -->
633
633
  </div>
634
634
  </div>
@@ -656,11 +656,11 @@ Friends</h2></td></tr>
656
656
  </table>
657
657
  </div><div class="memdoc">
658
658
 
659
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00111">111</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
660
- <div class="fragment"><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; {</div>
661
- <div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.push_back(glob);</div>
662
- <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">addConstant</a>(glob);</div>
663
- <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; }</div>
659
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00110">110</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
660
+ <div class="fragment"><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; {</div>
661
+ <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.push_back(glob);</div>
662
+ <div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">addConstant</a>(glob);</div>
663
+ <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; }</div>
664
664
  </div><!-- fragment -->
665
665
  </div>
666
666
  </div>
@@ -688,10 +688,10 @@ Friends</h2></td></tr>
688
688
  </table>
689
689
  </div><div class="memdoc">
690
690
 
691
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00125">125</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
692
- <div class="fragment"><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; {</div>
693
- <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">OtherValueSet</a>.push_back(ov);</div>
694
- <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; }</div>
691
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00124">124</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
692
+ <div class="fragment"><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; {</div>
693
+ <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">OtherValueSet</a>.push_back(ov);</div>
694
+ <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; }</div>
695
695
  </div><!-- fragment -->
696
696
  </div>
697
697
  </div>
@@ -718,10 +718,10 @@ Friends</h2></td></tr>
718
718
  </table>
719
719
  </div><div class="memdoc">
720
720
 
721
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00168">168</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
722
- <div class="fragment"><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; {</div>
723
- <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.begin();</div>
724
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; }</div>
721
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00167">167</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
722
+ <div class="fragment"><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; {</div>
723
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.begin();</div>
724
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; }</div>
725
725
  </div><!-- fragment -->
726
726
  </div>
727
727
  </div>
@@ -748,10 +748,10 @@ Friends</h2></td></tr>
748
748
  </table>
749
749
  </div><div class="memdoc">
750
750
 
751
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00172">172</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
752
- <div class="fragment"><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; {</div>
753
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.begin();</div>
754
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; }</div>
751
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00171">171</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
752
+ <div class="fragment"><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; {</div>
753
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.begin();</div>
754
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; }</div>
755
755
  </div><!-- fragment -->
756
756
  </div>
757
757
  </div>
@@ -778,10 +778,10 @@ Friends</h2></td></tr>
778
778
  </table>
779
779
  </div><div class="memdoc">
780
780
 
781
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00176">176</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
782
- <div class="fragment"><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; {</div>
783
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.end();</div>
784
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div>
781
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00175">175</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
782
+ <div class="fragment"><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; {</div>
783
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.end();</div>
784
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; }</div>
785
785
  </div><!-- fragment -->
786
786
  </div>
787
787
  </div>
@@ -808,10 +808,10 @@ Friends</h2></td></tr>
808
808
  </table>
809
809
  </div><div class="memdoc">
810
810
 
811
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00180">180</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
812
- <div class="fragment"><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; {</div>
813
- <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.end();</div>
814
- <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; }</div>
811
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00179">179</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
812
+ <div class="fragment"><div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; {</div>
813
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.end();</div>
814
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; }</div>
815
815
  </div><!-- fragment -->
816
816
  </div>
817
817
  </div>
@@ -839,10 +839,10 @@ Friends</h2></td></tr>
839
839
  </div><div class="memdoc">
840
840
  <p>Iterators </p>
841
841
 
842
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00134">134</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
843
- <div class="fragment"><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; {</div>
844
- <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.begin();</div>
845
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; }</div>
842
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00133">133</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
843
+ <div class="fragment"><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; {</div>
844
+ <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.begin();</div>
845
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; }</div>
846
846
  </div><!-- fragment -->
847
847
  </div>
848
848
  </div>
@@ -869,10 +869,10 @@ Friends</h2></td></tr>
869
869
  </table>
870
870
  </div><div class="memdoc">
871
871
 
872
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00138">138</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
873
- <div class="fragment"><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; {</div>
874
- <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.begin();</div>
875
- <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; }</div>
872
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00137">137</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
873
+ <div class="fragment"><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; {</div>
874
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.begin();</div>
875
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; }</div>
876
876
  </div><!-- fragment -->
877
877
  </div>
878
878
  </div>
@@ -899,10 +899,10 @@ Friends</h2></td></tr>
899
899
  </table>
900
900
  </div><div class="memdoc">
901
901
 
902
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00185">185</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
903
- <div class="fragment"><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; {</div>
904
- <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.begin();</div>
905
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; }</div>
902
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00184">184</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
903
+ <div class="fragment"><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; {</div>
904
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.begin();</div>
905
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; }</div>
906
906
  </div><!-- fragment -->
907
907
  </div>
908
908
  </div>
@@ -929,10 +929,10 @@ Friends</h2></td></tr>
929
929
  </table>
930
930
  </div><div class="memdoc">
931
931
 
932
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00189">189</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
933
- <div class="fragment"><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; {</div>
934
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.begin();</div>
935
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; }</div>
932
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00188">188</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
933
+ <div class="fragment"><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; {</div>
934
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.begin();</div>
935
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; }</div>
936
936
  </div><!-- fragment -->
937
937
  </div>
938
938
  </div>
@@ -959,10 +959,10 @@ Friends</h2></td></tr>
959
959
  </table>
960
960
  </div><div class="memdoc">
961
961
 
962
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00193">193</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
963
- <div class="fragment"><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; {</div>
964
- <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.end();</div>
965
- <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; }</div>
962
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00192">192</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
963
+ <div class="fragment"><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; {</div>
964
+ <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.end();</div>
965
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; }</div>
966
966
  </div><!-- fragment -->
967
967
  </div>
968
968
  </div>
@@ -989,10 +989,10 @@ Friends</h2></td></tr>
989
989
  </table>
990
990
  </div><div class="memdoc">
991
991
 
992
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00197">197</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
993
- <div class="fragment"><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; {</div>
994
- <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.end();</div>
995
- <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; }</div>
992
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00196">196</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
993
+ <div class="fragment"><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; {</div>
994
+ <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.end();</div>
995
+ <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; }</div>
996
996
  </div><!-- fragment -->
997
997
  </div>
998
998
  </div>
@@ -1019,10 +1019,10 @@ Friends</h2></td></tr>
1019
1019
  </table>
1020
1020
  </div><div class="memdoc">
1021
1021
 
1022
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00142">142</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1023
- <div class="fragment"><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; {</div>
1024
- <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.end();</div>
1025
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; }</div>
1022
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00141">141</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1023
+ <div class="fragment"><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; {</div>
1024
+ <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.end();</div>
1025
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; }</div>
1026
1026
  </div><!-- fragment -->
1027
1027
  </div>
1028
1028
  </div>
@@ -1049,10 +1049,10 @@ Friends</h2></td></tr>
1049
1049
  </table>
1050
1050
  </div><div class="memdoc">
1051
1051
 
1052
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00146">146</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1053
- <div class="fragment"><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; {</div>
1054
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.end();</div>
1055
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; }</div>
1052
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00145">145</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1053
+ <div class="fragment"><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; {</div>
1054
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.end();</div>
1055
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; }</div>
1056
1056
  </div><!-- fragment -->
1057
1057
  </div>
1058
1058
  </div>
@@ -1079,10 +1079,10 @@ Friends</h2></td></tr>
1079
1079
  </table>
1080
1080
  </div><div class="memdoc">
1081
1081
 
1082
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00229">229</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1083
- <div class="fragment"><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; {</div>
1084
- <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>;</div>
1085
- <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; }</div>
1082
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00228">228</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1083
+ <div class="fragment"><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; {</div>
1084
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>;</div>
1085
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; }</div>
1086
1086
  </div><!-- fragment -->
1087
1087
  </div>
1088
1088
  </div>
@@ -1109,10 +1109,10 @@ Friends</h2></td></tr>
1109
1109
  </table>
1110
1110
  </div><div class="memdoc">
1111
1111
 
1112
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00221">221</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1113
- <div class="fragment"><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; {</div>
1114
- <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>;</div>
1115
- <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; }</div>
1112
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00220">220</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1113
+ <div class="fragment"><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; {</div>
1114
+ <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>;</div>
1115
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; }</div>
1116
1116
  </div><!-- fragment -->
1117
1117
  </div>
1118
1118
  </div>
@@ -1139,10 +1139,10 @@ Friends</h2></td></tr>
1139
1139
  </table>
1140
1140
  </div><div class="memdoc">
1141
1141
 
1142
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00217">217</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1143
- <div class="fragment"><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; {</div>
1144
- <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>;</div>
1145
- <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; }</div>
1142
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00216">216</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1143
+ <div class="fragment"><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; {</div>
1144
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>;</div>
1145
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; }</div>
1146
1146
  </div><!-- fragment -->
1147
1147
  </div>
1148
1148
  </div>
@@ -1169,10 +1169,10 @@ Friends</h2></td></tr>
1169
1169
  </table>
1170
1170
  </div><div class="memdoc">
1171
1171
 
1172
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00225">225</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1173
- <div class="fragment"><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; {</div>
1174
- <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>;</div>
1175
- <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; }</div>
1172
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00224">224</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1173
+ <div class="fragment"><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; {</div>
1174
+ <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>;</div>
1175
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; }</div>
1176
1176
  </div><!-- fragment -->
1177
1177
  </div>
1178
1178
  </div>
@@ -1199,19 +1199,19 @@ Friends</h2></td></tr>
1199
1199
  </table>
1200
1200
  </div><div class="memdoc">
1201
1201
 
1202
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00203">203</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1203
- <div class="fragment"><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; {</div>
1204
- <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>.empty())</div>
1205
- <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; {</div>
1206
- <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; assert(!<a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>.empty() &amp;&amp;</div>
1207
- <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <span class="stringliteral">&quot;No module found! Reading from a file other than LLVM-IR?&quot;</span>);</div>
1208
- <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div>
1209
- <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; }</div>
1210
- <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; <span class="keywordflow">else</span></div>
1211
- <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; {</div>
1212
- <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>;</div>
1213
- <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div>
1214
- <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; }</div>
1202
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00202">202</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1203
+ <div class="fragment"><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; {</div>
1204
+ <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>.empty())</div>
1205
+ <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; {</div>
1206
+ <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; assert(!<a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>.empty() &amp;&amp;</div>
1207
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; <span class="stringliteral">&quot;No module found! Reading from a file other than LLVM-IR?&quot;</span>);</div>
1208
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div>
1209
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; }</div>
1210
+ <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">else</span></div>
1211
+ <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; {</div>
1212
+ <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>;</div>
1213
+ <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; }</div>
1214
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div>
1215
1215
  </div><!-- fragment -->
1216
1216
  </div>
1217
1217
  </div>
@@ -1238,10 +1238,10 @@ Friends</h2></td></tr>
1238
1238
  </table>
1239
1239
  </div><div class="memdoc">
1240
1240
 
1241
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00233">233</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1242
- <div class="fragment"><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; {</div>
1243
- <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">OtherValueSet</a>;</div>
1244
- <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; }</div>
1241
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00232">232</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1242
+ <div class="fragment"><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; {</div>
1243
+ <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">OtherValueSet</a>;</div>
1244
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; }</div>
1245
1245
  </div><!-- fragment -->
1246
1246
  </div>
1247
1247
  </div>
@@ -1332,10 +1332,10 @@ Friends</h2></td></tr>
1332
1332
  </table>
1333
1333
  </div><div class="memdoc">
1334
1334
 
1335
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00151">151</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1336
- <div class="fragment"><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; {</div>
1337
- <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.begin();</div>
1338
- <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; }</div>
1335
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00150">150</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1336
+ <div class="fragment"><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; {</div>
1337
+ <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.begin();</div>
1338
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; }</div>
1339
1339
  </div><!-- fragment -->
1340
1340
  </div>
1341
1341
  </div>
@@ -1362,10 +1362,10 @@ Friends</h2></td></tr>
1362
1362
  </table>
1363
1363
  </div><div class="memdoc">
1364
1364
 
1365
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00155">155</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1366
- <div class="fragment"><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; {</div>
1367
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.begin();</div>
1368
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; }</div>
1365
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00154">154</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1366
+ <div class="fragment"><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; {</div>
1367
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.begin();</div>
1368
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; }</div>
1369
1369
  </div><!-- fragment -->
1370
1370
  </div>
1371
1371
  </div>
@@ -1392,10 +1392,10 @@ Friends</h2></td></tr>
1392
1392
  </table>
1393
1393
  </div><div class="memdoc">
1394
1394
 
1395
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00159">159</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1396
- <div class="fragment"><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div>
1397
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.end();</div>
1398
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; }</div>
1395
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00158">158</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1396
+ <div class="fragment"><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; {</div>
1397
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.end();</div>
1398
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; }</div>
1399
1399
  </div><!-- fragment -->
1400
1400
  </div>
1401
1401
  </div>
@@ -1422,10 +1422,10 @@ Friends</h2></td></tr>
1422
1422
  </table>
1423
1423
  </div><div class="memdoc">
1424
1424
 
1425
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00163">163</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1426
- <div class="fragment"><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; {</div>
1427
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.end();</div>
1428
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; }</div>
1425
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00162">162</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1426
+ <div class="fragment"><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; {</div>
1427
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.end();</div>
1428
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; }</div>
1429
1429
  </div><!-- fragment -->
1430
1430
  </div>
1431
1431
  </div>
@@ -1452,10 +1452,10 @@ Friends</h2></td></tr>
1452
1452
  </table>
1453
1453
  </div><div class="memdoc">
1454
1454
 
1455
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00094">94</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1456
- <div class="fragment"><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; {</div>
1457
- <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>;</div>
1458
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; }</div>
1455
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00093">93</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1456
+ <div class="fragment"><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; {</div>
1457
+ <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>;</div>
1458
+ <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; }</div>
1459
1459
  </div><!-- fragment -->
1460
1460
  </div>
1461
1461
  </div>
@@ -1482,10 +1482,10 @@ Friends</h2></td></tr>
1482
1482
  </table>
1483
1483
  </div><div class="memdoc">
1484
1484
 
1485
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00099">99</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1486
- <div class="fragment"><div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; {</div>
1487
- <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>.empty();</div>
1488
- <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; }</div>
1485
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00098">98</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1486
+ <div class="fragment"><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; {</div>
1487
+ <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>.empty();</div>
1488
+ <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; }</div>
1489
1489
  </div><!-- fragment -->
1490
1490
  </div>
1491
1491
  </div>
@@ -1545,10 +1545,10 @@ Friends</h2></td></tr>
1545
1545
  </table>
1546
1546
  </div><div class="memdoc">
1547
1547
 
1548
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00089">89</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1549
- <div class="fragment"><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; {</div>
1550
- <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; this-&gt;<a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a> = <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div>
1551
- <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; }</div>
1548
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00088">88</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1549
+ <div class="fragment"><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; {</div>
1550
+ <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; this-&gt;<a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a> = <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div>
1551
+ <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; }</div>
1552
1552
  </div><!-- fragment -->
1553
1553
  </div>
1554
1554
  </div>
@@ -1576,10 +1576,10 @@ Friends</h2></td></tr>
1576
1576
  </table>
1577
1577
  </div><div class="memdoc">
1578
1578
 
1579
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00084">84</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1580
- <div class="fragment"><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; {</div>
1581
- <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a> = txt;</div>
1582
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; }</div>
1579
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00083">83</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1580
+ <div class="fragment"><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; {</div>
1581
+ <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a> = txt;</div>
1582
+ <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; }</div>
1583
1583
  </div><!-- fragment -->
1584
1584
  </div>
1585
1585
  </div>
@@ -1604,7 +1604,7 @@ Friends</h2></td></tr>
1604
1604
  </table>
1605
1605
  </div><div class="memdoc">
1606
1606
 
1607
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00044">44</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1607
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00043">43</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1608
1608
 
1609
1609
  </div>
1610
1610
  </div>
@@ -1628,7 +1628,7 @@ Friends</h2></td></tr>
1628
1628
  </table>
1629
1629
  </div><div class="memdoc">
1630
1630
 
1631
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00043">43</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1631
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00042">42</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1632
1632
 
1633
1633
  </div>
1634
1634
  </div>
@@ -1655,7 +1655,7 @@ Friends</h2></td></tr>
1655
1655
 
1656
1656
  <p>The Aliases in the module. </p>
1657
1657
 
1658
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00071">71</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1658
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00070">70</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1659
1659
 
1660
1660
  </div>
1661
1661
  </div>
@@ -1681,7 +1681,7 @@ Friends</h2></td></tr>
1681
1681
 
1682
1682
  <p>The ConstantData in the module. </p>
1683
1683
 
1684
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00072">72</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1684
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00071">71</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1685
1685
 
1686
1686
  </div>
1687
1687
  </div>
@@ -1707,7 +1707,7 @@ Friends</h2></td></tr>
1707
1707
 
1708
1708
  <p>The Functions in the module. </p>
1709
1709
 
1710
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00069">69</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1710
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00068">68</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1711
1711
 
1712
1712
  </div>
1713
1713
  </div>
@@ -1733,7 +1733,7 @@ Friends</h2></td></tr>
1733
1733
 
1734
1734
  <p>The Global Variables in the module. </p>
1735
1735
 
1736
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00070">70</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1736
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00069">69</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1737
1737
 
1738
1738
  </div>
1739
1739
  </div>
@@ -1757,7 +1757,7 @@ Friends</h2></td></tr>
1757
1757
  </table>
1758
1758
  </div><div class="memdoc">
1759
1759
 
1760
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00068">68</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1760
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00067">67</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1761
1761
 
1762
1762
  </div>
1763
1763
  </div>
@@ -1783,7 +1783,7 @@ Friends</h2></td></tr>
1783
1783
 
1784
1784
  <p>All other values in the module. </p>
1785
1785
 
1786
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00073">73</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1786
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00072">72</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1787
1787
 
1788
1788
  </div>
1789
1789
  </div>
@@ -1807,7 +1807,7 @@ Friends</h2></td></tr>
1807
1807
  </table>
1808
1808
  </div><div class="memdoc">
1809
1809
 
1810
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00067">67</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1810
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00066">66</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1811
1811
 
1812
1812
  </div>
1813
1813
  </div>
@@ -1831,7 +1831,7 @@ Friends</h2></td></tr>
1831
1831
  </table>
1832
1832
  </div><div class="memdoc">
1833
1833
 
1834
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00066">66</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1834
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00065">65</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1835
1835
 
1836
1836
  </div>
1837
1837
  </div>
@@ -1840,24 +1840,24 @@ Friends</h2></td></tr>
1840
1840
  <li>/home/runner/work/SVF/SVF/svf/lib/SVFIR/<a class="el" href="SVFModule_8cpp_source.html">SVFModule.cpp</a></li>
1841
1841
  </ul>
1842
1842
  </div><!-- contents -->
1843
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a99da46c17993e1faef5d3737bcca8d64"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">SVF::SVFModule::OtherValueSet</a></div><div class="ttdeci">OtherValueType OtherValueSet</div><div class="ttdoc">All other values in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00073">SVFModule.h:73</a></div></div>
1844
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html_abe3e0e2500532acfc01cee7e2ce1cd90"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">SVF::ExtAPI::destory</a></div><div class="ttdeci">static void destory()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00174">ExtAPI.cpp:174</a></div></div>
1845
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_abbaf48d9702ec1f38dc6ae137ca630a1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">SVF::SVFModule::getFunctionSet</a></div><div class="ttdeci">const FunctionSetType &amp; getFunctionSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00217">SVFModule.h:217</a></div></div>
1846
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a2547331e2c32b077d5876e609cb7f48f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule::pagReadFromTxt</a></div><div class="ttdeci">static std::string pagReadFromTxt</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00067">SVFModule.h:67</a></div></div>
1847
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_ac40e98040f949171279afec54bb03f71"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">SVF::SVFModule::moduleIdentifier</a></div><div class="ttdeci">std::string moduleIdentifier</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00068">SVFModule.h:68</a></div></div>
1848
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_ae64d24569942d7c4b18d2198be4839f3"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">SVF::SVFModule::addConstant</a></div><div class="ttdeci">void addConstant(SVFConstant *cd)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00121">SVFModule.h:121</a></div></div>
1843
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a99da46c17993e1faef5d3737bcca8d64"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">SVF::SVFModule::OtherValueSet</a></div><div class="ttdeci">OtherValueType OtherValueSet</div><div class="ttdoc">All other values in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00072">SVFModule.h:72</a></div></div>
1844
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_abe3e0e2500532acfc01cee7e2ce1cd90"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">SVF::ExtAPI::destory</a></div><div class="ttdeci">static void destory()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00045">ExtAPI.cpp:45</a></div></div>
1845
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_abbaf48d9702ec1f38dc6ae137ca630a1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">SVF::SVFModule::getFunctionSet</a></div><div class="ttdeci">const FunctionSetType &amp; getFunctionSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00216">SVFModule.h:216</a></div></div>
1846
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a2547331e2c32b077d5876e609cb7f48f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule::pagReadFromTxt</a></div><div class="ttdeci">static std::string pagReadFromTxt</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00066">SVFModule.h:66</a></div></div>
1847
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_ac40e98040f949171279afec54bb03f71"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">SVF::SVFModule::moduleIdentifier</a></div><div class="ttdeci">std::string moduleIdentifier</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00067">SVFModule.h:67</a></div></div>
1848
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_ae64d24569942d7c4b18d2198be4839f3"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">SVF::SVFModule::addConstant</a></div><div class="ttdeci">void addConstant(SVFConstant *cd)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00120">SVFModule.h:120</a></div></div>
1849
1849
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_a0438953758cecab4ebe1b48895639eb8"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVF::SVFModule::SVFModule</a></div><div class="ttdeci">SVFModule()=default</div><div class="ttdoc">Constructors.</div></div>
1850
1850
  <div class="ttc" id="acJSON_8h_html_a25d22ecc7e656d2c59332072684e8766"><div class="ttname"><a href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a></div><div class="ttdeci">const char *const name</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00264">cJSON.h:264</a></div></div>
1851
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a65ca3949501f11efa1eb94e08a40a2f9"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">SVF::SVFModule::AliasSet</a></div><div class="ttdeci">AliasSetType AliasSet</div><div class="ttdoc">The Aliases in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00071">SVFModule.h:71</a></div></div>
1851
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a65ca3949501f11efa1eb94e08a40a2f9"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">SVF::SVFModule::AliasSet</a></div><div class="ttdeci">AliasSetType AliasSet</div><div class="ttdoc">The Aliases in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00070">SVFModule.h:70</a></div></div>
1852
1852
  <div class="ttc" id="aclassSVF_1_1NodeIDAllocator_html_af7952ef5667039c9be86a589419b35a8"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8">SVF::NodeIDAllocator::unset</a></div><div class="ttdeci">static void unset(void)</div><div class="ttdoc">Deletes the (singleton) allocator.</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8cpp_source.html#l00036">NodeIDAllocator.cpp:36</a></div></div>
1853
1853
  <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00150">SVFValue.h:150</a></div></div>
1854
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a4ff4bbd1771615757fc6575282046e30"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">SVF::SVFModule::GlobalSet</a></div><div class="ttdeci">GlobalSetType GlobalSet</div><div class="ttdoc">The Global Variables in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00070">SVFModule.h:70</a></div></div>
1855
- <div class="ttc" id="aclassSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00789">SVFValue.h:789</a></div></div>
1854
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a4ff4bbd1771615757fc6575282046e30"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">SVF::SVFModule::GlobalSet</a></div><div class="ttdeci">GlobalSetType GlobalSet</div><div class="ttdoc">The Global Variables in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00069">SVFModule.h:69</a></div></div>
1855
+ <div class="ttc" id="aclassSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00795">SVFValue.h:795</a></div></div>
1856
1856
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00270">SVFValue.h:270</a></div></div>
1857
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_af33660b9938a1a78b7ae44bf429c717e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">SVF::SVFModule::FunctionSet</a></div><div class="ttdeci">FunctionSetType FunctionSet</div><div class="ttdoc">The Functions in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00069">SVFModule.h:69</a></div></div>
1857
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_af33660b9938a1a78b7ae44bf429c717e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">SVF::SVFModule::FunctionSet</a></div><div class="ttdeci">FunctionSetType FunctionSet</div><div class="ttdoc">The Functions in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00068">SVFModule.h:68</a></div></div>
1858
1858
  <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_af4d921a3a0e5374188f7b6a6427c049d"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#af4d921a3a0e5374188f7b6a6427c049d">SVF::ThreadAPI::destroy</a></div><div class="ttdeci">static void destroy()</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00111">ThreadAPI.h:111</a></div></div>
1859
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a6ce288ee551c8a33cb353ee2374762c7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">SVF::SVFModule::ConstantSet</a></div><div class="ttdeci">ConstantType ConstantSet</div><div class="ttdoc">The ConstantData in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00072">SVFModule.h:72</a></div></div>
1860
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_ad81c63b60d030828262ea375917cc189"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule::svfModule</a></div><div class="ttdeci">static SVFModule * svfModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00066">SVFModule.h:66</a></div></div>
1859
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a6ce288ee551c8a33cb353ee2374762c7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">SVF::SVFModule::ConstantSet</a></div><div class="ttdeci">ConstantType ConstantSet</div><div class="ttdoc">The ConstantData in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00071">SVFModule.h:71</a></div></div>
1860
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_ad81c63b60d030828262ea375917cc189"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule::svfModule</a></div><div class="ttdeci">static SVFModule * svfModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00065">SVFModule.h:65</a></div></div>
1861
1861
  <!-- start footer part -->
1862
1862
  <hr class="footer"/><address class="footer"><small>
1863
1863
  Generated by &#160;<a href="http://www.doxygen.org/index.html">