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.
- package/SVF-doxygen/html/AndersenStat_8cpp_source.html +6 -6
- package/SVF-doxygen/html/CFLStat_8cpp_source.html +4 -4
- package/SVF-doxygen/html/ContextDDA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/DDAStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/DDAStat_8h_source.html +2 -2
- package/SVF-doxygen/html/ICFGStat_8h_source.html +1 -1
- package/SVF-doxygen/html/LLVMModule_8cpp_source.html +2 -2
- package/SVF-doxygen/html/MTAStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/PTAStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/PTAStat_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFGStat_8cpp_source.html +7 -7
- package/SVF-doxygen/html/SVFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +876 -869
- package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +21 -21
- package/SVF-doxygen/html/SVFStat_8cpp_source.html +7 -7
- package/SVF-doxygen/html/SVFStat_8h.html +2 -1
- package/SVF-doxygen/html/SVFStat_8h_source.html +76 -74
- package/SVF-doxygen/html/WPAStat_8h_source.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AndersenStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +13 -13
- package/SVF-doxygen/html/classSVF_1_1CFLStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1CFLStat.html +11 -11
- package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1DDAStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1DDAStat.html +12 -12
- package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +13 -13
- package/SVF-doxygen/html/classSVF_1_1ICFGStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1ICFGStat.html +8 -8
- package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1MTAStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1MTAStat.html +10 -10
- package/SVF-doxygen/html/classSVF_1_1MemSSAStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +13 -13
- package/SVF-doxygen/html/classSVF_1_1PTAStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1PTAStat.html +8 -8
- package/SVF-doxygen/html/classSVF_1_1SVFG.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFGStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +14 -14
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +835 -828
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFStat.html +60 -60
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +13 -13
- package/SVF-doxygen/html/functions_n.html +1 -1
- package/SVF-doxygen/html/functions_t.html +1 -1
- package/SVF-doxygen/html/functions_type_n.html +1 -1
- package/SVF-doxygen/html/functions_type_t.html +1 -1
- package/SVF-doxygen/html/search/all_13.js +1 -1
- package/SVF-doxygen/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/search/typedefs_11.js +1 -1
- package/SVF-doxygen/html/search/typedefs_c.js +1 -1
- package/SVF-doxygen/html/svf-ex_8cpp.html +11 -11
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +11 -11
- package/package.json +1 -1
- package/svf/include/Util/SVFStat.h +4 -2
- package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +7 -0
|
@@ -101,10 +101,10 @@ Public Types</h2></td></tr>
|
|
|
101
101
|
<a class="el" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa">CPU</a>
|
|
102
102
|
}</td></tr>
|
|
103
103
|
<tr class="separator:a4f47da512cfa8f94fddaddc65334b454 inherit pub_types_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
104
|
-
<tr class="memitem:
|
|
105
|
-
<tr class="separator:
|
|
106
|
-
<tr class="memitem:
|
|
107
|
-
<tr class="separator:
|
|
104
|
+
<tr class="memitem:ade5a685e0f6147e05a4f1e7384b1f4dd inherit pub_types_classSVF_1_1SVFStat"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>< <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#ade5a685e0f6147e05a4f1e7384b1f4dd">NUMStatMap</a></td></tr>
|
|
105
|
+
<tr class="separator:ade5a685e0f6147e05a4f1e7384b1f4dd inherit pub_types_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
106
|
+
<tr class="memitem:a8bb01becef1eb8d6113d946d29d904bd inherit pub_types_classSVF_1_1SVFStat"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>< <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, double > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd">TIMEStatMap</a></td></tr>
|
|
107
|
+
<tr class="separator:a8bb01becef1eb8d6113d946d29d904bd inherit pub_types_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
108
108
|
</table><table class="memberdecls">
|
|
109
109
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
|
|
110
110
|
Public Member Functions</h2></td></tr>
|
|
@@ -321,11 +321,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
321
321
|
<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> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea">localVarInRecursion</a></td></tr>
|
|
322
322
|
<tr class="separator:a5b4095f427c9c7b9ec0db497ba33baea inherit pub_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
323
323
|
<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="-"/> Public Attributes inherited from <a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td></tr>
|
|
324
|
-
<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#
|
|
324
|
+
<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#ade5a685e0f6147e05a4f1e7384b1f4dd">NUMStatMap</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a></td></tr>
|
|
325
325
|
<tr class="separator:a07b6f8cb424b84b468c4518140fa3a41 inherit pub_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
326
|
-
<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#
|
|
326
|
+
<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#ade5a685e0f6147e05a4f1e7384b1f4dd">NUMStatMap</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a></td></tr>
|
|
327
327
|
<tr class="separator:a11c34e8ba16769d218432d9504ba26a0 inherit pub_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
328
|
-
<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#
|
|
328
|
+
<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#a8bb01becef1eb8d6113d946d29d904bd">TIMEStatMap</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a></td></tr>
|
|
329
329
|
<tr class="separator:a5383691a34426a1a997b5eed387f1831 inherit pub_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
330
330
|
<tr class="memitem:abd7a79d1fe50110a0c1d448027492669 inherit pub_attribs_classSVF_1_1SVFStat"><td class="memItemLeft" align="right" valign="top">double </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">startTime</a></td></tr>
|
|
331
331
|
<tr class="separator:abd7a79d1fe50110a0c1d448027492669 inherit pub_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -2833,7 +2833,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2833
2833
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a2e0adcfbe233523212e1ffbf5b01ba88"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a2e0adcfbe233523212e1ffbf5b01ba88">SVF::SVFGStat::printStat</a></div><div class="ttdeci">virtual void printStat(std::string str="") override</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00500">SVFGStat.cpp:500</a></div></div>
|
|
2834
2834
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_afd0f43a7d7138a8013930fd103ce7c47"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47">SVF::SVFGStat::totalIndRetEdge</a></div><div class="ttdeci">int totalIndRetEdge</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00200">SVFGStat.h:200</a></div></div>
|
|
2835
2835
|
<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>
|
|
2836
|
-
<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#
|
|
2836
|
+
<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>
|
|
2837
2837
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a0a967faad014cdd53f5dddfdc59edbc3"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a0a967faad014cdd53f5dddfdc59edbc3">SVF::SVFGStat::connectDirSVFGEdgeTimeStart</a></div><div class="ttdeci">double connectDirSVFGEdgeTimeStart</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00222">SVFGStat.h:222</a></div></div>
|
|
2838
2838
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_ac7cb2228bd31e8ebdf33ae2bfd399683"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683">SVF::SVFGStat::maxIndOutDegree</a></div><div class="ttdeci">u32_t maxIndOutDegree</div><div class="ttdoc">max indirect out degrees of SVFG nodes.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00214">SVFGStat.h:214</a></div></div>
|
|
2839
2839
|
<div class="ttc" id="aclassSVF_1_1VFGEdge_html_aa8f30d093d4950724a6688707326b57b"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#aa8f30d093d4950724a6688707326b57b">SVF::VFGEdge::isIndirectVFGEdge</a></div><div class="ttdeci">bool isIndirectVFGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00080">VFGEdge.h:80</a></div></div>
|
|
@@ -2842,7 +2842,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2842
2842
|
<div class="ttc" id="aclassSVF_1_1IndirectSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00042">SVFGEdge.h:42</a></div></div>
|
|
2843
2843
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a5f0c72186ee16f5e88782b5edc9fa5b1"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a5f0c72186ee16f5e88782b5edc9fa5b1">SVF::SVFGStat::avgWeight</a></div><div class="ttdeci">int avgWeight</div><div class="ttdoc">average weight.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00204">SVFGStat.h:204</a></div></div>
|
|
2844
2844
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a8cd6254435994d9aea27b5519491fc6a"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a">SVF::SVFGStat::totalIndInEdge</a></div><div class="ttdeci">int totalIndInEdge</div><div class="ttdoc">Total number of indirect SVFG edges.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00195">SVFGStat.h:195</a></div></div>
|
|
2845
|
-
<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#
|
|
2845
|
+
<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>
|
|
2846
2846
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a2a697caecf23413187aef90a8097e0b0"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a2a697caecf23413187aef90a8097e0b0">SVF::SVFGStat::connectIndSVFGEdgeTimeStart</a></div><div class="ttdeci">double connectIndSVFGEdgeTimeStart</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00225">SVFGStat.h:225</a></div></div>
|
|
2847
2847
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a7929d8ba565ecb04efd236ccb19a4658"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658">SVF::SVFGStat::totalInEdge</a></div><div class="ttdeci">int totalInEdge</div><div class="ttdoc">Total number of incoming SVFG edges.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00193">SVFGStat.h:193</a></div></div>
|
|
2848
2848
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_ac243fababbb9d2f3efbea5411f947c21"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21">SVF::SVFGStat::connectDirSVFGEdgeTimeEnd</a></div><div class="ttdeci">double connectDirSVFGEdgeTimeEnd</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00223">SVFGStat.h:223</a></div></div>
|
|
@@ -2860,7 +2860,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2860
2860
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a1e5ec005dda8dc918422eaf33f3145f8"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8">SVF::SVFGStat::forwardSlice</a></div><div class="ttdeci">SVFGNodeSet forwardSlice</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00231">SVFGStat.h:231</a></div></div>
|
|
2861
2861
|
<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>
|
|
2862
2862
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a89f40e0cb98fdb65a320686b1698d909"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a89f40e0cb98fdb65a320686b1698d909">SVF::SVFGStat::addTopLevelNodeTimeEnd</a></div><div class="ttdeci">double addTopLevelNodeTimeEnd</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00217">SVFGStat.h:217</a></div></div>
|
|
2863
|
-
<div class="ttc" id="aclassSVF_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#
|
|
2863
|
+
<div class="ttc" id="aclassSVF_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#l00060">SVFStat.h:60</a></div></div>
|
|
2864
2864
|
<div class="ttc" id="aclassSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00081">GenericGraph.h:81</a></div></div>
|
|
2865
2865
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a9fc87025af3b7e54442e78f46ebe0360"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360">SVF::SVFGStat::numOfMSSAPhi</a></div><div class="ttdeci">int numOfMSSAPhi</div><div class="ttdoc">number of mssa phi svfg nodes.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00190">SVFGStat.h:190</a></div></div>
|
|
2866
2866
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_aa6a39e0f1d41d67cb3441389a943bf5f"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f">SVF::SVFGStat::numOfAddr</a></div><div class="ttdeci">int numOfAddr</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00188">SVFGStat.h:188</a></div></div>
|
|
@@ -2876,7 +2876,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2876
2876
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a3210cc1283669129234aa2c3feb67654"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a3210cc1283669129234aa2c3feb67654">SVF::SVFGStat::connectIndSVFGEdgeTimeEnd</a></div><div class="ttdeci">double connectIndSVFGEdgeTimeEnd</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00226">SVFGStat.h:226</a></div></div>
|
|
2877
2877
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_ab20900eb0ecb0d2e1e601755848ac531"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#ab20900eb0ecb0d2e1e601755848ac531">SVF::SVFGStat::numOfFormalOut</a></div><div class="ttdeci">int numOfFormalOut</div><div class="ttdoc">number of formal out svfg nodes.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00175">SVFGStat.h:175</a></div></div>
|
|
2878
2878
|
<div class="ttc" id="aclassSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00046">VFGNode.h:46</a></div></div>
|
|
2879
|
-
<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#
|
|
2879
|
+
<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>
|
|
2880
2880
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a1f93abeefa0c265f4945171255107725"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a1f93abeefa0c265f4945171255107725">SVF::SVFGStat::backwardSlice</a></div><div class="ttdeci">SVFGNodeSet backwardSlice</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00232">SVFGStat.h:232</a></div></div>
|
|
2881
2881
|
<div class="ttc" id="aclassSVF_1_1VFGEdge_html_a8777555f00696706de250159b920d14b"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a8777555f00696706de250159b920d14b">SVF::VFGEdge::isDirectVFGEdge</a></div><div class="ttdeci">bool isDirectVFGEdge() const</div><div class="ttdoc">Get methods of the components.</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00076">VFGEdge.h:76</a></div></div>
|
|
2882
2882
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a862cd075a7c9d5019acfabe608ab7905"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a862cd075a7c9d5019acfabe608ab7905">SVF::SVFGStat::numOfGep</a></div><div class="ttdeci">int numOfGep</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00187">SVFGStat.h:187</a></div></div>
|
|
@@ -2890,11 +2890,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2890
2890
|
<div class="ttc" id="aclassSVF_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>
|
|
2891
2891
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00380">GenericGraph.h:380</a></div></div>
|
|
2892
2892
|
<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 & 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>
|
|
2893
|
-
<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#
|
|
2893
|
+
<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>
|
|
2894
2894
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a332adbaad93a3077416c870f175a1202"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a332adbaad93a3077416c870f175a1202">SVF::SVFGStat::sinks</a></div><div class="ttdeci">SVFGNodeSet sinks</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00234">SVFGStat.h:234</a></div></div>
|
|
2895
2895
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a18a30f659c3a79d65b4ae7f3316c5f91"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a18a30f659c3a79d65b4ae7f3316c5f91">SVF::SVFGStat::sources</a></div><div class="ttdeci">SVFGNodeSet sources</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00233">SVFGStat.h:233</a></div></div>
|
|
2896
2896
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_abc5e079242666bb55ec7dbc7f258b3db"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#abc5e079242666bb55ec7dbc7f258b3db">SVF::SVFGStat::numOfFormalIn</a></div><div class="ttdeci">int numOfFormalIn</div><div class="ttdoc">number of formal in svfg nodes.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00174">SVFGStat.h:174</a></div></div>
|
|
2897
|
-
<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#
|
|
2897
|
+
<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>
|
|
2898
2898
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a364d684cbefed1793d7c4506fb1fa0fd"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a364d684cbefed1793d7c4506fb1fa0fd">SVF::SVFGStat::avgIndInDegree</a></div><div class="ttdeci">int avgIndInDegree</div><div class="ttdoc">average indirect in degrees of SVFG nodes.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00211">SVFGStat.h:211</a></div></div>
|
|
2899
2899
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a122555f5c4b9746cc2b7f38c7cd6b505"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505">SVF::SVFGStat::numOfActualOut</a></div><div class="ttdeci">int numOfActualOut</div><div class="ttdoc">number of actual out svfg nodes.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00180">SVFGStat.h:180</a></div></div>
|
|
2900
2900
|
<div class="ttc" id="aclassSVF_1_1VFGEdge_html"><div class="ttname"><a href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00044">VFGEdge.h:44</a></div></div>
|
|
@@ -2908,7 +2908,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2908
2908
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a4d15f2de3f226c26cb2af57176444ec9"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9">SVF::SVFGStat::numOfStore</a></div><div class="ttdeci">int numOfStore</div><div class="ttdoc">number of store svfg nodes.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00185">SVFGStat.h:185</a></div></div>
|
|
2909
2909
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a9f96e6a886fa69e07cda5dbfaed8b7c9"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">SVF::SparseBitVector::count</a></div><div class="ttdeci">unsigned count() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01104">SparseBitVector.h:1104</a></div></div>
|
|
2910
2910
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_aa35ff9ddfc4f00be698a903adf3285f5"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#aa35ff9ddfc4f00be698a903adf3285f5">SVF::SVFGStat::addAddrTakenNodeTimeStart</a></div><div class="ttdeci">double addAddrTakenNodeTimeStart</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00219">SVFGStat.h:219</a></div></div>
|
|
2911
|
-
<div class="ttc" id="aclassSVF_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#
|
|
2911
|
+
<div class="ttc" id="aclassSVF_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#l00065">SVFStat.h:65</a></div></div>
|
|
2912
2912
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_ab499c24856a990dd4adb366107eb3302"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302">SVF::SVFGStat::numOfNodes</a></div><div class="ttdeci">int numOfNodes</div><div class="ttdoc">number of svfg nodes.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00172">SVFGStat.h:172</a></div></div>
|
|
2913
2913
|
<div class="ttc" id="aclassSVF_1_1SVFGStat_html_a2f7a49d2b3aae6cdb1cbc0e8ae18d1c2"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a2f7a49d2b3aae6cdb1cbc0e8ae18d1c2">SVF::SVFGStat::addAddrTakenNodeTimeEnd</a></div><div class="ttdeci">double addAddrTakenNodeTimeEnd</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00220">SVFGStat.h:220</a></div></div>
|
|
2914
2914
|
<div class="ttc" id="aclassSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy & getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00193">GenericGraph.h:193</a></div></div>
|