1#ifndef ROSE_BinaryAnalysis_Variables_BasicTypes_H
2#define ROSE_BinaryAnalysis_Variables_BasicTypes_H
3#include <featureTests.h>
4#ifdef ROSE_ENABLE_BINARY_ANALYSIS
6#include <Rose/BinaryAnalysis/AddressSet.h>
8#include <Sawyer/Attribute.h>
9#include <Sawyer/BitFlags.h>
10#include <Sawyer/Message.h>
11#include <Sawyer/Optional.h>
16namespace BinaryAnalysis {
25class InstructionAccess;
Range of values delimited by endpoints.
std::map< Address, AddressSet > AddressToAddresses
Mapping from addresses to address sets.
void initDiagnostics()
Initialize diagnostic output.
std::shared_ptr< const VariableFinder > VariableFinderConstPtr
Shared ownership pointer to VariableFinder.
std::shared_ptr< VariableFinder > VariableFinderPtr
Shared ownership pointer to VariableFinder.
std::string offsetStr(int64_t offset)
Format a stack offset as a string.
Access
Whether a variable is read or written.
@ WRITE
Variable is written.
std::map< int64_t, AddressSet > OffsetToAddress
Mapping from stack offsets to address sets.
Sawyer::Message::Facility mlog
Diagnostic facility for variables.
std::string sizeStr(uint64_t size)
Format size as a string.
void initNamespace()
Initialize the namespace.
size_t Id
Attribute identification.