svf-tools 1.0.619 → 1.0.621

package/SVF-doxygen/html/html/dda_8cpp.html

@@ -63,7 +63,8 @@ $(function() {
 </div><!-- top -->
 <div class="header">
   <div class="summary">
-<a href="#func-members">Functions</a>  </div>
+<a href="#func-members">Functions</a> &#124;
+<a href="#var-members">Variables</a>  </div>
   <div class="headertitle">
 <div class="title">dda.cpp File Reference</div>  </div>
 </div><!--header-->
@@ -77,94 +78,42 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
 Functions</h2></td></tr>
-<tr class="memitem:afffbd7760f0128b74c9dbfd517d0f99e"><td class="memItemLeft" align="right" valign="top">static cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">StandardCompileOpts</a> (&quot;std-compile-opts&quot;, cl::desc(&quot;Include the standard compile time optimizations&quot;))</td></tr>
-<tr class="separator:afffbd7760f0128b74c9dbfd517d0f99e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a139199e1f33675df72b018c31e0be35c"><td class="memItemLeft" align="right" valign="top">static llvm::cl::opt&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#a139199e1f33675df72b018c31e0be35c">InputFilename</a> (llvm::cl::Positional, llvm::cl::desc(&quot;&lt;input bitcode&gt;&quot;), llvm::cl::init(&quot;-&quot;))</td></tr>
-<tr class="separator:a139199e1f33675df72b018c31e0be35c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a55c1167d4e6efe7828f050d978291725"><td class="memItemLeft" align="right" valign="top">static cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#a55c1167d4e6efe7828f050d978291725">DAA</a> (&quot;daa&quot;, cl::init(<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>), cl::desc(&quot;Demand-Driven Alias Analysis Pass&quot;))</td></tr>
-<tr class="separator:a55c1167d4e6efe7828f050d978291725"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5ed1de5ad06cf459c1b4e63685316618"><td class="memItemLeft" align="right" valign="top">static cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#a5ed1de5ad06cf459c1b4e63685316618">REGPT</a> (&quot;dreg&quot;, cl::init(<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>), cl::desc(&quot;Demand-driven regular points-to analysis&quot;))</td></tr>
-<tr class="separator:a5ed1de5ad06cf459c1b4e63685316618"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3abc2ce6737d192a5c3f967734fe8389"><td class="memItemLeft" align="right" valign="top">static cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389">RFINEPT</a> (&quot;dref&quot;, cl::init(<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>), cl::desc(&quot;Demand-driven refinement points-to analysis&quot;))</td></tr>
-<tr class="separator:a3abc2ce6737d192a5c3f967734fe8389"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:adad2a8a1b2f5bf9f333382725f174cb0"><td class="memItemLeft" align="right" valign="top">static cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#adad2a8a1b2f5bf9f333382725f174cb0">ENABLEFIELD</a> (&quot;fdaa&quot;, cl::init(<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>), cl::desc(&quot;enable field-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;))</td></tr>
-<tr class="separator:adad2a8a1b2f5bf9f333382725f174cb0"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1fe1900e000a62ca91dc0651bfa3a24f"><td class="memItemLeft" align="right" valign="top">static cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#a1fe1900e000a62ca91dc0651bfa3a24f">ENABLECONTEXT</a> (&quot;cdaa&quot;, cl::init(<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>), cl::desc(&quot;enable context-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;))</td></tr>
-<tr class="separator:a1fe1900e000a62ca91dc0651bfa3a24f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af95c31f8cf35812a4fe4a22342aacaa2"><td class="memItemLeft" align="right" valign="top">static cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#af95c31f8cf35812a4fe4a22342aacaa2">ENABLEFLOW</a> (&quot;ldaa&quot;, cl::init(<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>), cl::desc(&quot;enable flow-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;))</td></tr>
-<tr class="separator:af95c31f8cf35812a4fe4a22342aacaa2"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a3c04138a5bfe5d72780bb7e82a18e627"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a> (int argc, char **argv)</td></tr>
 <tr class="separator:a3c04138a5bfe5d72780bb7e82a18e627"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="var-members"></a>
+Variables</h2></td></tr>
+<tr class="memitem:aa87e1cd4be4709a21393ed9e1a0da6bb"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb">DAA</a> (&quot;daa&quot;, &quot;Demand-Driven Alias Analysis Pass&quot;, false)</td></tr>
+<tr class="separator:aa87e1cd4be4709a21393ed9e1a0da6bb"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa4d54caa95b7971baaaa499dc52a83f0"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0">REGPT</a> (&quot;dreg&quot;, &quot;Demand-driven regular points-to analysis&quot;, false)</td></tr>
+<tr class="separator:aa4d54caa95b7971baaaa499dc52a83f0"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a67ee98e0a1d06555ea82c26cf1fa2b35"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35">RFINEPT</a> (&quot;dref&quot;, &quot;Demand-driven refinement points-to analysis&quot;, false)</td></tr>
+<tr class="separator:a67ee98e0a1d06555ea82c26cf1fa2b35"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a33384804c17c2e3f457d80b47b114e1d"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#a33384804c17c2e3f457d80b47b114e1d">ENABLEFIELD</a> (&quot;fdaa&quot;, &quot;enable field-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;, false)</td></tr>
+<tr class="separator:a33384804c17c2e3f457d80b47b114e1d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0a4ada5aa37179525df2c87a5c6e2685"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#a0a4ada5aa37179525df2c87a5c6e2685">ENABLECONTEXT</a> (&quot;cdaa&quot;, &quot;enable context-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;, false)</td></tr>
+<tr class="separator:a0a4ada5aa37179525df2c87a5c6e2685"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a41cf6b3bb80c86976fab3561440031fe"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dda_8cpp.html#a41cf6b3bb80c86976fab3561440031fe">ENABLEFLOW</a> (&quot;ldaa&quot;, &quot;enable flow-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;, false)</td></tr>
+<tr class="separator:a41cf6b3bb80c86976fab3561440031fe"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <h2 class="groupheader">Function Documentation</h2>
-<a id="a55c1167d4e6efe7828f050d978291725"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a55c1167d4e6efe7828f050d978291725">&#9670;&nbsp;</a></span>DAA()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">static cl::opt&lt;bool&gt; DAA </td>
-          <td>(</td>
-          <td class="paramtype">&quot;daa&quot;&#160;</td>
-          <td class="paramname">, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">cl::init(<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)&#160;</td>
-          <td class="paramname">, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">cl::desc(&quot;Demand-Driven Alias Analysis Pass&quot;)&#160;</td>
-          <td class="paramname">&#160;</td>
-        </tr>
-        <tr>
-          <td></td>
-          <td>)</td>
-          <td></td><td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">static</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-</div>
-</div>
-<a id="a1fe1900e000a62ca91dc0651bfa3a24f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a1fe1900e000a62ca91dc0651bfa3a24f">&#9670;&nbsp;</a></span>ENABLECONTEXT()</h2>
+<a id="a3c04138a5bfe5d72780bb7e82a18e627"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3c04138a5bfe5d72780bb7e82a18e627">&#9670;&nbsp;</a></span>main()</h2>
 
 <div class="memitem">
 <div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static cl::opt&lt;bool&gt; ENABLECONTEXT </td>
+          <td class="memname">int main </td>
           <td>(</td>
-          <td class="paramtype">&quot;cdaa&quot;&#160;</td>
-          <td class="paramname">, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">cl::init(<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)&#160;</td>
-          <td class="paramname">, </td>
+          <td class="paramtype">int&#160;</td>
+          <td class="paramname"><em>argc</em>, </td>
         </tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype">cl::desc(&quot;enable context-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;)&#160;</td>
-          <td class="paramname">&#160;</td>
+          <td class="paramtype">char **&#160;</td>
+          <td class="paramname"><em>argv</em>&#160;</td>
         </tr>
         <tr>
           <td></td>
@@ -172,17 +121,21 @@ Functions</h2></td></tr>
           <td></td><td></td>
         </tr>
       </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">static</span></span>  </td>
-  </tr>
-</table>
 </div><div class="memdoc">
 
+<p class="definition">Definition at line <a class="el" href="dda_8cpp_source.html#l00056">56</a> of file <a class="el" href="dda_8cpp_source.html">dda.cpp</a>.</p>
+<div class="fragment"><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.build();</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="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="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="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><!-- fragment -->
 </div>
 </div>
-<a id="adad2a8a1b2f5bf9f333382725f174cb0"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#adad2a8a1b2f5bf9f333382725f174cb0">&#9670;&nbsp;</a></span>ENABLEFIELD()</h2>
+<h2 class="groupheader">Variable Documentation</h2>
+<a id="aa87e1cd4be4709a21393ed9e1a0da6bb"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa87e1cd4be4709a21393ed9e1a0da6bb">&#9670;&nbsp;</a></span>DAA</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -191,27 +144,7 @@ Functions</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static cl::opt&lt;bool&gt; ENABLEFIELD </td>
-          <td>(</td>
-          <td class="paramtype">&quot;fdaa&quot;&#160;</td>
-          <td class="paramname">, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">cl::init(<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)&#160;</td>
-          <td class="paramname">, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">cl::desc(&quot;enable field-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;)&#160;</td>
-          <td class="paramname">&#160;</td>
-        </tr>
-        <tr>
-          <td></td>
-          <td>)</td>
-          <td></td><td></td>
+          <td class="memname"><a class="el" href="classOption.html">Option</a>&lt;bool&gt; DAA(&quot;daa&quot;, &quot;Demand-Driven Alias Analysis Pass&quot;, false)</td>
         </tr>
       </table>
   </td>
@@ -223,8 +156,8 @@ Functions</h2></td></tr>
 
 </div>
 </div>
-<a id="af95c31f8cf35812a4fe4a22342aacaa2"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#af95c31f8cf35812a4fe4a22342aacaa2">&#9670;&nbsp;</a></span>ENABLEFLOW()</h2>
+<a id="a0a4ada5aa37179525df2c87a5c6e2685"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a0a4ada5aa37179525df2c87a5c6e2685">&#9670;&nbsp;</a></span>ENABLECONTEXT</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -233,27 +166,7 @@ Functions</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static cl::opt&lt;bool&gt; ENABLEFLOW </td>
-          <td>(</td>
-          <td class="paramtype">&quot;ldaa&quot;&#160;</td>
-          <td class="paramname">, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">cl::init(<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)&#160;</td>
-          <td class="paramname">, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">cl::desc(&quot;enable flow-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;)&#160;</td>
-          <td class="paramname">&#160;</td>
-        </tr>
-        <tr>
-          <td></td>
-          <td>)</td>
-          <td></td><td></td>
+          <td class="memname"><a class="el" href="classOption.html">Option</a>&lt;bool&gt; ENABLECONTEXT(&quot;cdaa&quot;, &quot;enable context-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;, false)</td>
         </tr>
       </table>
   </td>
@@ -265,8 +178,8 @@ Functions</h2></td></tr>
 
 </div>
 </div>
-<a id="a139199e1f33675df72b018c31e0be35c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a139199e1f33675df72b018c31e0be35c">&#9670;&nbsp;</a></span>InputFilename()</h2>
+<a id="a33384804c17c2e3f457d80b47b114e1d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a33384804c17c2e3f457d80b47b114e1d">&#9670;&nbsp;</a></span>ENABLEFIELD</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -275,27 +188,7 @@ Functions</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static llvm::cl::opt&lt;<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&gt; InputFilename </td>
-          <td>(</td>
-          <td class="paramtype">llvm::cl::Positional&#160;</td>
-          <td class="paramname">, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">llvm::cl::desc(&quot;&lt;input bitcode&gt;&quot;)&#160;</td>
-          <td class="paramname">, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">llvm::cl::init(&quot;-&quot;)&#160;</td>
-          <td class="paramname">&#160;</td>
-        </tr>
-        <tr>
-          <td></td>
-          <td>)</td>
-          <td></td><td></td>
+          <td class="memname"><a class="el" href="classOption.html">Option</a>&lt;bool&gt; ENABLEFIELD(&quot;fdaa&quot;, &quot;enable field-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;, false)</td>
         </tr>
       </table>
   </td>
@@ -307,44 +200,8 @@ Functions</h2></td></tr>
 
 </div>
 </div>
-<a id="a3c04138a5bfe5d72780bb7e82a18e627"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3c04138a5bfe5d72780bb7e82a18e627">&#9670;&nbsp;</a></span>main()</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">int main </td>
-          <td>(</td>
-          <td class="paramtype">int&#160;</td>
-          <td class="paramname"><em>argc</em>, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">char **&#160;</td>
-          <td class="paramname"><em>argv</em>&#160;</td>
-        </tr>
-        <tr>
-          <td></td>
-          <td>)</td>
-          <td></td><td></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="dda_8cpp_source.html#l00045">45</a> of file <a class="el" href="dda_8cpp_source.html">dda.cpp</a>.</p>
-<div class="fragment"><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.build();</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="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="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="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="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><!-- fragment -->
-</div>
-</div>
-<a id="a5ed1de5ad06cf459c1b4e63685316618"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a5ed1de5ad06cf459c1b4e63685316618">&#9670;&nbsp;</a></span>REGPT()</h2>
+<a id="a41cf6b3bb80c86976fab3561440031fe"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a41cf6b3bb80c86976fab3561440031fe">&#9670;&nbsp;</a></span>ENABLEFLOW</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -353,27 +210,7 @@ Functions</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static cl::opt&lt;bool&gt; REGPT </td>
-          <td>(</td>
-          <td class="paramtype">&quot;dreg&quot;&#160;</td>
-          <td class="paramname">, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">cl::init(<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)&#160;</td>
-          <td class="paramname">, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">cl::desc(&quot;Demand-driven regular points-to analysis&quot;)&#160;</td>
-          <td class="paramname">&#160;</td>
-        </tr>
-        <tr>
-          <td></td>
-          <td>)</td>
-          <td></td><td></td>
+          <td class="memname"><a class="el" href="classOption.html">Option</a>&lt;bool&gt; ENABLEFLOW(&quot;ldaa&quot;, &quot;enable flow-sensitivity <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">for</a> demand-driven analysis&quot;, false)</td>
         </tr>
       </table>
   </td>
@@ -385,8 +222,8 @@ Functions</h2></td></tr>
 
 </div>
 </div>
-<a id="a3abc2ce6737d192a5c3f967734fe8389"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3abc2ce6737d192a5c3f967734fe8389">&#9670;&nbsp;</a></span>RFINEPT()</h2>
+<a id="aa4d54caa95b7971baaaa499dc52a83f0"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa4d54caa95b7971baaaa499dc52a83f0">&#9670;&nbsp;</a></span>REGPT</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -395,27 +232,7 @@ Functions</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static cl::opt&lt;bool&gt; RFINEPT </td>
-          <td>(</td>
-          <td class="paramtype">&quot;dref&quot;&#160;</td>
-          <td class="paramname">, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">cl::init(<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)&#160;</td>
-          <td class="paramname">, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">cl::desc(&quot;Demand-driven refinement points-to analysis&quot;)&#160;</td>
-          <td class="paramname">&#160;</td>
-        </tr>
-        <tr>
-          <td></td>
-          <td>)</td>
-          <td></td><td></td>
+          <td class="memname"><a class="el" href="classOption.html">Option</a>&lt;bool&gt; REGPT(&quot;dreg&quot;, &quot;Demand-driven regular points-to analysis&quot;, false)</td>
         </tr>
       </table>
   </td>
@@ -427,8 +244,8 @@ Functions</h2></td></tr>
 
 </div>
 </div>
-<a id="afffbd7760f0128b74c9dbfd517d0f99e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afffbd7760f0128b74c9dbfd517d0f99e">&#9670;&nbsp;</a></span>StandardCompileOpts()</h2>
+<a id="a67ee98e0a1d06555ea82c26cf1fa2b35"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a67ee98e0a1d06555ea82c26cf1fa2b35">&#9670;&nbsp;</a></span>RFINEPT</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -437,21 +254,7 @@ Functions</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static cl::opt&lt;bool&gt; StandardCompileOpts </td>
-          <td>(</td>
-          <td class="paramtype">&quot;std-compile-opts&quot;&#160;</td>
-          <td class="paramname">, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">cl::desc(&quot;Include the standard compile time optimizations&quot;)&#160;</td>
-          <td class="paramname">&#160;</td>
-        </tr>
-        <tr>
-          <td></td>
-          <td>)</td>
-          <td></td><td></td>
+          <td class="memname"><a class="el" href="classOption.html">Option</a>&lt;bool&gt; RFINEPT(&quot;dref&quot;, &quot;Demand-driven refinement points-to analysis&quot;, false)</td>
         </tr>
       </table>
   </td>