A Symbol that forces a particular union field at a particular point in the body of a function. More...

#include <database.hh>

Inheritance diagram for ghidra::UnionFacetSymbol:

Collaboration diagram for ghidra::UnionFacetSymbol:

Public Member Functions
	UnionFacetSymbol (Scope sc, const string &nm, Datatype unionDt, int4 fldNum)
	Constructor from components.

	UnionFacetSymbol (Scope *sc)
	Constructor for decode.

int4	getFieldNumber (void) const
	Get the particular field associate with this.

virtual void	encode (Encoder &encoder) const
	Encode this Symbol to a stream.

virtual void	decode (Decoder &decoder)
	Decode this Symbol from a stream.

Public Member Functions inherited from ghidra::Symbol
	Symbol (Scope sc, const string &nm, Datatype ct)
	Construct given a name and data-type.

	Symbol (Scope *sc)
	Construct for use with decode()

const string &	getName (void) const
	Get the local name of the symbol.

const string &	getDisplayName (void) const
	Get the name to display in output.

Datatype *	getType (void) const
	Get the data-type.

uint8	getId (void) const
	Get a unique id for the symbol.

uint4	getFlags (void) const
	Get the boolean properties of the Symbol.

uint4	getDisplayFormat (void) const
	Get the format to display the Symbol in.

int2	getCategory (void) const
	Get the Symbol category.

uint2	getCategoryIndex (void) const
	Get the position of the Symbol within its category.

bool	isTypeLocked (void) const
	Is the Symbol type-locked.

bool	isNameLocked (void) const
	Is the Symbol name-locked.

bool	isSizeTypeLocked (void) const
	Is the Symbol size type-locked.

bool	isVolatile (void) const
	Is the Symbol volatile.

bool	isThisPointer (void) const
	Is this the "this" pointer.

bool	isIndirectStorage (void) const
	Is storage really a pointer to the true Symbol.

bool	isHiddenReturn (void) const
	Is this a reference to the function return value.

bool	isNameUndefined (void) const
	Does this have an undefined name.

bool	isMultiEntry (void) const
	Does this have more than one entire mapping.

bool	hasMergeProblems (void) const
	Were some SymbolEntrys not merged.

void	setMergeProblems (void)
	Mark that some SymbolEntrys could not be merged.

bool	isIsolated (void) const
	Return true if this is isolated from speculative merging.

void	setIsolated (bool val)
	Set whether this Symbol should be speculatively merged.

Scope *	getScope (void) const
	Get the scope owning this Symbol.

SymbolEntry *	getFirstWholeMap (void) const
	Get the first entire mapping of the symbol.

SymbolEntry *	getMapEntry (const Address &addr) const
	Get first mapping of the symbol that contains the given Address.

int4	numEntries (void) const
	Return the number of SymbolEntrys.

SymbolEntry *	getMapEntry (int4 i) const
	Return the i-th SymbolEntry for this Symbol.

int4	getMapEntryPosition (const SymbolEntry *entry) const
	Position of given SymbolEntry within this multi-entry Symbol.

int4	getResolutionDepth (const Scope *useScope) const
	Get number of scope names needed to resolve this symbol.

void	encodeHeader (Encoder &encoder) const
	Encode basic Symbol properties as attributes.

void	decodeHeader (Decoder &decoder)
	Decode basic Symbol properties from a <symbol> element.

void	encodeBody (Encoder &encoder) const
	Encode details of the Symbol to a stream.

void	decodeBody (Decoder &decoder)
	Decode details of the Symbol from a <symbol> element.

virtual int4	getBytesConsumed (void) const
	Get number of bytes consumed within the address->symbol map.

Private Attributes
int4	fieldNum
	Particular field to associate with Symbol access.

Additional Inherited Members
Public Types inherited from ghidra::Symbol
enum	{ force_hex = 1 , force_dec = 2 , force_oct = 3 , force_bin = 4 , force_char = 5 , size_typelock = 8 , isolate = 16 , merge_problems = 32 , is_this_ptr = 64 }
	Possible display (dispflag) properties for a Symbol. More...

enum	{ no_category = -1 , function_parameter = 0 , equate = 1 , union_facet = 2 , fake_input = 3 }
	The possible specialize Symbol categories. More...

Static Public Attributes inherited from ghidra::Symbol
static uint8	ID_BASE = 0x4000000000000000L
	Base of internal ID's.

Protected Member Functions inherited from ghidra::Symbol
virtual	~Symbol (void)
	Destructor.

void	setDisplayFormat (uint4 val)
	Set the display format for this Symbol.

void	checkSizeTypeLock (void)
	Calculate if size_typelock property is on.

void	setThisPointer (bool val)
	Toggle whether this is the "this" pointer for a class method.

Protected Attributes inherited from ghidra::Symbol
Scope *	scope
	The scope that owns this symbol.

string	name
	The local name of the symbol.

string	displayName
	Name to use when displaying symbol in output.

Datatype *	type
	The symbol's data-type.

uint4	nameDedup
	id to distinguish symbols with the same name

uint4	flags
	Varnode-like properties of the symbol.

uint4	dispflags
	Flags affecting the display of this symbol.

int2	category
	Special category (function_parameter, equate, etc.)

uint2	catindex
	Index within category.

uint8	symbolId
	Unique id, 0=unassigned.

vector< list< SymbolEntry >::iterator >	mapentry
	List of storage locations labeled with this Symbol.

const Scope *	depthScope
	Scope associated with current depth resolution.

int4	depthResolution
	Number of namespace elements required to resolve symbol in current scope.

uint4	wholeCount
	Number of SymbolEntries that map to the whole Symbol.

Detailed Description

A Symbol that forces a particular union field at a particular point in the body of a function.

This is an internal Symbol that users can create if they want to force a particular interpretation of a a union data-type. It attaches to data-flow via the DynamicHash mechanism, which also allows it to attach to a specific read or write of the target Varnode. Different reads (or write) of the same Varnode can have different symbols attached. The Symbol's associated data-type will be the desired union to force.

Constructor & Destructor Documentation

◆ UnionFacetSymbol()

ghidra::UnionFacetSymbol::UnionFacetSymbol	(	Scope *	sc,
		const string &	nm,
		Datatype *	unionDt,
		int4	fldNum
	)

Constructor from components.

Create a symbol that forces a particular field of a union to propagate

Parameters

sc	is the scope owning the new symbol
nm	is the name of the symbol
unionDt	is the union data-type being forced
fldNum	is the particular field to force (-1 indicates the whole union)

References ghidra::Symbol::category, fieldNum, and ghidra::Symbol::union_facet.

Member Function Documentation

◆ decode()

void ghidra::UnionFacetSymbol::decode ( Decoder & decoder )

virtual

Decode this Symbol from a stream.

Parse a Symbol from the next element in the stream

Parameters

decoder is the stream decoder

Reimplemented from ghidra::Symbol.

References ghidra::Decoder::closeElement(), ghidra::Symbol::decodeBody(), ghidra::Symbol::decodeHeader(), fieldNum, ghidra::Datatype::getMetatype(), ghidra::Datatype::numDepend(), ghidra::Decoder::openElement(), ghidra::Decoder::readSignedInteger(), ghidra::Symbol::type, ghidra::TYPE_PTR, and ghidra::TYPE_UNION.

◆ encode()

void ghidra::UnionFacetSymbol::encode ( Encoder & encoder ) const

virtual

Encode this Symbol to a stream.

Parameters

encoder is the stream encoder

Reimplemented from ghidra::Symbol.

References ghidra::Encoder::closeElement(), ghidra::Symbol::encodeBody(), ghidra::Symbol::encodeHeader(), fieldNum, ghidra::Encoder::openElement(), and ghidra::Encoder::writeSignedInteger().

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

/builds/appsec/reveng-binrw/ghidraplusplus/src/dec/database.hh
/builds/appsec/reveng-binrw/ghidraplusplus/src/dec/database.cc

Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ UnionFacetSymbol()

Member Function Documentation

◆ decode()

◆ encode()