svf-tools 1.0.849 → 1.0.850
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/IntervalExeState_8cpp_source.html +293 -217
- package/SVF-doxygen/html/IntervalExeState_8h.html +2 -0
- package/SVF-doxygen/html/IntervalExeState_8h_source.html +622 -435
- package/SVF-doxygen/html/RelationSolver_8cpp_source.html +60 -60
- package/SVF-doxygen/html/RelationSolver_8h_source.html +16 -16
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +10 -10
- package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +8 -8
- package/SVF-doxygen/html/annotated.html +215 -214
- package/SVF-doxygen/html/classSVF_1_1ExeState.html +9 -8
- package/SVF-doxygen/html/classSVF_1_1ExeState.png +0 -0
- package/SVF-doxygen/html/classSVF_1_1IntervalESBase-members.html +168 -0
- package/SVF-doxygen/html/classSVF_1_1IntervalESBase.html +2331 -0
- package/SVF-doxygen/html/classSVF_1_1IntervalESBase.png +0 -0
- package/SVF-doxygen/html/classSVF_1_1IntervalExeState-members.html +79 -62
- package/SVF-doxygen/html/classSVF_1_1IntervalExeState.html +497 -1381
- package/SVF-doxygen/html/classSVF_1_1IntervalExeState.png +0 -0
- package/SVF-doxygen/html/classSVF_1_1RelationSolver-members.html +8 -8
- package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +100 -100
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +29 -29
- package/SVF-doxygen/html/classes.html +232 -231
- package/SVF-doxygen/html/functions.html +2 -2
- package/SVF-doxygen/html/functions_a.html +1 -1
- package/SVF-doxygen/html/functions_b.html +4 -4
- package/SVF-doxygen/html/functions_c.html +2 -2
- package/SVF-doxygen/html/functions_e.html +4 -3
- package/SVF-doxygen/html/functions_f.html +3 -3
- package/SVF-doxygen/html/functions_func.html +1 -1
- package/SVF-doxygen/html/functions_func_b.html +4 -4
- package/SVF-doxygen/html/functions_func_c.html +2 -2
- package/SVF-doxygen/html/functions_func_e.html +3 -2
- package/SVF-doxygen/html/functions_func_g.html +27 -24
- package/SVF-doxygen/html/functions_func_h.html +4 -3
- package/SVF-doxygen/html/functions_func_i.html +16 -9
- package/SVF-doxygen/html/functions_func_j.html +1 -0
- package/SVF-doxygen/html/functions_func_l.html +6 -4
- package/SVF-doxygen/html/functions_func_m.html +1 -0
- package/SVF-doxygen/html/functions_func_n.html +6 -4
- package/SVF-doxygen/html/functions_func_o.html +17 -11
- package/SVF-doxygen/html/functions_func_p.html +3 -3
- package/SVF-doxygen/html/functions_func_r.html +1 -1
- package/SVF-doxygen/html/functions_func_s.html +2 -2
- package/SVF-doxygen/html/functions_func_t.html +2 -2
- package/SVF-doxygen/html/functions_func_w.html +4 -2
- package/SVF-doxygen/html/functions_func_~.html +3 -0
- package/SVF-doxygen/html/functions_g.html +24 -21
- package/SVF-doxygen/html/functions_h.html +6 -5
- package/SVF-doxygen/html/functions_i.html +21 -14
- package/SVF-doxygen/html/functions_j.html +1 -0
- package/SVF-doxygen/html/functions_l.html +10 -8
- package/SVF-doxygen/html/functions_m.html +1 -0
- package/SVF-doxygen/html/functions_n.html +5 -3
- package/SVF-doxygen/html/functions_o.html +18 -12
- package/SVF-doxygen/html/functions_p.html +17 -13
- package/SVF-doxygen/html/functions_r.html +7 -8
- package/SVF-doxygen/html/functions_rela_r.html +2 -1
- package/SVF-doxygen/html/functions_rela_s.html +1 -0
- package/SVF-doxygen/html/functions_s.html +15 -14
- package/SVF-doxygen/html/functions_t.html +5 -5
- package/SVF-doxygen/html/functions_type_l.html +1 -1
- package/SVF-doxygen/html/functions_type_v.html +1 -1
- package/SVF-doxygen/html/functions_v.html +7 -5
- package/SVF-doxygen/html/functions_vars.html +2 -2
- package/SVF-doxygen/html/functions_w.html +13 -9
- package/SVF-doxygen/html/functions_~.html +3 -0
- package/SVF-doxygen/html/hierarchy.html +2 -1
- package/SVF-doxygen/html/namespaceSVF.html +2 -0
- package/SVF-doxygen/html/search/all_0.js +2 -2
- package/SVF-doxygen/html/search/all_1.js +1 -1
- package/SVF-doxygen/html/search/all_10.js +325 -325
- package/SVF-doxygen/html/search/all_11.js +224 -224
- package/SVF-doxygen/html/search/all_12.js +552 -552
- package/SVF-doxygen/html/search/all_13.js +190 -190
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +168 -168
- 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 +174 -173
- package/SVF-doxygen/html/search/all_2.js +4 -4
- package/SVF-doxygen/html/search/all_3.js +2 -2
- package/SVF-doxygen/html/search/all_5.js +2 -2
- package/SVF-doxygen/html/search/all_6.js +1 -1
- package/SVF-doxygen/html/search/all_7.js +6 -6
- package/SVF-doxygen/html/search/all_8.js +2 -2
- package/SVF-doxygen/html/search/all_9.js +406 -405
- 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 +197 -197
- package/SVF-doxygen/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/search/all_f.js +116 -116
- 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 +81 -81
- 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 +34 -34
- package/SVF-doxygen/html/search/classes_8.js +57 -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 +20 -20
- 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 +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 +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 +57 -57
- 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 +13 -13
- package/SVF-doxygen/html/search/functions_1.js +362 -362
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +139 -139
- package/SVF-doxygen/html/search/functions_12.js +288 -288
- 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 +174 -173
- package/SVF-doxygen/html/search/functions_2.js +89 -89
- package/SVF-doxygen/html/search/functions_3.js +261 -261
- package/SVF-doxygen/html/search/functions_4.js +78 -78
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +60 -60
- package/SVF-doxygen/html/search/functions_7.js +855 -855
- package/SVF-doxygen/html/search/functions_8.js +148 -148
- package/SVF-doxygen/html/search/functions_9.js +421 -420
- 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 +79 -79
- 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 +3 -3
- 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 +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 +26 -26
- package/SVF-doxygen/html/search/typedefs_10.js +62 -62
- 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 -33
- 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 +56 -56
- 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 +98 -98
- package/SVF-doxygen/html/search/variables_11.js +45 -45
- package/SVF-doxygen/html/search/variables_12.js +90 -90
- package/SVF-doxygen/html/search/variables_13.js +74 -74
- 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 +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 +50 -50
- 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 +34 -34
- 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 +55 -55
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +30 -30
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html +6 -6
- package/package.json +1 -1
- package/svf/include/AbstractExecution/IntervalExeState.h +274 -102
- package/svf/include/AbstractExecution/RelationSolver.h +9 -9
- package/svf/lib/AbstractExecution/IntervalExeState.cpp +85 -14
- package/svf/lib/AbstractExecution/RelationSolver.cpp +22 -22
|
Binary file
|
|
@@ -74,94 +74,111 @@ $(function() {
|
|
|
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
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="
|
|
77
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc">_locToItvVal</a></td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
78
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
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
79
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#ad2288306aed7301ccd30e55410c7b428">_varToItvVal</a></td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
80
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="
|
|
82
|
-
<tr><td class="entry"><a class="el" href="
|
|
81
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a839e8ee927c1cad86aef3059b41ba2eb">bottom</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
82
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a4849103f97f0c03e434882c32e8d695b">clear</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
83
83
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a052d677fb5ee940ed0686f3d67d10d19">cpyItvToLocal</a>(u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
84
|
-
<tr><td class="entry"><a class="el" href="
|
|
84
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a080484bdcd9287e95d0ced0fa474fd05">createIntervalValue</a>(double lb, double ub, NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
85
85
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a69f5125f14b129607fafb3717160f4c1">equals</a>(const IntervalExeState &other) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
86
|
-
<tr><td class="entry"><a class="el" href="
|
|
87
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#
|
|
88
|
-
<tr><td class="entry"><a class="el" href="
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
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="
|
|
94
|
-
<tr><td class="entry"><a class="el" href="
|
|
95
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
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="
|
|
99
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
100
|
-
<tr><td class="entry"><a class="el" href="
|
|
101
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
102
|
-
<tr><td class="entry"><a class="el" href="
|
|
103
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
104
|
-
<tr><td class="entry"><a class="el" href="
|
|
105
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
106
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
107
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
108
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
109
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
110
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
111
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
112
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
113
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
114
|
-
<tr><td class="entry"><a class="el" href="
|
|
115
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
116
|
-
<tr><td class="entry"><a class="el" href="
|
|
117
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
118
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
119
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
120
|
-
<tr><td class="entry"><a class="el" href="
|
|
121
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
122
|
-
<tr><td class="entry"><a class="el" href="
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a9133df5ab00e7c2918a8047fd0bdfb08">SVF::IntervalESBase::equals</a>(const IntervalESBase &other) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
|
|
87
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb">SVF::ExeState::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>
|
|
88
|
+
<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>
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a5fbb3e0a06cb36f020a6de20ebd04ad1">eqVarToValMap</a>(const VarToValMap &lhs, const VarToValMap &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
90
|
+
<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>
|
|
91
|
+
<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>
|
|
92
|
+
<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>
|
|
93
|
+
<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>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a7f8254581235c03a3fad17e51d00db0c">geqVarToValMap</a>(const VarToValMap &lhs, const VarToValMap &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
95
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a056e0db56033ac4dc041e6d82d614dbd">getAddrs</a>(u32_t id) override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</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#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>
|
|
97
|
+
<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>
|
|
98
|
+
<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>
|
|
99
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a053ad8e95d16e2ec047c64258c2021f2">getLocAddrs</a>(u32_t id) override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</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#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>
|
|
101
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a48247d3ce543a9773d668998f7f58ac3">getLocToVal</a>(u32_t id) override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
102
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#af7451ea87d5117a90b5912a1e6f34e10">SVF::IntervalESBase::getLocToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
103
|
+
<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>
|
|
104
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a903797577ba99ef57879774a3849bbfe">getVarToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</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#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>
|
|
106
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">globalES</a></td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
107
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2387b671954d5c1fdd4b08b71ffa0e6c">has_bottom</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
108
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce">hash</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
109
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb">inLocalLocToAddrsTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
110
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a6fdad70e3a0b39e146f0b93f24f055c6">inLocalLocToValTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</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_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4">inLocToAddrsTable</a>(u32_t id) const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</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_1IntervalExeState.html#a50aee49f7f34e05f7e2cb28ae55099f8">inLocToValTable</a>(u32_t id) const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
113
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2ff42e1ba569614cc86f8a3af65b7c41">Interval2NumValue</a>(const IntervalValue &e) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
114
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2da3f0da084f66f5b82c86e6650fd903">IntervalESBase</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
115
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a989bf2c55925d29790c4272aa31c3bb6">IntervalESBase</a>(VarToValMap &_varToValMap, LocToValMap &_locToValMap)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
116
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a317d19f98d43b05963b5649fc402eed4">IntervalESBase</a>(const IntervalESBase &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</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_1IntervalESBase.html#a2906309f1b7691be20b8d3a3968dfe91">IntervalESBase</a>(IntervalESBase &&rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
118
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#adce87f96e58b25bd6ff046e6608f4d2c">IntervalExeState</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
119
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a5803940144915a922af7ddef09fb23c0">IntervalExeState</a>(VarToValMap &_varToValMap, LocToValMap &_locToValMap)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
120
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a781dc413b32c33e1c0fd5154d2c50654">IntervalExeState</a>(const IntervalExeState &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
121
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ac1272649c1549d0d942941bd8f4c4b41">IntervalExeState</a>(IntervalExeState &&rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
122
|
+
<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>
|
|
123
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45">inVarToAddrsTable</a>(u32_t id) const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
124
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#aab316a63c25483eefc38bed0a86a0e7e">inVarToValTable</a>(u32_t id) const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
125
|
+
<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>
|
|
126
|
+
<tr><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>
|
|
127
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a46ef74cd1412790b088f1d7320f57a9f">joinWith</a>(const IntervalExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
128
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#adc0db607e4c0f117760535df67b91fbd">SVF::IntervalESBase::joinWith</a>(const IntervalESBase &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
|
|
123
129
|
<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>
|
|
124
|
-
<tr><td class="entry"><a class="el" href="
|
|
125
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
130
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#af1837e907961eb3594b817b62b9ea9a3">lessThanVarToValMap</a>(const VarToValMap &lhs, const VarToValMap &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
131
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a960ec3359dfcb5e89fb66120c868ac5e">load</a>(u32_t addr) override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
126
132
|
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a">loadAddrs</a>(u32_t addr) override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
127
133
|
<tr class="even"><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>
|
|
128
|
-
<tr><td class="entry"><a class="el" href="
|
|
134
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2c8cf00ffaa36fed2e634adbaff7b412">LocToValMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
|
|
129
135
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d">meetWith</a>(const IntervalExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
130
|
-
<tr><td class="entry"><a class="el" href="
|
|
136
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a92a8531c7f12cc6f9117596aa5e534b6">SVF::IntervalESBase::meetWith</a>(const IntervalESBase &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
|
|
131
137
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a80bcce9b4303d651b27332c2fc0d3bdc">SVF::ExeState::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>
|
|
132
138
|
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a1e8f41b502167283ccb87bd128f232bc">narrowing</a>(const IntervalExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
133
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
139
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a3f8da19a79bfdc37c38e659a94371aba">SVF::IntervalESBase::narrowing</a>(const IntervalESBase &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
|
|
140
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a3d6ccddf8ecfbd7b6348f8c441cceab9">narrowWith</a>(const IntervalExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
141
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a52b590dc437bc01ce116255e699c3c55">SVF::IntervalESBase::narrowWith</a>(const IntervalESBase &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
|
|
134
142
|
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ad4cbc6543ffe3e663deea4736470bfc1">operator!=</a>(const IntervalExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
135
143
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ab828094e1026046814c1e3d44d3f084c">operator!=</a>(const ExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
136
|
-
<tr><td class="entry"><a class="el" href="
|
|
137
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
144
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#ab3d0a23befaf69fac553e6e3ae3a42e0">SVF::IntervalESBase::operator!=</a>(const IntervalESBase &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</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#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>
|
|
146
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#aa4acf1e8ae7571f527047e36b77dfb58">operator<</a>(const IntervalExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
147
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#aaafb882ca79738d39697d1461bd2032f">SVF::IntervalESBase::operator<</a>(const IntervalESBase &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
138
148
|
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7">operator=</a>(const IntervalExeState &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
139
149
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ac3969ddc15f3bd675d5a352dfd9b9bf7">operator=</a>(IntervalExeState &&rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
150
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a926025a01239d163e59582824ceb0580">SVF::IntervalESBase::operator=</a>(const IntervalESBase &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
151
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#ab4d2297eb82611a3198ba3befeda5e54">SVF::IntervalESBase::operator=</a>(IntervalESBase &&rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
140
152
|
<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>
|
|
141
153
|
<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>
|
|
142
154
|
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3">operator==</a>(const IntervalExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
143
155
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">operator==</a>(const ExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
144
|
-
<tr><td class="entry"><a class="el" href="
|
|
145
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
146
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
147
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
148
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#
|
|
149
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
156
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a6f6ba2a615f1227cf8397345d1d0f25d">SVF::IntervalESBase::operator==</a>(const IntervalESBase &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
157
|
+
<tr class="even"><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>
|
|
158
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a637a9c0f06b57e16a7f1afdd25df897f">operator>=</a>(const IntervalExeState &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
159
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a8722234ba6bea5223e79174ff1d095c7">SVF::IntervalESBase::operator>=</a>(const IntervalESBase &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
160
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a2f39e01a347d10b2992a46e5cc52ab77">operator[]</a>(u32_t varId) override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
161
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a4c0ede557a333bfea3f5d4a9a4dc8a9e">printExprValues</a>(std::ostream &oss) const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
162
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a14e210bd24b2104afb36ad50a0899c09">printTable</a>(const VarToValMap &table, std::ostream &oss) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
163
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2b5821a3dd16e98687768b51cf05b789">printTable</a>(const VarToAddrs &table, std::ostream &oss) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
150
164
|
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a44841fb4ad23542383ea77bf1ffda65f">RelationSolver</a> class</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
151
165
|
<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>
|
|
152
|
-
<tr><td class="entry"><a class="el" href="
|
|
153
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
166
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2c15de9b10a74fbcb171ff2f328ce7f2">sliceState</a>(Set< u32_t > &sl)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
167
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#adb26b186ee31bce7449a7b36faa24cc2">store</a>(u32_t addr, const IntervalValue &val)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
154
168
|
<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>
|
|
155
169
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVFIR2ItvExeState</a> class</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
156
|
-
<tr><td class="entry"><a class="el" href="
|
|
157
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
170
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a33fd0e4a654dd4f5b7762b0088e11674">top</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
171
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#ab5d7ac23f8334fa32ae0a78c8f1d9fa9">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
158
172
|
<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>
|
|
159
173
|
<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>
|
|
160
|
-
<tr><td class="entry"><a class="el" href="
|
|
174
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a02e3d5f7074c4f77338edc9a7add95d8">VarToValMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
|
|
161
175
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199">widening</a>(const IntervalExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
162
|
-
<tr><td class="entry"><a class="el" href="
|
|
176
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a9a167f67476d2e080cc6e31d127ee715">SVF::IntervalESBase::widening</a>(const IntervalESBase &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
|
|
177
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3">widenWith</a>(const IntervalExeState &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"></td></tr>
|
|
178
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2db6b5360cf8e90dbd4174ad0382ec56">SVF::IntervalESBase::widenWith</a>(const IntervalESBase &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
|
|
163
179
|
<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>
|
|
164
|
-
<tr><td class="entry"><a class="el" href="
|
|
180
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a765e98325842f6df15255af9a8036e8c">~IntervalESBase</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
181
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a9e6006e0f0a4039cf65f9e79be6eea49">~IntervalExeState</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
165
182
|
</table></div><!-- contents -->
|
|
166
183
|
<!-- start footer part -->
|
|
167
184
|
<hr class="footer"/><address class="footer"><small>
|