svf-tools 1.0.875 → 1.0.877
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/README.md +1 -1
- package/SVF-doxygen/html/AbstractExecution_8cpp.html +218 -0
- package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +2124 -0
- package/SVF-doxygen/html/AbstractExecution_8h.html +118 -0
- package/SVF-doxygen/html/AbstractExecution_8h_source.html +512 -0
- package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +81 -81
- package/SVF-doxygen/html/BufOverflowChecker_8h.html +1 -1
- package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +20 -20
- package/SVF-doxygen/html/CFBasicBlockGBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/CFBasicBlockGBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/CFBasicBlockGWTO_8h_source.html +2 -2
- package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +318 -367
- package/SVF-doxygen/html/ae_8cpp.html +7 -7
- package/SVF-doxygen/html/ae_8cpp_source.html +7 -7
- package/SVF-doxygen/html/annotated.html +12 -12
- package/SVF-doxygen/html/classSVF_1_1AEAPI-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1AEAPI.html +145 -145
- package/SVF-doxygen/html/classSVF_1_1AEStat-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1AEStat.html +53 -53
- package/SVF-doxygen/html/classSVF_1_1AbstractExecution-members.html +137 -0
- package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +2884 -0
- package/SVF-doxygen/html/classSVF_1_1AbstractExecution.png +0 -0
- package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +50 -50
- package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +117 -117
- package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.png +0 -0
- package/SVF-doxygen/html/classSVF_1_1BufOverflowCheckerAPI-members.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1BufOverflowCheckerAPI.html +38 -38
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +92 -92
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode-members.html +8 -8
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html +51 -309
- package/SVF-doxygen/html/classSVF_1_1GenericNode.html +8 -8
- package/SVF-doxygen/html/classes.html +16 -16
- package/SVF-doxygen/html/dir_81caa96ab1d3de93b353e2bbe80e6067.html +1 -1
- package/SVF-doxygen/html/dir_fbec400583b4bd6c5f2e89c86c5943a6.html +1 -1
- package/SVF-doxygen/html/files.html +2 -2
- package/SVF-doxygen/html/functions.html +21 -21
- package/SVF-doxygen/html/functions_a.html +17 -17
- package/SVF-doxygen/html/functions_b.html +1 -1
- package/SVF-doxygen/html/functions_c.html +16 -16
- package/SVF-doxygen/html/functions_d.html +7 -11
- package/SVF-doxygen/html/functions_e.html +1 -1
- package/SVF-doxygen/html/functions_func.html +13 -13
- package/SVF-doxygen/html/functions_func_c.html +11 -11
- package/SVF-doxygen/html/functions_func_d.html +7 -11
- package/SVF-doxygen/html/functions_func_e.html +1 -1
- package/SVF-doxygen/html/functions_func_g.html +1 -1
- package/SVF-doxygen/html/functions_func_h.html +11 -11
- package/SVF-doxygen/html/functions_func_i.html +8 -8
- package/SVF-doxygen/html/functions_func_m.html +1 -1
- package/SVF-doxygen/html/functions_func_n.html +1 -1
- package/SVF-doxygen/html/functions_func_r.html +2 -2
- package/SVF-doxygen/html/functions_func_s.html +2 -2
- package/SVF-doxygen/html/functions_func_w.html +1 -1
- package/SVF-doxygen/html/functions_func_~.html +3 -3
- package/SVF-doxygen/html/functions_g.html +1 -1
- package/SVF-doxygen/html/functions_h.html +11 -11
- package/SVF-doxygen/html/functions_i.html +8 -8
- package/SVF-doxygen/html/functions_m.html +1 -1
- package/SVF-doxygen/html/functions_n.html +1 -1
- package/SVF-doxygen/html/functions_p.html +7 -7
- package/SVF-doxygen/html/functions_r.html +6 -8
- package/SVF-doxygen/html/functions_rela.html +2 -2
- package/SVF-doxygen/html/functions_s.html +10 -8
- package/SVF-doxygen/html/functions_t.html +7 -7
- package/SVF-doxygen/html/functions_type_c.html +1 -1
- package/SVF-doxygen/html/functions_v.html +1 -3
- package/SVF-doxygen/html/functions_vars.html +21 -21
- package/SVF-doxygen/html/functions_w.html +1 -1
- package/SVF-doxygen/html/functions_~.html +3 -3
- package/SVF-doxygen/html/globals.html +2 -2
- package/SVF-doxygen/html/globals_defs.html +1 -1
- package/SVF-doxygen/html/globals_s.html +1 -1
- package/SVF-doxygen/html/globals_vars.html +2 -2
- package/SVF-doxygen/html/hierarchy.html +12 -12
- package/SVF-doxygen/html/namespaceSVF.html +9 -9
- package/SVF-doxygen/html/search/all_0.js +21 -21
- package/SVF-doxygen/html/search/all_1.js +503 -502
- package/SVF-doxygen/html/search/all_10.js +325 -325
- package/SVF-doxygen/html/search/all_11.js +228 -228
- package/SVF-doxygen/html/search/all_12.js +569 -569
- package/SVF-doxygen/html/search/all_13.js +208 -208
- package/SVF-doxygen/html/search/all_14.js +69 -69
- package/SVF-doxygen/html/search/all_15.js +176 -176
- package/SVF-doxygen/html/search/all_16.js +78 -78
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +26 -26
- package/SVF-doxygen/html/search/all_1a.js +182 -182
- package/SVF-doxygen/html/search/all_2.js +182 -182
- package/SVF-doxygen/html/search/all_3.js +654 -654
- package/SVF-doxygen/html/search/all_4.js +237 -237
- package/SVF-doxygen/html/search/all_5.js +128 -128
- package/SVF-doxygen/html/search/all_6.js +232 -232
- package/SVF-doxygen/html/search/all_7.js +1060 -1060
- package/SVF-doxygen/html/search/all_8.js +217 -217
- package/SVF-doxygen/html/search/all_9.js +628 -628
- 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 +203 -203
- package/SVF-doxygen/html/search/all_e.js +209 -209
- package/SVF-doxygen/html/search/all_f.js +121 -121
- package/SVF-doxygen/html/search/classes_0.js +29 -29
- package/SVF-doxygen/html/search/classes_1.js +12 -12
- package/SVF-doxygen/html/search/classes_10.js +74 -74
- package/SVF-doxygen/html/search/classes_11.js +14 -14
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +20 -20
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +78 -78
- 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 +38 -38
- package/SVF-doxygen/html/search/classes_8.js +58 -58
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +19 -19
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +3 -3
- package/SVF-doxygen/html/search/defines_10.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +20 -20
- package/SVF-doxygen/html/search/defines_4.js +3 -3
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +4 -4
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +8 -8
- package/SVF-doxygen/html/search/defines_f.js +4 -4
- package/SVF-doxygen/html/search/enums_0.js +4 -4
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +4 -4
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_1.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
- package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +47 -47
- package/SVF-doxygen/html/search/files_0.js +16 -15
- package/SVF-doxygen/html/search/files_1.js +9 -9
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +58 -58
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +10 -10
- package/SVF-doxygen/html/search/files_7.js +15 -15
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +4 -4
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +13 -13
- package/SVF-doxygen/html/search/functions_1.js +374 -374
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +142 -142
- package/SVF-doxygen/html/search/functions_12.js +298 -298
- package/SVF-doxygen/html/search/functions_13.js +74 -74
- package/SVF-doxygen/html/search/functions_14.js +40 -40
- package/SVF-doxygen/html/search/functions_15.js +72 -72
- package/SVF-doxygen/html/search/functions_16.js +38 -38
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +182 -182
- package/SVF-doxygen/html/search/functions_2.js +95 -95
- package/SVF-doxygen/html/search/functions_3.js +266 -266
- package/SVF-doxygen/html/search/functions_4.js +84 -84
- package/SVF-doxygen/html/search/functions_5.js +57 -57
- package/SVF-doxygen/html/search/functions_6.js +65 -65
- package/SVF-doxygen/html/search/functions_7.js +867 -867
- package/SVF-doxygen/html/search/functions_8.js +164 -164
- package/SVF-doxygen/html/search/functions_9.js +440 -440
- 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 +81 -81
- package/SVF-doxygen/html/search/functions_e.js +36 -36
- package/SVF-doxygen/html/search/functions_f.js +58 -58
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +4 -4
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +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 +20 -20
- package/SVF-doxygen/html/search/typedefs_1.js +27 -27
- package/SVF-doxygen/html/search/typedefs_10.js +63 -63
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/search/typedefs_13.js +40 -40
- package/SVF-doxygen/html/search/typedefs_14.js +11 -11
- package/SVF-doxygen/html/search/typedefs_2.js +129 -129
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +18 -18
- package/SVF-doxygen/html/search/typedefs_5.js +42 -42
- package/SVF-doxygen/html/search/typedefs_6.js +57 -57
- package/SVF-doxygen/html/search/typedefs_7.js +47 -47
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +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 +182 -182
- package/SVF-doxygen/html/search/variables_1.js +76 -76
- package/SVF-doxygen/html/search/variables_10.js +98 -98
- package/SVF-doxygen/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/search/variables_12.js +93 -93
- package/SVF-doxygen/html/search/variables_13.js +76 -76
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +49 -49
- package/SVF-doxygen/html/search/variables_16.js +11 -11
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +17 -17
- package/SVF-doxygen/html/search/variables_2.js +41 -41
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/search/variables_4.js +51 -51
- package/SVF-doxygen/html/search/variables_5.js +39 -39
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +34 -34
- package/SVF-doxygen/html/search/variables_8.js +8 -8
- package/SVF-doxygen/html/search/variables_9.js +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 +57 -57
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +31 -31
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +102 -102
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
- package/build.sh +1 -1
- package/package.json +1 -1
- package/svf/include/AE/Svfexe/{AE.h → AbstractExecution.h} +13 -14
- package/svf/include/AE/Svfexe/BufOverflowChecker.h +5 -5
- package/svf/include/Graphs/CFBasicBlockG.h +0 -43
- package/svf/lib/AE/Svfexe/{AE.cpp → AbstractExecution.cpp} +33 -33
- package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +2 -2
- package/svf-llvm/tools/AE/ae.cpp +1 -1
|
@@ -77,7 +77,7 @@ $(function() {
|
|
|
77
77
|
</div><!--header-->
|
|
78
78
|
<div class="contents">
|
|
79
79
|
|
|
80
|
-
<p><code>#include <<a class="el" href="
|
|
80
|
+
<p><code>#include <<a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>></code></p>
|
|
81
81
|
<div class="dynheader">
|
|
82
82
|
Inheritance diagram for SVF::AEAPI:</div>
|
|
83
83
|
<div class="dyncontent">
|
|
@@ -105,8 +105,8 @@ Public Types</h2></td></tr>
|
|
|
105
105
|
</table><table class="memberdecls">
|
|
106
106
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
|
|
107
107
|
Public Member Functions</h2></td></tr>
|
|
108
|
-
<tr class="memitem:
|
|
109
|
-
<tr class="separator:
|
|
108
|
+
<tr class="memitem:aef0e9a5ff5633dc6fb96bab35484df2a"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEAPI.html#aef0e9a5ff5633dc6fb96bab35484df2a">AEAPI</a> (<a class="el" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> *ae, <a class="el" href="classSVF_1_1AEStat.html">AEStat</a> *stat)</td></tr>
|
|
109
|
+
<tr class="separator:aef0e9a5ff5633dc6fb96bab35484df2a"><td class="memSeparator" colspan="2"> </td></tr>
|
|
110
110
|
<tr class="memitem:a1b878ba64873caf341984d788d7b4d2a"><td class="memItemLeft" align="right" valign="top">virtual </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEAPI.html#a1b878ba64873caf341984d788d7b4d2a">~AEAPI</a> ()</td></tr>
|
|
111
111
|
<tr class="separator:a1b878ba64873caf341984d788d7b4d2a"><td class="memSeparator" colspan="2"> </td></tr>
|
|
112
112
|
<tr class="memitem:a5172791c4432a4c4ab0f7e97e7b3b596"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEAPI.html#a5172791c4432a4c4ab0f7e97e7b3b596">setModule</a> (<a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> *svfModule)</td></tr>
|
|
@@ -158,8 +158,8 @@ Protected Member Functions</h2></td></tr>
|
|
|
158
158
|
</table><table class="memberdecls">
|
|
159
159
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-attribs"></a>
|
|
160
160
|
Protected Attributes</h2></td></tr>
|
|
161
|
-
<tr class="memitem:
|
|
162
|
-
<tr class="separator:
|
|
161
|
+
<tr class="memitem:a33b63d79de59e0015097c43978162ded"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a></td></tr>
|
|
162
|
+
<tr class="separator:a33b63d79de59e0015097c43978162ded"><td class="memSeparator" colspan="2"> </td></tr>
|
|
163
163
|
<tr class="memitem:afed1d221bdb876046ec036f1cae53fd3"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AEStat.html">AEStat</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEAPI.html#afed1d221bdb876046ec036f1cae53fd3">_stat</a></td></tr>
|
|
164
164
|
<tr class="separator:afed1d221bdb876046ec036f1cae53fd3"><td class="memSeparator" colspan="2"> </td></tr>
|
|
165
165
|
<tr class="memitem:ae983d887ccf66c7f21b4712b37ab5f60"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a></td></tr>
|
|
@@ -175,7 +175,7 @@ Protected Attributes</h2></td></tr>
|
|
|
175
175
|
</table>
|
|
176
176
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
177
177
|
<div class="textblock">
|
|
178
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
178
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00280">280</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
179
179
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
180
180
|
<a id="ad4967592a9dcf19d84c85dd08e93137a"></a>
|
|
181
181
|
<h2 class="memtitle"><span class="permalink"><a href="#ad4967592a9dcf19d84c85dd08e93137a">◆ </a></span>Addrs</h2>
|
|
@@ -189,7 +189,7 @@ Protected Attributes</h2></td></tr>
|
|
|
189
189
|
</table>
|
|
190
190
|
</div><div class="memdoc">
|
|
191
191
|
|
|
192
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
192
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00284">284</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
193
193
|
|
|
194
194
|
</div>
|
|
195
195
|
</div>
|
|
@@ -213,14 +213,14 @@ Protected Attributes</h2></td></tr>
|
|
|
213
213
|
<tr><td class="fieldname"><a id="a29ab312d273e6c9c32a40d61861afb04ab8167323edeff68403cf4ceb7e8133d9"></a>STRCAT </td><td class="fielddoc"></td></tr>
|
|
214
214
|
</table>
|
|
215
215
|
|
|
216
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
217
|
-
<div class="fragment"><div class="line"><a name="
|
|
216
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00285">285</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
217
|
+
<div class="fragment"><div class="line"><a name="l00285"></a><span class="lineno"> 285</span> { <a class="code" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a2dc334d7904e139e2e2b5e9eb2a1bb0a">UNCLASSIFIED</a>, <a class="code" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a9a492bae5e1779267055b83cf033da28">MEMCPY</a>, <a class="code" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a68863d4626b3cde194a0fa6da74a3313">MEMSET</a>, <a class="code" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04aadccf4db29e170b4d669ef023866a28d">STRCPY</a>, <a class="code" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04ab8167323edeff68403cf4ceb7e8133d9">STRCAT</a> };</div>
|
|
218
218
|
</div><!-- fragment -->
|
|
219
219
|
</div>
|
|
220
220
|
</div>
|
|
221
221
|
<h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
222
|
-
<a id="
|
|
223
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
222
|
+
<a id="aef0e9a5ff5633dc6fb96bab35484df2a"></a>
|
|
223
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aef0e9a5ff5633dc6fb96bab35484df2a">◆ </a></span>AEAPI()</h2>
|
|
224
224
|
|
|
225
225
|
<div class="memitem">
|
|
226
226
|
<div class="memproto">
|
|
@@ -231,7 +231,7 @@ Protected Attributes</h2></td></tr>
|
|
|
231
231
|
<tr>
|
|
232
232
|
<td class="memname">SVF::AEAPI::AEAPI </td>
|
|
233
233
|
<td>(</td>
|
|
234
|
-
<td class="paramtype"><a class="el" href="
|
|
234
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> * </td>
|
|
235
235
|
<td class="paramname"><em>ae</em>, </td>
|
|
236
236
|
</tr>
|
|
237
237
|
<tr>
|
|
@@ -261,12 +261,12 @@ Protected Attributes</h2></td></tr>
|
|
|
261
261
|
</dd>
|
|
262
262
|
</dl>
|
|
263
263
|
|
|
264
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
265
|
-
<div class="fragment"><div class="line"><a name="
|
|
266
|
-
<div class="line"><a name="
|
|
267
|
-
<div class="line"><a name="
|
|
268
|
-
<div class="line"><a name="
|
|
269
|
-
<div class="line"><a name="
|
|
264
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00297">297</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
265
|
+
<div class="fragment"><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  : <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>(ae), <a class="code" href="classSVF_1_1AEAPI.html#afed1d221bdb876046ec036f1cae53fd3">_stat</a>(stat)</div>
|
|
266
|
+
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  {</div>
|
|
267
|
+
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <a class="code" href="classSVF_1_1AEAPI.html#a243821a56807acf98be9d88f8947e01d">initExtFunMap</a>();</div>
|
|
268
|
+
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  <a class="code" href="classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492">_kind</a> = <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">AEKind::AbstractExecution</a>;</div>
|
|
269
|
+
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  }</div>
|
|
270
270
|
</div><!-- fragment -->
|
|
271
271
|
</div>
|
|
272
272
|
</div>
|
|
@@ -293,8 +293,8 @@ Protected Attributes</h2></td></tr>
|
|
|
293
293
|
</table>
|
|
294
294
|
</div><div class="memdoc">
|
|
295
295
|
|
|
296
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
297
|
-
<div class="fragment"><div class="line"><a name="
|
|
296
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00303">303</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
297
|
+
<div class="fragment"><div class="line"><a name="l00303"></a><span class="lineno"> 303</span> {}</div>
|
|
298
298
|
</div><!-- fragment -->
|
|
299
299
|
</div>
|
|
300
300
|
</div>
|
|
@@ -339,9 +339,9 @@ Protected Attributes</h2></td></tr>
|
|
|
339
339
|
</table>
|
|
340
340
|
</div><div class="memdoc">
|
|
341
341
|
|
|
342
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
342
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01799">1799</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
343
343
|
<div class="fragment"><div class="line"><a name="l01802"></a><span class="lineno"> 1802</span> {</div>
|
|
344
|
-
<div class="line"><a name="l01803"></a><span class="lineno"> 1803</span>  std::vector<const CallICFGNode *> callstack = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
344
|
+
<div class="line"><a name="l01803"></a><span class="lineno"> 1803</span>  std::vector<const CallICFGNode *> callstack = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1">_callSiteStack</a>;</div>
|
|
345
345
|
<div class="line"><a name="l01804"></a><span class="lineno"> 1804</span>  <a class="code" href="classSVF_1_1ValVar.html">SVF::ValVar</a> *arg_gnode = SVFUtil::cast<ValVar>(<a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(arg)));</div>
|
|
346
346
|
<div class="line"><a name="l01805"></a><span class="lineno"> 1805</span>  <span class="keywordflow">if</span> (arg_gnode-><a class="code" href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">hasIncomingEdges</a>(SVFStmt::PEDGEK::Call))</div>
|
|
347
347
|
<div class="line"><a name="l01806"></a><span class="lineno"> 1806</span>  {</div>
|
|
@@ -414,7 +414,7 @@ Protected Attributes</h2></td></tr>
|
|
|
414
414
|
</table>
|
|
415
415
|
</div><div class="memdoc">
|
|
416
416
|
|
|
417
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
417
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01770">1770</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
418
418
|
<div class="fragment"><div class="line"><a name="l01771"></a><span class="lineno"> 1771</span> {</div>
|
|
419
419
|
<div class="line"><a name="l01772"></a><span class="lineno"> 1772</span>  <span class="keywordflow">if</span> (!visited.count(<a class="code" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>->getRHSVar()->getValue()))</div>
|
|
420
420
|
<div class="line"><a name="l01773"></a><span class="lineno"> 1773</span>  {</div>
|
|
@@ -465,14 +465,14 @@ Protected Attributes</h2></td></tr>
|
|
|
465
465
|
</table>
|
|
466
466
|
</div><div class="memdoc">
|
|
467
467
|
|
|
468
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
468
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01779">1779</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
469
469
|
<div class="fragment"><div class="line"><a name="l01780"></a><span class="lineno"> 1780</span> {</div>
|
|
470
|
-
<div class="line"><a name="l01781"></a><span class="lineno"> 1781</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEAPI.html#
|
|
470
|
+
<div class="line"><a name="l01781"></a><span class="lineno"> 1781</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(load-><a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>()))</div>
|
|
471
471
|
<div class="line"><a name="l01782"></a><span class="lineno"> 1782</span>  {</div>
|
|
472
|
-
<div class="line"><a name="l01783"></a><span class="lineno"> 1783</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">ExeState::Addrs</a> &<a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a> = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
472
|
+
<div class="line"><a name="l01783"></a><span class="lineno"> 1783</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">ExeState::Addrs</a> &<a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a> = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a48fec38aad1c2a9a140ee94e9fdd7e9b">getAddrs</a>(load-><a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>());</div>
|
|
473
473
|
<div class="line"><a name="l01784"></a><span class="lineno"> 1784</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> vaddr: <a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a>)</div>
|
|
474
474
|
<div class="line"><a name="l01785"></a><span class="lineno"> 1785</span>  {</div>
|
|
475
|
-
<div class="line"><a name="l01786"></a><span class="lineno"> 1786</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span> = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
475
|
+
<div class="line"><a name="l01786"></a><span class="lineno"> 1786</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span> = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">getInternalID</a>(vaddr);</div>
|
|
476
476
|
<div class="line"><a name="l01787"></a><span class="lineno"> 1787</span>  <span class="keywordflow">if</span> (<span class="keywordtype">id</span> == 0) <span class="comment">// nullptr has no memobj, skip</span></div>
|
|
477
477
|
<div class="line"><a name="l01788"></a><span class="lineno"> 1788</span>  <span class="keywordflow">continue</span>;</div>
|
|
478
478
|
<div class="line"><a name="l01789"></a><span class="lineno"> 1789</span>  <span class="keyword">const</span> <span class="keyword">auto</span> *val = <a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<span class="keywordtype">id</span>);</div>
|
|
@@ -527,7 +527,7 @@ Protected Attributes</h2></td></tr>
|
|
|
527
527
|
</table>
|
|
528
528
|
</div><div class="memdoc">
|
|
529
529
|
|
|
530
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
530
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01745">1745</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
531
531
|
<div class="fragment"><div class="line"><a name="l01746"></a><span class="lineno"> 1746</span> {</div>
|
|
532
532
|
<div class="line"><a name="l01747"></a><span class="lineno"> 1747</span>  <span class="keywordflow">if</span> (callnode-><a class="code" href="classSVF_1_1CallICFGNode.html#ae23a7540609879ac0379fc53b4e7eead">getRetICFGNode</a>()-><a class="code" href="classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661">getSVFStmts</a>().size() > 0)</div>
|
|
533
533
|
<div class="line"><a name="l01748"></a><span class="lineno"> 1748</span>  {</div>
|
|
@@ -569,7 +569,7 @@ Protected Attributes</h2></td></tr>
|
|
|
569
569
|
</table>
|
|
570
570
|
</div><div class="memdoc">
|
|
571
571
|
|
|
572
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
572
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01332">1332</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
573
573
|
<div class="fragment"><div class="line"><a name="l01333"></a><span class="lineno"> 1333</span> {</div>
|
|
574
574
|
<div class="line"><a name="l01334"></a><span class="lineno"> 1334</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEAPI.html#ad364ccca2d91efa83263fad7ed196361">_checkpoints</a>.size() == 0)</div>
|
|
575
575
|
<div class="line"><a name="l01335"></a><span class="lineno"> 1335</span>  {</div>
|
|
@@ -612,10 +612,10 @@ Protected Attributes</h2></td></tr>
|
|
|
612
612
|
</table>
|
|
613
613
|
</div><div class="memdoc">
|
|
614
614
|
|
|
615
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
616
|
-
<div class="fragment"><div class="line"><a name="
|
|
617
|
-
<div class="line"><a name="
|
|
618
|
-
<div class="line"><a name="
|
|
615
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00286">286</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
616
|
+
<div class="fragment"><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  {</div>
|
|
617
|
+
<div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  <span class="keywordflow">return</span> api->getKind() == <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">AEKind::AbstractExecution</a>;</div>
|
|
618
|
+
<div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  }</div>
|
|
619
619
|
</div><!-- fragment -->
|
|
620
620
|
</div>
|
|
621
621
|
</div>
|
|
@@ -634,10 +634,10 @@ Protected Attributes</h2></td></tr>
|
|
|
634
634
|
</table>
|
|
635
635
|
</div><div class="memdoc">
|
|
636
636
|
|
|
637
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
637
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01313">1313</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
638
638
|
<div class="fragment"><div class="line"><a name="l01314"></a><span class="lineno"> 1314</span> {</div>
|
|
639
639
|
<div class="line"><a name="l01315"></a><span class="lineno"> 1315</span>  <span class="comment">// traverse every ICFGNode</span></div>
|
|
640
|
-
<div class="line"><a name="l01316"></a><span class="lineno"> 1316</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
640
|
+
<div class="line"><a name="l01316"></a><span class="lineno"> 1316</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0">_svfir</a>-><a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-><a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); it != <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0">_svfir</a>-><a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-><a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); ++it)</div>
|
|
641
641
|
<div class="line"><a name="l01317"></a><span class="lineno"> 1317</span>  {</div>
|
|
642
642
|
<div class="line"><a name="l01318"></a><span class="lineno"> 1318</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node = it->second;</div>
|
|
643
643
|
<div class="line"><a name="l01319"></a><span class="lineno"> 1319</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *call = SVFUtil::dyn_cast<CallICFGNode>(node))</div>
|
|
@@ -679,7 +679,7 @@ Protected Attributes</h2></td></tr>
|
|
|
679
679
|
</dl>
|
|
680
680
|
<dl class="section return"><dt>Returns</dt><dd>the byte size e.g. int32_t a[10] -> return 40 </dd></dl>
|
|
681
681
|
|
|
682
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
682
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01362">1362</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
683
683
|
<div class="fragment"><div class="line"><a name="l01363"></a><span class="lineno"> 1363</span> {</div>
|
|
684
684
|
<div class="line"><a name="l01364"></a><span class="lineno"> 1364</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1ObjVar.html">ObjVar</a>* objvar = SVFUtil::dyn_cast<ObjVar>(addr-><a class="code" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a>()))</div>
|
|
685
685
|
<div class="line"><a name="l01365"></a><span class="lineno"> 1365</span>  {</div>
|
|
@@ -698,11 +698,11 @@ Protected Attributes</h2></td></tr>
|
|
|
698
698
|
<div class="line"><a name="l01378"></a><span class="lineno"> 1378</span>  <a class="code" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a> res = elementSize;</div>
|
|
699
699
|
<div class="line"><a name="l01379"></a><span class="lineno"> 1379</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* value: sizes)</div>
|
|
700
700
|
<div class="line"><a name="l01380"></a><span class="lineno"> 1380</span>  {</div>
|
|
701
|
-
<div class="line"><a name="l01381"></a><span class="lineno"> 1381</span>  <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1AEAPI.html#
|
|
701
|
+
<div class="line"><a name="l01381"></a><span class="lineno"> 1381</span>  <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8380eb5e2424c8c7bd290962f04a17ba">inVarToValTable</a>(<a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(value)))</div>
|
|
702
702
|
<div class="line"><a name="l01382"></a><span class="lineno"> 1382</span>  {</div>
|
|
703
|
-
<div class="line"><a name="l01383"></a><span class="lineno"> 1383</span>  <a class="code" href="classSVF_1_1AEAPI.html#
|
|
703
|
+
<div class="line"><a name="l01383"></a><span class="lineno"> 1383</span>  <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>()[<a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(value)] = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(<a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>());</div>
|
|
704
704
|
<div class="line"><a name="l01384"></a><span class="lineno"> 1384</span>  }</div>
|
|
705
|
-
<div class="line"><a name="l01385"></a><span class="lineno"> 1385</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> itv = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
705
|
+
<div class="line"><a name="l01385"></a><span class="lineno"> 1385</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> itv = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>()[<a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(value)];</div>
|
|
706
706
|
<div class="line"><a name="l01386"></a><span class="lineno"> 1386</span>  res = res * itv.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() > <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>()? <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>(): res * itv.ub().getNumeral();</div>
|
|
707
707
|
<div class="line"><a name="l01387"></a><span class="lineno"> 1387</span>  }</div>
|
|
708
708
|
<div class="line"><a name="l01388"></a><span class="lineno"> 1388</span>  <span class="keywordflow">return</span> (<a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a>)res;</div>
|
|
@@ -736,10 +736,10 @@ Protected Attributes</h2></td></tr>
|
|
|
736
736
|
</table>
|
|
737
737
|
</div><div class="memdoc">
|
|
738
738
|
|
|
739
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
740
|
-
<div class="fragment"><div class="line"><a name="
|
|
741
|
-
<div class="line"><a name="
|
|
742
|
-
<div class="line"><a name="
|
|
739
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00310">310</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
740
|
+
<div class="fragment"><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  {</div>
|
|
741
|
+
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492">_kind</a>;</div>
|
|
742
|
+
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  }</div>
|
|
743
743
|
</div><!-- fragment -->
|
|
744
744
|
</div>
|
|
745
745
|
</div>
|
|
@@ -765,15 +765,15 @@ Protected Attributes</h2></td></tr>
|
|
|
765
765
|
</dd>
|
|
766
766
|
</dl>
|
|
767
767
|
|
|
768
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
768
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01673">1673</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
769
769
|
<div class="fragment"><div class="line"><a name="l01674"></a><span class="lineno"> 1674</span> {</div>
|
|
770
|
-
<div class="line"><a name="l01675"></a><span class="lineno"> 1675</span>  assert(<a class="code" href="classSVF_1_1AEAPI.html#
|
|
771
|
-
<div class="line"><a name="l01676"></a><span class="lineno"> 1676</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEAPI.html#
|
|
770
|
+
<div class="line"><a name="l01675"></a><span class="lineno"> 1675</span>  assert(<a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(<span class="keywordtype">id</span>) && <span class="stringliteral">"id is not in varToAddrsTable"</span>);</div>
|
|
771
|
+
<div class="line"><a name="l01676"></a><span class="lineno"> 1676</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(<span class="keywordtype">id</span>))</div>
|
|
772
772
|
<div class="line"><a name="l01677"></a><span class="lineno"> 1677</span>  {</div>
|
|
773
|
-
<div class="line"><a name="l01678"></a><span class="lineno"> 1678</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a>& addrs = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
773
|
+
<div class="line"><a name="l01678"></a><span class="lineno"> 1678</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a>& addrs = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a48fec38aad1c2a9a140ee94e9fdd7e9b">getAddrs</a>(<span class="keywordtype">id</span>);</div>
|
|
774
774
|
<div class="line"><a name="l01679"></a><span class="lineno"> 1679</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> addr: addrs)</div>
|
|
775
775
|
<div class="line"><a name="l01680"></a><span class="lineno"> 1680</span>  {</div>
|
|
776
|
-
<div class="line"><a name="l01681"></a><span class="lineno"> 1681</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> addr_id = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
776
|
+
<div class="line"><a name="l01681"></a><span class="lineno"> 1681</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> addr_id = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">getInternalID</a>(addr);</div>
|
|
777
777
|
<div class="line"><a name="l01682"></a><span class="lineno"> 1682</span>  <span class="keywordflow">if</span> (addr_id == 0) <span class="comment">// nullptr has no memobj, skip</span></div>
|
|
778
778
|
<div class="line"><a name="l01683"></a><span class="lineno"> 1683</span>  <span class="keywordflow">continue</span>;</div>
|
|
779
779
|
<div class="line"><a name="l01684"></a><span class="lineno"> 1684</span>  <span class="keywordflow">return</span> SVFUtil::dyn_cast<ObjVar>(<a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(addr_id))->getMemObj()->getType();</div>
|
|
@@ -808,18 +808,18 @@ Protected Attributes</h2></td></tr>
|
|
|
808
808
|
</dl>
|
|
809
809
|
<dl class="section return"><dt>Returns</dt><dd><a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> of string length </dd></dl>
|
|
810
810
|
|
|
811
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
811
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01526">1526</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
812
812
|
<div class="fragment"><div class="line"><a name="l01527"></a><span class="lineno"> 1527</span> {</div>
|
|
813
|
-
<div class="line"><a name="l01528"></a><span class="lineno"> 1528</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &es = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
813
|
+
<div class="line"><a name="l01528"></a><span class="lineno"> 1528</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &es = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>();</div>
|
|
814
814
|
<div class="line"><a name="l01529"></a><span class="lineno"> 1529</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> dst_size = <a class="code" href="classSVF_1_1AEAPI.html#a4efc7447db13da26ce284218d6c01059">traceMemoryAllocationSize</a>(strValue);</div>
|
|
815
815
|
<div class="line"><a name="l01530"></a><span class="lineno"> 1530</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> len = 0;</div>
|
|
816
816
|
<div class="line"><a name="l01531"></a><span class="lineno"> 1531</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dstid = <a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(strValue);</div>
|
|
817
817
|
<div class="line"><a name="l01532"></a><span class="lineno"> 1532</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> elemSize = 1;</div>
|
|
818
|
-
<div class="line"><a name="l01533"></a><span class="lineno"> 1533</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEAPI.html#
|
|
818
|
+
<div class="line"><a name="l01533"></a><span class="lineno"> 1533</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(dstid))</div>
|
|
819
819
|
<div class="line"><a name="l01534"></a><span class="lineno"> 1534</span>  {</div>
|
|
820
820
|
<div class="line"><a name="l01535"></a><span class="lineno"> 1535</span>  <span class="keywordflow">for</span> (<a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> = 0; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> < dst_size.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().getNumeral(); <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>++)</div>
|
|
821
821
|
<div class="line"><a name="l01536"></a><span class="lineno"> 1536</span>  {</div>
|
|
822
|
-
<div class="line"><a name="l01537"></a><span class="lineno"> 1537</span>  <a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a> expr0 = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
822
|
+
<div class="line"><a name="l01537"></a><span class="lineno"> 1537</span>  <a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a> expr0 = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#af8d06156bcbb61beb305ed8096319966">getGepObjAddress</a>(dstid, <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>);</div>
|
|
823
823
|
<div class="line"><a name="l01538"></a><span class="lineno"> 1538</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> val = <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">IntervalValue::bottom</a>();</div>
|
|
824
824
|
<div class="line"><a name="l01539"></a><span class="lineno"> 1539</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &addr: expr0)</div>
|
|
825
825
|
<div class="line"><a name="l01540"></a><span class="lineno"> 1540</span>  {</div>
|
|
@@ -896,7 +896,7 @@ Protected Attributes</h2></td></tr>
|
|
|
896
896
|
|
|
897
897
|
<p>Reimplemented in <a class="el" href="classSVF_1_1BufOverflowCheckerAPI.html#a6a4afd9b4546d0a01dc869c6672f6dc6">SVF::BufOverflowCheckerAPI</a>.</p>
|
|
898
898
|
|
|
899
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
899
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01247">1247</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
900
900
|
<div class="fragment"><div class="line"><a name="l01248"></a><span class="lineno"> 1248</span> {</div>
|
|
901
901
|
<div class="line"><a name="l01249"></a><span class="lineno"> 1249</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVFUtil::getCallee</a>(call-><a class="code" href="classSVF_1_1CallICFGNode.html#a90fd0b8e44fba1a7eb76d15bce085d66">getCallSite</a>());</div>
|
|
902
902
|
<div class="line"><a name="l01250"></a><span class="lineno"> 1250</span>  assert(fun && <span class="stringliteral">"SVFFunction* is nullptr"</span>);</div>
|
|
@@ -923,13 +923,13 @@ Protected Attributes</h2></td></tr>
|
|
|
923
923
|
<div class="line"><a name="l01271"></a><span class="lineno"> 1271</span>  <span class="keywordflow">else</span></div>
|
|
924
924
|
<div class="line"><a name="l01272"></a><span class="lineno"> 1272</span>  {</div>
|
|
925
925
|
<div class="line"><a name="l01273"></a><span class="lineno"> 1273</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> lhsId = <a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106">SVFUtil::getSVFCallSite</a>(call-><a class="code" href="classSVF_1_1CallICFGNode.html#a90fd0b8e44fba1a7eb76d15bce085d66">getCallSite</a>()).<a class="code" href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">getInstruction</a>());</div>
|
|
926
|
-
<div class="line"><a name="l01274"></a><span class="lineno"> 1274</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEAPI.html#
|
|
926
|
+
<div class="line"><a name="l01274"></a><span class="lineno"> 1274</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>().<a class="code" href="classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45">inVarToAddrsTable</a>(lhsId))</div>
|
|
927
927
|
<div class="line"><a name="l01275"></a><span class="lineno"> 1275</span>  {</div>
|
|
928
928
|
<div class="line"><a name="l01276"></a><span class="lineno"> 1276</span>  </div>
|
|
929
929
|
<div class="line"><a name="l01277"></a><span class="lineno"> 1277</span>  }</div>
|
|
930
930
|
<div class="line"><a name="l01278"></a><span class="lineno"> 1278</span>  <span class="keywordflow">else</span></div>
|
|
931
931
|
<div class="line"><a name="l01279"></a><span class="lineno"> 1279</span>  {</div>
|
|
932
|
-
<div class="line"><a name="l01280"></a><span class="lineno"> 1280</span>  <a class="code" href="classSVF_1_1AEAPI.html#
|
|
932
|
+
<div class="line"><a name="l01280"></a><span class="lineno"> 1280</span>  <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>()[lhsId] = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>();</div>
|
|
933
933
|
<div class="line"><a name="l01281"></a><span class="lineno"> 1281</span>  }</div>
|
|
934
934
|
<div class="line"><a name="l01282"></a><span class="lineno"> 1282</span>  <span class="keywordflow">return</span>;</div>
|
|
935
935
|
<div class="line"><a name="l01283"></a><span class="lineno"> 1283</span>  }</div>
|
|
@@ -937,14 +937,14 @@ Protected Attributes</h2></td></tr>
|
|
|
937
937
|
<div class="line"><a name="l01285"></a><span class="lineno"> 1285</span>  <span class="comment">// 1. memcpy functions like memcpy_chk, strncpy, annotate("MEMCPY"), annotate("BUF_CHECK:Arg0, Arg2"), annotate("BUF_CHECK:Arg1, Arg2")</span></div>
|
|
938
938
|
<div class="line"><a name="l01286"></a><span class="lineno"> 1286</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extType == <a class="code" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a9a492bae5e1779267055b83cf033da28">MEMCPY</a>)</div>
|
|
939
939
|
<div class="line"><a name="l01287"></a><span class="lineno"> 1287</span>  {</div>
|
|
940
|
-
<div class="line"><a name="l01288"></a><span class="lineno"> 1288</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> len = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
940
|
+
<div class="line"><a name="l01288"></a><span class="lineno"> 1288</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> len = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>()[<a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(cs.<a class="code" href="classSVF_1_1CallSite.html#a9e7c94ee7f689466111487e03b2cebcc">getArgument</a>(2))];</div>
|
|
941
941
|
<div class="line"><a name="l01289"></a><span class="lineno"> 1289</span>  <a class="code" href="classSVF_1_1AEAPI.html#ae0847fb421538982bfd50cc280d1a65b">handleMemcpy</a>(cs.<a class="code" href="classSVF_1_1CallSite.html#a9e7c94ee7f689466111487e03b2cebcc">getArgument</a>(0), cs.<a class="code" href="classSVF_1_1CallSite.html#a9e7c94ee7f689466111487e03b2cebcc">getArgument</a>(1), len, 0);</div>
|
|
942
942
|
<div class="line"><a name="l01290"></a><span class="lineno"> 1290</span>  }</div>
|
|
943
943
|
<div class="line"><a name="l01291"></a><span class="lineno"> 1291</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extType == <a class="code" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a68863d4626b3cde194a0fa6da74a3313">MEMSET</a>)</div>
|
|
944
944
|
<div class="line"><a name="l01292"></a><span class="lineno"> 1292</span>  {</div>
|
|
945
945
|
<div class="line"><a name="l01293"></a><span class="lineno"> 1293</span>  <span class="comment">// memset dst is arg0, elem is arg1, size is arg2</span></div>
|
|
946
|
-
<div class="line"><a name="l01294"></a><span class="lineno"> 1294</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> len = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
947
|
-
<div class="line"><a name="l01295"></a><span class="lineno"> 1295</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> elem = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
946
|
+
<div class="line"><a name="l01294"></a><span class="lineno"> 1294</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> len = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>()[<a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(cs.<a class="code" href="classSVF_1_1CallSite.html#a9e7c94ee7f689466111487e03b2cebcc">getArgument</a>(2))];</div>
|
|
947
|
+
<div class="line"><a name="l01295"></a><span class="lineno"> 1295</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> elem = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>()[<a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(cs.<a class="code" href="classSVF_1_1CallSite.html#a9e7c94ee7f689466111487e03b2cebcc">getArgument</a>(1))];</div>
|
|
948
948
|
<div class="line"><a name="l01296"></a><span class="lineno"> 1296</span>  <a class="code" href="classSVF_1_1AEAPI.html#a185e694007f4d69b0030c65fb54c9c6d">handleMemset</a>(cs.<a class="code" href="classSVF_1_1CallSite.html#a9e7c94ee7f689466111487e03b2cebcc">getArgument</a>(0), elem, len);</div>
|
|
949
949
|
<div class="line"><a name="l01297"></a><span class="lineno"> 1297</span>  }</div>
|
|
950
950
|
<div class="line"><a name="l01298"></a><span class="lineno"> 1298</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extType == <a class="code" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04aadccf4db29e170b4d669ef023866a28d">STRCPY</a>)</div>
|
|
@@ -1016,9 +1016,9 @@ Protected Attributes</h2></td></tr>
|
|
|
1016
1016
|
</dd>
|
|
1017
1017
|
</dl>
|
|
1018
1018
|
|
|
1019
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1019
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01616">1616</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
1020
1020
|
<div class="fragment"><div class="line"><a name="l01617"></a><span class="lineno"> 1617</span> {</div>
|
|
1021
|
-
<div class="line"><a name="l01618"></a><span class="lineno"> 1618</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &es = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
1021
|
+
<div class="line"><a name="l01618"></a><span class="lineno"> 1618</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &es = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>();</div>
|
|
1022
1022
|
<div class="line"><a name="l01619"></a><span class="lineno"> 1619</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> dstId = <a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(dst); <span class="comment">// pts(dstId) = {objid} objbar objtypeinfo->getType().</span></div>
|
|
1023
1023
|
<div class="line"><a name="l01620"></a><span class="lineno"> 1620</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> srcId = <a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(src);</div>
|
|
1024
1024
|
<div class="line"><a name="l01621"></a><span class="lineno"> 1621</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> elemSize = 1;</div>
|
|
@@ -1047,13 +1047,13 @@ Protected Attributes</h2></td></tr>
|
|
|
1047
1047
|
<div class="line"><a name="l01644"></a><span class="lineno"> 1644</span>  }</div>
|
|
1048
1048
|
<div class="line"><a name="l01645"></a><span class="lineno"> 1645</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> size = std::min((<a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a>)<a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>(), (<a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a>) len.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>());</div>
|
|
1049
1049
|
<div class="line"><a name="l01646"></a><span class="lineno"> 1646</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> range_val = size / elemSize;</div>
|
|
1050
|
-
<div class="line"><a name="l01647"></a><span class="lineno"> 1647</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEAPI.html#
|
|
1050
|
+
<div class="line"><a name="l01647"></a><span class="lineno"> 1647</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(srcId) && <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(dstId))</div>
|
|
1051
1051
|
<div class="line"><a name="l01648"></a><span class="lineno"> 1648</span>  {</div>
|
|
1052
1052
|
<div class="line"><a name="l01649"></a><span class="lineno"> 1649</span>  <span class="keywordflow">for</span> (<a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> = 0; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> < range_val; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>++)</div>
|
|
1053
1053
|
<div class="line"><a name="l01650"></a><span class="lineno"> 1650</span>  {</div>
|
|
1054
1054
|
<div class="line"><a name="l01651"></a><span class="lineno"> 1651</span>  <span class="comment">// dead loop for string and break if there's a \0. If no \0, it will throw err.</span></div>
|
|
1055
|
-
<div class="line"><a name="l01652"></a><span class="lineno"> 1652</span>  <a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a> expr_src = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
1056
|
-
<div class="line"><a name="l01653"></a><span class="lineno"> 1653</span>  <a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a> expr_dst = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
1055
|
+
<div class="line"><a name="l01652"></a><span class="lineno"> 1652</span>  <a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a> expr_src = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#af8d06156bcbb61beb305ed8096319966">getGepObjAddress</a>(srcId, <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>);</div>
|
|
1056
|
+
<div class="line"><a name="l01653"></a><span class="lineno"> 1653</span>  <a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a> expr_dst = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#af8d06156bcbb61beb305ed8096319966">getGepObjAddress</a>(dstId, <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> + start_idx);</div>
|
|
1057
1057
|
<div class="line"><a name="l01654"></a><span class="lineno"> 1654</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &dst: expr_dst)</div>
|
|
1058
1058
|
<div class="line"><a name="l01655"></a><span class="lineno"> 1655</span>  {</div>
|
|
1059
1059
|
<div class="line"><a name="l01656"></a><span class="lineno"> 1656</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &src: expr_src)</div>
|
|
@@ -1121,9 +1121,9 @@ Protected Attributes</h2></td></tr>
|
|
|
1121
1121
|
</dd>
|
|
1122
1122
|
</dl>
|
|
1123
1123
|
|
|
1124
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1124
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01690">1690</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
1125
1125
|
<div class="fragment"><div class="line"><a name="l01691"></a><span class="lineno"> 1691</span> {</div>
|
|
1126
|
-
<div class="line"><a name="l01692"></a><span class="lineno"> 1692</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &es = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
1126
|
+
<div class="line"><a name="l01692"></a><span class="lineno"> 1692</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &es = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>();</div>
|
|
1127
1127
|
<div class="line"><a name="l01693"></a><span class="lineno"> 1693</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> dstId = <a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(dst);</div>
|
|
1128
1128
|
<div class="line"><a name="l01694"></a><span class="lineno"> 1694</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> size = std::min((<a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a>)<a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>(), (<a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a>) len.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>());</div>
|
|
1129
1129
|
<div class="line"><a name="l01695"></a><span class="lineno"> 1695</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> elemSize = 1;</div>
|
|
@@ -1151,9 +1151,9 @@ Protected Attributes</h2></td></tr>
|
|
|
1151
1151
|
<div class="line"><a name="l01717"></a><span class="lineno"> 1717</span>  <span class="keywordflow">for</span> (<a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> = 0; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> < range_val; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>++)</div>
|
|
1152
1152
|
<div class="line"><a name="l01718"></a><span class="lineno"> 1718</span>  {</div>
|
|
1153
1153
|
<div class="line"><a name="l01719"></a><span class="lineno"> 1719</span>  <span class="comment">// dead loop for string and break if there's a \0. If no \0, it will throw err.</span></div>
|
|
1154
|
-
<div class="line"><a name="l01720"></a><span class="lineno"> 1720</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEAPI.html#
|
|
1154
|
+
<div class="line"><a name="l01720"></a><span class="lineno"> 1720</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(dstId))</div>
|
|
1155
1155
|
<div class="line"><a name="l01721"></a><span class="lineno"> 1721</span>  {</div>
|
|
1156
|
-
<div class="line"><a name="l01722"></a><span class="lineno"> 1722</span>  <a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a> lhs_gep = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
1156
|
+
<div class="line"><a name="l01722"></a><span class="lineno"> 1722</span>  <a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a> lhs_gep = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#af8d06156bcbb61beb305ed8096319966">getGepObjAddress</a>(dstId, <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>);</div>
|
|
1157
1157
|
<div class="line"><a name="l01723"></a><span class="lineno"> 1723</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &addr: lhs_gep)</div>
|
|
1158
1158
|
<div class="line"><a name="l01724"></a><span class="lineno"> 1724</span>  {</div>
|
|
1159
1159
|
<div class="line"><a name="l01725"></a><span class="lineno"> 1725</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> objId = <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">ExeState::getInternalID</a>(addr);</div>
|
|
@@ -1206,7 +1206,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1206
1206
|
</dd>
|
|
1207
1207
|
</dl>
|
|
1208
1208
|
|
|
1209
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1209
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01580">1580</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
1210
1210
|
<div class="fragment"><div class="line"><a name="l01581"></a><span class="lineno"> 1581</span> {</div>
|
|
1211
1211
|
<div class="line"><a name="l01582"></a><span class="lineno"> 1582</span>  <span class="comment">// __strcat_chk, strcat, __wcscat_chk, wcscat, __strncat_chk, strncat, __wcsncat_chk, wcsncat</span></div>
|
|
1212
1212
|
<div class="line"><a name="l01583"></a><span class="lineno"> 1583</span>  <span class="comment">// to check it is strcat group or strncat group</span></div>
|
|
@@ -1230,7 +1230,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1230
1230
|
<div class="line"><a name="l01601"></a><span class="lineno"> 1601</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* arg0Val = cs.<a class="code" href="classSVF_1_1CallSite.html#a9e7c94ee7f689466111487e03b2cebcc">getArgument</a>(0);</div>
|
|
1231
1231
|
<div class="line"><a name="l01602"></a><span class="lineno"> 1602</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* arg1Val = cs.<a class="code" href="classSVF_1_1CallSite.html#a9e7c94ee7f689466111487e03b2cebcc">getArgument</a>(1);</div>
|
|
1232
1232
|
<div class="line"><a name="l01603"></a><span class="lineno"> 1603</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* arg2Val = cs.<a class="code" href="classSVF_1_1CallSite.html#a9e7c94ee7f689466111487e03b2cebcc">getArgument</a>(2);</div>
|
|
1233
|
-
<div class="line"><a name="l01604"></a><span class="lineno"> 1604</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> arg2Num = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
1233
|
+
<div class="line"><a name="l01604"></a><span class="lineno"> 1604</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> arg2Num = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>()[<a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(arg2Val)];</div>
|
|
1234
1234
|
<div class="line"><a name="l01605"></a><span class="lineno"> 1605</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> strLen0 = <a class="code" href="classSVF_1_1AEAPI.html#ae0519df0b6927a2d077c3d46beeaa9f7">getStrlen</a>(arg0Val);</div>
|
|
1235
1235
|
<div class="line"><a name="l01606"></a><span class="lineno"> 1606</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> totalLen = strLen0 + arg2Num;</div>
|
|
1236
1236
|
<div class="line"><a name="l01607"></a><span class="lineno"> 1607</span>  <a class="code" href="classSVF_1_1AEAPI.html#ae0847fb421538982bfd50cc280d1a65b">handleMemcpy</a>(arg0Val, arg1Val, arg2Num, strLen0.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>());</div>
|
|
@@ -1274,7 +1274,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1274
1274
|
</dd>
|
|
1275
1275
|
</dl>
|
|
1276
1276
|
|
|
1277
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1277
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01350">1350</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
1278
1278
|
<div class="fragment"><div class="line"><a name="l01351"></a><span class="lineno"> 1351</span> {</div>
|
|
1279
1279
|
<div class="line"><a name="l01352"></a><span class="lineno"> 1352</span>  <span class="comment">// strcpy, __strcpy_chk, stpcpy , wcscpy, __wcscpy_chk</span></div>
|
|
1280
1280
|
<div class="line"><a name="l01353"></a><span class="lineno"> 1353</span>  <span class="comment">// get the dst and src</span></div>
|
|
@@ -1315,7 +1315,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1315
1315
|
|
|
1316
1316
|
<p>Reimplemented in <a class="el" href="classSVF_1_1BufOverflowCheckerAPI.html#a49a9ee0125f2af00cc55c3224611f28e">SVF::BufOverflowCheckerAPI</a>.</p>
|
|
1317
1317
|
|
|
1318
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1318
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01146">1146</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
1319
1319
|
<div class="fragment"><div class="line"><a name="l01147"></a><span class="lineno"> 1147</span> {</div>
|
|
1320
1320
|
<div class="line"><a name="l01148"></a><span class="lineno"> 1148</span> <span class="preprocessor">#define SSE_FUNC_PROCESS(LLVM_NAME ,FUNC_NAME) \</span></div>
|
|
1321
1321
|
<div class="line"><a name="l01149"></a><span class="lineno"> 1149</span> <span class="preprocessor"> auto sse_##FUNC_NAME = [this](const CallSite &cs) { \</span></div>
|
|
@@ -1331,31 +1331,31 @@ Protected Attributes</h2></td></tr>
|
|
|
1331
1331
|
<div class="line"><a name="l01159"></a><span class="lineno"> 1159</span> <span class="preprocessor"> }; \</span></div>
|
|
1332
1332
|
<div class="line"><a name="l01160"></a><span class="lineno"> 1160</span> <span class="preprocessor"> _func_map[#FUNC_NAME] = sse_##FUNC_NAME; \</span></div>
|
|
1333
1333
|
<div class="line"><a name="l01161"></a><span class="lineno"> 1161</span> <span class="preprocessor"></span> </div>
|
|
1334
|
-
<div class="line"><a name="l01162"></a><span class="lineno"> 1162</span>  <a class="code" href="
|
|
1335
|
-
<div class="line"><a name="l01163"></a><span class="lineno"> 1163</span>  <a class="code" href="
|
|
1336
|
-
<div class="line"><a name="l01164"></a><span class="lineno"> 1164</span>  <a class="code" href="
|
|
1337
|
-
<div class="line"><a name="l01165"></a><span class="lineno"> 1165</span>  <a class="code" href="
|
|
1338
|
-
<div class="line"><a name="l01166"></a><span class="lineno"> 1166</span>  <a class="code" href="
|
|
1339
|
-
<div class="line"><a name="l01167"></a><span class="lineno"> 1167</span>  <a class="code" href="
|
|
1340
|
-
<div class="line"><a name="l01168"></a><span class="lineno"> 1168</span>  <a class="code" href="
|
|
1341
|
-
<div class="line"><a name="l01169"></a><span class="lineno"> 1169</span>  <a class="code" href="
|
|
1342
|
-
<div class="line"><a name="l01170"></a><span class="lineno"> 1170</span>  <a class="code" href="
|
|
1343
|
-
<div class="line"><a name="l01171"></a><span class="lineno"> 1171</span>  <a class="code" href="
|
|
1344
|
-
<div class="line"><a name="l01172"></a><span class="lineno"> 1172</span>  <a class="code" href="
|
|
1345
|
-
<div class="line"><a name="l01173"></a><span class="lineno"> 1173</span>  <a class="code" href="
|
|
1346
|
-
<div class="line"><a name="l01174"></a><span class="lineno"> 1174</span>  <a class="code" href="
|
|
1347
|
-
<div class="line"><a name="l01175"></a><span class="lineno"> 1175</span>  <a class="code" href="
|
|
1348
|
-
<div class="line"><a name="l01176"></a><span class="lineno"> 1176</span>  <a class="code" href="
|
|
1349
|
-
<div class="line"><a name="l01177"></a><span class="lineno"> 1177</span>  <a class="code" href="
|
|
1350
|
-
<div class="line"><a name="l01178"></a><span class="lineno"> 1178</span>  <a class="code" href="
|
|
1351
|
-
<div class="line"><a name="l01179"></a><span class="lineno"> 1179</span>  <a class="code" href="
|
|
1334
|
+
<div class="line"><a name="l01162"></a><span class="lineno"> 1162</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="extapi_8c.html#abe92a0aebef4717d08c64655ac44c9af">isalnum</a>, <a class="code" href="extapi_8c.html#abe92a0aebef4717d08c64655ac44c9af">isalnum</a>);</div>
|
|
1335
|
+
<div class="line"><a name="l01163"></a><span class="lineno"> 1163</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="extapi_8c.html#af947cbf1ae303e5297c9d68c68a6b9cb">isalpha</a>, <a class="code" href="extapi_8c.html#af947cbf1ae303e5297c9d68c68a6b9cb">isalpha</a>);</div>
|
|
1336
|
+
<div class="line"><a name="l01164"></a><span class="lineno"> 1164</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="extapi_8c.html#aaecd098576b00440124c44580144e8d5">isblank</a>, <a class="code" href="extapi_8c.html#aaecd098576b00440124c44580144e8d5">isblank</a>);</div>
|
|
1337
|
+
<div class="line"><a name="l01165"></a><span class="lineno"> 1165</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="extapi_8c.html#a0008a4e8e7889734dc1d83297de07158">iscntrl</a>, <a class="code" href="extapi_8c.html#a0008a4e8e7889734dc1d83297de07158">iscntrl</a>);</div>
|
|
1338
|
+
<div class="line"><a name="l01166"></a><span class="lineno"> 1166</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="extapi_8c.html#a3fa45b35c8abf67a950b6d3d4063dede">isdigit</a>, <a class="code" href="extapi_8c.html#a3fa45b35c8abf67a950b6d3d4063dede">isdigit</a>);</div>
|
|
1339
|
+
<div class="line"><a name="l01167"></a><span class="lineno"> 1167</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="extapi_8c.html#a49f40fd869fd0c90e4497fda08c89561">isgraph</a>, <a class="code" href="extapi_8c.html#a49f40fd869fd0c90e4497fda08c89561">isgraph</a>);</div>
|
|
1340
|
+
<div class="line"><a name="l01168"></a><span class="lineno"> 1168</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="extapi_8c.html#a99355d8f0fb41ec43effb95189db0ed4">isprint</a>, <a class="code" href="extapi_8c.html#a99355d8f0fb41ec43effb95189db0ed4">isprint</a>);</div>
|
|
1341
|
+
<div class="line"><a name="l01169"></a><span class="lineno"> 1169</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="extapi_8c.html#a9d60842d6ae065229ba810e6b01110da">ispunct</a>, <a class="code" href="extapi_8c.html#a9d60842d6ae065229ba810e6b01110da">ispunct</a>);</div>
|
|
1342
|
+
<div class="line"><a name="l01170"></a><span class="lineno"> 1170</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="extapi_8c.html#a84b34b0058324ae5c0eae4956cf00cc5">isspace</a>, <a class="code" href="extapi_8c.html#a84b34b0058324ae5c0eae4956cf00cc5">isspace</a>);</div>
|
|
1343
|
+
<div class="line"><a name="l01171"></a><span class="lineno"> 1171</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="extapi_8c.html#adadd6582d46775aab6a51e29d16d9f77">isupper</a>, <a class="code" href="extapi_8c.html#adadd6582d46775aab6a51e29d16d9f77">isupper</a>);</div>
|
|
1344
|
+
<div class="line"><a name="l01172"></a><span class="lineno"> 1172</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="extapi_8c.html#adaf3aadefe3fc4fb07b6be0d7b880f53">isxdigit</a>, <a class="code" href="extapi_8c.html#adaf3aadefe3fc4fb07b6be0d7b880f53">isxdigit</a>);</div>
|
|
1345
|
+
<div class="line"><a name="l01173"></a><span class="lineno"> 1173</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="namespacellvm.html">llvm</a>.sin.f64, sin);</div>
|
|
1346
|
+
<div class="line"><a name="l01174"></a><span class="lineno"> 1174</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="namespacellvm.html">llvm</a>.cos.f64, cos);</div>
|
|
1347
|
+
<div class="line"><a name="l01175"></a><span class="lineno"> 1175</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="namespacellvm.html">llvm</a>.tan.f64, tan);</div>
|
|
1348
|
+
<div class="line"><a name="l01176"></a><span class="lineno"> 1176</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(<a class="code" href="namespacellvm.html">llvm</a>.log.f64, log);</div>
|
|
1349
|
+
<div class="line"><a name="l01177"></a><span class="lineno"> 1177</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(sinh, sinh);</div>
|
|
1350
|
+
<div class="line"><a name="l01178"></a><span class="lineno"> 1178</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(cosh, cosh);</div>
|
|
1351
|
+
<div class="line"><a name="l01179"></a><span class="lineno"> 1179</span>  <a class="code" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a>(tanh, tanh);</div>
|
|
1352
1352
|
<div class="line"><a name="l01180"></a><span class="lineno"> 1180</span>  </div>
|
|
1353
1353
|
<div class="line"><a name="l01181"></a><span class="lineno"> 1181</span>  <span class="keyword">auto</span> sse_svf_assert = [<span class="keyword">this</span>](<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallSite.html">CallSite</a> &cs)</div>
|
|
1354
1354
|
<div class="line"><a name="l01182"></a><span class="lineno"> 1182</span>  {</div>
|
|
1355
1355
|
<div class="line"><a name="l01183"></a><span class="lineno"> 1183</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode = SVFUtil::dyn_cast<CallICFGNode>(<a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-><a class="code" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">getICFGNode</a>(cs.getInstruction()));</div>
|
|
1356
1356
|
<div class="line"><a name="l01184"></a><span class="lineno"> 1184</span>  <a class="code" href="classSVF_1_1AEAPI.html#ad364ccca2d91efa83263fad7ed196361">_checkpoints</a>.erase(callNode);</div>
|
|
1357
1357
|
<div class="line"><a name="l01185"></a><span class="lineno"> 1185</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> arg0 = <a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(cs.getArgument(0));</div>
|
|
1358
|
-
<div class="line"><a name="l01186"></a><span class="lineno"> 1186</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &es = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
1358
|
+
<div class="line"><a name="l01186"></a><span class="lineno"> 1186</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &es = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>();</div>
|
|
1359
1359
|
<div class="line"><a name="l01187"></a><span class="lineno"> 1187</span>  es[arg0].meet_with(<a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(1, 1));</div>
|
|
1360
1360
|
<div class="line"><a name="l01188"></a><span class="lineno"> 1188</span>  <span class="keywordflow">if</span> (es[arg0].equals(<a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(1, 1)))</div>
|
|
1361
1361
|
<div class="line"><a name="l01189"></a><span class="lineno"> 1189</span>  {</div>
|
|
@@ -1373,7 +1373,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1373
1373
|
<div class="line"><a name="l01201"></a><span class="lineno"> 1201</span>  <span class="keyword">auto</span> svf_print = [&](<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallSite.html">CallSite</a> &cs)</div>
|
|
1374
1374
|
<div class="line"><a name="l01202"></a><span class="lineno"> 1202</span>  {</div>
|
|
1375
1375
|
<div class="line"><a name="l01203"></a><span class="lineno"> 1203</span>  <span class="keywordflow">if</span> (cs.arg_size() < 2) <span class="keywordflow">return</span>;</div>
|
|
1376
|
-
<div class="line"><a name="l01204"></a><span class="lineno"> 1204</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &es = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
1376
|
+
<div class="line"><a name="l01204"></a><span class="lineno"> 1204</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &es = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>();</div>
|
|
1377
1377
|
<div class="line"><a name="l01205"></a><span class="lineno"> 1205</span>  <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> num_id = <a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(cs.getArgument(0));</div>
|
|
1378
1378
|
<div class="line"><a name="l01206"></a><span class="lineno"> 1206</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> text = <a class="code" href="classSVF_1_1AEAPI.html#a3df0f1b34893f44904dce62e6641a58e">strRead</a>(cs.getArgument(1));</div>
|
|
1379
1379
|
<div class="line"><a name="l01207"></a><span class="lineno"> 1207</span>  assert(es.<a class="code" href="classSVF_1_1IntervalExeState.html#aab316a63c25483eefc38bed0a86a0e7e">inVarToValTable</a>(num_id) && <span class="stringliteral">"print() should pass integer"</span>);</div>
|
|
@@ -1413,10 +1413,10 @@ Protected Attributes</h2></td></tr>
|
|
|
1413
1413
|
</table>
|
|
1414
1414
|
</div><div class="memdoc">
|
|
1415
1415
|
|
|
1416
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1417
|
-
<div class="fragment"><div class="line"><a name="
|
|
1418
|
-
<div class="line"><a name="
|
|
1419
|
-
<div class="line"><a name="
|
|
1416
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00305">305</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
1417
|
+
<div class="fragment"><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  {</div>
|
|
1418
|
+
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  <a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a> = svfModule;</div>
|
|
1419
|
+
<div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  }</div>
|
|
1420
1420
|
</div><!-- fragment -->
|
|
1421
1421
|
</div>
|
|
1422
1422
|
</div>
|
|
@@ -1444,17 +1444,17 @@ Protected Attributes</h2></td></tr>
|
|
|
1444
1444
|
</dl>
|
|
1445
1445
|
<dl class="section return"><dt>Returns</dt><dd>the string </dd></dl>
|
|
1446
1446
|
|
|
1447
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1447
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01218">1218</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
1448
1448
|
<div class="fragment"><div class="line"><a name="l01219"></a><span class="lineno"> 1219</span> {</div>
|
|
1449
1449
|
<div class="line"><a name="l01220"></a><span class="lineno"> 1220</span>  <span class="comment">// sse read string nodeID->string</span></div>
|
|
1450
|
-
<div class="line"><a name="l01221"></a><span class="lineno"> 1221</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &es = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
1450
|
+
<div class="line"><a name="l01221"></a><span class="lineno"> 1221</span>  <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &es = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>();</div>
|
|
1451
1451
|
<div class="line"><a name="l01222"></a><span class="lineno"> 1222</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str0;</div>
|
|
1452
1452
|
<div class="line"><a name="l01223"></a><span class="lineno"> 1223</span>  </div>
|
|
1453
1453
|
<div class="line"><a name="l01224"></a><span class="lineno"> 1224</span>  <span class="keywordflow">for</span> (<a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> = 0; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> < <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>(); <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>++)</div>
|
|
1454
1454
|
<div class="line"><a name="l01225"></a><span class="lineno"> 1225</span>  {</div>
|
|
1455
1455
|
<div class="line"><a name="l01226"></a><span class="lineno"> 1226</span>  <span class="comment">// dead loop for string and break if there's a \0. If no \0, it will throw err.</span></div>
|
|
1456
1456
|
<div class="line"><a name="l01227"></a><span class="lineno"> 1227</span>  <span class="keywordflow">if</span> (!es.<a class="code" href="classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45">inVarToAddrsTable</a>(<a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(rhs))) <span class="keywordflow">continue</span>;</div>
|
|
1457
|
-
<div class="line"><a name="l01228"></a><span class="lineno"> 1228</span>  <a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a> expr0 = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
1457
|
+
<div class="line"><a name="l01228"></a><span class="lineno"> 1228</span>  <a class="code" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a> expr0 = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#af8d06156bcbb61beb305ed8096319966">getGepObjAddress</a>(<a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(rhs), <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>);</div>
|
|
1458
1458
|
<div class="line"><a name="l01229"></a><span class="lineno"> 1229</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> val = <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">IntervalValue::bottom</a>();</div>
|
|
1459
1459
|
<div class="line"><a name="l01230"></a><span class="lineno"> 1230</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &addr: expr0)</div>
|
|
1460
1460
|
<div class="line"><a name="l01231"></a><span class="lineno"> 1231</span>  {</div>
|
|
@@ -1500,7 +1500,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1500
1500
|
<p>Usually called by a <a class="el" href="classSVF_1_1GepStmt.html">GepStmt</a> overflow check, or external API (like memcpy) overflow check Defitions of Terms: source node: malloc or gepStmt(array), sink node: gepStmt or external API (like memcpy) it tracks the value flow from sink to source, and accumulates offset then compare the accumulated offset and malloc size (or gepStmt array size)</p>
|
|
1501
1501
|
<p>CallNode means Source Node</p>
|
|
1502
1502
|
|
|
1503
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1503
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01394">1394</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
|
|
1504
1504
|
<div class="fragment"><div class="line"><a name="l01395"></a><span class="lineno"> 1395</span> {</div>
|
|
1505
1505
|
<div class="line"><a name="l01401"></a><span class="lineno"> 1401</span>  <a class="code" href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList<const SVFValue *></a> worklist;</div>
|
|
1506
1506
|
<div class="line"><a name="l01402"></a><span class="lineno"> 1402</span>  <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<const SVFValue *></a> visited;</div>
|
|
@@ -1575,7 +1575,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1575
1575
|
<div class="line"><a name="l01472"></a><span class="lineno"> 1472</span>  }</div>
|
|
1576
1576
|
<div class="line"><a name="l01473"></a><span class="lineno"> 1473</span>  <span class="keywordflow">else</span></div>
|
|
1577
1577
|
<div class="line"><a name="l01474"></a><span class="lineno"> 1474</span>  {</div>
|
|
1578
|
-
<div class="line"><a name="l01475"></a><span class="lineno"> 1475</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> byteOffset = <a class="code" href="classSVF_1_1AEAPI.html#
|
|
1578
|
+
<div class="line"><a name="l01475"></a><span class="lineno"> 1475</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> byteOffset = <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>-><a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-><a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a335922caf105ee72cd9d66a451ae3d4e">getByteOffset</a>(gep);</div>
|
|
1579
1579
|
<div class="line"><a name="l01476"></a><span class="lineno"> 1476</span>  }</div>
|
|
1580
1580
|
<div class="line"><a name="l01477"></a><span class="lineno"> 1477</span>  <span class="comment">// for variable offset, join with accumulate gep offset</span></div>
|
|
1581
1581
|
<div class="line"><a name="l01478"></a><span class="lineno"> 1478</span>  gep_offsets[gep->getICFGNode()] = byteOffset;</div>
|
|
@@ -1628,8 +1628,8 @@ Protected Attributes</h2></td></tr>
|
|
|
1628
1628
|
</div>
|
|
1629
1629
|
</div>
|
|
1630
1630
|
<h2 class="groupheader">Member Data Documentation</h2>
|
|
1631
|
-
<a id="
|
|
1632
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
1631
|
+
<a id="a33b63d79de59e0015097c43978162ded"></a>
|
|
1632
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a33b63d79de59e0015097c43978162ded">◆ </a></span>_ae</h2>
|
|
1633
1633
|
|
|
1634
1634
|
<div class="memitem">
|
|
1635
1635
|
<div class="memproto">
|
|
@@ -1638,7 +1638,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1638
1638
|
<td class="mlabels-left">
|
|
1639
1639
|
<table class="memname">
|
|
1640
1640
|
<tr>
|
|
1641
|
-
<td class="memname"><a class="el" href="
|
|
1641
|
+
<td class="memname"><a class="el" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a>* SVF::AEAPI::_ae</td>
|
|
1642
1642
|
</tr>
|
|
1643
1643
|
</table>
|
|
1644
1644
|
</td>
|
|
@@ -1648,7 +1648,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1648
1648
|
</table>
|
|
1649
1649
|
</div><div class="memdoc">
|
|
1650
1650
|
|
|
1651
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1651
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00423">423</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
1652
1652
|
|
|
1653
1653
|
</div>
|
|
1654
1654
|
</div>
|
|
@@ -1672,7 +1672,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1672
1672
|
</table>
|
|
1673
1673
|
</div><div class="memdoc">
|
|
1674
1674
|
|
|
1675
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1675
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00431">431</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
1676
1676
|
|
|
1677
1677
|
</div>
|
|
1678
1678
|
</div>
|
|
@@ -1696,7 +1696,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1696
1696
|
</table>
|
|
1697
1697
|
</div><div class="memdoc">
|
|
1698
1698
|
|
|
1699
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1699
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00430">430</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
1700
1700
|
|
|
1701
1701
|
</div>
|
|
1702
1702
|
</div>
|
|
@@ -1720,7 +1720,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1720
1720
|
</table>
|
|
1721
1721
|
</div><div class="memdoc">
|
|
1722
1722
|
|
|
1723
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1723
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00428">428</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
1724
1724
|
|
|
1725
1725
|
</div>
|
|
1726
1726
|
</div>
|
|
@@ -1744,7 +1744,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1744
1744
|
</table>
|
|
1745
1745
|
</div><div class="memdoc">
|
|
1746
1746
|
|
|
1747
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1747
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00426">426</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
1748
1748
|
|
|
1749
1749
|
</div>
|
|
1750
1750
|
</div>
|
|
@@ -1768,7 +1768,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1768
1768
|
</table>
|
|
1769
1769
|
</div><div class="memdoc">
|
|
1770
1770
|
|
|
1771
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1771
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00424">424</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
1772
1772
|
|
|
1773
1773
|
</div>
|
|
1774
1774
|
</div>
|
|
@@ -1792,19 +1792,20 @@ Protected Attributes</h2></td></tr>
|
|
|
1792
1792
|
</table>
|
|
1793
1793
|
</div><div class="memdoc">
|
|
1794
1794
|
|
|
1795
|
-
<p class="definition">Definition at line <a class="el" href="
|
|
1795
|
+
<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00425">425</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
|
|
1796
1796
|
|
|
1797
1797
|
</div>
|
|
1798
1798
|
</div>
|
|
1799
1799
|
<hr/>The documentation for this class was generated from the following files:<ul>
|
|
1800
|
-
<li>/home/runner/work/SVF/SVF/svf/include/AE/Svfexe/<a class="el" href="
|
|
1801
|
-
<li>/home/runner/work/SVF/SVF/svf/lib/AE/Svfexe/<a class="el" href="
|
|
1800
|
+
<li>/home/runner/work/SVF/SVF/svf/include/AE/Svfexe/<a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a></li>
|
|
1801
|
+
<li>/home/runner/work/SVF/SVF/svf/lib/AE/Svfexe/<a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a></li>
|
|
1802
1802
|
</ul>
|
|
1803
1803
|
</div><!-- contents -->
|
|
1804
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_afe6d49fd36a96bda165654eb393be6f2"><div class="ttname"><a href="classSVF_1_1AEAPI.html#afe6d49fd36a96bda165654eb393be6f2">SVF::AEAPI::getAllocaInstByteSize</a></div><div class="ttdeci">u32_t getAllocaInstByteSize(const AddrStmt *addr)</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1804
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_afe6d49fd36a96bda165654eb393be6f2"><div class="ttname"><a href="classSVF_1_1AEAPI.html#afe6d49fd36a96bda165654eb393be6f2">SVF::AEAPI::getAllocaInstByteSize</a></div><div class="ttdeci">u32_t getAllocaInstByteSize(const AddrStmt *addr)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01362">AbstractExecution.cpp:1362</a></div></div>
|
|
1805
1805
|
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string & getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00243">SVFValue.h:243</a></div></div>
|
|
1806
1806
|
<div class="ttc" id="aclassSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00364">SVFStatements.h:364</a></div></div>
|
|
1807
1807
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a95b8031f1e15d49c7d68628be1d05aae"><div class="ttname"><a href="classSVF_1_1SVFType.html#a95b8031f1e15d49c7d68628be1d05aae">SVF::SVFType::getByteSize</a></div><div class="ttdeci">u32_t getByteSize() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00244">SVFType.h:244</a></div></div>
|
|
1808
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a33b63d79de59e0015097c43978162ded"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">SVF::AEAPI::_ae</a></div><div class="ttdeci">AbstractExecution * _ae</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00423">AbstractExecution.h:423</a></div></div>
|
|
1808
1809
|
<div class="ttc" id="anamespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00013">GEPTypeBridgeIterator.h:13</a></div></div>
|
|
1809
1810
|
<div class="ttc" id="aextapi_8c_html_a49f40fd869fd0c90e4497fda08c89561"><div class="ttname"><a href="extapi_8c.html#a49f40fd869fd0c90e4497fda08c89561">isgraph</a></div><div class="ttdeci">int isgraph(int c)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00857">extapi.c:857</a></div></div>
|
|
1810
1811
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a960ec3359dfcb5e89fb66120c868ac5e"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a960ec3359dfcb5e89fb66120c868ac5e">SVF::IntervalExeState::load</a></div><div class="ttdeci">IntervalValue & load(u32_t addr) override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00547">IntervalExeState.h:547</a></div></div>
|
|
@@ -1818,14 +1819,16 @@ Protected Attributes</h2></td></tr>
|
|
|
1818
1819
|
<div class="ttc" id="aclassSVF_1_1ObjVar_html"><div class="ttname"><a href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00315">SVFVariables.h:315</a></div></div>
|
|
1819
1820
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a0df07a2659cbf3a918de5b0d7c407264"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">SVF::IntervalValue::lb</a></div><div class="ttdeci">const NumericLiteral & lb() const</div><div class="ttdoc">Return the lower bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00218">IntervalValue.h:218</a></div></div>
|
|
1820
1821
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a8380eb5e2424c8c7bd290962f04a17ba"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a8380eb5e2424c8c7bd290962f04a17ba">SVF::SVFIR2ItvExeState::inVarToValTable</a></div><div class="ttdeci">bool inVarToValTable(u32_t id) const</div><div class="ttdoc">whether the variable is in varToVal table</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00114">SVFIR2ItvExeState.h:114</a></div></div>
|
|
1821
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ad364ccca2d91efa83263fad7ed196361"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ad364ccca2d91efa83263fad7ed196361">SVF::AEAPI::_checkpoints</a></div><div class="ttdeci">Set< const CallICFGNode * > _checkpoints</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1822
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ad364ccca2d91efa83263fad7ed196361"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ad364ccca2d91efa83263fad7ed196361">SVF::AEAPI::_checkpoints</a></div><div class="ttdeci">Set< const CallICFGNode * > _checkpoints</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00430">AbstractExecution.h:430</a></div></div>
|
|
1822
1823
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a9815a5b31ac7dc21239d08e5b9f61106"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106">SVF::SVFUtil::getSVFCallSite</a></div><div class="ttdeci">CallSite getSVFCallSite(const SVFInstruction *inst)</div><div class="ttdoc">Return LLVM callsite given an instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00196">SVFUtil.h:196</a></div></div>
|
|
1823
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a4d160903c3bbedbd486be39c40c2c836"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a4d160903c3bbedbd486be39c40c2c836">SVF::AEAPI::handleStrcat</a></div><div class="ttdeci">virtual void handleStrcat(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1824
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04ab8167323edeff68403cf4ceb7e8133d9"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04ab8167323edeff68403cf4ceb7e8133d9">SVF::AEAPI::STRCAT</a></div><div class="ttdeci">@ STRCAT</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1824
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a4d160903c3bbedbd486be39c40c2c836"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a4d160903c3bbedbd486be39c40c2c836">SVF::AEAPI::handleStrcat</a></div><div class="ttdeci">virtual void handleStrcat(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01580">AbstractExecution.cpp:1580</a></div></div>
|
|
1825
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04ab8167323edeff68403cf4ceb7e8133d9"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04ab8167323edeff68403cf4ceb7e8133d9">SVF::AEAPI::STRCAT</a></div><div class="ttdeci">@ STRCAT</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00285">AbstractExecution.h:285</a></div></div>
|
|
1825
1826
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_aab316a63c25483eefc38bed0a86a0e7e"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#aab316a63c25483eefc38bed0a86a0e7e">SVF::IntervalExeState::inVarToValTable</a></div><div class="ttdeci">bool inVarToValTable(u32_t id) const override</div><div class="ttdoc">whether the variable is in varToVal table</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00481">IntervalExeState.h:481</a></div></div>
|
|
1827
|
+
<div class="ttc" id="anamespaceSVF_html_a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1"><div class="ttname"><a href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">SVF::AEKind::AbstractExecution</a></div><div class="ttdeci">@ AbstractExecution</div></div>
|
|
1826
1828
|
<div class="ttc" id="aclassSVF_1_1ICFGNode_html_a6c68f52dd90728073fb79141df9b0661"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661">SVF::ICFGNode::getSVFStmts</a></div><div class="ttdeci">const SVFStmtList & getSVFStmts() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00127">ICFGNode.h:127</a></div></div>
|
|
1827
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ae983d887ccf66c7f21b4712b37ab5f60"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">SVF::AEAPI::_svfir</a></div><div class="ttdeci">SVFIR * _svfir</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1829
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ae983d887ccf66c7f21b4712b37ab5f60"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">SVF::AEAPI::_svfir</a></div><div class="ttdeci">SVFIR * _svfir</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00425">AbstractExecution.h:425</a></div></div>
|
|
1828
1830
|
<div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00618">SVFStatements.h:618</a></div></div>
|
|
1831
|
+
<div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a5e24bceb3d6961117651dbc65e9a097a"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">SVF::AbstractExecution::_svfir2ExeState</a></div><div class="ttdeci">SVFIR2ItvExeState * _svfir2ExeState</div><div class="ttdoc">Execution State, used to store the Interval Value of every SVF variable.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00238">AbstractExecution.h:238</a></div></div>
|
|
1829
1832
|
<div class="ttc" id="aextapi_8c_html_abe92a0aebef4717d08c64655ac44c9af"><div class="ttname"><a href="extapi_8c.html#abe92a0aebef4717d08c64655ac44c9af">isalnum</a></div><div class="ttdeci">int isalnum(int character)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00832">extapi.c:832</a></div></div>
|
|
1830
1833
|
<div class="ttc" id="aextapi_8c_html_a3fa45b35c8abf67a950b6d3d4063dede"><div class="ttname"><a href="extapi_8c.html#a3fa45b35c8abf67a950b6d3d4063dede">isdigit</a></div><div class="ttdeci">int isdigit(int c)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00852">extapi.c:852</a></div></div>
|
|
1831
1834
|
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a11f2d9b6e969ede6fca2c204cc15b821"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">SVF::SVFValue::getType</a></div><div class="ttdeci">virtual const SVFType * getType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00256">SVFValue.h:256</a></div></div>
|
|
@@ -1834,79 +1837,77 @@ Protected Attributes</h2></td></tr>
|
|
|
1834
1837
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a330084f9a3deb6e5acb52a8ee3eb7fe4"><div class="ttname"><a href="classSVF_1_1SVFType.html#a330084f9a3deb6e5acb52a8ee3eb7fe4">SVF::SVFType::isArrayTy</a></div><div class="ttdeci">bool isArrayTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00254">SVFType.h:254</a></div></div>
|
|
1835
1838
|
<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a8cd7b6c6fd8b030b1421d95a086359f4"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVF::SVFStmt::SVFStmtSetTy</a></div><div class="ttdeci">GenericNode< SVFVar, SVFStmt >::GEdgeSetTy SVFStmtSetTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00217">SVFStatements.h:217</a></div></div>
|
|
1836
1839
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a5d73cc2aa0a6ed49e8301fa7b0cd5045"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a5d73cc2aa0a6ed49e8301fa7b0cd5045">SVF::IntervalValue::toString</a></div><div class="ttdeci">const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00441">IntervalValue.h:441</a></div></div>
|
|
1837
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ac49859a7848fbef0e29492e95b031f1f"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ac49859a7848fbef0e29492e95b031f1f">SVF::AEAPI::AccessMemoryViaCallArgs</a></div><div class="ttdeci">void AccessMemoryViaCallArgs(const SVF::SVFArgument *arg, SVF::FILOWorkList< const SVFValue * > &worklist, Set< const SVFValue * > &visited)</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1840
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ac49859a7848fbef0e29492e95b031f1f"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ac49859a7848fbef0e29492e95b031f1f">SVF::AEAPI::AccessMemoryViaCallArgs</a></div><div class="ttdeci">void AccessMemoryViaCallArgs(const SVF::SVFArgument *arg, SVF::FILOWorkList< const SVFValue * > &worklist, Set< const SVFValue * > &visited)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01799">AbstractExecution.cpp:1799</a></div></div>
|
|
1838
1841
|
<div class="ttc" id="aclassSVF_1_1IntervalESBase_html_ab5d7ac23f8334fa32ae0a78c8f1d9fa9"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#ab5d7ac23f8334fa32ae0a78c8f1d9fa9">SVF::IntervalESBase::toString</a></div><div class="ttdeci">std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00317">IntervalExeState.h:317</a></div></div>
|
|
1839
1842
|
<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00558">SVFStatements.h:558</a></div></div>
|
|
1840
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a3df0f1b34893f44904dce62e6641a58e"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a3df0f1b34893f44904dce62e6641a58e">SVF::AEAPI::strRead</a></div><div class="ttdeci">std::string strRead(const SVFValue *rhs)</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1843
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a3df0f1b34893f44904dce62e6641a58e"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a3df0f1b34893f44904dce62e6641a58e">SVF::AEAPI::strRead</a></div><div class="ttdeci">std::string strRead(const SVFValue *rhs)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01218">AbstractExecution.cpp:1218</a></div></div>
|
|
1841
1844
|
<div class="ttc" id="acJSON_8h_html_a750b5d744c39a06bfb13e6eb010e35d0"><div class="ttname"><a href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a></div><div class="ttdeci">int index</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00170">cJSON.h:170</a></div></div>
|
|
1842
1845
|
<div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
|
|
1843
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a6cd87d552b2bd81252ef62c624a56b36"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a6cd87d552b2bd81252ef62c624a56b36">SVF::AEAPI::_ae</a></div><div class="ttdeci">AE * _ae</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00424">AE.h:424</a></div></div>
|
|
1844
1846
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a48fec38aad1c2a9a140ee94e9fdd7e9b"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a48fec38aad1c2a9a140ee94e9fdd7e9b">SVF::SVFIR2ItvExeState::getAddrs</a></div><div class="ttdeci">Addrs & getAddrs(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00104">SVFIR2ItvExeState.h:104</a></div></div>
|
|
1845
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_afed1d221bdb876046ec036f1cae53fd3"><div class="ttname"><a href="classSVF_1_1AEAPI.html#afed1d221bdb876046ec036f1cae53fd3">SVF::AEAPI::_stat</a></div><div class="ttdeci">AEStat * _stat</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1847
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_afed1d221bdb876046ec036f1cae53fd3"><div class="ttname"><a href="classSVF_1_1AEAPI.html#afed1d221bdb876046ec036f1cae53fd3">SVF::AEAPI::_stat</a></div><div class="ttdeci">AEStat * _stat</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00424">AbstractExecution.h:424</a></div></div>
|
|
1846
1848
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a523826aede7ad22736beed0c8223b6b0"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">SVF::IntervalValue::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdoc">Return true if the IntervalValue is a number [num, num].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00270">IntervalValue.h:270</a></div></div>
|
|
1847
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_afa34cb2ee3fc1ca5aa04a2afe7c2d6e8"><div class="ttname"><a href="classSVF_1_1AEAPI.html#afa34cb2ee3fc1ca5aa04a2afe7c2d6e8">SVF::AEAPI::AccessMemoryViaLoadStmt</a></div><div class="ttdeci">void AccessMemoryViaLoadStmt(const LoadStmt *load, SVF::FILOWorkList< const SVFValue * > &worklist, Set< const SVFValue * > &visited)</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1849
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_afa34cb2ee3fc1ca5aa04a2afe7c2d6e8"><div class="ttname"><a href="classSVF_1_1AEAPI.html#afa34cb2ee3fc1ca5aa04a2afe7c2d6e8">SVF::AEAPI::AccessMemoryViaLoadStmt</a></div><div class="ttdeci">void AccessMemoryViaLoadStmt(const LoadStmt *load, SVF::FILOWorkList< const SVFValue * > &worklist, Set< const SVFValue * > &visited)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01779">AbstractExecution.cpp:1779</a></div></div>
|
|
1848
1850
|
<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a067bd6dbaf74a028d546fa56b095791b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a067bd6dbaf74a028d546fa56b095791b">SVF::SVFFunction::getAnnotations</a></div><div class="ttdeci">const std::vector< std::string > & getAnnotations() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00466">SVFValue.h:466</a></div></div>
|
|
1849
1851
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a145abbd2958629718fbca41d25c3124d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const CallSite cs)</div><div class="ttdoc">Return callee of a callsite. Return null if this is an indirect call.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00241">SVFUtil.h:241</a></div></div>
|
|
1850
1852
|
<div class="ttc" id="aclassSVF_1_1ValVar_html"><div class="ttname"><a href="classSVF_1_1ValVar.html">SVF::ValVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00262">SVFVariables.h:262</a></div></div>
|
|
1851
1853
|
<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#l00118">NumericLiteral.h:118</a></div></div>
|
|
1852
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04a9a492bae5e1779267055b83cf033da28"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a9a492bae5e1779267055b83cf033da28">SVF::AEAPI::MEMCPY</a></div><div class="ttdeci">@ MEMCPY</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1853
|
-
<div class="ttc" id="
|
|
1854
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a243821a56807acf98be9d88f8947e01d"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a243821a56807acf98be9d88f8947e01d">SVF::AEAPI::initExtFunMap</a></div><div class="ttdeci">virtual void initExtFunMap()</div><div class="ttdef"><b>Definition:</b> <a href="AE_8cpp_source.html#l01146">AE.cpp:1146</a></div></div>
|
|
1854
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04a9a492bae5e1779267055b83cf033da28"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a9a492bae5e1779267055b83cf033da28">SVF::AEAPI::MEMCPY</a></div><div class="ttdeci">@ MEMCPY</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00285">AbstractExecution.h:285</a></div></div>
|
|
1855
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a243821a56807acf98be9d88f8947e01d"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a243821a56807acf98be9d88f8947e01d">SVF::AEAPI::initExtFunMap</a></div><div class="ttdeci">virtual void initExtFunMap()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01146">AbstractExecution.cpp:1146</a></div></div>
|
|
1855
1856
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a66c426719f583653cb70189f01d6fda5"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">SVF::SVFIR2ItvExeState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00163">SVFIR2ItvExeState.h:163</a></div></div>
|
|
1856
1857
|
<div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
|
|
1857
1858
|
<div class="ttc" id="aextapi_8c_html_adadd6582d46775aab6a51e29d16d9f77"><div class="ttname"><a href="extapi_8c.html#adadd6582d46775aab6a51e29d16d9f77">isupper</a></div><div class="ttdeci">int isupper(int c)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00882">extapi.c:882</a></div></div>
|
|
1858
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ae0519df0b6927a2d077c3d46beeaa9f7"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ae0519df0b6927a2d077c3d46beeaa9f7">SVF::AEAPI::getStrlen</a></div><div class="ttdeci">IntervalValue getStrlen(const SVF::SVFValue *strValue)</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1859
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ae0519df0b6927a2d077c3d46beeaa9f7"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ae0519df0b6927a2d077c3d46beeaa9f7">SVF::AEAPI::getStrlen</a></div><div class="ttdeci">IntervalValue getStrlen(const SVF::SVFValue *strValue)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01526">AbstractExecution.cpp:1526</a></div></div>
|
|
1859
1860
|
<div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
|
|
1860
1861
|
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00377">SVFType.h:377</a></div></div>
|
|
1861
|
-
<div class="ttc" id="aAE_8cpp_html_a6ded577f411d8dd34071fba96989f93a"><div class="ttname"><a href="AE_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a></div><div class="ttdeci">#define SSE_FUNC_PROCESS(LLVM_NAME,FUNC_NAME)</div></div>
|
|
1862
1862
|
<div class="ttc" id="aclassSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00385">ICFGNode.h:385</a></div></div>
|
|
1863
1863
|
<div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00156">SVFType.h:156</a></div></div>
|
|
1864
1864
|
<div class="ttc" id="aclassSVF_1_1SVFVar_html_a747b2c92c81d32fcd357e80d2d8fe7cc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">SVF::SVFVar::hasIncomingEdges</a></div><div class="ttdeci">bool hasIncomingEdges(SVFStmt::PEDGEK kind) const</div><div class="ttdoc">Has incoming SVFIR statements (edges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00158">SVFVariables.h:158</a></div></div>
|
|
1865
|
+
<div class="ttc" id="aAbstractExecution_8cpp_html_a6ded577f411d8dd34071fba96989f93a"><div class="ttname"><a href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">SSE_FUNC_PROCESS</a></div><div class="ttdeci">#define SSE_FUNC_PROCESS(LLVM_NAME,FUNC_NAME)</div></div>
|
|
1865
1866
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a335922caf105ee72cd9d66a451ae3d4e"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a335922caf105ee72cd9d66a451ae3d4e">SVF::SVFIR2ItvExeState::getByteOffset</a></div><div class="ttdeci">IntervalValue getByteOffset(const GepStmt *gep)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00274">SVFIR2ItvExeState.cpp:274</a></div></div>
|
|
1866
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04a68863d4626b3cde194a0fa6da74a3313"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a68863d4626b3cde194a0fa6da74a3313">SVF::AEAPI::MEMSET</a></div><div class="ttdeci">@ MEMSET</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1867
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04a68863d4626b3cde194a0fa6da74a3313"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a68863d4626b3cde194a0fa6da74a3313">SVF::AEAPI::MEMSET</a></div><div class="ttdeci">@ MEMSET</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00285">AbstractExecution.h:285</a></div></div>
|
|
1867
1868
|
<div class="ttc" id="aclassSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00088">ICFG.h:88</a></div></div>
|
|
1868
1869
|
<div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
|
|
1869
1870
|
<div class="ttc" id="aextapi_8c_html_a9d60842d6ae065229ba810e6b01110da"><div class="ttname"><a href="extapi_8c.html#a9d60842d6ae065229ba810e6b01110da">ispunct</a></div><div class="ttdeci">int ispunct(int argument)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00872">extapi.c:872</a></div></div>
|
|
1870
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a7be3da80bedb1077a99d67daa124afde"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a7be3da80bedb1077a99d67daa124afde">SVF::AEAPI::AccessMemoryViaRetNode</a></div><div class="ttdeci">void AccessMemoryViaRetNode(const CallICFGNode *callnode, SVF::FILOWorkList< const SVFValue * > &worklist, Set< const SVFValue * > &visited)</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1871
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a7be3da80bedb1077a99d67daa124afde"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a7be3da80bedb1077a99d67daa124afde">SVF::AEAPI::AccessMemoryViaRetNode</a></div><div class="ttdeci">void AccessMemoryViaRetNode(const CallICFGNode *callnode, SVF::FILOWorkList< const SVFValue * > &worklist, Set< const SVFValue * > &visited)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01745">AbstractExecution.cpp:1745</a></div></div>
|
|
1871
1872
|
<div class="ttc" id="aclassSVF_1_1FILOWorkList_html_afcf3fcda18e8d3e2bad70a51376c0ce1"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#afcf3fcda18e8d3e2bad70a51376c0ce1">SVF::FILOWorkList::push</a></div><div class="ttdeci">bool push(const Data &data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00257">WorkList.h:257</a></div></div>
|
|
1872
1873
|
<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>
|
|
1873
1874
|
<div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00856">SVFValue.h:856</a></div></div>
|
|
1874
1875
|
<div class="ttc" id="aclassSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00051">SVFStatements.h:51</a></div></div>
|
|
1875
1876
|
<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#l00407">IntervalExeState.h:407</a></div></div>
|
|
1876
1877
|
<div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00437">SVFStatements.h:437</a></div></div>
|
|
1877
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04a2dc334d7904e139e2e2b5e9eb2a1bb0a"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a2dc334d7904e139e2e2b5e9eb2a1bb0a">SVF::AEAPI::UNCLASSIFIED</a></div><div class="ttdeci">@ UNCLASSIFIED</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1878
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04a2dc334d7904e139e2e2b5e9eb2a1bb0a"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a2dc334d7904e139e2e2b5e9eb2a1bb0a">SVF::AEAPI::UNCLASSIFIED</a></div><div class="ttdeci">@ UNCLASSIFIED</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00285">AbstractExecution.h:285</a></div></div>
|
|
1878
1879
|
<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>
|
|
1879
1880
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_af61110c081ca71f9348e8dfff5aa76e4"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4">SVF::IntervalExeState::inLocToAddrsTable</a></div><div class="ttdeci">bool inLocToAddrsTable(u32_t id) const override</div><div class="ttdoc">whether the memory address stores memory addresses</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00488">IntervalExeState.h:488</a></div></div>
|
|
1880
1881
|
<div class="ttc" id="aclassSVF_1_1IntervalESBase_html_adb26b186ee31bce7449a7b36faa24cc2"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#adb26b186ee31bce7449a7b36faa24cc2">SVF::IntervalESBase::store</a></div><div class="ttdeci">void store(u32_t addr, const IntervalValue &val)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00258">IntervalExeState.h:258</a></div></div>
|
|
1881
1882
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
|
|
1882
1883
|
<div class="ttc" id="aclassSVF_1_1AssignStmt_html_ad03d28d16754c9049dd4d0ad3b6c1e28"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">SVF::AssignStmt::getRHSVar</a></div><div class="ttdeci">SVFVar * getRHSVar() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00290">SVFStatements.h:290</a></div></div>
|
|
1883
|
-
<div class="ttc" id="aclassSVF_1_1AE_html_abea70264606aa7687d4b93e13155f96f"><div class="ttname"><a href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">SVF::AE::_svfir2ExeState</a></div><div class="ttdeci">SVFIR2ItvExeState * _svfir2ExeState</div><div class="ttdoc">Execution State, used to store the Interval Value of every SVF variable.</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00239">AE.h:239</a></div></div>
|
|
1884
1884
|
<div class="ttc" id="aextapi_8c_html_a99355d8f0fb41ec43effb95189db0ed4"><div class="ttname"><a href="extapi_8c.html#a99355d8f0fb41ec43effb95189db0ed4">isprint</a></div><div class="ttdeci">int isprint(int c)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00867">extapi.c:867</a></div></div>
|
|
1885
1885
|
<div class="ttc" id="aextapi_8c_html_a0008a4e8e7889734dc1d83297de07158"><div class="ttname"><a href="extapi_8c.html#a0008a4e8e7889734dc1d83297de07158">iscntrl</a></div><div class="ttdeci">int iscntrl(int c)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00847">extapi.c:847</a></div></div>
|
|
1886
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ae0847fb421538982bfd50cc280d1a65b"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ae0847fb421538982bfd50cc280d1a65b">SVF::AEAPI::handleMemcpy</a></div><div class="ttdeci">virtual void handleMemcpy(const SVFValue *dst, const SVFValue *src, IntervalValue len, u32_t start_idx)</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1886
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ae0847fb421538982bfd50cc280d1a65b"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ae0847fb421538982bfd50cc280d1a65b">SVF::AEAPI::handleMemcpy</a></div><div class="ttdeci">virtual void handleMemcpy(const SVFValue *dst, const SVFValue *src, IntervalValue len, u32_t start_idx)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01616">AbstractExecution.cpp:1616</a></div></div>
|
|
1887
1887
|
<div class="ttc" id="aclassSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00474">SVFStatements.h:474</a></div></div>
|
|
1888
1888
|
<div class="ttc" id="aextapi_8c_html_af947cbf1ae303e5297c9d68c68a6b9cb"><div class="ttname"><a href="extapi_8c.html#af947cbf1ae303e5297c9d68c68a6b9cb">isalpha</a></div><div class="ttdeci">int isalpha(int character)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00837">extapi.c:837</a></div></div>
|
|
1889
1889
|
<div class="ttc" id="aclassSVF_1_1ExeState_html_ab72f3bc855feeda75e11768ab03ad84e"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">SVF::ExeState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00284">ExeState.h:284</a></div></div>
|
|
1890
1890
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00170">SVFIR.h:170</a></div></div>
|
|
1891
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a185e694007f4d69b0030c65fb54c9c6d"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a185e694007f4d69b0030c65fb54c9c6d">SVF::AEAPI::handleMemset</a></div><div class="ttdeci">virtual void handleMemset(const SVFValue *dst, IntervalValue elem, IntervalValue len)</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1892
|
-
<div class="ttc" id="aclassSVF_1_1AE_html_af42ae42a73107e29133c481f94a9161f"><div class="ttname"><a href="classSVF_1_1AE.html#af42ae42a73107e29133c481f94a9161f">SVF::AE::_svfir</a></div><div class="ttdeci">SVFIR * _svfir</div><div class="ttdoc">protected data members, also used in subclasses</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00236">AE.h:236</a></div></div>
|
|
1891
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a185e694007f4d69b0030c65fb54c9c6d"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a185e694007f4d69b0030c65fb54c9c6d">SVF::AEAPI::handleMemset</a></div><div class="ttdeci">virtual void handleMemset(const SVFValue *dst, IntervalValue elem, IntervalValue len)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01690">AbstractExecution.cpp:1690</a></div></div>
|
|
1893
1892
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_aa027be2f9243ce4cae799b265b019443"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">SVF::IntervalValue::bottom</a></div><div class="ttdeci">static IntervalValue bottom()</div><div class="ttdoc">Create the bottom IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00089">IntervalValue.h:89</a></div></div>
|
|
1894
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a4efc7447db13da26ce284218d6c01059"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a4efc7447db13da26ce284218d6c01059">SVF::AEAPI::traceMemoryAllocationSize</a></div><div class="ttdeci">IntervalValue traceMemoryAllocationSize(const SVFValue *value)</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1893
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a4efc7447db13da26ce284218d6c01059"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a4efc7447db13da26ce284218d6c01059">SVF::AEAPI::traceMemoryAllocationSize</a></div><div class="ttdeci">IntervalValue traceMemoryAllocationSize(const SVFValue *value)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01394">AbstractExecution.cpp:1394</a></div></div>
|
|
1895
1894
|
<div class="ttc" id="aextapi_8c_html_aaecd098576b00440124c44580144e8d5"><div class="ttname"><a href="extapi_8c.html#aaecd098576b00440124c44580144e8d5">isblank</a></div><div class="ttdeci">int isblank(int character)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00842">extapi.c:842</a></div></div>
|
|
1896
1895
|
<div class="ttc" id="aextapi_8c_html_adaf3aadefe3fc4fb07b6be0d7b880f53"><div class="ttname"><a href="extapi_8c.html#adaf3aadefe3fc4fb07b6be0d7b880f53">isxdigit</a></div><div class="ttdeci">int isxdigit(int c)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00887">extapi.c:887</a></div></div>
|
|
1897
1896
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00380">GenericGraph.h:380</a></div></div>
|
|
1898
1897
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream & outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
|
|
1899
1898
|
<div class="ttc" id="aclassSVF_1_1AddrStmt_html_a7fe84b92317fb93914053cc48d313acc"><div class="ttname"><a href="classSVF_1_1AddrStmt.html#a7fe84b92317fb93914053cc48d313acc">SVF::AddrStmt::getArrSize</a></div><div class="ttdeci">const std::vector< SVFValue * > & getArrSize() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00354">SVFStatements.h:354</a></div></div>
|
|
1899
|
+
<div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a49742e8c3a8fe598a0945a8d8ff394d0"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0">SVF::AbstractExecution::_svfir</a></div><div class="ttdeci">SVFIR * _svfir</div><div class="ttdoc">protected data members, also used in subclasses</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00235">AbstractExecution.h:235</a></div></div>
|
|
1900
1900
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a05dc00b2bd9a8176aae31b6cfffe725d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a05dc00b2bd9a8176aae31b6cfffe725d">SVF::SVFUtil::sucMsg</a></div><div class="ttdeci">std::string sucMsg(const std::string &msg)</div><div class="ttdoc">Returns successful message by converting a string into green string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00053">SVFUtil.cpp:53</a></div></div>
|
|
1901
1901
|
<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01113">SVFValue.h:1113</a></div></div>
|
|
1902
1902
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a56434326130c8127c823097ad764947b"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">SVF::SVFIR2ItvExeState::getEs</a></div><div class="ttdeci">IntervalExeState & getEs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00054">SVFIR2ItvExeState.h:54</a></div></div>
|
|
1903
1903
|
<div class="ttc" id="aclassSVF_1_1FILOWorkList_html_a071a624c91def82a4bbbf3806c7b7eea"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea">SVF::FILOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00238">WorkList.h:238</a></div></div>
|
|
1904
1904
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html"><div class="ttname"><a href="classSVF_1_1AddressValue.html">SVF::AddressValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00043">AddressValue.h:43</a></div></div>
|
|
1905
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ad4967592a9dcf19d84c85dd08e93137a"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">SVF::AEAPI::Addrs</a></div><div class="ttdeci">ExeState::Addrs Addrs</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1906
|
-
<div class="ttc" id="
|
|
1907
|
-
<div class="ttc" id="
|
|
1905
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ad4967592a9dcf19d84c85dd08e93137a"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">SVF::AEAPI::Addrs</a></div><div class="ttdeci">ExeState::Addrs Addrs</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00284">AbstractExecution.h:284</a></div></div>
|
|
1906
|
+
<div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ab9d6ebcf67ec473ce7ad5910c74eddc1"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1">SVF::AbstractExecution::_callSiteStack</a></div><div class="ttdeci">std::vector< const CallICFGNode * > _callSiteStack</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00247">AbstractExecution.h:247</a></div></div>
|
|
1907
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04aadccf4db29e170b4d669ef023866a28d"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04aadccf4db29e170b4d669ef023866a28d">SVF::AEAPI::STRCPY</a></div><div class="ttdeci">@ STRCPY</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00285">AbstractExecution.h:285</a></div></div>
|
|
1908
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ab47136a3fee89fa6cad5ddb95306f27f"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ab47136a3fee89fa6cad5ddb95306f27f">SVF::AEAPI::_func_map</a></div><div class="ttdeci">Map< std::string, std::function< void(const CallSite &)> > _func_map</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00428">AbstractExecution.h:428</a></div></div>
|
|
1908
1909
|
<div class="ttc" id="acJSON_8cpp_html_a7669ee67a0563250c1efaa24d130e1ac"><div class="ttname"><a href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a></div><div class="ttdeci">copy</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00414">cJSON.cpp:414</a></div></div>
|
|
1909
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ace3e82bcfbb4495a765e01d75a58dc3f"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ace3e82bcfbb4495a765e01d75a58dc3f">SVF::AEAPI::_checkpoint_names</a></div><div class="ttdeci">Set< std::string > _checkpoint_names</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1910
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ace3e82bcfbb4495a765e01d75a58dc3f"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ace3e82bcfbb4495a765e01d75a58dc3f">SVF::AEAPI::_checkpoint_names</a></div><div class="ttdeci">Set< std::string > _checkpoint_names</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00431">AbstractExecution.h:431</a></div></div>
|
|
1910
1911
|
<div class="ttc" id="aclassSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01128">SVFValue.h:1128</a></div></div>
|
|
1911
1912
|
<div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00302">SVFStatements.h:302</a></div></div>
|
|
1912
1913
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_af8d06156bcbb61beb305ed8096319966"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#af8d06156bcbb61beb305ed8096319966">SVF::SVFIR2ItvExeState::getGepObjAddress</a></div><div class="ttdeci">Addrs getGepObjAddress(u32_t pointer, APOffset offset)</div><div class="ttdoc">Return the field address given a pointer points to a struct object and an offset.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00231">SVFIR2ItvExeState.cpp:231</a></div></div>
|
|
@@ -1922,20 +1923,19 @@ Protected Attributes</h2></td></tr>
|
|
|
1922
1923
|
<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00631">SVFValue.h:631</a></div></div>
|
|
1923
1924
|
<div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00049">GeneralType.h:49</a></div></div>
|
|
1924
1925
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ad17ceaf8058043151ae0f23b3415458a"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a">SVF::IntervalExeState::loadAddrs</a></div><div class="ttdeci">Addrs & loadAddrs(u32_t addr) override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00564">IntervalExeState.h:564</a></div></div>
|
|
1925
|
-
<div class="ttc" id="
|
|
1926
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ac647ce8e5e4e14303a4c8c8fc6321492"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492">SVF::AEAPI::_kind</a></div><div class="ttdeci">AEKind _kind</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00427">AE.h:427</a></div></div>
|
|
1926
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_ac647ce8e5e4e14303a4c8c8fc6321492"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492">SVF::AEAPI::_kind</a></div><div class="ttdeci">AEKind _kind</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00426">AbstractExecution.h:426</a></div></div>
|
|
1927
1927
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a50aee49f7f34e05f7e2cb28ae55099f8"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a50aee49f7f34e05f7e2cb28ae55099f8">SVF::IntervalExeState::inLocToValTable</a></div><div class="ttdeci">bool inLocToValTable(u32_t id) const override</div><div class="ttdoc">whether the memory address stores interval value</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00495">IntervalExeState.h:495</a></div></div>
|
|
1928
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a13abbe8b8622df63e7f160732bc1cbfc"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a13abbe8b8622df63e7f160732bc1cbfc">SVF::AEAPI::handleStrcpy</a></div><div class="ttdeci">virtual void handleStrcpy(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1928
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a13abbe8b8622df63e7f160732bc1cbfc"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a13abbe8b8622df63e7f160732bc1cbfc">SVF::AEAPI::handleStrcpy</a></div><div class="ttdeci">virtual void handleStrcpy(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01350">AbstractExecution.cpp:1350</a></div></div>
|
|
1929
1929
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_ae081b5c462f8ed5b306719822e35cea9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#ae081b5c462f8ed5b306719822e35cea9">SVF::IntervalValue::getNumeral</a></div><div class="ttdeci">s64_t getNumeral() const</div><div class="ttdoc">Return.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00263">IntervalValue.h:263</a></div></div>
|
|
1930
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04">SVF::AEAPI::ExtAPIType</a></div><div class="ttdeci">ExtAPIType</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1930
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04">SVF::AEAPI::ExtAPIType</a></div><div class="ttdeci">ExtAPIType</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00285">AbstractExecution.h:285</a></div></div>
|
|
1931
1931
|
<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
|
|
1932
1932
|
<div class="ttc" id="aclassSVF_1_1CallICFGNode_html_ae23a7540609879ac0379fc53b4e7eead"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html#ae23a7540609879ac0379fc53b4e7eead">SVF::CallICFGNode::getRetICFGNode</a></div><div class="ttdeci">const RetICFGNode * getRetICFGNode() const</div><div class="ttdoc">Return callsite.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00415">ICFGNode.h:415</a></div></div>
|
|
1933
1933
|
<div class="ttc" id="aclassSVF_1_1ExeState_html_a99f4437a7e350fec131d48f52082d672"><div class="ttname"><a href="classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672">SVF::ExeState::storeAddrs</a></div><div class="ttdeci">virtual void storeAddrs(u32_t addr, const Addrs &vaddrs)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00155">ExeState.h:155</a></div></div>
|
|
1934
1934
|
<div class="ttc" id="aclassSVF_1_1CallSite_html_a9e7c94ee7f689466111487e03b2cebcc"><div class="ttname"><a href="classSVF_1_1CallSite.html#a9e7c94ee7f689466111487e03b2cebcc">SVF::CallSite::getArgument</a></div><div class="ttdeci">const SVFValue * getArgument(u32_t ArgNo) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01132">SVFValue.h:1132</a></div></div>
|
|
1935
1935
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a3771eb932069dcad8212009efc411b99"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99">SVF::IntervalValue::join_with</a></div><div class="ttdeci">void join_with(const IntervalValue &other)</div><div class="ttdoc">Current IntervalValue joins with another IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00345">IntervalValue.h:345</a></div></div>
|
|
1936
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a112519b672206ac552273666949eeb3b"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a112519b672206ac552273666949eeb3b">SVF::AEAPI::getPointeeElement</a></div><div class="ttdeci">const SVFType * getPointeeElement(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1936
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a112519b672206ac552273666949eeb3b"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a112519b672206ac552273666949eeb3b">SVF::AEAPI::getPointeeElement</a></div><div class="ttdeci">const SVFType * getPointeeElement(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01673">AbstractExecution.cpp:1673</a></div></div>
|
|
1937
1937
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab65033f068bfbeb0a1c52dcec3beb6bc"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVF::SVFUtil::errs</a></div><div class="ttdeci">std::ostream & errs()</div><div class="ttdoc">Overwrite llvm::errs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00056">SVFUtil.h:56</a></div></div>
|
|
1938
|
-
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a3665513f6e8f8b93ef3f9d273d03ee70"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a3665513f6e8f8b93ef3f9d273d03ee70">SVF::AEAPI::AccessMemoryViaCopyStmt</a></div><div class="ttdeci">void AccessMemoryViaCopyStmt(const CopyStmt *copy, SVF::FILOWorkList< const SVFValue * > &worklist, Set< const SVFValue * > &visited)</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
1938
|
+
<div class="ttc" id="aclassSVF_1_1AEAPI_html_a3665513f6e8f8b93ef3f9d273d03ee70"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a3665513f6e8f8b93ef3f9d273d03ee70">SVF::AEAPI::AccessMemoryViaCopyStmt</a></div><div class="ttdeci">void AccessMemoryViaCopyStmt(const CopyStmt *copy, SVF::FILOWorkList< const SVFValue * > &worklist, Set< const SVFValue * > &visited)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01770">AbstractExecution.cpp:1770</a></div></div>
|
|
1939
1939
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a999c358b80dd07591b0432eaa41c20c9"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">SVF::SVFIR2ItvExeState::inVarToAddrsTable</a></div><div class="ttdeci">bool inVarToAddrsTable(u32_t id) const</div><div class="ttdoc">whether the variable is in varToAddrs table</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00120">SVFIR2ItvExeState.h:120</a></div></div>
|
|
1940
1940
|
<!-- start footer part -->
|
|
1941
1941
|
<hr class="footer"/><address class="footer"><small>
|