ScopeLocal Class Reference

A Symbol scope for local variables of a particular function. More...

#include <varmap.hh>

Inheritance diagram for ScopeLocal:

Public Member Functions
	ScopeLocal (uint8 id, AddrSpace *spc, Funcdata *fd, Architecture *g)
	Constructor. More...
virtual	~ScopeLocal (void)
	Destructor.
AddrSpace *	getSpaceId (void) const
	Get the associated (stack) address space.
bool	isUnaffectedStorage (Varnode *vn) const
	Is this a storage location for unaffected registers. More...
void	markNotMapped (AddrSpace *spc, uintb first, int4 sz, bool param)
	Mark a specific address range is not mapped. More...
virtual void	saveXml (ostream &s) const
	Write out this as a <scope> XML tag.
virtual void	restoreXml (const Element *el)
	Restore this Scope from a <scope> XML tag.
virtual string	buildVariableName (const Address &addr, const Address &pc, Datatype *ct, int4 &index, uint4 flags) const
	Given an address and data-type, build a suitable generic symbol name. More...
void	resetLocalWindow (void)
	Reset the set of addresses that are considered mapped by the scope to the default. More...
void	restructureVarnode (bool aliasyes)
	Layout mapped symbols based on Varnode information. More...
void	restructureHigh (void)
	Layout mapped symbols based on HighVariable information. More...
SymbolEntry *	remapSymbol (Symbol *sym, const Address &addr, const Address &usepoint)
	Change the primary mapping for the given Symbol to be a specific storage address and use point. More...
SymbolEntry *	remapSymbolDynamic (Symbol *sym, uint8 hash, const Address &usepoint)
	Make the primary mapping for the given Symbol, dynamic. More...
void	recoverNameRecommendationsForSymbols (void)
	Run through name recommendations, checking if any match unnamed symbols. More...
void	applyTypeRecommendations (void)
	Try to apply recommended data-type information. More...
Public Member Functions inherited from ScopeInternal
	ScopeInternal (uint8 id, const string &nm, Architecture *g)
	Construct the Scope. More...
	ScopeInternal (uint8 id, const string &nm, Architecture *g, Scope *own)
	Construct as a cache.
virtual void	clear (void)
	Clear all symbols from this scope.
virtual void	categorySanity (void)
	Make sure Symbol categories are sane. More...
virtual void	clearCategory (int4 cat)
	Clear all symbols of the given category from this scope.
virtual void	clearUnlocked (void)
	Clear all unlocked symbols from this scope.
virtual void	clearUnlockedCategory (int4 cat)
	Clear unlocked symbols of the given category from this scope.
virtual void	adjustCaches (void)
	Let scopes internally adjust any caches. More...
virtual MapIterator	begin (void) const
	Beginning iterator to mapped SymbolEntrys.
virtual MapIterator	end (void) const
	Ending iterator to mapped SymbolEntrys.
virtual list< SymbolEntry >::const_iterator	beginDynamic (void) const
	Beginning iterator to dynamic SymbolEntrys.
virtual list< SymbolEntry >::const_iterator	endDynamic (void) const
	Ending iterator to dynamic SymbolEntrys.
virtual list< SymbolEntry >::iterator	beginDynamic (void)
	Beginning iterator to dynamic SymbolEntrys.
virtual list< SymbolEntry >::iterator	endDynamic (void)
	Ending iterator to dynamic SymbolEntrys.
virtual void	removeSymbolMappings (Symbol *symbol)
	Remove all SymbolEntrys from the given Symbol.
virtual void	removeSymbol (Symbol *symbol)
	Remove the given Symbol from this Scope.
virtual void	renameSymbol (Symbol *sym, const string &newname)
	Rename a Symbol within this Scope.
virtual void	retypeSymbol (Symbol *sym, Datatype *ct)
	Change the data-type of a Symbol within this Scope. More...
virtual void	setAttribute (Symbol *sym, uint4 attr)
	Set boolean Varnode properties on a Symbol.
virtual void	clearAttribute (Symbol *sym, uint4 attr)
	Clear boolean Varnode properties on a Symbol.
virtual void	setDisplayFormat (Symbol *sym, uint4 attr)
	Set the display format for a Symbol.
virtual SymbolEntry *	findAddr (const Address &addr, const Address &usepoint) const
	Find a Symbol at a given address and usepoint. More...
virtual SymbolEntry *	findContainer (const Address &addr, int4 size, const Address &usepoint) const
	Find the smallest Symbol containing the given memory range. More...
virtual SymbolEntry *	findClosestFit (const Address &addr, int4 size, const Address &usepoint) const
	Find Symbol which is the closest fit to the given memory range. More...
virtual Funcdata *	findFunction (const Address &addr) const
	Find the function starting at the given address. More...
virtual ExternRefSymbol *	findExternalRef (const Address &addr) const
	Find an external reference at the given address. More...
virtual LabSymbol *	findCodeLabel (const Address &addr) const
	Find a label Symbol at the given address. More...
virtual SymbolEntry *	findOverlap (const Address &addr, int4 size) const
	Find first Symbol overlapping the given memory range. More...
virtual void	findByName (const string &name, vector< Symbol * > &res) const
	Find a Symbol by name within this Scope. More...
virtual bool	isNameUsed (const string &nm, const Scope *op2) const
	Check if the given name is occurs within the given scope path. More...
virtual Funcdata *	resolveExternalRefFunction (ExternRefSymbol *sym) const
	Convert an external reference to the referenced function. More...
virtual string	buildUndefinedName (void) const
	Build a formal undefined name, used internally when a Symbol is not given a name. More...
virtual string	makeNameUnique (const string &nm) const
	Produce a version of the given symbol name that won't collide with other names in this Scope. More...
virtual void	printEntries (ostream &s) const
	Dump a description of all SymbolEntry objects to a stream.
virtual int4	getCategorySize (int4 cat) const
	Get the number of Symbols in the given category. More...
virtual Symbol *	getCategorySymbol (int4 cat, int4 ind) const
	Retrieve a Symbol by index within a specific category. More...
virtual void	setCategory (Symbol *sym, int4 cat, int4 ind)
	Set the category and index for the given Symbol. More...
void	assignDefaultNames (int4 &base)
	Assign a default name (via buildVariableName) to any unnamed symbol. More...
set< Symbol * >::const_iterator	beginMultiEntry (void) const
	Start of symbols with more than one entry.
set< Symbol * >::const_iterator	endMultiEntry (void) const
	End of symbols with more than one entry.
Public Member Functions inherited from Scope
	Scope (uint8 id, const string &nm, Architecture *g, Scope *own)
	Construct an empty scope, given a name and Architecture.
virtual	~Scope (void)
	Destructor.
virtual bool	inScope (const Address &addr, int4 size, const Address &usepoint) const
	Query if the given range is owned by this Scope. More...
virtual SymbolEntry *	addSymbol (const string &name, Datatype *ct, const Address &addr, const Address &usepoint)
	Add a new Symbol to this Scope, given a name, data-type, and a single mapping. More...
const string &	getName (void) const
	Get the name of the Scope.
uint8	getId (void) const
	Get the globally unique id.
bool	isGlobal (void) const
	Return true if this scope is global.
void	queryByName (const string &name, vector< Symbol * > &res) const
	Look-up symbols by name. More...
Funcdata *	queryFunction (const string &name) const
	Look-up a function by name. More...
SymbolEntry *	queryByAddr (const Address &addr, const Address &usepoint) const
	Get Symbol with matching address. More...
SymbolEntry *	queryContainer (const Address &addr, int4 size, const Address &usepoint) const
	Find the smallest containing Symbol. More...
SymbolEntry *	queryProperties (const Address &addr, int4 size, const Address &usepoint, uint4 &flags) const
	Find a Symbol or properties at the given address. More...
Funcdata *	queryFunction (const Address &addr) const
	Look-up a function by address. More...
Funcdata *	queryExternalRefFunction (const Address &addr) const
	Look-up a function thru an external reference. More...
LabSymbol *	queryCodeLabel (const Address &addr) const
	Look-up a code label by address. More...
Scope *	resolveScope (const string &name, bool strategy) const
	Find a child Scope of this. More...
Scope *	discoverScope (const Address &addr, int4 sz, const Address &usepoint)
	Find the owning Scope of a given memory range. More...
ScopeMap::const_iterator	childrenBegin () const
	Beginning iterator of child scopes.
ScopeMap::const_iterator	childrenEnd () const
	Ending iterator of child scopes.
void	saveXmlRecursive (ostream &s, bool onlyGlobal) const
	Save all contained scopes as an XML stream. More...
void	overrideSizeLockType (Symbol *sym, Datatype *ct)
	Change the data-type of a Symbol that is sizelocked. More...
void	resetSizeLockType (Symbol *sym)
	Clear a Symbol's size-locked data-type. More...
void	setThisPointer (Symbol *sym, bool val)
	Toggle the given Symbol as the "this" pointer.
bool	isSubScope (const Scope *scp) const
	Is this a sub-scope of the given Scope. More...
string	getFullName (void) const
	Get the full name of this Scope.
void	getScopePath (vector< const Scope * > &vec) const
	Get the ordered list of scopes up to this. More...
const Scope *	findDistinguishingScope (const Scope *op2) const
	Find first ancestor of this not shared by given scope. More...
Architecture *	getArch (void) const
	Get the Architecture associated with this.
Scope *	getParent (void) const
	Get the parent Scope (or NULL if this is the global Scope)
Symbol *	addSymbol (const string &name, Datatype *ct)
	Add a new Symbol without mapping it to an address. More...
SymbolEntry *	addMapPoint (Symbol *sym, const Address &addr, const Address &usepoint)
	Map a Symbol to a specific address. More...
Symbol *	addMapSym (const Element *el)
	Add a mapped Symbol from a <mapsym> XML tag. More...
FunctionSymbol *	addFunction (const Address &addr, const string &nm)
	Create a function Symbol at the given address in this Scope. More...
ExternRefSymbol *	addExternalRef (const Address &addr, const Address &refaddr, const string &nm)
LabSymbol *	addCodeLabel (const Address &addr, const string &nm)
	Create a code label at the given address in this Scope. More...
Symbol *	addDynamicSymbol (const string &nm, Datatype *ct, const Address &caddr, uint8 hash)
	Create a dynamically mapped Symbol attached to a specific data-flow. More...
string	buildDefaultName (Symbol *sym, int4 &base, Varnode *vn) const
	Create a default name for the given Symbol. More...
bool	isReadOnly (const Address &addr, int4 size, const Address &usepoint) const
	Is the given memory range marked as read-only. More...
void	printBounds (ostream &s) const
	Print a description of this Scope's owned memory ranges.

Private Member Functions
bool	adjustFit (RangeHint &a) const
	Make the given RangeHint fit in the current Symbol map. More...
void	createEntry (const RangeHint &a)
	Create a Symbol entry corresponding to the given (fitted) RangeHint. More...
bool	restructure (MapState &state)
	Merge hints into a formal Symbol layout of the address space. More...
void	markUnaliased (const vector< uintb > &alias)
	Mark all local symbols for which there are no aliases. More...
void	fakeInputSymbols (void)
	Make sure all stack inputs have an associated Symbol. More...
void	addRecommendName (Symbol *sym)
	Convert the given symbol to a name recommendation. More...
void	collectNameRecs (void)
	Collect names of unlocked Symbols on the stack. More...

Private Attributes
AddrSpace *	space
	Address space containing the local stack.
RangeList	localRange
	The set of addresses that might hold mapped locals (not parameters)
list< NameRecommend >	nameRecommend
	Symbol name recommendations for specific addresses.
list< DynamicRecommend >	dynRecommend
	Symbol name recommendations for dynamic locations.
list< TypeRecommend >	typeRecommend
	Data-types for specific storage locations.
bool	stackGrowsNegative
	Marked true if the stack is considered to grow towards smaller offsets.
bool	rangeLocked
	True if the subset of addresses mapped to this scope has been locked.

Additional Inherited Members
Protected Member Functions inherited from ScopeInternal
virtual Scope *	buildSubScope (uint8 id, const string &nm)
	Build an unattached Scope to be associated as a sub-scope of this.
virtual void	addSymbolInternal (Symbol *sym)
	Put a Symbol into the name map. More...
virtual SymbolEntry *	addMapInternal (Symbol *sym, uint4 exfl, const Address &addr, int4 off, int4 sz, const RangeList &uselim)
	Create a new SymbolEntry for a Symbol given a memory range. More...
virtual SymbolEntry *	addDynamicMapInternal (Symbol *sym, uint4 exfl, uint8 hash, int4 off, int4 sz, const RangeList &uselim)
	Create a new SymbolEntry for a Symbol given a dynamic hash. More...
Protected Member Functions inherited from Scope
const RangeList &	getRangeTree (void) const
	Access the address ranges owned by this Scope.
virtual void	restrictScope (Funcdata *f)
	Convert this to a local Scope. More...
virtual void	addRange (AddrSpace *spc, uintb first, uintb last)
	Add a memory range to the ownership of this Scope. More...
virtual void	removeRange (AddrSpace *spc, uintb first, uintb last)
	Remove a memory range from the ownership of this Scope. More...
SymbolEntry *	addMap (SymbolEntry &entry)
	Integrate a SymbolEntry into the range maps. More...
void	setSymbolId (Symbol *sym, uint8 id) const
	Adjust the id associated with a symbol.
Static Protected Member Functions inherited from Scope
static const Scope *	stackAddr (const Scope *scope1, const Scope *scope2, const Address &addr, const Address &usepoint, SymbolEntry **addrmatch)
	Query for Symbols starting at a given address, which match a given usepoint. More...
static const Scope *	stackContainer (const Scope *scope1, const Scope *scope2, const Address &addr, int4 size, const Address &usepoint, SymbolEntry **addrmatch)
static const Scope *	stackClosestFit (const Scope *scope1, const Scope *scope2, const Address &addr, int4 size, const Address &usepoint, SymbolEntry **addrmatch)
static const Scope *	stackFunction (const Scope *scope1, const Scope *scope2, const Address &addr, Funcdata **addrmatch)
static const Scope *	stackExternalRef (const Scope *scope1, const Scope *scope2, const Address &addr, ExternRefSymbol **addrmatch)
static const Scope *	stackCodeLabel (const Scope *scope1, const Scope *scope2, const Address &addr, LabSymbol **addrmatch)
Protected Attributes inherited from ScopeInternal
SymbolNameTree	nametree
	The set of Symbol objects, sorted by name.
vector< EntryMap * >	maptable
	Rangemaps of SymbolEntry, one map for each address space.
vector< vector< Symbol * > >	category
	References to Symbol objects organized by category.
list< SymbolEntry >	dynamicentry
	Dynamic symbol entries.
SymbolNameTree	multiEntrySet
	Set of symbols with multiple entries.
uint8	nextUniqueId
	Next available symbol id.
Protected Attributes inherited from Scope
Architecture *	glb
	Architecture of this scope.
string	name
	Name of this scope.
Funcdata *	fd
	(If non-null) the function which this is the local Scope for
uint8	uniqueId
	Unique id for the scope, for deduping scope names, assigning symbol ids.

Detailed Description

A Symbol scope for local variables of a particular function.

This acts like any other variable Scope, but is associated with a specific function and the address space where the function maps its local variables and parameters, typically the stack space. This object in addition to managing the local Symbols, builds up information about the stack address space: what portions of it are used for mapped local variables, what portions are used for temporary storage (not mapped), and what portion is for parameters.

Constructor & Destructor Documentation

ScopeLocal::ScopeLocal	(	uint8	id,
		AddrSpace *	spc,
		Funcdata *	fd,
		Architecture *	g
	)

Constructor.

Parameters

id	is the globally unique id associated with the function scope
spc	is the (stack) address space associated with this function's local variables
fd	is the function associated with these local variables
g	is the Architecture

References rangeLocked, Scope::restrictScope(), space, and stackGrowsNegative.

Member Function Documentation

void ScopeLocal::addRecommendName ( Symbol *  sym )

private

Convert the given symbol to a name recommendation.

The symbol is stored as a name recommendation and then removed from the scope. Name recommendations are associated either with a storage address and usepoint, or a dynamic hash. The name may be reattached to a Symbol after decompilation.

Parameters

sym	is the given Symbol to treat as a name recommendation

References RangeList::empty(), SymbolEntry::getAddr(), Symbol::getCategory(), Range::getFirst(), RangeList::getFirstRange(), SymbolEntry::getFirstUseAddress(), Symbol::getFirstWholeMap(), SymbolEntry::getHash(), Symbol::getId(), Symbol::getName(), SymbolEntry::getSize(), Range::getSpace(), SymbolEntry::getUseLimit(), SymbolEntry::isDynamic(), and MapState::range.

Referenced by collectNameRecs().

bool ScopeLocal::adjustFit ( RangeHint &  a ) const

private

Make the given RangeHint fit in the current Symbol map.

Shrink the RangeHint as necessary so that it fits in the mapped region of the Scope and doesn't overlap any other Symbols. If this is not possible, return false.

Parameters

a	is the given RangeHint to fit

Returns

true if a valid adjustment was made

References ScopeInternal::findOverlap(), RangeHint::flags, SymbolEntry::getAddr(), Address::getOffset(), Scope::getRangeTree(), RangeList::longestFit(), RangeHint::size, space, RangeHint::start, and Varnode::typelock.

void ScopeLocal::applyTypeRecommendations

(

void

)

Try to apply recommended data-type information.

Run through the recommended list, search for an input Varnode matching the storage address and try to apply the data-type to it. Do not override existing type lock.

References Datatype::getSize(), MapState::iter, and Varnode::updateType().

Referenced by ActionInferTypes::apply().

string ScopeLocal::buildVariableName ( const Address &  addr, const Address &  pc, Datatype *  ct, int4 &  index, uint4  flags  ) const

virtual

Given an address and data-type, build a suitable generic symbol name.

Parameters

addr	is the given address
pc	is the address at which the name is getting used
ct	is a data-type used to inform the name
index	is a reference to an index used to make the name unique, which will be updated
flags	are boolean properties of the variable we need the name for

Returns

the new variable name

Reimplemented from ScopeInternal.

References Varnode::addrtied, ScopeInternal::buildVariableName(), AddrSpace::byteToAddress(), Scope::fd, Address::getAddrSize(), Funcdata::getFuncProto(), FuncProto::getLocalRange(), AddrSpace::getName(), Address::getOffset(), Address::getSpace(), AddrSpace::getWordSize(), RangeList::inRange(), ScopeInternal::makeNameUnique(), Varnode::persist, Datatype::printNameBase(), sign_extend(), space, and stackGrowsNegative.

void ScopeLocal::collectNameRecs ( void  )

private

Collect names of unlocked Symbols on the stack.

Turn any symbols that are name locked but not type locked into name recommendations removing the symbol in the process. This allows the decompiler to decide on how the stack is layed out without forcing specific variables to mapped. But, if the decompiler does create a variable at the specific location, it will use the original name.

References addRecommendName(), dynRecommend, SymbolEntry::getAddr(), Symbol::getFirstWholeMap(), Datatype::getMetatype(), Symbol::getType(), Symbol::isNameLocked(), Symbol::isThisPointer(), Symbol::isTypeLocked(), nameRecommend, ScopeInternal::nametree, TYPE_PTR, TYPE_STRUCT, and typeRecommend.

Referenced by restoreXml().

void ScopeLocal::createEntry ( const RangeHint &  a )

private

Create a Symbol entry corresponding to the given (fitted) RangeHint.

A name and final data-type is constructed for the RangeHint, and they are entered as a new Symbol into this scope.

Parameters

a	is the given RangeHint to create a Symbol for

References Scope::addSymbol(), TypeFactory::concretize(), Datatype::getSize(), TypeFactory::getTypeArray(), Scope::glb, RangeHint::size, space, RangeHint::start, RangeHint::type, and Architecture::types.

void ScopeLocal::fakeInputSymbols ( void  )

private

Make sure all stack inputs have an associated Symbol.

This assigns a Symbol to any input Varnode stored in our address space, which could be a parameter but isn't in the formal prototype of the function (these should already be in the scope marked as category '0').

References LowlevelError::explain, Varnode::getAddr(), Symbol::getCategory(), Address::getOffset(), Varnode::getOffset(), Varnode::getSize(), Address::getSpace(), Varnode::getSpace(), SymbolEntry::getSymbol(), Varnode::input, Varnode::isTypeLock(), MapState::iter, and TYPE_UNKNOWN.

bool ScopeLocal::isUnaffectedStorage ( Varnode *  vn ) const

inline

Is this a storage location for unaffected registers.

Parameters

vn	is the Varnode storing an unaffected register

Returns

true is the Varnode can be used as unaffected storage

References NameRecommend::addr, and Varnode::getSpace().

Referenced by ActionRestrictLocal::apply().

void ScopeLocal::markNotMapped	(	AddrSpace *	spc,
		uintb	first,
		int4	sz,
		bool	parameter
	)

Mark a specific address range is not mapped.

The given range can no longer hold a mapped local variable. This indicates the range is being used for temporary storage.

Parameters

spc	is the address space holding the given range
first	is the starting offset of the given range
sz	is the number of bytes in the range
parameter	is true if the range is being used to store a sub-function parameter

References Scope::fd, ScopeInternal::findOverlap(), Symbol::getCategory(), Range::getFirst(), Symbol::getFlags(), AddrSpace::getHighest(), Range::getLast(), Symbol::getName(), RangeList::getRange(), SymbolEntry::getSymbol(), Scope::glb, localRange, Database::removeRange(), ScopeInternal::removeSymbol(), space, stackGrowsNegative, Architecture::symboltab, Varnode::typelock, and Funcdata::warningHeader().

Referenced by ActionRestrictLocal::apply(), and FuncCallSpecs::buildInputFromTrials().

void ScopeLocal::markUnaliased ( const vector< uintb > &  alias )

private

Mark all local symbols for which there are no aliases.

Given a set of alias starting offsets, calculate whether each Symbol within this scope might be aliased by a pointer. The method uses locked Symbol information when available to determine how far an alias start might extend. Otherwise a heuristic is used to determine if the Symbol is far enough away from the start of the alias to be considered unaliased.

Parameters

alias

is the given set of alias starting offsets

References rangemap< _recordtype >::begin_list(), rangemap< _recordtype >::end_list(), SymbolEntry::getAddr(), Datatype::getMetatype(), Address::getOffset(), Symbol::getScope(), SymbolEntry::getSize(), SymbolEntry::getSymbol(), Symbol::getType(), Symbol::isTypeLocked(), MapState::iter, Varnode::nolocalalias, Scope::setAttribute(), TYPE_ARRAY, and TYPE_STRUCT.

void ScopeLocal::recoverNameRecommendationsForSymbols

(

void

)

Run through name recommendations, checking if any match unnamed symbols.

Unlocked symbols that are presented to the decompiler are stored off as recommended names. These can be reattached after the decompiler makes a determination of what the final Symbols are. This method runs through the recommended names and checks if they can be applied to an existing unnamed Symbol.

References Varnode::addrtied, DynamicHash::clear(), DynamicHash::findVarnode(), SymbolEntry::getAddr(), DynamicRecommend::getAddress(), Symbol::getFirstWholeMap(), Symbol::getFlags(), DynamicRecommend::getHash(), Varnode::getHigh(), DynamicRecommend::getName(), Symbol::getScope(), SymbolEntry::getSize(), HighVariable::getSymbol(), SymbolEntry::getSymbol(), DynamicRecommend::getSymbolId(), Varnode::isAnnotation(), Symbol::isNameUndefined(), MapState::iter, and Varnode::namelock.

Referenced by ActionNameVars::apply().

SymbolEntry * ScopeLocal::remapSymbol	(	Symbol *	sym,
		const Address &	addr,
		const Address &	usepoint
	)

Change the primary mapping for the given Symbol to be a specific storage address and use point.

Remove any other mapping and create a mapping based on the given storage.

Parameters

sym	is the given Symbol to remap
addr	is the starting address of the storage
usepoint	is the use point for the mapping

Returns

the new mapping

References SymbolEntry::getAddr(), SymbolEntry::getFirstUseAddress(), Symbol::getFirstWholeMap(), Address::getOffset(), SymbolEntry::getSize(), Address::getSpace(), RangeList::insertRange(), SymbolEntry::isDynamic(), Address::isInvalid(), and Varnode::mapped.

Referenced by Funcdata::remapVarnode().

SymbolEntry * ScopeLocal::remapSymbolDynamic	(	Symbol *	sym,
		uint8	hash,
		const Address &	usepoint
	)

Make the primary mapping for the given Symbol, dynamic.

Remove any other mapping and create a new dynamic mapping based on a given size and hash

Parameters

sym	is the given Symbol to remap
hash	is the dynamic hash
usepoint	is the use point for the mapping

Returns

the new dynamic mapping

References SymbolEntry::getFirstUseAddress(), Symbol::getFirstWholeMap(), SymbolEntry::getHash(), Address::getOffset(), SymbolEntry::getSize(), Address::getSpace(), RangeList::insertRange(), SymbolEntry::isDynamic(), Address::isInvalid(), and Varnode::mapped.

Referenced by Funcdata::remapDynamicVarnode().

void ScopeLocal::resetLocalWindow

(

void

)

Reset the set of addresses that are considered mapped by the scope to the default.

This resets the discovery process for new local variables mapped to the scope's address space. Any analysis removing specific ranges from the mapped set (via markNotMapped()) is cleared.

References RangeList::begin(), RangeList::end(), Scope::fd, Funcdata::getFuncProto(), FuncProto::getLocalRange(), FuncProto::getParamRange(), Scope::glb, RangeList::insertRange(), FuncProto::isStackGrowsNegative(), localRange, rangeLocked, Database::setRange(), stackGrowsNegative, and Architecture::symboltab.

Referenced by Funcdata::clear(), Funcdata::Funcdata(), and Funcdata::restoreXml().

bool ScopeLocal::restructure ( MapState &  state )

private

Merge hints into a formal Symbol layout of the address space.

RangeHints from the given collection are merged into a definitive set of Symbols for this scope. Overlapping or open RangeHints are adjusted to form a disjoint cover of the mapped portion of the address space. Names for the disjoint cover elements are chosen, and these form the final Symbols.

Parameters

state

is the given collection of RangeHints

Returns

true if there were overlaps that could not be reconciled

References RangeHint::absorb(), MapState::getNext(), MapState::initialize(), RangeHint::merge(), MapState::next(), RangeHint::open, RangeHint::rangeType, RangeHint::size, and RangeHint::sstart.

void ScopeLocal::restructureHigh

(

void

)

Layout mapped symbols based on HighVariable information.

Define stack Symbols based on HighVariables. This method is called once at the end of decompilation to create the final set of stack Symbols after all data-type propagation has settled. It creates a consistent data-type for all Varnode instances of a HighVariable.

References MapState::gatherHighs(), and TYPE_UNKNOWN.

Referenced by ActionRestructureHigh::apply().

void ScopeLocal::restructureVarnode

(

bool

aliasyes

)

Layout mapped symbols based on Varnode information.

Define stack Symbols based on Varnodes. This method can be called repeatedly during decompilation. It helps propagate data-types. Unaliased symbols can optionally be marked to facilitate removal of INDIRECT ops, but this is generally done later in the process.

Parameters

aliasyes

is true if unaliased Symbols should be marked

References MapState::gatherVarnodes(), and TYPE_UNKNOWN.

Referenced by ActionRestructureVarnode::apply().

---

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

• varmap.hh
• varmap.cc