svf-tools 1.0.310 → 1.0.314

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 (447) hide show
  1. package/SVF-doxygen/html/html/AndersenHCD_8cpp_source.html +3 -3
  2. package/SVF-doxygen/html/html/AndersenHLCD_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/AndersenLCD_8cpp_source.html +3 -3
  4. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +3 -3
  5. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +6 -6
  6. package/SVF-doxygen/html/html/AndersenSFR_8h_source.html +6 -6
  7. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +21 -21
  8. package/SVF-doxygen/html/html/AndersenWaveDiffWithType_8cpp_source.html +4 -4
  9. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +4 -4
  10. package/SVF-doxygen/html/html/Andersen_8cpp.html +1 -0
  11. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +58 -56
  12. package/SVF-doxygen/html/html/Andersen_8h_source.html +118 -118
  13. package/SVF-doxygen/html/html/CHG_8cpp.html +3 -3
  14. package/SVF-doxygen/html/html/CHG_8cpp_source.html +49 -50
  15. package/SVF-doxygen/html/html/CHG_8h_source.html +3 -3
  16. package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +17 -16
  17. package/SVF-doxygen/html/html/CPPUtil_8h_source.html +16 -16
  18. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +5 -5
  19. package/SVF-doxygen/html/html/CallGraphBuilder_8h_source.html +1 -1
  20. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +5 -5
  21. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +10 -10
  22. package/SVF-doxygen/html/html/ConsG_8h_source.html +7 -7
  23. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +8 -8
  24. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +5 -5
  25. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +13 -13
  26. package/SVF-doxygen/html/html/DCHG_8h_source.html +2 -2
  27. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +7 -7
  28. package/SVF-doxygen/html/html/DDAClient_8h_source.html +2 -2
  29. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +5 -5
  30. package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +4 -4
  32. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +10 -10
  33. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  34. package/SVF-doxygen/html/html/ExternalPAG_8cpp.html +1 -1
  35. package/SVF-doxygen/html/html/ExternalPAG_8cpp_source.html +8 -8
  36. package/SVF-doxygen/html/html/ExternalPAG_8h_source.html +1 -1
  37. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +10 -10
  38. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
  39. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  40. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +3 -3
  41. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +3 -3
  42. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +9 -9
  43. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +11 -11
  44. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +7 -7
  45. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +5 -5
  46. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +82 -81
  47. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +4 -4
  48. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +4 -4
  49. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
  50. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +1 -1
  51. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +3 -3
  52. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +6 -6
  53. package/SVF-doxygen/html/html/ICFG_8h_source.html +6 -6
  54. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +4 -4
  55. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +2 -2
  56. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +2 -2
  57. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1 -1
  58. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +4 -4
  59. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
  60. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  61. package/SVF-doxygen/html/html/LocationSet_8h_source.html +1 -2
  62. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +6 -6
  63. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +1 -1
  64. package/SVF-doxygen/html/html/MHP_8cpp_source.html +13 -13
  65. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +4 -4
  66. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +1 -1
  67. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +1 -1
  68. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +1 -1
  69. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +5 -5
  70. package/SVF-doxygen/html/html/MTA_8cpp_source.html +5 -5
  71. package/SVF-doxygen/html/html/MTA_8h_source.html +1 -1
  72. package/SVF-doxygen/html/html/MemModelBuilder_8cpp.html +90 -0
  73. package/SVF-doxygen/html/html/MemModelBuilder_8cpp_source.html +205 -0
  74. package/SVF-doxygen/html/html/MemModelBuilder_8h.html +97 -0
  75. package/SVF-doxygen/html/html/MemModelBuilder_8h_source.html +105 -0
  76. package/SVF-doxygen/html/html/MemModel_8cpp_source.html +9 -53
  77. package/SVF-doxygen/html/html/MemModel_8h_source.html +44 -44
  78. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +17 -17
  79. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +3 -3
  80. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +13 -13
  81. package/SVF-doxygen/html/html/NodeIDAllocator_8h_source.html +12 -12
  82. package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +2 -2
  83. package/SVF-doxygen/html/html/Options_8cpp_source.html +1 -2
  84. package/SVF-doxygen/html/html/Options_8h_source.html +2 -2
  85. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +1 -1
  86. package/SVF-doxygen/html/html/PAGBuilder_8cpp_source.html +25 -25
  87. package/SVF-doxygen/html/html/PAGBuilder_8h_source.html +1 -1
  88. package/SVF-doxygen/html/html/PAGEdge_8h_source.html +2 -2
  89. package/SVF-doxygen/html/html/PAGNode_8h_source.html +11 -11
  90. package/SVF-doxygen/html/html/PAG_8cpp_source.html +34 -34
  91. package/SVF-doxygen/html/html/PAG_8h_source.html +41 -41
  92. package/SVF-doxygen/html/html/PCG_8cpp_source.html +8 -8
  93. package/SVF-doxygen/html/html/PCG_8h_source.html +1 -1
  94. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +8 -8
  95. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +2 -2
  96. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +24 -24
  97. package/SVF-doxygen/html/html/PTAType_8h_source.html +4 -4
  98. package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +1 -1
  99. package/SVF-doxygen/html/html/PathCondAllocator_8h_source.html +1 -1
  100. package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +34 -33
  101. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +7 -7
  102. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +15 -15
  103. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +66 -66
  104. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +15 -15
  105. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +7 -7
  106. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +3 -3
  107. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +4 -4
  108. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  109. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +10 -10
  110. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +8 -8
  111. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +5 -5
  112. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +9 -9
  113. package/SVF-doxygen/html/html/SVFG_8h_source.html +7 -7
  114. package/SVF-doxygen/html/html/SVFModule_8cpp.html +1 -1
  115. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +6 -5
  116. package/SVF-doxygen/html/html/SVFModule_8h.html +3 -0
  117. package/SVF-doxygen/html/html/SVFModule_8h_source.html +53 -46
  118. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +1 -1
  119. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +8 -8
  120. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +6 -6
  121. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  122. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +1 -1
  123. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +2 -2
  124. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +5 -55
  125. package/SVF-doxygen/html/html/SymbolTableInfo_8h.html +0 -4
  126. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +88 -101
  127. package/SVF-doxygen/html/html/TCT_8cpp_source.html +11 -11
  128. package/SVF-doxygen/html/html/TCT_8h_source.html +10 -10
  129. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +5 -5
  130. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +1 -1
  131. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +3 -3
  132. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +8 -8
  133. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +7 -7
  134. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +2 -2
  135. package/SVF-doxygen/html/html/VFGNode_8h_source.html +2 -2
  136. package/SVF-doxygen/html/html/VFG_8cpp_source.html +6 -6
  137. package/SVF-doxygen/html/html/VFG_8h_source.html +6 -6
  138. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +7 -7
  139. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +13 -13
  140. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +11 -11
  141. package/SVF-doxygen/html/html/WPAPass_8h_source.html +1 -1
  142. package/SVF-doxygen/html/html/annotated.html +135 -136
  143. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  144. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +1 -1
  146. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +1 -1
  147. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +2 -2
  148. package/SVF-doxygen/html/html/classSVF_1_1AddrPE.html +1 -1
  149. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
  150. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +2 -2
  151. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +1 -1
  152. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +228 -228
  153. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +1 -1
  154. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +60 -58
  155. package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD-members.html +1 -1
  156. package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +43 -43
  157. package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD-members.html +1 -1
  158. package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +23 -23
  159. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD-members.html +1 -1
  160. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +52 -52
  161. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +1 -1
  162. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +38 -38
  163. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +1 -1
  164. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +17 -17
  165. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +31 -31
  166. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +1 -1
  167. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +38 -38
  168. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiffWithType-members.html +1 -1
  169. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiffWithType.html +31 -31
  170. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
  171. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +73 -72
  172. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPPE.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  174. package/SVF-doxygen/html/html/classSVF_1_1CHGraph-members.html +1 -1
  175. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +123 -120
  176. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +1 -1
  177. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +3 -3
  178. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  179. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjPN.html +1 -1
  180. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjPN.html +1 -1
  181. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjPN.html +1 -1
  182. package/SVF-doxygen/html/html/classSVF_1_1CmpPE.html +1 -1
  183. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  184. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +115 -115
  185. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +15 -15
  186. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +18 -18
  187. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +13 -13
  188. package/SVF-doxygen/html/html/classSVF_1_1CopyPE.html +1 -1
  189. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +22 -22
  191. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
  192. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +9 -9
  193. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +4 -4
  194. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
  195. package/SVF-doxygen/html/html/classSVF_1_1DummyObjPN.html +1 -1
  196. package/SVF-doxygen/html/html/classSVF_1_1DummyValPN.html +1 -1
  197. package/SVF-doxygen/html/html/classSVF_1_1ExternalPAG.html +8 -8
  198. package/SVF-doxygen/html/html/classSVF_1_1FIObjPN.html +1 -1
  199. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +2 -2
  200. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +10 -10
  201. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +44 -44
  202. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +24 -24
  203. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +32 -32
  204. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +5 -5
  205. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +1 -1
  206. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +1 -1
  207. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +1 -1
  208. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +1 -1
  209. package/SVF-doxygen/html/html/classSVF_1_1FunEntryBlockNode.html +1 -1
  210. package/SVF-doxygen/html/html/classSVF_1_1FunExitBlockNode.html +1 -1
  211. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +5 -5
  212. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +47 -47
  213. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +58 -57
  214. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html +5 -5
  215. package/SVF-doxygen/html/html/classSVF_1_1GepPE.html +1 -1
  216. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
  217. package/SVF-doxygen/html/html/classSVF_1_1GepValPN.html +1 -1
  218. package/SVF-doxygen/html/html/classSVF_1_1GlobalBlockNode.html +1 -1
  219. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +13 -13
  220. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +3 -3
  221. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  222. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +6 -6
  223. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +2 -2
  224. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +3 -3
  225. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  226. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  227. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +1 -1
  228. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +1 -1
  229. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  230. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +17 -17
  231. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +3 -3
  232. package/SVF-doxygen/html/html/classSVF_1_1LoadPE.html +1 -1
  233. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
  234. package/SVF-doxygen/html/html/classSVF_1_1LocObjTypeInfo.html +1 -1
  235. package/SVF-doxygen/html/html/classSVF_1_1LocSymTableInfo.html +2 -2
  236. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +1 -1
  237. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +8 -8
  238. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +1 -1
  239. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +15 -15
  240. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +24 -24
  241. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
  242. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  243. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +5 -5
  244. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +3 -3
  245. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +4 -4
  246. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +21 -21
  247. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +5 -5
  248. package/SVF-doxygen/html/html/classSVF_1_1MemModelBuilder-members.html +95 -0
  249. package/SVF-doxygen/html/html/classSVF_1_1MemModelBuilder.html +711 -0
  250. package/SVF-doxygen/html/html/classSVF_1_1MemObj-members.html +7 -10
  251. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +92 -199
  252. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +3 -3
  253. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator-members.html +1 -1
  254. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator.html +7 -7
  255. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +34 -34
  256. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +3 -3
  257. package/SVF-doxygen/html/html/classSVF_1_1ObjPN.html +3 -3
  258. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo-members.html +8 -10
  259. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +68 -168
  260. package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +1 -1
  261. package/SVF-doxygen/html/html/classSVF_1_1Options.html +5 -5
  262. package/SVF-doxygen/html/html/classSVF_1_1PAG.html +67 -67
  263. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilder.html +41 -41
  264. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +3 -3
  265. package/SVF-doxygen/html/html/classSVF_1_1PAGEdge.html +5 -5
  266. package/SVF-doxygen/html/html/classSVF_1_1PAGNode.html +10 -10
  267. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +15 -15
  268. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  269. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +16 -16
  270. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +4 -4
  271. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +32 -32
  272. package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html +6 -6
  273. package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData.html +5 -5
  274. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +10 -10
  275. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache-members.html +39 -38
  276. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +153 -116
  277. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +21 -21
  278. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +3 -3
  279. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
  280. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode.html +1 -1
  281. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  282. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +2 -2
  283. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +8 -8
  284. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
  285. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +35 -35
  286. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +7 -7
  287. package/SVF-doxygen/html/html/classSVF_1_1SVFModule-members.html +1 -0
  288. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +113 -80
  289. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +3 -3
  290. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +16 -16
  291. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +5 -5
  292. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +1 -1
  293. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +14 -14
  294. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +2 -2
  295. package/SVF-doxygen/html/html/classSVF_1_1StorePE.html +1 -1
  296. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +1 -1
  297. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo-members.html +49 -55
  298. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +300 -587
  299. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +28 -28
  300. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +1 -1
  301. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
  302. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
  303. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  304. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +1 -1
  305. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +11 -11
  306. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +8 -8
  307. package/SVF-doxygen/html/html/classSVF_1_1TypeSystem.html +1 -1
  308. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPPE.html +1 -1
  309. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  310. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +14 -14
  311. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  312. package/SVF-doxygen/html/html/classSVF_1_1ValPN.html +2 -2
  313. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +2 -2
  314. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +35 -35
  315. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +11 -11
  316. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +3 -3
  317. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +11 -11
  318. package/SVF-doxygen/html/html/classes.html +91 -91
  319. package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
  320. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  321. package/SVF-doxygen/html/html/dir_5840dc76920ee0f379cd88b55fa041fd.html +1 -1
  322. package/SVF-doxygen/html/html/dir_770a542efe75a1b68c109cb4e4290224.html +1 -1
  323. package/SVF-doxygen/html/html/files.html +2 -2
  324. package/SVF-doxygen/html/html/functions_0x7e.html +5 -8
  325. package/SVF-doxygen/html/html/functions_a.html +13 -10
  326. package/SVF-doxygen/html/html/functions_b.html +1 -1
  327. package/SVF-doxygen/html/html/functions_c.html +38 -36
  328. package/SVF-doxygen/html/html/functions_e.html +1 -1
  329. package/SVF-doxygen/html/html/functions_f.html +3 -3
  330. package/SVF-doxygen/html/html/functions_func.html +12 -9
  331. package/SVF-doxygen/html/html/functions_func_0x7e.html +5 -8
  332. package/SVF-doxygen/html/html/functions_func_b.html +1 -1
  333. package/SVF-doxygen/html/html/functions_func_c.html +28 -26
  334. package/SVF-doxygen/html/html/functions_func_e.html +1 -1
  335. package/SVF-doxygen/html/html/functions_func_g.html +11 -13
  336. package/SVF-doxygen/html/html/functions_func_h.html +3 -3
  337. package/SVF-doxygen/html/html/functions_func_i.html +8 -7
  338. package/SVF-doxygen/html/html/functions_func_l.html +2 -8
  339. package/SVF-doxygen/html/html/functions_func_m.html +4 -1
  340. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  341. package/SVF-doxygen/html/html/functions_func_s.html +8 -5
  342. package/SVF-doxygen/html/html/functions_func_v.html +0 -3
  343. package/SVF-doxygen/html/html/functions_g.html +6 -8
  344. package/SVF-doxygen/html/html/functions_h.html +3 -3
  345. package/SVF-doxygen/html/html/functions_i.html +15 -14
  346. package/SVF-doxygen/html/html/functions_l.html +6 -10
  347. package/SVF-doxygen/html/html/functions_m.html +5 -1
  348. package/SVF-doxygen/html/html/functions_n.html +4 -4
  349. package/SVF-doxygen/html/html/functions_o.html +3 -3
  350. package/SVF-doxygen/html/html/functions_p.html +13 -9
  351. package/SVF-doxygen/html/html/functions_r.html +1 -1
  352. package/SVF-doxygen/html/html/functions_rela.html +3 -0
  353. package/SVF-doxygen/html/html/functions_s.html +20 -14
  354. package/SVF-doxygen/html/html/functions_t.html +4 -4
  355. package/SVF-doxygen/html/html/functions_u.html +3 -3
  356. package/SVF-doxygen/html/html/functions_v.html +2 -5
  357. package/SVF-doxygen/html/html/functions_vars_l.html +1 -1
  358. package/SVF-doxygen/html/html/functions_vars_s.html +2 -1
  359. package/SVF-doxygen/html/html/functions_w.html +3 -1
  360. package/SVF-doxygen/html/html/hierarchy.html +127 -128
  361. package/SVF-doxygen/html/html/mta_8cpp.html +1 -1
  362. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  363. package/SVF-doxygen/html/html/namespaceSVF.html +1 -3
  364. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +1 -1
  365. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +40 -39
  366. package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
  367. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  368. package/SVF-doxygen/html/html/search/all_1.js +3 -2
  369. package/SVF-doxygen/html/html/search/all_10.js +9 -9
  370. package/SVF-doxygen/html/html/search/all_12.js +2 -2
  371. package/SVF-doxygen/html/html/search/all_13.js +9 -8
  372. package/SVF-doxygen/html/html/search/all_14.js +6 -6
  373. package/SVF-doxygen/html/html/search/all_15.js +2 -2
  374. package/SVF-doxygen/html/html/search/all_16.js +0 -1
  375. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  376. package/SVF-doxygen/html/html/search/all_1b.js +3 -4
  377. package/SVF-doxygen/html/html/search/all_2.js +1 -1
  378. package/SVF-doxygen/html/html/search/all_3.js +11 -10
  379. package/SVF-doxygen/html/html/search/all_5.js +1 -1
  380. package/SVF-doxygen/html/html/search/all_6.js +1 -1
  381. package/SVF-doxygen/html/html/search/all_7.js +2 -2
  382. package/SVF-doxygen/html/html/search/all_8.js +3 -3
  383. package/SVF-doxygen/html/html/search/all_9.js +4 -3
  384. package/SVF-doxygen/html/html/search/all_c.js +4 -7
  385. package/SVF-doxygen/html/html/search/all_d.js +4 -1
  386. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  387. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  388. package/SVF-doxygen/html/html/search/classes_9.js +1 -3
  389. package/SVF-doxygen/html/html/search/classes_a.js +1 -0
  390. package/SVF-doxygen/html/html/search/files_8.js +1 -3
  391. package/SVF-doxygen/html/html/search/files_9.js +2 -0
  392. package/SVF-doxygen/html/html/search/functions_0.js +3 -2
  393. package/SVF-doxygen/html/html/search/functions_1.js +1 -1
  394. package/SVF-doxygen/html/html/search/functions_10.js +1 -0
  395. package/SVF-doxygen/html/html/search/functions_13.js +0 -1
  396. package/SVF-doxygen/html/html/search/functions_16.js +3 -4
  397. package/SVF-doxygen/html/html/search/functions_2.js +10 -9
  398. package/SVF-doxygen/html/html/search/functions_4.js +1 -1
  399. package/SVF-doxygen/html/html/search/functions_6.js +2 -2
  400. package/SVF-doxygen/html/html/search/functions_7.js +3 -3
  401. package/SVF-doxygen/html/html/search/functions_8.js +2 -1
  402. package/SVF-doxygen/html/html/search/functions_a.js +1 -3
  403. package/SVF-doxygen/html/html/search/functions_b.js +2 -1
  404. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  405. package/SVF-doxygen/html/html/search/related_3.js +1 -0
  406. package/SVF-doxygen/html/html/search/variables_13.js +1 -1
  407. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  408. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  409. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  410. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  411. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html +12 -12
  412. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  413. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +1 -1
  414. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PAG_01_5_01_4.html +17 -17
  415. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +2 -2
  416. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +1 -1
  417. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html +14 -14
  418. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html +20 -20
  419. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html +16 -16
  420. package/SVF-doxygen/html/html/svf-ex_8cpp.html +8 -7
  421. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +6 -5
  422. package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
  423. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  424. package/include/Graphs/GenericGraph.h +5 -8
  425. package/include/MemoryModel/MemModel.h +5 -21
  426. package/include/MemoryModel/PersistentPointsToCache.h +13 -7
  427. package/include/MemoryModel/PointerAnalysisImpl.h +1 -0
  428. package/include/SVF-FE/CHG.h +1 -1
  429. package/include/SVF-FE/MemModelBuilder.h +102 -0
  430. package/include/SVF-FE/SymbolTableInfo.h +12 -79
  431. package/include/Util/NodeIDAllocator.h +1 -1
  432. package/include/Util/SVFModule.h +16 -0
  433. package/include/WPA/Andersen.h +2 -7
  434. package/lib/Graphs/PAG.cpp +3 -10
  435. package/lib/MemoryModel/MemModel.cpp +10 -436
  436. package/lib/SVF-FE/CHG.cpp +0 -6
  437. package/lib/SVF-FE/CPPUtil.cpp +2 -0
  438. package/lib/SVF-FE/MemModelBuilder.cpp +616 -0
  439. package/lib/SVF-FE/SymbolTableInfo.cpp +10 -453
  440. package/lib/Util/NodeIDAllocator.cpp +2 -1
  441. package/lib/Util/Options.cpp +2 -10
  442. package/lib/Util/SVFModule.cpp +3 -2
  443. package/lib/WPA/Andersen.cpp +13 -1
  444. package/package.json +1 -1
  445. package/tools/Example/svf-ex.cpp +6 -3
  446. package/include/SVF-FE/LocMemModel.h +0 -35
  447. package/lib/SVF-FE/LocMemModel.cpp +0 -31
package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html CHANGED
@@ -111,6 +111,8 @@ Public Member Functions</h2></td></tr>
111
111
  <tr class="memitem:a22b214595dd7841eb974e7c633ed8bb1"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1">SVFModule</a> (std::string moduleName=&quot;&quot;)</td></tr>
112
112
  <tr class="memdesc:a22b214595dd7841eb974e7c633ed8bb1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructors. <a href="#a22b214595dd7841eb974e7c633ed8bb1">More...</a><br /></td></tr>
113
113
  <tr class="separator:a22b214595dd7841eb974e7c633ed8bb1"><td class="memSeparator" colspan="2">&#160;</td></tr>
114
+ <tr class="memitem:a1eb570539328976351d95ca93cb7aa02"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFModule.html#a1eb570539328976351d95ca93cb7aa02">~SVFModule</a> ()</td></tr>
115
+ <tr class="separator:a1eb570539328976351d95ca93cb7aa02"><td class="memSeparator" colspan="2">&#160;</td></tr>
114
116
  <tr class="memitem:aa03ab5272652290f30870c6e2d053d98"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">buildSymbolTableInfo</a> ()</td></tr>
115
117
  <tr class="separator:aa03ab5272652290f30870c6e2d053d98"><td class="memSeparator" colspan="2">&#160;</td></tr>
116
118
  <tr class="memitem:af969d7739f27c8242985656bafbabaeb"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFModule.html#af969d7739f27c8242985656bafbabaeb">getSVFFunction</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *fun) const</td></tr>
@@ -194,7 +196,7 @@ Static Private Attributes</h2></td></tr>
194
196
  </table>
195
197
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
196
198
  <div class="textblock">
197
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00038">38</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
199
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00041">41</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
198
200
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
199
201
  <a id="abee99d29b7d4c4915a386895c755009c"></a>
200
202
  <h2 class="memtitle"><span class="permalink"><a href="#abee99d29b7d4c4915a386895c755009c">&#9670;&nbsp;</a></span>alias_iterator</h2>
@@ -208,7 +210,7 @@ Static Private Attributes</h2></td></tr>
208
210
  </table>
209
211
  </div><div class="memdoc">
210
212
 
211
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00054">54</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
213
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00057">57</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
212
214
 
213
215
  </div>
214
216
  </div>
@@ -224,7 +226,7 @@ Static Private Attributes</h2></td></tr>
224
226
  </table>
225
227
  </div><div class="memdoc">
226
228
 
227
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00044">44</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
229
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00047">47</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
228
230
 
229
231
  </div>
230
232
  </div>
@@ -240,7 +242,7 @@ Static Private Attributes</h2></td></tr>
240
242
  </table>
241
243
  </div><div class="memdoc">
242
244
 
243
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00055">55</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
245
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00058">58</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
244
246
 
245
247
  </div>
246
248
  </div>
@@ -256,7 +258,7 @@ Static Private Attributes</h2></td></tr>
256
258
  </table>
257
259
  </div><div class="memdoc">
258
260
 
259
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00053">53</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
261
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00056">56</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
260
262
 
261
263
  </div>
262
264
  </div>
@@ -272,7 +274,7 @@ Static Private Attributes</h2></td></tr>
272
274
  </table>
273
275
  </div><div class="memdoc">
274
276
 
275
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00049">49</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
277
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00052">52</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
276
278
 
277
279
  </div>
278
280
  </div>
@@ -288,7 +290,7 @@ Static Private Attributes</h2></td></tr>
288
290
  </table>
289
291
  </div><div class="memdoc">
290
292
 
291
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00041">41</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
293
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00044">44</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
292
294
 
293
295
  </div>
294
296
  </div>
@@ -304,7 +306,7 @@ Static Private Attributes</h2></td></tr>
304
306
  </table>
305
307
  </div><div class="memdoc">
306
308
 
307
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00052">52</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
309
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00055">55</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
308
310
 
309
311
  </div>
310
312
  </div>
@@ -320,7 +322,7 @@ Static Private Attributes</h2></td></tr>
320
322
  </table>
321
323
  </div><div class="memdoc">
322
324
 
323
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00043">43</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
325
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00046">46</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
324
326
 
325
327
  </div>
326
328
  </div>
@@ -338,7 +340,7 @@ Static Private Attributes</h2></td></tr>
338
340
 
339
341
  <p>Iterators type def. </p>
340
342
 
341
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00048">48</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
343
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00051">51</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
342
344
 
343
345
  </div>
344
346
  </div>
@@ -354,7 +356,7 @@ Static Private Attributes</h2></td></tr>
354
356
  </table>
355
357
  </div><div class="memdoc">
356
358
 
357
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00051">51</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
359
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00054">54</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
358
360
 
359
361
  </div>
360
362
  </div>
@@ -370,7 +372,7 @@ Static Private Attributes</h2></td></tr>
370
372
  </table>
371
373
  </div><div class="memdoc">
372
374
 
373
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00050">50</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
375
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00053">53</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
374
376
 
375
377
  </div>
376
378
  </div>
@@ -386,7 +388,7 @@ Static Private Attributes</h2></td></tr>
386
388
  </table>
387
389
  </div><div class="memdoc">
388
390
 
389
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00045">45</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
391
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00048">48</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
390
392
 
391
393
  </div>
392
394
  </div>
@@ -402,7 +404,7 @@ Static Private Attributes</h2></td></tr>
402
404
  </table>
403
405
  </div><div class="memdoc">
404
406
 
405
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00042">42</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
407
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00045">45</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
406
408
 
407
409
  </div>
408
410
  </div>
@@ -433,8 +435,39 @@ Static Private Attributes</h2></td></tr>
433
435
 
434
436
  <p>Constructors. </p>
435
437
 
436
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00067">67</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
437
- <div class="fragment"><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; : <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>(moduleName)</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; {</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; }</div><div class="ttc" id="classSVF_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#l00059">SVFModule.h:59</a></div></div>
438
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00070">70</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
439
+ <div class="fragment"><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; : <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>(moduleName)</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; {</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; }</div><div class="ttc" id="classSVF_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#l00062">SVFModule.h:62</a></div></div>
440
+ </div><!-- fragment -->
441
+ </div>
442
+ </div>
443
+ <a id="a1eb570539328976351d95ca93cb7aa02"></a>
444
+ <h2 class="memtitle"><span class="permalink"><a href="#a1eb570539328976351d95ca93cb7aa02">&#9670;&nbsp;</a></span>~SVFModule()</h2>
445
+
446
+ <div class="memitem">
447
+ <div class="memproto">
448
+ <table class="mlabels">
449
+ <tr>
450
+ <td class="mlabels-left">
451
+ <table class="memname">
452
+ <tr>
453
+ <td class="memname">SVF::SVFModule::~SVFModule </td>
454
+ <td>(</td>
455
+ <td class="paramname"></td><td>)</td>
456
+ <td></td>
457
+ </tr>
458
+ </table>
459
+ </td>
460
+ <td class="mlabels-right">
461
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
462
+ </tr>
463
+ </table>
464
+ </div><div class="memdoc">
465
+
466
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00074">74</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
467
+ <div class="fragment"><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; {</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> * f : <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>)</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <span class="keyword">delete</span> f;</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160;</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; <span class="keyword">auto</span> * extAPI = <a class="code" href="classSVF_1_1ExtAPI.html#a86508e03ca1c2e37fc9414cb2335c3ec">ExtAPI::getExtAPI</a>();</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; <span class="keyword">delete</span> extAPI;</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; extAPI = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <a class="code" href="classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8">NodeIDAllocator::unset</a>();</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; <span class="keyword">auto</span> * threadAPI = <a class="code" href="classSVF_1_1ThreadAPI.html#a6852ff1eedc1117e95e45e4a90c80d53">SVF::ThreadAPI::getThreadAPI</a>();</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <span class="keyword">delete</span> threadAPI;</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; threadAPI = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; }</div><div class="ttc" id="classSVF_1_1ThreadAPI_html_a6852ff1eedc1117e95e45e4a90c80d53"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a6852ff1eedc1117e95e45e4a90c80d53">SVF::ThreadAPI::getThreadAPI</a></div><div class="ttdeci">static ThreadAPI * getThreadAPI()</div><div class="ttdoc">Return a static reference. </div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00102">ThreadAPI.h:102</a></div></div>
468
+ <div class="ttc" id="classSVF_1_1NodeIDAllocator_html_af7952ef5667039c9be86a589419b35a8"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8">SVF::NodeIDAllocator::unset</a></div><div class="ttdeci">static void unset(void)</div><div class="ttdoc">Deletes the (singleton) allocator. </div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8cpp_source.html#l00035">NodeIDAllocator.cpp:35</a></div></div>
469
+ <div class="ttc" id="classSVF_1_1ExtAPI_html_a86508e03ca1c2e37fc9414cb2335c3ec"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a86508e03ca1c2e37fc9414cb2335c3ec">SVF::ExtAPI::getExtAPI</a></div><div class="ttdeci">static ExtAPI * getExtAPI()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during whole analysis. </div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00114">ExtAPI.h:114</a></div></div>
470
+ <div class="ttc" id="classSVF_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#l00063">SVFModule.h:63</a></div></div>
438
471
  </div><!-- fragment -->
439
472
  </div>
440
473
  </div>
@@ -463,8 +496,8 @@ Static Private Attributes</h2></td></tr>
463
496
  </table>
464
497
  </div><div class="memdoc">
465
498
 
466
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00104">104</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
467
- <div class="fragment"><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; {</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.push_back(alias);</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; }</div><div class="ttc" id="classSVF_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#l00063">SVFModule.h:63</a></div></div>
499
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00120">120</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
500
+ <div class="fragment"><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; {</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.push_back(alias);</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; }</div><div class="ttc" id="classSVF_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#l00066">SVFModule.h:66</a></div></div>
468
501
  </div><!-- fragment -->
469
502
  </div>
470
503
  </div>
@@ -492,10 +525,10 @@ Static Private Attributes</h2></td></tr>
492
525
  </table>
493
526
  </div><div class="memdoc">
494
527
 
495
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00093">93</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
496
- <div class="fragment"><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; {</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; SVFFunction* svfFunc = <span class="keyword">new</span> SVFFunction(fun);</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.push_back(svfFunc);</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">LLVMFunctionSet</a>.push_back(fun);</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ac96e0c68e0c951acaaa586dd56418335">LLVMFunc2SVFFunc</a>[fun] = svfFunc;</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFModule_html_ac96e0c68e0c951acaaa586dd56418335"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ac96e0c68e0c951acaaa586dd56418335">SVF::SVFModule::LLVMFunc2SVFFunc</a></div><div class="ttdeci">LLVMFun2SVFFunMap LLVMFunc2SVFFunc</div><div class="ttdoc">Map an LLVM Function to an SVF Function. </div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00064">SVFModule.h:64</a></div></div>
497
- <div class="ttc" id="classSVF_1_1SVFModule_html_a7fa23a5c422ffed3634503c3e5b812af"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">SVF::SVFModule::LLVMFunctionSet</a></div><div class="ttdeci">LLVMFunctionSetType LLVMFunctionSet</div><div class="ttdoc">The Functions in the module. </div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00061">SVFModule.h:61</a></div></div>
498
- <div class="ttc" id="classSVF_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#l00060">SVFModule.h:60</a></div></div>
528
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00109">109</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
529
+ <div class="fragment"><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; {</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; SVFFunction* svfFunc = <span class="keyword">new</span> SVFFunction(fun);</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.push_back(svfFunc);</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">LLVMFunctionSet</a>.push_back(fun);</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ac96e0c68e0c951acaaa586dd56418335">LLVMFunc2SVFFunc</a>[fun] = svfFunc;</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFModule_html_ac96e0c68e0c951acaaa586dd56418335"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ac96e0c68e0c951acaaa586dd56418335">SVF::SVFModule::LLVMFunc2SVFFunc</a></div><div class="ttdeci">LLVMFun2SVFFunMap LLVMFunc2SVFFunc</div><div class="ttdoc">Map an LLVM Function to an SVF Function. </div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00067">SVFModule.h:67</a></div></div>
530
+ <div class="ttc" id="classSVF_1_1SVFModule_html_a7fa23a5c422ffed3634503c3e5b812af"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">SVF::SVFModule::LLVMFunctionSet</a></div><div class="ttdeci">LLVMFunctionSetType LLVMFunctionSet</div><div class="ttdoc">The Functions in the module. </div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00064">SVFModule.h:64</a></div></div>
531
+ <div class="ttc" id="classSVF_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#l00063">SVFModule.h:63</a></div></div>
499
532
  </div><!-- fragment -->
500
533
  </div>
501
534
  </div>
@@ -523,8 +556,8 @@ Static Private Attributes</h2></td></tr>
523
556
  </table>
524
557
  </div><div class="memdoc">
525
558
 
526
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00100">100</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
527
- <div class="fragment"><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; {</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.push_back(glob);</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; }</div><div class="ttc" id="classSVF_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#l00062">SVFModule.h:62</a></div></div>
559
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00116">116</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
560
+ <div class="fragment"><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; {</div><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.push_back(glob);</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; }</div><div class="ttc" id="classSVF_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#l00065">SVFModule.h:65</a></div></div>
528
561
  </div><!-- fragment -->
529
562
  </div>
530
563
  </div>
@@ -551,8 +584,8 @@ Static Private Attributes</h2></td></tr>
551
584
  </table>
552
585
  </div><div class="memdoc">
553
586
 
554
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00170">170</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
555
- <div class="fragment"><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; {</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.begin();</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; }</div><div class="ttc" id="classSVF_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#l00063">SVFModule.h:63</a></div></div>
587
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00186">186</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
588
+ <div class="fragment"><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; {</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.begin();</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; }</div><div class="ttc" id="classSVF_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#l00066">SVFModule.h:66</a></div></div>
556
589
  </div><!-- fragment -->
557
590
  </div>
558
591
  </div>
@@ -579,8 +612,8 @@ Static Private Attributes</h2></td></tr>
579
612
  </table>
580
613
  </div><div class="memdoc">
581
614
 
582
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00174">174</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
583
- <div class="fragment"><div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; {</div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.begin();</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; }</div><div class="ttc" id="classSVF_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#l00063">SVFModule.h:63</a></div></div>
615
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00190">190</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
616
+ <div class="fragment"><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; {</div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.begin();</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; }</div><div class="ttc" id="classSVF_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#l00066">SVFModule.h:66</a></div></div>
584
617
  </div><!-- fragment -->
585
618
  </div>
586
619
  </div>
@@ -607,8 +640,8 @@ Static Private Attributes</h2></td></tr>
607
640
  </table>
608
641
  </div><div class="memdoc">
609
642
 
610
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00178">178</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
611
- <div class="fragment"><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; {</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.end();</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; }</div><div class="ttc" id="classSVF_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#l00063">SVFModule.h:63</a></div></div>
643
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00194">194</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
644
+ <div class="fragment"><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; {</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.end();</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; }</div><div class="ttc" id="classSVF_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#l00066">SVFModule.h:66</a></div></div>
612
645
  </div><!-- fragment -->
613
646
  </div>
614
647
  </div>
@@ -635,8 +668,8 @@ Static Private Attributes</h2></td></tr>
635
668
  </table>
636
669
  </div><div class="memdoc">
637
670
 
638
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00182">182</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
639
- <div class="fragment"><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; {</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.end();</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; }</div><div class="ttc" id="classSVF_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#l00063">SVFModule.h:63</a></div></div>
671
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00198">198</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
672
+ <div class="fragment"><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; {</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.end();</div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; }</div><div class="ttc" id="classSVF_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#l00066">SVFModule.h:66</a></div></div>
640
673
  </div><!-- fragment -->
641
674
  </div>
642
675
  </div>
@@ -664,8 +697,8 @@ Static Private Attributes</h2></td></tr>
664
697
  </table>
665
698
  </div><div class="memdoc">
666
699
 
667
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00136">136</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
668
- <div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; {</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.begin();</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; }</div><div class="ttc" id="classSVF_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#l00060">SVFModule.h:60</a></div></div>
700
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00152">152</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
701
+ <div class="fragment"><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; {</div><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.begin();</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; }</div><div class="ttc" id="classSVF_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#l00063">SVFModule.h:63</a></div></div>
669
702
  </div><!-- fragment -->
670
703
  </div>
671
704
  </div>
@@ -693,8 +726,8 @@ Static Private Attributes</h2></td></tr>
693
726
  </table>
694
727
  </div><div class="memdoc">
695
728
 
696
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00140">140</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
697
- <div class="fragment"><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; {</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.begin();</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; }</div><div class="ttc" id="classSVF_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#l00060">SVFModule.h:60</a></div></div>
729
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00156">156</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
730
+ <div class="fragment"><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; {</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.begin();</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; }</div><div class="ttc" id="classSVF_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#l00063">SVFModule.h:63</a></div></div>
698
731
  </div><!-- fragment -->
699
732
  </div>
700
733
  </div>
@@ -715,12 +748,12 @@ Static Private Attributes</h2></td></tr>
715
748
  <p>building symbol table </p>
716
749
 
717
750
  <p class="definition">Definition at line <a class="el" href="SVFModule_8cpp_source.html#l00030">30</a> of file <a class="el" href="SVFModule_8cpp_source.html">SVFModule.cpp</a>.</p>
718
- <div class="fragment"><div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;{</div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">pagReadFromTXT</a>())</div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160; {</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160; <a class="code" href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738">SVFUtil::pasMsg</a>(<span class="stringliteral">&quot;Building Symbol table ...\n&quot;</span>));</div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160; <a class="code" href="classSVF_1_1SymbolTableInfo.html">SymbolTableInfo</a> *symInfo = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>();</div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160; symInfo-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a74481bb26d77d8c8bca91efd3e23c08e">buildMemModel</a>(<span class="keyword">this</span>);</div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160; }</div><div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;}</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a609eea630a8f88fe9eaba15ce7e48738"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(std::string msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00101">SVFUtil.cpp:101</a></div></div>
719
- <div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00088">SymbolTableInfo.cpp:88</a></div></div>
751
+ <div class="fragment"><div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;{</div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">pagReadFromTXT</a>())</div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160; {</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160; <a class="code" href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738">SVFUtil::pasMsg</a>(<span class="stringliteral">&quot;Building Symbol table ...\n&quot;</span>));</div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160; <a class="code" href="classSVF_1_1SymbolTableInfo.html">SymbolTableInfo</a> *symInfo = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>();</div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160; <a class="code" href="classSVF_1_1MemModelBuilder.html">MemModelBuilder</a> builder(symInfo);</div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160; builder.buildMemModel(<span class="keyword">this</span>);</div><div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160; }</div><div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;}</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a609eea630a8f88fe9eaba15ce7e48738"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(std::string msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00101">SVFUtil.cpp:101</a></div></div>
752
+ <div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00064">SymbolTableInfo.cpp:64</a></div></div>
720
753
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a85ab6b592fefc45a0674d3295e01638f"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVF::SVFUtil::outs</a></div><div class="ttdeci">raw_ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
721
- <div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a74481bb26d77d8c8bca91efd3e23c08e"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a74481bb26d77d8c8bca91efd3e23c08e">SVF::SymbolTableInfo::buildMemModel</a></div><div class="ttdeci">void buildMemModel(SVFModule *svfModule)</div><div class="ttdoc">Start building memory model. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00411">SymbolTableInfo.cpp:411</a></div></div>
754
+ <div class="ttc" id="classSVF_1_1MemModelBuilder_html"><div class="ttname"><a href="classSVF_1_1MemModelBuilder.html">SVF::MemModelBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="MemModelBuilder_8h_source.html#l00043">MemModelBuilder.h:43</a></div></div>
722
755
  <div class="ttc" id="SVFBasicTypes_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdoc">General debug flag is for each phase of a pass, it is often in a colorful output format. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00154">SVFBasicTypes.h:154</a></div></div>
723
- <div class="ttc" id="classSVF_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#l00082">SVFModule.h:82</a></div></div>
756
+ <div class="ttc" id="classSVF_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>
724
757
  <div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00149">SVFBasicTypes.h:149</a></div></div>
725
758
  <div class="ttc" id="classSVF_1_1SymbolTableInfo_html"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html">SVF::SymbolTableInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00042">SymbolTableInfo.h:42</a></div></div>
726
759
  </div><!-- fragment -->
@@ -750,8 +783,8 @@ Static Private Attributes</h2></td></tr>
750
783
  </table>
751
784
  </div><div class="memdoc">
752
785
 
753
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00144">144</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
754
- <div class="fragment"><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; {</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.end();</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; }</div><div class="ttc" id="classSVF_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#l00060">SVFModule.h:60</a></div></div>
786
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00160">160</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
787
+ <div class="fragment"><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; {</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.end();</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; }</div><div class="ttc" id="classSVF_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#l00063">SVFModule.h:63</a></div></div>
755
788
  </div><!-- fragment -->
756
789
  </div>
757
790
  </div>
@@ -779,8 +812,8 @@ Static Private Attributes</h2></td></tr>
779
812
  </table>
780
813
  </div><div class="memdoc">
781
814
 
782
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00148">148</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
783
- <div class="fragment"><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; {</div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.end();</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; }</div><div class="ttc" id="classSVF_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#l00060">SVFModule.h:60</a></div></div>
815
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00164">164</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
816
+ <div class="fragment"><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; {</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.end();</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; }</div><div class="ttc" id="classSVF_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#l00063">SVFModule.h:63</a></div></div>
784
817
  </div><!-- fragment -->
785
818
  </div>
786
819
  </div>
@@ -807,10 +840,10 @@ Static Private Attributes</h2></td></tr>
807
840
  </table>
808
841
  </div><div class="memdoc">
809
842
 
810
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00188">188</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
811
- <div class="fragment"><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; {</div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>.empty())</div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; {</div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>.empty()==<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;No LLVM module found! Are you reading from a file other than LLVM-IR?&quot;</span>);</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; }</div><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; {</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>;</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; }</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
812
- <div class="ttc" id="classSVF_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#l00059">SVFModule.h:59</a></div></div>
813
- <div class="ttc" id="classSVF_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#l00058">SVFModule.h:58</a></div></div>
843
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00204">204</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
844
+ <div class="fragment"><div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; {</div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>.empty())</div><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; {</div><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>.empty()==<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;No LLVM module found! Are you reading from a file other than LLVM-IR?&quot;</span>);</div><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><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; }</div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; {</div><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><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
845
+ <div class="ttc" id="classSVF_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#l00062">SVFModule.h:62</a></div></div>
846
+ <div class="ttc" id="classSVF_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#l00061">SVFModule.h:61</a></div></div>
814
847
  </div><!-- fragment -->
815
848
  </div>
816
849
  </div>
@@ -838,9 +871,9 @@ Static Private Attributes</h2></td></tr>
838
871
  </table>
839
872
  </div><div class="memdoc">
840
873
 
841
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00110">110</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
842
- <div class="fragment"><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; {</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; LLVMFun2SVFFunMap::const_iterator it = <a class="code" href="classSVF_1_1SVFModule.html#ac96e0c68e0c951acaaa586dd56418335">LLVMFunc2SVFFunc</a>.find(fun);</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1SVFModule.html#ac96e0c68e0c951acaaa586dd56418335">LLVMFunc2SVFFunc</a>.end() &amp;&amp; <span class="stringliteral">&quot;SVF Function not found!&quot;</span>);</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
843
- <div class="ttc" id="classSVF_1_1SVFModule_html_ac96e0c68e0c951acaaa586dd56418335"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ac96e0c68e0c951acaaa586dd56418335">SVF::SVFModule::LLVMFunc2SVFFunc</a></div><div class="ttdeci">LLVMFun2SVFFunMap LLVMFunc2SVFFunc</div><div class="ttdoc">Map an LLVM Function to an SVF Function. </div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00064">SVFModule.h:64</a></div></div>
874
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00126">126</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
875
+ <div class="fragment"><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; {</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; LLVMFun2SVFFunMap::const_iterator it = <a class="code" href="classSVF_1_1SVFModule.html#ac96e0c68e0c951acaaa586dd56418335">LLVMFunc2SVFFunc</a>.find(fun);</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1SVFModule.html#ac96e0c68e0c951acaaa586dd56418335">LLVMFunc2SVFFunc</a>.end() &amp;&amp; <span class="stringliteral">&quot;SVF Function not found!&quot;</span>);</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
876
+ <div class="ttc" id="classSVF_1_1SVFModule_html_ac96e0c68e0c951acaaa586dd56418335"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ac96e0c68e0c951acaaa586dd56418335">SVF::SVFModule::LLVMFunc2SVFFunc</a></div><div class="ttdeci">LLVMFun2SVFFunMap LLVMFunc2SVFFunc</div><div class="ttdoc">Map an LLVM Function to an SVF Function. </div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00067">SVFModule.h:67</a></div></div>
844
877
  </div><!-- fragment -->
845
878
  </div>
846
879
  </div>
@@ -867,8 +900,8 @@ Static Private Attributes</h2></td></tr>
867
900
  </table>
868
901
  </div><div class="memdoc">
869
902
 
870
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00153">153</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
871
- <div class="fragment"><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; {</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.begin();</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; }</div><div class="ttc" id="classSVF_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#l00062">SVFModule.h:62</a></div></div>
903
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00169">169</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
904
+ <div class="fragment"><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; {</div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.begin();</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; }</div><div class="ttc" id="classSVF_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#l00065">SVFModule.h:65</a></div></div>
872
905
  </div><!-- fragment -->
873
906
  </div>
874
907
  </div>
@@ -895,8 +928,8 @@ Static Private Attributes</h2></td></tr>
895
928
  </table>
896
929
  </div><div class="memdoc">
897
930
 
898
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00157">157</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
899
- <div class="fragment"><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; {</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.begin();</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; }</div><div class="ttc" id="classSVF_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#l00062">SVFModule.h:62</a></div></div>
931
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00173">173</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
932
+ <div class="fragment"><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; {</div><div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.begin();</div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; }</div><div class="ttc" id="classSVF_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#l00065">SVFModule.h:65</a></div></div>
900
933
  </div><!-- fragment -->
901
934
  </div>
902
935
  </div>
@@ -923,8 +956,8 @@ Static Private Attributes</h2></td></tr>
923
956
  </table>
924
957
  </div><div class="memdoc">
925
958
 
926
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00161">161</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
927
- <div class="fragment"><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; {</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.end();</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; }</div><div class="ttc" id="classSVF_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#l00062">SVFModule.h:62</a></div></div>
959
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00177">177</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
960
+ <div class="fragment"><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; {</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.end();</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; }</div><div class="ttc" id="classSVF_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#l00065">SVFModule.h:65</a></div></div>
928
961
  </div><!-- fragment -->
929
962
  </div>
930
963
  </div>
@@ -951,8 +984,8 @@ Static Private Attributes</h2></td></tr>
951
984
  </table>
952
985
  </div><div class="memdoc">
953
986
 
954
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00165">165</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
955
- <div class="fragment"><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; {</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.end();</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; }</div><div class="ttc" id="classSVF_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#l00062">SVFModule.h:62</a></div></div>
987
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00181">181</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
988
+ <div class="fragment"><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; {</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.end();</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; }</div><div class="ttc" id="classSVF_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#l00065">SVFModule.h:65</a></div></div>
956
989
  </div><!-- fragment -->
957
990
  </div>
958
991
  </div>
@@ -980,8 +1013,8 @@ Static Private Attributes</h2></td></tr>
980
1013
  </div><div class="memdoc">
981
1014
  <p>Iterators </p>
982
1015
 
983
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00119">119</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
984
- <div class="fragment"><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; {</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">LLVMFunctionSet</a>.begin();</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFModule_html_a7fa23a5c422ffed3634503c3e5b812af"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">SVF::SVFModule::LLVMFunctionSet</a></div><div class="ttdeci">LLVMFunctionSetType LLVMFunctionSet</div><div class="ttdoc">The Functions in the module. </div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00061">SVFModule.h:61</a></div></div>
1016
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00135">135</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1017
+ <div class="fragment"><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; {</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">LLVMFunctionSet</a>.begin();</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFModule_html_a7fa23a5c422ffed3634503c3e5b812af"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">SVF::SVFModule::LLVMFunctionSet</a></div><div class="ttdeci">LLVMFunctionSetType LLVMFunctionSet</div><div class="ttdoc">The Functions in the module. </div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00064">SVFModule.h:64</a></div></div>
985
1018
  </div><!-- fragment -->
986
1019
  </div>
987
1020
  </div>
@@ -1008,8 +1041,8 @@ Static Private Attributes</h2></td></tr>
1008
1041
  </table>
1009
1042
  </div><div class="memdoc">
1010
1043
 
1011
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00123">123</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1012
- <div class="fragment"><div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; {</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">LLVMFunctionSet</a>.begin();</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFModule_html_a7fa23a5c422ffed3634503c3e5b812af"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">SVF::SVFModule::LLVMFunctionSet</a></div><div class="ttdeci">LLVMFunctionSetType LLVMFunctionSet</div><div class="ttdoc">The Functions in the module. </div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00061">SVFModule.h:61</a></div></div>
1044
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00139">139</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1045
+ <div class="fragment"><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; {</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">LLVMFunctionSet</a>.begin();</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFModule_html_a7fa23a5c422ffed3634503c3e5b812af"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">SVF::SVFModule::LLVMFunctionSet</a></div><div class="ttdeci">LLVMFunctionSetType LLVMFunctionSet</div><div class="ttdoc">The Functions in the module. </div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00064">SVFModule.h:64</a></div></div>
1013
1046
  </div><!-- fragment -->
1014
1047
  </div>
1015
1048
  </div>
@@ -1036,8 +1069,8 @@ Static Private Attributes</h2></td></tr>
1036
1069
  </table>
1037
1070
  </div><div class="memdoc">
1038
1071
 
1039
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00127">127</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1040
- <div class="fragment"><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; {</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">LLVMFunctionSet</a>.end();</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFModule_html_a7fa23a5c422ffed3634503c3e5b812af"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">SVF::SVFModule::LLVMFunctionSet</a></div><div class="ttdeci">LLVMFunctionSetType LLVMFunctionSet</div><div class="ttdoc">The Functions in the module. </div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00061">SVFModule.h:61</a></div></div>
1072
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00143">143</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1073
+ <div class="fragment"><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; {</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">LLVMFunctionSet</a>.end();</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFModule_html_a7fa23a5c422ffed3634503c3e5b812af"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">SVF::SVFModule::LLVMFunctionSet</a></div><div class="ttdeci">LLVMFunctionSetType LLVMFunctionSet</div><div class="ttdoc">The Functions in the module. </div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00064">SVFModule.h:64</a></div></div>
1041
1074
  </div><!-- fragment -->
1042
1075
  </div>
1043
1076
  </div>
@@ -1064,8 +1097,8 @@ Static Private Attributes</h2></td></tr>
1064
1097
  </table>
1065
1098
  </div><div class="memdoc">
1066
1099
 
1067
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00131">131</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1068
- <div class="fragment"><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; {</div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">LLVMFunctionSet</a>.end();</div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFModule_html_a7fa23a5c422ffed3634503c3e5b812af"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">SVF::SVFModule::LLVMFunctionSet</a></div><div class="ttdeci">LLVMFunctionSetType LLVMFunctionSet</div><div class="ttdoc">The Functions in the module. </div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00061">SVFModule.h:61</a></div></div>
1100
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00147">147</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1101
+ <div class="fragment"><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; {</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">LLVMFunctionSet</a>.end();</div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFModule_html_a7fa23a5c422ffed3634503c3e5b812af"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7fa23a5c422ffed3634503c3e5b812af">SVF::SVFModule::LLVMFunctionSet</a></div><div class="ttdeci">LLVMFunctionSetType LLVMFunctionSet</div><div class="ttdoc">The Functions in the module. </div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00064">SVFModule.h:64</a></div></div>
1069
1102
  </div><!-- fragment -->
1070
1103
  </div>
1071
1104
  </div>
@@ -1092,8 +1125,8 @@ Static Private Attributes</h2></td></tr>
1092
1125
  </table>
1093
1126
  </div><div class="memdoc">
1094
1127
 
1095
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00077">77</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1096
- <div class="fragment"><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; {</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>;</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; }</div><div class="ttc" id="classSVF_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#l00058">SVFModule.h:58</a></div></div>
1128
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00093">93</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1129
+ <div class="fragment"><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; {</div><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><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; }</div><div class="ttc" id="classSVF_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#l00061">SVFModule.h:61</a></div></div>
1097
1130
  </div><!-- fragment -->
1098
1131
  </div>
1099
1132
  </div>
@@ -1120,8 +1153,8 @@ Static Private Attributes</h2></td></tr>
1120
1153
  </table>
1121
1154
  </div><div class="memdoc">
1122
1155
 
1123
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00082">82</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1124
- <div class="fragment"><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; {</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>.empty())</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; }</div><div class="ttc" id="classSVF_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#l00058">SVFModule.h:58</a></div></div>
1156
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00098">98</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1157
+ <div class="fragment"><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; {</div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>.empty())</div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; }</div><div class="ttc" id="classSVF_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#l00061">SVFModule.h:61</a></div></div>
1125
1158
  </div><!-- fragment -->
1126
1159
  </div>
1127
1160
  </div>
@@ -1149,8 +1182,8 @@ Static Private Attributes</h2></td></tr>
1149
1182
  </table>
1150
1183
  </div><div class="memdoc">
1151
1184
 
1152
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00072">72</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1153
- <div class="fragment"><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; {</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a> = txt;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; }</div><div class="ttc" id="classSVF_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#l00058">SVFModule.h:58</a></div></div>
1185
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00088">88</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1186
+ <div class="fragment"><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; {</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a> = txt;</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; }</div><div class="ttc" id="classSVF_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#l00061">SVFModule.h:61</a></div></div>
1154
1187
  </div><!-- fragment -->
1155
1188
  </div>
1156
1189
  </div>
@@ -1177,7 +1210,7 @@ Static Private Attributes</h2></td></tr>
1177
1210
 
1178
1211
  <p>The Aliases in the module. </p>
1179
1212
 
1180
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00063">63</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1213
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00066">66</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1181
1214
 
1182
1215
  </div>
1183
1216
  </div>
@@ -1203,7 +1236,7 @@ Static Private Attributes</h2></td></tr>
1203
1236
 
1204
1237
  <p>The Functions in the module. </p>
1205
1238
 
1206
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00060">60</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1239
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00063">63</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1207
1240
 
1208
1241
  </div>
1209
1242
  </div>
@@ -1229,7 +1262,7 @@ Static Private Attributes</h2></td></tr>
1229
1262
 
1230
1263
  <p>The Global Variables in the module. </p>
1231
1264
 
1232
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00062">62</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1265
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00065">65</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1233
1266
 
1234
1267
  </div>
1235
1268
  </div>
@@ -1255,7 +1288,7 @@ Static Private Attributes</h2></td></tr>
1255
1288
 
1256
1289
  <p>Map an LLVM Function to an <a class="el" href="namespaceSVF.html" title="for isBitcode ">SVF</a> Function. </p>
1257
1290
 
1258
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00064">64</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1291
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00067">67</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1259
1292
 
1260
1293
  </div>
1261
1294
  </div>
@@ -1281,7 +1314,7 @@ Static Private Attributes</h2></td></tr>
1281
1314
 
1282
1315
  <p>The Functions in the module. </p>
1283
1316
 
1284
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00061">61</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1317
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00064">64</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1285
1318
 
1286
1319
  </div>
1287
1320
  </div>
@@ -1305,7 +1338,7 @@ Static Private Attributes</h2></td></tr>
1305
1338
  </table>
1306
1339
  </div><div class="memdoc">
1307
1340
 
1308
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00059">59</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1341
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00062">62</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1309
1342
 
1310
1343
  </div>
1311
1344
  </div>
@@ -1329,7 +1362,7 @@ Static Private Attributes</h2></td></tr>
1329
1362
  </table>
1330
1363
  </div><div class="memdoc">
1331
1364
 
1332
- <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00058">58</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1365
+ <p class="definition">Definition at line <a class="el" href="SVFModule_8h_source.html#l00061">61</a> of file <a class="el" href="SVFModule_8h_source.html">SVFModule.h</a>.</p>
1333
1366
 
1334
1367
  </div>
1335
1368
  </div>