svf-lib 1.0.2213 → 1.0.2215

package/SVF-linux/Release-build/include/Util/CDGBuilder.h

@@ -55,7 +55,7 @@ public:
     void build();
 
     /// build control dependence for each function
-    void buildControlDependence(const SVFModule *svfgModule);
+    void buildControlDependence();
 
     /// build map at icfg node level
     void buildICFGNodeControlMap();

package/SVF-linux/Release-build/include/Util/GeneralType.h

@@ -38,6 +38,7 @@
 #include <unordered_map>
 #include <unordered_set>
 #include <vector>
+#include <memory>
 #include "Util/SparseBitVector.h"
 
 namespace SVF

package/SVF-linux/Release-build/include/Util/SVFLoopAndDomInfo.h

@@ -0,0 +1,169 @@
+//===- SVFLoopAndDomInfo.h -- ------------------------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013-2017>  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU Affero General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU Affero General Public License for more details.
+
+// You should have received a copy of the GNU Affero General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
+/*
+* SVFLoopAndDomInfo.h
+*
+*  Created on: Feb 7, 2025
+*      Author: Xiao Cheng
+*
+*/
+
+#ifndef SVFLOOPANDDOMINFO_H
+#define SVFLOOPANDDOMINFO_H
+
+#include "SVFIR/SVFType.h"
+#include "Graphs/GraphPrinter.h"
+#include "Util/Casting.h"
+#include "Graphs/BasicBlockG.h"
+
+namespace SVF
+{
+class SVFLoopAndDomInfo
+{
+    friend class SVFIRWriter;
+    friend class SVFIRReader;
+public:
+    typedef Set<const SVFBasicBlock*> BBSet;
+    typedef std::vector<const SVFBasicBlock*> BBList;
+    typedef BBList LoopBBs;
+
+private:
+    BBList reachableBBs;    ///< reachable BasicBlocks from the function entry.
+    Map<const SVFBasicBlock*,BBSet> dtBBsMap;   ///< map a BasicBlock to BasicBlocks it Dominates
+    Map<const SVFBasicBlock*,BBSet> pdtBBsMap;   ///< map a BasicBlock to BasicBlocks it PostDominates
+    Map<const SVFBasicBlock*,BBSet> dfBBsMap;    ///< map a BasicBlock to its Dominate Frontier BasicBlocks
+    Map<const SVFBasicBlock*, LoopBBs> bb2LoopMap;  ///< map a BasicBlock (if it is in a loop) to all the BasicBlocks in this loop
+    Map<const SVFBasicBlock*, u32_t> bb2PdomLevel;  ///< map a BasicBlock to its level in pdom tree, used in findNearestCommonPDominator
+    Map<const SVFBasicBlock*, const SVFBasicBlock*> bb2PIdom;  ///< map a BasicBlock to its immediate dominator in pdom tree, used in findNearestCommonPDominator
+
+public:
+    SVFLoopAndDomInfo()
+    {
+    }
+
+    virtual ~SVFLoopAndDomInfo() {}
+
+    inline const Map<const SVFBasicBlock*,BBSet>& getDomFrontierMap() const
+    {
+        return dfBBsMap;
+    }
+
+    inline Map<const SVFBasicBlock*,BBSet>& getDomFrontierMap()
+    {
+        return dfBBsMap;
+    }
+
+    inline bool hasLoopInfo(const SVFBasicBlock* bb) const
+    {
+        return bb2LoopMap.find(bb) != bb2LoopMap.end();
+    }
+
+    const LoopBBs& getLoopInfo(const SVFBasicBlock* bb) const;
+
+    inline const SVFBasicBlock* getLoopHeader(const LoopBBs& lp) const
+    {
+        assert(!lp.empty() && "this is not a loop, empty basic block");
+        return lp.front();
+    }
+
+    inline bool loopContainsBB(const LoopBBs& lp, const SVFBasicBlock* bb) const
+    {
+        return std::find(lp.begin(), lp.end(), bb) != lp.end();
+    }
+
+    inline void addToBB2LoopMap(const SVFBasicBlock* bb, const SVFBasicBlock* loopBB)
+    {
+        bb2LoopMap[bb].push_back(loopBB);
+    }
+
+    inline const Map<const SVFBasicBlock*,BBSet>& getPostDomTreeMap() const
+    {
+        return pdtBBsMap;
+    }
+
+    inline Map<const SVFBasicBlock*,BBSet>& getPostDomTreeMap()
+    {
+        return pdtBBsMap;
+    }
+
+    inline const Map<const SVFBasicBlock*,u32_t>& getBBPDomLevel() const
+    {
+        return bb2PdomLevel;
+    }
+
+    inline Map<const SVFBasicBlock*,u32_t>& getBBPDomLevel()
+    {
+        return bb2PdomLevel;
+    }
+
+    inline const Map<const SVFBasicBlock*,const SVFBasicBlock*>& getBB2PIdom() const
+    {
+        return bb2PIdom;
+    }
+
+    inline Map<const SVFBasicBlock*,const SVFBasicBlock*>& getBB2PIdom()
+    {
+        return bb2PIdom;
+    }
+
+
+    inline Map<const SVFBasicBlock*,BBSet>& getDomTreeMap()
+    {
+        return dtBBsMap;
+    }
+
+    inline const Map<const SVFBasicBlock*,BBSet>& getDomTreeMap() const
+    {
+        return dtBBsMap;
+    }
+
+    inline bool isUnreachable(const SVFBasicBlock* bb) const
+    {
+        return std::find(reachableBBs.begin(), reachableBBs.end(), bb) ==
+               reachableBBs.end();
+    }
+
+    inline const BBList& getReachableBBs() const
+    {
+        return reachableBBs;
+    }
+
+    inline void setReachableBBs(BBList& bbs)
+    {
+        reachableBBs = bbs;
+    }
+
+    void getExitBlocksOfLoop(const SVFBasicBlock* bb, BBList& exitbbs) const;
+
+    bool isLoopHeader(const SVFBasicBlock* bb) const;
+
+    bool dominate(const SVFBasicBlock* bbKey, const SVFBasicBlock* bbValue) const;
+
+    bool postDominate(const SVFBasicBlock* bbKey, const SVFBasicBlock* bbValue) const;
+
+    /// find nearest common post dominator of two basic blocks
+    const SVFBasicBlock *findNearestCommonPDominator(const SVFBasicBlock *A, const SVFBasicBlock *B) const;
+};
+}
+
+#endif //SVFLOOPANDDOMINFO_H

package/SVF-linux/Release-build/include/Util/SVFUtil.h

@@ -32,10 +32,12 @@
 
 #include "FastCluster/fastcluster.h"
 #include "SVFIR/SVFValue.h"
-#include "SVFIR/SVFModule.h"
+#include "Util/SVFLoopAndDomInfo.h"
 #include "Util/ExtAPI.h"
 #include "MemoryModel/PointsTo.h"
 #include <time.h>
+#include "Util/NodeIDAllocator.h"
+#include "Util/ThreadAPI.h"
 
 namespace SVF
 {

package/SVF-linux/Release-build/include/Util/ThreadAPI.h

@@ -41,6 +41,7 @@ class CallICFGNode;
 class SVFVar;
 class ValVar;
 class ObjVar;
+class FunObjVar;
 
 /*
  * ThreadAPI class contains interfaces for pthread programs
@@ -179,7 +180,7 @@ public:
     bool isTDBarWait(const CallICFGNode *inst) const;
     //@}
 
-    void performAPIStat(SVFModule* m);
+    void performAPIStat();
     void statInit(Map<std::string, u32_t>& tdAPIStatMap);
 };
 

package/SVF-linux/Release-build/include/WPA/FlowSensitive.h

@@ -93,7 +93,7 @@ public:
     }
 
     /// We start from here
-    virtual bool runOnModule(SVFModule*)
+    virtual bool runOnModule()
     {
         return false;
     }

package/SVF-osx/Release-build/include/Graphs/BasicBlockG.h

@@ -115,9 +115,9 @@ public:
 
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
-        return node->getNodeKind() == SVFBaseNode::BasicBlockKd;
+        return node->getNodeKind() == SVFValue::BasicBlockKd;
     }
 
     static inline bool classof(const SVFBasicBlock* node)

package/SVF-osx/Release-build/include/Graphs/CDG.h

@@ -126,7 +126,7 @@ public:
         return node->getNodeKind() == CDNodeKd;
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == CDNodeKd;
     }

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

@@ -160,7 +160,7 @@ public:
         return node->getNodeKind() == CFLNodeKd;
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == CFLNodeKd;
     }

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

@@ -204,7 +204,7 @@ public:
         return node->getNodeKind() == CHNodeKd;
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == CHNodeKd;
     }

package/SVF-osx/Release-build/include/Graphs/CallGraph.h

@@ -221,7 +221,7 @@ public:
         return node->getNodeKind() == CallNodeKd;
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == CallNodeKd;
     }

package/SVF-osx/Release-build/include/Graphs/ConsGNode.h

@@ -406,7 +406,7 @@ public:
         return node->getNodeKind() == ConstraintNodeKd;
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == ConstraintNodeKd;
     }

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

@@ -140,7 +140,7 @@ protected:
  * Generic node on the graph as base class
  */
 template<class NodeTy,class EdgeTy>
-class GenericNode: public SVFBaseNode
+class GenericNode: public SVFValue
 {
     friend class SVFIRWriter;
     friend class SVFIRReader;
@@ -163,7 +163,7 @@ private:
 
 public:
     /// Constructor
-    GenericNode(NodeID i, GNodeK k, const SVFType* svfType = nullptr): SVFBaseNode(i, k, svfType)
+    GenericNode(NodeID i, GNodeK k, const SVFType* svfType = nullptr): SVFValue(i, k, svfType)
     {
 
     }
@@ -327,7 +327,7 @@ public:
         return true;
     }
 
-    static inline bool classof(const SVFBaseNode*)
+    static inline bool classof(const SVFValue*)
     {
         return true;
     }

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

@@ -137,7 +137,7 @@ public:
         return isICFGNodeKinds(node->getNodeKind());
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return isICFGNodeKinds(node->getNodeKind());
     }
@@ -261,7 +261,7 @@ public:
         return isInterICFGNodeKind(node->getNodeKind());
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return isInterICFGNodeKind(node->getNodeKind());
     }
@@ -331,7 +331,7 @@ public:
         return node->getNodeKind() == FunEntryBlock;
     }
 
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == FunEntryBlock;
     }
@@ -399,7 +399,7 @@ public:
         return node->getNodeKind() == FunExitBlock;
     }
 
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == FunExitBlock;
     }
@@ -571,7 +571,7 @@ public:
         return node->getNodeKind() == FunCallBlock;
     }
 
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == FunCallBlock;
     }
@@ -650,7 +650,7 @@ public:
     {
         return node->getNodeKind() == FunRetBlock;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == FunRetBlock;
     }

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

@@ -112,7 +112,7 @@ public:
     }
 
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return isVFGNodeKinds(node->getNodeKind());
     }
@@ -184,7 +184,7 @@ public:
     {
         return isStmtVFGNodeKinds(node->getNodeKind());
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return isStmtVFGNodeKinds(node->getNodeKind());
     }
@@ -228,7 +228,7 @@ public:
     {
         return node->getNodeKind() == Load;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == Load;
     }
@@ -273,7 +273,7 @@ public:
     {
         return node->getNodeKind() == Store;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == Store;
     }
@@ -318,7 +318,7 @@ public:
     {
         return node->getNodeKind() == Copy;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == Copy;
     }
@@ -364,7 +364,7 @@ public:
     {
         return node->getNodeKind() == Cmp;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == Cmp;
     }
@@ -441,7 +441,7 @@ public:
     {
         return node->getNodeKind() == BinaryOp;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == BinaryOp;
     }
@@ -515,7 +515,7 @@ public:
     {
         return node->getNodeKind() == UnaryOp;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == UnaryOp;
     }
@@ -587,7 +587,7 @@ public:
     {
         return node->getNodeKind() == Branch;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == Branch;
     }
@@ -653,7 +653,7 @@ public:
     {
         return node->getNodeKind() == Gep;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == Gep;
     }
@@ -730,7 +730,7 @@ public:
     {
         return isPHIVFGNodeKinds(node->getNodeKind());
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return isPHIVFGNodeKinds(node->getNodeKind());
     }
@@ -790,7 +790,7 @@ public:
     {
         return node->getNodeKind() == TIntraPhi;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == TIntraPhi;
     }
@@ -831,7 +831,7 @@ public:
     {
         return node->getNodeKind() == Addr;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == Addr;
     }
@@ -875,7 +875,7 @@ public:
     {
         return isArgumentVFGNodeKinds(node->getNodeKind());
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return isArgumentVFGNodeKinds(node->getNodeKind());
     }
@@ -929,7 +929,7 @@ public:
     {
         return node->getNodeKind() == AParm;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == AParm;
     }
@@ -1003,7 +1003,7 @@ public:
     {
         return node->getNodeKind() == FParm;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == FParm;
     }
@@ -1065,7 +1065,7 @@ public:
     {
         return node->getNodeKind() == ARet;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == ARet;
     }
@@ -1135,7 +1135,7 @@ public:
     {
         return node->getNodeKind() == FRet;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == FRet;
     }
@@ -1198,7 +1198,7 @@ public:
     {
         return node->getNodeKind() == TInterPhi;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == TInterPhi;
     }
@@ -1250,7 +1250,7 @@ public:
     {
         return node->getNodeKind() == NPtr;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == NPtr;
     }

package/SVF-osx/Release-build/include/MTA/TCT.h

@@ -134,7 +134,7 @@ public:
     {
         return node->getNodeKind() == TCTNodeKd;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == TCTNodeKd;
     }

package/SVF-osx/Release-build/include/SVF-LLVM/BreakConstantExpr.h

@@ -15,7 +15,7 @@
 #ifndef BREAKCONSTANTGEPS_H
 #define BREAKCONSTANTGEPS_H
 
-#include "SVF-LLVM/SVFValue.h"
+#include "SVF-LLVM/SVFLLVMValue.h"
 
 namespace SVF
 {

package/SVF-osx/Release-build/include/SVF-LLVM/CppUtil.h

@@ -30,7 +30,7 @@
 #ifndef CPPUtil_H_
 #define CPPUtil_H_
 
-#include "SVF-LLVM/SVFValue.h"
+#include "SVF-LLVM/SVFLLVMValue.h"
 #include "SVF-LLVM/BasicTypes.h"
 
 namespace SVF

package/SVF-osx/Release-build/include/SVF-LLVM/LLVMModule.h

@@ -31,7 +31,7 @@
 #define INCLUDE_SVF_FE_LLVMMODULE_H_
 
 #include "SVF-LLVM/BasicTypes.h"
-#include "SVF-LLVM/SVFValue.h"
+#include "SVF-LLVM/SVFLLVMValue.h"
 #include "SVF-LLVM/SVFModule.h"
 #include "Util/Options.h"
 #include "Graphs/BasicBlockG.h"
@@ -61,8 +61,8 @@ public:
     typedef Map<const Argument*, SVFArgument*> LLVMArgument2SVFArgumentMap;
     typedef Map<const Constant*, SVFConstant*> LLVMConst2SVFConstMap;
     typedef Map<const Value*, SVFOtherValue*> LLVMValue2SVFOtherValueMap;
-    typedef Map<const SVFValue*, const Value*> SVFValue2LLVMValueMap;
-    typedef Map<const SVFBaseNode*, const Value*> SVFBaseNode2LLVMValueMap;
+    typedef Map<const SVFLLVMValue*, const Value*> SVFValue2LLVMValueMap;
+    typedef Map<const SVFValue*, const Value*> SVFBaseNode2LLVMValueMap;
     typedef Map<const Type*, SVFType*> LLVMType2SVFTypeMap;
     typedef Map<const Type*, StInfo*> Type2TypeInfoMap;
     typedef Map<std::string, std::vector<std::string>> Fun2AnnoMap;
@@ -75,7 +75,7 @@ public:
 
     /// llvm value to sym id map
     /// local (%) and global (@) identifiers are pointer types which have a value node id.
-    typedef OrderedMap<const SVFValue*, NodeID> ValueToIDMapTy;
+    typedef OrderedMap<const SVFLLVMValue*, NodeID> ValueToIDMapTy;
 
     typedef OrderedMap<const SVFFunction*, NodeID> FunToIDMapTy;
 
@@ -208,13 +208,13 @@ public:
 
     /// Get SVFIR Node according to LLVM value
     ///getNode - Return the node corresponding to the specified pointer.
-    NodeID getValueNode(const SVFValue* V);
+    NodeID getValueNode(const SVFLLVMValue* V);
 
-    bool hasValueNode(const SVFValue* V);
+    bool hasValueNode(const SVFLLVMValue* V);
 
     /// getObject - Return the obj node id refer to the memory object for the
     /// specified global, heap or alloca instruction according to llvm value.
-    NodeID getObjectNode(const SVFValue* V);
+    NodeID getObjectNode(const SVFLLVMValue* V);
 
     void dumpSymTable();
 
@@ -285,16 +285,16 @@ public:
         setValueAttr(ov,svfov);
     }
 
-    SVFValue* getSVFValue(const Value* value);
+    SVFLLVMValue* getSVFValue(const Value* value);
 
-    const Value* getLLVMValue(const SVFValue* value) const
+    const Value* getLLVMValue(const SVFLLVMValue* value) const
     {
         SVFValue2LLVMValueMap::const_iterator it = SVFValue2LLVMValue.find(value);
         assert(it!=SVFValue2LLVMValue.end() && "can't find corresponding llvm value!");
         return it->second;
     }
 
-    const Value* getLLVMValue(const SVFBaseNode* value) const
+    const Value* getLLVMValue(const SVFValue* value) const
     {
         SVFBaseNode2LLVMValueMap ::const_iterator it = SVFBaseNode2LLVMValue.find(value);
         assert(it != SVFBaseNode2LLVMValue.end() && "can't find corresponding llvm value!");
@@ -536,8 +536,8 @@ private:
     void initSVFFunction();
     void initSVFBasicBlock(const Function* func);
     void initDomTree(SVFFunction* func, const Function* f);
-    void setValueAttr(const Value* val, SVFValue* value);
-    void addToSVFVar2LLVMValueMap(const Value* val, SVFBaseNode* svfBaseNode);
+    void setValueAttr(const Value* val, SVFLLVMValue* value);
+    void addToSVFVar2LLVMValueMap(const Value* val, SVFValue* svfBaseNode);
     void buildFunToFunMap();
     void buildGlobalDefToRepMap();
     /// Invoke llvm passes to modify module