svf-tools 1.0.839 → 1.0.841
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/DDAStat_8h_source.html +2 -2
- 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_8h_source.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1AndersenStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1CFLStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1CFLStat.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1DDAStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1DDAStat.html +9 -9
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1ICFGStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1ICFGStat.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1MTAStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1MTAStat.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1MemSSAStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1PTAStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1PTAStat.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1SVFGStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +835 -828
- package/SVF-doxygen/html/classSVF_1_1SVFStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFStat.html +16 -16
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +7 -7
- 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 +2 -2
- package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +7 -0
|
@@ -186,7 +186,7 @@ $(function() {
|
|
|
186
186
|
<div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81"> 118</a></span>  <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81">_AvgNumOfDPMAtSVFGNode</a>;</div>
|
|
187
187
|
<div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b"> 119</a></span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b">_MaxNumOfDPMAtSVFGNode</a>;</div>
|
|
188
188
|
<div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  </div>
|
|
189
|
-
<div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9"> 121</a></span>  <a class="code" href="classSVF_1_1SVFStat.html#
|
|
189
|
+
<div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9"> 121</a></span>  <a class="code" href="classSVF_1_1SVFStat.html#ade5a685e0f6147e05a4f1e7384b1f4dd">NUMStatMap</a> <a class="code" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">NumPerQueryStatMap</a>;</div>
|
|
190
190
|
<div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  </div>
|
|
191
191
|
<div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DDAStat.html#ac7275c99ddd118696853188154ad6fbd">initDefault</a>();</div>
|
|
192
192
|
<div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  </div>
|
|
@@ -209,7 +209,7 @@ $(function() {
|
|
|
209
209
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a6055573ae1844cfc559ff81b3b9c325c"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a6055573ae1844cfc559ff81b3b9c325c">SVF::DDAStat::performStat</a></div><div class="ttdeci">void performStat() override</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8cpp_source.html#l00220">DDAStat.cpp:220</a></div></div>
|
|
210
210
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_af3f359ca7c620695b124573377bda407"><div class="ttname"><a href="classSVF_1_1DDAStat.html#af3f359ca7c620695b124573377bda407">SVF::DDAStat::_NumOfBlackholePtr</a></div><div class="ttdeci">u32_t _NumOfBlackholePtr</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00111">DDAStat.h:111</a></div></div>
|
|
211
211
|
<div class="ttc" id="aclassSVF_1_1SVFG_html"><div class="ttname"><a href="classSVF_1_1SVFG.html">SVF::SVFG</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00065">SVFG.h:65</a></div></div>
|
|
212
|
-
<div class="ttc" id="
|
|
212
|
+
<div class="ttc" id="aclassSVF_1_1SVFStat_html_ade5a685e0f6147e05a4f1e7384b1f4dd"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ade5a685e0f6147e05a4f1e7384b1f4dd">SVF::SVFStat::NUMStatMap</a></div><div class="ttdeci">OrderedMap< std::string, u32_t > NUMStatMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00044">SVFStat.h:44</a></div></div>
|
|
213
213
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_ae6fd32471e0b9bf51233a36676658b49"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ae6fd32471e0b9bf51233a36676658b49">SVF::DDAStat::printStat</a></div><div class="ttdeci">void printStat(std::string str="") override</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8cpp_source.html#l00298">DDAStat.cpp:298</a></div></div>
|
|
214
214
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a1afb47b898f646f71d00c666373281e0"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a1afb47b898f646f71d00c666373281e0">SVF::DDAStat::_TotalPtsSize</a></div><div class="ttdeci">u32_t _TotalPtsSize</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00108">DDAStat.h:108</a></div></div>
|
|
215
215
|
<div class="ttc" id="aclassSVF_1_1DDAStat_html_a55fa3ce574d128a89c1aa5f6a7dc17c6"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6">SVF::DDAStat::getPTA</a></div><div class="ttdeci">PointerAnalysis * getPTA() const</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8cpp_source.html#l00099">DDAStat.cpp:99</a></div></div>
|