svf-tools 1.0.537 → 1.0.540

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 (232) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenSFR_8h_source.html +1 -1
  3. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +2 -2
  5. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +16 -16
  6. package/SVF-doxygen/html/html/Andersen_8h_source.html +6 -9
  7. package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +2 -1
  8. package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +1 -1
  9. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +5 -4
  10. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +15 -15
  11. package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +4 -4
  12. package/SVF-doxygen/html/html/CFLGrammar_8txt.html +39 -39
  13. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +20 -8
  14. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +16 -15
  15. package/SVF-doxygen/html/html/CHGBuilder_8cpp.html +1 -1
  16. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +2 -1
  17. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +2 -1
  18. package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
  19. package/SVF-doxygen/html/html/ConsG_8h_source.html +3 -3
  20. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +2 -2
  21. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +2 -2
  22. package/SVF-doxygen/html/html/DDAStat_8h.html +1 -1
  23. package/SVF-doxygen/html/html/DDAStat_8h_source.html +1 -1
  24. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +4 -4
  25. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +1 -1
  26. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +2 -2
  27. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
  28. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +1 -1
  30. package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +4 -4
  31. package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html +3 -3
  32. package/SVF-doxygen/html/html/ICFGStat_8h.html +1 -1
  33. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +1 -1
  34. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
  35. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +2 -1
  36. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +1 -1
  37. package/SVF-doxygen/html/html/LockAnalysis_8cpp.html +1 -1
  38. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +1 -1
  39. package/SVF-doxygen/html/html/MHP_8cpp.html +1 -1
  40. package/SVF-doxygen/html/html/MHP_8cpp_source.html +1 -1
  41. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +2 -1
  42. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
  43. package/SVF-doxygen/html/html/MTAStat_8h.html +1 -1
  44. package/SVF-doxygen/html/html/MTAStat_8h_source.html +1 -1
  45. package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
  46. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
  47. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp.html +1 -1
  48. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
  49. package/SVF-doxygen/html/html/Options_8cpp_source.html +5 -3
  50. package/SVF-doxygen/html/html/Options_8h.html +1 -1
  51. package/SVF-doxygen/html/html/Options_8h_source.html +5 -3
  52. package/SVF-doxygen/html/html/PEGGrammar_8txt.html +314 -0
  53. package/SVF-doxygen/html/html/PTAStat_8cpp.html +1 -1
  54. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +5 -5
  55. package/SVF-doxygen/html/html/PTAStat_8h.html +2 -2
  56. package/SVF-doxygen/html/html/PTAStat_8h_source.html +2 -2
  57. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +1 -1
  58. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +1 -1
  59. package/SVF-doxygen/html/html/PointerAnalysis_8cpp.html +1 -1
  60. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +2 -2
  61. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +3 -3
  62. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +1 -1
  63. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +1 -1
  64. package/SVF-doxygen/html/html/SVFGStat_8h.html +1 -1
  65. package/SVF-doxygen/html/html/SVFGStat_8h_source.html +1 -1
  66. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
  67. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +3 -3
  68. package/SVF-doxygen/html/html/SVFIR_8h_source.html +33 -33
  69. package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
  70. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +2 -1
  71. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  72. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +2 -2
  73. package/SVF-doxygen/html/html/TypeAnalysis_8cpp.html +1 -1
  74. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +1 -1
  75. package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
  76. package/SVF-doxygen/html/html/VFG_8h_source.html +1 -1
  77. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
  78. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
  79. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  80. package/SVF-doxygen/html/html/WPAStat_8h.html +1 -1
  81. package/SVF-doxygen/html/html/WPAStat_8h_source.html +1 -1
  82. package/SVF-doxygen/html/html/cfl_8cpp.html +1 -1
  83. package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
  84. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +12 -11
  85. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +73 -4
  86. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +150 -152
  87. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +46 -141
  88. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +1 -1
  89. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +149 -151
  90. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +5 -11
  91. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +161 -163
  92. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +4 -10
  93. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +3 -3
  94. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +156 -158
  95. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +14 -20
  96. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +4 -4
  97. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
  98. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +52 -51
  99. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +26 -26
  100. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +10 -7
  101. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  102. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +3 -3
  103. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +2 -2
  104. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
  105. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +11 -11
  106. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +2 -2
  107. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +4 -4
  108. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +3 -3
  109. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +2 -2
  110. package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +10 -10
  111. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
  112. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +2 -1
  113. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +1 -1
  114. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +2 -2
  115. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +4 -4
  116. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +1 -1
  117. package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html +3 -2
  118. package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +8 -6
  119. package/SVF-doxygen/html/html/classSVF_1_1Options.html +54 -2
  120. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  121. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +16 -16
  122. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +5 -5
  123. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +1 -1
  124. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +2 -2
  125. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +86 -88
  126. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +22 -22
  127. package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +1 -1
  128. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  129. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +2 -2
  130. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
  131. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
  132. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +1 -1
  133. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -2
  134. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
  135. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
  136. package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html +2 -0
  137. package/SVF-doxygen/html/html/dir_eef3a4ca6ca2cab0eb5fbea30ec32c1a.html +0 -2
  138. package/SVF-doxygen/html/html/files.html +15 -15
  139. package/SVF-doxygen/html/html/functions_a.html +3 -6
  140. package/SVF-doxygen/html/html/functions_b.html +3 -0
  141. package/SVF-doxygen/html/html/functions_c.html +22 -20
  142. package/SVF-doxygen/html/html/functions_f.html +10 -12
  143. package/SVF-doxygen/html/html/functions_func.html +5 -8
  144. package/SVF-doxygen/html/html/functions_func_b.html +3 -0
  145. package/SVF-doxygen/html/html/functions_func_m.html +1 -4
  146. package/SVF-doxygen/html/html/functions_func_p.html +2 -2
  147. package/SVF-doxygen/html/html/functions_i.html +6 -6
  148. package/SVF-doxygen/html/html/functions_m.html +0 -3
  149. package/SVF-doxygen/html/html/functions_n.html +3 -0
  150. package/SVF-doxygen/html/html/functions_o.html +6 -6
  151. package/SVF-doxygen/html/html/functions_p.html +15 -16
  152. package/SVF-doxygen/html/html/functions_r.html +2 -2
  153. package/SVF-doxygen/html/html/functions_s.html +8 -6
  154. package/SVF-doxygen/html/html/functions_t.html +3 -3
  155. package/SVF-doxygen/html/html/functions_v.html +3 -3
  156. package/SVF-doxygen/html/html/functions_vars_n.html +3 -0
  157. package/SVF-doxygen/html/html/functions_vars_p.html +3 -0
  158. package/SVF-doxygen/html/html/globals.html +1 -0
  159. package/SVF-doxygen/html/html/globals_a.html +3 -1
  160. package/SVF-doxygen/html/html/globals_c.html +6 -5
  161. package/SVF-doxygen/html/html/globals_e.html +1 -0
  162. package/SVF-doxygen/html/html/globals_f.html +7 -5
  163. package/SVF-doxygen/html/html/globals_g.html +7 -3
  164. package/SVF-doxygen/html/html/globals_m.html +6 -3
  165. package/SVF-doxygen/html/html/globals_v.html +2 -1
  166. package/SVF-doxygen/html/html/globals_vars.html +22 -7
  167. package/SVF-doxygen/html/html/namespaceSVF.html +3 -3
  168. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +1 -1
  169. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +4 -4
  170. package/SVF-doxygen/html/html/search/all_0.js +1 -1
  171. package/SVF-doxygen/html/html/search/all_1.js +2 -3
  172. package/SVF-doxygen/html/html/search/all_10.js +11 -9
  173. package/SVF-doxygen/html/html/search/all_11.js +1 -1
  174. package/SVF-doxygen/html/html/search/all_12.js +8 -8
  175. package/SVF-doxygen/html/html/search/all_13.js +4 -4
  176. package/SVF-doxygen/html/html/search/all_15.js +3 -3
  177. package/SVF-doxygen/html/html/search/all_2.js +1 -0
  178. package/SVF-doxygen/html/html/search/all_3.js +4 -4
  179. package/SVF-doxygen/html/html/search/all_5.js +1 -1
  180. package/SVF-doxygen/html/html/search/all_6.js +6 -6
  181. package/SVF-doxygen/html/html/search/all_7.js +4 -4
  182. package/SVF-doxygen/html/html/search/all_9.js +2 -2
  183. package/SVF-doxygen/html/html/search/all_b.js +1 -1
  184. package/SVF-doxygen/html/html/search/all_c.js +2 -2
  185. package/SVF-doxygen/html/html/search/all_d.js +2 -3
  186. package/SVF-doxygen/html/html/search/all_e.js +4 -3
  187. package/SVF-doxygen/html/html/search/all_f.js +2 -2
  188. package/SVF-doxygen/html/html/search/files_c.js +1 -0
  189. package/SVF-doxygen/html/html/search/functions_0.js +0 -1
  190. package/SVF-doxygen/html/html/search/functions_1.js +1 -0
  191. package/SVF-doxygen/html/html/search/functions_c.js +0 -1
  192. package/SVF-doxygen/html/html/search/functions_f.js +2 -2
  193. package/SVF-doxygen/html/html/search/variables_0.js +1 -1
  194. package/SVF-doxygen/html/html/search/variables_1.js +2 -2
  195. package/SVF-doxygen/html/html/search/variables_10.js +2 -1
  196. package/SVF-doxygen/html/html/search/variables_13.js +2 -2
  197. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  198. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  199. package/SVF-doxygen/html/html/search/variables_5.js +1 -1
  200. package/SVF-doxygen/html/html/search/variables_6.js +2 -2
  201. package/SVF-doxygen/html/html/search/variables_7.js +4 -4
  202. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  203. package/SVF-doxygen/html/html/search/variables_e.js +3 -2
  204. package/include/CFL/CFGNormalizer.h +3 -3
  205. package/include/CFL/CFLAlias.h +5 -1
  206. package/include/CFL/CFLGraphBuilder.h +11 -1
  207. package/include/CFL/PEGGrammar.txt +28 -0
  208. package/include/DDA/DDAStat.h +1 -1
  209. package/include/Graphs/ICFGStat.h +1 -1
  210. package/include/Graphs/SVFGStat.h +1 -1
  211. package/include/MTA/MTAStat.h +1 -1
  212. package/include/MemoryModel/SVFIR.h +1 -4
  213. package/include/SVF-FE/LLVMUtil.h +2 -2
  214. package/include/Util/ExtAPI.h +2 -2
  215. package/include/Util/Options.h +3 -1
  216. package/include/{MemoryModel → Util}/PTAStat.h +0 -0
  217. package/include/WPA/Andersen.h +3 -14
  218. package/include/WPA/WPAStat.h +1 -1
  219. package/lib/CFL/CFLAlias.cpp +12 -7
  220. package/lib/CFL/CFLGraphBuilder.cpp +135 -0
  221. package/lib/CFL/GrammarBuilder.cpp +12 -8
  222. package/lib/Graphs/SVFGReadWrite.cpp +3 -3
  223. package/lib/MTA/LockAnalysis.cpp +1 -1
  224. package/lib/MTA/MHP.cpp +1 -1
  225. package/lib/MemoryModel/PointerAnalysis.cpp +1 -1
  226. package/lib/SVF-FE/CHGBuilder.cpp +1 -1
  227. package/lib/Util/NodeIDAllocator.cpp +1 -1
  228. package/lib/Util/Options.cpp +16 -4
  229. package/lib/Util/PTAStat.cpp +4 -3
  230. package/lib/WPA/Andersen.cpp +0 -3
  231. package/lib/WPA/TypeAnalysis.cpp +1 -1
  232. package/package.json +1 -1
@@ -278,19 +278,19 @@ $(function() {
278
278
  , <a class="el" href="classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0">SVF::PointerAnalysis</a>
279
279
  , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165">SVF::SrcSnkDDA</a>
280
280
  , <a class="el" href="classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07">SVF::SVFGBuilder</a>
281
+ , <a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">SVF::SVFIR</a>
281
282
  </li>
282
283
  <li>callSiteSet
283
284
  : <a class="el" href="classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450">SVF::SVFIR</a>
284
285
  </li>
285
286
  <li>CallSiteSet
286
- : <a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">SVF::SVFIR</a>
287
+ : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a1b5fe6a59527983c80906261190fc864">SVF::SymbolTableInfo</a>
287
288
  </li>
288
289
  <li>callSiteSet
289
290
  : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a05a05894819e9cad6ee0033a6695e35e">SVF::SymbolTableInfo</a>
290
291
  </li>
291
292
  <li>CallSiteSet
292
- : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a1b5fe6a59527983c80906261190fc864">SVF::SymbolTableInfo</a>
293
- , <a class="el" href="classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155">SVF::ThreadCallGraph</a>
293
+ : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155">SVF::ThreadCallGraph</a>
294
294
  </li>
295
295
  <li>callSiteToActualINMap
296
296
  : <a class="el" href="classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4">SVF::SVFG</a>
@@ -304,12 +304,12 @@ $(function() {
304
304
  <li>CallSiteToActualOUTsMapTy
305
305
  : <a class="el" href="classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec">SVF::SVFG</a>
306
306
  </li>
307
- <li>CallSiteToCHISetMap
308
- : <a class="el" href="classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab">SVF::MemSSA</a>
309
- </li>
310
307
  <li>callsiteToChiSetMap
311
308
  : <a class="el" href="classSVF_1_1MemSSA.html#a1be5a6776c8785f26573b597881c8195">SVF::MemSSA</a>
312
309
  </li>
310
+ <li>CallSiteToCHISetMap
311
+ : <a class="el" href="classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab">SVF::MemSSA</a>
312
+ </li>
313
313
  <li>CallSiteToCHNodesMap
314
314
  : <a class="el" href="classSVF_1_1CHGraph.html#a3740a239432a5c7237109aa72aa28eff">SVF::CHGraph</a>
315
315
  </li>
@@ -416,12 +416,12 @@ $(function() {
416
416
  <li>CFLEdge()
417
417
  : <a class="el" href="classSVF_1_1CFLEdge.html#a808f0a3b6df73df41dcc2f0bfe944116">SVF::CFLEdge</a>
418
418
  </li>
419
- <li>CFLEdgeSet
420
- : <a class="el" href="classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14">SVF::CFLGraph</a>
421
- </li>
422
419
  <li>cflEdgeSet
423
420
  : <a class="el" href="classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe">SVF::CFLGraph</a>
424
421
  </li>
422
+ <li>CFLEdgeSet
423
+ : <a class="el" href="classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14">SVF::CFLGraph</a>
424
+ </li>
425
425
  <li>CFLFICI_WPA
426
426
  : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a164c6de3baace1c63db75a228a5816bb">SVF::PointerAnalysis</a>
427
427
  </li>
@@ -1632,12 +1632,12 @@ $(function() {
1632
1632
  <li>CxtLockProcVec
1633
1633
  : <a class="el" href="classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0">SVF::LockAnalysis</a>
1634
1634
  </li>
1635
- <li>CxtLockSet
1636
- : <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
1637
- </li>
1638
1635
  <li>cxtLockset
1639
1636
  : <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
1640
1637
  </li>
1638
+ <li>CxtLockSet
1639
+ : <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
1640
+ </li>
1641
1641
  <li>cxtLockSet
1642
1642
  : <a class="el" href="classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9">SVF::LockResultValidator</a>
1643
1643
  </li>
@@ -1663,7 +1663,7 @@ $(function() {
1663
1663
  : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
1664
1664
  </li>
1665
1665
  <li>CxtStmt()
1666
- : <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
1666
+ : <a class="el" href="classSVF_1_1CxtStmt.html#ac11734a3e0db8415fdf55157b20b56a4">SVF::CxtStmt</a>
1667
1667
  </li>
1668
1668
  <li>CxtStmtDPItem()
1669
1669
  : <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
@@ -1676,21 +1676,23 @@ $(function() {
1676
1676
  <li>CxtStmtSet
1677
1677
  : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
1678
1678
  </li>
1679
- <li>CxtStmtToAliveFlagMap
1680
- : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
1681
- </li>
1682
1679
  <li>cxtStmtToAliveFlagMap
1683
1680
  : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
1684
1681
  </li>
1682
+ <li>CxtStmtToAliveFlagMap
1683
+ : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
1684
+ </li>
1685
1685
  <li>CxtStmtToCxtLockS
1686
1686
  : <a class="el" href="classSVF_1_1LockResultValidator.html#a03954bdf28345cd7fbcd5cc242d40681">SVF::LockResultValidator</a>
1687
1687
  </li>
1688
+ <li>cxtStmtToCxtLockSet
1689
+ : <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
1690
+ </li>
1688
1691
  <li>CxtStmtToCxtLockSet
1689
1692
  : <a class="el" href="classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7">SVF::LockAnalysis</a>
1690
1693
  </li>
1691
1694
  <li>cxtStmtToCxtLockSet
1692
- : <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
1693
- , <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
1695
+ : <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
1694
1696
  </li>
1695
1697
  <li>CxtStmtToLockFlagMap
1696
1698
  : <a class="el" href="classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9">SVF::LockAnalysis</a>
@@ -1706,7 +1708,7 @@ $(function() {
1706
1708
  , <a class="el" href="classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe">SVF::LockAnalysis</a>
1707
1709
  </li>
1708
1710
  <li>CxtThread()
1709
- : <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
1711
+ : <a class="el" href="classSVF_1_1CxtThread.html#a7f842879cad19328575f33220491352a">SVF::CxtThread</a>
1710
1712
  </li>
1711
1713
  <li>CxtThreadProc()
1712
1714
  : <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
@@ -1718,7 +1720,7 @@ $(function() {
1718
1720
  : <a class="el" href="classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e">SVF::TCT</a>
1719
1721
  </li>
1720
1722
  <li>CxtThreadStmt()
1721
- : <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
1723
+ : <a class="el" href="classSVF_1_1CxtThreadStmt.html#adeef75dbfd24665521931780c70aa5f9">SVF::CxtThreadStmt</a>
1722
1724
  </li>
1723
1725
  <li>CxtThreadStmtSet
1724
1726
  : <a class="el" href="classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32">SVF::MHP</a>
@@ -466,12 +466,12 @@ $(function() {
466
466
  <li>FunptrDDAClient()
467
467
  : <a class="el" href="classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5">SVF::FunptrDDAClient</a>
468
468
  </li>
469
- <li>FunPtrToCallSitesMap
470
- : <a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">SVF::SVFIR</a>
471
- </li>
472
469
  <li>funPtrToCallSitesMap
473
470
  : <a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">SVF::SVFIR</a>
474
471
  </li>
472
+ <li>FunPtrToCallSitesMap
473
+ : <a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">SVF::SVFIR</a>
474
+ </li>
475
475
  <li>FunRet
476
476
  : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac8494021a71efb0f6df237ff12561c8d">SVF::VFGNode</a>
477
477
  </li>
@@ -540,22 +540,20 @@ $(function() {
540
540
  </li>
541
541
  <li>FunToLoopInfoMap
542
542
  : <a class="el" href="classSVF_1_1MTA.html#a2473be56f2861ad101f65a65e02dff8d">SVF::MTA</a>
543
+ , <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#ad76c187197c73fad8dd0c8bdb57b10f7">SVF::PTACFInfoBuilder</a>
543
544
  </li>
544
545
  <li>funToLoopInfoMap
545
546
  : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a155db92ff5057abcb929c0ca8e8bee89">SVF::PTACFInfoBuilder</a>
546
547
  </li>
547
- <li>FunToLoopInfoMap
548
- : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#ad76c187197c73fad8dd0c8bdb57b10f7">SVF::PTACFInfoBuilder</a>
549
- </li>
550
548
  <li>funToModsMap
551
549
  : <a class="el" href="classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d">SVF::MRGenerator</a>
552
550
  </li>
553
- <li>funToMRsMap
554
- : <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
555
- </li>
556
551
  <li>FunToMRsMap
557
552
  : <a class="el" href="classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b">SVF::MRGenerator</a>
558
553
  </li>
554
+ <li>funToMRsMap
555
+ : <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
556
+ </li>
559
557
  <li>FunToNodeBSMap
560
558
  : <a class="el" href="classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d">SVF::MRGenerator</a>
561
559
  </li>
@@ -565,12 +563,12 @@ $(function() {
565
563
  <li>funToPDTMap
566
564
  : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15">SVF::PTACFInfoBuilder</a>
567
565
  </li>
568
- <li>funToPointsToMap
569
- : <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
570
- </li>
571
566
  <li>FunToPointsToMap
572
567
  : <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
573
568
  </li>
569
+ <li>funToPointsToMap
570
+ : <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
571
+ </li>
574
572
  <li>FunToPointsTosMap
575
573
  : <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
576
574
  </li>
@@ -862,9 +862,6 @@ $(function() {
862
862
  <li>addTypedef()
863
863
  : <a class="el" href="classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e">SVF::DCHNode</a>
864
864
  </li>
865
- <li>addTypeForGepObjNode()
866
- : <a class="el" href="classSVF_1_1Andersen.html#a85cc81a4f9399e9a23372fa2658325a6">SVF::Andersen</a>
867
- </li>
868
865
  <li>addUnaryOPEdge()
869
866
  : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45">SVF::SVFIRBuilder</a>
870
867
  </li>
@@ -875,7 +872,7 @@ $(function() {
875
872
  : <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
876
873
  </li>
877
874
  <li>addValNode()
878
- : <a class="el" href="classSVF_1_1SVFIR.html#a3face8a526a33d82ef7cde7602030bc9">SVF::SVFIR</a>
875
+ : <a class="el" href="classSVF_1_1SVFIR.html#a93bc14960cdd4eb345c64e9b79757ccf">SVF::SVFIR</a>
879
876
  </li>
880
877
  <li>addVarargNode()
881
878
  : <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
@@ -912,8 +909,8 @@ $(function() {
912
909
  : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
913
910
  </li>
914
911
  <li>alias()
915
- : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#adaba5a41a60e32d18d964bdb8ae5b2df">SVF::BVDataPTAImpl</a>
916
- , <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
912
+ : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a949533e5c99698c7f9862aae5de23687">SVF::BVDataPTAImpl</a>
913
+ , <a class="el" href="classSVF_1_1CFLAlias.html#a0575c3badff6a158a6043e3e940af507">SVF::CFLAlias</a>
917
914
  , <a class="el" href="classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876">SVF::CondPTAImpl&lt; Cond &gt;</a>
918
915
  , <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
919
916
  , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
@@ -921,10 +918,10 @@ $(function() {
921
918
  , <a class="el" href="classSVF_1_1WPAPass.html#a5a71ab4d4bd993ff52da60c730d7b57f">SVF::WPAPass</a>
922
919
  </li>
923
920
  <li>alias_begin()
924
- : <a class="el" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
921
+ : <a class="el" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule</a>
925
922
  </li>
926
923
  <li>alias_end()
927
- : <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
924
+ : <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
928
925
  </li>
929
926
  <li>AliasDDAClient()
930
927
  : <a class="el" href="classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6">SVF::AliasDDAClient</a>
@@ -151,6 +151,9 @@ $(function() {
151
151
  : <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd">SVF::AliasCFLGraphBuilder</a>
152
152
  , <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a0184dc6e00c60106034492d012d0a938">SVF::CFLGraphBuilder</a>
153
153
  </li>
154
+ <li>buildBiPEGgraph()
155
+ : <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880">SVF::AliasCFLGraphBuilder</a>
156
+ </li>
154
157
  <li>buildCallGraph()
155
158
  : <a class="el" href="classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc">SVF::CallGraphBuilder</a>
156
159
  </li>
@@ -112,9 +112,6 @@ $(function() {
112
112
  , <a class="el" href="classSVF_1_1MTAResultValidator.html#a6306899b5360e106dd090bea571027bf">SVF::MTAResultValidator</a>
113
113
  , <a class="el" href="classSVF_1_1TCT.html#a9b6dda84d37afadaf80bc2e26986a52e">SVF::TCT</a>
114
114
  </li>
115
- <li>matchType()
116
- : <a class="el" href="classSVF_1_1Andersen.html#af42fe6aeacfd31bbef7f5c80c8cf6173">SVF::Andersen</a>
117
- </li>
118
115
  <li>mayAccessAliases()
119
116
  : <a class="el" href="classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662">SVF::RaceResultValidator</a>
120
117
  </li>
@@ -240,7 +237,7 @@ $(function() {
240
237
  : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ae0cbe965ddbc511fb10e87fe8ae3912f">SVF::MTASVFGBuilder</a>
241
238
  </li>
242
239
  <li>MultiOpndStmt()
243
- : <a class="el" href="classSVF_1_1MultiOpndStmt.html#a6b01d569057dda1783503563c20c74e6">SVF::MultiOpndStmt</a>
240
+ : <a class="el" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">SVF::MultiOpndStmt</a>
244
241
  </li>
245
242
  <li>mustAlias()
246
243
  : <a class="el" href="classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -392,7 +392,7 @@ $(function() {
392
392
  : <a class="el" href="classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967">SVF::FlowSensitive</a>
393
393
  </li>
394
394
  <li>propagateVersion()
395
- : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a7a98162b69de90f80ce853a6ff43af56">SVF::VersionedFlowSensitive</a>
395
+ : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ad1aa83a71379164d3b7ccf6b61639cb1">SVF::VersionedFlowSensitive</a>
396
396
  </li>
397
397
  <li>propagateViaObj()
398
398
  : <a class="el" href="classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1">SVF::ContextDDA</a>
@@ -478,7 +478,7 @@ $(function() {
478
478
  : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aaf70954762aa86f835d799994726790e">SVF::ForkJoinAnalysis</a>
479
479
  , <a class="el" href="classSVF_1_1LockAnalysis.html#a7d9fd3ddcadd84969b57491181983b17">SVF::LockAnalysis</a>
480
480
  , <a class="el" href="classSVF_1_1MHP.html#a67e2d43f0e35cc46eb7680ec66a4fe44">SVF::MHP</a>
481
- , <a class="el" href="classSVF_1_1TCT.html#afc6d7a91cfc98561bcce13425964a39e">SVF::TCT</a>
481
+ , <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
482
482
  </li>
483
483
  <li>pushIntoWorklist()
484
484
  : <a class="el" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">SVF::CFLSolver</a>
@@ -106,12 +106,12 @@ $(function() {
106
106
  <li>icfgNode2PTASVFStmtsMap
107
107
  : <a class="el" href="classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2">SVF::SVFIR</a>
108
108
  </li>
109
- <li>icfgNode2SVFStmtsMap
110
- : <a class="el" href="classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7">SVF::SVFIR</a>
111
- </li>
112
109
  <li>ICFGNode2SVFStmtsMap
113
110
  : <a class="el" href="classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0">SVF::SVFIR</a>
114
111
  </li>
112
+ <li>icfgNode2SVFStmtsMap
113
+ : <a class="el" href="classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7">SVF::SVFIR</a>
114
+ </li>
115
115
  <li>ICFGNodeIDToNodeMapTy
116
116
  : <a class="el" href="classSVF_1_1ICFG.html#af1fe5708c6f67fd87fa1edaa6c73ff5d">SVF::ICFG</a>
117
117
  </li>
@@ -435,12 +435,12 @@ $(function() {
435
435
  , <a class="el" href="classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46">SVF::LoadMU&lt; Cond &gt;</a>
436
436
  , <a class="el" href="classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2">SVF::StoreCHI&lt; Cond &gt;</a>
437
437
  </li>
438
- <li>Inst2LabelMap
439
- : <a class="el" href="classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228">SVF::SVFStmt</a>
440
- </li>
441
438
  <li>inst2LabelMap
442
439
  : <a class="el" href="classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c">SVF::SVFStmt</a>
443
440
  </li>
441
+ <li>Inst2LabelMap
442
+ : <a class="el" href="classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228">SVF::SVFStmt</a>
443
+ </li>
444
444
  <li>INSTANCE
445
445
  : <a class="el" href="classSVF_1_1DCHEdge.html#a48f01c4a02c4e278a1ab70b16efdef4ba3e807b4caeb170c5cd1e855ac1a92d77">SVF::DCHEdge</a>
446
446
  </li>
@@ -133,9 +133,6 @@ $(function() {
133
133
  , <a class="el" href="classSVF_1_1MTAResultValidator.html#a6306899b5360e106dd090bea571027bf">SVF::MTAResultValidator</a>
134
134
  , <a class="el" href="classSVF_1_1TCT.html#a9b6dda84d37afadaf80bc2e26986a52e">SVF::TCT</a>
135
135
  </li>
136
- <li>matchType()
137
- : <a class="el" href="classSVF_1_1Andersen.html#af42fe6aeacfd31bbef7f5c80c8cf6173">SVF::Andersen</a>
138
- </li>
139
136
  <li>MaxContextLen
140
137
  : <a class="el" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8">SVF::Options</a>
141
138
  </li>
@@ -295,6 +295,9 @@ $(function() {
295
295
  <li>NPtr
296
296
  : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">SVF::VFGNode</a>
297
297
  </li>
298
+ <li>NullDummyNode
299
+ : <a class="el" href="classSVF_1_1Options.html#a59afe4356aae2133beb4819c013d3fbf">SVF::Options</a>
300
+ </li>
298
301
  <li>nullExpr()
299
302
  : <a class="el" href="classSVF_1_1Z3Expr.html#a9aa800372d57db519d484cc32ea1c5dc">SVF::Z3Expr</a>
300
303
  </li>
@@ -129,12 +129,12 @@ $(function() {
129
129
  : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a">SVF::BinaryOPStmt</a>
130
130
  , <a class="el" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt</a>
131
131
  </li>
132
- <li>operation
133
- : <a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#ad5b7fd4408d5d33e2963008d30dcbdc9">SVF::ExtAPI::Operation</a>
134
- </li>
135
132
  <li>Operation()
136
133
  : <a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#a453f37464f5c6261e22e845948f36c94">SVF::ExtAPI::Operation</a>
137
134
  </li>
135
+ <li>operation
136
+ : <a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#ad5b7fd4408d5d33e2963008d30dcbdc9">SVF::ExtAPI::Operation</a>
137
+ </li>
138
138
  <li>operator &amp;
139
139
  : <a class="el" href="classSVF_1_1Z3Expr.html#a73d51389a359eff6654df3c1ee24834c">SVF::Z3Expr</a>
140
140
  </li>
@@ -432,12 +432,12 @@ $(function() {
432
432
  <li>OpICFGNodeVec
433
433
  : <a class="el" href="classSVF_1_1PhiStmt.html#ac505a4fe33e82f555663872e81220ba4">SVF::PhiStmt</a>
434
434
  </li>
435
- <li>OPIncomingBBs
436
- : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
437
- </li>
438
435
  <li>opIncomingBBs
439
436
  : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
440
437
  </li>
438
+ <li>OPIncomingBBs
439
+ : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
440
+ </li>
441
441
  <li>OpIt
442
442
  : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
443
443
  </li>
@@ -172,12 +172,12 @@ $(function() {
172
172
  <li>PAGPrint
173
173
  : <a class="el" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">SVF::Options</a>
174
174
  </li>
175
- <li>pagReadFromTxt
176
- : <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
177
- </li>
178
175
  <li>pagReadFromTXT()
179
176
  : <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
180
177
  </li>
178
+ <li>pagReadFromTxt
179
+ : <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
180
+ </li>
181
181
  <li>pairheadmap
182
182
  : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e">SVF::MTASVFGBuilder</a>
183
183
  </li>
@@ -251,6 +251,9 @@ $(function() {
251
251
  <li>PEDGEK
252
252
  : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVF::SVFStmt</a>
253
253
  </li>
254
+ <li>PEGTransfer
255
+ : <a class="el" href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">SVF::Options</a>
256
+ </li>
254
257
  <li>performAddingMHPEdges()
255
258
  : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a0ed91beb4d3442c0a78ea81bde8d41a3">SVF::MTASVFGBuilder</a>
256
259
  </li>
@@ -379,7 +382,7 @@ $(function() {
379
382
  , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
380
383
  </li>
381
384
  <li>PhiStmt()
382
- : <a class="el" href="classSVF_1_1PhiStmt.html#ac2374acf4477a4bc5d188797ea9baaf3">SVF::PhiStmt</a>
385
+ : <a class="el" href="classSVF_1_1PhiStmt.html#a7ac7cc8a4fd0c692b45df02fc5166b3b">SVF::PhiStmt</a>
383
386
  </li>
384
387
  <li>phiTime
385
388
  : <a class="el" href="classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42">SVF::FlowSensitive</a>
@@ -827,12 +830,12 @@ $(function() {
827
830
  <li>PTAStat()
828
831
  : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
829
832
  </li>
830
- <li>ptaTy
831
- : <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
832
- </li>
833
833
  <li>PTATY
834
834
  : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
835
835
  </li>
836
+ <li>ptaTy
837
+ : <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
838
+ </li>
836
839
  <li>PTAVector
837
840
  : <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
838
841
  </li>
@@ -909,12 +912,12 @@ $(function() {
909
912
  <li>ptrToBVPtsMap
910
913
  : <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
911
914
  </li>
912
- <li>PtrToCPtsMap
913
- : <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
914
- </li>
915
915
  <li>ptrToCPtsMap
916
916
  : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
917
917
  </li>
918
+ <li>PtrToCPtsMap
919
+ : <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
920
+ </li>
918
921
  <li>PtrToNSMap
919
922
  : <a class="el" href="classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d">SVF::CondPTAImpl&lt; Cond &gt;</a>
920
923
  </li>
@@ -929,15 +932,11 @@ $(function() {
929
932
  , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
930
933
  , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
931
934
  , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
935
+ , <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
932
936
  </li>
933
937
  <li>ptsMap
934
938
  : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
935
- </li>
936
- <li>PtsMap
937
- : <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
938
- </li>
939
- <li>ptsMap
940
- : <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
939
+ , <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
941
940
  </li>
942
941
  <li>PtsMapConstIter
943
942
  : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -589,14 +589,14 @@ $(function() {
589
589
  </li>
590
590
  <li>runOnModule()
591
591
  : <a class="el" href="classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a">SVF::BreakConstantGEPs</a>
592
- , <a class="el" href="classSVF_1_1DDAPass.html#a7bc2c9a62b7d97b8e19bee0c4625aea3">SVF::DDAPass</a>
592
+ , <a class="el" href="classSVF_1_1DDAPass.html#af196994d6ec7f5cead72212407842103">SVF::DDAPass</a>
593
593
  , <a class="el" href="classSVF_1_1DoubleFreeChecker.html#ae8c09909e9f3e44489464f7190a6b671">SVF::DoubleFreeChecker</a>
594
594
  , <a class="el" href="classSVF_1_1FileChecker.html#a98a68536b8ffdb2250bbb01437598ac3">SVF::FileChecker</a>
595
595
  , <a class="el" href="classSVF_1_1FlowSensitive.html#a611608ccc9659bd320670f1ec31ad18e">SVF::FlowSensitive</a>
596
596
  , <a class="el" href="classSVF_1_1LeakChecker.html#ab3bb79d88d73c8b881d714921e7b5e12">SVF::LeakChecker</a>
597
597
  , <a class="el" href="classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392">SVF::MergeFunctionRets</a>
598
598
  , <a class="el" href="classSVF_1_1MTA.html#a32f6beffb47e5c2ac86f5c3b8a1bd9ba">SVF::MTA</a>
599
- , <a class="el" href="classSVF_1_1WPAPass.html#a1f47c1cb5a64bab9a6b8ac38103416ac">SVF::WPAPass</a>
599
+ , <a class="el" href="classSVF_1_1WPAPass.html#a394dcd976c1ef08d9cadcba8f5d07c75">SVF::WPAPass</a>
600
600
  </li>
601
601
  <li>runPointerAnalysis()
602
602
  : <a class="el" href="classSVF_1_1DDAPass.html#a13ff3107a0e4f8749b166fa9b8165167">SVF::DDAPass</a>
@@ -118,11 +118,13 @@ $(function() {
118
118
  </li>
119
119
  <li>SCC
120
120
  : <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
121
- , <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
122
121
  </li>
123
122
  <li>scc
124
123
  : <a class="el" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver&lt; GraphType &gt;</a>
125
124
  </li>
125
+ <li>SCC
126
+ : <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
127
+ </li>
126
128
  <li>sccCandidates
127
129
  : <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
128
130
  </li>
@@ -984,12 +986,12 @@ $(function() {
984
986
  : <a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice</a>
985
987
  , <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58">SVF::SrcSnkDDA</a>
986
988
  </li>
987
- <li>svfgNodeToCondMap
988
- : <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
989
- </li>
990
989
  <li>SVFGNodeToCondMap
991
990
  : <a class="el" href="classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
992
991
  </li>
992
+ <li>svfgNodeToCondMap
993
+ : <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
994
+ </li>
993
995
  <li>SVFGNodeToCSIDMap
994
996
  : <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
995
997
  </li>
@@ -1105,7 +1107,7 @@ $(function() {
1105
1107
  , <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a36c5b874527e7694f7fb2fd7291da0da">SVF::CFLGraphBuilder</a>
1106
1108
  , <a class="el" href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">SVF::CFLSolver</a>
1107
1109
  , <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">SVF::GrammarBase</a>
1108
- , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol</a>
1110
+ , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol</a>
1109
1111
  </li>
1110
1112
  <li>SymbolInfo()
1111
1113
  : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>
@@ -1134,7 +1136,7 @@ $(function() {
1134
1136
  , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo</a>
1135
1137
  </li>
1136
1138
  <li>SymState()
1137
- : <a class="el" href="classSVF_1_1SymState.html#aee986d8fbccf71a606284d8467f450e4">SVF::SymState</a>
1139
+ : <a class="el" href="classSVF_1_1SymState.html#a74011f042d561221c30fcd176490abad">SVF::SymState</a>
1138
1140
  </li>
1139
1141
  <li>SymTabPrint
1140
1142
  : <a class="el" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85">SVF::Options</a>
@@ -358,12 +358,12 @@ $(function() {
358
358
  <li>timeOfUpdateCallGraph
359
359
  : <a class="el" href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase</a>
360
360
  </li>
361
- <li>timeStatMap
362
- : <a class="el" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">SVF::PTAStat</a>
363
- </li>
364
361
  <li>TIMEStatMap
365
362
  : <a class="el" href="classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10">SVF::PTAStat</a>
366
363
  </li>
364
+ <li>timeStatMap
365
+ : <a class="el" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">SVF::PTAStat</a>
366
+ </li>
367
367
  <li>TInterPhi
368
368
  : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>
369
369
  </li>
@@ -143,12 +143,12 @@ $(function() {
143
143
  <li>ValVar()
144
144
  : <a class="el" href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">SVF::ValVar</a>
145
145
  </li>
146
- <li>Var2LabelMap
147
- : <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
148
- </li>
149
146
  <li>var2LabelMap
150
147
  : <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
151
148
  </li>
149
+ <li>Var2LabelMap
150
+ : <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
151
+ </li>
152
152
  <li>VAR_ARRAY_OBJ
153
153
  : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
154
154
  </li>
@@ -132,6 +132,9 @@ $(function() {
132
132
  <li>normalized
133
133
  : <a class="el" href="classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241">SVF::CondPTAImpl&lt; Cond &gt;</a>
134
134
  </li>
135
+ <li>NullDummyNode
136
+ : <a class="el" href="classSVF_1_1Options.html#a59afe4356aae2133beb4819c013d3fbf">SVF::Options</a>
137
+ </li>
135
138
  <li>nullPointerId
136
139
  : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a1e3a98be74d5dfd3b4c1b5f9c0941353">SVF::NodeIDAllocator</a>
137
140
  </li>
@@ -148,6 +148,9 @@ $(function() {
148
148
  <li>pathConstraint
149
149
  : <a class="el" href="classSVF_1_1ExeState.html#a7a9c5c2275246a43414503f6822073b1">SVF::ExeState</a>
150
150
  </li>
151
+ <li>PEGTransfer
152
+ : <a class="el" href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">SVF::Options</a>
153
+ </li>
151
154
  <li>persPTData
152
155
  : <a class="el" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
153
156
  , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a0d6620a7078bd60d16256ac48af58db9">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -63,6 +63,7 @@ $(function() {
63
63
  <h3><a id="index__"></a>- _ -</h3><ul>
64
64
  <li>__pad0__
65
65
  : <a class="el" href="CFLGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">CFLGrammar.txt</a>
66
+ , <a class="el" href="PEGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">PEGGrammar.txt</a>
66
67
  , <a class="el" href="cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3">cJSON.cpp</a>
67
68
  </li>
68
69
  <li>__pad1__
@@ -75,9 +75,11 @@ $(function() {
75
75
  </li>
76
76
  <li>Addr
77
77
  : <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">CFLGrammar.txt</a>
78
+ , <a class="el" href="PEGGrammar_8txt.html#aceb4ff2aa6371c1133bbcd5309b0bed1">PEGGrammar.txt</a>
78
79
  </li>
79
80
  <li>Addrbar
80
- : <a class="el" href="CFLGrammar_8txt.html#a11ba05967682e1a34391b8c3309de1e6">CFLGrammar.txt</a>
81
+ : <a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">PEGGrammar.txt</a>
82
+ , <a class="el" href="CFLGrammar_8txt.html#a11ba05967682e1a34391b8c3309de1e6">CFLGrammar.txt</a>
81
83
  </li>
82
84
  <li>AddressMask
83
85
  : <a class="el" href="ExeState_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f">ExeState.h</a>
@@ -194,12 +194,13 @@ $(function() {
194
194
  <li>convertExpression()
195
195
  : <a class="el" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">BreakConstantExpr.cpp</a>
196
196
  </li>
197
- <li>Copy
198
- : <a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">CFLGrammar.txt</a>
199
- </li>
200
197
  <li>copy
201
198
  : <a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">cJSON.cpp</a>
202
199
  </li>
200
+ <li>Copy
201
+ : <a class="el" href="PEGGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">PEGGrammar.txt</a>
202
+ , <a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">CFLGrammar.txt</a>
203
+ </li>
203
204
  <li>count
204
205
  : <a class="el" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.h</a>
205
206
  , <a class="el" href="cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.cpp</a>
@@ -208,8 +209,8 @@ $(function() {
208
209
  : <a class="el" href="cJSON_8cpp.html#ac06bbc307a6f39fe58aafbcb82fbf4b3">cJSON.cpp</a>
209
210
  </li>
210
211
  <li>cutree_cdist()
211
- : <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
212
- , <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
212
+ : <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
213
+ , <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
213
214
  </li>
214
215
  <li>cutree_k()
215
216
  : <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>