An in-memory implementation of the ContextDatabase interface. More...

#include <globalcontext.hh>

Inheritance diagram for ContextInternal:

Collaboration diagram for ContextInternal:

Public Member Functions
virtual int4	getContextSize (void) const
	Retrieve the number of words (uintm) in a context blob. More...

virtual void	registerVariable (const string &nm, int4 sbit, int4 ebit)
	Register a new named context variable (as a bit range) with the database. More...

virtual const uintm *	getContext (const Address &addr) const
	Get the context blob of values associated with a given address. More...

virtual const uintm *	getContext (const Address &addr, uintb &first, uintb &last) const
	Get the context blob of values associated with a given address and its bounding offsets. More...

virtual TrackedSet &	getTrackedDefault (void)
	Get the set of default values for all tracked registers. More...

virtual const TrackedSet &	getTrackedSet (const Address &addr) const
	Get the set of tracked register values associated with the given address. More...

virtual TrackedSet &	createSet (const Address &addr1, const Address &addr2)
	Create a tracked register set that is valid over the given range. More...

virtual void	saveXml (ostream &s) const
	Serialize the entire database to an XML stream. More...

virtual void	restoreXml (const Element el, const AddrSpaceManager manage)
	Restore the state of this database object from a serialized XML stream. More...

virtual void	restoreFromSpec (const Element el, const AddrSpaceManager manage)
	Add initial context state from XML tags in compiler/processor specifications. More...

Public Member Functions inherited from ContextDatabase
void	setVariableDefault (const string &nm, uintm val)
	Provide a default value for a context variable. More...

uintm	getDefaultValue (const string &nm) const
	Retrieve the default value for a context variable. More...

void	setVariable (const string &nm, const Address &addr, uintm value)
	Set a context value at the given address. More...

uintm	getVariable (const string &nm, const Address &addr) const
	Retrieve a context value at the given address. More...

void	setContextChangePoint (const Address &addr, int4 num, uintm mask, uintm value)
	Set a specific context value starting at the given address. More...

void	setContextRegion (const Address &addr1, const Address &addr2, int4 num, uintm mask, uintm value)
	Set a context variable value over a given range of addresses. More...

void	setVariableRegion (const string &nm, const Address &begad, const Address &endad, uintm value)
	Set a context variable by name over a given range of addresses. More...

uintb	getTrackedValue (const VarnodeData &mem, const Address &point) const
	Get the value of a tracked register at a specific address. More...

Additional Inherited Members
Static Protected Member Functions inherited from ContextDatabase
static void	saveTracked (ostream &s, const Address &addr, const TrackedSet &vec)
	Save all tracked register values for a specific address to an XML stream. More...

static void	restoreTracked (const Element el, const AddrSpaceManager manage, TrackedSet &vec)
	Restore a sequence of tracked register values from an XML stream. More...

Detailed Description

An in-memory implementation of the ContextDatabase interface.

Context blobs are held in a partition map on addresses. Any address within the map indicates a split point, where the value of a context variable was explicitly changed. Sets of tracked registers are held in a separate partition map.

Member Function Documentation

◆ createSet()

TrackedSet & ContextInternal::createSet	(	const Address &	addr1,
		const Address &	addr2
	)

virtual

Create a tracked register set that is valid over the given range.

This really should be an internal routine. The created set is empty, old values are blown away. If old/default values are to be preserved, they must be copied back in.

Parameters

addr1	is the starting address of the given range
addr2	is (1 past) the ending address of the given range

Returns: the empty set of tracked register values

Implements ContextDatabase.

◆ getContext() [1/2]

virtual const uintm* ContextInternal::getContext ( const Address & addr ) const

inlinevirtual

Get the context blob of values associated with a given address.

Parameters

addr	is the given address

Returns: the memory region holding the context values for the address

Implements ContextDatabase.

◆ getContext() [2/2]

const uintm * ContextInternal::getContext	(	const Address &	addr,
		uintb &	first,
		uintb &	last
	)		const

virtual

Get the context blob of values associated with a given address and its bounding offsets.

In addition to the memory region, the range of addresses for which the region is valid is passed back as offsets into the address space.

Parameters

addr	is the given address
first	will hold the starting offset of the valid range
last	will hold the ending offset of the valid range

Returns: the memory region holding the context values for the address

Implements ContextDatabase.

◆ getContextSize()

virtual int4 ContextInternal::getContextSize ( void ) const

inlinevirtual

Retrieve the number of words (uintm) in a context blob.

Returns: the number of words

Implements ContextDatabase.

◆ getTrackedDefault()

virtual TrackedSet& ContextInternal::getTrackedDefault ( void )

inlinevirtual

Get the set of default values for all tracked registers.

Returns: the list of TrackedContext objects

Implements ContextDatabase.

◆ getTrackedSet()

virtual const TrackedSet& ContextInternal::getTrackedSet ( const Address & addr ) const

inlinevirtual

Get the set of tracked register values associated with the given address.

Parameters

addr	is the given address

Returns: the list of TrackedContext objects

Implements ContextDatabase.

◆ registerVariable()

void ContextInternal::registerVariable	(	const string &	nm,
		int4	sbit,
		int4	ebit
	)

virtual

Register a new named context variable (as a bit range) with the database.

A new variable is registered by providing a name and the range of bits the value will occupy within the context blob. The full blob size is automatically increased if necessary. The variable must be contained within a single word, and all variables must be registered before any values can be set.

Parameters

nm	is the name of the new variable
sbit	is the position of the variable's most significant bit within the blob
ebit	is the position of the variable's least significant bit within the blob

Implements ContextDatabase.

◆ restoreFromSpec()

void ContextInternal::restoreFromSpec	(	const Element *	el,
		const AddrSpaceManager *	manage
	)

virtual

Add initial context state from XML tags in compiler/processor specifications.

The database can be configured with a consistent initial state by providing <context_data> tags in either the compiler or processor specification file for the architecture

Parameters

el	is a <context_data> tag
manage	is used to resolve address space references

Implements ContextDatabase.

◆ restoreXml()

void ContextInternal::restoreXml	(	const Element *	el,
		const AddrSpaceManager *	manage
	)

virtual

Restore the state of this database object from a serialized XML stream.

Parameters

el	is the root element of the XML describing the database state
manage	is used to resolve address space references

Implements ContextDatabase.

◆ saveXml()

void ContextInternal::saveXml ( ostream & s ) const

virtual

Serialize the entire database to an XML stream.

Parameters

s	is the output stream

Implements ContextDatabase.

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

globalcontext.hh
globalcontext.cc

Public Member Functions

Additional Inherited Members

Detailed Description

Member Function Documentation

◆ createSet()

◆ getContext() [1/2]

◆ getContext() [2/2]

◆ getContextSize()

◆ getTrackedDefault()

◆ getTrackedSet()

◆ registerVariable()

◆ restoreFromSpec()

◆ restoreXml()

◆ saveXml()