svf-tools 1.0.301 → 1.0.305

package/SVF-doxygen/html/html/menudata.js

@@ -204,7 +204,8 @@ var menudata={children:[
 {text:"s",url:"functions_eval_s.html#index_s"},
 {text:"t",url:"functions_eval_t.html#index_t"},
 {text:"u",url:"functions_eval_u.html#index_u"},
-{text:"v",url:"functions_eval_v.html#index_v"}]},
+{text:"v",url:"functions_eval_v.html#index_v"},
+{text:"w",url:"functions_eval_w.html#index_w"}]},
 {text:"Related Functions",url:"functions_rela.html"}]}]},
 {text:"Files",url:"files.html",children:[
 {text:"File List",url:"files.html"},

package/SVF-doxygen/html/html/namespaceSVF.html

@@ -318,6 +318,8 @@ Classes</h2></td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1Hash.html">Hash</a></td></tr>
 <tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">provide extra hash function for std::pair handling  <a href="structSVF_1_1Hash.html#details">More...</a><br /></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html">Hash&lt; CoreBitVector &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html">Hash&lt; NodePair &gt;</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html">Hash&lt; std::pair&lt; S, T &gt; &gt;</a></td></tr>
@@ -1027,8 +1029,6 @@ Typedefs</h2></td></tr>
 <tr class="separator:a03d88a0302bcd253387690f13f693f64"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a10cddb090690c82a2aab31a480253d35"><td class="memItemLeft" align="right" valign="top">typedef unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">ThreadID</a></td></tr>
 <tr class="separator:a10cddb090690c82a2aab31a480253d35"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9ec7a8dc63411ee3724a25a59191be0c"><td class="memItemLeft" align="right" valign="top">typedef unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">Version</a></td></tr>
-<tr class="separator:a9ec7a8dc63411ee3724a25a59191be0c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a740396763e377643790c8b803ab3e4ea"><td class="memItemLeft" align="right" valign="top">typedef llvm::SparseBitVector&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a></td></tr>
 <tr class="separator:a740396763e377643790c8b803ab3e4ea"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab6cf2115b54ef7135b031efc2f112b54"><td class="memItemLeft" align="right" valign="top">typedef llvm::SparseBitVector&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ab6cf2115b54ef7135b031efc2f112b54">SparseBitVector</a></td></tr>
@@ -1054,8 +1054,6 @@ Typedefs</h2></td></tr>
 <tr class="separator:aa408bbe668ca1208beceae0f842079b4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af15e78ec0ab5bf5328d0f8e90c74fe4b"><td class="memItemLeft" align="right" valign="top">typedef std::pair&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">NodePair</a></td></tr>
 <tr class="separator:af15e78ec0ab5bf5328d0f8e90c74fe4b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a32489632f53dce062ca2e8bff42c65cf"><td class="memItemLeft" align="right" valign="top">typedef std::pair&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">Version</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">VersionedVar</a></td></tr>
-<tr class="separator:a32489632f53dce062ca2e8bff42c65cf"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a3c2bd95727ec0d9c55c631b6617026c8"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">OrderedNodeSet</a></td></tr>
 <tr class="separator:a3c2bd95727ec0d9c55c631b6617026c8"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a212231734fa43d5c7414137deaac7df3"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a></td></tr>
@@ -1084,6 +1082,14 @@ Typedefs</h2></td></tr>
 <tr class="separator:a542c6d5483bfc74fa58b45ad06b65960"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad5ce5ddecac033fe5309cb929d8dea3a"><td class="memItemLeft" align="right" valign="top">typedef llvm::StringMap&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad5ce5ddecac033fe5309cb929d8dea3a">StringMap</a></td></tr>
 <tr class="separator:ad5ce5ddecac033fe5309cb929d8dea3a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9ec7a8dc63411ee3724a25a59191be0c"><td class="memItemLeft" align="right" valign="top">typedef unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">Version</a></td></tr>
+<tr class="separator:a9ec7a8dc63411ee3724a25a59191be0c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a046466b2ed3618072fee227b569da6eb"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">Version</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">VersionSet</a></td></tr>
+<tr class="separator:a046466b2ed3618072fee227b569da6eb"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a32489632f53dce062ca2e8bff42c65cf"><td class="memItemLeft" align="right" valign="top">typedef std::pair&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">Version</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">VersionedVar</a></td></tr>
+<tr class="separator:a32489632f53dce062ca2e8bff42c65cf"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a544021f3075a89ff634b215a0efe3385"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">VersionedVar</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">VersionedVarSet</a></td></tr>
+<tr class="separator:a544021f3075a89ff634b215a0efe3385"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae9c142945ea31b6c70bceb93eb6f3ca4"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WPASolver.html">WPASolver</a>&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4">WPAConstraintSolver</a></td></tr>
 <tr class="separator:ae9c142945ea31b6c70bceb93eb6f3ca4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a1f730acb8da8187da732631ca6bbff01"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1SCCDetection.html">SCCDetection</a>&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01">CGSCC</a></td></tr>
@@ -1213,7 +1219,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00090">90</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00089">89</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1505,7 +1511,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00127">127</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00125">125</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2169,7 +2175,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00126">126</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00124">124</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2185,7 +2191,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00120">120</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00118">118</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3081,7 +3087,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00100">100</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3275,7 +3281,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3291,7 +3297,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00123">123</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00121">121</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3323,7 +3329,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00122">122</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00120">120</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3339,7 +3345,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00113">113</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00112">112</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3355,7 +3361,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00118">118</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00116">116</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3371,7 +3377,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00117">117</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00115">115</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3387,7 +3393,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00116">116</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00114">114</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3403,7 +3409,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00121">121</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00119">119</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3419,7 +3425,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00119">119</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00117">117</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3453,7 +3459,7 @@ template&lt;typename Key , typename Value , typename Compare  = std::less&lt;Key
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00108">108</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00107">107</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3469,7 +3475,7 @@ template&lt;typename Key , typename Value , typename Compare  = std::less&lt;Key
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00115">115</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00113">113</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3487,7 +3493,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00104">104</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00103">103</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3551,7 +3557,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00092">92</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00091">91</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3813,7 +3819,7 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00096">96</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3879,7 +3885,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00111">111</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3895,7 +3901,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00124">124</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00122">122</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3911,7 +3917,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00125">125</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00123">123</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3945,7 +3951,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00088">88</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4009,7 +4015,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00128">128</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00126">126</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4427,7 +4433,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00128">128</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4443,7 +4449,39 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00114">114</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00130">130</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+
+</div>
+</div>
+<a id="a544021f3075a89ff634b215a0efe3385"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a544021f3075a89ff634b215a0efe3385">&#9670;&nbsp;</a></span>VersionedVarSet</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt;<a class="el" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">VersionedVar</a>&gt; <a class="el" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">SVF::VersionedVarSet</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00131">131</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+
+</div>
+</div>
+<a id="a046466b2ed3618072fee227b569da6eb"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a046466b2ed3618072fee227b569da6eb">&#9670;&nbsp;</a></span>VersionSet</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt;<a class="el" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">Version</a>&gt; <a class="el" href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">SVF::VersionSet</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00129">129</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html

@@ -1321,7 +1321,7 @@ template&lt;class X , class Y &gt; </div>
 <p class="definition">Definition at line <a class="el" href="LLVMUtil_8cpp_source.html#l00088">88</a> of file <a class="el" href="LLVMUtil_8cpp_source.html">LLVMUtil.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;{</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    std::vector&lt;const BasicBlock*&gt; bbVec;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const BasicBlock*&gt;</a> visited;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    bbVec.push_back(&amp;fun-&gt;getEntryBlock());</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;    <span class="keywordflow">while</span>(!bbVec.empty())</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;    {</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>* bb = bbVec.back();</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        bbVec.pop_back();</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        <span class="keywordflow">for</span> (BasicBlock::const_iterator it = bb-&gt;begin(), eit = bb-&gt;end();</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;                it != eit; ++it)</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        {</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;            <span class="keywordflow">if</span>(SVFUtil::isa&lt;ReturnInst&gt;(*it))</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">false</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;</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">succ_const_iterator</a> sit = succ_begin(bb), esit = succ_end(bb);</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;                sit != esit; ++sit)</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        {</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>* succbb = (*sit);</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;            <span class="keywordflow">if</span>(visited.find(succbb)==visited.end())</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;                visited.insert(succbb);</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;                <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;            bbVec.push_back(succbb);</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        }</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    }</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;<span class="comment">//    if(isProgEntryFunction(fun)==false) {</span></div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;<span class="comment">//        writeWrnMsg(fun-&gt;getName().str() + &quot; does not have return&quot;);</span></div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;<span class="comment">//    }</span></div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a23bf614858f168b6ad76e0233cec9965"><div class="ttname"><a href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF::BasicBlock</a></div><div class="ttdeci">llvm::BasicBlock BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00077">BasicTypes.h:77</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a3436a988bf80c021cd8022fb445b66d5"><div class="ttname"><a href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">SVF::succ_const_iterator</a></div><div class="ttdeci">llvm::succ_const_iterator succ_const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00209">BasicTypes.h:209</a></div></div>
-<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00096">SVFBasicTypes.h:96</a></div></div>
+<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00095">SVFBasicTypes.h:95</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1754,7 +1754,7 @@ template&lt;class X , class Y &gt; </div>
 <p class="definition">Definition at line <a class="el" href="LLVMUtil_8cpp_source.html#l00059">59</a> of file <a class="el" href="LLVMUtil_8cpp_source.html">LLVMUtil.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;{</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const BasicBlock*&gt;</a> visited;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    std::vector&lt;const BasicBlock*&gt; bbVec;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    bbVec.push_back(&amp;fun-&gt;getEntryBlock());</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    <span class="keywordflow">while</span>(!bbVec.empty())</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    {</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>* bb = bbVec.back();</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;        bbVec.pop_back();</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;        reachableBBs.push_back(bb);</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89">DomTreeNode</a> *dtNode = dt-&gt;getNode(const_cast&lt;BasicBlock*&gt;(bb)))</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        {</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;            <span class="keywordflow">for</span> (DomTreeNode::iterator DI = dtNode-&gt;begin(), DE = dtNode-&gt;end();</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;                    DI != DE; ++DI)</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;            {</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;                <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>* succbb = (*DI)-&gt;getBlock();</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;                <span class="keywordflow">if</span>(visited.find(succbb)==visited.end())</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;                    visited.insert(succbb);</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;                    <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;                bbVec.push_back(succbb);</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;            }</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        }</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="namespaceSVF_html_a23bf614858f168b6ad76e0233cec9965"><div class="ttname"><a href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF::BasicBlock</a></div><div class="ttdeci">llvm::BasicBlock BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00077">BasicTypes.h:77</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a827d09974dc7bf0849f96823cc2fee89"><div class="ttname"><a href="namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89">SVF::DomTreeNode</a></div><div class="ttdeci">llvm::DomTreeNode DomTreeNode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00199">BasicTypes.h:199</a></div></div>
-<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00096">SVFBasicTypes.h:96</a></div></div>
+<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00095">SVFBasicTypes.h:95</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -4558,7 +4558,7 @@ template&lt;typename Data &gt; </div>
 
 <p class="definition">Definition at line <a class="el" href="SVFUtil_8h_source.html#l00157">157</a> of file <a class="el" href="SVFUtil_8h_source.html">SVFUtil.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;{</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> nbs;</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> o : pts) nbs.set(o);</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    <span class="keywordflow">return</span> nbs;</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00087">SVFBasicTypes.h:87</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00086">SVFBasicTypes.h:86</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/namespacemembers_type_v.html

@@ -85,6 +85,12 @@ $(function() {
 <li>VersionedVar
 : <a class="el" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">SVF</a>
 </li>
+<li>VersionedVarSet
+: <a class="el" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">SVF</a>
+</li>
+<li>VersionSet
+: <a class="el" href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">SVF</a>
+</li>
 <li>VFPathPtSet
 : <a class="el" href="namespaceSVF.html#ab2dd5e7169f19030e124d09284ee50c1">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_v.html

@@ -97,6 +97,12 @@ $(function() {
 <li>VersionedVar
 : <a class="el" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">SVF</a>
 </li>
+<li>VersionedVarSet
+: <a class="el" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">SVF</a>
+</li>
+<li>VersionSet
+: <a class="el" href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">SVF</a>
+</li>
 <li>VFPathPtSet
 : <a class="el" href="namespaceSVF.html#ab2dd5e7169f19030e124d09284ee50c1">SVF</a>
 </li>

package/SVF-doxygen/html/html/search/all_10.js

@@ -47,7 +47,7 @@ var searchData=
   ['pagnodetounaryopvfgnodemap',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
   ['pagnodetounaryopvfgnodemapty',['PAGNodeToUnaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474',1,'SVF::VFG']]],
   ['pagprint',['PAGPrint',['../classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80',1,'SVF::Options']]],
-  ['pagreadfromtxt',['pagReadFromTxt',['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()'],['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()']]],
+  ['pagreadfromtxt',['pagReadFromTXT',['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()'],['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()']]],
   ['pairheadmap',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
   ['pairindex',['pairIndex',['../structDdSubtable.html#a027d40eb603e409faef302acc952ca85',1,'DdSubtable']]],
   ['pairtailmap',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
@@ -125,7 +125,7 @@ var searchData=
   ['persversionedptdataty',['PersVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae028ae29bdc799f35777b82a39faf5e8',1,'SVF::BVDataPTAImpl']]],
   ['phi',['PHI',['../classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1',1,'SVF::MemSSA']]],
   ['phinode',['PHINode',['../namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674',1,'SVF']]],
-  ['phinodemap',['PHINodeMap',['../classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea',1,'SVF::PAG::PHINodeMap()'],['../classSVF_1_1PAG.html#af3158e346a519beca6aebf6c9092efc0',1,'SVF::PAG::phiNodeMap()']]],
+  ['phinodemap',['phiNodeMap',['../classSVF_1_1PAG.html#af3158e346a519beca6aebf6c9092efc0',1,'SVF::PAG::phiNodeMap()'],['../classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea',1,'SVF::PAG::PHINodeMap()']]],
   ['phiset',['PHISet',['../classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05',1,'SVF::SVFG::PHISet()'],['../classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f',1,'SVF::MemSSA::PHISet()']]],
   ['phisvfgnode',['PHISVFGNode',['../namespaceSVF.html#a71d4e214e049f02bf26537cba6328673',1,'SVF']]],
   ['phitime',['phiTime',['../classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42',1,'SVF::FlowSensitive']]],
@@ -167,6 +167,7 @@ var searchData=
   ['predictptocc',['PredictPtOcc',['../classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f',1,'SVF::Options']]],
   ['pregchook',['preGCHook',['../structDdManager.html#a6e7664b46763e45c7388778e6e786a0e',1,'DdManager']]],
   ['prelabel',['prelabel',['../classSVF_1_1VersionedFlowSensitive.html#a7d86bc18060c0114a783aa1c3a7e9dda',1,'SVF::VersionedFlowSensitive']]],
+  ['prelabeledobjects',['prelabeledObjects',['../classSVF_1_1VersionedFlowSensitive.html#aaae8c6858593ed050dcf2c9220228e3e',1,'SVF::VersionedFlowSensitive']]],
   ['prelabelingtime',['prelabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a77a5dd9578def9a8e2b48e8b90d9b996',1,'SVF::VersionedFlowSensitive']]],
   ['prepassschedule',['prePassSchedule',['../classSVF_1_1LLVMModuleSet.html#a8b5f24c873db1f6a0614d1dac48bb4bb',1,'SVF::LLVMModuleSet']]],
   ['preprocessbcs',['preProcessBCs',['../classSVF_1_1LLVMModuleSet.html#a2fdc1bd61b8f6cdf6c07a5059b641b04',1,'SVF::LLVMModuleSet']]],
@@ -262,7 +263,7 @@ var searchData=
   ['pstat',['PStat',['../classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb',1,'SVF::Options']]],
   ['pt',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
   ['pta',['pta',['../classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8',1,'SVF::SVFG::pta()'],['../classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5',1,'SVF::PTAStat::pta()'],['../classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff',1,'SVF::MRGenerator::pta()'],['../classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3',1,'SVF::MemSSA::pta()'],['../classSVF_1_1PCG.html#adb917fc3adc3b0c3aedd57e9c77eae05',1,'SVF::PCG::pta()'],['../classSVF_1_1TCT.html#a980de0593e41d18d2716aa5120d35d04',1,'SVF::TCT::pta()'],['../classSVF_1_1TypeBasedHeapCloning.html#a7d3f7d27c9491b099a623ba03b1c4732',1,'SVF::TypeBasedHeapCloning::pta()'],['../classSVF_1_1AndersenStat.html#a8af8dd60987c4c99ea3727d9db87c187',1,'SVF::AndersenStat::pta()']]],
-  ['ptacallgraph',['PTACallGraph',['../classSVF_1_1PTACallGraph.html',1,'SVF::PTACallGraph'],['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()'],['../classSVF_1_1PTACallGraph.html#a612b05f1c37dc50a888b773b9bbe093f',1,'SVF::PTACallGraph::PTACallGraph()']]],
+  ['ptacallgraph',['PTACallGraph',['../classSVF_1_1PTACallGraph.html',1,'SVF::PTACallGraph'],['../classSVF_1_1PTACallGraph.html#a612b05f1c37dc50a888b773b9bbe093f',1,'SVF::PTACallGraph::PTACallGraph()'],['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()']]],
   ['ptacallgraph_2ecpp',['PTACallGraph.cpp',['../PTACallGraph_8cpp.html',1,'']]],
   ['ptacallgraph_2eh',['PTACallGraph.h',['../PTACallGraph_8h.html',1,'']]],
   ['ptacallgraphedge',['PTACallGraphEdge',['../classSVF_1_1PTACallGraphEdge.html',1,'SVF::PTACallGraphEdge'],['../classSVF_1_1PTACallGraphEdge.html#aa34123e6c62c3f152b579510c09984e6',1,'SVF::PTACallGraphEdge::PTACallGraphEdge()']]],

package/SVF-doxygen/html/html/search/all_12.js

@@ -26,7 +26,7 @@ var searchData=
   ['readprecisiontdedge',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b',1,'SVF::Options']]],
   ['realign',['realign',['../structDdManager.html#ab50e58f446cce13dd36cf63230e2d836',1,'DdManager']]],
   ['realignz',['realignZ',['../structDdManager.html#aeb6927b50fc978391e3eda5161df8c5c',1,'DdManager']]],
-  ['realloc',['realloc',['../util_8h.html#af6ef63a39a975856bc39bf0f3d13b292',1,'realloc(): util.h'],['../util_8h.html#ac3d02b1026db1997f09067d47aed16a8',1,'REALLOC(): util.h']]],
+  ['realloc',['REALLOC',['../util_8h.html#ac3d02b1026db1997f09067d47aed16a8',1,'REALLOC(): util.h'],['../util_8h.html#af6ef63a39a975856bc39bf0f3d13b292',1,'realloc(): util.h']]],
   ['reanalyze',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
   ['reclaimed',['reclaimed',['../structDdManager.html#a4ab47b179b205207c8e738f4b6ed1ebd',1,'DdManager']]],
   ['recomb',['recomb',['../structDdManager.html#a38b89daefdc8aab944fbc2ff2aece2f4',1,'DdManager']]],
@@ -69,11 +69,11 @@ var searchData=
   ['releasesvfg',['releaseSVFG',['../classSVF_1_1SVFGBuilder.html#a9767f95253f02901da757076e3010b37',1,'SVF::SVFGBuilder']]],
   ['releasesymbolinfo',['releaseSymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a9f8d99c761f3c7108d797b3702fcbfec',1,'SVF::SymbolTableInfo']]],
   ['releasevfswpa',['releaseVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#a754c77fff88e8f415dc7a2096d1bffe2',1,'SVF::VersionedFlowSensitive']]],
-  ['reliancetime',['relianceTime',['../classSVF_1_1VersionedFlowSensitive.html#a80535bb813f8bf240a0b54ac6ad4b257',1,'SVF::VersionedFlowSensitive']]],
   ['remapallpts',['remapAllPts',['../classSVF_1_1PTData.html#af2f176027169e18730848c7a583aed93',1,'SVF::PTData::remapAllPts()'],['../classSVF_1_1MutablePTData.html#a3b4cd5b4f8704a5b0049923d22ce7665',1,'SVF::MutablePTData::remapAllPts()'],['../classSVF_1_1MutableDiffPTData.html#a80142c1961d5e71c8f0dbadbb3c82184',1,'SVF::MutableDiffPTData::remapAllPts()'],['../classSVF_1_1MutableDFPTData.html#ad34e442581dfe57ce7f1add25c8414b2',1,'SVF::MutableDFPTData::remapAllPts()'],['../classSVF_1_1MutableVersionedPTData.html#a72cbf33b77f5a19221ad265691065695',1,'SVF::MutableVersionedPTData::remapAllPts()'],['../classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745',1,'SVF::PersistentPointsToCache::remapAllPts()'],['../classSVF_1_1PersistentPTData.html#af8084d77fb666933fd0efe0df983074d',1,'SVF::PersistentPTData::remapAllPts()'],['../classSVF_1_1PersistentDiffPTData.html#add8c649853678b6c7acfa4217f1b7ee0',1,'SVF::PersistentDiffPTData::remapAllPts()'],['../classSVF_1_1PersistentDFPTData.html#aac817d88beae87fcc961a2df7904e61c',1,'SVF::PersistentDFPTData::remapAllPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a0b4feff5bc406088216d9e45941fe3ef',1,'SVF::PersistentVersionedPTData::remapAllPts()']]],
   ['remappointstosets',['remapPointsToSets',['../classSVF_1_1BVDataPTAImpl.html#a7a87ca1a439e871896f92e4342befa2c',1,'SVF::BVDataPTAImpl']]],
   ['removeaddredge',['removeAddrEdge',['../classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee',1,'SVF::ConstraintGraph']]],
   ['removealledges',['removeAllEdges',['../classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40',1,'SVF::SVFGOPT']]],
+  ['removeallindirectsvfgedges',['removeAllIndirectSVFGEdges',['../classSVF_1_1VersionedFlowSensitive.html#a275095f60640d862034ad173af3371c3',1,'SVF::VersionedFlowSensitive']]],
   ['removecandidates',['removeCandidates',['../classSVF_1_1WPAMinimumSolver.html#aa6d8de95ddf703fdac33ef1216ce4aff',1,'SVF::WPAMinimumSolver']]],
   ['removeconstraintnode',['removeConstraintNode',['../classSVF_1_1ConstraintGraph.html#a9e21bc9b86080b4059f0907e9a7b33f3',1,'SVF::ConstraintGraph']]],
   ['removecxtstmttospan',['removeCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a0b21446e6d5dfc1b5d0ebd75895225dd',1,'SVF::LockAnalysis']]],
@@ -141,7 +141,7 @@ var searchData=
   ['resulttype',['ResultType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >']]],
   ['resumeinst',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
   ['resver',['resVer',['../classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a',1,'SVF::IntraMSSAPHISVFGNode::resVer()'],['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF::resVer()']]],
-  ['ret',['ret',['../classSVF_1_1CallBlockNode.html#a3d0f509f08dd017efecc949f0a98e1af',1,'SVF::CallBlockNode::ret()'],['../classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a99fe431c7a635d39b5558d1048a94c05',1,'SVF::PAGEdge::Ret()']]],
+  ['ret',['Ret',['../classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a99fe431c7a635d39b5558d1048a94c05',1,'SVF::PAGEdge::Ret()'],['../classSVF_1_1CallBlockNode.html#a3d0f509f08dd017efecc949f0a98e1af',1,'SVF::CallBlockNode::ret()']]],
   ['ret_5ftype',['ret_type',['../structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04',1,'SVF::SVFUtil::cast_retty_impl::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7',1,'SVF::SVFUtil::cast_retty_impl< To, const From >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333',1,'SVF::SVFUtil::cast_retty_impl< To, From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7',1,'SVF::SVFUtil::cast_retty_impl< To, const From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c',1,'SVF::SVFUtil::cast_retty_impl< To, const From *const >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e',1,'SVF::SVFUtil::cast_retty_wrap::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a',1,'SVF::SVFUtil::cast_retty_wrap< To, FromTy, FromTy >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b',1,'SVF::SVFUtil::cast_retty::ret_type()']]],
   ['retargetdstofedge',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
   ['retargetedgesofainfout',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
@@ -171,7 +171,7 @@ var searchData=
   ['returnsymmap',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
   ['rev',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
   ['reversenodemapping',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
-  ['revptsmap',['revPtsMap',['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()'],['../classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1',1,'SVF::MutablePTData::RevPtsMap()'],['../classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8',1,'SVF::PersistentPTData::RevPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305',1,'SVF::PersistentDiffPTData::RevPtsMap()']]],
+  ['revptsmap',['RevPtsMap',['../classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1',1,'SVF::MutablePTData::RevPtsMap()'],['../classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8',1,'SVF::PersistentPTData::RevPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305',1,'SVF::PersistentDiffPTData::RevPtsMap()'],['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()']]],
   ['rfinept',['RFINEPT',['../dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389',1,'dda.cpp']]],
   ['rid',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
   ['rlimit_5fdata_5fdefault',['RLIMIT_DATA_DEFAULT',['../util_8c.html#a078d50c5bc23076e0d2af8d96156aeae',1,'util.c']]],