svf-tools 1.0.1217 → 1.0.1219

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.1217",
+  "version": "1.0.1219",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {

package/svf/include/Graphs/VFG.h

@@ -640,8 +640,7 @@ protected:
     /// Add an llvm PHI VFG node
     inline void addIntraPHIVFGNode(const MultiOpndStmt* edge)
     {
-        const ValVar* res = SVFUtil::cast<ValVar>(edge->getRes());
-        IntraPHIVFGNode* sNode = new IntraPHIVFGNode(totalVFGNode++,res);
+        IntraPHIVFGNode* sNode = new IntraPHIVFGNode(totalVFGNode++, edge->getRes());
         u32_t pos = 0;
         for(auto var : edge->getOpndVars())
         {
@@ -649,14 +648,13 @@ protected:
             pos++;
         }
         addVFGNode(sNode,edge->getICFGNode());
-        setDef(res,sNode);
-        SVFVarToIntraPHIVFGNodeMap[res] = sNode;
+        setDef(edge->getRes(),sNode);
+        SVFVarToIntraPHIVFGNodeMap[edge->getRes()] = sNode;
     }
     /// Add a Compare VFG node
     inline void addCmpVFGNode(const CmpStmt* edge)
     {
-        const ValVar* res = SVFUtil::cast<ValVar>(edge->getRes());
-        CmpVFGNode* sNode = new CmpVFGNode(totalVFGNode++, res);
+        CmpVFGNode* sNode = new CmpVFGNode(totalVFGNode++, edge->getRes());
         u32_t pos = 0;
         for(auto var : edge->getOpndVars())
         {
@@ -664,14 +662,13 @@ protected:
             pos++;
         }
         addVFGNode(sNode,edge->getICFGNode());
-        setDef(res,sNode);
-        SVFVarToCmpVFGNodeMap[res] = sNode;
+        setDef(edge->getRes(),sNode);
+        SVFVarToCmpVFGNodeMap[edge->getRes()] = sNode;
     }
     /// Add a BinaryOperator VFG node
     inline void addBinaryOPVFGNode(const BinaryOPStmt* edge)
     {
-        const ValVar* res = SVFUtil::cast<ValVar>(edge->getRes());
-        BinaryOPVFGNode* sNode = new BinaryOPVFGNode(totalVFGNode++, res);
+        BinaryOPVFGNode* sNode = new BinaryOPVFGNode(totalVFGNode++, edge->getRes());
         u32_t pos = 0;
         for(auto var : edge->getOpndVars())
         {
@@ -679,8 +676,8 @@ protected:
             pos++;
         }
         addVFGNode(sNode,edge->getICFGNode());
-        setDef(res,sNode);
-        SVFVarToBinaryOPVFGNodeMap[res] = sNode;
+        setDef(edge->getRes(),sNode);
+        SVFVarToBinaryOPVFGNodeMap[edge->getRes()] = sNode;
     }
     /// Add a UnaryOperator VFG node
     inline void addUnaryOPVFGNode(const UnaryOPStmt* edge)

package/svf/include/SVFIR/SVFStatements.h

@@ -867,10 +867,7 @@ public:
         return opVars.at(pos);
     }
     /// Result SVFVar
-    inline const SVFVar* getRes() const
-    {
-        return SVFStmt::getDstNode();
-    }
+    const ValVar* getRes() const;
 
     NodeID getOpVarID(u32_t pos) const;
     NodeID getResID() const;

package/svf/lib/DDA/ContextDDA.cpp

@@ -79,8 +79,8 @@ const CxtPtSet& ContextDDA::computeDDAPts(const CxtVar& var)
     LocDPItem::setMaxBudget(Options::CxtBudget());
 
     NodeID id = var.get_id();
-    const SVFVar* node = getPAG()->getSVFVar(id);
-    CxtLocDPItem dpm = getDPIm(var, getDefSVFGNode(SVFUtil::cast<ValVar>(node)));
+    const ValVar* node = getPAG()->getValVar(id);
+    CxtLocDPItem dpm = getDPIm(var, getDefSVFGNode(node));
 
     // start DDA analysis
     DOTIMESTAT(double start = DDAStat::getClk(true));
@@ -191,9 +191,9 @@ bool ContextDDA::testIndCallReachability(CxtLocDPItem& dpm, const FunObjVar* cal
     if(getPAG()->isIndirectCallSites(cs))
     {
         NodeID id = getPAG()->getFunPtr(cs);
-        const SVFVar* node = getPAG()->getSVFVar(id);
+        const ValVar* node = getPAG()->getValVar(id);
         CxtVar funptrVar(dpm.getCondVar().get_cond(), id);
-        CxtLocDPItem funptrDpm = getDPIm(funptrVar,getDefSVFGNode(SVFUtil::cast<ValVar>(node)));
+        CxtLocDPItem funptrDpm = getDPIm(funptrVar,getDefSVFGNode(node));
         PointsTo pts = getBVPointsTo(findPT(funptrDpm));
         if(pts.test(callee->getId()))
             return true;

package/svf/lib/DDA/FlowDDA.cpp

@@ -45,8 +45,8 @@ void FlowDDA::computeDDAPts(NodeID id)
     resetQuery();
     LocDPItem::setMaxBudget(Options::FlowBudget());
 
-    const SVFVar* node = getPAG()->getSVFVar(id);
-    LocDPItem dpm = getDPIm(node->getId(),getDefSVFGNode(SVFUtil::cast<ValVar>(node)));
+    const ValVar* node = getPAG()->getValVar(id);
+    LocDPItem dpm = getDPIm(node->getId(),getDefSVFGNode(node));
 
     /// start DDA analysis
     DOTIMESTAT(double start = DDAStat::getClk(true));

package/svf/lib/Graphs/SVFGOPT.cpp

@@ -199,7 +199,7 @@ void SVFGOPT::replaceFParamARetWithPHI(PHISVFGNode* phi, SVFGNode* svfgNode)
             ActualParmSVFGNode* ap = SVFUtil::cast<ActualParmSVFGNode>((*it)->getSrcNode());
             addInterPHIOperands(phi, ap->getParam());
             // connect actual param's def node to phi node
-            addCallEdge(getDef(SVFUtil::cast<ValVar>(ap->getParam())), phiId, getCallSiteID(ap->getCallSite(), fp->getFun()));
+            addCallEdge(getDef(ap->getParam()), phiId, getCallSiteID(ap->getCallSite(), fp->getFun()));
         }
     }
     else if (ActualRetSVFGNode* ar = SVFUtil::dyn_cast<ActualRetSVFGNode>(svfgNode))
@@ -210,7 +210,7 @@ void SVFGOPT::replaceFParamARetWithPHI(PHISVFGNode* phi, SVFGNode* svfgNode)
             FormalRetSVFGNode* fr = SVFUtil::cast<FormalRetSVFGNode>((*it)->getSrcNode());
             addInterPHIOperands(phi, fr->getRet());
             // connect formal return's def node to phi node
-            addRetEdge(getDef(SVFUtil::cast<ValVar>(fr->getRet())), phiId, getCallSiteID(ar->getCallSite(), fr->getFun()));
+            addRetEdge(getDef(fr->getRet()), phiId, getCallSiteID(ar->getCallSite(), fr->getFun()));
         }
     }
 

package/svf/lib/Graphs/VFG.cpp

@@ -747,7 +747,7 @@ void VFG::connectDirectVFGEdges()
                 {
                     if(varType.first->isConstDataOrAggDataButNotNullPtr() || isInterestedSVFVar(varType.first) == false)
                         continue;
-                    addIntraDirectVFEdge(getDef(SVFUtil::cast<ValVar>(varType.first)), nodeId);
+                    addIntraDirectVFEdge(getDef(varType.first), nodeId);
                 }
             }
             /// for store, connect the RHS/LHS pointer to its def

package/svf/lib/SABER/SaberSVFGBuilder.cpp

@@ -185,23 +185,23 @@ void SaberSVFGBuilder::rmDerefDirSVFGEdges(BVDataPTAImpl* pta)
         if(const StmtSVFGNode* stmtNode = SVFUtil::dyn_cast<StmtSVFGNode>(node))
         {
             /// for store, connect the RHS/LHS pointer to its def
-            if(SVFUtil::isa<StoreSVFGNode>(stmtNode))
+            if(const StoreSVFGNode* store = SVFUtil::dyn_cast<StoreSVFGNode>(stmtNode))
             {
-                const SVFGNode* def = svfg->getDefSVFGNode(SVFUtil::cast<ValVar>(stmtNode->getDstNode()));
-                if(SVFGEdge* edge = svfg->getIntraVFGEdge(def,stmtNode,SVFGEdge::IntraDirectVF))
+                const SVFGNode* def = svfg->getDefSVFGNode(store->getDstNode());
+                if(SVFGEdge* edge = svfg->getIntraVFGEdge(def,store,SVFGEdge::IntraDirectVF))
                     svfg->removeSVFGEdge(edge);
                 else
                     assert((svfg->getKind()==VFG::FULLSVFG_OPT || svfg->getKind()==VFG::PTRONLYSVFG_OPT)  && "Edge not found!");
 
-                if(accessGlobal(pta,stmtNode->getDstNode()))
+                if(accessGlobal(pta,store->getDstNode()))
                 {
-                    globSVFGNodes.insert(stmtNode);
+                    globSVFGNodes.insert(store);
                 }
             }
-            else if(SVFUtil::isa<LoadSVFGNode>(stmtNode))
+            else if(const LoadSVFGNode* load = SVFUtil::dyn_cast<LoadSVFGNode>(stmtNode))
             {
-                const SVFGNode* def = svfg->getDefSVFGNode(SVFUtil::cast<ValVar>(stmtNode->getSrcNode()));
-                if(SVFGEdge* edge = svfg->getIntraVFGEdge(def,stmtNode,SVFGEdge::IntraDirectVF))
+                const SVFGNode* def = svfg->getDefSVFGNode(load->getSrcNode());
+                if(SVFGEdge* edge = svfg->getIntraVFGEdge(def,load,SVFGEdge::IntraDirectVF))
                     svfg->removeSVFGEdge(edge);
                 else
                     assert((svfg->getKind()==VFG::FULLSVFG_OPT || svfg->getKind()==VFG::PTRONLYSVFG_OPT)  && "Edge not found!");

package/svf/lib/SVFIR/SVFIR.cpp

@@ -107,8 +107,8 @@ void SVFIR::addCopyStmt(CopyStmt* edge)
  */
 PhiStmt* SVFIR::addPhiStmt(NodeID res, NodeID opnd, const ICFGNode* pred)
 {
-    ValVar* opNode = SVFUtil::cast<ValVar>(getGNode(opnd));
-    ValVar* resNode = SVFUtil::cast<ValVar>(getGNode(res));
+    ValVar* opNode = const_cast<ValVar*>(getValVar(opnd));
+    ValVar* resNode = const_cast<ValVar*>(getValVar(res));
     PHINodeMap::iterator it = phiNodeMap.find(resNode);
     if(it == phiNodeMap.end())
     {
@@ -140,10 +140,10 @@ void SVFIR::addPhiStmt(PhiStmt* edge, SVFVar* src, SVFVar* dst)
  */
 SelectStmt* SVFIR::addSelectStmt(NodeID res, NodeID op1, NodeID op2, NodeID cond)
 {
-    ValVar* op1Node = SVFUtil::cast<ValVar>(getGNode(op1));
-    ValVar* op2Node = SVFUtil::cast<ValVar>(getGNode(op2));
-    ValVar* dstNode = SVFUtil::cast<ValVar>(getGNode(res));
-    SVFVar* condNode = getGNode(cond);
+    ValVar* op1Node = const_cast<ValVar*>(getValVar(op1));
+    ValVar* op2Node = const_cast<ValVar*>(getValVar(op2));
+    ValVar* dstNode = const_cast<ValVar*>(getValVar(res));
+    const SVFVar* condNode = getGNode(cond);
     if(hasLabeledEdge(op1Node, dstNode, SVFStmt::Select, op2Node))
         return nullptr;
     else
@@ -166,9 +166,9 @@ void SVFIR::addSelectStmt(SelectStmt* edge, SVFVar* src, SVFVar* dst)
  */
 CmpStmt* SVFIR::addCmpStmt(NodeID op1, NodeID op2, NodeID dst, u32_t predicate)
 {
-    ValVar* op1Node = SVFUtil::cast<ValVar>(getGNode(op1));
-    ValVar* op2Node = SVFUtil::cast<ValVar>(getGNode(op2));
-    ValVar* dstNode = SVFUtil::cast<ValVar>(getGNode(dst));
+    ValVar* op1Node = const_cast<ValVar*>(getValVar(op1));
+    ValVar* op2Node = const_cast<ValVar*>(getValVar(op2));
+    ValVar* dstNode = const_cast<ValVar*>(getValVar(dst));
     if(hasLabeledEdge(op1Node, dstNode, SVFStmt::Cmp, op2Node))
         return nullptr;
     else
@@ -192,9 +192,9 @@ void SVFIR::addCmpStmt(CmpStmt* edge, SVFVar* src, SVFVar* dst)
  */
 BinaryOPStmt* SVFIR::addBinaryOPStmt(NodeID op1, NodeID op2, NodeID dst, u32_t opcode)
 {
-    ValVar* op1Node = SVFUtil::cast<ValVar>(getGNode(op1));
-    ValVar* op2Node = SVFUtil::cast<ValVar>(getGNode(op2));
-    ValVar* dstNode = SVFUtil::cast<ValVar>(getGNode(dst));
+    ValVar* op1Node = const_cast<ValVar*>(getValVar(op1));
+    ValVar* op2Node = const_cast<ValVar*>(getValVar(op2));
+    ValVar* dstNode = const_cast<ValVar*>(getValVar(dst));
     if(hasLabeledEdge(op1Node, dstNode, SVFStmt::BinaryOp, op2Node))
         return nullptr;
     else
@@ -216,8 +216,8 @@ void SVFIR::addBinaryOPStmt(BinaryOPStmt* edge, SVFVar* src, SVFVar* dst)
  */
 UnaryOPStmt* SVFIR::addUnaryOPStmt(NodeID src, NodeID dst, u32_t opcode)
 {
-    ValVar* srcNode = SVFUtil::cast<ValVar>(getGNode(src));
-    ValVar* dstNode = SVFUtil::cast<ValVar>(getGNode(dst));
+    ValVar* srcNode = const_cast<ValVar*>(getValVar(src));
+    ValVar* dstNode = const_cast<ValVar*>(getValVar(dst));
     if(hasNonlabeledEdge(srcNode,dstNode, SVFStmt::UnaryOp))
         return nullptr;
     else
@@ -239,8 +239,8 @@ void SVFIR::addUnaryOPStmt(UnaryOPStmt* edge, SVFVar* src, SVFVar* dst)
 */
 BranchStmt* SVFIR::addBranchStmt(NodeID br, NodeID cond, const BranchStmt::SuccAndCondPairVec&  succs)
 {
-    ValVar* brNode = SVFUtil::cast<ValVar>(getGNode(br));
-    ValVar* condNode = SVFUtil::cast<ValVar>(getGNode(cond));
+    ValVar* brNode = const_cast<ValVar*>(getValVar(br));
+    ValVar* condNode = const_cast<ValVar*>(getValVar(cond));
     if(hasNonlabeledEdge(condNode,brNode, SVFStmt::Branch))
         return nullptr;
     else

package/svf/lib/SVFIR/SVFStatements.cpp

@@ -290,50 +290,158 @@ const std::string TDJoinPE::toString() const
     return rawstr.str();
 }
 
-const ObjVar* AddrStmt::getRHSVar() const { return cast<ObjVar>(SVFStmt::getSrcNode()); }
-const ValVar* AddrStmt::getLHSVar() const { return cast<ValVar>(SVFStmt::getDstNode()); }
-const ObjVar* AddrStmt::getSrcNode() const { return getRHSVar(); }
-const ValVar* AddrStmt::getDstNode() const { return getLHSVar(); }
-
-const ValVar* CopyStmt::getRHSVar() const { return cast<ValVar>(SVFStmt::getSrcNode()); }
-const ValVar* CopyStmt::getLHSVar() const { return cast<ValVar>(SVFStmt::getDstNode()); }
-const ValVar* CopyStmt::getSrcNode() const { return getRHSVar(); }
-const ValVar* CopyStmt::getDstNode() const { return getLHSVar(); }
-
-const ValVar* StoreStmt::getRHSVar() const { return cast<ValVar>(SVFStmt::getSrcNode()); }
-const ValVar* StoreStmt::getLHSVar() const { return cast<ValVar>(SVFStmt::getDstNode()); }
-const ValVar* StoreStmt::getSrcNode() const { return getRHSVar(); }
-const ValVar* StoreStmt::getDstNode() const { return getLHSVar(); }
-
-const ValVar* LoadStmt::getRHSVar() const { return cast<ValVar>(SVFStmt::getSrcNode()); }
-const ValVar* LoadStmt::getLHSVar() const { return cast<ValVar>(SVFStmt::getDstNode()); }
-const ValVar* LoadStmt::getSrcNode() const { return getRHSVar(); }
-const ValVar* LoadStmt::getDstNode() const { return getLHSVar(); }
-
-const ValVar* GepStmt::getRHSVar() const { return cast<ValVar>(SVFStmt::getSrcNode()); }
-const ValVar* GepStmt::getLHSVar() const { return cast<ValVar>(SVFStmt::getDstNode()); }
-const ValVar* GepStmt::getSrcNode() const { return getRHSVar(); }
-const ValVar* GepStmt::getDstNode() const { return getLHSVar(); }
-
-const ValVar* CallPE::getRHSVar() const { return cast<ValVar>(SVFStmt::getSrcNode()); }
-const ValVar* CallPE::getLHSVar() const { return cast<ValVar>(SVFStmt::getDstNode()); }
-const ValVar* CallPE::getSrcNode() const { return getRHSVar(); }
-const ValVar* CallPE::getDstNode() const { return getLHSVar(); }
-
-const ValVar* RetPE::getRHSVar() const { return cast<ValVar>(SVFStmt::getSrcNode()); }
-const ValVar* RetPE::getLHSVar() const { return cast<ValVar>(SVFStmt::getDstNode()); }
-const ValVar* RetPE::getSrcNode() const { return getRHSVar(); }
-const ValVar* RetPE::getDstNode() const { return getLHSVar(); }
-
-const ValVar* TDForkPE::getRHSVar() const { return cast<ValVar>(SVFStmt::getSrcNode()); }
-const ValVar* TDForkPE::getLHSVar() const { return cast<ValVar>(SVFStmt::getDstNode()); }
-const ValVar* TDForkPE::getSrcNode() const { return getRHSVar(); }
-const ValVar* TDForkPE::getDstNode() const { return getLHSVar(); }
-
-const ValVar* TDJoinPE::getRHSVar() const { return cast<ValVar>(SVFStmt::getSrcNode()); }
-const ValVar* TDJoinPE::getLHSVar() const { return cast<ValVar>(SVFStmt::getDstNode()); }
-const ValVar* TDJoinPE::getSrcNode() const { return getRHSVar(); }
-const ValVar* TDJoinPE::getDstNode() const { return getLHSVar(); }
+const ObjVar* AddrStmt::getRHSVar() const
+{
+    return cast<ObjVar>(SVFStmt::getSrcNode());
+}
+const ValVar* AddrStmt::getLHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getDstNode());
+}
+const ObjVar* AddrStmt::getSrcNode() const
+{
+    return getRHSVar();
+}
+const ValVar* AddrStmt::getDstNode() const
+{
+    return getLHSVar();
+}
+
+const ValVar* CopyStmt::getRHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getSrcNode());
+}
+const ValVar* CopyStmt::getLHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getDstNode());
+}
+const ValVar* CopyStmt::getSrcNode() const
+{
+    return getRHSVar();
+}
+const ValVar* CopyStmt::getDstNode() const
+{
+    return getLHSVar();
+}
+
+const ValVar* StoreStmt::getRHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getSrcNode());
+}
+const ValVar* StoreStmt::getLHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getDstNode());
+}
+const ValVar* StoreStmt::getSrcNode() const
+{
+    return getRHSVar();
+}
+const ValVar* StoreStmt::getDstNode() const
+{
+    return getLHSVar();
+}
+
+const ValVar* LoadStmt::getRHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getSrcNode());
+}
+const ValVar* LoadStmt::getLHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getDstNode());
+}
+const ValVar* LoadStmt::getSrcNode() const
+{
+    return getRHSVar();
+}
+const ValVar* LoadStmt::getDstNode() const
+{
+    return getLHSVar();
+}
+
+const ValVar* GepStmt::getRHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getSrcNode());
+}
+const ValVar* GepStmt::getLHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getDstNode());
+}
+const ValVar* GepStmt::getSrcNode() const
+{
+    return getRHSVar();
+}
+const ValVar* GepStmt::getDstNode() const
+{
+    return getLHSVar();
+}
+
+const ValVar* CallPE::getRHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getSrcNode());
+}
+const ValVar* CallPE::getLHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getDstNode());
+}
+const ValVar* CallPE::getSrcNode() const
+{
+    return getRHSVar();
+}
+const ValVar* CallPE::getDstNode() const
+{
+    return getLHSVar();
+}
+
+const ValVar* RetPE::getRHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getSrcNode());
+}
+const ValVar* RetPE::getLHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getDstNode());
+}
+const ValVar* RetPE::getSrcNode() const
+{
+    return getRHSVar();
+}
+const ValVar* RetPE::getDstNode() const
+{
+    return getLHSVar();
+}
+
+const ValVar* TDForkPE::getRHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getSrcNode());
+}
+const ValVar* TDForkPE::getLHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getDstNode());
+}
+const ValVar* TDForkPE::getSrcNode() const
+{
+    return getRHSVar();
+}
+const ValVar* TDForkPE::getDstNode() const
+{
+    return getLHSVar();
+}
+
+const ValVar* TDJoinPE::getRHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getSrcNode());
+}
+const ValVar* TDJoinPE::getLHSVar() const
+{
+    return cast<ValVar>(SVFStmt::getDstNode());
+}
+const ValVar* TDJoinPE::getSrcNode() const
+{
+    return getRHSVar();
+}
+const ValVar* TDJoinPE::getDstNode() const
+{
+    return getLHSVar();
+}
 
 
 NodeID MultiOpndStmt::getOpVarID(u32_t pos) const
@@ -364,6 +472,11 @@ const ValVar* UnaryOPStmt::getRes() const
     return cast<ValVar>(SVFStmt::getDstNode());
 }
 
+const ValVar* MultiOpndStmt::getRes() const
+{
+    return cast<ValVar>(SVFStmt::getDstNode());
+}
+
 /// Return true if this is a phi at the function exit
 /// to receive one or multiple return values of this function
 bool PhiStmt::isFunctionRetPhi() const