npm - svf-tools - Versions diffs - 1.0.562 → 1.0.565 - Mend

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

package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html CHANGED Viewed

@@ -164,180 +164,26 @@ Additional Inherited Members</h2></td></tr>
 <tr class="memitem:ac9d390c417df6f6af6b274618b87010d inherit pub_static_methods_classSVF_1_1SVFStat"><td class="memItemLeft" align="right" valign="top">static double&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">getClk</a> (bool mark=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
 <tr class="separator:ac9d390c417df6f6af6b274618b87010d inherit pub_static_methods_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_attribs_classSVF_1_1PTAStat"><td colspan="2" onclick="javascript:toggleInherit('pub_attribs_classSVF_1_1PTAStat')"><img src="closed.png" alt="-"/>&#160;Public Attributes inherited from <a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td></tr>
-<tr class="memitem:afdb975520329be0c33cc7bdd51ba7031 inherit pub_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227">NUMStatMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a></td></tr>
-<tr class="separator:afdb975520329be0c33cc7bdd51ba7031 inherit pub_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5b4095f427c9c7b9ec0db497ba33baea inherit pub_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">NodeBS</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea">localVarInRecursion</a></td></tr>
 <tr class="separator:a5b4095f427c9c7b9ec0db497ba33baea inherit pub_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a59e0fe6fa506f1cf319b5acaf9d28be9 inherit pub_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">double&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9">startTime</a></td></tr>
-<tr class="separator:a59e0fe6fa506f1cf319b5acaf9d28be9 inherit pub_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a267ba4aac2e7ceb65f008f9486d3d9f7 inherit pub_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">double&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a267ba4aac2e7ceb65f008f9486d3d9f7">endTime</a></td></tr>
-<tr class="separator:a267ba4aac2e7ceb65f008f9486d3d9f7 inherit pub_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_attribs_classSVF_1_1SVFStat"><td colspan="2" onclick="javascript:toggleInherit('pub_attribs_classSVF_1_1SVFStat')"><img src="closed.png" alt="-"/>&#160;Public Attributes inherited from <a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td></tr>
 <tr class="memitem:a07b6f8cb424b84b468c4518140fa3a41 inherit pub_attribs_classSVF_1_1SVFStat"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227">NUMStatMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a></td></tr>
 <tr class="separator:a07b6f8cb424b84b468c4518140fa3a41 inherit pub_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a11c34e8ba16769d218432d9504ba26a0 inherit pub_attribs_classSVF_1_1SVFStat"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227">NUMStatMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a></td></tr>
+<tr class="separator:a11c34e8ba16769d218432d9504ba26a0 inherit pub_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5383691a34426a1a997b5eed387f1831 inherit pub_attribs_classSVF_1_1SVFStat"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">TIMEStatMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a></td></tr>
 <tr class="separator:a5383691a34426a1a997b5eed387f1831 inherit pub_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:abd7a79d1fe50110a0c1d448027492669 inherit pub_attribs_classSVF_1_1SVFStat"><td class="memItemLeft" align="right" valign="top">double&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">startTime</a></td></tr>
 <tr class="separator:abd7a79d1fe50110a0c1d448027492669 inherit pub_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a8b01f1564408b51f28c107454bf9068d inherit pub_attribs_classSVF_1_1SVFStat"><td class="memItemLeft" align="right" valign="top">double&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d">endTime</a></td></tr>
 <tr class="separator:a8b01f1564408b51f28c107454bf9068d inherit pub_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="inherit_header pub_static_attribs_classSVF_1_1PTAStat"><td colspan="2" onclick="javascript:toggleInherit('pub_static_attribs_classSVF_1_1PTAStat')"><img src="closed.png" alt="-"/>&#160;Static Public Attributes inherited from <a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td></tr>
-<tr class="memitem:a25001a6d794d91056f37d954d9660910 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a25001a6d794d91056f37d954d9660910">TotalAnalysisTime</a> = &quot;TotalTime&quot;</td></tr>
-<tr class="memdesc:a25001a6d794d91056f37d954d9660910 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Total analysis time.  <a href="classSVF_1_1PTAStat.html#a25001a6d794d91056f37d954d9660910">More...</a><br /></td></tr>
-<tr class="separator:a25001a6d794d91056f37d954d9660910 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad4c1cf3750341f73987c37745f3bd2aa inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa">SCCDetectionTime</a> = &quot;SCCDetectTime&quot;</td></tr>
-<tr class="memdesc:ad4c1cf3750341f73987c37745f3bd2aa inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Total SCC detection time.  <a href="classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa">More...</a><br /></td></tr>
-<tr class="separator:ad4c1cf3750341f73987c37745f3bd2aa inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8c4101e697057269def501d14a987287 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287">SCCMergeTime</a> = &quot;SCCMergeTime&quot;</td></tr>
-<tr class="memdesc:a8c4101e697057269def501d14a987287 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Total SCC merge time.  <a href="classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287">More...</a><br /></td></tr>
-<tr class="separator:a8c4101e697057269def501d14a987287 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aeb6a52c31ecd004670e85f24b01d75d6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#aeb6a52c31ecd004670e85f24b01d75d6">ProcessLoadStoreTime</a> = &quot;LoadStoreTime&quot;</td></tr>
-<tr class="memdesc:aeb6a52c31ecd004670e85f24b01d75d6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">time of processing loads and stores  <a href="classSVF_1_1PTAStat.html#aeb6a52c31ecd004670e85f24b01d75d6">More...</a><br /></td></tr>
-<tr class="separator:aeb6a52c31ecd004670e85f24b01d75d6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a95a0a7861731072baeaf75354531875f inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a95a0a7861731072baeaf75354531875f">ProcessCopyGepTime</a> = &quot;CopyGepTime&quot;</td></tr>
-<tr class="memdesc:a95a0a7861731072baeaf75354531875f inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">time of processing copys and geps  <a href="classSVF_1_1PTAStat.html#a95a0a7861731072baeaf75354531875f">More...</a><br /></td></tr>
-<tr class="separator:a95a0a7861731072baeaf75354531875f inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8aedfeb35f76e6d33135637156468894 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894">UpdateCallGraphTime</a> = &quot;UpdateCGTime&quot;</td></tr>
-<tr class="memdesc:a8aedfeb35f76e6d33135637156468894 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">time of updating call graph  <a href="classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894">More...</a><br /></td></tr>
-<tr class="separator:a8aedfeb35f76e6d33135637156468894 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1a4d418fd9e5413e7ffbbfe57f5e0560 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a1a4d418fd9e5413e7ffbbfe57f5e0560">TotalNumOfPointers</a> = &quot;TotalPointers&quot;</td></tr>
-<tr class="memdesc:a1a4d418fd9e5413e7ffbbfe57f5e0560 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Total <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> value node.  <a href="classSVF_1_1PTAStat.html#a1a4d418fd9e5413e7ffbbfe57f5e0560">More...</a><br /></td></tr>
-<tr class="separator:a1a4d418fd9e5413e7ffbbfe57f5e0560 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:acd9848f15aa359550e86c7b857df84ed inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#acd9848f15aa359550e86c7b857df84ed">TotalNumOfObjects</a> = &quot;TotalObjects&quot;</td></tr>
-<tr class="memdesc:acd9848f15aa359550e86c7b857df84ed inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Total <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> object node.  <a href="classSVF_1_1PTAStat.html#acd9848f15aa359550e86c7b857df84ed">More...</a><br /></td></tr>
-<tr class="separator:acd9848f15aa359550e86c7b857df84ed inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac0e0a1c49d33e02f5cc0f21565ce627d inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ac0e0a1c49d33e02f5cc0f21565ce627d">TotalNumOfFieldObjects</a> = &quot;TotalFieldObjects&quot;</td></tr>
-<tr class="memdesc:ac0e0a1c49d33e02f5cc0f21565ce627d inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Total <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> field object node.  <a href="classSVF_1_1PTAStat.html#ac0e0a1c49d33e02f5cc0f21565ce627d">More...</a><br /></td></tr>
-<tr class="separator:ac0e0a1c49d33e02f5cc0f21565ce627d inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af6a6e3ea4c7f8e1c984bea8d5fb9a7c0 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#af6a6e3ea4c7f8e1c984bea8d5fb9a7c0">MaxStructSize</a> = &quot;MaxStructSize&quot;</td></tr>
-<tr class="memdesc:af6a6e3ea4c7f8e1c984bea8d5fb9a7c0 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Max struct size.  <a href="classSVF_1_1PTAStat.html#af6a6e3ea4c7f8e1c984bea8d5fb9a7c0">More...</a><br /></td></tr>
-<tr class="separator:af6a6e3ea4c7f8e1c984bea8d5fb9a7c0 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3afc0a36232a0388d8aa42c68219cb26 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a3afc0a36232a0388d8aa42c68219cb26">TotalNumOfEdges</a> = &quot;TotalSVFStmts&quot;</td></tr>
-<tr class="memdesc:a3afc0a36232a0388d8aa42c68219cb26 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Total <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> edge number.  <a href="classSVF_1_1PTAStat.html#a3afc0a36232a0388d8aa42c68219cb26">More...</a><br /></td></tr>
-<tr class="separator:a3afc0a36232a0388d8aa42c68219cb26 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac5bf59a0a7a760c9fec5f22dedec5eb6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ac5bf59a0a7a760c9fec5f22dedec5eb6">NumOfAddrs</a> = &quot;AddrsNum&quot;</td></tr>
-<tr class="memdesc:ac5bf59a0a7a760c9fec5f22dedec5eb6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> addr edge.  <a href="classSVF_1_1PTAStat.html#ac5bf59a0a7a760c9fec5f22dedec5eb6">More...</a><br /></td></tr>
-<tr class="separator:ac5bf59a0a7a760c9fec5f22dedec5eb6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4aa7356142f51d942063be5a2910940f inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a4aa7356142f51d942063be5a2910940f">NumOfLoads</a> = &quot;LoadsNum&quot;</td></tr>
-<tr class="memdesc:a4aa7356142f51d942063be5a2910940f inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> load edge.  <a href="classSVF_1_1PTAStat.html#a4aa7356142f51d942063be5a2910940f">More...</a><br /></td></tr>
-<tr class="separator:a4aa7356142f51d942063be5a2910940f inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a656ad9980ff05af396ed6754c50916e7 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a656ad9980ff05af396ed6754c50916e7">NumOfStores</a> = &quot;StoresNum&quot;</td></tr>
-<tr class="memdesc:a656ad9980ff05af396ed6754c50916e7 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> store edge.  <a href="classSVF_1_1PTAStat.html#a656ad9980ff05af396ed6754c50916e7">More...</a><br /></td></tr>
-<tr class="separator:a656ad9980ff05af396ed6754c50916e7 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a97a8b662356fc89cdd2cb9463fa5578b inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a97a8b662356fc89cdd2cb9463fa5578b">NumOfCopys</a> = &quot;CopysNum&quot;</td></tr>
-<tr class="memdesc:a97a8b662356fc89cdd2cb9463fa5578b inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> copy edge.  <a href="classSVF_1_1PTAStat.html#a97a8b662356fc89cdd2cb9463fa5578b">More...</a><br /></td></tr>
-<tr class="separator:a97a8b662356fc89cdd2cb9463fa5578b inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:acc5e4740e11cb6f9794723e5f61ab63b inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#acc5e4740e11cb6f9794723e5f61ab63b">NumOfGeps</a> = &quot;GepsNum&quot;</td></tr>
-<tr class="memdesc:acc5e4740e11cb6f9794723e5f61ab63b inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> gep edge.  <a href="classSVF_1_1PTAStat.html#acc5e4740e11cb6f9794723e5f61ab63b">More...</a><br /></td></tr>
-<tr class="separator:acc5e4740e11cb6f9794723e5f61ab63b inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6cbeca77d0681f7da28979cbd0f661b2 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a6cbeca77d0681f7da28979cbd0f661b2">NumOfCalls</a> = &quot;CallsNum&quot;</td></tr>
-<tr class="memdesc:a6cbeca77d0681f7da28979cbd0f661b2 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> call edge.  <a href="classSVF_1_1PTAStat.html#a6cbeca77d0681f7da28979cbd0f661b2">More...</a><br /></td></tr>
-<tr class="separator:a6cbeca77d0681f7da28979cbd0f661b2 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0a552611fcd20e1310290bdae404a514 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514">NumOfReturns</a> = &quot;ReturnsNum&quot;</td></tr>
-<tr class="memdesc:a0a552611fcd20e1310290bdae404a514 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> return edge.  <a href="classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514">More...</a><br /></td></tr>
-<tr class="separator:a0a552611fcd20e1310290bdae404a514 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0de03cdb382b353c6c1495c0f80cfe19 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a0de03cdb382b353c6c1495c0f80cfe19">NumOfProcessedAddrs</a> = &quot;AddrProcessed&quot;</td></tr>
-<tr class="memdesc:a0de03cdb382b353c6c1495c0f80cfe19 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> processed addr edge.  <a href="classSVF_1_1PTAStat.html#a0de03cdb382b353c6c1495c0f80cfe19">More...</a><br /></td></tr>
-<tr class="separator:a0de03cdb382b353c6c1495c0f80cfe19 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a17531fa1df42df0b19191d61853380d9 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a17531fa1df42df0b19191d61853380d9">NumOfProcessedLoads</a> = &quot;LoadProcessed&quot;</td></tr>
-<tr class="memdesc:a17531fa1df42df0b19191d61853380d9 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> processed load edge.  <a href="classSVF_1_1PTAStat.html#a17531fa1df42df0b19191d61853380d9">More...</a><br /></td></tr>
-<tr class="separator:a17531fa1df42df0b19191d61853380d9 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5b9bc0e9dac6ac97199476f6b7ea1edf inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a5b9bc0e9dac6ac97199476f6b7ea1edf">NumOfProcessedStores</a> = &quot;StoreProcessed&quot;</td></tr>
-<tr class="memdesc:a5b9bc0e9dac6ac97199476f6b7ea1edf inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> processed store edge.  <a href="classSVF_1_1PTAStat.html#a5b9bc0e9dac6ac97199476f6b7ea1edf">More...</a><br /></td></tr>
-<tr class="separator:a5b9bc0e9dac6ac97199476f6b7ea1edf inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad30b36fb1884d1ef0b01c3b36a245211 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ad30b36fb1884d1ef0b01c3b36a245211">NumOfProcessedCopys</a> = &quot;CopyProcessed&quot;</td></tr>
-<tr class="memdesc:ad30b36fb1884d1ef0b01c3b36a245211 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> processed copy edge.  <a href="classSVF_1_1PTAStat.html#ad30b36fb1884d1ef0b01c3b36a245211">More...</a><br /></td></tr>
-<tr class="separator:ad30b36fb1884d1ef0b01c3b36a245211 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aaa9d98f868c0724cb57c6934e783d1e5 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#aaa9d98f868c0724cb57c6934e783d1e5">NumOfProcessedGeps</a> = &quot;GepProcessed&quot;</td></tr>
-<tr class="memdesc:aaa9d98f868c0724cb57c6934e783d1e5 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> processed gep edge.  <a href="classSVF_1_1PTAStat.html#aaa9d98f868c0724cb57c6934e783d1e5">More...</a><br /></td></tr>
-<tr class="separator:aaa9d98f868c0724cb57c6934e783d1e5 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a07a1db62ddba50bda787b2985ef8d135 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135">NumOfSfr</a> = &quot;NumOfSFRs&quot;</td></tr>
-<tr class="memdesc:a07a1db62ddba50bda787b2985ef8d135 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of field representatives  <a href="classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135">More...</a><br /></td></tr>
-<tr class="separator:a07a1db62ddba50bda787b2985ef8d135 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1745e5c3c026a130a70954da9c0074b1 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a1745e5c3c026a130a70954da9c0074b1">NumOfFieldExpand</a> = &quot;NumOfFieldExpand&quot;</td></tr>
-<tr class="separator:a1745e5c3c026a130a70954da9c0074b1 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae9952b7456b5102113d1fee4d9d7801a inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ae9952b7456b5102113d1fee4d9d7801a">NumOfFunctionObjs</a> = &quot;FunctionObjs&quot;</td></tr>
-<tr class="memdesc:ae9952b7456b5102113d1fee4d9d7801a inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Function numbers.  <a href="classSVF_1_1PTAStat.html#ae9952b7456b5102113d1fee4d9d7801a">More...</a><br /></td></tr>
-<tr class="separator:ae9952b7456b5102113d1fee4d9d7801a inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a57574c85a5a875a05ef83d3c916cf3e5 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a57574c85a5a875a05ef83d3c916cf3e5">NumOfGlobalObjs</a> = &quot;GlobalObjs&quot;</td></tr>
-<tr class="memdesc:a57574c85a5a875a05ef83d3c916cf3e5 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> global object node.  <a href="classSVF_1_1PTAStat.html#a57574c85a5a875a05ef83d3c916cf3e5">More...</a><br /></td></tr>
-<tr class="separator:a57574c85a5a875a05ef83d3c916cf3e5 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4aff48eaa2045ee619a8ea793a9234b8 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a4aff48eaa2045ee619a8ea793a9234b8">NumOfHeapObjs</a> = &quot;HeapObjs&quot;</td></tr>
-<tr class="memdesc:a4aff48eaa2045ee619a8ea793a9234b8 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> heap object node.  <a href="classSVF_1_1PTAStat.html#a4aff48eaa2045ee619a8ea793a9234b8">More...</a><br /></td></tr>
-<tr class="separator:a4aff48eaa2045ee619a8ea793a9234b8 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae05503909688a17dc1f282d1d029d24e inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e">NumOfStackObjs</a> = &quot;StackObjs&quot;</td></tr>
-<tr class="memdesc:ae05503909688a17dc1f282d1d029d24e inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> stack object node.  <a href="classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e">More...</a><br /></td></tr>
-<tr class="separator:ae05503909688a17dc1f282d1d029d24e inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a95edd35cec92fa4cacc8b59b5eecc827 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a95edd35cec92fa4cacc8b59b5eecc827">NumOfObjsHasVarStruct</a> = &quot;VarStructObj&quot;</td></tr>
-<tr class="memdesc:a95edd35cec92fa4cacc8b59b5eecc827 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> object node has var struct (maybe nested with array)  <a href="classSVF_1_1PTAStat.html#a95edd35cec92fa4cacc8b59b5eecc827">More...</a><br /></td></tr>
-<tr class="separator:a95edd35cec92fa4cacc8b59b5eecc827 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a78693e8bf93d712eb76c9d6dc0c45ae6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a78693e8bf93d712eb76c9d6dc0c45ae6">NumOfObjsHasVarArray</a> = &quot;VarArrayObj&quot;</td></tr>
-<tr class="memdesc:a78693e8bf93d712eb76c9d6dc0c45ae6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> object node has var array (maybe nested with struct)  <a href="classSVF_1_1PTAStat.html#a78693e8bf93d712eb76c9d6dc0c45ae6">More...</a><br /></td></tr>
-<tr class="separator:a78693e8bf93d712eb76c9d6dc0c45ae6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a918051b1d0eb4f49c349352408cc9751 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a918051b1d0eb4f49c349352408cc9751">NumOfObjsHasConstStruct</a> = &quot;ConstStructObj&quot;</td></tr>
-<tr class="memdesc:a918051b1d0eb4f49c349352408cc9751 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> object node has const struct (maybe nested with array)  <a href="classSVF_1_1PTAStat.html#a918051b1d0eb4f49c349352408cc9751">More...</a><br /></td></tr>
-<tr class="separator:a918051b1d0eb4f49c349352408cc9751 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:adb31b163f0cbb9d9ce207ef5d8c075fa inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#adb31b163f0cbb9d9ce207ef5d8c075fa">NumOfObjsHasConstArray</a> = &quot;ConstArrayObj&quot;</td></tr>
-<tr class="memdesc:adb31b163f0cbb9d9ce207ef5d8c075fa inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> object node has const array (maybe nested with struct)  <a href="classSVF_1_1PTAStat.html#adb31b163f0cbb9d9ce207ef5d8c075fa">More...</a><br /></td></tr>
-<tr class="separator:adb31b163f0cbb9d9ce207ef5d8c075fa inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9014371b8ed95ab8135eed2a7fa945f1 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a9014371b8ed95ab8135eed2a7fa945f1">NumOfNonPtrObjs</a> = &quot;NonPtrObj&quot;</td></tr>
-<tr class="memdesc:a9014371b8ed95ab8135eed2a7fa945f1 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> object node which is non pointer type object (do not have pts)  <a href="classSVF_1_1PTAStat.html#a9014371b8ed95ab8135eed2a7fa945f1">More...</a><br /></td></tr>
-<tr class="separator:a9014371b8ed95ab8135eed2a7fa945f1 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae74458d96423e4a7391fe8697d5a9a67 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ae74458d96423e4a7391fe8697d5a9a67">NumOfConstantObjs</a> = &quot;ConstantObj&quot;</td></tr>
-<tr class="memdesc:ae74458d96423e4a7391fe8697d5a9a67 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> object node which is purely constant.  <a href="classSVF_1_1PTAStat.html#ae74458d96423e4a7391fe8697d5a9a67">More...</a><br /></td></tr>
-<tr class="separator:ae74458d96423e4a7391fe8697d5a9a67 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad1a7e7aec8f272017be7d0b6acda86a4 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ad1a7e7aec8f272017be7d0b6acda86a4">NumberOfFieldInsensitiveObj</a> = &quot;FIObjNum&quot;</td></tr>
-<tr class="separator:ad1a7e7aec8f272017be7d0b6acda86a4 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab62eb21c7dc03f68b0509c31451b2e98 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ab62eb21c7dc03f68b0509c31451b2e98">NumberOfFieldSensitiveObj</a> = &quot;FSObjNum&quot;</td></tr>
-<tr class="separator:ab62eb21c7dc03f68b0509c31451b2e98 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a218748b401bdd3d5eebd45eea0026b12 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a218748b401bdd3d5eebd45eea0026b12">NumOfPointers</a> = &quot;Pointers&quot;</td></tr>
-<tr class="memdesc:a218748b401bdd3d5eebd45eea0026b12 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> value node, each of them maps to a llvm value.  <a href="classSVF_1_1PTAStat.html#a218748b401bdd3d5eebd45eea0026b12">More...</a><br /></td></tr>
-<tr class="separator:a218748b401bdd3d5eebd45eea0026b12 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a164249b9d35606387e628529c643d119 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a164249b9d35606387e628529c643d119">NumOfGepFieldPointers</a> = &quot;DYFieldPtrs&quot;</td></tr>
-<tr class="memdesc:a164249b9d35606387e628529c643d119 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> gep value node (field value, dynamically created dummy node)  <a href="classSVF_1_1PTAStat.html#a164249b9d35606387e628529c643d119">More...</a><br /></td></tr>
-<tr class="separator:a164249b9d35606387e628529c643d119 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5c09f41916e40d784a63e301584511f9 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a5c09f41916e40d784a63e301584511f9">NumOfMemObjects</a> = &quot;MemObjects&quot;</td></tr>
-<tr class="memdesc:a5c09f41916e40d784a63e301584511f9 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> object node, each of them maps to a llvm value.  <a href="classSVF_1_1PTAStat.html#a5c09f41916e40d784a63e301584511f9">More...</a><br /></td></tr>
-<tr class="separator:a5c09f41916e40d784a63e301584511f9 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a16f9bdb5387471d0bd825c4a9cbcb22e inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a16f9bdb5387471d0bd825c4a9cbcb22e">NumOfGepFieldObjects</a> = &quot;DYFieldObjs&quot;</td></tr>
-<tr class="memdesc:a16f9bdb5387471d0bd825c4a9cbcb22e inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> gep object node (field obj, dynamically created dummy node)  <a href="classSVF_1_1PTAStat.html#a16f9bdb5387471d0bd825c4a9cbcb22e">More...</a><br /></td></tr>
-<tr class="separator:a16f9bdb5387471d0bd825c4a9cbcb22e inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:adb0edbe88a74e5e89921bcfafa4759c6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#adb0edbe88a74e5e89921bcfafa4759c6">AveragePointsToSetSize</a> = &quot;AvgPtsSetSize&quot;</td></tr>
-<tr class="memdesc:adb0edbe88a74e5e89921bcfafa4759c6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Average points-to size of all variables.  <a href="classSVF_1_1PTAStat.html#adb0edbe88a74e5e89921bcfafa4759c6">More...</a><br /></td></tr>
-<tr class="separator:adb0edbe88a74e5e89921bcfafa4759c6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1649c9f893c5b9ec2d57a399bc050030 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a1649c9f893c5b9ec2d57a399bc050030">AverageTopLevPointsToSetSize</a> = &quot;AvgTopLvlPtsSize&quot;</td></tr>
-<tr class="memdesc:a1649c9f893c5b9ec2d57a399bc050030 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Average points-to size of top-level variables.  <a href="classSVF_1_1PTAStat.html#a1649c9f893c5b9ec2d57a399bc050030">More...</a><br /></td></tr>
-<tr class="separator:a1649c9f893c5b9ec2d57a399bc050030 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af2b45aab2eee96a1cabba3025e4375a2 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#af2b45aab2eee96a1cabba3025e4375a2">MaxPointsToSetSize</a> = &quot;MaxPtsSetSize&quot;</td></tr>
-<tr class="memdesc:af2b45aab2eee96a1cabba3025e4375a2 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Max points-to size.  <a href="classSVF_1_1PTAStat.html#af2b45aab2eee96a1cabba3025e4375a2">More...</a><br /></td></tr>
-<tr class="separator:af2b45aab2eee96a1cabba3025e4375a2 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae95fb0771a71ead27da79a45cac47a36 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ae95fb0771a71ead27da79a45cac47a36">NumOfIterations</a> = &quot;Iterations&quot;</td></tr>
-<tr class="memdesc:ae95fb0771a71ead27da79a45cac47a36 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Number of iterations during resolution.  <a href="classSVF_1_1PTAStat.html#ae95fb0771a71ead27da79a45cac47a36">More...</a><br /></td></tr>
-<tr class="separator:ae95fb0771a71ead27da79a45cac47a36 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a618707c52da086e04f5e7bff31794cf3 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a618707c52da086e04f5e7bff31794cf3">NumOfIndirectCallSites</a> = &quot;IndCallSites&quot;</td></tr>
-<tr class="memdesc:a618707c52da086e04f5e7bff31794cf3 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Number of indirect callsites.  <a href="classSVF_1_1PTAStat.html#a618707c52da086e04f5e7bff31794cf3">More...</a><br /></td></tr>
-<tr class="separator:a618707c52da086e04f5e7bff31794cf3 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad51d2bd924f049e440b3d0dd0d423524 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ad51d2bd924f049e440b3d0dd0d423524">NumOfIndirectEdgeSolved</a> = &quot;IndEdgeSolved&quot;</td></tr>
-<tr class="memdesc:ad51d2bd924f049e440b3d0dd0d423524 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Number of indirect calledge resolved.  <a href="classSVF_1_1PTAStat.html#ad51d2bd924f049e440b3d0dd0d423524">More...</a><br /></td></tr>
-<tr class="separator:ad51d2bd924f049e440b3d0dd0d423524 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad1731b88c24bb79728f62cd3e9c55699 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699">NumOfSCCDetection</a> = &quot;NumOfSCCDetect&quot;</td></tr>
-<tr class="memdesc:ad1731b88c24bb79728f62cd3e9c55699 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Number of scc detection performed.  <a href="classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699">More...</a><br /></td></tr>
-<tr class="separator:ad1731b88c24bb79728f62cd3e9c55699 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac518843a4148ecc45027ccc19a690c05 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ac518843a4148ecc45027ccc19a690c05">NumOfCycles</a> = &quot;TotalCycleNum&quot;</td></tr>
-<tr class="memdesc:ac518843a4148ecc45027ccc19a690c05 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Number of scc cycles detected.  <a href="classSVF_1_1PTAStat.html#ac518843a4148ecc45027ccc19a690c05">More...</a><br /></td></tr>
-<tr class="separator:ac518843a4148ecc45027ccc19a690c05 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aefcc3638fac7034ab3542be8eb01ab58 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#aefcc3638fac7034ab3542be8eb01ab58">NumOfPWCCycles</a> = &quot;TotalPWCCycleNum&quot;</td></tr>
-<tr class="memdesc:aefcc3638fac7034ab3542be8eb01ab58 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Number of scc cycles detected.  <a href="classSVF_1_1PTAStat.html#aefcc3638fac7034ab3542be8eb01ab58">More...</a><br /></td></tr>
-<tr class="separator:aefcc3638fac7034ab3542be8eb01ab58 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aea3e95097b3b9d326bef0d36f17e51a5 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#aea3e95097b3b9d326bef0d36f17e51a5">NumOfNodesInCycles</a> = &quot;NodesInCycles&quot;</td></tr>
-<tr class="memdesc:aea3e95097b3b9d326bef0d36f17e51a5 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Number of nodes in cycles detected.  <a href="classSVF_1_1PTAStat.html#aea3e95097b3b9d326bef0d36f17e51a5">More...</a><br /></td></tr>
-<tr class="separator:aea3e95097b3b9d326bef0d36f17e51a5 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab754f7768ffcd6f232b8cdf0fef6fc4e inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ab754f7768ffcd6f232b8cdf0fef6fc4e">MaxNumOfNodesInSCC</a> = &quot;MaxNodesInSCC&quot;</td></tr>
-<tr class="memdesc:ab754f7768ffcd6f232b8cdf0fef6fc4e inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">max Number of nodes in one scc  <a href="classSVF_1_1PTAStat.html#ab754f7768ffcd6f232b8cdf0fef6fc4e">More...</a><br /></td></tr>
-<tr class="separator:ab754f7768ffcd6f232b8cdf0fef6fc4e inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1211e1c7f16b715f32ecdef83f39a8c6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a1211e1c7f16b715f32ecdef83f39a8c6">NumOfNullPointer</a> = &quot;NullPointer&quot;</td></tr>
-<tr class="memdesc:a1211e1c7f16b715f32ecdef83f39a8c6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Number of pointers points-to null.  <a href="classSVF_1_1PTAStat.html#a1211e1c7f16b715f32ecdef83f39a8c6">More...</a><br /></td></tr>
-<tr class="separator:a1211e1c7f16b715f32ecdef83f39a8c6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_static_attribs_classSVF_1_1SVFStat"><td colspan="2" onclick="javascript:toggleInherit('pub_static_attribs_classSVF_1_1SVFStat')"><img src="closed.png" alt="-"/>&#160;Static Public Attributes inherited from <a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td></tr>
+<tr class="memitem:aa4950ec26b66a085ad38ac154b789db5 inherit pub_static_attribs_classSVF_1_1SVFStat"><td class="memItemLeft" align="right" valign="top">static double&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5">timeOfBuildingLLVMModule</a> = 0</td></tr>
+<tr class="separator:aa4950ec26b66a085ad38ac154b789db5 inherit pub_static_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae89293bc063bdc74a988e9c37c70321e inherit pub_static_attribs_classSVF_1_1SVFStat"><td class="memItemLeft" align="right" valign="top">static double&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e">timeOfBuildingSymbolTable</a> = 0</td></tr>
+<tr class="separator:ae89293bc063bdc74a988e9c37c70321e inherit pub_static_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aea75388c973674686d1f2b7498b4095c inherit pub_static_attribs_classSVF_1_1SVFStat"><td class="memItemLeft" align="right" valign="top">static double&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c">timeOfBuildingSVFIR</a> = 0</td></tr>
+<tr class="separator:aea75388c973674686d1f2b7498b4095c inherit pub_static_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
@@ -394,7 +240,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_ad7e00680fb8ca31afbd166f9a4adc5ec"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec">SVF::ICFGStat::numOfExitNodes</a></div><div class="ttdeci">int numOfExitNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00048">ICFGStat.h:48</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a7f8d88b6d8d4892e85006320b39c7dc4"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">SVF::ICFGStat::numOfCallNodes</a></div><div class="ttdeci">int numOfCallNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00045">ICFGStat.h:45</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a3bd1a0b0b206baadea52bfa88e029dfa"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">SVF::ICFGStat::numOfRetEdges</a></div><div class="ttdeci">int numOfRetEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00053">ICFGStat.h:53</a></div></div>
-<div class="ttc" id="classSVF_1_1PTAStat_html_ac9b65b591200c16c420fbd26710b448f"><div class="ttname"><a href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat::PTAStat</a></div><div class="ttdeci">PTAStat(PointerAnalysis *p)</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00109">PTAStat.cpp:109</a></div></div>
+<div class="ttc" id="classSVF_1_1PTAStat_html_ac9b65b591200c16c420fbd26710b448f"><div class="ttname"><a href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat::PTAStat</a></div><div class="ttdeci">PTAStat(PointerAnalysis *p)</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00039">PTAStat.cpp:39</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_ac9bfce40c058ed7ab178fe1f1818e9de"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">SVF::ICFGStat::numOfRetNodes</a></div><div class="ttdeci">int numOfRetNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00046">ICFGStat.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_ad88dbfaabae9b36f02a6e6e815d08e3e"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">SVF::ICFGStat::numOfIntraNodes</a></div><div class="ttdeci">int numOfIntraNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00049">ICFGStat.h:49</a></div></div>
 </div><!-- fragment -->
@@ -464,11 +310,12 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p>Implements <a class="el" href="classSVF_1_1SVFStat.html#a6113f8d009c42519f3a43913a0c02b95">SVF::SVFStat</a>.</p>
+<p>Implements <a class="el" href="classSVF_1_1SVFStat.html#a77c24aa3409dcbf56f57302f237b1eeb">SVF::SVFStat</a>.</p>
 <p class="definition">Definition at line <a class="el" href="ICFGStat_8h_source.html#l00075">75</a> of file <a class="el" href="ICFGStat_8h_source.html">ICFGStat.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    {</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">countStat</a>();</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;IntraICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">numOfIntraNodes</a>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;CallICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;RetICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">numOfRetNodes</a>;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;FunEntryICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">numOfEntryNodes</a>;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;FunExitICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec">numOfExitNodes</a>;</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;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;CallCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">numOfCallEdges</a>;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;RetCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">numOfRetEdges</a>;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;IntraCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">numOfIntraEdges</a>;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">printStat</a>(<span class="stringliteral">&quot;ICFG Stat&quot;</span>);</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGStat_html_a5e9bb5ae47aacba7c625a9fa3e349e82"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">SVF::ICFGStat::numOfEdges</a></div><div class="ttdeci">int numOfEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00051">ICFGStat.h:51</a></div></div>
+<div class="fragment"><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    {</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">countStat</a>();</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;IntraICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">numOfIntraNodes</a>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;CallICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;RetICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">numOfRetNodes</a>;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;FunEntryICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">numOfEntryNodes</a>;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;FunExitICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec">numOfExitNodes</a>;</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;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;CallCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">numOfCallEdges</a>;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;RetCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">numOfRetEdges</a>;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;IntraCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">numOfIntraEdges</a>;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">printStat</a>(<span class="stringliteral">&quot;ICFG Stat&quot;</span>);</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGStat_html_a5e9bb5ae47aacba7c625a9fa3e349e82"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">SVF::ICFGStat::numOfEdges</a></div><div class="ttdeci">int numOfEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00051">ICFGStat.h:51</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a3ddf933064f2a7f2efbd3a1af2ae7658"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">SVF::ICFGStat::numOfIntraEdges</a></div><div class="ttdeci">int numOfIntraEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00054">ICFGStat.h:54</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFStat_html_a11c34e8ba16769d218432d9504ba26a0"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">SVF::SVFStat::PTNumStatMap</a></div><div class="ttdeci">NUMStatMap PTNumStatMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00074">SVFStat.h:74</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_ad37793e64fe58a8faba201c18d876685"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">SVF::ICFGStat::numOfEntryNodes</a></div><div class="ttdeci">int numOfEntryNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00047">ICFGStat.h:47</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_ab924988ff980c57a4e9155adaa5c0ff2"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">SVF::ICFGStat::numOfCallEdges</a></div><div class="ttdeci">int numOfCallEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00052">ICFGStat.h:52</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a8e71a19c266aacd7acb1fee6bb339788"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">SVF::ICFGStat::numOfNodes</a></div><div class="ttdeci">int numOfNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00044">ICFGStat.h:44</a></div></div>
@@ -476,7 +323,6 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a632f57db1f1e17f49289b5dfec048ef6"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">SVF::ICFGStat::countStat</a></div><div class="ttdeci">void countStat()</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00105">ICFGStat.h:105</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a7f8d88b6d8d4892e85006320b39c7dc4"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">SVF::ICFGStat::numOfCallNodes</a></div><div class="ttdeci">int numOfCallNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00045">ICFGStat.h:45</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a3bd1a0b0b206baadea52bfa88e029dfa"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">SVF::ICFGStat::numOfRetEdges</a></div><div class="ttdeci">int numOfRetEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00053">ICFGStat.h:53</a></div></div>
-<div class="ttc" id="classSVF_1_1PTAStat_html_afdb975520329be0c33cc7bdd51ba7031"><div class="ttname"><a href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">SVF::PTAStat::PTNumStatMap</a></div><div class="ttdeci">NUMStatMap PTNumStatMap</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00123">PTAStat.h:123</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_ac9bfce40c058ed7ab178fe1f1818e9de"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">SVF::ICFGStat::numOfRetNodes</a></div><div class="ttdeci">int numOfRetNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00046">ICFGStat.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_af9c004e3532968ae806a3d344ef885ea"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">SVF::ICFGStat::printStat</a></div><div class="ttdeci">void printStat(std::string statname)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00145">ICFGStat.h:145</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_ad88dbfaabae9b36f02a6e6e815d08e3e"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">SVF::ICFGStat::numOfIntraNodes</a></div><div class="ttdeci">int numOfIntraNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00049">ICFGStat.h:49</a></div></div>
@@ -507,11 +353,11 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="ICFGStat_8h_source.html#l00095">95</a> of file <a class="el" href="ICFGStat_8h_source.html">ICFGStat.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    {</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">countStat</a>();</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGNode(N)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;CallICFGNode(Call)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGEdge(E)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">printStat</a>(<span class="stringliteral">&quot;IFDS Stat&quot;</span>);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGStat_html_a5e9bb5ae47aacba7c625a9fa3e349e82"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">SVF::ICFGStat::numOfEdges</a></div><div class="ttdeci">int numOfEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00051">ICFGStat.h:51</a></div></div>
+<div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    {</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">countStat</a>();</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGNode(N)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;CallICFGNode(Call)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGEdge(E)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">printStat</a>(<span class="stringliteral">&quot;IFDS Stat&quot;</span>);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGStat_html_a5e9bb5ae47aacba7c625a9fa3e349e82"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">SVF::ICFGStat::numOfEdges</a></div><div class="ttdeci">int numOfEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00051">ICFGStat.h:51</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFStat_html_a11c34e8ba16769d218432d9504ba26a0"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">SVF::SVFStat::PTNumStatMap</a></div><div class="ttdeci">NUMStatMap PTNumStatMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00074">SVFStat.h:74</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a8e71a19c266aacd7acb1fee6bb339788"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">SVF::ICFGStat::numOfNodes</a></div><div class="ttdeci">int numOfNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00044">ICFGStat.h:44</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a632f57db1f1e17f49289b5dfec048ef6"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">SVF::ICFGStat::countStat</a></div><div class="ttdeci">void countStat()</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00105">ICFGStat.h:105</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a7f8d88b6d8d4892e85006320b39c7dc4"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">SVF::ICFGStat::numOfCallNodes</a></div><div class="ttdeci">int numOfCallNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00045">ICFGStat.h:45</a></div></div>
-<div class="ttc" id="classSVF_1_1PTAStat_html_afdb975520329be0c33cc7bdd51ba7031"><div class="ttname"><a href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">SVF::PTAStat::PTNumStatMap</a></div><div class="ttdeci">NUMStatMap PTNumStatMap</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00123">PTAStat.h:123</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_af9c004e3532968ae806a3d344ef885ea"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">SVF::ICFGStat::printStat</a></div><div class="ttdeci">void printStat(std::string statname)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00145">ICFGStat.h:145</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -540,11 +386,11 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p>Reimplemented from <a class="el" href="classSVF_1_1PTAStat.html#aca3e99ad83bddabee1dd565522691c78">SVF::PTAStat</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">SVF::SVFStat</a>.</p>
 <p class="definition">Definition at line <a class="el" href="ICFGStat_8h_source.html#l00145">145</a> of file <a class="el" href="ICFGStat_8h_source.html">ICFGStat.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    {</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n************ &quot;</span> &lt;&lt; statname &lt;&lt; <span class="stringliteral">&quot; ***************\n&quot;</span>;</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flags(std::ios::left);</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        <span class="keywordtype">unsigned</span> field_width = 20;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        <span class="keywordflow">for</span>(NUMStatMap::iterator it = <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>.begin(), eit = <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;        {</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;            <span class="comment">// format out put with width 20 space</span></div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; std::setw(field_width) &lt;&lt; it-&gt;first &lt;&lt; it-&gt;second &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        }</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>.clear();</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flush();</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;    }</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::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>
-<div class="ttc" id="classSVF_1_1PTAStat_html_afdb975520329be0c33cc7bdd51ba7031"><div class="ttname"><a href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">SVF::PTAStat::PTNumStatMap</a></div><div class="ttdeci">NUMStatMap PTNumStatMap</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00123">PTAStat.h:123</a></div></div>
+<div class="fragment"><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    {</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n************ &quot;</span> &lt;&lt; statname &lt;&lt; <span class="stringliteral">&quot; ***************\n&quot;</span>;</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flags(std::ios::left);</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        <span class="keywordtype">unsigned</span> field_width = 20;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        <span class="keywordflow">for</span>(NUMStatMap::iterator it = <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>.begin(), eit = <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;        {</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;            <span class="comment">// format out put with width 20 space</span></div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; std::setw(field_width) &lt;&lt; it-&gt;first &lt;&lt; it-&gt;second &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        }</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>.clear();</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flush();</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFStat_html_a11c34e8ba16769d218432d9504ba26a0"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">SVF::SVFStat::PTNumStatMap</a></div><div class="ttdeci">NUMStatMap PTNumStatMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00074">SVFStat.h:74</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::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>
 </div><!-- fragment -->
 </div>
 </div>