svf-tools 1.0.812 → 1.0.813
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/ConsExeState_8cpp_source.html +21 -21
- package/SVF-doxygen/html/ConsExeState_8h_source.html +384 -385
- package/SVF-doxygen/html/ExeState_8cpp_source.html +24 -24
- package/SVF-doxygen/html/ExeState_8h_source.html +227 -217
- package/SVF-doxygen/html/IntervalExeState_8cpp_source.html +8 -8
- package/SVF-doxygen/html/IntervalExeState_8h_source.html +412 -408
- package/SVF-doxygen/html/RelationSolver_8cpp_source.html +3 -3
- package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +43 -43
- package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +18 -18
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +250 -262
- package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +103 -101
- package/SVF-doxygen/html/SymState_8h_source.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ConsExeState-members.html +74 -74
- package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +412 -394
- package/SVF-doxygen/html/classSVF_1_1ExeState-members.html +34 -34
- package/SVF-doxygen/html/classSVF_1_1ExeState.html +287 -272
- package/SVF-doxygen/html/classSVF_1_1IntervalExeState-members.html +78 -78
- package/SVF-doxygen/html/classSVF_1_1IntervalExeState.html +445 -434
- package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState-members.html +28 -28
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +77 -77
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +40 -40
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +372 -372
- package/SVF-doxygen/html/classSVF_1_1SymState.html +2 -2
- package/SVF-doxygen/html/functions.html +6 -6
- package/SVF-doxygen/html/functions_a.html +13 -8
- package/SVF-doxygen/html/functions_b.html +3 -3
- package/SVF-doxygen/html/functions_e.html +2 -2
- package/SVF-doxygen/html/functions_func_e.html +2 -2
- package/SVF-doxygen/html/functions_func_g.html +32 -35
- package/SVF-doxygen/html/functions_func_i.html +11 -21
- package/SVF-doxygen/html/functions_func_l.html +6 -6
- package/SVF-doxygen/html/functions_func_n.html +3 -3
- package/SVF-doxygen/html/functions_func_p.html +2 -2
- package/SVF-doxygen/html/functions_func_s.html +7 -7
- package/SVF-doxygen/html/functions_func_w.html +3 -3
- package/SVF-doxygen/html/functions_g.html +27 -30
- package/SVF-doxygen/html/functions_i.html +13 -23
- package/SVF-doxygen/html/functions_l.html +8 -8
- package/SVF-doxygen/html/functions_n.html +7 -7
- package/SVF-doxygen/html/functions_o.html +4 -4
- package/SVF-doxygen/html/functions_p.html +9 -9
- package/SVF-doxygen/html/functions_r.html +1 -1
- package/SVF-doxygen/html/functions_s.html +19 -17
- package/SVF-doxygen/html/functions_t.html +7 -7
- package/SVF-doxygen/html/functions_type.html +5 -0
- package/SVF-doxygen/html/functions_type_v.html +3 -8
- package/SVF-doxygen/html/functions_v.html +13 -16
- package/SVF-doxygen/html/functions_vars.html +6 -6
- package/SVF-doxygen/html/functions_vars_g.html +2 -2
- package/SVF-doxygen/html/functions_w.html +3 -3
- package/SVF-doxygen/html/search/all_0.js +4 -4
- package/SVF-doxygen/html/search/all_1.js +210 -209
- package/SVF-doxygen/html/search/all_10.js +324 -324
- package/SVF-doxygen/html/search/all_11.js +222 -222
- package/SVF-doxygen/html/search/all_12.js +544 -544
- package/SVF-doxygen/html/search/all_13.js +191 -191
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +167 -169
- package/SVF-doxygen/html/search/all_16.js +63 -63
- 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 +11 -11
- package/SVF-doxygen/html/search/all_1a.js +172 -172
- package/SVF-doxygen/html/search/all_2.js +169 -169
- package/SVF-doxygen/html/search/all_3.js +642 -642
- package/SVF-doxygen/html/search/all_4.js +233 -233
- package/SVF-doxygen/html/search/all_5.js +119 -119
- package/SVF-doxygen/html/search/all_6.js +225 -225
- package/SVF-doxygen/html/search/all_7.js +946 -947
- package/SVF-doxygen/html/search/all_9.js +481 -486
- 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 +116 -116
- package/SVF-doxygen/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/search/all_f.js +115 -115
- package/SVF-doxygen/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/search/classes_11.js +15 -15
- 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 +14 -14
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +80 -80
- package/SVF-doxygen/html/search/classes_3.js +37 -37
- package/SVF-doxygen/html/search/classes_4.js +9 -9
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +104 -104
- package/SVF-doxygen/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/search/classes_8.js +56 -56
- 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 +18 -18
- 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 +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +21 -21
- package/SVF-doxygen/html/search/defines_4.js +2 -2
- 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 +7 -7
- package/SVF-doxygen/html/search/defines_f.js +3 -3
- 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 +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- 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 +14 -14
- package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
- 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 +9 -9
- 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 +15 -15
- 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 +45 -45
- package/SVF-doxygen/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/search/files_1.js +7 -7
- 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 +55 -55
- 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 +9 -9
- package/SVF-doxygen/html/search/files_7.js +14 -14
- 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 +2 -2
- 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 +12 -12
- package/SVF-doxygen/html/search/functions_1.js +360 -360
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +138 -138
- package/SVF-doxygen/html/search/functions_12.js +279 -279
- package/SVF-doxygen/html/search/functions_13.js +59 -59
- package/SVF-doxygen/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +172 -172
- package/SVF-doxygen/html/search/functions_2.js +87 -87
- package/SVF-doxygen/html/search/functions_3.js +257 -257
- package/SVF-doxygen/html/search/functions_4.js +75 -75
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +59 -59
- package/SVF-doxygen/html/search/functions_7.js +852 -853
- package/SVF-doxygen/html/search/functions_8.js +149 -149
- package/SVF-doxygen/html/search/functions_9.js +423 -428
- 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 +26 -26
- package/SVF-doxygen/html/search/functions_d.js +77 -77
- package/SVF-doxygen/html/search/functions_e.js +35 -35
- package/SVF-doxygen/html/search/functions_f.js +56 -56
- 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 +2 -2
- 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 +4 -4
- 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 +1 -1
- 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 -18
- package/SVF-doxygen/html/search/typedefs_1.js +26 -26
- package/SVF-doxygen/html/search/typedefs_10.js +61 -61
- 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 +33 -34
- package/SVF-doxygen/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/search/typedefs_2.js +129 -129
- 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 +41 -41
- package/SVF-doxygen/html/search/typedefs_6.js +55 -55
- package/SVF-doxygen/html/search/typedefs_7.js +44 -44
- 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 +14 -14
- 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 +151 -151
- package/SVF-doxygen/html/search/variables_1.js +75 -75
- package/SVF-doxygen/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/search/variables_11.js +44 -44
- package/SVF-doxygen/html/search/variables_12.js +92 -92
- package/SVF-doxygen/html/search/variables_13.js +75 -75
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/search/variables_2.js +38 -38
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/search/variables_4.js +55 -55
- package/SVF-doxygen/html/search/variables_5.js +37 -37
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/search/variables_9.js +78 -78
- 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 +56 -56
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +29 -29
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1ConsExeState_01_4.html +5 -5
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html +5 -5
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html +5 -5
- package/SVF-doxygen/html/svf-ex_8cpp.html +7 -7
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +7 -7
- package/package.json +1 -1
- package/svf/include/AbstractExecution/ConsExeState.h +99 -96
- package/svf/include/AbstractExecution/ExeState.h +66 -53
- package/svf/include/AbstractExecution/IntervalExeState.h +66 -61
- package/svf/include/AbstractExecution/SVFIR2ConsExeState.h +7 -7
- package/svf/include/AbstractExecution/SVFIR2ItvExeState.h +20 -14
- package/svf/lib/AbstractExecution/ConsExeState.cpp +13 -13
- package/svf/lib/AbstractExecution/ExeState.cpp +19 -19
- package/svf/lib/AbstractExecution/IntervalExeState.cpp +4 -4
- package/svf/lib/AbstractExecution/SVFIR2ConsExeState.cpp +36 -36
- package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +80 -92
|
@@ -73,43 +73,43 @@ $(function() {
|
|
|
73
73
|
<p>This is the complete list of members for <a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a>, including all inherited members.</p>
|
|
74
74
|
<table class="directory">
|
|
75
75
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8">_kind</a></td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
76
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
77
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
78
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
79
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
80
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
81
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
82
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
83
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
76
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a></td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
77
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a></td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
78
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">Addrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
79
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb">equals</a>(const ExeState *other) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
80
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a0a24ad3ced48b6755b7fc917d0f0fbb9">eqVarToAddrs</a>(const VarToAddrs &lhs, const VarToAddrs &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
|
|
81
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#af1b6335e3ca95d491b0d8dfb95cf3c9b">ExeState</a>(ExeState_TYPE kind)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
82
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5">ExeState</a>(const ExeState &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
83
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8">ExeState</a>(ExeState &&rhs) noexcept</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
84
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8">ExeState_TYPE</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
85
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a3b340ae2aad86f6125d24b42ec8901d0">getAddrs</a>(u32_t id)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
84
86
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">getContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
85
87
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ab7f7de02202838bb9e3da5410983cfb1">getExeStateKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
86
88
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
87
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
88
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
90
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
91
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
92
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
93
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
94
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
95
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
96
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
97
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
98
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
99
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
100
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
101
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
102
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
103
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
104
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
105
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
106
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
107
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
108
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
109
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
110
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
111
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">varToAddrs</a>(u32_t varId) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
112
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231">VarToVAddrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">getLocToAddrs</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
90
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">getVarToAddrs</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">getVirtualMemAddress</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
92
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986">hash</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710">inLocToAddrsTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351">IntervalK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
95
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a6dfff6d4302faeb80c78a512f32b529f">inVarToAddrsTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
96
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265">isNullPtr</a>(u32_t addr)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
97
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(u32_t val)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</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_1ExeState.html#a60464bebe5f257bbe1356eee149524c0">joinWith</a>(const ExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
99
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a9e0fd700bea1ac741d96b4f52fd4756f">loadAddrs</a>(u32_t addr)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
100
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403">locToAddrs</a>(u32_t objId) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
101
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a80bcce9b4303d651b27332c2fc0d3bdc">meetWith</a>(const ExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
102
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ab828094e1026046814c1e3d44d3f084c">operator!=</a>(const ExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
103
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03">operator=</a>(const ExeState &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
104
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ad706a7c5d1e4b198a74a0b5a8a89be8f">operator=</a>(ExeState &&rhs) noexcept</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
105
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">operator==</a>(const ExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
106
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a06245a3061b7a52488d593b9faeddbe0">printExprValues</a>(std::ostream &oss) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
107
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e">SingleValueK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
108
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672">storeAddrs</a>(u32_t addr, const Addrs &vaddrs)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
109
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVFIR2ItvExeState</a> class</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
110
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#af58dd98bbad68a7c72e16831be26c677">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
111
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">VarToAddrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
112
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">varToAddrs</a>(u32_t varId) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
113
113
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a56dc11162e701d8d48ea354f9d380167">~ExeState</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
114
114
|
</table></div><!-- contents -->
|
|
115
115
|
<!-- start footer part -->
|