svf-tools 1.0.366 → 1.0.370

package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html

@@ -612,7 +612,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_ac213302cf5c7cdf3b66f7b18649d0fbc"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::iterator</a></div><div class="ttdeci">IDToNodeMapTy::iterator iterator</div><div class="ttdoc">Node Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00338">GenericGraph.h:338</a></div></div>
 <div class="ttc" id="classSVF_1_1BVDataPTAImpl_html_aee289e298e421448caaa604b7eb34fcb"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">SVF::BVDataPTAImpl::getPts</a></div><div class="ttdeci">virtual const PointsTo &amp; getPts(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00099">PointerAnalysisImpl.h:99</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_a879783ba6629e500af9aa7dfcda2563d"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a879783ba6629e500af9aa7dfcda2563d">SVF::PointsTo::count</a></div><div class="ttdeci">u32_t count(void) const</div><div class="ttdoc">Returns number of elements. </div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00106">PointsTo.cpp:106</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a5c3b194ebada47baaccf0e9f3ab1a139"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">SVF::SVFIR::isValidTopLevelPtr</a></div><div class="ttdeci">bool isValidTopLevelPtr(const SVFVar *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00683">SVFIR.cpp:683</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a5c3b194ebada47baaccf0e9f3ab1a139"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">SVF::SVFIR::isValidTopLevelPtr</a></div><div class="ttdeci">bool isValidTopLevelPtr(const SVFVar *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00684">SVFIR.cpp:684</a></div></div>
 <div class="ttc" id="classSVF_1_1VersionedFlowSensitiveStat_html_a8c4bfeab6bb30a16689d3c3c54a1057d"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitiveStat.html#a8c4bfeab6bb30a16689d3c3c54a1057d">SVF::VersionedFlowSensitiveStat::_MaxVersionPtsSize</a></div><div class="ttdeci">u32_t _MaxVersionPtsSize</div><div class="ttdoc">Max address-taken points-to set size. </div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00208">WPAStat.h:208</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a240219c2dc4f5cc5f85445e18c79b83b"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">SVF::PointerAnalysis::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00205">PointerAnalysis.h:205</a></div></div>
 <div class="ttc" id="classSVF_1_1VersionedFlowSensitiveStat_html_a59f2b0ca53d3b94ce596cd2a934e6976"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitiveStat.html#a59f2b0ca53d3b94ce596cd2a934e6976">SVF::VersionedFlowSensitiveStat::_NumNonEmptyVersions</a></div><div class="ttdeci">u32_t _NumNonEmptyVersions</div><div class="ttdoc">Number of versions with non-empty points-to sets (since versioning is over-approximate). </div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00197">WPAStat.h:197</a></div></div>

package/SVF-doxygen/html/html/functions_a.html

@@ -201,7 +201,7 @@ $(function() {
 </li>
 <li>addCallEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5b41510e55eb48781a917e5a9c0e1462">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aec94aaebd392aa4facdbdc6bfef74bde">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">SVF::VFG</a>
 </li>
 <li>addCallGraphNode()
@@ -215,7 +215,7 @@ $(function() {
 </li>
 <li>addCallPE()
 : <a class="el" href="classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e">SVF::FormalParmVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a2244c6180cede066186d9f7098bf9325">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a574bd5c9f11681c70db29c25f25a4cba">SVF::SVFIR</a>
 </li>
 <li>addCallSite()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40">SVF::PTACallGraph</a>
@@ -264,7 +264,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a0cc6e4b4ab78f3c54b68fe35adb02957">SVF::LockAnalysis</a>
 </li>
 <li>addConditionalIntraEdge()
-: <a class="el" href="classSVF_1_1ICFG.html#a8b038782880ae8950076e2c104bc4b18">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a6436c2e6ab117007db80b9936fd4b5fe">SVF::ICFG</a>
 </li>
 <li>addConstantObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b">SVF::SVFIR</a>
@@ -737,7 +737,7 @@ $(function() {
 </li>
 <li>addRetEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a4a44849b596c89ab14d2e5f18366e848">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aaff4b288ac5f338fbe5dbc145d4087ba">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aff15a202dfa9419cec787d9acf6c35c2">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">SVF::VFG</a>
 </li>
 <li>addRetIndirectSVFGEdge()
@@ -751,7 +751,7 @@ $(function() {
 </li>
 <li>addRetPE()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a">SVF::FormalRetVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#af7edf234425e890d1cf3ff812000206d">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a1791652f578b6ab8aacb4d6e7c7fd05f">SVF::SVFIR</a>
 </li>
 <li>addRevPts()
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -851,22 +851,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d">SVF::MTASVFGBuilder</a>
 </li>
 <li>addThreadForkEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#acd0678f7f35abd7aee656c2a49167ae9">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a013560b7d7d173e1558ae6dd404d1bba">SVF::SVFIRBuilder</a>
 </li>
 <li>addThreadForkEdgeSetMap()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300">SVF::ThreadCallGraph</a>
 </li>
 <li>addThreadForkPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#aa498f73f62e19f4f9f63e265938ce408">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b">SVF::SVFIR</a>
 </li>
 <li>addThreadJoinEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab40720aeeeaf3be64cc65179f54e214d">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#af10d23b0ef64d3f4cd2543beabafe9df">SVF::SVFIRBuilder</a>
 </li>
 <li>addThreadJoinEdgeSetMap()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c">SVF::ThreadCallGraph</a>
 </li>
 <li>addThreadJoinPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#ad50f150bb3bac77687b3d1210f21d2ed">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2">SVF::SVFIR</a>
 </li>
 <li>addThreadMHPIndirectVFEdge()
 : <a class="el" href="classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161">SVF::SVFG</a>

package/SVF-doxygen/html/html/functions_b.html

@@ -273,22 +273,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01">SVF::VFGNode</a>
 </li>
-<li>BranchCond
-: <a class="el" href="classSVF_1_1BranchCondExpr.html#ad90fb1713be8b6a064e2423da5dd98b3">SVF::BranchCondExpr</a>
-</li>
 <li>branchCond
 : <a class="el" href="classSVF_1_1BranchCondExpr.html#a99b54ea1152131f8e0991374043ffced">SVF::BranchCondExpr</a>
 </li>
 <li>BranchCond
-: <a class="el" href="classSVF_1_1BranchCondManager.html#a37bec50768d5df6317a4ba6c790c569d">SVF::BranchCondManager</a>
+: <a class="el" href="classSVF_1_1BranchCondExpr.html#ad90fb1713be8b6a064e2423da5dd98b3">SVF::BranchCondExpr</a>
+, <a class="el" href="classSVF_1_1BranchCondManager.html#a37bec50768d5df6317a4ba6c790c569d">SVF::BranchCondManager</a>
 , <a class="el" href="classSVF_1_1CondManager.html#afb6c29587f01bf5b80878bae0850d2f6">SVF::CondManager</a>
 </li>
 <li>BranchCondExpr()
 : <a class="el" href="classSVF_1_1BranchCondExpr.html#a4f34f370563761f8a1b6a3c1239d6979">SVF::BranchCondExpr</a>
 </li>
-<li>BranchCondition
-: <a class="el" href="classSVF_1_1IntraCFGEdge.html#a92c78050b62f802fff360bac02cd42dd">SVF::IntraCFGEdge</a>
-</li>
 <li>BranchCondManager()
 : <a class="el" href="classSVF_1_1BranchCondManager.html#af1d01bd350869616c143bf586ef4097e">SVF::BranchCondManager</a>
 </li>
@@ -301,6 +296,9 @@ $(function() {
 <li>BranchCondToCondExprMap
 : <a class="el" href="classSVF_1_1CondManager.html#af2cf8e42c15d6a0640f13c55050f616f">SVF::CondManager</a>
 </li>
+<li>branchCondVal
+: <a class="el" href="classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3">SVF::IntraCFGEdge</a>
+</li>
 <li>BranchK
 : <a class="el" href="classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6ab2a0481a51dd867e2d2f196556c24521">SVF::CondExpr</a>
 </li>
@@ -311,10 +309,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>
 </li>
 <li>BranchVFGNode()
-: <a class="el" href="classSVF_1_1BranchVFGNode.html#adbaa9b14441cb66ad46671d93c09c513">SVF::BranchVFGNode</a>
-</li>
-<li>brCondition
-: <a class="el" href="classSVF_1_1IntraCFGEdge.html#a1948630208ff0a67f28913ca928ba9b4">SVF::IntraCFGEdge</a>
+: <a class="el" href="classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494">SVF::BranchVFGNode</a>
 </li>
 <li>BreakConstantGEPs()
 : <a class="el" href="classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f">SVF::BreakConstantGEPs</a>
@@ -359,7 +354,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a7420a3a4858ebe861aaa47d76f49ab1f">SVF::CHGBuilder</a>
 </li>
 <li>buildCHGNodes()
-: <a class="el" href="classSVF_1_1CHGBuilder.html#a648e97899c16a5634fc8369aef8a031f">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a51a07b2bd7cccf7c9ab24eb87db17216">SVF::CHGBuilder</a>
 </li>
 <li>buildClassNameToAncestorsDescendantsMap()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb">SVF::CHGBuilder</a>

package/SVF-doxygen/html/html/functions_c.html

@@ -103,6 +103,10 @@ $(function() {
 <li>calculateNodeDegrees()
 : <a class="el" href="classSVF_1_1SVFGStat.html#a570b8466e99ce5f68e02546d1ef21971">SVF::SVFGStat</a>
 </li>
+<li>call
+: <a class="el" href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">SVF::CallPE</a>
+, <a class="el" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">SVF::RetPE</a>
+</li>
 <li>Call
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVF::SVFStmt</a>
 </li>
@@ -625,15 +629,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1DummyValVar.html#a06c603907dce56bea44f9a4f9da4d6c7">SVF::DummyValVar</a>
 , <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac997d06e133d698a5aa29c2af55a624e">SVF::DummyVersionPropSVFGNode</a>
 , <a class="el" href="classSVF_1_1EntryCHI.html#ad9c86f7cf28fe22584b94416803639aa">SVF::EntryCHI&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1FIObjVar.html#a1f6ba91fe429f55598cef983a2b3a538">SVF::FIObjVar</a>
+, <a class="el" href="classSVF_1_1FIObjVar.html#a1801ca6c6cf3367eff5621fa7c788619">SVF::FIObjVar</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#ac76934c9ba15742e470a785af54bd958">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#afe46af7ca4f735e500b35f4f4bb8d910">SVF::FlowSensitiveTBHC</a>
 , <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a049c4760e5d0ea2e31fc84ec32850310">SVF::FormalINSVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#ac29004272d47ad58ea1e05fbfc1ac639">SVF::FormalOUTSVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalParmVFGNode.html#af91ecca224b99cd6dd3b9b17ad0d8e6f">SVF::FormalParmVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#af90572e9ac08cb2fffc9c63d51d5a129">SVF::FormalRetVFGNode</a>
-, <a class="el" href="classSVF_1_1FunEntryICFGNode.html#ad7f8c8f10b067b6766d7c7974f2b751c">SVF::FunEntryICFGNode</a>
-, <a class="el" href="classSVF_1_1FunExitICFGNode.html#acace98ae1961dcd498678694b7ba4699">SVF::FunExitICFGNode</a>
+, <a class="el" href="classSVF_1_1FunEntryICFGNode.html#a5225463cf5c8601d919ab810bc3276ef">SVF::FunEntryICFGNode</a>
+, <a class="el" href="classSVF_1_1FunExitICFGNode.html#ab81f7f50638b8ce85f83ca3b7b566213">SVF::FunExitICFGNode</a>
 , <a class="el" href="classSVF_1_1GepCGEdge.html#af9fbe33becd8f832267ab7ea6e0437b6">SVF::GepCGEdge</a>
 , <a class="el" href="classSVF_1_1GepObjVar.html#ab3129ad98687e6352675d84373d96ffe">SVF::GepObjVar</a>
 , <a class="el" href="classSVF_1_1GepStmt.html#a441cd8487b320ceff9d62884b4f28176">SVF::GepStmt</a>
@@ -698,7 +702,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#a4ba42f59f0a6a7ea5b059f6e8df64d89">SVF::ThreadCallGraph</a>
 , <a class="el" href="classSVF_1_1ThreadForkEdge.html#a4d2c3601a3fd530d178ec00ee3e1bc5d">SVF::ThreadForkEdge</a>
 , <a class="el" href="classSVF_1_1ThreadJoinEdge.html#a0fb671c87fecd2fd9c2dab4187a47d37">SVF::ThreadJoinEdge</a>
-, <a class="el" href="classSVF_1_1ThreadMHPIndSVFGEdge.html#acb948e40582b6cc8b4360f2205b5c926">SVF::ThreadMHPIndSVFGEdge</a>
+, <a class="el" href="classSVF_1_1ThreadMHPIndSVFGEdge.html#a0db2e69a5182d1c30b44e87711558bd9">SVF::ThreadMHPIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1TypeAnalysis.html#ae14733ac9763b07a84ed9b5e297badf3">SVF::TypeAnalysis</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#abb10688145fa76629916ec3df61b6c95">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a01a9b0fd0189462e37ff51e232a5cda8">SVF::UnaryOPVFGNode</a>
@@ -792,7 +796,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#af64c6a2c0a1b2044fac56a69e9db7cff">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab01a663b665d629c15f3531f18b5abc2">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a10221452ea6ffed4ae51a9c6f9dc1e93">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe724603022a8fed7469f9ecd633febc">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9f5bb9d2020973660268c4e5ac98cb61">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a3f78f60e1947a6d6fbcd3a0ee11e262a">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a03c783b9a1faac0aee3e22361df594ce">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a164436121f658ce0967a88bb84ecf220">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
@@ -863,10 +867,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828">SVF::VFGNode</a>
 </li>
 <li>CmpStmt()
-: <a class="el" href="classSVF_1_1CmpStmt.html#a02c4846269bd28bd4e8b127532cb737a">SVF::CmpStmt</a>
+: <a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt</a>
 </li>
 <li>CmpVFGNode()
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#a003f5049433ade9cdad5f3050532af8e">SVF::CmpVFGNode</a>
 </li>
 <li>cnext
 : <a class="el" href="structDdQueueItem.html#a5500eae904c7432f4e08452c93c501fa">DdQueueItem</a>
@@ -1023,7 +1027,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet</a>
 </li>
 <li>computeDDAPts()
-: <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">SVF::PointerAnalysis</a>
 </li>
@@ -1096,6 +1100,9 @@ $(function() {
 <li>condition
 : <a class="el" href="classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2">SVF::SelectStmt</a>
 </li>
+<li>conditionVar
+: <a class="el" href="classSVF_1_1IntraCFGEdge.html#a1d49f742d3f93361c7ba1b69e074ceb5">SVF::IntraCFGEdge</a>
+</li>
 <li>CondManager()
 : <a class="el" href="classSVF_1_1CondManager.html#aa307bb05b92907ccf8859b4bac53b796">SVF::CondManager</a>
 </li>
@@ -1323,7 +1330,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356">SVF::LeakChecker</a>
 </li>
 <li>ContextCond()
-: <a class="el" href="classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
@@ -1350,16 +1357,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">SVF::ConstraintNode</a>
 </li>
 <li>CopyStmt()
-: <a class="el" href="classSVF_1_1CopyStmt.html#a63b808e82e75562c53e4371cc3d7ed1e">SVF::CopyStmt</a>
+: <a class="el" href="classSVF_1_1CopyStmt.html#aa965d58e96e8729d16d66387ee09eac7">SVF::CopyStmt</a>
 </li>
 <li>copyTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb">SVF::FlowSensitive</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#aee4a402546b3df92412a5252c9608818">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#aa25de5d26935c74e156c5f6604b3d8a8">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ae209179f396c8b5b788ff6d2c437e5d6">SVF::CoreBitVector::CoreBitVectorIterator</a>
@@ -1397,10 +1404,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">SVF::MRSVFGNode</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CPtSet
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -1685,12 +1692,12 @@ $(function() {
 <li>CxtLockToLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22">SVF::LockAnalysis</a>
 </li>
-<li>CxtLockToSpan
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
-</li>
 <li>cxtLocktoSpan
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
 </li>
+<li>CxtLockToSpan
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
+</li>
 <li>CxtProc()
 : <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
 </li>
@@ -1701,10 +1708,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#ac11734a3e0db8415fdf55157b20b56a4">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
-: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>cxtStmtList
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">SVF::ForkJoinAnalysis</a>
@@ -1714,12 +1721,12 @@ $(function() {
 <li>CxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
 </li>
-<li>cxtStmtToAliveFlagMap
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
-</li>
 <li>CxtStmtToAliveFlagMap
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
 </li>
+<li>cxtStmtToAliveFlagMap
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a03954bdf28345cd7fbcd5cc242d40681">SVF::LockResultValidator</a>
 </li>
@@ -1756,7 +1763,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e">SVF::TCT</a>
 </li>
 <li>CxtThreadStmt()
-: <a class="el" href="classSVF_1_1CxtThreadStmt.html#adeef75dbfd24665521931780c70aa5f9">SVF::CxtThreadStmt</a>
+: <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
 </li>
 <li>CxtThreadStmtSet
 : <a class="el" href="classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32">SVF::MHP</a>

package/SVF-doxygen/html/html/functions_e.html

@@ -270,7 +270,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6">SVF::PointsTo</a>
-, <a class="el" href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule</a>
+, <a class="el" href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc">SVF::SVFModule</a>
 </li>
 <li>endClk()
 : <a class="el" href="classSVF_1_1PTAStat.html#afe854f7416ea408104721a083ee9fee0">SVF::PTAStat</a>
@@ -283,6 +283,7 @@ $(function() {
 </li>
 <li>entry
 : <a class="el" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">st_generator</a>
+, <a class="el" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">SVF::CallPE</a>
 </li>
 <li>EntryCHI()
 : <a class="el" href="classSVF_1_1EntryCHI.html#a0ba7181ad2a793bf11e40b7c7092e28b">SVF::EntryCHI&lt; Cond &gt;</a>
@@ -348,8 +349,11 @@ $(function() {
 <li>executedByTheSameThread()
 : <a class="el" href="classSVF_1_1MHP.html#aab80f1bc5c359a7d3b03f249bafa1d40">SVF::MHP</a>
 </li>
+<li>exit
+: <a class="el" href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">SVF::RetPE</a>
+</li>
 <li>expandFIObjs()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa6a7186152037452599406a74b05d0e1">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a87b48287d7edb97fc120200fe0e5218d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a3af0297eb75ac4009433be44bb286d30">SVF::FlowSensitiveTBHC</a>
 </li>

package/SVF-doxygen/html/html/functions_func.html

@@ -168,7 +168,7 @@ $(function() {
 </li>
 <li>addCallEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5b41510e55eb48781a917e5a9c0e1462">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aec94aaebd392aa4facdbdc6bfef74bde">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">SVF::VFG</a>
 </li>
 <li>addCallGraphNode()
@@ -182,7 +182,7 @@ $(function() {
 </li>
 <li>addCallPE()
 : <a class="el" href="classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e">SVF::FormalParmVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a2244c6180cede066186d9f7098bf9325">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a574bd5c9f11681c70db29c25f25a4cba">SVF::SVFIR</a>
 </li>
 <li>addCallSite()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40">SVF::PTACallGraph</a>
@@ -231,7 +231,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a0cc6e4b4ab78f3c54b68fe35adb02957">SVF::LockAnalysis</a>
 </li>
 <li>addConditionalIntraEdge()
-: <a class="el" href="classSVF_1_1ICFG.html#a8b038782880ae8950076e2c104bc4b18">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a6436c2e6ab117007db80b9936fd4b5fe">SVF::ICFG</a>
 </li>
 <li>addConstantObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b">SVF::SVFIR</a>
@@ -666,7 +666,7 @@ $(function() {
 </li>
 <li>addRetEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a4a44849b596c89ab14d2e5f18366e848">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aaff4b288ac5f338fbe5dbc145d4087ba">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aff15a202dfa9419cec787d9acf6c35c2">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">SVF::VFG</a>
 </li>
 <li>addRetIndirectSVFGEdge()
@@ -680,7 +680,7 @@ $(function() {
 </li>
 <li>addRetPE()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a">SVF::FormalRetVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#af7edf234425e890d1cf3ff812000206d">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a1791652f578b6ab8aacb4d6e7c7fd05f">SVF::SVFIR</a>
 </li>
 <li>addRevPts()
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -774,22 +774,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d">SVF::MTASVFGBuilder</a>
 </li>
 <li>addThreadForkEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#acd0678f7f35abd7aee656c2a49167ae9">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a013560b7d7d173e1558ae6dd404d1bba">SVF::SVFIRBuilder</a>
 </li>
 <li>addThreadForkEdgeSetMap()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300">SVF::ThreadCallGraph</a>
 </li>
 <li>addThreadForkPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#aa498f73f62e19f4f9f63e265938ce408">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b">SVF::SVFIR</a>
 </li>
 <li>addThreadJoinEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab40720aeeeaf3be64cc65179f54e214d">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#af10d23b0ef64d3f4cd2543beabafe9df">SVF::SVFIRBuilder</a>
 </li>
 <li>addThreadJoinEdgeSetMap()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c">SVF::ThreadCallGraph</a>
 </li>
 <li>addThreadJoinPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#ad50f150bb3bac77687b3d1210f21d2ed">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2">SVF::SVFIR</a>
 </li>
 <li>addThreadMHPIndirectVFEdge()
 : <a class="el" href="classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161">SVF::SVFG</a>

package/SVF-doxygen/html/html/functions_func_c.html

@@ -101,7 +101,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CallMU.html#abb981eb0739d7b3fdcc271b693e708ae">SVF::CallMU&lt; Cond &gt;</a>
 </li>
 <li>CallPE()
-: <a class="el" href="classSVF_1_1CallPE.html#af84a1badb8734b54bf01b2b5b89af091">SVF::CallPE</a>
+: <a class="el" href="classSVF_1_1CallPE.html#a6b907624482ae697680c747e9b41fdab">SVF::CallPE</a>
 </li>
 <li>callPEBegin()
 : <a class="el" href="classSVF_1_1FormalParmVFGNode.html#ac2711b6bf2b27386def742aa0959ba35">SVF::FormalParmVFGNode</a>

package/SVF-doxygen/html/html/functions_func_g.html

@@ -266,9 +266,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1BranchCondExpr.html#acbfed1c7771cdb49237cdd6d3c75d25c">SVF::BranchCondExpr</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#a4d00c3306b92e59568b54a6a72afdb74">SVF::PathCondAllocator</a>
 </li>
-<li>getBranchCondtion()
-: <a class="el" href="classSVF_1_1IntraCFGEdge.html#a52eb526a6066c4b909e250bd430c14ef">SVF::IntraCFGEdge</a>
-</li>
 <li>getBranchInst()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a2c6fe09027838f9e0ad9ab8193ce8e9b">SVF::BranchStmt</a>
 </li>
@@ -495,6 +492,7 @@ $(function() {
 </li>
 <li>getCondition()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1IntraCFGEdge.html#ac13be3c3ee581e20974ce4527a3cfe7b">SVF::IntraCFGEdge</a>
 , <a class="el" href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">SVF::SelectStmt</a>
 </li>
 <li>getCondKind()
@@ -970,7 +968,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f">SVF::MemSSA</a>
 </li>
 <li>getFunEntryICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a0dca4655c2f6112a5be1f921b8e81076">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1CallPE.html#a9c9821c4e7dd031e3f82f2b29427e53e">SVF::CallPE</a>
+, <a class="el" href="classSVF_1_1ICFG.html#a0dca4655c2f6112a5be1f921b8e81076">SVF::ICFG</a>
 </li>
 <li>getFunEntryNode()
 : <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a765f45d67d8b99dc85eb92676ca1be4e">SVF::FormalINSVFGNode</a>
@@ -980,6 +979,7 @@ $(function() {
 </li>
 <li>getFunExitICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#af1b2d2839f811a00103df87342dfc919">SVF::ICFG</a>
+, <a class="el" href="classSVF_1_1RetPE.html#a274adbd91750d8d6de8ba997285c1c49">SVF::RetPE</a>
 </li>
 <li>getFunExitNode()
 : <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#ae23aa8ff8585c31071726f2b2fb1499d">SVF::FormalOUTSVFGNode</a>
@@ -1297,7 +1297,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>getLoop()
-: <a class="el" href="classSVF_1_1TCT.html#add9104a3d7a821e9c2f266ae1810d2e3">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a71249dc399055790d86dcba6d9dd3021">SVF::TCT</a>
 </li>
 <li>getLoopInfo()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a10ddc3b02b2baad2edd72fe429113b0f">SVF::PathCondAllocator</a>
@@ -1359,7 +1359,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80">SVF::MRGenerator</a>
 </li>
 <li>getModRefInfo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a3a6c0f60c861b6d744225a40aea638d7">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
@@ -1434,7 +1434,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG</a>
 </li>
 <li>getMUSet()
-: <a class="el" href="classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#af1a7b3ca0144ebff3747715e89646fbb">SVF::MemSSA</a>
 </li>
 <li>getMutDFPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">SVF::BVDataPTAImpl</a>
@@ -1589,7 +1589,7 @@ $(function() {
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
 <li>getOpICFGNode()
-: <a class="el" href="classSVF_1_1PhiStmt.html#af7e57da55f80c53a6f483976202e4c5c">SVF::PhiStmt</a>
+: <a class="el" href="classSVF_1_1PhiStmt.html#a0b97394bc1946c0185d2c11fbc2181f4">SVF::PhiStmt</a>
 </li>
 <li>getOpIncomingBB()
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a3a6ef9d2b10a6f2f1ac1b25590f56a70">SVF::IntraPHIVFGNode</a>
@@ -1597,9 +1597,6 @@ $(function() {
 <li>getOpndVars()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b">SVF::MultiOpndStmt</a>
 </li>
-<li>getOpPos()
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#af3c4989a458a1e5f7a5e0ba8e5c8b6ae">SVF::MultiOpndStmt</a>
-</li>
 <li>getOpVar()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#abde2b32d5bbd37df0e194b1a4e78483b">SVF::UnaryOPStmt</a>
@@ -1822,15 +1819,15 @@ $(function() {
 <li>getPts()
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -1843,7 +1840,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawCTirMetadata()
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556">SVF::FlowSensitiveTBHC</a>
@@ -1904,7 +1901,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a7c1125c992eec20e118e6bfc12cb8bfb">SVF::ICFGBuilder</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
 </li>
 <li>getRetSite()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a07ce77afbf69d5e2a47afaa39eaea886">SVF::ProgSlice</a>
@@ -1928,7 +1925,7 @@ $(function() {
 </li>
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2076,6 +2073,7 @@ $(function() {
 </li>
 <li>getSuccessorCondValue()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a7d2fa666602e0444d3e019563c0e7556">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1IntraCFGEdge.html#a40fab1a6b75f29cb629bfc05fb3a86b1">SVF::IntraCFGEdge</a>
 </li>
 <li>getSuccessors()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a93040c884df211ac62d53ceafdd9c4dd">SVF::BranchStmt</a>
@@ -2147,7 +2145,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2217,7 +2215,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ac4565775cced4444ba007e310c4a02d8">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>getTypeSizeInBytes()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ada63ac47515daa4402914083058baec8">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#af4239ff717303dee25f1f4ba60070f9e">SVF::SymbolTableInfo</a>
 </li>
 <li>getTypeSystem()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe">SVF::PointerAnalysis</a>
@@ -2348,7 +2346,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
 </li>
 <li>GlobalICFGNode()
 : <a class="el" href="classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7">SVF::GlobalICFGNode</a>

package/SVF-doxygen/html/html/functions_func_r.html

@@ -366,7 +366,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee">SVF::RetMU&lt; Cond &gt;</a>
 </li>
 <li>RetPE()
-: <a class="el" href="classSVF_1_1RetPE.html#afed855f9ee0dfddc4808672ae32263b2">SVF::RetPE</a>
+: <a class="el" href="classSVF_1_1RetPE.html#a60cb8a19e352547b22f197f4ca8e19d8">SVF::RetPE</a>
 </li>
 <li>retPEBegin()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode</a>