SVF::TypeSystem Class Reference

#include <PTAType.h>

Public Types
typedef Map< NodeID, TypeSet * >	VarToTypeSetMapTy
typedef OrderedMap< PTAType, NodeBS >	TypeToVarsMapTy
typedef VarToTypeSetMapTy::iterator	iterator
typedef VarToTypeSetMapTy::const_iterator	const_iterator

Public Member Functions
iterator	begin ()
	Iterators. More...
iterator	end ()
const_iterator	begin () const
const_iterator	end () const
	TypeSystem (const PAG *pag)
	Constructor. More...
bool	hasTypeSet (NodeID var) const
	Has typeset or not. More...
const TypeSet *	getTypeSet (NodeID var) const
	Get a var's typeset. More...
bool	addTypeForVar (NodeID var, const PTAType &type)
bool	addTypeForVar (NodeID var, const Type *type)
void	addVarForType (NodeID var, const PTAType &type)
void	addVarForType (NodeID var, const Type *type)
bool	hasVarsForType (const PTAType &type) const
NodeBS &	getVarsForType (const PTAType &type)
void	printTypeSystem () const
	Print each var's id and all its types. More...

Private Member Functions
void	translateLLVMTypeToPTAType (const PAG *pag)

Private Attributes
VarToTypeSetMapTy	VarToTypeSetMap
OrderedSet< PTAType >	allPTATypes
TypeToVarsMapTy	typeToVarsMap

Detailed Description

Definition at line 189 of file PTAType.h.

Member Typedef Documentation

const_iterator

typedef VarToTypeSetMapTy::const_iterator SVF::TypeSystem::const_iterator

Definition at line 198 of file PTAType.h.

iterator

typedef VarToTypeSetMapTy::iterator SVF::TypeSystem::iterator

Definition at line 197 of file PTAType.h.

TypeToVarsMapTy

typedef OrderedMap<PTAType, NodeBS> SVF::TypeSystem::TypeToVarsMapTy

Definition at line 195 of file PTAType.h.

VarToTypeSetMapTy

typedef Map<NodeID, TypeSet*> SVF::TypeSystem::VarToTypeSetMapTy

Definition at line 193 of file PTAType.h.

Constructor & Destructor Documentation

TypeSystem()

SVF::TypeSystem::TypeSystem ( const PAG *  pag )

inline

Constructor.

Definition at line 221 of file PTAType.h.

    {
        translateLLVMTypeToPTAType(pag);
    }

Member Function Documentation

addTypeForVar() [1/2]

bool SVF::TypeSystem::addTypeForVar ( NodeID  var, const PTAType &  type  )

inline

Add a ptatype for a var Return true if the ptatype is new for this var

Definition at line 243 of file PTAType.h.

    {
        iterator it = VarToTypeSetMap.find(var);
        if (it != VarToTypeSetMap.end())
        {
            TypeSet *typeSet = it->second;
            return typeSet->addType(type);
        }
        else
        {
            TypeSet *typeSet = new TypeSet;
            typeSet->addType(type);
            VarToTypeSetMap[var] = typeSet;
            return true;
        }
    }

addTypeForVar() [2/2]

bool SVF::TypeSystem::addTypeForVar ( NodeID  var, const Type *  type  )

inline

Add a ptatype for a var Return true if the ptatype is new for this var

Definition at line 262 of file PTAType.h.

    {
        PTAType ptaTy(type);
        return addTypeForVar(var, ptaTy);
    }

addVarForType() [1/2]

void SVF::TypeSystem::addVarForType ( NodeID  var, const PTAType &  type  )

inline

Definition at line 268 of file PTAType.h.

    {
        TypeToVarsMapTy::iterator it = typeToVarsMap.find(type);
        if (it == typeToVarsMap.end())
        {
            NodeBS nodes;
            nodes.set(var);
            typeToVarsMap[type] = nodes;
        }
        else
        {
            NodeBS &nodes = it->second;
            nodes.set(var);
        }
    }

addVarForType() [2/2]

void SVF::TypeSystem::addVarForType ( NodeID  var, const Type *  type  )

inline

Definition at line 284 of file PTAType.h.

    {
        PTAType ptaTy(type);
        return addVarForType(var, ptaTy);
    }

begin() [1/2]

iterator SVF::TypeSystem::begin ( )

inline

Iterators.

Definition at line 202 of file PTAType.h.

    {
        return VarToTypeSetMap.begin();
    }

begin() [2/2]

const_iterator SVF::TypeSystem::begin ( ) const

inline

Definition at line 210 of file PTAType.h.

    {
        return VarToTypeSetMap.begin();
    }

end() [1/2]

iterator SVF::TypeSystem::end ( )

inline

Definition at line 206 of file PTAType.h.

    {
        return VarToTypeSetMap.end();
    }

end() [2/2]

const_iterator SVF::TypeSystem::end ( ) const

inline

Definition at line 214 of file PTAType.h.

    {
        return VarToTypeSetMap.end();
    }

getTypeSet()

const TypeSet* SVF::TypeSystem::getTypeSet ( NodeID  var ) const

inline

Get a var's typeset.

Definition at line 234 of file PTAType.h.

    {
        const_iterator it = VarToTypeSetMap.find(var);
        assert(it != VarToTypeSetMap.end() && "Can not find typeset for var");
        return it->second;
    }

getVarsForType()

NodeBS& SVF::TypeSystem::getVarsForType ( const PTAType &  type )

inline

Definition at line 296 of file PTAType.h.

    {
        TypeToVarsMapTy::iterator it = typeToVarsMap.find(type);
        assert(it != typeToVarsMap.end() && "Can not find vars for type");
        return it->second;
    }

hasTypeSet()

bool SVF::TypeSystem::hasTypeSet ( NodeID  var ) const

inline

Has typeset or not.

Definition at line 227 of file PTAType.h.

    {
        const_iterator it = VarToTypeSetMap.find(var);
        return it != VarToTypeSetMap.end();
    }

hasVarsForType()

bool SVF::TypeSystem::hasVarsForType ( const PTAType &  type ) const

inline

Definition at line 290 of file PTAType.h.

    {
        TypeToVarsMapTy::const_iterator it = typeToVarsMap.find(type);
        return it != typeToVarsMap.end();
    }

printTypeSystem()

void SVF::TypeSystem::printTypeSystem ( ) const

inline

Print each var's id and all its types.

Definition at line 306 of file PTAType.h.

    {
        for (const_iterator it = VarToTypeSetMap.begin(),
                eit = VarToTypeSetMap.end(); it != eit; ++it)
        {
            SVFUtil::errs() << "Var: " << it->first << '\n';
            SVFUtil::errs() << "types:\n";
            const TypeSet *typeSet = it->second;
            typeSet->dumpTypes();
            SVFUtil::errs() << '\n';
        }
    }

translateLLVMTypeToPTAType()

void SVF::TypeSystem::translateLLVMTypeToPTAType ( const PAG *  pag )

inlineprivate

Definition at line 330 of file PTAType.h.

    {
        for (PAG::const_iterator it = pag->begin(); it != pag->end(); ++it)
        {
            const PAGNode *pagNode = it->second;
            if (pagNode->hasValue() == false)
                continue;

            const Value *value = pagNode->getValue();
            const Type *valType = value->getType();

            const Type *nodeType = valType;

            if (const GepValPN *gepvalnode = SVFUtil::dyn_cast<GepValPN>(pagNode))
            {
                nodeType = gepvalnode->getType();
            }
            else if (SVFUtil::isa<RetPN>(pagNode))
            {
                const llvm::PointerType *ptrTy = SVFUtil::dyn_cast<llvm::PointerType>(valType);
                const llvm::FunctionType *funTy = SVFUtil::dyn_cast<llvm::FunctionType>(ptrTy->getElementType());
                nodeType = funTy->getReturnType();
            }

            PTAType ptaType(nodeType);
            if (addTypeForVar(pagNode->getId(), ptaType))
                addVarForType(pagNode->getId(), ptaType);
        }
    }

Member Data Documentation

allPTATypes

OrderedSet<PTAType> SVF::TypeSystem::allPTATypes

private

Definition at line 362 of file PTAType.h.

typeToVarsMap

TypeToVarsMapTy SVF::TypeSystem::typeToVarsMap

private

Definition at line 363 of file PTAType.h.

VarToTypeSetMap

VarToTypeSetMapTy SVF::TypeSystem::VarToTypeSetMap

private

Definition at line 361 of file PTAType.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/SVF-1/SVF-1/include/MemoryModel/PTAType.h