svf-lib 1.0.1301 → 1.0.1302

package/SVF-linux/include/SVF-FE/SymbolTableInfo.h

@@ -1,439 +0,0 @@
-//===- SymbolTableInfo.h -- Symbol information from IR------------------------//
-//
-//                     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 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 General Public License for more details.
-
-// You should have received a copy of the GNU General Public License
-// along with this program.  If not, see <http://www.gnu.org/licenses/>.
-//
-//===----------------------------------------------------------------------===//
-
-/*
- * SymbolTableInfo.h
- *
- *  Created on: Nov 11, 2013
- *      Author: Yulei Sui
- */
-
-#ifndef INCLUDE_SVF_FE_SYMBOLTABLEINFO_H_
-#define INCLUDE_SVF_FE_SYMBOLTABLEINFO_H_
-
-#include "MemoryModel/MemModel.h"
-#include "SVF-FE/LLVMModule.h"
-
-namespace SVF
-{
-
-/*!
- * Symbol table of the memory model for analysis
- */
-class SymbolTableInfo
-{
-
-friend class MemModelBuilder;
-
-public:
-    /// various maps defined
-    //{@
-    /// llvm value to sym id map
-    /// local (%) and global (@) identifiers are pointer types which have a value node id.
-    typedef OrderedMap<const Value *, SymID> ValueToIDMapTy;
-    /// sym id to memory object map
-    typedef OrderedMap<SymID,MemObj*> IDToMemMapTy;
-    /// function to sym id map
-    typedef OrderedMap<const Function *, SymID> FunToIDMapTy;
-    /// sym id to sym type map
-    typedef OrderedMap<SymID,SYMTYPE> IDToSymTyMapTy;
-    /// struct type to struct info map
-    typedef OrderedMap<const Type*, StInfo*> TypeToFieldInfoMap;
-    typedef Set<CallSite> CallSiteSet;
-    typedef OrderedMap<const Instruction*,CallSiteID> CallSiteToIDMapTy;
-    typedef OrderedMap<CallSiteID,const Instruction*> IDToCallSiteMapTy;
-
-    //@}
-
-private:
-    /// Data layout on a target machine
-    static DataLayout *dl;
-
-    ValueToIDMapTy valSymMap;	///< map a value to its sym id
-    ValueToIDMapTy objSymMap;	///< map a obj reference to its sym id
-    IDToMemMapTy		objMap;		///< map a memory sym id to its obj
-    IDToSymTyMapTy	symTyMap;	/// < map a sym id to its type
-    FunToIDMapTy returnSymMap;		///< return  map
-    FunToIDMapTy varargSymMap;	    ///< vararg map
-
-    CallSiteSet callSiteSet;
-
-    // Singleton pattern here to enable instance of SymbolTableInfo can only be created once.
-    static SymbolTableInfo* symInfo;
-
-    /// Module
-    SVFModule* mod;
-
-    /// Max field limit
-    static u32_t maxFieldLimit;
-
-    /// Clean up memory
-    void destroy();
-
-    /// Whether to model constants
-    bool modelConstants;
-
-    /// total number of symbols
-    SymID totalSymNum;
-
-protected:
-    /// Constructor
-    SymbolTableInfo(void) :
-        mod(nullptr), modelConstants(false), totalSymNum(0), maxStruct(nullptr), maxStSize(0)
-    {
-    }
-
-public:
-
-    /// Singleton design here to make sure we only have one instance during any analysis
-    //@{
-    static SymbolTableInfo* SymbolInfo();
-
-    static void releaseSymbolInfo()
-    {
-        delete symInfo;
-        symInfo = nullptr;
-    }
-    virtual ~SymbolTableInfo()
-    {
-        destroy();
-    }
-    //@}
-
-    /// Set / Get modelConstants
-    //@{
-    void setModelConstants(bool _modelConstants)
-    {
-        modelConstants = _modelConstants;
-    }
-    bool getModelConstants() const
-    {
-        return modelConstants;
-    }
-    //@}
-
-    /// Get callsite set
-    //@{
-    inline const CallSiteSet& getCallSiteSet() const
-    {
-        return callSiteSet;
-    }
-    //@}
-
-    /// Module
-    inline SVFModule* getModule()
-    {
-        return mod;
-    }
-        /// Module
-    inline void setModule(SVFModule* m)
-    {
-        mod = m;
-    }
-
-    /// Get target machine data layout
-    inline static DataLayout* getDataLayout(Module* mod)
-    {
-        if(dl==nullptr)
-            return dl = new DataLayout(mod);
-        return dl;
-    }
-
-    /// Helper method to get the size of the type from target data layout
-    //@{
-    u32_t getTypeSizeInBytes(const Type* type);
-    u32_t getTypeSizeInBytes(const StructType *sty, u32_t field_index);
-    //@}
-
-    /// special value
-    // @{
-    static bool isNullPtrSym(const Value *val);
-
-    static bool isBlackholeSym(const Value *val);
-
-    bool isConstantObjSym(const Value *val);
-
-    static inline bool isBlkPtr(NodeID id)
-    {
-        return (id == BlkPtr);
-    }
-    static inline bool isNullPtr(NodeID id)
-    {
-        return (id == NullPtr);
-    }
-    static inline bool isBlkObj(NodeID id)
-    {
-        return (id == BlackHole);
-    }
-    static inline bool isConstantObj(NodeID id)
-    {
-        return (id == ConstantObj);
-    }
-    static inline bool isBlkObjOrConstantObj(NodeID id)
-    {
-        return (isBlkObj(id) || isConstantObj(id));
-    }
-
-    inline void createBlkOrConstantObj(SymID symId)
-    {
-        assert(isBlkObjOrConstantObj(symId));
-        assert(objMap.find(symId)==objMap.end());
-        objMap[symId] = new MemObj(symId, createObjTypeInfo());;
-    }
-
-    inline MemObj* getBlkObj() const
-    {
-        return getObj(blackholeSymID());
-    }
-    inline MemObj* getConstantObj() const
-    {
-        return getObj(constantSymID());
-    }
-
-    inline SymID blkPtrSymID() const
-    {
-        return BlkPtr;
-    }
-
-    inline SymID nullPtrSymID() const
-    {
-        return NullPtr;
-    }
-
-    inline SymID constantSymID() const
-    {
-        return ConstantObj;
-    }
-
-    inline SymID blackholeSymID() const
-    {
-        return BlackHole;
-    }
-
-    /// Can only be invoked by PAG::addDummyNode() when creaing PAG from file.
-    inline const MemObj* createDummyObj(SymID symId, const Type* type)
-    {
-        assert(objMap.find(symId)==objMap.end() && "this dummy obj has been created before");
-        MemObj* memObj = new MemObj(symId, createObjTypeInfo(type));
-        objMap[symId] = memObj;
-        return memObj;
-    }
-    // @}
-
-    /// Get different kinds of syms
-    //@{
-    SymID getValSym(const Value *val)
-    {
-
-        if(isNullPtrSym(val))
-            return nullPtrSymID();
-        else if(isBlackholeSym(val))
-            return blkPtrSymID();
-        else
-        {
-            ValueToIDMapTy::const_iterator iter =  valSymMap.find(val);
-            assert(iter!=valSymMap.end() &&"value sym not found");
-            return iter->second;
-        }
-    }
-
-    inline bool hasValSym(const Value* val)
-    {
-        if (isNullPtrSym(val) || isBlackholeSym(val))
-            return true;
-        else
-            return (valSymMap.find(val) != valSymMap.end());
-    }
-
-    /// find the unique defined global across multiple modules
-    inline const Value* getGlobalRep(const Value* val) const
-    {
-        if(const GlobalVariable* gvar = SVFUtil::dyn_cast<GlobalVariable>(val))
-        {
-            if (LLVMModuleSet::getLLVMModuleSet()->hasGlobalRep(gvar))
-                val = LLVMModuleSet::getLLVMModuleSet()->getGlobalRep(gvar);
-        }
-        return val;
-    }
-
-    inline SymID getObjSym(const Value *val) const
-    {
-        ValueToIDMapTy::const_iterator iter = objSymMap.find(getGlobalRep(val));
-        assert(iter!=objSymMap.end() && "obj sym not found");
-        return iter->second;
-    }
-
-    inline MemObj* getObj(SymID id) const
-    {
-        IDToMemMapTy::const_iterator iter = objMap.find(id);
-        assert(iter!=objMap.end() && "obj not found");
-        return iter->second;
-    }
-
-    inline SymID getRetSym(const Function *val) const
-    {
-        FunToIDMapTy::const_iterator iter =  returnSymMap.find(val);
-        assert(iter!=returnSymMap.end() && "ret sym not found");
-        return iter->second;
-    }
-
-    inline SymID getVarargSym(const Function *val) const
-    {
-        FunToIDMapTy::const_iterator iter =  varargSymMap.find(val);
-        assert(iter!=varargSymMap.end() && "vararg sym not found");
-        return iter->second;
-    }
-    //@}
-
-    /// Statistics
-    //@{
-    inline Size_t getTotalSymNum() const
-    {
-        return totalSymNum;
-    }
-    inline u32_t getMaxStructSize() const
-    {
-        return maxStSize;
-    }
-    //@}
-
-    /// Get different kinds of syms maps
-    //@{
-    inline ValueToIDMapTy& valSyms()
-    {
-        return valSymMap;
-    }
-
-    inline ValueToIDMapTy& objSyms()
-    {
-        return objSymMap;
-    }
-
-    inline IDToMemMapTy& idToObjMap()
-    {
-        return objMap;
-    }
-
-    inline FunToIDMapTy& retSyms()
-    {
-        return returnSymMap;
-    }
-
-    inline FunToIDMapTy& varargSyms()
-    {
-        return varargSymMap;
-    }
-
-    //@}
-
-    /// Get struct info
-    //@{
-    ///Get an iterator for StructInfo, designed as internal methods
-    TypeToFieldInfoMap::iterator getStructInfoIter(const Type *T)
-    {
-        assert(T);
-        TypeToFieldInfoMap::iterator it = typeToFieldInfo.find(T);
-        if (it != typeToFieldInfo.end())
-            return it;
-        else
-        {
-            collectTypeInfo(T);
-            return typeToFieldInfo.find(T);
-        }
-    }
-
-    ///Get a reference to StructInfo.
-    inline StInfo* getStructInfo(const Type *T)
-    {
-        return getStructInfoIter(T)->second;
-    }
-
-    ///Get a reference to the components of struct_info.
-    const inline std::vector<u32_t>& getFattenFieldIdxVec(const Type *T)
-    {
-        return getStructInfoIter(T)->second->getFieldIdxVec();
-    }
-    const inline std::vector<u32_t>& getFattenFieldOffsetVec(const Type *T)
-    {
-        return getStructInfoIter(T)->second->getFieldOffsetVec();
-    }
-    const inline std::vector<FieldInfo>& getFlattenFieldInfoVec(const Type *T)
-    {
-        return getStructInfoIter(T)->second->getFlattenFieldInfoVec();
-    }
-    const inline Type* getOrigSubTypeWithFldInx(const Type* baseType, u32_t field_idx)
-    {
-        return getStructInfoIter(baseType)->second->getFieldTypeWithFldIdx(field_idx);
-    }
-    const inline Type* getOrigSubTypeWithByteOffset(const Type* baseType, u32_t byteOffset)
-    {
-        return getStructInfoIter(baseType)->second->getFieldTypeWithByteOffset(byteOffset);
-    }
-    //@}
-
-    /// Compute gep offset
-    virtual bool computeGepOffset(const User *V, LocationSet& ls);
-    /// Get the base type and max offset
-    const Type *getBaseTypeAndFlattenedFields(const Value *V, std::vector<LocationSet> &fields);
-    /// Replace fields with flatten fields of T if the number of its fields is larger than msz.
-    u32_t getFields(std::vector<LocationSet>& fields, const Type* T, u32_t msz);
-    /// Collect type info
-    void collectTypeInfo(const Type* T);
-    /// Given an offset from a Gep Instruction, return it modulus offset by considering memory layout
-    virtual LocationSet getModulusOffset(const MemObj* obj, const LocationSet& ls);
-
-    /// Debug method
-    void printFlattenFields(const Type* type);
-
-    static std::string toString(SYMTYPE symtype);
-
-    /// Another debug method
-    virtual void dump();
-
-protected:
-    /// Collect the struct info
-    virtual void collectStructInfo(const StructType *T);
-    /// Collect the array info
-    virtual void collectArrayInfo(const ArrayType* T);
-    /// Collect simple type (non-aggregate) info
-    virtual void collectSimpleTypeInfo(const Type* T);
-
-    /// Create an objectInfo based on LLVM type (value is null, and type could be null, representing a dummy object)
-    ObjTypeInfo* createObjTypeInfo(const Type *type = nullptr);
-
-    /// Every type T is mapped to StInfo
-    /// which contains size (fsize) , offset(foffset)
-    /// fsize[i] is the number of fields in the largest such struct, else fsize[i] = 1.
-    /// fsize[0] is always the size of the expanded struct.
-    TypeToFieldInfoMap typeToFieldInfo;
-
-    ///The struct type with the most fields
-    const Type* maxStruct;
-
-    ///The number of fields in max_struct
-    u32_t maxStSize;
-};
-
-
-} // End namespace SVF
-
-#endif /* INCLUDE_SVF_FE_SYMBOLTABLEINFO_H_ */

package/SVF-osx/include/SVF-FE/BasicTypes.h

@@ -1,219 +0,0 @@
-#ifndef SVF_FE_BASIC_TYPES_H
-#define SVF_FE_BASIC_TYPES_H
-
-#include "SVF-FE/GEPTypeBridgeIterator.h"
-
-#include <llvm/Pass.h>
-
-#include <llvm/IR/Instructions.h>
-#include <llvm/IR/IntrinsicInst.h>
-#include <llvm/IR/LLVMContext.h>
-#include <llvm/IR/Metadata.h>
-#include <llvm/IR/DataLayout.h>
-#include <llvm/IR/IRBuilder.h>
-#include <llvm/IR/DebugInfo.h>
-#include <llvm/IR/InstIterator.h>
-#include <llvm/IR/GetElementPtrTypeIterator.h>
-#include <llvm/IR/DerivedTypes.h>
-#include <llvm/IR/Statepoint.h>
-
-#include <llvm/Analysis/MemoryLocation.h>
-#include <llvm/Analysis/DominanceFrontier.h>
-#include <llvm/Analysis/PostDominators.h>
-#include <llvm/Analysis/ScalarEvolution.h>
-#include <llvm/Analysis/ScalarEvolutionExpressions.h>
-
-#include <llvm/Transforms/Utils/UnifyFunctionExitNodes.h>
-
-#include <llvm/Support/SourceMgr.h>
-
-#include <llvm/Bitcode/BitcodeWriter.h>		// for WriteBitcodeToFile
-#include <llvm/Bitcode/BitcodeReader.h>     /// for isBitcode
-#include <llvm/IRReader/IRReader.h>	// IR reader for bit file
-#include <llvm/IR/InstVisitor.h>	// for instruction visitor
-#include <llvm/IR/InstIterator.h>	// for inst iteration
-
-#include <llvm/Analysis/LoopInfo.h>
-
-namespace SVF
-{
-
-typedef llvm::LLVMContext LLVMContext;
-typedef llvm::GlobalObject GlobalObject;
-typedef llvm::Use Use;
-typedef llvm::ModulePass ModulePass;
-typedef llvm::IRBuilder<> IRBuilder;
-#if LLVM_VERSION_MAJOR >= 12
-typedef llvm::UnifyFunctionExitNodesLegacyPass UnifyFunctionExitNodes;
-#else
-typedef llvm::UnifyFunctionExitNodes UnifyFunctionExitNodes;
-#endif
-
-typedef llvm::Module Module;
-
-typedef llvm::SMDiagnostic SMDiagnostic;
-
-typedef llvm::BlockAddress BlockAddress;
-
-// LLVM Metadata
-typedef llvm::MDString MDString;
-typedef llvm::MetadataAsValue MetadataAsValue;
-
-// LLVM data layout
-typedef llvm::StructLayout StructLayout;
-typedef llvm::ConstantStruct ConstantStruct;
-typedef llvm::MemoryLocation MemoryLocation;
-typedef llvm::DataLayout DataLayout;
-
-// LLVM Aliases and constants
-typedef llvm::ConstantAggregate ConstantAggregate;
-typedef llvm::ConstantAggregateZero ConstantAggregateZero;
-typedef llvm::ConstantDataSequential ConstantDataSequential;
-typedef llvm::ConstantExpr ConstantExpr;
-typedef llvm::ConstantDataArray ConstantDataArray;
-typedef llvm::ConstantData ConstantData;
-typedef llvm::ConstantArray ConstantArray;
-typedef llvm::Constant Constant;
-
-/// LLVM Dominators
-typedef llvm::DominatorTree DominatorTree;
-typedef llvm::DomTreeNode DomTreeNode;
-typedef llvm::DominanceFrontier DominanceFrontier;
-typedef llvm::PostDominatorTree PostDominatorTree;
-typedef llvm::DominanceFrontierBase<llvm::BasicBlock, false> DominanceFrontierBase;
-
-/// LLVM Loop
-typedef llvm::Loop Loop;
-typedef llvm::LoopInfo LoopInfo;
-typedef llvm::User User;
-
-// LLVM Instructions
-typedef llvm::CallInst CallInst;
-typedef llvm::StoreInst StoreInst;
-typedef llvm::LoadInst LoadInst;
-typedef llvm::AllocaInst AllocaInst;
-typedef llvm::AtomicCmpXchgInst AtomicCmpXchgInst;
-typedef llvm::AtomicRMWInst AtomicRMWInst;
-typedef llvm::BitCastInst BitCastInst;
-typedef llvm::BranchInst BranchInst;
-typedef llvm::SwitchInst SwitchInst;
-typedef llvm::CallBrInst CallBrInst;
-typedef llvm::ReturnInst ReturnInst;
-typedef llvm::CastInst CastInst;
-typedef llvm::CmpInst CmpInst;
-typedef llvm::ExtractValueInst  ExtractValueInst;
-typedef llvm::ExtractElementInst ExtractElementInst;
-typedef llvm::GetElementPtrInst GetElementPtrInst;
-typedef llvm::InvokeInst InvokeInst;
-typedef llvm::ShuffleVectorInst ShuffleVectorInst;
-typedef llvm::PHINode PHINode;
-typedef llvm::IntToPtrInst IntToPtrInst;
-typedef llvm::InsertValueInst InsertValueInst;
-typedef llvm::FenceInst FenceInst;
-typedef llvm::FreezeInst FreezeInst;
-typedef llvm::UnreachableInst UnreachableInst;
-typedef llvm::InsertElementInst InsertElementInst;
-typedef llvm::LandingPadInst LandingPadInst;
-typedef llvm::ResumeInst ResumeInst;
-typedef llvm::SelectInst SelectInst;
-typedef llvm::VAArgInst VAArgInst;
-typedef llvm::VACopyInst VACopyInst;
-typedef llvm::VAEndInst VAEndInst;
-typedef llvm::VAStartInst VAStartInst;
-typedef llvm::BinaryOperator BinaryOperator;
-typedef llvm::UnaryOperator UnaryOperator;
-typedef llvm::UndefValue UndefValue;
-
-// LLVM Intrinsic Instructions
-#if LLVM_VERSION_MAJOR >= 13
-typedef llvm::IntrinsicInst IntrinsicInst;
-typedef llvm::DbgInfoIntrinsic DbgInfoIntrinsic;
-typedef llvm::DbgVariableIntrinsic DbgVariableIntrinsic;
-typedef llvm::DbgDeclareInst DbgDeclareInst;
-typedef llvm::DbgAddrIntrinsic DbgAddrIntrinsic;
-typedef llvm::DbgValueInst DbgValueInst;
-typedef llvm::DbgLabelInst DbgLabelInst;
-typedef llvm::VPIntrinsic VPIntrinsic;
-typedef llvm::ConstrainedFPIntrinsic ConstrainedFPIntrinsic;
-typedef llvm::ConstrainedFPCmpIntrinsic ConstrainedFPCmpIntrinsic;
-typedef llvm::MinMaxIntrinsic MinMaxIntrinsic;
-typedef llvm::BinaryOpIntrinsic BinaryOpIntrinsic;
-typedef llvm::WithOverflowInst WithOverflowInst;
-typedef llvm::SaturatingInst SaturatingInst;
-typedef llvm::AtomicMemIntrinsic AtomicMemIntrinsic;
-typedef llvm::AtomicMemSetInst AtomicMemSetInst;
-typedef llvm::AtomicMemTransferInst AtomicMemTransferInst;
-typedef llvm::AtomicMemCpyInst AtomicMemCpyInst;
-typedef llvm::AtomicMemMoveInst AtomicMemMoveInst;
-typedef llvm::MemIntrinsic MemIntrinsic;
-typedef llvm::MemSetInst MemSetInst;
-typedef llvm::MemTransferInst MemTransferInst;
-typedef llvm::MemCpyInst MemCpyInst;
-typedef llvm::MemMoveInst MemMoveInst;
-typedef llvm::MemCpyInlineInst MemCpyInlineInst;
-typedef llvm::AnyMemIntrinsic AnyMemIntrinsic;
-typedef llvm::AnyMemSetInst AnyMemSetInst;
-typedef llvm::AnyMemTransferInst AnyMemTransferInst;
-typedef llvm::AnyMemCpyInst AnyMemCpyInst;
-typedef llvm::AnyMemMoveInst AnyMemMoveInst;
-typedef llvm::VAStartInst VAStartInst;
-typedef llvm::VAEndInst VAEndInst;
-typedef llvm::VACopyInst VACopyInst;
-typedef llvm::InstrProfIncrementInst InstrProfIncrementInst;
-typedef llvm::InstrProfIncrementInstStep InstrProfIncrementInstStep;
-typedef llvm::InstrProfValueProfileInst InstrProfValueProfileInst;
-typedef llvm::PseudoProbeInst PseudoProbeInst;
-typedef llvm::NoAliasScopeDeclInst NoAliasScopeDeclInst;
-typedef llvm::GCStatepointInst GCStatepointInst;
-typedef llvm::GCProjectionInst GCProjectionInst;
-typedef llvm::GCRelocateInst GCRelocateInst;
-typedef llvm::GCResultInst GCResultInst;
-typedef llvm::AssumeInst AssumeInst;
-#endif
-
-// LLVM Debug Information
-typedef llvm::DIType DIType;
-typedef llvm::DICompositeType DICompositeType;
-typedef llvm::DIDerivedType DIDerivedType;
-typedef llvm::DebugInfoFinder DebugInfoFinder;
-typedef llvm::DISubroutineType DISubroutineType;
-typedef llvm::DIBasicType DIBasicType;
-typedef llvm::DISubrange DISubrange;
-typedef llvm::DINode DINode;
-typedef llvm::DINodeArray DINodeArray;
-typedef llvm::DITypeRefArray DITypeRefArray;
-namespace dwarf = llvm::dwarf;
-
-// Iterators.
-typedef llvm::inst_iterator inst_iterator;
-typedef llvm::const_inst_iterator const_inst_iterator;
-typedef llvm::gep_type_iterator gep_type_iterator;
-typedef llvm::bridge_gep_iterator bridge_gep_iterator;
-typedef llvm::const_inst_iterator const_inst_iterator;
-typedef llvm::const_pred_iterator const_pred_iterator;
-
-// LLVM Scalar Evolution.
-typedef llvm::ScalarEvolutionWrapperPass ScalarEvolutionWrapperPass;
-typedef llvm::SCEVAddRecExpr SCEVAddRecExpr;
-typedef llvm::SCEVConstant SCEVConstant;
-typedef llvm::ScalarEvolution ScalarEvolution;
-typedef llvm::SCEV SCEV;
-
-/// LLVM outputs
-typedef llvm::raw_fd_ostream raw_fd_ostream;
-
-// LLVM Types.
-typedef llvm::VectorType VectorType;
-#if (LLVM_VERSION_MAJOR >= 9)
-typedef llvm::FunctionCallee FunctionCallee;
-#endif
-
-/// LLVM Iterators
-#if LLVM_VERSION_MAJOR >= 11
-typedef llvm::const_succ_iterator succ_const_iterator;
-#else
-typedef llvm::succ_const_iterator succ_const_iterator;
-#endif
-} // End namespace SVF
-
-#endif  // SVF_FE_BASIC_TYPES_H