FlowSensitiveTBHC.h

Go to the documentation of this file.

//===- FlowSensitiveTBHC.h -- flow-sensitive type filter ----------------//

/*
 * FlowSensitiveTBHC.h
 *
 *  Created on: Oct 08, 2019
 *      Author: Mohamad Barbar
 */

#ifndef FLOWSENSITIVETYPEFILTER_H_
#define FLOWSENSITIVETYPEFILTER_H_

#include "SVF-FE/DCHG.h"
#include "Graphs/SVFGOPT.h"
#include "MSSA/SVFGBuilder.h"
#include "Util/TypeBasedHeapCloning.h"
#include "WPA/FlowSensitive.h"

namespace SVF
{

class SVFModule;

class FlowSensitiveTBHC : public FlowSensitive, public TypeBasedHeapCloning
{
public:
    static const MDNode *getRawCTirMetadata(const SVFGNode *);

    FlowSensitiveTBHC(PAG* _pag, PTATY type = FSTBHC_WPA);

    virtual ~FlowSensitiveTBHC() { };

    virtual void analyze() override;
    virtual void initialize() override;
    virtual void finalize() override;

    virtual const std::string PTAName() const override
    {
        return "FSTBHC";
    }

    static inline bool classof(const FlowSensitiveTBHC *)
    {
        return true;
    }

    static inline bool classof(const PointerAnalysis *pta)
    {
        return pta->getAnalysisTy() == FSTBHC_WPA;
    }

    virtual bool propAlongIndirectEdge(const IndirectSVFGEdge* edge) override;
    virtual bool propAlongDirectEdge(const DirectSVFGEdge* edge) override;

    virtual bool processAddr(const AddrSVFGNode* addr) override;
    virtual bool processGep(const GepSVFGNode* gep) override;
    virtual bool processLoad(const LoadSVFGNode* load) override;
    virtual bool processStore(const StoreSVFGNode* store) override;
    virtual bool processPhi(const PHISVFGNode* phi) override;
    virtual bool processCopy(const CopySVFGNode* copy) override;

    virtual inline const NodeBS& getAllFieldsObjNode(NodeID id) override;

    virtual inline bool updateInFromIn(const SVFGNode* srcStmt, NodeID srcVar, const SVFGNode* dstStmt, NodeID dstVar) override;
    virtual inline bool updateInFromOut(const SVFGNode* srcStmt, NodeID srcVar, const SVFGNode* dstStmt, NodeID dstVar) override;

    virtual inline bool unionPtsFromIn(const SVFGNode* stmt, NodeID srcVar, NodeID dstVar) override;
    virtual inline bool unionPtsFromTop(const SVFGNode* stmt, NodeID srcVar, NodeID dstVar) override;

    virtual inline bool propDFOutToIn(const SVFGNode* srcStmt, NodeID srcVar, const SVFGNode* dstStmt, NodeID dstVar) override;
    virtual inline bool propDFInToIn(const SVFGNode* srcStmt, NodeID srcVar, const SVFGNode* dstStmt, NodeID dstVar) override;

    virtual void expandFIObjs(const PointsTo& pts, PointsTo& expandedPts) override;

    const DIType *getTypeFromCTirMetadata(const SVFGNode *);

protected:
    virtual void backPropagate(NodeID clone) override;

    virtual void countAliases(Set<std::pair<NodeID, NodeID>> cmp, unsigned *mayAliases, unsigned *noAliases) override;

private:
    void determineWhichGepsAreLoads(void);

    bool gepIsLoad(NodeID gep);

    bool storeReuse;
    bool allReuse;

    Map<NodeID, NodeBS> gepToSVFGRetrievers;
    NodeBS loadGeps;
};

} // End namespace SVF

#endif /* FLOWSENSITIVETYPEFILTER_H_ */