svf-lib 1.0.699 → 1.0.703

package/SVF-linux/include/SABER/PathCondAllocator.h

@@ -0,0 +1,286 @@
+//===- PathCondAllocator.h -- Path condition manipulation---------------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
+/*
+ * PathAllocator.h
+ *
+ *  Created on: Apr 3, 2014
+ *      Author: Yulei Sui
+ */
+
+#ifndef PATHALLOCATOR_H_
+#define PATHALLOCATOR_H_
+
+#include "Util/SVFModule.h"
+#include "SVF-FE/DataFlowUtil.h"
+#include "Util/Conditions.h"
+#include "Util/WorkList.h"
+#include "Graphs/SVFG.h"
+
+
+namespace SVF
+{
+
+/**
+ * PathCondAllocator allocates conditions for each basic block of a certain CFG.
+ */
+class PathCondAllocator
+{
+
+public:
+
+    typedef CondExpr Condition;   /// z3 condition
+
+    typedef Map<u32_t,Condition*> CondPosMap;		///< map a branch to its Condition
+    typedef Map<const BasicBlock*, CondPosMap > BBCondMap;	// map bb to a Condition
+    typedef Set<const BasicBlock*> BasicBlockSet;
+    typedef Map<const Function*,  BasicBlockSet> FunToExitBBsMap;  ///< map a function to all its basic blocks calling program exit
+    typedef Map<const BasicBlock*, Condition*> BBToCondMap;	///< map a basic block to its condition during control-flow guard computation
+    typedef FIFOWorkList<const BasicBlock*> CFWorkList;	///< worklist for control-flow guard computation
+
+
+    /// Constructor
+    PathCondAllocator(): condMgr(CondManager::getCondMgr())
+    {
+    }
+    /// Destructor
+    virtual ~PathCondAllocator()
+    {
+    }
+    /// Statistics
+    //@{
+    inline std::string getMemUsage()
+    {
+        return condMgr->getMemUsage();
+    }
+    inline u32_t getCondNum()
+    {
+        return condMgr->getCondNumber();
+    }
+    //@}
+
+    /// Condition operations
+    //@{
+    inline Condition* condAnd(Condition* lhs, Condition* rhs)
+    {
+        return condMgr->AND(lhs,rhs);
+    }
+    inline Condition* condOr(Condition* lhs, Condition* rhs)
+    {
+        return condMgr->OR(lhs,rhs);
+    }
+    inline Condition* condNeg(Condition* cond)
+    {
+        return condMgr->NEG(cond);
+    }
+    inline Condition* getTrueCond() const
+    {
+        return condMgr->getTrueCond();
+    }
+    inline Condition* getFalseCond() const
+    {
+        return condMgr->getFalseCond();
+    }
+    /// Iterator every element of the condition
+    inline NodeBS exactCondElem(Condition* cond)
+    {
+        NodeBS elems;
+        condMgr->extractSubConds(cond,elems);
+        return elems;
+    }
+
+    inline std::string dumpCond(Condition* cond) const
+    {
+        return condMgr->dumpStr(cond);
+    }
+    /// Given an z3 expr id, get its condition
+    inline Condition* getCond(u32_t i) const
+    {
+        return condMgr->getCond(i);
+    }
+    /// Allocate a new condition
+    inline Condition* newCond(const Instruction* inst)
+    {
+        return condMgr->createFreshBranchCond(inst);
+    }
+    //@}
+
+    /// Perform path allocation
+    void allocate(const SVFModule* module);
+
+    /// Get/Set llvm conditional expression
+    //{@
+    inline const Instruction* getCondInst(const Condition* cond) const
+    {
+        return condMgr->getCondInst(cond);
+    }
+    inline void setCondInst(const CondExpr* cond, const Instruction* inst){
+        condMgr->setCondInst(cond, inst);
+    }
+    //@}
+
+    /// Get dominators
+    inline DominatorTree* getDT(const Function* fun)
+    {
+        return cfInfoBuilder.getDT(fun);
+    }
+    /// Get Postdominators
+    inline PostDominatorTree* getPostDT(const Function* fun)
+    {
+        return cfInfoBuilder.getPostDT(fun);
+    }
+    /// Get LoopInfo
+    inline LoopInfo* getLoopInfo(const Function* f)
+    {
+        return cfInfoBuilder.getLoopInfo(f);
+    }
+
+
+    /// Guard Computation for a value-flow (between two basic blocks)
+    //@{
+    virtual Condition* ComputeIntraVFGGuard(const BasicBlock* src, const BasicBlock* dst);
+    virtual Condition* ComputeInterCallVFGGuard(const BasicBlock* src, const BasicBlock* dst, const BasicBlock* callBB);
+    virtual Condition* ComputeInterRetVFGGuard(const BasicBlock* src, const BasicBlock* dst, const BasicBlock* retBB);
+
+    /// Get complement condition (from B1 to B0) according to a complementBB (BB2) at a phi
+    /// e.g., B0: dstBB; B1:incomingBB; B2:complementBB
+    virtual Condition* getPHIComplementCond(const BasicBlock* BB1, const BasicBlock* BB2, const BasicBlock* BB0);
+
+    inline void clearCFCond()
+    {
+        bbToCondMap.clear();
+    }
+    /// Set current value for branch condition evaluation
+    inline void setCurEvalSVFGNode(const SVFGNode* node)
+    {
+        curEvalSVFGNode = node;
+    }
+    /// Get current value for branch condition evaluation
+    inline const SVFGNode* getCurEvalSVFGNode() const
+    {
+        return curEvalSVFGNode;
+    }
+    //@}
+
+    /// Print out the path condition information
+    void printPathCond();
+
+    /// whether condition is satisfiable
+    inline bool isSatisfiable(Condition* condition){
+        return condMgr->isSatisfiable(condition);
+    }
+
+    /// whether condition is satisfiable for all possible boolean guards
+    inline bool isAllPathReachable(Condition* condition){
+        return condMgr->isAllPathReachable(condition);
+    }
+
+    bool isEquivalentBranchCond(const Condition *lhs, const Condition *rhs) const{
+        return condMgr->isEquivalentBranchCond(lhs, rhs);
+    }
+
+private:
+
+    /// Allocate path condition for every basic block
+    virtual void allocateForBB(const BasicBlock& bb);
+
+    /// Get/Set a branch condition, and its terminator instruction
+    //@{
+    /// Set branch condition
+    void setBranchCond(const BasicBlock *bb, const BasicBlock *succ, Condition* cond);
+    /// Get branch condition
+    Condition* getBranchCond(const BasicBlock * bb, const BasicBlock *succ) const;
+    ///Get a condition, evaluate the value for conditions if necessary (e.g., testNull like express)
+    Condition* getEvalBrCond(const BasicBlock * bb, const BasicBlock *succ);
+    //@}
+    /// Evaluate branch conditions
+    //@{
+    /// Evaluate the branch condtion
+    Condition* evaluateBranchCond(const BasicBlock * bb, const BasicBlock *succ) ;
+    /// Evaluate loop exit branch
+    Condition* evaluateLoopExitBranch(const BasicBlock * bb, const BasicBlock *succ);
+    /// Return branch condition after evaluating test null like expression
+    Condition* evaluateTestNullLikeExpr(const BranchInst* brInst, const BasicBlock *succ);
+    /// Return condition when there is a branch calls program exit
+    Condition* evaluateProgExit(const BranchInst* brInst, const BasicBlock *succ);
+    /// Collect basic block contains program exit function call
+    void collectBBCallingProgExit(const BasicBlock& bb);
+    bool isBBCallsProgExit(const BasicBlock* bb);
+    //@}
+
+    /// Evaluate test null/not null like expressions
+    //@{
+    /// Return true if the predicate of this compare instruction is equal
+    bool isEQCmp(const CmpInst* cmp) const;
+    /// Return true if the predicate of this compare instruction is not equal
+    bool isNECmp(const CmpInst* cmp) const;
+    /// Return true if this is a test null expression
+    bool isTestNullExpr(const Value* test) const;
+    /// Return true if this is a test not null expression
+    bool isTestNotNullExpr(const Value* test) const;
+    /// Return true if two values on the predicate are what we want
+    bool isTestContainsNullAndTheValue(const CmpInst* cmp) const;
+    //@}
+
+
+    /// Get/Set control-flow conditions
+    //@{
+    inline bool setCFCond(const BasicBlock* bb, Condition* cond)
+    {
+        BBToCondMap::iterator it = bbToCondMap.find(bb);
+        // until a fixed-point is reached (condition is not changed)
+        if(it!=bbToCondMap.end() && isEquivalentBranchCond(it->second, cond))
+            return false;
+
+        bbToCondMap[bb] = cond;
+        return true;
+    }
+    inline Condition* getCFCond(const BasicBlock* bb) const
+    {
+        BBToCondMap::const_iterator it = bbToCondMap.find(bb);
+        if(it==bbToCondMap.end())
+        {
+            return getFalseCond();
+        }
+        return it->second;
+    }
+    //@}
+
+    /// Release memory
+    void destroy(){
+
+    }
+
+    PTACFInfoBuilder cfInfoBuilder;		    ///< map a function to its loop info
+    FunToExitBBsMap funToExitBBsMap;		///< map a function to all its basic blocks calling program exit
+    BBToCondMap bbToCondMap;				///< map a basic block to its path condition starting from root
+    const SVFGNode* curEvalSVFGNode{};			///< current llvm value to evaluate branch condition when computing guards
+
+protected:
+    CondManager* condMgr;		///< z3 manager
+    BBCondMap bbConds;						///< map basic block to its successors/predecessors branch conditions
+
+};
+
+} // End namespace SVF
+
+#endif /* PATHALLOCATOR_H_ */

package/SVF-linux/include/SABER/ProgSlice.h

@@ -30,7 +30,7 @@
 #ifndef PROGSLICE_H_
 #define PROGSLICE_H_
 
-#include "Util/PathCondAllocator.h"
+#include "SABER/PathCondAllocator.h"
 #include "Util/WorkList.h"
 #include "Graphs/SVFG.h"
 #include "Util/DPItem.h"

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

@@ -239,7 +239,7 @@ public:
 
     //WPAPass.cpp
     static const llvm::cl::opt<bool> AnderSVFG;
-    static const llvm::cl::opt<bool> WPAOPTSVFG;
+    static const llvm::cl::opt<bool> SABERFULLSVFG;
     static const llvm::cl::opt<bool> PrintAliases;
     static llvm::cl::bits<PointerAnalysis::PTATY> PASelected;
     static llvm::cl::bits<WPAPass::AliasCheckRule> AliasRule;

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

@@ -239,7 +239,7 @@ public:
 
     //WPAPass.cpp
     static const llvm::cl::opt<bool> AnderSVFG;
-    static const llvm::cl::opt<bool> WPAOPTSVFG;
+    static const llvm::cl::opt<bool> SABERFULLSVFG;
     static const llvm::cl::opt<bool> PrintAliases;
     static llvm::cl::bits<PointerAnalysis::PTATY> PASelected;
     static llvm::cl::bits<WPAPass::AliasCheckRule> AliasRule;

package/package.json

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