svf-tools 1.0.908 → 1.0.910
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/AbstractInterpretation_8cpp_source.html +1549 -1576
- package/SVF-doxygen/html/AbstractInterpretation_8h_source.html +68 -75
- package/SVF-doxygen/html/AbstractState_8cpp_source.html +25 -25
- package/SVF-doxygen/html/AbstractState_8h_source.html +390 -391
- package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +15 -15
- package/SVF-doxygen/html/RelExeState_8cpp_source.html +5 -5
- package/SVF-doxygen/html/RelExeState_8h_source.html +178 -179
- package/SVF-doxygen/html/RelationSolver_8cpp_source.html +3 -3
- package/SVF-doxygen/html/SVFIR2AbsState_8cpp_source.html +10 -10
- package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html +12 -17
- package/SVF-doxygen/html/ae_8cpp_source.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1AEStat.html +115 -115
- package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation-members.html +7 -9
- package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +1435 -1521
- package/SVF-doxygen/html/classSVF_1_1AbstractState-members.html +25 -25
- package/SVF-doxygen/html/classSVF_1_1AbstractState.html +340 -342
- package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +7 -9
- package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +20 -10
- package/SVF-doxygen/html/classSVF_1_1RelExeState-members.html +19 -19
- package/SVF-doxygen/html/classSVF_1_1RelExeState.html +131 -132
- package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html +22 -24
- package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html +23 -91
- package/SVF-doxygen/html/classSymblicAbstractionTest.html +2 -2
- package/SVF-doxygen/html/functions.html +6 -9
- package/SVF-doxygen/html/functions_a.html +9 -3
- package/SVF-doxygen/html/functions_f.html +3 -3
- package/SVF-doxygen/html/functions_func.html +1 -1
- package/SVF-doxygen/html/functions_func_g.html +9 -9
- package/SVF-doxygen/html/functions_func_i.html +7 -13
- package/SVF-doxygen/html/functions_func_p.html +3 -3
- package/SVF-doxygen/html/functions_g.html +10 -10
- package/SVF-doxygen/html/functions_i.html +12 -18
- package/SVF-doxygen/html/functions_l.html +3 -9
- package/SVF-doxygen/html/functions_o.html +17 -17
- package/SVF-doxygen/html/functions_p.html +18 -22
- package/SVF-doxygen/html/functions_r.html +1 -1
- package/SVF-doxygen/html/functions_s.html +12 -14
- package/SVF-doxygen/html/functions_t.html +2 -2
- package/SVF-doxygen/html/functions_type.html +6 -0
- package/SVF-doxygen/html/functions_type_l.html +0 -6
- package/SVF-doxygen/html/functions_v.html +3 -3
- package/SVF-doxygen/html/functions_vars.html +6 -9
- package/SVF-doxygen/html/functions_w.html +1 -1
- package/SVF-doxygen/html/search/all_0.js +167 -168
- package/SVF-doxygen/html/search/all_1.js +504 -502
- package/SVF-doxygen/html/search/all_10.js +326 -326
- package/SVF-doxygen/html/search/all_11.js +227 -227
- package/SVF-doxygen/html/search/all_12.js +562 -562
- package/SVF-doxygen/html/search/all_13.js +186 -186
- package/SVF-doxygen/html/search/all_14.js +74 -74
- package/SVF-doxygen/html/search/all_15.js +175 -175
- package/SVF-doxygen/html/search/all_16.js +77 -77
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +27 -27
- package/SVF-doxygen/html/search/all_1a.js +174 -174
- package/SVF-doxygen/html/search/all_2.js +180 -180
- package/SVF-doxygen/html/search/all_3.js +635 -635
- package/SVF-doxygen/html/search/all_4.js +237 -237
- package/SVF-doxygen/html/search/all_5.js +120 -120
- package/SVF-doxygen/html/search/all_6.js +236 -236
- package/SVF-doxygen/html/search/all_7.js +1039 -1039
- package/SVF-doxygen/html/search/all_8.js +224 -224
- package/SVF-doxygen/html/search/all_9.js +623 -625
- package/SVF-doxygen/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/search/all_b.js +24 -24
- package/SVF-doxygen/html/search/all_c.js +111 -113
- package/SVF-doxygen/html/search/all_d.js +204 -204
- package/SVF-doxygen/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/search/all_f.js +122 -122
- package/SVF-doxygen/html/search/classes_0.js +29 -29
- package/SVF-doxygen/html/search/classes_1.js +11 -11
- package/SVF-doxygen/html/search/classes_10.js +71 -71
- package/SVF-doxygen/html/search/classes_11.js +14 -14
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +19 -19
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +72 -72
- package/SVF-doxygen/html/search/classes_3.js +35 -35
- package/SVF-doxygen/html/search/classes_4.js +7 -7
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +98 -98
- package/SVF-doxygen/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/search/classes_8.js +57 -57
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +19 -19
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +3 -3
- package/SVF-doxygen/html/search/defines_10.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +20 -20
- package/SVF-doxygen/html/search/defines_4.js +3 -3
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +3 -3
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +8 -8
- package/SVF-doxygen/html/search/defines_f.js +4 -4
- package/SVF-doxygen/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +9 -9
- package/SVF-doxygen/html/search/enums_3.js +2 -2
- package/SVF-doxygen/html/search/enums_4.js +3 -3
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_1.js +16 -16
- package/SVF-doxygen/html/search/enumvalues_10.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_11.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +50 -50
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
- package/SVF-doxygen/html/search/enumvalues_8.js +24 -24
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +19 -19
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +48 -48
- package/SVF-doxygen/html/search/files_0.js +18 -18
- package/SVF-doxygen/html/search/files_1.js +9 -9
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +51 -51
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +3 -3
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +10 -10
- package/SVF-doxygen/html/search/files_7.js +15 -15
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +4 -4
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +57 -57
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +13 -13
- package/SVF-doxygen/html/search/functions_1.js +366 -366
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +140 -140
- package/SVF-doxygen/html/search/functions_12.js +293 -293
- package/SVF-doxygen/html/search/functions_13.js +52 -52
- package/SVF-doxygen/html/search/functions_14.js +41 -41
- package/SVF-doxygen/html/search/functions_15.js +70 -70
- package/SVF-doxygen/html/search/functions_16.js +38 -38
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +174 -174
- package/SVF-doxygen/html/search/functions_2.js +92 -92
- package/SVF-doxygen/html/search/functions_3.js +257 -257
- package/SVF-doxygen/html/search/functions_4.js +85 -85
- package/SVF-doxygen/html/search/functions_5.js +54 -54
- package/SVF-doxygen/html/search/functions_6.js +65 -65
- package/SVF-doxygen/html/search/functions_7.js +857 -857
- package/SVF-doxygen/html/search/functions_8.js +176 -176
- package/SVF-doxygen/html/search/functions_9.js +436 -438
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +22 -22
- package/SVF-doxygen/html/search/functions_d.js +81 -81
- package/SVF-doxygen/html/search/functions_e.js +34 -34
- package/SVF-doxygen/html/search/functions_f.js +58 -58
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +4 -4
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +5 -5
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +2 -2
- package/SVF-doxygen/html/search/related_d.js +11 -11
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +20 -18
- package/SVF-doxygen/html/search/typedefs_1.js +27 -27
- package/SVF-doxygen/html/search/typedefs_10.js +65 -65
- package/SVF-doxygen/html/search/typedefs_11.js +12 -12
- package/SVF-doxygen/html/search/typedefs_12.js +13 -13
- package/SVF-doxygen/html/search/typedefs_13.js +40 -40
- package/SVF-doxygen/html/search/typedefs_14.js +11 -11
- package/SVF-doxygen/html/search/typedefs_2.js +125 -125
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +42 -42
- package/SVF-doxygen/html/search/typedefs_6.js +54 -54
- package/SVF-doxygen/html/search/typedefs_7.js +47 -47
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +4 -4
- package/SVF-doxygen/html/search/typedefs_a.js +28 -30
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +170 -171
- package/SVF-doxygen/html/search/variables_1.js +78 -78
- package/SVF-doxygen/html/search/variables_10.js +98 -98
- package/SVF-doxygen/html/search/variables_11.js +47 -47
- package/SVF-doxygen/html/search/variables_12.js +93 -93
- package/SVF-doxygen/html/search/variables_13.js +76 -76
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +49 -49
- package/SVF-doxygen/html/search/variables_16.js +11 -11
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +17 -17
- package/SVF-doxygen/html/search/variables_2.js +40 -40
- package/SVF-doxygen/html/search/variables_3.js +143 -143
- package/SVF-doxygen/html/search/variables_4.js +51 -51
- package/SVF-doxygen/html/search/variables_5.js +39 -39
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +32 -32
- package/SVF-doxygen/html/search/variables_8.js +8 -8
- package/SVF-doxygen/html/search/variables_9.js +80 -80
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +44 -44
- package/SVF-doxygen/html/search/variables_d.js +58 -58
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +31 -31
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1RelExeState_01_4.html +6 -6
- package/package.json +1 -1
- package/svf/include/AE/Core/AbstractState.h +23 -24
- package/svf/include/AE/Core/RelExeState.h +10 -11
- package/svf/include/AE/Svfexe/AbstractInterpretation.h +4 -9
- package/svf/include/AE/Svfexe/SVFIR2AbsState.h +0 -3
- package/svf/lib/AE/Core/AbstractState.cpp +22 -22
- package/svf/lib/AE/Core/RelExeState.cpp +3 -3
- package/svf/lib/AE/Svfexe/AbstractInterpretation.cpp +3 -27
- package/svf/lib/AE/Svfexe/SVFIR2AbsState.cpp +8 -8
|
@@ -259,19 +259,19 @@ Additional Inherited Members</h2></td></tr>
|
|
|
259
259
|
</table>
|
|
260
260
|
</div><div class="memdoc">
|
|
261
261
|
|
|
262
|
-
<p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8cpp_source.html#
|
|
263
|
-
<div class="fragment"><div class="line"><a name="
|
|
264
|
-
<div class="line"><a name="
|
|
265
|
-
<div class="line"><a name="
|
|
266
|
-
<div class="line"><a name="
|
|
267
|
-
<div class="line"><a name="
|
|
268
|
-
<div class="line"><a name="
|
|
269
|
-
<div class="line"><a name="
|
|
270
|
-
<div class="line"><a name="
|
|
271
|
-
<div class="line"><a name="
|
|
272
|
-
<div class="line"><a name="
|
|
273
|
-
<div class="line"><a name="
|
|
274
|
-
<div class="line"><a name="
|
|
262
|
+
<p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8cpp_source.html#l00951">951</a> of file <a class="el" href="AbstractInterpretation_8cpp_source.html">AbstractInterpretation.cpp</a>.</p>
|
|
263
|
+
<div class="fragment"><div class="line"><a name="l00952"></a><span class="lineno"> 952</span> {</div>
|
|
264
|
+
<div class="line"><a name="l00953"></a><span class="lineno"> 953</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a> == 0)</div>
|
|
265
|
+
<div class="line"><a name="l00954"></a><span class="lineno"> 954</span>  {</div>
|
|
266
|
+
<div class="line"><a name="l00955"></a><span class="lineno"> 955</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"ES_Var_AVG_Num"</span>] = 0;</div>
|
|
267
|
+
<div class="line"><a name="l00956"></a><span class="lineno"> 956</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"ES_Loc_AVG_Num"</span>] = 0;</div>
|
|
268
|
+
<div class="line"><a name="l00957"></a><span class="lineno"> 957</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"ES_Var_Addr_AVG_Num"</span>] = 0;</div>
|
|
269
|
+
<div class="line"><a name="l00958"></a><span class="lineno"> 958</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"ES_Loc_Addr_AVG_Num"</span>] = 0;</div>
|
|
270
|
+
<div class="line"><a name="l00959"></a><span class="lineno"> 959</span>  }</div>
|
|
271
|
+
<div class="line"><a name="l00960"></a><span class="lineno"> 960</span>  ++<a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
|
|
272
|
+
<div class="line"><a name="l00961"></a><span class="lineno"> 961</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"ES_Var_AVG_Num"</span>] += <a class="code" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-><a class="code" href="classSVF_1_1AbstractInterpretation.html#af78f068a373ebb6a2f14dcde980a9dae">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2AbsState.html#afe8766165bfc4be1f9d5f5df25c954a3">getEs</a>().<a class="code" href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">getVarToVal</a>().size();</div>
|
|
273
|
+
<div class="line"><a name="l00962"></a><span class="lineno"> 962</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"ES_Loc_AVG_Num"</span>] += <a class="code" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-><a class="code" href="classSVF_1_1AbstractInterpretation.html#af78f068a373ebb6a2f14dcde980a9dae">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2AbsState.html#afe8766165bfc4be1f9d5f5df25c954a3">getEs</a>().<a class="code" href="classSVF_1_1AbstractState.html#ab8d9bf4a917a4691037ae08e2b634624">getLocToVal</a>().size();</div>
|
|
274
|
+
<div class="line"><a name="l00963"></a><span class="lineno"> 963</span> }</div>
|
|
275
275
|
</div><!-- fragment -->
|
|
276
276
|
</div>
|
|
277
277
|
</div>
|
|
@@ -290,46 +290,46 @@ Additional Inherited Members</h2></td></tr>
|
|
|
290
290
|
</table>
|
|
291
291
|
</div><div class="memdoc">
|
|
292
292
|
|
|
293
|
-
<p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8cpp_source.html#
|
|
294
|
-
<div class="fragment"><div class="line"><a name="
|
|
295
|
-
<div class="line"><a name="
|
|
296
|
-
<div class="line"><a name="
|
|
297
|
-
<div class="line"><a name="
|
|
298
|
-
<div class="line"><a name="
|
|
299
|
-
<div class="line"><a name="
|
|
300
|
-
<div class="line"><a name="
|
|
301
|
-
<div class="line"><a name="
|
|
302
|
-
<div class="line"><a name="
|
|
303
|
-
<div class="line"><a name="
|
|
304
|
-
<div class="line"><a name="
|
|
305
|
-
<div class="line"><a name="
|
|
306
|
-
<div class="line"><a name="
|
|
307
|
-
<div class="line"><a name="
|
|
308
|
-
<div class="line"><a name="
|
|
309
|
-
<div class="line"><a name="
|
|
310
|
-
<div class="line"><a name="
|
|
311
|
-
<div class="line"><a name="
|
|
312
|
-
<div class="line"><a name="
|
|
313
|
-
<div class="line"><a name="
|
|
314
|
-
<div class="line"><a name="
|
|
315
|
-
<div class="line"><a name="
|
|
316
|
-
<div class="line"><a name="
|
|
317
|
-
<div class="line"><a name="
|
|
318
|
-
<div class="line"><a name="
|
|
319
|
-
<div class="line"><a name="
|
|
320
|
-
<div class="line"><a name="
|
|
321
|
-
<div class="line"><a name="
|
|
322
|
-
<div class="line"><a name="
|
|
323
|
-
<div class="line"><a name="
|
|
324
|
-
<div class="line"><a name="
|
|
325
|
-
<div class="line"><a name="
|
|
326
|
-
<div class="line"><a name="
|
|
327
|
-
<div class="line"><a name="
|
|
328
|
-
<div class="line"><a name="
|
|
329
|
-
<div class="line"><a name="
|
|
330
|
-
<div class="line"><a name="
|
|
331
|
-
<div class="line"><a name="
|
|
332
|
-
<div class="line"><a name="
|
|
293
|
+
<p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8cpp_source.html#l00965">965</a> of file <a class="el" href="AbstractInterpretation_8cpp_source.html">AbstractInterpretation.cpp</a>.</p>
|
|
294
|
+
<div class="fragment"><div class="line"><a name="l00966"></a><span class="lineno"> 966</span> {</div>
|
|
295
|
+
<div class="line"><a name="l00967"></a><span class="lineno"> 967</span>  <a class="code" href="classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19">memUsage</a> = <a class="code" href="classSVF_1_1AEStat.html#acc2262e59167d040da3b5c726bdbf36e">getMemUsage</a>();</div>
|
|
296
|
+
<div class="line"><a name="l00968"></a><span class="lineno"> 968</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a> > 0)</div>
|
|
297
|
+
<div class="line"><a name="l00969"></a><span class="lineno"> 969</span>  {</div>
|
|
298
|
+
<div class="line"><a name="l00970"></a><span class="lineno"> 970</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"ES_Var_AVG_Num"</span>] /= <a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
|
|
299
|
+
<div class="line"><a name="l00971"></a><span class="lineno"> 971</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"ES_Loc_AVG_Num"</span>] /= <a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
|
|
300
|
+
<div class="line"><a name="l00972"></a><span class="lineno"> 972</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"ES_Var_Addr_AVG_Num"</span>] /= <a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
|
|
301
|
+
<div class="line"><a name="l00973"></a><span class="lineno"> 973</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"ES_Loc_Addr_AVG_Num"</span>] /= <a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
|
|
302
|
+
<div class="line"><a name="l00974"></a><span class="lineno"> 974</span>  }</div>
|
|
303
|
+
<div class="line"><a name="l00975"></a><span class="lineno"> 975</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"SVF_STMT_NUM"</span>] = <a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
|
|
304
|
+
<div class="line"><a name="l00976"></a><span class="lineno"> 976</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"ICFG_Node_Num"</span>] = <a class="code" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-><a class="code" href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">_svfir</a>-><a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-><a class="code" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a>;</div>
|
|
305
|
+
<div class="line"><a name="l00977"></a><span class="lineno"> 977</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> callSiteNum = 0;</div>
|
|
306
|
+
<div class="line"><a name="l00978"></a><span class="lineno"> 978</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> extCallSiteNum = 0;</div>
|
|
307
|
+
<div class="line"><a name="l00979"></a><span class="lineno"> 979</span>  <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<const SVFFunction *></a> funs;</div>
|
|
308
|
+
<div class="line"><a name="l00980"></a><span class="lineno"> 980</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &it: *<a class="code" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-><a class="code" href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">_svfir</a>-><a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>())</div>
|
|
309
|
+
<div class="line"><a name="l00981"></a><span class="lineno"> 981</span>  {</div>
|
|
310
|
+
<div class="line"><a name="l00982"></a><span class="lineno"> 982</span>  <span class="keywordflow">if</span> (it.second->getFun())</div>
|
|
311
|
+
<div class="line"><a name="l00983"></a><span class="lineno"> 983</span>  {</div>
|
|
312
|
+
<div class="line"><a name="l00984"></a><span class="lineno"> 984</span>  funs.insert(it.second->getFun());</div>
|
|
313
|
+
<div class="line"><a name="l00985"></a><span class="lineno"> 985</span>  }</div>
|
|
314
|
+
<div class="line"><a name="l00986"></a><span class="lineno"> 986</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *callNode = dyn_cast<CallICFGNode>(it.second))</div>
|
|
315
|
+
<div class="line"><a name="l00987"></a><span class="lineno"> 987</span>  {</div>
|
|
316
|
+
<div class="line"><a name="l00988"></a><span class="lineno"> 988</span>  <span class="keywordflow">if</span> (!<a class="code" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">isExtCall</a>(callNode->getCallSite()))</div>
|
|
317
|
+
<div class="line"><a name="l00989"></a><span class="lineno"> 989</span>  {</div>
|
|
318
|
+
<div class="line"><a name="l00990"></a><span class="lineno"> 990</span>  callSiteNum++;</div>
|
|
319
|
+
<div class="line"><a name="l00991"></a><span class="lineno"> 991</span>  }</div>
|
|
320
|
+
<div class="line"><a name="l00992"></a><span class="lineno"> 992</span>  <span class="keywordflow">else</span></div>
|
|
321
|
+
<div class="line"><a name="l00993"></a><span class="lineno"> 993</span>  {</div>
|
|
322
|
+
<div class="line"><a name="l00994"></a><span class="lineno"> 994</span>  extCallSiteNum++;</div>
|
|
323
|
+
<div class="line"><a name="l00995"></a><span class="lineno"> 995</span>  }</div>
|
|
324
|
+
<div class="line"><a name="l00996"></a><span class="lineno"> 996</span>  }</div>
|
|
325
|
+
<div class="line"><a name="l00997"></a><span class="lineno"> 997</span>  }</div>
|
|
326
|
+
<div class="line"><a name="l00998"></a><span class="lineno"> 998</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"Func_Num"</span>] = funs.size();</div>
|
|
327
|
+
<div class="line"><a name="l00999"></a><span class="lineno"> 999</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"EXT_CallSite_Num"</span>] = extCallSiteNum;</div>
|
|
328
|
+
<div class="line"><a name="l01000"></a><span class="lineno"> 1000</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"NonEXT_CallSite_Num"</span>] = callSiteNum;</div>
|
|
329
|
+
<div class="line"><a name="l01001"></a><span class="lineno"> 1001</span>  <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">"Bug_Num"</span>] = <a class="code" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-><a class="code" href="classSVF_1_1AbstractInterpretation.html#a09aa739395388f64fcb3d539d58d2041">_nodeToBugInfo</a>.size();</div>
|
|
330
|
+
<div class="line"><a name="l01002"></a><span class="lineno"> 1002</span>  <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<span class="stringliteral">"Total_Time(sec)"</span>] = (double)(<a class="code" href="classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d">endTime</a> - <a class="code" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">startTime</a>) / <a class="code" href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a>;</div>
|
|
331
|
+
<div class="line"><a name="l01003"></a><span class="lineno"> 1003</span>  </div>
|
|
332
|
+
<div class="line"><a name="l01004"></a><span class="lineno"> 1004</span> }</div>
|
|
333
333
|
</div><!-- fragment -->
|
|
334
334
|
</div>
|
|
335
335
|
</div>
|
|
@@ -491,42 +491,42 @@ Additional Inherited Members</h2></td></tr>
|
|
|
491
491
|
|
|
492
492
|
<p>Implements <a class="el" href="classSVF_1_1SVFStat.html#a77c24aa3409dcbf56f57302f237b1eeb">SVF::SVFStat</a>.</p>
|
|
493
493
|
|
|
494
|
-
<p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8cpp_source.html#
|
|
495
|
-
<div class="fragment"><div class="line"><a name="
|
|
496
|
-
<div class="line"><a name="
|
|
497
|
-
<div class="line"><a name="
|
|
498
|
-
<div class="line"><a name="
|
|
499
|
-
<div class="line"><a name="
|
|
500
|
-
<div class="line"><a name="
|
|
501
|
-
<div class="line"><a name="
|
|
502
|
-
<div class="line"><a name="
|
|
503
|
-
<div class="line"><a name="
|
|
504
|
-
<div class="line"><a name="
|
|
505
|
-
<div class="line"><a name="
|
|
506
|
-
<div class="line"><a name="
|
|
507
|
-
<div class="line"><a name="
|
|
508
|
-
<div class="line"><a name="
|
|
509
|
-
<div class="line"><a name="
|
|
510
|
-
<div class="line"><a name="
|
|
511
|
-
<div class="line"><a name="
|
|
512
|
-
<div class="line"><a name="
|
|
513
|
-
<div class="line"><a name="
|
|
514
|
-
<div class="line"><a name="
|
|
515
|
-
<div class="line"><a name="
|
|
516
|
-
<div class="line"><a name="
|
|
517
|
-
<div class="line"><a name="
|
|
518
|
-
<div class="line"><a name="
|
|
519
|
-
<div class="line"><a name="
|
|
520
|
-
<div class="line"><a name="
|
|
521
|
-
<div class="line"><a name="
|
|
522
|
-
<div class="line"><a name="
|
|
523
|
-
<div class="line"><a name="
|
|
524
|
-
<div class="line"><a name="
|
|
525
|
-
<div class="line"><a name="
|
|
526
|
-
<div class="line"><a name="
|
|
527
|
-
<div class="line"><a name="
|
|
528
|
-
<div class="line"><a name="
|
|
529
|
-
<div class="line"><a name="
|
|
494
|
+
<p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8cpp_source.html#l01006">1006</a> of file <a class="el" href="AbstractInterpretation_8cpp_source.html">AbstractInterpretation.cpp</a>.</p>
|
|
495
|
+
<div class="fragment"><div class="line"><a name="l01007"></a><span class="lineno"> 1007</span> {</div>
|
|
496
|
+
<div class="line"><a name="l01008"></a><span class="lineno"> 1008</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> fullName(<a class="code" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-><a class="code" href="classSVF_1_1AbstractInterpretation.html#afefc0098ecd9bc01ce270a4a6f251b0c">_moduleName</a>);</div>
|
|
497
|
+
<div class="line"><a name="l01009"></a><span class="lineno"> 1009</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>;</div>
|
|
498
|
+
<div class="line"><a name="l01010"></a><span class="lineno"> 1010</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">moduleName</a>;</div>
|
|
499
|
+
<div class="line"><a name="l01011"></a><span class="lineno"> 1011</span>  <span class="keywordflow">if</span> (fullName.find(<span class="charliteral">'/'</span>) == std::string::npos)</div>
|
|
500
|
+
<div class="line"><a name="l01012"></a><span class="lineno"> 1012</span>  {</div>
|
|
501
|
+
<div class="line"><a name="l01013"></a><span class="lineno"> 1013</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a> = fullName;</div>
|
|
502
|
+
<div class="line"><a name="l01014"></a><span class="lineno"> 1014</span>  <a class="code" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">moduleName</a> = <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>.substr(0, fullName.find(<span class="charliteral">'.'</span>));</div>
|
|
503
|
+
<div class="line"><a name="l01015"></a><span class="lineno"> 1015</span>  }</div>
|
|
504
|
+
<div class="line"><a name="l01016"></a><span class="lineno"> 1016</span>  <span class="keywordflow">else</span></div>
|
|
505
|
+
<div class="line"><a name="l01017"></a><span class="lineno"> 1017</span>  {</div>
|
|
506
|
+
<div class="line"><a name="l01018"></a><span class="lineno"> 1018</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a> = fullName.substr(fullName.find(<span class="charliteral">'/'</span>), fullName.size());</div>
|
|
507
|
+
<div class="line"><a name="l01019"></a><span class="lineno"> 1019</span>  <a class="code" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">moduleName</a> = <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>.substr(0, fullName.find(<span class="charliteral">'.'</span>));</div>
|
|
508
|
+
<div class="line"><a name="l01020"></a><span class="lineno"> 1020</span>  }</div>
|
|
509
|
+
<div class="line"><a name="l01021"></a><span class="lineno"> 1021</span>  </div>
|
|
510
|
+
<div class="line"><a name="l01022"></a><span class="lineno"> 1022</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() << <span class="stringliteral">"\n************************\n"</span>;</div>
|
|
511
|
+
<div class="line"><a name="l01023"></a><span class="lineno"> 1023</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() << <span class="stringliteral">"################ (program : "</span> << <a class="code" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">moduleName</a> << <span class="stringliteral">")###############\n"</span>;</div>
|
|
512
|
+
<div class="line"><a name="l01024"></a><span class="lineno"> 1024</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flags(std::ios::left);</div>
|
|
513
|
+
<div class="line"><a name="l01025"></a><span class="lineno"> 1025</span>  <span class="keywordtype">unsigned</span> field_width = 30;</div>
|
|
514
|
+
<div class="line"><a name="l01026"></a><span class="lineno"> 1026</span>  <span class="keywordflow">for</span> (NUMStatMap::iterator it = <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>.begin(), eit = <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>.end(); it != eit; ++it)</div>
|
|
515
|
+
<div class="line"><a name="l01027"></a><span class="lineno"> 1027</span>  {</div>
|
|
516
|
+
<div class="line"><a name="l01028"></a><span class="lineno"> 1028</span>  <span class="comment">// format out put with width 20 space</span></div>
|
|
517
|
+
<div class="line"><a name="l01029"></a><span class="lineno"> 1029</span>  std::cout << std::setw(field_width) << it->first << it->second << <span class="stringliteral">"\n"</span>;</div>
|
|
518
|
+
<div class="line"><a name="l01030"></a><span class="lineno"> 1030</span>  }</div>
|
|
519
|
+
<div class="line"><a name="l01031"></a><span class="lineno"> 1031</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() << <span class="stringliteral">"-------------------------------------------------------\n"</span>;</div>
|
|
520
|
+
<div class="line"><a name="l01032"></a><span class="lineno"> 1032</span>  <span class="keywordflow">for</span> (TIMEStatMap::iterator it = <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>.begin(), eit = <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>.end(); it != eit; ++it)</div>
|
|
521
|
+
<div class="line"><a name="l01033"></a><span class="lineno"> 1033</span>  {</div>
|
|
522
|
+
<div class="line"><a name="l01034"></a><span class="lineno"> 1034</span>  <span class="comment">// format out put with width 20 space</span></div>
|
|
523
|
+
<div class="line"><a name="l01035"></a><span class="lineno"> 1035</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() << std::setw(field_width) << it->first << it->second << <span class="stringliteral">"\n"</span>;</div>
|
|
524
|
+
<div class="line"><a name="l01036"></a><span class="lineno"> 1036</span>  }</div>
|
|
525
|
+
<div class="line"><a name="l01037"></a><span class="lineno"> 1037</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() << <span class="stringliteral">"Memory usage: "</span> << <a class="code" href="classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19">memUsage</a> << <span class="stringliteral">"\n"</span>;</div>
|
|
526
|
+
<div class="line"><a name="l01038"></a><span class="lineno"> 1038</span>  </div>
|
|
527
|
+
<div class="line"><a name="l01039"></a><span class="lineno"> 1039</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() << <span class="stringliteral">"#######################################################"</span> << std::endl;</div>
|
|
528
|
+
<div class="line"><a name="l01040"></a><span class="lineno"> 1040</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flush();</div>
|
|
529
|
+
<div class="line"><a name="l01041"></a><span class="lineno"> 1041</span> }</div>
|
|
530
530
|
</div><!-- fragment -->
|
|
531
531
|
</div>
|
|
532
532
|
</div>
|
|
@@ -545,29 +545,29 @@ Additional Inherited Members</h2></td></tr>
|
|
|
545
545
|
</table>
|
|
546
546
|
</div><div class="memdoc">
|
|
547
547
|
|
|
548
|
-
<p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8cpp_source.html#
|
|
549
|
-
<div class="fragment"><div class="line"><a name="
|
|
550
|
-
<div class="line"><a name="
|
|
551
|
-
<div class="line"><a name="
|
|
552
|
-
<div class="line"><a name="
|
|
553
|
-
<div class="line"><a name="
|
|
554
|
-
<div class="line"><a name="
|
|
555
|
-
<div class="line"><a name="
|
|
556
|
-
<div class="line"><a name="
|
|
557
|
-
<div class="line"><a name="
|
|
558
|
-
<div class="line"><a name="
|
|
559
|
-
<div class="line"><a name="
|
|
560
|
-
<div class="line"><a name="
|
|
561
|
-
<div class="line"><a name="
|
|
562
|
-
<div class="line"><a name="
|
|
563
|
-
<div class="line"><a name="
|
|
564
|
-
<div class="line"><a name="
|
|
565
|
-
<div class="line"><a name="
|
|
566
|
-
<div class="line"><a name="
|
|
567
|
-
<div class="line"><a name="
|
|
568
|
-
<div class="line"><a name="
|
|
569
|
-
<div class="line"><a name="
|
|
570
|
-
<div class="line"><a name="
|
|
548
|
+
<p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8cpp_source.html#l01043">1043</a> of file <a class="el" href="AbstractInterpretation_8cpp_source.html">AbstractInterpretation.cpp</a>.</p>
|
|
549
|
+
<div class="fragment"><div class="line"><a name="l01044"></a><span class="lineno"> 1044</span> {</div>
|
|
550
|
+
<div class="line"><a name="l01045"></a><span class="lineno"> 1045</span>  </div>
|
|
551
|
+
<div class="line"><a name="l01046"></a><span class="lineno"> 1046</span>  std::ofstream f;</div>
|
|
552
|
+
<div class="line"><a name="l01047"></a><span class="lineno"> 1047</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#ad989eab7d521e9933ac8e46e1c29f662">Options::OutputName</a>().size() == 0)</div>
|
|
553
|
+
<div class="line"><a name="l01048"></a><span class="lineno"> 1048</span>  {</div>
|
|
554
|
+
<div class="line"><a name="l01049"></a><span class="lineno"> 1049</span>  f.open(<span class="stringliteral">"/dev/null"</span>);</div>
|
|
555
|
+
<div class="line"><a name="l01050"></a><span class="lineno"> 1050</span>  }</div>
|
|
556
|
+
<div class="line"><a name="l01051"></a><span class="lineno"> 1051</span>  <span class="keywordflow">else</span></div>
|
|
557
|
+
<div class="line"><a name="l01052"></a><span class="lineno"> 1052</span>  {</div>
|
|
558
|
+
<div class="line"><a name="l01053"></a><span class="lineno"> 1053</span>  f.open(<a class="code" href="classSVF_1_1Options.html#ad989eab7d521e9933ac8e46e1c29f662">Options::OutputName</a>());</div>
|
|
559
|
+
<div class="line"><a name="l01054"></a><span class="lineno"> 1054</span>  }</div>
|
|
560
|
+
<div class="line"><a name="l01055"></a><span class="lineno"> 1055</span>  </div>
|
|
561
|
+
<div class="line"><a name="l01056"></a><span class="lineno"> 1056</span>  std::cerr << <span class="stringliteral">"######################Full Overflow ("</span> + std::to_string(<a class="code" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-><a class="code" href="classSVF_1_1AbstractInterpretation.html#a09aa739395388f64fcb3d539d58d2041">_nodeToBugInfo</a>.size()) + <span class="stringliteral">" found)######################\n"</span>;</div>
|
|
562
|
+
<div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>  f << <span class="stringliteral">"######################Full Overflow ("</span> + std::to_string(<a class="code" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-><a class="code" href="classSVF_1_1AbstractInterpretation.html#a09aa739395388f64fcb3d539d58d2041">_nodeToBugInfo</a>.size()) + <span class="stringliteral">" found)######################\n"</span>;</div>
|
|
563
|
+
<div class="line"><a name="l01058"></a><span class="lineno"> 1058</span>  std::cerr << <span class="stringliteral">"---------------------------------------------\n"</span>;</div>
|
|
564
|
+
<div class="line"><a name="l01059"></a><span class="lineno"> 1059</span>  f << <span class="stringliteral">"---------------------------------------------\n"</span>;</div>
|
|
565
|
+
<div class="line"><a name="l01060"></a><span class="lineno"> 1060</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span>& it: <a class="code" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-><a class="code" href="classSVF_1_1AbstractInterpretation.html#a09aa739395388f64fcb3d539d58d2041">_nodeToBugInfo</a>)</div>
|
|
566
|
+
<div class="line"><a name="l01061"></a><span class="lineno"> 1061</span>  {</div>
|
|
567
|
+
<div class="line"><a name="l01062"></a><span class="lineno"> 1062</span>  std::cerr << it.second << <span class="stringliteral">"---------------------------------------------\n"</span>;</div>
|
|
568
|
+
<div class="line"><a name="l01063"></a><span class="lineno"> 1063</span>  f << it.second << <span class="stringliteral">"---------------------------------------------\n"</span>;</div>
|
|
569
|
+
<div class="line"><a name="l01064"></a><span class="lineno"> 1064</span>  }</div>
|
|
570
|
+
<div class="line"><a name="l01065"></a><span class="lineno"> 1065</span> }</div>
|
|
571
571
|
</div><!-- fragment -->
|
|
572
572
|
</div>
|
|
573
573
|
</div>
|
|
@@ -657,8 +657,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
657
657
|
<li>/home/runner/work/SVF/SVF/svf/lib/AE/Svfexe/<a class="el" href="AbstractInterpretation_8cpp_source.html">AbstractInterpretation.cpp</a></li>
|
|
658
658
|
</ul>
|
|
659
659
|
</div><!-- contents -->
|
|
660
|
-
<div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_afefc0098ecd9bc01ce270a4a6f251b0c"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#afefc0098ecd9bc01ce270a4a6f251b0c">SVF::AbstractInterpretation::_moduleName</a></div><div class="ttdeci">std::string _moduleName</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#
|
|
661
|
-
<div class="ttc" id="aclassSVF_1_1AbstractState_html_ab409b0084c202ddf437b45873d6992c6"><div class="ttname"><a href="classSVF_1_1AbstractState.html#ab409b0084c202ddf437b45873d6992c6">SVF::AbstractState::getLocToVal</a></div><div class="ttdeci">const LocToAbsValMap & getLocToVal() const</div><div class="ttdoc">get loc2val map</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00260">AbstractState.h:260</a></div></div>
|
|
660
|
+
<div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_afefc0098ecd9bc01ce270a4a6f251b0c"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#afefc0098ecd9bc01ce270a4a6f251b0c">SVF::AbstractInterpretation::_moduleName</a></div><div class="ttdeci">std::string _moduleName</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00385">AbstractInterpretation.h:385</a></div></div>
|
|
662
661
|
<div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
|
|
663
662
|
<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#l00080">SVFStat.h:80</a></div></div>
|
|
664
663
|
<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set< Key, Hash, KeyEqual, Allocator > Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
|
|
@@ -681,7 +680,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
681
680
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a38122734cbe71551a420dfb7fee2012e"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">SVF::GenericGraph::nodeNum</a></div><div class="ttdeci">u32_t nodeNum</div><div class="ttdoc">total num of edge</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00456">GenericGraph.h:456</a></div></div>
|
|
682
681
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a22ef185e767ff76c098e75126c885400"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00309">SVFUtil.h:309</a></div></div>
|
|
683
682
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00170">SVFIR.h:170</a></div></div>
|
|
684
|
-
<div class="ttc" id="
|
|
683
|
+
<div class="ttc" id="aclassSVF_1_1AbstractState_html_ab8d9bf4a917a4691037ae08e2b634624"><div class="ttname"><a href="classSVF_1_1AbstractState.html#ab8d9bf4a917a4691037ae08e2b634624">SVF::AbstractState::getLocToVal</a></div><div class="ttdeci">const AddrToAbsValMap & getLocToVal() const</div><div class="ttdoc">get loc2val map</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00259">AbstractState.h:259</a></div></div>
|
|
684
|
+
<div class="ttc" id="aclassSVF_1_1AbstractState_html_a4e4525823fd31c718216c698ed6e0a06"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">SVF::AbstractState::getVarToVal</a></div><div class="ttdeci">const VarToAbsValMap & getVarToVal() const</div><div class="ttdoc">get var2val map</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00253">AbstractState.h:253</a></div></div>
|
|
685
685
|
<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>
|
|
686
686
|
<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#l00078">SVFStat.h:78</a></div></div>
|
|
687
687
|
<div class="ttc" id="aclassSVF_1_1SVFStat_html_a3333e45303dcc9c3da00858628cdbbff"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">SVF::SVFStat::moduleName</a></div><div class="ttdeci">std::string moduleName</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00099">SVFStat.h:99</a></div></div>
|
|
@@ -83,10 +83,10 @@ $(function() {
|
|
|
83
83
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#af41aa555a5b607ae7700263ac72f8dbb">_funcToWTO</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
84
84
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ab988e460fe92f0ba3c4cbee8e0c480a0">_icfg</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
85
85
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a5d3b15c3cdb9c8e91b942924bf8aee21">_kind</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
86
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#afefc0098ecd9bc01ce270a4a6f251b0c">_moduleName</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#afefc0098ecd9bc01ce270a4a6f251b0c">_moduleName</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
87
87
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a09aa739395388f64fcb3d539d58d2041">_nodeToBugInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
88
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a5bcfbde64bd51082e8c587e0bc708377">_postAbstractTrace</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ac97c5979efd3049d18b6edb83f359a20">_preAbstractTrace</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">
|
|
88
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a5bcfbde64bd51082e8c587e0bc708377">_postAbstractTrace</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ac97c5979efd3049d18b6edb83f359a20">_preAbstractTrace</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
90
90
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a8e4f0c5f527e321369a19a0b37124079">_recoder</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
91
91
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a9b5e58476c372570551da971d22c5c02">_recursiveFuns</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
92
92
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a75e493e6b9db3e29428794432d293bc2">_stat</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
@@ -122,7 +122,7 @@ $(function() {
|
|
|
122
122
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#acba90e968cebacca3da78ac765df33ef">handleStrcat</a>(const CallICFGNode *call)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
123
123
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ac941d1eb9b1216c8334d0685a471b774">handleStrcpy</a>(const CallICFGNode *call)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
124
124
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a896d04a02951947bc228bf97b2c00313">handleSVFStatement</a>(const SVFStmt *stmt)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
125
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a80d663262a8d909ef5756391cdd82246">handleWTONode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
125
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a80d663262a8d909ef5756391cdd82246">handleWTONode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
126
126
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a12cba4105a721ff73a7b13b70ee9c5b2">hasBranchES</a>(const IntraCFGEdge *intraEdge, AbstractState &es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
127
127
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a01650b2a16e327408ce180b2d1bc9631">hasCmpBranchES</a>(const CmpStmt *cmpStmt, s64_t succ, AbstractState &es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
128
128
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ac3f8e4602627135c6fb03ba843893d6a">hasSwitchBranchES</a>(const SVFVar *var, s64_t succ, AbstractState &es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
@@ -130,15 +130,13 @@ $(function() {
|
|
|
130
130
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ab18fe64117c1692d94ce0e0ee44e940b">initExtFunMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
131
131
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a14c758bcbbc7d8197c5fa1851720b663">isDirectCall</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
|
|
132
132
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a2eb84610d9a9eca6565e4a8a1e1156d1">isExtCall</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
|
|
133
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a156687481295e019887c5ea309360347">isFunEntry</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
134
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#abcbfff7e33ef9d901bb37e64fe2ba53c">isGlobalEntry</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
135
133
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a330379cef58219f72f4ec4c12a6d86ea">isIndirectCall</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
|
|
136
134
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a0e2af184576d9673f535fe80deb944f6">isRecursiveCall</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
|
|
137
135
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a738d1768c632f86d04599ec1aa53952a">markRecursiveFuns</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
138
136
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daa9cc269dadf9cff7d399c54d9570a6614">MEMCPY</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"></td></tr>
|
|
139
137
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daa5aec33226dc590ec951d0f12bf35f15f">MEMSET</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"></td></tr>
|
|
140
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a8a4b07e6c999bea0b0e69dcab0346933">narrowFixpointPass</a>(const ICFGNode *cycle_head, AbstractState &pre_es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">
|
|
141
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#
|
|
138
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a8a4b07e6c999bea0b0e69dcab0346933">narrowFixpointPass</a>(const ICFGNode *cycle_head, AbstractState &pre_es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
139
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a3a12a86670eef9cd22b1853c7c6fa208">propagateStateIfFeasible</a>(const ICFGNode *curNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
142
140
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a0e36af6b826b9eacf183aebd0b8c5f1f">recursiveCallPass</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
|
|
143
141
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a971a676fb15da74d37de14725bab40b0">runOnModule</a>(ICFG *icfg)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
144
142
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#af966130d5cb8d7db786c3ec056cc2dd4">SkipRecursiveCall</a>(const CallICFGNode *callnode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
@@ -148,7 +146,7 @@ $(function() {
|
|
|
148
146
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a7dfd11b987d9ff9528277e23191ed95d">strRead</a>(const SVFValue *rhs)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
149
147
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#ac9e8bc430cd530e47811e28f5a9fe963">traceMemoryAllocationSize</a>(const SVFValue *value)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
150
148
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daad20658cd0f68b92583461b0b1f68d543">UNCLASSIFIED</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"></td></tr>
|
|
151
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a1b8e1e0cc9803687a0eb951015ac59af">widenFixpointPass</a>(const ICFGNode *cycle_head, AbstractState &pre_es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">
|
|
149
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#a1b8e1e0cc9803687a0eb951015ac59af">widenFixpointPass</a>(const ICFGNode *cycle_head, AbstractState &pre_es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
152
150
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html#aae29a8da31fddd069cb0e19cc2f78d46">~AbstractInterpretation</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AbstractInterpretation.html">SVF::AbstractInterpretation</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
153
151
|
</table></div><!-- contents -->
|
|
154
152
|
<!-- start footer part -->
|