CBMC
Classes | Public Types | Public Member Functions | Public Attributes | Private Member Functions | Private Attributes | List of all members
osx_mach_o_readert Class Reference

#include <osx_fat_reader.h>

+ Collaboration diagram for osx_mach_o_readert:

Classes

struct  sectiont
 

Public Types

using sectionst = std::map< std::string, sectiont >
 

Public Member Functions

 osx_mach_o_readert (std::istream &, message_handlert &)
 
bool has_section (const std::string &name) const
 

Public Attributes

sectionst sections
 

Private Member Functions

void process_commands (uint32_t ncmds, std::size_t offset, bool need_swap)
 
void process_sections_32 (uint32_t nsects, bool need_swap)
 
void process_sections_64 (uint32_t nsects, bool need_swap)
 

Private Attributes

messaget log
 
std::istream & in
 

Detailed Description

Definition at line 43 of file osx_fat_reader.h.

Member Typedef Documentation

◆ sectionst

using osx_mach_o_readert::sectionst = std::map<std::string, sectiont>

Definition at line 60 of file osx_fat_reader.h.

Constructor & Destructor Documentation

◆ osx_mach_o_readert()

osx_mach_o_readert::osx_mach_o_readert ( std::istream &  _in,
message_handlert &  message_handler 
)

Definition at line 270 of file osx_fat_reader.cpp.

Member Function Documentation

◆ has_section()

bool osx_mach_o_readert::has_section ( const std::string &  name) const
inline

Definition at line 63 of file osx_fat_reader.h.

◆ process_commands()

void osx_mach_o_readert::process_commands ( uint32_t  ncmds,
std::size_t  offset,
bool  need_swap 
)
private

Definition at line 199 of file osx_fat_reader.cpp.

◆ process_sections_32()

void osx_mach_o_readert::process_sections_32 ( uint32_t  nsects,
bool  need_swap 
)
private

Definition at line 151 of file osx_fat_reader.cpp.

◆ process_sections_64()

void osx_mach_o_readert::process_sections_64 ( uint32_t  nsects,
bool  need_swap 
)
private

Definition at line 175 of file osx_fat_reader.cpp.

Member Data Documentation

◆ in

std::istream& osx_mach_o_readert::in
private

Definition at line 70 of file osx_fat_reader.h.

◆ log

messaget osx_mach_o_readert::log
private

Definition at line 69 of file osx_fat_reader.h.

◆ sections

sectionst osx_mach_o_readert::sections

Definition at line 61 of file osx_fat_reader.h.

The documentation for this class was generated from the following files: