svf-tools 1.0.284 → 1.0.285

package/SVF-doxygen/html/html/namespacemembers_c.html

@@ -91,6 +91,9 @@ $(function() {
 <li>CmpInst
 : <a class="el" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">SVF</a>
 </li>
+<li>cmpNodeBS()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a8f749354b7e882ef3e5bf5081fa715b5">SVF::SVFUtil</a>
+</li>
 <li>cmpPts()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#aa5ce14119a6e3b0b6022753ddd5890f3">SVF::SVFUtil</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_e.html

@@ -70,6 +70,9 @@ $(function() {
 <li>EdgeVector
 : <a class="el" href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">SVF</a>
 </li>
+<li>equalNodeBS
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c2b39ae857d78ed9dda83880e703b0f">SVF::SVFUtil</a>
+</li>
 <li>equalPointsTo
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a68302f07b13f6e1f39aace5699762c41">SVF::SVFUtil</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_func.html

@@ -78,7 +78,7 @@ $(function() {
 : <a class="el" href="namespacellvm.html#acfe99e9d441434240c79f6d76b73fe0a">llvm</a>
 </li>
 <li>bridge_gep_end()
-: <a class="el" href="namespacellvm.html#a7cfc92a12082d69711c97bb3d1b99c48">llvm</a>
+: <a class="el" href="namespacellvm.html#adcacad81533beb6331d1cd4b1bbcf0d8">llvm</a>
 </li>
 <li>bugMsg1()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#af6c66553e2559eebfe4f98c0c7ec4b08">SVF::SVFUtil</a>
@@ -96,6 +96,9 @@ $(function() {
 <li>cast()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a0d100868bf63b968d387eb50e9603f7c">SVF::SVFUtil</a>
 </li>
+<li>cmpNodeBS()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a8f749354b7e882ef3e5bf5081fa715b5">SVF::SVFUtil</a>
+</li>
 <li>cmpPts()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#aa5ce14119a6e3b0b6022753ddd5890f3">SVF::SVFUtil</a>
 </li>
@@ -122,7 +125,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab30a35713852a0a525c52ae5dd463442">SVF::SVFUtil</a>
 </li>
 <li>dyn_cast()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a105c5c5e97d56533fb2b3ba7a0bc59f3">SVF::SVFUtil</a>
 </li>
 </ul>
 
@@ -185,7 +188,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a142e650415cb81011eb59dadd3cb0637">SVF::SVFUtil</a>
 </li>
 <li>getForkedFun()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4cc8c549625712e006079642c656ec83">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ac840e43fa58a90099de99a1953f091ac">SVF::SVFUtil</a>
 </li>
 <li>getFunction()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4f457db1cfa0d4f94762a306c0ac3757">SVF::SVFUtil</a>
@@ -224,7 +227,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6f82e03d880257527bd9cb5978e05604">SVF::SVFUtil</a>
 </li>
 <li>getRefTypeOfHeapAllocOrStatic()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a642f8284fbb260dd81fb29d5fadf6822">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a9232d260dc83d3a25cd98195ba76567a">SVF::SVFUtil</a>
 </li>
 <li>getSourceLoc()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil</a>
@@ -233,7 +236,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a86c1c8bdfc1075c07c631525555194d2">SVF::SVFUtil</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5f3dd36ee492b60039928a86519518a5">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ad3471260b66bdd7e6b790ad2a94fe7ce">SVF::SVFUtil</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab048cbce6e4f5a3d6ff90da3565220ff">SVF::SVFUtil</a>
@@ -321,7 +324,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#aedfa6e9216c6c788c26aef1967689b76">SVF::SVFUtil</a>
 </li>
 <li>isHeapAllocExtCallViaRet()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a24514d87685f2258201f0de15d220bbc">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab2064cb70c76f399ce115f2621adea35">SVF::SVFUtil</a>
 </li>
 <li>isHeapAllocExtFunViaArg()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245">SVF::SVFUtil</a>
@@ -348,7 +351,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1cppUtil.html#a1e99d5cf28e0d6546e0d85b805a7e371">SVF::cppUtil</a>
 </li>
 <li>isLockAquireCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a343dae805a34d102b9c1b96f173468df">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5f3ecd0770991b6e84afe47a3934f0d2">SVF::SVFUtil</a>
 </li>
 <li>isLockReleaseCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1241ef1c19df14f7db0bd62dd68f14f9">SVF::SVFUtil</a>
@@ -378,7 +381,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4dcfe3e66a16813350ec8dffd47c5644">SVF::SVFUtil</a>
 </li>
 <li>isReallocExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a42748153e4845f3eee0ca58a1e151f97">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6740e7686ba111ae525c6c093cbbaf46">SVF::SVFUtil</a>
 </li>
 <li>isReallocExtFun()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">SVF::SVFUtil</a>
@@ -399,10 +402,10 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">SVF::SVFUtil</a>
 </li>
 <li>isThreadExitCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aae025d6727ef34fbeaa7ad48a4dabdcd">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a3af5073a1cdc000678f7e4bbc943f5d5">SVF::SVFUtil</a>
 </li>
 <li>isThreadForkCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a834afc0042c24ed5a1dd00cadc1f00c3">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0">SVF::SVFUtil</a>
 </li>
 <li>isThreadJoinCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a">SVF::SVFUtil</a>
@@ -422,6 +425,13 @@ $(function() {
 </ul>
 
 
+<h3><a id="index_m"></a>- m -</h3><ul>
+<li>mergePtsOccMaps()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2">SVF::SVFUtil</a>
+</li>
+</ul>
+
+
 <h3><a id="index_o"></a>- o -</h3><ul>
 <li>operator&lt;&lt;()
 : <a class="el" href="namespaceSVF.html#ac5a03512613828c2fab8930f38c2d485">SVF</a>
@@ -439,6 +449,9 @@ $(function() {
 <li>processArguments()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVF::SVFUtil</a>
 </li>
+<li>ptsToNodeBS()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a86ebab122895189be57637b84adc7642">SVF::SVFUtil</a>
+</li>
 </ul>
 
 

package/SVF-doxygen/html/html/namespacemembers_m.html

@@ -73,6 +73,9 @@ $(function() {
 <li>MemoryLocation
 : <a class="el" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">SVF</a>
 </li>
+<li>mergePtsOccMaps()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2">SVF::SVFUtil</a>
+</li>
 <li>MetadataAsValue
 : <a class="el" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_p.html

@@ -80,7 +80,7 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF</a>
 </li>
 <li>PointsToList
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4740b14abf7d308e7806a0d6d6c42ee2">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a798b7f30608d8c1688d4fdce2c3097f4">SVF::SVFUtil</a>
 </li>
 <li>PostDominatorTree
 : <a class="el" href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">SVF</a>
@@ -94,6 +94,9 @@ $(function() {
 <li>PtrToIntInst
 : <a class="el" href="namespaceSVF.html#a3d5581c375ee3fe856327dc648c379f0">SVF</a>
 </li>
+<li>ptsToNodeBS()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a86ebab122895189be57637b84adc7642">SVF::SVFUtil</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/namespacemembers_type_e.html

@@ -70,6 +70,9 @@ $(function() {
 <li>EdgeVector
 : <a class="el" href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">SVF</a>
 </li>
+<li>equalNodeBS
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c2b39ae857d78ed9dda83880e703b0f">SVF::SVFUtil</a>
+</li>
 <li>equalPointsTo
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a68302f07b13f6e1f39aace5699762c41">SVF::SVFUtil</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_p.html

@@ -77,7 +77,7 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF</a>
 </li>
 <li>PointsToList
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4740b14abf7d308e7806a0d6d6c42ee2">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a798b7f30608d8c1688d4fdce2c3097f4">SVF::SVFUtil</a>
 </li>
 <li>PostDominatorTree
 : <a class="el" href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">SVF</a>

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

@@ -58,8 +58,8 @@ var searchData=
   ['addcalledge',['addCallEdge',['../classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f',1,'SVF::ICFG::addCallEdge()'],['../classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea',1,'SVF::VFG::addCallEdge()'],['../classSVF_1_1PAGBuilder.html#a7f0bd7bb5f476a59490e09c599a7018d',1,'SVF::PAGBuilder::addCallEdge()']]],
   ['addcallgraphnode',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
   ['addcallicfgnode',['addCallICFGNode',['../classSVF_1_1ICFG.html#ac069357c3f5140fcb0d6163c944638fd',1,'SVF::ICFG']]],
-  ['addcallindirectsvfgedge',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#af5f61cab0e65b58a40a049b66ad0ac2e',1,'SVF::SVFGOPT']]],
-  ['addcallindirectvfedge',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#a1484cd0bf03fc336d678d71d045d44c2',1,'SVF::SVFG']]],
+  ['addcallindirectsvfgedge',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
+  ['addcallindirectvfedge',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
   ['addcallpe',['addCallPE',['../classSVF_1_1PAG.html#aa8bb3b659b70041e82aee15e8a595afb',1,'SVF::PAG::addCallPE()'],['../classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e',1,'SVF::FormalParmVFGNode::addCallPE()']]],
   ['addcallsite',['addCallSite',['../classSVF_1_1PAG.html#a3767933efc81430ecd242879552f8a18',1,'SVF::PAG::addCallSite()'],['../classSVF_1_1PTACallGraph.html#a72efe87a80f84a3945a93431d9414d3d',1,'SVF::PTACallGraph::addCallSite()']]],
   ['addcallsiteargs',['addCallSiteArgs',['../classSVF_1_1PAG.html#aa7cdda6d4397975f27dfa524ce7cfc80',1,'SVF::PAG']]],
@@ -84,10 +84,10 @@ var searchData=
   ['addcopyedge',['addCopyEdge',['../classSVF_1_1PAGBuilder.html#ad9d68206d9d900adc56474a97d84f5aa',1,'SVF::PAGBuilder::addCopyEdge()'],['../classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57',1,'SVF::Andersen::addCopyEdge()'],['../classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba',1,'SVF::AndersenSCD::addCopyEdge()']]],
   ['addcopype',['addCopyPE',['../classSVF_1_1PAG.html#aa50bf9fbf8ff2dff0392bff0319be622',1,'SVF::PAG']]],
   ['addcopyvfgnode',['addCopyVFGNode',['../classSVF_1_1VFG.html#afd664fad8aec173f4ed6c4aa588e5c46',1,'SVF::VFG']]],
-  ['addcptstocallsitemods',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ae2594115874771c93963846f3276e1fb',1,'SVF::MRGenerator']]],
-  ['addcptstocallsiterefs',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a2416e15c41fce38dfa63318a8f64e11f',1,'SVF::MRGenerator']]],
-  ['addcptstoload',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a4d71379ec4350d6fde0c12336c1b92d8',1,'SVF::MRGenerator']]],
-  ['addcptstostore',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#ae439967f24dbb6dbc11287592eb0d30c',1,'SVF::MRGenerator']]],
+  ['addcptstocallsitemods',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#a3c9e58dee18cde9a6e1575e34955af78',1,'SVF::MRGenerator']]],
+  ['addcptstocallsiterefs',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a77cf2b1959581da2b0cdf88291664ff3',1,'SVF::MRGenerator']]],
+  ['addcptstoload',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a4cd3d3af2cfad7b5c086f00ab8e68169',1,'SVF::MRGenerator']]],
+  ['addcptstostore',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#aa9900773ce82da953385df2e6487200e',1,'SVF::MRGenerator']]],
   ['addcxtlock',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a177b10a617c275a9c2c2ed5e9b10d78a',1,'SVF::LockAnalysis']]],
   ['addcxtofcxtthread',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
   ['addcxtstmttospan',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
@@ -171,7 +171,7 @@ var searchData=
   ['addintrablockicfgnode',['addIntraBlockICFGNode',['../classSVF_1_1ICFG.html#a9c9984f07859c7b0a4cc05ef7acf28af',1,'SVF::ICFG']]],
   ['addintradirectvfedge',['addIntraDirectVFEdge',['../classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2',1,'SVF::VFG']]],
   ['addintraedge',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
-  ['addintraindirectvfedge',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#aa6e855dc13d0e2db44982722409a9d1d',1,'SVF::SVFG']]],
+  ['addintraindirectvfedge',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
   ['addintralock',['addIntraLock',['../classSVF_1_1LockAnalysis.html#ab28428444170091d2c65572263b9f40b',1,'SVF::LockAnalysis']]],
   ['addintramssaphisvfgnode',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a0554abe7c072b66ab24a900284646572',1,'SVF::SVFG']]],
   ['addintraphivfgnode',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#a85dc35e83a5699382ead67728e94273c',1,'SVF::VFG']]],
@@ -230,8 +230,8 @@ var searchData=
   ['addressoutedges',['addressOutEdges',['../classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0',1,'SVF::ConstraintNode']]],
   ['addretedge',['addRetEdge',['../classSVF_1_1ICFG.html#a4a44849b596c89ab14d2e5f18366e848',1,'SVF::ICFG::addRetEdge()'],['../classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2',1,'SVF::VFG::addRetEdge()'],['../classSVF_1_1PAGBuilder.html#a0102a8cfcbcb1d3b86cf4eb4aceb45ce',1,'SVF::PAGBuilder::addRetEdge()']]],
   ['addreticfgnode',['addRetICFGNode',['../classSVF_1_1ICFG.html#a45891a968511d4779288a1a0aa089619',1,'SVF::ICFG']]],
-  ['addretindirectsvfgedge',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#abb062ba96797e106a12abc6199e2ad6d',1,'SVF::SVFGOPT']]],
-  ['addretindirectvfedge',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a4578b49f6f59367738c3aa57bdaa61c1',1,'SVF::SVFG']]],
+  ['addretindirectsvfgedge',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
+  ['addretindirectvfedge',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
   ['addretnode',['addRetNode',['../classSVF_1_1PAG.html#a51f03f1d0fdc9ccb0e0f150877e01eb1',1,'SVF::PAG::addRetNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1PAG.html#af520c7fb9b396d8f159f7254b3828f31',1,'SVF::PAG::addRetNode(const SVFFunction *, PAGNode *node, NodeID i)']]],
   ['addretpe',['addRetPE',['../classSVF_1_1PAG.html#a2887310a7757f92063c5598ea694edbb',1,'SVF::PAG::addRetPE()'],['../classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a',1,'SVF::FormalRetVFGNode::addRetPE()']]],
   ['addrevpts',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
@@ -271,7 +271,7 @@ var searchData=
   ['addthreadjoinedge',['addThreadJoinEdge',['../classSVF_1_1PAGBuilder.html#a9d3dc63ec3c4a55168160eb413ee0133',1,'SVF::PAGBuilder']]],
   ['addthreadjoinedgesetmap',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a70a03bcaa6386ef39188acb6b2aa9d5a',1,'SVF::ThreadCallGraph']]],
   ['addthreadjoinpe',['addThreadJoinPE',['../classSVF_1_1PAG.html#a37c31f1829f540fb0a4b57b7de3e7bca',1,'SVF::PAG']]],
-  ['addthreadmhpindirectvfedge',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#ab8b57187140a36077d9a3dd6d0b25858',1,'SVF::SVFG']]],
+  ['addthreadmhpindirectvfedge',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
   ['addtobackwardslice',['addToBackwardSlice',['../classSVF_1_1SVFGStat.html#a54e61121cdfac31e336cd79fa0513419',1,'SVF::SVFGStat::addToBackwardSlice()'],['../classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1',1,'SVF::ProgSlice::addToBackwardSlice()']]],
   ['addtocurbackwardslice',['addToCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799',1,'SVF::SrcSnkDDA']]],
   ['addtocurforwardslice',['addToCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a57262e29e81cf71a40d4feb87b92925f',1,'SVF::SrcSnkDDA']]],

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_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',['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_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()']]],
@@ -11,7 +11,7 @@ var searchData=
   ['pagbuilderfromfile_2eh',['PAGBuilderFromFile.h',['../PAGBuilderFromFile_8h.html',1,'']]],
   ['pagdotgraph',['PAGDotGraph',['../classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0',1,'SVF::Options']]],
   ['pagdotgraphshorter',['PAGDotGraphShorter',['../classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c',1,'SVF::Options']]],
-  ['pagedge',['PAGEdge',['../classSVF_1_1PAGEdge.html',1,'SVF::PAGEdge'],['../classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318',1,'SVF::PAGEdge::PAGEdge()'],['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode::pagEdge()']]],
+  ['pagedge',['PAGEdge',['../classSVF_1_1PAGEdge.html',1,'SVF::PAGEdge'],['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode::pagEdge()'],['../classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318',1,'SVF::PAGEdge::PAGEdge()']]],
   ['pagedge_2eh',['PAGEdge.h',['../PAGEdge_8h.html',1,'']]],
   ['pagedgekindtosetmap',['PAGEdgeKindToSetMap',['../classSVF_1_1PAG.html#a32c107e02c73642ff4afd08b6cf22232',1,'SVF::PAG']]],
   ['pagedgelist',['PAGEdgeList',['../classSVF_1_1ICFGNode.html#a31df97cc8bea7de78c99fcef820e3a96',1,'SVF::ICFGNode::PAGEdgeList()'],['../classSVF_1_1PAG.html#a3b70f1f3b785d735243962e83e210652',1,'SVF::PAG::PAGEdgeList()'],['../classSVF_1_1MRGenerator.html#a1715322c61a3f41f1a093098591869d4',1,'SVF::MRGenerator::PAGEdgeList()'],['../classSVF_1_1MemSSA.html#ac04de5e349ced05d7289b8ee55c86e34',1,'SVF::MemSSA::PAGEdgeList()']]],
@@ -111,7 +111,7 @@ var searchData=
   ['persistentdiffptdata',['PersistentDiffPTData',['../classSVF_1_1PersistentDiffPTData.html',1,'SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1PersistentDiffPTData.html#a18f90b2f4e54b47c4d6f2d50886a4411',1,'SVF::PersistentDiffPTData::PersistentDiffPTData()']]],
   ['persistentincdfptdata',['PersistentIncDFPTData',['../classSVF_1_1PersistentIncDFPTData.html',1,'SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1PersistentIncDFPTData.html#a495fede1f68c53956df3c033ef349940',1,'SVF::PersistentIncDFPTData::PersistentIncDFPTData()']]],
   ['persistentincdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e',['PersistentIncDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#a8386ddd5a45bd490860685ca18543287',1,'SVF::PersistentPTData']]],
-  ['persistentpointstocache',['PersistentPointsToCache',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF::PersistentPointsToCache< Data >'],['../classSVF_1_1PersistentPointsToCache.html#a63b6d7f44773394db09f75042db46f21',1,'SVF::PersistentPointsToCache::PersistentPointsToCache()']]],
+  ['persistentpointstocache',['PersistentPointsToCache',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF::PersistentPointsToCache< Data >'],['../classSVF_1_1PersistentPointsToCache.html#acbfc07bb91fb08658a911abe0a8113c5',1,'SVF::PersistentPointsToCache::PersistentPointsToCache()']]],
   ['persistentpointstocache_2eh',['PersistentPointsToCache.h',['../PersistentPointsToCache_8h.html',1,'']]],
   ['persistentpointstocache_3c_20dataset_20_3e',['PersistentPointsToCache< DataSet >',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF']]],
   ['persistentpointstocache_3c_20pointsto_20_3e',['PersistentPointsToCache< PointsTo >',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF']]],
@@ -141,7 +141,7 @@ var searchData=
   ['pointertype',['PointerType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::PointerType()'],['../namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b',1,'SVF::PointerType()']]],
   ['pointsto',['pointsTo',['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)'],['../namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb',1,'SVF::PointsTo()']]],
   ['pointstoid',['PointsToID',['../namespaceSVF.html#ae545a88267bd2246de827cf590675aca',1,'SVF']]],
-  ['pointstolist',['PointsToList',['../classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054',1,'SVF::MRGenerator::PointsToList()'],['../namespaceSVF_1_1SVFUtil.html#a4740b14abf7d308e7806a0d6d6c42ee2',1,'SVF::SVFUtil::PointsToList()']]],
+  ['pointstolist',['PointsToList',['../classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e',1,'SVF::MRGenerator::PointsToList()'],['../namespaceSVF_1_1SVFUtil.html#a798b7f30608d8c1688d4fdce2c3097f4',1,'SVF::SVFUtil::PointsToList()']]],
   ['pop',['pop',['../classSVF_1_1List.html#a6e85bd3d8b23ccc7752a72e2a5b171ab',1,'SVF::List::pop()'],['../classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6',1,'SVF::FIFOWorkList::pop()'],['../classSVF_1_1FILOWorkList.html#a3fd9acb6d09fd142bfd402fdf8cac93b',1,'SVF::FILOWorkList::pop()']]],
   ['popen',['popen',['../util_8h.html#a7a377e01cff8d8243569ddc8bfef959b',1,'util.h']]],
   ['popfromctpworklist',['popFromCTPWorkList',['../classSVF_1_1LockAnalysis.html#ac3de5acfb887c17ebf1213a1c2c38b58',1,'SVF::LockAnalysis::popFromCTPWorkList()'],['../classSVF_1_1TCT.html#ad84cdb0d192312f96d006f7b9e660da3',1,'SVF::TCT::popFromCTPWorkList()']]],
@@ -188,7 +188,7 @@ var searchData=
   ['printlocks',['printLocks',['../classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a',1,'SVF::LockAnalysis']]],
   ['printlockspan',['PrintLockSpan',['../classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58',1,'SVF::Options']]],
   ['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()']]],
+  ['printpathcond',['PrintPathCond',['../classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496',1,'SVF::Options::PrintPathCond()'],['../classSVF_1_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111',1,'SVF::PathCondAllocator::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()']]],
   ['printresults',['printResults',['../classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0',1,'SVF::PCG']]],
@@ -269,12 +269,12 @@ var searchData=
   ['ptastat',['PTAStat',['../classSVF_1_1PTAStat.html',1,'SVF::PTAStat'],['../classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f',1,'SVF::PTAStat::PTAStat()']]],
   ['ptastat_2ecpp',['PTAStat.cpp',['../PTAStat_8cpp.html',1,'']]],
   ['ptastat_2eh',['PTAStat.h',['../PTAStat_8h.html',1,'']]],
-  ['ptaty',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis::ptaTy()'],['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()']]],
+  ['ptaty',['PTATY',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()'],['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',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()']]],
   ['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#a6c13356f81049d453af61e61aa1b3860',1,'SVF::BVDataPTAImpl::ptCache()']]],
+  ['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()']]],
   ['ptdata',['PTData',['../classSVF_1_1PTData.html',1,'SVF::PTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1PTData.html#a142667d3a394fa6c3f337abba295ebb1',1,'SVF::PTData::PTData()']]],
   ['ptdata_3c_20versionedkey_2c_20versionedkeyset_2c_20data_2c_20dataset_20_3e',['PTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1PTData.html',1,'SVF']]],
@@ -289,13 +289,13 @@ var searchData=
   ['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()']]],
-  ['ptrtocptsmap',['ptrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl::ptrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()']]],
+  ['ptrtocptsmap',['PtrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',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']]],
@@ -303,8 +303,9 @@ var searchData=
   ['ptsto',['ptsTo',['../classSVF_1_1IRAnnotator.html#afd8770eee0c14386c407cae026ce87b5',1,'SVF::IRAnnotator']]],
   ['ptstoid',['ptsToId',['../classSVF_1_1PersistentPointsToCache.html#a6a3b33721ae00efd2fdf2d71f3298e1c',1,'SVF::PersistentPointsToCache']]],
   ['ptstoidmap',['PTSToIDMap',['../classSVF_1_1PersistentPointsToCache.html#a9a1b0d0d215c048c7200da0e8f816943',1,'SVF::PersistentPointsToCache']]],
-  ['ptstorepptssetmap',['PtsToRepPtsSetMap',['../classSVF_1_1MRGenerator.html#a429b45a55b948d6d1ffd73ea0ac6c04c',1,'SVF::MRGenerator']]],
-  ['ptstosubptsmap',['PtsToSubPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a95e5cc07c8e1838f9336c6a2f0aa941a',1,'SVF::IntraDisjointMRG']]],
+  ['ptstonodebs',['ptsToNodeBS',['../namespaceSVF_1_1SVFUtil.html#a86ebab122895189be57637b84adc7642',1,'SVF::SVFUtil']]],
+  ['ptstorepptssetmap',['PtsToRepPtsSetMap',['../classSVF_1_1MRGenerator.html#a665836fd866c6393fc4a251eb4929dae',1,'SVF::MRGenerator']]],
+  ['ptstosubptsmap',['PtsToSubPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1',1,'SVF::IntraDisjointMRG']]],
   ['pure_5fabstract',['PURE_ABSTRACT',['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81',1,'SVF::CHNode::PURE_ABSTRACT()'],['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73',1,'SVF::DCHNode::PURE_ABSTRACT()']]],
   ['purevirtualfunname',['pureVirtualFunName',['../CHG_8cpp.html#a5b49460faf973332d3cbfc561c994c6c',1,'CHG.cpp']]],
   ['push',['push',['../classSVF_1_1List.html#aaec02f979702cf4bd899e41defd53c1a',1,'SVF::List::push()'],['../classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8',1,'SVF::FIFOWorkList::push()'],['../classSVF_1_1FILOWorkList.html#a342e5498a91c6a8796fe0e93064a02c8',1,'SVF::FILOWorkList::push()']]],

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

@@ -147,7 +147,7 @@ var searchData=
   ['retindsvfgedge',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF::RetIndSVFGEdge'],['../classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4',1,'SVF::RetIndSVFGEdge::RetIndSVFGEdge()']]],
   ['retindvf',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
   ['retmssamu',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
-  ['retmu',['RetMU',['../classSVF_1_1RetMU.html',1,'SVF::RetMU< Cond >'],['../classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee',1,'SVF::RetMU::RetMU()'],['../classSVF_1_1SVFG.html#a047573d70182da351b9e3bbf66ca0056',1,'SVF::SVFG::RETMU()'],['../classSVF_1_1MemSSA.html#a953a56a65ee36fd1c78b29179cd3f33a',1,'SVF::MemSSA::RETMU()']]],
+  ['retmu',['RetMU',['../classSVF_1_1RetMU.html',1,'SVF::RetMU< Cond >'],['../classSVF_1_1SVFG.html#a047573d70182da351b9e3bbf66ca0056',1,'SVF::SVFG::RETMU()'],['../classSVF_1_1MemSSA.html#a953a56a65ee36fd1c78b29179cd3f33a',1,'SVF::MemSSA::RETMU()'],['../classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee',1,'SVF::RetMU::RetMU()']]],
   ['retnode',['RetNode',['../classSVF_1_1PAGNode.html#a5cc5327ba68c3f11ed4bef47d89c3dfda02baa6f73696007a1ed47262491bd26b',1,'SVF::PAGNode']]],
   ['retpe',['RetPE',['../classSVF_1_1RetPE.html',1,'SVF::RetPE'],['../classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215',1,'SVF::RetPE::RetPE()'],['../classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0',1,'SVF::RetPE::RetPE(const RetPE &)'],['../classSVF_1_1RetPE.html#a082c2a11ebff3dd9677b859c851d358f',1,'SVF::RetPE::RetPE(PAGNode *s, PAGNode *d, const CallBlockNode *i, GEdgeKind k=PAGEdge::Ret)']]],
   ['retpebegin',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],
@@ -162,7 +162,7 @@ var searchData=
   ['returnnode',['returnNode',['../classSVF_1_1ExternalPAG.html#a72d638670931f9984cea132f38cdce5a',1,'SVF::ExternalPAG']]],
   ['returnsymmap',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
   ['rev',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
-  ['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']]],

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

@@ -180,7 +180,7 @@ var searchData=
   ['solverep',['solveRep',['../classSVF_1_1OfflineConsG.html#aeb069df3700dafcf365f11d697501c8f',1,'SVF::OfflineConsG']]],
   ['solvetime',['solveTime',['../classSVF_1_1FlowSensitive.html#a4202f837e863a48712765cc346d8b514',1,'SVF::FlowSensitive']]],
   ['solveworklist',['solveWorklist',['../classSVF_1_1AndersenWaveDiff.html#a35cd97d5f7c1dcb65dd077f45ad864e9',1,'SVF::AndersenWaveDiff::solveWorklist()'],['../classSVF_1_1AndersenLCD.html#a52399086e540c2adabc03a978155f55d',1,'SVF::AndersenLCD::solveWorklist()'],['../classSVF_1_1AndersenHCD.html#ae3ac936d1ae3e46a9110b8c8ed9f279c',1,'SVF::AndersenHCD::solveWorklist()'],['../classSVF_1_1AndersenHLCD.html#a0ead595bb9e36c89419adb22ef11a283',1,'SVF::AndersenHLCD::solveWorklist()'],['../classSVF_1_1AndersenSCD.html#a98fac4ecfe203666178e2ace39da81e2',1,'SVF::AndersenSCD::solveWorklist()'],['../classSVF_1_1Steensgaard.html#a966faa0548fe76d81a50339fffdd24c8',1,'SVF::Steensgaard::solveWorklist()'],['../classSVF_1_1WPASolver.html#af1bb670efde7006e3e99b3735e4fc4cc',1,'SVF::WPASolver::solveWorklist()']]],
-  ['sortpointsto',['sortPointsTo',['../classSVF_1_1MRGenerator.html#a4d20ddfe5cb90d91fd86276a3f010b87',1,'SVF::MRGenerator']]],
+  ['sortpointsto',['sortPointsTo',['../classSVF_1_1MRGenerator.html#a66d94d15fb94e90a771f6b3dd7c0ecdd',1,'SVF::MRGenerator']]],
   ['sources',['sources',['../classSVF_1_1SVFGStat.html#a18a30f659c3a79d65b4ae7f3316c5f91',1,'SVF::SVFGStat::sources()'],['../classSVF_1_1SrcSnkDDA.html#a96c41d03d2615f952b58dca327a2866c',1,'SVF::SrcSnkDDA::sources()']]],
   ['sourcesbegin',['sourcesBegin',['../classSVF_1_1SrcSnkDDA.html#a0515c9079f28f8c5d4f0f9a2fc39a137',1,'SVF::SrcSnkDDA']]],
   ['sourcesend',['sourcesEnd',['../classSVF_1_1SrcSnkDDA.html#ad0cb9de24cbc99d148f63b694dc3908e',1,'SVF::SrcSnkDDA']]],
@@ -229,7 +229,7 @@ var searchData=
   ['st_5fis_5fmember',['st_is_member',['../st_8h.html#a3e18b4a4f91b4188aa376a15ca372b9c',1,'st.h']]],
   ['st_5flookup',['st_lookup',['../st_8h.html#a0ed63fd0cb21b0a1fe502e84aa5563ef',1,'st_lookup(st_table *, void *, void *): st.c'],['../st_8c.html#a0664208425f99d5c88fe2a79c425756c',1,'st_lookup(st_table *table, void *key, void *value): st.c']]],
   ['st_5flookup_5fint',['st_lookup_int',['../st_8h.html#ab10245506c3e5d053c75a902ec62a074',1,'st_lookup_int(st_table *, void *, int *): st.c'],['../st_8c.html#a958c280b8f24c847ca511eaffd410f04',1,'st_lookup_int(st_table *table, void *key, int *value): st.c']]],
-  ['st_5fnumcmp',['ST_NUMCMP',['../st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5',1,'ST_NUMCMP(): st.c'],['../st_8h.html#a65b35768bcf5b6f173b063b441a493db',1,'st_numcmp(const char *, const char *): st.c'],['../st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe',1,'st_numcmp(const char *x, const char *y): st.c']]],
+  ['st_5fnumcmp',['st_numcmp',['../st_8h.html#a65b35768bcf5b6f173b063b441a493db',1,'st_numcmp(const char *, const char *): st.c'],['../st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe',1,'st_numcmp(const char *x, const char *y): st.c'],['../st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5',1,'ST_NUMCMP(): st.c']]],
   ['st_5fnumhash',['ST_NUMHASH',['../st_8c.html#a76573cced143d429f99bfb5e286c621e',1,'ST_NUMHASH(): st.c'],['../st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e',1,'st_numhash(char *, int): st.c'],['../st_8c.html#aede320ef4713f295a335b4da6e1d8358',1,'st_numhash(char *x, int size): st.c']]],
   ['st_5fout_5fof_5fmem',['ST_OUT_OF_MEM',['../st_8h.html#a1276d6ae80c20ae2ec082db7c502ef75',1,'st.h']]],
   ['st_5fpficpcp',['ST_PFICPCP',['../st_8h.html#afb91ce58b9010645ed1cdf1ed2b76b03',1,'st.h']]],
@@ -286,7 +286,7 @@ var searchData=
   ['store2chisetmap',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
   ['storecgedge',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF::StoreCGEdge'],['../classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815',1,'SVF::StoreCGEdge::StoreCGEdge()'],['../classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50',1,'SVF::StoreCGEdge::StoreCGEdge(const StoreCGEdge &)'],['../classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79',1,'SVF::StoreCGEdge::StoreCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['storecgedgeset',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
-  ['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF::StoreCHI< Cond >'],['../classSVF_1_1StoreCHI.html#aa220094176013de75a81c0bfa974b99b',1,'SVF::StoreCHI::StoreCHI()'],['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()']]],
+  ['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF::StoreCHI< Cond >'],['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()'],['../classSVF_1_1StoreCHI.html#aa220094176013de75a81c0bfa974b99b',1,'SVF::StoreCHI::StoreCHI()']]],
   ['storedd',['STOREDD',['../cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5',1,'STOREDD(): cuddInt.c'],['../cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07',1,'storedd(): cuddInt.c']]],
   ['storedstnodes',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
   ['storeedgelabelcounter',['storeEdgeLabelCounter',['../classSVF_1_1PAGEdge.html#a6086285794f9fcab46458c37a79d962f',1,'SVF::PAGEdge']]],
@@ -299,14 +299,14 @@ var searchData=
   ['storereuse',['storeReuse',['../classSVF_1_1FlowSensitiveTBHC.html#ac7ed9100533dc399c71cdf017bfa2462',1,'SVF::FlowSensitiveTBHC']]],
   ['storeset',['StoreSet',['../classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b',1,'SVF::MTA::StoreSet()'],['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator::storeset()']]],
   ['storestomrsmap',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator::storesToMRsMap()'],['../classSVF_1_1MRGenerator.html#a9d2221818297a7abeb8d8736093105d0',1,'SVF::MRGenerator::StoresToMRsMap()']]],
-  ['storestopointstomap',['StoresToPointsToMap',['../classSVF_1_1MRGenerator.html#a4e246650818afd8be99a5ed6e23c4cd7',1,'SVF::MRGenerator::StoresToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()']]],
+  ['storestopointstomap',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a45e786ca09aa6cbfcf17d8e5a166a801',1,'SVF::MRGenerator::StoresToPointsToMap()']]],
   ['storesvfgnode',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
   ['storetime',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
   ['storetochisetmap',['StoreToChiSetMap',['../classSVF_1_1MemSSA.html#a00fc1f85bd92da6f0033a1a385c792ad',1,'SVF::MemSSA']]],
   ['storetodpms',['storeToDPMs',['../classSVF_1_1DDAVFSolver.html#af66895278f0ecbc882f9e4f43ef9c8a8',1,'SVF::DDAVFSolver']]],
   ['storetopmsetmap',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],
   ['storevfgnode',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF::StoreVFGNode'],['../classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd',1,'SVF::StoreVFGNode::StoreVFGNode()'],['../classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a',1,'SVF::StoreVFGNode::StoreVFGNode(const StoreVFGNode &)'],['../classSVF_1_1StoreVFGNode.html#a9935b37ed646ac5c6989ed066468d61b',1,'SVF::StoreVFGNode::StoreVFGNode(NodeID id, const StorePE *edge)']]],
-  ['strategy',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()'],['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()']]],
+  ['strategy',['strategy',['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()'],['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()']]],
   ['strcat',['strcat',['../util_8h.html#ae726f8c6b65e180aacfb570a35dc8375',1,'util.h']]],
   ['strchr',['strchr',['../util_8h.html#ad015a6d0966888e16a0ea0eb360a2be2',1,'util.h']]],
   ['strcmp',['strcmp',['../util_8h.html#a7e3fe9a43bbdc5abae963874b6a63e6b',1,'util.h']]],
@@ -354,7 +354,7 @@ var searchData=
   ['svfbb',['SVFBB',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4',1,'SVF::SVFValue']]],
   ['svffunc',['SVFFunc',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577',1,'SVF::SVFValue']]],
   ['svffunction',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF::SVFFunction'],['../classSVF_1_1SVFFunction.html#aed73a0604a9fc5b6560ce87cfeaa3944',1,'SVF::SVFFunction::SVFFunction(const std::string &val)'],['../classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3',1,'SVF::SVFFunction::SVFFunction(Function *f)']]],
-  ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()']]],
+  ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()']]],
   ['svfg_2ecpp',['SVFG.cpp',['../SVFG_8cpp.html',1,'']]],
   ['svfg_2eh',['SVFG.h',['../SVFG_8h.html',1,'']]],
   ['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF::SVFGBuilder'],['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver::svfgBuilder()'],['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG::SVFGBuilder()'],['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder::SVFGBuilder()']]],
@@ -388,7 +388,7 @@ var searchData=
   ['svfgopttimestart',['svfgOptTimeStart',['../classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2',1,'SVF::SVFGStat']]],
   ['svfgscc',['SVFGSCC',['../classSVF_1_1DDAPass.html#a5e51ac666db439865846b835bcea9d21',1,'SVF::DDAPass::SVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e',1,'SVF::DDAVFSolver::SVFGSCC()'],['../classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8',1,'SVF::SVFGStat::SVFGSCC()']]],
   ['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF::SVFGStat'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
+  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF::SVFGStat'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
   ['svfgstat_2ecpp',['SVFGStat.cpp',['../SVFGStat_8cpp.html',1,'']]],
   ['svfgstat_2eh',['SVFGStat.h',['../SVFGStat_8h.html',1,'']]],
   ['svfgwithindcall',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],

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

@@ -11,7 +11,7 @@ var searchData=
   ['tbhcstorereuse',['TBHCStoreReuse',['../classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e',1,'SVF::Options']]],
   ['tcg',['tcg',['../classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799',1,'SVF::MHP::tcg()'],['../classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa',1,'SVF::MTA::tcg()'],['../classSVF_1_1MTAResultValidator.html#abe087e2e8d92aa218ef282d2493193ef',1,'SVF::MTAResultValidator::tcg()'],['../classSVF_1_1TCT.html#ac9ddd6559e818f37c018ed5435182363',1,'SVF::TCT::tcg()']]],
   ['tcgscc',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
-  ['tct',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36',1,'SVF::MTA::tct()'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()']]],
+  ['tct',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36',1,'SVF::MTA::tct()']]],
   ['tct_2ecpp',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
   ['tct_2eh',['TCT.h',['../TCT_8h.html',1,'']]],
   ['tct_5faccess',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#ae709b039a68f5600271c40903b1c0dbe',1,'SVF::MTAResultValidator']]],
@@ -89,14 +89,14 @@ var searchData=
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
   ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
   ['timeofgeneratingmemregions',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
+  ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
+  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
-  ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()'],['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()']]],
+  ['timestatmap',['TIMEStatMap',['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()'],['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()']]],
   ['tinterphi',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
   ['tintraphi',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],

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

@@ -36,7 +36,7 @@ var searchData=
   ['updatecachedpointsto',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
   ['updatecallgraph',['updateCallGraph',['../classSVF_1_1ICFG.html#a5a00682b75726cacc1b4d88bbf40c824',1,'SVF::ICFG::updateCallGraph()'],['../classSVF_1_1ThreadCallGraph.html#ae25bca6e64ceedc56f1e2f1ae30f89eb',1,'SVF::ThreadCallGraph::updateCallGraph()'],['../classSVF_1_1VFG.html#a0c0a7c8f0bd27bc9e88ce54c0809b11b',1,'SVF::VFG::updateCallGraph()'],['../classSVF_1_1BVDataPTAImpl.html#aa534e475fa34fa322c567bc376a3da70',1,'SVF::BVDataPTAImpl::updateCallGraph()'],['../classSVF_1_1AndersenBase.html#ac05796a5672ddb5bd0e08924d79da065',1,'SVF::AndersenBase::updateCallGraph()'],['../classSVF_1_1Andersen.html#a6c60b761ddf3d6bf08c8a9c3f6fd9f0b',1,'SVF::Andersen::updateCallGraph()'],['../classSVF_1_1AndersenSCD.html#a512c636bdaafe6a3ac8f0cc29392c573',1,'SVF::AndersenSCD::updateCallGraph()'],['../classSVF_1_1FlowSensitive.html#a9d81537ec20196315a9a2541477ec5bf',1,'SVF::FlowSensitive::updateCallGraph()']]],
   ['updatecallgraphandsvfg',['updateCallGraphAndSVFG',['../classSVF_1_1ContextDDA.html#a4b8466d2e8e885fea2f41b5713f785bd',1,'SVF::ContextDDA::updateCallGraphAndSVFG()'],['../classSVF_1_1DDAVFSolver.html#a4f63b6b3a06633675ae99667cbaa6cdc',1,'SVF::DDAVFSolver::updateCallGraphAndSVFG()'],['../classSVF_1_1FlowDDA.html#ad6f9b84e18367f40c7c2d26bedda7684',1,'SVF::FlowDDA::updateCallGraphAndSVFG()']]],
-  ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()']]],
+  ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
   ['updateconnectednodes',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
   ['updatedfinfromin',['updateDFInFromIn',['../classSVF_1_1DFPTData.html#a88cf9cd48ee5c1b8b3c71b379f23ab6b',1,'SVF::DFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a',1,'SVF::MutableDFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#a775ef6458314a1febef3f7372f6a2bbc',1,'SVF::MutableIncDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e',1,'SVF::PersistentDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a5b015e6801e4320e45e7942f9db82a42',1,'SVF::PersistentIncDFPTData::updateDFInFromIn()']]],
   ['updatedfinfromout',['updateDFInFromOut',['../classSVF_1_1DFPTData.html#a2ec4fb73d87f10c86fac34b3500532b3',1,'SVF::DFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b',1,'SVF::MutableDFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableIncDFPTData.html#ad199b4b84f7aab48ff1510b118e2982f',1,'SVF::MutableIncDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b',1,'SVF::PersistentDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentIncDFPTData.html#a9191992b978b643f2d51633b2e330ec6',1,'SVF::PersistentIncDFPTData::updateDFInFromOut()']]],