ROSE  0.9.12.28
BaseSemanticsTypes.h
1 #ifndef ROSE_BinaryAnalysis_InstructionSemantics2_BaseSemantics_Types_H
2 #define ROSE_BinaryAnalysis_InstructionSemantics2_BaseSemantics_Types_H
3 
4 // Basic types needed by almost all other instruction semantics layers
5 
6 #include <boost/serialization/shared_ptr.hpp>
7 #include <boost/shared_ptr.hpp>
8 #include <Sawyer/SharedPointer.h>
9 
10 namespace Rose {
11 namespace BinaryAnalysis {
12 namespace InstructionSemantics2 {
13 
18 namespace BaseSemantics {
19 
21 // Forward declarations
23 
24 // Documented where they're defined.
25 class Formatter;
26 class Merger;
27 class SValue;
28 class RegisterState;
29 class MemoryState;
30 class State;
31 class RiscOperators;
32 class Dispatcher;
33 
35 // Shared-ownership pointers
37 
40 
43 
45 typedef boost::shared_ptr<RegisterState> RegisterStatePtr;
46 
48 typedef boost::shared_ptr<MemoryState> MemoryStatePtr;
49 
51 typedef boost::shared_ptr<State> StatePtr;
52 
54 typedef boost::shared_ptr<RiscOperators> RiscOperatorsPtr;
55 
57 typedef boost::shared_ptr<Dispatcher> DispatcherPtr;
58 
59 
60 
62 // I/O Properties
64 
84 };
85 
88 
89 
90 } // namespace
91 } // namespace
92 } // namespace
93 } // namespace
94 
95 #endif
The location was read without having the IO_WRITE or IO_INIT property.
boost::shared_ptr< RiscOperators > RiscOperatorsPtr
Shared-ownership pointer to a RISC operators object.
The location was written on behalf of an instruction.
InstructionSemantics2::BaseSemantics::RegisterStateGeneric RegisterState
Register state for the partitioner.
Definition: Semantics.h:31
boost::shared_ptr< MemoryState > MemoryStatePtr
Shared-ownership pointer to a memory state.
boost::shared_ptr< State > StatePtr
Shared-ownership pointer to a semantic state.
Main namespace for the ROSE library.
boost::shared_ptr< Dispatcher > DispatcherPtr
Shared-ownership pointer to a semantics instruction dispatcher.
Sawyer::SharedPointer< Merger > MergerPtr
Shared-ownership pointer for Merger classes.
The location was read without having the IO_WRITE property.
The location was written without an instruction.
Sawyer::SharedPointer< SValue > SValuePtr
Shared-ownership pointer to a semantic value in any domain.
Sawyer::Container::Set< InputOutputProperty > InputOutputPropertySet
Set of Boolean properties.
BaseSemantics::Formatter Formatter
Formatter for symbolic values.
InstructionSemantics2::SymbolicSemantics::SValue SValue
Semantic value in the partitioner.
Definition: Semantics.h:25
boost::shared_ptr< RegisterState > RegisterStatePtr
Shared-ownership pointer to a register state.
The location was read on behalf of an instruction.