svf-tools 1.0.779 → 1.0.780
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_source.html +4 -4
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +2 -2
- 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 +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 +93 -101
- package/SVF-doxygen/html/html/Options_8h_source.html +44 -46
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +9 -9
- 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 +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +7 -8
- package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +7 -6
- package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +88 -89
- package/SVF-doxygen/html/html/classSVF_1_1Options.html +17 -43
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.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 +1 -4
- 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_g.html +1 -1
- package/SVF-doxygen/html/html/functions_i.html +3 -3
- package/SVF-doxygen/html/html/functions_l.html +5 -5
- package/SVF-doxygen/html/html/functions_o.html +7 -7
- package/SVF-doxygen/html/html/functions_p.html +15 -11
- package/SVF-doxygen/html/html/functions_r.html +1 -1
- package/SVF-doxygen/html/html/functions_s.html +10 -12
- package/SVF-doxygen/html/html/functions_t.html +5 -5
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_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 +545 -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_5.js +18 -19
- 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 +20 -20
- package/SVF-doxygen/html/html/search/defines_4.js +3 -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 +278 -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 +37 -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/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 +1 -1
- package/svf/include/Util/Options.h +0 -1
- package/svf/lib/Util/ExtAPI.cpp +3 -3
- package/svf/lib/Util/Options.cpp +0 -6
- 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,131 +840,125 @@ $(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>  </div>
|
|
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> 
|
|
846
|
-
<div class="line"><a name="l00776"></a><span class="lineno"> 776</span>  <span class="
|
|
843
|
+
<div class="line"><a name="l00773"></a><span class="lineno"> 773</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>
|
|
844
|
+
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span>  <span class="stringliteral">"svfg"</span>,</div>
|
|
845
|
+
<div class="line"><a name="l00775"></a><span class="lineno"> 775</span>  <span class="stringliteral">"Generate SVFG after Andersen's Analysis"</span>,</div>
|
|
846
|
+
<div class="line"><a name="l00776"></a><span class="lineno"> 776</span>  <span class="keyword">false</span></div>
|
|
847
847
|
<div class="line"><a name="l00777"></a><span class="lineno"> 777</span> );</div>
|
|
848
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> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#
|
|
850
|
-
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span>  <span class="stringliteral">"svfg"</span>,</div>
|
|
851
|
-
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span>  <span class="stringliteral">"
|
|
849
|
+
<div class="line"><a name="l00779"></a><span class="lineno"> 779</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>
|
|
850
|
+
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span>  <span class="stringliteral">"saber-full-svfg"</span>,</div>
|
|
851
|
+
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span>  <span class="stringliteral">"When using SABER for bug detection pass, enable full svfg on top of the pointer-only one"</span>,</div>
|
|
852
852
|
<div class="line"><a name="l00782"></a><span class="lineno"> 782</span>  <span class="keyword">false</span></div>
|
|
853
853
|
<div class="line"><a name="l00783"></a><span class="lineno"> 783</span> );</div>
|
|
854
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> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#
|
|
856
|
-
<div class="line"><a name="l00786"></a><span class="lineno"> 786</span>  <span class="stringliteral">"
|
|
857
|
-
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span>  <span class="stringliteral">"
|
|
855
|
+
<div class="line"><a name="l00785"></a><span class="lineno"> 785</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>
|
|
856
|
+
<div class="line"><a name="l00786"></a><span class="lineno"> 786</span>  <span class="stringliteral">"print-aliases"</span>,</div>
|
|
857
|
+
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span>  <span class="stringliteral">"Print results for all pair aliases"</span>,</div>
|
|
858
858
|
<div class="line"><a name="l00788"></a><span class="lineno"> 788</span>  <span class="keyword">false</span></div>
|
|
859
859
|
<div class="line"><a name="l00789"></a><span class="lineno"> 789</span> );</div>
|
|
860
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> <
|
|
862
|
-
<div class="line"><a name="l00792"></a><span class="lineno"> 792</span>  <span class="stringliteral">"
|
|
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>  </div>
|
|
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>  <span class="stringliteral">"
|
|
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>  {<a class="code" href="classSVF_1_1PointerAnalysis.html#
|
|
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> 
|
|
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> 
|
|
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>  </div>
|
|
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> 
|
|
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> 
|
|
888
|
-
<div class="line"><a name="l00818"></a><span class="lineno"> 818</span> 
|
|
861
|
+
<div class="line"><a name="l00791"></a><span class="lineno"> 791</span> <a class="code" href="classOptionMultiple.html">OptionMultiple<PointerAnalysis::PTATY></a> <a class="code" href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd">Options::PASelected</a>(</div>
|
|
862
|
+
<div class="line"><a name="l00792"></a><span class="lineno"> 792</span>  <span class="stringliteral">"Select pointer analysis"</span>,</div>
|
|
863
|
+
<div class="line"><a name="l00793"></a><span class="lineno"> 793</span> {</div>
|
|
864
|
+
<div class="line"><a name="l00794"></a><span class="lineno"> 794</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>
|
|
865
|
+
<div class="line"><a name="l00795"></a><span class="lineno"> 795</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>
|
|
866
|
+
<div class="line"><a name="l00796"></a><span class="lineno"> 796</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>
|
|
867
|
+
<div class="line"><a name="l00797"></a><span class="lineno"> 797</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>
|
|
868
|
+
<div class="line"><a name="l00798"></a><span class="lineno"> 798</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>
|
|
869
|
+
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span>  <span class="comment">// Disabled till further work is done.</span></div>
|
|
870
|
+
<div class="line"><a name="l00800"></a><span class="lineno"> 800</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>
|
|
871
|
+
<div class="line"><a name="l00801"></a><span class="lineno"> 801</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>
|
|
872
|
+
<div class="line"><a name="l00802"></a><span class="lineno"> 802</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>
|
|
873
|
+
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span> }</div>
|
|
874
|
+
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span> );</div>
|
|
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>  </div>
|
|
877
|
+
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span> <a class="code" href="classOptionMultiple.html">OptionMultiple<WPAPass::AliasCheckRule></a> <a class="code" href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a">Options::AliasRule</a>(</div>
|
|
878
|
+
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span>  <span class="stringliteral">"Select alias check rule"</span>,</div>
|
|
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>  {<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>
|
|
881
|
+
<div class="line"><a name="l00811"></a><span class="lineno"> 811</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>
|
|
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>  </div>
|
|
885
|
+
<div class="line"><a name="l00815"></a><span class="lineno"> 815</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>
|
|
886
|
+
<div class="line"><a name="l00816"></a><span class="lineno"> 816</span>  <span class="stringliteral">"show-hidden-nodes"</span>,</div>
|
|
887
|
+
<div class="line"><a name="l00817"></a><span class="lineno"> 817</span>  <span class="stringliteral">"Show hidden nodes on DOT Graphs (e.g., isolated node on a graph)"</span>,</div>
|
|
888
|
+
<div class="line"><a name="l00818"></a><span class="lineno"> 818</span>  <span class="keyword">false</span></div>
|
|
889
889
|
<div class="line"><a name="l00819"></a><span class="lineno"> 819</span> );</div>
|
|
890
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> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<
|
|
892
|
-
<div class="line"><a name="l00822"></a><span class="lineno"> 822</span>  <span class="stringliteral">"
|
|
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="
|
|
891
|
+
<div class="line"><a name="l00821"></a><span class="lineno"> 821</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>
|
|
892
|
+
<div class="line"><a name="l00822"></a><span class="lineno"> 822</span>  <span class="stringliteral">"grammar"</span>,</div>
|
|
893
|
+
<div class="line"><a name="l00823"></a><span class="lineno"> 823</span>  <span class="stringliteral">"<Grammar textfile>"</span>,</div>
|
|
894
|
+
<div class="line"><a name="l00824"></a><span class="lineno"> 824</span>  <span class="stringliteral">""</span></div>
|
|
895
895
|
<div class="line"><a name="l00825"></a><span class="lineno"> 825</span> );</div>
|
|
896
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> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#
|
|
898
|
-
<div class="line"><a name="l00828"></a><span class="lineno"> 828</span>  <span class="stringliteral">"
|
|
899
|
-
<div class="line"><a name="l00829"></a><span class="lineno"> 829</span>  <span class="stringliteral">"<
|
|
897
|
+
<div class="line"><a name="l00827"></a><span class="lineno"> 827</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>
|
|
898
|
+
<div class="line"><a name="l00828"></a><span class="lineno"> 828</span>  <span class="stringliteral">"cflgraph"</span>,</div>
|
|
899
|
+
<div class="line"><a name="l00829"></a><span class="lineno"> 829</span>  <span class="stringliteral">"<Dot file as the CFLGraph input>"</span>,</div>
|
|
900
900
|
<div class="line"><a name="l00830"></a><span class="lineno"> 830</span>  <span class="stringliteral">""</span></div>
|
|
901
901
|
<div class="line"><a name="l00831"></a><span class="lineno"> 831</span> );</div>
|
|
902
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> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<
|
|
904
|
-
<div class="line"><a name="l00834"></a><span class="lineno"> 834</span>  <span class="stringliteral">"
|
|
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="
|
|
903
|
+
<div class="line"><a name="l00833"></a><span class="lineno"> 833</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>
|
|
904
|
+
<div class="line"><a name="l00834"></a><span class="lineno"> 834</span>  <span class="stringliteral">"print-cfl"</span>,</div>
|
|
905
|
+
<div class="line"><a name="l00835"></a><span class="lineno"> 835</span>  <span class="stringliteral">"Print ir, grammar and cflgraph for debug."</span>,</div>
|
|
906
|
+
<div class="line"><a name="l00836"></a><span class="lineno"> 836</span>  <span class="keyword">false</span></div>
|
|
907
907
|
<div class="line"><a name="l00837"></a><span class="lineno"> 837</span> );</div>
|
|
908
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> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#
|
|
910
|
-
<div class="line"><a name="l00840"></a><span class="lineno"> 840</span>  <span class="stringliteral">"
|
|
911
|
-
<div class="line"><a name="l00841"></a><span class="lineno"> 841</span>  <span class="stringliteral">"
|
|
909
|
+
<div class="line"><a name="l00839"></a><span class="lineno"> 839</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>
|
|
910
|
+
<div class="line"><a name="l00840"></a><span class="lineno"> 840</span>  <span class="stringliteral">"flex-symmap"</span>,</div>
|
|
911
|
+
<div class="line"><a name="l00841"></a><span class="lineno"> 841</span>  <span class="stringliteral">"Extend exist sym map while read graph from dot if sym not in map."</span>,</div>
|
|
912
912
|
<div class="line"><a name="l00842"></a><span class="lineno"> 842</span>  <span class="keyword">false</span></div>
|
|
913
913
|
<div class="line"><a name="l00843"></a><span class="lineno"> 843</span> );</div>
|
|
914
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> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#
|
|
916
|
-
<div class="line"><a name="l00846"></a><span class="lineno"> 846</span>  <span class="stringliteral">"
|
|
917
|
-
<div class="line"><a name="l00847"></a><span class="lineno"> 847</span>  <span class="stringliteral">"
|
|
915
|
+
<div class="line"><a name="l00845"></a><span class="lineno"> 845</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>
|
|
916
|
+
<div class="line"><a name="l00846"></a><span class="lineno"> 846</span>  <span class="stringliteral">"peg-transfer"</span>,</div>
|
|
917
|
+
<div class="line"><a name="l00847"></a><span class="lineno"> 847</span>  <span class="stringliteral">"When explicit to true, cfl graph builder will transfer PAG load and store edges to copy and addr."</span>,</div>
|
|
918
918
|
<div class="line"><a name="l00848"></a><span class="lineno"> 848</span>  <span class="keyword">false</span></div>
|
|
919
919
|
<div class="line"><a name="l00849"></a><span class="lineno"> 849</span> );</div>
|
|
920
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> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#
|
|
922
|
-
<div class="line"><a name="l00852"></a><span class="lineno"> 852</span>  <span class="stringliteral">"
|
|
923
|
-
<div class="line"><a name="l00853"></a><span class="lineno"> 853</span>  <span class="stringliteral">"When explicit to true, cfl graph builder will transfer
|
|
921
|
+
<div class="line"><a name="l00851"></a><span class="lineno"> 851</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>
|
|
922
|
+
<div class="line"><a name="l00852"></a><span class="lineno"> 852</span>  <span class="stringliteral">"cflsvfg"</span>,</div>
|
|
923
|
+
<div class="line"><a name="l00853"></a><span class="lineno"> 853</span>  <span class="stringliteral">"When explicit to true, cfl graph builder will transfer SVFG to CFL Reachability."</span>,</div>
|
|
924
924
|
<div class="line"><a name="l00854"></a><span class="lineno"> 854</span>  <span class="keyword">false</span></div>
|
|
925
925
|
<div class="line"><a name="l00855"></a><span class="lineno"> 855</span> );</div>
|
|
926
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> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#
|
|
928
|
-
<div class="line"><a name="l00858"></a><span class="lineno"> 858</span>  <span class="stringliteral">"
|
|
929
|
-
<div class="line"><a name="l00859"></a><span class="lineno"> 859</span>  <span class="stringliteral">"When explicit to true, cfl
|
|
927
|
+
<div class="line"><a name="l00857"></a><span class="lineno"> 857</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>
|
|
928
|
+
<div class="line"><a name="l00858"></a><span class="lineno"> 858</span>  <span class="stringliteral">"pocr-alias"</span>,</div>
|
|
929
|
+
<div class="line"><a name="l00859"></a><span class="lineno"> 859</span>  <span class="stringliteral">"When explicit to true, cfl data builder will transfer CFL graph to CFLData."</span>,</div>
|
|
930
930
|
<div class="line"><a name="l00860"></a><span class="lineno"> 860</span>  <span class="keyword">false</span></div>
|
|
931
931
|
<div class="line"><a name="l00861"></a><span class="lineno"> 861</span> );</div>
|
|
932
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> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#
|
|
934
|
-
<div class="line"><a name="l00864"></a><span class="lineno"> 864</span>  <span class="stringliteral">"pocr-
|
|
935
|
-
<div class="line"><a name="l00865"></a><span class="lineno"> 865</span>  <span class="stringliteral">"When explicit to true,
|
|
933
|
+
<div class="line"><a name="l00863"></a><span class="lineno"> 863</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>
|
|
934
|
+
<div class="line"><a name="l00864"></a><span class="lineno"> 864</span>  <span class="stringliteral">"pocr-hybrid"</span>,</div>
|
|
935
|
+
<div class="line"><a name="l00865"></a><span class="lineno"> 865</span>  <span class="stringliteral">"When explicit to true, POCRHybridSolver transfer CFL graph to internal hybrid graph representation."</span>,</div>
|
|
936
936
|
<div class="line"><a name="l00866"></a><span class="lineno"> 866</span>  <span class="keyword">false</span></div>
|
|
937
937
|
<div class="line"><a name="l00867"></a><span class="lineno"> 867</span> );</div>
|
|
938
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> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#
|
|
940
|
-
<div class="line"><a name="l00870"></a><span class="lineno"> 870</span>  <span class="stringliteral">"
|
|
941
|
-
<div class="line"><a name="l00871"></a><span class="lineno"> 871</span>  <span class="stringliteral">"When explicit to true,
|
|
939
|
+
<div class="line"><a name="l00869"></a><span class="lineno"> 869</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>
|
|
940
|
+
<div class="line"><a name="l00870"></a><span class="lineno"> 870</span>  <span class="stringliteral">"customized"</span>,</div>
|
|
941
|
+
<div class="line"><a name="l00871"></a><span class="lineno"> 871</span>  <span class="stringliteral">"When explicit to true, user can use any grammar file."</span>,</div>
|
|
942
942
|
<div class="line"><a name="l00872"></a><span class="lineno"> 872</span>  <span class="keyword">false</span></div>
|
|
943
943
|
<div class="line"><a name="l00873"></a><span class="lineno"> 873</span> );</div>
|
|
944
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> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#
|
|
946
|
-
<div class="line"><a name="l00876"></a><span class="lineno"> 876</span>  <span class="stringliteral">"
|
|
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="keyword">
|
|
945
|
+
<div class="line"><a name="l00875"></a><span class="lineno"> 875</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>
|
|
946
|
+
<div class="line"><a name="l00876"></a><span class="lineno"> 876</span>  <span class="stringliteral">"loop-analysis"</span>,</div>
|
|
947
|
+
<div class="line"><a name="l00877"></a><span class="lineno"> 877</span>  <span class="stringliteral">"Analyze every func and get loop info and loop bounds."</span>,</div>
|
|
948
|
+
<div class="line"><a name="l00878"></a><span class="lineno"> 878</span>  <span class="keyword">true</span></div>
|
|
949
949
|
<div class="line"><a name="l00879"></a><span class="lineno"> 879</span> );</div>
|
|
950
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> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<
|
|
952
|
-
<div class="line"><a name="l00882"></a><span class="lineno"> 882</span>  <span class="stringliteral">"loop-
|
|
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> 
|
|
951
|
+
<div class="line"><a name="l00881"></a><span class="lineno"> 881</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>
|
|
952
|
+
<div class="line"><a name="l00882"></a><span class="lineno"> 882</span>  <span class="stringliteral">"loop-bound"</span>,</div>
|
|
953
|
+
<div class="line"><a name="l00883"></a><span class="lineno"> 883</span>  <span class="stringliteral">"Maximum number of loop"</span>,</div>
|
|
954
|
+
<div class="line"><a name="l00884"></a><span class="lineno"> 884</span>  1</div>
|
|
955
955
|
<div class="line"><a name="l00885"></a><span class="lineno"> 885</span> );</div>
|
|
956
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> 
|
|
958
|
-
<div class="line"><a name="l00888"></a><span class="lineno"> 888</span>  <span class="stringliteral">"loop-bound"</span>,</div>
|
|
959
|
-
<div class="line"><a name="l00889"></a><span class="lineno"> 889</span>  <span class="stringliteral">"Maximum number of loop"</span>,</div>
|
|
960
|
-
<div class="line"><a name="l00890"></a><span class="lineno"> 890</span>  1</div>
|
|
961
|
-
<div class="line"><a name="l00891"></a><span class="lineno"> 891</span> );</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> } <span class="comment">// namespace SVF.</span></div>
|
|
957
|
+
<div class="line"><a name="l00887"></a><span class="lineno"> 887</span> } <span class="comment">// namespace SVF.</span></div>
|
|
964
958
|
</div><!-- fragment --></div><!-- contents -->
|
|
965
959
|
<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
960
|
<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>
|
|
967
|
-
<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#
|
|
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#l00264">Options.h:264</a></div></div>
|
|
968
962
|
<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>
|
|
969
963
|
<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>
|
|
970
964
|
<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>
|
|
@@ -976,7 +970,7 @@ $(function() {
|
|
|
976
970
|
<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>
|
|
977
971
|
<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>
|
|
978
972
|
<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>
|
|
979
|
-
<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#
|
|
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#l00252">Options.h:252</a></div></div>
|
|
980
974
|
<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>
|
|
981
975
|
<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>
|
|
982
976
|
<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>
|
|
@@ -984,22 +978,21 @@ $(function() {
|
|
|
984
978
|
<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>
|
|
985
979
|
<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>
|
|
986
980
|
<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>
|
|
987
|
-
<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#
|
|
988
|
-
<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#
|
|
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#l00269">Options.h:269</a></div></div>
|
|
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#l00255">Options.h:255</a></div></div>
|
|
989
983
|
<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>
|
|
990
|
-
<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#
|
|
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#l00272">Options.h:272</a></div></div>
|
|
991
985
|
<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>
|
|
992
986
|
<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>
|
|
993
987
|
<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>
|
|
994
988
|
<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>
|
|
995
989
|
<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>
|
|
996
|
-
<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#
|
|
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#l00262">Options.h:262</a></div></div>
|
|
997
991
|
<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>
|
|
998
992
|
<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>
|
|
999
993
|
<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
994
|
<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
995
|
<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
996
|
<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
997
|
<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
998
|
<div class="ttc" id="aCommandLine_8h_html"><div class="ttname"><a href="CommandLine_8h.html">CommandLine.h</a></div></div>
|
|
@@ -1008,13 +1001,12 @@ $(function() {
|
|
|
1008
1001
|
<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
1002
|
<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
1003
|
<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
1004
|
<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
1005
|
<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
1006
|
<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>
|
|
1015
1007
|
<div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
|
|
1016
1008
|
<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>
|
|
1017
|
-
<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#
|
|
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#l00273">Options.h:273</a></div></div>
|
|
1018
1010
|
<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>
|
|
1019
1011
|
<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>
|
|
1020
1012
|
<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>
|
|
@@ -1049,7 +1041,7 @@ $(function() {
|
|
|
1049
1041
|
<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>
|
|
1050
1042
|
<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>
|
|
1051
1043
|
<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>
|
|
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#
|
|
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#l00263">Options.h:263</a></div></div>
|
|
1053
1045
|
<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>
|
|
1054
1046
|
<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>
|
|
1055
1047
|
<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>
|
|
@@ -1069,10 +1061,10 @@ $(function() {
|
|
|
1069
1061
|
<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>
|
|
1070
1062
|
<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>
|
|
1071
1063
|
<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>
|
|
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#
|
|
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#
|
|
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#l00258">Options.h:258</a></div></div>
|
|
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#l00265">Options.h:265</a></div></div>
|
|
1074
1066
|
<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>
|
|
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#
|
|
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#l00251">Options.h:251</a></div></div>
|
|
1076
1068
|
<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>
|
|
1077
1069
|
<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>
|
|
1078
1070
|
<div class="ttc" id="aclassOptionMap_html"><div class="ttname"><a href="classOptionMap.html">OptionMap< enum PTAStat::ClockType ></a></div></div>
|
|
@@ -1083,13 +1075,13 @@ $(function() {
|
|
|
1083
1075
|
<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>
|
|
1084
1076
|
<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>
|
|
1085
1077
|
<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>
|
|
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#
|
|
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#l00266">Options.h:266</a></div></div>
|
|
1087
1079
|
<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>
|
|
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#
|
|
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#l00267">Options.h:267</a></div></div>
|
|
1089
1081
|
<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>
|
|
1090
1082
|
<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>
|
|
1091
1083
|
<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>
|
|
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#
|
|
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#l00253">Options.h:253</a></div></div>
|
|
1093
1085
|
<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>
|
|
1094
1086
|
<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>
|
|
1095
1087
|
<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>
|
|
@@ -1100,19 +1092,19 @@ $(function() {
|
|
|
1100
1092
|
<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>
|
|
1101
1093
|
<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>
|
|
1102
1094
|
<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>
|
|
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#
|
|
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#l00261">Options.h:261</a></div></div>
|
|
1104
1096
|
<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>
|
|
1105
1097
|
<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>
|
|
1106
1098
|
<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>
|
|
1107
1099
|
<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>
|
|
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#
|
|
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#l00254">Options.h:254</a></div></div>
|
|
1109
1101
|
<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>
|
|
1110
1102
|
<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>
|
|
1111
1103
|
<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>
|
|
1112
1104
|
<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>
|
|
1113
1105
|
<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>
|
|
1114
1106
|
<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>
|
|
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#
|
|
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#l00268">Options.h:268</a></div></div>
|
|
1116
1108
|
<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>
|
|
1117
1109
|
<!-- start footer part -->
|
|
1118
1110
|
<hr class="footer"/><address class="footer"><small>
|