SVFType.h

Go to the documentation of this file.

//===- SVFBasicTypes.h -- Basic types used in SVF-----------------------------//
//
//                     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/>.
//
//===----------------------------------------------------------------------===//
 
/*
 * BasicTypes.h
 *
 *  Created on: Apr 1, 2014
 *      Author: Yulei Sui
 */
 
#ifndef INCLUDE_SVFIR_SVFTYPE_H_
#define INCLUDE_SVFIR_SVFTYPE_H_
 
#include "Util/SparseBitVector.h"
#include "Util/GeneralType.h"
 
 
namespace SVF
{
class SVFType;
class SVFPointerType;
 
 
class StInfo
{
    friend class SVFIRWriter;
    friend class SVFIRReader;
 
private:
    std::vector<u32_t> fldIdxVec;
    std::vector<u32_t> elemIdxVec;
    Map<u32_t, const SVFType*> fldIdx2TypeMap;
    std::vector<const SVFType*> finfo;
    u32_t stride;
    u32_t numOfFlattenElements;
    u32_t numOfFlattenFields;
    std::vector<const SVFType*> flattenElementTypes;
 
public:
    StInfo() = delete;
    StInfo(const StInfo& st) = delete;
    void operator=(const StInfo&) = delete;
 
    explicit StInfo(u32_t s)
        : stride(s), numOfFlattenElements(s), numOfFlattenFields(s)
    {
    }
    ~StInfo() = default;
 
    //{@
    const SVFType* getOriginalElemType(u32_t fldIdx) const;
 
    inline std::vector<u32_t>& getFlattenedFieldIdxVec()
    {
        return fldIdxVec;
    }
    inline std::vector<u32_t>& getFlattenedElemIdxVec()
    {
        return elemIdxVec;
    }
    inline std::vector<const SVFType*>& getFlattenElementTypes()
    {
        return flattenElementTypes;
    }
    inline std::vector<const SVFType*>& getFlattenFieldTypes()
    {
        return finfo;
    }
    inline const std::vector<u32_t>& getFlattenedFieldIdxVec() const
    {
        return fldIdxVec;
    }
    inline const std::vector<u32_t>& getFlattenedElemIdxVec() const
    {
        return elemIdxVec;
    }
    inline const std::vector<const SVFType*>& getFlattenElementTypes() const
    {
        return flattenElementTypes;
    }
    inline const std::vector<const SVFType*>& getFlattenFieldTypes() const
    {
        return finfo;
    }
 
    void addFldWithType(u32_t fldIdx, const SVFType* type, u32_t elemIdx);
 
    inline void setNumOfFieldsAndElems(u32_t nf, u32_t ne)
    {
        numOfFlattenFields = nf;
        numOfFlattenElements = ne;
    }
 
    inline u32_t getNumOfFlattenElements() const
    {
        return numOfFlattenElements;
    }
 
    inline u32_t getNumOfFlattenFields() const
    {
        return numOfFlattenFields;
    }
    inline u32_t getStride() const
    {
        return stride;
    }
};
 
class SVFType
{
    friend class SVFIRWriter;
    friend class SVFIRReader;
    friend class LLVMModuleSet;
 
public:
    typedef s64_t GNodeK;
 
    enum SVFTyKind
    {
        SVFTy,
        SVFPointerTy,
        SVFIntegerTy,
        SVFFunctionTy,
        SVFStructTy,
        SVFArrayTy,
        SVFOtherTy,
    };
 
public:
 
    inline static SVFType* getSVFPtrType()
    {
        assert(svfPtrTy && "ptr type not set?");
        return svfPtrTy;
    }
 
    inline static SVFType* getSVFInt8Type()
    {
        assert(svfI8Ty && "int8 type not set?");
        return svfI8Ty;
    }
 
private:
 
    static SVFType* svfPtrTy; 
    static SVFType* svfI8Ty; 
 
private:
    GNodeK kind; 
    StInfo* typeinfo;   
    bool isSingleValTy; 
    u32_t byteSize; 
 
protected:
    SVFType(bool svt, SVFTyKind k, u32_t Sz = 1)
        : kind(k), typeinfo(nullptr),
          isSingleValTy(svt), byteSize(Sz)
    {
    }
 
public:
    SVFType(void) = delete;
    virtual ~SVFType() {}
 
    inline GNodeK getKind() const
    {
        return kind;
    }
 
    std::string toString() const;
 
    virtual void print(std::ostream& os) const = 0;
 
 
    inline void setTypeInfo(StInfo* ti)
    {
        typeinfo = ti;
    }
 
    inline StInfo* getTypeInfo()
    {
        assert(typeinfo && "set the type info first");
        return typeinfo;
    }
 
    inline const StInfo* getTypeInfo() const
    {
        assert(typeinfo && "set the type info first");
        return typeinfo;
    }
 
    inline u32_t getByteSize() const
    {
        return byteSize;
    }
 
    inline bool isPointerTy() const
    {
        return kind == SVFPointerTy;
    }
 
    inline bool isArrayTy() const
    {
        return kind == SVFArrayTy;
    }
 
    inline bool isStructTy() const
    {
        return kind == SVFStructTy;
    }
 
    inline bool isSingleValueType() const
    {
        return isSingleValTy;
    }
};
 
std::ostream& operator<<(std::ostream& os, const SVFType& type);
 
class SVFPointerType : public SVFType
{
    friend class SVFIRWriter;
    friend class SVFIRReader;
 
public:
    SVFPointerType(u32_t byteSize = 1)
        : SVFType(true, SVFPointerTy, byteSize)
    {
    }
 
    static inline bool classof(const SVFType* node)
    {
        return node->getKind() == SVFPointerTy;
    }
 
    void print(std::ostream& os) const override;
};
 
class SVFIntegerType : public SVFType
{
    friend class SVFIRWriter;
    friend class SVFIRReader;
 
private:
    short signAndWidth; 
 
public:
    SVFIntegerType(u32_t byteSize = 1) : SVFType(true, SVFIntegerTy, byteSize) {}
    static inline bool classof(const SVFType* node)
    {
        return node->getKind() == SVFIntegerTy;
    }
 
    void print(std::ostream& os) const override;
 
    void setSignAndWidth(short sw)
    {
        signAndWidth = sw;
    }
 
    bool isSigned() const
    {
        return signAndWidth < 0;
    }
};
 
class SVFFunctionType : public SVFType
{
    friend class SVFIRWriter;
    friend class SVFIRReader;
 
private:
    const SVFType* retTy;
 
public:
    SVFFunctionType(const SVFType* rt)
        : SVFType(false, SVFFunctionTy, 1), retTy(rt)
    {
    }
    static inline bool classof(const SVFType* node)
    {
        return node->getKind() == SVFFunctionTy;
    }
    const SVFType* getReturnType() const
    {
        return retTy;
    }
 
    void print(std::ostream& os) const override;
};
 
class SVFStructType : public SVFType
{
    friend class SVFIRWriter;
    friend class SVFIRReader;
 
private:
    std::string name;
 
public:
    SVFStructType(u32_t byteSize = 1) : SVFType(false, SVFStructTy, byteSize) {}
 
    static inline bool classof(const SVFType* node)
    {
        return node->getKind() == SVFStructTy;
    }
 
    void print(std::ostream& os) const override;
 
    const std::string& getName()
    {
        return name;
    }
    void setName(const std::string& structName)
    {
        name = structName;
    }
    void setName(std::string&& structName)
    {
        name = std::move(structName);
    }
};
 
class SVFArrayType : public SVFType
{
    friend class SVFIRWriter;
    friend class SVFIRReader;
 
private:
    unsigned numOfElement; 
    const SVFType* typeOfElement; 
 
public:
    SVFArrayType(u32_t byteSize = 1)
        : SVFType(false, SVFArrayTy, byteSize), numOfElement(0), typeOfElement(nullptr)
    {
    }
 
    static inline bool classof(const SVFType* node)
    {
        return node->getKind() == SVFArrayTy;
    }
 
    void print(std::ostream& os) const override;
 
    const SVFType* getTypeOfElement() const
    {
        return typeOfElement;
    }
 
    void setTypeOfElement(const SVFType* elemType)
    {
        typeOfElement = elemType;
    }
 
    void setNumOfElement(unsigned elemNum)
    {
        numOfElement = elemNum;
    }
 
 
};
 
class SVFOtherType : public SVFType
{
    friend class SVFIRWriter;
    friend class SVFIRReader;
 
private:
    std::string repr; 
 
public:
    SVFOtherType(bool isSingleValueTy, u32_t byteSize = 1) : SVFType(isSingleValueTy, SVFOtherTy, byteSize) {}
 
    static inline bool classof(const SVFType* node)
    {
        return node->getKind() == SVFOtherTy;
    }
 
    const std::string& getRepr()
    {
        return repr;
    }
 
    void setRepr(std::string&& r)
    {
        repr = std::move(r);
    }
 
    void setRepr(const std::string& r)
    {
        repr = r;
    }
 
    void print(std::ostream& os) const override;
};
 
// TODO: be explicit that this is a pair of 32-bit unsigneds?
template <> struct Hash<NodePair>
{
    size_t operator()(const NodePair& p) const
    {
        // Make sure our assumptions are sound: use u32_t
        // and u64_t. If NodeID is not actually u32_t or size_t
        // is not u64_t we should be fine since we get a
        // consistent result.
        uint32_t first = (uint32_t)(p.first);
        uint32_t second = (uint32_t)(p.second);
        return ((uint64_t)(first) << 32) | (uint64_t)(second);
    }
};
 
#if !defined NDBUG && defined USE_SVF_DBOUT
// TODO: This comes from the following link
// https://github.com/llvm/llvm-project/blob/75e33f71c2dae584b13a7d1186ae0a038ba98838/llvm/include/llvm/Support/Debug.h#L64
// The original LLVM implementation makes use of type. But we can get that info,
// so we can't simulate the full behaviour for now.
#    define SVF_DEBUG_WITH_TYPE(TYPE, X)                                       \
        do                                                                     \
        {                                                                      \
            X;                                                                 \
        } while (false)
#else
#    define SVF_DEBUG_WITH_TYPE(TYPE, X)                                       \
        do                                                                     \
        {                                                                      \
        } while (false)
#endif
 
#define DBOUT(TYPE, X) SVF_DEBUG_WITH_TYPE(TYPE, X)
#define DOSTAT(X) X
#define DOTIMESTAT(X) X
 
#define DGENERAL "general"
 
#define DPAGBuild "pag"
#define DMemModel "mm"
#define DMemModelCE "mmce"
#define DCOMModel "comm"
#define DDDA "dda"
#define DDumpPT "dumppt"
#define DRefinePT "sbpt"
#define DCache "cache"
#define DWPA "wpa"
#define DMSSA "mssa"
#define DInstrument "ins"
#define DAndersen "ander"
#define DSaber "saber"
#define DMTA "mta"
#define DCHA "cha"
 
/*
 * Number of clock ticks per second. A clock tick is the unit by which
 * processor time is measured and is returned by 'clock'.
 */
#define TIMEINTERVAL 1000
#define CLOCK_IN_MS() (clock() / (CLOCKS_PER_SEC / TIMEINTERVAL))
 
#define NATIVE_INT_SIZE (sizeof(unsigned long long) * CHAR_BIT)
 
enum ModRefInfo
{
    ModRef,
    Ref,
    Mod,
    NoModRef,
};
 
enum AliasResult
{
    NoAlias,
    MayAlias,
    MustAlias,
    PartialAlias,
};
 
} // End namespace SVF
 
template <> struct std::hash<SVF::NodePair>
{
    size_t operator()(const SVF::NodePair& p) const
    {
        // Make sure our assumptions are sound: use u32_t
        // and u64_t. If NodeID is not actually u32_t or size_t
        // is not u64_t we should be fine since we get a
        // consistent result.
        uint32_t first = (uint32_t)(p.first);
        uint32_t second = (uint32_t)(p.second);
        return ((uint64_t)(first) << 32) | (uint64_t)(second);
    }
};
 
template <unsigned N> struct std::hash<SVF::SparseBitVector<N>>
{
    size_t operator()(const SVF::SparseBitVector<N>& sbv) const
    {
        SVF::Hash<std::pair<std::pair<size_t, size_t>, size_t>> h;
        return h(std::make_pair(std::make_pair(sbv.count(), sbv.find_first()),
                                sbv.find_last()));
    }
};
 
template <typename T> struct std::hash<std::vector<T>>
{
    size_t operator()(const std::vector<T>& v) const
    {
        // TODO: repetition with CBV.
        size_t h = v.size();
 
        SVF::Hash<T> hf;
        for (const T& t : v)
        {
            h ^= hf(t) + 0x9e3779b9 + (h << 6) + (h >> 2);
        }
 
        return h;
    }
};
 
#endif /* INCLUDE_SVFIR_SVFTYPE_H_ */