svf-tools 1.0.779 → 1.0.781
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/ExtAPI_8cpp.html +51 -49
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +216 -184
- package/SVF-doxygen/html/html/ExtAPI_8h.html +6 -6
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +55 -47
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +6 -5
- package/SVF-doxygen/html/html/LLVMModule_8h_source.html +3 -2
- package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +3 -2
- package/SVF-doxygen/html/html/Options_8cpp_source.html +122 -122
- package/SVF-doxygen/html/html/Options_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +15 -13
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +185 -106
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +7 -6
- package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Options.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +1 -1
- package/SVF-doxygen/html/html/functions_e.html +5 -2
- package/SVF-doxygen/html/html/functions_f.html +3 -3
- package/SVF-doxygen/html/html/functions_func_g.html +1 -1
- package/SVF-doxygen/html/html/functions_func_p.html +1 -1
- package/SVF-doxygen/html/html/functions_func_s.html +19 -16
- package/SVF-doxygen/html/html/functions_g.html +1 -1
- package/SVF-doxygen/html/html/functions_i.html +3 -3
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +16 -16
- package/SVF-doxygen/html/html/functions_p.html +23 -19
- package/SVF-doxygen/html/html/functions_s.html +20 -17
- package/SVF-doxygen/html/html/functions_t.html +8 -8
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_e.html +5 -2
- package/SVF-doxygen/html/html/functions_w.html +1 -1
- package/SVF-doxygen/html/html/globals_d.html +3 -0
- package/SVF-doxygen/html/html/globals_defs.html +3 -3
- package/SVF-doxygen/html/html/globals_e.html +0 -3
- package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +1 -1
- package/SVF-doxygen/html/html/search/all_10.js +324 -324
- package/SVF-doxygen/html/html/search/all_11.js +224 -224
- package/SVF-doxygen/html/html/search/all_12.js +546 -545
- package/SVF-doxygen/html/html/search/all_13.js +190 -190
- package/SVF-doxygen/html/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/html/search/all_15.js +170 -170
- package/SVF-doxygen/html/html/search/all_16.js +63 -63
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/html/search/all_19.js +11 -11
- package/SVF-doxygen/html/html/search/all_1a.js +176 -176
- package/SVF-doxygen/html/html/search/all_4.js +184 -183
- package/SVF-doxygen/html/html/search/all_5.js +120 -120
- package/SVF-doxygen/html/html/search/all_6.js +225 -225
- package/SVF-doxygen/html/html/search/all_7.js +1056 -1056
- package/SVF-doxygen/html/html/search/all_8.js +195 -195
- package/SVF-doxygen/html/html/search/all_9.js +617 -617
- package/SVF-doxygen/html/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/html/search/all_c.js +116 -116
- package/SVF-doxygen/html/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/html/search/all_f.js +116 -116
- package/SVF-doxygen/html/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/html/search/classes_2.js +80 -80
- package/SVF-doxygen/html/html/search/classes_3.js +38 -38
- package/SVF-doxygen/html/html/search/classes_4.js +9 -9
- package/SVF-doxygen/html/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/html/search/classes_6.js +110 -110
- package/SVF-doxygen/html/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/html/search/classes_8.js +60 -60
- package/SVF-doxygen/html/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/html/search/classes_d.js +18 -18
- package/SVF-doxygen/html/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/html/search/defines_3.js +21 -20
- package/SVF-doxygen/html/html/search/defines_4.js +2 -3
- package/SVF-doxygen/html/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/html/search/defines_c.js +3 -3
- package/SVF-doxygen/html/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/html/search/defines_e.js +7 -7
- package/SVF-doxygen/html/html/search/defines_f.js +3 -3
- package/SVF-doxygen/html/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/html/search/enums_4.js +3 -3
- package/SVF-doxygen/html/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/html/search/enumvalues_5.js +47 -47
- package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -15
- package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/html/search/files_2.js +53 -53
- package/SVF-doxygen/html/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/html/search/files_7.js +16 -16
- package/SVF-doxygen/html/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/html/search/functions_0.js +12 -12
- package/SVF-doxygen/html/html/search/functions_1.js +357 -357
- package/SVF-doxygen/html/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/html/search/functions_11.js +138 -138
- package/SVF-doxygen/html/html/search/functions_12.js +279 -278
- package/SVF-doxygen/html/html/search/functions_13.js +58 -58
- package/SVF-doxygen/html/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/html/search/functions_18.js +176 -176
- package/SVF-doxygen/html/html/search/functions_2.js +86 -86
- package/SVF-doxygen/html/html/search/functions_3.js +257 -257
- package/SVF-doxygen/html/html/search/functions_4.js +75 -75
- package/SVF-doxygen/html/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/html/search/functions_6.js +59 -59
- package/SVF-doxygen/html/html/search/functions_7.js +858 -858
- package/SVF-doxygen/html/html/search/functions_8.js +147 -147
- package/SVF-doxygen/html/html/search/functions_9.js +429 -429
- package/SVF-doxygen/html/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/html/search/functions_c.js +26 -26
- package/SVF-doxygen/html/html/search/functions_d.js +77 -77
- package/SVF-doxygen/html/html/search/functions_e.js +35 -35
- package/SVF-doxygen/html/html/search/functions_f.js +56 -56
- package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/html/search/related_d.js +11 -11
- package/SVF-doxygen/html/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
- package/SVF-doxygen/html/html/search/typedefs_1.js +26 -26
- package/SVF-doxygen/html/html/search/typedefs_10.js +63 -63
- package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
- package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/html/search/typedefs_2.js +128 -128
- package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/html/search/typedefs_6.js +58 -58
- package/SVF-doxygen/html/html/search/typedefs_7.js +46 -46
- package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/html/search/variables_0.js +162 -162
- package/SVF-doxygen/html/html/search/variables_1.js +75 -75
- package/SVF-doxygen/html/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/html/search/variables_12.js +92 -92
- package/SVF-doxygen/html/html/search/variables_13.js +75 -75
- package/SVF-doxygen/html/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/html/search/variables_2.js +37 -37
- package/SVF-doxygen/html/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/html/search/variables_4.js +55 -55
- package/SVF-doxygen/html/html/search/variables_5.js +39 -38
- package/SVF-doxygen/html/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/html/search/variables_9.js +77 -77
- package/SVF-doxygen/html/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/html/search/variables_f.js +30 -30
- package/package.json +1 -1
- package/svf/include/Util/ExtAPI.h +8 -2
- package/svf/include/Util/Options.h +1 -1
- package/svf/lib/Util/ExtAPI.cpp +59 -31
- package/svf/lib/Util/Options.cpp +4 -3
- package/svf-llvm/include/SVF-LLVM/LLVMModule.h +1 -1
- package/svf-llvm/lib/LLVMModule.cpp +4 -4
- package/svf-llvm/lib/LLVMUtil.cpp +1 -1
|
@@ -840,127 +840,128 @@ $(function() {
|
|
|
840
840
|
<div class="line"><a name="l00770"></a><span class="lineno"> 770</span>  <span class="keyword">false</span></div>
|
|
841
841
|
<div class="line"><a name="l00771"></a><span class="lineno"> 771</span> );</div>
|
|
842
842
|
<div class="line"><a name="l00772"></a><span class="lineno"> 772</span>  </div>
|
|
843
|
-
<div class="line"><a name="l00773"></a><span class="lineno"> 773</span> 
|
|
844
|
-
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span> <span class="
|
|
845
|
-
<div class="line"><a name="l00775"></a><span class="lineno"> 775</span> 
|
|
846
|
-
<div class="line"><a name="l00776"></a><span class="lineno"> 776</span>  <span class="stringliteral">"
|
|
847
|
-
<div class="line"><a name="l00777"></a><span class="lineno"> 777</span> 
|
|
848
|
-
<div class="line"><a name="l00778"></a><span class="lineno"> 778</span> 
|
|
849
|
-
<div class="line"><a name="l00779"></a><span class="lineno"> 779</span> 
|
|
850
|
-
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span> 
|
|
851
|
-
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span>  <span class="stringliteral">"
|
|
852
|
-
<div class="line"><a name="l00782"></a><span class="lineno"> 782</span>  <span class="
|
|
853
|
-
<div class="line"><a name="l00783"></a><span class="lineno"> 783</span> 
|
|
854
|
-
<div class="line"><a name="l00784"></a><span class="lineno"> 784</span> 
|
|
855
|
-
<div class="line"><a name="l00785"></a><span class="lineno"> 785</span> 
|
|
856
|
-
<div class="line"><a name="l00786"></a><span class="lineno"> 786</span> 
|
|
857
|
-
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span>  <span class="stringliteral">"
|
|
858
|
-
<div class="line"><a name="l00788"></a><span class="lineno"> 788</span>  <span class="
|
|
859
|
-
<div class="line"><a name="l00789"></a><span class="lineno"> 789</span> 
|
|
860
|
-
<div class="line"><a name="l00790"></a><span class="lineno"> 790</span> 
|
|
861
|
-
<div class="line"><a name="l00791"></a><span class="lineno"> 791</span> 
|
|
862
|
-
<div class="line"><a name="l00792"></a><span class="lineno"> 792</span> 
|
|
863
|
-
<div class="line"><a name="l00793"></a><span class="lineno"> 793</span>  <span class="stringliteral">"
|
|
864
|
-
<div class="line"><a name="l00794"></a><span class="lineno"> 794</span>  <span class="
|
|
865
|
-
<div class="line"><a name="l00795"></a><span class="lineno"> 795</span> 
|
|
866
|
-
<div class="line"><a name="l00796"></a><span class="lineno"> 796</span> 
|
|
867
|
-
<div class="line"><a name="l00797"></a><span class="lineno"> 797</span> 
|
|
868
|
-
<div class="line"><a name="l00798"></a><span class="lineno"> 798</span> 
|
|
869
|
-
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span> 
|
|
870
|
-
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span> 
|
|
871
|
-
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#
|
|
872
|
-
<div class="line"><a name="l00802"></a><span class="lineno"> 802</span>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#
|
|
873
|
-
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#
|
|
874
|
-
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#
|
|
875
|
-
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  <
|
|
876
|
-
<div class="line"><a name="l00806"></a><span class="lineno"> 806</span> 
|
|
877
|
-
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#
|
|
878
|
-
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#
|
|
879
|
-
<div class="line"><a name="l00809"></a><span class="lineno"> 809</span> }
|
|
880
|
-
<div class="line"><a name="l00810"></a><span class="lineno"> 810</span> 
|
|
881
|
-
<div class="line"><a name="l00811"></a><span class="lineno"> 811</span> 
|
|
843
|
+
<div class="line"><a name="l00773"></a><span class="lineno"> 773</span> <span class="comment">//WPAPass.cpp</span></div>
|
|
844
|
+
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a">Options::ExtAPIPath</a>(</div>
|
|
845
|
+
<div class="line"><a name="l00775"></a><span class="lineno"> 775</span>  <span class="stringliteral">"extapi"</span>,</div>
|
|
846
|
+
<div class="line"><a name="l00776"></a><span class="lineno"> 776</span>  <span class="stringliteral">"External API extapi.bc"</span>,</div>
|
|
847
|
+
<div class="line"><a name="l00777"></a><span class="lineno"> 777</span>  <span class="stringliteral">""</span></div>
|
|
848
|
+
<div class="line"><a name="l00778"></a><span class="lineno"> 778</span> );</div>
|
|
849
|
+
<div class="line"><a name="l00779"></a><span class="lineno"> 779</span>  </div>
|
|
850
|
+
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">Options::AnderSVFG</a>(</div>
|
|
851
|
+
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span>  <span class="stringliteral">"svfg"</span>,</div>
|
|
852
|
+
<div class="line"><a name="l00782"></a><span class="lineno"> 782</span>  <span class="stringliteral">"Generate SVFG after Andersen's Analysis"</span>,</div>
|
|
853
|
+
<div class="line"><a name="l00783"></a><span class="lineno"> 783</span>  <span class="keyword">false</span></div>
|
|
854
|
+
<div class="line"><a name="l00784"></a><span class="lineno"> 784</span> );</div>
|
|
855
|
+
<div class="line"><a name="l00785"></a><span class="lineno"> 785</span>  </div>
|
|
856
|
+
<div class="line"><a name="l00786"></a><span class="lineno"> 786</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">Options::SABERFULLSVFG</a>(</div>
|
|
857
|
+
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span>  <span class="stringliteral">"saber-full-svfg"</span>,</div>
|
|
858
|
+
<div class="line"><a name="l00788"></a><span class="lineno"> 788</span>  <span class="stringliteral">"When using SABER for bug detection pass, enable full svfg on top of the pointer-only one"</span>,</div>
|
|
859
|
+
<div class="line"><a name="l00789"></a><span class="lineno"> 789</span>  <span class="keyword">false</span></div>
|
|
860
|
+
<div class="line"><a name="l00790"></a><span class="lineno"> 790</span> );</div>
|
|
861
|
+
<div class="line"><a name="l00791"></a><span class="lineno"> 791</span>  </div>
|
|
862
|
+
<div class="line"><a name="l00792"></a><span class="lineno"> 792</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">Options::PrintAliases</a>(</div>
|
|
863
|
+
<div class="line"><a name="l00793"></a><span class="lineno"> 793</span>  <span class="stringliteral">"print-aliases"</span>,</div>
|
|
864
|
+
<div class="line"><a name="l00794"></a><span class="lineno"> 794</span>  <span class="stringliteral">"Print results for all pair aliases"</span>,</div>
|
|
865
|
+
<div class="line"><a name="l00795"></a><span class="lineno"> 795</span>  <span class="keyword">false</span></div>
|
|
866
|
+
<div class="line"><a name="l00796"></a><span class="lineno"> 796</span> );</div>
|
|
867
|
+
<div class="line"><a name="l00797"></a><span class="lineno"> 797</span>  </div>
|
|
868
|
+
<div class="line"><a name="l00798"></a><span class="lineno"> 798</span> <a class="code" href="classOptionMultiple.html">OptionMultiple<PointerAnalysis::PTATY></a> <a class="code" href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd">Options::PASelected</a>(</div>
|
|
869
|
+
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span>  <span class="stringliteral">"Select pointer analysis"</span>,</div>
|
|
870
|
+
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span> {</div>
|
|
871
|
+
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab68615784a520e39856be5237930e6a6">PointerAnalysis::Andersen_WPA</a>, <span class="stringliteral">"nander"</span>, <span class="stringliteral">"Standard inclusion-based analysis"</span>},</div>
|
|
872
|
+
<div class="line"><a name="l00802"></a><span class="lineno"> 802</span>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1">PointerAnalysis::AndersenSCD_WPA</a>, <span class="stringliteral">"sander"</span>, <span class="stringliteral">"Selective cycle detection inclusion-based analysis"</span>},</div>
|
|
873
|
+
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b">PointerAnalysis::AndersenSFR_WPA</a>, <span class="stringliteral">"sfrander"</span>, <span class="stringliteral">"Stride-based field representation inclusion-based analysis"</span>},</div>
|
|
874
|
+
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">PointerAnalysis::AndersenWaveDiff_WPA</a>, <span class="stringliteral">"ander"</span>, <span class="stringliteral">"Diff wave propagation inclusion-based analysis"</span>},</div>
|
|
875
|
+
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad24ef5326c26db858c73432aa7e67a0a">PointerAnalysis::Steensgaard_WPA</a>, <span class="stringliteral">"steens"</span>, <span class="stringliteral">"Steensgaard's pointer analysis"</span>},</div>
|
|
876
|
+
<div class="line"><a name="l00806"></a><span class="lineno"> 806</span>  <span class="comment">// Disabled till further work is done.</span></div>
|
|
877
|
+
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78">PointerAnalysis::FSSPARSE_WPA</a>, <span class="stringliteral">"fspta"</span>, <span class="stringliteral">"Sparse flow sensitive pointer analysis"</span>},</div>
|
|
878
|
+
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9">PointerAnalysis::VFS_WPA</a>, <span class="stringliteral">"vfspta"</span>, <span class="stringliteral">"Versioned sparse flow-sensitive points-to analysis"</span>},</div>
|
|
879
|
+
<div class="line"><a name="l00809"></a><span class="lineno"> 809</span>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3">PointerAnalysis::TypeCPP_WPA</a>, <span class="stringliteral">"type"</span>, <span class="stringliteral">"Type-based fast analysis for Callgraph, SVFIR and CHA"</span>},</div>
|
|
880
|
+
<div class="line"><a name="l00810"></a><span class="lineno"> 810</span> }</div>
|
|
881
|
+
<div class="line"><a name="l00811"></a><span class="lineno"> 811</span> );</div>
|
|
882
882
|
<div class="line"><a name="l00812"></a><span class="lineno"> 812</span>  </div>
|
|
883
|
-
<div class="line"><a name="l00813"></a><span class="lineno"> 813</span> 
|
|
884
|
-
<div class="line"><a name="l00814"></a><span class="lineno"> 814</span> 
|
|
885
|
-
<div class="line"><a name="l00815"></a><span class="lineno"> 815</span> 
|
|
886
|
-
<div class="line"><a name="l00816"></a><span class="lineno"> 816</span> 
|
|
887
|
-
<div class="line"><a name="l00817"></a><span class="lineno"> 817</span>  {<a class="code" href="classSVF_1_1WPAPass.html#
|
|
888
|
-
<div class="line"><a name="l00818"></a><span class="lineno"> 818</span> }
|
|
889
|
-
<div class="line"><a name="l00819"></a><span class="lineno"> 819</span> 
|
|
890
|
-
<div class="line"><a name="l00820"></a><span class="lineno"> 820</span> 
|
|
891
|
-
<div class="line"><a name="l00821"></a><span class="lineno"> 821</span> 
|
|
892
|
-
<div class="line"><a name="l00822"></a><span class="lineno"> 822</span> 
|
|
893
|
-
<div class="line"><a name="l00823"></a><span class="lineno"> 823</span>  <span class="stringliteral">"
|
|
894
|
-
<div class="line"><a name="l00824"></a><span class="lineno"> 824</span>  <span class="
|
|
895
|
-
<div class="line"><a name="l00825"></a><span class="lineno"> 825</span> 
|
|
896
|
-
<div class="line"><a name="l00826"></a><span class="lineno"> 826</span> 
|
|
897
|
-
<div class="line"><a name="l00827"></a><span class="lineno"> 827</span> 
|
|
898
|
-
<div class="line"><a name="l00828"></a><span class="lineno"> 828</span> 
|
|
899
|
-
<div class="line"><a name="l00829"></a><span class="lineno"> 829</span>  <span class="stringliteral">"
|
|
900
|
-
<div class="line"><a name="l00830"></a><span class="lineno"> 830</span>  <span class="stringliteral">""</span
|
|
901
|
-
<div class="line"><a name="l00831"></a><span class="lineno"> 831</span> 
|
|
902
|
-
<div class="line"><a name="l00832"></a><span class="lineno"> 832</span> 
|
|
903
|
-
<div class="line"><a name="l00833"></a><span class="lineno"> 833</span> 
|
|
904
|
-
<div class="line"><a name="l00834"></a><span class="lineno"> 834</span> 
|
|
905
|
-
<div class="line"><a name="l00835"></a><span class="lineno"> 835</span>  <span class="stringliteral">"
|
|
906
|
-
<div class="line"><a name="l00836"></a><span class="lineno"> 836</span>  <span class="stringliteral">""</span
|
|
907
|
-
<div class="line"><a name="l00837"></a><span class="lineno"> 837</span> 
|
|
908
|
-
<div class="line"><a name="l00838"></a><span class="lineno"> 838</span> 
|
|
909
|
-
<div class="line"><a name="l00839"></a><span class="lineno"> 839</span> 
|
|
910
|
-
<div class="line"><a name="l00840"></a><span class="lineno"> 840</span> 
|
|
911
|
-
<div class="line"><a name="l00841"></a><span class="lineno"> 841</span>  <span class="stringliteral">"
|
|
912
|
-
<div class="line"><a name="l00842"></a><span class="lineno"> 842</span>  <span class="
|
|
913
|
-
<div class="line"><a name="l00843"></a><span class="lineno"> 843</span> 
|
|
914
|
-
<div class="line"><a name="l00844"></a><span class="lineno"> 844</span> 
|
|
915
|
-
<div class="line"><a name="l00845"></a><span class="lineno"> 845</span> 
|
|
916
|
-
<div class="line"><a name="l00846"></a><span class="lineno"> 846</span> 
|
|
917
|
-
<div class="line"><a name="l00847"></a><span class="lineno"> 847</span>  <span class="stringliteral">"
|
|
918
|
-
<div class="line"><a name="l00848"></a><span class="lineno"> 848</span>  <span class="
|
|
919
|
-
<div class="line"><a name="l00849"></a><span class="lineno"> 849</span> 
|
|
920
|
-
<div class="line"><a name="l00850"></a><span class="lineno"> 850</span> 
|
|
921
|
-
<div class="line"><a name="l00851"></a><span class="lineno"> 851</span> 
|
|
922
|
-
<div class="line"><a name="l00852"></a><span class="lineno"> 852</span> 
|
|
923
|
-
<div class="line"><a name="l00853"></a><span class="lineno"> 853</span>  <span class="stringliteral">"
|
|
924
|
-
<div class="line"><a name="l00854"></a><span class="lineno"> 854</span>  <span class="
|
|
925
|
-
<div class="line"><a name="l00855"></a><span class="lineno"> 855</span> 
|
|
926
|
-
<div class="line"><a name="l00856"></a><span class="lineno"> 856</span> 
|
|
927
|
-
<div class="line"><a name="l00857"></a><span class="lineno"> 857</span> 
|
|
928
|
-
<div class="line"><a name="l00858"></a><span class="lineno"> 858</span> 
|
|
929
|
-
<div class="line"><a name="l00859"></a><span class="lineno"> 859</span>  <span class="stringliteral">"
|
|
930
|
-
<div class="line"><a name="l00860"></a><span class="lineno"> 860</span>  <span class="
|
|
931
|
-
<div class="line"><a name="l00861"></a><span class="lineno"> 861</span> 
|
|
932
|
-
<div class="line"><a name="l00862"></a><span class="lineno"> 862</span> 
|
|
933
|
-
<div class="line"><a name="l00863"></a><span class="lineno"> 863</span> 
|
|
934
|
-
<div class="line"><a name="l00864"></a><span class="lineno"> 864</span> 
|
|
935
|
-
<div class="line"><a name="l00865"></a><span class="lineno"> 865</span>  <span class="stringliteral">"
|
|
936
|
-
<div class="line"><a name="l00866"></a><span class="lineno"> 866</span>  <span class="
|
|
937
|
-
<div class="line"><a name="l00867"></a><span class="lineno"> 867</span> 
|
|
938
|
-
<div class="line"><a name="l00868"></a><span class="lineno"> 868</span> 
|
|
939
|
-
<div class="line"><a name="l00869"></a><span class="lineno"> 869</span> 
|
|
940
|
-
<div class="line"><a name="l00870"></a><span class="lineno"> 870</span> 
|
|
941
|
-
<div class="line"><a name="l00871"></a><span class="lineno"> 871</span>  <span class="stringliteral">"
|
|
942
|
-
<div class="line"><a name="l00872"></a><span class="lineno"> 872</span>  <span class="
|
|
943
|
-
<div class="line"><a name="l00873"></a><span class="lineno"> 873</span> 
|
|
944
|
-
<div class="line"><a name="l00874"></a><span class="lineno"> 874</span> 
|
|
945
|
-
<div class="line"><a name="l00875"></a><span class="lineno"> 875</span> 
|
|
946
|
-
<div class="line"><a name="l00876"></a><span class="lineno"> 876</span> 
|
|
947
|
-
<div class="line"><a name="l00877"></a><span class="lineno"> 877</span>  <span class="stringliteral">"
|
|
948
|
-
<div class="line"><a name="l00878"></a><span class="lineno"> 878</span>  <span class="
|
|
949
|
-
<div class="line"><a name="l00879"></a><span class="lineno"> 879</span> 
|
|
950
|
-
<div class="line"><a name="l00880"></a><span class="lineno"> 880</span> 
|
|
951
|
-
<div class="line"><a name="l00881"></a><span class="lineno"> 881</span> 
|
|
952
|
-
<div class="line"><a name="l00882"></a><span class="lineno"> 882</span> 
|
|
953
|
-
<div class="line"><a name="l00883"></a><span class="lineno"> 883</span>  <span class="stringliteral">"
|
|
954
|
-
<div class="line"><a name="l00884"></a><span class="lineno"> 884</span>  <span class="
|
|
955
|
-
<div class="line"><a name="l00885"></a><span class="lineno"> 885</span> 
|
|
956
|
-
<div class="line"><a name="l00886"></a><span class="lineno"> 886</span> 
|
|
957
|
-
<div class="line"><a name="l00887"></a><span class="lineno"> 887</span> 
|
|
958
|
-
<div class="line"><a name="l00888"></a><span class="lineno"> 888</span> 
|
|
959
|
-
<div class="line"><a name="l00889"></a><span class="lineno"> 889</span>  <span class="stringliteral">"
|
|
960
|
-
<div class="line"><a name="l00890"></a><span class="lineno"> 890</span> 
|
|
961
|
-
<div class="line"><a name="l00891"></a><span class="lineno"> 891</span> 
|
|
962
|
-
<div class="line"><a name="l00892"></a><span class="lineno"> 892</span> 
|
|
963
|
-
<div class="line"><a name="l00893"></a><span class="lineno"> 893</span> 
|
|
883
|
+
<div class="line"><a name="l00813"></a><span class="lineno"> 813</span>  </div>
|
|
884
|
+
<div class="line"><a name="l00814"></a><span class="lineno"> 814</span> <a class="code" href="classOptionMultiple.html">OptionMultiple<WPAPass::AliasCheckRule></a> <a class="code" href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a">Options::AliasRule</a>(</div>
|
|
885
|
+
<div class="line"><a name="l00815"></a><span class="lineno"> 815</span>  <span class="stringliteral">"Select alias check rule"</span>,</div>
|
|
886
|
+
<div class="line"><a name="l00816"></a><span class="lineno"> 816</span> {</div>
|
|
887
|
+
<div class="line"><a name="l00817"></a><span class="lineno"> 817</span>  {<a class="code" href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7">WPAPass::Conservative</a>, <span class="stringliteral">"conservative"</span>, <span class="stringliteral">"return MayAlias if any pta says alias"</span>},</div>
|
|
888
|
+
<div class="line"><a name="l00818"></a><span class="lineno"> 818</span>  {<a class="code" href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394dabb45a604558e2ebff460adb77b4a5d7c">WPAPass::Veto</a>, <span class="stringliteral">"veto"</span>, <span class="stringliteral">"return NoAlias if any pta says no alias"</span>},</div>
|
|
889
|
+
<div class="line"><a name="l00819"></a><span class="lineno"> 819</span> }</div>
|
|
890
|
+
<div class="line"><a name="l00820"></a><span class="lineno"> 820</span> );</div>
|
|
891
|
+
<div class="line"><a name="l00821"></a><span class="lineno"> 821</span>  </div>
|
|
892
|
+
<div class="line"><a name="l00822"></a><span class="lineno"> 822</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">Options::ShowHiddenNode</a>(</div>
|
|
893
|
+
<div class="line"><a name="l00823"></a><span class="lineno"> 823</span>  <span class="stringliteral">"show-hidden-nodes"</span>,</div>
|
|
894
|
+
<div class="line"><a name="l00824"></a><span class="lineno"> 824</span>  <span class="stringliteral">"Show hidden nodes on DOT Graphs (e.g., isolated node on a graph)"</span>,</div>
|
|
895
|
+
<div class="line"><a name="l00825"></a><span class="lineno"> 825</span>  <span class="keyword">false</span></div>
|
|
896
|
+
<div class="line"><a name="l00826"></a><span class="lineno"> 826</span> );</div>
|
|
897
|
+
<div class="line"><a name="l00827"></a><span class="lineno"> 827</span>  </div>
|
|
898
|
+
<div class="line"><a name="l00828"></a><span class="lineno"> 828</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f">Options::GrammarFilename</a>(</div>
|
|
899
|
+
<div class="line"><a name="l00829"></a><span class="lineno"> 829</span>  <span class="stringliteral">"grammar"</span>,</div>
|
|
900
|
+
<div class="line"><a name="l00830"></a><span class="lineno"> 830</span>  <span class="stringliteral">"<Grammar textfile>"</span>,</div>
|
|
901
|
+
<div class="line"><a name="l00831"></a><span class="lineno"> 831</span>  <span class="stringliteral">""</span></div>
|
|
902
|
+
<div class="line"><a name="l00832"></a><span class="lineno"> 832</span> );</div>
|
|
903
|
+
<div class="line"><a name="l00833"></a><span class="lineno"> 833</span>  </div>
|
|
904
|
+
<div class="line"><a name="l00834"></a><span class="lineno"> 834</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">Options::CFLGraph</a>(</div>
|
|
905
|
+
<div class="line"><a name="l00835"></a><span class="lineno"> 835</span>  <span class="stringliteral">"cflgraph"</span>,</div>
|
|
906
|
+
<div class="line"><a name="l00836"></a><span class="lineno"> 836</span>  <span class="stringliteral">"<Dot file as the CFLGraph input>"</span>,</div>
|
|
907
|
+
<div class="line"><a name="l00837"></a><span class="lineno"> 837</span>  <span class="stringliteral">""</span></div>
|
|
908
|
+
<div class="line"><a name="l00838"></a><span class="lineno"> 838</span> );</div>
|
|
909
|
+
<div class="line"><a name="l00839"></a><span class="lineno"> 839</span>  </div>
|
|
910
|
+
<div class="line"><a name="l00840"></a><span class="lineno"> 840</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">Options::PrintCFL</a>(</div>
|
|
911
|
+
<div class="line"><a name="l00841"></a><span class="lineno"> 841</span>  <span class="stringliteral">"print-cfl"</span>,</div>
|
|
912
|
+
<div class="line"><a name="l00842"></a><span class="lineno"> 842</span>  <span class="stringliteral">"Print ir, grammar and cflgraph for debug."</span>,</div>
|
|
913
|
+
<div class="line"><a name="l00843"></a><span class="lineno"> 843</span>  <span class="keyword">false</span></div>
|
|
914
|
+
<div class="line"><a name="l00844"></a><span class="lineno"> 844</span> );</div>
|
|
915
|
+
<div class="line"><a name="l00845"></a><span class="lineno"> 845</span>  </div>
|
|
916
|
+
<div class="line"><a name="l00846"></a><span class="lineno"> 846</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031">Options::FlexSymMap</a>(</div>
|
|
917
|
+
<div class="line"><a name="l00847"></a><span class="lineno"> 847</span>  <span class="stringliteral">"flex-symmap"</span>,</div>
|
|
918
|
+
<div class="line"><a name="l00848"></a><span class="lineno"> 848</span>  <span class="stringliteral">"Extend exist sym map while read graph from dot if sym not in map."</span>,</div>
|
|
919
|
+
<div class="line"><a name="l00849"></a><span class="lineno"> 849</span>  <span class="keyword">false</span></div>
|
|
920
|
+
<div class="line"><a name="l00850"></a><span class="lineno"> 850</span> );</div>
|
|
921
|
+
<div class="line"><a name="l00851"></a><span class="lineno"> 851</span>  </div>
|
|
922
|
+
<div class="line"><a name="l00852"></a><span class="lineno"> 852</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">Options::PEGTransfer</a>(</div>
|
|
923
|
+
<div class="line"><a name="l00853"></a><span class="lineno"> 853</span>  <span class="stringliteral">"peg-transfer"</span>,</div>
|
|
924
|
+
<div class="line"><a name="l00854"></a><span class="lineno"> 854</span>  <span class="stringliteral">"When explicit to true, cfl graph builder will transfer PAG load and store edges to copy and addr."</span>,</div>
|
|
925
|
+
<div class="line"><a name="l00855"></a><span class="lineno"> 855</span>  <span class="keyword">false</span></div>
|
|
926
|
+
<div class="line"><a name="l00856"></a><span class="lineno"> 856</span> );</div>
|
|
927
|
+
<div class="line"><a name="l00857"></a><span class="lineno"> 857</span>  </div>
|
|
928
|
+
<div class="line"><a name="l00858"></a><span class="lineno"> 858</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">Options::CFLSVFG</a>(</div>
|
|
929
|
+
<div class="line"><a name="l00859"></a><span class="lineno"> 859</span>  <span class="stringliteral">"cflsvfg"</span>,</div>
|
|
930
|
+
<div class="line"><a name="l00860"></a><span class="lineno"> 860</span>  <span class="stringliteral">"When explicit to true, cfl graph builder will transfer SVFG to CFL Reachability."</span>,</div>
|
|
931
|
+
<div class="line"><a name="l00861"></a><span class="lineno"> 861</span>  <span class="keyword">false</span></div>
|
|
932
|
+
<div class="line"><a name="l00862"></a><span class="lineno"> 862</span> );</div>
|
|
933
|
+
<div class="line"><a name="l00863"></a><span class="lineno"> 863</span>  </div>
|
|
934
|
+
<div class="line"><a name="l00864"></a><span class="lineno"> 864</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">Options::POCRAlias</a>(</div>
|
|
935
|
+
<div class="line"><a name="l00865"></a><span class="lineno"> 865</span>  <span class="stringliteral">"pocr-alias"</span>,</div>
|
|
936
|
+
<div class="line"><a name="l00866"></a><span class="lineno"> 866</span>  <span class="stringliteral">"When explicit to true, cfl data builder will transfer CFL graph to CFLData."</span>,</div>
|
|
937
|
+
<div class="line"><a name="l00867"></a><span class="lineno"> 867</span>  <span class="keyword">false</span></div>
|
|
938
|
+
<div class="line"><a name="l00868"></a><span class="lineno"> 868</span> );</div>
|
|
939
|
+
<div class="line"><a name="l00869"></a><span class="lineno"> 869</span>  </div>
|
|
940
|
+
<div class="line"><a name="l00870"></a><span class="lineno"> 870</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e">Options::POCRHybrid</a>(</div>
|
|
941
|
+
<div class="line"><a name="l00871"></a><span class="lineno"> 871</span>  <span class="stringliteral">"pocr-hybrid"</span>,</div>
|
|
942
|
+
<div class="line"><a name="l00872"></a><span class="lineno"> 872</span>  <span class="stringliteral">"When explicit to true, POCRHybridSolver transfer CFL graph to internal hybrid graph representation."</span>,</div>
|
|
943
|
+
<div class="line"><a name="l00873"></a><span class="lineno"> 873</span>  <span class="keyword">false</span></div>
|
|
944
|
+
<div class="line"><a name="l00874"></a><span class="lineno"> 874</span> );</div>
|
|
945
|
+
<div class="line"><a name="l00875"></a><span class="lineno"> 875</span>  </div>
|
|
946
|
+
<div class="line"><a name="l00876"></a><span class="lineno"> 876</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994">Options::Customized</a>(</div>
|
|
947
|
+
<div class="line"><a name="l00877"></a><span class="lineno"> 877</span>  <span class="stringliteral">"customized"</span>,</div>
|
|
948
|
+
<div class="line"><a name="l00878"></a><span class="lineno"> 878</span>  <span class="stringliteral">"When explicit to true, user can use any grammar file."</span>,</div>
|
|
949
|
+
<div class="line"><a name="l00879"></a><span class="lineno"> 879</span>  <span class="keyword">false</span></div>
|
|
950
|
+
<div class="line"><a name="l00880"></a><span class="lineno"> 880</span> );</div>
|
|
951
|
+
<div class="line"><a name="l00881"></a><span class="lineno"> 881</span>  </div>
|
|
952
|
+
<div class="line"><a name="l00882"></a><span class="lineno"> 882</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">Options::LoopAnalysis</a>(</div>
|
|
953
|
+
<div class="line"><a name="l00883"></a><span class="lineno"> 883</span>  <span class="stringliteral">"loop-analysis"</span>,</div>
|
|
954
|
+
<div class="line"><a name="l00884"></a><span class="lineno"> 884</span>  <span class="stringliteral">"Analyze every func and get loop info and loop bounds."</span>,</div>
|
|
955
|
+
<div class="line"><a name="l00885"></a><span class="lineno"> 885</span>  <span class="keyword">true</span></div>
|
|
956
|
+
<div class="line"><a name="l00886"></a><span class="lineno"> 886</span> );</div>
|
|
957
|
+
<div class="line"><a name="l00887"></a><span class="lineno"> 887</span>  </div>
|
|
958
|
+
<div class="line"><a name="l00888"></a><span class="lineno"> 888</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">Options::LoopBound</a>(</div>
|
|
959
|
+
<div class="line"><a name="l00889"></a><span class="lineno"> 889</span>  <span class="stringliteral">"loop-bound"</span>,</div>
|
|
960
|
+
<div class="line"><a name="l00890"></a><span class="lineno"> 890</span>  <span class="stringliteral">"Maximum number of loop"</span>,</div>
|
|
961
|
+
<div class="line"><a name="l00891"></a><span class="lineno"> 891</span>  1</div>
|
|
962
|
+
<div class="line"><a name="l00892"></a><span class="lineno"> 892</span> );</div>
|
|
963
|
+
<div class="line"><a name="l00893"></a><span class="lineno"> 893</span>  </div>
|
|
964
|
+
<div class="line"><a name="l00894"></a><span class="lineno"> 894</span> } <span class="comment">// namespace SVF.</span></div>
|
|
964
965
|
</div><!-- fragment --></div><!-- contents -->
|
|
965
966
|
<div class="ttc" id="aclassSVF_1_1Options_html_a6237da3f4e264fa8b63c11d621f39e71"><div class="ttname"><a href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">SVF::Options::MaxContextLen</a></div><div class="ttdeci">static const Option< u32_t > MaxContextLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00096">Options.h:96</a></div></div>
|
|
966
967
|
<div class="ttc" id="aclassSVF_1_1Options_html_ab7741246d969021c9afc448b084699af"><div class="ttname"><a href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">SVF::Options::OPTSVFG</a></div><div class="ttdeci">static Option< bool > OPTSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00161">Options.h:161</a></div></div>
|
|
@@ -999,7 +1000,6 @@ $(function() {
|
|
|
999
1000
|
<div class="ttc" id="aclassSVF_1_1Options_html_a34e1093189fc8c150a9f2961557aa844"><div class="ttname"><a href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844">SVF::Options::PrintLockSpan</a></div><div class="ttdeci">static const Option< bool > PrintLockSpan</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00173">Options.h:173</a></div></div>
|
|
1000
1001
|
<div class="ttc" id="aclassSVF_1_1Options_html_ae7ccfb3d1308e205e5014849dcc43d9a"><div class="ttname"><a href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options::DumpICFG</a></div><div class="ttdeci">static const Option< bool > DumpICFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00136">Options.h:136</a></div></div>
|
|
1001
1002
|
<div class="ttc" id="aclassSVF_1_1Options_html_a6ebad0decdd6e93c661b72d80f5dbcef"><div class="ttname"><a href="classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef">SVF::Options::FsTimeLimit</a></div><div class="ttdeci">static const Option< u32_t > FsTimeLimit</div><div class="ttdoc">Time limit for the main phase (i.e., the actual solving) of FS analyses.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00072">Options.h:72</a></div></div>
|
|
1002
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a2ed1e6f7911ae5cfbf79213e4d07531e"><div class="ttname"><a href="classSVF_1_1Options.html#a2ed1e6f7911ae5cfbf79213e4d07531e">SVF::Options::ExtAPIInput</a></div><div class="ttdeci">static const Option< std::string > ExtAPIInput</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00251">Options.h:251</a></div></div>
|
|
1003
1003
|
<div class="ttc" id="aclassSVF_1_1Options_html_a782d52d7e8d423c2bef27b34d518ffd9"><div class="ttname"><a href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9">SVF::Options::WPANum</a></div><div class="ttdeci">static const Option< bool > WPANum</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00103">Options.h:103</a></div></div>
|
|
1004
1004
|
<div class="ttc" id="aclassSVF_1_1Options_html_a52c06ea1c5dd347079f192f0cba3dcd3"><div class="ttname"><a href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3">SVF::Options::SymTabPrint</a></div><div class="ttdeci">static const Option< bool > SymTabPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00221">Options.h:221</a></div></div>
|
|
1005
1005
|
<div class="ttc" id="aCommandLine_8h_html"><div class="ttname"><a href="CommandLine_8h.html">CommandLine.h</a></div></div>
|
|
@@ -1008,7 +1008,6 @@ $(function() {
|
|
|
1008
1008
|
<div class="ttc" id="aclassSVF_1_1Options_html_a3b6146824333f0da957d37b199978916"><div class="ttname"><a href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916">SVF::Options::ReadPrecisionTDEdge</a></div><div class="ttdeci">static const Option< bool > ReadPrecisionTDEdge</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00169">Options.h:169</a></div></div>
|
|
1009
1009
|
<div class="ttc" id="aclassSVF_1_1Options_html_a6c0afceb5db81504930dc6f673bc41ec"><div class="ttname"><a href="classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec">SVF::Options::LockValid</a></div><div class="ttdeci">static const Option< bool > LockValid</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00189">Options.h:189</a></div></div>
|
|
1010
1010
|
<div class="ttc" id="aclassOptionMultiple_html"><div class="ttname"><a href="classOptionMultiple.html">OptionMultiple< PointerAnalysis::PTATY ></a></div></div>
|
|
1011
|
-
<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a02380d22fd6021ebce1e54723d695c99"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a02380d22fd6021ebce1e54723d695c99">SVF::ExtAPI::getExtAPI</a></div><div class="ttdeci">static ExtAPI * getExtAPI(const std::string &="")</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00038">ExtAPI.cpp:38</a></div></div>
|
|
1012
1011
|
<div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4">HCLUST_METHOD_COMPLETE</a></div><div class="ttdeci">@ HCLUST_METHOD_COMPLETE</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00070">fastcluster.h:70</a></div></div>
|
|
1013
1012
|
<div class="ttc" id="aclassSVF_1_1Options_html_ad2f3ffd1b8d579ebe4c19a015cd599e2"><div class="ttname"><a href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2">SVF::Options::StatBudget</a></div><div class="ttdeci">static const Option< u32_t > StatBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00133">Options.h:133</a></div></div>
|
|
1014
1013
|
<div class="ttc" id="aclassSVF_1_1Options_html_ad6c9b07d4dc8af20fbe2b93711cc2101"><div class="ttname"><a href="classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101">SVF::Options::OCGDotGraph</a></div><div class="ttdeci">static const Option< bool > OCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00110">Options.h:110</a></div></div>
|
|
@@ -1040,6 +1039,7 @@ $(function() {
|
|
|
1040
1039
|
<div class="ttc" id="aclassSVF_1_1Options_html_abb91435e1e06b07548c539e7f7761563"><div class="ttname"><a href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563">SVF::Options::FuncPointerPrint</a></div><div class="ttdeci">static const Option< bool > FuncPointerPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00129">Options.h:129</a></div></div>
|
|
1041
1040
|
<div class="ttc" id="aclassSVF_1_1Options_html_aed7bdea17fad08ceb0453b23f2f908bb"><div class="ttname"><a href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">SVF::Options::PredictPtOcc</a></div><div class="ttdeci">static const Option< bool > PredictPtOcc</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00066">Options.h:66</a></div></div>
|
|
1042
1041
|
<div class="ttc" id="aclassSVF_1_1Options_html_a787f95c7ac87e04f2e6d55cf5d665a34"><div class="ttname"><a href="classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34">SVF::Options::TaintUninitStack</a></div><div class="ttdeci">static const Option< bool > TaintUninitStack</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00092">Options.h:92</a></div></div>
|
|
1042
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a2dffc9d885fa53340a1cdbc028d7f24a"><div class="ttname"><a href="classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a">SVF::Options::ExtAPIPath</a></div><div class="ttdeci">static const Option< std::string > ExtAPIPath</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00251">Options.h:251</a></div></div>
|
|
1043
1043
|
<div class="ttc" id="aclassSVF_1_1Options_html_aeab702f641fd13ee1d0f89837097e43b"><div class="ttname"><a href="classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b">SVF::Options::InsenRecur</a></div><div class="ttdeci">static const Option< bool > InsenRecur</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00099">Options.h:99</a></div></div>
|
|
1044
1044
|
<div class="ttc" id="aclassSVF_1_1WPAPass_html_a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7">SVF::WPAPass::Conservative</a></div><div class="ttdeci">@ Conservative</div><div class="ttdoc">return MayAlias if any pta says alias</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00064">WPAPass.h:64</a></div></div>
|
|
1045
1045
|
<div class="ttc" id="aclassSVF_1_1Options_html_ae5af5a2b3854b4d234197ab1a389aac2"><div class="ttname"><a href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2">SVF::Options::SingleStride</a></div><div class="ttdeci">static const Option< bool > SingleStride</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00125">Options.h:125</a></div></div>
|
|
@@ -294,7 +294,7 @@ $(function() {
|
|
|
294
294
|
<div class="line"><a name="l00248"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140"> 248</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140">VtableInSVFIR</a>;</div>
|
|
295
295
|
<div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  </div>
|
|
296
296
|
<div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  <span class="comment">// WPAPass.cpp</span></div>
|
|
297
|
-
<div class="line"><a name="l00251"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
297
|
+
<div class="line"><a name="l00251"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a"> 251</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a">ExtAPIPath</a>;</div>
|
|
298
298
|
<div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f"> 252</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">AnderSVFG</a>;</div>
|
|
299
299
|
<div class="line"><a name="l00253"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b"> 253</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SABERFULLSVFG</a>;</div>
|
|
300
300
|
<div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671"> 254</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">PrintAliases</a>;</div>
|
|
@@ -360,7 +360,6 @@ $(function() {
|
|
|
360
360
|
<div class="ttc" id="aclassSVF_1_1Options_html"><div class="ttname"><a href="classSVF_1_1Options.html">SVF::Options</a></div><div class="ttdoc">Carries around command line options.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00019">Options.h:19</a></div></div>
|
|
361
361
|
<div class="ttc" id="aclassSVF_1_1Options_html_ae7ccfb3d1308e205e5014849dcc43d9a"><div class="ttname"><a href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options::DumpICFG</a></div><div class="ttdeci">static const Option< bool > DumpICFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00136">Options.h:136</a></div></div>
|
|
362
362
|
<div class="ttc" id="aclassSVF_1_1Options_html_a6ebad0decdd6e93c661b72d80f5dbcef"><div class="ttname"><a href="classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef">SVF::Options::FsTimeLimit</a></div><div class="ttdeci">static const Option< u32_t > FsTimeLimit</div><div class="ttdoc">Time limit for the main phase (i.e., the actual solving) of FS analyses.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00072">Options.h:72</a></div></div>
|
|
363
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a2ed1e6f7911ae5cfbf79213e4d07531e"><div class="ttname"><a href="classSVF_1_1Options.html#a2ed1e6f7911ae5cfbf79213e4d07531e">SVF::Options::ExtAPIInput</a></div><div class="ttdeci">static const Option< std::string > ExtAPIInput</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00251">Options.h:251</a></div></div>
|
|
364
363
|
<div class="ttc" id="aclassSVF_1_1Options_html_a782d52d7e8d423c2bef27b34d518ffd9"><div class="ttname"><a href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9">SVF::Options::WPANum</a></div><div class="ttdeci">static const Option< bool > WPANum</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00103">Options.h:103</a></div></div>
|
|
365
364
|
<div class="ttc" id="aclassSVF_1_1Options_html_a52c06ea1c5dd347079f192f0cba3dcd3"><div class="ttname"><a href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3">SVF::Options::SymTabPrint</a></div><div class="ttdeci">static const Option< bool > SymTabPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00221">Options.h:221</a></div></div>
|
|
366
365
|
<div class="ttc" id="aCommandLine_8h_html"><div class="ttname"><a href="CommandLine_8h.html">CommandLine.h</a></div></div>
|
|
@@ -396,6 +395,7 @@ $(function() {
|
|
|
396
395
|
<div class="ttc" id="aclassSVF_1_1Options_html_abb91435e1e06b07548c539e7f7761563"><div class="ttname"><a href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563">SVF::Options::FuncPointerPrint</a></div><div class="ttdeci">static const Option< bool > FuncPointerPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00129">Options.h:129</a></div></div>
|
|
397
396
|
<div class="ttc" id="aclassSVF_1_1Options_html_aed7bdea17fad08ceb0453b23f2f908bb"><div class="ttname"><a href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">SVF::Options::PredictPtOcc</a></div><div class="ttdeci">static const Option< bool > PredictPtOcc</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00066">Options.h:66</a></div></div>
|
|
398
397
|
<div class="ttc" id="aclassSVF_1_1Options_html_a787f95c7ac87e04f2e6d55cf5d665a34"><div class="ttname"><a href="classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34">SVF::Options::TaintUninitStack</a></div><div class="ttdeci">static const Option< bool > TaintUninitStack</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00092">Options.h:92</a></div></div>
|
|
398
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a2dffc9d885fa53340a1cdbc028d7f24a"><div class="ttname"><a href="classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a">SVF::Options::ExtAPIPath</a></div><div class="ttdeci">static const Option< std::string > ExtAPIPath</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00251">Options.h:251</a></div></div>
|
|
399
399
|
<div class="ttc" id="aclassSVF_1_1Options_html_aeab702f641fd13ee1d0f89837097e43b"><div class="ttname"><a href="classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b">SVF::Options::InsenRecur</a></div><div class="ttdeci">static const Option< bool > InsenRecur</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00099">Options.h:99</a></div></div>
|
|
400
400
|
<div class="ttc" id="aclassSVF_1_1Options_html_ae5af5a2b3854b4d234197ab1a389aac2"><div class="ttname"><a href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2">SVF::Options::SingleStride</a></div><div class="ttdeci">static const Option< bool > SingleStride</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00125">Options.h:125</a></div></div>
|
|
401
401
|
<div class="ttc" id="aclassSVF_1_1Options_html_a5a70a23e30df8dea3fcaf0e80479fe88"><div class="ttname"><a href="classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88">SVF::Options::RegionAlign</a></div><div class="ttdeci">static const Option< bool > RegionAlign</div><div class="ttdoc">Align identifiers in each region to a word.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00062">Options.h:62</a></div></div>
|
|
@@ -145,7 +145,7 @@ $(function() {
|
|
|
145
145
|
<div class="line"><a name="l00074"></a><span class="lineno"> 74</span> }</div>
|
|
146
146
|
</div><!-- fragment --></div><!-- contents -->
|
|
147
147
|
<div class="ttc" id="aclassSVF_1_1SVFModule_html_a99da46c17993e1faef5d3737bcca8d64"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">SVF::SVFModule::OtherValueSet</a></div><div class="ttdeci">OtherValueType OtherValueSet</div><div class="ttdoc">All other values in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00072">SVFModule.h:72</a></div></div>
|
|
148
|
-
<div class="ttc" id="aclassSVF_1_1ExtAPI_html_abe3e0e2500532acfc01cee7e2ce1cd90"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">SVF::ExtAPI::destory</a></div><div class="ttdeci">static void destory()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#
|
|
148
|
+
<div class="ttc" id="aclassSVF_1_1ExtAPI_html_abe3e0e2500532acfc01cee7e2ce1cd90"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">SVF::ExtAPI::destory</a></div><div class="ttdeci">static void destory()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00049">ExtAPI.cpp:49</a></div></div>
|
|
149
149
|
<div class="ttc" id="aclassSVF_1_1SVFModule_html_abbaf48d9702ec1f38dc6ae137ca630a1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">SVF::SVFModule::getFunctionSet</a></div><div class="ttdeci">const FunctionSetType & getFunctionSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00216">SVFModule.h:216</a></div></div>
|
|
150
150
|
<div class="ttc" id="aclassSVF_1_1SVFModule_html_a2547331e2c32b077d5876e609cb7f48f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule::pagReadFromTxt</a></div><div class="ttdeci">static std::string pagReadFromTxt</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00066">SVFModule.h:66</a></div></div>
|
|
151
151
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
|