#include <SVFType.h>

Public Member Functions
	StInfo ()=delete
	Max field limit.

	StInfo (const StInfo &st)=delete

void	operator= (const StInfo &)=delete

	StInfo (u32_t s)
	Constructor.

	~StInfo ()=default
	Destructor.

const SVFType *	getOriginalElemType (u32_t fldIdx) const

std::vector< u32_t > &	getFlattenedFieldIdxVec ()

std::vector< u32_t > &	getFlattenedElemIdxVec ()

std::vector< const SVFType * > &	getFlattenElementTypes ()

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

const std::vector< u32_t > &	getFlattenedFieldIdxVec () const

const std::vector< u32_t > &	getFlattenedElemIdxVec () const

const std::vector< const SVFType * > &	getFlattenElementTypes () const

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

void	addFldWithType (u32_t fldIdx, const SVFType *type, u32_t elemIdx)
	Add field index and element index and their corresponding type.

void	setNumOfFieldsAndElems (u32_t nf, u32_t ne)
	Set number of fields and elements of an aggregate.

u32_t	getNumOfFlattenElements () const
	Return number of elements after flattening (including array elements)

u32_t	getNumOfFlattenFields () const
	Return the number of fields after flattening (ignoring array elements)

u32_t	getStride () const
	Return the stride.

Private Attributes
std::vector< u32_t >	fldIdxVec
	flattened field indices of a struct (ignoring arrays)

std::vector< u32_t >	elemIdxVec

Map< u32_t, const SVFType * >	fldIdx2TypeMap
	Types of all fields of a struct.

std::vector< const SVFType * >	finfo
	All field infos after flattening a struct.

u32_t	stride

u32_t	numOfFlattenElements
	number of elements after flattening (including array elements)

u32_t	numOfFlattenFields
	number of fields after flattening (ignoring array elements)

std::vector< const SVFType * >	flattenElementTypes
	Type vector of fields.

Detailed Description

Flattened type information of StructType, ArrayType and SingleValueType

Definition at line 46 of file SVFType.h.

Constructor & Destructor Documentation

◆ StInfo() [1/3]

SVF::StInfo::StInfo ( )

delete

Max field limit.

◆ StInfo() [2/3]

SVF::StInfo::StInfo ( const StInfo & st )

delete

◆ StInfo() [3/3]

SVF::StInfo::StInfo ( u32_t s )

inlineexplicit

Constructor.

Definition at line 76 of file SVFType.h.

        : stride(s), numOfFlattenElements(s), numOfFlattenFields(s)
    {
    }

◆ ~StInfo()

SVF::StInfo::~StInfo ( )

default

Destructor.

Member Function Documentation

◆ addFldWithType()

void SVF::StInfo::addFldWithType	(	u32_t	fldIdx,
		const SVFType *	type,
		u32_t	elemIdx
	)

Add field index and element index and their corresponding type.

◆ getFlattenedElemIdxVec() [1/2]

std::vector< u32_t > & SVF::StInfo::getFlattenedElemIdxVec ( )

inline

Definition at line 96 of file SVFType.h.

    {
        return elemIdxVec;
    }

◆ getFlattenedElemIdxVec() [2/2]

const std::vector< u32_t > & SVF::StInfo::getFlattenedElemIdxVec ( ) const

inline

Definition at line 112 of file SVFType.h.

    {
        return elemIdxVec;
    }

◆ getFlattenedFieldIdxVec() [1/2]

std::vector< u32_t > & SVF::StInfo::getFlattenedFieldIdxVec ( )

inline

Definition at line 92 of file SVFType.h.

    {
        return fldIdxVec;
    }

◆ getFlattenedFieldIdxVec() [2/2]

const std::vector< u32_t > & SVF::StInfo::getFlattenedFieldIdxVec ( ) const

inline

Definition at line 108 of file SVFType.h.

    {
        return fldIdxVec;
    }

◆ getFlattenElementTypes() [1/2]

std::vector< const SVFType * > & SVF::StInfo::getFlattenElementTypes ( )

inline

Definition at line 100 of file SVFType.h.

    {
        return flattenElementTypes;
    }

◆ getFlattenElementTypes() [2/2]

const std::vector< const SVFType * > & SVF::StInfo::getFlattenElementTypes ( ) const

inline

Definition at line 116 of file SVFType.h.

    {
        return flattenElementTypes;
    }

◆ getFlattenFieldTypes() [1/2]

std::vector< const SVFType * > & SVF::StInfo::getFlattenFieldTypes ( )

inline

Definition at line 104 of file SVFType.h.

    {
        return finfo;
    }

◆ getFlattenFieldTypes() [2/2]

const std::vector< const SVFType * > & SVF::StInfo::getFlattenFieldTypes ( ) const

inline

Definition at line 120 of file SVFType.h.

    {
        return finfo;
    }

◆ getNumOfFlattenElements()

u32_t SVF::StInfo::getNumOfFlattenElements ( ) const

inline

Return number of elements after flattening (including array elements)

Definition at line 137 of file SVFType.h.

    {
        return numOfFlattenElements;
    }

◆ getNumOfFlattenFields()

u32_t SVF::StInfo::getNumOfFlattenFields ( ) const

inline

Return the number of fields after flattening (ignoring array elements)

Definition at line 143 of file SVFType.h.

    {
        return numOfFlattenFields;
    }

◆ getOriginalElemType()

const SVFType * StInfo::getOriginalElemType ( u32_t fldIdx ) const

struct A { int id; int salary; }; struct B { char name[20]; struct A a;} B b;

OriginalFieldType of b with field_idx 1 : Struct A FlatternedFieldType of b with field_idx 1 : int

Definition at line 62 of file SVFValue.cpp.

{
    Map<u32_t, const SVFType*>::const_iterator it = fldIdx2TypeMap.find(fldIdx);
    if(it!=fldIdx2TypeMap.end())
        return it->second;
    return nullptr;
}

◆ getStride()

u32_t SVF::StInfo::getStride ( ) const

inline

Return the stride.

Definition at line 148 of file SVFType.h.

    {
        return stride;
    }

◆ operator=()

void SVF::StInfo::operator= ( const StInfo & )

delete

◆ setNumOfFieldsAndElems()

void SVF::StInfo::setNumOfFieldsAndElems	(	u32_t	nf,
		u32_t	ne
	)

inline

Set number of fields and elements of an aggregate.

Definition at line 130 of file SVFType.h.

    {
        numOfFlattenFields = nf;
        numOfFlattenElements = ne;
    }

Member Data Documentation

◆ elemIdxVec

std::vector<u32_t> SVF::StInfo::elemIdxVec

private

flattened element indices including structs and arrays by considering strides

Definition at line 54 of file SVFType.h.

◆ finfo

std::vector<const SVFType*> SVF::StInfo::finfo

private

All field infos after flattening a struct.

Definition at line 58 of file SVFType.h.

◆ flattenElementTypes

std::vector<const SVFType*> SVF::StInfo::flattenElementTypes

private

Type vector of fields.

Definition at line 67 of file SVFType.h.

◆ fldIdx2TypeMap

Map<u32_t, const SVFType*> SVF::StInfo::fldIdx2TypeMap

private

Types of all fields of a struct.

Definition at line 56 of file SVFType.h.

◆ fldIdxVec

std::vector<u32_t> SVF::StInfo::fldIdxVec

private

flattened field indices of a struct (ignoring arrays)

Definition at line 51 of file SVFType.h.

◆ numOfFlattenElements

u32_t SVF::StInfo::numOfFlattenElements

private

number of elements after flattening (including array elements)

Definition at line 63 of file SVFType.h.

◆ numOfFlattenFields

u32_t SVF::StInfo::numOfFlattenFields

private

number of fields after flattening (ignoring array elements)

Definition at line 65 of file SVFType.h.

◆ stride

u32_t SVF::StInfo::stride

private

stride represents the number of repetitive elements if this StInfo represent an ArrayType. stride is 1 by default.

Definition at line 61 of file SVFType.h.

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

/home/runner/work/SVF/SVF/svf/include/SVFIR/SVFType.h
/home/runner/work/SVF/SVF/svf/lib/SVFIR/SVFValue.cpp

Public Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ StInfo() [1/3]

◆ StInfo() [2/3]

◆ StInfo() [3/3]

◆ ~StInfo()

Member Function Documentation

◆ addFldWithType()

◆ getFlattenedElemIdxVec() [1/2]

◆ getFlattenedElemIdxVec() [2/2]

◆ getFlattenedFieldIdxVec() [1/2]

◆ getFlattenedFieldIdxVec() [2/2]

◆ getFlattenElementTypes() [1/2]

◆ getFlattenElementTypes() [2/2]

◆ getFlattenFieldTypes() [1/2]

◆ getFlattenFieldTypes() [2/2]

◆ getNumOfFlattenElements()

◆ getNumOfFlattenFields()

◆ getOriginalElemType()

◆ getStride()

◆ operator=()

◆ setNumOfFieldsAndElems()

Member Data Documentation

◆ elemIdxVec

◆ finfo

◆ flattenElementTypes

◆ fldIdx2TypeMap

◆ fldIdxVec

◆ numOfFlattenElements

◆ numOfFlattenFields

◆ stride