svf-tools 1.0.892 → 1.0.894
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/AbstractExecution_8cpp.html +3 -3
- package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +1746 -1753
- package/SVF-doxygen/html/AbstractExecution_8h.html +0 -2
- package/SVF-doxygen/html/AbstractExecution_8h_source.html +284 -335
- package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +773 -791
- package/SVF-doxygen/html/BufOverflowChecker_8h.html +0 -2
- package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +48 -81
- package/SVF-doxygen/html/ae_8cpp.html +16 -19
- package/SVF-doxygen/html/ae_8cpp_source.html +16 -19
- package/SVF-doxygen/html/annotated.html +434 -436
- package/SVF-doxygen/html/classSVF_1_1AEStat.html +168 -168
- package/SVF-doxygen/html/classSVF_1_1AbstractExecution-members.html +49 -24
- package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +2533 -1041
- package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +71 -41
- package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +777 -63
- package/SVF-doxygen/html/classes.html +418 -421
- package/SVF-doxygen/html/functions.html +8 -12
- package/SVF-doxygen/html/functions_a.html +10 -11
- package/SVF-doxygen/html/functions_b.html +5 -9
- package/SVF-doxygen/html/functions_c.html +26 -28
- package/SVF-doxygen/html/functions_d.html +2 -2
- package/SVF-doxygen/html/functions_e.html +2 -2
- package/SVF-doxygen/html/functions_enum.html +1 -1
- package/SVF-doxygen/html/functions_eval_m.html +2 -2
- package/SVF-doxygen/html/functions_eval_s.html +2 -2
- package/SVF-doxygen/html/functions_eval_u.html +1 -1
- package/SVF-doxygen/html/functions_func.html +9 -12
- package/SVF-doxygen/html/functions_func_b.html +2 -5
- package/SVF-doxygen/html/functions_func_c.html +25 -27
- package/SVF-doxygen/html/functions_func_d.html +2 -2
- package/SVF-doxygen/html/functions_func_g.html +15 -16
- package/SVF-doxygen/html/functions_func_h.html +6 -6
- package/SVF-doxygen/html/functions_func_i.html +9 -13
- package/SVF-doxygen/html/functions_func_p.html +1 -1
- package/SVF-doxygen/html/functions_func_s.html +19 -20
- package/SVF-doxygen/html/functions_func_t.html +1 -1
- package/SVF-doxygen/html/functions_func_~.html +0 -3
- package/SVF-doxygen/html/functions_g.html +21 -22
- package/SVF-doxygen/html/functions_h.html +6 -6
- package/SVF-doxygen/html/functions_i.html +15 -19
- package/SVF-doxygen/html/functions_l.html +5 -5
- package/SVF-doxygen/html/functions_m.html +2 -2
- package/SVF-doxygen/html/functions_o.html +15 -15
- package/SVF-doxygen/html/functions_p.html +13 -13
- package/SVF-doxygen/html/functions_r.html +4 -2
- package/SVF-doxygen/html/functions_s.html +21 -22
- package/SVF-doxygen/html/functions_t.html +5 -5
- package/SVF-doxygen/html/functions_type_c.html +1 -1
- package/SVF-doxygen/html/functions_u.html +1 -1
- package/SVF-doxygen/html/functions_vars.html +8 -12
- package/SVF-doxygen/html/functions_vars_b.html +0 -3
- package/SVF-doxygen/html/functions_w.html +7 -13
- package/SVF-doxygen/html/functions_~.html +0 -3
- package/SVF-doxygen/html/hierarchy.html +629 -631
- package/SVF-doxygen/html/namespaceSVF.html +5 -9
- package/SVF-doxygen/html/search/all_0.js +11 -11
- package/SVF-doxygen/html/search/all_1.js +5 -5
- package/SVF-doxygen/html/search/all_10.js +325 -325
- package/SVF-doxygen/html/search/all_11.js +226 -226
- package/SVF-doxygen/html/search/all_12.js +570 -570
- package/SVF-doxygen/html/search/all_13.js +207 -207
- package/SVF-doxygen/html/search/all_14.js +70 -70
- package/SVF-doxygen/html/search/all_15.js +176 -176
- 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 +26 -26
- package/SVF-doxygen/html/search/all_1a.js +179 -180
- package/SVF-doxygen/html/search/all_2.js +65 -66
- package/SVF-doxygen/html/search/all_3.js +640 -640
- package/SVF-doxygen/html/search/all_4.js +235 -235
- package/SVF-doxygen/html/search/all_5.js +126 -126
- package/SVF-doxygen/html/search/all_6.js +232 -232
- package/SVF-doxygen/html/search/all_7.js +1047 -1047
- package/SVF-doxygen/html/search/all_8.js +215 -215
- package/SVF-doxygen/html/search/all_9.js +629 -630
- package/SVF-doxygen/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/search/all_c.js +115 -115
- package/SVF-doxygen/html/search/all_d.js +204 -204
- package/SVF-doxygen/html/search/all_e.js +209 -209
- package/SVF-doxygen/html/search/all_f.js +122 -122
- package/SVF-doxygen/html/search/classes_0.js +28 -29
- package/SVF-doxygen/html/search/classes_1.js +11 -12
- package/SVF-doxygen/html/search/classes_10.js +74 -74
- 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 +73 -73
- package/SVF-doxygen/html/search/classes_3.js +35 -35
- package/SVF-doxygen/html/search/classes_4.js +8 -8
- 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 +38 -38
- package/SVF-doxygen/html/search/classes_8.js +59 -59
- 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 +4 -4
- 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 +4 -4
- 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 +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +4 -4
- 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 +15 -15
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +4 -4
- 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 +3 -3
- 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 +47 -47
- 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 +23 -23
- 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 +18 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +47 -47
- package/SVF-doxygen/html/search/files_0.js +16 -16
- 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 +53 -53
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- 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 +17 -17
- 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 +62 -62
- 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 +368 -369
- 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 +299 -299
- package/SVF-doxygen/html/search/functions_13.js +73 -73
- package/SVF-doxygen/html/search/functions_14.js +41 -41
- package/SVF-doxygen/html/search/functions_15.js +72 -72
- 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 +179 -180
- package/SVF-doxygen/html/search/functions_2.js +94 -95
- package/SVF-doxygen/html/search/functions_3.js +261 -261
- package/SVF-doxygen/html/search/functions_4.js +84 -84
- package/SVF-doxygen/html/search/functions_5.js +57 -57
- package/SVF-doxygen/html/search/functions_6.js +65 -65
- package/SVF-doxygen/html/search/functions_7.js +863 -863
- package/SVF-doxygen/html/search/functions_8.js +162 -162
- package/SVF-doxygen/html/search/functions_9.js +438 -439
- 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 +25 -25
- package/SVF-doxygen/html/search/functions_d.js +82 -82
- package/SVF-doxygen/html/search/functions_e.js +36 -36
- 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 +12 -12
- 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 +19 -19
- package/SVF-doxygen/html/search/typedefs_1.js +27 -27
- package/SVF-doxygen/html/search/typedefs_10.js +63 -63
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +11 -11
- 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 +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- 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 +177 -177
- package/SVF-doxygen/html/search/variables_1.js +76 -76
- package/SVF-doxygen/html/search/variables_10.js +98 -98
- package/SVF-doxygen/html/search/variables_11.js +46 -46
- 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 -41
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- 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 +34 -34
- package/SVF-doxygen/html/search/variables_8.js +8 -8
- package/SVF-doxygen/html/search/variables_9.js +79 -79
- 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 +45 -45
- package/SVF-doxygen/html/search/variables_d.js +57 -57
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +31 -31
- package/package.json +1 -1
- package/setup.sh +1 -1
- package/svf/include/AE/Svfexe/AbstractExecution.h +55 -102
- package/svf/include/AE/Svfexe/BufOverflowChecker.h +12 -33
- package/svf/lib/AE/Svfexe/AbstractExecution.cpp +59 -64
- package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +44 -59
- package/svf-llvm/tools/AE/ae.cpp +1 -2
|
@@ -77,32 +77,50 @@ $(function() {
|
|
|
77
77
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637">_bugLoc</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
78
78
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50">_callgraph</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
79
79
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1">_callSiteStack</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
80
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
81
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
82
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
83
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
84
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
85
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
86
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
87
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
88
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
90
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
91
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
92
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
93
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
94
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
95
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
96
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
80
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a32abc52bc54745027aa2daa67a8278f3">_checkpoint_names</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
81
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a0a64bef0cc898059c50f6aec470cc6d9">_checkpoints</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
82
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#ac1742440725909fee77526726424d135">_func_map</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
83
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#ade8434d8f0f5d832842d60b7a56fa64f">_funcToWTO</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
84
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201">_icfg</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
85
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70">_kind</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5">_moduleName</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
87
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a04e812385041270901af0f2cb599fa96">_nodeToBugInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
88
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a9c6a5b802710efe11b34df45a3f8f73b">_postES</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a86d304f1a16689234d091da4e6e967a7">_preES</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
90
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31">_recoder</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3">_recursiveFuns</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
92
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0">_stat</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0">_svfir</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a></td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
95
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a84d8fedb7e9d23e92ffcb74b4cfbf78c">AbstractExecution</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"></td></tr>
|
|
96
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#ac920e03f019c47e585f6d0138f91585f">AccessMemoryViaCallArgs</a>(const SVF::SVFArgument *arg, SVF::FILOWorkList< const SVFValue * > &worklist, Set< const SVFValue * > &visited)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
97
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a20df87d2a269c3feab3acc40e4cd8801">AccessMemoryViaCopyStmt</a>(const CopyStmt *copy, SVF::FILOWorkList< const SVFValue * > &worklist, Set< const SVFValue * > &visited)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
98
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a98f3c7d5e4b3722b717071cd320c8a60">AccessMemoryViaLoadStmt</a>(const LoadStmt *load, SVF::FILOWorkList< const SVFValue * > &worklist, Set< const SVFValue * > &visited)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
99
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a140acf4733b46855c8627cf10dbb0bd5">AccessMemoryViaRetNode</a>(const CallICFGNode *callnode, SVF::FILOWorkList< const SVFValue * > &worklist, Set< const SVFValue * > &visited)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
100
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#ac0bcb586dffbfadeb33f501cafbaa1c9">AEAPI</a> class</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
101
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#adc6fd1004f4277cb4d6c8bb0dacf3208">AEStat</a> class</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
102
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a46364bb8814f7bf6ddd492aa7dc58ffb">analyse</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"></td></tr>
|
|
103
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a39c711b4657459d03ec67ae536bdec4d">CallGraphSCC</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"></td></tr>
|
|
104
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#aaa2f3713bd6d39bb4e9b5119b64277c7">checkPointAllSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
97
105
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a9c23029833558b082c613fa5e0f14c0d">classof</a>(const AbstractExecution *ae)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
98
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
106
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#afb6de3effc0f483836bfe9f42aca760d">collectCheckPoint</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
107
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#aff1c9582db75361b68aaaf0c4b8b6f0d">directCallFunPass</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
|
|
108
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43af">ExtAPIType</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"></td></tr>
|
|
99
109
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#acf4a6c3fe5a2239512acb791b9aba854">extCallPass</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
|
|
100
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
101
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
102
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
110
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a598cb7b97bae122d0015c03b72beee9d">getAllocaInstByteSize</a>(const AddrStmt *addr)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
111
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">getKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
112
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a888fd56160afe0d431c47bcf10674dc0">getPointeeElement</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
113
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a99be86146ad4ddbdb900cdb6b324f943">getStrlen</a>(const SVF::SVFValue *strValue)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
114
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a6cbc336372afb947c783fb14c45426df">handleCallSite</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
115
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a609f7f047d88f8a2f44cd783668dc179">handleCycle</a>(const ICFGWTOCycle *cycle)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
116
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#ae002abb8711300ff52200f78f1463369">handleExtAPI</a>(const CallICFGNode *call)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
103
117
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#adb88a8be0bc1c1ac2d1546e9191c6f93">handleFunc</a>(const SVFFunction *func)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
104
118
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a7efff2047b2b6017fdd210a8679817cd">handleGlobalNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
105
119
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a714fa1f4794008f630de415414cf8bfd">handleICFGNode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
120
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a37c0e12879d3320857a288191e6d2202">handleMemcpy</a>(const SVFValue *dst, const SVFValue *src, IntervalValue len, u32_t start_idx)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
121
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#ad70015e99339c3beb3a911c0ff6f0144">handleMemset</a>(const SVFValue *dst, IntervalValue elem, IntervalValue len)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
122
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a28c04e0a985eda44fe8532c44c7e05bb">handleStrcat</a>(const CallICFGNode *call)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
123
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a0ed5456bdeaff7ab4e1decdff8ae2afb">handleStrcpy</a>(const CallICFGNode *call)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
106
124
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a1d725fe50a7084bfa18bd47b941af885">handleSVFStatement</a>(const SVFStmt *stmt)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
107
125
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a6c06e39df9b60a25480b4f485d1c2cbb">handleWTONode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
108
126
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a28df4f2bd5b337468f254cd609adb25f">hasBranchES</a>(const IntraCFGEdge *intraEdge, IntervalExeState &es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
@@ -110,7 +128,7 @@ $(function() {
|
|
|
110
128
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a6f02cd1885c0879cb88149c91998291f">hasInEdgesES</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
111
129
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#adc740771e712644d08f95fc6c488c1af">hasSwitchBranchES</a>(const SVFVar *var, s64_t succ, IntervalExeState &es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
112
130
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#accf5896d39647e41e1408fa90935b650">indirectCallFunPass</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
|
|
113
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
131
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a5715b1a5994715f19b17687b9e91d7c8">initExtFunMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
114
132
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#aec702d92bbba9e847a9b3eada060a2c5">isDirectCall</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
|
|
115
133
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a319fe24ebb925f70fde574d5b17c3b98">isExtCall</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
|
|
116
134
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a76595e5d1a25c6c012f949f2d94c5ab6">isFunEntry</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
@@ -118,13 +136,20 @@ $(function() {
|
|
|
118
136
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#ad1baaa8eaad68b215f63941776e79ccf">isIndirectCall</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
|
|
119
137
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a6b92cdb6c5d3ae425955864536f2cba7">isRecursiveCall</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
|
|
120
138
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#ae641b5687513661a2542e8318430d760">markRecursiveFuns</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</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_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa622ab5082468499be675c2783aaf3dcf">MEMCPY</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"></td></tr>
|
|
140
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa45836a81adf553b872a061e5fe4c5be8">MEMSET</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"></td></tr>
|
|
121
141
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a87c34d221e5b3ec37e89e8977eb28608">narrowFixpointPass</a>(const ICFGNode *cycle_head, IntervalExeState &pre_es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
122
142
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#aa220cdcd1653998d684ec14fe729932d">recursiveCallPass</a>(const CallICFGNode *callNode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
|
|
123
143
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">runOnModule</a>(ICFG *icfg)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
124
144
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a97c5745ddcd0ce72e65dee09ff7afb42">SkipRecursiveCall</a>(const CallICFGNode *callnode)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
125
145
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a7e1c3edfa546182ad394116b37b834f9">SkipRecursiveFunc</a>(const SVFFunction *func)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
126
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
127
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#
|
|
146
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afadcda19decab7b2d85523b1fdbceb23e6">STRCAT</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"></td></tr>
|
|
147
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afac9539311eec734c966b719990e869b12">STRCPY</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"></td></tr>
|
|
148
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a63044080ddea89905bc9a4336eb8b2a7">strRead</a>(const SVFValue *rhs)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
149
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a2484783853c5a266223882f66e683fa9">traceMemoryAllocationSize</a>(const SVFValue *value)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
150
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa12d7009fd0108df805ee49182fe12ccc">UNCLASSIFIED</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"></td></tr>
|
|
151
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a438c0702d8b1e074c3db37025377b2a7">widenFixpointPass</a>(const ICFGNode *cycle_head, IntervalExeState &pre_es)</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
152
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html#a6771ac262e5fdbac0006b293cde47398">~AbstractExecution</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
128
153
|
</table></div><!-- contents -->
|
|
129
154
|
<!-- start footer part -->
|
|
130
155
|
<hr class="footer"/><address class="footer"><small>
|