SaberSVFGBuilder.h

Go to the documentation of this file.

//===- SaberSVFGBuilder.h -- Building SVFG for 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 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/>.
//
//===----------------------------------------------------------------------===//
 
/*
 * SaberSVFGBuilder.h
 *
 *  Created on: May 1, 2014
 *      Author: Yulei Sui
 */
 
#ifndef SABERSVFGBUILDER_H_
#define SABERSVFGBUILDER_H_
 
#include "Graphs/SVFG.h"
#include "MSSA/SVFGBuilder.h"
#include "Util/GeneralType.h"
#include "Util/WorkList.h"
 
 
namespace SVF
{
 
class BVDataPTAImpl;
class CallICFGNode;
class SaberCondAllocator;
class ValVar;
 
class SaberSVFGBuilder : public SVFGBuilder
{
 
public:
    typedef Set<const SVFGNode*> SVFGNodeSet;
    typedef Map<NodeID, PointsTo> NodeToPTSSMap;
    typedef FIFOWorkList<NodeID> WorkList;
 
    SaberSVFGBuilder(): SVFGBuilder(true) {}
 
    virtual ~SaberSVFGBuilder() {}
 
    inline bool isGlobalSVFGNode(const SVFGNode* node) const
    {
        return globSVFGNodes.find(node)!=globSVFGNodes.end();
    }
 
    inline void addActualParmVFGNode(const ValVar* svfVar, const CallICFGNode* cs)
    {
        svfg->addActualParmVFGNode(svfVar, cs);
    }
 
    void setSaberCondAllocator(SaberCondAllocator* allocator)
    {
        saberCondAllocator = allocator;
    }
 
protected:
    virtual void buildSVFG();
 
    bool isStrongUpdate(const SVFGNode* node, NodeID& singleton, BVDataPTAImpl* pta);
 
protected:
    void rmDerefDirSVFGEdges(BVDataPTAImpl* pta);
 
    virtual void rmIncomingEdgeForSUStore(BVDataPTAImpl* pta);
 
    virtual void AddExtActualParmSVFGNodes(CallGraph* callgraph);
 
    void collectGlobals(BVDataPTAImpl* pta);
 
    bool accessGlobal(BVDataPTAImpl* pta,const SVFVar* svfVar);
 
    PointsTo& CollectPtsChain(BVDataPTAImpl* pta,NodeID id, NodeToPTSSMap& cachedPtsMap);
 
    PointsTo globs;
    SVFGNodeSet globSVFGNodes;
 
    SaberCondAllocator* saberCondAllocator;
};
 
} // End namespace SVF
 
#endif /* SABERSVFGBUILDER_H_ */