ROSE  0.11.51.0
Public Attributes | List of all members
Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks::CodeAddresses Struct Reference

Description

Addresses and completeness.

This is the return value for codeAddresses.

Definition at line 175 of file SemanticCallbacks.h.

#include <SemanticCallbacks.h>

Collaboration diagram for Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks::CodeAddresses:
Collaboration graph
[legend]

Public Attributes

InstructionSemantics2::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

InstructionSemantics2::BaseSemantics::SValuePtr Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks::CodeAddresses::ip

Instruction pointer value.

Definition at line 176 of file SemanticCallbacks.h.

std::set<rose_addr_t> Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks::CodeAddresses::addresses

The concrete addresses.

Definition at line 177 of file SemanticCallbacks.h.

bool Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks::CodeAddresses::isComplete = true

Whether additional non-concrete addresses were found.

Definition at line 178 of file SemanticCallbacks.h.


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