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
|
@@ -281,7 +281,7 @@ $(function() {
|
|
|
281
281
|
<div class="ttc" id="aclassSVF_1_1SymState_html_aaaaa4e2a25d1cce483272a5da91886bd"><div class="ttname"><a href="classSVF_1_1SymState.html#aaaaa4e2a25d1cce483272a5da91886bd">SVF::SymState::getExecutionState</a></div><div class="ttdeci">const ConsExeState & getExecutionState() const</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00165">SymState.h:165</a></div></div>
|
|
282
282
|
<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="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
|
|
283
283
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
|
|
284
|
-
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a08f64cf55802c4ddbc1e01b06ce55dec"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a08f64cf55802c4ddbc1e01b06ce55dec">SVF::ConsExeState::isNullState</a></div><div class="ttdeci">bool isNullState() const</div><div class="ttdoc">Whether state is null state (uninitialized state)</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#
|
|
284
|
+
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a08f64cf55802c4ddbc1e01b06ce55dec"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a08f64cf55802c4ddbc1e01b06ce55dec">SVF::ConsExeState::isNullState</a></div><div class="ttdeci">bool isNullState() const</div><div class="ttdoc">Whether state is null state (uninitialized state)</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00205">ConsExeState.h:205</a></div></div>
|
|
285
285
|
<div class="ttc" id="aclassSVF_1_1SymState_html_af41520fdb48700f86231047d1db5d482"><div class="ttname"><a href="classSVF_1_1SymState.html#af41520fdb48700f86231047d1db5d482">SVF::SymState::TypeState</a></div><div class="ttdeci">std::string TypeState</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00043">SymState.h:43</a></div></div>
|
|
286
286
|
<div class="ttc" id="aclassSVF_1_1SymState_html_a10f55ddb22731a3c50bff12c6afdbd50"><div class="ttname"><a href="classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50">SVF::SymState::_exeState</a></div><div class="ttdeci">ConsExeState _exeState</div><div class="ttdoc">Execution state: values of variables.</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00048">SymState.h:48</a></div></div>
|
|
287
287
|
<div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00067">SVFType.h:67</a></div></div>
|
|
@@ -73,92 +73,92 @@ $(function() {
|
|
|
73
73
|
<p>This is the complete list of members for <a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</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#
|
|
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
77
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a></td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</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#
|
|
78
|
+
<tr><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>
|
|
79
79
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a></td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
80
|
-
<tr><td class="entry"><a class="el" href="
|
|
81
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
82
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
83
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
84
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
85
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
86
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
87
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
88
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
90
|
-
<tr><td class="entry"><a class="el" href="
|
|
91
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
92
|
-
<tr><td class="entry"><a class="el" href="
|
|
93
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
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#
|
|
80
|
+
<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>
|
|
81
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f">applyPhi</a>(u32_t res, std::vector< u32_t > &ops)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
82
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07">applySelect</a>(u32_t res, u32_t cond, u32_t top, u32_t fop)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
83
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a600317df0db3e813b952727884111cdd">applySummary</a>(const ConsExeState &summary)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
84
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8">assign</a>(SingleAbsValue &lhs, const SingleAbsValue &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
|
|
85
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a4cdddbbcb6b07f2db9cfad565ca7e57b">buildGlobES</a>(ConsExeState &globES, Set< u32_t > &vars)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#ae2868bff69d249ff28daff28fd3c86ea">ConsExeState</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
87
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#ad619c8c3874b9c65e706651d6a1c22ab">ConsExeState</a>(VarToValMap varToValMap, LocToValMap locToValMap)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
88
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a61645ed0edcdab44f30f6e0e3989cb6d">ConsExeState</a>(const ConsExeState &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a2c661a9a6742cd091dccabee30314f89">ConsExeState</a>(ConsExeState &&rhs) noexcept</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
90
|
+
<tr><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>
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#ad3914ce88b680803d7744c4fa63fa93b">equalVar</a>(u32_t lhs, u32_t rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
92
|
+
<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>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#ae024143db76c3350ed581db661393052">eqVarToValMap</a>(const VarToValMap &pre, const VarToValMap &nxt)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
94
|
+
<tr><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>
|
|
95
|
+
<tr class="even"><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>
|
|
96
|
+
<tr><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>
|
|
97
|
+
<tr class="even"><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>
|
|
98
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a17ba209c5045d53c7df66d5cf031f8a4">getAddrs</a>(u32_t id) override</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
97
99
|
<tr class="even"><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>
|
|
98
100
|
<tr><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>
|
|
99
101
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a4997055a5a0a87db5420c569a43a9376">getFalseZ3Expr</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
100
102
|
<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>
|
|
101
103
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#abc69e7a4742ed1a925d7b0b72d2b9497">getIntOneZ3Expr</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
102
104
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a7c96f8b3a9ba3d6d648a59388ef26ca6">getIntZeroZ3Expr</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
103
|
-
<tr class="even"><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#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>
|
|
104
106
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#adf45b2d4b73220e80a1265f4e1b1ee35">getLocToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
105
107
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a3efeeb8311b868c4a7fc2df69f061317">getNumber</a>(u32_t lhs)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
106
108
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a823502a869baf70a07294e265601cf2f">getTrueZ3Expr</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
107
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
108
|
-
<tr><td class="entry"><a class="el" href="
|
|
109
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
110
|
-
<tr><td class="entry"><a class="el" href="
|
|
111
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
112
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
113
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
114
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
115
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
116
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
117
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
118
|
-
<tr><td class="entry"><a class="el" href="
|
|
119
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
120
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
121
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
122
|
-
<tr><td class="entry"><a class="el" href="
|
|
123
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
124
|
-
<tr><td class="entry"><a class="el" href="
|
|
125
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
126
|
-
<tr><td class="entry"><a class="el" href="
|
|
127
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
128
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
129
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
130
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
131
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
132
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
133
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
134
|
-
<tr><td class="entry"><a class="el" href="
|
|
135
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
136
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
137
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
138
|
-
<tr><td class="entry"><a class="el" href="
|
|
139
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
140
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
141
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
142
|
-
<tr><td class="entry"><a class="el" href="
|
|
143
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
144
|
-
<tr><td class="entry"><a class="el" href="
|
|
145
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
146
|
-
<tr><td class="entry"><a class="el" href="
|
|
147
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
148
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
149
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
150
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
151
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
152
|
-
<tr><td class="entry"><a class="el" href="
|
|
153
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
154
|
-
<tr><td class="entry"><a class="el" href="
|
|
155
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
156
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#
|
|
157
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a4553e0d059ea66f9a0287454686eb558">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
158
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">VAddrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
|
|
109
|
+
<tr class="even"><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>
|
|
110
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520">getVarToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
111
|
+
<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>
|
|
112
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a></td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
113
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a374e087ef40804ed00a631ed22e91590">hash</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
114
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a5a1da3b1c8cdc3b3e07fe20124f6eeea">initExeState</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
115
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#af8f2b698dd97793b0124cd5a4ac4d035">inLocalLocToAddrsTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
116
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a8da7bf977911ca6d3bd27f38ef852321">inLocalLocToValTable</a>(u32_t varId) const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
117
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#aa4a3abdc9a7fe9af0b82190bf7827efa">inLocalLocToValTable</a>(const SingleAbsValue &addr) const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
118
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a1effca0f87f2180e160600ee5528b12f">inLocToAddrsTable</a>(u32_t id) const override</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
119
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a4481c80fcf9c64f23e8a216dfc01869a">inLocToValTable</a>(u32_t varId) const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
120
|
+
<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>
|
|
121
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a755fbe99c6d02b6a7897dad86f46c580">inVarToAddrsTable</a>(u32_t id) const override</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
122
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#ad42a15421be927dbb4eb7efb10548850">inVarToValTable</a>(u32_t varId) const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
123
|
+
<tr class="even"><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>
|
|
124
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a08f64cf55802c4ddbc1e01b06ce55dec">isNullState</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
125
|
+
<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>
|
|
126
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a8f2668196be5ecbc061d5b43caa43cae">joinWith</a>(const ConsExeState &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
127
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0">SVF::ExeState::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>
|
|
128
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a4878ea0f5c2cc014ac2f5ecbc6534466">lessThanVarToValMap</a>(const VarToValMap &lhs, const VarToValMap &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
129
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a2fa6360da2149684a9771fdbfae71a66">load</a>(const SingleAbsValue &loc)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
130
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a1e6120a331c4d129c66f994e86b62a78">load</a>(u32_t objId)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
|
|
131
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a865998aed7e292ebd15532506eadea55">loadAddrs</a>(u32_t addr) override</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
132
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a4136ad2172772347e8d6aedc2f8b811e">locToAddrs</a>(u32_t objId) const override</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
133
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a2c4c9f57bf31e8716bbfced40931fe5d">locToString</a>(u32_t objId) const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
134
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a559fb9ebd9c5ca18bb0b9ea062cd27db">LocToValMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
135
|
+
<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>
|
|
136
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a5d4061449afa88fcb806cba0adeeac68">name</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
137
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#adf54e333c3ad52bd4e0cee17c592e054">nullExeState</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
138
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a24e9becca0339056ba900ee35ab882f3">operator!=</a>(const ConsExeState &other) const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
139
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#ab828094e1026046814c1e3d44d3f084c">operator!=</a>(const ExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
140
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ab828094e1026046814c1e3d44d3f084c">SVF::ExeState::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>
|
|
141
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a312954e26e384366f0ce2e99df918eda">operator<</a>(const ConsExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
142
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a642724fd50872cf54d427f46420bbc70">operator=</a>(const ConsExeState &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
143
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a3926d9161520350852791c697a28130f">operator=</a>(ConsExeState &&rhs) noexcept</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
144
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03">SVF::ExeState::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>
|
|
145
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ad706a7c5d1e4b198a74a0b5a8a89be8f">SVF::ExeState::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>
|
|
146
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#ae708165c762328232dab128e27a62f30">operator==</a>(const ConsExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
147
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">operator==</a>(const ExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
148
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState::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>
|
|
149
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a22e7ec17139695a1ae73bd058aa78e36">operator[]</a>(u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
150
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a3905e71e489f8caf29e378364ea6e593">pcToString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
151
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#aa9892fc61571c173598cd73598c589fa">printExprValues</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
152
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#ab172f00fe38fbef532d97da5e7285535">printExprValues</a>(std::ostream &oss) const override</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
153
|
+
<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>
|
|
154
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#adbf80e78f27a30f257fa8790f1cb78f5">store</a>(const SingleAbsValue &loc, const SingleAbsValue &value)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
155
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a79b012f5f551dfb27ce1ca3d193dba55">store</a>(u32_t objId, const SingleAbsValue &z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
|
|
156
|
+
<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>
|
|
157
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a67e2d14fede9218351f5edaff5981f4d">SVFIR2ConsExeState</a> class</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
158
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a4553e0d059ea66f9a0287454686eb558">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
159
159
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c">varToAddrs</a>(u32_t varId) const override</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
160
|
-
<tr><td class="entry"><a class="el" href="
|
|
161
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
160
|
+
<tr><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>
|
|
161
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada">varToString</a>(u32_t varId) const</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
162
162
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc">VarToValMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"></td></tr>
|
|
163
163
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">z3Expr2NumValue</a>(const SingleAbsValue &e)</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
164
164
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html#a7c8106f2fd388145018dd4dc77dd1e93">~ConsExeState</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|