svf-tools 1.0.463 → 1.0.466
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/Andersen_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/BDDExpr_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DCHG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MSSAMuChi_8h.html +7 -1
- package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +2 -1
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +10 -1
- package/SVF-doxygen/html/html/Options_8cpp_source.html +40 -39
- package/SVF-doxygen/html/html/Options_8h_source.html +41 -40
- package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVFGReadWrite_8cpp.html +86 -0
- package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +125 -0
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +48 -43
- package/SVF-doxygen/html/html/SVFG_8h_source.html +41 -38
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/TCT_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1BDDExprManager.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +55 -54
- package/SVF-doxygen/html/html/classSVF_1_1Options.html +90 -64
- package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +91 -88
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +299 -113
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +100 -97
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +18 -12
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1TCT.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -2
- package/SVF-doxygen/html/html/dir_1870ebf480d659cc38d2dd7ac3aa8993.html +2 -0
- package/SVF-doxygen/html/html/files.html +4 -3
- package/SVF-doxygen/html/html/functions_c.html +5 -9
- package/SVF-doxygen/html/html/functions_func_g.html +7 -4
- package/SVF-doxygen/html/html/functions_func_r.html +7 -4
- package/SVF-doxygen/html/html/functions_func_w.html +1 -0
- package/SVF-doxygen/html/html/functions_g.html +10 -10
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +17 -17
- package/SVF-doxygen/html/html/functions_p.html +10 -10
- package/SVF-doxygen/html/html/functions_r.html +9 -3
- package/SVF-doxygen/html/html/functions_s.html +14 -14
- package/SVF-doxygen/html/html/functions_t.html +4 -4
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_g.html +0 -3
- package/SVF-doxygen/html/html/functions_vars_r.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_w.html +3 -0
- package/SVF-doxygen/html/html/functions_w.html +4 -0
- package/SVF-doxygen/html/html/globals_s.html +1 -3
- package/SVF-doxygen/html/html/namespaceSVF.html +40 -1
- package/SVF-doxygen/html/html/namespacemembers_o.html +1 -1
- package/SVF-doxygen/html/html/search/all_10.js +6 -6
- package/SVF-doxygen/html/html/search/all_12.js +5 -3
- package/SVF-doxygen/html/html/search/all_13.js +13 -12
- package/SVF-doxygen/html/html/search/all_14.js +5 -5
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_17.js +2 -1
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/all_7.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +1 -1
- package/SVF-doxygen/html/html/search/all_d.js +2 -2
- package/SVF-doxygen/html/html/search/all_e.js +5 -5
- package/SVF-doxygen/html/html/search/all_f.js +4 -4
- package/SVF-doxygen/html/html/search/files_d.js +1 -0
- package/SVF-doxygen/html/html/search/functions_14.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +1 -0
- package/SVF-doxygen/html/html/search/functions_d.js +1 -1
- package/SVF-doxygen/html/html/search/functions_f.js +1 -0
- package/SVF-doxygen/html/html/search/variables_12.js +1 -0
- package/SVF-doxygen/html/html/search/variables_14.js +3 -3
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/SVF-doxygen/html/html/search/variables_17.js +2 -1
- package/SVF-doxygen/html/html/search/variables_7.js +0 -1
- package/SVF-doxygen/html/html/search/variables_e.js +3 -3
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +20 -20
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
- package/include/Graphs/SVFG.h +4 -0
- package/include/MSSA/MSSAMuChi.h +1 -0
- package/include/Util/Options.h +3 -3
- package/lib/Graphs/SVFG.cpp +31 -27
- package/lib/Graphs/SVFGReadWrite.cpp +478 -0
- package/lib/MSSA/MemRegion.cpp +7 -0
- package/lib/Util/Options.cpp +11 -8
- package/lib/WPA/TypeAnalysis.cpp +1 -1
- package/package.json +1 -1
|
@@ -66,13 +66,13 @@ $(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="PTAStat_8h.html">MemoryModel/PTAStat.h</a>"</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span> <span class="preprocessor">#include "<a class="code" href="PointerAnalysisImpl_8h.html">MemoryModel/PointerAnalysisImpl.h</a>"</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span> <span class="preprocessor">#include "<a class="code" href="NodeIDAllocator_8h.html">Util/NodeIDAllocator.h</a>"</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span> <span class="preprocessor">#include "<a class="code" href="MemSSA_8h.html">MSSA/MemSSA.h</a>"</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span> <span class="preprocessor">#include "<a class="code" href="WPAPass_8h.html">WPA/WPAPass.h</a>"</span></div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span> </div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span> <span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span> {</div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span> </div><div class="line"><a name="l00018"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html"> 18</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1Options.html">Options</a></div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span> {</div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00021"></a><span class="lineno"> 21</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="l00022"></a><span class="lineno"> 22</span> </div><div class="line"><a name="l00023"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df"> 23</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<enum PTAStat::ClockType> <a class="code" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df">ClockType</a>;</div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span> </div><div class="line"><a name="l00030"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03"> 30</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03">MarkedClocksOnly</a>;</div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span> </div><div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065"> 34</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<SVF::NodeIDAllocator::Strategy> <a class="code" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065">NodeAllocStrat</a>;</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span> </div><div class="line"><a name="l00037"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc"> 37</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">MaxFieldLimit</a>;</div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span> </div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e"> 40</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e">ClusterAnder</a>;</div><div class="line"><a name="l00041"></a><span class="lineno"> 41</span> </div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a"> 43</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a">ClusterFs</a>;</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span> </div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b"> 46</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b">PlainMappingFs</a>;</div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span> </div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304"> 49</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<PointsTo::Type> <a class="code" href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304">PtType</a>;</div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span> </div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819"> 55</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<enum hclust_fast_methods> <a class="code" href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819">ClusterMethod</a>;</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span> </div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f"> 58</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f">RegionedClustering</a>;</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span> </div><div class="line"><a name="l00061"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b"> 61</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b">RegionAlign</a>;</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span> </div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f"> 65</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">PredictPtOcc</a>;</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span> </div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2"> 68</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<BVDataPTAImpl::PTBackingType> <a class="code" href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2">ptDataBacking</a>;</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span> </div><div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad03c4697dd4da2b6adde112e3ee1884b"> 71</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#ad03c4697dd4da2b6adde112e3ee1884b">FsTimeLimit</a>;</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span> </div><div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a620fe156ba70f997eace0ccb0d2c9f67"> 74</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a620fe156ba70f997eace0ccb0d2c9f67">AnderTimeLimit</a>;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span> </div><div class="line"><a name="l00077"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9"> 77</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9">VersioningThreads</a>;</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span> </div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  <span class="comment">// ContextDDA.cpp</span></div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874"> 80</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned long long> <a class="code" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">CxtBudget</a>;</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span> </div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  <span class="comment">// DDAClient.cpp</span></div><div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3"> 83</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3">SingleLoad</a>;</div><div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90"> 84</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90">DumpFree</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5"> 85</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5">DumpUninitVar</a>;</div><div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73"> 86</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73">DumpUninitPtr</a>;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095"> 87</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095">DumpSUPts</a>;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412"> 88</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412">DumpSUStore</a>;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c"> 89</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c">MallocOnly</a>;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e"> 90</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e">TaintUninitHeap</a>;</div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc"> 91</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc">TaintUninitStack</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span> </div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  <span class="comment">// DDAPass.cpp</span></div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c"> 94</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c">MaxPathLen</a>;</div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8"> 95</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8">MaxContextLen</a>;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84"> 96</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84">MaxStepInWrapper</a>;</div><div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce"> 97</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce">UserInputQuery</a>;</div><div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd"> 98</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd">InsenRecur</a>;</div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a35cfe6add81dc82983e0c53c36c6e667"> 99</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a35cfe6add81dc82983e0c53c36c6e667">InsenCycle</a>;</div><div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24"> 100</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24">PrintCPts</a>;</div><div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10"> 101</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10">PrintQueryPts</a>;</div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a"> 102</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a">WPANum</a>;</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b"> 103</a></span>  <span class="keyword">static</span> llvm::cl::bits<PointerAnalysis::PTATY> <a class="code" href="classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b">DDASelected</a>;</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span> </div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <span class="comment">// FlowDDA.cpp</span></div><div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7"> 106</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned long long> <a class="code" href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7">FlowBudget</a>;</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span> </div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <span class="comment">// Offline constraint graph (OfflineConsG.cpp)</span></div><div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf"> 109</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf">OCGDotGraph</a>;</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span> </div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <span class="comment">// Program Assignment Graph for pointer analysis (SVFIR.cpp)</span></div><div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40"> 112</a></span>  <span class="keyword">static</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40">HandBlackHole</a>;</div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224"> 113</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224">FirstFieldEqBase</a>;</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span> </div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  <span class="comment">// SVFG optimizer (SVFGOPT.cpp)</span></div><div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2"> 116</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2">ContextInsensitive</a>;</div><div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#acd687c31bb6662940ab8a1c3d17dc1ef"> 117</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#acd687c31bb6662940ab8a1c3d17dc1ef">KeepAOFI</a>;</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053"> 118</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std::string> <a class="code" href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053">SelfCycle</a>;</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span> </div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  <span class="comment">// Sparse value-flow graph (VFG.cpp)</span></div><div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070"> 121</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070">DumpVFG</a>;</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span> </div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  <span class="comment">// Location set for modeling abstract memory object (LocationSet.cpp)</span></div><div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015"> 124</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">SingleStride</a>;</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span> </div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <span class="comment">// Base class of pointer analyses (PointerAnalysis.cpp)</span></div><div class="line"><a name="l00127"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5"> 127</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5">TypePrint</a>;</div><div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955"> 128</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955">FuncPointerPrint</a>;</div><div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24"> 129</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24">PTSPrint</a>;</div><div class="line"><a name="l00130"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c"> 130</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c">PTSAllPrint</a>;</div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb"> 131</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb">PStat</a>;</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4"> 132</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4">StatBudget</a>;</div><div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0"> 133</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0">PAGDotGraph</a>;</div><div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558"> 134</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">ShowSVFIRValue</a>;</div><div class="line"><a name="l00135"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e"> 135</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e">DumpICFG</a>;</div><div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a61c9d525088cc044f8937a39bb96aa93"> 136</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a61c9d525088cc044f8937a39bb96aa93">CallGraphDotGraph</a>;</div><div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80"> 137</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">PAGPrint</a>;</div><div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8"> 138</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8">IndirectCallLimit</a>;</div><div class="line"><a name="l00139"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc"> 139</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc">UsePreCompFieldSensitive</a>;</div><div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c"> 140</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c">EnableAliasCheck</a>;</div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5"> 141</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5">EnableThreadCallGraph</a>;</div><div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1"> 142</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1">ConnectVCallOnCHA</a>;</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span> </div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  <span class="comment">// PointerAnalysisImpl.cpp</span></div><div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845"> 145</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845">INCDFPTData</a>;</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span> </div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <span class="comment">// Memory region (MemRegion.cpp)</span></div><div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040"> 148</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040">IgnoreDeadFun</a>;</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span> </div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  <span class="comment">// Base class of pointer analyses (MemSSA.cpp)</span></div><div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5"> 151</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5">DumpMSSA</a>;</div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d"> 152</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d">MSSAFun</a>;</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  <span class="comment">// static const llvm::cl::opt<string> MSSAFun;</span></div><div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3"> 154</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<MemSSA::MemPartition> <a class="code" href="classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3">MemPar</a>;</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span> </div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  <span class="comment">// SVFG builder (SVFGBuilder.cpp)</span></div><div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2"> 157</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2">SVFGWithIndirectCall</a>;</div><div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403"> 158</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403">SingleVFG</a>;</div><div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a"> 159</a></span>  <span class="keyword">static</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a">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"> 161</span>  <span class="comment">// FSMPTA.cpp</span></div><div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762"> 162</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762">UsePCG</a>;</div><div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464"> 163</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464">IntraLock</a>;</div><div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b"> 164</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b">ReadPrecisionTDEdge</a>;</div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371"> 165</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<u32_t> <a class="code" href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371">AddModelFlag</a>;</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span> </div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  <span class="comment">// LockAnalysis.cpp</span></div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58"> 168</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58">PrintLockSpan</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">// MHP.cpp</span></div><div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a"> 171</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a">PrintInterLev</a>;</div><div class="line"><a name="l00172"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a036b9eb8b265a8abd54680d45758e7c6"> 172</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a036b9eb8b265a8abd54680d45758e7c6">DoLockAnalysis</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span> </div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>  <span class="comment">// MTA.cpp</span></div><div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa4849115111e0ec81670c725027da6be"> 175</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa4849115111e0ec81670c725027da6be">AndersenAnno</a>;</div><div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a"> 176</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a">FSAnno</a>;</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span> </div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  <span class="comment">// MTAAnnotator.cpp</span></div><div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae1dadbd4c213f1bd5b8957b5c747bebd"> 179</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<u32_t> <a class="code" href="classSVF_1_1Options.html#ae1dadbd4c213f1bd5b8957b5c747bebd">AnnoFlag</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">// MTAResultValidator.cpp</span></div><div class="line"><a name="l00182"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e"> 182</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e">PrintValidRes</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"><a class="line" href="classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66"> 184</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66">LockValid</a>;</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  <span class="comment">//MTAStat.cpp</span></div><div class="line"><a name="l00186"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993"> 186</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993">AllPairMHP</a>;</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span> </div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  <span class="comment">// PCG.cpp</span></div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  <span class="comment">//const llvm::cl::opt<bool> TDPrint</span></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">// TCT.cpp</span></div><div class="line"><a name="l00192"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a19758db674de8af8a1c80734a1c0fac8"> 192</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a19758db674de8af8a1c80734a1c0fac8">TCTDotGraph</a>;</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">// LeakChecker.cpp</span></div><div class="line"><a name="l00195"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c"> 195</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c">ValidateTests</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">// Source-sink analyzer (SrcSnkDDA.cpp)</span></div><div class="line"><a name="l00198"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ace1f2368a0a466f98c9e53def47db3ab"> 198</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ace1f2368a0a466f98c9e53def47db3ab">DumpSlice</a>;</div><div class="line"><a name="l00199"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a21cbaab292e9f5bd39109f774fcc88d4"> 199</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a21cbaab292e9f5bd39109f774fcc88d4">CxtLimit</a>;</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span> </div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  <span class="comment">// CHG.cpp</span></div><div class="line"><a name="l00202"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456"> 202</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456">DumpCHA</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">// DCHG.cpp</span></div><div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316"> 205</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316">PrintDCHG</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">// LLVMModule.cpp</span></div><div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38"> 208</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std::string> <a class="code" href="classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38">Graphtxt</a>;</div><div class="line"><a name="l00209"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385"> 209</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385">SVFMain</a>;</div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span> </div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  <span class="comment">// SymbolTableInfo.cpp</span></div><div class="line"><a name="l00212"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940"> 212</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940">LocMemModel</a>;</div><div class="line"><a name="l00213"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5c051cf6a93a87a07aa1d31e302a2877"> 213</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5c051cf6a93a87a07aa1d31e302a2877">ModelConsts</a>;</div><div class="line"><a name="l00214"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a170426acc0f9d99470fd1bde40d273e2"> 214</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a170426acc0f9d99470fd1bde40d273e2">ModelArrays</a>;</div><div class="line"><a name="l00215"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85"> 215</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85">SymTabPrint</a>;</div><div class="line"><a name="l00216"></a><span class="lineno"> 216</span> </div><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  <span class="comment">// Conditions.cpp</span></div><div class="line"><a name="l00218"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a344ca0e4b8d9159836e558aed44be1b4"> 218</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a344ca0e4b8d9159836e558aed44be1b4">MaxBddSize</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">// PathCondAllocator.cpp</span></div><div class="line"><a name="l00221"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496"> 221</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">PrintPathCond</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">// SVFUtil.cpp</span></div><div class="line"><a name="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab4206ecb79fdcd2d5211bfbd2537cacb"> 224</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab4206ecb79fdcd2d5211bfbd2537cacb">DisableWarn</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">// Andersen.cpp</span></div><div class="line"><a name="l00227"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a69a7d0431c0ddfefed1cb97f3571303a"> 227</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a69a7d0431c0ddfefed1cb97f3571303a">ConsCGDotGraph</a>;</div><div class="line"><a name="l00228"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177"> 228</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177">BriefConsCGDotGraph</a>;</div><div class="line"><a name="l00229"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268"> 229</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268">PrintCGGraph</a>;</div><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>  <span class="comment">// static const llvm::cl::opt<string> WriteAnder;</span></div><div class="line"><a name="l00231"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a"> 231</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a">WriteAnder</a>;</div><div class="line"><a name="l00232"></a><span class="lineno"> 232</span>  <span class="comment">// static const llvm::cl::opt<string> ReadAnder;</span></div><div class="line"><a name="l00233"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a98a521e5c99c5248eae8f8234453b116"> 233</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a98a521e5c99c5248eae8f8234453b116">ReadAnder</a>;</div><div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206"> 234</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206">PtsDiff</a>;</div><div class="line"><a name="l00235"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed"> 235</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed">MergePWC</a>;</div><div class="line"><a name="l00236"></a><span class="lineno"> 236</span> </div><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>  <span class="comment">// FlowSensitive.cpp</span></div><div class="line"><a name="l00238"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77"> 238</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77">CTirAliasEval</a>;</div><div class="line"><a name="l00239"></a><span class="lineno"> 239</span> </div><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>  <span class="comment">//FlowSensitiveTBHC.cpp</span></div><div class="line"><a name="l00241"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e"> 241</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e">TBHCStoreReuse</a>;</div><div class="line"><a name="l00242"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f"> 242</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f">TBHCAllReuse</a>;</div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span> </div><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>  <span class="comment">// TypeAnalysis.cpp</span></div><div class="line"><a name="l00245"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5d839932d78bedf6f5eb75358699732f"> 245</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5d839932d78bedf6f5eb75358699732f">GenICFG</a>;</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span> </div><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  <span class="comment">// WPAPass.cpp</span></div><div class="line"><a name="l00248"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3"> 248</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">AnderSVFG</a>;</div><div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590"> 249</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590">SABERFULLSVFG</a>;</div><div class="line"><a name="l00250"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe"> 250</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe">PrintAliases</a>;</div><div class="line"><a name="l00251"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038"> 251</a></span>  <span class="keyword">static</span> llvm::cl::bits<PointerAnalysis::PTATY> <a class="code" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">PASelected</a>;</div><div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7"> 252</a></span>  <span class="keyword">static</span> llvm::cl::bits<WPAPass::AliasCheckRule> <a class="code" href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7">AliasRule</a>;</div><div class="line"><a name="l00253"></a><span class="lineno"> 253</span> </div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  <span class="comment">// DOTGraphTraits</span></div><div class="line"><a name="l00255"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b"> 255</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">ShowHiddenNode</a>;</div><div class="line"><a name="l00256"></a><span class="lineno"> 256</span> </div><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  <span class="comment">// CFL option</span></div><div class="line"><a name="l00258"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a322f78488d420e41a648d603f2773c56"> 258</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std::string> <a class="code" href="classSVF_1_1Options.html#a322f78488d420e41a648d603f2773c56">InputFilename</a>;</div><div class="line"><a name="l00259"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596"> 259</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std::string> <a class="code" href="classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596">GrammarFilename</a>;</div><div class="line"><a name="l00260"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0d099b268241f4658eb06a14ef598888"> 260</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a0d099b268241f4658eb06a14ef598888">GraphIsFromDot</a>;</div><div class="line"><a name="l00261"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5bbbe648c96c9600e9c825dd31585785"> 261</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5bbbe648c96c9600e9c825dd31585785">GrammarIsEBNF</a>;</div><div class="line"><a name="l00262"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357"> 262</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357">FlexSymMap</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_ab9db3ae038f26a350afc964952907bd7"><div class="ttname"><a href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7">SVF::Options::AliasRule</a></div><div class="ttdeci">static llvm::cl::bits< WPAPass::AliasCheckRule > AliasRule</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00252">Options.h:252</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="PTAStat_8h.html">MemoryModel/PTAStat.h</a>"</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span> <span class="preprocessor">#include "<a class="code" href="PointerAnalysisImpl_8h.html">MemoryModel/PointerAnalysisImpl.h</a>"</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span> <span class="preprocessor">#include "<a class="code" href="NodeIDAllocator_8h.html">Util/NodeIDAllocator.h</a>"</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span> <span class="preprocessor">#include "<a class="code" href="MemSSA_8h.html">MSSA/MemSSA.h</a>"</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span> <span class="preprocessor">#include "<a class="code" href="WPAPass_8h.html">WPA/WPAPass.h</a>"</span></div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span> </div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span> <span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span> {</div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span> </div><div class="line"><a name="l00018"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html"> 18</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1Options.html">Options</a></div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span> {</div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00021"></a><span class="lineno"> 21</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="l00022"></a><span class="lineno"> 22</span> </div><div class="line"><a name="l00023"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df"> 23</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<enum PTAStat::ClockType> <a class="code" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df">ClockType</a>;</div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span> </div><div class="line"><a name="l00030"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03"> 30</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03">MarkedClocksOnly</a>;</div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span> </div><div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065"> 34</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<SVF::NodeIDAllocator::Strategy> <a class="code" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065">NodeAllocStrat</a>;</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span> </div><div class="line"><a name="l00037"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc"> 37</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">MaxFieldLimit</a>;</div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span> </div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e"> 40</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e">ClusterAnder</a>;</div><div class="line"><a name="l00041"></a><span class="lineno"> 41</span> </div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a"> 43</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a">ClusterFs</a>;</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span> </div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b"> 46</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b">PlainMappingFs</a>;</div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span> </div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304"> 49</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<PointsTo::Type> <a class="code" href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304">PtType</a>;</div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span> </div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819"> 55</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<enum hclust_fast_methods> <a class="code" href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819">ClusterMethod</a>;</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span> </div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f"> 58</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f">RegionedClustering</a>;</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span> </div><div class="line"><a name="l00061"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b"> 61</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b">RegionAlign</a>;</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span> </div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f"> 65</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">PredictPtOcc</a>;</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span> </div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2"> 68</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<BVDataPTAImpl::PTBackingType> <a class="code" href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2">ptDataBacking</a>;</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span> </div><div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad03c4697dd4da2b6adde112e3ee1884b"> 71</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#ad03c4697dd4da2b6adde112e3ee1884b">FsTimeLimit</a>;</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span> </div><div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a620fe156ba70f997eace0ccb0d2c9f67"> 74</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a620fe156ba70f997eace0ccb0d2c9f67">AnderTimeLimit</a>;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span> </div><div class="line"><a name="l00077"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9"> 77</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9">VersioningThreads</a>;</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span> </div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  <span class="comment">// ContextDDA.cpp</span></div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874"> 80</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned long long> <a class="code" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">CxtBudget</a>;</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span> </div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  <span class="comment">// DDAClient.cpp</span></div><div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3"> 83</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3">SingleLoad</a>;</div><div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90"> 84</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90">DumpFree</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5"> 85</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5">DumpUninitVar</a>;</div><div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73"> 86</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73">DumpUninitPtr</a>;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095"> 87</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095">DumpSUPts</a>;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412"> 88</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412">DumpSUStore</a>;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c"> 89</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c">MallocOnly</a>;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e"> 90</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e">TaintUninitHeap</a>;</div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc"> 91</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc">TaintUninitStack</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span> </div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  <span class="comment">// DDAPass.cpp</span></div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c"> 94</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c">MaxPathLen</a>;</div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8"> 95</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8">MaxContextLen</a>;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84"> 96</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84">MaxStepInWrapper</a>;</div><div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce"> 97</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce">UserInputQuery</a>;</div><div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd"> 98</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd">InsenRecur</a>;</div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a35cfe6add81dc82983e0c53c36c6e667"> 99</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a35cfe6add81dc82983e0c53c36c6e667">InsenCycle</a>;</div><div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24"> 100</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24">PrintCPts</a>;</div><div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10"> 101</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10">PrintQueryPts</a>;</div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a"> 102</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a">WPANum</a>;</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b"> 103</a></span>  <span class="keyword">static</span> llvm::cl::bits<PointerAnalysis::PTATY> <a class="code" href="classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b">DDASelected</a>;</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span> </div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <span class="comment">// FlowDDA.cpp</span></div><div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7"> 106</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned long long> <a class="code" href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7">FlowBudget</a>;</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span> </div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <span class="comment">// Offline constraint graph (OfflineConsG.cpp)</span></div><div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf"> 109</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf">OCGDotGraph</a>;</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span> </div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <span class="comment">// Program Assignment Graph for pointer analysis (SVFIR.cpp)</span></div><div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40"> 112</a></span>  <span class="keyword">static</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40">HandBlackHole</a>;</div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224"> 113</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224">FirstFieldEqBase</a>;</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span> </div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  <span class="comment">// SVFG optimizer (SVFGOPT.cpp)</span></div><div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2"> 116</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2">ContextInsensitive</a>;</div><div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#acd687c31bb6662940ab8a1c3d17dc1ef"> 117</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#acd687c31bb6662940ab8a1c3d17dc1ef">KeepAOFI</a>;</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053"> 118</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std::string> <a class="code" href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053">SelfCycle</a>;</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span> </div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  <span class="comment">// Sparse value-flow graph (VFG.cpp)</span></div><div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070"> 121</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070">DumpVFG</a>;</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span> </div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  <span class="comment">// Location set for modeling abstract memory object (LocationSet.cpp)</span></div><div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015"> 124</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">SingleStride</a>;</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span> </div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <span class="comment">// Base class of pointer analyses (PointerAnalysis.cpp)</span></div><div class="line"><a name="l00127"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5"> 127</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5">TypePrint</a>;</div><div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955"> 128</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955">FuncPointerPrint</a>;</div><div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24"> 129</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24">PTSPrint</a>;</div><div class="line"><a name="l00130"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c"> 130</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c">PTSAllPrint</a>;</div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb"> 131</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb">PStat</a>;</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4"> 132</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4">StatBudget</a>;</div><div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0"> 133</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0">PAGDotGraph</a>;</div><div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558"> 134</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">ShowSVFIRValue</a>;</div><div class="line"><a name="l00135"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e"> 135</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e">DumpICFG</a>;</div><div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a61c9d525088cc044f8937a39bb96aa93"> 136</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a61c9d525088cc044f8937a39bb96aa93">CallGraphDotGraph</a>;</div><div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80"> 137</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">PAGPrint</a>;</div><div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8"> 138</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8">IndirectCallLimit</a>;</div><div class="line"><a name="l00139"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc"> 139</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc">UsePreCompFieldSensitive</a>;</div><div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c"> 140</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c">EnableAliasCheck</a>;</div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5"> 141</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5">EnableThreadCallGraph</a>;</div><div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1"> 142</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1">ConnectVCallOnCHA</a>;</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span> </div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  <span class="comment">// PointerAnalysisImpl.cpp</span></div><div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845"> 145</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845">INCDFPTData</a>;</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span> </div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <span class="comment">// Memory region (MemRegion.cpp)</span></div><div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040"> 148</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040">IgnoreDeadFun</a>;</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span> </div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  <span class="comment">// Base class of pointer analyses (MemSSA.cpp)</span></div><div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5"> 151</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5">DumpMSSA</a>;</div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d"> 152</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d">MSSAFun</a>;</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  <span class="comment">// static const llvm::cl::opt<string> MSSAFun;</span></div><div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3"> 154</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<MemSSA::MemPartition> <a class="code" href="classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3">MemPar</a>;</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span> </div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  <span class="comment">// SVFG builder (SVFGBuilder.cpp)</span></div><div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2"> 157</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2">SVFGWithIndirectCall</a>;</div><div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403"> 158</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403">SingleVFG</a>;</div><div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a"> 159</a></span>  <span class="keyword">static</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a">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#a4a9e039ba28cc7cdadf9d9d4fa64ab11"> 161</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a4a9e039ba28cc7cdadf9d9d4fa64ab11">WriteSVFG</a>;</div><div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1608ded89f829a780d67cb82e1e62944"> 162</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a1608ded89f829a780d67cb82e1e62944">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#af2f66307e1d51947676f622c98ef0762"> 165</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762">UsePCG</a>;</div><div class="line"><a name="l00166"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464"> 166</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464">IntraLock</a>;</div><div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b"> 167</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b">ReadPrecisionTDEdge</a>;</div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371"> 168</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<u32_t> <a class="code" href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371">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#ab8a9641b660197b4421fbd6141858c58"> 171</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58">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#aa3e6c78eb346a52bbaaac2610573604a"> 174</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a">PrintInterLev</a>;</div><div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a036b9eb8b265a8abd54680d45758e7c6"> 175</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a036b9eb8b265a8abd54680d45758e7c6">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#aa4849115111e0ec81670c725027da6be"> 178</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa4849115111e0ec81670c725027da6be">AndersenAnno</a>;</div><div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a"> 179</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a">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#ae1dadbd4c213f1bd5b8957b5c747bebd"> 182</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<u32_t> <a class="code" href="classSVF_1_1Options.html#ae1dadbd4c213f1bd5b8957b5c747bebd">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#ac609142ee5a0caaf3ac51238ec421c2e"> 185</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e">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#a78b3b44f2c0dc94dc1363ca57ee76d66"> 187</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66">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#aa78f442ee8d7272e98396fd86dea4993"> 189</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993">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 llvm::cl::opt<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#a19758db674de8af8a1c80734a1c0fac8"> 195</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a19758db674de8af8a1c80734a1c0fac8">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#aec491143ded97649da1ed61b8fda796c"> 198</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c">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#ace1f2368a0a466f98c9e53def47db3ab"> 201</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ace1f2368a0a466f98c9e53def47db3ab">DumpSlice</a>;</div><div class="line"><a name="l00202"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a21cbaab292e9f5bd39109f774fcc88d4"> 202</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a21cbaab292e9f5bd39109f774fcc88d4">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#ab13a47f6dd4eedfaa607d36448a1d456"> 205</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456">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#adf6c289ef9f2d0196984dd4024ea4316"> 208</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316">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#aa5c4bc8e55a056adcd7a6f8946ad5f38"> 211</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std::string> <a class="code" href="classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38">Graphtxt</a>;</div><div class="line"><a name="l00212"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385"> 212</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385">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#aba8e13f8bb26cf6a0718282e6f9a1940"> 215</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940">LocMemModel</a>;</div><div class="line"><a name="l00216"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5c051cf6a93a87a07aa1d31e302a2877"> 216</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5c051cf6a93a87a07aa1d31e302a2877">ModelConsts</a>;</div><div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a170426acc0f9d99470fd1bde40d273e2"> 217</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a170426acc0f9d99470fd1bde40d273e2">ModelArrays</a>;</div><div class="line"><a name="l00218"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85"> 218</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85">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#a344ca0e4b8d9159836e558aed44be1b4"> 221</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a344ca0e4b8d9159836e558aed44be1b4">MaxBddSize</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">// PathCondAllocator.cpp</span></div><div class="line"><a name="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496"> 224</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">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#ab4206ecb79fdcd2d5211bfbd2537cacb"> 227</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab4206ecb79fdcd2d5211bfbd2537cacb">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#a69a7d0431c0ddfefed1cb97f3571303a"> 230</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a69a7d0431c0ddfefed1cb97f3571303a">ConsCGDotGraph</a>;</div><div class="line"><a name="l00231"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177"> 231</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177">BriefConsCGDotGraph</a>;</div><div class="line"><a name="l00232"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268"> 232</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268">PrintCGGraph</a>;</div><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  <span class="comment">// static const llvm::cl::opt<string> WriteAnder;</span></div><div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a"> 234</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a">WriteAnder</a>;</div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  <span class="comment">// static const llvm::cl::opt<string> ReadAnder;</span></div><div class="line"><a name="l00236"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a98a521e5c99c5248eae8f8234453b116"> 236</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a98a521e5c99c5248eae8f8234453b116">ReadAnder</a>;</div><div class="line"><a name="l00237"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206"> 237</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206">PtsDiff</a>;</div><div class="line"><a name="l00238"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed"> 238</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed">MergePWC</a>;</div><div class="line"><a name="l00239"></a><span class="lineno"> 239</span> </div><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>  <span class="comment">// FlowSensitive.cpp</span></div><div class="line"><a name="l00241"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77"> 241</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77">CTirAliasEval</a>;</div><div class="line"><a name="l00242"></a><span class="lineno"> 242</span> </div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  <span class="comment">//FlowSensitiveTBHC.cpp</span></div><div class="line"><a name="l00244"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e"> 244</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e">TBHCStoreReuse</a>;</div><div class="line"><a name="l00245"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f"> 245</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f">TBHCAllReuse</a>;</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span> </div><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  <span class="comment">// WPAPass.cpp</span></div><div class="line"><a name="l00248"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3"> 248</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">AnderSVFG</a>;</div><div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590"> 249</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590">SABERFULLSVFG</a>;</div><div class="line"><a name="l00250"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe"> 250</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe">PrintAliases</a>;</div><div class="line"><a name="l00251"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038"> 251</a></span>  <span class="keyword">static</span> llvm::cl::bits<PointerAnalysis::PTATY> <a class="code" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">PASelected</a>;</div><div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7"> 252</a></span>  <span class="keyword">static</span> llvm::cl::bits<WPAPass::AliasCheckRule> <a class="code" href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7">AliasRule</a>;</div><div class="line"><a name="l00253"></a><span class="lineno"> 253</span> </div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  <span class="comment">// DOTGraphTraits</span></div><div class="line"><a name="l00255"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b"> 255</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">ShowHiddenNode</a>;</div><div class="line"><a name="l00256"></a><span class="lineno"> 256</span> </div><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  <span class="comment">// CFL option</span></div><div class="line"><a name="l00258"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a322f78488d420e41a648d603f2773c56"> 258</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std::string> <a class="code" href="classSVF_1_1Options.html#a322f78488d420e41a648d603f2773c56">InputFilename</a>;</div><div class="line"><a name="l00259"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596"> 259</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std::string> <a class="code" href="classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596">GrammarFilename</a>;</div><div class="line"><a name="l00260"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0d099b268241f4658eb06a14ef598888"> 260</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a0d099b268241f4658eb06a14ef598888">GraphIsFromDot</a>;</div><div class="line"><a name="l00261"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5bbbe648c96c9600e9c825dd31585785"> 261</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5bbbe648c96c9600e9c825dd31585785">GrammarIsEBNF</a>;</div><div class="line"><a name="l00262"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357"> 262</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357">FlexSymMap</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_ab9db3ae038f26a350afc964952907bd7"><div class="ttname"><a href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7">SVF::Options::AliasRule</a></div><div class="ttdeci">static llvm::cl::bits< WPAPass::AliasCheckRule > AliasRule</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00252">Options.h:252</a></div></div>
|
|
70
70
|
<div class="ttc" id="classSVF_1_1Options_html_abae23cb06d932f93900f627813b9f4a4"><div class="ttname"><a href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4">SVF::Options::StatBudget</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > StatBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00132">Options.h:132</a></div></div>
|
|
71
71
|
<div class="ttc" id="classSVF_1_1Options_html_affd0cb6e0cb91e096537a3d3198bf4e5"><div class="ttname"><a href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5">SVF::Options::TypePrint</a></div><div class="ttdeci">static const llvm::cl::opt< bool > TypePrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00127">Options.h:127</a></div></div>
|
|
72
72
|
<div class="ttc" id="classSVF_1_1Options_html_a2f671b5844b2c167a2c44b90061bfd73"><div class="ttname"><a href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73">SVF::Options::DumpUninitPtr</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpUninitPtr</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00086">Options.h:86</a></div></div>
|
|
73
|
-
<div class="ttc" id="classSVF_1_1Options_html_aa5c4bc8e55a056adcd7a6f8946ad5f38"><div class="ttname"><a href="classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38">SVF::Options::Graphtxt</a></div><div class="ttdeci">static const llvm::cl::opt< std::string > Graphtxt</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
73
|
+
<div class="ttc" id="classSVF_1_1Options_html_aa5c4bc8e55a056adcd7a6f8946ad5f38"><div class="ttname"><a href="classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38">SVF::Options::Graphtxt</a></div><div class="ttdeci">static const llvm::cl::opt< std::string > Graphtxt</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00211">Options.h:211</a></div></div>
|
|
74
74
|
<div class="ttc" id="classSVF_1_1Options_html_ad03c4697dd4da2b6adde112e3ee1884b"><div class="ttname"><a href="classSVF_1_1Options.html#ad03c4697dd4da2b6adde112e3ee1884b">SVF::Options::FsTimeLimit</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > FsTimeLimit</div><div class="ttdoc">Time limit for the main phase (i.e., the actual solving) of FS analyses. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00071">Options.h:71</a></div></div>
|
|
75
|
-
<div class="ttc" id="classSVF_1_1Options_html_abbfd1d7e985483c486394d8db85b6a85"><div class="ttname"><a href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85">SVF::Options::SymTabPrint</a></div><div class="ttdeci">static const llvm::cl::opt< bool > SymTabPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
75
|
+
<div class="ttc" id="classSVF_1_1Options_html_abbfd1d7e985483c486394d8db85b6a85"><div class="ttname"><a href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85">SVF::Options::SymTabPrint</a></div><div class="ttdeci">static const llvm::cl::opt< bool > SymTabPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00218">Options.h:218</a></div></div>
|
|
76
76
|
<div class="ttc" id="classSVF_1_1Options_html_a113ee30422ef08b6790eed9a83277b9c"><div class="ttname"><a href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c">SVF::Options::PTSAllPrint</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PTSAllPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00130">Options.h:130</a></div></div>
|
|
77
77
|
<div class="ttc" id="classSVF_1_1Options_html_a5bbbe648c96c9600e9c825dd31585785"><div class="ttname"><a href="classSVF_1_1Options.html#a5bbbe648c96c9600e9c825dd31585785">SVF::Options::GrammarIsEBNF</a></div><div class="ttdeci">static const llvm::cl::opt< bool > GrammarIsEBNF</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00261">Options.h:261</a></div></div>
|
|
78
78
|
<div class="ttc" id="classSVF_1_1Options_html_ace0fa364337374ce75a58a9e2f229e24"><div class="ttname"><a href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24">SVF::Options::PTSPrint</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PTSPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00129">Options.h:129</a></div></div>
|
|
@@ -80,32 +80,34 @@ $(function() {
|
|
|
80
80
|
<div class="ttc" id="classSVF_1_1Options_html_a9dc372635fc6f5ea2d902fc5c49fca8a"><div class="ttname"><a href="classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a">SVF::Options::ClusterFs</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ClusterFs</div><div class="ttdoc">Whether to cluster FS or VFS with the auxiliary Andersen&#39;s. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00043">Options.h:43</a></div></div>
|
|
81
81
|
<div class="ttc" id="classSVF_1_1Options_html_a2e53156bd075d7802d390672f129c6a8"><div class="ttname"><a href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8">SVF::Options::MaxContextLen</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > MaxContextLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00095">Options.h:95</a></div></div>
|
|
82
82
|
<div class="ttc" id="classSVF_1_1Options_html_a32ef95b3bd06b50337b3129b74ffb45c"><div class="ttname"><a href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c">SVF::Options::MaxPathLen</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > MaxPathLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00094">Options.h:94</a></div></div>
|
|
83
|
-
<div class="ttc" id="classSVF_1_1Options_html_a5c051cf6a93a87a07aa1d31e302a2877"><div class="ttname"><a href="classSVF_1_1Options.html#a5c051cf6a93a87a07aa1d31e302a2877">SVF::Options::ModelConsts</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ModelConsts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
84
|
-
<div class="ttc" id="classSVF_1_1Options_html_ab4206ecb79fdcd2d5211bfbd2537cacb"><div class="ttname"><a href="classSVF_1_1Options.html#ab4206ecb79fdcd2d5211bfbd2537cacb">SVF::Options::DisableWarn</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DisableWarn</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
83
|
+
<div class="ttc" id="classSVF_1_1Options_html_a5c051cf6a93a87a07aa1d31e302a2877"><div class="ttname"><a href="classSVF_1_1Options.html#a5c051cf6a93a87a07aa1d31e302a2877">SVF::Options::ModelConsts</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ModelConsts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00216">Options.h:216</a></div></div>
|
|
84
|
+
<div class="ttc" id="classSVF_1_1Options_html_ab4206ecb79fdcd2d5211bfbd2537cacb"><div class="ttname"><a href="classSVF_1_1Options.html#ab4206ecb79fdcd2d5211bfbd2537cacb">SVF::Options::DisableWarn</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DisableWarn</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00227">Options.h:227</a></div></div>
|
|
85
85
|
<div class="ttc" id="classSVF_1_1Options_html_a79dff5235e82e1313fa4b053f866f357"><div class="ttname"><a href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357">SVF::Options::FlexSymMap</a></div><div class="ttdeci">static const llvm::cl::opt< bool > FlexSymMap</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00262">Options.h:262</a></div></div>
|
|
86
86
|
<div class="ttc" id="classSVF_1_1Options_html_a498a1a05a08be1ffd845aefeb0672bcb"><div class="ttname"><a href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb">SVF::Options::PStat</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PStat</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00131">Options.h:131</a></div></div>
|
|
87
|
-
<div class="ttc" id="classSVF_1_1Options_html_ae1dadbd4c213f1bd5b8957b5c747bebd"><div class="ttname"><a href="classSVF_1_1Options.html#ae1dadbd4c213f1bd5b8957b5c747bebd">SVF::Options::AnnoFlag</a></div><div class="ttdeci">static const llvm::cl::opt< u32_t > AnnoFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
87
|
+
<div class="ttc" id="classSVF_1_1Options_html_ae1dadbd4c213f1bd5b8957b5c747bebd"><div class="ttname"><a href="classSVF_1_1Options.html#ae1dadbd4c213f1bd5b8957b5c747bebd">SVF::Options::AnnoFlag</a></div><div class="ttdeci">static const llvm::cl::opt< u32_t > AnnoFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00182">Options.h:182</a></div></div>
|
|
88
88
|
<div class="ttc" id="classSVF_1_1Options_html_a9ec1d22e20b655e364fea03ba7d923a2"><div class="ttname"><a href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2">SVF::Options::ptDataBacking</a></div><div class="ttdeci">static const llvm::cl::opt< BVDataPTAImpl::PTBackingType > ptDataBacking</div><div class="ttdoc">PTData type. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00068">Options.h:68</a></div></div>
|
|
89
89
|
<div class="ttc" id="classSVF_1_1Options_html_a2780c16611375631cd48bf9487f9e0bf"><div class="ttname"><a href="classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf">SVF::Options::OCGDotGraph</a></div><div class="ttdeci">static const llvm::cl::opt< bool > OCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00109">Options.h:109</a></div></div>
|
|
90
90
|
<div class="ttc" id="classSVF_1_1Options_html_a7b9af13feccc116377aeb107640ae874"><div class="ttname"><a href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">SVF::Options::CxtBudget</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned long long > CxtBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00080">Options.h:80</a></div></div>
|
|
91
91
|
<div class="ttc" id="classSVF_1_1Options_html_a2537be131132830c63d408133619a065"><div class="ttname"><a href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065">SVF::Options::NodeAllocStrat</a></div><div class="ttdeci">static const llvm::cl::opt< SVF::NodeIDAllocator::Strategy > NodeAllocStrat</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00034">Options.h:34</a></div></div>
|
|
92
92
|
<div class="ttc" id="classSVF_1_1Options_html_aa734ee7b55809934b441cf5e5818e015"><div class="ttname"><a href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">SVF::Options::SingleStride</a></div><div class="ttdeci">static const llvm::cl::opt< bool > SingleStride</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00124">Options.h:124</a></div></div>
|
|
93
|
+
<div class="ttc" id="classSVF_1_1Options_html_a1608ded89f829a780d67cb82e1e62944"><div class="ttname"><a href="classSVF_1_1Options.html#a1608ded89f829a780d67cb82e1e62944">SVF::Options::ReadSVFG</a></div><div class="ttdeci">static const llvm::cl::opt< std ::string > ReadSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00162">Options.h:162</a></div></div>
|
|
93
94
|
<div class="ttc" id="classSVF_1_1Options_html_a5fb7733fd66ecad30eea8ced3839e590"><div class="ttname"><a href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590">SVF::Options::SABERFULLSVFG</a></div><div class="ttdeci">static const llvm::cl::opt< bool > SABERFULLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00249">Options.h:249</a></div></div>
|
|
94
95
|
<div class="ttc" id="classSVF_1_1Options_html_a153d42a480ef1763ad59fd7258ac3ac5"><div class="ttname"><a href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5">SVF::Options::EnableThreadCallGraph</a></div><div class="ttdeci">static const llvm::cl::opt< bool > EnableThreadCallGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00141">Options.h:141</a></div></div>
|
|
95
96
|
<div class="ttc" id="classSVF_1_1Options_html_a2ef679d4177438655577e7fef7c0cc90"><div class="ttname"><a href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90">SVF::Options::DumpFree</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpFree</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00084">Options.h:84</a></div></div>
|
|
96
97
|
<div class="ttc" id="classSVF_1_1Options_html_a30abe362add49b0b7083f34530aa446c"><div class="ttname"><a href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c">SVF::Options::MallocOnly</a></div><div class="ttdeci">static const llvm::cl::opt< bool > MallocOnly</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00089">Options.h:89</a></div></div>
|
|
97
98
|
<div class="ttc" id="classSVF_1_1Options_html_ac2e5aab778f266c5de58cb6eb1939095"><div class="ttname"><a href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095">SVF::Options::DumpSUPts</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpSUPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00087">Options.h:87</a></div></div>
|
|
98
99
|
<div class="ttc" id="classSVF_1_1Options_html_ad6c29b05188c9e06aa89623c61865ed8"><div class="ttname"><a href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8">SVF::Options::IndirectCallLimit</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > IndirectCallLimit</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00138">Options.h:138</a></div></div>
|
|
99
|
-
<div class="ttc" id="
|
|
100
|
+
<div class="ttc" id="classSVF_1_1Options_html_a4a9e039ba28cc7cdadf9d9d4fa64ab11"><div class="ttname"><a href="classSVF_1_1Options.html#a4a9e039ba28cc7cdadf9d9d4fa64ab11">SVF::Options::WriteSVFG</a></div><div class="ttdeci">static const llvm::cl::opt< std ::string > WriteSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00161">Options.h:161</a></div></div>
|
|
101
|
+
<div class="ttc" id="classSVF_1_1Options_html_a78b3b44f2c0dc94dc1363ca57ee76d66"><div class="ttname"><a href="classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66">SVF::Options::LockValid</a></div><div class="ttdeci">static const llvm::cl::opt< bool > LockValid</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00187">Options.h:187</a></div></div>
|
|
100
102
|
<div class="ttc" id="classSVF_1_1Options_html_adfc1a5c6098d3867e29fc65ca9ffa1cc"><div class="ttname"><a href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00037">Options.h:37</a></div></div>
|
|
101
|
-
<div class="ttc" id="classSVF_1_1Options_html_ad148549070b042aeddafca39ee949c77"><div class="ttname"><a href="classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77">SVF::Options::CTirAliasEval</a></div><div class="ttdeci">static const llvm::cl::opt< bool > CTirAliasEval</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
103
|
+
<div class="ttc" id="classSVF_1_1Options_html_ad148549070b042aeddafca39ee949c77"><div class="ttname"><a href="classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77">SVF::Options::CTirAliasEval</a></div><div class="ttdeci">static const llvm::cl::opt< bool > CTirAliasEval</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00241">Options.h:241</a></div></div>
|
|
102
104
|
<div class="ttc" id="classSVF_1_1Options_html_a3a20311c732fb391332ae0ee1cb450a0"><div class="ttname"><a href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0">SVF::Options::PAGDotGraph</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PAGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00133">Options.h:133</a></div></div>
|
|
103
105
|
<div class="ttc" id="classSVF_1_1Options_html_af34d8a738db4f40addc1de930e79654f"><div class="ttname"><a href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">SVF::Options::PredictPtOcc</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PredictPtOcc</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00065">Options.h:65</a></div></div>
|
|
104
106
|
<div class="ttc" id="classSVF_1_1Options_html_a4ac0e6b77fc9ccc18b269268b3cd046d"><div class="ttname"><a href="classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d">SVF::Options::MSSAFun</a></div><div class="ttdeci">static const llvm::cl::opt< std ::string > MSSAFun</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00152">Options.h:152</a></div></div>
|
|
105
|
-
<div class="ttc" id="classSVF_1_1Options_html_af129d2ff94af3f6830c0678cb4b72371"><div class="ttname"><a href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371">SVF::Options::AddModelFlag</a></div><div class="ttdeci">static const llvm::cl::opt< u32_t > AddModelFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
107
|
+
<div class="ttc" id="classSVF_1_1Options_html_af129d2ff94af3f6830c0678cb4b72371"><div class="ttname"><a href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371">SVF::Options::AddModelFlag</a></div><div class="ttdeci">static const llvm::cl::opt< u32_t > AddModelFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00168">Options.h:168</a></div></div>
|
|
106
108
|
<div class="ttc" id="classSVF_1_1Options_html_abc02c7dc5e6cb3613856e0f774c6d304"><div class="ttname"><a href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304">SVF::Options::PtType</a></div><div class="ttdeci">static const llvm::cl::opt< PointsTo::Type > PtType</div><div class="ttdoc">Type of points-to set to use for all analyses. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00049">Options.h:49</a></div></div>
|
|
107
109
|
<div class="ttc" id="classSVF_1_1Options_html_a3ed96242ac56a05d057ebd11b23cf053"><div class="ttname"><a href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053">SVF::Options::SelfCycle</a></div><div class="ttdeci">static const llvm::cl::opt< std::string > SelfCycle</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00118">Options.h:118</a></div></div>
|
|
108
|
-
<div class="ttc" id="classSVF_1_1Options_html_adf6c289ef9f2d0196984dd4024ea4316"><div class="ttname"><a href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316">SVF::Options::PrintDCHG</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintDCHG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
110
|
+
<div class="ttc" id="classSVF_1_1Options_html_adf6c289ef9f2d0196984dd4024ea4316"><div class="ttname"><a href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316">SVF::Options::PrintDCHG</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintDCHG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00208">Options.h:208</a></div></div>
|
|
109
111
|
<div class="ttc" id="classSVF_1_1Options_html_a50182faec95c6c4635df65a55148b040"><div class="ttname"><a href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040">SVF::Options::IgnoreDeadFun</a></div><div class="ttdeci">static const llvm::cl::opt< bool > IgnoreDeadFun</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00148">Options.h:148</a></div></div>
|
|
110
112
|
<div class="ttc" id="classSVF_1_1Options_html_a0865038c4738fcc8f47106faad03d98a"><div class="ttname"><a href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a">SVF::Options::WPANum</a></div><div class="ttdeci">static const llvm::cl::opt< bool > WPANum</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00102">Options.h:102</a></div></div>
|
|
111
113
|
<div class="ttc" id="classSVF_1_1Options_html_a0b82f16ee0c7e6566a6ae20662525e84"><div class="ttname"><a href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84">SVF::Options::MaxStepInWrapper</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > MaxStepInWrapper</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00096">Options.h:96</a></div></div>
|
|
@@ -115,56 +117,55 @@ $(function() {
|
|
|
115
117
|
<div class="ttc" id="classSVF_1_1Options_html_adec2012e10130f664fe0ea3acf39f78b"><div class="ttname"><a href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">SVF::Options::ShowHiddenNode</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ShowHiddenNode</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00255">Options.h:255</a></div></div>
|
|
116
118
|
<div class="ttc" id="classSVF_1_1Options_html_aa1d9db53dbb6e1364662a8297a744bbc"><div class="ttname"><a href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc">SVF::Options::TaintUninitStack</a></div><div class="ttdeci">static const llvm::cl::opt< bool > TaintUninitStack</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00091">Options.h:91</a></div></div>
|
|
117
119
|
<div class="ttc" id="classSVF_1_1Options_html_a88550ed8c4ec2ccc5d5e40869499787b"><div class="ttname"><a href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b">SVF::Options::RegionAlign</a></div><div class="ttdeci">static const llvm::cl::opt< bool > RegionAlign</div><div class="ttdoc">Align identifiers in each region to a word. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00061">Options.h:61</a></div></div>
|
|
118
|
-
<div class="ttc" id="classSVF_1_1Options_html_a69a7d0431c0ddfefed1cb97f3571303a"><div class="ttname"><a href="classSVF_1_1Options.html#a69a7d0431c0ddfefed1cb97f3571303a">SVF::Options::ConsCGDotGraph</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
119
|
-
<div class="ttc" id="classSVF_1_1Options_html_a21cbaab292e9f5bd39109f774fcc88d4"><div class="ttname"><a href="classSVF_1_1Options.html#a21cbaab292e9f5bd39109f774fcc88d4">SVF::Options::CxtLimit</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > CxtLimit</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
120
|
-
<div class="ttc" id="classSVF_1_1Options_html_ace1f2368a0a466f98c9e53def47db3ab"><div class="ttname"><a href="classSVF_1_1Options.html#ace1f2368a0a466f98c9e53def47db3ab">SVF::Options::DumpSlice</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpSlice</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
120
|
+
<div class="ttc" id="classSVF_1_1Options_html_a69a7d0431c0ddfefed1cb97f3571303a"><div class="ttname"><a href="classSVF_1_1Options.html#a69a7d0431c0ddfefed1cb97f3571303a">SVF::Options::ConsCGDotGraph</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00230">Options.h:230</a></div></div>
|
|
121
|
+
<div class="ttc" id="classSVF_1_1Options_html_a21cbaab292e9f5bd39109f774fcc88d4"><div class="ttname"><a href="classSVF_1_1Options.html#a21cbaab292e9f5bd39109f774fcc88d4">SVF::Options::CxtLimit</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > CxtLimit</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00202">Options.h:202</a></div></div>
|
|
122
|
+
<div class="ttc" id="classSVF_1_1Options_html_ace1f2368a0a466f98c9e53def47db3ab"><div class="ttname"><a href="classSVF_1_1Options.html#ace1f2368a0a466f98c9e53def47db3ab">SVF::Options::DumpSlice</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpSlice</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00201">Options.h:201</a></div></div>
|
|
121
123
|
<div class="ttc" id="classSVF_1_1Options_html_a1211da4c36f1fcc65235891f31d87038"><div class="ttname"><a href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">SVF::Options::PASelected</a></div><div class="ttdeci">static llvm::cl::bits< PointerAnalysis::PTATY > PASelected</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00251">Options.h:251</a></div></div>
|
|
122
124
|
<div class="ttc" id="classSVF_1_1Options_html_a5896e2aaf59305441a74ede0dfb85845"><div class="ttname"><a href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845">SVF::Options::INCDFPTData</a></div><div class="ttdeci">static const llvm::cl::opt< bool > INCDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00145">Options.h:145</a></div></div>
|
|
123
|
-
<div class="ttc" id="classSVF_1_1Options_html_a10cc9fa1d4e553865343d635cf84592e"><div class="ttname"><a href="classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e">SVF::Options::TBHCStoreReuse</a></div><div class="ttdeci">static const llvm::cl::opt< bool > TBHCStoreReuse</div><div class="ttdoc">Whether we allow reuse for TBHC. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
124
|
-
<div class="ttc" id="classSVF_1_1Options_html_a82370c2b8c9cd62b5767ceeaeeaa7177"><div class="ttname"><a href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177">SVF::Options::BriefConsCGDotGraph</a></div><div class="ttdeci">static const llvm::cl::opt< bool > BriefConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
125
|
-
<div class="ttc" id="classSVF_1_1Options_html_a930ed87e35ba7502f9d00be6f17f902f"><div class="ttname"><a href="classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f">SVF::Options::TBHCAllReuse</a></div><div class="ttdeci">static const llvm::cl::opt< bool > TBHCAllReuse</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
125
|
+
<div class="ttc" id="classSVF_1_1Options_html_a10cc9fa1d4e553865343d635cf84592e"><div class="ttname"><a href="classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e">SVF::Options::TBHCStoreReuse</a></div><div class="ttdeci">static const llvm::cl::opt< bool > TBHCStoreReuse</div><div class="ttdoc">Whether we allow reuse for TBHC. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00244">Options.h:244</a></div></div>
|
|
126
|
+
<div class="ttc" id="classSVF_1_1Options_html_a82370c2b8c9cd62b5767ceeaeeaa7177"><div class="ttname"><a href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177">SVF::Options::BriefConsCGDotGraph</a></div><div class="ttdeci">static const llvm::cl::opt< bool > BriefConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00231">Options.h:231</a></div></div>
|
|
127
|
+
<div class="ttc" id="classSVF_1_1Options_html_a930ed87e35ba7502f9d00be6f17f902f"><div class="ttname"><a href="classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f">SVF::Options::TBHCAllReuse</a></div><div class="ttdeci">static const llvm::cl::opt< bool > TBHCAllReuse</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00245">Options.h:245</a></div></div>
|
|
126
128
|
<div class="ttc" id="MemSSA_8h_html"><div class="ttname"><a href="MemSSA_8h.html">MemSSA.h</a></div></div>
|
|
127
129
|
<div class="ttc" id="classSVF_1_1Options_html_aabfcfcd67df527cdf587aff5ecc26a10"><div class="ttname"><a href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10">SVF::Options::PrintQueryPts</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintQueryPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00101">Options.h:101</a></div></div>
|
|
128
130
|
<div class="ttc" id="classSVF_1_1Options_html_a40080aa0a7c926c6f2797e3d7856c03e"><div class="ttname"><a href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e">SVF::Options::TaintUninitHeap</a></div><div class="ttdeci">static const llvm::cl::opt< bool > TaintUninitHeap</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00090">Options.h:90</a></div></div>
|
|
129
131
|
<div class="ttc" id="classSVF_1_1Options_html_a982b4cd71ccafd07d94f10a0a2e953c2"><div class="ttname"><a href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2">SVF::Options::SVFGWithIndirectCall</a></div><div class="ttdeci">static const llvm::cl::opt< bool > SVFGWithIndirectCall</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00157">Options.h:157</a></div></div>
|
|
130
132
|
<div class="ttc" id="classSVF_1_1Options_html_a30cbb0b3633c769c92f4625680ec17e3"><div class="ttname"><a href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">SVF::Options::AnderSVFG</a></div><div class="ttdeci">static const llvm::cl::opt< bool > AnderSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00248">Options.h:248</a></div></div>
|
|
131
|
-
<div class="ttc" id="classSVF_1_1Options_html_a036b9eb8b265a8abd54680d45758e7c6"><div class="ttname"><a href="classSVF_1_1Options.html#a036b9eb8b265a8abd54680d45758e7c6">SVF::Options::DoLockAnalysis</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DoLockAnalysis</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
132
|
-
<div class="ttc" id="classSVF_1_1Options_html_a344ca0e4b8d9159836e558aed44be1b4"><div class="ttname"><a href="classSVF_1_1Options.html#a344ca0e4b8d9159836e558aed44be1b4">SVF::Options::MaxBddSize</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > MaxBddSize</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
133
|
+
<div class="ttc" id="classSVF_1_1Options_html_a036b9eb8b265a8abd54680d45758e7c6"><div class="ttname"><a href="classSVF_1_1Options.html#a036b9eb8b265a8abd54680d45758e7c6">SVF::Options::DoLockAnalysis</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DoLockAnalysis</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00175">Options.h:175</a></div></div>
|
|
134
|
+
<div class="ttc" id="classSVF_1_1Options_html_a344ca0e4b8d9159836e558aed44be1b4"><div class="ttname"><a href="classSVF_1_1Options.html#a344ca0e4b8d9159836e558aed44be1b4">SVF::Options::MaxBddSize</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > MaxBddSize</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00221">Options.h:221</a></div></div>
|
|
133
135
|
<div class="ttc" id="classSVF_1_1Options_html_a1b1d1ad6b3a6c48a9fa07161b582c7fe"><div class="ttname"><a href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe">SVF::Options::PrintAliases</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintAliases</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00250">Options.h:250</a></div></div>
|
|
134
|
-
<div class="ttc" id="classSVF_1_1Options_html_ae444f90ff3b6a3cfec1c08e6ca6f263a"><div class="ttname"><a href="classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a">SVF::Options::FSAnno</a></div><div class="ttdeci">static const llvm::cl::opt< bool > FSAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
136
|
+
<div class="ttc" id="classSVF_1_1Options_html_ae444f90ff3b6a3cfec1c08e6ca6f263a"><div class="ttname"><a href="classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a">SVF::Options::FSAnno</a></div><div class="ttdeci">static const llvm::cl::opt< bool > FSAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00179">Options.h:179</a></div></div>
|
|
135
137
|
<div class="ttc" id="classSVF_1_1Options_html_a8e0538a7f2e3c5bece69bc69f7074819"><div class="ttname"><a href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819">SVF::Options::ClusterMethod</a></div><div class="ttdeci">static const llvm::cl::opt< enum hclust_fast_methods > ClusterMethod</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00055">Options.h:55</a></div></div>
|
|
136
138
|
<div class="ttc" id="classSVF_1_1Options_html_aee5e47ee3ca9bacb514f9dfbcb3abf24"><div class="ttname"><a href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24">SVF::Options::PrintCPts</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintCPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00100">Options.h:100</a></div></div>
|
|
137
|
-
<div class="ttc" id="classSVF_1_1Options_html_ac609142ee5a0caaf3ac51238ec421c2e"><div class="ttname"><a href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e">SVF::Options::PrintValidRes</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintValidRes</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
139
|
+
<div class="ttc" id="classSVF_1_1Options_html_ac609142ee5a0caaf3ac51238ec421c2e"><div class="ttname"><a href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e">SVF::Options::PrintValidRes</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintValidRes</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00185">Options.h:185</a></div></div>
|
|
138
140
|
<div class="ttc" id="classSVF_1_1Options_html_a57564c82a2b90b7de837151f65b276f3"><div class="ttname"><a href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3">SVF::Options::SingleLoad</a></div><div class="ttdeci">static const llvm::cl::opt< bool > SingleLoad</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00083">Options.h:83</a></div></div>
|
|
139
141
|
<div class="ttc" id="classSVF_1_1Options_html_a3061c75f7491dd737222b1b877721070"><div class="ttname"><a href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070">SVF::Options::DumpVFG</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00121">Options.h:121</a></div></div>
|
|
140
142
|
<div class="ttc" id="classSVF_1_1Options_html_a74b821736a04f89adb79d6fd5369cdc3"><div class="ttname"><a href="classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3">SVF::Options::MemPar</a></div><div class="ttdeci">static const llvm::cl::opt< MemSSA::MemPartition > MemPar</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00154">Options.h:154</a></div></div>
|
|
141
|
-
<div class="ttc" id="classSVF_1_1Options_html_aa3e6c78eb346a52bbaaac2610573604a"><div class="ttname"><a href="classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a">SVF::Options::PrintInterLev</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintInterLev</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
143
|
+
<div class="ttc" id="classSVF_1_1Options_html_aa3e6c78eb346a52bbaaac2610573604a"><div class="ttname"><a href="classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a">SVF::Options::PrintInterLev</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintInterLev</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00174">Options.h:174</a></div></div>
|
|
142
144
|
<div class="ttc" id="classSVF_1_1Options_html_a4da18281b973b9ffb5068dd53060524c"><div class="ttname"><a href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c">SVF::Options::EnableAliasCheck</a></div><div class="ttdeci">static const llvm::cl::opt< bool > EnableAliasCheck</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00140">Options.h:140</a></div></div>
|
|
143
145
|
<div class="ttc" id="classSVF_1_1Options_html_a7704ff30e6fc5043313adf5c655bcd4a"><div class="ttname"><a href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a">SVF::Options::OPTSVFG</a></div><div class="ttdeci">static llvm::cl::opt< bool > OPTSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00159">Options.h:159</a></div></div>
|
|
144
|
-
<div class="ttc" id="classSVF_1_1Options_html_a98a521e5c99c5248eae8f8234453b116"><div class="ttname"><a href="classSVF_1_1Options.html#a98a521e5c99c5248eae8f8234453b116">SVF::Options::ReadAnder</a></div><div class="ttdeci">static const llvm::cl::opt< std ::string > ReadAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
146
|
+
<div class="ttc" id="classSVF_1_1Options_html_a98a521e5c99c5248eae8f8234453b116"><div class="ttname"><a href="classSVF_1_1Options.html#a98a521e5c99c5248eae8f8234453b116">SVF::Options::ReadAnder</a></div><div class="ttdeci">static const llvm::cl::opt< std ::string > ReadAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00236">Options.h:236</a></div></div>
|
|
145
147
|
<div class="ttc" id="classSVF_1_1Options_html_a3c3d704c209c4e6eed1a771caf8214ce"><div class="ttname"><a href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce">SVF::Options::UserInputQuery</a></div><div class="ttdeci">static const llvm::cl::opt< std ::string > UserInputQuery</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00097">Options.h:97</a></div></div>
|
|
146
|
-
<div class="ttc" id="
|
|
147
|
-
<div class="ttc" id="classSVF_1_1Options_html_a868fa5069b01b7a7dfbc5fb99cb76385"><div class="ttname"><a href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385">SVF::Options::SVFMain</a></div><div class="ttdeci">static const llvm::cl::opt< bool > SVFMain</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00209">Options.h:209</a></div></div>
|
|
148
|
+
<div class="ttc" id="classSVF_1_1Options_html_a868fa5069b01b7a7dfbc5fb99cb76385"><div class="ttname"><a href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385">SVF::Options::SVFMain</a></div><div class="ttdeci">static const llvm::cl::opt< bool > SVFMain</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00212">Options.h:212</a></div></div>
|
|
148
149
|
<div class="ttc" id="classSVF_1_1Options_html_a61c9d525088cc044f8937a39bb96aa93"><div class="ttname"><a href="classSVF_1_1Options.html#a61c9d525088cc044f8937a39bb96aa93">SVF::Options::CallGraphDotGraph</a></div><div class="ttdeci">static const llvm::cl::opt< bool > CallGraphDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00136">Options.h:136</a></div></div>
|
|
149
150
|
<div class="ttc" id="classSVF_1_1Options_html_a097255cb1373feaaaf2fe60c998862d5"><div class="ttname"><a href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5">SVF::Options::DumpMSSA</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpMSSA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00151">Options.h:151</a></div></div>
|
|
150
151
|
<div class="ttc" id="classSVF_1_1Options_html_a75a38fff97f7f18f3945c953cabc168b"><div class="ttname"><a href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b">SVF::Options::PlainMappingFs</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PlainMappingFs</div><div class="ttdoc">Use an explicitly plain mapping with flow-sensitive (not null). </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00046">Options.h:46</a></div></div>
|
|
151
152
|
<div class="ttc" id="classSVF_1_1Options_html"><div class="ttname"><a href="classSVF_1_1Options.html">SVF::Options</a></div><div class="ttdoc">Carries around command line options. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00018">Options.h:18</a></div></div>
|
|
152
|
-
<div class="ttc" id="classSVF_1_1Options_html_aec491143ded97649da1ed61b8fda796c"><div class="ttname"><a href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c">SVF::Options::ValidateTests</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ValidateTests</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
153
|
+
<div class="ttc" id="classSVF_1_1Options_html_aec491143ded97649da1ed61b8fda796c"><div class="ttname"><a href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c">SVF::Options::ValidateTests</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ValidateTests</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00198">Options.h:198</a></div></div>
|
|
153
154
|
<div class="ttc" id="classSVF_1_1Options_html_a78ce4bd2e80e7b87ff0ee52edd1db403"><div class="ttname"><a href="classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403">SVF::Options::SingleVFG</a></div><div class="ttdeci">static const llvm::cl::opt< bool > SingleVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00158">Options.h:158</a></div></div>
|
|
154
155
|
<div class="ttc" id="classSVF_1_1Options_html_acd687c31bb6662940ab8a1c3d17dc1ef"><div class="ttname"><a href="classSVF_1_1Options.html#acd687c31bb6662940ab8a1c3d17dc1ef">SVF::Options::KeepAOFI</a></div><div class="ttdeci">static const llvm::cl::opt< bool > KeepAOFI</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00117">Options.h:117</a></div></div>
|
|
155
156
|
<div class="ttc" id="PointerAnalysisImpl_8h_html"><div class="ttname"><a href="PointerAnalysisImpl_8h.html">PointerAnalysisImpl.h</a></div></div>
|
|
156
|
-
<div class="ttc" id="classSVF_1_1Options_html_aa4849115111e0ec81670c725027da6be"><div class="ttname"><a href="classSVF_1_1Options.html#aa4849115111e0ec81670c725027da6be">SVF::Options::AndersenAnno</a></div><div class="ttdeci">static const llvm::cl::opt< bool > AndersenAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
157
|
+
<div class="ttc" id="classSVF_1_1Options_html_aa4849115111e0ec81670c725027da6be"><div class="ttname"><a href="classSVF_1_1Options.html#aa4849115111e0ec81670c725027da6be">SVF::Options::AndersenAnno</a></div><div class="ttdeci">static const llvm::cl::opt< bool > AndersenAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00178">Options.h:178</a></div></div>
|
|
157
158
|
<div class="ttc" id="classSVF_1_1Options_html_a53b1a1ec4e5bbd9696ed9b680aa0c3c7"><div class="ttname"><a href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7">SVF::Options::FlowBudget</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned long long > FlowBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00106">Options.h:106</a></div></div>
|
|
158
|
-
<div class="ttc" id="classSVF_1_1Options_html_a4c7eb57066c80c62ef394d644833214a"><div class="ttname"><a href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a">SVF::Options::WriteAnder</a></div><div class="ttdeci">static const llvm::cl::opt< std ::string > WriteAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
159
|
+
<div class="ttc" id="classSVF_1_1Options_html_a4c7eb57066c80c62ef394d644833214a"><div class="ttname"><a href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a">SVF::Options::WriteAnder</a></div><div class="ttdeci">static const llvm::cl::opt< std ::string > WriteAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00234">Options.h:234</a></div></div>
|
|
159
160
|
<div class="ttc" id="classSVF_1_1Options_html_a0d099b268241f4658eb06a14ef598888"><div class="ttname"><a href="classSVF_1_1Options.html#a0d099b268241f4658eb06a14ef598888">SVF::Options::GraphIsFromDot</a></div><div class="ttdeci">static const llvm::cl::opt< bool > GraphIsFromDot</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00260">Options.h:260</a></div></div>
|
|
160
161
|
<div class="ttc" id="classSVF_1_1Options_html_aa929e2ae2c0a78181c3a1311bfe73596"><div class="ttname"><a href="classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596">SVF::Options::GrammarFilename</a></div><div class="ttdeci">static const llvm::cl::opt< std::string > GrammarFilename</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00259">Options.h:259</a></div></div>
|
|
161
162
|
<div class="ttc" id="classSVF_1_1Options_html_a8dc477d83a142a62b63207f6f240f224"><div class="ttname"><a href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224">SVF::Options::FirstFieldEqBase</a></div><div class="ttdeci">static const llvm::cl::opt< bool > FirstFieldEqBase</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00113">Options.h:113</a></div></div>
|
|
162
163
|
<div class="ttc" id="classSVF_1_1Options_html_ab6115b28808af348e1f6a6b58b4cd84f"><div class="ttname"><a href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f">SVF::Options::RegionedClustering</a></div><div class="ttdeci">static const llvm::cl::opt< bool > RegionedClustering</div><div class="ttdoc">Cluster partitions separately. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00058">Options.h:58</a></div></div>
|
|
163
164
|
<div class="ttc" id="classSVF_1_1Options_html_a6a62b34de8ec23899a8024e0450c43df"><div class="ttname"><a href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df">SVF::Options::ClockType</a></div><div class="ttdeci">static const llvm::cl::opt< enum PTAStat::ClockType > ClockType</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00023">Options.h:23</a></div></div>
|
|
164
|
-
<div class="ttc" id="classSVF_1_1Options_html_a69579e2f37962afdbb292a36782511ed"><div class="ttname"><a href="classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed">SVF::Options::MergePWC</a></div><div class="ttdeci">static const llvm::cl::opt< bool > MergePWC</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
165
|
+
<div class="ttc" id="classSVF_1_1Options_html_a69579e2f37962afdbb292a36782511ed"><div class="ttname"><a href="classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed">SVF::Options::MergePWC</a></div><div class="ttdeci">static const llvm::cl::opt< bool > MergePWC</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00238">Options.h:238</a></div></div>
|
|
165
166
|
<div class="ttc" id="classSVF_1_1Options_html_a14ceeb5d7de81a0946389159986e4955"><div class="ttname"><a href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955">SVF::Options::FuncPointerPrint</a></div><div class="ttdeci">static const llvm::cl::opt< bool > FuncPointerPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00128">Options.h:128</a></div></div>
|
|
166
167
|
<div class="ttc" id="classSVF_1_1Options_html_a485ec0be47c5e78bac4511d00687aee1"><div class="ttname"><a href="classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1">SVF::Options::ConnectVCallOnCHA</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ConnectVCallOnCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00142">Options.h:142</a></div></div>
|
|
167
|
-
<div class="ttc" id="classSVF_1_1Options_html_af2f66307e1d51947676f622c98ef0762"><div class="ttname"><a href="classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762">SVF::Options::UsePCG</a></div><div class="ttdeci">static const llvm::cl::opt< bool > UsePCG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
168
|
+
<div class="ttc" id="classSVF_1_1Options_html_af2f66307e1d51947676f622c98ef0762"><div class="ttname"><a href="classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762">SVF::Options::UsePCG</a></div><div class="ttdeci">static const llvm::cl::opt< bool > UsePCG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00165">Options.h:165</a></div></div>
|
|
168
169
|
<div class="ttc" id="classSVF_1_1Options_html_aea29a835c54fab800117e57de00e0b1e"><div class="ttname"><a href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e">SVF::Options::DumpICFG</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpICFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>
|
|
169
170
|
<div class="ttc" id="classSVF_1_1Options_html_ad2d3db3e407a53956a5a59cc24eb8d40"><div class="ttname"><a href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40">SVF::Options::HandBlackHole</a></div><div class="ttdeci">static llvm::cl::opt< bool > HandBlackHole</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00112">Options.h:112</a></div></div>
|
|
170
171
|
<div class="ttc" id="classSVF_1_1Options_html_a35cfe6add81dc82983e0c53c36c6e667"><div class="ttname"><a href="classSVF_1_1Options.html#a35cfe6add81dc82983e0c53c36c6e667">SVF::Options::InsenCycle</a></div><div class="ttdeci">static const llvm::cl::opt< bool > InsenCycle</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00099">Options.h:99</a></div></div>
|
|
@@ -172,28 +173,28 @@ $(function() {
|
|
|
172
173
|
<div class="ttc" id="classSVF_1_1Options_html_a8459d43a21bcf8a50fc55d14fcf5a81e"><div class="ttname"><a href="classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e">SVF::Options::ClusterAnder</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ClusterAnder</div><div class="ttdoc">Whether to stage Andersen&#39;s with Steensgaard and cluster based on that data. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00040">Options.h:40</a></div></div>
|
|
173
174
|
<div class="ttc" id="fastcluster_8h_html"><div class="ttname"><a href="fastcluster_8h.html">fastcluster.h</a></div></div>
|
|
174
175
|
<div class="ttc" id="classSVF_1_1Options_html_a98df022c5da54ea30b3f0ce008d3ca80"><div class="ttname"><a href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">SVF::Options::PAGPrint</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PAGPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00137">Options.h:137</a></div></div>
|
|
175
|
-
<div class="ttc" id="classSVF_1_1Options_html_aa78f442ee8d7272e98396fd86dea4993"><div class="ttname"><a href="classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993">SVF::Options::AllPairMHP</a></div><div class="ttdeci">static const llvm::cl::opt< bool > AllPairMHP</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
176
|
-
<div class="ttc" id="classSVF_1_1Options_html_aba8e13f8bb26cf6a0718282e6f9a1940"><div class="ttname"><a href="classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940">SVF::Options::LocMemModel</a></div><div class="ttdeci">static const llvm::cl::opt< bool > LocMemModel</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
176
|
+
<div class="ttc" id="classSVF_1_1Options_html_aa78f442ee8d7272e98396fd86dea4993"><div class="ttname"><a href="classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993">SVF::Options::AllPairMHP</a></div><div class="ttdeci">static const llvm::cl::opt< bool > AllPairMHP</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00189">Options.h:189</a></div></div>
|
|
177
|
+
<div class="ttc" id="classSVF_1_1Options_html_aba8e13f8bb26cf6a0718282e6f9a1940"><div class="ttname"><a href="classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940">SVF::Options::LocMemModel</a></div><div class="ttdeci">static const llvm::cl::opt< bool > LocMemModel</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00215">Options.h:215</a></div></div>
|
|
177
178
|
<div class="ttc" id="classSVF_1_1Options_html_ac3ad7d0cf734e867b91a081aad1faff2"><div class="ttname"><a href="classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2">SVF::Options::ContextInsensitive</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ContextInsensitive</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00116">Options.h:116</a></div></div>
|
|
178
179
|
<div class="ttc" id="classSVF_1_1Options_html_aaf05b444fd7f087e5d7fda3883f29dc5"><div class="ttname"><a href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5">SVF::Options::DumpUninitVar</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpUninitVar</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00085">Options.h:85</a></div></div>
|
|
179
|
-
<div class="ttc" id="classSVF_1_1Options_html_ab8a9641b660197b4421fbd6141858c58"><div class="ttname"><a href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58">SVF::Options::PrintLockSpan</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintLockSpan</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
180
|
+
<div class="ttc" id="classSVF_1_1Options_html_ab8a9641b660197b4421fbd6141858c58"><div class="ttname"><a href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58">SVF::Options::PrintLockSpan</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintLockSpan</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00171">Options.h:171</a></div></div>
|
|
180
181
|
<div class="ttc" id="classSVF_1_1Options_html_a5cfcf1ddc44ff175c4766f88bf204c03"><div class="ttname"><a href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03">SVF::Options::MarkedClocksOnly</a></div><div class="ttdeci">static const llvm::cl::opt< bool > MarkedClocksOnly</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00030">Options.h:30</a></div></div>
|
|
181
182
|
<div class="ttc" id="classSVF_1_1Options_html_a63c2ff1420867ea4ef0a94d28b3f0558"><div class="ttname"><a href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
|
|
182
183
|
<div class="ttc" id="classSVF_1_1Options_html_a322f78488d420e41a648d603f2773c56"><div class="ttname"><a href="classSVF_1_1Options.html#a322f78488d420e41a648d603f2773c56">SVF::Options::InputFilename</a></div><div class="ttdeci">static const llvm::cl::opt< std::string > InputFilename</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00258">Options.h:258</a></div></div>
|
|
183
184
|
<div class="ttc" id="classSVF_1_1Options_html_aa24f52782c835452daf82138d0d69412"><div class="ttname"><a href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412">SVF::Options::DumpSUStore</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpSUStore</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00088">Options.h:88</a></div></div>
|
|
184
185
|
<div class="ttc" id="classSVF_1_1Options_html_a620fe156ba70f997eace0ccb0d2c9f67"><div class="ttname"><a href="classSVF_1_1Options.html#a620fe156ba70f997eace0ccb0d2c9f67">SVF::Options::AnderTimeLimit</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > AnderTimeLimit</div><div class="ttdoc">Time limit for the Andersen&#39;s analyses. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00074">Options.h:74</a></div></div>
|
|
185
|
-
<div class="ttc" id="classSVF_1_1Options_html_acf7262c0b0bd91e6dab56a631be51206"><div class="ttname"><a href="classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206">SVF::Options::PtsDiff</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PtsDiff</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
186
|
+
<div class="ttc" id="classSVF_1_1Options_html_acf7262c0b0bd91e6dab56a631be51206"><div class="ttname"><a href="classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206">SVF::Options::PtsDiff</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PtsDiff</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00237">Options.h:237</a></div></div>
|
|
186
187
|
<div class="ttc" id="classSVF_1_1Options_html_adba18ce8f1496fe2e57a934f11c2dfd9"><div class="ttname"><a href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9">SVF::Options::VersioningThreads</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > VersioningThreads</div><div class="ttdoc">Number of threads for the versioning phase. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00077">Options.h:77</a></div></div>
|
|
187
|
-
<div class="ttc" id="classSVF_1_1Options_html_ab13a47f6dd4eedfaa607d36448a1d456"><div class="ttname"><a href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456">SVF::Options::DumpCHA</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
188
|
-
<div class="ttc" id="classSVF_1_1Options_html_a19758db674de8af8a1c80734a1c0fac8"><div class="ttname"><a href="classSVF_1_1Options.html#a19758db674de8af8a1c80734a1c0fac8">SVF::Options::TCTDotGraph</a></div><div class="ttdeci">static const llvm::cl::opt< bool > TCTDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
188
|
+
<div class="ttc" id="classSVF_1_1Options_html_ab13a47f6dd4eedfaa607d36448a1d456"><div class="ttname"><a href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456">SVF::Options::DumpCHA</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00205">Options.h:205</a></div></div>
|
|
189
|
+
<div class="ttc" id="classSVF_1_1Options_html_a19758db674de8af8a1c80734a1c0fac8"><div class="ttname"><a href="classSVF_1_1Options.html#a19758db674de8af8a1c80734a1c0fac8">SVF::Options::TCTDotGraph</a></div><div class="ttdeci">static const llvm::cl::opt< bool > TCTDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00195">Options.h:195</a></div></div>
|
|
189
190
|
<div class="ttc" id="classSVF_1_1Options_html_afb6fabc25c0d7f9e9d1708ce648797fc"><div class="ttname"><a href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc">SVF::Options::UsePreCompFieldSensitive</a></div><div class="ttdeci">static const llvm::cl::opt< bool > UsePreCompFieldSensitive</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00139">Options.h:139</a></div></div>
|
|
190
|
-
<div class="ttc" id="classSVF_1_1Options_html_a6bec8aed8673d10d65cc3df9fad3383b"><div class="ttname"><a href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b">SVF::Options::ReadPrecisionTDEdge</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ReadPrecisionTDEdge</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
191
|
-
<div class="ttc" id="classSVF_1_1Options_html_a87516daebb3d1b5fee9037068d60e268"><div class="ttname"><a href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268">SVF::Options::PrintCGGraph</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintCGGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
192
|
-
<div class="ttc" id="classSVF_1_1Options_html_a1bc10a5947bf3912c6f22e094ccac464"><div class="ttname"><a href="classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464">SVF::Options::IntraLock</a></div><div class="ttdeci">static const llvm::cl::opt< bool > IntraLock</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
191
|
+
<div class="ttc" id="classSVF_1_1Options_html_a6bec8aed8673d10d65cc3df9fad3383b"><div class="ttname"><a href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b">SVF::Options::ReadPrecisionTDEdge</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ReadPrecisionTDEdge</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00167">Options.h:167</a></div></div>
|
|
192
|
+
<div class="ttc" id="classSVF_1_1Options_html_a87516daebb3d1b5fee9037068d60e268"><div class="ttname"><a href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268">SVF::Options::PrintCGGraph</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintCGGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00232">Options.h:232</a></div></div>
|
|
193
|
+
<div class="ttc" id="classSVF_1_1Options_html_a1bc10a5947bf3912c6f22e094ccac464"><div class="ttname"><a href="classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464">SVF::Options::IntraLock</a></div><div class="ttdeci">static const llvm::cl::opt< bool > IntraLock</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00166">Options.h:166</a></div></div>
|
|
193
194
|
<div class="ttc" id="PTAStat_8h_html"><div class="ttname"><a href="PTAStat_8h.html">PTAStat.h</a></div></div>
|
|
194
195
|
<div class="ttc" id="classSVF_1_1Options_html_aa1a3b9293dffeef1bb16a2a7b3a007dd"><div class="ttname"><a href="classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd">SVF::Options::InsenRecur</a></div><div class="ttdeci">static const llvm::cl::opt< bool > InsenRecur</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00098">Options.h:98</a></div></div>
|
|
195
|
-
<div class="ttc" id="classSVF_1_1Options_html_a170426acc0f9d99470fd1bde40d273e2"><div class="ttname"><a href="classSVF_1_1Options.html#a170426acc0f9d99470fd1bde40d273e2">SVF::Options::ModelArrays</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ModelArrays</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
196
|
-
<div class="ttc" id="classSVF_1_1Options_html_ae6b763ff293381ed5da9b07c2e8ae496"><div class="ttname"><a href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">SVF::Options::PrintPathCond</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintPathCond</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
196
|
+
<div class="ttc" id="classSVF_1_1Options_html_a170426acc0f9d99470fd1bde40d273e2"><div class="ttname"><a href="classSVF_1_1Options.html#a170426acc0f9d99470fd1bde40d273e2">SVF::Options::ModelArrays</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ModelArrays</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00217">Options.h:217</a></div></div>
|
|
197
|
+
<div class="ttc" id="classSVF_1_1Options_html_ae6b763ff293381ed5da9b07c2e8ae496"><div class="ttname"><a href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">SVF::Options::PrintPathCond</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintPathCond</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00224">Options.h:224</a></div></div>
|
|
197
198
|
</div><!-- fragment --></div><!-- contents -->
|
|
198
199
|
<!-- start footer part -->
|
|
199
200
|
<hr class="footer"/><address class="footer"><small>
|