npm - svf-tools - Versions diffs - 1.0.619 → 1.0.620 - Mend

svf-tools 1.0.619 → 1.0.620

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.

Files changed (384) hide show

package/SVF-doxygen/html/html/Options_8h_source.html CHANGED Viewed

@@ -66,135 +66,139 @@ $(function() {
 <div class="title">Options.h</div>  </div>
 </div><!--header-->
 <div class="contents">
-<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>&#160;<span class="comment">//===- Options.h -- Command line options ------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;</div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="preprocessor">#ifndef OPTIONS_H_</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="preprocessor">#define OPTIONS_H_</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;</div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="preprocessor">#include &lt;sstream&gt;</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="fastcluster_8h.html">FastCluster/fastcluster.h</a>&quot;</span></div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PTAStat_8h.html">Util/PTAStat.h</a>&quot;</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PointerAnalysisImpl_8h.html">MemoryModel/PointerAnalysisImpl.h</a>&quot;</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="NodeIDAllocator_8h.html">Util/NodeIDAllocator.h</a>&quot;</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="MemSSA_8h.html">MSSA/MemSSA.h</a>&quot;</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="WPAPass_8h.html">WPA/WPAPass.h</a>&quot;</span></div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="preprocessor">#include &lt;llvm/Support/CommandLine.h&gt;</span>   <span class="comment">// for command line options</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;{</div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00019"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html">   19</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1Options.html">Options</a></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;{</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;    <a class="code" href="classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078">Options</a>(<span class="keywordtype">void</span>) = <span class="keyword">delete</span>;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;</div><div class="line"><a name="l00024"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df">   24</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;enum PTAStat::ClockType&gt; <a class="code" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df">ClockType</a>;</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;</div><div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03">   31</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03">MarkedClocksOnly</a>;</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065">   35</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;SVF::NodeIDAllocator::Strategy&gt; <a class="code" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065">NodeAllocStrat</a>;</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;</div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">   38</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;unsigned&gt; <a class="code" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">MaxFieldLimit</a>;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e">   41</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e">ClusterAnder</a>;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;</div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a">   44</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a">ClusterFs</a>;</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b">   47</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b">PlainMappingFs</a>;</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304">   50</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;PointsTo::Type&gt; <a class="code" href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304">PtType</a>;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819">   56</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;enum hclust_fast_methods&gt; <a class="code" href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819">ClusterMethod</a>;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f">   59</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f">RegionedClustering</a>;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;</div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b">   62</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b">RegionAlign</a>;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;</div><div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">   66</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">PredictPtOcc</a>;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2">   69</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;BVDataPTAImpl::PTBackingType&gt; <a class="code" href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2">ptDataBacking</a>;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;</div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad03c4697dd4da2b6adde112e3ee1884b">   72</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;unsigned&gt; <a class="code" href="classSVF_1_1Options.html#ad03c4697dd4da2b6adde112e3ee1884b">FsTimeLimit</a>;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;</div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a620fe156ba70f997eace0ccb0d2c9f67">   75</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;unsigned&gt; <a class="code" href="classSVF_1_1Options.html#a620fe156ba70f997eace0ccb0d2c9f67">AnderTimeLimit</a>;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;</div><div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9">   78</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;unsigned&gt; <a class="code" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9">VersioningThreads</a>;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    <span class="comment">// ContextDDA.cpp</span></div><div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">   81</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;unsigned long long&gt; <a class="code" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">CxtBudget</a>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    <span class="comment">// DDAClient.cpp</span></div><div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3">   84</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3">SingleLoad</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90">   85</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90">DumpFree</a>;</div><div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5">   86</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5">DumpUninitVar</a>;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73">   87</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73">DumpUninitPtr</a>;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095">   88</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095">DumpSUPts</a>;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412">   89</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412">DumpSUStore</a>;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c">   90</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c">MallocOnly</a>;</div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e">   91</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e">TaintUninitHeap</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc">   92</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc">TaintUninitStack</a>;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;    <span class="comment">// DDAPass.cpp</span></div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c">   95</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;unsigned&gt; <a class="code" href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c">MaxPathLen</a>;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8">   96</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;unsigned&gt; <a class="code" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8">MaxContextLen</a>;</div><div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84">   97</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;unsigned&gt; <a class="code" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84">MaxStepInWrapper</a>;</div><div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce">   98</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;std :: string&gt; <a class="code" href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce">UserInputQuery</a>;</div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd">   99</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd">InsenRecur</a>;</div><div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a35cfe6add81dc82983e0c53c36c6e667">  100</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a35cfe6add81dc82983e0c53c36c6e667">InsenCycle</a>;</div><div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24">  101</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24">PrintCPts</a>;</div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10">  102</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10">PrintQueryPts</a>;</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a">  103</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a">WPANum</a>;</div><div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b">  104</a></span>&#160;    <span class="keyword">static</span> llvm::cl::bits&lt;PointerAnalysis::PTATY&gt; <a class="code" href="classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b">DDASelected</a>;</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    <span class="comment">// FlowDDA.cpp</span></div><div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7">  107</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;unsigned long long&gt; <a class="code" href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7">FlowBudget</a>;</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    <span class="comment">// Offline constraint graph (OfflineConsG.cpp)</span></div><div class="line"><a name="l00110"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf">  110</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf">OCGDotGraph</a>;</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    <span class="comment">// Program Assignment Graph for pointer analysis (SVFIR.cpp)</span></div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40">  113</a></span>&#160;    <span class="keyword">static</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40">HandBlackHole</a>;</div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224">  114</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224">FirstFieldEqBase</a>;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    <span class="comment">// SVFG optimizer (SVFGOPT.cpp)</span></div><div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2">  117</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2">ContextInsensitive</a>;</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#acd687c31bb6662940ab8a1c3d17dc1ef">  118</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#acd687c31bb6662940ab8a1c3d17dc1ef">KeepAOFI</a>;</div><div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053">  119</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;std::string&gt; <a class="code" href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053">SelfCycle</a>;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    <span class="comment">// Sparse value-flow graph (VFG.cpp)</span></div><div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070">  122</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070">DumpVFG</a>;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    <span class="comment">// Location set for modeling abstract memory object (LocationSet.cpp)</span></div><div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">  125</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">SingleStride</a>;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    <span class="comment">// Base class of pointer analyses (PointerAnalysis.cpp)</span></div><div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5">  128</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5">TypePrint</a>;</div><div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955">  129</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955">FuncPointerPrint</a>;</div><div class="line"><a name="l00130"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24">  130</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24">PTSPrint</a>;</div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c">  131</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c">PTSAllPrint</a>;</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb">  132</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb">PStat</a>;</div><div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4">  133</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;unsigned&gt; <a class="code" href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4">StatBudget</a>;</div><div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0">  134</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0">PAGDotGraph</a>;</div><div class="line"><a name="l00135"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">  135</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">ShowSVFIRValue</a>;</div><div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e">  136</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e">DumpICFG</a>;</div><div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a61c9d525088cc044f8937a39bb96aa93">  137</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a61c9d525088cc044f8937a39bb96aa93">CallGraphDotGraph</a>;</div><div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">  138</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">PAGPrint</a>;</div><div class="line"><a name="l00139"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8">  139</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;unsigned&gt; <a class="code" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8">IndirectCallLimit</a>;</div><div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc">  140</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc">UsePreCompFieldSensitive</a>;</div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c">  141</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c">EnableAliasCheck</a>;</div><div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5">  142</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5">EnableThreadCallGraph</a>;</div><div class="line"><a name="l00143"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1">  143</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1">ConnectVCallOnCHA</a>;</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    <span class="comment">// PointerAnalysisImpl.cpp</span></div><div class="line"><a name="l00146"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845">  146</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845">INCDFPTData</a>;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    <span class="comment">// Memory region (MemRegion.cpp)</span></div><div class="line"><a name="l00149"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040">  149</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040">IgnoreDeadFun</a>;</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    <span class="comment">// Base class of pointer analyses (MemSSA.cpp)</span></div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5">  152</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5">DumpMSSA</a>;</div><div class="line"><a name="l00153"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d">  153</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;std :: string&gt; <a class="code" href="classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d">MSSAFun</a>;</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    <span class="comment">// static const llvm::cl::opt&lt;string&gt; MSSAFun;</span></div><div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3">  155</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;MemSSA::MemPartition&gt; <a class="code" href="classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3">MemPar</a>;</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;    <span class="comment">// SVFG builder (SVFGBuilder.cpp)</span></div><div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2">  158</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2">SVFGWithIndirectCall</a>;</div><div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a">  159</a></span>&#160;    <span class="keyword">static</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a">OPTSVFG</a>;</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;</div><div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4a9e039ba28cc7cdadf9d9d4fa64ab11">  161</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;std :: string&gt; <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;std :: string&gt; <a class="code" href="classSVF_1_1Options.html#a1608ded89f829a780d67cb82e1e62944">ReadSVFG</a>;</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;u32_t&gt; <a class="code" href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371">AddModelFlag</a>;</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58">PrintLockSpan</a>;</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a036b9eb8b265a8abd54680d45758e7c6">DoLockAnalysis</a>;</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a">FSAnno</a>;</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;u32_t&gt; <a class="code" href="classSVF_1_1Options.html#ae1dadbd4c213f1bd5b8957b5c747bebd">AnnoFlag</a>;</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e">PrintValidRes</a>;</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;</div><div class="line"><a name="l00187"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66">  187</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66">LockValid</a>;</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993">AllPairMHP</a>;</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;    <span class="comment">// PCG.cpp</span></div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;    <span class="comment">//const llvm::cl::opt&lt;bool&gt; TDPrint</span></div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a19758db674de8af8a1c80734a1c0fac8">TCTDotGraph</a>;</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c">ValidateTests</a>;</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;unsigned&gt; <a class="code" href="classSVF_1_1Options.html#a21cbaab292e9f5bd39109f774fcc88d4">CxtLimit</a>;</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456">DumpCHA</a>;</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316">PrintDCHG</a>;</div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;std::string&gt; <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385">SVFMain</a>;</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85">SymTabPrint</a>;</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;    <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#a389c1868083100ad8ebfbf935a85a1e1">  221</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;unsigned&gt; <a class="code" href="classSVF_1_1Options.html#a389c1868083100ad8ebfbf935a85a1e1">MaxZ3Size</a>;</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;    <span class="comment">// SaberCondAllocator.cpp</span></div><div class="line"><a name="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">  224</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">PrintPathCond</a>;</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#ab4206ecb79fdcd2d5211bfbd2537cacb">DisableWarn</a>;</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;</div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;    <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268">PrintCGGraph</a>;</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;    <span class="comment">// static const llvm::cl::opt&lt;string&gt; 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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;std :: string&gt; <a class="code" href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a">WriteAnder</a>;</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    <span class="comment">// static const llvm::cl::opt&lt;string&gt; 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>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;std :: string&gt; <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#a3e311bdcdaf0e39fd7d8566dc7866a44">  237</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a3e311bdcdaf0e39fd7d8566dc7866a44">DiffPts</a>;</div><div class="line"><a name="l00238"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1d299e736ee653759d340508fd30c6ab">  238</a></span>&#160;    <span class="keyword">static</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a1d299e736ee653759d340508fd30c6ab">DetectPWC</a>;</div><div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2a9fe90fae25f3de780f91b7e296b49a">  239</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a2a9fe90fae25f3de780f91b7e296b49a">VtableInSVFIR</a>;</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;    <span class="comment">// WPAPass.cpp</span></div><div class="line"><a name="l00242"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">  242</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">AnderSVFG</a>;</div><div class="line"><a name="l00243"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590">  243</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590">SABERFULLSVFG</a>;</div><div class="line"><a name="l00244"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe">  244</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe">PrintAliases</a>;</div><div class="line"><a name="l00245"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">  245</a></span>&#160;    <span class="keyword">static</span> llvm::cl::bits&lt;PointerAnalysis::PTATY&gt; <a class="code" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">PASelected</a>;</div><div class="line"><a name="l00246"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7">  246</a></span>&#160;    <span class="keyword">static</span> llvm::cl::bits&lt;WPAPass::AliasCheckRule&gt; <a class="code" href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7">AliasRule</a>;</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    <span class="comment">// DOTGraphTraits</span></div><div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">  249</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">ShowHiddenNode</a>;</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;    <span class="comment">// CFL option</span></div><div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596">  252</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;std::string&gt; <a class="code" href="classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596">GrammarFilename</a>;</div><div class="line"><a name="l00253"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a87b63f1f8f4f65cdf6647f9f056ffc53">  253</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;std::string&gt; <a class="code" href="classSVF_1_1Options.html#a87b63f1f8f4f65cdf6647f9f056ffc53">CFLGraph</a>;</div><div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0beb2da0f9ab691c0b7729bb42f8354c">  254</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a0beb2da0f9ab691c0b7729bb42f8354c">PrintCFL</a>;</div><div class="line"><a name="l00255"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357">  255</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357">FlexSymMap</a>;</div><div class="line"><a name="l00256"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">  256</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt;  <a class="code" href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">PEGTransfer</a>;</div><div class="line"><a name="l00257"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a13ff50def26bcf8f79d3222c6948cbfe">  257</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt;  <a class="code" href="classSVF_1_1Options.html#a13ff50def26bcf8f79d3222c6948cbfe">CFLSVFG</a>;</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;    <span class="comment">// Loop Analysis</span></div><div class="line"><a name="l00260"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a420e6656b02fd900430d51b8b4a5c6c1">  260</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="classSVF_1_1Options.html#a420e6656b02fd900430d51b8b4a5c6c1">LoopAnalysis</a>;</div><div class="line"><a name="l00261"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb">  261</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt&lt;unsigned&gt; <a class="code" href="classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb">LoopBound</a>;</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;};</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;}  <span class="comment">// namespace SVF</span></div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;<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&lt; WPAPass::AliasCheckRule &gt; AliasRule</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00246">Options.h:246</a></div></div>
-<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&lt; unsigned &gt; StatBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00133">Options.h:133</a></div></div>
-<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&lt; bool &gt; TypePrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00128">Options.h:128</a></div></div>
-<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&lt; bool &gt; DumpUninitPtr</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00087">Options.h:87</a></div></div>
-<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&lt; std::string &gt; Graphtxt</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00211">Options.h:211</a></div></div>
-<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&lt; unsigned &gt; FsTimeLimit</div><div class="ttdoc">Time limit for the main phase (i.e., the actual solving) of FS analyses. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00072">Options.h:72</a></div></div>
-<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&lt; bool &gt; SymTabPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00218">Options.h:218</a></div></div>
-<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&lt; bool &gt; PTSAllPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00131">Options.h:131</a></div></div>
-<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&lt; bool &gt; PTSPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00130">Options.h:130</a></div></div>
+<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>&#160;<span class="comment">//===- Options.h -- Command line options ------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;</div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="preprocessor">#ifndef OPTIONS_H_</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="preprocessor">#define OPTIONS_H_</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;</div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="preprocessor">#include &lt;sstream&gt;</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="fastcluster_8h.html">FastCluster/fastcluster.h</a>&quot;</span></div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CommandLine_8h.html">Util/CommandLine.h</a>&quot;</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PTAStat_8h.html">Util/PTAStat.h</a>&quot;</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PointerAnalysisImpl_8h.html">MemoryModel/PointerAnalysisImpl.h</a>&quot;</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="NodeIDAllocator_8h.html">Util/NodeIDAllocator.h</a>&quot;</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="MemSSA_8h.html">MSSA/MemSSA.h</a>&quot;</span></div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="WPAPass_8h.html">WPA/WPAPass.h</a>&quot;</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;{</div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00019"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html">   19</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1Options.html">Options</a></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;{</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;    <a class="code" href="classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078">Options</a>(<span class="keywordtype">void</span>) = <span class="keyword">delete</span>;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;</div><div class="line"><a name="l00024"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">   24</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap&lt;enum PTAStat::ClockType&gt;</a> <a class="code" href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">ClockType</a>;</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;</div><div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418">   31</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418">MarkedClocksOnly</a>;</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd">   35</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap&lt;SVF::NodeIDAllocator::Strategy&gt;</a> <a class="code" href="classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd">NodeAllocStrat</a>;</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;</div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">   38</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">MaxFieldLimit</a>;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16">   41</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16">ClusterAnder</a>;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;</div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f">   44</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f">ClusterFs</a>;</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9">   47</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9">PlainMappingFs</a>;</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0">   50</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap&lt;PointsTo::Type&gt;</a> <a class="code" href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0">PtType</a>;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6">   56</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap&lt;enum hclust_fast_methods&gt;</a> <a class="code" href="classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6">ClusterMethod</a>;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6">   59</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6">RegionedClustering</a>;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;</div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88">   62</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88">RegionAlign</a>;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;</div><div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">   66</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">PredictPtOcc</a>;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307">   69</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap&lt;BVDataPTAImpl::PTBackingType&gt;</a> <a class="code" href="classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307">ptDataBacking</a>;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;</div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef">   72</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef">FsTimeLimit</a>;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;</div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1">   75</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1">AnderTimeLimit</a>;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;</div><div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665">   78</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665">VersioningThreads</a>;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    <span class="comment">// ContextDDA.cpp</span></div><div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">   81</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">CxtBudget</a>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    <span class="comment">// DDAClient.cpp</span></div><div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5fe0e29e325a6d53ccf16f8fe725821e">   84</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a5fe0e29e325a6d53ccf16f8fe725821e">SingleLoad</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4">   85</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4">DumpFree</a>;</div><div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025">   86</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025">DumpUninitVar</a>;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716">   87</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716">DumpUninitPtr</a>;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01">   88</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01">DumpSUPts</a>;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6">   89</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6">DumpSUStore</a>;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0">   90</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0">MallocOnly</a>;</div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f">   91</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f">TaintUninitHeap</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34">   92</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34">TaintUninitStack</a>;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;    <span class="comment">// DDAPass.cpp</span></div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53">   95</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53">MaxPathLen</a>;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">   96</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">MaxContextLen</a>;</div><div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919">   97</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919">MaxStepInWrapper</a>;</div><div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b">   98</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;std::string&gt;</a> <a class="code" href="classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b">UserInputQuery</a>;</div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b">   99</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b">InsenRecur</a>;</div><div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0">  100</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0">InsenCycle</a>;</div><div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b">  101</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b">PrintCPts</a>;</div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014">  102</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014">PrintQueryPts</a>;</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9">  103</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9">WPANum</a>;</div><div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580">  104</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="classOptionMultiple.html">OptionMultiple&lt;PointerAnalysis::PTATY&gt;</a> <a class="code" href="classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580">DDASelected</a>;</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    <span class="comment">// FlowDDA.cpp</span></div><div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4">  107</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4">FlowBudget</a>;</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    <span class="comment">// Offline constraint graph (OfflineConsG.cpp)</span></div><div class="line"><a name="l00110"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101">  110</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101">OCGDotGraph</a>;</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    <span class="comment">// Program Assignment Graph for pointer analysis (SVFIR.cpp)</span></div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63">  113</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63">HandBlackHole</a>;</div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea">  114</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea">FirstFieldEqBase</a>;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    <span class="comment">// SVFG optimizer (SVFGOPT.cpp)</span></div><div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302">  117</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302">ContextInsensitive</a>;</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37">  118</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37">KeepAOFI</a>;</div><div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc">  119</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;std::string&gt;</a> <a class="code" href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc">SelfCycle</a>;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    <span class="comment">// Sparse value-flow graph (VFG.cpp)</span></div><div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">  122</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">DumpVFG</a>;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    <span class="comment">// Location set for modeling abstract memory object (LocationSet.cpp)</span></div><div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2">  125</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2">SingleStride</a>;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    <span class="comment">// Base class of pointer analyses (PointerAnalysis.cpp)</span></div><div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd">  128</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd">TypePrint</a>;</div><div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563">  129</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563">FuncPointerPrint</a>;</div><div class="line"><a name="l00130"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337">  130</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337">PTSPrint</a>;</div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00">  131</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00">PTSAllPrint</a>;</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4">  132</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4">PStat</a>;</div><div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2">  133</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2">StatBudget</a>;</div><div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8">  134</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8">PAGDotGraph</a>;</div><div class="line"><a name="l00135"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">  135</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">ShowSVFIRValue</a>;</div><div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">  136</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">DumpICFG</a>;</div><div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567">  137</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567">CallGraphDotGraph</a>;</div><div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e">  138</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e">PAGPrint</a>;</div><div class="line"><a name="l00139"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef">  139</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef">IndirectCallLimit</a>;</div><div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021">  140</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021">UsePreCompFieldSensitive</a>;</div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73">  141</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73">EnableAliasCheck</a>;</div><div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d">  142</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d">EnableThreadCallGraph</a>;</div><div class="line"><a name="l00143"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127">  143</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127">ConnectVCallOnCHA</a>;</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    <span class="comment">// PointerAnalysisImpl.cpp</span></div><div class="line"><a name="l00146"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90">  146</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90">INCDFPTData</a>;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    <span class="comment">// Memory region (MemRegion.cpp)</span></div><div class="line"><a name="l00149"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7">  149</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7">IgnoreDeadFun</a>;</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    <span class="comment">// Base class of pointer analyses (MemSSA.cpp)</span></div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa">  152</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa">DumpMSSA</a>;</div><div class="line"><a name="l00153"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f">  153</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;std::string&gt;</a> <a class="code" href="classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f">MSSAFun</a>;</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    <span class="comment">// static const llvm::cl::opt&lt;string&gt; MSSAFun;</span></div><div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e">  155</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap&lt;MemSSA::MemPartition&gt;</a> <a class="code" href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e">MemPar</a>;</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;    <span class="comment">// SVFG builder (SVFGBuilder.cpp)</span></div><div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0">  158</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0">SVFGWithIndirectCall</a>;</div><div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">  159</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">OPTSVFG</a>;</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;</div><div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47">  161</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;std::string&gt;</a> <a class="code" href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47">WriteSVFG</a>;</div><div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4">  162</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;std::string&gt;</a> <a class="code" href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4">ReadSVFG</a>;</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;    <span class="comment">// FSMPTA.cpp</span></div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746">  165</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746">UsePCG</a>;</div><div class="line"><a name="l00166"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb">  166</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb">IntraLock</a>;</div><div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916">  167</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916">ReadPrecisionTDEdge</a>;</div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56">  168</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56">AddModelFlag</a>;</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;    <span class="comment">// LockAnalysis.cpp</span></div><div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844">  171</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844">PrintLockSpan</a>;</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;    <span class="comment">// MHP.cpp</span></div><div class="line"><a name="l00174"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba">  174</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba">PrintInterLev</a>;</div><div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666">  175</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666">DoLockAnalysis</a>;</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;    <span class="comment">// MTA.cpp</span></div><div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930">  178</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930">AndersenAnno</a>;</div><div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336">  179</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336">FSAnno</a>;</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;    <span class="comment">// MTAAnnotator.cpp</span></div><div class="line"><a name="l00182"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7">  182</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7">AnnoFlag</a>;</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    <span class="comment">// MTAResultValidator.cpp</span></div><div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1">  185</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1">PrintValidRes</a>;</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;</div><div class="line"><a name="l00187"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec">  187</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec">LockValid</a>;</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;    <span class="comment">//MTAStat.cpp</span></div><div class="line"><a name="l00189"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70">  189</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70">AllPairMHP</a>;</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;    <span class="comment">// PCG.cpp</span></div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;    <span class="comment">//const Option&lt;bool&gt; TDPrint</span></div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    <span class="comment">// TCT.cpp</span></div><div class="line"><a name="l00195"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce">  195</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce">TCTDotGraph</a>;</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    <span class="comment">// LeakChecker.cpp</span></div><div class="line"><a name="l00198"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1">  198</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1">ValidateTests</a>;</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    <span class="comment">// Source-sink analyzer (SrcSnkDDA.cpp)</span></div><div class="line"><a name="l00201"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db">  201</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db">DumpSlice</a>;</div><div class="line"><a name="l00202"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5">  202</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5">CxtLimit</a>;</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;    <span class="comment">// CHG.cpp</span></div><div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270">  205</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270">DumpCHA</a>;</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;    <span class="comment">// DCHG.cpp</span></div><div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">  208</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">PrintDCHG</a>;</div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;    <span class="comment">// LLVMModule.cpp</span></div><div class="line"><a name="l00211"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e">  211</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;std::string&gt;</a> <a class="code" href="classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e">Graphtxt</a>;</div><div class="line"><a name="l00212"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d">  212</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d">SVFMain</a>;</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;    <span class="comment">// SymbolTableInfo.cpp</span></div><div class="line"><a name="l00215"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050">  215</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050">LocMemModel</a>;</div><div class="line"><a name="l00216"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5">  216</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5">ModelConsts</a>;</div><div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">  217</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">ModelArrays</a>;</div><div class="line"><a name="l00218"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3">  218</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3">SymTabPrint</a>;</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;    <span class="comment">// Conditions.cpp</span></div><div class="line"><a name="l00221"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc">  221</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc">MaxZ3Size</a>;</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;    <span class="comment">// SaberCondAllocator.cpp</span></div><div class="line"><a name="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9">  224</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9">PrintPathCond</a>;</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;    <span class="comment">// SVFUtil.cpp</span></div><div class="line"><a name="l00227"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28">  227</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28">DisableWarn</a>;</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;</div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;    <span class="comment">// Andersen.cpp</span></div><div class="line"><a name="l00230"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95">  230</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95">ConsCGDotGraph</a>;</div><div class="line"><a name="l00231"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c">  231</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c">BriefConsCGDotGraph</a>;</div><div class="line"><a name="l00232"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83">  232</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83">PrintCGGraph</a>;</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;    <span class="comment">// static const Option&lt;string&gt; WriteAnder;</span></div><div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9">  234</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;std::string&gt;</a> <a class="code" href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9">WriteAnder</a>;</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    <span class="comment">// static const Option&lt;string&gt; ReadAnder;</span></div><div class="line"><a name="l00236"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475">  236</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;std::string&gt;</a> <a class="code" href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475">ReadAnder</a>;</div><div class="line"><a name="l00237"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce">  237</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce">DiffPts</a>;</div><div class="line"><a name="l00238"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">  238</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">DetectPWC</a>;</div><div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140">  239</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140">VtableInSVFIR</a>;</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;    <span class="comment">// WPAPass.cpp</span></div><div class="line"><a name="l00242"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">  242</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">AnderSVFG</a>;</div><div class="line"><a name="l00243"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">  243</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SABERFULLSVFG</a>;</div><div class="line"><a name="l00244"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">  244</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">PrintAliases</a>;</div><div class="line"><a name="l00245"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd">  245</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="classOptionMultiple.html">OptionMultiple&lt;PointerAnalysis::PTATY&gt;</a> <a class="code" href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd">PASelected</a>;</div><div class="line"><a name="l00246"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a">  246</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="classOptionMultiple.html">OptionMultiple&lt;WPAPass::AliasCheckRule&gt;</a> <a class="code" href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a">AliasRule</a>;</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    <span class="comment">// DOTGraphTraits</span></div><div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">  249</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">ShowHiddenNode</a>;</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;    <span class="comment">// CFL option</span></div><div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f">  252</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;std::string&gt;</a> <a class="code" href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f">GrammarFilename</a>;</div><div class="line"><a name="l00253"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">  253</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;std::string&gt;</a> <a class="code" href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">CFLGraph</a>;</div><div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">  254</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">PrintCFL</a>;</div><div class="line"><a name="l00255"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031">  255</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031">FlexSymMap</a>;</div><div class="line"><a name="l00256"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">  256</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a>  <a class="code" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">PEGTransfer</a>;</div><div class="line"><a name="l00257"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">  257</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a>  <a class="code" href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">CFLSVFG</a>;</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;    <span class="comment">// Loop Analysis</span></div><div class="line"><a name="l00260"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">  260</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">LoopAnalysis</a>;</div><div class="line"><a name="l00261"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">  261</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">LoopBound</a>;</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;};</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;}  <span class="comment">// namespace SVF</span></div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;<span class="preprocessor">#endif  // ifdef OPTIONS_H_</span></div><div class="ttc" id="classSVF_1_1Options_html_a0bb4bfd677e2e45cc8c24bfc190edfaa"><div class="ttname"><a href="classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa">SVF::Options::DumpMSSA</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpMSSA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00152">Options.h:152</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aabeb232a46547fd35ddc96244fdaf1b9"><div class="ttname"><a href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9">SVF::Options::WriteAnder</a></div><div class="ttdeci">static const Option&lt; std::string &gt; WriteAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00234">Options.h:234</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ae782f25eaee9ac363c733b6ac609fbce"><div class="ttname"><a href="classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce">SVF::Options::DiffPts</a></div><div class="ttdeci">static const Option&lt; bool &gt; DiffPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00237">Options.h:237</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a18dd95e01a50aa82165c46a3801053c5"><div class="ttname"><a href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5">SVF::Options::ModelConsts</a></div><div class="ttdeci">static const Option&lt; bool &gt; ModelConsts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00216">Options.h:216</a></div></div>
+<div class="ttc" id="classOption_html"><div class="ttname"><a href="classOption.html">Option&lt; bool &gt;</a></div></div>
 <div class="ttc" id="classSVF_1_1Options_html_a08c25694f8f9e31eb8b116ad58c1c078"><div class="ttname"><a href="classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078">SVF::Options::Options</a></div><div class="ttdeci">Options(void)=delete</div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a2a9fe90fae25f3de780f91b7e296b49a"><div class="ttname"><a href="classSVF_1_1Options.html#a2a9fe90fae25f3de780f91b7e296b49a">SVF::Options::VtableInSVFIR</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; VtableInSVFIR</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00239">Options.h:239</a></div></div>
-<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&lt; bool &gt; ClusterFs</div><div class="ttdoc">Whether to cluster FS or VFS with the auxiliary Andersen&amp;#39;s. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00044">Options.h:44</a></div></div>
-<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&lt; unsigned &gt; MaxContextLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00096">Options.h:96</a></div></div>
-<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&lt; unsigned &gt; MaxPathLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00095">Options.h:95</a></div></div>
-<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&lt; bool &gt; ModelConsts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00216">Options.h:216</a></div></div>
-<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&lt; bool &gt; DisableWarn</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00227">Options.h:227</a></div></div>
-<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&lt; bool &gt; FlexSymMap</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00255">Options.h:255</a></div></div>
-<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&lt; bool &gt; PStat</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00132">Options.h:132</a></div></div>
-<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&lt; u32_t &gt; AnnoFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00182">Options.h:182</a></div></div>
-<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&lt; BVDataPTAImpl::PTBackingType &gt; ptDataBacking</div><div class="ttdoc">PTData type. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00069">Options.h:69</a></div></div>
-<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&lt; bool &gt; OCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00110">Options.h:110</a></div></div>
-<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&lt; unsigned long long &gt; CxtBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00081">Options.h:81</a></div></div>
-<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&lt; SVF::NodeIDAllocator::Strategy &gt; NodeAllocStrat</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00035">Options.h:35</a></div></div>
-<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&lt; bool &gt; SingleStride</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00125">Options.h:125</a></div></div>
-<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&lt; std ::string &gt; ReadSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00162">Options.h:162</a></div></div>
-<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&lt; bool &gt; SABERFULLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00243">Options.h:243</a></div></div>
-<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&lt; bool &gt; EnableThreadCallGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00142">Options.h:142</a></div></div>
-<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&lt; bool &gt; DumpFree</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00085">Options.h:85</a></div></div>
-<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&lt; bool &gt; MallocOnly</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00090">Options.h:90</a></div></div>
-<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&lt; bool &gt; DumpSUPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00088">Options.h:88</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a7d566af0280a0c2457947fd426c81c81"><div class="ttname"><a href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">SVF::Options::PEGTransfer</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PEGTransfer</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00256">Options.h:256</a></div></div>
-<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&lt; unsigned &gt; IndirectCallLimit</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00139">Options.h:139</a></div></div>
-<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&lt; std ::string &gt; WriteSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00161">Options.h:161</a></div></div>
-<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&lt; bool &gt; LockValid</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00187">Options.h:187</a></div></div>
-<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&lt; unsigned &gt; MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</a></div></div>
-<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&lt; bool &gt; PAGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
-<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&lt; bool &gt; PredictPtOcc</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00066">Options.h:66</a></div></div>
-<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&lt; std ::string &gt; MSSAFun</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00153">Options.h:153</a></div></div>
-<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&lt; u32_t &gt; AddModelFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00168">Options.h:168</a></div></div>
-<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&lt; PointsTo::Type &gt; PtType</div><div class="ttdoc">Type of points-to set to use for all analyses. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00050">Options.h:50</a></div></div>
-<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&lt; std::string &gt; SelfCycle</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00119">Options.h:119</a></div></div>
-<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&lt; bool &gt; PrintDCHG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00208">Options.h:208</a></div></div>
-<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&lt; bool &gt; IgnoreDeadFun</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00149">Options.h:149</a></div></div>
-<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&lt; bool &gt; WPANum</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00103">Options.h:103</a></div></div>
-<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&lt; unsigned &gt; MaxStepInWrapper</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00097">Options.h:97</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a2203f622ab539b3a38488575c9eec33b"><div class="ttname"><a href="classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b">SVF::Options::DDASelected</a></div><div class="ttdeci">static llvm::cl::bits&lt; PointerAnalysis::PTATY &gt; DDASelected</div><div class="ttdoc">register this into alias analysis group </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00104">Options.h:104</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a38107576f4f242191cdbfb1ca51f93cd"><div class="ttname"><a href="classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd">SVF::Options::NodeAllocStrat</a></div><div class="ttdeci">static const OptionMap&lt; SVF::NodeIDAllocator::Strategy &gt; NodeAllocStrat</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00035">Options.h:35</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a5d14e81336dbfefa14146bf610989e6b"><div class="ttname"><a href="classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b">SVF::Options::UserInputQuery</a></div><div class="ttdeci">static const Option&lt; std::string &gt; UserInputQuery</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00098">Options.h:98</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a1c6e39ebc266c754de4d78a31cc021ba"><div class="ttname"><a href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba">SVF::Options::PrintInterLev</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintInterLev</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00174">Options.h:174</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a00f3c4c53e6ade73f7667231c394c5d7"><div class="ttname"><a href="classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7">SVF::Options::IgnoreDeadFun</a></div><div class="ttdeci">static const Option&lt; bool &gt; IgnoreDeadFun</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00149">Options.h:149</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a742a42d855c5b96fb7c70a2d0ab64021"><div class="ttname"><a href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021">SVF::Options::UsePreCompFieldSensitive</a></div><div class="ttdeci">static const Option&lt; bool &gt; UsePreCompFieldSensitive</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00140">Options.h:140</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a1dd9ad3f11454be49b4c5099503db8e8"><div class="ttname"><a href="classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8">SVF::Options::PAGDotGraph</a></div><div class="ttdeci">static const Option&lt; bool &gt; PAGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_abcb6796d45722562546f33b2745a0418"><div class="ttname"><a href="classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418">SVF::Options::MarkedClocksOnly</a></div><div class="ttdeci">static const Option&lt; bool &gt; MarkedClocksOnly</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00031">Options.h:31</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a1721ff576ad641d862f29b038f31db28"><div class="ttname"><a href="classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28">SVF::Options::DisableWarn</a></div><div class="ttdeci">static const Option&lt; bool &gt; DisableWarn</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00227">Options.h:227</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ae639e80aa18a56bd1c6bcf41ce281930"><div class="ttname"><a href="classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930">SVF::Options::AndersenAnno</a></div><div class="ttdeci">static const Option&lt; bool &gt; AndersenAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00178">Options.h:178</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a4f022e2f997d25ec50842b4248147336"><div class="ttname"><a href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336">SVF::Options::FSAnno</a></div><div class="ttdeci">static const Option&lt; bool &gt; FSAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00179">Options.h:179</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_abb91435e1e06b07548c539e7f7761563"><div class="ttname"><a href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563">SVF::Options::FuncPointerPrint</a></div><div class="ttdeci">static const Option&lt; bool &gt; FuncPointerPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00129">Options.h:129</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a4854dd8b167e468e698606254b31bf26"><div class="ttname"><a href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">SVF::Options::PEGTransfer</a></div><div class="ttdeci">static const Option&lt; bool &gt; PEGTransfer</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00256">Options.h:256</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a853caba808dc7d17cba4ad4214b56b6f"><div class="ttname"><a href="classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f">SVF::Options::ClusterFs</a></div><div class="ttdeci">static const Option&lt; bool &gt; ClusterFs</div><div class="ttdoc">Whether to cluster FS or VFS with the auxiliary Andersen&amp;#39;s. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00044">Options.h:44</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ac9d18f2d6853f45548f4f85fa2f661c4"><div class="ttname"><a href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4">SVF::Options::PStat</a></div><div class="ttdeci">static const Option&lt; bool &gt; PStat</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00132">Options.h:132</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a81dbd12b5141c4a2758d6f2d3321f1ac"><div class="ttname"><a href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">SVF::Options::CFLGraph</a></div><div class="ttdeci">static const Option&lt; std::string &gt; CFLGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00253">Options.h:253</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a8c02af98e908c48cef1de0085ed10ce4"><div class="ttname"><a href="classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4">SVF::Options::FlowBudget</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; FlowBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00107">Options.h:107</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a5a70a23e30df8dea3fcaf0e80479fe88"><div class="ttname"><a href="classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88">SVF::Options::RegionAlign</a></div><div class="ttdeci">static const Option&lt; bool &gt; 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#l00062">Options.h:62</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a5fe0e29e325a6d53ccf16f8fe725821e"><div class="ttname"><a href="classSVF_1_1Options.html#a5fe0e29e325a6d53ccf16f8fe725821e">SVF::Options::SingleLoad</a></div><div class="ttdeci">static const Option&lt; bool &gt; SingleLoad</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00084">Options.h:84</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a06eea18ba4cdf509255126a9b58e8eb0"><div class="ttname"><a href="classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0">SVF::Options::SVFGWithIndirectCall</a></div><div class="ttdeci">static const Option&lt; bool &gt; SVFGWithIndirectCall</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00158">Options.h:158</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a9711cdc976786b3949ac6b26f95b59b0"><div class="ttname"><a href="classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0">SVF::Options::MallocOnly</a></div><div class="ttdeci">static const Option&lt; bool &gt; MallocOnly</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00090">Options.h:90</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a3bbd106de519cb8d00f33e82f14d279b"><div class="ttname"><a href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">SVF::Options::CxtBudget</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; CxtBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00081">Options.h:81</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a6d45d7ba6852a986b53b31f60f967b01"><div class="ttname"><a href="classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01">SVF::Options::DumpSUPts</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpSUPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00088">Options.h:88</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a46743284466ff803f52a82b094186d16"><div class="ttname"><a href="classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16">SVF::Options::ClusterAnder</a></div><div class="ttdeci">static const Option&lt; bool &gt; ClusterAnder</div><div class="ttdoc">Whether to stage Andersen&amp;#39;s with Steensgaard and cluster based on that data. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00041">Options.h:41</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ab64401bdde8b0c846a78f21423e5cfb6"><div class="ttname"><a href="classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6">SVF::Options::DumpSUStore</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpSUStore</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00089">Options.h:89</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aceaa5cc22c7f362e4c4d66531ec27bf1"><div class="ttname"><a href="classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1">SVF::Options::ValidateTests</a></div><div class="ttdeci">static const Option&lt; bool &gt; ValidateTests</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00198">Options.h:198</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ab8075fe929f99b640d5c0a0530297025"><div class="ttname"><a href="classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025">SVF::Options::DumpUninitVar</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpUninitVar</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00086">Options.h:86</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aea9e5e0cc5de48f3b959fa25d6ef5e1f"><div class="ttname"><a href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">SVF::Options::AnderSVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; AnderSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00242">Options.h:242</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a63121666a96f6cd2ae56d868c9576a53"><div class="ttname"><a href="classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53">SVF::Options::MaxPathLen</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxPathLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00095">Options.h:95</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_afcef86c88bb86198a3579aef82b5e270"><div class="ttname"><a href="classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270">SVF::Options::DumpCHA</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00205">Options.h:205</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a9ef14f68939b7678ddff83d544e024cc"><div class="ttname"><a href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc">SVF::Options::SelfCycle</a></div><div class="ttdeci">static const Option&lt; std::string &gt; SelfCycle</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00119">Options.h:119</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a3b6146824333f0da957d37b199978916"><div class="ttname"><a href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916">SVF::Options::ReadPrecisionTDEdge</a></div><div class="ttdeci">static const Option&lt; bool &gt; ReadPrecisionTDEdge</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00167">Options.h:167</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a595a98babd7d51af6dacd935bd27d1f0"><div class="ttname"><a href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0">SVF::Options::PtType</a></div><div class="ttdeci">static const OptionMap&lt; PointsTo::Type &gt; PtType</div><div class="ttdoc">Type of points-to set to use for all analyses. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00050">Options.h:50</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a25a3db9daa81a127a8dad86888adea6c"><div class="ttname"><a href="classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c">SVF::Options::BriefConsCGDotGraph</a></div><div class="ttdeci">static const Option&lt; bool &gt; BriefConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00231">Options.h:231</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aaab923c093730b1670a54f09340b1bd5"><div class="ttname"><a href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_adee65a3773fbb98532538c938230e1d3"><div class="ttname"><a href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">SVF::Options::ShowHiddenNode</a></div><div class="ttdeci">static const Option&lt; bool &gt; ShowHiddenNode</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00249">Options.h:249</a></div></div>
 <div class="ttc" id="WPAPass_8h_html"><div class="ttname"><a href="WPAPass_8h.html">WPAPass.h</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aed7bdea17fad08ceb0453b23f2f908bb"><div class="ttname"><a href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">SVF::Options::PredictPtOcc</a></div><div class="ttdeci">static const Option&lt; bool &gt; PredictPtOcc</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00066">Options.h:66</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a88bb706e03a3dd04546b4ce62af7b140"><div class="ttname"><a href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140">SVF::Options::VtableInSVFIR</a></div><div class="ttdeci">static const Option&lt; bool &gt; VtableInSVFIR</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00239">Options.h:239</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a61986f02577051d98962c6680ac7c4f9"><div class="ttname"><a href="classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9">SVF::Options::PrintPathCond</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintPathCond</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00224">Options.h:224</a></div></div>
 <div class="ttc" id="NodeIDAllocator_8h_html"><div class="ttname"><a href="NodeIDAllocator_8h.html">NodeIDAllocator.h</a></div></div>
-<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&lt; bool &gt; ShowHiddenNode</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00249">Options.h:249</a></div></div>
-<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&lt; bool &gt; TaintUninitStack</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00092">Options.h:92</a></div></div>
-<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&lt; bool &gt; 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#l00062">Options.h:62</a></div></div>
-<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&lt; bool &gt; ConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00230">Options.h:230</a></div></div>
-<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&lt; unsigned &gt; CxtLimit</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00202">Options.h:202</a></div></div>
-<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&lt; bool &gt; DumpSlice</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00201">Options.h:201</a></div></div>
-<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&lt; PointerAnalysis::PTATY &gt; PASelected</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00245">Options.h:245</a></div></div>
-<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&lt; bool &gt; INCDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00146">Options.h:146</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a1d299e736ee653759d340508fd30c6ab"><div class="ttname"><a href="classSVF_1_1Options.html#a1d299e736ee653759d340508fd30c6ab">SVF::Options::DetectPWC</a></div><div class="ttdeci">static llvm::cl::opt&lt; bool &gt; DetectPWC</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00238">Options.h:238</a></div></div>
-<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&lt; bool &gt; BriefConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00231">Options.h:231</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aaa7ca76c841dd19d67796d09c94a9746"><div class="ttname"><a href="classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746">SVF::Options::UsePCG</a></div><div class="ttdeci">static const Option&lt; bool &gt; UsePCG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00165">Options.h:165</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_afd31760e868bfa4d15e434e21fe4d665"><div class="ttname"><a href="classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665">SVF::Options::VersioningThreads</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; VersioningThreads</div><div class="ttdoc">Number of threads for the versioning phase. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00078">Options.h:78</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a8e22c3bca5ee0e4e7d90e857a5ea8031"><div class="ttname"><a href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031">SVF::Options::FlexSymMap</a></div><div class="ttdeci">static const Option&lt; bool &gt; FlexSymMap</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00255">Options.h:255</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a1743b8a1ab2d71c35206c7befa725d90"><div class="ttname"><a href="classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90">SVF::Options::INCDFPTData</a></div><div class="ttdeci">static const Option&lt; bool &gt; INCDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00146">Options.h:146</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a53f783c80f368bcdca6c7620229d6f8e"><div class="ttname"><a href="classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e">SVF::Options::Graphtxt</a></div><div class="ttdeci">static const Option&lt; std::string &gt; Graphtxt</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00211">Options.h:211</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ab7741246d969021c9afc448b084699af"><div class="ttname"><a href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">SVF::Options::OPTSVFG</a></div><div class="ttdeci">static Option&lt; bool &gt; OPTSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00159">Options.h:159</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a03cd671379712e6b3fa8ac4ec9b4d1d4"><div class="ttname"><a href="classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4">SVF::Options::DumpFree</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpFree</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00085">Options.h:85</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a1daf36a755523519187c3a8e9a19b58d"><div class="ttname"><a href="classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d">SVF::Options::EnableThreadCallGraph</a></div><div class="ttdeci">static const Option&lt; bool &gt; EnableThreadCallGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00142">Options.h:142</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a51b28b2e973911fb8e2c23c6127e9a63"><div class="ttname"><a href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63">SVF::Options::HandBlackHole</a></div><div class="ttdeci">static Option&lt; bool &gt; HandBlackHole</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00113">Options.h:113</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a0a998c2e1d701b2052985691babc4567"><div class="ttname"><a href="classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567">SVF::Options::CallGraphDotGraph</a></div><div class="ttdeci">static const Option&lt; bool &gt; CallGraphDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00137">Options.h:137</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a52c06ea1c5dd347079f192f0cba3dcd3"><div class="ttname"><a href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3">SVF::Options::SymTabPrint</a></div><div class="ttdeci">static const Option&lt; bool &gt; SymTabPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00218">Options.h:218</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a12e88ce4ba3d39017203ec4cd3ccccea"><div class="ttname"><a href="classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea">SVF::Options::FirstFieldEqBase</a></div><div class="ttdeci">static const Option&lt; bool &gt; FirstFieldEqBase</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00114">Options.h:114</a></div></div>
+<div class="ttc" id="CommandLine_8h_html"><div class="ttname"><a href="CommandLine_8h.html">CommandLine.h</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aab0131558d9da9b0fe888387217ba919"><div class="ttname"><a href="classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919">SVF::Options::MaxStepInWrapper</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxStepInWrapper</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00097">Options.h:97</a></div></div>
 <div class="ttc" id="MemSSA_8h_html"><div class="ttname"><a href="MemSSA_8h.html">MemSSA.h</a></div></div>
-<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&lt; bool &gt; PrintQueryPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00102">Options.h:102</a></div></div>
-<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&lt; bool &gt; TaintUninitHeap</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00091">Options.h:91</a></div></div>
-<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&lt; bool &gt; SVFGWithIndirectCall</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00158">Options.h:158</a></div></div>
-<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&lt; bool &gt; AnderSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00242">Options.h:242</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a389c1868083100ad8ebfbf935a85a1e1"><div class="ttname"><a href="classSVF_1_1Options.html#a389c1868083100ad8ebfbf935a85a1e1">SVF::Options::MaxZ3Size</a></div><div class="ttdeci">static const llvm::cl::opt&lt; unsigned &gt; MaxZ3Size</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00221">Options.h:221</a></div></div>
-<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&lt; bool &gt; DoLockAnalysis</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00175">Options.h:175</a></div></div>
-<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&lt; bool &gt; PrintAliases</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00244">Options.h:244</a></div></div>
-<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&lt; bool &gt; FSAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00179">Options.h:179</a></div></div>
-<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&lt; enum hclust_fast_methods &gt; ClusterMethod</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00056">Options.h:56</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a87b63f1f8f4f65cdf6647f9f056ffc53"><div class="ttname"><a href="classSVF_1_1Options.html#a87b63f1f8f4f65cdf6647f9f056ffc53">SVF::Options::CFLGraph</a></div><div class="ttdeci">static const llvm::cl::opt&lt; std::string &gt; CFLGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00253">Options.h:253</a></div></div>
-<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&lt; bool &gt; PrintCPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00101">Options.h:101</a></div></div>
-<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&lt; bool &gt; PrintValidRes</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00185">Options.h:185</a></div></div>
-<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&lt; bool &gt; SingleLoad</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00084">Options.h:84</a></div></div>
-<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&lt; bool &gt; DumpVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00122">Options.h:122</a></div></div>
-<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&lt; MemSSA::MemPartition &gt; MemPar</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00155">Options.h:155</a></div></div>
-<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&lt; bool &gt; PrintInterLev</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00174">Options.h:174</a></div></div>
-<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&lt; bool &gt; EnableAliasCheck</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00141">Options.h:141</a></div></div>
-<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&lt; bool &gt; OPTSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00159">Options.h:159</a></div></div>
-<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&lt; std ::string &gt; ReadAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00236">Options.h:236</a></div></div>
-<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&lt; std ::string &gt; UserInputQuery</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00098">Options.h:98</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a0beb2da0f9ab691c0b7729bb42f8354c"><div class="ttname"><a href="classSVF_1_1Options.html#a0beb2da0f9ab691c0b7729bb42f8354c">SVF::Options::PrintCFL</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PrintCFL</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00254">Options.h:254</a></div></div>
-<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&lt; bool &gt; SVFMain</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00212">Options.h:212</a></div></div>
-<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&lt; bool &gt; CallGraphDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00137">Options.h:137</a></div></div>
-<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&lt; bool &gt; DumpMSSA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00152">Options.h:152</a></div></div>
-<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&lt; bool &gt; PlainMappingFs</div><div class="ttdoc">Use an explicitly plain mapping with flow-sensitive (not null). </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00047">Options.h:47</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ac5b56390226cbed64c8fbd8ab8dee671"><div class="ttname"><a href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">SVF::Options::PrintAliases</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintAliases</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00244">Options.h:244</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ad6c9b07d4dc8af20fbe2b93711cc2101"><div class="ttname"><a href="classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101">SVF::Options::OCGDotGraph</a></div><div class="ttdeci">static const Option&lt; bool &gt; OCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00110">Options.h:110</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a279f634c0ba3b01beed6a55b01d6eae7"><div class="ttname"><a href="classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7">SVF::Options::AnnoFlag</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; AnnoFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00182">Options.h:182</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ae5af5a2b3854b4d234197ab1a389aac2"><div class="ttname"><a href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2">SVF::Options::SingleStride</a></div><div class="ttdeci">static const Option&lt; bool &gt; SingleStride</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00125">Options.h:125</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a0123986b466dae50b2f12c71295c54f9"><div class="ttname"><a href="classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9">SVF::Options::PlainMappingFs</a></div><div class="ttdeci">static const Option&lt; bool &gt; PlainMappingFs</div><div class="ttdoc">Use an explicitly plain mapping with flow-sensitive (not null). </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00047">Options.h:47</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a453571cd0205f14ead205b3a54477475"><div class="ttname"><a href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475">SVF::Options::ReadAnder</a></div><div class="ttdeci">static const Option&lt; std::string &gt; ReadAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00236">Options.h:236</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a6c0afceb5db81504930dc6f673bc41ec"><div class="ttname"><a href="classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec">SVF::Options::LockValid</a></div><div class="ttdeci">static const Option&lt; bool &gt; LockValid</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00187">Options.h:187</a></div></div>
+<div class="ttc" id="classOptionMap_html"><div class="ttname"><a href="classOptionMap.html">OptionMap&lt; enum PTAStat::ClockType &gt;</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a737f3501a93f954790fe93d36c43fb00"><div class="ttname"><a href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00">SVF::Options::PTSAllPrint</a></div><div class="ttdeci">static const Option&lt; bool &gt; PTSAllPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00131">Options.h:131</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_abf71061d93d4a3b32246f19dc71e5127"><div class="ttname"><a href="classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127">SVF::Options::ConnectVCallOnCHA</a></div><div class="ttdeci">static const Option&lt; bool &gt; ConnectVCallOnCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00143">Options.h:143</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a86f982d9716181bca93a350b5a11a1dc"><div class="ttname"><a href="classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc">SVF::Options::MaxZ3Size</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxZ3Size</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00221">Options.h:221</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a17f11eb3e9a3178395e8574a027b181e"><div class="ttname"><a href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">SVF::Options::LoopBound</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; LoopBound</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00261">Options.h:261</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a34e1093189fc8c150a9f2961557aa844"><div class="ttname"><a href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844">SVF::Options::PrintLockSpan</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintLockSpan</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00171">Options.h:171</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ae88c0813d02dcb5632cd721a61a15014"><div class="ttname"><a href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014">SVF::Options::PrintQueryPts</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintQueryPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00102">Options.h:102</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aac637c9746749320a4ebd6af36212c56"><div class="ttname"><a href="classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56">SVF::Options::AddModelFlag</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; AddModelFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00168">Options.h:168</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a0c5d08f13bd41095afb3b60c7ffad0e0"><div class="ttname"><a href="classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0">SVF::Options::InsenCycle</a></div><div class="ttdeci">static const Option&lt; bool &gt; InsenCycle</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00100">Options.h:100</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a429c3000ee2ac45119b8c241aa06762c"><div class="ttname"><a href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">SVF::Options::ModelArrays</a></div><div class="ttdeci">static const Option&lt; bool &gt; ModelArrays</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00217">Options.h:217</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a36db0fdd38ff9093d2e6bb30581b25e1"><div class="ttname"><a href="classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1">SVF::Options::AnderTimeLimit</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; AnderTimeLimit</div><div class="ttdoc">Time limit for the Andersen&amp;#39;s analyses. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00075">Options.h:75</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a198e0d500ae635c709c406bbec604050"><div class="ttname"><a href="classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050">SVF::Options::LocMemModel</a></div><div class="ttdeci">static const Option&lt; bool &gt; LocMemModel</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00215">Options.h:215</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ad6f51870a3cabccbec4898d572dba74f"><div class="ttname"><a href="classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f">SVF::Options::TaintUninitHeap</a></div><div class="ttdeci">static const Option&lt; bool &gt; TaintUninitHeap</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00091">Options.h:91</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a7c6053f2341a500a8caca61607303b6e"><div class="ttname"><a href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e">SVF::Options::PAGPrint</a></div><div class="ttdeci">static const Option&lt; bool &gt; PAGPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00138">Options.h:138</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a3fc22d0a45be551110d1e326380f3202"><div class="ttname"><a href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">SVF::Options::DetectPWC</a></div><div class="ttdeci">static Option&lt; bool &gt; DetectPWC</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00238">Options.h:238</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ae3ad3003a8d3df2f1e3463248bb5ad51"><div class="ttname"><a href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">SVF::Options::DumpVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00122">Options.h:122</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a4837cf00e58d0b561f420f4b3b533ebd"><div class="ttname"><a href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd">SVF::Options::PASelected</a></div><div class="ttdeci">static OptionMultiple&lt; PointerAnalysis::PTATY &gt; PASelected</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00245">Options.h:245</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aa127a32b03e381343c624e53adc4ef2e"><div class="ttname"><a href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e">SVF::Options::MemPar</a></div><div class="ttdeci">static const OptionMap&lt; MemSSA::MemPartition &gt; MemPar</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00155">Options.h:155</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a83103f0d5f166e0bb062aa7d7b393ddd"><div class="ttname"><a href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd">SVF::Options::TypePrint</a></div><div class="ttdeci">static const Option&lt; bool &gt; TypePrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00128">Options.h:128</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a6237da3f4e264fa8b63c11d621f39e71"><div class="ttname"><a href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">SVF::Options::MaxContextLen</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxContextLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00096">Options.h:96</a></div></div>
 <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#l00019">Options.h:19</a></div></div>
-<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&lt; bool &gt; ValidateTests</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00198">Options.h:198</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a3e311bdcdaf0e39fd7d8566dc7866a44"><div class="ttname"><a href="classSVF_1_1Options.html#a3e311bdcdaf0e39fd7d8566dc7866a44">SVF::Options::DiffPts</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; DiffPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00237">Options.h:237</a></div></div>
-<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&lt; bool &gt; KeepAOFI</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00118">Options.h:118</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ae7ccfb3d1308e205e5014849dcc43d9a"><div class="ttname"><a href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options::DumpICFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpICFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00136">Options.h:136</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a782d52d7e8d423c2bef27b34d518ffd9"><div class="ttname"><a href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9">SVF::Options::WPANum</a></div><div class="ttdeci">static const Option&lt; bool &gt; WPANum</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00103">Options.h:103</a></div></div>
 <div class="ttc" id="PointerAnalysisImpl_8h_html"><div class="ttname"><a href="PointerAnalysisImpl_8h.html">PointerAnalysisImpl.h</a></div></div>
-<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&lt; bool &gt; AndersenAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00178">Options.h:178</a></div></div>
-<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&lt; unsigned long long &gt; FlowBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00107">Options.h:107</a></div></div>
-<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&lt; std ::string &gt; WriteAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00234">Options.h:234</a></div></div>
-<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&lt; std::string &gt; GrammarFilename</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00252">Options.h:252</a></div></div>
-<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&lt; bool &gt; FirstFieldEqBase</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00114">Options.h:114</a></div></div>
-<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&lt; bool &gt; RegionedClustering</div><div class="ttdoc">Cluster partitions separately. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00059">Options.h:59</a></div></div>
-<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&lt; enum PTAStat::ClockType &gt; ClockType</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00024">Options.h:24</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a420e6656b02fd900430d51b8b4a5c6c1"><div class="ttname"><a href="classSVF_1_1Options.html#a420e6656b02fd900430d51b8b4a5c6c1">SVF::Options::LoopAnalysis</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; LoopAnalysis</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00260">Options.h:260</a></div></div>
-<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&lt; bool &gt; FuncPointerPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00129">Options.h:129</a></div></div>
-<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&lt; bool &gt; ConnectVCallOnCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00143">Options.h:143</a></div></div>
-<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&lt; bool &gt; UsePCG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00165">Options.h:165</a></div></div>
-<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&lt; bool &gt; DumpICFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00136">Options.h:136</a></div></div>
-<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&lt; bool &gt; HandBlackHole</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00113">Options.h:113</a></div></div>
-<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&lt; bool &gt; InsenCycle</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00100">Options.h:100</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_adceab9fa76c438b8e5e83dd6042523ce"><div class="ttname"><a href="classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce">SVF::Options::TCTDotGraph</a></div><div class="ttdeci">static const Option&lt; bool &gt; TCTDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00195">Options.h:195</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aeab702f641fd13ee1d0f89837097e43b"><div class="ttname"><a href="classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b">SVF::Options::InsenRecur</a></div><div class="ttdeci">static const Option&lt; bool &gt; InsenRecur</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00099">Options.h:99</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ad09017ae2e1010fbba5c086a4772750f"><div class="ttname"><a href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f">SVF::Options::GrammarFilename</a></div><div class="ttdeci">static const Option&lt; std::string &gt; GrammarFilename</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00252">Options.h:252</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aa8818e8138233838af224d4214de9e8f"><div class="ttname"><a href="classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f">SVF::Options::MSSAFun</a></div><div class="ttdeci">static const Option&lt; std::string &gt; MSSAFun</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00153">Options.h:153</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a09005e749b1030347ac5dcc015053a37"><div class="ttname"><a href="classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37">SVF::Options::KeepAOFI</a></div><div class="ttdeci">static const Option&lt; bool &gt; KeepAOFI</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00118">Options.h:118</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ae60822a71ee1cd389413d98dfb35e302"><div class="ttname"><a href="classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302">SVF::Options::ContextInsensitive</a></div><div class="ttdeci">static const Option&lt; bool &gt; ContextInsensitive</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00117">Options.h:117</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a6ebad0decdd6e93c661b72d80f5dbcef"><div class="ttname"><a href="classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef">SVF::Options::FsTimeLimit</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; FsTimeLimit</div><div class="ttdoc">Time limit for the main phase (i.e., the actual solving) of FS analyses. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00072">Options.h:72</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ad80f77349205dac9e74aa41ea1ecbf95"><div class="ttname"><a href="classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95">SVF::Options::ConsCGDotGraph</a></div><div class="ttdeci">static const Option&lt; bool &gt; ConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00230">Options.h:230</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a296e4a2187d14828cb0baf859f48d716"><div class="ttname"><a href="classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716">SVF::Options::DumpUninitPtr</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpUninitPtr</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00087">Options.h:87</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a944aee270c78d42c998691da283165f1"><div class="ttname"><a href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1">SVF::Options::PrintValidRes</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintValidRes</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00185">Options.h:185</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ab9443e23bdcb60f118a7aab835f974db"><div class="ttname"><a href="classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db">SVF::Options::DumpSlice</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpSlice</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00201">Options.h:201</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a8cc5b2a363724b558f4932277a87c0f6"><div class="ttname"><a href="classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6">SVF::Options::RegionedClustering</a></div><div class="ttdeci">static const Option&lt; bool &gt; RegionedClustering</div><div class="ttdoc">Cluster partitions separately. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00059">Options.h:59</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ac17ce6d75293dcd0baf366cbeb0cb6d6"><div class="ttname"><a href="classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6">SVF::Options::ClusterMethod</a></div><div class="ttdeci">static const OptionMap&lt; enum hclust_fast_methods &gt; ClusterMethod</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00056">Options.h:56</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_afa6c98d477db41a457ac83cfbfd4a580"><div class="ttname"><a href="classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580">SVF::Options::DDASelected</a></div><div class="ttdeci">static OptionMultiple&lt; PointerAnalysis::PTATY &gt; DDASelected</div><div class="ttdoc">register this into alias analysis group </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00104">Options.h:104</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_abfd13c7d998333290b39354178739f2c"><div class="ttname"><a href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">SVF::Options::LoopAnalysis</a></div><div class="ttdeci">static const Option&lt; bool &gt; LoopAnalysis</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00260">Options.h:260</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a7ef3e2cd417646e9d06e0da16ff6c516"><div class="ttname"><a href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">SVF::Options::CFLSVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; CFLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00257">Options.h:257</a></div></div>
+<div class="ttc" id="classOptionMultiple_html"><div class="ttname"><a href="classOptionMultiple.html">OptionMultiple&lt; PointerAnalysis::PTATY &gt;</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a3fd9cce83729bc62cd2fb568b0d53db5"><div class="ttname"><a href="classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5">SVF::Options::CxtLimit</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; CxtLimit</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00202">Options.h:202</a></div></div>
 <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00037">AbstractValue.h:37</a></div></div>
-<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&lt; bool &gt; ClusterAnder</div><div class="ttdoc">Whether to stage Andersen&amp;#39;s with Steensgaard and cluster based on that data. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00041">Options.h:41</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a93970b0b5e0a6148a86ab192a812f34b"><div class="ttname"><a href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SVF::Options::SABERFULLSVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; SABERFULLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00243">Options.h:243</a></div></div>
 <div class="ttc" id="fastcluster_8h_html"><div class="ttname"><a href="fastcluster_8h.html">fastcluster.h</a></div></div>
-<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&lt; bool &gt; PAGPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00138">Options.h:138</a></div></div>
-<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&lt; bool &gt; AllPairMHP</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00189">Options.h:189</a></div></div>
-<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&lt; bool &gt; LocMemModel</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00215">Options.h:215</a></div></div>
-<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&lt; bool &gt; ContextInsensitive</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00117">Options.h:117</a></div></div>
-<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&lt; bool &gt; DumpUninitVar</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00086">Options.h:86</a></div></div>
-<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&lt; bool &gt; PrintLockSpan</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00171">Options.h:171</a></div></div>
-<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&lt; bool &gt; MarkedClocksOnly</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00031">Options.h:31</a></div></div>
-<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&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>
-<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&lt; bool &gt; DumpSUStore</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00089">Options.h:89</a></div></div>
-<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&lt; unsigned &gt; AnderTimeLimit</div><div class="ttdoc">Time limit for the Andersen&amp;#39;s analyses. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00075">Options.h:75</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_ab7161ca7a809792af82e5aabdfcc3bfb"><div class="ttname"><a href="classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb">SVF::Options::LoopBound</a></div><div class="ttdeci">static const llvm::cl::opt&lt; unsigned &gt; LoopBound</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00261">Options.h:261</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a13ff50def26bcf8f79d3222c6948cbfe"><div class="ttname"><a href="classSVF_1_1Options.html#a13ff50def26bcf8f79d3222c6948cbfe">SVF::Options::CFLSVFG</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; CFLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00257">Options.h:257</a></div></div>
-<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&lt; unsigned &gt; VersioningThreads</div><div class="ttdoc">Number of threads for the versioning phase. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00078">Options.h:78</a></div></div>
-<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&lt; bool &gt; DumpCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00205">Options.h:205</a></div></div>
-<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&lt; bool &gt; TCTDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00195">Options.h:195</a></div></div>
-<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&lt; bool &gt; UsePreCompFieldSensitive</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00140">Options.h:140</a></div></div>
-<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&lt; bool &gt; ReadPrecisionTDEdge</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00167">Options.h:167</a></div></div>
-<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&lt; bool &gt; PrintCGGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00232">Options.h:232</a></div></div>
-<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&lt; bool &gt; IntraLock</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00166">Options.h:166</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a787f95c7ac87e04f2e6d55cf5d665a34"><div class="ttname"><a href="classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34">SVF::Options::TaintUninitStack</a></div><div class="ttdeci">static const Option&lt; bool &gt; TaintUninitStack</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00092">Options.h:92</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a28af43961cb29a7dea50be2ab332cc75"><div class="ttname"><a href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">SVF::Options::ClockType</a></div><div class="ttdeci">static const OptionMap&lt; enum PTAStat::ClockType &gt; ClockType</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00024">Options.h:24</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a5f07ff361307017b35fb6b9a97919a73"><div class="ttname"><a href="classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73">SVF::Options::EnableAliasCheck</a></div><div class="ttdeci">static const Option&lt; bool &gt; EnableAliasCheck</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00141">Options.h:141</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aa5bae1db07c401517c1c0f8fd9f2deef"><div class="ttname"><a href="classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef">SVF::Options::IndirectCallLimit</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; IndirectCallLimit</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00139">Options.h:139</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a034a83cdac580c1f8b10805e29ca50e4"><div class="ttname"><a href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4">SVF::Options::ReadSVFG</a></div><div class="ttdeci">static const Option&lt; std::string &gt; ReadSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00162">Options.h:162</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a428e892b31dcb783be36a35e878a0337"><div class="ttname"><a href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337">SVF::Options::PTSPrint</a></div><div class="ttdeci">static const Option&lt; bool &gt; PTSPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00130">Options.h:130</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a26711c33c9247a296f6dfaaf36d38e47"><div class="ttname"><a href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47">SVF::Options::WriteSVFG</a></div><div class="ttdeci">static const Option&lt; std::string &gt; WriteSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00161">Options.h:161</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a3a718b0a27c2d13878c0718af97ad73d"><div class="ttname"><a href="classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d">SVF::Options::SVFMain</a></div><div class="ttdeci">static const Option&lt; bool &gt; SVFMain</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00212">Options.h:212</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_abe3087eb48a10bb600d1fd24308c019b"><div class="ttname"><a href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b">SVF::Options::PrintCPts</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintCPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00101">Options.h:101</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_af6d92cd4372cd952e6d955cfc9be0ccb"><div class="ttname"><a href="classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb">SVF::Options::IntraLock</a></div><div class="ttdeci">static const Option&lt; bool &gt; IntraLock</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00166">Options.h:166</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ad2f3ffd1b8d579ebe4c19a015cd599e2"><div class="ttname"><a href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2">SVF::Options::StatBudget</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; StatBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00133">Options.h:133</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aab85f2c2ceb235b1291301f33154d182"><div class="ttname"><a href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">SVF::Options::PrintDCHG</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintDCHG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00208">Options.h:208</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a2960fcb679f8dfee7d8822fcf9609f4a"><div class="ttname"><a href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a">SVF::Options::AliasRule</a></div><div class="ttdeci">static OptionMultiple&lt; WPAPass::AliasCheckRule &gt; AliasRule</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00246">Options.h:246</a></div></div>
 <div class="ttc" id="PTAStat_8h_html"><div class="ttname"><a href="PTAStat_8h.html">PTAStat.h</a></div></div>
-<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&lt; bool &gt; InsenRecur</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00099">Options.h:99</a></div></div>
-<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&lt; bool &gt; ModelArrays</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00217">Options.h:217</a></div></div>
-<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&lt; bool &gt; PrintPathCond</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00224">Options.h:224</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aaa27474452c68545e883d02a334cab70"><div class="ttname"><a href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70">SVF::Options::AllPairMHP</a></div><div class="ttdeci">static const Option&lt; bool &gt; AllPairMHP</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00189">Options.h:189</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a9e5f361015b558d3d4e7e033868f9c83"><div class="ttname"><a href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83">SVF::Options::PrintCGGraph</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintCGGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00232">Options.h:232</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a424a44f39a43b22434dbdce26007a353"><div class="ttname"><a href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const Option&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a9ff12bf51a475c90c35e3351c5501f0f"><div class="ttname"><a href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">SVF::Options::PrintCFL</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintCFL</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00254">Options.h:254</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ae3c3cc703ef35987a32aa808038a1307"><div class="ttname"><a href="classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307">SVF::Options::ptDataBacking</a></div><div class="ttdeci">static const OptionMap&lt; BVDataPTAImpl::PTBackingType &gt; ptDataBacking</div><div class="ttdoc">PTData type. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00069">Options.h:69</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ae2c4fe298a27f50c749b75f0801f9666"><div class="ttname"><a href="classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666">SVF::Options::DoLockAnalysis</a></div><div class="ttdeci">static const Option&lt; bool &gt; DoLockAnalysis</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00175">Options.h:175</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>