svf-tools 1.0.613 → 1.0.615

package/SVF-doxygen/html/html/classSVF_1_1DFPTData.html

@@ -451,7 +451,7 @@ template<typename Key , typename KeySet , typename Data , typename DataSet &g
 </table>
 </div><div class="memdoc">
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#ac9ff175dbdf75232a104e2aa34f87d43">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a815a7c54c1533f16c3efd0796044afc2">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#a43a45997f6147245fe8a552b42f3f632">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#ad7a4b3c68c4b8b70268ee7c919c624d5">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#ac9ff175dbdf75232a104e2aa34f87d43">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ab41bf3e2ba1700ae6116702fb5ce8efe">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#a43a45997f6147245fe8a552b42f3f632">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a6af27fbe2c38c4d40d8df5aa1c765f62">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -491,7 +491,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </table>
 </div><div class="memdoc">
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a26ca6565c4766e3d6ea6bf435ae910a3">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#aa00130defb8ab675fdc6ec3ecb48fd85">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -531,7 +531,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </table>
 </div><div class="memdoc">
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#aea89a705aed7e02ddbf73f861506536e">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a22d61e046322d7315fed214bf75048e0">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -562,7 +562,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><div class="memdoc">
 <p>Determine whether the DF IN/OUT sets have points-to sets. </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a17e68e28860278b425b9a2d99082e715">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -602,7 +602,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </table>
 </div><div class="memdoc">
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableDFPTData.html#aa8b85dee2b70031a2f97e1a36c9b25de">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#ab490fd81739f2bd6dddabd5ce5beac3b">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableDFPTData.html#aa8b85dee2b70031a2f97e1a36c9b25de">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#ad5ca81c46b57ba0203732f10423ad6ae">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -632,7 +632,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </table>
 </div><div class="memdoc">
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a67c4dec1150bdd8458046696578e5069">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#af8e866e13c7ba87a33b0da0a769d4372">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -673,7 +673,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><div class="memdoc">
 <p>Access points-to set from data-flow IN/OUT set. </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableDFPTData.html#af6d234ae2b0aa91b510f3a2fba877340">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#ace47d00f778bc4a714fc4f9d0cbd063c">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableDFPTData.html#af6d234ae2b0aa91b510f3a2fba877340">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a4e0a1656047e6a1e53a1377d23d251bd">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -727,7 +727,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Union (IN[dstLoc::dstVar], IN[srcLoc:srcVar]. There is no flag check, unlike the above. </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#ad68b23ed56b2c18bf75c23a658523404">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a2259da9defa195350b3f70cd16c3f2ec">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#a23fca889a29399a91dfc916f5fab46ee">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a9e2dcff79d55b92bc84ec2bb42d851ac">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#ad68b23ed56b2c18bf75c23a658523404">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a8898a6164a0d83f179b9ee6175ddc1fe">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#a23fca889a29399a91dfc916f5fab46ee">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a297cfa81c47d76f989a952edfc34c021">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -781,7 +781,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Union (IN[dstLoc::dstVar], OUT[srcLoc:srcVar]. There is no flag check, unlike the above. </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a2dd9dad547c389d5cd488b165dd145eb">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a218ebd39a42b5de8910b98bef9d04f7d">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#a7c7eff549ea0d153e7a72ed5bf79c30e">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a67a72d34b62884dee72e0b48b07a7e9f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a2dd9dad547c389d5cd488b165dd145eb">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5291cccfb9bd6cb93ff931e4f2465d40">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#a7c7eff549ea0d153e7a72ed5bf79c30e">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a57e8efefa1b49bd5fecd363a65b3bced">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -829,7 +829,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>For each variable var in IN at loc, do updateDFOutFromIn(loc, var, loc, var). </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a3f397aaf4f3d6d04ec005c2577652e04">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a6a59e2297b72cc30553db5e45da70f46">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#a51365299a34e3386798e78a076d6e1f5">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#ad341c691c11bbdeaa13cfe23919ed070">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a3f397aaf4f3d6d04ec005c2577652e04">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a451756aea2a3a0c895b75b7239672fdd">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#a51365299a34e3386798e78a076d6e1f5">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#aa263aa1f78fd85d1104a907042f58177">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -877,7 +877,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Update address-taken variables OUT[dstLoc:dstVar] with points-to of top-level pointers. </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#aa8fdf0f82d3d94af34d5bc1386ed21f9">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a002e6d234d0ad0c74a0976046e440f71">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#a0ce585790bba942291bb7c7ffcaa3914">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a6761733754abf061e92125988a684fa3">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#aa8fdf0f82d3d94af34d5bc1386ed21f9">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a36697e534c6744dbc72b0a6ef619d906">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#a0ce585790bba942291bb7c7ffcaa3914">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a132babeb5291086130247f015b2bef2b">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -931,7 +931,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <p>Update points-to for IN/OUT set IN[loc:var] represents the points-to of variable var in the IN set of location loc. union(ptsDst, ptsSrc) represents ptsDst = ptsDst U ptsSrc.</p>
 <p>Union (IN[dstLoc:dstVar], IN[srcLoc:srcVar]). </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a775ef6458314a1febef3f7372f6a2bbc">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5b015e6801e4320e45e7942f9db82a42">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a775ef6458314a1febef3f7372f6a2bbc">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5df898efbc74e653340571acba216dd7">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a1d6a7e3efe8ab65f1ecd7e915d70d659">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -985,7 +985,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]). </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#ad199b4b84f7aab48ff1510b118e2982f">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a9191992b978b643f2d51633b2e330ec6">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#ad199b4b84f7aab48ff1510b118e2982f">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#af010be5ac5466ed51f902fcf3d805080">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a1d7dc1c34e506ed78e9e029329558b97">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -1039,7 +1039,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]). </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#aa326ac77577a8a4a0ce3e29cc03a3989">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a6a26ddacfd726c7078ae560a6b50ad6b">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#ab3c517be91b4711ace581df075d4647a">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#a81e6d2d313d7f23fcc2a3d0f5344317f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#aa326ac77577a8a4a0ce3e29cc03a3989">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#aaed9e93e3515c025e05786212b1baac5">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#ab3c517be91b4711ace581df075d4647a">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#ab63925fcd6506e6146d5f7487a39f155">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -1087,7 +1087,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Update points-to set of top-level pointers with IN[srcLoc:srcVar]. </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a7778be60515fa3ff247b6d2cec138cfc">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ae4732dd1897883fafa98454b46134bfb">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#a21b29c2d3e429017d910025e4ec73fc6">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#aa9d13ece84d5f519031b4f3cdb429d61">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a7778be60515fa3ff247b6d2cec138cfc">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a3e371be9324b9281781591d633d04c34">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, <a class="el" href="classSVF_1_1MutableDFPTData.html#a21b29c2d3e429017d910025e4ec73fc6">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDFPTData.html#ae0e64a1ec7f80b148f0a882e96503453">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1DiffPTData.html

@@ -393,7 +393,7 @@ template<typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Clear propagated points-to set of var. </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableDiffPTData.html#a3946e3b737d95539cb57b10e53d356fc">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDiffPTData.html#aa00e0bfaf2d46f2aa83a37c7c9514edb">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableDiffPTData.html#a3946e3b737d95539cb57b10e53d356fc">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a5ab578384889cf6e01b0e67d9b0e456e">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -437,7 +437,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <li>update propagated pts: propa = all. </li>
 </ol>
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac97bd53101f306c46ab4349a808f67c9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ae42379dbabbd66dfd91e305673788ed3">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac97bd53101f306c46ab4349a808f67c9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a0aa74ee810233d6f1da09d1e593c35d8">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -469,7 +469,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Get diff points to. </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableDiffPTData.html#a83dd3047c72cd1cd6ceb044cd1a924e4">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a76ae2ef87bc32c2f6466e7bc2dfad726">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableDiffPTData.html#a83dd3047c72cd1cd6ceb044cd1a924e4">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a34819020692e33777fec59082269e8b4">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>
@@ -510,7 +510,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><div class="memdoc">
 <p>Update dst's propagated points-to set with src's. The final result is the intersection of these two sets. </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1MutableDiffPTData.html#a2feb36e64e27e6f0bcc0e108da433278">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDiffPTData.html#adb2c450f2c93fbf630d91b8c2697fa06">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1MutableDiffPTData.html#a2feb36e64e27e6f0bcc0e108da433278">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, and <a class="el" href="classSVF_1_1PersistentDiffPTData.html#aa8c5694bcbf884bee43875433abc03c9">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html

@@ -409,14 +409,14 @@ Additional Inherited Members</h2></td></tr>
 <p>Create memory regions for each points-to target. </p>
 
 <p class="definition">Definition at line <a class="el" href="MemPartition_8cpp_source.html#l00064">64</a> of file <a class="el" href="MemPartition_8cpp_source.html">MemPartition.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;{</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">NodeBS::iterator</a> ptsIt = pts.<a class="code" href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">begin</a>();</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">NodeBS::iterator</a> ptsEit = pts.<a class="code" href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">end</a>();</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <span class="keywordflow">for</span> (; ptsIt != ptsEit; ++ptsIt)</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    {</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> <span class="keywordtype">id</span> = *ptsIt;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        <span class="comment">// create new conditional points-to set with this single element.</span></div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;        <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> newPts;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;        newPts.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(<span class="keywordtype">id</span>);</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="comment">// set the rep cpts as itself.</span></div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <a class="code" href="classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1">cptsToRepCPtsMap</a>[newPts] = newPts;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <span class="comment">// add memory region for this points-to target.</span></div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <a class="code" href="classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5">createMR</a>(func, newPts);</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    }</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;}</div><div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">SVF::SparseBitVector::SparseBitVectorIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00536">SparseBitVector.h:536</a></div></div>
+<div class="fragment"><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;{</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">NodeBS::iterator</a> ptsIt = pts.<a class="code" href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">begin</a>();</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">NodeBS::iterator</a> ptsEit = pts.<a class="code" href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">end</a>();</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <span class="keywordflow">for</span> (; ptsIt != ptsEit; ++ptsIt)</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    {</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> <span class="keywordtype">id</span> = *ptsIt;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        <span class="comment">// create new conditional points-to set with this single element.</span></div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;        <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> newPts;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;        newPts.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(<span class="keywordtype">id</span>);</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="comment">// set the rep cpts as itself.</span></div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <a class="code" href="classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1">cptsToRepCPtsMap</a>[newPts] = newPts;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <span class="comment">// add memory region for this points-to target.</span></div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <a class="code" href="classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5">createMR</a>(func, newPts);</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    }</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;}</div><div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">SVF::SparseBitVector::SparseBitVectorIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00528">SparseBitVector.h:528</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a350ae9bf8606bdfe23c8679681b969dc"><div class="ttname"><a href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="include_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_ac18324bd2b862c3cdbf65494bf69ecb5"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5">SVF::MRGenerator::createMR</a></div><div class="ttdeci">void createMR(const SVFFunction *fun, const NodeBS &amp;cpts)</div><div class="ttdoc">Generate a memory region and put in into functions which use it. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00069">MemRegion.cpp:69</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html_a1b5abe09fd0fcd337385653cb47343c1"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">SVF::SparseBitVector::end</a></div><div class="ttdeci">iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01120">SparseBitVector.h:1120</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html_abf76d8157c49ddba24bdc9dab3655772"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">SVF::SparseBitVector::begin</a></div><div class="ttdeci">iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01115">SparseBitVector.h:1115</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00462">SparseBitVector.h:462</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html_a1b5abe09fd0fcd337385653cb47343c1"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">SVF::SparseBitVector::end</a></div><div class="ttdeci">iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01112">SparseBitVector.h:1112</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html_abf76d8157c49ddba24bdc9dab3655772"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">SVF::SparseBitVector::begin</a></div><div class="ttdeci">iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01107">SparseBitVector.h:1107</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00454">SparseBitVector.h:454</a></div></div>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_ab4d1ff0357d389a65ff1c2112ce631a1"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1">SVF::MRGenerator::cptsToRepCPtsMap</a></div><div class="ttdeci">PtsToRepPtsSetMap cptsToRepCPtsMap</div><div class="ttdoc">Map a condition pts to its rep conditional pts (super set points-to) </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00280">MemRegion.h:280</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00739">SparseBitVector.h:739</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -524,13 +524,13 @@ Additional Inherited Members</h2></td></tr>
 <p>Reimplemented from <a class="el" href="classSVF_1_1MRGenerator.html#abe8d6217250d227e743e4b581497aae8">SVF::MRGenerator</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="MemPartition_8cpp_source.html#l00091">91</a> of file <a class="el" href="MemPartition_8cpp_source.html">MemPartition.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;{</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">NodeBS::iterator</a> ptsIt = pts.<a class="code" href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">begin</a>();</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">NodeBS::iterator</a> ptsEit = pts.<a class="code" href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">end</a>();</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    <span class="keywordflow">for</span> (; ptsIt != ptsEit; ++ptsIt)</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    {</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> <span class="keywordtype">id</span> = *ptsIt;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <span class="comment">// create new conditional points-to set with this single element.</span></div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> newPts;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        newPts.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;        <a class="code" href="classSVF_1_1MemRegion.html">MemRegion</a> mr(newPts);</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        MRSet::iterator mit = <a class="code" href="classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119">memRegSet</a>.find(&amp;mr);</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        assert(mit!=<a class="code" href="classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119">memRegSet</a>.end() &amp;&amp; <span class="stringliteral">&quot;memory region not found!!&quot;</span>);</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        mrs.insert(*mit);</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    }</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;}</div><div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">SVF::SparseBitVector::SparseBitVectorIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00536">SparseBitVector.h:536</a></div></div>
+<div class="fragment"><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;{</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">NodeBS::iterator</a> ptsIt = pts.<a class="code" href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">begin</a>();</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    <a class="code" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">NodeBS::iterator</a> ptsEit = pts.<a class="code" href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">end</a>();</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    <span class="keywordflow">for</span> (; ptsIt != ptsEit; ++ptsIt)</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    {</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> <span class="keywordtype">id</span> = *ptsIt;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <span class="comment">// create new conditional points-to set with this single element.</span></div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> newPts;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        newPts.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;        <a class="code" href="classSVF_1_1MemRegion.html">MemRegion</a> mr(newPts);</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        MRSet::iterator mit = <a class="code" href="classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119">memRegSet</a>.find(&amp;mr);</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        assert(mit!=<a class="code" href="classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119">memRegSet</a>.end() &amp;&amp; <span class="stringliteral">&quot;memory region not found!!&quot;</span>);</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        mrs.insert(*mit);</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    }</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;}</div><div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">SVF::SparseBitVector::SparseBitVectorIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00528">SparseBitVector.h:528</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a350ae9bf8606bdfe23c8679681b969dc"><div class="ttname"><a href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="include_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_af94bd8155a23273aab2396334d905119"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119">SVF::MRGenerator::memRegSet</a></div><div class="ttdeci">MRSet memRegSet</div><div class="ttdoc">A set of All memory regions. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00278">MemRegion.h:278</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html_a1b5abe09fd0fcd337385653cb47343c1"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">SVF::SparseBitVector::end</a></div><div class="ttdeci">iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01120">SparseBitVector.h:1120</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html_abf76d8157c49ddba24bdc9dab3655772"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">SVF::SparseBitVector::begin</a></div><div class="ttdeci">iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01115">SparseBitVector.h:1115</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00462">SparseBitVector.h:462</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html_a1b5abe09fd0fcd337385653cb47343c1"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">SVF::SparseBitVector::end</a></div><div class="ttdeci">iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01112">SparseBitVector.h:1112</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html_abf76d8157c49ddba24bdc9dab3655772"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">SVF::SparseBitVector::begin</a></div><div class="ttdeci">iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01107">SparseBitVector.h:1107</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00454">SparseBitVector.h:454</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00739">SparseBitVector.h:739</a></div></div>
 <div class="ttc" id="classSVF_1_1MemRegion_html"><div class="ttname"><a href="classSVF_1_1MemRegion.html">SVF::MemRegion</a></div><div class="ttdoc">Memory Region class. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00055">MemRegion.h:55</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -568,7 +568,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="fragment"><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;{</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;    <span class="keywordflow">for</span>(FunToPointsTosMap::iterator it = <a class="code" href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">getFunToPointsToList</a>().begin(), eit = <a class="code" href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">getFunToPointsToList</a>().end();</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;            it!=eit; ++it)</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    {</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = it-&gt;first;</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;        <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> mergePts;</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;        <span class="keywordflow">for</span>(PointsToList::iterator cit = it-&gt;second.begin(), ecit = it-&gt;second.end(); cit!=ecit; ++cit)</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;        {</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a>&amp; pts = *cit;</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;            mergePts |= pts;</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;        <a class="code" href="classSVF_1_1DistinctMRG.html#a7a6ffa1c8dc8e624e3b42f97e6e4b393">createDistinctMR</a>(fun, mergePts);</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;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00257">SVFValue.h:257</a></div></div>
 <div class="ttc" id="classSVF_1_1DistinctMRG_html_a7a6ffa1c8dc8e624e3b42f97e6e4b393"><div class="ttname"><a href="classSVF_1_1DistinctMRG.html#a7a6ffa1c8dc8e624e3b42f97e6e4b393">SVF::DistinctMRG::createDistinctMR</a></div><div class="ttdeci">void createDistinctMR(const SVFFunction *func, const NodeBS &amp;cpts)</div><div class="ttdoc">Create memory regions for each points-to target. </div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00064">MemPartition.cpp:64</a></div></div>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_a1331e6f0941838064d77a5adaa5c6303"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">SVF::MRGenerator::getFunToPointsToList</a></div><div class="ttdeci">FunToPointsTosMap &amp; getFunToPointsToList()</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00371">MemRegion.h:371</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00462">SparseBitVector.h:462</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00454">SparseBitVector.h:454</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker-members.html

@@ -81,9 +81,9 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd">annotateSlice</a>(ProgSlice *slice)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a8785ea71a1b0da03595fc8f594921819">backwardTraverse</a>(DPIm &amp;it)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286">backwardVisited</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#adc2ac209e2d5e561bcb594db4c77051b">BWProcessCurNode</a>(const DPIm &amp;item)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ad9eb5a4e0b3783c300c36b66f053e302">BWProcessCurNode</a>(const DPIm &amp;item) override</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a5b2ec04cbee0e457ed9d8a8a4c2e134f">SVF::GraphReachSolver::BWProcessCurNode</a>(const DPIm &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a1ea0d4c4e53ff6986dd50d624ba2bff5">BWProcessIncomingEdge</a>(const DPIm &amp;item, SVFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a3a097517e85b9ea4c92d5e213b04e1f0">BWProcessIncomingEdge</a>(const DPIm &amp;item, SVFGEdge *edge) override</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#aac7caf50b94caa7bd6960461c0c16014">SVF::GraphReachSolver::BWProcessIncomingEdge</a>(const DPIm &amp;item, GEDGE *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165">CallSiteSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04">child_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
@@ -97,9 +97,9 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#af6ee1f79b67c736ceeb591d0cdba4b06">finalize</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#ad1ad147241183e1077a4691ebe7861b5">forwardTraverse</a>(DPIm &amp;it)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a8c86d30498e86745883fbaea4f530eae">forwardVisited</a>(const SVFGNode *node, const DPIm &amp;item)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#abf20d02932b7ca983b9bd790812b1f40">FWProcessCurNode</a>(const DPIm &amp;item)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ad4e19b2510c124d458f6941e190ef7cc">FWProcessCurNode</a>(const DPIm &amp;item) override</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a6ea48755ca28468b426380e838494087">SVF::GraphReachSolver::FWProcessCurNode</a>(const DPIm &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ad2203ca5bd08c6fbebd31a8a010edebb">FWProcessOutgoingEdge</a>(const DPIm &amp;item, SVFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#acb99b47a514fc9d10fe1b989c7b09127">FWProcessOutgoingEdge</a>(const DPIm &amp;item, SVFGEdge *edge) override</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a3f205f7bc0f0ae1a14184bb8cae4bf92">SVF::GraphReachSolver::FWProcessOutgoingEdge</a>(const DPIm &amp;item, GEDGE *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2">GEDGE</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ad445032e9b2027b3c990ce2a250257f8">getCallgraph</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -172,7 +172,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DoubleFreeChecker.html#a2eddb7691ad68af168fcae3dacd79824">~DoubleFreeChecker</a>()</td><td class="entry"><a class="el" href="classSVF_1_1DoubleFreeChecker.html">SVF::DoubleFreeChecker</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a31e78a14271a152f5b7c0d751a39312a">~GraphReachSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a1c47ce036a7ffcd7cbe5d5e372a30208">~LeakChecker</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a0181630a05f915eb35a88540af6919df">~SrcSnkDDA</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a5a87fbdbf9469f3bdd4c955f31f4c4f9">~SrcSnkDDA</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html

@@ -126,9 +126,9 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a73f6ddd4ba868e203109c52e4f3600bd inherit pub_methods_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SrcSnkDDA</a> ()</td></tr>
 <tr class="memdesc:a73f6ddd4ba868e203109c52e4f3600bd inherit pub_methods_classSVF_1_1SrcSnkDDA"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">More...</a><br /></td></tr>
 <tr class="separator:a73f6ddd4ba868e203109c52e4f3600bd inherit pub_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0181630a05f915eb35a88540af6919df inherit pub_methods_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a0181630a05f915eb35a88540af6919df">~SrcSnkDDA</a> ()</td></tr>
-<tr class="memdesc:a0181630a05f915eb35a88540af6919df inherit pub_methods_classSVF_1_1SrcSnkDDA"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="classSVF_1_1SrcSnkDDA.html#a0181630a05f915eb35a88540af6919df">More...</a><br /></td></tr>
-<tr class="separator:a0181630a05f915eb35a88540af6919df inherit pub_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5a87fbdbf9469f3bdd4c955f31f4c4f9 inherit pub_methods_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a5a87fbdbf9469f3bdd4c955f31f4c4f9">~SrcSnkDDA</a> () override</td></tr>
+<tr class="memdesc:a5a87fbdbf9469f3bdd4c955f31f4c4f9 inherit pub_methods_classSVF_1_1SrcSnkDDA"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="classSVF_1_1SrcSnkDDA.html#a5a87fbdbf9469f3bdd4c955f31f4c4f9">More...</a><br /></td></tr>
+<tr class="separator:a5a87fbdbf9469f3bdd4c955f31f4c4f9 inherit pub_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac12d813bcba4ec70de5e9048bbe16afc inherit pub_methods_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc">analyze</a> (<a class="el" href="classSVF_1_1SVFModule.html">SVFModule</a> *module)</td></tr>
 <tr class="memdesc:ac12d813bcba4ec70de5e9048bbe16afc inherit pub_methods_classSVF_1_1SrcSnkDDA"><td class="mdescLeft">&#160;</td><td class="mdescRight">Start analysis here.  <a href="classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc">More...</a><br /></td></tr>
 <tr class="separator:ac12d813bcba4ec70de5e9048bbe16afc inherit pub_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -269,18 +269,18 @@ Additional Inherited Members</h2></td></tr>
 <tr class="memitem:a8cc561fddf3435b3b40ff4aace23b846 inherit pro_methods_classSVF_1_1LeakChecker"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LeakChecker.html#a8cc561fddf3435b3b40ff4aace23b846">getSrcCSID</a> (const <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a> *src)</td></tr>
 <tr class="separator:a8cc561fddf3435b3b40ff4aace23b846 inherit pro_methods_classSVF_1_1LeakChecker"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_methods_classSVF_1_1SrcSnkDDA"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1SrcSnkDDA')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td></tr>
-<tr class="memitem:abf20d02932b7ca983b9bd790812b1f40 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#abf20d02932b7ca983b9bd790812b1f40">FWProcessCurNode</a> (const <a class="el" href="classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca">DPIm</a> &amp;<a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">item</a>)</td></tr>
-<tr class="memdesc:abf20d02932b7ca983b9bd790812b1f40 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="mdescLeft">&#160;</td><td class="mdescRight">Forward traverse.  <a href="classSVF_1_1SrcSnkDDA.html#abf20d02932b7ca983b9bd790812b1f40">More...</a><br /></td></tr>
-<tr class="separator:abf20d02932b7ca983b9bd790812b1f40 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:adc2ac209e2d5e561bcb594db4c77051b inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#adc2ac209e2d5e561bcb594db4c77051b">BWProcessCurNode</a> (const <a class="el" href="classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca">DPIm</a> &amp;<a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">item</a>)</td></tr>
-<tr class="memdesc:adc2ac209e2d5e561bcb594db4c77051b inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="mdescLeft">&#160;</td><td class="mdescRight">Backward traverse.  <a href="classSVF_1_1SrcSnkDDA.html#adc2ac209e2d5e561bcb594db4c77051b">More...</a><br /></td></tr>
-<tr class="separator:adc2ac209e2d5e561bcb594db4c77051b inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad2203ca5bd08c6fbebd31a8a010edebb inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ad2203ca5bd08c6fbebd31a8a010edebb">FWProcessOutgoingEdge</a> (const <a class="el" href="classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca">DPIm</a> &amp;<a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">item</a>, <a class="el" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a> *edge)</td></tr>
-<tr class="memdesc:ad2203ca5bd08c6fbebd31a8a010edebb inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="mdescLeft">&#160;</td><td class="mdescRight">Propagate information forward by matching context.  <a href="classSVF_1_1SrcSnkDDA.html#ad2203ca5bd08c6fbebd31a8a010edebb">More...</a><br /></td></tr>
-<tr class="separator:ad2203ca5bd08c6fbebd31a8a010edebb inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1ea0d4c4e53ff6986dd50d624ba2bff5 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a1ea0d4c4e53ff6986dd50d624ba2bff5">BWProcessIncomingEdge</a> (const <a class="el" href="classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca">DPIm</a> &amp;<a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">item</a>, <a class="el" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a> *edge)</td></tr>
-<tr class="memdesc:a1ea0d4c4e53ff6986dd50d624ba2bff5 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="mdescLeft">&#160;</td><td class="mdescRight">Propagate information backward without matching context, as forward analysis already did it.  <a href="classSVF_1_1SrcSnkDDA.html#a1ea0d4c4e53ff6986dd50d624ba2bff5">More...</a><br /></td></tr>
-<tr class="separator:a1ea0d4c4e53ff6986dd50d624ba2bff5 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad4e19b2510c124d458f6941e190ef7cc inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ad4e19b2510c124d458f6941e190ef7cc">FWProcessCurNode</a> (const <a class="el" href="classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca">DPIm</a> &amp;<a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">item</a>) override</td></tr>
+<tr class="memdesc:ad4e19b2510c124d458f6941e190ef7cc inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="mdescLeft">&#160;</td><td class="mdescRight">Forward traverse.  <a href="classSVF_1_1SrcSnkDDA.html#ad4e19b2510c124d458f6941e190ef7cc">More...</a><br /></td></tr>
+<tr class="separator:ad4e19b2510c124d458f6941e190ef7cc inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad9eb5a4e0b3783c300c36b66f053e302 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ad9eb5a4e0b3783c300c36b66f053e302">BWProcessCurNode</a> (const <a class="el" href="classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca">DPIm</a> &amp;<a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">item</a>) override</td></tr>
+<tr class="memdesc:ad9eb5a4e0b3783c300c36b66f053e302 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="mdescLeft">&#160;</td><td class="mdescRight">Backward traverse.  <a href="classSVF_1_1SrcSnkDDA.html#ad9eb5a4e0b3783c300c36b66f053e302">More...</a><br /></td></tr>
+<tr class="separator:ad9eb5a4e0b3783c300c36b66f053e302 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acb99b47a514fc9d10fe1b989c7b09127 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#acb99b47a514fc9d10fe1b989c7b09127">FWProcessOutgoingEdge</a> (const <a class="el" href="classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca">DPIm</a> &amp;<a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">item</a>, <a class="el" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a> *edge) override</td></tr>
+<tr class="memdesc:acb99b47a514fc9d10fe1b989c7b09127 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="mdescLeft">&#160;</td><td class="mdescRight">Propagate information forward by matching context.  <a href="classSVF_1_1SrcSnkDDA.html#acb99b47a514fc9d10fe1b989c7b09127">More...</a><br /></td></tr>
+<tr class="separator:acb99b47a514fc9d10fe1b989c7b09127 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3a097517e85b9ea4c92d5e213b04e1f0 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a3a097517e85b9ea4c92d5e213b04e1f0">BWProcessIncomingEdge</a> (const <a class="el" href="classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca">DPIm</a> &amp;<a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">item</a>, <a class="el" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a> *edge) override</td></tr>
+<tr class="memdesc:a3a097517e85b9ea4c92d5e213b04e1f0 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="mdescLeft">&#160;</td><td class="mdescRight">Propagate information backward without matching context, as forward analysis already did it.  <a href="classSVF_1_1SrcSnkDDA.html#a3a097517e85b9ea4c92d5e213b04e1f0">More...</a><br /></td></tr>
+<tr class="separator:a3a097517e85b9ea4c92d5e213b04e1f0 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a6ae0d47bac09163e90b8b2e773ad69f0 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0">isAllPathReachable</a> ()</td></tr>
 <tr class="memdesc:a6ae0d47bac09163e90b8b2e773ad69f0 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether it is all path reachable from a source.  <a href="classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0">More...</a><br /></td></tr>
 <tr class="separator:a6ae0d47bac09163e90b8b2e773ad69f0 inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -455,7 +455,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a45fb7711498bcba60e931c9c2a9ccec4"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4">SVF::ProgSlice::isSatisfiableForPairs</a></div><div class="ttdeci">bool isSatisfiableForPairs()</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00111">ProgSlice.cpp:111</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_ab65033f068bfbeb0a1c52dcec3beb6bc"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVF::SVFUtil::errs</a></div><div class="ttdeci">std::ostream &amp; errs()</div><div class="ttdoc">Overwrite llvm::errs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00055">SVFUtil.h:55</a></div></div>
 <div class="ttc" id="classSVF_1_1LeakChecker_html_a8cc561fddf3435b3b40ff4aace23b846"><div class="ttname"><a href="classSVF_1_1LeakChecker.html#a8cc561fddf3435b3b40ff4aace23b846">SVF::LeakChecker::getSrcCSID</a></div><div class="ttdeci">const CallICFGNode * getSrcCSID(const SVFGNode *src)</div><div class="ttdef"><b>Definition:</b> <a href="LeakChecker_8h_source.html#l00111">LeakChecker.h:111</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_aec491143ded97649da1ed61b8fda796c"><div class="ttname"><a href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c">SVF::Options::ValidateTests</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ValidateTests</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00199">Options.h:199</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_aec491143ded97649da1ed61b8fda796c"><div class="ttname"><a href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c">SVF::Options::ValidateTests</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ValidateTests</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00198">Options.h:198</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_a7effb0f37f486745e0cdc3ae5e9c732b"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">SVF::SVFValue::getSourceLoc</a></div><div class="ttdeci">virtual const std::string getSourceLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00239">SVFValue.h:239</a></div></div>
 <div class="ttc" id="classSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00363">ICFGNode.h:363</a></div></div>
 <div class="ttc" id="classSVF_1_1DoubleFreeChecker_html_a06cf937c92c88627796f09b0a87a5263"><div class="ttname"><a href="classSVF_1_1DoubleFreeChecker.html#a06cf937c92c88627796f09b0a87a5263">SVF::DoubleFreeChecker::testsValidation</a></div><div class="ttdeci">void testsValidation(ProgSlice *slice)</div><div class="ttdoc">Validate test cases for regression test purpose. </div><div class="ttdef"><b>Definition:</b> <a href="DoubleFreeChecker_8cpp_source.html#l00054">DoubleFreeChecker.cpp:54</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html

@@ -435,8 +435,8 @@ Additional Inherited Members</h2></td></tr>
 <p>Implements <a class="el" href="classSVF_1_1VFGNode.html#ac2161154777d5bedfdb541658efdc651">SVF::VFGNode</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00127">127</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;{</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;    <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> nb;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    nb.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(<span class="keywordtype">object</span>);</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    <span class="keywordflow">return</span> nb;</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;}</div><div class="ttc" id="classSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00462">SparseBitVector.h:462</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
+<div class="fragment"><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;{</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;    <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> nb;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    nb.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(<span class="keywordtype">object</span>);</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    <span class="keywordflow">return</span> nb;</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;}</div><div class="ttc" id="classSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00454">SparseBitVector.h:454</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00739">SparseBitVector.h:739</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html

@@ -925,7 +925,7 @@ Static Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1SVFFunction_html_af264312f0020bde9151697bccfde3263"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af264312f0020bde9151697bccfde3263">SVF::SVFFunction::getReturnType</a></div><div class="ttdeci">const SVFType * getReturnType() const</div><div class="ttdoc">Returns the FunctionType. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00346">SVFValue.h:346</a></div></div>
 <div class="ttc" id="structcJSON_html_ad43f8de2571e504c4c5ce0a36990e6e1"><div class="ttname"><a href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">cJSON::valuestring</a></div><div class="ttdeci">char * valuestring</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00115">cJSON.h:115</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00304">SVFType.h:304</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00302">SVFType.h:302</a></div></div>
 <div class="ttc" id="structcJSON_html"><div class="ttname"><a href="structcJSON.html">cJSON</a></div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00103">cJSON.h:103</a></div></div>
 <div class="ttc" id="structcJSON_html_a401b274c2da358dac5c23ab8b2c71f85"><div class="ttname"><a href="structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85">cJSON::child</a></div><div class="ttdeci">struct cJSON * child</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00109">cJSON.h:109</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>