svf-tools 1.0.618 → 1.0.620

package/SVF-doxygen/html/html/dda_8cpp_source.html

@@ -66,26 +66,25 @@ $(function() {
 <div class="title">dda.cpp</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="dda_8cpp.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">/*</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment"> // On Demand Value Flow Analysis</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment"> //</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment"> // Author: Yulei Sui,</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;</div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="comment">//#include &quot;AliasUtil/AliasAnalysisCounter.h&quot;</span></div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">//#include &quot;MemoryModel/ComTypeModel.h&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="LLVMUtil_8h.html">SVF-LLVM/LLVMUtil.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="SVFIRBuilder_8h.html">SVF-LLVM/SVFIRBuilder.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="DDAPass_8h.html">DDA/DDAPass.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="Options_8h.html">Util/Options.h</a>&quot;</span></div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;</div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacellvm.html">llvm</a>;</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="keyword">using 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;<span class="keyword">static</span> cl::opt&lt;bool&gt;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<a class="code" href="dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">StandardCompileOpts</a>(<span class="stringliteral">&quot;std-compile-opts&quot;</span>,</div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;                    cl::desc(<span class="stringliteral">&quot;Include the standard compile time optimizations&quot;</span>));</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">static</span> llvm::cl::opt&lt;std::string&gt; <a class="code" href="dda_8cpp.html#a139199e1f33675df72b018c31e0be35c">InputFilename</a>(llvm::cl::Positional,</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;        llvm::cl::desc(<span class="stringliteral">&quot;&lt;input bitcode&gt;&quot;</span>), llvm::cl::init(<span class="stringliteral">&quot;-&quot;</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">   24</span>&#160;<span class="comment">//static cl::list&lt;const PassInfo*, bool, PassNameParser&gt;</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment">//PassList(cl::desc(&quot;Optimizations available:&quot;));</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#a55c1167d4e6efe7828f050d978291725">DAA</a>(<span class="stringliteral">&quot;daa&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;                         cl::desc(<span class="stringliteral">&quot;Demand-Driven Alias Analysis Pass&quot;</span>));</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#a5ed1de5ad06cf459c1b4e63685316618">REGPT</a>(<span class="stringliteral">&quot;dreg&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;                           cl::desc(<span class="stringliteral">&quot;Demand-driven regular points-to analysis&quot;</span>));</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389">RFINEPT</a>(<span class="stringliteral">&quot;dref&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;                             cl::desc(<span class="stringliteral">&quot;Demand-driven refinement points-to analysis&quot;</span>));</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#adad2a8a1b2f5bf9f333382725f174cb0">ENABLEFIELD</a>(<span class="stringliteral">&quot;fdaa&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;                                 cl::desc(<span class="stringliteral">&quot;enable field-sensitivity for demand-driven analysis&quot;</span>));</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#a1fe1900e000a62ca91dc0651bfa3a24f">ENABLECONTEXT</a>(<span class="stringliteral">&quot;cdaa&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;                                   cl::desc(<span class="stringliteral">&quot;enable context-sensitivity for demand-driven analysis&quot;</span>));</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#af95c31f8cf35812a4fe4a22342aacaa2">ENABLEFLOW</a>(<span class="stringliteral">&quot;ldaa&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;                                cl::desc(<span class="stringliteral">&quot;enable flow-sensitivity for demand-driven analysis&quot;</span>));</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">   45</a></span>&#160;<span class="keywordtype">int</span> <a class="code" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a>(<span class="keywordtype">int</span> argc, <span class="keywordtype">char</span> ** argv)</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;{</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    <span class="keywordtype">int</span> arg_num = 0;</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    <a class="code" href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">LLVMUtil::processArguments</a>(argc, argv, arg_num, arg_value, moduleNameVec);</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    cl::ParseCommandLineOptions(arg_num, arg_value,</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;                                <span class="stringliteral">&quot;Demand-Driven Points-to Analysis\n&quot;</span>);</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    {</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    }</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    <a class="code" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> builder(svfModule);</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = builder.<a class="code" href="classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689">build</a>();</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    <a class="code" href="classSVF_1_1DDAPass.html">DDAPass</a> dda;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    dda.<a class="code" href="classSVF_1_1DDAPass.html#aca46f1d464f5766ae666661a164a51a9">runOnModule</a>(pag);</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    <span class="keyword">delete</span>[] arg_value;</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;}</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;</div><div class="ttc" id="dda_8cpp_html_a1fe1900e000a62ca91dc0651bfa3a24f"><div class="ttname"><a href="dda_8cpp.html#a1fe1900e000a62ca91dc0651bfa3a24f">ENABLECONTEXT</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; ENABLECONTEXT(&quot;cdaa&quot;, cl::init(false), cl::desc(&quot;enable context-sensitivity for demand-driven analysis&quot;))</div></div>
+<a href="dda_8cpp.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">/*</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment"> // On Demand Value Flow Analysis</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment"> //</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment"> // Author: Yulei Sui,</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;</div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="comment">//#include &quot;AliasUtil/AliasAnalysisCounter.h&quot;</span></div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">//#include &quot;MemoryModel/ComTypeModel.h&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="LLVMUtil_8h.html">SVF-LLVM/LLVMUtil.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="SVFIRBuilder_8h.html">SVF-LLVM/SVFIRBuilder.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="DDAPass_8h.html">DDA/DDAPass.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="Options_8h.html">Util/Options.h</a>&quot;</span></div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;</div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacellvm.html">llvm</a>;</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="keyword">using 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;<span class="comment">//static cl::list&lt;const PassInfo*, bool, PassNameParser&gt;</span></div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">//PassList(cl::desc(&quot;Optimizations available:&quot;));</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;</div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="keyword">static</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb">DAA</a>(</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;    <span class="stringliteral">&quot;daa&quot;</span>,</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;    <span class="stringliteral">&quot;Demand-Driven Alias Analysis Pass&quot;</span>,</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;    <span class="keyword">false</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;);</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="keyword">static</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0">REGPT</a>(</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;    <span class="stringliteral">&quot;dreg&quot;</span>,</div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;    <span class="stringliteral">&quot;Demand-driven regular points-to analysis&quot;</span>,</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;    <span class="keyword">false</span></div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;);</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="keyword">static</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35">RFINEPT</a>(</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;    <span class="stringliteral">&quot;dref&quot;</span>,</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;    <span class="stringliteral">&quot;Demand-driven refinement points-to analysis&quot;</span>,</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;    <span class="keyword">false</span></div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;);</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;<span class="keyword">static</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="dda_8cpp.html#a33384804c17c2e3f457d80b47b114e1d">ENABLEFIELD</a>(</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;    <span class="stringliteral">&quot;fdaa&quot;</span>,</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    <span class="stringliteral">&quot;enable field-sensitivity for demand-driven analysis&quot;</span>,</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;    <span class="keyword">false</span></div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;);</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;<span class="keyword">static</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="dda_8cpp.html#a0a4ada5aa37179525df2c87a5c6e2685">ENABLECONTEXT</a>(</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;    <span class="stringliteral">&quot;cdaa&quot;</span>,</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    <span class="stringliteral">&quot;enable context-sensitivity for demand-driven analysis&quot;</span>,</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    <span class="keyword">false</span></div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;);</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;<span class="keyword">static</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="dda_8cpp.html#a41cf6b3bb80c86976fab3561440031fe">ENABLEFLOW</a>(</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    <span class="stringliteral">&quot;ldaa&quot;</span>,</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    <span class="stringliteral">&quot;enable flow-sensitivity for demand-driven analysis&quot;</span>,</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    <span class="keyword">false</span></div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;);</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">   56</a></span>&#160;<span class="keywordtype">int</span> <a class="code" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a>(<span class="keywordtype">int</span> argc, <span class="keywordtype">char</span> ** argv)</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;{</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    moduleNameVec = <a class="code" href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a>(</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;                        argc, argv, <span class="stringliteral">&quot;Demand-Driven Points-to Analysis&quot;</span>, <span class="stringliteral">&quot;[options] &lt;input-bitcode...&gt;&quot;</span></div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;                    );</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder() == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    {</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    }</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <a class="code" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> builder(svfModule);</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = builder.<a class="code" href="classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689">build</a>();</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <a class="code" href="classSVF_1_1DDAPass.html">DDAPass</a> dda;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    dda.<a class="code" href="classSVF_1_1DDAPass.html#aca46f1d464f5766ae666661a164a51a9">runOnModule</a>(pag);</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <span class="keyword">delete</span>[] arg_value;</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    <span class="keywordflow">return</span> 0;</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;}</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;</div><div class="ttc" id="dda_8cpp_html_a41cf6b3bb80c86976fab3561440031fe"><div class="ttname"><a href="dda_8cpp.html#a41cf6b3bb80c86976fab3561440031fe">ENABLEFLOW</a></div><div class="ttdeci">static Option&lt; bool &gt; ENABLEFLOW(&quot;ldaa&quot;, &quot;enable flow-sensitivity for demand-driven analysis&quot;, false)</div></div>
 <div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00013">GEPTypeBridgeIterator.h:13</a></div></div>
-<div class="ttc" id="dda_8cpp_html_a139199e1f33675df72b018c31e0be35c"><div class="ttname"><a href="dda_8cpp.html#a139199e1f33675df72b018c31e0be35c">InputFilename</a></div><div class="ttdeci">static llvm::cl::opt&lt; std::string &gt; InputFilename(llvm::cl::Positional, llvm::cl::desc(&quot;&lt;input bitcode&gt;&quot;), llvm::cl::init(&quot;-&quot;))</div></div>
-<div class="ttc" id="dda_8cpp_html_afffbd7760f0128b74c9dbfd517d0f99e"><div class="ttname"><a href="dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">StandardCompileOpts</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; StandardCompileOpts(&quot;std-compile-opts&quot;, cl::desc(&quot;Include the standard compile time optimizations&quot;))</div></div>
-<div class="ttc" id="dda_8cpp_html_a5ed1de5ad06cf459c1b4e63685316618"><div class="ttname"><a href="dda_8cpp.html#a5ed1de5ad06cf459c1b4e63685316618">REGPT</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; REGPT(&quot;dreg&quot;, cl::init(false), cl::desc(&quot;Demand-driven regular points-to analysis&quot;))</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="dda_8cpp_html_a67ee98e0a1d06555ea82c26cf1fa2b35"><div class="ttname"><a href="dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35">RFINEPT</a></div><div class="ttdeci">static Option&lt; bool &gt; RFINEPT(&quot;dref&quot;, &quot;Demand-driven refinement points-to analysis&quot;, false)</div></div>
 <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a5ecf1deb5646ccb46b0b3101417f4689"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689">SVF::SVFIRBuilder::build</a></div><div class="ttdeci">virtual SVFIR * build()</div><div class="ttdoc">Start building SVFIR here. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00051">SVFIRBuilder.cpp:51</a></div></div>
 <div class="ttc" id="classSVF_1_1DDAPass_html_aca46f1d464f5766ae666661a164a51a9"><div class="ttname"><a href="classSVF_1_1DDAPass.html#aca46f1d464f5766ae666661a164a51a9">SVF::DDAPass::runOnModule</a></div><div class="ttdeci">virtual void runOnModule(SVFIR *module)</div><div class="ttdoc">We start from here. </div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8cpp_source.html#l00055">DDAPass.cpp:55</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
-<div class="ttc" id="dda_8cpp_html_a55c1167d4e6efe7828f050d978291725"><div class="ttname"><a href="dda_8cpp.html#a55c1167d4e6efe7828f050d978291725">DAA</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; DAA(&quot;daa&quot;, cl::init(false), cl::desc(&quot;Demand-Driven Alias Analysis Pass&quot;))</div></div>
-<div class="ttc" id="dda_8cpp_html_a3abc2ce6737d192a5c3f967734fe8389"><div class="ttname"><a href="dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389">RFINEPT</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; RFINEPT(&quot;dref&quot;, cl::init(false), cl::desc(&quot;Demand-driven refinement points-to analysis&quot;))</div></div>
+<div class="ttc" id="dda_8cpp_html_a0a4ada5aa37179525df2c87a5c6e2685"><div class="ttname"><a href="dda_8cpp.html#a0a4ada5aa37179525df2c87a5c6e2685">ENABLECONTEXT</a></div><div class="ttdeci">static Option&lt; bool &gt; ENABLECONTEXT(&quot;cdaa&quot;, &quot;enable context-sensitivity for demand-driven analysis&quot;, false)</div></div>
 <div class="ttc" id="classSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00045">SVFIRBuilder.h:45</a></div></div>
 <div class="ttc" id="classSVF_1_1DDAPass_html"><div class="ttname"><a href="classSVF_1_1DDAPass.html">SVF::DDAPass</a></div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8h_source.html#l00046">DDAPass.h:46</a></div></div>
-<div class="ttc" id="dda_8cpp_html_a3c04138a5bfe5d72780bb7e82a18e627"><div class="ttname"><a href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a></div><div class="ttdeci">int main(int argc, char **argv)</div><div class="ttdef"><b>Definition:</b> <a href="dda_8cpp_source.html#l00045">dda.cpp:45</a></div></div>
-<div class="ttc" id="dda_8cpp_html_adad2a8a1b2f5bf9f333382725f174cb0"><div class="ttname"><a href="dda_8cpp.html#adad2a8a1b2f5bf9f333382725f174cb0">ENABLEFIELD</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; ENABLEFIELD(&quot;fdaa&quot;, cl::init(false), cl::desc(&quot;enable field-sensitivity for demand-driven analysis&quot;))</div></div>
+<div class="ttc" id="dda_8cpp_html_aa87e1cd4be4709a21393ed9e1a0da6bb"><div class="ttname"><a href="dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb">DAA</a></div><div class="ttdeci">static Option&lt; bool &gt; DAA(&quot;daa&quot;, &quot;Demand-Driven Alias Analysis Pass&quot;, false)</div></div>
+<div class="ttc" id="dda_8cpp_html_a3c04138a5bfe5d72780bb7e82a18e627"><div class="ttname"><a href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a></div><div class="ttdeci">int main(int argc, char **argv)</div><div class="ttdef"><b>Definition:</b> <a href="dda_8cpp_source.html#l00056">dda.cpp:56</a></div></div>
+<div class="ttc" id="dda_8cpp_html_aa4d54caa95b7971baaaa499dc52a83f0"><div class="ttname"><a href="dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0">REGPT</a></div><div class="ttdeci">static Option&lt; bool &gt; REGPT(&quot;dreg&quot;, &quot;Demand-driven regular points-to analysis&quot;, false)</div></div>
 <div class="ttc" id="DDAPass_8h_html"><div class="ttname"><a href="DDAPass_8h.html">DDAPass.h</a></div></div>
 <div class="ttc" id="Options_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
-<div class="ttc" id="dda_8cpp_html_af95c31f8cf35812a4fe4a22342aacaa2"><div class="ttname"><a href="dda_8cpp.html#af95c31f8cf35812a4fe4a22342aacaa2">ENABLEFLOW</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; ENABLEFLOW(&quot;ldaa&quot;, cl::init(false), cl::desc(&quot;enable flow-sensitivity for demand-driven analysis&quot;))</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="SVFIRBuilder_8h_html"><div class="ttname"><a href="SVFIRBuilder_8h.html">SVFIRBuilder.h</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_accdd44093d6d145dc92edeaaff3f5732"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">SVF::LLVMUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00413">LLVMUtil.cpp:413</a></div></div>
+<div class="ttc" id="dda_8cpp_html_a33384804c17c2e3f457d80b47b114e1d"><div class="ttname"><a href="dda_8cpp.html#a33384804c17c2e3f457d80b47b114e1d">ENABLEFIELD</a></div><div class="ttdeci">static Option&lt; bool &gt; ENABLEFIELD(&quot;fdaa&quot;, &quot;enable field-sensitivity for demand-driven analysis&quot;, false)</div></div>
+<div class="ttc" id="classOptionBase_html_a4fb6c6e4a1754d702c6c1730f54457e5"><div class="ttname"><a href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a></div><div class="ttdeci">static std::vector&lt; std::string &gt; parseOptions(int argc, char *argv[], std::string description, std::string callFormat)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00075">CommandLine.h:75</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
 <div class="ttc" id="LLVMUtil_8h_html"><div class="ttname"><a href="LLVMUtil_8h.html">LLVMUtil.h</a></div></div>
 </div><!-- fragment --></div><!-- contents -->

package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html

@@ -79,6 +79,8 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:cJSON_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="cJSON_8h.html">cJSON.h</a> <a href="cJSON_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:CommandLine_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CommandLine_8h.html">CommandLine.h</a> <a href="CommandLine_8h_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CoreBitVector_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CoreBitVector_8h.html">CoreBitVector.h</a> <a href="CoreBitVector_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CxtStmt_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CxtStmt_8h.html">CxtStmt.h</a> <a href="CxtStmt_8h_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/html/files.html

@@ -186,23 +186,24 @@ $(function() {
 <tr id="row_0_11_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CallGraphBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CallGraphBuilder_8h.html" target="_self">CallGraphBuilder.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_11_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Casting_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Casting_8h.html" target="_self">Casting.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_11_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="cJSON_8h_source.html"><span class="icondoc"></span></a><a class="el" href="cJSON_8h.html" target="_self">cJSON.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CoreBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CoreBitVector_8h.html" target="_self">CoreBitVector.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_6_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CxtStmt_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CxtStmt_8h.html" target="_self">CxtStmt.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_7_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="DPItem_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DPItem_8h.html" target="_self">DPItem.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_8_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="ExtAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ExtAPI_8h.html" target="_self">ExtAPI.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_9_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="GraphReachSolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GraphReachSolver_8h.html" target="_self">GraphReachSolver.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_10_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="iterator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="iterator_8h.html" target="_self">iterator.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_11_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="iterator__range_8h_source.html"><span class="icondoc"></span></a><a class="el" href="iterator__range_8h.html" target="_self">iterator_range.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_12_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="NodeIDAllocator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8h.html" target="_self">NodeIDAllocator.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_13_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Options_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8h.html" target="_self">Options.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_14_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="PTAStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8h.html" target="_self">PTAStat.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_15_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SCC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SCC_8h.html" target="_self">SCC.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_16_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SparseBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SparseBitVector_8h.html" target="_self">SparseBitVector.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_17_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8h.html" target="_self">SVFStat.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_18_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8h.html" target="_self">SVFUtil.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_19_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="ThreadAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8h.html" target="_self">ThreadAPI.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_20_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="WorkList_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WorkList_8h.html" target="_self">WorkList.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_21_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Z3Expr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8h.html" target="_self">Z3Expr.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CommandLine_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CommandLine_8h.html" target="_self">CommandLine.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_6_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CoreBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CoreBitVector_8h.html" target="_self">CoreBitVector.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_7_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CxtStmt_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CxtStmt_8h.html" target="_self">CxtStmt.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_8_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="DPItem_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DPItem_8h.html" target="_self">DPItem.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_9_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="ExtAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ExtAPI_8h.html" target="_self">ExtAPI.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_10_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="GraphReachSolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GraphReachSolver_8h.html" target="_self">GraphReachSolver.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_11_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="iterator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="iterator_8h.html" target="_self">iterator.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_12_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="iterator__range_8h_source.html"><span class="icondoc"></span></a><a class="el" href="iterator__range_8h.html" target="_self">iterator_range.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_13_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="NodeIDAllocator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8h.html" target="_self">NodeIDAllocator.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_14_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Options_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8h.html" target="_self">Options.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_15_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="PTAStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8h.html" target="_self">PTAStat.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_16_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SCC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SCC_8h.html" target="_self">SCC.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_17_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SparseBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SparseBitVector_8h.html" target="_self">SparseBitVector.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_18_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8h.html" target="_self">SVFStat.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_19_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8h.html" target="_self">SVFUtil.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_20_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="ThreadAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8h.html" target="_self">ThreadAPI.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_21_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="WorkList_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WorkList_8h.html" target="_self">WorkList.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_22_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Z3Expr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8h.html" target="_self">Z3Expr.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_12_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_0_12_" class="arrow" onclick="toggleFolder('0_12_')">&#9658;</span><span id="img_0_12_" class="iconfclosed" onclick="toggleFolder('0_12_')">&#160;</span><a class="el" href="dir_ea25a8a5b2904424d8a51916f8b475b2.html" target="_self">WPA</a></td><td class="desc"></td></tr>
 <tr id="row_0_12_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Andersen_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Andersen_8h.html" target="_self">Andersen.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_12_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="AndersenPWC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AndersenPWC_8h.html" target="_self">AndersenPWC.h</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/html/functions_a.html

@@ -651,7 +651,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Annotator.html#ad1424270d91f70dee1461b6301ce8091">SVF::Annotator</a>
 </li>
 <li>AddModelFlag
-: <a class="el" href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56">SVF::Options</a>
 </li>
 <li>addModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e">SVF::MRGenerator</a>
@@ -1089,7 +1089,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#afcbb2cae75a5dd7947cb22c440b8fd0b">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>AliasRule
-: <a class="el" href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a">SVF::Options</a>
 </li>
 <li>AliasSet
 : <a class="el" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">SVF::SVFModule</a>
@@ -1165,7 +1165,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a67e85749e539ea34146b197668a4ea64">SVF::NodeIDAllocator</a>
 </li>
 <li>AllPairMHP
-: <a class="el" href="classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70">SVF::Options</a>
 </li>
 <li>AllPathReachableSolve()
 : <a class="el" href="classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586">SVF::ProgSlice</a>
@@ -1226,7 +1226,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab68615784a520e39856be5237930e6a6">SVF::PointerAnalysis</a>
 </li>
 <li>AndersenAnno
-: <a class="el" href="classSVF_1_1Options.html#aa4849115111e0ec81670c725027da6be">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930">SVF::Options</a>
 </li>
 <li>AndersenBase()
 : <a class="el" href="classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe">SVF::AndersenBase</a>
@@ -1253,10 +1253,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">SVF::PointerAnalysis</a>
 </li>
 <li>AnderSVFG
-: <a class="el" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">SVF::Options</a>
 </li>
 <li>AnderTimeLimit
-: <a class="el" href="classSVF_1_1Options.html#a620fe156ba70f997eace0ccb0d2c9f67">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1">SVF::Options</a>
 </li>
 <li>ANNO_ALIAS
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a27f54c50256fc4a2f96fa2305ad04eb1">SVF::MTAAnnotator</a>
@@ -1268,7 +1268,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a4e10dbbb742125ebcbdc079ad647b87b">SVF::MTAAnnotator</a>
 </li>
 <li>AnnoFlag
-: <a class="el" href="classSVF_1_1Options.html#ae1dadbd4c213f1bd5b8957b5c747bebd">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7">SVF::Options</a>
 </li>
 <li>annotateDRCheck()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a5513a9f2a5b89ab5f90549552fb2b20f">SVF::MTAAnnotator</a>

package/SVF-doxygen/html/html/functions_b.html

@@ -331,7 +331,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f">SVF::BreakConstantGEPs</a>
 </li>
 <li>BriefConsCGDotGraph
-: <a class="el" href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c">SVF::Options</a>
 </li>
 <li>brInst
 : <a class="el" href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">SVF::BranchStmt</a>
@@ -343,8 +343,8 @@ $(function() {
 : <a class="el" href="structprintbuffer.html#a754f63618e91db99f7ab6cfc4e629013">printbuffer</a>
 </li>
 <li>build()
-: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">SVF::CFLGraphBuilder</a>
-, <a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder</a>
+: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a5944c6a36e150a50a54aedd622c43ff9">SVF::CFLGraphBuilder</a>
+, <a class="el" href="classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3">SVF::GrammarBuilder</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis</a>
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e">SVF::LLVMModuleSet</a>
@@ -462,18 +462,21 @@ $(function() {
 <li>buildThreadCallGraph()
 : <a class="el" href="classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7">SVF::ThreadCallGraphBuilder</a>
 </li>
+<li>buildUsage()
+: <a class="el" href="classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965">OptionBase</a>
+</li>
 <li>buildVirtualFunctionToIDMap()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8">SVF::CHGBuilder</a>
 </li>
 <li>buildVTables()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f">SVF::DCHGraph</a>
 </li>
-<li>bv
-: <a class="el" href="classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587">SVF::PointsTo</a>
-</li>
 <li>BV
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892">SVF::PointsTo</a>
 </li>
+<li>bv
+: <a class="el" href="classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587">SVF::PointsTo</a>
+</li>
 <li>bv2int
 : <a class="el" href="classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a">SVF::Z3Expr</a>
 </li>