CommonCHG.h

Go to the documentation of this file.

//===----- CommonCHG.h -- Base class of CHG implementations ------------------//
// A common base to CHGraph and DCHGraph.

/*
 * CommonCHG.h
 *
 *  Created on: Aug 24, 2019
 *      Author: Mohamad Barbar
 */

#ifndef COMMONCHG_H_
#define COMMONCHG_H_

namespace SVF
{

typedef Set<const GlobalValue*> VTableSet;
typedef Set<const SVFFunction*> VFunSet;

class CommonCHGraph
{
public:
    virtual ~CommonCHGraph() { };
    enum CHGKind
    {
        Standard,
        DI
    };

    virtual bool csHasVFnsBasedonCHA(CallSite cs) = 0;
    virtual const VFunSet &getCSVFsBasedonCHA(CallSite cs) = 0;
    virtual bool csHasVtblsBasedonCHA(CallSite cs) = 0;
    virtual const VTableSet &getCSVtblsBasedonCHA(CallSite cs) = 0;
    virtual void getVFnsFromVtbls(CallSite cs, const VTableSet &vtbls, VFunSet &virtualFunctions) = 0;

    CHGKind getKind(void) const
    {
        return kind;
    }

protected:
    CHGKind kind;
};

} // End namespace SVF

#endif /* COMMONCHG_H_ */