svf-tools 1.0.780 → 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/CFLAlias_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CFLVF_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +1 -1
- 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/IRGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/LLVMModule_8h_source.html +2 -2
- package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/Options_8cpp_source.html +140 -132
- package/SVF-doxygen/html/html/Options_8h_source.html +46 -44
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +8 -8
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +15 -13
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +180 -100
- package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +89 -88
- package/SVF-doxygen/html/html/classSVF_1_1Options.html +43 -17
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +4 -4
- package/SVF-doxygen/html/html/functions_e.html +7 -1
- package/SVF-doxygen/html/html/functions_f.html +3 -3
- package/SVF-doxygen/html/html/functions_func_s.html +19 -16
- package/SVF-doxygen/html/html/functions_l.html +5 -5
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +17 -17
- package/SVF-doxygen/html/html/functions_p.html +15 -15
- package/SVF-doxygen/html/html/functions_r.html +1 -1
- package/SVF-doxygen/html/html/functions_s.html +26 -21
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_v.html +6 -6
- package/SVF-doxygen/html/html/functions_vars_e.html +6 -0
- 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/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 -119
- 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 -37
- 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/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +1 -1
- package/package.json +1 -1
- package/svf/include/Util/ExtAPI.h +7 -1
- package/svf/include/Util/Options.h +1 -0
- package/svf/lib/Util/ExtAPI.cpp +58 -30
- package/svf/lib/Util/Options.cpp +7 -0
|
@@ -840,125 +840,132 @@ $(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> <span class="
|
|
844
|
-
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span> 
|
|
845
|
-
<div class="line"><a name="l00775"></a><span class="lineno"> 775</span>  <span class="stringliteral">"
|
|
846
|
-
<div class="line"><a name="l00776"></a><span class="lineno"> 776</span>  <span class="
|
|
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> 
|
|
864
|
-
<div class="line"><a name="l00794"></a><span class="lineno"> 794</span> 
|
|
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>  <span class="
|
|
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> }
|
|
874
|
-
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span> 
|
|
875
|
-
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  </div>
|
|
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> 
|
|
878
|
-
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span>  <span class="stringliteral">"
|
|
879
|
-
<div class="line"><a name="l00809"></a><span class="lineno"> 809</span> {</div>
|
|
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> 
|
|
882
|
-
<div class="line"><a name="l00812"></a><span class="lineno"> 812</span> 
|
|
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>  </div>
|
|
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>  <span class="stringliteral">"
|
|
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="stringliteral">"
|
|
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="
|
|
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> 
|
|
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> 
|
|
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
|
+
<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>  </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>
|
|
958
965
|
</div><!-- fragment --></div><!-- contents -->
|
|
959
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>
|
|
960
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>
|
|
961
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a8e22c3bca5ee0e4e7d90e857a5ea8031"><div class="ttname"><a href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031">SVF::Options::FlexSymMap</a></div><div class="ttdeci">static const Option< bool > FlexSymMap</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
968
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a8e22c3bca5ee0e4e7d90e857a5ea8031"><div class="ttname"><a href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031">SVF::Options::FlexSymMap</a></div><div class="ttdeci">static const Option< bool > FlexSymMap</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00265">Options.h:265</a></div></div>
|
|
962
969
|
<div class="ttc" id="aclassSVF_1_1Options_html_aabeb232a46547fd35ddc96244fdaf1b9"><div class="ttname"><a href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9">SVF::Options::WriteAnder</a></div><div class="ttdeci">static const Option< std::string > WriteAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00243">Options.h:243</a></div></div>
|
|
963
970
|
<div class="ttc" id="aclassSVF_1_1Options_html_a83103f0d5f166e0bb062aa7d7b393ddd"><div class="ttname"><a href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd">SVF::Options::TypePrint</a></div><div class="ttdeci">static const Option< bool > TypePrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00128">Options.h:128</a></div></div>
|
|
964
971
|
<div class="ttc" id="aclassSVF_1_1Options_html_a3f5235cbdaab1bf53b9144d335c9c3d4"><div class="ttname"><a href="classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4">SVF::Options::DumpJson</a></div><div class="ttdeci">static const Option< std::string > DumpJson</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00137">Options.h:137</a></div></div>
|
|
@@ -970,7 +977,7 @@ $(function() {
|
|
|
970
977
|
<div class="ttc" id="aclassSVF_1_1Options_html_aa8818e8138233838af224d4214de9e8f"><div class="ttname"><a href="classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f">SVF::Options::MSSAFun</a></div><div class="ttdeci">static const Option< std::string > MSSAFun</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00155">Options.h:155</a></div></div>
|
|
971
978
|
<div class="ttc" id="aclassSVF_1_1Options_html_ad6f51870a3cabccbec4898d572dba74f"><div class="ttname"><a href="classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f">SVF::Options::TaintUninitHeap</a></div><div class="ttdeci">static const Option< bool > TaintUninitHeap</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00091">Options.h:91</a></div></div>
|
|
972
979
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9">SVF::PointerAnalysis::VFS_WPA</a></div><div class="ttdeci">@ VFS_WPA</div><div class="ttdoc">Versioned sparse flow-sensitive WPA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00076">PointerAnalysis.h:76</a></div></div>
|
|
973
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a93970b0b5e0a6148a86ab192a812f34b"><div class="ttname"><a href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SVF::Options::SABERFULLSVFG</a></div><div class="ttdeci">static const Option< bool > SABERFULLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
980
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a93970b0b5e0a6148a86ab192a812f34b"><div class="ttname"><a href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SVF::Options::SABERFULLSVFG</a></div><div class="ttdeci">static const Option< bool > SABERFULLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00253">Options.h:253</a></div></div>
|
|
974
981
|
<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>
|
|
975
982
|
<div class="ttc" id="aclassSVF_1_1Options_html_a9711cdc976786b3949ac6b26f95b59b0"><div class="ttname"><a href="classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0">SVF::Options::MallocOnly</a></div><div class="ttdeci">static const Option< bool > MallocOnly</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00090">Options.h:90</a></div></div>
|
|
976
983
|
<div class="ttc" id="aclassSVF_1_1Options_html_a296e4a2187d14828cb0baf859f48d716"><div class="ttname"><a href="classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716">SVF::Options::DumpUninitPtr</a></div><div class="ttdeci">static const Option< bool > DumpUninitPtr</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00087">Options.h:87</a></div></div>
|
|
@@ -978,16 +985,16 @@ $(function() {
|
|
|
978
985
|
<div class="ttc" id="aclassSVF_1_1Options_html_a6d45d7ba6852a986b53b31f60f967b01"><div class="ttname"><a href="classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01">SVF::Options::DumpSUPts</a></div><div class="ttdeci">static const Option< bool > DumpSUPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00088">Options.h:88</a></div></div>
|
|
979
986
|
<div class="ttc" id="aclassSVF_1_1Options_html_a0123986b466dae50b2f12c71295c54f9"><div class="ttname"><a href="classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9">SVF::Options::PlainMappingFs</a></div><div class="ttdeci">static const Option< bool > PlainMappingFs</div><div class="ttdoc">Use an explicitly plain mapping with flow-sensitive (not null).</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00047">Options.h:47</a></div></div>
|
|
980
987
|
<div class="ttc" id="aclassSVF_1_1Options_html_a595a98babd7d51af6dacd935bd27d1f0"><div class="ttname"><a href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0">SVF::Options::PtType</a></div><div class="ttdeci">static const OptionMap< PointsTo::Type > PtType</div><div class="ttdoc">Type of points-to set to use for all analyses.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00050">Options.h:50</a></div></div>
|
|
981
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a15a9c1086e1bbd6a76d56ad1bdd6b994"><div class="ttname"><a href="classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994">SVF::Options::Customized</a></div><div class="ttdeci">static const Option< bool > Customized</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
982
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a2960fcb679f8dfee7d8822fcf9609f4a"><div class="ttname"><a href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a">SVF::Options::AliasRule</a></div><div class="ttdeci">static OptionMultiple< WPAPass::AliasCheckRule > AliasRule</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
988
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a15a9c1086e1bbd6a76d56ad1bdd6b994"><div class="ttname"><a href="classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994">SVF::Options::Customized</a></div><div class="ttdeci">static const Option< bool > Customized</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00270">Options.h:270</a></div></div>
|
|
989
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a2960fcb679f8dfee7d8822fcf9609f4a"><div class="ttname"><a href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a">SVF::Options::AliasRule</a></div><div class="ttdeci">static OptionMultiple< WPAPass::AliasCheckRule > AliasRule</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00256">Options.h:256</a></div></div>
|
|
983
990
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18">SVF::PointerAnalysis::FlowS_DDA</a></div><div class="ttdeci">@ FlowS_DDA</div><div class="ttdoc">Flow sensitive DDA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00085">PointerAnalysis.h:85</a></div></div>
|
|
984
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_abfd13c7d998333290b39354178739f2c"><div class="ttname"><a href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">SVF::Options::LoopAnalysis</a></div><div class="ttdeci">static const Option< bool > LoopAnalysis</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
991
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_abfd13c7d998333290b39354178739f2c"><div class="ttname"><a href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">SVF::Options::LoopAnalysis</a></div><div class="ttdeci">static const Option< bool > LoopAnalysis</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00273">Options.h:273</a></div></div>
|
|
985
992
|
<div class="ttc" id="aclassSVF_1_1Options_html_aab0131558d9da9b0fe888387217ba919"><div class="ttname"><a href="classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919">SVF::Options::MaxStepInWrapper</a></div><div class="ttdeci">static const Option< u32_t > MaxStepInWrapper</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00097">Options.h:97</a></div></div>
|
|
986
993
|
<div class="ttc" id="aclassSVF_1_1Options_html_aa127a32b03e381343c624e53adc4ef2e"><div class="ttname"><a href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e">SVF::Options::MemPar</a></div><div class="ttdeci">static const OptionMap< MemSSA::MemPartition > MemPar</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00157">Options.h:157</a></div></div>
|
|
987
994
|
<div class="ttc" id="aclassSVF_1_1Options_html_ae3ad3003a8d3df2f1e3463248bb5ad51"><div class="ttname"><a href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">SVF::Options::DumpVFG</a></div><div class="ttdeci">static const Option< bool > DumpVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00122">Options.h:122</a></div></div>
|
|
988
995
|
<div class="ttc" id="aclassSVF_1_1Options_html_a853caba808dc7d17cba4ad4214b56b6f"><div class="ttname"><a href="classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f">SVF::Options::ClusterFs</a></div><div class="ttdeci">static const Option< bool > ClusterFs</div><div class="ttdoc">Whether to cluster FS or VFS with the auxiliary Andersen's.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00044">Options.h:44</a></div></div>
|
|
989
996
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1">SVF::PointerAnalysis::AndersenSCD_WPA</a></div><div class="ttdeci">@ AndersenSCD_WPA</div><div class="ttdoc">Selective cycle detection andersen-style WPA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00068">PointerAnalysis.h:68</a></div></div>
|
|
990
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a81dbd12b5141c4a2758d6f2d3321f1ac"><div class="ttname"><a href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">SVF::Options::CFLGraph</a></div><div class="ttdeci">static const Option< std::string > CFLGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
997
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a81dbd12b5141c4a2758d6f2d3321f1ac"><div class="ttname"><a href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">SVF::Options::CFLGraph</a></div><div class="ttdeci">static const Option< std::string > CFLGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00263">Options.h:263</a></div></div>
|
|
991
998
|
<div class="ttc" id="aclassSVF_1_1Options_html_a742a42d855c5b96fb7c70a2d0ab64021"><div class="ttname"><a href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021">SVF::Options::UsePreCompFieldSensitive</a></div><div class="ttdeci">static const Option< bool > UsePreCompFieldSensitive</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00142">Options.h:142</a></div></div>
|
|
992
999
|
<div class="ttc" id="aclassSVF_1_1Options_html_a424a44f39a43b22434dbdce26007a353"><div class="ttname"><a href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const Option< bool > ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>
|
|
993
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>
|
|
@@ -1006,7 +1013,7 @@ $(function() {
|
|
|
1006
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>
|
|
1007
1014
|
<div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
|
|
1008
1015
|
<div class="ttc" id="aclassSVF_1_1Options_html_aa5bae1db07c401517c1c0f8fd9f2deef"><div class="ttname"><a href="classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef">SVF::Options::IndirectCallLimit</a></div><div class="ttdeci">static const Option< u32_t > IndirectCallLimit</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00141">Options.h:141</a></div></div>
|
|
1009
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a17f11eb3e9a3178395e8574a027b181e"><div class="ttname"><a href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">SVF::Options::LoopBound</a></div><div class="ttdeci">static const Option< u32_t > LoopBound</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
1016
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a17f11eb3e9a3178395e8574a027b181e"><div class="ttname"><a href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">SVF::Options::LoopBound</a></div><div class="ttdeci">static const Option< u32_t > LoopBound</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00274">Options.h:274</a></div></div>
|
|
1010
1017
|
<div class="ttc" id="aclassSVF_1_1Options_html_aaa7ca76c841dd19d67796d09c94a9746"><div class="ttname"><a href="classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746">SVF::Options::UsePCG</a></div><div class="ttdeci">static const Option< bool > UsePCG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00167">Options.h:167</a></div></div>
|
|
1011
1018
|
<div class="ttc" id="aclassSVF_1_1Options_html_a1daf36a755523519187c3a8e9a19b58d"><div class="ttname"><a href="classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d">SVF::Options::EnableThreadCallGraph</a></div><div class="ttdeci">static const Option< bool > EnableThreadCallGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00144">Options.h:144</a></div></div>
|
|
1012
1019
|
<div class="ttc" id="aclassSVF_1_1Options_html_a51b28b2e973911fb8e2c23c6127e9a63"><div class="ttname"><a href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63">SVF::Options::HandBlackHole</a></div><div class="ttdeci">static Option< bool > HandBlackHole</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00113">Options.h:113</a></div></div>
|
|
@@ -1032,6 +1039,7 @@ $(function() {
|
|
|
1032
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>
|
|
1033
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>
|
|
1034
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>
|
|
1035
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>
|
|
1036
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>
|
|
1037
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>
|
|
@@ -1041,7 +1049,7 @@ $(function() {
|
|
|
1041
1049
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">SVF::PointerAnalysis::AndersenWaveDiff_WPA</a></div><div class="ttdeci">@ AndersenWaveDiff_WPA</div><div class="ttdoc">Diff wave propagation andersen-style WPA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00070">PointerAnalysis.h:70</a></div></div>
|
|
1042
1050
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3">SVF::PointerAnalysis::TypeCPP_WPA</a></div><div class="ttdeci">@ TypeCPP_WPA</div><div class="ttdoc">Type-based analysis for C++.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00081">PointerAnalysis.h:81</a></div></div>
|
|
1043
1051
|
<div class="ttc" id="aclassSVF_1_1Options_html_a3fc22d0a45be551110d1e326380f3202"><div class="ttname"><a href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">SVF::Options::DetectPWC</a></div><div class="ttdeci">static Option< bool > DetectPWC</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00247">Options.h:247</a></div></div>
|
|
1044
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a9ff12bf51a475c90c35e3351c5501f0f"><div class="ttname"><a href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">SVF::Options::PrintCFL</a></div><div class="ttdeci">static const Option< bool > PrintCFL</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
1052
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a9ff12bf51a475c90c35e3351c5501f0f"><div class="ttname"><a href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">SVF::Options::PrintCFL</a></div><div class="ttdeci">static const Option< bool > PrintCFL</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00264">Options.h:264</a></div></div>
|
|
1045
1053
|
<div class="ttc" id="aclassSVF_1_1Options_html_aceaa5cc22c7f362e4c4d66531ec27bf1"><div class="ttname"><a href="classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1">SVF::Options::ValidateTests</a></div><div class="ttdeci">static const Option< bool > ValidateTests</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00200">Options.h:200</a></div></div>
|
|
1046
1054
|
<div class="ttc" id="aclassSVF_1_1Options_html_a429c3000ee2ac45119b8c241aa06762c"><div class="ttname"><a href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">SVF::Options::ModelArrays</a></div><div class="ttdeci">static const Option< bool > ModelArrays</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00219">Options.h:219</a></div></div>
|
|
1047
1055
|
<div class="ttc" id="aclassSVF_1_1Options_html_ab64401bdde8b0c846a78f21423e5cfb6"><div class="ttname"><a href="classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6">SVF::Options::DumpSUStore</a></div><div class="ttdeci">static const Option< bool > DumpSUStore</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00089">Options.h:89</a></div></div>
|
|
@@ -1061,10 +1069,10 @@ $(function() {
|
|
|
1061
1069
|
<div class="ttc" id="aclassSVF_1_1Options_html_aab85f2c2ceb235b1291301f33154d182"><div class="ttname"><a href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">SVF::Options::PrintDCHG</a></div><div class="ttdeci">static const Option< bool > PrintDCHG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00210">Options.h:210</a></div></div>
|
|
1062
1070
|
<div class="ttc" id="aclassSVF_1_1Options_html_a1dd9ad3f11454be49b4c5099503db8e8"><div class="ttname"><a href="classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8">SVF::Options::PAGDotGraph</a></div><div class="ttdeci">static const Option< bool > PAGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
|
|
1063
1071
|
<div class="ttc" id="aclassSVF_1_1Options_html_a9be31261a2f96c5733bd35a5da07eb76"><div class="ttname"><a href="classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76">SVF::Options::CollectExtRetGlobals</a></div><div class="ttdeci">static const Option< bool > CollectExtRetGlobals</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00233">Options.h:233</a></div></div>
|
|
1064
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_adee65a3773fbb98532538c938230e1d3"><div class="ttname"><a href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">SVF::Options::ShowHiddenNode</a></div><div class="ttdeci">static const Option< bool > ShowHiddenNode</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
1065
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a4854dd8b167e468e698606254b31bf26"><div class="ttname"><a href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">SVF::Options::PEGTransfer</a></div><div class="ttdeci">static const Option< bool > PEGTransfer</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
1072
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_adee65a3773fbb98532538c938230e1d3"><div class="ttname"><a href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">SVF::Options::ShowHiddenNode</a></div><div class="ttdeci">static const Option< bool > ShowHiddenNode</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00259">Options.h:259</a></div></div>
|
|
1073
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a4854dd8b167e468e698606254b31bf26"><div class="ttname"><a href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">SVF::Options::PEGTransfer</a></div><div class="ttdeci">static const Option< bool > PEGTransfer</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00266">Options.h:266</a></div></div>
|
|
1066
1074
|
<div class="ttc" id="aclassSVF_1_1Options_html_ae1776c9fb7d163153443b1ff2a7350a8"><div class="ttname"><a href="classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8">SVF::Options::ReadJson</a></div><div class="ttdeci">static const Option< bool > ReadJson</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00138">Options.h:138</a></div></div>
|
|
1067
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_aea9e5e0cc5de48f3b959fa25d6ef5e1f"><div class="ttname"><a href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">SVF::Options::AnderSVFG</a></div><div class="ttdeci">static const Option< bool > AnderSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
1075
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_aea9e5e0cc5de48f3b959fa25d6ef5e1f"><div class="ttname"><a href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">SVF::Options::AnderSVFG</a></div><div class="ttdeci">static const Option< bool > AnderSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00252">Options.h:252</a></div></div>
|
|
1068
1076
|
<div class="ttc" id="aclassSVF_1_1Options_html_a3bbd106de519cb8d00f33e82f14d279b"><div class="ttname"><a href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">SVF::Options::CxtBudget</a></div><div class="ttdeci">static const Option< u32_t > CxtBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00081">Options.h:81</a></div></div>
|
|
1069
1077
|
<div class="ttc" id="aclassSVF_1_1Options_html_a25a3db9daa81a127a8dad86888adea6c"><div class="ttname"><a href="classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c">SVF::Options::BriefConsCGDotGraph</a></div><div class="ttdeci">static const Option< bool > BriefConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00240">Options.h:240</a></div></div>
|
|
1070
1078
|
<div class="ttc" id="aclassOptionMap_html"><div class="ttname"><a href="classOptionMap.html">OptionMap< enum PTAStat::ClockType ></a></div></div>
|
|
@@ -1075,13 +1083,13 @@ $(function() {
|
|
|
1075
1083
|
<div class="ttc" id="aclassSVF_1_1Options_html_a4f022e2f997d25ec50842b4248147336"><div class="ttname"><a href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336">SVF::Options::FSAnno</a></div><div class="ttdeci">static const Option< bool > FSAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00181">Options.h:181</a></div></div>
|
|
1076
1084
|
<div class="ttc" id="aclassSVF_1_1Options_html_a28af43961cb29a7dea50be2ab332cc75"><div class="ttname"><a href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">SVF::Options::ClockType</a></div><div class="ttdeci">static const OptionMap< enum PTAStat::ClockType > ClockType</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00024">Options.h:24</a></div></div>
|
|
1077
1085
|
<div class="ttc" id="aclassSVF_1_1Options_html_aaa27474452c68545e883d02a334cab70"><div class="ttname"><a href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70">SVF::Options::AllPairMHP</a></div><div class="ttdeci">static const Option< bool > AllPairMHP</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00191">Options.h:191</a></div></div>
|
|
1078
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a7ef3e2cd417646e9d06e0da16ff6c516"><div class="ttname"><a href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">SVF::Options::CFLSVFG</a></div><div class="ttdeci">static const Option< bool > CFLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
1086
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a7ef3e2cd417646e9d06e0da16ff6c516"><div class="ttname"><a href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">SVF::Options::CFLSVFG</a></div><div class="ttdeci">static const Option< bool > CFLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00267">Options.h:267</a></div></div>
|
|
1079
1087
|
<div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115">HCLUST_METHOD_AVERAGE</a></div><div class="ttdeci">@ HCLUST_METHOD_AVERAGE</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00072">fastcluster.h:72</a></div></div>
|
|
1080
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a2f4f7e10e3f4f11645aafe63edeef26c"><div class="ttname"><a href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">SVF::Options::POCRAlias</a></div><div class="ttdeci">static const Option< bool > POCRAlias</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
1088
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a2f4f7e10e3f4f11645aafe63edeef26c"><div class="ttname"><a href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">SVF::Options::POCRAlias</a></div><div class="ttdeci">static const Option< bool > POCRAlias</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00268">Options.h:268</a></div></div>
|
|
1081
1089
|
<div class="ttc" id="aclassSVF_1_1Options_html_afd31760e868bfa4d15e434e21fe4d665"><div class="ttname"><a href="classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665">SVF::Options::VersioningThreads</a></div><div class="ttdeci">static const Option< u32_t > VersioningThreads</div><div class="ttdoc">Number of threads for the versioning phase.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00078">Options.h:78</a></div></div>
|
|
1082
1090
|
<div class="ttc" id="aclassSVF_1_1Options_html_aaab923c093730b1670a54f09340b1bd5"><div class="ttname"><a href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const Option< u32_t > MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</a></div></div>
|
|
1083
1091
|
<div class="ttc" id="aclassSVF_1_1Options_html_a18dd95e01a50aa82165c46a3801053c5"><div class="ttname"><a href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5">SVF::Options::ModelConsts</a></div><div class="ttdeci">static const Option< bool > ModelConsts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00218">Options.h:218</a></div></div>
|
|
1084
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ac5b56390226cbed64c8fbd8ab8dee671"><div class="ttname"><a href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">SVF::Options::PrintAliases</a></div><div class="ttdeci">static const Option< bool > PrintAliases</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
1092
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ac5b56390226cbed64c8fbd8ab8dee671"><div class="ttname"><a href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">SVF::Options::PrintAliases</a></div><div class="ttdeci">static const Option< bool > PrintAliases</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00254">Options.h:254</a></div></div>
|
|
1085
1093
|
<div class="ttc" id="aclassSVF_1_1Options_html_ae3c3cc703ef35987a32aa808038a1307"><div class="ttname"><a href="classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307">SVF::Options::ptDataBacking</a></div><div class="ttdeci">static const OptionMap< BVDataPTAImpl::PTBackingType > ptDataBacking</div><div class="ttdoc">PTData type.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00069">Options.h:69</a></div></div>
|
|
1086
1094
|
<div class="ttc" id="aclassSVF_1_1Options_html_a00f3c4c53e6ade73f7667231c394c5d7"><div class="ttname"><a href="classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7">SVF::Options::IgnoreDeadFun</a></div><div class="ttdeci">static const Option< bool > IgnoreDeadFun</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00151">Options.h:151</a></div></div>
|
|
1087
1095
|
<div class="ttc" id="aclassSVF_1_1Options_html_a36db0fdd38ff9093d2e6bb30581b25e1"><div class="ttname"><a href="classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1">SVF::Options::AnderTimeLimit</a></div><div class="ttdeci">static const Option< u32_t > AnderTimeLimit</div><div class="ttdoc">Time limit for the Andersen's analyses.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00075">Options.h:75</a></div></div>
|
|
@@ -1092,19 +1100,19 @@ $(function() {
|
|
|
1092
1100
|
<div class="ttc" id="aclassSVF_1_1Options_html_ae782f25eaee9ac363c733b6ac609fbce"><div class="ttname"><a href="classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce">SVF::Options::DiffPts</a></div><div class="ttdeci">static const Option< bool > DiffPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00246">Options.h:246</a></div></div>
|
|
1093
1101
|
<div class="ttc" id="aclassSVF_1_1Options_html_a09005e749b1030347ac5dcc015053a37"><div class="ttname"><a href="classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37">SVF::Options::KeepAOFI</a></div><div class="ttdeci">static const Option< bool > KeepAOFI</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00118">Options.h:118</a></div></div>
|
|
1094
1102
|
<div class="ttc" id="aclassSVF_1_1Options_html_af6d92cd4372cd952e6d955cfc9be0ccb"><div class="ttname"><a href="classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb">SVF::Options::IntraLock</a></div><div class="ttdeci">static const Option< bool > IntraLock</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00168">Options.h:168</a></div></div>
|
|
1095
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ad09017ae2e1010fbba5c086a4772750f"><div class="ttname"><a href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f">SVF::Options::GrammarFilename</a></div><div class="ttdeci">static const Option< std::string > GrammarFilename</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
1103
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ad09017ae2e1010fbba5c086a4772750f"><div class="ttname"><a href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f">SVF::Options::GrammarFilename</a></div><div class="ttdeci">static const Option< std::string > GrammarFilename</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00262">Options.h:262</a></div></div>
|
|
1096
1104
|
<div class="ttc" id="aclassSVF_1_1Options_html_afcef86c88bb86198a3579aef82b5e270"><div class="ttname"><a href="classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270">SVF::Options::DumpCHA</a></div><div class="ttdeci">static const Option< bool > DumpCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00207">Options.h:207</a></div></div>
|
|
1097
1105
|
<div class="ttc" id="aclassSVF_1_1Options_html_a88bb706e03a3dd04546b4ce62af7b140"><div class="ttname"><a href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140">SVF::Options::VtableInSVFIR</a></div><div class="ttdeci">static const Option< bool > VtableInSVFIR</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00248">Options.h:248</a></div></div>
|
|
1098
1106
|
<div class="ttc" id="aclassSVF_1_1Options_html_ae639e80aa18a56bd1c6bcf41ce281930"><div class="ttname"><a href="classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930">SVF::Options::AndersenAnno</a></div><div class="ttdeci">static const Option< bool > AndersenAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00180">Options.h:180</a></div></div>
|
|
1099
1107
|
<div class="ttc" id="aclassSVF_1_1Options_html_a5f07ff361307017b35fb6b9a97919a73"><div class="ttname"><a href="classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73">SVF::Options::EnableAliasCheck</a></div><div class="ttdeci">static const Option< bool > EnableAliasCheck</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00143">Options.h:143</a></div></div>
|
|
1100
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a4837cf00e58d0b561f420f4b3b533ebd"><div class="ttname"><a href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd">SVF::Options::PASelected</a></div><div class="ttdeci">static OptionMultiple< PointerAnalysis::PTATY > PASelected</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
1108
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a4837cf00e58d0b561f420f4b3b533ebd"><div class="ttname"><a href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd">SVF::Options::PASelected</a></div><div class="ttdeci">static OptionMultiple< PointerAnalysis::PTATY > PASelected</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00255">Options.h:255</a></div></div>
|
|
1101
1109
|
<div class="ttc" id="aclassSVF_1_1Options_html_ac17ce6d75293dcd0baf366cbeb0cb6d6"><div class="ttname"><a href="classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6">SVF::Options::ClusterMethod</a></div><div class="ttdeci">static const OptionMap< enum hclust_fast_methods > ClusterMethod</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00056">Options.h:56</a></div></div>
|
|
1102
1110
|
<div class="ttc" id="aclassSVF_1_1Options_html_a71461051f5fe6b4cc33103746525b23f"><div class="ttname"><a href="classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f">SVF::Options::MaxBVLen</a></div><div class="ttdeci">static const Option< u32_t > MaxBVLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00227">Options.h:227</a></div></div>
|
|
1103
1111
|
<div class="ttc" id="aclassSVF_1_1Options_html_a453571cd0205f14ead205b3a54477475"><div class="ttname"><a href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475">SVF::Options::ReadAnder</a></div><div class="ttdeci">static const Option< std::string > ReadAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00245">Options.h:245</a></div></div>
|
|
1104
1112
|
<div class="ttc" id="aclassSVF_1_1Options_html_a428e892b31dcb783be36a35e878a0337"><div class="ttname"><a href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337">SVF::Options::PTSPrint</a></div><div class="ttdeci">static const Option< bool > PTSPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00130">Options.h:130</a></div></div>
|
|
1105
1113
|
<div class="ttc" id="aclassSVF_1_1Options_html_abcb6796d45722562546f33b2745a0418"><div class="ttname"><a href="classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418">SVF::Options::MarkedClocksOnly</a></div><div class="ttdeci">static const Option< bool > MarkedClocksOnly</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00031">Options.h:31</a></div></div>
|
|
1106
1114
|
<div class="ttc" id="aclassSVF_1_1Options_html_a5d14e81336dbfefa14146bf610989e6b"><div class="ttname"><a href="classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b">SVF::Options::UserInputQuery</a></div><div class="ttdeci">static const Option< std::string > UserInputQuery</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00098">Options.h:98</a></div></div>
|
|
1107
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a38d8e1b3fb1a86673a9555c21ba7065e"><div class="ttname"><a href="classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e">SVF::Options::POCRHybrid</a></div><div class="ttdeci">static const Option< bool > POCRHybrid</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
1115
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a38d8e1b3fb1a86673a9555c21ba7065e"><div class="ttname"><a href="classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e">SVF::Options::POCRHybrid</a></div><div class="ttdeci">static const Option< bool > POCRHybrid</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00269">Options.h:269</a></div></div>
|
|
1108
1116
|
<div class="ttc" id="aclassSVF_1_1Options_html_a7c6053f2341a500a8caca61607303b6e"><div class="ttname"><a href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e">SVF::Options::PAGPrint</a></div><div class="ttdeci">static const Option< bool > PAGPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00140">Options.h:140</a></div></div>
|
|
1109
1117
|
<!-- start footer part -->
|
|
1110
1118
|
<hr class="footer"/><address class="footer"><small>
|