svf-tools 1.0.281 → 1.0.285

package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html

@@ -88,7 +88,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MutableDiffPTData_html_ae087d0307844312710c2d4c05535ea86"><div class="ttname"><a href="classSVF_1_1MutableDiffPTData.html#ae087d0307844312710c2d4c05535ea86">SVF::MutableDiffPTData::MutableDiffPTData</a></div><div class="ttdeci">MutableDiffPTData(bool reversePT=true, PTDataTy ty=PTDataTy::Diff)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00186">MutablePointsToDS.h:186</a></div></div>
 <div class="ttc" id="classSVF_1_1MutableDiffPTData_html_a3946e3b737d95539cb57b10e53d356fc"><div class="ttname"><a href="classSVF_1_1MutableDiffPTData.html#a3946e3b737d95539cb57b10e53d356fc">SVF::MutableDiffPTData::clearPropaPts</a></div><div class="ttdeci">virtual void clearPropaPts(Key &amp;var) override</div><div class="ttdoc">Clear propagated points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00265">MutablePointsToDS.h:265</a></div></div>
 <div class="ttc" id="classSVF_1_1MutableDiffPTData_html_a1b2d520d24a8d19de00e26237e5cd098"><div class="ttname"><a href="classSVF_1_1MutableDiffPTData.html#a1b2d520d24a8d19de00e26237e5cd098">SVF::MutableDiffPTData::classof</a></div><div class="ttdeci">static bool classof(const MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt; *)</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00272">MutablePointsToDS.h:272</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aeecfaf26800dcebf0b079395126bc7f7"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7">SVF::SVFUtil::insertKey</a></div><div class="ttdeci">void insertKey(const Key &amp;key, KeySet &amp;keySet)</div><div class="ttdoc">Inserts an element into a Set/CondSet (with ::insert). </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00246">SVFUtil.h:246</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aeecfaf26800dcebf0b079395126bc7f7"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7">SVF::SVFUtil::insertKey</a></div><div class="ttdeci">void insertKey(const Key &amp;key, KeySet &amp;keySet)</div><div class="ttdoc">Inserts an element into a Set/CondSet (with ::insert). </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00289">SVFUtil.h:289</a></div></div>
 <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a85c0d93ee01d2c93c255e5a369248d1b"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b">SVF::MutableDFPTData::updateDFInFromOut</a></div><div class="ttdeci">virtual bool updateDFInFromOut(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00412">MutablePointsToDS.h:412</a></div></div>
 <div class="ttc" id="classSVF_1_1MutablePTData_html_a4c5d5d5d73db6dc6b721a076bcae3662"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662">SVF::MutablePTData::addSingleRevPts</a></div><div class="ttdeci">void addSingleRevPts(KeySet &amp;revData, const Key &amp;tgr)</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00138">MutablePointsToDS.h:138</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
@@ -218,7 +218,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a646111552a7112b8e48c00e766ce8d9b"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a646111552a7112b8e48c00e766ce8d9b">SVF::MutableVersionedPTData::classof</a></div><div class="ttdeci">static bool classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00908">MutablePointsToDS.h:908</a></div></div>
 <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab345e148997b9e1c6e4c2c76267880b7"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab345e148997b9e1c6e4c2c76267880b7">SVF::MutableDFPTData::clearFullPts</a></div><div class="ttdeci">virtual void clearFullPts(const Key &amp;var) override</div><div class="ttdoc">Fully clears the points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00485">MutablePointsToDS.h:485</a></div></div>
 <div class="ttc" id="classSVF_1_1MutableDiffPTData_html_a450ed4470b1d83d44218904dd391fd75"><div class="ttname"><a href="classSVF_1_1MutableDiffPTData.html#a450ed4470b1d83d44218904dd391fd75">SVF::MutableDiffPTData::getPropaPts</a></div><div class="ttdeci">DataSet &amp; getPropaPts(Key &amp;var)</div><div class="ttdoc">Get propagated points to. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00291">MutablePointsToDS.h:291</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aee74719d33695e4da6fee5fc83f745d9"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aee74719d33695e4da6fee5fc83f745d9">SVF::SVFUtil::removeKey</a></div><div class="ttdeci">void removeKey(const Key &amp;key, KeySet &amp;keySet)</div><div class="ttdoc">Removes an element from a Set/CondSet (or anything implementing ::erase). </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00259">SVFUtil.h:259</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aee74719d33695e4da6fee5fc83f745d9"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aee74719d33695e4da6fee5fc83f745d9">SVF::SVFUtil::removeKey</a></div><div class="ttdeci">void removeKey(const Key &amp;key, KeySet &amp;keySet)</div><div class="ttdoc">Removes an element from a Set/CondSet (or anything implementing ::erase). </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00302">SVFUtil.h:302</a></div></div>
 <div class="ttc" id="classSVF_1_1MutableDFPTData_html_aed141fb836cb22e02032ea46e3e5f51b"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#aed141fb836cb22e02032ea46e3e5f51b">SVF::MutableDFPTData::MutableDFPTData</a></div><div class="ttdeci">MutableDFPTData(bool reversePT=true, PTDataTy ty=BaseDFPTData::MutDataFlow)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00322">MutablePointsToDS.h:322</a></div></div>
 <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a55b19f617d11dfc6632b690694f264ab"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab">SVF::MutableIncDFPTData::varHasNewDFOutPts</a></div><div class="ttdeci">bool varHasNewDFOutPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has new pts in loc&amp;#39;s OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00784">MutablePointsToDS.h:784</a></div></div>
 <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_adf4e5c57d7b7ae7da37bb1a4eabfe8a6"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#adf4e5c57d7b7ae7da37bb1a4eabfe8a6">SVF::MutableIncDFPTData::~MutableIncDFPTData</a></div><div class="ttdeci">virtual ~MutableIncDFPTData()</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00616">MutablePointsToDS.h:616</a></div></div>
@@ -234,7 +234,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PTData_html_adfcbaefe1c058d9ddf14aa3da07e1daf"><div class="ttname"><a href="classSVF_1_1PTData.html#adfcbaefe1c058d9ddf14aa3da07e1daf">SVF::PTData::getPTDTY</a></div><div class="ttdeci">PTDataTy getPTDTY() const</div><div class="ttdoc">Get the type of points-to data structure that this is. </div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00067">AbstractPointsToDS.h:67</a></div></div>
 <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a23fca889a29399a91dfc916f5fab46ee"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a23fca889a29399a91dfc916f5fab46ee">SVF::MutableDFPTData::updateAllDFInFromIn</a></div><div class="ttdeci">virtual bool updateAllDFInFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (IN[dstLoc::dstVar], IN[srcLoc:srcVar]. There is no flag check, unlike the above. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00427">MutablePointsToDS.h:427</a></div></div>
 <div class="ttc" id="classSVF_1_1MutableDiffPTData_html_a3603cb4baf60b1aa83b7807ac5591484"><div class="ttname"><a href="classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484">SVF::MutableDiffPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdoc">Backing to implement the basic PTData methods. This allows us to avoid multiple-inheritance. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00298">MutablePointsToDS.h:298</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a220f4c09e4c09c58d018719d44ec1dc3"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a220f4c09e4c09c58d018719d44ec1dc3">SVF::SVFUtil::dumpSet</a></div><div class="ttdeci">void dumpSet(NodeBS To, raw_ostream &amp;O=SVFUtil::outs())</div><div class="ttdoc">Dump sparse bitvector set. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00146">SVFUtil.cpp:146</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a220f4c09e4c09c58d018719d44ec1dc3"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a220f4c09e4c09c58d018719d44ec1dc3">SVF::SVFUtil::dumpSet</a></div><div class="ttdeci">void dumpSet(NodeBS To, raw_ostream &amp;O=SVFUtil::outs())</div><div class="ttdoc">Dump sparse bitvector set. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00148">SVFUtil.cpp:148</a></div></div>
 <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a00a88cc3e802921c6a0951801ec712a6"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6">SVF::MutableVersionedPTData::addPts</a></div><div class="ttdeci">virtual bool addPts(const Key &amp;k, const Data &amp;element) override</div><div class="ttdoc">Adds element to the points-to set associated with var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00841">MutablePointsToDS.h:841</a></div></div>
 <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00375">MutablePointsToDS.h:375</a></div></div>
 <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_aa9ab46b7afc7f47df20e74bda300dc42"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#aa9ab46b7afc7f47df20e74bda300dc42">SVF::MutableVersionedPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstVar, const DataSet &amp;srcDataSet) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U srcDataSet. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00866">MutablePointsToDS.h:866</a></div></div>