1 #ifndef ROSE_BinaryAnalysis_InstructionSemantics_BaseSemantics_Types_H
2 #define ROSE_BinaryAnalysis_InstructionSemantics_BaseSemantics_Types_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_BINARY_ANALYSIS
8 #include <boost/serialization/shared_ptr.hpp>
9 #include <boost/shared_ptr.hpp>
10 #include <Sawyer/SharedPointer.h>
11 #include <Sawyer/Set.h>
14 namespace BinaryAnalysis {
15 namespace InstructionSemantics {
Base classes for instruction semantics.
Sawyer::SharedPointer< Merger > MergerPtr
Shared-ownership pointer for Merger classes.
boost::shared_ptr< RiscOperators > RiscOperatorsPtr
Shared-ownership pointer to a RISC operators object.
Sawyer::Container::Set< InputOutputProperty > InputOutputPropertySet
Set of Boolean properties.
boost::shared_ptr< RegisterState > RegisterStatePtr
Shared-ownership pointer to a register state.
Main namespace for the ROSE library.
boost::shared_ptr< MemoryCell > MemoryCellPtr
Shared-ownership pointer to a memory cell.
The location was written on behalf of an instruction.
boost::shared_ptr< State > StatePtr
Shared-ownership pointer to a semantic state.
boost::shared_ptr< Dispatcher > DispatcherPtr
Shared-ownership pointer to a semantics instruction dispatcher.
Dispatches instructions through the RISC layer.
boost::shared_ptr< MemoryState > MemoryStatePtr
Shared-ownership pointer to a memory state.
The location was read without having the IO_WRITE or IO_INIT property.
The location was written without an instruction.
The location was read after being written.
Sawyer::SharedPointer< SValue > SValuePtr
Shared-ownership pointer to a semantic value in any domain.
BaseSemantics::Formatter Formatter
Formatter for symbolic values.
SymbolicSemantics::Merger Merger
Controls merging of tainted values.
InputOutputProperty
Boolean properties related to I/O.
The location was read without having the IO_WRITE property.
The location was read on behalf of an instruction.