ROSE
0.11.102.0
|
Addresses and completeness.
This is the return value for nextCodeAddresses.
Definition at line 176 of file SemanticCallbacks.h.
#include <Rose/BinaryAnalysis/ModelChecker/SemanticCallbacks.h>
Public Attributes | |
InstructionSemantics::BaseSemantics::SValuePtr | ip |
Instruction pointer value. More... | |
std::set< rose_addr_t > | addresses |
The concrete addresses. More... | |
bool | isComplete = true |
Whether additional non-concrete addresses were found. More... | |
InstructionSemantics::BaseSemantics::SValuePtr Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks::CodeAddresses::ip |
Instruction pointer value.
Definition at line 177 of file SemanticCallbacks.h.
std::set<rose_addr_t> Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks::CodeAddresses::addresses |
The concrete addresses.
Definition at line 178 of file SemanticCallbacks.h.
bool Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks::CodeAddresses::isComplete = true |
Whether additional non-concrete addresses were found.
Definition at line 179 of file SemanticCallbacks.h.