svf-lib 1.0.1375 → 1.0.1376

package/SVF-osx/svf/include/include/SABER/ProgSlice.h

@@ -0,0 +1,313 @@
+//===- ProgSlice.h -- Program slicing based on SVF----------------------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
+/*
+ * ProgSlice.h
+ *
+ *  Created on: Apr 1, 2014
+ *      Author: Yulei Sui
+ *
+ *  The implementation is based on
+ * (1) Yulei Sui, Ding Ye, and Jingling Xue. "Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis".
+ * 2012 International Symposium on Software Testing and Analysis (ISSTA'12)
+ *
+ * (2) Yulei Sui, Ding Ye, and Jingling Xue. "Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis".
+ * IEEE Transactions on Software Engineering (TSE'14)
+ */
+
+#ifndef PROGSLICE_H_
+#define PROGSLICE_H_
+
+#include "SABER/SaberCondAllocator.h"
+#include "Util/WorkList.h"
+#include "Graphs/SVFG.h"
+#include "Util/DPItem.h"
+
+namespace SVF
+{
+
+class ProgSlice
+{
+
+public:
+    typedef Set<const SVFGNode*> SVFGNodeSet;
+    typedef SVFGNodeSet::const_iterator SVFGNodeSetIter;
+    typedef SaberCondAllocator::Condition Condition;
+    typedef Map<const SVFGNode*, Condition> SVFGNodeToCondMap; 	///< map a SVFGNode to its condition during value-flow guard computation
+
+    typedef FIFOWorkList<const SVFGNode*> VFWorkList;		    ///< worklist for value-flow guard computation
+    typedef FIFOWorkList<const SVFBasicBlock*> CFWorkList;	///< worklist for control-flow guard computation
+
+    /// Constructor
+    ProgSlice(const SVFGNode* src, SaberCondAllocator* pa, const SVFG* graph):
+        root(src), partialReachable(false), fullReachable(false), reachGlob(false),
+        pathAllocator(pa), _curSVFGNode(nullptr), finalCond(pa->getFalseCond()), svfg(graph)
+    {
+    }
+
+    /// Destructor
+    virtual ~ProgSlice()
+    {
+        destroy();
+    }
+
+    inline u32_t getForwardSliceSize() const
+    {
+        return forwardslice.size();
+    }
+    inline u32_t getBackwardSliceSize() const
+    {
+        return backwardslice.size();
+    }
+    /// Forward and backward slice operations
+    //@{
+    inline void addToForwardSlice(const SVFGNode* node)
+    {
+        forwardslice.insert(node);
+    }
+    inline void addToBackwardSlice(const SVFGNode* node)
+    {
+        backwardslice.insert(node);
+    }
+    inline bool inForwardSlice(const SVFGNode* node)
+    {
+        return forwardslice.find(node)!=forwardslice.end();
+    }
+    inline bool inBackwardSlice(const SVFGNode* node)
+    {
+        return backwardslice.find(node)!=backwardslice.end();
+    }
+    inline SVFGNodeSetIter forwardSliceBegin() const
+    {
+        return forwardslice.begin();
+    }
+    inline SVFGNodeSetIter forwardSliceEnd() const
+    {
+        return forwardslice.end();
+    }
+    inline SVFGNodeSetIter backwardSliceBegin() const
+    {
+        return backwardslice.begin();
+    }
+    inline SVFGNodeSetIter backwardSliceEnd() const
+    {
+        return backwardslice.end();
+    }
+    //@}
+
+    /// root and sink operations
+    //@{
+    inline const SVFGNode* getSource() const
+    {
+        return root;
+    }
+    inline void addToSinks(const SVFGNode* node)
+    {
+        sinks.insert(node);
+    }
+    inline const SVFGNodeSet& getSinks() const
+    {
+        return sinks;
+    }
+    inline SVFGNodeSetIter sinksBegin() const
+    {
+        return sinks.begin();
+    }
+    inline SVFGNodeSetIter sinksEnd() const
+    {
+        return sinks.end();
+    }
+    inline void setPartialReachable()
+    {
+        partialReachable = true;
+    }
+    inline void setAllReachable()
+    {
+        fullReachable = true;
+    }
+    inline bool setReachGlobal()
+    {
+        return reachGlob = true;
+    }
+    inline bool isPartialReachable() const
+    {
+        return partialReachable || reachGlob;
+    }
+    inline bool isAllReachable() const
+    {
+        return fullReachable || reachGlob;
+    }
+    inline bool isReachGlobal() const
+    {
+        return reachGlob;
+    }
+    //@}
+
+    /// Guarded reachability solve
+    bool AllPathReachableSolve();
+    bool isSatisfiableForAll();
+    bool isSatisfiableForPairs();
+
+    /// Get callsite ID and get returnsiteID from SVFGEdge
+    //@{
+    const CallICFGNode* getCallSite(const SVFGEdge* edge) const;
+    const CallICFGNode* getRetSite(const SVFGEdge* edge) const;
+    //@}
+
+    /// Condition operations
+    //@{
+    inline Condition condAnd(const Condition &lhs, const Condition &rhs)
+    {
+        return pathAllocator->condAnd(lhs,rhs);
+    }
+    inline Condition condOr(const Condition &lhs, const Condition &rhs)
+    {
+        return pathAllocator->condOr(lhs,rhs);
+    }
+    inline Condition condNeg(const Condition &cond)
+    {
+        return pathAllocator->condNeg(cond);
+    }
+    inline Condition getTrueCond() const
+    {
+        return pathAllocator->getTrueCond();
+    }
+    inline Condition getFalseCond() const
+    {
+        return pathAllocator->getFalseCond();
+    }
+    inline std::string dumpCond(const Condition& cond) const
+    {
+        return pathAllocator->dumpCond(cond);
+    }
+    /// Evaluate final condition
+    std::string evalFinalCond() const;
+    //@}
+
+protected:
+    inline const SVFG* getSVFG() const
+    {
+        return svfg;
+    }
+
+    /// Release memory
+    void destroy();
+    /// Clear Control flow conditions before each VF computation
+    inline void clearCFCond()
+    {
+        /// TODO: how to clean z3 memory
+        pathAllocator->clearCFCond();
+    }
+
+    /// Get/set VF (value-flow) and CF (control-flow) conditions
+    //@{
+    inline Condition getVFCond(const SVFGNode* node) const
+    {
+        SVFGNodeToCondMap::const_iterator it = svfgNodeToCondMap.find(node);
+        if(it==svfgNodeToCondMap.end())
+        {
+            return getFalseCond();
+        }
+        return it->second;
+    }
+    inline bool setVFCond(const SVFGNode* node, const Condition &cond)
+    {
+        SVFGNodeToCondMap::iterator it = svfgNodeToCondMap.find(node);
+        // until a fixed-point is reached (condition is not changed)
+        if(it!=svfgNodeToCondMap.end() && isEquivalentBranchCond(it->second, cond))
+            return false;
+
+        svfgNodeToCondMap[node] = cond;
+        return true;
+    }
+    //@}
+
+    /// Compute guards for value-flows
+    //@{
+    inline Condition ComputeIntraVFGGuard(const SVFBasicBlock* src, const SVFBasicBlock* dst)
+    {
+        return pathAllocator->ComputeIntraVFGGuard(src,dst);
+    }
+    inline Condition ComputeInterCallVFGGuard(const SVFBasicBlock* src, const SVFBasicBlock* dst, const SVFBasicBlock* callBB)
+    {
+        return pathAllocator->ComputeInterCallVFGGuard(src,dst,callBB);
+    }
+    inline Condition ComputeInterRetVFGGuard(const SVFBasicBlock* src, const SVFBasicBlock* dst, const SVFBasicBlock* retBB)
+    {
+        return pathAllocator->ComputeInterRetVFGGuard(src,dst,retBB);
+    }
+    //@}
+
+    inline bool isEquivalentBranchCond(const Condition &lhs, const Condition &rhs) const
+    {
+        return pathAllocator->isEquivalentBranchCond(lhs, rhs);
+    };
+
+    /// Return the basic block where a SVFGNode resides in
+    /// a SVFGNode may not in a basic block if it is not a program statement
+    /// (e.g. PAGEdge is an global assignment or NullPtrSVFGNode)
+    inline const SVFBasicBlock* getSVFGNodeBB(const SVFGNode* node) const
+    {
+        const ICFGNode* icfgNode = node->getICFGNode();
+        if(SVFUtil::isa<NullPtrSVFGNode>(node) == false)
+        {
+            return icfgNode->getBB();
+        }
+        return nullptr;
+    }
+
+    /// Get/set current SVFG node
+    //@{
+    inline const SVFGNode* getCurSVFGNode() const
+    {
+        return _curSVFGNode;
+    }
+    inline void setCurSVFGNode(const SVFGNode* node)
+    {
+        _curSVFGNode = node;
+        pathAllocator->setCurEvalSVFGNode(node);
+    }
+    //@}
+    /// Set final condition after all path reachability analysis
+    inline void setFinalCond(const Condition &cond)
+    {
+        finalCond = cond;
+    }
+
+private:
+    SVFGNodeSet forwardslice;				///<  the forward slice
+    SVFGNodeSet backwardslice;				///<  the backward slice
+    SVFGNodeSet sinks;						///<  a set of sink nodes
+    const SVFGNode* root;					///<  root node on the slice
+    SVFGNodeToCondMap svfgNodeToCondMap;	///<  map a SVFGNode to its path condition starting from root
+    bool partialReachable;					///<  reachable from some paths
+    bool fullReachable;						///<  reachable from all paths
+    bool reachGlob;							///<  Whether slice reach a global
+    SaberCondAllocator* pathAllocator;		///<  path condition allocator
+    const SVFGNode* _curSVFGNode;			///<  current svfg node during guard computation
+    Condition finalCond;					///<  final condition
+    const SVFG* svfg;						///<  SVFG
+};
+
+} // End namespace SVF
+
+#endif /* PROGSLICE_H_ */

package/SVF-osx/svf/include/include/SABER/SaberCheckerAPI.h

@@ -0,0 +1,166 @@
+//===- SaberCheckerAPI.h -- API for checkers in Saber-------------------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
+/*
+ * SaberCheckerAPI.h
+ *
+ *  Created on: Apr 23, 2014
+ *      Author: Yulei Sui
+ */
+
+#ifndef SABERCHECKERAPI_H_
+#define SABERCHECKERAPI_H_
+
+#include "Util/SVFUtil.h"
+#include "Graphs/ICFGNode.h"
+
+namespace SVF
+{
+
+/*
+ * Saber Checker API class contains interfaces for various bug checking
+ * memory leak detection e.g., alloc free
+ * incorrect file operation detection, e.g., fopen, fclose
+ */
+class SaberCheckerAPI
+{
+
+public:
+    enum CHECKER_TYPE
+    {
+        CK_DUMMY = 0,		/// dummy type
+        CK_ALLOC,		/// memory allocation
+        CK_FREE,      /// memory deallocation
+        CK_FOPEN,		/// File open
+        CK_FCLOSE		/// File close
+    };
+
+    typedef Map<std::string, CHECKER_TYPE> TDAPIMap;
+
+private:
+    /// API map, from a string to threadAPI type
+    TDAPIMap tdAPIMap;
+
+    /// Constructor
+    SaberCheckerAPI ()
+    {
+        init();
+    }
+
+    /// Initialize the map
+    void init();
+
+    /// Static reference
+    static SaberCheckerAPI* ckAPI;
+
+    /// Get the function type of a function
+    inline CHECKER_TYPE getType(const SVFFunction* F) const
+    {
+        if(F)
+        {
+            TDAPIMap::const_iterator it= tdAPIMap.find(F->getName());
+            if(it != tdAPIMap.end())
+                return it->second;
+        }
+        return CK_DUMMY;
+    }
+
+public:
+    /// Return a static reference
+    static SaberCheckerAPI* getCheckerAPI()
+    {
+        if(ckAPI == nullptr)
+        {
+            ckAPI = new SaberCheckerAPI();
+        }
+        return ckAPI;
+    }
+
+    /// Return true if this call is a memory allocation
+    //@{
+    inline bool isMemAlloc(const SVFFunction* fun) const
+    {
+        return getType(fun) == CK_ALLOC;
+    }
+    inline bool isMemAlloc(const SVFInstruction* inst) const
+    {
+        return getType(SVFUtil::getCallee(inst)) == CK_ALLOC;
+    }
+    inline bool isMemAlloc(const CallICFGNode* cs) const
+    {
+        return isMemAlloc(cs->getCallSite());
+    }
+    //@}
+
+    /// Return true if this call is a memory deallocation
+    //@{
+    inline bool isMemDealloc(const SVFFunction* fun) const
+    {
+        return getType(fun) == CK_FREE;
+    }
+    inline bool isMemDealloc(const SVFInstruction *inst) const
+    {
+        return getType(SVFUtil::getCallee(inst)) == CK_FREE;
+    }
+    inline bool isMemDealloc(const CallICFGNode* cs) const
+    {
+        return isMemDealloc(cs->getCallSite());
+    }
+    //@}
+
+    /// Return true if this call is a file open
+    //@{
+    inline bool isFOpen(const SVFFunction* fun) const
+    {
+        return getType(fun) == CK_FOPEN;
+    }
+    inline bool isFOpen(const SVFInstruction* inst) const
+    {
+        return getType(SVFUtil::getCallee(inst)) == CK_FOPEN;
+    }
+    inline bool isFOpen(const CallICFGNode* cs) const
+    {
+        return isFOpen(cs->getCallSite());
+    }
+    //@}
+
+    /// Return true if this call is a file close
+    //@{
+    inline bool isFClose(const SVFFunction* fun) const
+    {
+        return getType(fun) == CK_FCLOSE;
+    }
+    inline bool isFClose(const SVFInstruction* inst) const
+    {
+        return getType(SVFUtil::getCallee(inst)) == CK_FCLOSE;
+    }
+    inline bool isFClose(const CallICFGNode* cs) const
+    {
+        return isFClose(cs->getCallSite());
+    }
+    //@}
+
+};
+
+} // End namespace SVF
+
+#endif /* SABERCHECKERAPI_H_ */