svf-tools 1.0.604 → 1.0.605

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html

@@ -82,7 +82,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::cast_convert_val&lt; To, FromTy, FromTy &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00326">326</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00333">333</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a2dd56ef15d86f61c7fef34dc15173e4a"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a2dd56ef15d86f61c7fef34dc15173e4a">&#9670;&nbsp;</a></span>doit()</h2>
@@ -110,8 +110,8 @@ template&lt;class To , class FromTy &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00329">329</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;    {</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;        <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, FromTy&gt;::ret_type</a> Res2</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;            = (<span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, FromTy&gt;::ret_type</a>)const_cast&lt;FromTy&amp;&gt;(Val);</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        <span class="keywordflow">return</span> Res2;</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty_html_aea91708cabb8176b031f1c1fdb89a15b"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">SVF::SVFUtil::cast_retty::ret_type</a></div><div class="ttdeci">typename cast_retty_wrap&lt; To, From, typename simplify_type&lt; From &gt;::SimpleType &gt;::ret_type ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00309">Casting.h:309</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00336">336</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;    {</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;        <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, FromTy&gt;::ret_type</a> Res2</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;            = (<span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, FromTy&gt;::ret_type</a>)const_cast&lt;FromTy&amp;&gt;(Val);</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        <span class="keywordflow">return</span> Res2;</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty_html_aea91708cabb8176b031f1c1fdb89a15b"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">SVF::SVFUtil::cast_retty::ret_type</a></div><div class="ttdeci">typename cast_retty_wrap&lt; To, From, typename simplify_type&lt; From &gt;::SimpleType &gt;::ret_type ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00316">Casting.h:316</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty&lt; To, From &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00250">250</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00257">257</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="aea91708cabb8176b031f1c1fdb89a15b"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#aea91708cabb8176b031f1c1fdb89a15b">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To, class From&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00309">309</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00316">316</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_impl&lt; To, From &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00254">254</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00261">261</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a5f8f6d651931eba7e0fa14c26a691a04"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a5f8f6d651931eba7e0fa14c26a691a04">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To, class From&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00256">256</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00263">263</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_impl&lt; To, From * &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00263">263</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00270">270</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a86c02dc15b65d0c052ea4447b3fb6333"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a86c02dc15b65d0c052ea4447b3fb6333">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To , class From &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00265">265</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00272">272</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_impl&lt; To, const From &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00258">258</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00265">265</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="ad0bc349135b60cc51fd040b615a979f7"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ad0bc349135b60cc51fd040b615a979f7">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To , class From &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00260">260</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00267">267</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_impl&lt; To, const From * &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00268">268</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00275">275</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a98a60de95a331a34dcbad6da9961a9b7"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a98a60de95a331a34dcbad6da9961a9b7">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To , class From &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00270">270</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00277">277</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_impl&lt; To, const From *const &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00273">273</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00280">280</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="add8668ca96bbf0808c146cc81c62267c"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#add8668ca96bbf0808c146cc81c62267c">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To , class From &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00275">275</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00282">282</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html

@@ -90,7 +90,7 @@ Private Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_impl&lt; To, std::unique_ptr&lt; From &gt; &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00279">279</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00286">286</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a9d08abc346f3b77c487eba144f3cbd8d"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a9d08abc346f3b77c487eba144f3cbd8d">&#9670;&nbsp;</a></span>PointerType</h2>
@@ -114,7 +114,7 @@ template&lt;class To , class From &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00282">282</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00289">289</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>
@@ -140,7 +140,7 @@ template&lt;class To , class From &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00283">283</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00290">290</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>
@@ -158,7 +158,7 @@ template&lt;class To , class From &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00286">286</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00293">293</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__wrap.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_wrap&lt; To, From, SimpleFrom &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00290">290</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00297">297</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="af3d80ab43e47626f32c91a6c4454e82e"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#af3d80ab43e47626f32c91a6c4454e82e">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To , class From , class SimpleFrom &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00295">295</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00302">302</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_wrap&lt; To, FromTy, FromTy &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00299">299</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00306">306</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="ad989c130f2b6cd5a0f1ba0c7abd62b9a"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ad989c130f2b6cd5a0f1ba0c7abd62b9a">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To , class FromTy &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00302">302</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00309">309</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__simple__type.html

@@ -82,7 +82,7 @@ Static Public Attributes</h2></td></tr>
 struct SVF::SVFUtil::is_simple_type&lt; X &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00337">337</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00344">344</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Data Documentation</h2>
 <a id="a700d43a1b318fb30fa9472da323cb34f"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a700d43a1b318fb30fa9472da323cb34f">&#9670;&nbsp;</a></span>value</h2>
@@ -106,7 +106,7 @@ template&lt;class X &gt; </div>
 </table>
 </div><div class="memdoc">
 <b>Initial value:</b><div class="fragment"><div class="line">=</div><div class="line">        std::is_same&lt;X, typename simplify_type&lt;X&gt;::SimpleType&gt;<a class="code" href="structSVF_1_1SVFUtil_1_1is__simple__type.html#a700d43a1b318fb30fa9472da323cb34f">::value</a></div></div><!-- fragment -->
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00339">339</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00346">346</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html

@@ -94,7 +94,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MTAResultValidator_html_a7382b2759b01b8382c5e59b21e7e262a"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a7382b2759b01b8382c5e59b21e7e262a">SVF::MTAResultValidator::vthdTorthd</a></div><div class="ttdeci">vthdTorthdMap vthdTorthd</div><div class="ttdef"><b>Definition:</b> <a href="include_2MTA_2MTAResultValidator_8h_source.html#l00139">MTAResultValidator.h:139</a></div></div>
 <div class="ttc" id="classSVF_1_1MTAResultValidator_html_ac24a8a6922d9dc9edecab3bc45bc9204"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#ac24a8a6922d9dc9edecab3bc45bc9204">SVF::MTAResultValidator::getOutputforInterlevAnalysis</a></div><div class="ttdeci">std::string getOutputforInterlevAnalysis(const char *scenario, INTERLEV_FLAG analysisRes)</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00157">MTAResultValidator.cpp:157</a></div></div>
 <div class="ttc" id="classSVF_1_1MTAResultValidator_html_a373b5227fbfa82ac070f55db999afb28"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a373b5227fbfa82ac070f55db999afb28">SVF::MTAResultValidator::validateInterleaving</a></div><div class="ttdeci">INTERLEV_FLAG validateInterleaving()</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00496">MTAResultValidator.cpp:496</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_af6e96694d983643a66c238cce01bff0e"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">SVF::SVFUtil::dyn_cast</a></div><div class="ttdeci">LLVM_NODISCARD std::enable_if_t&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt; dyn_cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00398">Casting.h:398</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_af6e96694d983643a66c238cce01bff0e"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">SVF::SVFUtil::dyn_cast</a></div><div class="ttdeci">LLVM_NODISCARD std::enable_if_t&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt; dyn_cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00405">Casting.h:405</a></div></div>
 <div class="ttc" id="classSVF_1_1MTAResultValidator_html_a7d2043cf3c354812fa5e4cdf7f60ff20"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20">SVF::MTAResultValidator::rthdToChildrenMap</a></div><div class="ttdeci">Map&lt; NodeID, Set&lt; NodeID &gt; &gt; rthdToChildrenMap</div><div class="ttdef"><b>Definition:</b> <a href="tools_2MTA_2MTAResultValidator_8h_source.html#l00126">MTAResultValidator.h:126</a></div></div>
 <div class="ttc" id="classSVF_1_1RaceResultValidator_html_afdd89e26a7c168762bfe85746252827f"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f">SVF::RaceResultValidator::getOutput</a></div><div class="ttdeci">std::string getOutput(const char *scenario, bool analysisRes, bool expectedRes)</div><div class="ttdoc">Get the validation result string of a single validation scenario. </div><div class="ttdef"><b>Definition:</b> <a href="tools_2MTA_2MTAResultValidator_8h_source.html#l00374">MTAResultValidator.h:374</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>

package/include/DDA/DDAVFSolver.h

@@ -177,10 +177,9 @@ protected:
         {
             handleAddr(pts,dpm,SVFUtil::cast<AddrSVFGNode>(node));
         }
-        else if(SVFUtil::isa<CopySVFGNode>(node) || SVFUtil::isa<PHISVFGNode>(node)
-                || SVFUtil::isa<ActualParmSVFGNode>(node) || SVFUtil::isa<FormalParmSVFGNode>(node)
-                || SVFUtil::isa<ActualRetSVFGNode>(node) || SVFUtil::isa<FormalRetSVFGNode>(node)
-                || SVFUtil::isa<NullPtrSVFGNode>(node))
+        else if (SVFUtil::isa<CopySVFGNode, PHISVFGNode, ActualParmSVFGNode,
+                 FormalParmSVFGNode, ActualRetSVFGNode,
+                 FormalRetSVFGNode, NullPtrSVFGNode>(node))
         {
             backtraceAlongDirectVF(pts,dpm);
         }
@@ -579,10 +578,7 @@ protected:
     /// Whether this is a top-level pointer statement
     inline bool isTopLevelPtrStmt(const SVFGNode* stmt)
     {
-        if (SVFUtil::isa<StoreSVFGNode>(stmt) || SVFUtil::isa<MRSVFGNode>(stmt))
-            return false;
-        else
-            return true;
+        return !SVFUtil::isa<StoreSVFGNode, MRSVFGNode>(stmt);
     }
     /// Return dpm with old context and path conditions
     virtual inline DPIm getDPImWithOldCond(const DPIm& oldDpm,const CVar& var, const SVFGNode* loc)

package/include/Graphs/SVFGOPT.h

@@ -230,8 +230,8 @@ private:
     /// Return TRUE if both edges are indirect call/ret edges.
     inline bool bothInterEdges(const SVFGEdge* edge1, const SVFGEdge* edge2) const
     {
-        bool inter1 = (SVFUtil::isa<CallIndSVFGEdge>(edge1) || SVFUtil::isa<RetIndSVFGEdge>(edge1));
-        bool inter2 = (SVFUtil::isa<CallIndSVFGEdge>(edge2) || SVFUtil::isa<RetIndSVFGEdge>(edge2));
+        bool inter1 = SVFUtil::isa<CallIndSVFGEdge, RetIndSVFGEdge>(edge1);
+        bool inter2 = SVFUtil::isa<CallIndSVFGEdge, RetIndSVFGEdge>(edge2);
         return (inter1 && inter2);
     }
 

package/include/MTA/MTAResultValidator.h

@@ -417,7 +417,7 @@ private:
         I = I->getPrevNode();
         while (I)
         {
-            if (SVFUtil::isa<LoadInst>(I) || SVFUtil::isa<StoreInst>(I))
+            if (SVFUtil::isa<LoadInst, StoreInst>(I))
                 return I;
 
             const SVFInstruction* inst = LLVMModuleSet::getLLVMModuleSet()->getSVFInstruction(I);

package/include/Util/Casting.h

@@ -236,6 +236,7 @@ struct isa_impl_wrap<To, FromTy, FromTy>
 // template type argument.  Used like this:
 //
 //  if (SVFUtil::isa<Type>(myVal)) { ... }
+//  if (SVFUtil::isa<Type0, Type1, Type2>(myVal)) { ... }
 //
 template <class X, class Y> LLVM_NODISCARD inline bool isa(const Y &Val)
 {
@@ -243,6 +244,12 @@ template <class X, class Y> LLVM_NODISCARD inline bool isa(const Y &Val)
            typename simplify_type<const Y>::SimpleType>::doit(Val);
 }
 
+template <typename First, typename Second, typename... Rest, typename Y>
+LLVM_NODISCARD inline bool isa(const Y &Val)
+{
+    return SVFUtil::isa<First>(Val) || SVFUtil::isa<Second, Rest...>(Val);
+}
+
 //===----------------------------------------------------------------------===//
 //                          cast<x> Support Templates
 //===----------------------------------------------------------------------===//

package/lib/CFL/CFLStat.cpp

@@ -79,7 +79,7 @@ void CFLStat::CFLSolverStat()
  */
 void CFLStat::performStat()
 {
-    assert((SVFUtil::isa<CFLAlias>(pta)||SVFUtil::isa<CFLVF>(pta)) && "not an CFLAlias pass!! what else??");
+    assert((SVFUtil::isa<CFLAlias, CFLVF>(pta)) && "not an CFLAlias pass!! what else??");
     endClk();
 
     // Grammar stat

package/lib/DDA/ContextDDA.cpp

@@ -348,7 +348,7 @@ bool ContextDDA::isHeapCondMemObj(const CxtVar& var, const StoreSVFGNode*)
             }
             else
             {
-                assert((SVFUtil::isa<DummyObjVar>(pnode) || SVFUtil::isa<DummyValVar>(pnode))
+                assert((SVFUtil::isa<DummyObjVar, DummyValVar>(pnode))
                        && "empty refVal in non-dummy object");
             }
             return true;

package/lib/Graphs/ConsG.cpp

@@ -480,7 +480,7 @@ bool ConstraintGraph::moveInEdgesToRepNode(ConstraintNode* node, ConstraintNode*
             }
             removeDirectEdge(edge);
         }
-        else if(SVFUtil::isa<LoadCGEdge>(edge) || SVFUtil::isa<StoreCGEdge>(edge))
+        else if(SVFUtil::isa<LoadCGEdge, StoreCGEdge>(edge))
             reTargetDstOfEdge(edge,rep);
         else if(AddrCGEdge* addr = SVFUtil::dyn_cast<AddrCGEdge>(edge))
         {
@@ -539,7 +539,7 @@ bool ConstraintGraph::moveOutEdgesToRepNode(ConstraintNode*node, ConstraintNode*
             }
             removeDirectEdge(edge);
         }
-        else if(SVFUtil::isa<LoadCGEdge>(edge) || SVFUtil::isa<StoreCGEdge>(edge))
+        else if(SVFUtil::isa<LoadCGEdge, StoreCGEdge>(edge))
             reTargetSrcOfEdge(edge,rep);
         else if(AddrCGEdge* addr = SVFUtil::dyn_cast<AddrCGEdge>(edge))
         {

package/lib/Graphs/SVFGOPT.cpp

@@ -94,10 +94,9 @@ void SVFGOPT::handleInterValueFlow()
             it!=eit; ++it)
     {
         SVFGNode* node = it->second;
-        if (SVFUtil::isa<ActualParmSVFGNode>(node) || SVFUtil::isa<ActualRetSVFGNode>(node)
-                || SVFUtil::isa<FormalParmSVFGNode>(node) || SVFUtil::isa<FormalRetSVFGNode>(node)
-                || SVFUtil::isa<ActualINSVFGNode>(node) || SVFUtil::isa<ActualOUTSVFGNode>(node)
-                || SVFUtil::isa<FormalINSVFGNode>(node) || SVFUtil::isa<FormalOUTSVFGNode>(node))
+        if (SVFUtil::isa<ActualParmSVFGNode, ActualRetSVFGNode, FormalParmSVFGNode,
+                FormalRetSVFGNode, ActualINSVFGNode, ActualOUTSVFGNode,
+                FormalINSVFGNode, FormalOUTSVFGNode>(node))
             candidates.insert(node);
     }
 
@@ -116,16 +115,16 @@ void SVFGOPT::handleInterValueFlow()
             replaceFParamARetWithPHI(addInterPHIForAR(ar), ar);
             nodesToBeDeleted.insert(ar);
         }
-        else if (SVFUtil::isa<ActualParmSVFGNode>(node) || SVFUtil::isa<FormalRetSVFGNode>(node))
+        else if (SVFUtil::isa<ActualParmSVFGNode, FormalRetSVFGNode>(node))
         {
             nodesToBeDeleted.insert(node);
         }
-        else if (SVFUtil::isa<ActualINSVFGNode>(node) || SVFUtil::isa<FormalOUTSVFGNode>(node))
+        else if (SVFUtil::isa<ActualINSVFGNode, FormalOUTSVFGNode>(node))
         {
             retargetEdgesOfAInFOut(node);
             nodesToBeDeleted.insert(node);
         }
-        else if (SVFUtil::isa<ActualOUTSVFGNode>(node) || SVFUtil::isa<FormalINSVFGNode>(node))
+        else if (SVFUtil::isa<ActualOUTSVFGNode, FormalINSVFGNode>(node))
         {
             if(keepActualOutFormalIn == false)
                 nodesToBeDeleted.insert(node);
@@ -137,7 +136,7 @@ void SVFGOPT::handleInterValueFlow()
         SVFGNode* node = *it;
         if (canBeRemoved(node))
         {
-            if (SVFUtil::isa<ActualOUTSVFGNode>(node) || SVFUtil::isa<FormalINSVFGNode>(node))
+            if (SVFUtil::isa<ActualOUTSVFGNode, FormalINSVFGNode>(node))
                 retargetEdgesOfAOutFIn(node);	/// reset def of address-taken variable
 
             removeAllEdges(node);
@@ -151,7 +150,7 @@ void SVFGOPT::handleInterValueFlow()
  */
 void SVFGOPT::replaceFParamARetWithPHI(PHISVFGNode* phi, SVFGNode* svfgNode)
 {
-    assert((SVFUtil::isa<FormalParmSVFGNode>(svfgNode) || SVFUtil::isa<ActualRetSVFGNode>(svfgNode))
+    assert((SVFUtil::isa<FormalParmSVFGNode, ActualRetSVFGNode>(svfgNode))
            && "expecting a formal param or actual ret svfg node");
 
     /// create a new PHISVFGNode.
@@ -299,7 +298,7 @@ bool SVFGOPT::isConnectingTwoCallSites(const SVFGNode* node) const
     SVFGNode::const_iterator edgeEit = node->InEdgeEnd();
     for (; edgeIt != edgeEit; ++edgeIt)
     {
-        if (SVFUtil::isa<CallIndSVFGEdge>(*edgeIt) || SVFUtil::isa<RetIndSVFGEdge>(*edgeIt))
+        if (SVFUtil::isa<CallIndSVFGEdge, RetIndSVFGEdge>(*edgeIt))
         {
             hasInCallRet = true;
             break;
@@ -310,7 +309,7 @@ bool SVFGOPT::isConnectingTwoCallSites(const SVFGNode* node) const
     edgeEit = node->OutEdgeEnd();
     for (; edgeIt != edgeEit; ++edgeIt)
     {
-        if (SVFUtil::isa<CallIndSVFGEdge>(*edgeIt) || SVFUtil::isa<RetIndSVFGEdge>(*edgeIt))
+        if (SVFUtil::isa<CallIndSVFGEdge, RetIndSVFGEdge>(*edgeIt))
         {
             hasOutCallRet = true;
             break;
@@ -334,12 +333,11 @@ bool SVFGOPT::isConnectingTwoCallSites(const SVFGNode* node) const
 /// 5. FormalOUT if it doesn't reside at the exit of address-taken function
 bool SVFGOPT::canBeRemoved(const SVFGNode * node)
 {
-    if (SVFUtil::isa<ActualParmSVFGNode>(node) || SVFUtil::isa<FormalParmSVFGNode>(node)
-            || SVFUtil::isa<ActualRetSVFGNode>(node) || SVFUtil::isa<FormalRetSVFGNode>(node))
+    if (SVFUtil::isa<ActualParmSVFGNode, FormalParmSVFGNode,
+            ActualRetSVFGNode, FormalRetSVFGNode>(node))
         return true;
-    else if (SVFUtil::isa<ActualINSVFGNode>(node) || SVFUtil::isa<ActualOUTSVFGNode>(node)
-             || SVFUtil::isa<FormalINSVFGNode>(node) || SVFUtil::isa<FormalOUTSVFGNode>(node)
-             || SVFUtil::isa<MSSAPHISVFGNode>(node))
+    else if (SVFUtil::isa<ActualINSVFGNode, ActualOUTSVFGNode, FormalINSVFGNode,
+             FormalOUTSVFGNode, MSSAPHISVFGNode>(node))
     {
         /// Now each SVFG edge can only be associated with one call site id,
         /// so if this node has both incoming call/ret and outgoting call/ret
@@ -460,7 +458,7 @@ bool SVFGOPT::checkSelfCycleEdges(const MSSAPHISVFGNode* node)
                 break;	/// There's no need to check other edge if we do not remove self cycle
             }
             else if (keepContextSelfCycle &&
-                     (SVFUtil::isa<CallIndSVFGEdge>(preEdge) || SVFUtil::isa<RetIndSVFGEdge>(preEdge)))
+                     SVFUtil::isa<CallIndSVFGEdge, RetIndSVFGEdge>(preEdge))
             {
                 hasSelfCycle = true;
                 continue;	/// Continue checking and remove other self cycle which are NOT context-related

package/lib/MTA/FSMPTA.cpp

@@ -270,7 +270,8 @@ bool MTASVFGBuilder::isTailofSpan(const StmtSVFGNode* n, InstSet mergespan)
 
     for (SVFGNodeIDSet::iterator it = succ.begin(), eit = succ.end(); it != eit; ++it)
     {
-        assert ((SVFUtil::isa<StoreSVFGNode>(svfg->getSVFGNode(*it)) || SVFUtil::isa<LoadSVFGNode>(svfg->getSVFGNode(*it))) && "succ is not a store/load node");
+        assert((SVFUtil::isa<StoreSVFGNode, LoadSVFGNode>(svfg->getSVFGNode(*it))) &&
+               "succ is not a store/load node");
         const StmtSVFGNode* succNode = SVFUtil::dyn_cast<StmtSVFGNode>(svfg->getSVFGNode(*it));
         const SVFInstruction* succIns = succNode->getInst();
 
@@ -292,7 +293,8 @@ bool MTASVFGBuilder::isTailofSpan(const StmtSVFGNode* n, LockAnalysis::LockSpan
     SVFGNodeIDSet succ = getSuccNodes(n);
     for (SVFGNodeIDSet::iterator it = succ.begin(), eit = succ.end(); it != eit; ++it)
     {
-        assert ((SVFUtil::isa<StoreSVFGNode>(svfg->getSVFGNode(*it)) || SVFUtil::isa<LoadSVFGNode>(svfg->getSVFGNode(*it))) && "succ is not a store/load node");
+        assert((SVFUtil::isa<StoreSVFGNode, LoadSVFGNode>(svfg->getSVFGNode(*it))) &&
+               "succ is not a store/load node");
         if (SVFUtil::isa<LoadSVFGNode>(svfg->getSVFGNode(*it)))
             continue;
         const StmtSVFGNode* succNode = SVFUtil::dyn_cast<StmtSVFGNode>(svfg->getSVFGNode(*it));
@@ -322,8 +324,7 @@ bool MTASVFGBuilder::isTailofSpan(const StmtSVFGNode* n)
 
     for (SVFGNodeIDSet::iterator it = succ.begin(), eit = succ.end(); it != eit; ++it)
     {
-        assert((SVFUtil::isa<StoreSVFGNode>(svfg->getSVFGNode(*it)) || SVFUtil::isa<LoadSVFGNode>(svfg->getSVFGNode(*it)))
-               && "succ is not a store/load node");
+        assert((SVFUtil::isa<StoreSVFGNode, LoadSVFGNode>(svfg->getSVFGNode(*it))) && "succ is not a store/load node");
         if (SVFUtil::isa<LoadSVFGNode>(svfg->getSVFGNode(*it)))
             continue;
 
@@ -401,7 +402,7 @@ MTASVFGBuilder::SVFGNodeIDSet MTASVFGBuilder::getSuccNodes(const StmtSVFGNode* n
         const SVFGNode* node = *worklist.begin();
         worklist.erase(worklist.begin());
         visited.insert(node);
-        if (SVFUtil::isa<StoreSVFGNode>(node) || SVFUtil::isa<LoadSVFGNode>(node))
+        if (SVFUtil::isa<StoreSVFGNode, LoadSVFGNode>(node))
             succ.set(node->getId());
         else
         {
@@ -440,7 +441,7 @@ MTASVFGBuilder::SVFGNodeIDSet MTASVFGBuilder::getSuccNodes(const StmtSVFGNode* n
         const SVFGNode* node = *worklist.begin();
         worklist.erase(worklist.begin());
         visited.insert(node);
-        if (SVFUtil::isa<StoreSVFGNode>(node) || SVFUtil::isa<LoadSVFGNode>(node))
+        if (SVFUtil::isa<StoreSVFGNode, LoadSVFGNode>(node))
             succ.set(node->getId());
         else
         {

package/lib/MTA/LockAnalysis.cpp

@@ -456,7 +456,7 @@ void LockAnalysis::handleRet(const CxtStmt& cts)
     for (PTACallGraphNode::const_iterator it = curFunNode->getInEdges().begin(), eit = curFunNode->getInEdges().end(); it != eit; ++it)
     {
         PTACallGraphEdge* edge = *it;
-        if (SVFUtil::isa<ThreadForkEdge>(edge) || SVFUtil::isa<ThreadJoinEdge>(edge))
+        if (SVFUtil::isa<ThreadForkEdge, ThreadJoinEdge>(edge))
             continue;
         for (PTACallGraphEdge::CallInstSet::const_iterator cit = (edge)->directCallsBegin(), ecit = (edge)->directCallsEnd(); cit != ecit;
                 ++cit)