Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics Namespace Reference

Description

A semantic domain to generate LLVM.

Classes
class	RiscOperators
class	Transcoder
	Translates machine instructions to LLVM. More...

Typedefs
typedef std::vector< RegisterDescriptor >	RegisterDescriptors
typedef SymbolicExpression::Leaf	LeafNode
typedef SymbolicExpression::LeafPtr	LeafPtr
typedef SymbolicExpression::Interior	InteriorNode
typedef SymbolicExpression::InteriorPtr	InteriorPtr
typedef SymbolicExpression::Ptr	ExpressionPtr
typedef SymbolicExpression::Nodes	TreeNodes
typedef SymbolicSemantics::SValuePtr	SValuePtr
typedef SymbolicSemantics::SValue	SValue
typedef BaseSemantics::RegisterStateGenericPtr	RegisterStatePtr
typedef BaseSemantics::RegisterStateGeneric	RegisterState
typedef SymbolicSemantics::MemoryStatePtr	MemoryStatePtr
typedef SymbolicSemantics::MemoryState	MemoryState
typedef BaseSemantics::StatePtr	StatePtr
typedef BaseSemantics::State	State
typedef boost::shared_ptr< class RiscOperators >	RiscOperatorsPtr
	Shared-ownership pointer to LLVM RISC operations.
typedef boost::shared_ptr< class Transcoder >	TranscoderPtr
	Shared-ownership pointer to an LLVM transcoder.

Typedef Documentation

RegisterDescriptors

typedef std::vector<RegisterDescriptor> Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::RegisterDescriptors

Definition at line 18 of file LlvmSemantics.h.

LeafNode

typedef SymbolicExpression::Leaf Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::LeafNode

Definition at line 20 of file LlvmSemantics.h.

LeafPtr

typedef SymbolicExpression::LeafPtr Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::LeafPtr

Definition at line 21 of file LlvmSemantics.h.

InteriorNode

typedef SymbolicExpression::Interior Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::InteriorNode

Definition at line 22 of file LlvmSemantics.h.

InteriorPtr

typedef SymbolicExpression::InteriorPtr Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::InteriorPtr

Definition at line 23 of file LlvmSemantics.h.

ExpressionPtr

typedef SymbolicExpression::Ptr Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::ExpressionPtr

Definition at line 24 of file LlvmSemantics.h.

TreeNodes

typedef SymbolicExpression::Nodes Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::TreeNodes

Definition at line 25 of file LlvmSemantics.h.

SValuePtr

typedef SymbolicSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::SValuePtr

Definition at line 27 of file LlvmSemantics.h.

SValue

typedef SymbolicSemantics::SValue Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::SValue

Definition at line 28 of file LlvmSemantics.h.

RegisterStatePtr

typedef BaseSemantics::RegisterStateGenericPtr Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::RegisterStatePtr

Definition at line 30 of file LlvmSemantics.h.

RegisterState

typedef BaseSemantics::RegisterStateGeneric Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::RegisterState

Definition at line 31 of file LlvmSemantics.h.

MemoryStatePtr

typedef SymbolicSemantics::MemoryStatePtr Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::MemoryStatePtr

Definition at line 33 of file LlvmSemantics.h.

MemoryState

typedef SymbolicSemantics::MemoryState Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::MemoryState

Definition at line 34 of file LlvmSemantics.h.

StatePtr

typedef BaseSemantics::StatePtr Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::StatePtr

Definition at line 36 of file LlvmSemantics.h.

State

typedef BaseSemantics::State Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::State

Definition at line 37 of file LlvmSemantics.h.

RiscOperatorsPtr

typedef boost::shared_ptr<class RiscOperators> Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::RiscOperatorsPtr

Shared-ownership pointer to LLVM RISC operations.

Definition at line 40 of file LlvmSemantics.h.

TranscoderPtr

typedef boost::shared_ptr<class Transcoder> Rose::BinaryAnalysis::InstructionSemantics::LlvmSemantics::TranscoderPtr

Shared-ownership pointer to an LLVM transcoder.

Definition at line 339 of file LlvmSemantics.h.