WPAPass.h

Go to the documentation of this file.

//===- WPAPass.h -- Whole program analysis------------------------------------//
//
//                     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/>.
//
//===----------------------------------------------------------------------===//
 
 
/*
 * @file: WPA.h
 * @author: yesen
 * @date: 10/06/2014
 * @version: 1.0
 *
 * @section LICENSE
 *
 * @section DESCRIPTION
 *
 */
 
 
#ifndef WPA_H_
#define WPA_H_
 
#include "MemoryModel/PointerAnalysisImpl.h"
 
namespace SVF
{
 
class SVFModule;
class SVFG;
 
// excised ", public llvm::AliasAnalysis" as that has a very light interface
// and I want to see what breaks.
class WPAPass
{
    typedef std::vector<PointerAnalysis*> PTAVector;
 
public:
    static char ID;
 
    enum AliasCheckRule
    {
        Conservative,   
        Veto,           
        Precise         
    };
 
    WPAPass()
    {
 
    }
 
    virtual ~WPAPass();
 
    virtual AliasResult alias(const SVFValue* V1,   const SVFValue* V2);
 
    virtual const PointsTo& getPts(const SVFValue* value);
    virtual const PointsTo& getPts(NodeID var);
 
    virtual void PrintAliasPairs(PointerAnalysis* pta);
 
    virtual ModRefInfo getModRefInfo(const CallICFGNode* callInst);
 
    // virtual inline ModRefInfo getModRefInfo(const CallSite callInst, const MemoryLocation& Loc)
    // {
    //     return getModRefInfo(callInst, Loc.Ptr);
    // }
 
    virtual ModRefInfo getModRefInfo(const CallICFGNode* callInst, const SVFValue* V);
 
    virtual ModRefInfo getModRefInfo(const CallICFGNode* callInst1, const CallICFGNode* callInst2);
 
    virtual void runOnModule(SVFIR* svfModule);
 
    virtual inline std::string getPassName() const
    {
        return "WPAPass";
    }
 
private:
    void runPointerAnalysis(SVFIR* pag, u32_t kind);
 
    PTAVector ptaVector;    
    PointerAnalysis* _pta;  
    SVFG* _svfg;  
};
 
} // End namespace SVF
 
#endif /* WPA_H_ */