ROSE
0.11.87.0
|
Semantic domain that does nothing, but is well documented.
This semantic domain is useful for testing, as a no-op in a multi-policy, as documentation for the instruction semantics API (the RISC operations), or for debugging.
Classes | |
class | MemoryState |
Null memory. More... | |
class | RegisterState |
Null register state. More... | |
class | RiscOperators |
NullSemantics operators always return a new undefined value. More... | |
class | SValue |
Values in the NullSemantics domain. More... | |
Typedefs | |
typedef Sawyer::SharedPointer< class SValue > | SValuePtr |
Shared-ownership pointer to a null semantic value. More... | |
typedef boost::shared_ptr< class RegisterState > | RegisterStatePtr |
Shared-ownership pointer to null register state. More... | |
typedef boost::shared_ptr< class MemoryState > | MemoryStatePtr |
Shared-ownership pointer to null register state. More... | |
typedef BaseSemantics::State | State |
typedef BaseSemantics::StatePtr | StatePtr |
typedef boost::shared_ptr< class RiscOperators > | RiscOperatorsPtr |
Shared-ownership pointer to null RISC operations. More... | |
typedef Sawyer::SharedPointer<class SValue> Rose::BinaryAnalysis::InstructionSemantics2::NullSemantics::SValuePtr |
Shared-ownership pointer to a null semantic value.
See Shared ownership.
Definition at line 24 of file NullSemantics.h.
typedef boost::shared_ptr<class RegisterState> Rose::BinaryAnalysis::InstructionSemantics2::NullSemantics::RegisterStatePtr |
Shared-ownership pointer to null register state.
See Shared ownership.
Definition at line 152 of file NullSemantics.h.
typedef boost::shared_ptr<class MemoryState> Rose::BinaryAnalysis::InstructionSemantics2::NullSemantics::MemoryStatePtr |
Shared-ownership pointer to null register state.
See Shared ownership.
Definition at line 225 of file NullSemantics.h.
typedef boost::shared_ptr<class RiscOperators> Rose::BinaryAnalysis::InstructionSemantics2::NullSemantics::RiscOperatorsPtr |
Shared-ownership pointer to null RISC operations.
See Shared ownership.
Definition at line 310 of file NullSemantics.h.