ROSE
0.11.145.0
|
A fast, partially symbolic semantic domain.
This policy can be used to emulate the execution of a single basic block of instructions. It is similar in nature to the FindConstantsPolicy (deprecated) except much simpler, much faster, and much more memory-lean. The main classes are:
Each value is either a known value or an unknown value. An unknown value consists of a base name and offset and whether the value is negated.
Classes | |
class | Formatter |
Formatter that renames variables on the fly. More... | |
class | RiscOperators |
Defines RISC operators for this semantic domain. More... | |
class | State |
Represents the entire state of the machine. More... | |
class | SValue |
Type of values manipulated by the PartialSymbolicSemantics domain. More... | |
Typedefs | |
typedef Sawyer::SharedPointer< class SValue > | SValuePtr |
Shared-ownership pointer to a partial-symbolic semantic value. More... | |
typedef BaseSemantics::RegisterStateGeneric | RegisterState |
typedef BaseSemantics::RegisterStateGenericPtr | RegisterStatePtr |
typedef BaseSemantics::MemoryCellList | MemoryState |
typedef BaseSemantics::MemoryCellListPtr | MemoryStatePtr |
typedef boost::shared_ptr< class State > | StatePtr |
Shared-ownership pointer to partial symbolic semantics state. More... | |
typedef boost::shared_ptr< class RiscOperators > | RiscOperatorsPtr |
Shared-ownership pointer to partial symbolic semantics RISC operations. More... | |
typedef Sawyer::SharedPointer<class SValue> Rose::BinaryAnalysis::InstructionSemantics::PartialSymbolicSemantics::SValuePtr |
Shared-ownership pointer to a partial-symbolic semantic value.
Definition at line 67 of file PartialSymbolicSemantics.h.
typedef boost::shared_ptr<class State> Rose::BinaryAnalysis::InstructionSemantics::PartialSymbolicSemantics::StatePtr |
Shared-ownership pointer to partial symbolic semantics state.
Definition at line 252 of file PartialSymbolicSemantics.h.
typedef boost::shared_ptr<class RiscOperators> Rose::BinaryAnalysis::InstructionSemantics::PartialSymbolicSemantics::RiscOperatorsPtr |
Shared-ownership pointer to partial symbolic semantics RISC operations.
Definition at line 341 of file PartialSymbolicSemantics.h.