svf-lib 1.0.1239 → 1.0.1241

package/SVF-linux/include/CFL/CFLAlias.h

@@ -38,10 +38,13 @@
 #include "MemoryModel/PointerAnalysis.h"
 #include "Graphs/ConsG.h"
 #include "Util/Options.h"
+#include "CFL/CFLStat.h"
 
 namespace SVF
 {
 
+class CFLStat;
+
 class CFLAlias : public BVDataPTAImpl
 {
 
@@ -138,6 +141,34 @@ public:
     void connectCaller2CalleeParams(CallSite cs, const SVFFunction* F);
 
     void heapAllocatorViaIndCall(CallSite cs);
+
+    /// Get CFL graph
+    CFLGraph* getCFLGraph()
+    {
+        return graph;
+    }
+
+    /// Statistics
+    //@{
+    static u32_t numOfProcessedAddr;   /// Number of processed Addr edge
+    static u32_t numOfProcessedCopy;   /// Number of processed Copy edge
+    static u32_t numOfProcessedGep;    /// Number of processed Gep edge
+    static u32_t numOfProcessedLoad;   /// Number of processed Load edge
+    static u32_t numOfProcessedStore;  /// Number of processed Store edge
+    static u32_t numOfSfrs;
+    static u32_t numOfFieldExpand;
+
+    static u32_t numOfSCCDetection;
+    static double timeOfSCCDetection;
+    static double timeOfSCCMerges;
+    static double timeOfCollapse;
+    static u32_t AveragePointsToSetSize;
+    static u32_t MaxPointsToSetSize;
+    static double timeOfProcessCopyGep;
+    static double timeOfProcessLoadStore;
+    static double timeOfUpdateCallGraph;
+    //@}
+
 private:
     CallSite2DummyValPN callsite2DummyValPN;        ///< Map an instruction to a dummy obj which created at an indirect callsite, which invokes a heap allocator
     SVFIR* svfir;

package/SVF-linux/include/CFL/CFLGramGraphChecker.h

@@ -26,6 +26,8 @@
  *  Created on: May 23, 2022
  *      Author: Pei Xu
  */
+#ifndef INCLUDE_CFL_CFLGRAMGRAPHCHECKER_H_
+#define INCLUDE_CFL_CFLGRAMGRAPHCHECKER_H_
 
 #include "CFL/CFLGrammar.h"
 #include "Graphs/CFLGraph.h"
@@ -69,3 +71,4 @@ public:
 
 }// SVF
 
+#endif /* INCLUDE_CFL_CFLGRAMGRAPHCHECKER_H_*/

package/SVF-linux/include/CFL/CFLGraphBuilder.h

@@ -32,6 +32,8 @@
 
 #include "CFL/CFLGrammar.h"
 #include "Graphs/CFLGraph.h"
+#include "Graphs/SVFG.h"
+
 namespace SVF
 {
 
@@ -166,6 +168,26 @@ private:
     void addBiGepCFLEdge(CFLGraph *cflGraph,  ConstraintNode* src, ConstraintNode* dst, CFLGrammar::Attribute attri);
 };
 
+class VFCFLGraphBuilder : public CFLGraphBuilder
+{
+public:
+    /// Build Bidirectional graph by copying nodes and edges from const graph inherited from GenericGraph
+    CFLGraph* buildBigraph(SVFG *graph, Kind startKind, GrammarBase *grammar);
+
+    /// Build Bidirectional graph by copying nodes and edges from any graph inherited from GenericGraph
+    /// And transfer Load Store to copy edge and address edge to construct PEG style CFG
+    CFLGraph* buildBiPEGgraph(ConstraintGraph *graph, Kind startKind, GrammarBase *grammar, SVFIR* pag);
+
+private:
+    void connectVGep(CFLGraph *cflGraph,  ConstraintGraph *graph, ConstraintNode *src, ConstraintNode *dst, u32_t level, SVFIR* pag);
+
+    /// Handle edge except for the GEP
+    void addBiCFLEdge(CFLGraph *cflGraph,  ConstraintNode* src, ConstraintNode* dst, CFLGrammar::Kind label);
+
+    /// Add Bidirectional GEP edge with attribute
+    void addBiGepCFLEdge(CFLGraph *cflGraph,  ConstraintNode* src, ConstraintNode* dst, CFLGrammar::Attribute attri);
+};
+
 }// SVF
 
 #endif /* INCLUDE_CFL_CFLGRAPHBUILDER_H_*/

package/SVF-linux/include/CFL/CFLSolver.h

@@ -27,6 +27,9 @@
  *      Author: Yulei Sui
  */
 
+#ifndef INCLUDE_CFL_CFLSolver_H_
+#define INCLUDE_CFL_CFLSolver_H_
+
 #include "Graphs/CFLGraph.h"
 #include "CFL/CFLGrammar.h"
 #include "Util/WorkList.h"
@@ -99,4 +102,6 @@ private:
 
 };
 
-}
+}
+
+#endif /* INCLUDE_CFL_CFLSolver_H_*/

package/SVF-linux/include/CFL/CFLStat.h

@@ -0,0 +1,88 @@
+//===- CFLStat.h -- CFL statistics--------------------------------------------//
+//
+//                     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 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 General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
+
+/*
+ * CFLStat.h
+ *
+ *  Created on: 17/9/2022
+ *      Author: Pei Xu
+ */
+
+#ifndef CFL_CFLSTAT_H_
+#define CFL_CFLSTAT_H_
+
+#include "Util/PTAStat.h"
+#include "CFL/CFLAlias.h"
+
+namespace SVF
+{
+
+class CFLAlias;
+class SVFIR;
+class ConstraintGraph;
+
+/*!
+ * Statistics of CFL's analysis
+ */
+class CFLStat : public PTAStat
+{
+
+private:
+    CFLAlias* pta;
+
+public:
+    static const char* CollapseTime;
+
+    static u32_t _MaxPtsSize;
+    static u32_t _NumOfCycles;
+    static u32_t _NumOfPWCCycles;
+    static u32_t _NumOfNodesInCycles;
+    static u32_t _MaxNumOfNodesInSCC;
+    u32_t _NumOfNullPtr;
+    u32_t _NumOfConstantPtr;
+    u32_t _NumOfBlackholePtr;
+
+    /// CFL Stat
+    u32_t _NumofCFLGraphNode;
+
+    CFLStat(CFLAlias* p);
+
+    virtual ~CFLStat()
+    {
+
+    }
+
+    virtual void performStat();
+
+    void collectCycleInfo(ConstraintGraph* consCG);
+
+    void collectCFLInfo(CFLGraph* CFLGraph);
+
+    void statNullPtr();
+
+    void constraintGraphStat();
+};
+
+} // End namespace SVF
+
+#endif /* FLOWSENSITIVESTAT_H_ */

package/SVF-linux/include/CFL/CFLVF.h

@@ -0,0 +1,77 @@
+//===----- CFLVF.h -- CFL Value-Flow Client--------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU 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 General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
+/*
+ * CFLVF.h
+ *
+ *  Created on: September 5, 2022
+ *      Author: Pei Xu
+ */
+
+#ifndef INCLUDE_CFL_CFLVF_H_
+#define INCLUDE_CFL_CFLVF_H_
+
+#include "CFL/CFLSolver.h"
+#include "CFL/CFGNormalizer.h"
+#include "CFL/GrammarBuilder.h"
+#include "CFL/CFLGraphBuilder.h"
+#include "CFL/CFLGramGraphChecker.h"
+#include "MemoryModel/PointerAnalysis.h"
+#include "Graphs/ConsG.h"
+#include "Util/Options.h"
+#include "SABER/SaberSVFGBuilder.h"
+
+namespace SVF
+{
+
+class CFLVF : public BVDataPTAImpl
+{
+
+public:
+    typedef OrderedMap<CallSite, NodeID> CallSite2DummyValPN;
+
+    CFLVF(SVFIR* ir) : BVDataPTAImpl(ir, PointerAnalysis::CFLFSCS_WPA, false), svfir(ir), graph(nullptr), grammar(nullptr), solver(nullptr)
+    {
+    }
+
+    /// Destructor
+    virtual ~CFLVF()
+    {
+        delete solver;
+    }
+
+    /// Start Analysis here (main part of pointer analysis).
+    virtual void analyze();
+
+private:
+    CallSite2DummyValPN callsite2DummyValPN;        ///< Map an instruction to a dummy obj which created at an indirect callsite, which invokes a heap allocator
+    SVFIR* svfir;
+    CFLGraph* graph;
+    CFLGrammar* grammar;
+    CFLSolver *solver;
+    SaberSVFGBuilder memSSA;
+    SVFG* svfg;
+};
+
+} // End namespace SVF
+
+#endif /* INCLUDE_CFL_CFLVF_H_*/

package/SVF-linux/include/CFL/VFG.txt

@@ -0,0 +1,6 @@
+Start:  
+   A
+Terminal:
+   a Call Ret
+Productions:
+   A -> A A | a | Call_i A Ret_i | epsilon;

package/SVF-linux/include/Util/Options.h

@@ -254,6 +254,7 @@ public:
     static const llvm::cl::opt<bool> PrintCFL;
     static const llvm::cl::opt<bool> FlexSymMap;
     static const llvm::cl::opt<bool>  PEGTransfer;
+    static const llvm::cl::opt<bool>  CFLSVFG;
 
     // Loop Analysis
     static const llvm::cl::opt<bool> LoopAnalysis;

package/SVF-osx/include/CFL/CFLAlias.h

@@ -38,10 +38,13 @@
 #include "MemoryModel/PointerAnalysis.h"
 #include "Graphs/ConsG.h"
 #include "Util/Options.h"
+#include "CFL/CFLStat.h"
 
 namespace SVF
 {
 
+class CFLStat;
+
 class CFLAlias : public BVDataPTAImpl
 {
 
@@ -138,6 +141,34 @@ public:
     void connectCaller2CalleeParams(CallSite cs, const SVFFunction* F);
 
     void heapAllocatorViaIndCall(CallSite cs);
+
+    /// Get CFL graph
+    CFLGraph* getCFLGraph()
+    {
+        return graph;
+    }
+
+    /// Statistics
+    //@{
+    static u32_t numOfProcessedAddr;   /// Number of processed Addr edge
+    static u32_t numOfProcessedCopy;   /// Number of processed Copy edge
+    static u32_t numOfProcessedGep;    /// Number of processed Gep edge
+    static u32_t numOfProcessedLoad;   /// Number of processed Load edge
+    static u32_t numOfProcessedStore;  /// Number of processed Store edge
+    static u32_t numOfSfrs;
+    static u32_t numOfFieldExpand;
+
+    static u32_t numOfSCCDetection;
+    static double timeOfSCCDetection;
+    static double timeOfSCCMerges;
+    static double timeOfCollapse;
+    static u32_t AveragePointsToSetSize;
+    static u32_t MaxPointsToSetSize;
+    static double timeOfProcessCopyGep;
+    static double timeOfProcessLoadStore;
+    static double timeOfUpdateCallGraph;
+    //@}
+
 private:
     CallSite2DummyValPN callsite2DummyValPN;        ///< Map an instruction to a dummy obj which created at an indirect callsite, which invokes a heap allocator
     SVFIR* svfir;

package/SVF-osx/include/CFL/CFLGramGraphChecker.h

@@ -26,6 +26,8 @@
  *  Created on: May 23, 2022
  *      Author: Pei Xu
  */
+#ifndef INCLUDE_CFL_CFLGRAMGRAPHCHECKER_H_
+#define INCLUDE_CFL_CFLGRAMGRAPHCHECKER_H_
 
 #include "CFL/CFLGrammar.h"
 #include "Graphs/CFLGraph.h"
@@ -69,3 +71,4 @@ public:
 
 }// SVF
 
+#endif /* INCLUDE_CFL_CFLGRAMGRAPHCHECKER_H_*/

package/SVF-osx/include/CFL/CFLGraphBuilder.h

@@ -32,6 +32,8 @@
 
 #include "CFL/CFLGrammar.h"
 #include "Graphs/CFLGraph.h"
+#include "Graphs/SVFG.h"
+
 namespace SVF
 {
 
@@ -166,6 +168,26 @@ private:
     void addBiGepCFLEdge(CFLGraph *cflGraph,  ConstraintNode* src, ConstraintNode* dst, CFLGrammar::Attribute attri);
 };
 
+class VFCFLGraphBuilder : public CFLGraphBuilder
+{
+public:
+    /// Build Bidirectional graph by copying nodes and edges from const graph inherited from GenericGraph
+    CFLGraph* buildBigraph(SVFG *graph, Kind startKind, GrammarBase *grammar);
+
+    /// Build Bidirectional graph by copying nodes and edges from any graph inherited from GenericGraph
+    /// And transfer Load Store to copy edge and address edge to construct PEG style CFG
+    CFLGraph* buildBiPEGgraph(ConstraintGraph *graph, Kind startKind, GrammarBase *grammar, SVFIR* pag);
+
+private:
+    void connectVGep(CFLGraph *cflGraph,  ConstraintGraph *graph, ConstraintNode *src, ConstraintNode *dst, u32_t level, SVFIR* pag);
+
+    /// Handle edge except for the GEP
+    void addBiCFLEdge(CFLGraph *cflGraph,  ConstraintNode* src, ConstraintNode* dst, CFLGrammar::Kind label);
+
+    /// Add Bidirectional GEP edge with attribute
+    void addBiGepCFLEdge(CFLGraph *cflGraph,  ConstraintNode* src, ConstraintNode* dst, CFLGrammar::Attribute attri);
+};
+
 }// SVF
 
 #endif /* INCLUDE_CFL_CFLGRAPHBUILDER_H_*/

package/SVF-osx/include/CFL/CFLSolver.h

@@ -27,6 +27,9 @@
  *      Author: Yulei Sui
  */
 
+#ifndef INCLUDE_CFL_CFLSolver_H_
+#define INCLUDE_CFL_CFLSolver_H_
+
 #include "Graphs/CFLGraph.h"
 #include "CFL/CFLGrammar.h"
 #include "Util/WorkList.h"
@@ -99,4 +102,6 @@ private:
 
 };
 
-}
+}
+
+#endif /* INCLUDE_CFL_CFLSolver_H_*/

package/SVF-osx/include/CFL/CFLStat.h

@@ -0,0 +1,88 @@
+//===- CFLStat.h -- CFL statistics--------------------------------------------//
+//
+//                     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 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 General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
+
+/*
+ * CFLStat.h
+ *
+ *  Created on: 17/9/2022
+ *      Author: Pei Xu
+ */
+
+#ifndef CFL_CFLSTAT_H_
+#define CFL_CFLSTAT_H_
+
+#include "Util/PTAStat.h"
+#include "CFL/CFLAlias.h"
+
+namespace SVF
+{
+
+class CFLAlias;
+class SVFIR;
+class ConstraintGraph;
+
+/*!
+ * Statistics of CFL's analysis
+ */
+class CFLStat : public PTAStat
+{
+
+private:
+    CFLAlias* pta;
+
+public:
+    static const char* CollapseTime;
+
+    static u32_t _MaxPtsSize;
+    static u32_t _NumOfCycles;
+    static u32_t _NumOfPWCCycles;
+    static u32_t _NumOfNodesInCycles;
+    static u32_t _MaxNumOfNodesInSCC;
+    u32_t _NumOfNullPtr;
+    u32_t _NumOfConstantPtr;
+    u32_t _NumOfBlackholePtr;
+
+    /// CFL Stat
+    u32_t _NumofCFLGraphNode;
+
+    CFLStat(CFLAlias* p);
+
+    virtual ~CFLStat()
+    {
+
+    }
+
+    virtual void performStat();
+
+    void collectCycleInfo(ConstraintGraph* consCG);
+
+    void collectCFLInfo(CFLGraph* CFLGraph);
+
+    void statNullPtr();
+
+    void constraintGraphStat();
+};
+
+} // End namespace SVF
+
+#endif /* FLOWSENSITIVESTAT_H_ */

package/SVF-osx/include/CFL/CFLVF.h

@@ -0,0 +1,77 @@
+//===----- CFLVF.h -- CFL Value-Flow Client--------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU 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 General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
+/*
+ * CFLVF.h
+ *
+ *  Created on: September 5, 2022
+ *      Author: Pei Xu
+ */
+
+#ifndef INCLUDE_CFL_CFLVF_H_
+#define INCLUDE_CFL_CFLVF_H_
+
+#include "CFL/CFLSolver.h"
+#include "CFL/CFGNormalizer.h"
+#include "CFL/GrammarBuilder.h"
+#include "CFL/CFLGraphBuilder.h"
+#include "CFL/CFLGramGraphChecker.h"
+#include "MemoryModel/PointerAnalysis.h"
+#include "Graphs/ConsG.h"
+#include "Util/Options.h"
+#include "SABER/SaberSVFGBuilder.h"
+
+namespace SVF
+{
+
+class CFLVF : public BVDataPTAImpl
+{
+
+public:
+    typedef OrderedMap<CallSite, NodeID> CallSite2DummyValPN;
+
+    CFLVF(SVFIR* ir) : BVDataPTAImpl(ir, PointerAnalysis::CFLFSCS_WPA, false), svfir(ir), graph(nullptr), grammar(nullptr), solver(nullptr)
+    {
+    }
+
+    /// Destructor
+    virtual ~CFLVF()
+    {
+        delete solver;
+    }
+
+    /// Start Analysis here (main part of pointer analysis).
+    virtual void analyze();
+
+private:
+    CallSite2DummyValPN callsite2DummyValPN;        ///< Map an instruction to a dummy obj which created at an indirect callsite, which invokes a heap allocator
+    SVFIR* svfir;
+    CFLGraph* graph;
+    CFLGrammar* grammar;
+    CFLSolver *solver;
+    SaberSVFGBuilder memSSA;
+    SVFG* svfg;
+};
+
+} // End namespace SVF
+
+#endif /* INCLUDE_CFL_CFLVF_H_*/

package/SVF-osx/include/CFL/VFG.txt

@@ -0,0 +1,6 @@
+Start:  
+   A
+Terminal:
+   a Call Ret
+Productions:
+   A -> A A | a | Call_i A Ret_i | epsilon;

package/SVF-osx/include/Util/Options.h

@@ -254,6 +254,7 @@ public:
     static const llvm::cl::opt<bool> PrintCFL;
     static const llvm::cl::opt<bool> FlexSymMap;
     static const llvm::cl::opt<bool>  PEGTransfer;
+    static const llvm::cl::opt<bool>  CFLSVFG;
 
     // Loop Analysis
     static const llvm::cl::opt<bool> LoopAnalysis;

package/package.json

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