svf-tools 1.0.463 → 1.0.466

package/SVF-doxygen/html/html/classSVF_1_1Options.html

@@ -233,6 +233,10 @@ Static Public Attributes</h2></td></tr>
 <tr class="separator:a78ce4bd2e80e7b87ff0ee52edd1db403"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7704ff30e6fc5043313adf5c655bcd4a"><td class="memItemLeft" align="right" valign="top">static llvm::cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a">OPTSVFG</a></td></tr>
 <tr class="separator:a7704ff30e6fc5043313adf5c655bcd4a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4a9e039ba28cc7cdadf9d9d4fa64ab11"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; std ::string &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a4a9e039ba28cc7cdadf9d9d4fa64ab11">WriteSVFG</a></td></tr>
+<tr class="separator:a4a9e039ba28cc7cdadf9d9d4fa64ab11"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1608ded89f829a780d67cb82e1e62944"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; std ::string &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a1608ded89f829a780d67cb82e1e62944">ReadSVFG</a></td></tr>
+<tr class="separator:a1608ded89f829a780d67cb82e1e62944"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af2f66307e1d51947676f622c98ef0762"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762">UsePCG</a></td></tr>
 <tr class="separator:af2f66307e1d51947676f622c98ef0762"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a1bc10a5947bf3912c6f22e094ccac464"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464">IntraLock</a></td></tr>
@@ -310,8 +314,6 @@ Static Public Attributes</h2></td></tr>
 <tr class="separator:a10cc9fa1d4e553865343d635cf84592e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a930ed87e35ba7502f9d00be6f17f902f"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f">TBHCAllReuse</a></td></tr>
 <tr class="separator:a930ed87e35ba7502f9d00be6f17f902f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5d839932d78bedf6f5eb75358699732f"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a5d839932d78bedf6f5eb75358699732f">GenICFG</a></td></tr>
-<tr class="separator:a5d839932d78bedf6f5eb75358699732f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a30cbb0b3633c769c92f4625680ec17e3"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">AnderSVFG</a></td></tr>
 <tr class="separator:a30cbb0b3633c769c92f4625680ec17e3"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5fb7733fd66ecad30eea8ced3839e590"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590">SABERFULLSVFG</a></td></tr>
@@ -387,7 +389,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00165">165</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00168">168</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -435,7 +437,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00186">186</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00189">189</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -459,7 +461,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00175">175</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00178">178</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -533,7 +535,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00179">179</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00182">182</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -557,7 +559,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00228">228</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00231">231</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -730,7 +732,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00227">227</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00230">230</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -778,7 +780,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00238">238</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00241">241</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -826,7 +828,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00199">199</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00202">202</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -876,7 +878,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00224">224</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00227">227</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -900,7 +902,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00172">172</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00175">175</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -924,7 +926,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00202">202</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00205">205</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1020,7 +1022,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00198">198</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00201">201</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1284,7 +1286,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00176">176</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00179">179</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1336,30 +1338,6 @@ Static Public Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00128">128</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
-</div>
-</div>
-<a id="a5d839932d78bedf6f5eb75358699732f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a5d839932d78bedf6f5eb75358699732f">&#9670;&nbsp;</a></span>GenICFG</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">const llvm::cl::opt&lt; bool &gt; SVF::Options::GenICFG</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="Options_8h_source.html#l00245">245</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
-
 </div>
 </div>
 <a id="aa929e2ae2c0a78181c3a1311bfe73596"></a>
@@ -1454,7 +1432,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00208">208</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00211">211</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1646,7 +1624,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00163">163</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00166">166</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1694,7 +1672,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00184">184</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00187">187</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1718,7 +1696,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00212">212</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00215">215</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1791,7 +1769,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00218">218</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00221">221</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1937,7 +1915,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00235">235</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00238">238</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1961,7 +1939,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00214">214</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00217">217</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1985,7 +1963,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00213">213</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00216">216</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2253,7 +2231,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00229">229</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00232">232</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2301,7 +2279,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00205">205</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00208">208</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2325,7 +2303,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00171">171</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00174">174</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2349,7 +2327,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00168">168</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00171">171</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2373,7 +2351,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00221">221</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00224">224</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2421,7 +2399,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00182">182</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00185">185</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2519,7 +2497,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00234">234</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00237">237</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2593,7 +2571,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00233">233</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00236">236</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2617,7 +2595,31 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00164">164</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00167">167</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+
+</div>
+</div>
+<a id="a1608ded89f829a780d67cb82e1e62944"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1608ded89f829a780d67cb82e1e62944">&#9670;&nbsp;</a></span>ReadSVFG</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const llvm::cl::opt&lt; std::string &gt; SVF::Options::ReadSVFG</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="Options_8h_source.html#l00162">162</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2909,7 +2911,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00209">209</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00212">212</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2933,7 +2935,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00215">215</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00218">218</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -3005,7 +3007,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00242">242</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00245">245</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -3031,7 +3033,7 @@ Static Public Attributes</h2></td></tr>
 
 <p>Whether we allow reuse for TBHC. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00241">241</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00244">244</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -3055,7 +3057,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00192">192</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00195">195</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -3103,7 +3105,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00162">162</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00165">165</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -3175,7 +3177,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00195">195</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00198">198</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -3249,7 +3251,31 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00231">231</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00234">234</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+
+</div>
+</div>
+<a id="a4a9e039ba28cc7cdadf9d9d4fa64ab11"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4a9e039ba28cc7cdadf9d9d4fa64ab11">&#9670;&nbsp;</a></span>WriteSVFG</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const llvm::cl::opt&lt; std::string &gt; SVF::Options::WriteSVFG</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="Options_8h_source.html#l00161">161</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html

@@ -477,7 +477,7 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1PathCondAllocator_html_a391cb347cf98f33c261e59975900048e"><div class="ttname"><a href="classSVF_1_1PathCondAllocator.html#a391cb347cf98f33c261e59975900048e">SVF::PathCondAllocator::collectBBCallingProgExit</a></div><div class="ttdeci">void collectBBCallingProgExit(const BasicBlock &amp;bb)</div><div class="ttdoc">Collect basic block contains program exit function call. </div><div class="ttdef"><b>Definition:</b> <a href="PathCondAllocator_8cpp_source.html#l00411">PathCondAllocator.cpp:411</a></div></div>
 <div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00154">SVFBasicTypes.h:154</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a22ef185e767ff76c098e75126c885400"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00072">LLVMUtil.h:72</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#l00221">Options.h:221</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><!-- fragment -->
 </div>
 </div>