svf-tools 1.0.562 → 1.0.565
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +7 -38
- package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +1 -2
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +11 -10
- package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +10 -9
- package/SVF-doxygen/html/html/CFLGrammar_8txt.html +37 -37
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +2 -3
- package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +1 -2
- package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/DDAStat_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +2 -2
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/ICFGStat_8h_source.html +2 -2
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/LLVMModule_8h_source.html +10 -10
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +1 -2
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PEGGrammar_8txt.html +37 -138
- package/SVF-doxygen/html/html/PTAStat_8cpp.html +0 -1
- package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +9 -111
- package/SVF-doxygen/html/html/PTAStat_8h_source.html +7 -69
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/SVFGStat_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +37 -37
- package/SVF-doxygen/html/html/SVFModule_8cpp.html +1 -0
- package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +6 -2
- package/SVF-doxygen/html/html/SVFModule_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +65 -3
- package/SVF-doxygen/html/html/SVFStat_8h_source.html +16 -11
- package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
- package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
- package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/cfl_8cpp.html +1 -1
- package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat-members.html +18 -68
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +23 -208
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +12 -11
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +63 -28
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +8 -11
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat-members.html +17 -67
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +22 -176
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +13 -13
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat-members.html +20 -70
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +20 -188
- package/SVF-doxygen/html/html/classSVF_1_1ICFGStat-members.html +17 -67
- package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +18 -172
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +36 -34
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat-members.html +23 -73
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +26 -180
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat-members.html +22 -72
- package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +18 -172
- package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html +2 -3
- package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat-members.html +11 -64
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +33 -1830
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFGStat-members.html +48 -98
- package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +32 -186
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +125 -122
- package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +5 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFStat-members.html +22 -17
- package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +237 -34
- package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +17 -67
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +20 -187
- package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
- package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/functions_a.html +5 -9
- package/SVF-doxygen/html/html/functions_b.html +8 -8
- package/SVF-doxygen/html/html/functions_c.html +2 -2
- package/SVF-doxygen/html/html/functions_e.html +2 -3
- package/SVF-doxygen/html/html/functions_f.html +6 -6
- package/SVF-doxygen/html/html/functions_func_b.html +6 -6
- package/SVF-doxygen/html/html/functions_func_p.html +4 -5
- package/SVF-doxygen/html/html/functions_func_s.html +1 -1
- package/SVF-doxygen/html/html/functions_m.html +1 -9
- package/SVF-doxygen/html/html/functions_n.html +0 -114
- package/SVF-doxygen/html/html/functions_o.html +6 -6
- package/SVF-doxygen/html/html/functions_p.html +15 -24
- package/SVF-doxygen/html/html/functions_s.html +12 -21
- package/SVF-doxygen/html/html/functions_t.html +14 -22
- package/SVF-doxygen/html/html/functions_u.html +0 -3
- package/SVF-doxygen/html/html/functions_v.html +6 -6
- package/SVF-doxygen/html/html/functions_vars_a.html +0 -4
- package/SVF-doxygen/html/html/functions_vars_e.html +1 -2
- package/SVF-doxygen/html/html/functions_vars_m.html +1 -9
- package/SVF-doxygen/html/html/functions_vars_n.html +0 -114
- package/SVF-doxygen/html/html/functions_vars_p.html +1 -7
- package/SVF-doxygen/html/html/functions_vars_s.html +1 -8
- package/SVF-doxygen/html/html/functions_vars_t.html +9 -15
- package/SVF-doxygen/html/html/functions_vars_u.html +0 -3
- package/SVF-doxygen/html/html/functions_w.html +11 -11
- package/SVF-doxygen/html/html/globals_a.html +0 -1
- package/SVF-doxygen/html/html/globals_c.html +5 -6
- package/SVF-doxygen/html/html/globals_e.html +0 -1
- package/SVF-doxygen/html/html/globals_f.html +2 -3
- package/SVF-doxygen/html/html/globals_func.html +3 -0
- package/SVF-doxygen/html/html/globals_g.html +5 -7
- package/SVF-doxygen/html/html/globals_m.html +3 -6
- package/SVF-doxygen/html/html/globals_vars.html +10 -19
- package/SVF-doxygen/html/html/mta_8cpp.html +1 -1
- package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF.html +2 -2
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +4 -4
- package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
- package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/search/all_1.js +2 -3
- package/SVF-doxygen/html/html/search/all_10.js +10 -12
- package/SVF-doxygen/html/html/search/all_12.js +7 -9
- package/SVF-doxygen/html/html/search/all_13.js +7 -9
- package/SVF-doxygen/html/html/search/all_14.js +1 -1
- package/SVF-doxygen/html/html/search/all_15.js +4 -4
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_2.js +2 -2
- package/SVF-doxygen/html/html/search/all_3.js +2 -2
- package/SVF-doxygen/html/html/search/all_5.js +3 -3
- package/SVF-doxygen/html/html/search/all_6.js +4 -4
- package/SVF-doxygen/html/html/search/all_7.js +4 -4
- package/SVF-doxygen/html/html/search/all_c.js +1 -1
- package/SVF-doxygen/html/html/search/all_d.js +3 -5
- package/SVF-doxygen/html/html/search/all_e.js +5 -41
- package/SVF-doxygen/html/html/search/all_f.js +3 -3
- package/SVF-doxygen/html/html/search/functions_1.js +2 -2
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_5.js +1 -0
- package/SVF-doxygen/html/html/search/functions_f.js +3 -3
- package/SVF-doxygen/html/html/search/variables_1.js +2 -3
- package/SVF-doxygen/html/html/search/variables_10.js +1 -3
- package/SVF-doxygen/html/html/search/variables_12.js +1 -3
- package/SVF-doxygen/html/html/search/variables_13.js +4 -6
- package/SVF-doxygen/html/html/search/variables_14.js +1 -1
- package/SVF-doxygen/html/html/search/variables_3.js +1 -1
- package/SVF-doxygen/html/html/search/variables_5.js +2 -2
- package/SVF-doxygen/html/html/search/variables_6.js +2 -2
- package/SVF-doxygen/html/html/search/variables_7.js +4 -4
- package/SVF-doxygen/html/html/search/variables_c.js +1 -1
- package/SVF-doxygen/html/html/search/variables_d.js +3 -5
- package/SVF-doxygen/html/html/search/variables_e.js +4 -40
- package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
- package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
- package/include/CFL/CFGNormalizer.h +3 -1
- package/include/CFL/PEGGrammar.txt +5 -18
- package/include/DDA/DDAVFSolver.h +4 -4
- package/include/Util/PTAStat.h +0 -79
- package/include/Util/SVFStat.h +7 -2
- package/lib/CFL/CFGNormalizer.cpp +57 -6
- package/lib/MTA/LockAnalysis.cpp +4 -4
- package/lib/MTA/MHP.cpp +2 -2
- package/lib/SVF-FE/LLVMModule.cpp +5 -0
- package/lib/SVF-FE/SVFIRBuilder.cpp +5 -0
- package/lib/Util/PTAStat.cpp +7 -254
- package/lib/Util/SVFModule.cpp +4 -0
- package/lib/Util/SVFStat.cpp +202 -2
- package/lib/WPA/AndersenStat.cpp +31 -31
- package/lib/WPA/FlowSensitiveStat.cpp +14 -14
- package/lib/WPA/VersionedFlowSensitiveStat.cpp +13 -13
- package/package.json +1 -1
|
@@ -1276,7 +1276,7 @@ Private Member Functions</h2></td></tr>
|
|
|
1276
1276
|
|
|
1277
1277
|
<p class="definition">Definition at line <a class="el" href="PointerAnalysis_8cpp_source.html#l00179">179</a> of file <a class="el" href="PointerAnalysis_8cpp_source.html">PointerAnalysis.cpp</a>.</p>
|
|
1278
1278
|
<div class="fragment"><div class="line"><a name="l00180"></a><span class="lineno"> 180</span> {</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span> </div><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d">print_stat</a> && <a class="code" href="classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f">stat</a>)</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  {</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  <a class="code" href="classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f">stat</a>-><a class="code" href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">performStat</a>();</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  }</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span> }</div><div class="ttc" id="classSVF_1_1PointerAnalysis_html_a5ec3d9bf1fc81346c9df29638daedc0f"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f">SVF::PointerAnalysis::stat</a></div><div class="ttdeci">PTAStat * stat</div><div class="ttdoc">Statistics. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00150">PointerAnalysis.h:150</a></div></div>
|
|
1279
|
-
<div class="ttc" id="classSVF_1_1PTAStat_html_ad6de9d3f25c20705768000c987af0eb6"><div class="ttname"><a href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">SVF::PTAStat::performStat</a></div><div class="ttdeci">void performStat() override</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#
|
|
1279
|
+
<div class="ttc" id="classSVF_1_1PTAStat_html_ad6de9d3f25c20705768000c987af0eb6"><div class="ttname"><a href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">SVF::PTAStat::performStat</a></div><div class="ttdeci">void performStat() override</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00043">PTAStat.cpp:43</a></div></div>
|
|
1280
1280
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_a3550ea3f087ec557a6fe076bc443b05d"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d">SVF::PointerAnalysis::print_stat</a></div><div class="ttdeci">bool print_stat</div><div class="ttdoc">User input flags. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00134">PointerAnalysis.h:134</a></div></div>
|
|
1281
1281
|
</div><!-- fragment -->
|
|
1282
1282
|
</div>
|
|
@@ -79,8 +79,6 @@ $(function() {
|
|
|
79
79
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968">addToSources</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
80
80
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#aa39231c3d81fa87cdb6089f17bc35af8">ATVFNodeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
81
81
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a4bf9a39b93b7254f627dd393b9f2b82c">ATVFNodeStart</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
82
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#adb0edbe88a74e5e89921bcfafa4759c6">AveragePointsToSetSize</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
83
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a1649c9f893c5b9ec2d57a399bc050030">AverageTopLevPointsToSetSize</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
84
82
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a4328f75f379e692901b95bacdf8dd413">avgInDegree</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
85
83
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a364d684cbefed1793d7c4506fb1fa0fd">avgIndInDegree</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
86
84
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a7854ee895f1965ea02f5d04f81589826">avgIndOutDegree</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
@@ -99,7 +97,7 @@ $(function() {
|
|
|
99
97
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#abef8f1d89413ed3c6e67dcd2b81729d8">dirVFEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
100
98
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a169d75c0fd09f69d86939d84db67e590">dirVFEdgeStart</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
101
99
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1">endClk</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>
|
|
102
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
100
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d">endTime</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
|
|
103
101
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8">forwardSlice</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
104
102
|
<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>
|
|
105
103
|
<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>
|
|
@@ -115,110 +113,62 @@ $(function() {
|
|
|
115
113
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a536b591b21756519262873462001f421">maxInDegree</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
116
114
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a2f1bb17038de877fd1ccffdea3f3cde3">maxIndInDegree</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
117
115
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683">maxIndOutDegree</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
118
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
119
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
120
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
121
|
-
<tr><td class="entry"><a class="el" href="
|
|
122
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
123
|
-
<tr><td class="entry"><a class="el" href="
|
|
124
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
125
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569">numOfActualIn</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
126
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505">numOfActualOut</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
127
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76">numOfActualParam</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
128
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#ad37e5b2e57e02f8e4319f6d038c51414">numOfActualRet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
129
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f">numOfAddr</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
130
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ac5bf59a0a7a760c9fec5f22dedec5eb6">NumOfAddrs</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
131
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a6cbeca77d0681f7da28979cbd0f661b2">NumOfCalls</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
132
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ae74458d96423e4a7391fe8697d5a9a67">NumOfConstantObjs</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
116
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf">maxOutDegree</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
117
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a42b67371df87ba647166000912f53243">nodeInCycle</a>(SVFGSCC *scc, NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
118
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569">numOfActualIn</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
119
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505">numOfActualOut</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
120
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76">numOfActualParam</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
121
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#ad37e5b2e57e02f8e4319f6d038c51414">numOfActualRet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
122
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f">numOfAddr</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
133
123
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#ac86d6d7cb0090ab665729b56111ca464">numOfCopy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
134
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
135
|
-
<tr><td class="entry"><a class="el" href="
|
|
136
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
137
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
138
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#ab20900eb0ecb0d2e1e601755848ac531">numOfFormalOut</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
139
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a1e9ddd5678b05e145af41a6d53f47748">numOfFormalParam</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
140
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a29807c066e60ef3905a5e01e0b86ffd2">numOfFormalRet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
141
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ae9952b7456b5102113d1fee4d9d7801a">NumOfFunctionObjs</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
124
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#abc5e079242666bb55ec7dbc7f258b3db">numOfFormalIn</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
125
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#ab20900eb0ecb0d2e1e601755848ac531">numOfFormalOut</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
126
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a1e9ddd5678b05e145af41a6d53f47748">numOfFormalParam</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
127
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a29807c066e60ef3905a5e01e0b86ffd2">numOfFormalRet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
142
128
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a862cd075a7c9d5019acfabe608ab7905">numOfGep</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
143
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a16f9bdb5387471d0bd825c4a9cbcb22e">NumOfGepFieldObjects</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
144
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a164249b9d35606387e628529c643d119">NumOfGepFieldPointers</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
145
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#acc5e4740e11cb6f9794723e5f61ab63b">NumOfGeps</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
146
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a57574c85a5a875a05ef83d3c916cf3e5">NumOfGlobalObjs</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
147
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a4aff48eaa2045ee619a8ea793a9234b8">NumOfHeapObjs</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
148
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a618707c52da086e04f5e7bff31794cf3">NumOfIndirectCallSites</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
149
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ad51d2bd924f049e440b3d0dd0d423524">NumOfIndirectEdgeSolved</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
150
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ae95fb0771a71ead27da79a45cac47a36">NumOfIterations</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
151
129
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a7c80f2332b97a3228e2ad7621162167a">numOfLoad</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
152
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a4aa7356142f51d942063be5a2910940f">NumOfLoads</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
153
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a5c09f41916e40d784a63e301584511f9">NumOfMemObjects</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
154
130
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360">numOfMSSAPhi</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
155
131
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302">numOfNodes</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
156
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
157
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a9014371b8ed95ab8135eed2a7fa945f1">NumOfNonPtrObjs</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
158
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a1211e1c7f16b715f32ecdef83f39a8c6">NumOfNullPointer</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
159
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#adb31b163f0cbb9d9ce207ef5d8c075fa">NumOfObjsHasConstArray</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
160
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a918051b1d0eb4f49c349352408cc9751">NumOfObjsHasConstStruct</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
161
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a78693e8bf93d712eb76c9d6dc0c45ae6">NumOfObjsHasVarArray</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
162
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a95edd35cec92fa4cacc8b59b5eecc827">NumOfObjsHasVarStruct</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
163
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020">numOfPhi</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
164
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a218748b401bdd3d5eebd45eea0026b12">NumOfPointers</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
165
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a0de03cdb382b353c6c1495c0f80cfe19">NumOfProcessedAddrs</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
166
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ad30b36fb1884d1ef0b01c3b36a245211">NumOfProcessedCopys</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
167
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#aaa9d98f868c0724cb57c6934e783d1e5">NumOfProcessedGeps</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
168
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a17531fa1df42df0b19191d61853380d9">NumOfProcessedLoads</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
169
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a5b9bc0e9dac6ac97199476f6b7ea1edf">NumOfProcessedStores</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
170
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#aefcc3638fac7034ab3542be8eb01ab58">NumOfPWCCycles</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
171
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514">NumOfReturns</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
172
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699">NumOfSCCDetection</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
173
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135">NumOfSfr</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
174
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e">NumOfStackObjs</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
132
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020">numOfPhi</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
175
133
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9">numOfStore</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
176
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
177
|
-
<tr><td class="entry"><a class="el" href="
|
|
178
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
179
|
-
<tr><td class="entry"><a class="el" href="
|
|
180
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
181
|
-
<tr><td class="entry"><a class="el" href="
|
|
182
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a2dd8ce8bb1970344533babb9fc8ddd02">printStatPerQuery</a>(NodeID, const PointsTo &)</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>
|
|
183
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a95a0a7861731072baeaf75354531875f">ProcessCopyGepTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
134
|
+
<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>
|
|
135
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a87d5e8ec0e13416cff36a18644a5b94f">performSCCStat</a>(SVFGEdgeSet insensitiveCalRetEdges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
136
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a037600bfff11659542f8595d8700dec4">performStat</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
137
|
+
<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>
|
|
138
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a2e0adcfbe233523212e1ffbf5b01ba88">printStat</a>(std::string str="") override</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
139
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a2dd8ce8bb1970344533babb9fc8ddd02">printStatPerQuery</a>(NodeID, const PointsTo &)</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>
|
|
184
140
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a3c016e166b8e84eb3b98bc3717cba5d8">processGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
185
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#
|
|
186
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
187
|
-
<tr><td class="entry"><a class="el" href="
|
|
188
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
189
|
-
<tr><td class="entry"><a class="el" href="
|
|
190
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
191
|
-
<tr><td class="entry"><a class="el" href="
|
|
192
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
193
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
194
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
195
|
-
<tr><td class="entry"><a class="el" href="
|
|
196
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
197
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
198
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
199
|
-
<tr><td class="entry"><a class="el" href="
|
|
200
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
201
|
-
<tr><td class="entry"><a class="el" href="
|
|
202
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#
|
|
203
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#
|
|
204
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#
|
|
141
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">PTAStat</a>(PointerAnalysis *p)</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
|
|
142
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
|
|
143
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#aaec3a7f29b3ded0c971d57376d2779ff">sfvgOptEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
144
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#acb80953b39ce247679242df4f042ab79">sfvgOptStart</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
145
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a332adbaad93a3077416c870f175a1202">sinks</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
146
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a18a30f659c3a79d65b4ae7f3316c5f91">sources</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
147
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e">startClk</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>
|
|
148
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">startTime</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
|
|
149
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#afeddbe4020e9b3c928856c2dc86af838">SVFGEdgeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"></td></tr>
|
|
150
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#aee5ecd6a92c40e1e27197869028689c4">SVFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"></td></tr>
|
|
151
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#ac06625b26e1aa1a0ed171c9f5cea0f35">svfgOptTimeEnd</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
152
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2">svfgOptTimeStart</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
153
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8">SVFGSCC</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"></td></tr>
|
|
154
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03">SVFGStat</a>(SVFG *g)</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"></td></tr>
|
|
155
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVFStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
|
|
156
|
+
<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>
|
|
157
|
+
<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>
|
|
158
|
+
<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>
|
|
159
|
+
<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>
|
|
160
|
+
<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>
|
|
205
161
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a17e479f0258291998369a2eb325ba3d7">TLVFNodeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
206
162
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a2e4aac52fdc2fd119847afbeba634de9">TLVFNodeStart</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
207
|
-
<tr><td class="entry"><a class="el" href="
|
|
208
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
209
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
210
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
211
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
212
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
213
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
214
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
215
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
216
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a3afc0a36232a0388d8aa42c68219cb26">TotalNumOfEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
217
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ac0e0a1c49d33e02f5cc0f21565ce627d">TotalNumOfFieldObjects</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
218
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#acd9848f15aa359550e86c7b857df84ed">TotalNumOfObjects</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
219
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a1a4d418fd9e5413e7ffbbfe57f5e0560">TotalNumOfPointers</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
220
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a">totalOutEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
221
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894">UpdateCallGraphTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
163
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24">totalDirCallEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
164
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6">totalDirRetEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
165
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5">totalIndCallEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
166
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8">totalIndEdgeLabels</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
167
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a">totalIndInEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
168
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d">totalIndOutEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
169
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47">totalIndRetEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
170
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658">totalInEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
171
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a">totalOutEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
222
172
|
<tr class="even"><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>
|
|
223
173
|
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a1e5294c49b8bd8a850e938dccd5800a5">~PTAStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
224
174
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#ad70617b64bb651c0c16943a8b016399e">~SVFGStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|