CFLBase.h

Go to the documentation of this file.

//===----- CFLBase.h -- CFL Analysis Client Base--------------//
//
//                     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/>.
//
//===----------------------------------------------------------------------===//
 
/*
 * CFLBase.h
 *
 *  Created on: Oct 12, 2022
 *      Author: Pei Xu
 */
 
#ifndef INCLUDE_CFL_CFLBASE_H_
#define INCLUDE_CFL_CFLBASE_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 "SVFIR/SVFType.h"
 
namespace SVF
{
 
class CFLStat;
 
class CFLBase : public BVDataPTAImpl
{
 
public:
    CFLBase(SVFIR* ir, PointerAnalysis::PTATY pty) : BVDataPTAImpl(ir, pty), svfir(ir), graph(nullptr), grammar(nullptr), solver(nullptr)
    {
    }
 
    virtual ~CFLBase()
    {
        delete solver;
        delete grammarBase;
    }
 
    virtual void checkParameter();
 
    virtual void buildCFLGrammar();
 
    virtual void buildCFLGraph();
 
    virtual void normalizeCFLGrammar();
 
    CFLGraph* getCFLGraph();
 
    virtual void countSumEdges();
 
    virtual void solve();
 
    virtual void finalize();
 
    virtual void analyze();
 
 
    // Grammar
    static double timeOfBuildCFLGrammar;            // Time of building grammarBase from text file
    static double timeOfNormalizeGrammar;           // Time of normalizing grammarBase to CFGrammar
    // Graph
    static double timeOfBuildCFLGraph;              // Time of building CFLGraph
    static double numOfTerminalEdges;               // Number of terminal labeled edges
    static double numOfTemporaryNonterminalEdges;   // Number of temporary (ie. X0, X1..) nonterminal labeled edges
    static double numOfNonterminalEdges;            // Number of nonterminal labeled edges
    static double numOfStartEdges;                  // Number of start nonterminal labeled edges
    // Solver
    static double numOfIteration;                   // Number solving Iteration
    static double numOfChecks;                  // Number of checks
    static double timeOfSolving;                    // time of solving CFL Reachability
 
protected:
    SVFIR* svfir;
    CFLGraph* graph;
    GrammarBase* grammarBase;
    CFGrammar* grammar;
    CFLSolver* solver;
};
 
} // End namespace SVF
 
#endif /* INCLUDE_CFL_CFLBASE_H_*/