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
|
@@ -294,38 +294,37 @@ $(function() {
|
|
|
294
294
|
<div class="line"><a name="l00248"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140"> 248</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140">VtableInSVFIR</a>;</div>
|
|
295
295
|
<div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  </div>
|
|
296
296
|
<div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  <span class="comment">// WPAPass.cpp</span></div>
|
|
297
|
-
<div class="line"><a name="l00251"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
298
|
-
<div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
299
|
-
<div class="line"><a name="l00253"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
300
|
-
<div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
301
|
-
<div class="line"><a name="l00255"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
302
|
-
<div class="line"><a name="l00256"></a><span class="lineno"
|
|
303
|
-
<div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  </div>
|
|
304
|
-
<div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  <span class="
|
|
305
|
-
<div class="line"><a name="l00259"></a><span class="lineno"
|
|
306
|
-
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  </div>
|
|
307
|
-
<div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  <span class="
|
|
308
|
-
<div class="line"><a name="l00262"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
309
|
-
<div class="line"><a name="l00263"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
310
|
-
<div class="line"><a name="l00264"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
311
|
-
<div class="line"><a name="l00265"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
312
|
-
<div class="line"><a name="l00266"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
313
|
-
<div class="line"><a name="l00267"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
314
|
-
<div class="line"><a name="l00268"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
315
|
-
<div class="line"><a name="l00269"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
316
|
-
<div class="line"><a name="l00270"></a><span class="lineno"
|
|
317
|
-
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span>  </div>
|
|
318
|
-
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  <span class="
|
|
319
|
-
<div class="line"><a name="l00273"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
320
|
-
<div class="line"><a name="l00274"></a><span class="lineno"
|
|
321
|
-
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span> }
|
|
322
|
-
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span> 
|
|
323
|
-
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span> 
|
|
324
|
-
<div class="line"><a name="l00278"></a><span class="lineno"> 278</span> <span class="preprocessor">#endif // ifdef OPTIONS_H_</span></div>
|
|
297
|
+
<div class="line"><a name="l00251"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f"> 251</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">AnderSVFG</a>;</div>
|
|
298
|
+
<div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b"> 252</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SABERFULLSVFG</a>;</div>
|
|
299
|
+
<div class="line"><a name="l00253"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671"> 253</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">PrintAliases</a>;</div>
|
|
300
|
+
<div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd"> 254</a></span>  <span class="keyword">static</span> <a class="code" href="classOptionMultiple.html">OptionMultiple<PointerAnalysis::PTATY></a> <a class="code" href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd">PASelected</a>;</div>
|
|
301
|
+
<div class="line"><a name="l00255"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a"> 255</a></span>  <span class="keyword">static</span> <a class="code" href="classOptionMultiple.html">OptionMultiple<WPAPass::AliasCheckRule></a> <a class="code" href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a">AliasRule</a>;</div>
|
|
302
|
+
<div class="line"><a name="l00256"></a><span class="lineno"> 256</span>  </div>
|
|
303
|
+
<div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  <span class="comment">// DOTGraphTraits</span></div>
|
|
304
|
+
<div class="line"><a name="l00258"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3"> 258</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">ShowHiddenNode</a>;</div>
|
|
305
|
+
<div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  </div>
|
|
306
|
+
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  <span class="comment">// CFL option</span></div>
|
|
307
|
+
<div class="line"><a name="l00261"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f"> 261</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f">GrammarFilename</a>;</div>
|
|
308
|
+
<div class="line"><a name="l00262"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac"> 262</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">CFLGraph</a>;</div>
|
|
309
|
+
<div class="line"><a name="l00263"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f"> 263</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">PrintCFL</a>;</div>
|
|
310
|
+
<div class="line"><a name="l00264"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031"> 264</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031">FlexSymMap</a>;</div>
|
|
311
|
+
<div class="line"><a name="l00265"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26"> 265</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">PEGTransfer</a>;</div>
|
|
312
|
+
<div class="line"><a name="l00266"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516"> 266</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">CFLSVFG</a>;</div>
|
|
313
|
+
<div class="line"><a name="l00267"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c"> 267</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">POCRAlias</a>;</div>
|
|
314
|
+
<div class="line"><a name="l00268"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e"> 268</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e">POCRHybrid</a>;</div>
|
|
315
|
+
<div class="line"><a name="l00269"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994"> 269</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994">Customized</a>;</div>
|
|
316
|
+
<div class="line"><a name="l00270"></a><span class="lineno"> 270</span>  </div>
|
|
317
|
+
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span>  <span class="comment">// Loop Analysis</span></div>
|
|
318
|
+
<div class="line"><a name="l00272"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c"> 272</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">LoopAnalysis</a>;</div>
|
|
319
|
+
<div class="line"><a name="l00273"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e"> 273</a></span>  <span class="keyword">static</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">LoopBound</a>;</div>
|
|
320
|
+
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span> };</div>
|
|
321
|
+
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span> } <span class="comment">// namespace SVF</span></div>
|
|
322
|
+
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  </div>
|
|
323
|
+
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span> <span class="preprocessor">#endif // ifdef OPTIONS_H_</span></div>
|
|
325
324
|
</div><!-- fragment --></div><!-- contents -->
|
|
326
325
|
<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>
|
|
327
326
|
<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>
|
|
328
|
-
<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#
|
|
327
|
+
<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>
|
|
329
328
|
<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>
|
|
330
329
|
<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>
|
|
331
330
|
<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>
|
|
@@ -337,22 +336,22 @@ $(function() {
|
|
|
337
336
|
<div class="ttc" id="aclassSVF_1_1Options_html_a944aee270c78d42c998691da283165f1"><div class="ttname"><a href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1">SVF::Options::PrintValidRes</a></div><div class="ttdeci">static const Option< bool > PrintValidRes</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00187">Options.h:187</a></div></div>
|
|
338
337
|
<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>
|
|
339
338
|
<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>
|
|
340
|
-
<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#
|
|
339
|
+
<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>
|
|
341
340
|
<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>
|
|
342
341
|
<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>
|
|
343
342
|
<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>
|
|
344
343
|
<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>
|
|
345
344
|
<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>
|
|
346
345
|
<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>
|
|
347
|
-
<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#
|
|
346
|
+
<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>
|
|
348
347
|
<div class="ttc" id="aPointerAnalysisImpl_8h_html"><div class="ttname"><a href="PointerAnalysisImpl_8h.html">PointerAnalysisImpl.h</a></div></div>
|
|
349
|
-
<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#
|
|
350
|
-
<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#
|
|
348
|
+
<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>
|
|
349
|
+
<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>
|
|
351
350
|
<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>
|
|
352
351
|
<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>
|
|
353
352
|
<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>
|
|
354
353
|
<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>
|
|
355
|
-
<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#
|
|
354
|
+
<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>
|
|
356
355
|
<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>
|
|
357
356
|
<div class="ttc" id="aPTAStat_8h_html"><div class="ttname"><a href="PTAStat_8h.html">PTAStat.h</a></div></div>
|
|
358
357
|
<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>
|
|
@@ -360,7 +359,6 @@ $(function() {
|
|
|
360
359
|
<div class="ttc" id="aclassSVF_1_1Options_html"><div class="ttname"><a href="classSVF_1_1Options.html">SVF::Options</a></div><div class="ttdoc">Carries around command line options.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00019">Options.h:19</a></div></div>
|
|
361
360
|
<div class="ttc" id="aclassSVF_1_1Options_html_ae7ccfb3d1308e205e5014849dcc43d9a"><div class="ttname"><a href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options::DumpICFG</a></div><div class="ttdeci">static const Option< bool > DumpICFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00136">Options.h:136</a></div></div>
|
|
362
361
|
<div class="ttc" id="aclassSVF_1_1Options_html_a6ebad0decdd6e93c661b72d80f5dbcef"><div class="ttname"><a href="classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef">SVF::Options::FsTimeLimit</a></div><div class="ttdeci">static const Option< u32_t > FsTimeLimit</div><div class="ttdoc">Time limit for the main phase (i.e., the actual solving) of FS analyses.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00072">Options.h:72</a></div></div>
|
|
363
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a2ed1e6f7911ae5cfbf79213e4d07531e"><div class="ttname"><a href="classSVF_1_1Options.html#a2ed1e6f7911ae5cfbf79213e4d07531e">SVF::Options::ExtAPIInput</a></div><div class="ttdeci">static const Option< std::string > ExtAPIInput</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00251">Options.h:251</a></div></div>
|
|
364
362
|
<div class="ttc" id="aclassSVF_1_1Options_html_a782d52d7e8d423c2bef27b34d518ffd9"><div class="ttname"><a href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9">SVF::Options::WPANum</a></div><div class="ttdeci">static const Option< bool > WPANum</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00103">Options.h:103</a></div></div>
|
|
365
363
|
<div class="ttc" id="aclassSVF_1_1Options_html_a52c06ea1c5dd347079f192f0cba3dcd3"><div class="ttname"><a href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3">SVF::Options::SymTabPrint</a></div><div class="ttdeci">static const Option< bool > SymTabPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00221">Options.h:221</a></div></div>
|
|
366
364
|
<div class="ttc" id="aCommandLine_8h_html"><div class="ttname"><a href="CommandLine_8h.html">CommandLine.h</a></div></div>
|
|
@@ -373,7 +371,7 @@ $(function() {
|
|
|
373
371
|
<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>
|
|
374
372
|
<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>
|
|
375
373
|
<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>
|
|
376
|
-
<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#
|
|
374
|
+
<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>
|
|
377
375
|
<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>
|
|
378
376
|
<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>
|
|
379
377
|
<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>
|
|
@@ -402,7 +400,7 @@ $(function() {
|
|
|
402
400
|
<div class="ttc" id="aclassSVF_1_1Options_html_a9e5f361015b558d3d4e7e033868f9c83"><div class="ttname"><a href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83">SVF::Options::PrintCGGraph</a></div><div class="ttdeci">static const Option< bool > PrintCGGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00241">Options.h:241</a></div></div>
|
|
403
401
|
<div class="ttc" id="aclassSVF_1_1Options_html_ae60822a71ee1cd389413d98dfb35e302"><div class="ttname"><a href="classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302">SVF::Options::ContextInsensitive</a></div><div class="ttdeci">static const Option< bool > ContextInsensitive</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00117">Options.h:117</a></div></div>
|
|
404
402
|
<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>
|
|
405
|
-
<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#
|
|
403
|
+
<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>
|
|
406
404
|
<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>
|
|
407
405
|
<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>
|
|
408
406
|
<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>
|
|
@@ -420,10 +418,10 @@ $(function() {
|
|
|
420
418
|
<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>
|
|
421
419
|
<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>
|
|
422
420
|
<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>
|
|
423
|
-
<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#
|
|
424
|
-
<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#
|
|
421
|
+
<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>
|
|
422
|
+
<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>
|
|
425
423
|
<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>
|
|
426
|
-
<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#
|
|
424
|
+
<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>
|
|
427
425
|
<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>
|
|
428
426
|
<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>
|
|
429
427
|
<div class="ttc" id="aclassOptionMap_html"><div class="ttname"><a href="classOptionMap.html">OptionMap< enum PTAStat::ClockType ></a></div></div>
|
|
@@ -433,13 +431,13 @@ $(function() {
|
|
|
433
431
|
<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>
|
|
434
432
|
<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>
|
|
435
433
|
<div class="ttc" id="aNodeIDAllocator_8h_html"><div class="ttname"><a href="NodeIDAllocator_8h.html">NodeIDAllocator.h</a></div></div>
|
|
436
|
-
<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#
|
|
434
|
+
<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>
|
|
437
435
|
<div class="ttc" id="aMemSSA_8h_html"><div class="ttname"><a href="MemSSA_8h.html">MemSSA.h</a></div></div>
|
|
438
|
-
<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#
|
|
436
|
+
<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>
|
|
439
437
|
<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>
|
|
440
438
|
<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>
|
|
441
439
|
<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>
|
|
442
|
-
<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#
|
|
440
|
+
<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>
|
|
443
441
|
<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>
|
|
444
442
|
<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>
|
|
445
443
|
<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>
|
|
@@ -450,20 +448,20 @@ $(function() {
|
|
|
450
448
|
<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>
|
|
451
449
|
<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>
|
|
452
450
|
<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>
|
|
453
|
-
<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#
|
|
451
|
+
<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>
|
|
454
452
|
<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>
|
|
455
453
|
<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>
|
|
456
454
|
<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>
|
|
457
455
|
<div class="ttc" id="aclassSVF_1_1Options_html_a198e0d500ae635c709c406bbec604050"><div class="ttname"><a href="classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050">SVF::Options::LocMemModel</a></div><div class="ttdeci">static const Option< bool > LocMemModel</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00217">Options.h:217</a></div></div>
|
|
458
456
|
<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>
|
|
459
|
-
<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#
|
|
457
|
+
<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>
|
|
460
458
|
<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>
|
|
461
459
|
<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>
|
|
462
460
|
<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>
|
|
463
461
|
<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>
|
|
464
462
|
<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>
|
|
465
463
|
<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>
|
|
466
|
-
<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#
|
|
464
|
+
<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>
|
|
467
465
|
<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>
|
|
468
466
|
<!-- start footer part -->
|
|
469
467
|
<hr class="footer"/><address class="footer"><small>
|
|
@@ -1287,7 +1287,7 @@ $(function() {
|
|
|
1287
1287
|
<div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html">SVF::FunExitICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00324">ICFGNode.h:324</a></div></div>
|
|
1288
1288
|
<div class="ttc" id="aclassSVF_1_1LoadMU_html"><div class="ttname"><a href="classSVF_1_1LoadMU.html">SVF::LoadMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00165">MSSAMuChi.h:165</a></div></div>
|
|
1289
1289
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4550f2fb815882edfb666ac818792064"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(const std::string &msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00099">SVFUtil.cpp:99</a></div></div>
|
|
1290
|
-
<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#
|
|
1290
|
+
<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>
|
|
1291
1291
|
<div class="ttc" id="aclassSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6">SVF::VFG::VFGK</a></div><div class="ttdeci">VFGK</div><div class="ttdoc">VFG kind.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00055">VFG.h:55</a></div></div>
|
|
1292
1292
|
<div class="ttc" id="aclassSVF_1_1SVFG_html_a402dfe93b8692be453c4f76d048b690a"><div class="ttname"><a href="classSVF_1_1SVFG.html#a402dfe93b8692be453c4f76d048b690a">SVF::SVFG::connectFOutAndAOut</a></div><div class="ttdeci">virtual void connectFOutAndAOut(const FormalOUTSVFGNode *formalOut, const ActualOUTSVFGNode *actualOut, CallSiteID csId, SVFGEdgeSetTy &edges)</div><div class="ttdoc">Connect formal-out and actual-out.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00299">SVFG.h:299</a></div></div>
|
|
1293
1293
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_ac213302cf5c7cdf3b66f7b18649d0fbc"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph::iterator</a></div><div class="ttdeci">IDToNodeMapTy::iterator iterator</div><div class="ttdoc">Node Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00359">GenericGraph.h:359</a></div></div>
|
|
@@ -333,41 +333,41 @@ $(function() {
|
|
|
333
333
|
<div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  </div>
|
|
334
334
|
<div class="line"><a name="l00309"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400"> 309</a></span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">isExtCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun)</div>
|
|
335
335
|
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span> {</div>
|
|
336
|
-
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  <span class="keywordflow">return</span> fun && <a class="code" href="classSVF_1_1ExtAPI.html#
|
|
336
|
+
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  <span class="keywordflow">return</span> fun && <a class="code" href="classSVF_1_1ExtAPI.html#a58a764c27354d5f9b70995d30de65f1d">ExtAPI::getExtAPI</a>()-><a class="code" href="classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2">is_ext</a>(fun);</div>
|
|
337
337
|
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span> }</div>
|
|
338
338
|
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  </div>
|
|
339
339
|
<div class="line"><a name="l00314"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a688bd5e1bf36b3e75bfcea9388871dc4"> 314</a></span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a688bd5e1bf36b3e75bfcea9388871dc4">isMemcpyExtFun</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun)</div>
|
|
340
340
|
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span> {</div>
|
|
341
|
-
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  <span class="keywordflow">return</span> fun && <a class="code" href="classSVF_1_1ExtAPI.html#
|
|
341
|
+
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  <span class="keywordflow">return</span> fun && <a class="code" href="classSVF_1_1ExtAPI.html#a58a764c27354d5f9b70995d30de65f1d">ExtAPI::getExtAPI</a>()-><a class="code" href="classSVF_1_1ExtAPI.html#aadc8f2e0ff777e3f611a7d741def0742">is_memcpy</a>(fun);</div>
|
|
342
342
|
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span> }</div>
|
|
343
343
|
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  </div>
|
|
344
344
|
<div class="line"><a name="l00319"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a54098ea73555caa682287f8e3c9e8fcb"> 319</a></span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a54098ea73555caa682287f8e3c9e8fcb">isMemsetExtFun</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun)</div>
|
|
345
345
|
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span> {</div>
|
|
346
|
-
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  <span class="keywordflow">return</span> fun && <a class="code" href="classSVF_1_1ExtAPI.html#
|
|
346
|
+
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  <span class="keywordflow">return</span> fun && <a class="code" href="classSVF_1_1ExtAPI.html#a58a764c27354d5f9b70995d30de65f1d">ExtAPI::getExtAPI</a>()-><a class="code" href="classSVF_1_1ExtAPI.html#a9f6e5cd617ab57ef9da0bab6c3c9cdc8">is_memset</a>(fun);</div>
|
|
347
347
|
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span> }</div>
|
|
348
348
|
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  </div>
|
|
349
349
|
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  </div>
|
|
350
350
|
<div class="line"><a name="l00326"></a><span class="lineno"> 326</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">isHeapAllocExtFunViaRet</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun)</div>
|
|
351
351
|
<div class="line"><a name="l00328"></a><span class="lineno"> 328</span> {</div>
|
|
352
|
-
<div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  <span class="keywordflow">return</span> fun && (<a class="code" href="classSVF_1_1ExtAPI.html#
|
|
353
|
-
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  || <a class="code" href="classSVF_1_1ExtAPI.html#
|
|
352
|
+
<div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  <span class="keywordflow">return</span> fun && (<a class="code" href="classSVF_1_1ExtAPI.html#a58a764c27354d5f9b70995d30de65f1d">ExtAPI::getExtAPI</a>()-><a class="code" href="classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d">is_alloc</a>(fun)</div>
|
|
353
|
+
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  || <a class="code" href="classSVF_1_1ExtAPI.html#a58a764c27354d5f9b70995d30de65f1d">ExtAPI::getExtAPI</a>()-><a class="code" href="classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4">is_realloc</a>(fun));</div>
|
|
354
354
|
<div class="line"><a name="l00331"></a><span class="lineno"> 331</span> }</div>
|
|
355
355
|
<div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  </div>
|
|
356
356
|
<div class="line"><a name="l00333"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245"> 333</a></span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245">isHeapAllocExtFunViaArg</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun)</div>
|
|
357
357
|
<div class="line"><a name="l00334"></a><span class="lineno"> 334</span> {</div>
|
|
358
|
-
<div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  <span class="keywordflow">return</span> fun && <a class="code" href="classSVF_1_1ExtAPI.html#
|
|
358
|
+
<div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  <span class="keywordflow">return</span> fun && <a class="code" href="classSVF_1_1ExtAPI.html#a58a764c27354d5f9b70995d30de65f1d">ExtAPI::getExtAPI</a>()-><a class="code" href="classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477">is_arg_alloc</a>(fun);</div>
|
|
359
359
|
<div class="line"><a name="l00336"></a><span class="lineno"> 336</span> }</div>
|
|
360
360
|
<div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  </div>
|
|
361
361
|
<div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  </div>
|
|
362
362
|
<div class="line"><a name="l00340"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a73215bac62f1340a58f6c7f2ba9b0e7b"> 340</a></span> <span class="keyword">inline</span> <span class="keywordtype">int</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a73215bac62f1340a58f6c7f2ba9b0e7b">getHeapAllocHoldingArgPosition</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun)</div>
|
|
363
363
|
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span> {</div>
|
|
364
|
-
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI.html#
|
|
364
|
+
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI.html#a58a764c27354d5f9b70995d30de65f1d">ExtAPI::getExtAPI</a>()-><a class="code" href="classSVF_1_1ExtAPI.html#a68939c789d0530151a4e79e79317531a">get_alloc_arg_pos</a>(fun);</div>
|
|
365
365
|
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span> }</div>
|
|
366
366
|
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span>  </div>
|
|
367
367
|
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  </div>
|
|
368
368
|
<div class="line"><a name="l00347"></a><span class="lineno"> 347</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">isReallocExtFun</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun)</div>
|
|
369
369
|
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span> {</div>
|
|
370
|
-
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  <span class="keywordflow">return</span> fun && (<a class="code" href="classSVF_1_1ExtAPI.html#
|
|
370
|
+
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  <span class="keywordflow">return</span> fun && (<a class="code" href="classSVF_1_1ExtAPI.html#a58a764c27354d5f9b70995d30de65f1d">ExtAPI::getExtAPI</a>()-><a class="code" href="classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4">is_realloc</a>(fun));</div>
|
|
371
371
|
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span> }</div>
|
|
372
372
|
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  </div>
|
|
373
373
|
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  </div>
|
|
@@ -697,7 +697,6 @@ $(function() {
|
|
|
697
697
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a14a4c5124f2fd03ca3d898e2acd54160"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a14a4c5124f2fd03ca3d898e2acd54160">SVF::SVFUtil::hclustMethodToString</a></div><div class="ttdeci">std::string hclustMethodToString(hclust_fast_methods method)</div><div class="ttdoc">Returns a string representation of a hclust method.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00260">SVFUtil.cpp:260</a></div></div>
|
|
698
698
|
<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a68939c789d0530151a4e79e79317531a"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a68939c789d0530151a4e79e79317531a">SVF::ExtAPI::get_alloc_arg_pos</a></div><div class="ttdeci">s32_t get_alloc_arg_pos(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00169">ExtAPI.cpp:169</a></div></div>
|
|
699
699
|
<div class="ttc" id="astructSVF_1_1SVFUtil_1_1make__void_html_ac2eb79d0fe9a0f94eb1992600ba91e36"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36">SVF::SVFUtil::make_void::type</a></div><div class="ttdeci">void type</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00629">SVFUtil.h:629</a></div></div>
|
|
700
|
-
<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>
|
|
701
700
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a08e67d68b1da116b2c51cb60bdb6dae2"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a08e67d68b1da116b2c51cb60bdb6dae2">SVF::SVFUtil::is_set_v</a></div><div class="ttdeci">constexpr bool is_set_v</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00659">SVFUtil.h:659</a></div></div>
|
|
702
701
|
<div class="ttc" id="afastcluster_8h_html"><div class="ttname"><a href="fastcluster_8h.html">fastcluster.h</a></div></div>
|
|
703
702
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a97c74c642ad43d955ac8a3f3ad8907b4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">SVF::SVFUtil::isReallocExtFun</a></div><div class="ttdeci">bool isReallocExtFun(const SVFFunction *fun)</div><div class="ttdoc">Return true if the call is a heap reallocator.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00348">SVFUtil.h:348</a></div></div>
|
|
@@ -727,6 +726,7 @@ $(function() {
|
|
|
727
726
|
<div class="ttc" id="aSVFModule_8h_html"><div class="ttname"><a href="SVFModule_8h.html">SVFModule.h</a></div></div>
|
|
728
727
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aec7ee60be22e8f9397db108131696d57"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">SVF::SVFUtil::isProgExitFunction</a></div><div class="ttdeci">bool isProgExitFunction(const SVFFunction *fun)</div><div class="ttdoc">Return true if this is a program exit function call.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00387">SVFUtil.h:387</a></div></div>
|
|
729
728
|
<div class="ttc" id="aclassSVF_1_1SVFModule_html_a5486697889c6cca4f9f426650defc255"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">SVF::SVFModule::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00133">SVFModule.h:133</a></div></div>
|
|
729
|
+
<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a58a764c27354d5f9b70995d30de65f1d"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a58a764c27354d5f9b70995d30de65f1d">SVF::ExtAPI::getExtAPI</a></div><div class="ttdeci">static ExtAPI * getExtAPI()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00038">ExtAPI.cpp:38</a></div></div>
|
|
730
730
|
<div class="ttc" id="aclassSVF_1_1SVFModule_html_afcf2978f32e15127fb093405dc17d7f1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">SVF::SVFModule::const_iterator</a></div><div class="ttdeci">FunctionSetType::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00054">SVFModule.h:54</a></div></div>
|
|
731
731
|
<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a158e7da51d45b746e067dc40e912c477"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477">SVF::ExtAPI::is_arg_alloc</a></div><div class="ttdeci">bool is_arg_alloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00163">ExtAPI.cpp:163</a></div></div>
|
|
732
732
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_abb2bbf6e0dc5adae2140a519259e6f17"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#abb2bbf6e0dc5adae2140a519259e6f17">SVF::SVFUtil::isIntrinsicInst</a></div><div class="ttdeci">bool isIntrinsicInst(const SVFInstruction *inst)</div><div class="ttdoc">Return true if it is an llvm intrinsic instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00247">SVFUtil.cpp:247</a></div></div>
|
|
@@ -365,7 +365,7 @@ $(function() {
|
|
|
365
365
|
<div class="ttc" id="aclassSVF_1_1SVFG_html"><div class="ttname"><a href="classSVF_1_1SVFG.html">SVF::SVFG</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00065">SVFG.h:65</a></div></div>
|
|
366
366
|
<div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_ac12d813bcba4ec70de5e9048bbe16afc"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc">SVF::SrcSnkDDA::analyze</a></div><div class="ttdeci">virtual void analyze(SVFModule *module)</div><div class="ttdoc">Start analysis here.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8cpp_source.html#l00060">SrcSnkDDA.cpp:60</a></div></div>
|
|
367
367
|
<div class="ttc" id="aclassSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00097">GenericGraph.h:97</a></div></div>
|
|
368
|
-
<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#
|
|
368
|
+
<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>
|
|
369
369
|
<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>
|
|
370
370
|
<div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_afc75e55af839ef535d80555fd422342c"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#afc75e55af839ef535d80555fd422342c">SVF::SrcSnkDDA::isInAWrapper</a></div><div class="ttdeci">bool isInAWrapper(const SVFGNode *src, CallSiteSet &csIdSet)</div><div class="ttdoc">Identify allocation wrappers.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8cpp_source.html#l00117">SrcSnkDDA.cpp:117</a></div></div>
|
|
371
371
|
<div class="ttc" id="aclassSVF_1_1ProgSlice_html"><div class="ttname"><a href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00049">ProgSlice.h:49</a></div></div>
|
|
@@ -302,7 +302,7 @@ $(function() {
|
|
|
302
302
|
<div class="ttc" id="aclassSVF_1_1WPAPass_html_a7ea8006b7e9237a470dfd34ad633826b"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a7ea8006b7e9237a470dfd34ad633826b">SVF::WPAPass::~WPAPass</a></div><div class="ttdeci">virtual ~WPAPass()</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8cpp_source.html#l00054">WPAPass.cpp:54</a></div></div>
|
|
303
303
|
<div class="ttc" id="aPointerAnalysisImpl_8h_html"><div class="ttname"><a href="PointerAnalysisImpl_8h.html">PointerAnalysisImpl.h</a></div></div>
|
|
304
304
|
<div class="ttc" id="aclassSVF_1_1WPAPass_html_ac0f6d1221ee66ac17d0b201d73d7e28a"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">SVF::WPAPass::_svfg</a></div><div class="ttdeci">SVFG * _svfg</div><div class="ttdoc">svfg generated through -ander pointer analysis</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00118">WPAPass.h:118</a></div></div>
|
|
305
|
-
<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#
|
|
305
|
+
<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>
|
|
306
306
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00058">PointerAnalysis.h:58</a></div></div>
|
|
307
307
|
<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>
|
|
308
308
|
<div class="ttc" id="aclassSVF_1_1WPAPass_html_a2e9bdaf8789eed5af34cc70e7eb0ba01"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a2e9bdaf8789eed5af34cc70e7eb0ba01">SVF::WPAPass::getModRefInfo</a></div><div class="ttdeci">virtual ModRefInfo getModRefInfo(const CallSite callInst)</div><div class="ttdoc">Interface of mod-ref analysis to determine whether a CallSite instruction can mod or ref any memory l...</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8cpp_source.html#l00221">WPAPass.cpp:221</a></div></div>
|
|
@@ -353,7 +353,7 @@ $(function() {
|
|
|
353
353
|
<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01102">SVFValue.h:1102</a></div></div>
|
|
354
354
|
<div class="ttc" id="aclassSVF_1_1SVFG_html_a49a910bc4ea6e98d1584e74a018badc9"><div class="ttname"><a href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG::getMSSA</a></div><div class="ttdeci">MemSSA * getMSSA() const</div><div class="ttdoc">Get SVFG memory SSA.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00137">SVFG.h:137</a></div></div>
|
|
355
355
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_ac213302cf5c7cdf3b66f7b18649d0fbc"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph< SVFVar, SVFStmt >::iterator</a></div><div class="ttdeci">IDToNodeMapTy::iterator iterator</div><div class="ttdoc">Node Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00359">GenericGraph.h:359</a></div></div>
|
|
356
|
-
<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#
|
|
356
|
+
<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>
|
|
357
357
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85ad24ef5326c26db858c73432aa7e67a0a"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad24ef5326c26db858c73432aa7e67a0a">SVF::PointerAnalysis::Steensgaard_WPA</a></div><div class="ttdeci">@ Steensgaard_WPA</div><div class="ttdoc">Steensgaard PTA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00071">PointerAnalysis.h:71</a></div></div>
|
|
358
358
|
<div class="ttc" id="aclassSVF_1_1WPAPass_html_abb6e0c5cc5de312ee0285d1854550752"><div class="ttname"><a href="classSVF_1_1WPAPass.html#abb6e0c5cc5de312ee0285d1854550752">SVF::WPAPass::PrintAliasPairs</a></div><div class="ttdeci">virtual void PrintAliasPairs(PointerAnalysis *pta)</div><div class="ttdoc">Print all alias pairs.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8cpp_source.html#l00133">WPAPass.cpp:133</a></div></div>
|
|
359
359
|
<div class="ttc" id="aclassSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00047">ICFG.h:47</a></div></div>
|
|
@@ -365,9 +365,9 @@ $(function() {
|
|
|
365
365
|
<div class="ttc" id="aclassSVF_1_1AndersenSFR_html"><div class="ttname"><a href="classSVF_1_1AndersenSFR.html">SVF::AndersenSFR</a></div><div class="ttdef"><b>Definition:</b> <a href="AndersenPWC_8h_source.html#l00102">AndersenPWC.h:102</a></div></div>
|
|
366
366
|
<div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
|
|
367
367
|
<div class="ttc" id="aclassSVF_1_1WPAPass_html_a0b57d86a5305aefcd6c8ae4e328d3ab0"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a0b57d86a5305aefcd6c8ae4e328d3ab0">SVF::WPAPass::_pta</a></div><div class="ttdeci">PointerAnalysis * _pta</div><div class="ttdoc">pointer analysis to be executed.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00117">WPAPass.h:117</a></div></div>
|
|
368
|
-
<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#
|
|
368
|
+
<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>
|
|
369
369
|
<div class="ttc" id="aclassSVF_1_1VersionedFlowSensitive_html"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitive.html">SVF::VersionedFlowSensitive</a></div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitive_8h_source.html#l00032">VersionedFlowSensitive.h:32</a></div></div>
|
|
370
|
-
<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#
|
|
370
|
+
<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>
|
|
371
371
|
<div class="ttc" id="aclassSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>
|
|
372
372
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a240219c2dc4f5cc5f85445e18c79b83b"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">SVF::PointerAnalysis::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00201">PointerAnalysis.h:201</a></div></div>
|
|
373
373
|
<div class="ttc" id="aAndersenPWC_8h_html"><div class="ttname"><a href="AndersenPWC_8h.html">AndersenPWC.h</a></div></div>
|
|
@@ -1373,7 +1373,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1373
1373
|
<div class="ttc" id="aSVFType_8h_html_a7a295e02c56a93cf9206dd9d3b18dd17"><div class="ttname"><a href="SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17">DPAGBuild</a></div><div class="ttdeci">#define DPAGBuild</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00551">SVFType.h:551</a></div></div>
|
|
1374
1374
|
<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00571">SVFType.h:571</a></div></div>
|
|
1375
1375
|
<div class="ttc" id="aclassSVF_1_1CFLBase_html_aa807cf1b8605a463d6d68d5096f3e0e8"><div class="ttname"><a href="classSVF_1_1CFLBase.html#aa807cf1b8605a463d6d68d5096f3e0e8">SVF::CFLBase::numOfIteration</a></div><div class="ttdeci">static double numOfIteration</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00103">CFLBase.h:103</a></div></div>
|
|
1376
|
-
<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#
|
|
1376
|
+
<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>
|
|
1377
1377
|
<div class="ttc" id="aclassSVF_1_1CFLAlias_html_a25b38896aef06dad19532f7678291b37"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#a25b38896aef06dad19532f7678291b37">SVF::CFLAlias::onTheFlyCallGraphSolve</a></div><div class="ttdeci">virtual void onTheFlyCallGraphSolve(const CallSiteToFunPtrMap &callsites, CallEdgeMap &newEdges)</div><div class="ttdoc">On the fly call graph construction.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8cpp_source.html#l00041">CFLAlias.cpp:41</a></div></div>
|
|
1378
1378
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a19b96a872d9096037f20e25122e469ea"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">SVF::SVFUtil::isHeapAllocExtFunViaRet</a></div><div class="ttdeci">bool isHeapAllocExtFunViaRet(const SVFFunction *fun)</div><div class="ttdoc">Return true if the call is a heap allocator/reallocator.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00327">SVFUtil.h:327</a></div></div>
|
|
1379
1379
|
<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdeci">@ NoAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00587">SVFType.h:587</a></div></div>
|
|
@@ -1413,7 +1413,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1413
1413
|
<div class="ttc" id="aclassSVF_1_1CFLAlias_html_ab40891c44b83103fc240c1e7c7c60855"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#ab40891c44b83103fc240c1e7c7c60855">SVF::CFLAlias::alias</a></div><div class="ttdeci">virtual AliasResult alias(const SVFValue *v1, const SVFValue *v2)</div><div class="ttdoc">Interface exposed to users of our Alias analysis, given Value infos.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00065">CFLAlias.h:65</a></div></div>
|
|
1414
1414
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
|
|
1415
1415
|
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7aef5c42fbd8a62dd4a541cc0e8e8187"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">SVF::GrammarBase::Kind</a></div><div class="ttdeci">u32_t Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00039">CFGrammar.h:39</a></div></div>
|
|
1416
|
-
<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#
|
|
1416
|
+
<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>
|
|
1417
1417
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_adc7f5c71efb9cd1bec4f5ca9127654c3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#adc7f5c71efb9cd1bec4f5ca9127654c3">SVF::PointerAnalysis::pag</a></div><div class="ttdeci">static SVFIR * pag</div><div class="ttdoc">SVFIR.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00142">PointerAnalysis.h:142</a></div></div>
|
|
1418
1418
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00170">SVFIR.h:170</a></div></div>
|
|
1419
1419
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a2a1e8ce39bf8deace3c344d5f05fe6ac"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a2a1e8ce39bf8deace3c344d5f05fe6ac">SVF::SVFIR::getCallSiteArgsList</a></div><div class="ttdeci">const SVFVarList & getCallSiteArgsList(const CallICFGNode *cs) const</div><div class="ttdoc">Get callsite argument list.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00279">SVFIR.h:279</a></div></div>
|