ROSE  0.11.2.0
BaseSemanticsTypes.h
1 #ifndef ROSE_BinaryAnalysis_InstructionSemantics2_BaseSemantics_Types_H
2 #define ROSE_BinaryAnalysis_InstructionSemantics2_BaseSemantics_Types_H
3 #include <rosePublicConfig.h>
4 #ifdef ROSE_BUILD_BINARY_ANALYSIS_SUPPORT
5 
6 // Basic types needed by almost all other instruction semantics layers
7 
8 #include <boost/serialization/shared_ptr.hpp>
9 #include <boost/shared_ptr.hpp>
10 #include <Sawyer/SharedPointer.h>
11 #include <Sawyer/Set.h>
12 
13 namespace Rose {
14 namespace BinaryAnalysis {
15 namespace InstructionSemantics2 {
16 
21 namespace BaseSemantics {
22 
24 // Forward declarations
26 
27 // Documented where they're defined.
28 class Formatter;
29 class Merger;
30 class SValue;
31 class RegisterState;
32 class MemoryState;
33 class State;
34 class RiscOperators;
35 class Dispatcher;
36 
38 // Shared-ownership pointers
40 
43 
46 
48 typedef boost::shared_ptr<RegisterState> RegisterStatePtr;
49 
51 typedef boost::shared_ptr<MemoryState> MemoryStatePtr;
52 
54 typedef boost::shared_ptr<State> StatePtr;
55 
57 typedef boost::shared_ptr<RiscOperators> RiscOperatorsPtr;
58 
60 typedef boost::shared_ptr<Dispatcher> DispatcherPtr;
61 
62 
63 
65 // I/O Properties
67 
87 };
88 
91 
92 
93 } // namespace
94 } // namespace
95 } // namespace
96 } // namespace
97 
98 #endif
99 #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:34
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.
Reference-counting intrusive smart pointer.
Definition: SharedPointer.h:68
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:28
boost::shared_ptr< RegisterState > RegisterStatePtr
Shared-ownership pointer to a register state.
The location was read on behalf of an instruction.