Description

Addresses and completeness.

This is the return value for nextCodeAddresses.

Definition at line 176 of file SemanticCallbacks.h.

Collaboration diagram for Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks::CodeAddresses:

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...

Member Data Documentation

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.

The documentation for this struct was generated from the following file: