svf-tools 1.0.317 → 1.0.321

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

@@ -206,9 +206,6 @@ $(function() {
 <li>getAndersenAnalysis()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ac39860015b45b9af6351d0343f8983bb">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>getArgNodes()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#af88e42a31e396ee9df11146638f1efcd">SVF::ExternalPAG</a>
-</li>
 <li>getArgOperand()
 : <a class="el" href="classSVF_1_1CallSite.html#a5cd372d9fab846228fb0ee746001309a">SVF::CallSite</a>
 </li>
@@ -253,15 +250,9 @@ $(function() {
 <li>getBBToPhiSetMap()
 : <a class="el" href="classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d">SVF::MemSSA</a>
 </li>
-<li>getBinaryNodeMap()
-: <a class="el" href="classSVF_1_1SVFIR.html#a7a22298e0c19fa5ef156b8934dde88ce">SVF::SVFIR</a>
-</li>
 <li>getBinaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a27bd4d5ba75d65056d77882869b0c64d">SVF::VFG</a>
 </li>
-<li>getBinaryPEs()
-: <a class="el" href="classSVF_1_1SVFIR.html#a2431fc9172f303c15c274f0e0b35c1a7">SVF::SVFIR</a>
-</li>
 <li>getBlackHoleNode()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ab2b4725a8fcae8a1bc3c026d236005b8">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a3ce34b9fcb651689bce44ab48fbcdff0">SVF::IRGraph</a>
@@ -285,6 +276,15 @@ $(function() {
 <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>
+<li>getBranchStmt()
+: <a class="el" href="classSVF_1_1BranchVFGNode.html#abbb429b521b54c2d7a6d8d7f52751455">SVF::BranchVFGNode</a>
+</li>
+<li>getBranchVFGNode()
+: <a class="el" href="classSVF_1_1VFG.html#a47609382fcd9ef36706e1d0f0531a843">SVF::VFG</a>
+</li>
 <li>getBVPointsTo()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
@@ -482,12 +482,6 @@ $(function() {
 <li>getClones()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#af127bed600087b1ace26088a76ca8998">SVF::TypeBasedHeapCloning</a>
 </li>
-<li>getCmpNodeMap()
-: <a class="el" href="classSVF_1_1SVFIR.html#a1391337b9336d12088c06625155f9bbe">SVF::SVFIR</a>
-</li>
-<li>getCmpPEs()
-: <a class="el" href="classSVF_1_1SVFIR.html#a34f31a31bc62fc441bcd9472b3ce196d">SVF::SVFIR</a>
-</li>
 <li>getCmpVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793">SVF::VFG</a>
 </li>
@@ -508,6 +502,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondManager.html#a4fac6a918f1f6d09fe1a4ceac7c19428">SVF::CondManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#adf65b74b89fca76c0cf5ea5dbd6dc4ca">SVF::PathCondAllocator</a>
 </li>
+<li>getCondition()
+: <a class="el" href="classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0">SVF::BranchStmt</a>
+</li>
 <li>getCondKind()
 : <a class="el" href="classSVF_1_1CondExpr.html#a2ae78bbef9ad2f3c61aafa23111a50ef">SVF::CondExpr</a>
 </li>
@@ -567,7 +564,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ab77173aa8af6155b569f20ff0cdcec72">SVF::ConstraintNode</a>
 </li>
 <li>getCSClasses()
-: <a class="el" href="classSVF_1_1CHGraph.html#a687d4d05b4c7db21d85256cd03efe08b">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#adc3e52b70db841cb1566a1fb855256b6">SVF::CHGBuilder</a>
 </li>
 <li>getCSIDAtCall()
 : <a class="el" href="classSVF_1_1ContextDDA.html#a2ce589a1d63a5126e178fc47527e0f92">SVF::ContextDDA</a>
@@ -619,7 +616,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#afb110fec926967ba334bf2635d58a339">SVF::MTAResultValidator</a>
 </li>
 <li>getCxtLockfromCxtStmt()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a4b55036dae224c83b650389a409d9b96">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a0809f300ab80173523b34226bb832bd2">SVF::LockAnalysis</a>
 </li>
 <li>getCxtOfCxtThread()
 : <a class="el" href="classSVF_1_1TCT.html#ab4bc72ca330b315df06f2d4d2c1a7b4f">SVF::TCT</a>
@@ -748,10 +745,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a6c32a1cdcdbea0151c8cf17ffe598f29">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>getDstID()
-: <a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge&lt; NodeTy &gt;</a>
+: <a class="el" href="classSVF_1_1BinaryOPPE.html#a8931941a1b06e14b91cce4a96275a430">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1BranchStmt.html#a308157a390c01cd68dd870f3e94624e7">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1CmpPE.html#a8f70278ac9d9bf4cd8750c474646b0e2">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge&lt; NodeTy &gt;</a>
+, <a class="el" href="classSVF_1_1PhiPE.html#a22cddfea40eae983e8837d2a0dc7883f">SVF::PhiPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a4787898e7f2b72bf00994fb664c5136d">SVF::UnaryOPPE</a>
 </li>
 <li>getDstNode()
-: <a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge&lt; NodeTy &gt;</a>
+: <a class="el" href="classSVF_1_1BinaryOPPE.html#ac8a72c9d79dc893d95b4e4bf27a88fe6">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1BranchStmt.html#ade327625e74b717697340c9a78444757">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1CmpPE.html#a4e66cb6ffd9d6a6dd6d575ce091bec5f">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge&lt; NodeTy &gt;</a>
+, <a class="el" href="classSVF_1_1PhiPE.html#aa40c8037d8ddb883ba044aba4d528c80">SVF::PhiPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a5b34d99314a12894af2a155dd85cc4da">SVF::UnaryOPPE</a>
 </li>
 <li>getDT()
 : <a class="el" href="classSVF_1_1MemSSA.html#a9741a8d0540ba4c27cb667590d246197">SVF::MemSSA</a>
@@ -783,11 +790,8 @@ $(function() {
 <li>getEdgeKind()
 : <a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">SVF::GenericEdge&lt; NodeTy &gt;</a>
 </li>
-<li>getEdges()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a68a53b3db6cdf02f49786492fc49c012">SVF::ExternalPAG</a>
-</li>
 <li>getEdgeSet()
-: <a class="el" href="classSVF_1_1IRGraph.html#a3071bd100577507b49859f1b1e23fa77">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#ac2dff0e76e4ee879dc023255e7e6a63e">SVF::SVFIR</a>
 </li>
 <li>getEdgeSourceLabel()
 : <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
@@ -968,9 +972,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1RetMU.html#a8ad6bf3d517e20089dac516742ee4b8f">SVF::RetMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1SVFVar.html#a53439a493963d16e5a1b5ed36ab6d33e">SVF::SVFVar</a>
 </li>
-<li>getFunctionName()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a25d59d95afaa5f548e09e6e625a14f33">SVF::ExternalPAG</a>
-</li>
 <li>getFunctionType()
 : <a class="el" href="classSVF_1_1CallSite.html#ad0040f4b7953b509059223d1d52c203f">SVF::CallSite</a>
 </li>
@@ -1064,7 +1065,6 @@ $(function() {
 </li>
 <li>getGNode()
 : <a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1NullPtrVFGNode.html#a27a4fcd20c56e8454ea525c17db8ab2b">SVF::NullPtrVFGNode</a>
 </li>
 <li>getGraphEdge()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a2634a24621ab93fae7ec1cf94a8cba0b">SVF::PTACallGraph</a>
@@ -1160,7 +1160,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGraph.html#a894a69fa143d3f460d433646a0521b6f">SVF::CHGraph</a>
 </li>
 <li>getInstancesAndDescendants()
-: <a class="el" href="classSVF_1_1CHGraph.html#aef3ce1727cb91581d6cd1123cf767cfb">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a444dba7f18bee07a6cad51f88bb63e30">SVF::CHGBuilder</a>
 </li>
 <li>getInstPAGEdgeList()
 : <a class="el" href="classSVF_1_1SVFIR.html#adf344b7cbcebd343b026b9b4b9d72fdb">SVF::SVFIR</a>
@@ -1372,7 +1372,7 @@ $(function() {
 </li>
 <li>getModRefInfo()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#aebd6abbf574392abce426dc796d2ee56">SVF::MRGenerator</a>
@@ -1548,6 +1548,10 @@ $(function() {
 <li>getNumStridePair()
 : <a class="el" href="classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241">SVF::LocationSet</a>
 </li>
+<li>getNumSuccessors()
+: <a class="el" href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1BranchVFGNode.html#ad070e36a440deb982779cec18aa03ee6">SVF::BranchVFGNode</a>
+</li>
 <li>getObj()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a65f49178a948380c2d6105178509a906">SVF::SymbolTableInfo</a>
 </li>
@@ -1562,9 +1566,6 @@ $(function() {
 <li>getObjectNodeNum()
 : <a class="el" href="classSVF_1_1IRGraph.html#a8e9b2e37b36433c01e90d54a4edbf7f3">SVF::IRGraph</a>
 </li>
-<li>getObjectNodes()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5">SVF::ExternalPAG</a>
-</li>
 <li>getObjSize()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a0f6e58467a6c280181c0366ca6331f98">SVF::SymbolTableBuilder</a>
 </li>
@@ -1590,12 +1591,32 @@ $(function() {
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#ac7dc9a2857ee020345ebe465ba0d08f3">SVF::NormalGepCGEdge</a>
 , <a class="el" href="classSVF_1_1NormalGepPE.html#a38ac1dd06ada0a04e13a038f8b69e3e5">SVF::NormalGepPE</a>
 </li>
+<li>getOpcode()
+: <a class="el" href="classSVF_1_1BinaryOPPE.html#ac1738c0751fb19b56af2e3296a4b439f">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1CmpPE.html#aac8a0b9e765da7baa617c14cc6154ea2">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a8884cec63c7eea39f0e767bcedf74b3d">SVF::UnaryOPPE</a>
+</li>
 <li>getOperand()
 : <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>getOpIncomingBB()
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a3a6ef9d2b10a6f2f1ac1b25590f56a70">SVF::IntraPHIVFGNode</a>
 </li>
+<li>getOpndVars()
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b">SVF::MultiOpndStmt</a>
+</li>
+<li>getOpVar()
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">SVF::MultiOpndStmt</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a9e1afd73d1cd1f03e6e4e46cce5f1a64">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#adb0928a2547397d0ac2bbc2cf261d595">SVF::UnaryOPVFGNode</a>
+</li>
+<li>getOpVarID()
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">SVF::MultiOpndStmt</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a4a5fb44d0171a871d5434fc97f9cf21d">SVF::UnaryOPPE</a>
+</li>
+<li>getOpVarNum()
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">SVF::MultiOpndStmt</a>
+</li>
 <li>getOpVer()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a4c71d3d586a5389f524f93ca82ffe0e5">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#a62a87f7ee66c51302e093bbaf5d0901b">SVF::CmpVFGNode</a>
@@ -1701,6 +1722,9 @@ $(function() {
 <li>getPAGEdgesFromInst()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a820e30118868947b62f0a558da5512fc">SVF::MRGenerator</a>
 </li>
+<li>getPAGNode()
+: <a class="el" href="classSVF_1_1NullPtrVFGNode.html#a116af5e66665c56b9ca1e734bc3719c5">SVF::NullPtrVFGNode</a>
+</li>
 <li>getPAGNodeKindValue()
 : <a class="el" href="classSVF_1_1ICFGPrinter.html#a54f0729c869b5061b5fb9fe056c326ef">SVF::ICFGPrinter</a>
 </li>
@@ -1745,12 +1769,6 @@ $(function() {
 <li>getPHIComplementCond()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#abef2785eb426d5e1d6f273300c691db6">SVF::PathCondAllocator</a>
 </li>
-<li>getPhiCopyPEs()
-: <a class="el" href="classSVF_1_1SVFIR.html#acfad220c028d3d3209eca362da09d35a">SVF::SVFIR</a>
-</li>
-<li>getPhiNodeMap()
-: <a class="el" href="classSVF_1_1SVFIR.html#a4824eb27f3b4616f74b5caf25195727c">SVF::SVFIR</a>
-</li>
 <li>getPHISet()
 : <a class="el" href="classSVF_1_1MemSSA.html#a964f3fe39ece9a7b8b2033428b75a274">SVF::MemSSA</a>
 </li>
@@ -1791,7 +1809,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis</a>
 </li>
 <li>getPTAEdgeSet()
-: <a class="el" href="classSVF_1_1IRGraph.html#a2e2b2090569c09c2e2f1d90d04fd2f8b">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a9c33009dc1aa3e16adfd34effd4471f6">SVF::SVFIR</a>
 </li>
 <li>getPTAPAGEdgeNum()
 : <a class="el" href="classSVF_1_1IRGraph.html#ad4860fe89aa3a11c73aac3ed60f712cb">SVF::IRGraph</a>
@@ -1814,15 +1832,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#a9b81d20e54d08e36edbff43549b1e820">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &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_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>
@@ -1871,9 +1889,15 @@ $(function() {
 <li>getRes()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2">SVF::PHIVFGNode</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a80eb6a6681caf7407d7e16b36d7cb658">SVF::UnaryOPPE</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259">SVF::UnaryOPVFGNode</a>
 </li>
+<li>getResID()
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#add17d2cf1d1ad46faf343c8f2ee2a5f8">SVF::UnaryOPPE</a>
+</li>
 <li>getResVer()
 : <a class="el" href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">SVF::MSSAPHISVFGNode</a>
@@ -1902,7 +1926,6 @@ $(function() {
 </li>
 <li>getReturnNode()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a802d7aa5c5bdc5c8720120f71d316b68">SVF::ConstraintGraph</a>
-, <a class="el" href="classSVF_1_1ExternalPAG.html#ab32ce97e36e69379bc6b70c1657bbaa6">SVF::ExternalPAG</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910">SVF::IRGraph</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#aff99c8de4acf4eeaf01803dadf459b92">SVF::SVFIRBuilder</a>
 </li>
@@ -1914,7 +1937,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#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">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>
@@ -1972,10 +1995,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a4918e3e3e289cc39f3442cb26f28bcc4">SVF::LeakChecker</a>
 </li>
 <li>getSrcID()
-: <a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge&lt; NodeTy &gt;</a>
+: <a class="el" href="classSVF_1_1BinaryOPPE.html#a62e2bf0b9c769c23f537ba4d3537b42b">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1BranchStmt.html#ab9c4a6190ecc1aead171c828450d69cb">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1CmpPE.html#aa69a4905db6aa3a5a24645be84d75a2e">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge&lt; NodeTy &gt;</a>
+, <a class="el" href="classSVF_1_1PhiPE.html#a3744f6f373df3d4671ba6064437cb562">SVF::PhiPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a470aed30aaa89484ae29c55729596322">SVF::UnaryOPPE</a>
 </li>
 <li>getSrcNode()
-: <a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge&lt; NodeTy &gt;</a>
+: <a class="el" href="classSVF_1_1BinaryOPPE.html#a13f8f936a0f8b3614543ec9cbb60eb58">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1CmpPE.html#a8809fbf0f9b34769a3fc0025996df8bc">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge&lt; NodeTy &gt;</a>
+, <a class="el" href="classSVF_1_1PhiPE.html#ad6ab8b64a2868f38cc309584efd6ab53">SVF::PhiPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPPE.html#a9ebc160ddba554b395cef580b694a316">SVF::UnaryOPPE</a>
 </li>
 <li>getSSAVersion()
 : <a class="el" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer</a>
@@ -2039,6 +2072,14 @@ $(function() {
 <li>getSubs()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ade6a90ed5e0a9e8615bafec54d9d1d73">SVF::ConstraintGraph</a>
 </li>
+<li>getSuccessor()
+: <a class="el" href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1BranchVFGNode.html#ae611eb1d27846c15b7301017e1864a30">SVF::BranchVFGNode</a>
+</li>
+<li>getSuccessors()
+: <a class="el" href="classSVF_1_1BranchStmt.html#ae3aecc257d37c20084633027cb312faa">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1BranchVFGNode.html#abed63cf10f8e8cb9bb4b01772e4b0c6d">SVF::BranchVFGNode</a>
+</li>
 <li>getSuccNodes()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
 </li>
@@ -2079,10 +2120,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#aabc2c84e951ed9ae64207e379acb3074">SVF::TCT</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2096,7 +2137,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>
@@ -2163,20 +2204,14 @@ $(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>
 </li>
-<li>getUnaryNodeMap()
-: <a class="el" href="classSVF_1_1SVFIR.html#a8ab6b4a744b462a36aa469fe30345577">SVF::SVFIR</a>
-</li>
 <li>getUnaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd">SVF::VFG</a>
 </li>
-<li>getUnaryPEs()
-: <a class="el" href="classSVF_1_1SVFIR.html#ae29da52f0907f16446d95dc758ddd3d7">SVF::SVFIR</a>
-</li>
 <li>getUnifyExit()
 : <a class="el" href="classSVF_1_1MergeFunctionRets.html#a0644ac0f560911632855d9129f3d71ca">SVF::MergeFunctionRets</a>
 </li>
@@ -2221,9 +2256,6 @@ $(function() {
 <li>getValueNodeNum()
 : <a class="el" href="classSVF_1_1IRGraph.html#a4c8ef6e30a33ecbdc4024e201237ae22">SVF::IRGraph</a>
 </li>
-<li>getValueNodes()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a1d35176325629ae64beb28d5474dd8d7">SVF::ExternalPAG</a>
-</li>
 <li>getVarargNode()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a527342ce5ac3b9491d7ad4302145cec5">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b">SVF::IRGraph</a>
@@ -2300,7 +2332,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c">SVF::VersionedFlowSensitive</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
 </li>
 <li>global_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>

package/SVF-doxygen/html/html/functions_func_h.html

@@ -277,9 +277,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1DCHGraph.html#a74b2e5787f65cf3e3b4a03ebec806b91">SVF::DCHGraph</a>
 </li>
-<li>hasExternalPAG()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a3a798aa788c5f1c200b7e2719660b5ec">SVF::ExternalPAG</a>
-</li>
 <li>hasFlag()
 : <a class="el" href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">SVF::CHNode</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">SVF::DCHNode</a>
@@ -319,7 +316,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a">SVF::ICFG</a>
 </li>
 <li>hasIncomingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1VFPathCond.html#abb236b6b551cb58e4fb483c07aa5aa77">SVF::VFPathCond</a>
 </li>
 <li>hasIncomingEdges()
@@ -384,7 +381,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a86f06a790cf90ec897b896a79956e5b4">SVF::LockAnalysis</a>
 </li>
 <li>hasOutgoingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1VFPathCond.html#a86e063928329b21cce0a319efac56fb9">SVF::VFPathCond</a>
 </li>
 <li>hasOutgoingEdges()
@@ -425,9 +422,6 @@ $(function() {
 <li>hasReturnMu()
 : <a class="el" href="classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f">SVF::MemSSA</a>
 </li>
-<li>hasReturnNode()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a419d2de51e3af016cf2cc3514ee0d735">SVF::ExternalPAG</a>
-</li>
 <li>hasSBSinkFlag()
 : <a class="el" href="classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e">SVF::Annotator</a>
 </li>
@@ -450,7 +444,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64">SVF::ICFG</a>
 </li>
 <li>hasThreadJoinEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a10f3f07059d0534e391093372fcd708d">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ac591fcd46254a0d809dac16ee15ab12e">SVF::ThreadCallGraph</a>
 </li>
 <li>hasThreadStmtSet()
 : <a class="el" href="classSVF_1_1MHP.html#a6841b147e2a681ea372bdddd53616294">SVF::MHP</a>

package/SVF-doxygen/html/html/functions_func_i.html

@@ -174,7 +174,6 @@ $(function() {
 </li>
 <li>initialise()
 : <a class="el" href="classSVF_1_1DDAClient.html#a40f6d8769db41f4c907fe5b615e5df83">SVF::DDAClient</a>
-, <a class="el" href="classSVF_1_1ExternalPAG.html#a865a75aec231c9122842d2bdafeb4f6b">SVF::ExternalPAG</a>
 </li>
 <li>initialiseCandidatePointers()
 : <a class="el" href="classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5">SVF::SVFIR</a>
@@ -369,9 +368,6 @@ $(function() {
 <li>isBBCallsProgExit()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a39c0cc9dec89b0b52bf9f1026da942e1">SVF::PathCondAllocator</a>
 </li>
-<li>isBinaryNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a156f3b985215a9d1c2e195c72d621e60">SVF::SVFIR</a>
-</li>
 <li>isbkVisited()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a9a9c3a8b5e4ffc89418073110e446f20">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
@@ -423,9 +419,6 @@ $(function() {
 <li>isClone()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#abce2ba326af69312c5971246cc4c10dc">SVF::TypeBasedHeapCloning</a>
 </li>
-<li>isCmpNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#ad39dee6cc5c65c0ece051ac7b0fcf89d">SVF::SVFIR</a>
-</li>
 <li>isConcreteCxt()
 : <a class="el" href="classSVF_1_1ContextCond.html#ac5f7388c0bbcee1878201819b9cd199f">SVF::ContextCond</a>
 </li>
@@ -433,6 +426,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a6b746c30161c7dab86510895e0032935">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#a57d309971de00db9bd8c6bfaf237cbff">SVF::ContextDDA</a>
 </li>
+<li>isConditional()
+: <a class="el" href="classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901">SVF::BranchStmt</a>
+</li>
 <li>isConnectedfromMain()
 : <a class="el" href="classSVF_1_1MHP.html#a1cfec64cc65abcbc5ba32695850bfb48">SVF::MHP</a>
 </li>
@@ -562,7 +558,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MHP.html#a6f07427b45991b2d8a3ff21582121d23">SVF::MHP</a>
 </li>
 <li>isHeadofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a4d36dc553bc87508b78add9b52ce9c2a">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5c32c2f5038aab15ec2da50c7c99b405">SVF::MTASVFGBuilder</a>
 </li>
 <li>isHeap()
 : <a class="el" href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">SVF::MemObj</a>
@@ -627,7 +623,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a65aca2bc12fc34203b16549653943eae">SVF::LockAnalysis</a>
 </li>
 <li>isInSameCSSpan()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a4245d946dd694b59b5c8ef30b08cb1dd">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a8595b976bf60d161561e5494257aa179">SVF::LockAnalysis</a>
 </li>
 <li>isInSameSpan()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#af30d0dad3d17188de8c2cea9b004f3d3">SVF::LockAnalysis</a>
@@ -910,14 +906,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a5521de9933ce74d0954a942dfceae772">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a9db4df7968ec179e5012794c58fdee70">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a0ff50b4312b9aa2c7ebd00e9a40a2668">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ae87d129560d7015966336f06a516db23">SVF::ThreadAPI</a>
@@ -931,11 +927,11 @@ $(function() {
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aac722a42dc6e03e771a7a80de5f8ec94">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#ab566508ffd73abd4d5ad047a1d7f9c27">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a8cc5f9ff6039392ce1471cd830973c44">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae312fa9ddb320674f7bc31e29aa474ed">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a38adae633d5aceddcca3b3a23ad66db9">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>
@@ -959,8 +955,8 @@ $(function() {
 <li>isTopLevelPtrStmt()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a7b35588de00e322afd742041bf735571">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>isUnaryNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a0c3b69d18967e3bcbb372b18b654b5a5">SVF::SVFIR</a>
+<li>isUnconditional()
+: <a class="el" href="classSVF_1_1BranchStmt.html#a038d65e38fe792fec4050d3d1c9c5180">SVF::BranchStmt</a>
 </li>
 <li>isValidPointer()
 : <a class="el" href="classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3">SVF::SVFIR</a>

package/SVF-doxygen/html/html/functions_func_m.html

@@ -61,6 +61,9 @@ $(function() {
  
 
 <h3><a id="index_m"></a>- m -</h3><ul>
+<li>makeEdgeFlagWithAddionalOpnd()
+: <a class="el" href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">SVF::SVFStmt</a>
+</li>
 <li>makeEdgeFlagWithCallInst()
 : <a class="el" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">SVF::SVFStmt</a>
 </li>
@@ -245,6 +248,9 @@ $(function() {
 <li>MTASVFGBuilder()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ae0cbe965ddbc511fb10e87fe8ae3912f">SVF::MTASVFGBuilder</a>
 </li>
+<li>MultiOpndStmt()
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c">SVF::MultiOpndStmt</a>
+</li>
 <li>mustAlias()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>

package/SVF-doxygen/html/html/functions_func_o.html

@@ -199,6 +199,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1BinaryOPPE.html#a9cad24d45c2ed94f321b1743bb7020df">SVF::BinaryOPPE</a>
 , <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a6e10436b82aa1e598f4ea9c06b5ef799">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910">SVF::BitVector</a>
+, <a class="el" href="classSVF_1_1BranchStmt.html#a4d89147be6703c297709cfe03c4b202b">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1BranchVFGNode.html#a3b05294417c222b3d0be2bf1d1b1e277">SVF::BranchVFGNode</a>
 , <a class="el" href="classSVF_1_1CallPE.html#a9ea8ddb83c64889c3baa128b72ff7207">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1CmpPE.html#aeab9328da01789aa1974a372738c6ec5">SVF::CmpPE</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#ae4984b52e88844a6c11732e9a6819fb2">SVF::CmpVFGNode</a>
@@ -230,8 +232,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39">SVF::NormalGepCGEdge</a>
 , <a class="el" href="classSVF_1_1NormalGepPE.html#ac05756f70d2211c72b7216c1d09ca9bf">SVF::NormalGepPE</a>
 , <a class="el" href="classSVF_1_1PathStmtDPItem.html#a36ff7567d47e3818d79ede424f736817">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo</a>
-, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ac35de79e5c5d48d7f8f6f22e8450a0f6">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1PhiPE.html#abd2a0e889e38cd6bcc4509c8bc73308a">SVF::PhiPE</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca">SVF::PTASCEV</a>
 , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">SVF::StmtDPItem&lt; LocCond &gt;</a>
@@ -265,7 +268,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CxtThreadProc.html#aef53ca59b8cbd614b28350d12113e3c4">SVF::CxtThreadProc</a>
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#af8f221ea17599dfb678922e1bad37f35">SVF::CxtThreadStmt</a>
 , <a class="el" href="classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a">SVF::DPItem</a>
-, <a class="el" href="classSVF_1_1GenericEdge.html#a88b2086dcebb60bc86bca0fb94f49fca">SVF::GenericEdge&lt; NodeTy &gt;</a>
+, <a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge&lt; NodeTy &gt;</a>
 , <a class="el" href="classSVF_1_1LocationSet.html#a1b141afb9a38d12423f66b2dfe6bf232">SVF::LocationSet</a>
 , <a class="el" href="classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1MemRegion.html#affa3a8efd91faf5704e514f1e83fead9">SVF::MemRegion</a>
@@ -293,6 +296,9 @@ $(function() {
 <li>Options()
 : <a class="el" href="classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078">SVF::Options</a>
 </li>
+<li>opVarBegin()
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9">SVF::MultiOpndStmt</a>
+</li>
 <li>opVerBegin()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904">SVF::CmpVFGNode</a>
@@ -308,6 +314,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799">SVF::IntraMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88">SVF::MSSAPHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf">SVF::MSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">SVF::UnaryOPVFGNode</a>
 </li>
@@ -319,7 +326,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
-: <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>outgoingAddrEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea">SVF::ConstraintNode</a>