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/SVFModule_8h_source.html CHANGED
@@ -102,281 +102,279 @@ $(function() {
102
102
  <div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="preprocessor">#define INCLUDE_SVFMODULE_H_</span></div>
103
103
  <div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160; </div>
104
104
  <div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFValue_8h.html">SVFIR/SVFValue.h</a>&quot;</span></div>
105
- <div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ExtAPI_8h.html">Util/ExtAPI.h</a>&quot;</span></div>
106
- <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="NodeIDAllocator_8h.html">Util/NodeIDAllocator.h</a>&quot;</span></div>
107
- <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ThreadAPI_8h.html">Util/ThreadAPI.h</a>&quot;</span></div>
108
- <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160; </div>
109
- <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
110
- <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;{</div>
111
- <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; </div>
112
- <div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html"> 41</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a></div>
113
- <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;{</div>
114
- <div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ac6d7207b2c449f2aa8129697485d8fd6"> 43</a></span>&#160; <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRWriter.html">SVFIRWriter</a>;</div>
115
- <div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a96821c016c81ee0600ef62fd28298292"> 44</a></span>&#160; <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRReader.html">SVFIRReader</a>;</div>
116
- <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160; </div>
117
- <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160;<span class="keyword">public</span>:</div>
118
- <div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b"> 47</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;const SVFFunction*&gt; <a class="code" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">FunctionSetType</a>;</div>
119
- <div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f"> 48</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFGlobalValue*&gt; <a class="code" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">GlobalSetType</a>;</div>
120
- <div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf"> 49</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFGlobalValue*&gt; <a class="code" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">AliasSetType</a>;</div>
121
- <div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499"> 50</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFConstant*&gt; <a class="code" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">ConstantType</a>;</div>
122
- <div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf"> 51</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFOtherValue*&gt; <a class="code" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">OtherValueType</a>;</div>
123
- <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; </div>
124
- <div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7"> 54</a></span>&#160; <span class="keyword">typedef</span> FunctionSetType::iterator <a class="code" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">iterator</a>;</div>
125
- <div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1"> 55</a></span>&#160; <span class="keyword">typedef</span> FunctionSetType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">const_iterator</a>;</div>
126
- <div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2"> 56</a></span>&#160; <span class="keyword">typedef</span> GlobalSetType::iterator <a class="code" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">global_iterator</a>;</div>
127
- <div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57"> 57</a></span>&#160; <span class="keyword">typedef</span> GlobalSetType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">const_global_iterator</a>;</div>
128
- <div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c"> 58</a></span>&#160; <span class="keyword">typedef</span> AliasSetType::iterator <a class="code" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">alias_iterator</a>;</div>
129
- <div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f"> 59</a></span>&#160; <span class="keyword">typedef</span> AliasSetType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">const_alias_iterator</a>;</div>
130
- <div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7"> 60</a></span>&#160; <span class="keyword">typedef</span> ConstantType::iterator <a class="code" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">cdata_iterator</a>;</div>
131
- <div class="line"><a name="l00061"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc"> 61</a></span>&#160; <span class="keyword">typedef</span> ConstantType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">const_cdata_iterator</a>;</div>
132
- <div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7"> 62</a></span>&#160; <span class="keyword">typedef</span> OtherValueType::iterator <a class="code" href="classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7">ovalue_iterator</a>;</div>
133
- <div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912"> 63</a></span>&#160; <span class="keyword">typedef</span> OtherValueType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912">const_ovalue_iterator</a>;</div>
134
- <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; </div>
135
- <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160;<span class="keyword">private</span>:</div>
136
- <div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189"> 66</a></span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* <a class="code" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">svfModule</a>;</div>
137
- <div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f"> 67</a></span>&#160; <span class="keyword">static</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>;</div>
138
- <div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71"> 68</a></span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div>
139
- <div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e"> 69</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">FunctionSetType</a> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>; </div>
140
- <div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30"> 70</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">GlobalSetType</a> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>; </div>
141
- <div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9"> 71</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">AliasSetType</a> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>; </div>
142
- <div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7"> 72</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">ConstantType</a> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>; </div>
143
- <div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64"> 73</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">OtherValueType</a> <a class="code" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">OtherValueSet</a>; </div>
144
- <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; </div>
145
- <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVFModule</a>() = <span class="keywordflow">default</span>;</div>
146
- <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; </div>
147
- <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160;<span class="keyword">public</span>:</div>
148
- <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* <a class="code" href="classSVF_1_1SVFModule.html#ab930bb5449538c4d0da1297a103788a1">getSVFModule</a>();</div>
149
- <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; <span class="keyword">static</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823">releaseSVFModule</a>();</div>
150
- <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; </div>
151
- <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acdb9044668627a9e4102c32cae864db6">~SVFModule</a>();</div>
152
- <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; </div>
153
- <div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe"> 84</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe">setPagFromTXT</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; txt)</div>
154
- <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; {</div>
155
- <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>
156
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; }</div>
157
- <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; </div>
158
- <div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92"> 89</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92">setModuleIdentifier</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>)</div>
159
- <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; {</div>
160
- <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; this-&gt;moduleIdentifier = <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div>
161
- <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; }</div>
162
- <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; </div>
163
- <div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60"> 94</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60">pagFileName</a>()</div>
164
- <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; {</div>
165
- <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>
166
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; }</div>
167
- <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; </div>
168
- <div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570"> 99</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">pagReadFromTXT</a>()</div>
169
- <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; {</div>
170
- <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>
171
- <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; }</div>
172
- <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; </div>
173
- <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* <a class="code" href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">getSVFFunction</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>);</div>
174
- <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; </div>
175
- <div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6"> 107</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6">addFunctionSet</a>(<a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* svfFunc)</div>
176
- <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; {</div>
177
- <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>
178
- <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; }</div>
179
- <div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5"> 111</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5">addGlobalSet</a>(<a class="code" href="classSVF_1_1SVFGlobalValue.html">SVFGlobalValue</a>* glob)</div>
180
- <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; {</div>
181
- <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>
182
- <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>
183
- <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; }</div>
184
- <div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d"> 116</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d">addAliasSet</a>(<a class="code" href="classSVF_1_1SVFGlobalValue.html">SVFGlobalValue</a>* alias)</div>
185
- <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; {</div>
186
- <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>
187
- <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>
188
- <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; }</div>
189
- <div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3"> 121</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">addConstant</a>(<a class="code" href="classSVF_1_1SVFConstant.html">SVFConstant</a>* cd)</div>
190
- <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; {</div>
191
- <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>
192
- <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; }</div>
193
- <div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca"> 125</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca">addOtherValue</a>(<a class="code" href="classSVF_1_1SVFOtherValue.html">SVFOtherValue</a>* ov)</div>
194
- <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; {</div>
195
- <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>
196
- <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; }</div>
197
- <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; </div>
198
- <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; </div>
199
- <div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255"> 134</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">begin</a>()</div>
200
- <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; {</div>
201
- <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>
202
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; }</div>
203
- <div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7"> 138</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">const_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7">begin</a>()<span class="keyword"> const</span></div>
204
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160;<span class="keyword"> </span>{</div>
205
- <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>
206
- <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; }</div>
207
- <div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31"> 142</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">end</a>()</div>
208
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; {</div>
209
- <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>
210
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; }</div>
211
- <div class="line"><a name="l00146"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc"> 146</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">const_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc">end</a>()<span class="keyword"> const</span></div>
212
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160;<span class="keyword"> </span>{</div>
213
- <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>
214
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; }</div>
215
- <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; </div>
216
- <div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e"> 151</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">global_begin</a>()</div>
217
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; {</div>
218
- <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>
219
- <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; }</div>
220
- <div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2"> 155</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">const_global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">global_begin</a>()<span class="keyword"> const</span></div>
221
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160;<span class="keyword"> </span>{</div>
222
- <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>
223
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; }</div>
224
- <div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b"> 159</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">global_end</a>()</div>
225
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div>
226
- <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>
227
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; }</div>
228
- <div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2"> 163</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">const_global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">global_end</a>()<span class="keyword"> const</span></div>
229
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160;<span class="keyword"> </span>{</div>
230
- <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>
231
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; }</div>
232
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; </div>
233
- <div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065"> 168</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">alias_begin</a>()</div>
234
- <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; {</div>
235
- <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>
236
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; }</div>
237
- <div class="line"><a name="l00172"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852"> 172</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">const_alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">alias_begin</a>()<span class="keyword"> const</span></div>
238
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160;<span class="keyword"> </span>{</div>
239
- <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>
240
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; }</div>
241
- <div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc"> 176</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">alias_end</a>()</div>
242
- <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; {</div>
243
- <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>
244
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div>
245
- <div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f"> 180</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">const_alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">alias_end</a>()<span class="keyword"> const</span></div>
246
- <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160;<span class="keyword"> </span>{</div>
247
- <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>
248
- <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; }</div>
249
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; </div>
250
- <div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d"> 185</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">constant_begin</a>()</div>
251
- <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; {</div>
252
- <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>
253
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; }</div>
254
- <div class="line"><a name="l00189"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf"> 189</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">const_cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">constant_begin</a>()<span class="keyword"> const</span></div>
255
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160;<span class="keyword"> </span>{</div>
256
- <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>
257
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; }</div>
258
- <div class="line"><a name="l00193"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e"> 193</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e">constant_end</a>()</div>
259
- <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; {</div>
260
- <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>
261
- <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; }</div>
262
- <div class="line"><a name="l00197"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0"> 197</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">const_cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0">constant_end</a>()<span class="keyword"> const</span></div>
263
- <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160;<span class="keyword"> </span>{</div>
264
- <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>
265
- <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; }</div>
266
- <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; </div>
267
- <div class="line"><a name="l00203"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344"> 203</a></span>&#160; <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344">getModuleIdentifier</a>()<span class="keyword"> const</span></div>
268
- <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160;<span class="keyword"> </span>{</div>
269
- <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>
270
- <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; {</div>
271
- <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>
272
- <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>
273
- <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>
274
- <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; }</div>
275
- <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; <span class="keywordflow">else</span></div>
276
- <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; {</div>
277
- <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>
278
- <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div>
279
- <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; }</div>
280
- <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; </div>
281
- <div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1"> 217</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">FunctionSetType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">getFunctionSet</a>()<span class="keyword"> const</span></div>
282
- <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160;<span class="keyword"> </span>{</div>
283
- <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>
284
- <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; }</div>
285
- <div class="line"><a name="l00221"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b"> 221</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">ConstantType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b">getConstantSet</a>()<span class="keyword"> const</span></div>
286
- <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160;<span class="keyword"> </span>{</div>
287
- <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>
288
- <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; }</div>
289
- <div class="line"><a name="l00225"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7d742b73f8ef330334ff0280024399ba"> 225</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">GlobalSetType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#a7d742b73f8ef330334ff0280024399ba">getGlobalSet</a>()<span class="keyword"> const</span></div>
290
- <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160;<span class="keyword"> </span>{</div>
291
- <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>
292
- <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; }</div>
293
- <div class="line"><a name="l00229"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aceb9c743ba592836586f3cfb76e56108"> 229</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">AliasSetType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#aceb9c743ba592836586f3cfb76e56108">getAliasSet</a>()<span class="keyword"> const</span></div>
294
- <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160;<span class="keyword"> </span>{</div>
295
- <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>
296
- <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; }</div>
297
- <div class="line"><a name="l00233"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd"> 233</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">OtherValueType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd">getOtherValueSet</a>()<span class="keyword"> const</span></div>
298
- <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160;<span class="keyword"> </span>{</div>
299
- <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>
300
- <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; }</div>
301
- <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160;};</div>
302
- <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; </div>
303
- <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160;} <span class="comment">// End namespace SVF</span></div>
304
- <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; </div>
305
- <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_SVFMODULE_H_ */</span><span class="preprocessor"></span></div>
105
+ <div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="NodeIDAllocator_8h.html">Util/NodeIDAllocator.h</a>&quot;</span></div>
106
+ <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ThreadAPI_8h.html">Util/ThreadAPI.h</a>&quot;</span></div>
107
+ <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160; </div>
108
+ <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
109
+ <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;{</div>
110
+ <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160; </div>
111
+ <div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html"> 40</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a></div>
112
+ <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;{</div>
113
+ <div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ac6d7207b2c449f2aa8129697485d8fd6"> 42</a></span>&#160; <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRWriter.html">SVFIRWriter</a>;</div>
114
+ <div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a96821c016c81ee0600ef62fd28298292"> 43</a></span>&#160; <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRReader.html">SVFIRReader</a>;</div>
115
+ <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160; </div>
116
+ <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160;<span class="keyword">public</span>:</div>
117
+ <div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b"> 46</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;const SVFFunction*&gt; <a class="code" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">FunctionSetType</a>;</div>
118
+ <div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f"> 47</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFGlobalValue*&gt; <a class="code" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">GlobalSetType</a>;</div>
119
+ <div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf"> 48</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFGlobalValue*&gt; <a class="code" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">AliasSetType</a>;</div>
120
+ <div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499"> 49</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFConstant*&gt; <a class="code" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">ConstantType</a>;</div>
121
+ <div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf"> 50</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFOtherValue*&gt; <a class="code" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">OtherValueType</a>;</div>
122
+ <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; </div>
123
+ <div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7"> 53</a></span>&#160; <span class="keyword">typedef</span> FunctionSetType::iterator <a class="code" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">iterator</a>;</div>
124
+ <div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1"> 54</a></span>&#160; <span class="keyword">typedef</span> FunctionSetType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">const_iterator</a>;</div>
125
+ <div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2"> 55</a></span>&#160; <span class="keyword">typedef</span> GlobalSetType::iterator <a class="code" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">global_iterator</a>;</div>
126
+ <div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57"> 56</a></span>&#160; <span class="keyword">typedef</span> GlobalSetType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">const_global_iterator</a>;</div>
127
+ <div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c"> 57</a></span>&#160; <span class="keyword">typedef</span> AliasSetType::iterator <a class="code" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">alias_iterator</a>;</div>
128
+ <div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f"> 58</a></span>&#160; <span class="keyword">typedef</span> AliasSetType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">const_alias_iterator</a>;</div>
129
+ <div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7"> 59</a></span>&#160; <span class="keyword">typedef</span> ConstantType::iterator <a class="code" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">cdata_iterator</a>;</div>
130
+ <div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc"> 60</a></span>&#160; <span class="keyword">typedef</span> ConstantType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">const_cdata_iterator</a>;</div>
131
+ <div class="line"><a name="l00061"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7"> 61</a></span>&#160; <span class="keyword">typedef</span> OtherValueType::iterator <a class="code" href="classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7">ovalue_iterator</a>;</div>
132
+ <div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912"> 62</a></span>&#160; <span class="keyword">typedef</span> OtherValueType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912">const_ovalue_iterator</a>;</div>
133
+ <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; </div>
134
+ <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160;<span class="keyword">private</span>:</div>
135
+ <div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189"> 65</a></span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* <a class="code" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">svfModule</a>;</div>
136
+ <div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f"> 66</a></span>&#160; <span class="keyword">static</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>;</div>
137
+ <div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71"> 67</a></span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div>
138
+ <div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e"> 68</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">FunctionSetType</a> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>; </div>
139
+ <div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30"> 69</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">GlobalSetType</a> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>; </div>
140
+ <div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9"> 70</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">AliasSetType</a> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>; </div>
141
+ <div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7"> 71</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">ConstantType</a> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>; </div>
142
+ <div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64"> 72</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">OtherValueType</a> <a class="code" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">OtherValueSet</a>; </div>
143
+ <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; </div>
144
+ <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVFModule</a>() = <span class="keywordflow">default</span>;</div>
145
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; </div>
146
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160;<span class="keyword">public</span>:</div>
147
+ <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* <a class="code" href="classSVF_1_1SVFModule.html#ab930bb5449538c4d0da1297a103788a1">getSVFModule</a>();</div>
148
+ <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; <span class="keyword">static</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823">releaseSVFModule</a>();</div>
149
+ <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; </div>
150
+ <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acdb9044668627a9e4102c32cae864db6">~SVFModule</a>();</div>
151
+ <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; </div>
152
+ <div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe"> 83</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe">setPagFromTXT</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; txt)</div>
153
+ <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; {</div>
154
+ <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>
155
+ <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; }</div>
156
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; </div>
157
+ <div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92"> 88</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92">setModuleIdentifier</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>)</div>
158
+ <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; {</div>
159
+ <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; this-&gt;moduleIdentifier = <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div>
160
+ <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; }</div>
161
+ <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; </div>
162
+ <div class="line"><a name="l00093"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60"> 93</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60">pagFileName</a>()</div>
163
+ <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; {</div>
164
+ <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>
165
+ <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; }</div>
166
+ <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; </div>
167
+ <div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570"> 98</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">pagReadFromTXT</a>()</div>
168
+ <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; {</div>
169
+ <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>
170
+ <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; }</div>
171
+ <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; </div>
172
+ <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* <a class="code" href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">getSVFFunction</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>);</div>
173
+ <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; </div>
174
+ <div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6"> 106</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6">addFunctionSet</a>(<a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* svfFunc)</div>
175
+ <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; {</div>
176
+ <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>
177
+ <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; }</div>
178
+ <div class="line"><a name="l00110"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5"> 110</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5">addGlobalSet</a>(<a class="code" href="classSVF_1_1SVFGlobalValue.html">SVFGlobalValue</a>* glob)</div>
179
+ <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; {</div>
180
+ <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>
181
+ <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>
182
+ <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; }</div>
183
+ <div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d"> 115</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d">addAliasSet</a>(<a class="code" href="classSVF_1_1SVFGlobalValue.html">SVFGlobalValue</a>* alias)</div>
184
+ <div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; {</div>
185
+ <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>
186
+ <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>
187
+ <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; }</div>
188
+ <div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3"> 120</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">addConstant</a>(<a class="code" href="classSVF_1_1SVFConstant.html">SVFConstant</a>* cd)</div>
189
+ <div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; {</div>
190
+ <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>
191
+ <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; }</div>
192
+ <div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca"> 124</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca">addOtherValue</a>(<a class="code" href="classSVF_1_1SVFOtherValue.html">SVFOtherValue</a>* ov)</div>
193
+ <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; {</div>
194
+ <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>
195
+ <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; }</div>
196
+ <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; </div>
197
+ <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; </div>
198
+ <div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255"> 133</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">begin</a>()</div>
199
+ <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; {</div>
200
+ <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>
201
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; }</div>
202
+ <div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7"> 137</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">const_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7">begin</a>()<span class="keyword"> const</span></div>
203
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160;<span class="keyword"> </span>{</div>
204
+ <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>
205
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; }</div>
206
+ <div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31"> 141</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">end</a>()</div>
207
+ <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; {</div>
208
+ <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>
209
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; }</div>
210
+ <div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc"> 145</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">const_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc">end</a>()<span class="keyword"> const</span></div>
211
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160;<span class="keyword"> </span>{</div>
212
+ <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>
213
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; }</div>
214
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; </div>
215
+ <div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e"> 150</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">global_begin</a>()</div>
216
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; {</div>
217
+ <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>
218
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; }</div>
219
+ <div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2"> 154</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">const_global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">global_begin</a>()<span class="keyword"> const</span></div>
220
+ <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160;<span class="keyword"> </span>{</div>
221
+ <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>
222
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; }</div>
223
+ <div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b"> 158</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">global_end</a>()</div>
224
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; {</div>
225
+ <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>
226
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; }</div>
227
+ <div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2"> 162</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">const_global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">global_end</a>()<span class="keyword"> const</span></div>
228
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160;<span class="keyword"> </span>{</div>
229
+ <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>
230
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; }</div>
231
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; </div>
232
+ <div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065"> 167</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">alias_begin</a>()</div>
233
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; {</div>
234
+ <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>
235
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; }</div>
236
+ <div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852"> 171</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">const_alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">alias_begin</a>()<span class="keyword"> const</span></div>
237
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160;<span class="keyword"> </span>{</div>
238
+ <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>
239
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; }</div>
240
+ <div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc"> 175</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">alias_end</a>()</div>
241
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; {</div>
242
+ <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>
243
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; }</div>
244
+ <div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f"> 179</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">const_alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">alias_end</a>()<span class="keyword"> const</span></div>
245
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160;<span class="keyword"> </span>{</div>
246
+ <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>
247
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; }</div>
248
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; </div>
249
+ <div class="line"><a name="l00184"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d"> 184</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">constant_begin</a>()</div>
250
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; {</div>
251
+ <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>
252
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; }</div>
253
+ <div class="line"><a name="l00188"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf"> 188</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">const_cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">constant_begin</a>()<span class="keyword"> const</span></div>
254
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160;<span class="keyword"> </span>{</div>
255
+ <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>
256
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; }</div>
257
+ <div class="line"><a name="l00192"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e"> 192</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e">constant_end</a>()</div>
258
+ <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; {</div>
259
+ <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>
260
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; }</div>
261
+ <div class="line"><a name="l00196"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0"> 196</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">const_cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0">constant_end</a>()<span class="keyword"> const</span></div>
262
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160;<span class="keyword"> </span>{</div>
263
+ <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>
264
+ <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; }</div>
265
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; </div>
266
+ <div class="line"><a name="l00202"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344"> 202</a></span>&#160; <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344">getModuleIdentifier</a>()<span class="keyword"> const</span></div>
267
+ <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160;<span class="keyword"> </span>{</div>
268
+ <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>
269
+ <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; {</div>
270
+ <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>
271
+ <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>
272
+ <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>
273
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; }</div>
274
+ <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">else</span></div>
275
+ <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; {</div>
276
+ <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>
277
+ <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; }</div>
278
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div>
279
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; </div>
280
+ <div class="line"><a name="l00216"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1"> 216</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">FunctionSetType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">getFunctionSet</a>()<span class="keyword"> const</span></div>
281
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160;<span class="keyword"> </span>{</div>
282
+ <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>
283
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; }</div>
284
+ <div class="line"><a name="l00220"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b"> 220</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">ConstantType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b">getConstantSet</a>()<span class="keyword"> const</span></div>
285
+ <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160;<span class="keyword"> </span>{</div>
286
+ <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>
287
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; }</div>
288
+ <div class="line"><a name="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7d742b73f8ef330334ff0280024399ba"> 224</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">GlobalSetType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#a7d742b73f8ef330334ff0280024399ba">getGlobalSet</a>()<span class="keyword"> const</span></div>
289
+ <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160;<span class="keyword"> </span>{</div>
290
+ <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>
291
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; }</div>
292
+ <div class="line"><a name="l00228"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aceb9c743ba592836586f3cfb76e56108"> 228</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">AliasSetType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#aceb9c743ba592836586f3cfb76e56108">getAliasSet</a>()<span class="keyword"> const</span></div>
293
+ <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160;<span class="keyword"> </span>{</div>
294
+ <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>
295
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; }</div>
296
+ <div class="line"><a name="l00232"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd"> 232</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">OtherValueType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd">getOtherValueSet</a>()<span class="keyword"> const</span></div>
297
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160;<span class="keyword"> </span>{</div>
298
+ <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>
299
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; }</div>
300
+ <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160;};</div>
301
+ <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; </div>
302
+ <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160;} <span class="comment">// End namespace SVF</span></div>
303
+ <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; </div>
304
+ <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_SVFMODULE_H_ */</span><span class="preprocessor"></span></div>
306
305
  </div><!-- fragment --></div><!-- contents -->
307
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_aae827124684e6c0d6a72acece0e9d33f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">SVF::SVFModule::GlobalSetType</a></div><div class="ttdeci">std::vector&lt; SVFGlobalValue * &gt; GlobalSetType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00048">SVFModule.h:48</a></div></div>
308
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a4cf1ca2e9f045a0520b0a8a6cd5993f2"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule::global_iterator</a></div><div class="ttdeci">GlobalSetType::iterator global_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00056">SVFModule.h:56</a></div></div>
309
- <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>
310
- <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>
311
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a600d5cf02c750f78b461fcabc3e29f7f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">SVF::SVFModule::const_alias_iterator</a></div><div class="ttdeci">AliasSetType::const_iterator const_alias_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00059">SVFModule.h:59</a></div></div>
312
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a3a13c562020a6b18dfa94dadeb42c912"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912">SVF::SVFModule::const_ovalue_iterator</a></div><div class="ttdeci">OtherValueType::const_iterator const_ovalue_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00063">SVFModule.h:63</a></div></div>
313
- <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>
306
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_aae827124684e6c0d6a72acece0e9d33f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">SVF::SVFModule::GlobalSetType</a></div><div class="ttdeci">std::vector&lt; SVFGlobalValue * &gt; GlobalSetType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00047">SVFModule.h:47</a></div></div>
307
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a4cf1ca2e9f045a0520b0a8a6cd5993f2"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule::global_iterator</a></div><div class="ttdeci">GlobalSetType::iterator global_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00055">SVFModule.h:55</a></div></div>
308
+ <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>
309
+ <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>
310
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a600d5cf02c750f78b461fcabc3e29f7f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">SVF::SVFModule::const_alias_iterator</a></div><div class="ttdeci">AliasSetType::const_iterator const_alias_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00058">SVFModule.h:58</a></div></div>
311
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a3a13c562020a6b18dfa94dadeb42c912"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912">SVF::SVFModule::const_ovalue_iterator</a></div><div class="ttdeci">OtherValueType::const_iterator const_ovalue_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00062">SVFModule.h:62</a></div></div>
312
+ <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>
314
313
  <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
315
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a236f64d0b5529573f5070506e07b1faf"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">SVF::SVFModule::constant_begin</a></div><div class="ttdeci">const_cdata_iterator constant_begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00189">SVFModule.h:189</a></div></div>
316
- <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>
317
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_ad3f057892f970c22ef3bf345841eb4cc"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc">SVF::SVFModule::end</a></div><div class="ttdeci">const_iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00146">SVFModule.h:146</a></div></div>
318
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7af3076a26060090377d1f74293560fe"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe">SVF::SVFModule::setPagFromTXT</a></div><div class="ttdeci">static void setPagFromTXT(const std::string &amp;txt)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00084">SVFModule.h:84</a></div></div>
319
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a0bc5a63d8c10da51766007cf40b095e5"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5">SVF::SVFModule::addGlobalSet</a></div><div class="ttdeci">void addGlobalSet(SVFGlobalValue *glob)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00111">SVFModule.h:111</a></div></div>
320
- <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>
314
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a236f64d0b5529573f5070506e07b1faf"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">SVF::SVFModule::constant_begin</a></div><div class="ttdeci">const_cdata_iterator constant_begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00188">SVFModule.h:188</a></div></div>
315
+ <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>
316
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_ad3f057892f970c22ef3bf345841eb4cc"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc">SVF::SVFModule::end</a></div><div class="ttdeci">const_iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00145">SVFModule.h:145</a></div></div>
317
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7af3076a26060090377d1f74293560fe"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe">SVF::SVFModule::setPagFromTXT</a></div><div class="ttdeci">static void setPagFromTXT(const std::string &amp;txt)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00083">SVFModule.h:83</a></div></div>
318
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a0bc5a63d8c10da51766007cf40b095e5"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5">SVF::SVFModule::addGlobalSet</a></div><div class="ttdeci">void addGlobalSet(SVFGlobalValue *glob)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00110">SVFModule.h:110</a></div></div>
319
+ <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>
321
320
  <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>
322
321
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_afdb11f5fcbb6e7ed2689e3387bb78850"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">SVF::SVFModule::getSVFFunction</a></div><div class="ttdeci">const SVFFunction * getSVFFunction(const std::string &amp;name)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00048">SVFModule.cpp:48</a></div></div>
323
322
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_acdb9044668627a9e4102c32cae864db6"><div class="ttname"><a href="classSVF_1_1SVFModule.html#acdb9044668627a9e4102c32cae864db6">SVF::SVFModule::~SVFModule</a></div><div class="ttdeci">~SVFModule()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00035">SVFModule.cpp:35</a></div></div>
324
323
  <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>
325
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_afa9068e662918f6649d5ca25340a3ae2"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule::global_end</a></div><div class="ttdeci">const_global_iterator global_end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00163">SVFModule.h:163</a></div></div>
326
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a4dc32c583d29d74d052eaa5665b0b70e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule::global_begin</a></div><div class="ttdeci">global_iterator global_begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00151">SVFModule.h:151</a></div></div>
327
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00142">SVFModule.h:142</a></div></div>
328
- <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>
329
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_aceb9c743ba592836586f3cfb76e56108"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aceb9c743ba592836586f3cfb76e56108">SVF::SVFModule::getAliasSet</a></div><div class="ttdeci">const AliasSetType &amp; getAliasSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00229">SVFModule.h:229</a></div></div>
330
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7d11fccf78e9e69cef94c26aab6689d7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7">SVF::SVFModule::ovalue_iterator</a></div><div class="ttdeci">OtherValueType::iterator ovalue_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00062">SVFModule.h:62</a></div></div>
324
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_afa9068e662918f6649d5ca25340a3ae2"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule::global_end</a></div><div class="ttdeci">const_global_iterator global_end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00162">SVFModule.h:162</a></div></div>
325
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a4dc32c583d29d74d052eaa5665b0b70e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule::global_begin</a></div><div class="ttdeci">global_iterator global_begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00150">SVFModule.h:150</a></div></div>
326
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00141">SVFModule.h:141</a></div></div>
327
+ <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>
328
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_aceb9c743ba592836586f3cfb76e56108"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aceb9c743ba592836586f3cfb76e56108">SVF::SVFModule::getAliasSet</a></div><div class="ttdeci">const AliasSetType &amp; getAliasSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00228">SVFModule.h:228</a></div></div>
329
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7d11fccf78e9e69cef94c26aab6689d7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7">SVF::SVFModule::ovalue_iterator</a></div><div class="ttdeci">OtherValueType::iterator ovalue_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00061">SVFModule.h:61</a></div></div>
331
330
  <div class="ttc" id="aThreadAPI_8h_html"><div class="ttname"><a href="ThreadAPI_8h.html">ThreadAPI.h</a></div></div>
332
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa6627399cf4d30d576f76f681d83449d"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d">SVF::SVFModule::addAliasSet</a></div><div class="ttdeci">void addAliasSet(SVFGlobalValue *alias)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00116">SVFModule.h:116</a></div></div>
333
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a5d4f73db8fb5bddb0e7630eda8c6da57"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">SVF::SVFModule::const_global_iterator</a></div><div class="ttdeci">GlobalSetType::const_iterator const_global_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00057">SVFModule.h:57</a></div></div>
334
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a395c99c67cb2f45121a614620afaa8bf"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">SVF::SVFModule::OtherValueType</a></div><div class="ttdeci">std::vector&lt; SVFOtherValue * &gt; OtherValueType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00051">SVFModule.h:51</a></div></div>
331
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa6627399cf4d30d576f76f681d83449d"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d">SVF::SVFModule::addAliasSet</a></div><div class="ttdeci">void addAliasSet(SVFGlobalValue *alias)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00115">SVFModule.h:115</a></div></div>
332
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a5d4f73db8fb5bddb0e7630eda8c6da57"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">SVF::SVFModule::const_global_iterator</a></div><div class="ttdeci">GlobalSetType::const_iterator const_global_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00056">SVFModule.h:56</a></div></div>
333
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a395c99c67cb2f45121a614620afaa8bf"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">SVF::SVFModule::OtherValueType</a></div><div class="ttdeci">std::vector&lt; SVFOtherValue * &gt; OtherValueType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00050">SVFModule.h:50</a></div></div>
335
334
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
336
- <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>
337
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a436c4bdede4d1c1e68d7e41bd2b27da7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7">SVF::SVFModule::begin</a></div><div class="ttdeci">const_iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00138">SVFModule.h:138</a></div></div>
338
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7f2b4647c8d69c8328b63e576cb6d065"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule::alias_begin</a></div><div class="ttdeci">alias_iterator alias_begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00168">SVFModule.h:168</a></div></div>
339
- <div class="ttc" id="aExtAPI_8h_html"><div class="ttname"><a href="ExtAPI_8h.html">ExtAPI.h</a></div></div>
340
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a8a0fe93cc13b799fc28540fb312573c6"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6">SVF::SVFModule::addFunctionSet</a></div><div class="ttdeci">void addFunctionSet(SVFFunction *svfFunc)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00107">SVFModule.h:107</a></div></div>
341
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa29e64e29db6af2387dec987a5e1985b"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b">SVF::SVFModule::getConstantSet</a></div><div class="ttdeci">const ConstantType &amp; getConstantSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00221">SVFModule.h:221</a></div></div>
342
- <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>
335
+ <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>
336
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a436c4bdede4d1c1e68d7e41bd2b27da7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7">SVF::SVFModule::begin</a></div><div class="ttdeci">const_iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00137">SVFModule.h:137</a></div></div>
337
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7f2b4647c8d69c8328b63e576cb6d065"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule::alias_begin</a></div><div class="ttdeci">alias_iterator alias_begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00167">SVFModule.h:167</a></div></div>
338
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a8a0fe93cc13b799fc28540fb312573c6"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6">SVF::SVFModule::addFunctionSet</a></div><div class="ttdeci">void addFunctionSet(SVFFunction *svfFunc)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00106">SVFModule.h:106</a></div></div>
339
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa29e64e29db6af2387dec987a5e1985b"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b">SVF::SVFModule::getConstantSet</a></div><div class="ttdeci">const ConstantType &amp; getConstantSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00220">SVFModule.h:220</a></div></div>
340
+ <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>
343
341
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_a545633e2d7f103b4983b47d4e1c56823"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823">SVF::SVFModule::releaseSVFModule</a></div><div class="ttdeci">static void releaseSVFModule()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00069">SVFModule.cpp:69</a></div></div>
344
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_af22af3a6d54bb510e5c4805eff3d12cd"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd">SVF::SVFModule::getOtherValueSet</a></div><div class="ttdeci">const OtherValueType &amp; getOtherValueSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00233">SVFModule.h:233</a></div></div>
342
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_af22af3a6d54bb510e5c4805eff3d12cd"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd">SVF::SVFModule::getOtherValueSet</a></div><div class="ttdeci">const OtherValueType &amp; getOtherValueSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00232">SVFModule.h:232</a></div></div>
345
343
  <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>
346
- <div class="ttc" id="aclassSVF_1_1SVFOtherValue_html"><div class="ttname"><a href="classSVF_1_1SVFOtherValue.html">SVF::SVFOtherValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01027">SVFValue.h:1027</a></div></div>
347
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a996acd5c2c10b16e0f8b6356073bf499"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">SVF::SVFModule::ConstantType</a></div><div class="ttdeci">std::vector&lt; SVFConstant * &gt; ConstantType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00050">SVFModule.h:50</a></div></div>
348
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_abd37790149389fe1fd3bf93196b302e0"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0">SVF::SVFModule::constant_end</a></div><div class="ttdeci">const_cdata_iterator constant_end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00197">SVFModule.h:197</a></div></div>
349
- <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>
350
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a709371b13dcf500277f8bc275bdb23c7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">SVF::SVFModule::iterator</a></div><div class="ttdeci">FunctionSetType::iterator iterator</div><div class="ttdoc">Iterators type def.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00054">SVFModule.h:54</a></div></div>
351
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_acf5e3a6a89fb3e0c5d2fc7d79593b8a7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">SVF::SVFModule::cdata_iterator</a></div><div class="ttdeci">ConstantType::iterator cdata_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00060">SVFModule.h:60</a></div></div>
352
- <div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00812">SVFValue.h:812</a></div></div>
353
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a1357c876eccedd58b3abe68875b3a570"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule::pagReadFromTXT</a></div><div class="ttdeci">static bool pagReadFromTXT()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00099">SVFModule.h:99</a></div></div>
354
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a8a34164634d6ad9a7b76175907c8c44b"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule::global_end</a></div><div class="ttdeci">global_iterator global_end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00159">SVFModule.h:159</a></div></div>
355
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7d742b73f8ef330334ff0280024399ba"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7d742b73f8ef330334ff0280024399ba">SVF::SVFModule::getGlobalSet</a></div><div class="ttdeci">const GlobalSetType &amp; getGlobalSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00225">SVFModule.h:225</a></div></div>
344
+ <div class="ttc" id="aclassSVF_1_1SVFOtherValue_html"><div class="ttname"><a href="classSVF_1_1SVFOtherValue.html">SVF::SVFOtherValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01033">SVFValue.h:1033</a></div></div>
345
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a996acd5c2c10b16e0f8b6356073bf499"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">SVF::SVFModule::ConstantType</a></div><div class="ttdeci">std::vector&lt; SVFConstant * &gt; ConstantType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00049">SVFModule.h:49</a></div></div>
346
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_abd37790149389fe1fd3bf93196b302e0"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0">SVF::SVFModule::constant_end</a></div><div class="ttdeci">const_cdata_iterator constant_end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00196">SVFModule.h:196</a></div></div>
347
+ <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>
348
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a709371b13dcf500277f8bc275bdb23c7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">SVF::SVFModule::iterator</a></div><div class="ttdeci">FunctionSetType::iterator iterator</div><div class="ttdoc">Iterators type def.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00053">SVFModule.h:53</a></div></div>
349
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_acf5e3a6a89fb3e0c5d2fc7d79593b8a7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">SVF::SVFModule::cdata_iterator</a></div><div class="ttdeci">ConstantType::iterator cdata_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00059">SVFModule.h:59</a></div></div>
350
+ <div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00818">SVFValue.h:818</a></div></div>
351
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a1357c876eccedd58b3abe68875b3a570"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule::pagReadFromTXT</a></div><div class="ttdeci">static bool pagReadFromTXT()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00098">SVFModule.h:98</a></div></div>
352
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a8a34164634d6ad9a7b76175907c8c44b"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule::global_end</a></div><div class="ttdeci">global_iterator global_end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00158">SVFModule.h:158</a></div></div>
353
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7d742b73f8ef330334ff0280024399ba"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7d742b73f8ef330334ff0280024399ba">SVF::SVFModule::getGlobalSet</a></div><div class="ttdeci">const GlobalSetType &amp; getGlobalSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00224">SVFModule.h:224</a></div></div>
356
354
  <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html">SVF::SVFIRWriter</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00379">SVFFileSystem.h:379</a></div></div>
357
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_acfd1ffb4696136de493843786c799e6b"><div class="ttname"><a href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">SVF::SVFModule::FunctionSetType</a></div><div class="ttdeci">std::vector&lt; const SVFFunction * &gt; FunctionSetType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00047">SVFModule.h:47</a></div></div>
358
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a5486697889c6cca4f9f426650defc255"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">SVF::SVFModule::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00134">SVFModule.h:134</a></div></div>
359
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_afcf2978f32e15127fb093405dc17d7f1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">SVF::SVFModule::const_iterator</a></div><div class="ttdeci">FunctionSetType::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00055">SVFModule.h:55</a></div></div>
360
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_ad4616c3bde775e0cf19ea9ed90065a2e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e">SVF::SVFModule::constant_end</a></div><div class="ttdeci">cdata_iterator constant_end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00193">SVFModule.h:193</a></div></div>
361
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_ab10b74abdfde0139cd62e4d9900702fc"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">SVF::SVFModule::const_cdata_iterator</a></div><div class="ttdeci">ConstantType::const_iterator const_cdata_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00061">SVFModule.h:61</a></div></div>
362
- <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
363
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_af81c6deed3978562f83f120119c6aad2"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule::global_begin</a></div><div class="ttdeci">const_global_iterator global_begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00155">SVFModule.h:155</a></div></div>
364
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a0e28f6eaf32efc6f2c0987e64f1df852"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule::alias_begin</a></div><div class="ttdeci">const_alias_iterator alias_begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00172">SVFModule.h:172</a></div></div>
365
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_abee99d29b7d4c4915a386895c755009c"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">SVF::SVFModule::alias_iterator</a></div><div class="ttdeci">AliasSetType::iterator alias_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00058">SVFModule.h:58</a></div></div>
366
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a54c2bc2cb7cda0d74f4cadc676461b60"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60">SVF::SVFModule::pagFileName</a></div><div class="ttdeci">static std::string pagFileName()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00094">SVFModule.h:94</a></div></div>
367
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a3cfd0983849950099d1e8f8e0fda42bc"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule::alias_end</a></div><div class="ttdeci">alias_iterator alias_end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00176">SVFModule.h:176</a></div></div>
368
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_ac088d7ffb9319033308b7aaee78f364d"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">SVF::SVFModule::constant_begin</a></div><div class="ttdeci">cdata_iterator constant_begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00185">SVFModule.h:185</a></div></div>
355
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_acfd1ffb4696136de493843786c799e6b"><div class="ttname"><a href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">SVF::SVFModule::FunctionSetType</a></div><div class="ttdeci">std::vector&lt; const SVFFunction * &gt; FunctionSetType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00046">SVFModule.h:46</a></div></div>
356
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a5486697889c6cca4f9f426650defc255"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">SVF::SVFModule::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00133">SVFModule.h:133</a></div></div>
357
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_afcf2978f32e15127fb093405dc17d7f1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">SVF::SVFModule::const_iterator</a></div><div class="ttdeci">FunctionSetType::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00054">SVFModule.h:54</a></div></div>
358
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_ad4616c3bde775e0cf19ea9ed90065a2e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e">SVF::SVFModule::constant_end</a></div><div class="ttdeci">cdata_iterator constant_end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00192">SVFModule.h:192</a></div></div>
359
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_ab10b74abdfde0139cd62e4d9900702fc"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">SVF::SVFModule::const_cdata_iterator</a></div><div class="ttdeci">ConstantType::const_iterator const_cdata_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00060">SVFModule.h:60</a></div></div>
360
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
361
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_af81c6deed3978562f83f120119c6aad2"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule::global_begin</a></div><div class="ttdeci">const_global_iterator global_begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00154">SVFModule.h:154</a></div></div>
362
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a0e28f6eaf32efc6f2c0987e64f1df852"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule::alias_begin</a></div><div class="ttdeci">const_alias_iterator alias_begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00171">SVFModule.h:171</a></div></div>
363
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_abee99d29b7d4c4915a386895c755009c"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">SVF::SVFModule::alias_iterator</a></div><div class="ttdeci">AliasSetType::iterator alias_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00057">SVFModule.h:57</a></div></div>
364
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a54c2bc2cb7cda0d74f4cadc676461b60"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60">SVF::SVFModule::pagFileName</a></div><div class="ttdeci">static std::string pagFileName()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00093">SVFModule.h:93</a></div></div>
365
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a3cfd0983849950099d1e8f8e0fda42bc"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule::alias_end</a></div><div class="ttdeci">alias_iterator alias_end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00175">SVFModule.h:175</a></div></div>
366
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_ac088d7ffb9319033308b7aaee78f364d"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">SVF::SVFModule::constant_begin</a></div><div class="ttdeci">cdata_iterator constant_begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00184">SVFModule.h:184</a></div></div>
369
367
  <div class="ttc" id="aNodeIDAllocator_8h_html"><div class="ttname"><a href="NodeIDAllocator_8h.html">NodeIDAllocator.h</a></div></div>
370
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a1bb5c818ec63d81a238f3d242a89079f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule::alias_end</a></div><div class="ttdeci">const_alias_iterator alias_end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00180">SVFModule.h:180</a></div></div>
371
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a9dc9266c21ba80b13ebb22731e1e9caf"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">SVF::SVFModule::AliasSetType</a></div><div class="ttdeci">std::vector&lt; SVFGlobalValue * &gt; AliasSetType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00049">SVFModule.h:49</a></div></div>
368
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a1bb5c818ec63d81a238f3d242a89079f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule::alias_end</a></div><div class="ttdeci">const_alias_iterator alias_end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00179">SVFModule.h:179</a></div></div>
369
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a9dc9266c21ba80b13ebb22731e1e9caf"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">SVF::SVFModule::AliasSetType</a></div><div class="ttdeci">std::vector&lt; SVFGlobalValue * &gt; AliasSetType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00048">SVFModule.h:48</a></div></div>
372
370
  <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
373
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a48d7f0643bb228701dcabb88ef541fca"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca">SVF::SVFModule::addOtherValue</a></div><div class="ttdeci">void addOtherValue(SVFOtherValue *ov)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00125">SVFModule.h:125</a></div></div>
371
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a48d7f0643bb228701dcabb88ef541fca"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca">SVF::SVFModule::addOtherValue</a></div><div class="ttdeci">void addOtherValue(SVFOtherValue *ov)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00124">SVFModule.h:124</a></div></div>
374
372
  <div class="ttc" id="aclassSVF_1_1SVFIRReader_html"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html">SVF::SVFIRReader</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01033">SVFFileSystem.h:1033</a></div></div>
375
- <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>
373
+ <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>
376
374
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_ab930bb5449538c4d0da1297a103788a1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ab930bb5449538c4d0da1297a103788a1">SVF::SVFModule::getSVFModule</a></div><div class="ttdeci">static SVFModule * getSVFModule()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00060">SVFModule.cpp:60</a></div></div>
377
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa8bab1ad6cab332fe24066b9cf487344"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344">SVF::SVFModule::getModuleIdentifier</a></div><div class="ttdeci">const std::string &amp; getModuleIdentifier() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00203">SVFModule.h:203</a></div></div>
378
- <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>
379
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_acaba1ff38ed1fdd8a9a1251a1b36be92"><div class="ttname"><a href="classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92">SVF::SVFModule::setModuleIdentifier</a></div><div class="ttdeci">void setModuleIdentifier(const std::string &amp;moduleIdentifier)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00089">SVFModule.h:89</a></div></div>
375
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa8bab1ad6cab332fe24066b9cf487344"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344">SVF::SVFModule::getModuleIdentifier</a></div><div class="ttdeci">const std::string &amp; getModuleIdentifier() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00202">SVFModule.h:202</a></div></div>
376
+ <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>
377
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_acaba1ff38ed1fdd8a9a1251a1b36be92"><div class="ttname"><a href="classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92">SVF::SVFModule::setModuleIdentifier</a></div><div class="ttdeci">void setModuleIdentifier(const std::string &amp;moduleIdentifier)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00088">SVFModule.h:88</a></div></div>
380
378
  <!-- start footer part -->
381
379
  <hr class="footer"/><address class="footer"><small>
382
380
  Generated by &#160;<a href="http://www.doxygen.org/index.html">