WPAStat.h

Go to the documentation of this file.

//===- WPAStat.h -- WPA statistics--------------------------------------------//
//
//                     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/>.
//
//===----------------------------------------------------------------------===//
 
 
/*
 * FlowSensitiveStat.h
 *
 *  Created on: 27/11/2013
 *      Author: yesen
 */
 
#ifndef FLOWSENSITIVESTAT_H_
#define FLOWSENSITIVESTAT_H_
 
#include "Util/PTAStat.h"
#include "WPA/FlowSensitive.h"
#include "WPA/VersionedFlowSensitive.h"
#include "Util/GeneralType.h"
 
namespace SVF
{
 
class AndersenBase;
class SVFIR;
class ConstraintGraph;
 
class AndersenStat : public PTAStat
{
 
private:
    AndersenBase* pta;
 
public:
    static const char* CollapseTime;
 
    static u32_t _MaxPtsSize;
    static u32_t _NumOfCycles;
    static u32_t _NumOfPWCCycles;
    static u32_t _NumOfNodesInCycles;
    static u32_t _MaxNumOfNodesInSCC;
    u32_t _NumOfNullPtr;
    u32_t _NumOfConstantPtr;
    u32_t _NumOfBlackholePtr;
 
    AndersenStat(AndersenBase* p);
 
    virtual ~AndersenStat()
    {
 
    }
 
    virtual void performStat();
 
    void collectCycleInfo(ConstraintGraph* consCG);
 
    void statNullPtr();
 
    void constraintGraphStat();
};
 
class FlowSensitiveStat : public PTAStat
{
public:
    typedef FlowSensitive::DFInOutMap DFInOutMap;
    typedef FlowSensitive::PtsMap PtsMap;
 
    FlowSensitive * fspta;
 
    FlowSensitiveStat(FlowSensitive* pta): PTAStat(pta)
    {
        fspta = pta;
        clearStat();
        startClk();
    }
 
    virtual ~FlowSensitiveStat() {}
 
    virtual void performStat();
 
private:
    enum ENUM_INOUT
    {
        IN_SET,
        OUT_SET
    };
 
    void clearStat();
 
    void statNullPtr();
 
    void statPtsSize();
 
    void statAddrVarPtsSize();
 
    void calculateAddrVarPts(NodeID pointer, const SVFGNode* node);
 
    void statInOutPtsSize(const DFInOutMap& data, ENUM_INOUT inOrOut);
 
    u32_t _NumOfNullPtr;
    u32_t _NumOfConstantPtr;
    u32_t _NumOfBlackholePtr;
 
    u32_t _NumOfSVFGNodesHaveInOut[2];
    u32_t _NumOfFormalInSVFGNodesHaveInOut[2];
    u32_t _NumOfFormalOutSVFGNodesHaveInOut[2];
    u32_t _NumOfActualInSVFGNodesHaveInOut[2];
    u32_t _NumOfActualOutSVFGNodesHaveInOut[2];
    u32_t _NumOfLoadSVFGNodesHaveInOut[2];
    u32_t _NumOfStoreSVFGNodesHaveInOut[2];
    u32_t _NumOfMSSAPhiSVFGNodesHaveInOut[2];
 
    u32_t _NumOfVarHaveINOUTPts[2];
    u32_t _NumOfVarHaveEmptyINOUTPts[2];
    u32_t _NumOfVarHaveINOUTPtsInFormalIn[2];
    u32_t _NumOfVarHaveINOUTPtsInFormalOut[2];
    u32_t _NumOfVarHaveINOUTPtsInActualIn[2];
    u32_t _NumOfVarHaveINOUTPtsInActualOut[2];
    u32_t _NumOfVarHaveINOUTPtsInLoad[2];
    u32_t _NumOfVarHaveINOUTPtsInStore[2];
    u32_t _NumOfVarHaveINOUTPtsInMSSAPhi[2];
    u32_t _PotentialNumOfVarHaveINOUTPts[2];
 
    u32_t _MaxPtsSize;  
    u32_t _MaxTopLvlPtsSize;    
    u32_t _MaxInOutPtsSize[2];  
 
    u32_t _TotalPtsSize;    
 
    double _AvgPtsSize; 
    double _AvgTopLvlPtsSize;   
    double _AvgInOutPtsSize[2]; 
    double _AvgAddrTakenVarPtsSize; 
 
    u32_t _MaxAddrTakenVarPts;  
    u32_t _NumOfAddrTakeVar;    
};
 
class VersionedFlowSensitiveStat : public PTAStat
{
public:
    VersionedFlowSensitive *vfspta;
 
    VersionedFlowSensitiveStat(VersionedFlowSensitive* pta): PTAStat(pta)
    {
        vfspta = pta;
        clearStat();
        startClk();
    }
 
    virtual ~VersionedFlowSensitiveStat() { }
 
    virtual void performStat();
 
private:
    void clearStat();
 
    void versionStat(void);
 
    void ptsSizeStat(void);
 
    u32_t _NumVersions;
    u32_t _MaxVersions;
    u32_t _NumUsedVersions;
    u32_t _NumNonEmptyVersions;
    u32_t _NumEmptyVersions;
    u32_t _NumSingleVersion;
 
    u32_t _MaxPtsSize;
    u32_t _MaxTopLvlPtsSize;
    u32_t _MaxVersionPtsSize;
 
    u32_t _TotalPtsSize;
 
    double _AvgPtsSize;
    double _AvgTopLvlPtsSize;
    double _AvgVersionPtsSize;
};
} // End namespace SVF
 
#endif /* FLOWSENSITIVESTAT_H_ */