svf-tools 1.0.306 → 1.0.310

package/SVF-doxygen/html/html/functions_t.html

@@ -196,18 +196,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
 </li>
-<li>tdAPIMap
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
-</li>
 <li>TDAPIMap
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2">SVF::ThreadAPI</a>
 </li>
+<li>tdAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -601,13 +601,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d">SVF::ObjTypeInfo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
 </li>
 <li>Type
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
 </li>
 <li>type
-: <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
-, <a class="el" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">SVF::PTAType</a>
+: <a class="el" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">SVF::PTAType</a>
 </li>
 <li>TypeAnalysis()
 : <a class="el" href="classSVF_1_1TypeAnalysis.html#a994a2914820f7c31b12cc48b180e6e49">SVF::TypeAnalysis</a>

package/SVF-doxygen/html/html/functions_u.html

@@ -64,12 +64,12 @@ $(function() {
 <li>ub
 : <a class="el" href="structDdGen.html#ae51bc3e1c4430dd5b62f280e0e964512">DdGen</a>
 </li>
-<li>unaryNodeMap
-: <a class="el" href="classSVF_1_1PAG.html#a5c450f3a87983c66a477081acd97a49f">SVF::PAG</a>
-</li>
 <li>UnaryNodeMap
 : <a class="el" href="classSVF_1_1PAG.html#a471804c7fbdfacd90915c3a9cec7fccd">SVF::PAG</a>
 </li>
+<li>unaryNodeMap
+: <a class="el" href="classSVF_1_1PAG.html#a5c450f3a87983c66a477081acd97a49f">SVF::PAG</a>
+</li>
 <li>UnaryOp
 : <a class="el" href="classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6afad5f112c36b6e35baf38054c14ae597">SVF::PAGEdge</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">SVF::VFGNode</a>

package/SVF-doxygen/html/html/functions_v.html

@@ -132,12 +132,12 @@ $(function() {
 <li>valueNodes
 : <a class="el" href="classSVF_1_1ExternalPAG.html#a4776a673e53d7b0bdd17f29a608a5620">SVF::ExternalPAG</a>
 </li>
-<li>valueToEdgeMap
-: <a class="el" href="classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766">SVF::PAG</a>
-</li>
 <li>ValueToEdgeMap
 : <a class="el" href="classSVF_1_1PAG.html#a9849898bac3644021638380b60f96891">SVF::PAG</a>
 </li>
+<li>valueToEdgeMap
+: <a class="el" href="classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766">SVF::PAG</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e">SVF::SymbolTableInfo</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_p.html

@@ -203,6 +203,15 @@ $(function() {
 <li>PredictPtOcc
 : <a class="el" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">SVF::Options</a>
 </li>
+<li>preemptiveComplements
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+</li>
+<li>preemptiveIntersections
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+</li>
+<li>preemptiveUnions
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a98dad4f4d39904d90564f1a2279ac664">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+</li>
 <li>preGCHook
 : <a class="el" href="structDdManager.html#a6e7664b46763e45c7388778e6e786a0e">DdManager</a>
 </li>

package/SVF-doxygen/html/html/globals_func_i.html

@@ -71,26 +71,26 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a16251e8ba5d258ae683665b47d2112e9">cuddInt.c</a>
 </li>
 <li>InputFilename()
-: <a class="el" href="dda_8cpp.html#a17d2e24d913aaa7484a3e226255019b7">dda.cpp</a>
-, <a class="el" href="svf-ex_8cpp.html#a2d332c504284f0bc181289ee67479845">svf-ex.cpp</a>
+: <a class="el" href="svf-ex_8cpp.html#a2d332c504284f0bc181289ee67479845">svf-ex.cpp</a>
 , <a class="el" href="mta_8cpp.html#a2d332c504284f0bc181289ee67479845">mta.cpp</a>
 , <a class="el" href="saber_8cpp.html#a2d332c504284f0bc181289ee67479845">saber.cpp</a>
 , <a class="el" href="wpa_8cpp.html#a2d332c504284f0bc181289ee67479845">wpa.cpp</a>
+, <a class="el" href="dda_8cpp.html#a17d2e24d913aaa7484a3e226255019b7">dda.cpp</a>
 </li>
 <li>isAliasTestFunction()
 : <a class="el" href="TypeBasedHeapCloning_8cpp.html#a2be9728908f88e4e16b1e6218801fa06">TypeBasedHeapCloning.cpp</a>
 </li>
 <li>IsInfDouble()
-: <a class="el" href="epd_8c.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.c</a>
-, <a class="el" href="epd_8h.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.h</a>
+: <a class="el" href="epd_8h.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.h</a>
+, <a class="el" href="epd_8c.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.c</a>
 </li>
 <li>IsNanDouble()
-: <a class="el" href="epd_8h.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.h</a>
-, <a class="el" href="epd_8c.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.c</a>
+: <a class="el" href="epd_8c.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.c</a>
+, <a class="el" href="epd_8h.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.h</a>
 </li>
 <li>IsNanOrInfDouble()
-: <a class="el" href="epd_8c.html#aaf0d5247a708131ca7664c74e43d87c9">epd.c</a>
-, <a class="el" href="epd_8h.html#aaf0d5247a708131ca7664c74e43d87c9">epd.h</a>
+: <a class="el" href="epd_8h.html#aaf0d5247a708131ca7664c74e43d87c9">epd.h</a>
+, <a class="el" href="epd_8c.html#aaf0d5247a708131ca7664c74e43d87c9">epd.c</a>
 </li>
 <li>isOperOverload()
 : <a class="el" href="CPPUtil_8cpp.html#aaf7dd7cff6ac20b3702113606aafa175">CPPUtil.cpp</a>

package/SVF-doxygen/html/html/globals_func_s.html

@@ -75,8 +75,8 @@ $(function() {
 , <a class="el" href="st_8c.html#a18fa2f1785eb7a89b8cf437499521f73">st.c</a>
 </li>
 <li>st_delete()
-: <a class="el" href="st_8h.html#aeac35fa92942958472a69117777ec90d">st.h</a>
-, <a class="el" href="st_8c.html#a2d8405879414ed73f3ff6a935f3fc269">st.c</a>
+: <a class="el" href="st_8c.html#a2d8405879414ed73f3ff6a935f3fc269">st.c</a>
+, <a class="el" href="st_8h.html#aeac35fa92942958472a69117777ec90d">st.h</a>
 </li>
 <li>st_foreach()
 : <a class="el" href="st_8h.html#a5341675ff925b7a670ab4705735ceb38">st.h</a>
@@ -91,8 +91,8 @@ $(function() {
 , <a class="el" href="st_8c.html#a93394fd99c5fa4fbcce2be9717abee45">st.c</a>
 </li>
 <li>st_gen()
-: <a class="el" href="st_8h.html#aee509dc4913f3a3a18dbcd8417856ef1">st.h</a>
-, <a class="el" href="st_8c.html#a5864dab6ffcbd5d7a8891b394b76a59c">st.c</a>
+: <a class="el" href="st_8c.html#a5864dab6ffcbd5d7a8891b394b76a59c">st.c</a>
+, <a class="el" href="st_8h.html#aee509dc4913f3a3a18dbcd8417856ef1">st.h</a>
 </li>
 <li>st_gen_int()
 : <a class="el" href="st_8h.html#a2aa2db047a033b23dcd8d0b273b5e83a">st.h</a>
@@ -123,8 +123,8 @@ $(function() {
 , <a class="el" href="st_8c.html#a958c280b8f24c847ca511eaffd410f04">st.c</a>
 </li>
 <li>st_numcmp()
-: <a class="el" href="st_8h.html#a65b35768bcf5b6f173b063b441a493db">st.h</a>
-, <a class="el" href="st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe">st.c</a>
+: <a class="el" href="st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe">st.c</a>
+, <a class="el" href="st_8h.html#a65b35768bcf5b6f173b063b441a493db">st.h</a>
 </li>
 <li>st_numhash()
 : <a class="el" href="st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e">st.h</a>

package/SVF-doxygen/html/html/globals_s.html

@@ -77,8 +77,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a5d9b489d701c5a7f19ee5f135e80e7ca">cuddInt.c</a>
 </li>
 <li>SIZEOF_INT
-: <a class="el" href="mtr_8h.html#a44184cf844a916eee78598ab35fc966b">mtr.h</a>
-, <a class="el" href="util_8h.html#a44184cf844a916eee78598ab35fc966b">util.h</a>
+: <a class="el" href="util_8h.html#a44184cf844a916eee78598ab35fc966b">util.h</a>
+, <a class="el" href="mtr_8h.html#a44184cf844a916eee78598ab35fc966b">mtr.h</a>
 </li>
 <li>SIZEOF_LONG
 : <a class="el" href="cudd_8h.html#a22aece5d034fd9040a3d01c3797fdfe7">cudd.h</a>
@@ -136,8 +136,8 @@ $(function() {
 , <a class="el" href="st_8c.html#a93394fd99c5fa4fbcce2be9717abee45">st.c</a>
 </li>
 <li>st_gen()
-: <a class="el" href="st_8c.html#a5864dab6ffcbd5d7a8891b394b76a59c">st.c</a>
-, <a class="el" href="st_8h.html#aee509dc4913f3a3a18dbcd8417856ef1">st.h</a>
+: <a class="el" href="st_8h.html#aee509dc4913f3a3a18dbcd8417856ef1">st.h</a>
+, <a class="el" href="st_8c.html#a5864dab6ffcbd5d7a8891b394b76a59c">st.c</a>
 </li>
 <li>st_gen_int()
 : <a class="el" href="st_8h.html#a2aa2db047a033b23dcd8d0b273b5e83a">st.h</a>
@@ -180,13 +180,13 @@ $(function() {
 <li>ST_NUMCMP
 : <a class="el" href="st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5">st.c</a>
 </li>
+<li>ST_NUMHASH
+: <a class="el" href="st_8c.html#a76573cced143d429f99bfb5e286c621e">st.c</a>
+</li>
 <li>st_numhash()
 : <a class="el" href="st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e">st.h</a>
 , <a class="el" href="st_8c.html#aede320ef4713f295a335b4da6e1d8358">st.c</a>
 </li>
-<li>ST_NUMHASH
-: <a class="el" href="st_8c.html#a76573cced143d429f99bfb5e286c621e">st.c</a>
-</li>
 <li>ST_OUT_OF_MEM
 : <a class="el" href="st_8h.html#a1276d6ae80c20ae2ec082db7c502ef75">st.h</a>
 </li>
@@ -205,13 +205,11 @@ $(function() {
 </li>
 <li>st_ptrhash()
 : <a class="el" href="st_8c.html#ada6e90b4df1ca291977c89a6d4fdea06">st.c</a>
+, <a class="el" href="st_8h.html#a144fc385b211526daab6da9ad5a854cc">st.h</a>
 </li>
 <li>ST_PTRHASH
 : <a class="el" href="st_8c.html#a524a1efaf5df2432aa5bf96e35546164">st.c</a>
 </li>
-<li>st_ptrhash()
-: <a class="el" href="st_8h.html#a144fc385b211526daab6da9ad5a854cc">st.h</a>
-</li>
 <li>st_retval
 : <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1f">st.h</a>
 </li>
@@ -237,7 +235,7 @@ $(function() {
 : <a class="el" href="dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">dda.cpp</a>
 </li>
 <li>STATISTIC()
-: <a class="el" href="BreakConstantExpr_8cpp.html#a53fcf89c33901a1e4bf09351eb612a6a">BreakConstantExpr.cpp</a>
+: <a class="el" href="BreakConstantExpr_8cpp.html#a908d11ca6b0a342e6ddcdcced200cab3">BreakConstantExpr.cpp</a>
 </li>
 <li>statLine
 : <a class="el" href="cuddInt_8h.html#a94289b59164b0be08fdb041e6f847fd4">cuddInt.h</a>
@@ -248,12 +246,12 @@ $(function() {
 <li>stopping_criterion()
 : <a class="el" href="cuddInt_8c.html#a5f2b499b6706d3e880ad375ab7eacd03">cuddInt.c</a>
 </li>
-<li>storedd
-: <a class="el" href="cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07">cuddInt.c</a>
-</li>
 <li>STOREDD
 : <a class="el" href="cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5">cuddInt.c</a>
 </li>
+<li>storedd
+: <a class="el" href="cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07">cuddInt.c</a>
+</li>
 <li>strcat()
 : <a class="el" href="util_8h.html#ae726f8c6b65e180aacfb570a35dc8375">util.h</a>
 </li>

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

@@ -1044,7 +1044,7 @@ Typedefs</h2></td></tr>
 <tr class="memitem:a8234d4b959abc9123993bcff4eee34c1"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a> = std::unordered_map&lt; Key, <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>, <a class="el" href="structSVF_1_1Hash.html">Hash</a>, KeyEqual, Allocator &gt;</td></tr>
 <tr class="separator:a8234d4b959abc9123993bcff4eee34c1"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a4f21e91ff8eaea5207afe5c60dbd78d7"><td class="memTemplParams" colspan="2">template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Allocator  = std::allocator&lt;Key&gt;&gt; </td></tr>
-<tr class="memitem:a4f21e91ff8eaea5207afe5c60dbd78d7"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a> = <a class="el" href="lib_2CUDD_2CMakeLists_8txt.html#a97d8d30dc013aa2acba4c146fdcb1acf">std::set</a>&lt; Key, Compare, Allocator &gt;</td></tr>
+<tr class="memitem:a4f21e91ff8eaea5207afe5c60dbd78d7"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a> = <a class="el" href="tools_2WPA_2CMakeLists_8txt.html#ae7f9c126d87731a942268db0cad0ac75">std::set</a>&lt; Key, Compare, Allocator &gt;</td></tr>
 <tr class="separator:a4f21e91ff8eaea5207afe5c60dbd78d7"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aedf0d6718ca176e0b9e17ab4b30729c6"><td class="memTemplParams" colspan="2">template&lt;typename Key , typename Value , typename Compare  = std::less&lt;Key&gt;, typename Allocator  = std::allocator&lt;std::pair&lt;const Key, Value&gt;&gt;&gt; </td></tr>
 <tr class="memitem:aedf0d6718ca176e0b9e17ab4b30729c6"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a> = std::map&lt; Key, <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>, Compare, Allocator &gt;</td></tr>
@@ -3488,7 +3488,7 @@ template&lt;typename Key , typename Value , typename Compare  = std::less&lt;Key
 template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Allocator  = std::allocator&lt;Key&gt;&gt; </div>
       <table class="memname">
         <tr>
-          <td class="memname">using <a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a> = typedef <a class="el" href="lib_2CUDD_2CMakeLists_8txt.html#a97d8d30dc013aa2acba4c146fdcb1acf">std::set</a>&lt;Key, Compare, Allocator&gt;</td>
+          <td class="memname">using <a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a> = typedef <a class="el" href="tools_2WPA_2CMakeLists_8txt.html#ae7f9c126d87731a942268db0cad0ac75">std::set</a>&lt;Key, Compare, Allocator&gt;</td>
         </tr>
       </table>
 </div><div class="memdoc">

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

@@ -2389,11 +2389,12 @@ template&lt;class X , class Y &gt; </div>
 <p>Returns a string representation of a hclust method. </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFUtil_8cpp_source.html#l00365">365</a> of file <a class="el" href="SVFUtil_8cpp_source.html">SVFUtil.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;{</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;    <span class="keywordflow">switch</span> (method)</div><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;    {</div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024">HCLUST_METHOD_SINGLE</a>:</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;single&quot;</span>;</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4">HCLUST_METHOD_COMPLETE</a>:</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;complete&quot;</span>;</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115">HCLUST_METHOD_AVERAGE</a>:</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;average&quot;</span>;</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474">HCLUST_METHOD_MEDIAN</a>:</div><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;median&quot;</span>;</div><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618">HCLUST_METHOD_SVF_BEST</a>:</div><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;svf-best&quot;</span>;</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;    <span class="keywordflow">default</span>:</div><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;SVFUtil::hclustMethodToString: unknown method&quot;</span>);</div><div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;    }</div><div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;}</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>
+<div class="fragment"><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;{</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;    <span class="keywordflow">switch</span> (method)</div><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;    {</div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024">HCLUST_METHOD_SINGLE</a>:</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;single&quot;</span>;</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4">HCLUST_METHOD_COMPLETE</a>:</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;complete&quot;</span>;</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115">HCLUST_METHOD_AVERAGE</a>:</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;average&quot;</span>;</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474">HCLUST_METHOD_MEDIAN</a>:</div><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;median&quot;</span>;</div><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618">HCLUST_METHOD_SVF_BEST</a>:</div><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;svf-best&quot;</span>;</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;    <span class="keywordflow">default</span>:</div><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;SVFUtil::hclustMethodToString: unknown method&quot;</span>);</div><div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;        <a class="code" href="util_8h.html#a23c00958edf66c39625a0d535dee57b7">abort</a>();</div><div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;    }</div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;}</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>
 <div class="ttc" id="fastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4">HCLUST_METHOD_COMPLETE</a></div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00069">fastcluster.h:69</a></div></div>
 <div class="ttc" id="fastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474">HCLUST_METHOD_MEDIAN</a></div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00073">fastcluster.h:73</a></div></div>
 <div class="ttc" id="fastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618">HCLUST_METHOD_SVF_BEST</a></div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00075">fastcluster.h:75</a></div></div>
 <div class="ttc" id="fastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024">HCLUST_METHOD_SINGLE</a></div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00067">fastcluster.h:67</a></div></div>
+<div class="ttc" id="util_8h_html_a23c00958edf66c39625a0d535dee57b7"><div class="ttname"><a href="util_8h.html#a23c00958edf66c39625a0d535dee57b7">abort</a></div><div class="ttdeci">VOID_OR_INT abort()</div></div>
 <div class="ttc" id="fastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115">HCLUST_METHOD_AVERAGE</a></div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00071">fastcluster.h:71</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -4696,8 +4697,8 @@ template&lt;typename Key , typename KeySet &gt; </div>
 </div><div class="memdoc">
 <p>Starts an analysis timer. If timeLimit is 0, sets no timer. If an alarm has already been set, does not set another. Returns whether we set a timer or not. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8cpp_source.html#l00422">422</a> of file <a class="el" href="SVFUtil_8cpp_source.html">SVFUtil.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;{</div><div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;    <span class="keywordflow">if</span> (timeLimit == 0) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;</div><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;    <span class="comment">// If an alarm is already set, don&#39;t set another. That means this analysis</span></div><div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;    <span class="comment">// is part of another which has a time limit.</span></div><div class="line"><a name="l00428"></a><span class="lineno">  428</span>&#160;    <span class="keywordtype">unsigned</span> remainingSeconds = alarm(0);</div><div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;    <span class="keywordflow">if</span> (remainingSeconds != 0)</div><div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;    {</div><div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;        <span class="comment">// Continue the previous alarm and move on.</span></div><div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;        alarm(remainingSeconds);</div><div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;    }</div><div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;</div><div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;    signal(SIGALRM, &amp;<a class="code" href="namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9">timeLimitReached</a>);</div><div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;    alarm(timeLimit);</div><div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;}</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_add4cd21115988f9f5eec12e268ddf1d9"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9">SVF::SVFUtil::timeLimitReached</a></div><div class="ttdeci">void timeLimitReached(int signum)</div><div class="ttdoc">Function to call when alarm for time limit hits. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00412">SVFUtil.cpp:412</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8cpp_source.html#l00423">423</a> of file <a class="el" href="SVFUtil_8cpp_source.html">SVFUtil.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;{</div><div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;    <span class="keywordflow">if</span> (timeLimit == 0) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;</div><div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;    <span class="comment">// If an alarm is already set, don&#39;t set another. That means this analysis</span></div><div class="line"><a name="l00428"></a><span class="lineno">  428</span>&#160;    <span class="comment">// is part of another which has a time limit.</span></div><div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;    <span class="keywordtype">unsigned</span> remainingSeconds = alarm(0);</div><div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;    <span class="keywordflow">if</span> (remainingSeconds != 0)</div><div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;    {</div><div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;        <span class="comment">// Continue the previous alarm and move on.</span></div><div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;        alarm(remainingSeconds);</div><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;    }</div><div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;</div><div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;    signal(SIGALRM, &amp;<a class="code" href="namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9">timeLimitReached</a>);</div><div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;    alarm(timeLimit);</div><div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;}</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_add4cd21115988f9f5eec12e268ddf1d9"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9">SVF::SVFUtil::timeLimitReached</a></div><div class="ttdeci">void timeLimitReached(int signum)</div><div class="ttdoc">Function to call when alarm for time limit hits. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00413">SVFUtil.cpp:413</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -4718,8 +4719,8 @@ template&lt;typename Key , typename KeySet &gt; </div>
 </div><div class="memdoc">
 <p>Stops an analysis timer. limitTimerSet indicates whether the caller set the timer or not (return value of startLimitTimer). </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8cpp_source.html#l00443">443</a> of file <a class="el" href="SVFUtil_8cpp_source.html">SVFUtil.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00444"></a><span class="lineno">  444</span>&#160;{</div><div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;    <span class="keywordflow">if</span> (limitTimerSet) alarm(0);</div><div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;}</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8cpp_source.html#l00444">444</a> of file <a class="el" href="SVFUtil_8cpp_source.html">SVFUtil.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;{</div><div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;    <span class="keywordflow">if</span> (limitTimerSet) alarm(0);</div><div class="line"><a name="l00447"></a><span class="lineno">  447</span>&#160;}</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a862eaa4f3d172bc7ffa56406f2d5af92"></a>
@@ -4816,8 +4817,8 @@ template&lt;typename Key , typename KeySet &gt; </div>
 
 <p>Function to call when alarm for time limit hits. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8cpp_source.html#l00412">412</a> of file <a class="el" href="SVFUtil_8cpp_source.html">SVFUtil.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;{</div><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;    std::cout.flush();</div><div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>().flush();</div><div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;    <span class="comment">// TODO: output does not indicate which time limit is reached.</span></div><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;    <span class="comment">//       This can be better in the future.</span></div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;WPA: time limit reached\n&quot;</span>;</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;    <a class="code" href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a>(101);</div><div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;}</div><div class="ttc" id="util_8h_html_a43b6ea6be735bb828bc062c70cadeff8"><div class="ttname"><a href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a></div><div class="ttdeci">VOID_OR_INT exit()</div></div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8cpp_source.html#l00413">413</a> of file <a class="el" href="SVFUtil_8cpp_source.html">SVFUtil.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;{</div><div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;    std::cout.flush();</div><div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>().flush();</div><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;    <span class="comment">// TODO: output does not indicate which time limit is reached.</span></div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;    <span class="comment">//       This can be better in the future.</span></div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;WPA: time limit reached\n&quot;</span>;</div><div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;    <a class="code" href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a>(101);</div><div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;}</div><div class="ttc" id="util_8h_html_a43b6ea6be735bb828bc062c70cadeff8"><div class="ttname"><a href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a></div><div class="ttdeci">VOID_OR_INT exit()</div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a85ab6b592fefc45a0674d3295e01638f"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVF::SVFUtil::outs</a></div><div class="ttdeci">raw_ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -4839,8 +4840,8 @@ template&lt;typename Key , typename KeySet &gt; </div>
 </div><div class="memdoc">
 <p>return string of an LLVM Value </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFUtil_8cpp_source.html#l00387">387</a> of file <a class="el" href="SVFUtil_8cpp_source.html">SVFUtil.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;                                                        {</div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;    std::string str;</div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;    <span class="keywordflow">if</span>(value){</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a>* fun = SVFUtil::dyn_cast&lt;Function&gt;(value))</div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; fun-&gt;getName() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; *value &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;        rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a>(value);</div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;    }</div><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;}</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00269">SVFUtil.cpp:269</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFUtil_8cpp_source.html#l00388">388</a> of file <a class="el" href="SVFUtil_8cpp_source.html">SVFUtil.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;                                                        {</div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;    std::string str;</div><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;    <span class="keywordflow">if</span>(value){</div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a>* fun = SVFUtil::dyn_cast&lt;Function&gt;(value))</div><div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; fun-&gt;getName() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; *value &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;        rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a>(value);</div><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;    }</div><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;}</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00269">SVFUtil.cpp:269</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a5faee14fa1dd41447bc73ac365fe33c1"><div class="ttname"><a href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a></div><div class="ttdeci">llvm::Function Function</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
 </div><!-- fragment -->

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['pag',['PAG',['../classSVF_1_1PAG.html',1,'SVF::PAG'],['../classSVF_1_1DDAClient.html#a9b5fe841dca605d3a30fe0e9e77baf08',1,'SVF::DDAClient::pag()'],['../classSVF_1_1ConstraintGraph.html#adcafd4b3c58e882bb4143e3a4fb96688',1,'SVF::ConstraintGraph::pag()'],['../classSVF_1_1PAG.html#a50d0968c6a467ab224ebc73d8beff852',1,'SVF::PAG::pag()'],['../classSVF_1_1VFG.html#ad4f5debd234a444516c3a406c464795c',1,'SVF::VFG::pag()'],['../classSVF_1_1PAGBuilderFromFile.html#a74811707c0bf095450cfb8db234c45b3',1,'SVF::PAGBuilderFromFile::pag()'],['../classSVF_1_1PointerAnalysis.html#a8771956f7595b66d825b3dc459d1ae49',1,'SVF::PointerAnalysis::pag()'],['../classSVF_1_1PAGBuilder.html#ae92e89e096a5f65c0c0421efc778523e',1,'SVF::PAGBuilder::pag()'],['../classSVF_1_1PAG.html#a0a417d229823991031eda0b97148481c',1,'SVF::PAG::PAG()']]],
+  ['pag',['PAG',['../classSVF_1_1PAG.html',1,'SVF::PAG'],['../classSVF_1_1PAG.html#a0a417d229823991031eda0b97148481c',1,'SVF::PAG::PAG()'],['../classSVF_1_1DDAClient.html#a9b5fe841dca605d3a30fe0e9e77baf08',1,'SVF::DDAClient::pag()'],['../classSVF_1_1ConstraintGraph.html#adcafd4b3c58e882bb4143e3a4fb96688',1,'SVF::ConstraintGraph::pag()'],['../classSVF_1_1PAG.html#a50d0968c6a467ab224ebc73d8beff852',1,'SVF::PAG::pag()'],['../classSVF_1_1VFG.html#ad4f5debd234a444516c3a406c464795c',1,'SVF::VFG::pag()'],['../classSVF_1_1PAGBuilderFromFile.html#a74811707c0bf095450cfb8db234c45b3',1,'SVF::PAGBuilderFromFile::pag()'],['../classSVF_1_1PointerAnalysis.html#a8771956f7595b66d825b3dc459d1ae49',1,'SVF::PointerAnalysis::pag()'],['../classSVF_1_1PAGBuilder.html#ae92e89e096a5f65c0c0421efc778523e',1,'SVF::PAGBuilder::pag()']]],
   ['pag_2ecpp',['PAG.cpp',['../PAG_8cpp.html',1,'']]],
   ['pag_2eh',['PAG.h',['../PAG_8h.html',1,'']]],
   ['pagbuilder',['PAGBuilder',['../classSVF_1_1PAGBuilder.html',1,'SVF::PAGBuilder'],['../classSVF_1_1PAGBuilder.html#a7c6b147496561a0efa5e4c27d5e1df8c',1,'SVF::PAGBuilder::PAGBuilder()']]],
@@ -71,7 +71,7 @@ var searchData=
   ['path_5fleak',['PATH_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda',1,'SVF::LeakChecker']]],
   ['pathallocator',['pathAllocator',['../classSVF_1_1ProgSlice.html#adc27c77d68f54030bdbb714139a974e5',1,'SVF::ProgSlice']]],
   ['pathcond',['PathCond',['../classSVF_1_1VFPathCond.html#a69d1ab707592342b8890459697ce7258',1,'SVF::VFPathCond::PathCond()'],['../classSVF_1_1PathStmtDPItem.html#a9092ac46745ceac6c9d9e7e560df6e86',1,'SVF::PathStmtDPItem::PathCond()']]],
-  ['pathcondallocator',['PathCondAllocator',['../classSVF_1_1PathCondAllocator.html',1,'SVF::PathCondAllocator'],['../classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c',1,'SVF::SrcSnkDDA::pathCondAllocator()'],['../classSVF_1_1PathCondAllocator.html#ad7ff43210c36654ae775e0542be79da1',1,'SVF::PathCondAllocator::PathCondAllocator()']]],
+  ['pathcondallocator',['PathCondAllocator',['../classSVF_1_1PathCondAllocator.html',1,'SVF::PathCondAllocator'],['../classSVF_1_1PathCondAllocator.html#ad7ff43210c36654ae775e0542be79da1',1,'SVF::PathCondAllocator::PathCondAllocator()'],['../classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c',1,'SVF::SrcSnkDDA::pathCondAllocator()']]],
   ['pathcondallocator_2ecpp',['PathCondAllocator.cpp',['../PathCondAllocator_8cpp.html',1,'']]],
   ['pathcondallocator_2eh',['PathCondAllocator.h',['../PathCondAllocator_8h.html',1,'']]],
   ['pathdpitem_2eh',['PathDPItem.h',['../PathDPItem_8h.html',1,'']]],
@@ -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#af3158e346a519beca6aebf6c9092efc0',1,'SVF::PAG::phiNodeMap()'],['../classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea',1,'SVF::PAG::PHINodeMap()']]],
+  ['phinodemap',['PHINodeMap',['../classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea',1,'SVF::PAG::PHINodeMap()'],['../classSVF_1_1PAG.html#af3158e346a519beca6aebf6c9092efc0',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']]],
@@ -165,6 +165,9 @@ var searchData=
   ['ppag',['ppag',['../classSVF_1_1TypeBasedHeapCloning.html#a6b1b4570c4f674340cb9f3fcc8f3c4eb',1,'SVF::TypeBasedHeapCloning']]],
   ['precise',['Precise',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394daa6dd95cbf907a36a9ec001af338ec54c',1,'SVF::WPAPass']]],
   ['predictptocc',['PredictPtOcc',['../classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f',1,'SVF::Options']]],
+  ['preemptivecomplements',['preemptiveComplements',['../classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe',1,'SVF::PersistentPointsToCache']]],
+  ['preemptiveintersections',['preemptiveIntersections',['../classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7',1,'SVF::PersistentPointsToCache']]],
+  ['preemptiveunions',['preemptiveUnions',['../classSVF_1_1PersistentPointsToCache.html#a98dad4f4d39904d90564f1a2279ac664',1,'SVF::PersistentPointsToCache']]],
   ['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']]],
@@ -198,7 +201,7 @@ var searchData=
   ['printmodel',['printModel',['../classSVF_1_1CondManager.html#ab9772aa1a35e963ccc9ce1007ebc1310',1,'SVF::CondManager']]],
   ['printpathcond',['printPathCond',['../classSVF_1_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111',1,'SVF::PathCondAllocator::printPathCond()'],['../classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496',1,'SVF::Options::PrintPathCond()']]],
   ['printpts',['printPts',['../svf-ex_8cpp.html#ae004a620ad67220b6dd8212a2ad625a9',1,'svf-ex.cpp']]],
-  ['printquerypts',['printQueryPTS',['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass::printQueryPTS()'],['../classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10',1,'SVF::Options::PrintQueryPts()']]],
+  ['printquerypts',['PrintQueryPts',['../classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10',1,'SVF::Options::PrintQueryPts()'],['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass::printQueryPTS()']]],
   ['printresults',['printResults',['../classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0',1,'SVF::PCG']]],
   ['printstat',['printStat',['../classSVF_1_1DDAStat.html#a845ddc7725f4ebc011789a548a0aa377',1,'SVF::DDAStat::printStat()'],['../classSVF_1_1ICFGStat.html#a2058c584a93cb6c90f165207dbdb01d6',1,'SVF::ICFGStat::printStat()'],['../classSVF_1_1MemSSAStat.html#a6d57200d65d86cf575ede71bd5be7a29',1,'SVF::MemSSAStat::printStat()'],['../classSVF_1_1SVFGStat.html#a67e0f3d1eb1cf8bf6dda57b602d6dac7',1,'SVF::SVFGStat::printStat()'],['../classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183',1,'SVF::PointerAnalysis::printStat()'],['../classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf',1,'SVF::PTAStat::printStat()'],['../classSVF_1_1AndersenBase.html#a566830d0c7a1f5cd967bb8f2ab168f8d',1,'SVF::AndersenBase::printStat()']]],
   ['printstatperquery',['printStatPerQuery',['../classSVF_1_1DDAStat.html#acacabea1b7b875e2f60f931fe0e6f625',1,'SVF::DDAStat::printStatPerQuery()'],['../classSVF_1_1PTAStat.html#a7ce0630cfe41448bec002f03a176175d',1,'SVF::PTAStat::printStatPerQuery()']]],
@@ -263,7 +266,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_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',['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_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()']]],
@@ -271,7 +274,7 @@ var searchData=
   ['ptacfinfo',['ptaCFInfo',['../classSVF_1_1ForkJoinAnalysis.html#a1c616b61fbe9c713f51f2a44c4208cfa',1,'SVF::ForkJoinAnalysis']]],
   ['ptacfinfobuilder',['PTACFInfoBuilder',['../classSVF_1_1PTACFInfoBuilder.html',1,'SVF::PTACFInfoBuilder'],['../classSVF_1_1PTACFInfoBuilder.html#abf1c70ba37181884e7848f6a7c6acf2c',1,'SVF::PTACFInfoBuilder::PTACFInfoBuilder()']]],
   ['ptacgnodeset',['PTACGNodeSet',['../classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237',1,'SVF::TCT']]],
-  ['ptaimplty',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis::ptaImplTy()'],['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis::PTAImplTy()']]],
+  ['ptaimplty',['PTAImplTy',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis::PTAImplTy()'],['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis::ptaImplTy()']]],
   ['ptaname',['PTAName',['../classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606',1,'SVF::ContextDDA::PTAName()'],['../classSVF_1_1FlowDDA.html#ab3edece1bfb076bc01d60829615f2fa9',1,'SVF::FlowDDA::PTAName()'],['../classSVF_1_1PointerAnalysis.html#aed4e5066f6ddef83afaf60adbcc11de0',1,'SVF::PointerAnalysis::PTAName()'],['../classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda',1,'SVF::Andersen::PTAName()'],['../classSVF_1_1FlowSensitive.html#a4f1a0d533381660055210be1e2d7d72a',1,'SVF::FlowSensitive::PTAName()'],['../classSVF_1_1FlowSensitiveTBHC.html#a1eb2f49fd20527b174c2acb8b7d64a41',1,'SVF::FlowSensitiveTBHC::PTAName()'],['../classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720',1,'SVF::VersionedFlowSensitive::PTAName()']]],
   ['ptapagedgekindtosetmap',['PTAPAGEdgeKindToSetMap',['../classSVF_1_1PAG.html#ae297792b6cf9e7782ef4268f48c01748',1,'SVF::PAG']]],
   ['ptascev',['PTASCEV',['../classSVF_1_1PTASCEV.html',1,'SVF::PTASCEV'],['../classSVF_1_1PTASCEV.html#afb1582fa355f2ae93a877f4f5bed56d3',1,'SVF::PTASCEV::PTASCEV()'],['../classSVF_1_1PTASCEV.html#a6a134ca4f7f50de053805e75431aa856',1,'SVF::PTASCEV::PTASCEV(const Value *p, const SCEV *s, ScalarEvolution *SE)'],['../classSVF_1_1PTASCEV.html#a3f4fbad38457025f35e151e54ab96b70',1,'SVF::PTASCEV::PTASCEV(const PTASCEV &ptase)']]],
@@ -281,7 +284,7 @@ var searchData=
   ['ptaty',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis::ptaTy()'],['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()']]],
   ['ptatype',['PTAType',['../classSVF_1_1PTAType.html',1,'SVF::PTAType'],['../classSVF_1_1PTAType.html#a2c4257200d48cad0bda92b4298879827',1,'SVF::PTAType::PTAType()']]],
   ['ptatype_2eh',['PTAType.h',['../PTAType_8h.html',1,'']]],
-  ['ptavector',['PTAVector',['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass::ptaVector()']]],
+  ['ptavector',['ptaVector',['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass::ptaVector()'],['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()']]],
   ['ptbackingtype',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
   ['ptcache',['ptCache',['../classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f',1,'SVF::PersistentPTData::ptCache()'],['../classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2',1,'SVF::PersistentDiffPTData::ptCache()'],['../classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f',1,'SVF::PersistentDFPTData::ptCache()'],['../classSVF_1_1BVDataPTAImpl.html#a94acf249e50ad56f966ddad6843c18f8',1,'SVF::BVDataPTAImpl::ptCache()']]],
   ['ptd',['ptD',['../classSVF_1_1BVDataPTAImpl.html#aee07488c4d53551826439d79b28e2e6d',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],
@@ -297,14 +300,14 @@ var searchData=
   ['ptronlymssa',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
   ['ptronlysvfg',['PTRONLYSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d',1,'SVF::VFG']]],
   ['ptronlysvfg_5fopt',['PTRONLYSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd',1,'SVF::VFG']]],
-  ['ptrtobvptsmap',['ptrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()']]],
+  ['ptrtobvptsmap',['PtrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()']]],
   ['ptrtocptsmap',['ptrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl::ptrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()']]],
   ['ptrtointinst',['PtrToIntInst',['../namespaceSVF.html#a3d5581c375ee3fe856327dc648c379f0',1,'SVF']]],
   ['ptrtonsmap',['PtrToNSMap',['../classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d',1,'SVF::CondPTAImpl']]],
   ['ptruint',['ptruint',['../cuddInt_8h.html#afd9afe0bf7ac5855fcd5eb42ea5fcb18',1,'cuddInt.h']]],
   ['ptsallprint',['PTSAllPrint',['../classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c',1,'SVF::Options']]],
   ['ptsdiff',['PtsDiff',['../classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206',1,'SVF::Options']]],
-  ['ptsmap',['ptsMap',['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()'],['../classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e',1,'SVF::MutablePTData::PtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf',1,'SVF::MutableDiffPTData::PtsMap()'],['../classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205',1,'SVF::MutableDFPTData::PtsMap()'],['../classSVF_1_1FlowSensitive.html#a7bb300f30f4f8cee208229ae10faa291',1,'SVF::FlowSensitive::PtsMap()'],['../classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e',1,'SVF::FlowSensitiveStat::PtsMap()']]],
+  ['ptsmap',['PtsMap',['../classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e',1,'SVF::MutablePTData::PtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf',1,'SVF::MutableDiffPTData::PtsMap()'],['../classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205',1,'SVF::MutableDFPTData::PtsMap()'],['../classSVF_1_1FlowSensitive.html#a7bb300f30f4f8cee208229ae10faa291',1,'SVF::FlowSensitive::PtsMap()'],['../classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e',1,'SVF::FlowSensitiveStat::PtsMap()'],['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()']]],
   ['ptsmapconstiter',['PtsMapConstIter',['../classSVF_1_1MutablePTData.html#ae9c96f369fbe955a841badcf3fcfcc03',1,'SVF::MutablePTData::PtsMapConstIter()'],['../classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24',1,'SVF::MutableDFPTData::PtsMapConstIter()']]],
   ['ptsmapiter',['PtsMapIter',['../classSVF_1_1MutablePTData.html#ad08dbfa28cd0d622322091d6600748ed',1,'SVF::MutablePTData']]],
   ['ptsprint',['PTSPrint',['../classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24',1,'SVF::Options']]],

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

@@ -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#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()']]],
+  ['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()']]],
   ['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']]],