Description

Wraps RISC operators so they can be traced.

Definition at line 94 of file TraceSemantics.h.

#include <Rose/BinaryAnalysis/InstructionSemantics2/TraceSemantics.h>

Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators:

[legend]

Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators:

[legend]

Public Types
using	Super = BaseSemantics::RiscOperators
	Base type. More...

using	Ptr = RiscOperatorsPtr
	Shared-ownership pointer. More...

Public Types inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators
using	Ptr = RiscOperatorsPtr
	Shared-ownership pointer for a RiscOperators object. More...

Public Member Functions
virtual BaseSemantics::RiscOperatorsPtr	create (const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) const override
	Virtual allocating constructor. More...

virtual BaseSemantics::RiscOperatorsPtr	create (const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) const override
	Virtual allocating constructor. More...

virtual BaseSemantics::RiscOperatorsPtr	create (const BaseSemantics::RiscOperatorsPtr &subdomain)
	Wraps a subdomain's RISC operators to add tracing. More...

virtual BaseSemantics::SValuePtr	protoval () const override
	Property: Prototypical semantic value. More...

virtual void	solver (const SmtSolverPtr &) override
	Property: Satisfiability module theory (SMT) solver. More...

virtual SmtSolverPtr	solver () const override
	Property: Satisfiability module theory (SMT) solver. More...

virtual BaseSemantics::StatePtr	currentState () const override
	Property: Current semantic state. More...

virtual void	currentState (const BaseSemantics::StatePtr &) override
	Property: Current semantic state. More...

virtual void	print (std::ostream &, BaseSemantics::Formatter &) const override
	Print multi-line output for this object.

virtual size_t	nInsns () const override
	Property: Number of instructions processed. More...

virtual void	nInsns (size_t n) override
	Property: Number of instructions processed. More...

virtual SgAsmInstruction *	currentInstruction () const override
	Property: Current instruction. More...

virtual bool	isNoopRead () const override
	Property: No-op read. More...

virtual void	isNoopRead (bool) override
	Property: No-op read. More...

virtual void	startInstruction (SgAsmInstruction *) override
	Called at the beginning of every instruction. More...

virtual void	finishInstruction (SgAsmInstruction *) override
	Called at the end of every instruction. More...

virtual BaseSemantics::SValuePtr	undefined_ (size_t nbits) override
	Returns a new undefined value. More...

virtual BaseSemantics::SValuePtr	unspecified_ (size_t nbits) override
	Returns a new undefined value. More...

virtual BaseSemantics::SValuePtr	number_ (size_t nbits, uint64_t value) override
	Returns a number of the specified bit width. More...

virtual BaseSemantics::SValuePtr	boolean_ (bool value) override
	Returns a Boolean value. More...

virtual BaseSemantics::SValuePtr	bottom_ (size_t nbits) override
	Returns a data-flow bottom value. More...

virtual BaseSemantics::SValuePtr	filterCallTarget (const BaseSemantics::SValuePtr &) override
	Invoked to filter call targets. More...

virtual BaseSemantics::SValuePtr	filterReturnTarget (const BaseSemantics::SValuePtr &) override
	Invoked to filter return targets. More...

virtual BaseSemantics::SValuePtr	filterIndirectJumpTarget (const BaseSemantics::SValuePtr &) override
	Invoked to filter indirect jumps. More...

virtual void	hlt () override
	Invoked for the x86 HLT instruction. More...

virtual void	cpuid () override
	Invoked for the x86 CPUID instruction. More...

virtual BaseSemantics::SValuePtr	rdtsc () override
	Invoked for the x86 RDTSC instruction. More...

virtual BaseSemantics::SValuePtr	and_ (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Computes bit-wise AND of two values. More...

virtual BaseSemantics::SValuePtr	or_ (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Computes bit-wise OR of two values. More...

virtual BaseSemantics::SValuePtr	xor_ (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Computes bit-wise XOR of two values. More...

virtual BaseSemantics::SValuePtr	invert (const BaseSemantics::SValuePtr &) override
	One's complement. More...

virtual BaseSemantics::SValuePtr	extract (const BaseSemantics::SValuePtr &, size_t begin_bit, size_t end_bit) override
	Extracts bits from a value. More...

virtual BaseSemantics::SValuePtr	concat (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Concatenates the bits of two values. More...

virtual BaseSemantics::SValuePtr	leastSignificantSetBit (const BaseSemantics::SValuePtr &) override
	Returns position of least significant set bit; zero when no bits are set. More...

virtual BaseSemantics::SValuePtr	mostSignificantSetBit (const BaseSemantics::SValuePtr &) override
	Returns position of most significant set bit; zero when no bits are set. More...

virtual BaseSemantics::SValuePtr	rotateLeft (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Rotate bits to the left. More...

virtual BaseSemantics::SValuePtr	rotateRight (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Rotate bits to the right. More...

virtual BaseSemantics::SValuePtr	shiftLeft (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Returns arg shifted left. More...

virtual BaseSemantics::SValuePtr	shiftRight (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Returns arg shifted right logically (no sign bit). More...

virtual BaseSemantics::SValuePtr	shiftRightArithmetic (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Returns arg shifted right arithmetically (with sign bit). More...

virtual BaseSemantics::SValuePtr	equalToZero (const BaseSemantics::SValuePtr &) override
	Determines whether a value is equal to zero. More...

virtual BaseSemantics::SValuePtr	ite (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	If-then-else. More...

virtual BaseSemantics::SValuePtr	unsignedExtend (const BaseSemantics::SValuePtr &, size_t nbits) override
	Extend (or shrink) operand `a` so it is `nbits` wide by adding or removing high-order bits. More...

virtual BaseSemantics::SValuePtr	signExtend (const BaseSemantics::SValuePtr &, size_t nbits) override
	Sign extends a value. More...

virtual BaseSemantics::SValuePtr	add (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Adds two integers of equal size. More...

virtual BaseSemantics::SValuePtr	addWithCarries (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, BaseSemantics::SValuePtr &) override
	Add two values of equal size and a carry bit. More...

virtual BaseSemantics::SValuePtr	negate (const BaseSemantics::SValuePtr &) override
	Two's complement. More...

virtual BaseSemantics::SValuePtr	signedDivide (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Divides two signed values. More...

virtual BaseSemantics::SValuePtr	signedModulo (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Calculates modulo with signed values. More...

virtual BaseSemantics::SValuePtr	signedMultiply (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Multiplies two signed values. More...

virtual BaseSemantics::SValuePtr	unsignedDivide (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Divides two unsigned values. More...

virtual BaseSemantics::SValuePtr	unsignedModulo (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Calculates modulo with unsigned values. More...

virtual BaseSemantics::SValuePtr	unsignedMultiply (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) override
	Multiply two unsigned values. More...

virtual void	interrupt (int majr, int minr) override
	Invoked for instructions that cause an interrupt. More...

virtual BaseSemantics::SValuePtr	fpFromInteger (const BaseSemantics::SValuePtr &, SgAsmFloatType *) override
	Construct a floating-point value from an integer value. More...

virtual BaseSemantics::SValuePtr	fpToInteger (const BaseSemantics::SValuePtr &, SgAsmFloatType *, const BaseSemantics::SValuePtr &) override
	Construct an integer value from a floating-point value. More...

virtual BaseSemantics::SValuePtr	fpConvert (const BaseSemantics::SValuePtr &, SgAsmFloatType , SgAsmFloatType ) override
	Convert from one floating-point type to another. More...

virtual BaseSemantics::SValuePtr	fpIsNan (const BaseSemantics::SValuePtr &, SgAsmFloatType *) override
	Whether a floating-point value is a special not-a-number bit pattern. More...

virtual BaseSemantics::SValuePtr	fpIsDenormalized (const BaseSemantics::SValuePtr &, SgAsmFloatType *) override
	Whether a floating-point value is denormalized. More...

virtual BaseSemantics::SValuePtr	fpIsZero (const BaseSemantics::SValuePtr &, SgAsmFloatType *) override
	Whether a floating-point value is equal to zero. More...

virtual BaseSemantics::SValuePtr	fpIsInfinity (const BaseSemantics::SValuePtr &, SgAsmFloatType *) override
	Whether a floating-point value is infinity. More...

virtual BaseSemantics::SValuePtr	fpSign (const BaseSemantics::SValuePtr &, SgAsmFloatType *) override
	Sign of floating-point value. More...

virtual BaseSemantics::SValuePtr	fpEffectiveExponent (const BaseSemantics::SValuePtr &, SgAsmFloatType *) override
	Exponent of floating-point value. More...

virtual BaseSemantics::SValuePtr	fpAdd (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) override
	Add two floating-point values. More...

virtual BaseSemantics::SValuePtr	fpSubtract (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) override
	Subtract one floating-point value from another. More...

virtual BaseSemantics::SValuePtr	fpMultiply (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) override
	Multiply two floating-point values. More...

virtual BaseSemantics::SValuePtr	fpDivide (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) override
	Divide one floating-point value by another. More...

virtual BaseSemantics::SValuePtr	fpSquareRoot (const BaseSemantics::SValuePtr &, SgAsmFloatType *) override
	Square root. More...

virtual BaseSemantics::SValuePtr	fpRoundTowardZero (const BaseSemantics::SValuePtr &, SgAsmFloatType *) override
	Round toward zero. More...

virtual BaseSemantics::SValuePtr	readRegister (RegisterDescriptor, const BaseSemantics::SValuePtr &dflt) override
	Reads a value from a register. More...

virtual BaseSemantics::SValuePtr	peekRegister (RegisterDescriptor, const BaseSemantics::SValuePtr &dflt) override
	Obtain a register value without side effects. More...

virtual void	writeRegister (RegisterDescriptor, const BaseSemantics::SValuePtr &) override
	Writes a value to a register. More...

virtual BaseSemantics::SValuePtr	readMemory (RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt, const BaseSemantics::SValuePtr &cond) override
	Reads a value from memory. More...

virtual BaseSemantics::SValuePtr	peekMemory (RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt) override
	Read memory without side effects. More...

virtual void	writeMemory (RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &data, const BaseSemantics::SValuePtr &cond) override
	Writes a value to memory. More...


const BaseSemantics::RiscOperatorsPtr &	subdomain () const
	Property: Subdomain to which operations are forwarded.

void	subdomain (const BaseSemantics::RiscOperatorsPtr &subdomain)
	Property: Subdomain to which operations are forwarded.


void	checkSubdomain () const
	Check that we have a valid subdomain. More...


Sawyer::Message::Stream &	stream ()
	Property: output stream to which tracing is emitted. More...

void	stream (Sawyer::Message::Stream &s)
	Property: output stream to which tracing is emitted. More...


const std::string &	indentation () const
	Property: Line prefix string. More...

void	indentation (const std::string &s)
	Property: Line prefix string. More...


bool	showingSubdomain () const
	Property: Show subdomain name in output. More...

void	showingSubdomain (bool b)
	Property: Show subdomain name in output. More...


bool	showingInstructionVa () const
	Property: Show instruction in output. More...

void	showingInstructionVa (bool b)
	Property: Show instruction in output. More...


bool	onlyInstructions () const
	Property: Show only operations for instructions. More...

void	onlyInstructions (bool b)
	Property: Show only operations for instructions. More...

Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators
virtual void	hash (Combinatorics::Hasher &)
	Compute hash of current state. More...

virtual std::pair< SValuePtr, SValuePtr >	split (const SValuePtr &a, size_t splitPoint)
	Split a value into two narrower values. More...

virtual SValuePtr	countLeadingZeros (const SValuePtr &a)
	Count leading zero bits. More...

virtual SValuePtr	countLeadingOnes (const SValuePtr &a)
	Count leading one bits. More...

virtual SValuePtr	reverseElmts (const SValuePtr &a, size_t elmtNBits)
	Reverse parts of a value. More...

virtual SValuePtr	addCarry (const SValuePtr &a, const SValuePtr &b, SValuePtr &carryOut, SValuePtr &overflowed)
	Adds two integers of equal size and carry. More...

virtual SValuePtr	subtract (const SValuePtr &minuend, const SValuePtr &subtrahend)
	Subtract one value from another. More...

virtual SValuePtr	subtractCarry (const SValuePtr &minuend, const SValuePtr &subtrahend, SValuePtr &carryOut, SValuePtr &overflowed)
	Subtract one value from another and carry. More...

virtual void	interrupt (const SValuePtr &majr, const SValuePtr &minr, const SValuePtr &enabled)
	Invoked for instructions that cause an interrupt. More...

virtual SValuePtr	reinterpret (const SValuePtr &a, SgAsmType *retType)
	Reinterpret an expression as a different type. More...

virtual SValuePtr	convert (const SValuePtr &a, SgAsmType srcType, SgAsmType dstType)
	Convert value from one type to another. More...

const HotPatch &	hotPatch () const
	Property: Post-instruction hot patches. More...

HotPatch &	hotPatch ()
	Property: Post-instruction hot patches. More...

void	hotPatch (const HotPatch &hp)
	Property: Post-instruction hot patches. More...

virtual StatePtr	initialState () const
	Property: Optional lazily updated initial state. More...

virtual void	initialState (const StatePtr &s)
	Property: Optional lazily updated initial state. More...

virtual const std::string &	name () const
	Property: Name used for debugging. More...

virtual void	name (const std::string &s)
	Property: Name used for debugging. More...

void	print (std::ostream &stream, const std::string prefix="") const
	Print multi-line output for this object.

WithFormatter	with_format (Formatter &fmt)
	Used for printing RISC operators with formatting. More...

WithFormatter	operator+ (Formatter &fmt)
	Used for printing RISC operators with formatting. More...

WithFormatter	operator+ (const std::string &linePrefix)
	Used for printing RISC operators with formatting. More...

virtual void	currentInstruction (SgAsmInstruction *insn)
	Property: Current instruction. More...

virtual SValuePtr	concatLoHi (const SValuePtr &lowBits, const SValuePtr &highBits)
	Aliases for concatenation. More...

virtual SValuePtr	concatHiLo (const SValuePtr &highBits, const SValuePtr &lowBits)
	Aliases for concatenation. More...

virtual SValuePtr	isEqual (const SValuePtr &a, const SValuePtr &b)
	Equality comparison. More...

virtual SValuePtr	isNotEqual (const SValuePtr &a, const SValuePtr &b)
	Equality comparison. More...

virtual SValuePtr	isUnsignedLessThan (const SValuePtr &a, const SValuePtr &b)
	Comparison for unsigned values. More...

virtual SValuePtr	isUnsignedLessThanOrEqual (const SValuePtr &a, const SValuePtr &b)
	Comparison for unsigned values. More...

virtual SValuePtr	isUnsignedGreaterThan (const SValuePtr &a, const SValuePtr &b)
	Comparison for unsigned values. More...

virtual SValuePtr	isUnsignedGreaterThanOrEqual (const SValuePtr &a, const SValuePtr &b)
	Comparison for unsigned values. More...

virtual SValuePtr	isSignedLessThan (const SValuePtr &a, const SValuePtr &b)
	Comparison for signed values. More...

virtual SValuePtr	isSignedLessThanOrEqual (const SValuePtr &a, const SValuePtr &b)
	Comparison for signed values. More...

virtual SValuePtr	isSignedGreaterThan (const SValuePtr &a, const SValuePtr &b)
	Comparison for signed values. More...

virtual SValuePtr	isSignedGreaterThanOrEqual (const SValuePtr &a, const SValuePtr &b)
	Comparison for signed values. More...

virtual SValuePtr	readRegister (RegisterDescriptor reg)
	Reads a value from a register. More...

SValuePtr	peekRegister (RegisterDescriptor reg)
	Obtain a register value without side effects. More...

Static Public Member Functions
static RiscOperatorsPtr	instance (const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr())
	Instantiates a new RiscOperators object. More...

static RiscOperatorsPtr	instance (const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr())
	Instantiates a new RiscOperators object. More...

static RiscOperatorsPtr	instance (const BaseSemantics::RiscOperatorsPtr &subdomain)
	Instantiate a new RiscOperators object. More...

static RiscOperatorsPtr	promote (const BaseSemantics::RiscOperatorsPtr &x)
	Run-time promotion of a base RiscOperators pointer to trace operators. More...

Static Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators
static RiscOperatorsPtr	promote (const RiscOperatorsPtr &x)

Protected Member Functions
	RiscOperators (const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr())

	RiscOperators (const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr())

	RiscOperators (const BaseSemantics::RiscOperatorsPtr &subdomain)

void	linePrefix ()

std::string	toString (const BaseSemantics::SValuePtr &)

std::string	toString (SgAsmFloatType *)

void	check_equal_widths (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &)

const BaseSemantics::SValuePtr &	check_width (const BaseSemantics::SValuePtr &a, size_t nbits, const std::string &what="result")

std::string	register_name (RegisterDescriptor)

bool	shouldPrint () const

bool	shouldPrint (SgAsmInstruction *) const

void	before (const std::string &)

void	before (const std::string &, RegisterDescriptor)

void	before (const std::string &, RegisterDescriptor, const BaseSemantics::SValuePtr &)

void	before (const std::string &, RegisterDescriptor, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &)

void	before (const std::string &, RegisterDescriptor, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, size_t)

void	before (const std::string &, RegisterDescriptor, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &)

void	before (const std::string &, SgAsmInstruction *, bool showAddress)

void	before (const std::string &, size_t)

void	before (const std::string &, size_t, uint64_t)

void	before (const std::string &, const BaseSemantics::SValuePtr &)

void	before (const std::string &, const BaseSemantics::SValuePtr &, size_t)

void	before (const std::string &, const BaseSemantics::SValuePtr &, size_t, size_t)

void	before (const std::string &, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &)

void	before (const std::string &, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &)

void	before (const std::string &, const BaseSemantics::SValuePtr &, SgAsmFloatType *)

void	before (const std::string &, const BaseSemantics::SValuePtr &, SgAsmFloatType *, const BaseSemantics::SValuePtr &)

void	before (const std::string &, const BaseSemantics::SValuePtr &, SgAsmFloatType , SgAsmFloatType )

void	before (const std::string &, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *)

void	after ()

void	after (SgAsmInstruction *)

const BaseSemantics::SValuePtr &	after (const BaseSemantics::SValuePtr &)

const BaseSemantics::SValuePtr &	after (const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &)

void	after (const BaseSemantics::Exception &)

void	after (const BaseSemantics::Exception &, SgAsmInstruction *)

void	after_exception ()

void	after_exception (SgAsmInstruction *)

Protected Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators
	RiscOperators (const SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr())

	RiscOperators (const StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr())

Member Typedef Documentation

using Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::Super = BaseSemantics::RiscOperators

Base type.

Definition at line 97 of file TraceSemantics.h.

using Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::Ptr = RiscOperatorsPtr

Shared-ownership pointer.

Definition at line 100 of file TraceSemantics.h.

Member Function Documentation

static RiscOperatorsPtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::instance	(	const BaseSemantics::SValuePtr &	protoval,
		const SmtSolverPtr &	solver = `SmtSolverPtr()`
	)

inlinestatic

Instantiates a new RiscOperators object.

This domain does not create any of its own values–it only wraps another domains RISC operators. Therefore, the supplied protoval and solver are not actually used. It is probably better to construct the TraceSemantics' RISC operators with the constructor that takes the subdomain's RISC operators.

Definition at line 143 of file TraceSemantics.h.

References solver().

Referenced by create().

static RiscOperatorsPtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::instance	(	const BaseSemantics::StatePtr &	state,
		const SmtSolverPtr &	solver = `SmtSolverPtr()`
	)

inlinestatic

Instantiates a new RiscOperators object.

This domain does not manage any state–it only wraps another domains RISC operators. Therefore, the supplied protoval and solver are not actually used. It is probably better to construct the TraceSemantics' RISC operators with the constructor that takes the subdomain's RISC operators.

Definition at line 150 of file TraceSemantics.h.

References solver().

static RiscOperatorsPtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::instance ( const BaseSemantics::RiscOperatorsPtr & subdomain )

inlinestatic

Instantiate a new RiscOperators object.

The subdomain argument should be the RISC operators that we want to trace.

Definition at line 156 of file TraceSemantics.h.

References subdomain().

virtual BaseSemantics::RiscOperatorsPtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::create	(	const BaseSemantics::SValuePtr &	protoval,
		const SmtSolverPtr &	solver = `SmtSolverPtr()`
	)		const

inlineoverridevirtual

Virtual allocating constructor.

The protoval is a prototypical semantic value that is used as a factory to create additional values as necessary via its virtual constructors. The state upon which the RISC operations operate must be set by modifying the currentState property. An optional SMT solver may be specified (see solver).

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

Definition at line 168 of file TraceSemantics.h.

References instance(), and solver().

virtual BaseSemantics::RiscOperatorsPtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::create	(	const BaseSemantics::StatePtr &	state,
		const SmtSolverPtr &	solver = `SmtSolverPtr()`
	)		const

inlineoverridevirtual

Virtual allocating constructor.

The supplied state is that upon which the RISC operations operate and is also used to define the prototypical semantic value. Other states can be supplied by setting currentState. The prototypical semantic value is used as a factory to create additional values as necessary via its virtual constructors. An optional SMT solver may be specified (see solver).

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

Definition at line 173 of file TraceSemantics.h.

References instance(), and solver().

virtual BaseSemantics::RiscOperatorsPtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::create ( const BaseSemantics::RiscOperatorsPtr & subdomain )

inlinevirtual

Wraps a subdomain's RISC operators to add tracing.

Definition at line 179 of file TraceSemantics.h.

References instance().

static RiscOperatorsPtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::promote ( const BaseSemantics::RiscOperatorsPtr & x )

inlinestatic

Run-time promotion of a base RiscOperators pointer to trace operators.

This is a checked conversion–it will fail if from does not point to a TraceSemantics::RiscOperators object.

Definition at line 188 of file TraceSemantics.h.

void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::checkSubdomain ( ) const

inline

Check that we have a valid subdomain.

If the subdomain isn't value (hasn't been set) then throw an exception.

Definition at line 207 of file TraceSemantics.h.

Sawyer::Message::Stream& Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::stream ( )

inline

Property: output stream to which tracing is emitted.

The default is the INFO stream of the Rose::BinaryAnalysis::InstructionSemantics2 message facility. Output will only show up when this stream is enabled.

Definition at line 217 of file TraceSemantics.h.

void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::stream ( Sawyer::Message::Stream & s )

inline

Property: output stream to which tracing is emitted.

The default is the INFO stream of the Rose::BinaryAnalysis::InstructionSemantics2 message facility. Output will only show up when this stream is enabled.

Definition at line 218 of file TraceSemantics.h.

const std::string& Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::indentation ( ) const

inline

Property: Line prefix string.

This string will be printed at the start of each line of output. It's usually used for indentation.

Definition at line 226 of file TraceSemantics.h.

void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::indentation ( const std::string & s )

inline

Property: Line prefix string.

This string will be printed at the start of each line of output. It's usually used for indentation.

Definition at line 227 of file TraceSemantics.h.

bool Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::showingSubdomain ( ) const

inline

Property: Show subdomain name in output.

If true, then the subdomain name and object address is printed for each line of output.

Definition at line 235 of file TraceSemantics.h.

void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::showingSubdomain ( bool b )

inline

Property: Show subdomain name in output.

If true, then the subdomain name and object address is printed for each line of output.

Definition at line 236 of file TraceSemantics.h.

bool Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::showingInstructionVa ( ) const

inline

Property: Show instruction in output.

If true, then each line of output will contain the instruction virtual address.

Definition at line 244 of file TraceSemantics.h.

void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::showingInstructionVa ( bool b )

inline

Property: Show instruction in output.

If true, then each line of output will contain the instruction virtual address.

Definition at line 245 of file TraceSemantics.h.

bool Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::onlyInstructions ( ) const

inline

Property: Show only operations for instructions.

Operators are usually called to interpret an instruction, but they can also be called directly by analysis, such as when an analysis needs to read a register from a semantic state. If the onlyInstructions property is set, then the output will show only operations that are associated with an instruction and will suppress operations that are invoked without a current instruction.

Definition at line 256 of file TraceSemantics.h.

void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::onlyInstructions ( bool b )

inline

Property: Show only operations for instructions.

Operators are usually called to interpret an instruction, but they can also be called directly by analysis, such as when an analysis needs to read a register from a semantic state. If the onlyInstructions property is set, then the output will show only operations that are associated with an instruction and will suppress operations that are invoked without a current instruction.

Definition at line 257 of file TraceSemantics.h.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::protoval ( ) const

overridevirtual

Property: Prototypical semantic value.

The protoval is used to construct other values via its virtual constructors.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::solver ( const SmtSolverPtr & s )

overridevirtual

Property: Satisfiability module theory (SMT) solver.

This property holds a pointer to the satisfiability modulo theory (SMT) solver to use for certain operations. An SMT solver is optional and not all semantic domains will make use of a solver. Domains that use a solver will fall back to naive implementations when a solver is not available (for instance, equality of two values might be checked by looking at whether the values are identical).

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual SmtSolverPtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::solver ( ) const

overridevirtual

Property: Satisfiability module theory (SMT) solver.

This property holds a pointer to the satisfiability modulo theory (SMT) solver to use for certain operations. An SMT solver is optional and not all semantic domains will make use of a solver. Domains that use a solver will fall back to naive implementations when a solver is not available (for instance, equality of two values might be checked by looking at whether the values are identical).

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

Referenced by create(), and instance().

virtual BaseSemantics::StatePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::currentState ( ) const

overridevirtual

Property: Current semantic state.

This is the state upon which the RISC operations operate. The state need not be set until the first instruction is executed (and even then, some RISC operations don't need any machine state; typically, only register and memory read and write operators need state). Different state objects can be swapped in at pretty much any time. Modifying the state has no effect on this object's prototypical value which was initialized by the constructor; new states should have a prototyipcal value of the same dynamic type.

See also, initialState.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual size_t Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::nInsns ( ) const

overridevirtual

Property: Number of instructions processed.

This counter is incremented at the beginning of each instruction.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::nInsns ( size_t n )

overridevirtual

Property: Number of instructions processed.

This counter is incremented at the beginning of each instruction.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual SgAsmInstruction* Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::currentInstruction ( ) const

overridevirtual

Property: Current instruction.

Returns the instruction which is being processed. This is set by startInstruction and cleared by finishInstruction. Returns null if we are not processing an instruction.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual bool Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::isNoopRead ( ) const

overridevirtual

Property: No-op read.

This property can be set to indicate that the next read operation(s) are part of a possible read-then-write no-op sequence. This property is normally reset at the beginning and end of each instruction by startInstruction and finishInstruction.

For example, most ARM AArch32 A32 instructions are conditionally executed. Therefore any instruction that writes to memory will either write a newly calculated value, or will write the original value. When expressed symbolically, the expression is something like (writeMemory ADDRESS (ite CONDITION VALUE (readMemory ADDRESS))). In this case, the readMemory is part of a read-then-write sequence that has no effect, and this no-op read property can be set in order to express this intent to any analysis that might be triggered by memory reads.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::isNoopRead ( bool b )

overridevirtual

Property: No-op read.

This property can be set to indicate that the next read operation(s) are part of a possible read-then-write no-op sequence. This property is normally reset at the beginning and end of each instruction by startInstruction and finishInstruction.

For example, most ARM AArch32 A32 instructions are conditionally executed. Therefore any instruction that writes to memory will either write a newly calculated value, or will write the original value. When expressed symbolically, the expression is something like (writeMemory ADDRESS (ite CONDITION VALUE (readMemory ADDRESS))). In this case, the readMemory is part of a read-then-write sequence that has no effect, and this no-op read property can be set in order to express this intent to any analysis that might be triggered by memory reads.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::startInstruction ( SgAsmInstruction * insn )

overridevirtual

Called at the beginning of every instruction.

This method is invoked every time the translation object begins processing an instruction. Some policies use this to update a pointer to the current instruction.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::finishInstruction ( SgAsmInstruction * insn )

overridevirtual

Called at the end of every instruction.

This method is invoked whenever the translation object ends processing for an instruction. This is not called if there's an exception during processing.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::undefined_ ( size_t nbits )

overridevirtual

Returns a new undefined value.

Uses the prototypical value to virtually construct the new value.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::unspecified_ ( size_t nbits )

overridevirtual

Returns a new undefined value.

Uses the prototypical value to virtually construct the new value.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::number_	(	size_t	nbits,
		uint64_t	value
	)

overridevirtual

Returns a number of the specified bit width.

Uses the prototypical value to virtually construct a new value.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::boolean_ ( bool value )

overridevirtual

Returns a Boolean value.

Uses the prototypical value to virtually construct a new value.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::bottom_ ( size_t nbits )

overridevirtual

Returns a data-flow bottom value.

Uses the prototypical value to virtually construct a new value.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::filterCallTarget ( const BaseSemantics::SValuePtr & a )

overridevirtual

Invoked to filter call targets.

This method is called whenever the translation object is about to invoke a function call. The target address is passed as an argument and a (new) target should be returned.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::filterReturnTarget ( const BaseSemantics::SValuePtr & a )

overridevirtual

Invoked to filter return targets.

This method is called whenever the translation object is about to return from a function call (such as for the x86 "RET" instruction). The return address is passed as an argument and a (new) return address should be returned.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::filterIndirectJumpTarget ( const BaseSemantics::SValuePtr & a )

overridevirtual

Invoked to filter indirect jumps.

This method is called whenever the translation object is about to unconditionally jump to a new address (such as for the x86 "JMP" instruction). The target address is passed as an argument and a (new) target address should be returned.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::hlt ( )

overridevirtual

Invoked for the x86 HLT instruction.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::cpuid ( )

overridevirtual

Invoked for the x86 CPUID instruction.

FIXME: x86-specific stuff should be in the dispatcher.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::rdtsc ( )

overridevirtual

Invoked for the x86 RDTSC instruction.

FIXME: x86-specific stuff should be in the dispatcher.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::and_	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	b
	)

overridevirtual

Computes bit-wise AND of two values.

The operands must both have the same width; the result must be the same width as the operands.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::or_	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	b
	)

overridevirtual

Computes bit-wise OR of two values.

The operands a and b must have the same width; the return value width will be the same as a and b.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::xor_	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	b
	)

overridevirtual

Computes bit-wise XOR of two values.

The operands a and b must have the same width; the result will be the same width as a and b.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::invert ( const BaseSemantics::SValuePtr & a )

overridevirtual

One's complement.

The result will be the same size as the operand.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::extract	(	const BaseSemantics::SValuePtr &	a,
		size_t	begin_bit,
		size_t	end_bit
	)

overridevirtual

Extracts bits from a value.

The specified bits from begin_bit (inclusive) through end_bit (exclusive) are copied into the low-order bits of the return value (other bits in the return value are cleared). The least significant bit is number zero. The begin_bit and end_bit values must be valid for the width of a.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::concat	(	const BaseSemantics::SValuePtr &	lowBits,
		const BaseSemantics::SValuePtr &	highBits
	)

overridevirtual

Concatenates the bits of two values.

The bits of lowBits and highBits are concatenated so that the result has lowBits in the low-order bits and highBits in the high order bits. The width of the return value is the sum of the widths of lowBits and highBits.

Note that the order of arguments for this method is the reverse of the SymbolicExpr concatenation function.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::leastSignificantSetBit ( const BaseSemantics::SValuePtr & a )

overridevirtual

Returns position of least significant set bit; zero when no bits are set.

The return value will have the same width as the operand, although this can be safely truncated to the log-base-2 + 1 width.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::mostSignificantSetBit ( const BaseSemantics::SValuePtr & a )

overridevirtual

Returns position of most significant set bit; zero when no bits are set.

The return value will have the same width as the operand, although this can be safely truncated to the log-base-2 + 1 width.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::rotateLeft	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	nbits
	)

overridevirtual

Rotate bits to the left.

The return value will have the same width as operand a. The nbits is interpreted as unsigned. The behavior is modulo the width of a regardles of whether the implementation makes that a special case or handles it naturally.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::rotateRight	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	nbits
	)

overridevirtual

Rotate bits to the right.

The return value will have the same width as operand a. The nbits is interpreted as unsigned. The behavior is modulo the width of a regardles of whether the implementation makes that a special case or handles it naturally.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::shiftLeft	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	nbits
	)

overridevirtual

Returns arg shifted left.

The return value will have the same width as operand a. The nbits is interpreted as unsigned. New bits shifted into the value are zero. If nbits is equal to or larger than the width of a then the result is zero.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::shiftRight	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	nbits
	)

overridevirtual

Returns arg shifted right logically (no sign bit).

The return value will have the same width as operand a. The nbits is interpreted as unsigned. New bits shifted into the value are zero. If nbits is equal to or larger than the width of a then the result is zero.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::shiftRightArithmetic	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	nbits
	)

overridevirtual

Returns arg shifted right arithmetically (with sign bit).

The return value will have the same width as operand a. The nbits is interpreted as unsigned. New bits shifted into the value are the same as the most significant bit (the "sign bit"). If nbits is equal to or larger than the width of a then the result has all bits cleared or all bits set depending on whether the most significant bit was originally clear or set.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::equalToZero ( const BaseSemantics::SValuePtr & a )

overridevirtual

Determines whether a value is equal to zero.

Returns true, false, or undefined (in the semantic domain) depending on whether argument is zero.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::ite	(	const BaseSemantics::SValuePtr &	cond,
		const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	b
	)

overridevirtual

If-then-else.

Returns operand a if cond is true, operand b if cond is false, or some other value if the condition is unknown. The condition must be one bit wide; the widths of a and b must be equal; the return value width will be the same as a and b.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::unsignedExtend	(	const BaseSemantics::SValuePtr &	a,
		size_t	new_width
	)

overridevirtual

Extend (or shrink) operand a so it is nbits wide by adding or removing high-order bits.

Added bits are always zeros. The result will be the specified new_width.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::signExtend	(	const BaseSemantics::SValuePtr &	a,
		size_t	new_width
	)

overridevirtual

Sign extends a value.

The result will the the specified new_width, which must be at least as large as the original width.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::add	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	b
	)

overridevirtual

Adds two integers of equal size.

The width of a and b must be equal; the return value will have the same width as a and b.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::addWithCarries	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	b,
		const BaseSemantics::SValuePtr &	c,
		BaseSemantics::SValuePtr &	carry_out
	)

overridevirtual

Add two values of equal size and a carry bit.

Carry information is returned via carry_out argument. The carry_out value is the tick marks that are written above the first addend when doing long arithmetic like a 2nd grader would do (of course, they'd probably be adding two base-10 numbers). For instance, when adding 00110110 and 11100100:

 '''..'..         <-- carry tick marks: '=carry .=no carry
  00110110
+ 11100100
----------
 100011010

The carry_out value is 11100100.

The width of a and b must be equal; c must have a width of one bit; the return value and carry_out will be the same width as a and b. The carry_out value is allocated herein.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::negate ( const BaseSemantics::SValuePtr & a )

overridevirtual

Two's complement.

The return value will have the same width as the operand.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::signedDivide	(	const BaseSemantics::SValuePtr &	dividend,
		const BaseSemantics::SValuePtr &	divisor
	)

overridevirtual

Divides two signed values.

The width of the result will be the same as the width of the dividend.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::signedModulo	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	b
	)

overridevirtual

Calculates modulo with signed values.

The width of the result will be the same as the width of operand b.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::signedMultiply	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	b
	)

overridevirtual

Multiplies two signed values.

The width of the result will be the sum of the widths of a and b.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::unsignedDivide	(	const BaseSemantics::SValuePtr &	dividend,
		const BaseSemantics::SValuePtr &	divisor
	)

overridevirtual

Divides two unsigned values.

The width of the result is the same as the width of the dividend.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::unsignedModulo	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	b
	)

overridevirtual

Calculates modulo with unsigned values.

The width of the result is the same as the width of operand b.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::unsignedMultiply	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	b
	)

overridevirtual

Multiply two unsigned values.

The width of the result is the sum of the widths of a and b.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::interrupt	(	int	majr,
		int	minr
	)

overridevirtual

Invoked for instructions that cause an interrupt.

The major and minor numbers are architecture specific. For instance, an x86 INT instruction uses major number zero and the minor number is the interrupt number (e.g., 0x80 for Linux system calls), while an x86 SYSENTER instruction uses major number one. The minr operand for INT3 is -3 to distinguish it from the one-argument "INT 3" instruction which has slightly different semantics.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpFromInteger	(	const BaseSemantics::SValuePtr &	intValue,
		SgAsmFloatType *	fpType
	)

overridevirtual

Construct a floating-point value from an integer value.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpToInteger	(	const BaseSemantics::SValuePtr &	fpValue,
		SgAsmFloatType *	fpType,
		const BaseSemantics::SValuePtr &	dflt
	)

overridevirtual

Construct an integer value from a floating-point value.

The bits of fpValue are interpreted according to the fpType and converted to a signed integer value that fits in integerWidth bits. This is done by truncating the fractional part of the floating point number, thus rounding toward zero. If fpValue is not a number then dflt is returned.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpConvert	(	const BaseSemantics::SValuePtr &	a,
		SgAsmFloatType *	aType,
		SgAsmFloatType *	retType
	)

overridevirtual

Convert from one floating-point type to another.

Converts the floating-point value a having type aType to the return value having retType.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpIsNan	(	const BaseSemantics::SValuePtr &	fpValue,
		SgAsmFloatType *	fpType
	)

overridevirtual

Whether a floating-point value is a special not-a-number bit pattern.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpIsDenormalized	(	const BaseSemantics::SValuePtr &	fpValue,
		SgAsmFloatType *	fpType
	)

overridevirtual

Whether a floating-point value is denormalized.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpIsZero	(	const BaseSemantics::SValuePtr &	fpValue,
		SgAsmFloatType *	fpType
	)

overridevirtual

Whether a floating-point value is equal to zero.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpIsInfinity	(	const BaseSemantics::SValuePtr &	fpValue,
		SgAsmFloatType *	fpType
	)

overridevirtual

Whether a floating-point value is infinity.

Returns true if the floating point value is plus or minus infinity. Querying the sign bit will return the sign of the infinity.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpSign	(	const BaseSemantics::SValuePtr &	fpValue,
		SgAsmFloatType *	fpType
	)

overridevirtual

Sign of floating-point value.

Returns the value of the floating-point sign bit.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpEffectiveExponent	(	const BaseSemantics::SValuePtr &	fpValue,
		SgAsmFloatType *	fpType
	)

overridevirtual

Exponent of floating-point value.

Returns the exponent of the floating point value. For normalized values this returns the stored exponent minus the exponent bias. For denormalized numbers this returns the stored exponent minus the exponent bias minus an additional amount to normalize the significand.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpAdd	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	b,
		SgAsmFloatType *	fpType
	)

overridevirtual

Add two floating-point values.

Adds two floating-point values that have the same type and returns the sum in the same type.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpSubtract	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	b,
		SgAsmFloatType *	fpType
	)

overridevirtual

Subtract one floating-point value from another.

Subtracts b from a and returns the difference. All three floating-point values have the same type. The default implementation is in terms of negate and add.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpMultiply	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	b,
		SgAsmFloatType *	fpType
	)

overridevirtual

Multiply two floating-point values.

Multiplies two floating-point values and returns the product. All three values have the same type.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpDivide	(	const BaseSemantics::SValuePtr &	a,
		const BaseSemantics::SValuePtr &	b,
		SgAsmFloatType *	fpType
	)

overridevirtual

Divide one floating-point value by another.

Computes a divided by b and returns the result. All three floating-point values have the same type.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpSquareRoot	(	const BaseSemantics::SValuePtr &	a,
		SgAsmFloatType *	fpType
	)

overridevirtual

Square root.

Computes and returns the square root of the specified floating-point value. Both values have the same type.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::fpRoundTowardZero	(	const BaseSemantics::SValuePtr &	a,
		SgAsmFloatType *	fpType
	)

overridevirtual

Round toward zero.

Truncate the fractional part of the floating point number.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::readRegister	(	RegisterDescriptor	reg,
		const BaseSemantics::SValuePtr &	dflt
	)

overridevirtual

Reads a value from a register.

The base implementation simply delegates to the current semantic State, which probably delegates to a register state, but subclasses are welcome to override this behavior at any level.

A register state will typically implement storage for hardware registers, but higher layers (the State, RiscOperators, Dispatcher, ...) should not be concerned about the size of the register they're trying to read. For example, a register state for a 32-bit x86 architecture will likely have a storage location for the 32-bit EAX register, but it should be possible to ask readRegister to return the value of AX (the low-order 16-bits). In order to accomplish this, some level of the readRegister delegations needs to invoke extract to obtain the low 16 bits. The RiscOperators object is passed along the delegation path for this purpose. The inverse concat operation will be needed at some level when we ask readRegister to return a value that comes from multiple storage locations in the register state (such as can happen if an x86 register state holds individual status flags and we ask for the 32-bit EFLAGS register).

If the register state can distinguish between a register that has never been accessed and a register that has only been read, then the dflt value is stored into the register the first time it's read. This ensures that reading the register a second time with no intervening write will return the same value as the first read. If a dflt is not provided then one is constructed by invoking undefined_.

There needs to be a certain level of cooperation between the RiscOperators, State, and register state classes to decide which layer should invoke the extract or concat (or whatever other RISC operations might be necessary).

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::peekRegister	(	RegisterDescriptor	,
		const BaseSemantics::SValuePtr &	dflt
	)

overridevirtual

Obtain a register value without side effects.

This is a lower-level operation than readRegister in that it doesn't cause the register to be marked as having been read. It is typically used in situations where the register is being accessed for analysis purposes rather than as part of an instruction emulation.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::writeRegister	(	RegisterDescriptor	reg,
		const BaseSemantics::SValuePtr &	a
	)

overridevirtual

Writes a value to a register.

The base implementation simply delegates to the current semantic State, which probably delegates to a register state, but subclasses are welcome to override this behavior at any level.

As with readRegister, writeRegister may need to perform various RISC operations in order to accomplish the task of writing a value to the specified register when the underlying register state doesn't actually store a value for that specific register. The RiscOperations object is passed along for that purpose. See readRegister for more details.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::readMemory	(	RegisterDescriptor	segreg,
		const BaseSemantics::SValuePtr &	addr,
		const BaseSemantics::SValuePtr &	dflt,
		const BaseSemantics::SValuePtr &	cond
	)

overridevirtual

Reads a value from memory.

The implementation (in subclasses) will typically delegate much of the work to the current state's readMemory method.

A MemoryState will implement storage for memory locations and might impose certain restrictions, such as "all memory values must be eight bits". However, the readMemory should not have these constraints so that it can be called from a variety of Dispatcher subclass (e.g., the DispatcherX86 class assumes that readMemory is capable of reading 32-bit values from little-endian memory). The designers of the MemoryState, State, and RiscOperators should collaborate to decide which layer (RiscOperators, State, or MemoryState) is reponsible for combining individual memory locations into larger values. A RiscOperators object is passed along the chain of delegations for this purpose. The RiscOperators might also contain other data that's important during the process, such as an SMT solver.

The segreg argument is an optional segment register. Most architectures have a flat virtual address space and will pass a default-constructed register descriptor whose is_valid() method returns false.

The cond argument is a Boolean value that indicates whether this is a true read operation. If cond can be proven to be false then the read is a no-op and returns an arbitrary value.

The dflt argument determines the size of the value to be read. This argument is also passed along to the lower layers so that they can, if they desire, use it to initialize memory that has never been read or written before.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::peekMemory	(	RegisterDescriptor	segreg,
		const BaseSemantics::SValuePtr &	addr,
		const BaseSemantics::SValuePtr &	dflt
	)

overridevirtual

Read memory without side effects.

This is a lower-level operation than readMemory in that it doesn't cause any side effects in the memory state. In all other respects, it's similar to readMemory.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

virtual void Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators::writeMemory	(	RegisterDescriptor	segreg,
		const BaseSemantics::SValuePtr &	addr,
		const BaseSemantics::SValuePtr &	data,
		const BaseSemantics::SValuePtr &	cond
	)

overridevirtual

Writes a value to memory.

The implementation (in subclasses) will typically delegate much of the work to the current state's writeMemory method.

The segreg argument is an optional segment register. Most architectures have a flat virtual address space and will pass a default-constructed register descriptor whose is_valid() method returns false.

The cond argument is a Boolean value that indicates whether this is a true write operation. If cond can be proved to be false then writeMemory is a no-op.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators.

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

TraceSemantics.h

Description

Public Types

Public Member Functions

Static Public Member Functions

Protected Member Functions

Member Typedef Documentation

Member Function Documentation