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
|
@@ -555,14 +555,14 @@ Public Member Functions</h2></td></tr>
|
|
|
555
555
|
<div class="ttc" id="aclassSVF_1_1Z3Expr_html"><div class="ttname"><a href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00038">Z3Expr.h:38</a></div></div>
|
|
556
556
|
<div class="ttc" id="aclassSVF_1_1RelationSolver_html_aa36598cc7299b8d1f1868532722d84e3"><div class="ttname"><a href="classSVF_1_1RelationSolver.html#aa36598cc7299b8d1f1868532722d84e3">SVF::RelationSolver::gamma_hat</a></div><div class="ttdeci">Z3Expr gamma_hat(IntervalExeState &exeState)</div><div class="ttdoc">Return Z3Expr according to valToValMap.</div><div class="ttdef"><b>Definition:</b> <a href="RelationSolver_8cpp_source.html#l00187">RelationSolver.cpp:187</a></div></div>
|
|
557
557
|
<div class="ttc" id="aclassSVF_1_1RelationSolver_html_a5514dd057977686097cf314154748a25"><div class="ttname"><a href="classSVF_1_1RelationSolver.html#a5514dd057977686097cf314154748a25">SVF::RelationSolver::beta</a></div><div class="ttdeci">IntervalExeState beta(Map< u32_t, double > &sigma, IntervalExeState &exeState)</div><div class="ttdef"><b>Definition:</b> <a href="RelationSolver_8cpp_source.html#l00226">RelationSolver.cpp:226</a></div></div>
|
|
558
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3139363dbe4bf20bb23e922f80d9e9c0"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0">SVF::IntervalExeState::top</a></div><div class="ttdeci">IntervalExeState top()</div><div class="ttdoc">Set all value top.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
558
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3139363dbe4bf20bb23e922f80d9e9c0"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0">SVF::IntervalExeState::top</a></div><div class="ttdeci">IntervalExeState top()</div><div class="ttdoc">Set all value top.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00127">IntervalExeState.h:127</a></div></div>
|
|
559
559
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a4181e5e15e10304ea524e5f8b2a3f576"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">SVF::NumericLiteral::getNumeral</a></div><div class="ttdeci">s64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00120">NumericLiteral.h:120</a></div></div>
|
|
560
560
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_adac2dc2c9f744a071ad3f0175ed40cd9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue::ub</a></div><div class="ttdeci">const NumericLiteral & ub() const</div><div class="ttdoc">Return the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00225">IntervalValue.h:225</a></div></div>
|
|
561
561
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00055">IntervalExeState.h:55</a></div></div>
|
|
562
562
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00043">IntervalValue.h:43</a></div></div>
|
|
563
563
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a46ef74cd1412790b088f1d7320f57a9f"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a46ef74cd1412790b088f1d7320f57a9f">SVF::IntervalExeState::joinWith</a></div><div class="ttdeci">void joinWith(const IntervalExeState &other)</div><div class="ttdoc">domain join with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00114">IntervalExeState.cpp:114</a></div></div>
|
|
564
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ab04c27598b29fca2c10b7f07a4baea3e"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e">SVF::IntervalExeState::bottom</a></div><div class="ttdeci">IntervalExeState bottom()</div><div class="ttdoc">Set all value bottom.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
565
|
-
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a4e3e495118c907a29d7705904273f6d3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3">SVF::IntervalExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap & getVarToVal() const</div><div class="ttdoc">get var2val map</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#
|
|
564
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ab04c27598b29fca2c10b7f07a4baea3e"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e">SVF::IntervalExeState::bottom</a></div><div class="ttdeci">IntervalExeState bottom()</div><div class="ttdoc">Set all value bottom.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00116">IntervalExeState.h:116</a></div></div>
|
|
565
|
+
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a4e3e495118c907a29d7705904273f6d3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3">SVF::IntervalExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap & getVarToVal() const</div><div class="ttdoc">get var2val map</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00206">IntervalExeState.h:206</a></div></div>
|
|
566
566
|
<div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
|
|
567
567
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a977128211266b93e58e298a7ac29a059"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059">SVF::IntervalValue::isTop</a></div><div class="ttdeci">bool isTop() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00055">IntervalValue.h:55</a></div></div>
|
|
568
568
|
<div class="ttc" id="aclassSVF_1_1RelationSolver_html_a27cd159416a7a2f0a07532ccd86787db"><div class="ttname"><a href="classSVF_1_1RelationSolver.html#a27cd159416a7a2f0a07532ccd86787db">SVF::RelationSolver::abstract_consequence</a></div><div class="ttdeci">IntervalExeState abstract_consequence(IntervalExeState &lower, IntervalExeState &upper, IntervalExeState &domain)</div><div class="ttdef"><b>Definition:</b> <a href="RelationSolver_8cpp_source.html#l00162">RelationSolver.cpp:162</a></div></div>
|
|
@@ -73,34 +73,34 @@ $(function() {
|
|
|
73
73
|
<p>This is the complete list of members for <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</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_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
76
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
77
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
78
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
79
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
80
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
81
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
82
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
83
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
84
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
85
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
86
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
87
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
88
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
90
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
91
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
92
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
93
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
94
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
95
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
96
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
97
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
98
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
99
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
100
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
101
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
102
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
103
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#
|
|
76
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a7c892fb77ff402212af4ab30301f0f9d">Addrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
77
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#ae6ce6caa5645ae5c7cb24e094d4be78f">getEs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
78
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#afff5713e758d8f698d0cb5e2a341e16f">getGepObjAddress</a>(u32_t base, s32_t offset)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
79
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#ae7720cdcb509ecfccbda141986643684">getGepOffset</a>(const GepStmt *gep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
80
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#aecf3751401ad00024b0c7204b9385397">getInternalID</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
81
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a83b1f0b78e6cd7e45721d32a0998c3a7">getVirtualMemAddress</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
82
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0">initObjVar</a>(const ObjVar *objVar, u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
83
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857">initSVFVar</a>(u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
84
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8">initValVar</a>(const ValVar *objVar, u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
85
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a2b04cb226b28d577fa860a4cbf11b5c3">inLocToAddrsTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a73a8f1354e22d41078abe3466b202df2">inLocToValTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</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_1SVFIR2ConsExeState.html#a849978e7839b365fd2cf335e5840031a">inVarToAddrsTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
88
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a734006d65a35034fa2d32282c7dce47f">inVarToValTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</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_1SVFIR2ConsExeState.html#a0abd7ac1b44cb8ecf73dc19c9957f502">isVirtualMemAddress</a>(u32_t val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</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_1SVFIR2ConsExeState.html#a213e6f6dd1ad0e2e0b525f1b55735553">moveToGlobal</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a7421cab74f02c7ab54aefb3242ed6c77">setEs</a>(ConsExeState *es)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
92
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a3575711760c3973aef0061975ca9436a">SVFIR2ConsExeState</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a9d58c0c1698247018eac3c30c1202ba2">translateAddr</a>(const AddrStmt *addr)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a82d969e6f521e59f0d57da0a19e67a0a">translateBinary</a>(const BinaryOPStmt *binary)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
95
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a57adf31d54810533526d6e33bdeb386c">translateCall</a>(const CallPE *callPE)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
96
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a373227923e37d7dcb100ef9de613e400">translateCmp</a>(const CmpStmt *cmp)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
97
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a59c19a473a07918f59356c4a3b65cc8e">translateCopy</a>(const CopyStmt *copy)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
98
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a766ff7a17d51294fea7e01068fbd028c">translateGep</a>(const GepStmt *gep, bool isGlobal)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
99
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a7a547d67559f2d01ead77986bbd6863b">translateLoad</a>(const LoadStmt *load)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
100
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#ab97b728bca0f6831bb33f1e9196936e6">translatePhi</a>(const PhiStmt *phi)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
101
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#af1b17f60a22dc1da4b9f1430c5f07d1a">translateRet</a>(const RetPE *retPE)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
102
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a15b7e99f0bff4de254239c10820550c0">translateSelect</a>(const SelectStmt *select)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
103
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a9541d935efa7fce9cf9d204050e2a918">translateStore</a>(const StoreStmt *store)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"></td></tr>
|
|
104
104
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a63ff43fb519f5cd2b17956e193606421">~SVFIR2ConsExeState</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html">SVF::SVFIR2ConsExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
105
105
|
</table></div><!-- contents -->
|
|
106
106
|
<!-- start footer part -->
|