svf-lib 1.0.992 → 1.0.995

package/SVF-osx/include/Graphs/CFLGraph.h

@@ -81,13 +81,16 @@ public:
     ~CFLGraph() override = default;
 
     /// Build graph by copying nodes and edges from any graph inherited from GenericGraph
-    template<class N, class E> 
-    void build(GenericGraph<N,E>* graph){
-        for(auto it = graph->begin(); it!= graph->end(); it++){
+    template<class N, class E>
+    void build(GenericGraph<N,E>* graph)
+    {
+        for(auto it = graph->begin(); it!= graph->end(); it++)
+        {
             CFLNode* node = new CFLNode((*it).first);
             addCFLNode((*it).first, node);
         }
-        for(auto it = graph->begin(); it!= graph->end(); it++){
+        for(auto it = graph->begin(); it!= graph->end(); it++)
+        {
             N* node = (*it).second;
             for(E* edge : node->getOutEdges())
             {
@@ -97,18 +100,21 @@ public:
     }
 
     /// Build Bidirectional graph by copying nodes and edges from any graph inherited from GenericGraph
-    template<class N, class E> 
-    void buildBigraph(GenericGraph<N,E>* graph){
-        for(auto it = graph->begin(); it!= graph->end(); it++){
+    template<class N, class E>
+    void buildBigraph(GenericGraph<N,E>* graph)
+    {
+        for(auto it = graph->begin(); it!= graph->end(); it++)
+        {
             CFLNode* node = new CFLNode((*it).first);
             addCFLNode((*it).first, node);
         }
-        for(auto it = graph->begin(); it!= graph->end(); it++){
+        for(auto it = graph->begin(); it!= graph->end(); it++)
+        {
             N* node = (*it).second;
             for(E* edge : node->getOutEdges())
             {
                 addCFLEdge(getGNode(edge->getSrcID()), getGNode(edge->getDstID()), edge->getEdgeKind());
-                std::string key = "";                
+                std::string key = "";
                 for (auto &i : this->label2SymMap)
                 {
                     if (i.second == edge->getEdgeKind())
@@ -134,7 +140,7 @@ public:
 
     /// Build graph from file
     void build(std::string filename);
-    
+
     /// Build graph from Dot
     void buildFromDot(std::string filename);
 

package/SVF-osx/include/Graphs/CHG.h

@@ -25,7 +25,7 @@
  *
  *  Created on: Apr 13, 2016
  *      Author: Xiaokang Fan
- * 
+ *
  * Created on: Aug 24, 2019
  *      Author: Mohamad Barbar
  */
@@ -207,7 +207,7 @@ private:
 typedef GenericGraph<CHNode,CHEdge> GenericCHGraphTy;
 class CHGraph: public CommonCHGraph, public GenericCHGraphTy
 {
-friend class CHGBuilder;
+    friend class CHGBuilder;
 
 public:
     typedef Set<const CHNode*> CHNodeSetTy;

package/SVF-osx/include/Graphs/ConsG.h

@@ -166,7 +166,8 @@ public:
             auto eit = LoadCGEdgeSet.find(&edge);
             return *eit;
         }
-        else{
+        else
+        {
             assert(false && "no other kind!");
             return nullptr;
         }

package/SVF-osx/include/Graphs/GenericGraph.h

@@ -157,8 +157,8 @@ public:
     /// Destructor
     virtual ~GenericNode()
     {
-      for (auto * edge : OutEdges)
-        delete edge;
+        for (auto * edge : OutEdges)
+            delete edge;
     }
 
     /// Get ID
@@ -354,7 +354,7 @@ public:
     void destroy()
     {
         for (auto &entry : IDToNodeMap)
-          delete entry.second;
+            delete entry.second;
     }
     /// Iterators
     //@{

package/SVF-osx/include/Graphs/ICFG.h

@@ -46,7 +46,7 @@ typedef GenericGraph<ICFGNode,ICFGEdge> GenericICFGTy;
 class ICFG : public GenericICFGTy
 {
 
-friend class ICFGBuilder;
+    friend class ICFGBuilder;
 
 public:
 
@@ -182,7 +182,7 @@ public:
     //@}
 
 private:
-	
+
     /// Get/Add IntraBlock ICFGNode
     inline IntraICFGNode* getIntraBlock(const Instruction* inst)
     {

package/SVF-osx/include/Graphs/ICFGEdge.h

@@ -134,16 +134,19 @@ public:
     }
     //@}
 
-    const Value* getCondition() const{
+    const Value* getCondition() const
+    {
         return conditionVar;
     }
 
-    s32_t getSuccessorCondValue() const{
+    s32_t getSuccessorCondValue() const
+    {
         assert(getCondition() && "this is not a conditional branch edge");
         return branchCondVal;
     }
 
-    void setBranchCondition(const Value* c, s32_t bVal){
+    void setBranchCondition(const Value* c, s32_t bVal)
+    {
         conditionVar = c;
         branchCondVal = bVal;
     }
@@ -166,7 +169,7 @@ class CallCFGEdge : public ICFGEdge
 {
 
 private:
-	const Instruction*  cs;
+    const Instruction*  cs;
     std::vector<const CallPE*> callPEs;
 public:
     /// Constructor
@@ -180,11 +183,13 @@ public:
         return cs;
     }
     /// Add call parameter edge to this CallCFGEdge
-    inline void addCallPE(const CallPE* callPE){
+    inline void addCallPE(const CallPE* callPE)
+    {
         callPEs.push_back(callPE);
     }
     /// Add get parameter edge to this CallCFGEdge
-    inline const std::vector<const CallPE*>& getCallPEs() const{
+    inline const std::vector<const CallPE*>& getCallPEs() const
+    {
         return callPEs;
     }
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -212,7 +217,7 @@ class RetCFGEdge : public ICFGEdge
 {
 
 private:
-	const Instruction*  cs;
+    const Instruction*  cs;
     const RetPE* retPE;
 public:
     /// Constructor
@@ -226,12 +231,14 @@ public:
         return cs;
     }
     /// Add call parameter edge to this CallCFGEdge
-    inline void addRetPE(const RetPE* ret){
+    inline void addRetPE(const RetPE* ret)
+    {
         assert(retPE==nullptr && "we can only have one retPE for each RetCFGEdge");
         retPE = ret;
     }
     /// Add get parameter edge to this CallCFGEdge
-    inline const RetPE* getRetPE() const{
+    inline const RetPE* getRetPE() const
+    {
         return retPE;
     }
     /// Methods for support type inquiry through isa, cast, and dyn_cast:

package/SVF-osx/include/Graphs/ICFGNode.h

@@ -145,7 +145,7 @@ class GlobalICFGNode : public ICFGNode
 public:
     GlobalICFGNode(NodeID id) : ICFGNode(id, GlobalBlock)
     {
-    	bb = nullptr;
+        bb = nullptr;
     }
 
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -385,7 +385,7 @@ public:
     /// Return callsite
     inline const RetICFGNode* getRetICFGNode() const
     {
-    	assert(ret && "RetICFGNode not set?");
+        assert(ret && "RetICFGNode not set?");
         return ret;
     }
 

package/SVF-osx/include/Graphs/IRGraph.h

@@ -21,7 +21,7 @@
 //===----------------------------------------------------------------------===//
 
 /*
- * IRGraph.h 
+ * IRGraph.h
  *
  *  Created on: Nov 1, 2013
  *      Author: Yulei Sui
@@ -81,17 +81,20 @@ protected:
     inline void mapValueToEdge(const Value *V, SVFStmt *edge)
     {
         auto inserted = valueToEdgeMap.emplace(V, SVFStmtSet{edge});
-        if (!inserted.second) {
+        if (!inserted.second)
+        {
             inserted.first->second.emplace(edge);
         }
     }
     /// get MemObj according to LLVM value
-    inline const MemObj* getMemObj(const Value* val) const{
+    inline const MemObj* getMemObj(const Value* val) const
+    {
         return symInfo->getObj(symInfo->getObjSym(val));
     }
-    
+
 public:
-    IRGraph(bool buildFromFile): fromFile(buildFromFile), nodeNumAfterPAGBuild(0), totalPTAPAGEdge(0){
+    IRGraph(bool buildFromFile): fromFile(buildFromFile), nodeNumAfterPAGBuild(0), totalPTAPAGEdge(0)
+    {
         symInfo = SymbolTableInfo::SymbolInfo();
         // insert dummy value if a correct value cannot be found
         valueToEdgeMap[nullptr] = SVFStmtSet();
@@ -108,7 +111,8 @@ public:
     inline const SVFStmtSet& getValueEdges(const Value *V)
     {
         auto it = valueToEdgeMap.find(V);
-        if (it == valueToEdgeMap.end()) {
+        if (it == valueToEdgeMap.end())
+        {
             //special empty set
             return valueToEdgeMap.at(nullptr);
         }

package/SVF-osx/include/Graphs/PTACallGraph.h

@@ -322,7 +322,7 @@ public:
         assert(it!=funToCallGraphNodeMap.end() && "call graph node not found!!");
         return it->second;
     }
-    
+
     //@}
 
     /// Add/Get CallSiteID

package/SVF-osx/include/Graphs/SVFG.h

@@ -251,7 +251,8 @@ public:
     }
 
     /// Return total SVFG node number
-    inline u32_t getSVFGNodeNum() const {
+    inline u32_t getSVFGNodeNum() const
+    {
         return nodeNum;
     }
 
@@ -428,8 +429,8 @@ protected:
     }
 
     /// Add memory SSA PHI SVFG node
-    inline void addIntraMSSAPHISVFGNode(ICFGNode* BlockICFGNode, const Map<u32_t,const MRVer*>::const_iterator opVerBegin, 
-    const  Map<u32_t,const MRVer*>::const_iterator opVerEnd, const MRVer* resVer, const NodeID nodeId)
+    inline void addIntraMSSAPHISVFGNode(ICFGNode* BlockICFGNode, const Map<u32_t,const MRVer*>::const_iterator opVerBegin,
+                                        const  Map<u32_t,const MRVer*>::const_iterator opVerEnd, const MRVer* resVer, const NodeID nodeId)
     {
         IntraMSSAPHISVFGNode* sNode = new IntraMSSAPHISVFGNode(nodeId, resVer);
         addSVFGNode(sNode, BlockICFGNode);

package/SVF-osx/include/Graphs/SVFGNode.h

@@ -94,7 +94,7 @@ class FormalINSVFGNode : public MRSVFGNode
 {
 private:
     const MRVer* ver;
-    const FunEntryICFGNode* funEntryNode; 
+    const FunEntryICFGNode* funEntryNode;
 
 public:
     /// Constructor
@@ -102,7 +102,7 @@ public:
     {
         cpts = resVer->getMR()->getPointsTo();
         ver = resVer;
-        funEntryNode = funEntry; 
+        funEntryNode = funEntry;
     }
     inline const MRVer* getMRVer() const
     {
@@ -139,7 +139,7 @@ class FormalOUTSVFGNode : public MRSVFGNode
 {
 private:
     const MRVer* ver;
-    const FunExitICFGNode* funExitNode; 
+    const FunExitICFGNode* funExitNode;
 
 public:
     /// Constructor
@@ -279,7 +279,7 @@ public:
     typedef Map<u32_t,const MRVer*> OPVers;
 
 protected:
-    const MRVer* ver; 
+    const MRVer* ver;
     OPVers opVers;
 
 public:
@@ -287,9 +287,9 @@ public:
     MSSAPHISVFGNode(NodeID id, const MRVer* resVer,VFGNodeK k = MPhi): MRSVFGNode(id, k)
     {
         cpts = resVer->getMR()->getPointsTo();
-        ver = resVer; 
+        ver = resVer;
     }
-      /// Ver
+    /// Ver
     inline const MRVer* getResVer() const
     {
         return ver;
@@ -473,8 +473,14 @@ public:
         : VFGNode(id, DummyVProp), object(object), version(version)
     { }
 
-    NodeID getObject(void) const { return object; }
-    Version getVersion(void) const { return version; }
+    NodeID getObject(void) const
+    {
+        return object;
+    }
+    Version getVersion(void) const
+    {
+        return version;
+    }
 
     /// Methods to support type inquiry through isa, cast, and dyn_cast:
     //@{

package/SVF-osx/include/Graphs/ThreadCallGraph.h

@@ -67,7 +67,8 @@ public:
     }
     //@}
 
-    virtual const std::string toString() const {
+    virtual const std::string toString() const
+    {
         std::string str;
         raw_string_ostream rawstr(str);
         rawstr << "ThreadForkEdge ";
@@ -106,7 +107,8 @@ public:
         return edge->getEdgeKind() == PTACallGraphEdge::TDJoinEdge;
     }
 
-    virtual const std::string toString() const {
+    virtual const std::string toString() const
+    {
         std::string str;
         raw_string_ostream rawstr(str);
         rawstr << "ThreadJoinEdge ";

package/SVF-osx/include/Graphs/VFG.h

@@ -281,28 +281,33 @@ public:
         return false;
     }
 
-	/// Return all the VFGNodes of a function
-	///@{
-	inline VFGNodeSet& getVFGNodes(const SVFFunction *fun) {
-		return funToVFGNodesMap[fun];
-	}
-	inline bool hasVFGNodes(const SVFFunction *fun) const {
-		return funToVFGNodesMap.find(fun) != funToVFGNodesMap.end();
-	}
-	inline bool VFGNodes(const SVFFunction *fun) const {
-		return funToVFGNodesMap.find(fun) != funToVFGNodesMap.end();
-	}
-	inline VFGNodeSet::const_iterator getVFGNodeBegin(const SVFFunction *fun) const {
-		FunToVFGNodesMapTy::const_iterator it = funToVFGNodesMap.find(fun);
-		assert(it != funToVFGNodesMap.end() && "this function does not have any VFGNode");
-		return it->second.begin();
-	}
-	inline VFGNodeSet::const_iterator getVFGNodeEnd(const SVFFunction *fun) const {
-		FunToVFGNodesMapTy::const_iterator it = funToVFGNodesMap.find(fun);
-		assert(it != funToVFGNodesMap.end() && "this function does not have any VFGNode");
-		return it->second.end();
-	}
-	///@}
+    /// Return all the VFGNodes of a function
+    ///@{
+    inline VFGNodeSet& getVFGNodes(const SVFFunction *fun)
+    {
+        return funToVFGNodesMap[fun];
+    }
+    inline bool hasVFGNodes(const SVFFunction *fun) const
+    {
+        return funToVFGNodesMap.find(fun) != funToVFGNodesMap.end();
+    }
+    inline bool VFGNodes(const SVFFunction *fun) const
+    {
+        return funToVFGNodesMap.find(fun) != funToVFGNodesMap.end();
+    }
+    inline VFGNodeSet::const_iterator getVFGNodeBegin(const SVFFunction *fun) const
+    {
+        FunToVFGNodesMapTy::const_iterator it = funToVFGNodesMap.find(fun);
+        assert(it != funToVFGNodesMap.end() && "this function does not have any VFGNode");
+        return it->second.begin();
+    }
+    inline VFGNodeSet::const_iterator getVFGNodeEnd(const SVFFunction *fun) const
+    {
+        FunToVFGNodesMapTy::const_iterator it = funToVFGNodesMap.find(fun);
+        assert(it != funToVFGNodesMap.end() && "this function does not have any VFGNode");
+        return it->second.end();
+    }
+    ///@}
     /// Add control-flow edges for top level pointers
     //@{
     VFGEdge* addIntraDirectVFEdge(NodeID srcId, NodeID dstId);
@@ -462,9 +467,9 @@ protected:
         icfgNode->addVFGNode(vfgNode);
 
         if(const SVFFunction* fun = icfgNode->getFun())
-        	funToVFGNodesMap[fun].insert(vfgNode);
+            funToVFGNodesMap[fun].insert(vfgNode);
         else
-        	globalVFGNodes.insert(vfgNode);
+            globalVFGNodes.insert(vfgNode);
     }
 
     /// Add a VFG node for program statement
@@ -545,20 +550,21 @@ protected:
     /// Otherwise, we need to handle formalRet using <PAGNodeID,CallSiteID> pair to find FormalRetVFG node same as handling actual parameters
     inline void addFormalRetVFGNode(const PAGNode* uniqueFunRet, const SVFFunction* fun, RetPESet& retPEs)
     {
-		FormalRetVFGNode *sNode = new FormalRetVFGNode(totalVFGNode++, uniqueFunRet, fun);
-		addVFGNode(sNode, pag->getICFG()->getFunExitICFGNode(fun));
-		for (RetPESet::const_iterator it = retPEs.begin(), eit = retPEs.end(); it != eit; ++it)
-			sNode->addRetPE(*it);
-
-		PAGNodeToFormalRetMap[uniqueFunRet] = sNode;
-		/// if this uniqueFunRet is a phi node, which means it will receive values from multiple return instructions of fun
-		/// we will set this phi node's def later
-		/// Ideally, every function uniqueFunRet should be a PhiNode (SVFIRBuilder.cpp), unless it does not have ret instruction
-		if (!pag->isPhiNode(uniqueFunRet)){
-			std::string warn = fun->getName();
-			SVFUtil::writeWrnMsg(warn + " does not have any ret instruction!");
-			setDef(uniqueFunRet, sNode);
-		}
+        FormalRetVFGNode *sNode = new FormalRetVFGNode(totalVFGNode++, uniqueFunRet, fun);
+        addVFGNode(sNode, pag->getICFG()->getFunExitICFGNode(fun));
+        for (RetPESet::const_iterator it = retPEs.begin(), eit = retPEs.end(); it != eit; ++it)
+            sNode->addRetPE(*it);
+
+        PAGNodeToFormalRetMap[uniqueFunRet] = sNode;
+        /// if this uniqueFunRet is a phi node, which means it will receive values from multiple return instructions of fun
+        /// we will set this phi node's def later
+        /// Ideally, every function uniqueFunRet should be a PhiNode (SVFIRBuilder.cpp), unless it does not have ret instruction
+        if (!pag->isPhiNode(uniqueFunRet))
+        {
+            std::string warn = fun->getName();
+            SVFUtil::writeWrnMsg(warn + " does not have any ret instruction!");
+            setDef(uniqueFunRet, sNode);
+        }
     }
     /// Add a callsite Receive VFG node
     inline void addActualRetVFGNode(const PAGNode* ret,const CallICFGNode* cs)
@@ -619,7 +625,7 @@ protected:
         setDef(edge->getRes(),sNode);
         PAGNodeToUnaryOPVFGNodeMap[edge->getRes()] = sNode;
     }
-    /// Add a BranchVFGNode 
+    /// Add a BranchVFGNode
     inline void addBranchVFGNode(const BranchStmt* edge)
     {
         BranchVFGNode* sNode = new BranchVFGNode(totalVFGNode++, edge);

package/SVF-osx/include/Graphs/VFGNode.h

@@ -563,18 +563,22 @@ public:
     //@}
 
     /// Return the branch statement
-    const BranchStmt* getBranchStmt() const{
+    const BranchStmt* getBranchStmt() const
+    {
         return brstmt;
     }
     /// Successors of this branch statement
     ///@{
-    u32_t getNumSuccessors() const{
+    u32_t getNumSuccessors() const
+    {
         return brstmt->getNumSuccessors();
     }
-    const BranchStmt::SuccAndCondPairVec& getSuccessors() const{
+    const BranchStmt::SuccAndCondPairVec& getSuccessors() const
+    {
         return brstmt->getSuccessors();
     }
-    const ICFGNode* getSuccessor (u32_t i) const{
+    const ICFGNode* getSuccessor (u32_t i) const
+    {
         return brstmt->getSuccessor(i);
     }
     ///@}

package/SVF-osx/include/MSSA/MemSSA.h

@@ -343,7 +343,7 @@ public:
     inline bool hasCHI(const PAGEdge* inst) const
     {
         if (const StoreStmt* store = SVFUtil::dyn_cast<StoreStmt>(
-                                       inst))
+                                         inst))
         {
             assert(0 != store2ChiSetMap.count(store)
                    && "not associated with mem region!");

package/SVF-osx/include/MTA/FSMPTA.h

@@ -22,40 +22,48 @@ class MHP;
 class LockAnalysis;
 
 
-class SVFGNodeLockSpan {
+class SVFGNodeLockSpan
+{
 public:
-	SVFGNodeLockSpan(const StmtSVFGNode* SVFGnode, LockAnalysis::LockSpan lockspan) :
-	SVFGNode(SVFGnode), lockSpan(lockspan) {}
-	virtual ~SVFGNodeLockSpan() {}
-	
-	inline bool operator< (const SVFGNodeLockSpan& rhs) const {
-		if (SVFGNode != rhs.getSVFGNode())
-			return SVFGNode < rhs.getSVFGNode();
-		return lockSpan.size() < rhs.getLockSpan().size();
-	}
-	inline SVFGNodeLockSpan& operator= (const SVFGNodeLockSpan& rhs) {
-		if(*this != rhs) {
-			SVFGNode = rhs.getSVFGNode();
-			lockSpan = rhs.getLockSpan();
-		}
-		return *this;
-	}
-	inline bool operator== (const SVFGNodeLockSpan& rhs) const {
-		return (SVFGNode == rhs.getSVFGNode() && lockSpan == rhs.getLockSpan());
-	}
-	inline bool operator!= (const SVFGNodeLockSpan& rhs) const {
-		return !(*this == rhs);
-	}
-	inline const StmtSVFGNode* getSVFGNode() const {
-		return SVFGNode;
-	}
-	inline const LockAnalysis::LockSpan getLockSpan() const {
-		return lockSpan;
-	}
+    SVFGNodeLockSpan(const StmtSVFGNode* SVFGnode, LockAnalysis::LockSpan lockspan) :
+        SVFGNode(SVFGnode), lockSpan(lockspan) {}
+    virtual ~SVFGNodeLockSpan() {}
+
+    inline bool operator< (const SVFGNodeLockSpan& rhs) const
+    {
+        if (SVFGNode != rhs.getSVFGNode())
+            return SVFGNode < rhs.getSVFGNode();
+        return lockSpan.size() < rhs.getLockSpan().size();
+    }
+    inline SVFGNodeLockSpan& operator= (const SVFGNodeLockSpan& rhs)
+    {
+        if(*this != rhs)
+        {
+            SVFGNode = rhs.getSVFGNode();
+            lockSpan = rhs.getLockSpan();
+        }
+        return *this;
+    }
+    inline bool operator== (const SVFGNodeLockSpan& rhs) const
+    {
+        return (SVFGNode == rhs.getSVFGNode() && lockSpan == rhs.getLockSpan());
+    }
+    inline bool operator!= (const SVFGNodeLockSpan& rhs) const
+    {
+        return !(*this == rhs);
+    }
+    inline const StmtSVFGNode* getSVFGNode() const
+    {
+        return SVFGNode;
+    }
+    inline const LockAnalysis::LockSpan getLockSpan() const
+    {
+        return lockSpan;
+    }
 private:
-	const StmtSVFGNode* SVFGNode;
-	LockAnalysis::LockSpan lockSpan;
-};	
+    const StmtSVFGNode* SVFGNode;
+    LockAnalysis::LockSpan lockSpan;
+};
 
 /*!
  * SVFG builder for DDA
@@ -73,7 +81,7 @@ public:
     typedef Set<const Instruction*> InstSet;
     typedef std::pair<NodeID,NodeID> NodeIDPair;
     typedef Map<SVFGNodeLockSpan, bool> PairToBoolMap;
-    
+
     /// Constructor
     MTASVFGBuilder(MHP* m, LockAnalysis* la) : SVFGBuilder(), mhp(m), lockana(la)
     {
@@ -183,11 +191,12 @@ public:
 
     /// Initialize analysis
     void initialize(SVFModule* module);
-	
-	inline SVFIR* getPAG() {
-		return mhp->getTCT()->getPTA()->getPAG();
-	}
-	
+
+    inline SVFIR* getPAG()
+    {
+        return mhp->getTCT()->getPTA()->getPAG();
+    }
+
     /// Create signle instance of flow-sensitive pointer analysis
     static FSMPTA* createFSMPTA(SVFModule* module, MHP* m, LockAnalysis* la)
     {
@@ -222,12 +231,14 @@ private:
 
 } // End namespace SVF
 
-template <> struct std::hash<SVF::SVFGNodeLockSpan> {
-	size_t operator()(const SVF::SVFGNodeLockSpan &cs) const {
-		std::hash<SVF::StmtSVFGNode* >h;
-		SVF::StmtSVFGNode* node = const_cast<SVF::StmtSVFGNode* > (cs.getSVFGNode());
-		return h(node);
-	}
+template <> struct std::hash<SVF::SVFGNodeLockSpan>
+{
+    size_t operator()(const SVF::SVFGNodeLockSpan &cs) const
+    {
+        std::hash<SVF::StmtSVFGNode* >h;
+        SVF::StmtSVFGNode* node = const_cast<SVF::StmtSVFGNode* > (cs.getSVFGNode());
+        return h(node);
+    }
 };
 
 #endif /* FSPTANALYSIS_H_ */