svf-lib 1.0.2211 → 1.0.2213

package/SVF-osx/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-osx/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-osx/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-osx/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-osx/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-osx/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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.2211",
+  "version": "1.0.2213",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {