SVF::SymbolTableInfo Class Reference

#include <SymbolTableInfo.h>

Public Types
enum	SYMTYPE {   NullPtr , BlkPtr , BlackHole , ConstantObj ,   ValSymbol , ObjSymbol , RetSymbol , VarargSymbol }
	Symbol types. More...
typedef OrderedMap< const SVFValue *, SymID >	ValueToIDMapTy
	various maps defined
typedef OrderedMap< SymID, ObjTypeInfo * >	IDToTypeInfoMapTy
	sym id to obj type info map
typedef OrderedMap< const SVFFunction *, SymID >	FunToIDMapTy
	function to sym id map
typedef Set< const SVFType * >	SVFTypeSet
	struct type to struct info map

Public Member Functions
virtual	~SymbolTableInfo ()
void	setModelConstants (bool _modelConstants)
	Set / Get modelConstants.
bool	getModelConstants () const
SVFModule *	getModule ()
	Module.
void	setModule (SVFModule *m)
	Module.
SymID	blkPtrSymID () const
SymID	nullPtrSymID () const
SymID	constantSymID () const
SymID	blackholeSymID () const
SymID	getValSym (const SVFValue *val)
	Get different kinds of syms.
bool	hasValSym (const SVFValue *val)
SymID	getObjSym (const SVFValue *val) const
ObjTypeInfo *	getObjTypeInfo (SymID id) const
SymID	getRetSym (const SVFFunction *val) const
SymID	getVarargSym (const SVFFunction *val) const
u32_t	getTotalSymNum () const
	Statistics.
u32_t	getMaxStructSize () const
ValueToIDMapTy &	valSyms ()
	Get different kinds of syms maps.
ValueToIDMapTy &	objSyms ()
IDToTypeInfoMapTy &	idToObjTypeInfoMap ()
const IDToTypeInfoMapTy &	idToObjTypeInfoMap () const
FunToIDMapTy &	retSyms ()
FunToIDMapTy &	varargSyms ()
const SVFTypeSet &	getSVFTypes () const
	Constant reader that won't change the state of the symbol table.
const Set< const StInfo * > &	getStInfos () const
const StInfo *	getTypeInfo (const SVFType *T) const
	Get struct info.
bool	hasSVFTypeInfo (const SVFType *T)
ObjTypeInfo *	createObjTypeInfo (const SVFType *type)
	Create an objectInfo based on LLVM type (value is null, and type could be null, representing a dummy object)
const ObjTypeInfo *	createDummyObjTypeInfo (SymID symId, const SVFType *type)
u32_t	getNumOfFlattenElements (const SVFType *T)
	Number of flattened elements of an array or struct.
u32_t	getFlattenedElemIdx (const SVFType *T, u32_t origId)
	Flattened element idx of an array or struct by considering stride.
const SVFType *	getFlatternedElemType (const SVFType *baseType, u32_t flatten_idx)
	Return the type of a flattened element given a flattened index.
const SVFType *	getOriginalElemType (const SVFType *baseType, u32_t origId) const
void	printFlattenFields (const SVFType *type)
	Debug method.
virtual void	dump ()
	Another debug method.
virtual APOffset	getModulusOffset (const BaseObjVar *baseObj, const APOffset &apOffset)
	Given an offset from a Gep Instruction, return it modulus offset by considering memory layout.
void	addTypeInfo (const SVFType *ty)
void	addStInfo (StInfo *stInfo)

Static Public Member Functions
static SymbolTableInfo *	SymbolInfo ()
	Singleton design here to make sure we only have one instance during any analysis.
static void	releaseSymbolInfo ()
static bool	isBlkPtr (NodeID id)
	special value
static bool	isNullPtr (NodeID id)
static bool	isBlkObj (NodeID id)
static bool	isConstantObj (NodeID id)
static bool	isBlkObjOrConstantObj (NodeID id)
static std::string	toString (SYMTYPE symtype)

Public Attributes
const SVFType *	maxStruct
	The struct type with the most fields.
u32_t	maxStSize
	The number of fields in max_struct.

Protected Member Functions
	SymbolTableInfo (void)
	Constructor.
const std::vector< const SVFType * > &	getFlattenFieldTypes (const SVFStructType *T)
	Return the flattened field type for struct type only.

Protected Attributes
SVFTypeSet	svfTypes
Set< const StInfo * >	stInfos
	(owned) All StInfo

Private Member Functions
void	destroy ()
	Clean up memory.

Private Attributes
ValueToIDMapTy	valSymMap
	map a value to its sym id
ValueToIDMapTy	objSymMap
	map a obj reference to its sym id
FunToIDMapTy	returnSymMap
	return map
FunToIDMapTy	varargSymMap
	vararg map
IDToTypeInfoMapTy	objTypeInfoMap
	map a memory sym id to its obj
SVFModule *	mod
	Module.
bool	modelConstants
	Whether to model constants.
SymID	totalSymNum
	total number of symbols

Static Private Attributes
static SymbolTableInfo *	symInfo = nullptr

Friends
class	SymbolTableBuilder
class	SVFIRWriter
class	SVFIRReader

Detailed Description

Symbol table of the memory model for analysis

Definition at line 47 of file SymbolTableInfo.h.

Member Typedef Documentation

FunToIDMapTy

typedef OrderedMap<const SVFFunction*, SymID> SVF::SymbolTableInfo::FunToIDMapTy

function to sym id map

Definition at line 77 of file SymbolTableInfo.h.

IDToTypeInfoMapTy

typedef OrderedMap<SymID, ObjTypeInfo*> SVF::SymbolTableInfo::IDToTypeInfoMapTy

sym id to obj type info map

Definition at line 74 of file SymbolTableInfo.h.

SVFTypeSet

typedef Set<const SVFType*> SVF::SymbolTableInfo::SVFTypeSet

struct type to struct info map

Definition at line 79 of file SymbolTableInfo.h.

ValueToIDMapTy

typedef OrderedMap<const SVFValue*, SymID> SVF::SymbolTableInfo::ValueToIDMapTy

various maps defined

llvm value to sym id map local (%) and global (@) identifiers are pointer types which have a value node id.

Definition at line 72 of file SymbolTableInfo.h.

Member Enumeration Documentation

SYMTYPE

enum SVF::SymbolTableInfo::SYMTYPE

Symbol types.

Enumerator
NullPtr
BlkPtr
BlackHole
ConstantObj
ValSymbol
ObjSymbol
RetSymbol
VarargSymbol

Definition at line 56 of file SymbolTableInfo.h.

    {
        NullPtr,
        BlkPtr,
        BlackHole,
        ConstantObj,
        ValSymbol,
        ObjSymbol,
        RetSymbol,
        VarargSymbol
    };

Constructor & Destructor Documentation

SymbolTableInfo()

SVF::SymbolTableInfo::SymbolTableInfo ( void  )

inlineprotected

Constructor.

Definition at line 106 of file SymbolTableInfo.h.

        : mod(nullptr), modelConstants(false), totalSymNum(0),
          maxStruct(nullptr), maxStSize(0)
    {
    }

~SymbolTableInfo()

virtual SVF::SymbolTableInfo::~SymbolTableInfo ( )

inlinevirtual

Definition at line 123 of file SymbolTableInfo.h.

    {
        destroy();
    }

Member Function Documentation

addStInfo()

void SVF::SymbolTableInfo::addStInfo ( StInfo *  stInfo )

inline

Definition at line 344 of file SymbolTableInfo.h.

    {
        stInfos.insert(stInfo);
    }

addTypeInfo()

void SVF::SymbolTableInfo::addTypeInfo ( const SVFType *  ty )

inline

Definition at line 337 of file SymbolTableInfo.h.

    {
        bool inserted = svfTypes.insert(ty).second;
        if(!inserted)
            assert(false && "this type info has been added before");
    }

blackholeSymID()

SymID SVF::SymbolTableInfo::blackholeSymID ( ) const

inline

Definition at line 190 of file SymbolTableInfo.h.

    {
        return BlackHole;
    }

blkPtrSymID()

SymID SVF::SymbolTableInfo::blkPtrSymID ( ) const

inline

Definition at line 175 of file SymbolTableInfo.h.

    {
        return BlkPtr;
    }

constantSymID()

SymID SVF::SymbolTableInfo::constantSymID ( ) const

inline

Definition at line 185 of file SymbolTableInfo.h.

    {
        return ConstantObj;
    }

createDummyObjTypeInfo()

const ObjTypeInfo * SymbolTableInfo::createDummyObjTypeInfo	(	SymID	symId,
		const SVFType *	type
	)

Definition at line 163 of file SymbolTableInfo.cpp.

{
    if (objTypeInfoMap.find(symId)==objTypeInfoMap.end())
    {
        ObjTypeInfo* ti = createObjTypeInfo(type);
        objTypeInfoMap[symId] = ti;
    }
    ObjTypeInfo* ti = objTypeInfoMap[symId];
    return ti;
}

createObjTypeInfo()

ObjTypeInfo * SymbolTableInfo::createObjTypeInfo

(

const SVFType *

type

)

Create an objectInfo based on LLVM type (value is null, and type could be null, representing a dummy object)

Definition at line 68 of file SymbolTableInfo.cpp.

{
    ObjTypeInfo* typeInfo = new ObjTypeInfo(type, Options::MaxFieldLimit());
    if(type && type->isPointerTy())
    {
        typeInfo->setFlag(ObjTypeInfo::HEAP_OBJ);
    }
    return typeInfo;
}

destroy()

void SymbolTableInfo::destroy ( )

private

Clean up memory.

Destroy the memory for this symbol table after use

Definition at line 143 of file SymbolTableInfo.cpp.

{
 
    for (auto &pair: objTypeInfoMap)
    {
        if (ObjTypeInfo* ti = pair.second)
            delete ti;
    }
 
    for (const SVFType* type : svfTypes)
        delete type;
    svfTypes.clear();
 
    for (const StInfo* st : stInfos)
        delete st;
    stInfos.clear();
 
    mod = nullptr;
}

dump()

void SymbolTableInfo::dump ( )

virtual

Another debug method.

Definition at line 329 of file SymbolTableInfo.cpp.

{
    OrderedMap<SymID, SVFValue*> idmap;
    for (ValueToIDMapTy::iterator iter = valSymMap.begin(); iter != valSymMap.end();
            ++iter)
    {
        const SymID i = iter->second;
        SVFValue* val = (SVFValue*) iter->first;
        idmap[i] = val;
    }
    for (ValueToIDMapTy::iterator iter = objSymMap.begin(); iter != objSymMap.end();
            ++iter)
    {
        const SymID i = iter->second;
        SVFValue* val = (SVFValue*) iter->first;
        idmap[i] = val;
    }
    for (FunToIDMapTy::iterator iter = returnSymMap.begin(); iter != returnSymMap.end();
            ++iter)
    {
        const SymID i = iter->second;
        SVFValue* val = (SVFValue*) iter->first;
        idmap[i] = val;
    }
    for (FunToIDMapTy::iterator iter = varargSymMap.begin(); iter != varargSymMap.end();
            ++iter)
    {
        const SymID i = iter->second;
        SVFValue* val = (SVFValue*) iter->first;
        idmap[i] = val;
    }
    outs() << "{SymbolTableInfo \n";
    for (auto iter : idmap)
    {
        outs() << iter.first << " " << iter.second->toString() << "\n";
    }
    outs() << "}\n";
}

getFlattenedElemIdx()

u32_t SymbolTableInfo::getFlattenedElemIdx	(	const SVFType *	T,
		u32_t	origId
	)

Flattened element idx of an array or struct by considering stride.

Flattened offset information of a struct or an array including its array fields.

When Options::ModelArrays is disabled, any element index Array is modeled as the base

Definition at line 184 of file SymbolTableInfo.cpp.

{
    if(Options::ModelArrays())
    {
        const std::vector<u32_t>& so = getTypeInfo(T)->getFlattenedElemIdxVec();
        assert ((unsigned)origId < so.size() && !so.empty() && "element index out of bounds, can't get flattened index!");
        return so[origId];
    }
    else
    {
        if(SVFUtil::isa<SVFStructType>(T))
        {
            const std::vector<u32_t>& so = getTypeInfo(T)->getFlattenedFieldIdxVec();
            assert ((unsigned)origId < so.size() && !so.empty() && "Struct index out of bounds, can't get flattened index!");
            return so[origId];
        }
        else
        {
            assert(SVFUtil::isa<SVFArrayType>(T) && "Only accept struct or array type if Options::ModelArrays is disabled!");
            return 0;
        }
    }
}

getFlattenFieldTypes()

const std::vector< const SVFType * > & SymbolTableInfo::getFlattenFieldTypes ( const SVFStructType *  T )

protected

Return the flattened field type for struct type only.

Definition at line 232 of file SymbolTableInfo.cpp.

{
    return getTypeInfo(T)->getFlattenFieldTypes();
}

getFlatternedElemType()

const SVFType * SymbolTableInfo::getFlatternedElemType	(	const SVFType *	baseType,
		u32_t	flatten_idx
	)

Return the type of a flattened element given a flattened index.

Definition at line 215 of file SymbolTableInfo.cpp.

{
    if(Options::ModelArrays())
    {
        const std::vector<const SVFType*>& so = getTypeInfo(baseType)->getFlattenElementTypes();
        assert (flatten_idx < so.size() && !so.empty() && "element index out of bounds or struct opaque type, can't get element type!");
        return so[flatten_idx];
    }
    else
    {
        const std::vector<const SVFType*>& so = getTypeInfo(baseType)->getFlattenFieldTypes();
        assert (flatten_idx < so.size() && !so.empty() && "element index out of bounds or struct opaque type, can't get element type!");
        return so[flatten_idx];
    }
}

getMaxStructSize()

u32_t SVF::SymbolTableInfo::getMaxStructSize ( ) const

inline

Definition at line 240 of file SymbolTableInfo.h.

    {
        return maxStSize;
    }

getModelConstants()

bool SVF::SymbolTableInfo::getModelConstants ( ) const

inline

Definition at line 135 of file SymbolTableInfo.h.

    {
        return modelConstants;
    }

getModule()

SVFModule * SVF::SymbolTableInfo::getModule ( )

inline

Module.

Definition at line 142 of file SymbolTableInfo.h.

    {
        return mod;
    }

getModulusOffset()

APOffset SymbolTableInfo::getModulusOffset ( const BaseObjVar *  baseObj, const APOffset &  apOffset  )

virtual

Given an offset from a Gep Instruction, return it modulus offset by considering memory layout.

Get modulus offset given the type information

if the offset is negative, it's possible that we're looking for an obj node out of range of current struct. Make the offset positive so we can still get a node within current struct to represent this obj.

@offset: the index allocated to the newly generated field node; @Options::MaxFieldLimit(): preset upper bound of field number; @maxOffset: the max field number of the base object;

E.g., offset == 260, maxOffset == 270, Options::MaxFieldLimit() == 256 ==> offset = 4

E.g., offset == 100, maxOffset == 98, Options::MaxFieldLimit() == 256 ==> offset = 2

E.g., offset == 100, maxOffset == 98, Options::MaxFieldLimit() == 256 ==> offset = 97

Definition at line 94 of file SymbolTableInfo.cpp.

{
 
 
    APOffset offset = apOffset;
    if(offset < 0)
    {
        writeWrnMsg("try to create a gep node with negative offset.");
        offset = abs(offset);
    }
    u32_t maxOffset = baseObj->getMaxFieldOffsetLimit();
 
    if (maxOffset == 0)
        offset = 0;
    else if (Options::MaxFieldLimit() < maxOffset)
        offset = offset % maxOffset;
    else if ((u32_t)offset > maxOffset - 1)
    {
        if (Options::CyclicFldIdx())
            offset = offset % maxOffset;
        else
            offset = maxOffset - 1;
    }
 
    return offset;
}

getNumOfFlattenElements()

u32_t SymbolTableInfo::getNumOfFlattenElements

(

const SVFType *

T

)

Number of flattened elements of an array or struct.

Get a reference to the components of struct_info. Number of flattened elements of an array or struct

Definition at line 175 of file SymbolTableInfo.cpp.

{
    if(Options::ModelArrays())
        return getTypeInfo(T)->getNumOfFlattenElements();
    else
        return getTypeInfo(T)->getNumOfFlattenFields();
}

getObjSym()

SymID SVF::SymbolTableInfo::getObjSym ( const SVFValue *  val ) const

inline

Definition at line 201 of file SymbolTableInfo.h.

    {
        const SVFValue* svfVal = val;
        if(const SVFGlobalValue* g = SVFUtil::dyn_cast<SVFGlobalValue>(val))
            svfVal = g->getDefGlobalForMultipleModule();
        ValueToIDMapTy::const_iterator iter = objSymMap.find(svfVal);
        assert(iter!=objSymMap.end() && "obj sym not found");
        return iter->second;
    }

getObjTypeInfo()

ObjTypeInfo * SVF::SymbolTableInfo::getObjTypeInfo ( SymID  id ) const

inline

Definition at line 211 of file SymbolTableInfo.h.

    {
        IDToTypeInfoMapTy::const_iterator iter = objTypeInfoMap.find(id);
        assert(iter!=objTypeInfoMap.end() && "obj type info not found");
        return iter->second;
    }

getOriginalElemType()

const SVFType * SymbolTableInfo::getOriginalElemType	(	const SVFType *	baseType,
		u32_t	origId
	)		const

struct A { int id; int salary; }; struct B { char name[20]; struct A a;} B b; OriginalElemType of b with field_idx 1 : Struct A FlatternedElemType of b with field_idx 1 : int

Definition at line 209 of file SymbolTableInfo.cpp.

{
    return getTypeInfo(baseType)->getOriginalElemType(origId);
}

getRetSym()

SymID SVF::SymbolTableInfo::getRetSym ( const SVFFunction *  val ) const

inline

Definition at line 218 of file SymbolTableInfo.h.

    {
        FunToIDMapTy::const_iterator iter =  returnSymMap.find(val);
        assert(iter!=returnSymMap.end() && "ret sym not found");
        return iter->second;
    }

getStInfos()

const Set< const StInfo * > & SVF::SymbolTableInfo::getStInfos ( ) const

inline

Definition at line 287 of file SymbolTableInfo.h.

    {
        return stInfos;
    }

getSVFTypes()

const SVFTypeSet & SVF::SymbolTableInfo::getSVFTypes ( ) const

inline

Constant reader that won't change the state of the symbol table.

Definition at line 282 of file SymbolTableInfo.h.

    {
        return svfTypes;
    }

getTotalSymNum()

u32_t SVF::SymbolTableInfo::getTotalSymNum ( ) const

inline

Statistics.

Definition at line 236 of file SymbolTableInfo.h.

    {
        return totalSymNum;
    }

getTypeInfo()

const StInfo * SymbolTableInfo::getTypeInfo

(

const SVFType *

T

)

const

Get struct info.

Get a reference to StructInfo.

Definition at line 57 of file SymbolTableInfo.cpp.

{
    assert(T);
    SVFTypeSet::const_iterator it = svfTypes.find(T);
    assert(it != svfTypes.end() && "type info not found? collect them first during SVFIR Building");
    return (*it)->getTypeInfo();
}

getValSym()

SymID SymbolTableInfo::getValSym

(

const SVFValue *

val

)

Get different kinds of syms.

Definition at line 371 of file SymbolTableInfo.cpp.

{
 
    if(val->isNullPtr())
        return nullPtrSymID();
    else if (val->isblackHole())
        return blkPtrSymID();
    else
    {
        ValueToIDMapTy::const_iterator iter =  valSymMap.find(val);
        assert(iter!=valSymMap.end() &&"value sym not found");
        return iter->second;
    }
}

getVarargSym()

SymID SVF::SymbolTableInfo::getVarargSym ( const SVFFunction *  val ) const

inline

Definition at line 225 of file SymbolTableInfo.h.

    {
        FunToIDMapTy::const_iterator iter =  varargSymMap.find(val);
        assert(iter!=varargSymMap.end() && "vararg sym not found");
        return iter->second;
    }

hasSVFTypeInfo()

bool SVF::SymbolTableInfo::hasSVFTypeInfo ( const SVFType *  T )

inline

Definition at line 297 of file SymbolTableInfo.h.

    {
        return svfTypes.find(T) != svfTypes.end();
    }

hasValSym()

bool SymbolTableInfo::hasValSym

(

const SVFValue *

val

)

Definition at line 386 of file SymbolTableInfo.cpp.

{
    if (val->isNullPtr() || val->isblackHole())
        return true;
    else
        return (valSymMap.find(val) != valSymMap.end());
}

idToObjTypeInfoMap() [1/2]

IDToTypeInfoMapTy & SVF::SymbolTableInfo::idToObjTypeInfoMap ( )

inline

Definition at line 258 of file SymbolTableInfo.h.

    {
        return objTypeInfoMap;
    }

idToObjTypeInfoMap() [2/2]

const IDToTypeInfoMapTy & SVF::SymbolTableInfo::idToObjTypeInfoMap ( ) const

inline

Definition at line 263 of file SymbolTableInfo.h.

    {
        return objTypeInfoMap;
    }

isBlkObj()

static bool SVF::SymbolTableInfo::isBlkObj ( NodeID  id )

inlinestatic

Definition at line 162 of file SymbolTableInfo.h.

    {
        return (id == BlackHole);
    }

isBlkObjOrConstantObj()

static bool SVF::SymbolTableInfo::isBlkObjOrConstantObj ( NodeID  id )

inlinestatic

Definition at line 170 of file SymbolTableInfo.h.

    {
        return (isBlkObj(id) || isConstantObj(id));
    }

isBlkPtr()

static bool SVF::SymbolTableInfo::isBlkPtr ( NodeID  id )

inlinestatic

special value

Definition at line 154 of file SymbolTableInfo.h.

    {
        return (id == BlkPtr);
    }

isConstantObj()

static bool SVF::SymbolTableInfo::isConstantObj ( NodeID  id )

inlinestatic

Definition at line 166 of file SymbolTableInfo.h.

    {
        return (id == ConstantObj);
    }

isNullPtr()

static bool SVF::SymbolTableInfo::isNullPtr ( NodeID  id )

inlinestatic

Definition at line 158 of file SymbolTableInfo.h.

    {
        return (id == NullPtr);
    }

nullPtrSymID()

SymID SVF::SymbolTableInfo::nullPtrSymID ( ) const

inline

Definition at line 180 of file SymbolTableInfo.h.

    {
        return NullPtr;
    }

objSyms()

ValueToIDMapTy & SVF::SymbolTableInfo::objSyms ( )

inline

Definition at line 253 of file SymbolTableInfo.h.

    {
        return objSymMap;
    }

printFlattenFields()

void SymbolTableInfo::printFlattenFields

(

const SVFType *

type

)

Debug method.

All rest types are scalar type?

Definition at line 240 of file SymbolTableInfo.cpp.

{
 
    if (const SVFArrayType* at = SVFUtil::dyn_cast<SVFArrayType>(type))
    {
        outs() << "  {Type: " << *at << "}\n"
               << "\tarray type "
               << "\t [element size = " << getNumOfFlattenElements(at) << "]\n"
               << "\n";
    }
    else if (const SVFStructType *st = SVFUtil::dyn_cast<SVFStructType>(type))
    {
        outs() <<"  {Type: " << *st << "}\n";
        const std::vector<const SVFType*>& finfo = getTypeInfo(st)->getFlattenFieldTypes();
        int field_idx = 0;
        for(const SVFType* type : finfo)
        {
            outs() << " \tField_idx = " << ++field_idx
                   << ", field type: " << *type << "\n";
        }
        outs() << "\n";
    }
    else if (const SVFPointerType* pt= SVFUtil::dyn_cast<SVFPointerType>(type))
    {
        outs() << *pt << "\n";
    }
    else if (const SVFFunctionType* fu =
                 SVFUtil::dyn_cast<SVFFunctionType>(type))
    {
        outs() << "  {Type: " << *fu << "}\n\n";
    }
    else if (const SVFOtherType* ot = SVFUtil::dyn_cast<SVFOtherType>(type))
    {
        outs() << "  {Type: "<< *ot << "(SVFOtherType)}\n\n";
    }
    else
    {
        assert(type->isSingleValueType() && "not a single value type, then what else!!");
        u32_t eSize = getNumOfFlattenElements(type);
        outs() << "  {Type: " << *type << "}\n"
               << "\t [object size = " << eSize << "]\n"
               << "\n";
    }
}

releaseSymbolInfo()

static void SVF::SymbolTableInfo::releaseSymbolInfo ( )

inlinestatic

Definition at line 118 of file SymbolTableInfo.h.

    {
        delete symInfo;
        symInfo = nullptr;
    }

retSyms()

FunToIDMapTy & SVF::SymbolTableInfo::retSyms ( )

inline

Definition at line 268 of file SymbolTableInfo.h.

    {
        return returnSymMap;
    }

setModelConstants()

void SVF::SymbolTableInfo::setModelConstants ( bool  _modelConstants )

inline

Set / Get modelConstants.

Definition at line 131 of file SymbolTableInfo.h.

    {
        modelConstants = _modelConstants;
    }

setModule()

void SVF::SymbolTableInfo::setModule ( SVFModule *  m )

inline

Module.

Definition at line 147 of file SymbolTableInfo.h.

    {
        mod = m;
    }

SymbolInfo()

SymbolTableInfo * SymbolTableInfo::SymbolInfo ( )

static

Singleton design here to make sure we only have one instance during any analysis.

Get the symbol table instance

Definition at line 81 of file SymbolTableInfo.cpp.

{
    if (symInfo == nullptr)
    {
        symInfo = new SymbolTableInfo();
        symInfo->setModelConstants(Options::ModelConsts());
    }
    return symInfo;
}

toString()

std::string SymbolTableInfo::toString ( SYMTYPE  symtype )

static

Definition at line 286 of file SymbolTableInfo.cpp.

{
    switch (symtype)
    {
    case SYMTYPE::BlackHole:
    {
        return "BlackHole";
    }
    case SYMTYPE::ConstantObj:
    {
        return "ConstantObj";
    }
    case SYMTYPE::BlkPtr:
    {
        return "BlkPtr";
    }
    case SYMTYPE::NullPtr:
    {
        return "NullPtr";
    }
    case SYMTYPE::ValSymbol:
    {
        return "ValSym";
    }
    case SYMTYPE::ObjSymbol:
    {
        return "ObjSym";
    }
    case SYMTYPE::RetSymbol:
    {
        return "RetSym";
    }
    case SYMTYPE::VarargSymbol:
    {
        return "VarargSym";
    }
    default:
    {
        return "Invalid SYMTYPE";
    }
    }
}

valSyms()

ValueToIDMapTy & SVF::SymbolTableInfo::valSyms ( )

inline

Get different kinds of syms maps.

Definition at line 248 of file SymbolTableInfo.h.

    {
        return valSymMap;
    }

varargSyms()

FunToIDMapTy & SVF::SymbolTableInfo::varargSyms ( )

inline

Definition at line 273 of file SymbolTableInfo.h.

    {
        return varargSymMap;
    }

Friends And Related Symbol Documentation

SVFIRReader

friend class SVFIRReader

friend

Definition at line 51 of file SymbolTableInfo.h.

SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 50 of file SymbolTableInfo.h.

SymbolTableBuilder

friend class SymbolTableBuilder

friend

Definition at line 49 of file SymbolTableInfo.h.

Member Data Documentation

maxStruct

const SVFType* SVF::SymbolTableInfo::maxStruct

The struct type with the most fields.

Definition at line 332 of file SymbolTableInfo.h.

maxStSize

u32_t SVF::SymbolTableInfo::maxStSize

The number of fields in max_struct.

Definition at line 335 of file SymbolTableInfo.h.

mod

SVFModule* SVF::SymbolTableInfo::mod

private

Module.

Definition at line 93 of file SymbolTableInfo.h.

modelConstants

bool SVF::SymbolTableInfo::modelConstants

private

Whether to model constants.

Definition at line 99 of file SymbolTableInfo.h.

objSymMap

ValueToIDMapTy SVF::SymbolTableInfo::objSymMap

private

map a obj reference to its sym id

Definition at line 84 of file SymbolTableInfo.h.

objTypeInfoMap

IDToTypeInfoMapTy SVF::SymbolTableInfo::objTypeInfoMap

private

map a memory sym id to its obj

Definition at line 87 of file SymbolTableInfo.h.

returnSymMap

FunToIDMapTy SVF::SymbolTableInfo::returnSymMap

private

return map

Definition at line 85 of file SymbolTableInfo.h.

stInfos

Set<const StInfo*> SVF::SymbolTableInfo::stInfos

protected

(owned) All StInfo

Definition at line 362 of file SymbolTableInfo.h.

svfTypes

SVFTypeSet SVF::SymbolTableInfo::svfTypes

protected

(owned) All SVF Types 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.

Definition at line 359 of file SymbolTableInfo.h.

symInfo

SymbolTableInfo * SymbolTableInfo::symInfo = nullptr

staticprivate

Definition at line 90 of file SymbolTableInfo.h.

totalSymNum

SymID SVF::SymbolTableInfo::totalSymNum

private

total number of symbols

Definition at line 102 of file SymbolTableInfo.h.

valSymMap

ValueToIDMapTy SVF::SymbolTableInfo::valSymMap

private

map a value to its sym id

Definition at line 83 of file SymbolTableInfo.h.

varargSymMap

FunToIDMapTy SVF::SymbolTableInfo::varargSymMap

private

vararg map

Definition at line 86 of file SymbolTableInfo.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/SVFIR/SymbolTableInfo.h
• /home/runner/work/SVF/SVF/svf/lib/SVFIR/SymbolTableInfo.cpp