svf-tools 1.0.839 → 1.0.840

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (59) hide show
  1. package/SVF-doxygen/html/AndersenStat_8cpp_source.html +6 -6
  2. package/SVF-doxygen/html/CFLStat_8cpp_source.html +4 -4
  3. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/DDAStat_8cpp_source.html +3 -3
  5. package/SVF-doxygen/html/DDAStat_8h_source.html +2 -2
  6. package/SVF-doxygen/html/ICFGStat_8h_source.html +1 -1
  7. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +2 -2
  8. package/SVF-doxygen/html/MTAStat_8cpp_source.html +3 -3
  9. package/SVF-doxygen/html/PTAStat_8cpp_source.html +2 -2
  10. package/SVF-doxygen/html/PTAStat_8h_source.html +1 -1
  11. package/SVF-doxygen/html/SVFGStat_8cpp_source.html +7 -7
  12. package/SVF-doxygen/html/SVFG_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +876 -869
  14. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +21 -21
  15. package/SVF-doxygen/html/SVFStat_8cpp_source.html +7 -7
  16. package/SVF-doxygen/html/SVFStat_8h.html +2 -1
  17. package/SVF-doxygen/html/SVFStat_8h_source.html +76 -74
  18. package/SVF-doxygen/html/WPAStat_8h_source.html +1 -1
  19. package/SVF-doxygen/html/classSVF_1_1AndersenStat-members.html +2 -2
  20. package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +13 -13
  21. package/SVF-doxygen/html/classSVF_1_1CFLStat-members.html +2 -2
  22. package/SVF-doxygen/html/classSVF_1_1CFLStat.html +11 -11
  23. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +2 -2
  24. package/SVF-doxygen/html/classSVF_1_1DDAStat-members.html +2 -2
  25. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +12 -12
  26. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +2 -2
  27. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat-members.html +2 -2
  28. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +13 -13
  29. package/SVF-doxygen/html/classSVF_1_1ICFGStat-members.html +2 -2
  30. package/SVF-doxygen/html/classSVF_1_1ICFGStat.html +8 -8
  31. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +2 -2
  32. package/SVF-doxygen/html/classSVF_1_1MTAStat-members.html +2 -2
  33. package/SVF-doxygen/html/classSVF_1_1MTAStat.html +10 -10
  34. package/SVF-doxygen/html/classSVF_1_1MemSSAStat-members.html +2 -2
  35. package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +13 -13
  36. package/SVF-doxygen/html/classSVF_1_1PTAStat-members.html +2 -2
  37. package/SVF-doxygen/html/classSVF_1_1PTAStat.html +8 -8
  38. package/SVF-doxygen/html/classSVF_1_1SVFG.html +1 -1
  39. package/SVF-doxygen/html/classSVF_1_1SVFGStat-members.html +2 -2
  40. package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +14 -14
  41. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +835 -828
  42. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +1 -1
  43. package/SVF-doxygen/html/classSVF_1_1SVFStat-members.html +2 -2
  44. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +60 -60
  45. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +2 -2
  46. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +13 -13
  47. package/SVF-doxygen/html/functions_n.html +1 -1
  48. package/SVF-doxygen/html/functions_t.html +1 -1
  49. package/SVF-doxygen/html/functions_type_n.html +1 -1
  50. package/SVF-doxygen/html/functions_type_t.html +1 -1
  51. package/SVF-doxygen/html/search/all_13.js +1 -1
  52. package/SVF-doxygen/html/search/all_e.js +1 -1
  53. package/SVF-doxygen/html/search/typedefs_11.js +1 -1
  54. package/SVF-doxygen/html/search/typedefs_c.js +1 -1
  55. package/SVF-doxygen/html/svf-ex_8cpp.html +11 -11
  56. package/SVF-doxygen/html/svf-ex_8cpp_source.html +11 -11
  57. package/package.json +1 -1
  58. package/svf/include/Util/SVFStat.h +4 -2
  59. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +7 -0
package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html CHANGED
@@ -4807,7 +4807,7 @@ Private Attributes</h2></td></tr>
4807
4807
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a64d14e7ee334c85b02414d68877faab2"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2">SVF::SVFIR::addThreadJoinPE</a></div><div class="ttdeci">TDJoinPE * addThreadJoinPE(NodeID src, NodeID dst, const CallICFGNode *cs, const FunExitICFGNode *exit)</div><div class="ttdoc">Add Thread join edge for parameter passing.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00306">SVFIR.cpp:306</a></div></div>
4808
4808
  <div class="ttc" id="anamespaceSVF_html_a09f5fa3bc44bf53612a085e3a611cc4e"><div class="ttname"><a href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">SVF::GlobalVariable</a></div><div class="ttdeci">llvm::GlobalVariable GlobalVariable</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
4809
4809
  <div class="ttc" id="anamespaceSVF_html_a0fd33072b099f61eaa642e94ed0c03fc"><div class="ttname"><a href="namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc">SVF::GlobalAlias</a></div><div class="ttdeci">llvm::GlobalAlias GlobalAlias</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00126">BasicTypes.h:126</a></div></div>
4810
- <div class="ttc" id="aclassSVF_1_1SVFStat_html_aea75388c973674686d1f2b7498b4095c"><div class="ttname"><a href="classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c">SVF::SVFStat::timeOfBuildingSVFIR</a></div><div class="ttdeci">static double timeOfBuildingSVFIR</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00092">SVFStat.h:92</a></div></div>
4810
+ <div class="ttc" id="aclassSVF_1_1SVFStat_html_aea75388c973674686d1f2b7498b4095c"><div class="ttname"><a href="classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c">SVF::SVFStat::timeOfBuildingSVFIR</a></div><div class="ttdeci">static double timeOfBuildingSVFIR</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00094">SVFStat.h:94</a></div></div>
4811
4811
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a1cb32461439c4dc8d044c2bfadb11307"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307">SVF::IRGraph::dump</a></div><div class="ttdeci">void dump(std::string name)</div><div class="ttdoc">Dump SVFIR.</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8cpp_source.html#l00102">IRGraph.cpp:102</a></div></div>
4812
4812
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_ac792c1f8b385515a8cc0a0303d40f212"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212">SVF::SVFIR::addValNode</a></div><div class="ttdeci">NodeID addValNode(const SVFValue *val, NodeID i)</div><div class="ttdoc">add node into SVFIR</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00536">SVFIR.h:536</a></div></div>
4813
4813
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_ae3d9b4acb63a7dbe316e87bad4e3987a"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a">SVF::SVFIR::addGlobalPAGEdge</a></div><div class="ttdeci">void addGlobalPAGEdge(const SVFStmt *edge)</div><div class="ttdoc">Add global PAGEdges (not in a procedure)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00630">SVFIR.h:630</a></div></div>
package/SVF-doxygen/html/classSVF_1_1SVFStat-members.html CHANGED
@@ -81,7 +81,7 @@ $(function() {
81
81
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
82
82
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">getClk</a>(bool mark=false)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
83
83
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">moduleName</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
84
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227">NUMStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
84
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ade5a685e0f6147e05a4f1e7384b1f4dd">NUMStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
85
85
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a77c24aa3409dcbf56f57302f237b1eeb">performStat</a>()=0</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
86
86
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ab03780f736bed7861c9be14637e37ba3">performStatPerQuery</a>(NodeID)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
87
87
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">printStat</a>(std::string str=&quot;&quot;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
@@ -93,7 +93,7 @@ $(function() {
93
93
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5">timeOfBuildingLLVMModule</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
94
94
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c">timeOfBuildingSVFIR</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
95
95
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e">timeOfBuildingSymbolTable</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
96
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">TIMEStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
96
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd">TIMEStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
97
97
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
98
98
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc">Wall</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
99
99
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a135ac9973ebfef4680d343320453ff52">~SVFStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
package/SVF-doxygen/html/classSVF_1_1SVFStat.html CHANGED
@@ -105,10 +105,10 @@ Public Types</h2></td></tr>
105
105
  <a class="el" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa">CPU</a>
106
106
  }</td></tr>
107
107
  <tr class="separator:a4f47da512cfa8f94fddaddc65334b454"><td class="memSeparator" colspan="2">&#160;</td></tr>
108
- <tr class="memitem:ab810863d70cb2f5b4e312d07eae51227"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt; const char *, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227">NUMStatMap</a></td></tr>
109
- <tr class="separator:ab810863d70cb2f5b4e312d07eae51227"><td class="memSeparator" colspan="2">&#160;</td></tr>
110
- <tr class="memitem:aeded7780a3f826b3efab971807e2dd98"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt; const char *, double &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">TIMEStatMap</a></td></tr>
111
- <tr class="separator:aeded7780a3f826b3efab971807e2dd98"><td class="memSeparator" colspan="2">&#160;</td></tr>
108
+ <tr class="memitem:ade5a685e0f6147e05a4f1e7384b1f4dd"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#ade5a685e0f6147e05a4f1e7384b1f4dd">NUMStatMap</a></td></tr>
109
+ <tr class="separator:ade5a685e0f6147e05a4f1e7384b1f4dd"><td class="memSeparator" colspan="2">&#160;</td></tr>
110
+ <tr class="memitem:a8bb01becef1eb8d6113d946d29d904bd"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, double &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd">TIMEStatMap</a></td></tr>
111
+ <tr class="separator:a8bb01becef1eb8d6113d946d29d904bd"><td class="memSeparator" colspan="2">&#160;</td></tr>
112
112
  </table><table class="memberdecls">
113
113
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
114
114
  Public Member Functions</h2></td></tr>
@@ -138,11 +138,11 @@ Static Public Member Functions</h2></td></tr>
138
138
  </table><table class="memberdecls">
139
139
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-attribs"></a>
140
140
  Public Attributes</h2></td></tr>
141
- <tr class="memitem:a07b6f8cb424b84b468c4518140fa3a41"><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>
141
+ <tr class="memitem:a07b6f8cb424b84b468c4518140fa3a41"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStat.html#ade5a685e0f6147e05a4f1e7384b1f4dd">NUMStatMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a></td></tr>
142
142
  <tr class="separator:a07b6f8cb424b84b468c4518140fa3a41"><td class="memSeparator" colspan="2">&#160;</td></tr>
143
- <tr class="memitem:a11c34e8ba16769d218432d9504ba26a0"><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>
143
+ <tr class="memitem:a11c34e8ba16769d218432d9504ba26a0"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStat.html#ade5a685e0f6147e05a4f1e7384b1f4dd">NUMStatMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a></td></tr>
144
144
  <tr class="separator:a11c34e8ba16769d218432d9504ba26a0"><td class="memSeparator" colspan="2">&#160;</td></tr>
145
- <tr class="memitem:a5383691a34426a1a997b5eed387f1831"><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>
145
+ <tr class="memitem:a5383691a34426a1a997b5eed387f1831"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd">TIMEStatMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a></td></tr>
146
146
  <tr class="separator:a5383691a34426a1a997b5eed387f1831"><td class="memSeparator" colspan="2">&#160;</td></tr>
147
147
  <tr class="memitem:abd7a79d1fe50110a0c1d448027492669"><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>
148
148
  <tr class="separator:abd7a79d1fe50110a0c1d448027492669"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -171,37 +171,37 @@ Private Attributes</h2></td></tr>
171
171
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
172
172
  <div class="textblock"><p>Pointer Analysis Statistics </p>
173
173
 
174
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00040">40</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
174
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00042">42</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
175
175
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
176
- <a id="ab810863d70cb2f5b4e312d07eae51227"></a>
177
- <h2 class="memtitle"><span class="permalink"><a href="#ab810863d70cb2f5b4e312d07eae51227">&#9670;&nbsp;</a></span>NUMStatMap</h2>
176
+ <a id="ade5a685e0f6147e05a4f1e7384b1f4dd"></a>
177
+ <h2 class="memtitle"><span class="permalink"><a href="#ade5a685e0f6147e05a4f1e7384b1f4dd">&#9670;&nbsp;</a></span>NUMStatMap</h2>
178
178
 
179
179
  <div class="memitem">
180
180
  <div class="memproto">
181
181
  <table class="memname">
182
182
  <tr>
183
- <td class="memname">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt;const char *, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&gt; <a class="el" href="classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227">SVF::SVFStat::NUMStatMap</a></td>
183
+ <td class="memname">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt;<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&gt; <a class="el" href="classSVF_1_1SVFStat.html#ade5a685e0f6147e05a4f1e7384b1f4dd">SVF::SVFStat::NUMStatMap</a></td>
184
184
  </tr>
185
185
  </table>
186
186
  </div><div class="memdoc">
187
187
 
188
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00044">44</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
188
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00046">46</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
189
189
 
190
190
  </div>
191
191
  </div>
192
- <a id="aeded7780a3f826b3efab971807e2dd98"></a>
193
- <h2 class="memtitle"><span class="permalink"><a href="#aeded7780a3f826b3efab971807e2dd98">&#9670;&nbsp;</a></span>TIMEStatMap</h2>
192
+ <a id="a8bb01becef1eb8d6113d946d29d904bd"></a>
193
+ <h2 class="memtitle"><span class="permalink"><a href="#a8bb01becef1eb8d6113d946d29d904bd">&#9670;&nbsp;</a></span>TIMEStatMap</h2>
194
194
 
195
195
  <div class="memitem">
196
196
  <div class="memproto">
197
197
  <table class="memname">
198
198
  <tr>
199
- <td class="memname">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt;const char *, double&gt; <a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">SVF::SVFStat::TIMEStatMap</a></td>
199
+ <td class="memname">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt;<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, double&gt; <a class="el" href="classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd">SVF::SVFStat::TIMEStatMap</a></td>
200
200
  </tr>
201
201
  </table>
202
202
  </div><div class="memdoc">
203
203
 
204
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00046">46</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
204
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00048">48</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
205
205
 
206
206
  </div>
207
207
  </div>
@@ -222,11 +222,11 @@ Private Attributes</h2></td></tr>
222
222
  <tr><td class="fieldname"><a id="a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa"></a>CPU&#160;</td><td class="fielddoc"></td></tr>
223
223
  </table>
224
224
 
225
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00048">48</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
226
- <div class="fragment"><div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; {</div>
227
- <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc">Wall</a>,</div>
228
- <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa">CPU</a>,</div>
229
- <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; };</div>
225
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00050">50</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
226
+ <div class="fragment"><div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; {</div>
227
+ <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc">Wall</a>,</div>
228
+ <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa">CPU</a>,</div>
229
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; };</div>
230
230
  </div><!-- fragment -->
231
231
  </div>
232
232
  </div>
@@ -278,8 +278,8 @@ Private Attributes</h2></td></tr>
278
278
  </table>
279
279
  </div><div class="memdoc">
280
280
 
281
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00056">56</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
282
- <div class="fragment"><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160;{}</div>
281
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00058">58</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
282
+ <div class="fragment"><div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160;{}</div>
283
283
  </div><!-- fragment -->
284
284
  </div>
285
285
  </div>
@@ -359,8 +359,8 @@ Private Attributes</h2></td></tr>
359
359
 
360
360
  <p>Reimplemented in <a class="el" href="classSVF_1_1PTAStat.html#af2eb88d1563be9e6290a5fc69bec3bbe">SVF::PTAStat</a>.</p>
361
361
 
362
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00088">88</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
363
- <div class="fragment"><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160;{}</div>
362
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00090">90</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
363
+ <div class="fragment"><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160;{}</div>
364
364
  </div><!-- fragment -->
365
365
  </div>
366
366
  </div>
@@ -387,10 +387,10 @@ Private Attributes</h2></td></tr>
387
387
  </table>
388
388
  </div><div class="memdoc">
389
389
 
390
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00063">63</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
391
- <div class="fragment"><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; {</div>
392
- <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d">endTime</a> = <a class="code" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">getClk</a>(<span class="keyword">true</span>);</div>
393
- <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; }</div>
390
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00065">65</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
391
+ <div class="fragment"><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; {</div>
392
+ <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d">endTime</a> = <a class="code" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">getClk</a>(<span class="keyword">true</span>);</div>
393
+ <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; }</div>
394
394
  </div><!-- fragment -->
395
395
  </div>
396
396
  </div>
@@ -593,8 +593,8 @@ Private Attributes</h2></td></tr>
593
593
 
594
594
  <p>Reimplemented in <a class="el" href="classSVF_1_1DDAStat.html#a11dd60d124a8d3433312589ede4e7b11">SVF::DDAStat</a>.</p>
595
595
 
596
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00084">84</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
597
- <div class="fragment"><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160;{}</div>
596
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00086">86</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
597
+ <div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160;{}</div>
598
598
  </div><!-- fragment -->
599
599
  </div>
600
600
  </div>
@@ -700,8 +700,8 @@ Private Attributes</h2></td></tr>
700
700
 
701
701
  <p>Reimplemented in <a class="el" href="classSVF_1_1DDAStat.html#ae695696e5cd06eb27635887f0de30eff">SVF::DDAStat</a>.</p>
702
702
 
703
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00086">86</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
704
- <div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160;{}</div>
703
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00088">88</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
704
+ <div class="fragment"><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160;{}</div>
705
705
  </div><!-- fragment -->
706
706
  </div>
707
707
  </div>
@@ -728,10 +728,10 @@ Private Attributes</h2></td></tr>
728
728
  </table>
729
729
  </div><div class="memdoc">
730
730
 
731
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00058">58</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
732
- <div class="fragment"><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; {</div>
733
- <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">startTime</a> = <a class="code" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">getClk</a>(<span class="keyword">true</span>);</div>
734
- <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; }</div>
731
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00060">60</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
732
+ <div class="fragment"><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; {</div>
733
+ <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">startTime</a> = <a class="code" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">getClk</a>(<span class="keyword">true</span>);</div>
734
+ <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; }</div>
735
735
  </div><!-- fragment -->
736
736
  </div>
737
737
  </div>
@@ -748,7 +748,7 @@ Private Attributes</h2></td></tr>
748
748
  </table>
749
749
  </div><div class="memdoc">
750
750
 
751
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00078">78</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
751
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00080">80</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
752
752
 
753
753
  </div>
754
754
  </div>
@@ -759,12 +759,12 @@ Private Attributes</h2></td></tr>
759
759
  <div class="memproto">
760
760
  <table class="memname">
761
761
  <tr>
762
- <td class="memname"><a class="el" href="classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227">NUMStatMap</a> SVF::SVFStat::generalNumMap</td>
762
+ <td class="memname"><a class="el" href="classSVF_1_1SVFStat.html#ade5a685e0f6147e05a4f1e7384b1f4dd">NUMStatMap</a> SVF::SVFStat::generalNumMap</td>
763
763
  </tr>
764
764
  </table>
765
765
  </div><div class="memdoc">
766
766
 
767
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00073">73</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
767
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00075">75</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
768
768
 
769
769
  </div>
770
770
  </div>
@@ -788,7 +788,7 @@ Private Attributes</h2></td></tr>
788
788
  </table>
789
789
  </div><div class="memdoc">
790
790
 
791
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00096">96</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
791
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00098">98</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
792
792
 
793
793
  </div>
794
794
  </div>
@@ -799,12 +799,12 @@ Private Attributes</h2></td></tr>
799
799
  <div class="memproto">
800
800
  <table class="memname">
801
801
  <tr>
802
- <td class="memname"><a class="el" href="classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227">NUMStatMap</a> SVF::SVFStat::PTNumStatMap</td>
802
+ <td class="memname"><a class="el" href="classSVF_1_1SVFStat.html#ade5a685e0f6147e05a4f1e7384b1f4dd">NUMStatMap</a> SVF::SVFStat::PTNumStatMap</td>
803
803
  </tr>
804
804
  </table>
805
805
  </div><div class="memdoc">
806
806
 
807
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00074">74</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
807
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00076">76</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
808
808
 
809
809
  </div>
810
810
  </div>
@@ -820,7 +820,7 @@ Private Attributes</h2></td></tr>
820
820
  </table>
821
821
  </div><div class="memdoc">
822
822
 
823
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00077">77</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
823
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00079">79</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
824
824
 
825
825
  </div>
826
826
  </div>
@@ -844,7 +844,7 @@ Private Attributes</h2></td></tr>
844
844
  </table>
845
845
  </div><div class="memdoc">
846
846
 
847
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00090">90</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
847
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00092">92</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
848
848
 
849
849
  </div>
850
850
  </div>
@@ -868,7 +868,7 @@ Private Attributes</h2></td></tr>
868
868
  </table>
869
869
  </div><div class="memdoc">
870
870
 
871
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00092">92</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
871
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00094">94</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
872
872
 
873
873
  </div>
874
874
  </div>
@@ -892,7 +892,7 @@ Private Attributes</h2></td></tr>
892
892
  </table>
893
893
  </div><div class="memdoc">
894
894
 
895
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00091">91</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
895
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00093">93</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
896
896
 
897
897
  </div>
898
898
  </div>
@@ -903,12 +903,12 @@ Private Attributes</h2></td></tr>
903
903
  <div class="memproto">
904
904
  <table class="memname">
905
905
  <tr>
906
- <td class="memname"><a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">TIMEStatMap</a> SVF::SVFStat::timeStatMap</td>
906
+ <td class="memname"><a class="el" href="classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd">TIMEStatMap</a> SVF::SVFStat::timeStatMap</td>
907
907
  </tr>
908
908
  </table>
909
909
  </div><div class="memdoc">
910
910
 
911
- <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00075">75</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
911
+ <p class="definition">Definition at line <a class="el" href="SVFStat_8h_source.html#l00077">77</a> of file <a class="el" href="SVFStat_8h_source.html">SVFStat.h</a>.</p>
912
912
 
913
913
  </div>
914
914
  </div>
@@ -922,23 +922,23 @@ Private Attributes</h2></td></tr>
922
922
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00384">GenericGraph.h:384</a></div></div>
923
923
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVF::SVFStmt::Call</a></div><div class="ttdeci">@ Call</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00067">SVFStatements.h:67</a></div></div>
924
924
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197">SVF::SVFStmt::Addr</a></div><div class="ttdeci">@ Addr</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00063">SVFStatements.h:63</a></div></div>
925
- <div class="ttc" id="aclassSVF_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>
925
+ <div class="ttc" id="aclassSVF_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#l00079">SVFStat.h:79</a></div></div>
926
926
  <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
927
927
  <div class="ttc" id="aclassSVF_1_1ObjVar_html"><div class="ttname"><a href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00315">SVFVariables.h:315</a></div></div>
928
928
  <div class="ttc" id="aclassSVF_1_1MemObj_html_ad1966c52f95775ac7d65c0ba6632c3cf"><div class="ttname"><a href="classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf">SVF::MemObj::isVarStruct</a></div><div class="ttdeci">bool isVarStruct() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00515">SymbolTableInfo.cpp:515</a></div></div>
929
929
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a3bbaafd80dfcae6ccc82c3d8b9d303ea"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3bbaafd80dfcae6ccc82c3d8b9d303ea">SVF::SVFIR::getFieldObjNodeNum</a></div><div class="ttdeci">u32_t getFieldObjNodeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00325">SVFIR.h:325</a></div></div>
930
- <div class="ttc" id="aclassSVF_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>
930
+ <div class="ttc" id="aclassSVF_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#l00076">SVFStat.h:76</a></div></div>
931
931
  <div class="ttc" id="aclassSVF_1_1MemObj_html_a616e9f4d6f82a253f94391c47668b9a6"><div class="ttname"><a href="classSVF_1_1MemObj.html#a616e9f4d6f82a253f94391c47668b9a6">SVF::MemObj::isVarArray</a></div><div class="ttdeci">bool isVarArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00520">SymbolTableInfo.cpp:520</a></div></div>
932
932
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_a17c8ea68bf1341ab80f71fff76a9ffce"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce">SVF::SVFStat::branchStat</a></div><div class="ttdeci">void branchStat()</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00205">SVFStat.cpp:205</a></div></div>
933
933
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a821df0fcb66e4f0a5b10c295c24b7c2c"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a821df0fcb66e4f0a5b10c295c24b7c2c">SVF::IRGraph::getPAGEdgeNum</a></div><div class="ttdeci">u32_t getPAGEdgeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00208">IRGraph.h:208</a></div></div>
934
934
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00141">SVFModule.h:141</a></div></div>
935
935
  <div class="ttc" id="aclassSVF_1_1MemObj_html_a1a4ff4aaaf2573240a318e1b79328cd0"><div class="ttname"><a href="classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0">SVF::MemObj::isConstDataOrConstGlobal</a></div><div class="ttdeci">bool isConstDataOrConstGlobal() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00535">SymbolTableInfo.cpp:535</a></div></div>
936
936
  <div class="ttc" id="aclassSVF_1_1MemObj_html_a3ab6f65ffbf6442daac4d3f70f2d3cb1"><div class="ttname"><a href="classSVF_1_1MemObj.html#a3ab6f65ffbf6442daac4d3f70f2d3cb1">SVF::MemObj::getId</a></div><div class="ttdeci">SymID getId() const</div><div class="ttdoc">Get the memory object id.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00412">SymbolTableInfo.h:412</a></div></div>
937
- <div class="ttc" id="aclassSVF_1_1SVFStat_html_aa4950ec26b66a085ad38ac154b789db5"><div class="ttname"><a href="classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5">SVF::SVFStat::timeOfBuildingLLVMModule</a></div><div class="ttdeci">static double timeOfBuildingLLVMModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00090">SVFStat.h:90</a></div></div>
937
+ <div class="ttc" id="aclassSVF_1_1SVFStat_html_aa4950ec26b66a085ad38ac154b789db5"><div class="ttname"><a href="classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5">SVF::SVFStat::timeOfBuildingLLVMModule</a></div><div class="ttdeci">static double timeOfBuildingLLVMModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00092">SVFStat.h:92</a></div></div>
938
938
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a8a24e0bf9f95fc1519d4013e0e82dec9"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a8a24e0bf9f95fc1519d4013e0e82dec9">SVF::SVFIR::getFieldValNodeNum</a></div><div class="ttdeci">u32_t getFieldValNodeNum() const</div><div class="ttdoc">Node and edge statistics.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00321">SVFIR.h:321</a></div></div>
939
- <div class="ttc" id="aclassSVF_1_1SVFStat_html_aea75388c973674686d1f2b7498b4095c"><div class="ttname"><a href="classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c">SVF::SVFStat::timeOfBuildingSVFIR</a></div><div class="ttdeci">static double timeOfBuildingSVFIR</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00092">SVFStat.h:92</a></div></div>
939
+ <div class="ttc" id="aclassSVF_1_1SVFStat_html_aea75388c973674686d1f2b7498b4095c"><div class="ttname"><a href="classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c">SVF::SVFStat::timeOfBuildingSVFIR</a></div><div class="ttdeci">static double timeOfBuildingSVFIR</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00094">SVFStat.h:94</a></div></div>
940
940
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a0212f3fe2f37363e8060f292c8cf7668"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a0212f3fe2f37363e8060f292c8cf7668">SVF::IRGraph::getValueNodeNum</a></div><div class="ttdeci">u32_t getValueNodeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00187">IRGraph.h:187</a></div></div>
941
- <div class="ttc" id="aclassSVF_1_1SVFStat_html_a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa">SVF::SVFStat::CPU</a></div><div class="ttdeci">@ CPU</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00051">SVFStat.h:51</a></div></div>
941
+ <div class="ttc" id="aclassSVF_1_1SVFStat_html_a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa">SVF::SVFStat::CPU</a></div><div class="ttdeci">@ CPU</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00053">SVFStat.h:53</a></div></div>
942
942
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_ac9d390c417df6f6af6b274618b87010d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">SVF::SVFStat::getClk</a></div><div class="ttdeci">static double getClk(bool mark=false)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00047">SVFStat.cpp:47</a></div></div>
943
943
  <div class="ttc" id="aclassSVF_1_1MemObj_html_a898c5bb3956402578266a6fb142e02b1"><div class="ttname"><a href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">SVF::MemObj::isHeap</a></div><div class="ttdeci">bool isHeap() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00500">SymbolTableInfo.cpp:500</a></div></div>
944
944
  <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00522">SVFValue.h:522</a></div></div>
@@ -953,7 +953,7 @@ Private Attributes</h2></td></tr>
953
953
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_aa530e33657f68fc2e8eae9435ce430cb"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa530e33657f68fc2e8eae9435ce430cb">SVF::SVFIR::getCallSiteSet</a></div><div class="ttdeci">const CallSiteSet &amp; getCallSiteSet() const</div><div class="ttdoc">Get all callsites.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00241">SVFIR.h:241</a></div></div>
954
954
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVF::SVFStmt::Ret</a></div><div class="ttdeci">@ Ret</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00068">SVFStatements.h:68</a></div></div>
955
955
  <div class="ttc" id="aclassSVF_1_1MemObj_html_a7b890ca9e93b1c61cc6437b7e6a82a8c"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c">SVF::MemObj::isBlackHoleObj</a></div><div class="ttdeci">bool isBlackHoleObj() const</div><div class="ttdoc">Whether it is a black hole object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00418">SymbolTableInfo.cpp:418</a></div></div>
956
- <div class="ttc" id="aclassSVF_1_1SVFStat_html_a07b6f8cb424b84b468c4518140fa3a41"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">SVF::SVFStat::generalNumMap</a></div><div class="ttdeci">NUMStatMap generalNumMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00073">SVFStat.h:73</a></div></div>
956
+ <div class="ttc" id="aclassSVF_1_1SVFStat_html_a07b6f8cb424b84b468c4518140fa3a41"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">SVF::SVFStat::generalNumMap</a></div><div class="ttdeci">NUMStatMap generalNumMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00075">SVFStat.h:75</a></div></div>
957
957
  <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
958
958
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a51485004eb28aab6620801205d13ef1b"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a51485004eb28aab6620801205d13ef1b">SVF::IRGraph::getPTAPAGEdgeNum</a></div><div class="ttdeci">u32_t getPTAPAGEdgeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00212">IRGraph.h:212</a></div></div>
959
959
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_a5486697889c6cca4f9f426650defc255"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">SVF::SVFModule::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00133">SVFModule.h:133</a></div></div>
@@ -967,12 +967,12 @@ Private Attributes</h2></td></tr>
967
967
  <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
968
968
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a82528aff779ccf8f723f57507dd2d991"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a82528aff779ccf8f723f57507dd2d991">SVF::IRGraph::getObjectNodeNum</a></div><div class="ttdeci">u32_t getObjectNodeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00191">IRGraph.h:191</a></div></div>
969
969
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
970
- <div class="ttc" id="aclassSVF_1_1SVFStat_html_ae89293bc063bdc74a988e9c37c70321e"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e">SVF::SVFStat::timeOfBuildingSymbolTable</a></div><div class="ttdeci">static double timeOfBuildingSymbolTable</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00091">SVFStat.h:91</a></div></div>
971
- <div class="ttc" id="aclassSVF_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>
970
+ <div class="ttc" id="aclassSVF_1_1SVFStat_html_ae89293bc063bdc74a988e9c37c70321e"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e">SVF::SVFStat::timeOfBuildingSymbolTable</a></div><div class="ttdeci">static double timeOfBuildingSymbolTable</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00093">SVFStat.h:93</a></div></div>
971
+ <div class="ttc" id="aclassSVF_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#l00077">SVFStat.h:77</a></div></div>
972
972
  <div class="ttc" id="aclassSVF_1_1MemObj_html_a7f828731597450f1d43b61413ab0e7bb"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">SVF::MemObj::isConstantArray</a></div><div class="ttdeci">bool isConstantArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00530">SymbolTableInfo.cpp:530</a></div></div>
973
- <div class="ttc" id="aclassSVF_1_1SVFStat_html_a3333e45303dcc9c3da00858628cdbbff"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">SVF::SVFStat::moduleName</a></div><div class="ttdeci">std::string moduleName</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00096">SVFStat.h:96</a></div></div>
973
+ <div class="ttc" id="aclassSVF_1_1SVFStat_html_a3333e45303dcc9c3da00858628cdbbff"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">SVF::SVFStat::moduleName</a></div><div class="ttdeci">std::string moduleName</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00098">SVFStat.h:98</a></div></div>
974
974
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_ac213302cf5c7cdf3b66f7b18649d0fbc"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::iterator</a></div><div class="ttdeci">IDToNodeMapTy::iterator iterator</div><div class="ttdoc">Node Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00359">GenericGraph.h:359</a></div></div>
975
- <div class="ttc" id="aclassSVF_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>
975
+ <div class="ttc" id="aclassSVF_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#l00080">SVFStat.h:80</a></div></div>
976
976
  <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_aebc0d1aa674dec207a99c7fc148c9c36"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#aebc0d1aa674dec207a99c7fc148c9c36">SVF::SVFBasicBlock::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00616">SVFValue.h:616</a></div></div>
977
977
  <div class="ttc" id="aclassSVF_1_1Options_html_a28af43961cb29a7dea50be2ab332cc75"><div class="ttname"><a href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">SVF::Options::ClockType</a></div><div class="ttdeci">static const OptionMap&lt; enum PTAStat::ClockType &gt; ClockType</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00024">Options.h:24</a></div></div>
978
978
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_ae2006820c0d00482b85e7ae3adcb5744"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">SVF::SVFIR::getSVFStmtSet</a></div><div class="ttdeci">SVFStmt::SVFStmtSetTy &amp; getSVFStmtSet(SVFStmt::PEDGEK kind)</div><div class="ttdoc">Get/set methods to get SVFStmts based on their kinds and ICFGNodes.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00188">SVFIR.h:188</a></div></div>
@@ -981,7 +981,7 @@ Private Attributes</h2></td></tr>
981
981
  <div class="ttc" id="aclassSVF_1_1MemObj_html_ae1d14e2bf0be36cdadebf119822f607b"><div class="ttname"><a href="classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b">SVF::MemObj::isFunction</a></div><div class="ttdeci">bool isFunction() const</div><div class="ttdoc">object attributes methods</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00480">SymbolTableInfo.cpp:480</a></div></div>
982
982
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVF::SVFStmt::Store</a></div><div class="ttdeci">@ Store</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00065">SVFStatements.h:65</a></div></div>
983
983
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ae18227f257c9881541b84ca186680dfd"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ae18227f257c9881541b84ca186680dfd">SVF::SVFUtil::split</a></div><div class="ttdeci">std::vector&lt; std::string &gt; split(const std::string &amp;s, char separator)</div><div class="ttdoc">Split into two substrings around the first occurrence of a separator string.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00218">SVFUtil.h:218</a></div></div>
984
- <div class="ttc" id="aclassSVF_1_1SVFStat_html_a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc">SVF::SVFStat::Wall</a></div><div class="ttdeci">@ Wall</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00050">SVFStat.h:50</a></div></div>
984
+ <div class="ttc" id="aclassSVF_1_1SVFStat_html_a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc">SVF::SVFStat::Wall</a></div><div class="ttdeci">@ Wall</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00052">SVFStat.h:52</a></div></div>
985
985
  <div class="ttc" id="aclassSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00380">SymbolTableInfo.h:380</a></div></div>
986
986
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVF::SVFStmt::Gep</a></div><div class="ttdeci">@ Gep</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00069">SVFStatements.h:69</a></div></div>
987
987
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVF::SVFStmt::Load</a></div><div class="ttdeci">@ Load</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00066">SVFStatements.h:66</a></div></div>
package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat-members.html CHANGED
@@ -96,7 +96,7 @@ $(function() {
96
96
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">getClk</a>(bool mark=false)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
97
97
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea">localVarInRecursion</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
98
98
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">moduleName</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
99
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227">NUMStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
99
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ade5a685e0f6147e05a4f1e7384b1f4dd">NUMStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
100
100
  <tr><td class="entry"><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#af202623692135ad746aed1be995c55fb">performStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html">SVF::VersionedFlowSensitiveStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
101
101
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ab03780f736bed7861c9be14637e37ba3">performStatPerQuery</a>(NodeID)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
102
102
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">printStat</a>(std::string str=&quot;&quot;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
@@ -111,7 +111,7 @@ $(function() {
111
111
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5">timeOfBuildingLLVMModule</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
112
112
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c">timeOfBuildingSVFIR</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
113
113
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e">timeOfBuildingSymbolTable</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
114
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">TIMEStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
114
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd">TIMEStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
115
115
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
116
116
  <tr><td class="entry"><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#a762c964e76d181716e1a3833dc4c0706">VersionedFlowSensitiveStat</a>(VersionedFlowSensitive *pta)</td><td class="entry"><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html">SVF::VersionedFlowSensitiveStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
117
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814">versionStat</a>(void)</td><td class="entry"><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html">SVF::VersionedFlowSensitiveStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>