svf-tools 1.0.620 → 1.0.621
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 +7 -2
- package/SVF-doxygen/html/html/CFLAlias_8h.html +4 -0
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +19 -10
- package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CFLBase_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CFLDataBuilder_8h.html +96 -0
- package/SVF-doxygen/html/html/CFLDataBuilder_8h_source.html +99 -0
- package/SVF-doxygen/html/html/CFLData_8h.html +106 -0
- package/SVF-doxygen/html/html/CFLData_8h_source.html +136 -0
- package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/CFLSolver_8h.html +4 -0
- package/SVF-doxygen/html/html/CFLSolver_8h_source.html +22 -16
- package/SVF-doxygen/html/html/CFLVF_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/GraphWriter_8h_source.html +2 -1
- package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Options_8cpp_source.html +4 -3
- package/SVF-doxygen/html/html/Options_8h_source.html +4 -3
- package/SVF-doxygen/html/html/annotated.html +357 -351
- package/SVF-doxygen/html/html/cfl_8cpp.html +1 -1
- package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +1 -0
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +27 -24
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +2 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLData-members.html +110 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLData.html +1126 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLDataBuilder-members.html +88 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLDataBuilder.html +380 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +48 -39
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GraphWriter.html +3 -2
- package/SVF-doxygen/html/html/classSVF_1_1HybridData-members.html +89 -0
- package/SVF-doxygen/html/html/classSVF_1_1HybridData.html +449 -0
- package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +45 -44
- package/SVF-doxygen/html/html/classSVF_1_1Options.html +28 -2
- package/SVF-doxygen/html/html/classSVF_1_1POCRAlias-members.html +281 -0
- package/SVF-doxygen/html/html/classSVF_1_1POCRAlias.html +828 -0
- package/SVF-doxygen/html/html/classSVF_1_1POCRAlias.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1POCRSolver-members.html +98 -0
- package/SVF-doxygen/html/html/classSVF_1_1POCRSolver.html +245 -0
- package/SVF-doxygen/html/html/classSVF_1_1POCRSolver.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +2 -1
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +1 -1
- package/SVF-doxygen/html/html/classes.html +110 -109
- package/SVF-doxygen/html/html/dir_ae8aa099e368efaa962140c6624142bc.html +4 -0
- package/SVF-doxygen/html/html/files.html +9 -7
- package/SVF-doxygen/html/html/functions.html +7 -1
- package/SVF-doxygen/html/html/functions_0x7e.html +18 -0
- package/SVF-doxygen/html/html/functions_a.html +38 -14
- package/SVF-doxygen/html/html/functions_b.html +9 -4
- package/SVF-doxygen/html/html/functions_c.html +59 -38
- package/SVF-doxygen/html/html/functions_d.html +7 -1
- package/SVF-doxygen/html/html/functions_e.html +5 -1
- package/SVF-doxygen/html/html/functions_func.html +35 -11
- package/SVF-doxygen/html/html/functions_func_0x7e.html +18 -0
- package/SVF-doxygen/html/html/functions_func_b.html +8 -3
- package/SVF-doxygen/html/html/functions_func_c.html +42 -27
- package/SVF-doxygen/html/html/functions_func_e.html +2 -1
- package/SVF-doxygen/html/html/functions_func_g.html +20 -7
- package/SVF-doxygen/html/html/functions_func_h.html +10 -3
- package/SVF-doxygen/html/html/functions_func_i.html +14 -10
- package/SVF-doxygen/html/html/functions_func_m.html +3 -2
- package/SVF-doxygen/html/html/functions_func_o.html +13 -11
- package/SVF-doxygen/html/html/functions_func_p.html +6 -3
- package/SVF-doxygen/html/html/functions_func_t.html +3 -0
- package/SVF-doxygen/html/html/functions_g.html +22 -9
- package/SVF-doxygen/html/html/functions_h.html +12 -5
- package/SVF-doxygen/html/html/functions_i.html +20 -11
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_m.html +2 -1
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +26 -24
- package/SVF-doxygen/html/html/functions_p.html +23 -14
- package/SVF-doxygen/html/html/functions_r.html +3 -5
- package/SVF-doxygen/html/html/functions_s.html +11 -10
- package/SVF-doxygen/html/html/functions_t.html +13 -4
- package/SVF-doxygen/html/html/functions_type_c.html +2 -1
- package/SVF-doxygen/html/html/functions_type_d.html +3 -0
- package/SVF-doxygen/html/html/functions_type_i.html +2 -1
- package/SVF-doxygen/html/html/functions_type_t.html +3 -0
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars.html +7 -1
- package/SVF-doxygen/html/html/functions_vars_c.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_d.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_e.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_i.html +4 -0
- package/SVF-doxygen/html/html/functions_vars_p.html +6 -0
- package/SVF-doxygen/html/html/functions_vars_s.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_t.html +3 -0
- package/SVF-doxygen/html/html/hierarchy.html +517 -511
- package/SVF-doxygen/html/html/namespaceSVF.html +29 -0
- package/SVF-doxygen/html/html/namespaceSVF_1_1DOT.html +3 -2
- package/SVF-doxygen/html/html/namespacemembers_l.html +3 -0
- package/SVF-doxygen/html/html/namespacemembers_type_l.html +3 -0
- package/SVF-doxygen/html/html/search/all_0.js +2 -1
- package/SVF-doxygen/html/html/search/all_1.js +8 -1
- package/SVF-doxygen/html/html/search/all_10.js +8 -5
- package/SVF-doxygen/html/html/search/all_11.js +3 -3
- package/SVF-doxygen/html/html/search/all_12.js +7 -6
- package/SVF-doxygen/html/html/search/all_13.js +7 -4
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_19.js +6 -0
- package/SVF-doxygen/html/html/search/all_2.js +3 -2
- package/SVF-doxygen/html/html/search/all_3.js +11 -6
- package/SVF-doxygen/html/html/search/all_4.js +2 -1
- package/SVF-doxygen/html/html/search/all_5.js +2 -1
- package/SVF-doxygen/html/html/search/all_7.js +5 -1
- package/SVF-doxygen/html/html/search/all_8.js +4 -2
- package/SVF-doxygen/html/html/search/all_9.js +7 -5
- package/SVF-doxygen/html/html/search/all_c.js +3 -2
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +2 -2
- package/SVF-doxygen/html/html/search/all_f.js +4 -4
- package/SVF-doxygen/html/html/search/classes_10.js +1 -0
- package/SVF-doxygen/html/html/search/classes_2.js +2 -0
- package/SVF-doxygen/html/html/search/classes_7.js +2 -1
- package/SVF-doxygen/html/html/search/classes_d.js +2 -0
- package/SVF-doxygen/html/html/search/files_2.js +2 -0
- package/SVF-doxygen/html/html/search/functions_0.js +8 -1
- package/SVF-doxygen/html/html/search/functions_1.js +3 -2
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_12.js +1 -0
- package/SVF-doxygen/html/html/search/functions_17.js +6 -0
- package/SVF-doxygen/html/html/search/functions_2.js +4 -1
- package/SVF-doxygen/html/html/search/functions_4.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +5 -1
- package/SVF-doxygen/html/html/search/functions_7.js +4 -2
- package/SVF-doxygen/html/html/search/functions_8.js +3 -2
- package/SVF-doxygen/html/html/search/functions_c.js +1 -1
- package/SVF-doxygen/html/html/search/functions_e.js +2 -2
- package/SVF-doxygen/html/html/search/functions_f.js +1 -0
- package/SVF-doxygen/html/html/search/typedefs_11.js +2 -1
- package/SVF-doxygen/html/html/search/typedefs_2.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_3.js +1 -0
- package/SVF-doxygen/html/html/search/typedefs_7.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_a.js +1 -0
- package/SVF-doxygen/html/html/search/variables_0.js +2 -1
- package/SVF-doxygen/html/html/search/variables_10.js +2 -0
- package/SVF-doxygen/html/html/search/variables_12.js +1 -0
- package/SVF-doxygen/html/html/search/variables_13.js +2 -1
- package/SVF-doxygen/html/html/search/variables_3.js +1 -0
- package/SVF-doxygen/html/html/search/variables_4.js +1 -0
- package/SVF-doxygen/html/html/search/variables_5.js +1 -0
- package/SVF-doxygen/html/html/search/variables_9.js +2 -1
- package/SVF-doxygen/html/html/search/variables_c.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1HybridData_1_1TreeNode-members.html +86 -0
- package/SVF-doxygen/html/html/structSVF_1_1HybridData_1_1TreeNode.html +255 -0
- package/include/CFL/CFLAlias.h +34 -0
- package/include/CFL/CFLData.h +316 -0
- package/include/CFL/CFLDataBuilder.h +91 -0
- package/include/CFL/CFLSolver.h +21 -0
- package/include/Util/Options.h +1 -0
- package/lib/CFL/CFLAlias.cpp +36 -0
- package/lib/Util/Options.cpp +5 -0
- package/package.json +1 -1
- package/tools/CFL/cfl.cpp +2 -0
|
@@ -66,7 +66,7 @@ $(function() {
|
|
|
66
66
|
<div class="title">Options.h</div> </div>
|
|
67
67
|
</div><!--header-->
|
|
68
68
|
<div class="contents">
|
|
69
|
-
<a href="Options_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span> <span class="comment">//===- Options.h -- Command line options ------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span> </div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <span class="preprocessor">#ifndef OPTIONS_H_</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span> <span class="preprocessor">#define OPTIONS_H_</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span> </div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="preprocessor">#include <sstream></span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span> <span class="preprocessor">#include "<a class="code" href="fastcluster_8h.html">FastCluster/fastcluster.h</a>"</span></div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <span class="preprocessor">#include "<a class="code" href="CommandLine_8h.html">Util/CommandLine.h</a>"</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span> <span class="preprocessor">#include "<a class="code" href="PTAStat_8h.html">Util/PTAStat.h</a>"</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span> <span class="preprocessor">#include "<a class="code" href="PointerAnalysisImpl_8h.html">MemoryModel/PointerAnalysisImpl.h</a>"</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span> <span class="preprocessor">#include "<a class="code" href="NodeIDAllocator_8h.html">Util/NodeIDAllocator.h</a>"</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span> <span class="preprocessor">#include "<a class="code" href="MemSSA_8h.html">MSSA/MemSSA.h</a>"</span></div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span> <span class="preprocessor">#include "<a class="code" href="WPAPass_8h.html">WPA/WPAPass.h</a>"</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span> </div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span> <span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span> {</div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span> </div><div class="line"><a name="l00019"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html"> 19</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1Options.html">Options</a></div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span> {</div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span>  <a class="code" href="classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078">Options</a>(<span class="keywordtype">void</span>) = <span class="keyword">delete</span>;</div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span> </div><div class="line"><a name="l00024"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75"> 24</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap<enum PTAStat::ClockType></a> <a class="code" href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">ClockType</a>;</div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span> </div><div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418"> 31</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#abcb6796d45722562546f33b2745a0418">MarkedClocksOnly</a>;</div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span> </div><div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd"> 35</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap<SVF::NodeIDAllocator::Strategy></a> <a class="code" href="classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd">NodeAllocStrat</a>;</div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span> </div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5"> 38</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#aaab923c093730b1670a54f09340b1bd5">MaxFieldLimit</a>;</div><div class="line"><a name="l00039"></a><span class="lineno"> 39</span> </div><div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16"> 41</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#a46743284466ff803f52a82b094186d16">ClusterAnder</a>;</div><div class="line"><a name="l00042"></a><span class="lineno"> 42</span> </div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f"> 44</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#a853caba808dc7d17cba4ad4214b56b6f">ClusterFs</a>;</div><div class="line"><a name="l00045"></a><span class="lineno"> 45</span> </div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9"> 47</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#a0123986b466dae50b2f12c71295c54f9">PlainMappingFs</a>;</div><div class="line"><a name="l00048"></a><span class="lineno"> 48</span> </div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0"> 50</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap<PointsTo::Type></a> <a class="code" href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0">PtType</a>;</div><div class="line"><a name="l00051"></a><span class="lineno"> 51</span> </div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6"> 56</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap<enum hclust_fast_methods></a> <a class="code" href="classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6">ClusterMethod</a>;</div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span> </div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6"> 59</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#a8cc5b2a363724b558f4932277a87c0f6">RegionedClustering</a>;</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span> </div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88"> 62</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#a5a70a23e30df8dea3fcaf0e80479fe88">RegionAlign</a>;</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span> </div><div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb"> 66</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#aed7bdea17fad08ceb0453b23f2f908bb">PredictPtOcc</a>;</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span> </div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307"> 69</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap<BVDataPTAImpl::PTBackingType></a> <a class="code" href="classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307">ptDataBacking</a>;</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span> </div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef"> 72</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#a6ebad0decdd6e93c661b72d80f5dbcef">FsTimeLimit</a>;</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span> </div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1"> 75</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#a36db0fdd38ff9093d2e6bb30581b25e1">AnderTimeLimit</a>;</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span> </div><div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665"> 78</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#afd31760e868bfa4d15e434e21fe4d665">VersioningThreads</a>;</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span> </div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  <span class="comment">// ContextDDA.cpp</span></div><div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b"> 81</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#a3bbd106de519cb8d00f33e82f14d279b">CxtBudget</a>;</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span> </div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  <span class="comment">// DDAClient.cpp</span></div><div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5fe0e29e325a6d53ccf16f8fe725821e"> 84</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#a5fe0e29e325a6d53ccf16f8fe725821e">SingleLoad</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4"> 85</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#a03cd671379712e6b3fa8ac4ec9b4d1d4">DumpFree</a>;</div><div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025"> 86</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#ab8075fe929f99b640d5c0a0530297025">DumpUninitVar</a>;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716"> 87</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#a296e4a2187d14828cb0baf859f48d716">DumpUninitPtr</a>;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01"> 88</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#a6d45d7ba6852a986b53b31f60f967b01">DumpSUPts</a>;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6"> 89</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#ab64401bdde8b0c846a78f21423e5cfb6">DumpSUStore</a>;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0"> 90</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#a9711cdc976786b3949ac6b26f95b59b0">MallocOnly</a>;</div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f"> 91</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#ad6f51870a3cabccbec4898d572dba74f">TaintUninitHeap</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34"> 92</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#a787f95c7ac87e04f2e6d55cf5d665a34">TaintUninitStack</a>;</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span> </div><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  <span class="comment">// DDAPass.cpp</span></div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53"> 95</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#a63121666a96f6cd2ae56d868c9576a53">MaxPathLen</a>;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71"> 96</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#a6237da3f4e264fa8b63c11d621f39e71">MaxContextLen</a>;</div><div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919"> 97</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#aab0131558d9da9b0fe888387217ba919">MaxStepInWrapper</a>;</div><div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b"> 98</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#a5d14e81336dbfefa14146bf610989e6b">UserInputQuery</a>;</div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b"> 99</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#aeab702f641fd13ee1d0f89837097e43b">InsenRecur</a>;</div><div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0"> 100</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#a0c5d08f13bd41095afb3b60c7ffad0e0">InsenCycle</a>;</div><div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b"> 101</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#abe3087eb48a10bb600d1fd24308c019b">PrintCPts</a>;</div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014"> 102</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#ae88c0813d02dcb5632cd721a61a15014">PrintQueryPts</a>;</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9"> 103</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#a782d52d7e8d423c2bef27b34d518ffd9">WPANum</a>;</div><div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580"> 104</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#afa6c98d477db41a457ac83cfbfd4a580">DDASelected</a>;</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span> </div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <span class="comment">// FlowDDA.cpp</span></div><div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4"> 107</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#a8c02af98e908c48cef1de0085ed10ce4">FlowBudget</a>;</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span> </div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  <span class="comment">// Offline constraint graph (OfflineConsG.cpp)</span></div><div class="line"><a name="l00110"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101"> 110</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#ad6c9b07d4dc8af20fbe2b93711cc2101">OCGDotGraph</a>;</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span> </div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  <span class="comment">// Program Assignment Graph for pointer analysis (SVFIR.cpp)</span></div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63"> 113</a></span>  <span class="keyword">static</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63">HandBlackHole</a>;</div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea"> 114</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#a12e88ce4ba3d39017203ec4cd3ccccea">FirstFieldEqBase</a>;</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span> </div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  <span class="comment">// SVFG optimizer (SVFGOPT.cpp)</span></div><div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302"> 117</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#ae60822a71ee1cd389413d98dfb35e302">ContextInsensitive</a>;</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37"> 118</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#a09005e749b1030347ac5dcc015053a37">KeepAOFI</a>;</div><div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc"> 119</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#a9ef14f68939b7678ddff83d544e024cc">SelfCycle</a>;</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span> </div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  <span class="comment">// Sparse value-flow graph (VFG.cpp)</span></div><div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51"> 122</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#ae3ad3003a8d3df2f1e3463248bb5ad51">DumpVFG</a>;</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span> </div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  <span class="comment">// Location set for modeling abstract memory object (LocationSet.cpp)</span></div><div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2"> 125</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#ae5af5a2b3854b4d234197ab1a389aac2">SingleStride</a>;</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span> </div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  <span class="comment">// Base class of pointer analyses (PointerAnalysis.cpp)</span></div><div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd"> 128</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#a83103f0d5f166e0bb062aa7d7b393ddd">TypePrint</a>;</div><div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563"> 129</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#abb91435e1e06b07548c539e7f7761563">FuncPointerPrint</a>;</div><div class="line"><a name="l00130"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337"> 130</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#a428e892b31dcb783be36a35e878a0337">PTSPrint</a>;</div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00"> 131</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#a737f3501a93f954790fe93d36c43fb00">PTSAllPrint</a>;</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4"> 132</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#ac9d18f2d6853f45548f4f85fa2f661c4">PStat</a>;</div><div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2"> 133</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#ad2f3ffd1b8d579ebe4c19a015cd599e2">StatBudget</a>;</div><div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8"> 134</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#a1dd9ad3f11454be49b4c5099503db8e8">PAGDotGraph</a>;</div><div class="line"><a name="l00135"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353"> 135</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#a424a44f39a43b22434dbdce26007a353">ShowSVFIRValue</a>;</div><div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a"> 136</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#ae7ccfb3d1308e205e5014849dcc43d9a">DumpICFG</a>;</div><div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567"> 137</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#a0a998c2e1d701b2052985691babc4567">CallGraphDotGraph</a>;</div><div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e"> 138</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#a7c6053f2341a500a8caca61607303b6e">PAGPrint</a>;</div><div class="line"><a name="l00139"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef"> 139</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#aa5bae1db07c401517c1c0f8fd9f2deef">IndirectCallLimit</a>;</div><div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021"> 140</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#a742a42d855c5b96fb7c70a2d0ab64021">UsePreCompFieldSensitive</a>;</div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73"> 141</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#a5f07ff361307017b35fb6b9a97919a73">EnableAliasCheck</a>;</div><div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d"> 142</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#a1daf36a755523519187c3a8e9a19b58d">EnableThreadCallGraph</a>;</div><div class="line"><a name="l00143"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127"> 143</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#abf71061d93d4a3b32246f19dc71e5127">ConnectVCallOnCHA</a>;</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span> </div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  <span class="comment">// PointerAnalysisImpl.cpp</span></div><div class="line"><a name="l00146"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90"> 146</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#a1743b8a1ab2d71c35206c7befa725d90">INCDFPTData</a>;</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span> </div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  <span class="comment">// Memory region (MemRegion.cpp)</span></div><div class="line"><a name="l00149"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7"> 149</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#a00f3c4c53e6ade73f7667231c394c5d7">IgnoreDeadFun</a>;</div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span> </div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  <span class="comment">// Base class of pointer analyses (MemSSA.cpp)</span></div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa"> 152</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#a0bb4bfd677e2e45cc8c24bfc190edfaa">DumpMSSA</a>;</div><div class="line"><a name="l00153"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f"> 153</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#aa8818e8138233838af224d4214de9e8f">MSSAFun</a>;</div><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  <span class="comment">// static const llvm::cl::opt<string> MSSAFun;</span></div><div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e"> 155</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap<MemSSA::MemPartition></a> <a class="code" href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e">MemPar</a>;</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span> </div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  <span class="comment">// SVFG builder (SVFGBuilder.cpp)</span></div><div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0"> 158</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#a06eea18ba4cdf509255126a9b58e8eb0">SVFGWithIndirectCall</a>;</div><div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af"> 159</a></span>  <span class="keyword">static</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">OPTSVFG</a>;</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span> </div><div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47"> 161</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#a26711c33c9247a296f6dfaaf36d38e47">WriteSVFG</a>;</div><div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4"> 162</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#a034a83cdac580c1f8b10805e29ca50e4">ReadSVFG</a>;</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span> </div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  <span class="comment">// FSMPTA.cpp</span></div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746"> 165</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#aaa7ca76c841dd19d67796d09c94a9746">UsePCG</a>;</div><div class="line"><a name="l00166"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb"> 166</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#af6d92cd4372cd952e6d955cfc9be0ccb">IntraLock</a>;</div><div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916"> 167</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#a3b6146824333f0da957d37b199978916">ReadPrecisionTDEdge</a>;</div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56"> 168</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#aac637c9746749320a4ebd6af36212c56">AddModelFlag</a>;</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span> </div><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <span class="comment">// LockAnalysis.cpp</span></div><div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844"> 171</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#a34e1093189fc8c150a9f2961557aa844">PrintLockSpan</a>;</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span> </div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  <span class="comment">// MHP.cpp</span></div><div class="line"><a name="l00174"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba"> 174</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#a1c6e39ebc266c754de4d78a31cc021ba">PrintInterLev</a>;</div><div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666"> 175</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#ae2c4fe298a27f50c749b75f0801f9666">DoLockAnalysis</a>;</div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span> </div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  <span class="comment">// MTA.cpp</span></div><div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930"> 178</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#ae639e80aa18a56bd1c6bcf41ce281930">AndersenAnno</a>;</div><div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336"> 179</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#a4f022e2f997d25ec50842b4248147336">FSAnno</a>;</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span> </div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  <span class="comment">// MTAAnnotator.cpp</span></div><div class="line"><a name="l00182"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7"> 182</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#a279f634c0ba3b01beed6a55b01d6eae7">AnnoFlag</a>;</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span> </div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  <span class="comment">// MTAResultValidator.cpp</span></div><div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1"> 185</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#a944aee270c78d42c998691da283165f1">PrintValidRes</a>;</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span> </div><div class="line"><a name="l00187"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec"> 187</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#a6c0afceb5db81504930dc6f673bc41ec">LockValid</a>;</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  <span class="comment">//MTAStat.cpp</span></div><div class="line"><a name="l00189"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70"> 189</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#aaa27474452c68545e883d02a334cab70">AllPairMHP</a>;</div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span> </div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  <span class="comment">// PCG.cpp</span></div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <span class="comment">//const Option<bool> TDPrint</span></div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span> </div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <span class="comment">// TCT.cpp</span></div><div class="line"><a name="l00195"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce"> 195</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#adceab9fa76c438b8e5e83dd6042523ce">TCTDotGraph</a>;</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span> </div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  <span class="comment">// LeakChecker.cpp</span></div><div class="line"><a name="l00198"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1"> 198</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#aceaa5cc22c7f362e4c4d66531ec27bf1">ValidateTests</a>;</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span> </div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  <span class="comment">// Source-sink analyzer (SrcSnkDDA.cpp)</span></div><div class="line"><a name="l00201"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db"> 201</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#ab9443e23bdcb60f118a7aab835f974db">DumpSlice</a>;</div><div class="line"><a name="l00202"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5"> 202</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#a3fd9cce83729bc62cd2fb568b0d53db5">CxtLimit</a>;</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span> </div><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  <span class="comment">// CHG.cpp</span></div><div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270"> 205</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#afcef86c88bb86198a3579aef82b5e270">DumpCHA</a>;</div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span> </div><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  <span class="comment">// DCHG.cpp</span></div><div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182"> 208</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#aab85f2c2ceb235b1291301f33154d182">PrintDCHG</a>;</div><div class="line"><a name="l00209"></a><span class="lineno"> 209</span> </div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  <span class="comment">// LLVMModule.cpp</span></div><div class="line"><a name="l00211"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e"> 211</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#a53f783c80f368bcdca6c7620229d6f8e">Graphtxt</a>;</div><div class="line"><a name="l00212"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d"> 212</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#a3a718b0a27c2d13878c0718af97ad73d">SVFMain</a>;</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span> </div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  <span class="comment">// SymbolTableInfo.cpp</span></div><div class="line"><a name="l00215"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050"> 215</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#a198e0d500ae635c709c406bbec604050">LocMemModel</a>;</div><div class="line"><a name="l00216"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5"> 216</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#a18dd95e01a50aa82165c46a3801053c5">ModelConsts</a>;</div><div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c"> 217</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#a429c3000ee2ac45119b8c241aa06762c">ModelArrays</a>;</div><div class="line"><a name="l00218"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3"> 218</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#a52c06ea1c5dd347079f192f0cba3dcd3">SymTabPrint</a>;</div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span> </div><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  <span class="comment">// Conditions.cpp</span></div><div class="line"><a name="l00221"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc"> 221</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#a86f982d9716181bca93a350b5a11a1dc">MaxZ3Size</a>;</div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span> </div><div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  <span class="comment">// SaberCondAllocator.cpp</span></div><div class="line"><a name="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9"> 224</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#a61986f02577051d98962c6680ac7c4f9">PrintPathCond</a>;</div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span> </div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  <span class="comment">// SVFUtil.cpp</span></div><div class="line"><a name="l00227"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28"> 227</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#a1721ff576ad641d862f29b038f31db28">DisableWarn</a>;</div><div class="line"><a name="l00228"></a><span class="lineno"> 228</span> </div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  <span class="comment">// Andersen.cpp</span></div><div class="line"><a name="l00230"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95"> 230</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#ad80f77349205dac9e74aa41ea1ecbf95">ConsCGDotGraph</a>;</div><div class="line"><a name="l00231"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c"> 231</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#a25a3db9daa81a127a8dad86888adea6c">BriefConsCGDotGraph</a>;</div><div class="line"><a name="l00232"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83"> 232</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#a9e5f361015b558d3d4e7e033868f9c83">PrintCGGraph</a>;</div><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  <span class="comment">// static const Option<string> WriteAnder;</span></div><div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9"> 234</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#aabeb232a46547fd35ddc96244fdaf1b9">WriteAnder</a>;</div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  <span class="comment">// static const Option<string> ReadAnder;</span></div><div class="line"><a name="l00236"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475"> 236</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#a453571cd0205f14ead205b3a54477475">ReadAnder</a>;</div><div class="line"><a name="l00237"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce"> 237</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#ae782f25eaee9ac363c733b6ac609fbce">DiffPts</a>;</div><div class="line"><a name="l00238"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202"> 238</a></span>  <span class="keyword">static</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">DetectPWC</a>;</div><div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140"> 239</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><div class="line"><a name="l00240"></a><span class="lineno"> 240</span> </div><div class="line"><a name="l00241"></a><span class="lineno"> 241</span>  <span class="comment">// WPAPass.cpp</span></div><div class="line"><a name="l00242"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f"> 242</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><div class="line"><a name="l00243"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b"> 243</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><div class="line"><a name="l00244"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671"> 244</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><div class="line"><a name="l00245"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd"> 245</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><div class="line"><a name="l00246"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a"> 246</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><div class="line"><a name="l00247"></a><span class="lineno"> 247</span> </div><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  <span class="comment">// DOTGraphTraits</span></div><div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3"> 249</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><div class="line"><a name="l00250"></a><span class="lineno"> 250</span> </div><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <span class="comment">// CFL option</span></div><div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f"> 252</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><div class="line"><a name="l00253"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac"> 253</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><div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f"> 254</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">PrintCFL</a>;</div><div class="line"><a name="l00255"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031"> 255</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><div class="line"><a name="l00256"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26"> 256</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><div class="line"><a name="l00257"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516"> 257</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><div class="line"><a name="l00258"></a><span class="lineno"> 258</span> </div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  <span class="comment">// Loop Analysis</span></div><div class="line"><a name="l00260"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c"> 260</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><div class="line"><a name="l00261"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e"> 261</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><div class="line"><a name="l00262"></a><span class="lineno"> 262</span> };</div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span> } <span class="comment">// namespace SVF</span></div><div class="line"><a name="l00264"></a><span class="lineno"> 264</span> </div><div class="line"><a name="l00265"></a><span class="lineno"> 265</span> <span class="preprocessor">#endif // ifdef OPTIONS_H_</span></div><div class="ttc" id="classSVF_1_1Options_html_a0bb4bfd677e2e45cc8c24bfc190edfaa"><div class="ttname"><a href="classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa">SVF::Options::DumpMSSA</a></div><div class="ttdeci">static const Option< bool > DumpMSSA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00152">Options.h:152</a></div></div>
|
|
69
|
+
<a href="Options_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span> <span class="comment">//===- Options.h -- Command line options ------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span> </div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <span class="preprocessor">#ifndef OPTIONS_H_</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span> <span class="preprocessor">#define OPTIONS_H_</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span> </div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="preprocessor">#include <sstream></span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span> <span class="preprocessor">#include "<a class="code" href="fastcluster_8h.html">FastCluster/fastcluster.h</a>"</span></div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <span class="preprocessor">#include "<a class="code" href="CommandLine_8h.html">Util/CommandLine.h</a>"</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span> <span class="preprocessor">#include "<a class="code" href="PTAStat_8h.html">Util/PTAStat.h</a>"</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span> <span class="preprocessor">#include "<a class="code" href="PointerAnalysisImpl_8h.html">MemoryModel/PointerAnalysisImpl.h</a>"</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span> <span class="preprocessor">#include "<a class="code" href="NodeIDAllocator_8h.html">Util/NodeIDAllocator.h</a>"</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span> <span class="preprocessor">#include "<a class="code" href="MemSSA_8h.html">MSSA/MemSSA.h</a>"</span></div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span> <span class="preprocessor">#include "<a class="code" href="WPAPass_8h.html">WPA/WPAPass.h</a>"</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span> </div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span> <span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span> {</div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span> </div><div class="line"><a name="l00019"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html"> 19</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1Options.html">Options</a></div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span> {</div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span>  <a class="code" href="classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078">Options</a>(<span class="keywordtype">void</span>) = <span class="keyword">delete</span>;</div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span> </div><div class="line"><a name="l00024"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75"> 24</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap<enum PTAStat::ClockType></a> <a class="code" href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">ClockType</a>;</div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span> </div><div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418"> 31</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#abcb6796d45722562546f33b2745a0418">MarkedClocksOnly</a>;</div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span> </div><div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd"> 35</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap<SVF::NodeIDAllocator::Strategy></a> <a class="code" href="classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd">NodeAllocStrat</a>;</div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span> </div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5"> 38</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#aaab923c093730b1670a54f09340b1bd5">MaxFieldLimit</a>;</div><div class="line"><a name="l00039"></a><span class="lineno"> 39</span> </div><div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16"> 41</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#a46743284466ff803f52a82b094186d16">ClusterAnder</a>;</div><div class="line"><a name="l00042"></a><span class="lineno"> 42</span> </div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f"> 44</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#a853caba808dc7d17cba4ad4214b56b6f">ClusterFs</a>;</div><div class="line"><a name="l00045"></a><span class="lineno"> 45</span> </div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9"> 47</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#a0123986b466dae50b2f12c71295c54f9">PlainMappingFs</a>;</div><div class="line"><a name="l00048"></a><span class="lineno"> 48</span> </div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0"> 50</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap<PointsTo::Type></a> <a class="code" href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0">PtType</a>;</div><div class="line"><a name="l00051"></a><span class="lineno"> 51</span> </div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6"> 56</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap<enum hclust_fast_methods></a> <a class="code" href="classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6">ClusterMethod</a>;</div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span> </div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6"> 59</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#a8cc5b2a363724b558f4932277a87c0f6">RegionedClustering</a>;</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span> </div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88"> 62</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#a5a70a23e30df8dea3fcaf0e80479fe88">RegionAlign</a>;</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span> </div><div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb"> 66</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#aed7bdea17fad08ceb0453b23f2f908bb">PredictPtOcc</a>;</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span> </div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307"> 69</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap<BVDataPTAImpl::PTBackingType></a> <a class="code" href="classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307">ptDataBacking</a>;</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span> </div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef"> 72</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#a6ebad0decdd6e93c661b72d80f5dbcef">FsTimeLimit</a>;</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span> </div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1"> 75</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#a36db0fdd38ff9093d2e6bb30581b25e1">AnderTimeLimit</a>;</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span> </div><div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665"> 78</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#afd31760e868bfa4d15e434e21fe4d665">VersioningThreads</a>;</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span> </div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  <span class="comment">// ContextDDA.cpp</span></div><div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b"> 81</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#a3bbd106de519cb8d00f33e82f14d279b">CxtBudget</a>;</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span> </div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  <span class="comment">// DDAClient.cpp</span></div><div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5fe0e29e325a6d53ccf16f8fe725821e"> 84</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#a5fe0e29e325a6d53ccf16f8fe725821e">SingleLoad</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4"> 85</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#a03cd671379712e6b3fa8ac4ec9b4d1d4">DumpFree</a>;</div><div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025"> 86</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#ab8075fe929f99b640d5c0a0530297025">DumpUninitVar</a>;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716"> 87</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#a296e4a2187d14828cb0baf859f48d716">DumpUninitPtr</a>;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01"> 88</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#a6d45d7ba6852a986b53b31f60f967b01">DumpSUPts</a>;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6"> 89</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#ab64401bdde8b0c846a78f21423e5cfb6">DumpSUStore</a>;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0"> 90</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#a9711cdc976786b3949ac6b26f95b59b0">MallocOnly</a>;</div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f"> 91</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#ad6f51870a3cabccbec4898d572dba74f">TaintUninitHeap</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34"> 92</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#a787f95c7ac87e04f2e6d55cf5d665a34">TaintUninitStack</a>;</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span> </div><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  <span class="comment">// DDAPass.cpp</span></div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53"> 95</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#a63121666a96f6cd2ae56d868c9576a53">MaxPathLen</a>;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71"> 96</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#a6237da3f4e264fa8b63c11d621f39e71">MaxContextLen</a>;</div><div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919"> 97</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#aab0131558d9da9b0fe888387217ba919">MaxStepInWrapper</a>;</div><div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b"> 98</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#a5d14e81336dbfefa14146bf610989e6b">UserInputQuery</a>;</div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b"> 99</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#aeab702f641fd13ee1d0f89837097e43b">InsenRecur</a>;</div><div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0"> 100</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#a0c5d08f13bd41095afb3b60c7ffad0e0">InsenCycle</a>;</div><div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b"> 101</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#abe3087eb48a10bb600d1fd24308c019b">PrintCPts</a>;</div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014"> 102</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#ae88c0813d02dcb5632cd721a61a15014">PrintQueryPts</a>;</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9"> 103</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#a782d52d7e8d423c2bef27b34d518ffd9">WPANum</a>;</div><div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580"> 104</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#afa6c98d477db41a457ac83cfbfd4a580">DDASelected</a>;</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span> </div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <span class="comment">// FlowDDA.cpp</span></div><div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4"> 107</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#a8c02af98e908c48cef1de0085ed10ce4">FlowBudget</a>;</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span> </div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  <span class="comment">// Offline constraint graph (OfflineConsG.cpp)</span></div><div class="line"><a name="l00110"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101"> 110</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#ad6c9b07d4dc8af20fbe2b93711cc2101">OCGDotGraph</a>;</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span> </div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  <span class="comment">// Program Assignment Graph for pointer analysis (SVFIR.cpp)</span></div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63"> 113</a></span>  <span class="keyword">static</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63">HandBlackHole</a>;</div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea"> 114</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#a12e88ce4ba3d39017203ec4cd3ccccea">FirstFieldEqBase</a>;</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span> </div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  <span class="comment">// SVFG optimizer (SVFGOPT.cpp)</span></div><div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302"> 117</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#ae60822a71ee1cd389413d98dfb35e302">ContextInsensitive</a>;</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37"> 118</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#a09005e749b1030347ac5dcc015053a37">KeepAOFI</a>;</div><div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc"> 119</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#a9ef14f68939b7678ddff83d544e024cc">SelfCycle</a>;</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span> </div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  <span class="comment">// Sparse value-flow graph (VFG.cpp)</span></div><div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51"> 122</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#ae3ad3003a8d3df2f1e3463248bb5ad51">DumpVFG</a>;</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span> </div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  <span class="comment">// Location set for modeling abstract memory object (LocationSet.cpp)</span></div><div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2"> 125</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#ae5af5a2b3854b4d234197ab1a389aac2">SingleStride</a>;</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span> </div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  <span class="comment">// Base class of pointer analyses (PointerAnalysis.cpp)</span></div><div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd"> 128</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#a83103f0d5f166e0bb062aa7d7b393ddd">TypePrint</a>;</div><div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563"> 129</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#abb91435e1e06b07548c539e7f7761563">FuncPointerPrint</a>;</div><div class="line"><a name="l00130"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337"> 130</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#a428e892b31dcb783be36a35e878a0337">PTSPrint</a>;</div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00"> 131</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#a737f3501a93f954790fe93d36c43fb00">PTSAllPrint</a>;</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4"> 132</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#ac9d18f2d6853f45548f4f85fa2f661c4">PStat</a>;</div><div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2"> 133</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#ad2f3ffd1b8d579ebe4c19a015cd599e2">StatBudget</a>;</div><div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8"> 134</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#a1dd9ad3f11454be49b4c5099503db8e8">PAGDotGraph</a>;</div><div class="line"><a name="l00135"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353"> 135</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#a424a44f39a43b22434dbdce26007a353">ShowSVFIRValue</a>;</div><div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a"> 136</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#ae7ccfb3d1308e205e5014849dcc43d9a">DumpICFG</a>;</div><div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567"> 137</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#a0a998c2e1d701b2052985691babc4567">CallGraphDotGraph</a>;</div><div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e"> 138</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#a7c6053f2341a500a8caca61607303b6e">PAGPrint</a>;</div><div class="line"><a name="l00139"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef"> 139</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#aa5bae1db07c401517c1c0f8fd9f2deef">IndirectCallLimit</a>;</div><div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021"> 140</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#a742a42d855c5b96fb7c70a2d0ab64021">UsePreCompFieldSensitive</a>;</div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73"> 141</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#a5f07ff361307017b35fb6b9a97919a73">EnableAliasCheck</a>;</div><div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d"> 142</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#a1daf36a755523519187c3a8e9a19b58d">EnableThreadCallGraph</a>;</div><div class="line"><a name="l00143"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127"> 143</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#abf71061d93d4a3b32246f19dc71e5127">ConnectVCallOnCHA</a>;</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span> </div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  <span class="comment">// PointerAnalysisImpl.cpp</span></div><div class="line"><a name="l00146"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90"> 146</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#a1743b8a1ab2d71c35206c7befa725d90">INCDFPTData</a>;</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span> </div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  <span class="comment">// Memory region (MemRegion.cpp)</span></div><div class="line"><a name="l00149"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7"> 149</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#a00f3c4c53e6ade73f7667231c394c5d7">IgnoreDeadFun</a>;</div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span> </div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  <span class="comment">// Base class of pointer analyses (MemSSA.cpp)</span></div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa"> 152</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#a0bb4bfd677e2e45cc8c24bfc190edfaa">DumpMSSA</a>;</div><div class="line"><a name="l00153"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f"> 153</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#aa8818e8138233838af224d4214de9e8f">MSSAFun</a>;</div><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  <span class="comment">// static const llvm::cl::opt<string> MSSAFun;</span></div><div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e"> 155</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap<MemSSA::MemPartition></a> <a class="code" href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e">MemPar</a>;</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span> </div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  <span class="comment">// SVFG builder (SVFGBuilder.cpp)</span></div><div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0"> 158</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#a06eea18ba4cdf509255126a9b58e8eb0">SVFGWithIndirectCall</a>;</div><div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af"> 159</a></span>  <span class="keyword">static</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">OPTSVFG</a>;</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span> </div><div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47"> 161</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#a26711c33c9247a296f6dfaaf36d38e47">WriteSVFG</a>;</div><div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4"> 162</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#a034a83cdac580c1f8b10805e29ca50e4">ReadSVFG</a>;</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span> </div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  <span class="comment">// FSMPTA.cpp</span></div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746"> 165</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#aaa7ca76c841dd19d67796d09c94a9746">UsePCG</a>;</div><div class="line"><a name="l00166"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb"> 166</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#af6d92cd4372cd952e6d955cfc9be0ccb">IntraLock</a>;</div><div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916"> 167</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#a3b6146824333f0da957d37b199978916">ReadPrecisionTDEdge</a>;</div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56"> 168</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#aac637c9746749320a4ebd6af36212c56">AddModelFlag</a>;</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span> </div><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <span class="comment">// LockAnalysis.cpp</span></div><div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844"> 171</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#a34e1093189fc8c150a9f2961557aa844">PrintLockSpan</a>;</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span> </div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  <span class="comment">// MHP.cpp</span></div><div class="line"><a name="l00174"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba"> 174</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#a1c6e39ebc266c754de4d78a31cc021ba">PrintInterLev</a>;</div><div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666"> 175</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#ae2c4fe298a27f50c749b75f0801f9666">DoLockAnalysis</a>;</div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span> </div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  <span class="comment">// MTA.cpp</span></div><div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930"> 178</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#ae639e80aa18a56bd1c6bcf41ce281930">AndersenAnno</a>;</div><div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336"> 179</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#a4f022e2f997d25ec50842b4248147336">FSAnno</a>;</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span> </div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  <span class="comment">// MTAAnnotator.cpp</span></div><div class="line"><a name="l00182"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7"> 182</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#a279f634c0ba3b01beed6a55b01d6eae7">AnnoFlag</a>;</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span> </div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  <span class="comment">// MTAResultValidator.cpp</span></div><div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1"> 185</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#a944aee270c78d42c998691da283165f1">PrintValidRes</a>;</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span> </div><div class="line"><a name="l00187"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec"> 187</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#a6c0afceb5db81504930dc6f673bc41ec">LockValid</a>;</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  <span class="comment">//MTAStat.cpp</span></div><div class="line"><a name="l00189"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70"> 189</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#aaa27474452c68545e883d02a334cab70">AllPairMHP</a>;</div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span> </div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  <span class="comment">// PCG.cpp</span></div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <span class="comment">//const Option<bool> TDPrint</span></div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span> </div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <span class="comment">// TCT.cpp</span></div><div class="line"><a name="l00195"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce"> 195</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#adceab9fa76c438b8e5e83dd6042523ce">TCTDotGraph</a>;</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span> </div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  <span class="comment">// LeakChecker.cpp</span></div><div class="line"><a name="l00198"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1"> 198</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#aceaa5cc22c7f362e4c4d66531ec27bf1">ValidateTests</a>;</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span> </div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  <span class="comment">// Source-sink analyzer (SrcSnkDDA.cpp)</span></div><div class="line"><a name="l00201"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db"> 201</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#ab9443e23bdcb60f118a7aab835f974db">DumpSlice</a>;</div><div class="line"><a name="l00202"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5"> 202</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#a3fd9cce83729bc62cd2fb568b0d53db5">CxtLimit</a>;</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span> </div><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  <span class="comment">// CHG.cpp</span></div><div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270"> 205</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#afcef86c88bb86198a3579aef82b5e270">DumpCHA</a>;</div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span> </div><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  <span class="comment">// DCHG.cpp</span></div><div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182"> 208</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#aab85f2c2ceb235b1291301f33154d182">PrintDCHG</a>;</div><div class="line"><a name="l00209"></a><span class="lineno"> 209</span> </div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  <span class="comment">// LLVMModule.cpp</span></div><div class="line"><a name="l00211"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e"> 211</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#a53f783c80f368bcdca6c7620229d6f8e">Graphtxt</a>;</div><div class="line"><a name="l00212"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d"> 212</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#a3a718b0a27c2d13878c0718af97ad73d">SVFMain</a>;</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span> </div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  <span class="comment">// SymbolTableInfo.cpp</span></div><div class="line"><a name="l00215"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050"> 215</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#a198e0d500ae635c709c406bbec604050">LocMemModel</a>;</div><div class="line"><a name="l00216"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5"> 216</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#a18dd95e01a50aa82165c46a3801053c5">ModelConsts</a>;</div><div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c"> 217</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#a429c3000ee2ac45119b8c241aa06762c">ModelArrays</a>;</div><div class="line"><a name="l00218"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3"> 218</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#a52c06ea1c5dd347079f192f0cba3dcd3">SymTabPrint</a>;</div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span> </div><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  <span class="comment">// Conditions.cpp</span></div><div class="line"><a name="l00221"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc"> 221</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#a86f982d9716181bca93a350b5a11a1dc">MaxZ3Size</a>;</div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span> </div><div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  <span class="comment">// SaberCondAllocator.cpp</span></div><div class="line"><a name="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9"> 224</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#a61986f02577051d98962c6680ac7c4f9">PrintPathCond</a>;</div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span> </div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  <span class="comment">// SVFUtil.cpp</span></div><div class="line"><a name="l00227"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28"> 227</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#a1721ff576ad641d862f29b038f31db28">DisableWarn</a>;</div><div class="line"><a name="l00228"></a><span class="lineno"> 228</span> </div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  <span class="comment">// Andersen.cpp</span></div><div class="line"><a name="l00230"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95"> 230</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#ad80f77349205dac9e74aa41ea1ecbf95">ConsCGDotGraph</a>;</div><div class="line"><a name="l00231"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c"> 231</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#a25a3db9daa81a127a8dad86888adea6c">BriefConsCGDotGraph</a>;</div><div class="line"><a name="l00232"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83"> 232</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#a9e5f361015b558d3d4e7e033868f9c83">PrintCGGraph</a>;</div><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  <span class="comment">// static const Option<string> WriteAnder;</span></div><div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9"> 234</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#aabeb232a46547fd35ddc96244fdaf1b9">WriteAnder</a>;</div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  <span class="comment">// static const Option<string> ReadAnder;</span></div><div class="line"><a name="l00236"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475"> 236</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#a453571cd0205f14ead205b3a54477475">ReadAnder</a>;</div><div class="line"><a name="l00237"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce"> 237</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#ae782f25eaee9ac363c733b6ac609fbce">DiffPts</a>;</div><div class="line"><a name="l00238"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202"> 238</a></span>  <span class="keyword">static</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">DetectPWC</a>;</div><div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140"> 239</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><div class="line"><a name="l00240"></a><span class="lineno"> 240</span> </div><div class="line"><a name="l00241"></a><span class="lineno"> 241</span>  <span class="comment">// WPAPass.cpp</span></div><div class="line"><a name="l00242"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f"> 242</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><div class="line"><a name="l00243"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b"> 243</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><div class="line"><a name="l00244"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671"> 244</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><div class="line"><a name="l00245"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd"> 245</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><div class="line"><a name="l00246"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a"> 246</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><div class="line"><a name="l00247"></a><span class="lineno"> 247</span> </div><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  <span class="comment">// DOTGraphTraits</span></div><div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3"> 249</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><div class="line"><a name="l00250"></a><span class="lineno"> 250</span> </div><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <span class="comment">// CFL option</span></div><div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f"> 252</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><div class="line"><a name="l00253"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac"> 253</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><div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f"> 254</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">PrintCFL</a>;</div><div class="line"><a name="l00255"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031"> 255</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><div class="line"><a name="l00256"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26"> 256</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><div class="line"><a name="l00257"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516"> 257</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><div class="line"><a name="l00258"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c"> 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#a2f4f7e10e3f4f11645aafe63edeef26c">POCRAlias</a>;</div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span> </div><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  <span class="comment">// Loop Analysis</span></div><div class="line"><a name="l00261"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c"> 261</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><div class="line"><a name="l00262"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e"> 262</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><div class="line"><a name="l00263"></a><span class="lineno"> 263</span> };</div><div class="line"><a name="l00264"></a><span class="lineno"> 264</span> } <span class="comment">// namespace SVF</span></div><div class="line"><a name="l00265"></a><span class="lineno"> 265</span> </div><div class="line"><a name="l00266"></a><span class="lineno"> 266</span> <span class="preprocessor">#endif // ifdef OPTIONS_H_</span></div><div class="ttc" id="classSVF_1_1Options_html_a0bb4bfd677e2e45cc8c24bfc190edfaa"><div class="ttname"><a href="classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa">SVF::Options::DumpMSSA</a></div><div class="ttdeci">static const Option< bool > DumpMSSA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00152">Options.h:152</a></div></div>
|
|
70
70
|
<div class="ttc" id="classSVF_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#l00234">Options.h:234</a></div></div>
|
|
71
71
|
<div class="ttc" id="classSVF_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#l00237">Options.h:237</a></div></div>
|
|
72
72
|
<div class="ttc" id="classSVF_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#l00216">Options.h:216</a></div></div>
|
|
@@ -122,6 +122,7 @@ $(function() {
|
|
|
122
122
|
<div class="ttc" id="classSVF_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#l00142">Options.h:142</a></div></div>
|
|
123
123
|
<div class="ttc" id="classSVF_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>
|
|
124
124
|
<div class="ttc" id="classSVF_1_1Options_html_a0a998c2e1d701b2052985691babc4567"><div class="ttname"><a href="classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567">SVF::Options::CallGraphDotGraph</a></div><div class="ttdeci">static const Option< bool > CallGraphDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00137">Options.h:137</a></div></div>
|
|
125
|
+
<div class="ttc" id="classSVF_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#l00258">Options.h:258</a></div></div>
|
|
125
126
|
<div class="ttc" id="classSVF_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#l00218">Options.h:218</a></div></div>
|
|
126
127
|
<div class="ttc" id="classSVF_1_1Options_html_a12e88ce4ba3d39017203ec4cd3ccccea"><div class="ttname"><a href="classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea">SVF::Options::FirstFieldEqBase</a></div><div class="ttdeci">static const Option< bool > FirstFieldEqBase</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00114">Options.h:114</a></div></div>
|
|
127
128
|
<div class="ttc" id="CommandLine_8h_html"><div class="ttname"><a href="CommandLine_8h.html">CommandLine.h</a></div></div>
|
|
@@ -138,7 +139,7 @@ $(function() {
|
|
|
138
139
|
<div class="ttc" id="classSVF_1_1Options_html_a737f3501a93f954790fe93d36c43fb00"><div class="ttname"><a href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00">SVF::Options::PTSAllPrint</a></div><div class="ttdeci">static const Option< bool > PTSAllPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00131">Options.h:131</a></div></div>
|
|
139
140
|
<div class="ttc" id="classSVF_1_1Options_html_abf71061d93d4a3b32246f19dc71e5127"><div class="ttname"><a href="classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127">SVF::Options::ConnectVCallOnCHA</a></div><div class="ttdeci">static const Option< bool > ConnectVCallOnCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00143">Options.h:143</a></div></div>
|
|
140
141
|
<div class="ttc" id="classSVF_1_1Options_html_a86f982d9716181bca93a350b5a11a1dc"><div class="ttname"><a href="classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc">SVF::Options::MaxZ3Size</a></div><div class="ttdeci">static const Option< u32_t > MaxZ3Size</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00221">Options.h:221</a></div></div>
|
|
141
|
-
<div class="ttc" id="classSVF_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#
|
|
142
|
+
<div class="ttc" id="classSVF_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#l00262">Options.h:262</a></div></div>
|
|
142
143
|
<div class="ttc" id="classSVF_1_1Options_html_a34e1093189fc8c150a9f2961557aa844"><div class="ttname"><a href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844">SVF::Options::PrintLockSpan</a></div><div class="ttdeci">static const Option< bool > PrintLockSpan</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00171">Options.h:171</a></div></div>
|
|
143
144
|
<div class="ttc" id="classSVF_1_1Options_html_ae88c0813d02dcb5632cd721a61a15014"><div class="ttname"><a href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014">SVF::Options::PrintQueryPts</a></div><div class="ttdeci">static const Option< bool > PrintQueryPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00102">Options.h:102</a></div></div>
|
|
144
145
|
<div class="ttc" id="classSVF_1_1Options_html_aac637c9746749320a4ebd6af36212c56"><div class="ttname"><a href="classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56">SVF::Options::AddModelFlag</a></div><div class="ttdeci">static const Option< u32_t > AddModelFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00168">Options.h:168</a></div></div>
|
|
@@ -172,7 +173,7 @@ $(function() {
|
|
|
172
173
|
<div class="ttc" id="classSVF_1_1Options_html_a8cc5b2a363724b558f4932277a87c0f6"><div class="ttname"><a href="classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6">SVF::Options::RegionedClustering</a></div><div class="ttdeci">static const Option< bool > RegionedClustering</div><div class="ttdoc">Cluster partitions separately. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00059">Options.h:59</a></div></div>
|
|
173
174
|
<div class="ttc" id="classSVF_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>
|
|
174
175
|
<div class="ttc" id="classSVF_1_1Options_html_afa6c98d477db41a457ac83cfbfd4a580"><div class="ttname"><a href="classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580">SVF::Options::DDASelected</a></div><div class="ttdeci">static OptionMultiple< PointerAnalysis::PTATY > DDASelected</div><div class="ttdoc">register this into alias analysis group </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00104">Options.h:104</a></div></div>
|
|
175
|
-
<div class="ttc" id="classSVF_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#
|
|
176
|
+
<div class="ttc" id="classSVF_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#l00261">Options.h:261</a></div></div>
|
|
176
177
|
<div class="ttc" id="classSVF_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#l00257">Options.h:257</a></div></div>
|
|
177
178
|
<div class="ttc" id="classOptionMultiple_html"><div class="ttname"><a href="classOptionMultiple.html">OptionMultiple< PointerAnalysis::PTATY ></a></div></div>
|
|
178
179
|
<div class="ttc" id="classSVF_1_1Options_html_a3fd9cce83729bc62cd2fb568b0d53db5"><div class="ttname"><a href="classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5">SVF::Options::CxtLimit</a></div><div class="ttdeci">static const Option< u32_t > CxtLimit</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00202">Options.h:202</a></div></div>
|