svf-tools 1.0.562 → 1.0.565

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 (187) hide show
  1. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +7 -38
  2. package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +1 -2
  3. package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +11 -10
  4. package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +10 -9
  5. package/SVF-doxygen/html/html/CFLGrammar_8txt.html +37 -37
  6. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +2 -3
  7. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +1 -2
  8. package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
  9. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +3 -3
  10. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +7 -7
  11. package/SVF-doxygen/html/html/DDAStat_8h_source.html +1 -1
  12. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +2 -2
  13. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
  14. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +2 -2
  15. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +2 -2
  16. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +10 -10
  17. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +2 -2
  18. package/SVF-doxygen/html/html/MHP_8cpp_source.html +2 -2
  19. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +1 -2
  20. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +4 -4
  21. package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
  22. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/html/PEGGrammar_8txt.html +37 -138
  25. package/SVF-doxygen/html/html/PTAStat_8cpp.html +0 -1
  26. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +9 -111
  27. package/SVF-doxygen/html/html/PTAStat_8h_source.html +7 -69
  28. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +6 -6
  30. package/SVF-doxygen/html/html/SVFGStat_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -1
  32. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +37 -37
  33. package/SVF-doxygen/html/html/SVFModule_8cpp.html +1 -0
  34. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +6 -2
  35. package/SVF-doxygen/html/html/SVFModule_8h_source.html +1 -1
  36. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +65 -3
  37. package/SVF-doxygen/html/html/SVFStat_8h_source.html +16 -11
  38. package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
  39. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +1 -2
  40. package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
  41. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
  42. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
  43. package/SVF-doxygen/html/html/cfl_8cpp.html +1 -1
  44. package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
  45. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +5 -5
  46. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +5 -5
  47. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
  48. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat-members.html +18 -68
  49. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +23 -208
  50. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +3 -3
  51. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
  52. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +12 -11
  53. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +63 -28
  54. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +1 -1
  55. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +8 -11
  56. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +3 -3
  57. package/SVF-doxygen/html/html/classSVF_1_1DDAStat-members.html +17 -67
  58. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +22 -176
  59. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +4 -4
  60. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +12 -12
  61. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +3 -3
  62. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +13 -13
  63. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat-members.html +20 -70
  64. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +20 -188
  65. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat-members.html +17 -67
  66. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +18 -172
  67. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +36 -34
  68. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +5 -5
  69. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +3 -3
  70. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +2 -2
  71. package/SVF-doxygen/html/html/classSVF_1_1MTAStat-members.html +23 -73
  72. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +26 -180
  73. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +2 -2
  74. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat-members.html +22 -72
  75. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +18 -172
  76. package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html +2 -3
  77. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +3 -3
  78. package/SVF-doxygen/html/html/classSVF_1_1PTAStat-members.html +11 -64
  79. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +33 -1830
  80. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +1 -1
  81. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat-members.html +48 -98
  82. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +32 -186
  83. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +125 -122
  84. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +5 -2
  85. package/SVF-doxygen/html/html/classSVF_1_1SVFStat-members.html +22 -17
  86. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +237 -34
  87. package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +1 -1
  88. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
  89. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
  90. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +6 -6
  91. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +17 -67
  92. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +20 -187
  93. package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
  94. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  95. package/SVF-doxygen/html/html/functions_a.html +5 -9
  96. package/SVF-doxygen/html/html/functions_b.html +8 -8
  97. package/SVF-doxygen/html/html/functions_c.html +2 -2
  98. package/SVF-doxygen/html/html/functions_e.html +2 -3
  99. package/SVF-doxygen/html/html/functions_f.html +6 -6
  100. package/SVF-doxygen/html/html/functions_func_b.html +6 -6
  101. package/SVF-doxygen/html/html/functions_func_p.html +4 -5
  102. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  103. package/SVF-doxygen/html/html/functions_m.html +1 -9
  104. package/SVF-doxygen/html/html/functions_n.html +0 -114
  105. package/SVF-doxygen/html/html/functions_o.html +6 -6
  106. package/SVF-doxygen/html/html/functions_p.html +15 -24
  107. package/SVF-doxygen/html/html/functions_s.html +12 -21
  108. package/SVF-doxygen/html/html/functions_t.html +14 -22
  109. package/SVF-doxygen/html/html/functions_u.html +0 -3
  110. package/SVF-doxygen/html/html/functions_v.html +6 -6
  111. package/SVF-doxygen/html/html/functions_vars_a.html +0 -4
  112. package/SVF-doxygen/html/html/functions_vars_e.html +1 -2
  113. package/SVF-doxygen/html/html/functions_vars_m.html +1 -9
  114. package/SVF-doxygen/html/html/functions_vars_n.html +0 -114
  115. package/SVF-doxygen/html/html/functions_vars_p.html +1 -7
  116. package/SVF-doxygen/html/html/functions_vars_s.html +1 -8
  117. package/SVF-doxygen/html/html/functions_vars_t.html +9 -15
  118. package/SVF-doxygen/html/html/functions_vars_u.html +0 -3
  119. package/SVF-doxygen/html/html/functions_w.html +11 -11
  120. package/SVF-doxygen/html/html/globals_a.html +0 -1
  121. package/SVF-doxygen/html/html/globals_c.html +5 -6
  122. package/SVF-doxygen/html/html/globals_e.html +0 -1
  123. package/SVF-doxygen/html/html/globals_f.html +2 -3
  124. package/SVF-doxygen/html/html/globals_func.html +3 -0
  125. package/SVF-doxygen/html/html/globals_g.html +5 -7
  126. package/SVF-doxygen/html/html/globals_m.html +3 -6
  127. package/SVF-doxygen/html/html/globals_vars.html +10 -19
  128. package/SVF-doxygen/html/html/mta_8cpp.html +1 -1
  129. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  130. package/SVF-doxygen/html/html/namespaceSVF.html +2 -2
  131. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +1 -1
  132. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +4 -4
  133. package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
  134. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  135. package/SVF-doxygen/html/html/search/all_1.js +2 -3
  136. package/SVF-doxygen/html/html/search/all_10.js +10 -12
  137. package/SVF-doxygen/html/html/search/all_12.js +7 -9
  138. package/SVF-doxygen/html/html/search/all_13.js +7 -9
  139. package/SVF-doxygen/html/html/search/all_14.js +1 -1
  140. package/SVF-doxygen/html/html/search/all_15.js +4 -4
  141. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  142. package/SVF-doxygen/html/html/search/all_2.js +2 -2
  143. package/SVF-doxygen/html/html/search/all_3.js +2 -2
  144. package/SVF-doxygen/html/html/search/all_5.js +3 -3
  145. package/SVF-doxygen/html/html/search/all_6.js +4 -4
  146. package/SVF-doxygen/html/html/search/all_7.js +4 -4
  147. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  148. package/SVF-doxygen/html/html/search/all_d.js +3 -5
  149. package/SVF-doxygen/html/html/search/all_e.js +5 -41
  150. package/SVF-doxygen/html/html/search/all_f.js +3 -3
  151. package/SVF-doxygen/html/html/search/functions_1.js +2 -2
  152. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  153. package/SVF-doxygen/html/html/search/functions_5.js +1 -0
  154. package/SVF-doxygen/html/html/search/functions_f.js +3 -3
  155. package/SVF-doxygen/html/html/search/variables_1.js +2 -3
  156. package/SVF-doxygen/html/html/search/variables_10.js +1 -3
  157. package/SVF-doxygen/html/html/search/variables_12.js +1 -3
  158. package/SVF-doxygen/html/html/search/variables_13.js +4 -6
  159. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  160. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  161. package/SVF-doxygen/html/html/search/variables_5.js +2 -2
  162. package/SVF-doxygen/html/html/search/variables_6.js +2 -2
  163. package/SVF-doxygen/html/html/search/variables_7.js +4 -4
  164. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  165. package/SVF-doxygen/html/html/search/variables_d.js +3 -5
  166. package/SVF-doxygen/html/html/search/variables_e.js +4 -40
  167. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  168. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  169. package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
  170. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  171. package/include/CFL/CFGNormalizer.h +3 -1
  172. package/include/CFL/PEGGrammar.txt +5 -18
  173. package/include/DDA/DDAVFSolver.h +4 -4
  174. package/include/Util/PTAStat.h +0 -79
  175. package/include/Util/SVFStat.h +7 -2
  176. package/lib/CFL/CFGNormalizer.cpp +57 -6
  177. package/lib/MTA/LockAnalysis.cpp +4 -4
  178. package/lib/MTA/MHP.cpp +2 -2
  179. package/lib/SVF-FE/LLVMModule.cpp +5 -0
  180. package/lib/SVF-FE/SVFIRBuilder.cpp +5 -0
  181. package/lib/Util/PTAStat.cpp +7 -254
  182. package/lib/Util/SVFModule.cpp +4 -0
  183. package/lib/Util/SVFStat.cpp +202 -2
  184. package/lib/WPA/AndersenStat.cpp +31 -31
  185. package/lib/WPA/FlowSensitiveStat.cpp +14 -14
  186. package/lib/WPA/VersionedFlowSensitiveStat.cpp +13 -13
  187. package/package.json +1 -1
@@ -568,7 +568,7 @@ Additional Inherited Members</h2></td></tr>
568
568
  <tr class="memitem:a6c60b761ddf3d6bf08c8a9c3f6fd9f0b inherit pro_methods_classSVF_1_1Andersen"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Andersen.html#a6c60b761ddf3d6bf08c8a9c3f6fd9f0b">updateCallGraph</a> (const <a class="el" href="classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585">CallSiteToFunPtrMap</a> &amp;callsites)</td></tr>
569
569
  <tr class="memdesc:a6c60b761ddf3d6bf08c8a9c3f6fd9f0b inherit pro_methods_classSVF_1_1Andersen"><td class="mdescLeft">&#160;</td><td class="mdescRight">Update call graph for the input indirect callsites. <a href="classSVF_1_1Andersen.html#a6c60b761ddf3d6bf08c8a9c3f6fd9f0b">More...</a><br /></td></tr>
570
570
  <tr class="separator:a6c60b761ddf3d6bf08c8a9c3f6fd9f0b inherit pro_methods_classSVF_1_1Andersen"><td class="memSeparator" colspan="2">&#160;</td></tr>
571
- <tr class="memitem:a5a90e681e46c52ffd3debf02910c7ecf inherit pro_methods_classSVF_1_1Andersen"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Andersen.html#a5a90e681e46c52ffd3debf02910c7ecf">connectCaller2CalleeParams</a> (<a class="el" href="classSVF_1_1CallSite.html">CallSite</a> cs, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>, <a class="el" href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">NodePairSet</a> &amp;cpySrcNodes)</td></tr>
571
+ <tr class="memitem:a5a90e681e46c52ffd3debf02910c7ecf inherit pro_methods_classSVF_1_1Andersen"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Andersen.html#a5a90e681e46c52ffd3debf02910c7ecf">connectCaller2CalleeParams</a> (<a class="el" href="classSVF_1_1CallSite.html">CallSite</a> cs, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>, <a class="el" href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">NodePairSet</a> &amp;cpySrcNodes)</td></tr>
572
572
  <tr class="memdesc:a5a90e681e46c52ffd3debf02910c7ecf inherit pro_methods_classSVF_1_1Andersen"><td class="mdescLeft">&#160;</td><td class="mdescRight">Connect formal and actual parameters for indirect callsites. <a href="classSVF_1_1Andersen.html#a5a90e681e46c52ffd3debf02910c7ecf">More...</a><br /></td></tr>
573
573
  <tr class="separator:a5a90e681e46c52ffd3debf02910c7ecf inherit pro_methods_classSVF_1_1Andersen"><td class="memSeparator" colspan="2">&#160;</td></tr>
574
574
  <tr class="memitem:a36729160041bc3a3e2b0a92b29062848 inherit pro_methods_classSVF_1_1Andersen"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848">mergeNodeToRep</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> nodeId, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> newRepId)</td></tr>
@@ -994,7 +994,7 @@ Additional Inherited Members</h2></td></tr>
994
994
  <div class="ttc" id="classSVF_1_1ConstraintNode_html_a5a90b39f9e5769bde44a673806270714"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714">SVF::ConstraintNode::incomingStoresBegin</a></div><div class="ttdeci">const_iterator incomingStoresBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00215">ConsGNode.h:215</a></div></div>
995
995
  <div class="ttc" id="classSVF_1_1ConstraintNode_html_a8d58f5224728bb6811f12c94826167f6"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a8d58f5224728bb6811f12c94826167f6">SVF::ConstraintNode::incomingStoresEnd</a></div><div class="ttdeci">const_iterator incomingStoresEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00219">ConsGNode.h:219</a></div></div>
996
996
  <div class="ttc" id="classSVF_1_1AndersenWaveDiff_html_a7f2af504c4fb96e64371a8533c0525fe"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html#a7f2af504c4fb96e64371a8533c0525fe">SVF::AndersenWaveDiff::handleLoad</a></div><div class="ttdeci">virtual bool handleLoad(NodeID id, const ConstraintEdge *load)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenWaveDiff_8cpp_source.html#l00125">AndersenWaveDiff.cpp:125</a></div></div>
997
- <div class="ttc" id="classSVF_1_1SVFStat_html_ac9d390c417df6f6af6b274618b87010d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">SVF::SVFStat::getClk</a></div><div class="ttdeci">static double getClk(bool mark=false)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00041">SVFStat.cpp:41</a></div></div>
997
+ <div class="ttc" id="classSVF_1_1SVFStat_html_ac9d390c417df6f6af6b274618b87010d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">SVF::SVFStat::getClk</a></div><div class="ttdeci">static double getClk(bool mark=false)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00047">SVFStat.cpp:47</a></div></div>
998
998
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a5ec3d9bf1fc81346c9df29638daedc0f"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f">SVF::PointerAnalysis::stat</a></div><div class="ttdeci">PTAStat * stat</div><div class="ttdoc">Statistics. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00150">PointerAnalysis.h:150</a></div></div>
999
999
  <div class="ttc" id="classSVF_1_1ConstraintNode_html_a134e8ed040d7749c2b9a02662115f746"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a134e8ed040d7749c2b9a02662115f746">SVF::ConstraintNode::outgoingLoadsEnd</a></div><div class="ttdeci">const_iterator outgoingLoadsEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00194">ConsGNode.h:194</a></div></div>
1000
1000
  <div class="ttc" id="classSVF_1_1ConstraintNode_html"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00040">ConsGNode.h:40</a></div></div>
@@ -1035,7 +1035,7 @@ Additional Inherited Members</h2></td></tr>
1035
1035
  <p class="definition">Definition at line <a class="el" href="AndersenWaveDiff_8cpp_source.html#l00080">80</a> of file <a class="el" href="AndersenWaveDiff_8cpp_source.html">AndersenWaveDiff.cpp</a>.</p>
1036
1036
  <div class="fragment"><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160;{</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <span class="comment">// This node may be merged during collapseNodePts() which means it is no longer a rep node</span></div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; <span class="comment">// in the graph. Only rep node needs to be handled.</span></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_1Andersen.html#aad706e332847e6b0892350a05028ba30">sccRepNode</a>(nodeId) != nodeId)</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <span class="keywordflow">return</span>;</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160;</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordtype">double</span> propStart = <a class="code" href="classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f">stat</a>-&gt;<a class="code" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">getClk</a>();</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* node = <a class="code" href="classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd">consCG</a>-&gt;<a class="code" href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">getConstraintNode</a>(nodeId);</div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; <a class="code" href="classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e">handleCopyGep</a>(node);</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <span class="keywordtype">double</span> propEnd = <a class="code" href="classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f">stat</a>-&gt;<a class="code" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">getClk</a>();</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; <a class="code" href="classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0">timeOfProcessCopyGep</a> += (propEnd - propStart) / <a class="code" href="SVFBasicTypes_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160;}</div><div class="ttc" id="classSVF_1_1AndersenBase_html_aae14de6fbca9280d8d0290326aa493f0"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0">SVF::AndersenBase::timeOfProcessCopyGep</a></div><div class="ttdeci">static double timeOfProcessCopyGep</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00137">Andersen.h:137</a></div></div>
1037
1037
  <div class="ttc" id="classSVF_1_1ConstraintGraph_html_a26722666cc8f2fce61bed73f086a0e87"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">SVF::ConstraintGraph::getConstraintNode</a></div><div class="ttdeci">ConstraintNode * getConstraintNode(NodeID id) const</div><div class="ttdoc">Get/add/remove constraint node. </div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00107">ConsG.h:107</a></div></div>
1038
- <div class="ttc" id="classSVF_1_1SVFStat_html_ac9d390c417df6f6af6b274618b87010d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">SVF::SVFStat::getClk</a></div><div class="ttdeci">static double getClk(bool mark=false)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00041">SVFStat.cpp:41</a></div></div>
1038
+ <div class="ttc" id="classSVF_1_1SVFStat_html_ac9d390c417df6f6af6b274618b87010d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">SVF::SVFStat::getClk</a></div><div class="ttdeci">static double getClk(bool mark=false)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00047">SVFStat.cpp:47</a></div></div>
1039
1039
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a5ec3d9bf1fc81346c9df29638daedc0f"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f">SVF::PointerAnalysis::stat</a></div><div class="ttdeci">PTAStat * stat</div><div class="ttdoc">Statistics. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00150">PointerAnalysis.h:150</a></div></div>
1040
1040
  <div class="ttc" id="classSVF_1_1ConstraintNode_html"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00040">ConsGNode.h:40</a></div></div>
1041
1041
  <div class="ttc" id="SVFBasicTypes_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFBasicTypes_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00182">SVFBasicTypes.h:182</a></div></div>
@@ -87,7 +87,7 @@ Public Member Functions</h2></td></tr>
87
87
  <tr class="separator:a5397ce21e78d09c8d1cdc3f912d53a7f"><td class="memSeparator" colspan="2">&#160;</td></tr>
88
88
  <tr class="memitem:a182830d0a9d07015628211ec5eb0d4c6"><td class="memItemLeft" align="right" valign="top">llvm::StringRef&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BreakConstantGEPs.html#a182830d0a9d07015628211ec5eb0d4c6">getPassName</a> () const</td></tr>
89
89
  <tr class="separator:a182830d0a9d07015628211ec5eb0d4c6"><td class="memSeparator" colspan="2">&#160;</td></tr>
90
- <tr class="memitem:ae99ceb7923161d54e7d0a687f4f68e1a"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a">runOnModule</a> (<a class="el" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">Module</a> &amp;<a class="el" href="PEGGrammar_8txt.html#abd600039647a1e73c88e7161fa6eb989">M</a>)</td></tr>
90
+ <tr class="memitem:ae99ceb7923161d54e7d0a687f4f68e1a"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a">runOnModule</a> (<a class="el" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">Module</a> &amp;M)</td></tr>
91
91
  <tr class="separator:ae99ceb7923161d54e7d0a687f4f68e1a"><td class="memSeparator" colspan="2">&#160;</td></tr>
92
92
  </table><table class="memberdecls">
93
93
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-attribs"></a>
@@ -69,17 +69,18 @@ $(function() {
69
69
 
70
70
  <p>This is the complete list of members for <a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a>, including all inherited members.</p>
71
71
  <table class="directory">
72
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3">CFGNormalizer</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
73
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#afe01de5c8333e4ba436adbdc0e99e3cc">check_head</a>(GrammarBase::SymbolMap&lt; GrammarBase::Symbol, GrammarBase::Productions &gt; &amp;grammar, GrammarBase::Production &amp;rule)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
74
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#a8906f8bfe0a4a431f355b825f15efbe0">ebnf_bin</a>(CFLGrammar *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
75
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#a8eddaa57527c0e5e538b1d207da7adc0">ebnfBracketMatch</a>(GrammarBase::Production &amp;prod, int i, CFLGrammar *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
76
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#a37f4a6a11af608439596752d20667648">ebnfSignReplace</a>(char sign, CFLGrammar *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
77
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#aec174ad01529a195b710b2f628f9c0d6">fillAttribute</a>(CFLGrammar *grammar, const Map&lt; CFLGrammar::Kind, Set&lt; CFLGrammar::Attribute &gt;&gt; &amp;kind2AttrsMap)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"></td></tr>
78
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#ab5c5efbb72cf018885e026be65c92fdf">getFilledProd</a>(GrammarBase::Production &amp;prod, CFLGrammar::Attribute attribute, CFLGrammar *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
79
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#ae5932d3d9330e28e5fa89402a5f5ff33">getFilledProductions</a>(GrammarBase::Production &amp;prod, const Map&lt; CFLGrammar::Kind, Set&lt; CFLGrammar::Attribute &gt;&gt; &amp;kind2AttriMap, CFLGrammar *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
80
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#ad08f183a1b8ca69201f965f224e92950">insertToCFLGrammar</a>(CFLGrammar *grammar, GrammarBase::Production &amp;prod)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
81
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#ae8e2b22944e9d3d2ec14cd6aaa8b93c9">normalize</a>(GrammarBase *generalGrammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"></td></tr>
82
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#adbd98b8ece3c8234d5791fab47dcdbf9">strTrans</a>(std::string strPro, CFLGrammar *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
72
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#ad56aa4b7f6eba0c873ea18f83c398bc5">barReplace</a>(CFLGrammar *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
73
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3">CFGNormalizer</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
74
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#afe01de5c8333e4ba436adbdc0e99e3cc">check_head</a>(GrammarBase::SymbolMap&lt; GrammarBase::Symbol, GrammarBase::Productions &gt; &amp;grammar, GrammarBase::Production &amp;rule)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
75
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#a8906f8bfe0a4a431f355b825f15efbe0">ebnf_bin</a>(CFLGrammar *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
76
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#a8eddaa57527c0e5e538b1d207da7adc0">ebnfBracketMatch</a>(GrammarBase::Production &amp;prod, int i, CFLGrammar *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
77
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#a37f4a6a11af608439596752d20667648">ebnfSignReplace</a>(char sign, CFLGrammar *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
78
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#aec174ad01529a195b710b2f628f9c0d6">fillAttribute</a>(CFLGrammar *grammar, const Map&lt; CFLGrammar::Kind, Set&lt; CFLGrammar::Attribute &gt;&gt; &amp;kind2AttrsMap)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"></td></tr>
79
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#ab5c5efbb72cf018885e026be65c92fdf">getFilledProd</a>(GrammarBase::Production &amp;prod, CFLGrammar::Attribute attribute, CFLGrammar *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
80
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#ae5932d3d9330e28e5fa89402a5f5ff33">getFilledProductions</a>(GrammarBase::Production &amp;prod, const Map&lt; CFLGrammar::Kind, Set&lt; CFLGrammar::Attribute &gt;&gt; &amp;kind2AttriMap, CFLGrammar *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
81
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#ad08f183a1b8ca69201f965f224e92950">insertToCFLGrammar</a>(CFLGrammar *grammar, GrammarBase::Production &amp;prod)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
82
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#ae8e2b22944e9d3d2ec14cd6aaa8b93c9">normalize</a>(GrammarBase *generalGrammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"></td></tr>
83
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html#adbd98b8ece3c8234d5791fab47dcdbf9">strTrans</a>(std::string strPro, CFLGrammar *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
83
84
  </table></div><!-- contents -->
84
85
  <!-- start footer part -->
85
86
  <hr class="footer"/><address class="footer"><small>