svf-tools 1.0.562 → 1.0.565

package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html

@@ -185,163 +185,13 @@ Static Public Attributes</h2></td></tr>
 <tr class="memitem:a67d9c55f52cb59168e89320c3264a15a"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSAStat.html#a67d9c55f52cb59168e89320c3264a15a">NumOfBBHasMSSAPhi</a> = &quot;BBHasMSSAPhi&quot;</td></tr>
 <tr class="memdesc:a67d9c55f52cb59168e89320c3264a15a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Number of basic blocks which have mssa phi.  <a href="#a67d9c55f52cb59168e89320c3264a15a">More...</a><br /></td></tr>
 <tr class="separator:a67d9c55f52cb59168e89320c3264a15a"><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><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
 Private Attributes</h2></td></tr>
@@ -363,17 +213,13 @@ 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>
@@ -405,7 +251,7 @@ Additional Inherited Members</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="SVFGStat_8cpp_source.html#l00065">65</a> of file <a class="el" href="SVFGStat_8cpp_source.html">SVFGStat.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;                                     : <a class="code" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">PTAStat</a>(<span class="keyword">nullptr</span>)</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;{</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a> = memSSA;</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e">startClk</a>();</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStat_html_a730cc814fede3edb563aa9957c869e9e"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e">SVF::SVFStat::startClk</a></div><div class="ttdeci">virtual void startClk()</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00058">SVFStat.h:58</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_ab29515f4e5b1f090c06a6e39761d3394"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">SVF::MemSSAStat::mssa</a></div><div class="ttdeci">MemSSA * mssa</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00088">SVFGStat.h:88</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><!-- fragment -->
 </div>
 </div>
@@ -461,15 +307,17 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 <p>Start stating </p>
 
-<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="SVFGStat_8cpp_source.html#l00074">74</a> of file <a class="el" href="SVFGStat_8cpp_source.html">SVFGStat.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;{</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1">endClk</a>();</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <a class="code" href="classSVF_1_1MRGenerator.html">MRGenerator</a>* mrGenerator = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">getMRGenerator</a>();</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> regionNumber = mrGenerator-&gt;<a class="code" href="classSVF_1_1MRGenerator.html#aff53860ef2b0effb9250dc7348640085">getMRNum</a>();</div><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;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> maxRegionSize = 0;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> totalRegionPtsNum = 0;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    <a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRGenerator::MRSet</a> &amp; mrSet = mrGenerator-&gt;<a class="code" href="classSVF_1_1MRGenerator.html#a1f69924c587c4e68a029fd4e86cffacf">getMRSet</a>();</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    MRGenerator::MRSet::const_iterator it = mrSet.begin();</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    MRGenerator::MRSet::const_iterator eit = mrSet.end();</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    <span class="keywordflow">for</span> (; it != eit; it++)</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    {</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1MemRegion.html">MemRegion</a>* region = *it;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> regionSize = region-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9">getRegionSize</a>();</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">if</span> (regionSize &gt; maxRegionSize)</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;            maxRegionSize = regionSize;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;        totalRegionPtsNum += regionSize;</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;    }</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd">TotalTimeOfConstructMemSSA</a>] = (<a class="code" href="classSVF_1_1PTAStat.html#a267ba4aac2e7ceb65f008f9486d3d9f7">endTime</a> - <a class="code" href="classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9">startTime</a>)/<a class="code" href="SVFBasicTypes_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a>;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5">TimeOfGeneratingMemRegions</a>] = <a class="code" href="classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5">MemSSA::timeOfGeneratingMemRegions</a>;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52">TimeOfCreateMUCHI</a>] =  <a class="code" href="classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198">MemSSA::timeOfCreateMUCHI</a>;</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b">TimeOfInsertingPHI</a>] =  <a class="code" href="classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44">MemSSA::timeOfInsertingPHI</a>;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773">TimeOfSSARenaming</a>] =  <a class="code" href="classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd">MemSSA::timeOfSSARenaming</a>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee">NumOfMaxRegion</a>] = maxRegionSize;</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a6e29fa9c935de324441c765e40faa2a5">NumOfAveragePtsInRegion</a>] = (regionNumber == 0) ? 0 : ((<span class="keywordtype">double</span>)totalRegionPtsNum / regionNumber);</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d">NumOfMemRegions</a>] = regionNumber;</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e">NumOfEntryChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f">getFunEntryChiNum</a>();</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a1459465f0a76c09b5dd7d777467ac2e4">NumOfRetMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a67175188232e08f5c5374f92ff61810f">getFunRetMuNum</a>();</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c">NumOfCSChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a2c65795ca63a53c833f5ac17a752b6dc">getCallSiteChiNum</a>();</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d">NumOfCSMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a9e8c5b85957485635d0f72c2f48bb8b5">getCallSiteMuNum</a>();</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f">NumOfLoadMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#aafc83f7f22ebf3b3683607440c488bef">getLoadMuNum</a>();</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056">NumOfStoreChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#aa8c45b455e6fc60cab955534c3e50bfa">getStoreChiNum</a>();</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d">NumOfMSSAPhi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a9bb6512999cbf9c7c03153be77c8af20">getBBPhiNum</a>();</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399">NumOfFunHasEntryChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#afd4787df4466c24948d8384e3a756198">getFunToEntryChiSetMap</a>().size();</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ab1cdbd2ebe54dc5bb752a89d069423b7">NumOfFunHasRetMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a">getFunToRetMuSetMap</a>().size();</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569">NumOfCSHasChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a8f88acad31782bfa962e4349d8f4185d">getCallSiteToChiSetMap</a>().size();</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c">NumOfCSHasMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a06081aa029b1fe3f9427f85a0261fd43">getCallSiteToMuSetMap</a>().size();</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ad3139d2643f5e79dcd4ca9569ebbe7df">NumOfLoadHasMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a70dd35ef458c452330dfebcdde17b84c">getLoadToMUSetMap</a>().size();</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f">NumOfStoreHasChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a97166aa7102816a16734d7e2f1c130b0">getStoreToChiSetMap</a>().size();</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a67d9c55f52cb59168e89320c3264a15a">NumOfBBHasMSSAPhi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d">getBBToPhiSetMap</a>().size();</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    <a class="code" href="classSVF_1_1MemSSAStat.html#ad5fbe23c3374e5b3a45ac5fa4900441a">printStat</a>();</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemSSAStat_html_a95695aa32886776804e192b4c4ddcc1d"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d">SVF::MemSSAStat::NumOfMemRegions</a></div><div class="ttdeci">static const char * NumOfMemRegions</div><div class="ttdoc">Number of memory regions. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00060">SVFGStat.h:60</a></div></div>
+<div class="fragment"><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;{</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1">endClk</a>();</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <a class="code" href="classSVF_1_1MRGenerator.html">MRGenerator</a>* mrGenerator = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">getMRGenerator</a>();</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> regionNumber = mrGenerator-&gt;<a class="code" href="classSVF_1_1MRGenerator.html#aff53860ef2b0effb9250dc7348640085">getMRNum</a>();</div><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;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> maxRegionSize = 0;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> totalRegionPtsNum = 0;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    <a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRGenerator::MRSet</a> &amp; mrSet = mrGenerator-&gt;<a class="code" href="classSVF_1_1MRGenerator.html#a1f69924c587c4e68a029fd4e86cffacf">getMRSet</a>();</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    MRGenerator::MRSet::const_iterator it = mrSet.begin();</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    MRGenerator::MRSet::const_iterator eit = mrSet.end();</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    <span class="keywordflow">for</span> (; it != eit; it++)</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    {</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1MemRegion.html">MemRegion</a>* region = *it;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> regionSize = region-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9">getRegionSize</a>();</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">if</span> (regionSize &gt; maxRegionSize)</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;            maxRegionSize = regionSize;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;        totalRegionPtsNum += regionSize;</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;    }</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd">TotalTimeOfConstructMemSSA</a>] = (<a class="code" href="classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d">endTime</a> - <a class="code" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">startTime</a>)/<a class="code" href="SVFBasicTypes_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a>;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5">TimeOfGeneratingMemRegions</a>] = <a class="code" href="classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5">MemSSA::timeOfGeneratingMemRegions</a>;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52">TimeOfCreateMUCHI</a>] =  <a class="code" href="classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198">MemSSA::timeOfCreateMUCHI</a>;</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b">TimeOfInsertingPHI</a>] =  <a class="code" href="classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44">MemSSA::timeOfInsertingPHI</a>;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773">TimeOfSSARenaming</a>] =  <a class="code" href="classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd">MemSSA::timeOfSSARenaming</a>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee">NumOfMaxRegion</a>] = maxRegionSize;</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a6e29fa9c935de324441c765e40faa2a5">NumOfAveragePtsInRegion</a>] = (regionNumber == 0) ? 0 : ((<span class="keywordtype">double</span>)totalRegionPtsNum / regionNumber);</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d">NumOfMemRegions</a>] = regionNumber;</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e">NumOfEntryChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f">getFunEntryChiNum</a>();</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a1459465f0a76c09b5dd7d777467ac2e4">NumOfRetMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a67175188232e08f5c5374f92ff61810f">getFunRetMuNum</a>();</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c">NumOfCSChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a2c65795ca63a53c833f5ac17a752b6dc">getCallSiteChiNum</a>();</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d">NumOfCSMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a9e8c5b85957485635d0f72c2f48bb8b5">getCallSiteMuNum</a>();</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f">NumOfLoadMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#aafc83f7f22ebf3b3683607440c488bef">getLoadMuNum</a>();</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056">NumOfStoreChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#aa8c45b455e6fc60cab955534c3e50bfa">getStoreChiNum</a>();</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d">NumOfMSSAPhi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a9bb6512999cbf9c7c03153be77c8af20">getBBPhiNum</a>();</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399">NumOfFunHasEntryChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#afd4787df4466c24948d8384e3a756198">getFunToEntryChiSetMap</a>().size();</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ab1cdbd2ebe54dc5bb752a89d069423b7">NumOfFunHasRetMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a">getFunToRetMuSetMap</a>().size();</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569">NumOfCSHasChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a8f88acad31782bfa962e4349d8f4185d">getCallSiteToChiSetMap</a>().size();</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c">NumOfCSHasMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a06081aa029b1fe3f9427f85a0261fd43">getCallSiteToMuSetMap</a>().size();</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ad3139d2643f5e79dcd4ca9569ebbe7df">NumOfLoadHasMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a70dd35ef458c452330dfebcdde17b84c">getLoadToMUSetMap</a>().size();</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f">NumOfStoreHasChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a97166aa7102816a16734d7e2f1c130b0">getStoreToChiSetMap</a>().size();</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a67d9c55f52cb59168e89320c3264a15a">NumOfBBHasMSSAPhi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d">getBBToPhiSetMap</a>().size();</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    <a class="code" href="classSVF_1_1MemSSAStat.html#ad5fbe23c3374e5b3a45ac5fa4900441a">printStat</a>();</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemSSAStat_html_a95695aa32886776804e192b4c4ddcc1d"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d">SVF::MemSSAStat::NumOfMemRegions</a></div><div class="ttdeci">static const char * NumOfMemRegions</div><div class="ttdoc">Number of memory regions. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00060">SVFGStat.h:60</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFStat_html_a1b7f1e3381de87f75f06cddb9c6c1ec1"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1">SVF::SVFStat::endClk</a></div><div class="ttdeci">virtual void endClk()</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00063">SVFStat.h:63</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a37dca8a7d155de4870358146d219b5e5"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5">SVF::MemSSA::timeOfGeneratingMemRegions</a></div><div class="ttdeci">static double timeOfGeneratingMemRegions</div><div class="ttdoc">Statistics. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00107">MemSSA.h:107</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a284dbb01e051945a40179b315bdb112f"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f">SVF::MemSSAStat::NumOfLoadMu</a></div><div class="ttdeci">static const char * NumOfLoadMu</div><div class="ttdoc">Number of load mu. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00065">SVFGStat.h:65</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a887ff23a7ea1a18f08b1744ff30da773"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773">SVF::MemSSAStat::TimeOfSSARenaming</a></div><div class="ttdeci">static const char * TimeOfSSARenaming</div><div class="ttdoc">Time for SSA rename. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00056">SVFGStat.h:56</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_ad96437d0c28f8088c711a718d2f2730e"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e">SVF::MemSSAStat::NumOfEntryChi</a></div><div class="ttdeci">static const char * NumOfEntryChi</div><div class="ttdoc">Number of function entry chi. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00061">SVFGStat.h:61</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFStat_html_abd7a79d1fe50110a0c1d448027492669"><div class="ttname"><a href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">SVF::SVFStat::startTime</a></div><div class="ttdeci">double startTime</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00077">SVFStat.h:77</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_1MemSSAStat_html_af5855348e45f50d16cd41cfa9c28f67c"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c">SVF::MemSSAStat::NumOfCSHasMu</a></div><div class="ttdeci">static const char * NumOfCSHasMu</div><div class="ttdoc">Number of call sites which have mu. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00072">SVFGStat.h:72</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a48c70f0ed1c7d031a3cd528035162e52"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52">SVF::MemSSAStat::TimeOfCreateMUCHI</a></div><div class="ttdeci">static const char * TimeOfCreateMUCHI</div><div class="ttdoc">Time for generating mu/chi for load/store/calls. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00054">SVFGStat.h:54</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a8f88acad31782bfa962e4349d8f4185d"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a8f88acad31782bfa962e4349d8f4185d">SVF::MemSSA::getCallSiteToChiSetMap</a></div><div class="ttdeci">CallSiteToCHISetMap &amp; getCallSiteToChiSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00438">MemSSA.h:438</a></div></div>
@@ -480,7 +328,6 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a3bc14307bd0f986cbd8ba5970f1abf0f"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f">SVF::MemSSAStat::NumOfStoreHasChi</a></div><div class="ttdeci">static const char * NumOfStoreHasChi</div><div class="ttdoc">Number of stores which have chi. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00074">SVFGStat.h:74</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_ab2dfdcf6fb50ba6cacad1254350a5b09"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">SVF::MemSSA::getMRGenerator</a></div><div class="ttdeci">MRGenerator * getMRGenerator()</div><div class="ttdoc">Return MRGenerator. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00326">MemSSA.h:326</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a7dd7e6af850b9d724ea580450bfd3afd"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd">SVF::MemSSAStat::TotalTimeOfConstructMemSSA</a></div><div class="ttdeci">static const char * TotalTimeOfConstructMemSSA</div><div class="ttdoc">Total time for constructing memory SSA. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00052">SVFGStat.h:52</a></div></div>
-<div class="ttc" id="classSVF_1_1PTAStat_html_a267ba4aac2e7ceb65f008f9486d3d9f7"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a267ba4aac2e7ceb65f008f9486d3d9f7">SVF::PTAStat::endTime</a></div><div class="ttdeci">double endTime</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00127">PTAStat.h:127</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a6e29fa9c935de324441c765e40faa2a5"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a6e29fa9c935de324441c765e40faa2a5">SVF::MemSSAStat::NumOfAveragePtsInRegion</a></div><div class="ttdeci">static const char * NumOfAveragePtsInRegion</div><div class="ttdoc">Number of average points-to set in region. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00059">SVFGStat.h:59</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a921a0f4eba4b891ab9b7699ea0d3f91c"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c">SVF::MemSSAStat::NumOfCSChi</a></div><div class="ttdeci">static const char * NumOfCSChi</div><div class="ttdoc">Number of call site chi. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00063">SVFGStat.h:63</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a97166aa7102816a16734d7e2f1c130b0"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a97166aa7102816a16734d7e2f1c130b0">SVF::MemSSA::getStoreToChiSetMap</a></div><div class="ttdeci">StoreToChiSetMap &amp; getStoreToChiSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00422">MemSSA.h:422</a></div></div>
@@ -495,9 +342,10 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_aff53860ef2b0effb9250dc7348640085"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#aff53860ef2b0effb9250dc7348640085">SVF::MRGenerator::getMRNum</a></div><div class="ttdeci">u32_t getMRNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00420">MemRegion.h:420</a></div></div>
 <div class="ttc" id="classSVF_1_1MRGenerator_html"><div class="ttname"><a href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00131">MemRegion.h:131</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a4b598cb1d06c4c0963787036862b1c3d"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d">SVF::MemSSAStat::NumOfMSSAPhi</a></div><div class="ttdeci">static const char * NumOfMSSAPhi</div><div class="ttdoc">Number of mssa phi. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00067">SVFGStat.h:67</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFStat_html_a5383691a34426a1a997b5eed387f1831"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat::timeStatMap</a></div><div class="ttdeci">TIMEStatMap timeStatMap</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_1SVFStat_html_a5383691a34426a1a997b5eed387f1831"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat::timeStatMap</a></div><div class="ttdeci">TIMEStatMap timeStatMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00075">SVFStat.h:75</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a2c65795ca63a53c833f5ac17a752b6dc"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a2c65795ca63a53c833f5ac17a752b6dc">SVF::MemSSA::getCallSiteChiNum</a></div><div class="ttdeci">u32_t getCallSiteChiNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00559">MemSSA.cpp:559</a></div></div>
 <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>
+<div class="ttc" id="classSVF_1_1SVFStat_html_a8b01f1564408b51f28c107454bf9068d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d">SVF::SVFStat::endTime</a></div><div class="ttdeci">double endTime</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00078">SVFStat.h:78</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a9e8c5b85957485635d0f72c2f48bb8b5"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a9e8c5b85957485635d0f72c2f48bb8b5">SVF::MemSSA::getCallSiteMuNum</a></div><div class="ttdeci">u32_t getCallSiteMuNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00542">MemSSA.cpp:542</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a70dd35ef458c452330dfebcdde17b84c"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a70dd35ef458c452330dfebcdde17b84c">SVF::MemSSA::getLoadToMUSetMap</a></div><div class="ttdeci">LoadToMUSetMap &amp; getLoadToMUSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00418">MemSSA.h:418</a></div></div>
 <div class="ttc" id="classSVF_1_1MemRegion_html_a99f106d47fd67f1ae53e144d72a223c9"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9">SVF::MemRegion::getRegionSize</a></div><div class="ttdeci">u32_t getRegionSize() const</div><div class="ttdoc">Return memory object number inside a region. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00122">MemRegion.h:122</a></div></div>
@@ -505,7 +353,6 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1MemSSA_html_aa8c45b455e6fc60cab955534c3e50bfa"><div class="ttname"><a href="classSVF_1_1MemSSA.html#aa8c45b455e6fc60cab955534c3e50bfa">SVF::MemSSA::getStoreChiNum</a></div><div class="ttdeci">u32_t getStoreChiNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00491">MemSSA.cpp:491</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a810965c025da84c58575c8066bc84056"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056">SVF::MemSSAStat::NumOfStoreChi</a></div><div class="ttdeci">static const char * NumOfStoreChi</div><div class="ttdoc">Number of store chi. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00066">SVFGStat.h:66</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a97ccd5e0b9ab6144415e26bdf95cbabd"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd">SVF::MemSSA::timeOfSSARenaming</a></div><div class="ttdeci">static double timeOfSSARenaming</div><div class="ttdoc">Time for SSA rename. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00110">MemSSA.h:110</a></div></div>
-<div class="ttc" id="classSVF_1_1PTAStat_html_a59e0fe6fa506f1cf319b5acaf9d28be9"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9">SVF::PTAStat::startTime</a></div><div class="ttdeci">double startTime</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00126">PTAStat.h:126</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a06081aa029b1fe3f9427f85a0261fd43"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a06081aa029b1fe3f9427f85a0261fd43">SVF::MemSSA::getCallSiteToMuSetMap</a></div><div class="ttdeci">CallSiteToMUSetMap &amp; getCallSiteToMuSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00434">MemSSA.h:434</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a7b07190a20361e30999cd9107749599d"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d">SVF::MemSSAStat::NumOfCSMu</a></div><div class="ttdeci">static const char * NumOfCSMu</div><div class="ttdoc">Number of call site mu. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00064">SVFGStat.h:64</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_afd4787df4466c24948d8384e3a756198"><div class="ttname"><a href="classSVF_1_1MemSSA.html#afd4787df4466c24948d8384e3a756198">SVF::MemSSA::getFunToEntryChiSetMap</a></div><div class="ttdeci">FunToEntryChiSetMap &amp; getFunToEntryChiSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00430">MemSSA.h:430</a></div></div>
@@ -516,7 +363,6 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1MemSSA_html_aafc83f7f22ebf3b3683607440c488bef"><div class="ttname"><a href="classSVF_1_1MemSSA.html#aafc83f7f22ebf3b3683607440c488bef">SVF::MemSSA::getLoadMuNum</a></div><div class="ttdeci">u32_t getLoadMuNum() const</div><div class="ttdoc">Stat methods. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00474">MemSSA.cpp:474</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_ad5fbe23c3374e5b3a45ac5fa4900441a"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#ad5fbe23c3374e5b3a45ac5fa4900441a">SVF::MemSSAStat::printStat</a></div><div class="ttdeci">virtual void printStat(std::string str=&quot;&quot;) override</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00128">SVFGStat.cpp:128</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a3c7b5fa73fdc7c805ee3673fbe812b44"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44">SVF::MemSSA::timeOfInsertingPHI</a></div><div class="ttdeci">static double timeOfInsertingPHI</div><div class="ttdoc">Time for inserting phis. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00109">MemSSA.h:109</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_1MRGenerator_html_a98ac3bf264e6a85d172c2c4264ea908f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">SVF::MRGenerator::MRSet</a></div><div class="ttdeci">OrderedSet&lt; const MemRegion *, MemRegion::equalMemRegion &gt; MRSet</div><div class="ttdoc">Get typedef from Pointer Analysis. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00141">MemRegion.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_ae57c6e5b97581150b7561c93e0887569"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569">SVF::MemSSAStat::NumOfCSHasChi</a></div><div class="ttdeci">static const char * NumOfCSHasChi</div><div class="ttdoc">Number of call sites which have chi. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00071">SVFGStat.h:71</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a44cbdb1231c2709c24d19ad2bae2475a"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a">SVF::MemSSA::getFunToRetMuSetMap</a></div><div class="ttdeci">FunToReturnMuSetMap &amp; getFunToRetMuSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00426">MemSSA.h:426</a></div></div>
@@ -548,10 +394,10 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 <p>Print statistics </p>
 
-<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="SVFGStat_8cpp_source.html#l00128">128</a> of file <a class="el" href="SVFGStat_8cpp_source.html">SVFGStat.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;{</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#aca3e99ad83bddabee1dd565522691c78">PTAStat::printStat</a>(<span class="stringliteral">&quot;Memory SSA Statistics&quot;</span>);</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;}</div><div class="ttc" id="classSVF_1_1PTAStat_html_aca3e99ad83bddabee1dd565522691c78"><div class="ttname"><a href="classSVF_1_1PTAStat.html#aca3e99ad83bddabee1dd565522691c78">SVF::PTAStat::printStat</a></div><div class="ttdeci">virtual void printStat(std::string str=&quot;&quot;) override</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00273">PTAStat.cpp:273</a></div></div>
+<div class="fragment"><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;{</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    <a class="code" href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">PTAStat::printStat</a>(<span class="stringliteral">&quot;Memory SSA Statistics&quot;</span>);</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStat_html_a178fcefed6ffffc78bbe9b23e0e1babe"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">SVF::SVFStat::printStat</a></div><div class="ttdeci">virtual void printStat(std::string str=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00066">SVFStat.cpp:66</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html

@@ -87,7 +87,7 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a2b989707893cd81dd275be6a3b8c79fc"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a436a61f00b607dd0e5728daad9dd2e93"><td class="memItemLeft" align="right" valign="top">llvm::StringRef&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MergeFunctionRets.html#a436a61f00b607dd0e5728daad9dd2e93">getPassName</a> () const</td></tr>
 <tr class="separator:a436a61f00b607dd0e5728daad9dd2e93"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8fe74477a43f80104fb3461d006ad392"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392">runOnModule</a> (<a class="el" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">Module</a> &amp;<a class="el" href="PEGGrammar_8txt.html#abd600039647a1e73c88e7161fa6eb989">M</a>)</td></tr>
+<tr class="memitem:a8fe74477a43f80104fb3461d006ad392"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392">runOnModule</a> (<a class="el" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">Module</a> &amp;M)</td></tr>
 <tr class="separator:a8fe74477a43f80104fb3461d006ad392"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a8c04750179ee48d283c5db4d84b3eca1"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1">UnifyFunctionExit</a> (<a class="el" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">Module</a> &amp;module)</td></tr>
 <tr class="separator:a8c04750179ee48d283c5db4d84b3eca1"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -217,8 +217,7 @@ Static Public Attributes</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="BreakConstantExpr_8h_source.html#l00068">68</a> of file <a class="el" href="BreakConstantExpr_8h_source.html">BreakConstantExpr.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    {</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <a class="code" href="classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1">UnifyFunctionExit</a>(<a class="code" href="PEGGrammar_8txt.html#abd600039647a1e73c88e7161fa6eb989">M</a>);</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    }</div><div class="ttc" id="PEGGrammar_8txt_html_abd600039647a1e73c88e7161fa6eb989"><div class="ttname"><a href="PEGGrammar_8txt.html#abd600039647a1e73c88e7161fa6eb989">M</a></div><div class="ttdeci">V M</div><div class="ttdef"><b>Definition:</b> <a href="PEGGrammar_8txt_source.html#l00010">PEGGrammar.txt:10</a></div></div>
-<div class="ttc" id="classSVF_1_1MergeFunctionRets_html_a8c04750179ee48d283c5db4d84b3eca1"><div class="ttname"><a href="classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1">SVF::MergeFunctionRets::UnifyFunctionExit</a></div><div class="ttdeci">void UnifyFunctionExit(Module &amp;module)</div><div class="ttdef"><b>Definition:</b> <a href="BreakConstantExpr_8h_source.html#l00073">BreakConstantExpr.h:73</a></div></div>
+<div class="fragment"><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    {</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <a class="code" href="classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1">UnifyFunctionExit</a>(M);</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MergeFunctionRets_html_a8c04750179ee48d283c5db4d84b3eca1"><div class="ttname"><a href="classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1">SVF::MergeFunctionRets::UnifyFunctionExit</a></div><div class="ttdeci">void UnifyFunctionExit(Module &amp;module)</div><div class="ttdef"><b>Definition:</b> <a href="BreakConstantExpr_8h_source.html#l00073">BreakConstantExpr.h:73</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>